0
$\begingroup$

Any advice you care to offer concerning the following exercise would be greatly appreciated.

Exercise:
Let $\phi (a) = \Gamma (a) \Gamma (1-a) \sin(\pi a)$.
Prove that $\phi$ extends to an infinitely differentiate function on the real line.

What I know and what I've tried: I have learned that $\Gamma$ extends to a smooth function on the complement of the non positive integers. In addition if we take for granted that $\phi (a) = \phi (a+1)$ and that $\phi (0) =\pi$ (here I really mean $\phi$'s extension) then all I need to show is that $\phi$ is smooth at $0$. I have tried various obvious strategies like computing the difference quotient and trying to compute the limit of $d^k\phi/da^k$ as $a$ approaches $0$ but I haven't been successful. I would be grateful for any help you care to offer. Thanks for your time.

  • 0
    Actually I do! And thanks for your help. However the book im reading (lebesgue integration on euclidean space by frank jones) does not really get into complex analysis and so I feel I should be able to do this without bringing in facts from complex analysis. No mention has even been made of real analytic functions, for instance.2012-07-27

1 Answers 1

1

Here's a proof without using complex analysis, just the functional equation $\Gamma(x+1) = x \Gamma(x)$ and the fact that $\Gamma(x)$ is smooth for $x > 0$. From the functional equation, $ \sin(\pi x) \Gamma(x) \Gamma(1-x) = \Gamma(x+1) \Gamma(1-x) \dfrac{\sin(\pi x)}{x}$ Since $\sin(\pi x)/x$ extends (by giving it the value $\pi$ at $x=0$) to a smooth function (given by a convergent Maclaurin series) on $\mathbb R$, and $\Gamma(x+1)$ and $\Gamma(1-x)$ are smooth on $(-1,1)$, we get that $\phi$ is smooth on $(-1,1)$ with $\phi(0) = \pi$. From the functional equation for $\Gamma$ and $\sin(\pi (x+1)) = -\sin(\pi x)$ we get $\phi(x+1) = \phi(x)$ for non-integer $x$, so $\phi$ (redefined to be $\pi$ at the integers) is smooth on all of $\mathbb R$.
By the way, it is actually identically equal to $\pi$ by Euler's reflection formula.

  • 0
    Fantastic! Thanks so much, Robert.2012-07-27