Results 1 to 8 of 8

Math Help - Special Gamma Value

  1. #1
    Rhymes with Orange Chris L T521's Avatar
    Joined
    May 2008
    From
    Santa Cruz, CA
    Posts
    2,844
    Thanks
    3

    Special Gamma Value

    I'm just wondering, does anybody know of an analytic proof that shows that :

    \Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}?

    Or do we just accept that this is true??
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Mathstud28's Avatar
    Joined
    Mar 2008
    From
    Pennsylvania
    Posts
    3,641
    Quote Originally Posted by Chris L T521 View Post
    I'm just wondering, does anybody know of an analytic proof that shows that :

    \Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}?

    Or do we just accept that this is true??
    Ok...I will give this a go...see if ti works

    \Gamma\bigg(\frac{1}{2}\bigg)=\int_0^1\frac{1}{\sq  rt{-\ln(x)}}dx

    Let u=\sqrt{-\ln(x)}\Rightarrow{x=e^{-u^2}}

    so dx=-2ue^{-u^2}

    and u(1)=\sqrt{-ln(1)}=0

    and u(0)=\sqrt{-\ln(0)}=\infty

    So we have

    \int_{\infty}^{0}\frac{-2ue^{-u^2}}{u}du=2\int_0^{\infty}e^{-u^2}du

    Now look at your signature
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor Mathstud28's Avatar
    Joined
    Mar 2008
    From
    Pennsylvania
    Posts
    3,641
    Quote Originally Posted by Mathstud28 View Post
    Ok...I will give this a go...see if ti works

    \Gamma\bigg(\frac{1}{2}\bigg)=\int_0^1\frac{1}{\sq  rt{-\ln(x)}}dx

    Let u=\sqrt{-\ln(x)}\Rightarrow{x=e^{-u^2}}

    so dx=-2ue^{-u^2}

    and u(1)=\sqrt{-ln(1)}=0

    and u(0)=\sqrt{-\ln(0}=\infty

    So we have

    \int_{\infty}^{0}\frac{-2ue^{-u^2}}{u}du=2\int_0^{\infty}e^{-u^2}du

    Now look at your signature
    I have never done that before...that is hilarious it came out to be that
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Rhymes with Orange Chris L T521's Avatar
    Joined
    May 2008
    From
    Santa Cruz, CA
    Posts
    2,844
    Thanks
    3
    Quote Originally Posted by Mathstud28 View Post
    Ok...I will give this a go...see if ti works

    \Gamma\bigg(\frac{1}{2}\bigg)=\int_0^1\frac{1}{\sq  rt{-\ln(x)}}dx

    Let u=\sqrt{-\ln(x)}\Rightarrow{x=e^{-u^2}}

    so dx=-2ue^{-u^2}

    and u(1)=\sqrt{-ln(1)}=0

    and u(0)=\sqrt{-\ln(0}=\infty

    So we have

    \int_{\infty}^{0}\frac{-2ue^{-u^2}}{u}du=2\int_0^{\infty}e^{-u^2}du

    Now look at your signature
    hahaha. Thanks for that!
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Flow Master
    mr fantastic's Avatar
    Joined
    Dec 2007
    From
    Zeitgeist
    Posts
    16,948
    Thanks
    5
    Quote Originally Posted by Chris L T521 View Post
    I'm just wondering, does anybody know of an analytic proof that shows that :

    \Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}?

    Or do we just accept that this is true??
    If you run

    gamma function

    through a famous search engine, you will find more proofs than you've had hot breakfasts.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Behold, the power of SARDINES!
    TheEmptySet's Avatar
    Joined
    Feb 2008
    From
    Yuma, AZ, USA
    Posts
    3,764
    Thanks
    78
    Quote Originally Posted by Chris L T521 View Post
    I'm just wondering, does anybody know of an analytic proof that shows that :

    \Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}?

    Or do we just accept that this is true??
    \Gamma\left(\frac{1}{2}\right)=\int_{0}^{\infty}t^  {-1/2}e^{-t}dt

    let t=u^2 \to dt =2udu

    \Gamma\left(\frac{1}{2}\right)=\int_{0}^{\infty}u^  {-1}e^{-u^2}(2udu)=2\int_{0}^{\infty}e^{-u^2}du

    do the same sub with v gives

    \left[\Gamma\left(\frac{1}{2}\right) \right]^2=4\int_{0}^{\infty}\int_{0}^{\infty}e^{-(u^2+v^2)}dudv

    converting to polar coordinates gives

    4\int_{0}^{\pi/2}\int_{0}^{\infty}re^{-r^2}drd\theta=\pi

    \Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Math Engineering Student
    Krizalid's Avatar
    Joined
    Mar 2007
    From
    Santiago, Chile
    Posts
    3,654
    Thanks
    13
    Quote Originally Posted by Chris L T521 View Post

    I'm just wondering, does anybody know of an analytic proof that shows that :

    \Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}?
    See here.

    Quote Originally Posted by Chris L T521 View Post

    Or do we just accept that this is true??
    Of course not.

    Here's another proof:

    Start by showing for n\ge0 that \int_{0}^{1}{x^{n}(1-x)^{n}\,dx}=\frac{(n!)^{2}}{(2n+1)!}. Let n=\frac12; the integral is equal to find the area of a semicircle with radius \frac12, hence \frac{1}{2}\left[ \left( \frac{1}{2} \right)! \right]^{2}=\frac{\pi }{8}.

    Now rearrange this to get what you want.

    ----

    Oops, I realized that you want to find \Gamma \left( \frac{1}{2} \right) and I computed \left( \frac{1}{2} \right)! Anyway, the link above I gave you contains another proof.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    here's my favorite proof of the so-called Gaussian integral:

    let  f(x)=\left(\int_0^x e^{-t^2}dt \right)^2 + \int_0^1 \frac{e^{-x^2(1+t^2)}}{t^2+1} dt, \ x \geq 0. then: f'(x)=2e^{-x^2}\int_0^x e^{-t^2} dt - 2x \int_0^1 e^{-x^2(1+t^2)}dt.

    in the first integral let t=xu to get: f'(x)=2x\int_0^1e^{-x^2(1+ u^2)}du-2x \int_0^1 e^{-x^2(1 + t^2)}dt=0, i.e. f is constant.

    hence f(x)=f(0)=\int_0^1 \frac{1}{1+t^2}dt=\frac{\pi}{4}. thus \lim_{x\to\infty}f(x)=\frac{\pi}{4}. call this result (1). on the other hand, from the

    definition of f it's easily seen that \lim_{x\to\infty}f(x)=\left(\int_0^{\infty} e^{-t^2} dt \right)^2. call this (2). now (1) and (2) complete the proof.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Gamma - Gamma parameter estimation EM algorithm
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: July 24th 2010, 09:53 AM
  2. Gamma function - why is special ?
    Posted in the Advanced Math Topics Forum
    Replies: 5
    Last Post: March 3rd 2010, 07:41 AM
  3. Special equation?
    Posted in the Calculus Forum
    Replies: 3
    Last Post: May 19th 2008, 03:50 PM
  4. Replies: 0
    Last Post: March 30th 2008, 12:44 PM
  5. special e
    Posted in the Calculus Forum
    Replies: 3
    Last Post: August 22nd 2007, 01:31 PM

Search Tags


/mathhelpforum @mathhelpforum