Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm working on an exercise about the Gamma Function from Euler.

First, $\Gamma (z)= \int_0^\infty e^{-t}t^{z-1}dt$.

Now, if we consider the "similar" function $\int_{\frac{1}{n}}^\infty e^{-t}t^{z-1}dt$, why is this holomorphic in $\mathbb{C}$ for any $n$?

And then, why is $\Gamma (z)$ holomorphic in the right half plane, i.e. $Re(z)>0$?

We know that the integrand is holomorphic and its integral should be holomorphic, too, then, since we can write the integrand as a polynomial which we then integrate. But surely, this is not rigorous enough, or is it?

I'd appreciate help!

-marie

share|improve this question
    
I would use Morera's Theorem to prove them analytic. –  GEdgar Nov 24 '11 at 0:51
add comment

2 Answers

up vote 1 down vote accepted

$\Gamma(z)$ is only defined by the integral for $\mathfrak{Re}(z)>0$ because otherwise the integral diverges at the lower bound.

The modified function, for any fixed $n > 0$, is convergent for any $z \in \mathbb{C}$: $$ g_n(z) = \int_{1/n}^\infty t^z \mathrm{e}^{-t} \frac{\mathrm{d} t}{t} $$ However, as $n$ grows, the limit would diverge for $\mathfrak{Re}(z)<0$.

$g_n(z)$ is holomorphic by Looman-Menchoff's theorem. Indeed $g_n(z)$ is absolutely convergent, and hence differentiation and integration operations can be exchanged, allowing to conclude that Cauchy-Riemann equations are verified by $g_n(z)$.

share|improve this answer
add comment

Recall that a uniformly convergent sequence of holomorphic functions on a compact set $X$ converges to a holomorphic function, since then we may switch the integral and limit to get $\displaystyle\int_{C}f\: dz = \lim_{n \to \infty} \int_{C}f_n\: dz = 0$ for every contour $C$ in $X$.

Now for the moment fix $n$, and for each $m\geq 1$, let $f_{n,m}(z) = \int_{1/n}^m e^{-t}t^{z-1}$. Now take any compact subset $E$ of the (open) right-hand plane. Show that the sequence $\{f_{n,m}\}_{m\geq 1}$ converges uniformly on $E$ and hence its limit in $E$ is holomorphic there. This shows that for any $n$, the function $f_n(z)=\int_{1/n}^\infty e^{-t}{t^{z-1}}$ is holomorphic everywhere in the right-hand plane. Now take again a compact subset $E$ of the right-hand plane. Show that the sequence $f_n$ converges uniformly on $E$, and hence that its limit is a function $\Gamma$ holomorphic in the right-hand plane.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.