8
$\begingroup$

How may one go about proving

$\displaystyle\frac{\Gamma'(s)}{\Gamma(s)}=O(\log|s|)$,

(away from the poles) directly? By a direct proof, I mean not to go through the usual Stirling formula with the exact error term. The use of a rough form of Stirling's formula is welcome.

1 Answers 1

7

You can use the product representation of $\Gamma(z)$, take logs and differentiate the resulting series.

$$\Gamma(z) = \dfrac{e^{-\gamma z}}{z} \prod_{n=1}^{\infty} \left(1 + \dfrac{z}{n}\right)^{-1} \ e^{\frac{z}{n}}$$

You can find more information here: Polygamma Function and Digamma Function.

  • 0
    Thanks for the answer. From the product formula I get $\frac{\Gamma'(z)}{\Gamma(z)}=-\gamma-\frac1z+\sum_{n\geq1}\frac{z}{n(z+n)}$ and I don't know where to go from here. Is there a similar partial fractions series for the logarithm so that one can compare the two?2010-12-24
  • 0
    @Timur: The series is very closely related to Harmonic numbers, which are usually compared to the integral of $1/z$.2010-12-25
  • 0
    I am sure I am being stupid but the harmonic numbers are indexed by integers, while here we have a complex argument in the digamma (btw thanks for the link, I did not know this function is called digamma). Collapsing everything onto the real line would give something in terms of the real parts but the inequality we what to prove involve absolute value..2010-12-25
  • 1
    @timur: You should be able bound ∣∣1/(n+z)∣∣ in terms of 1/(n+∣∣z∣∣) and 1/(n−∣∣z∣∣) for sufficiently large n. I confess, I haven't gone deeper into the details, though, but I am quite confident that this approach will work.2010-12-25
  • 0
    @timur: the harmonic numbers and the digamma function are essentially the same thing, the only difference is the Euler-Mascheroni constant.2010-12-25
  • 0
    @J. M.: That is exactly what is bugging me because to extract nontrivial information you need two fairly different views on the same thing. I am feeling these two views (digamma and harmonic numbers) are too close to each other. It is similar to trying to derive Stirling's formula (especially the behavior of the Gamma function at points with large imaginary parts) from estimates on the factorial. But I should stop complaining and try harder.2010-12-25