I was reading Ahlfors' "Complex Analysis" (second edition) and in Chapter 5, section 2.4, where he studies the Gamma Function, he proves Legendre's Duplication Formula: $$\sqrt{\pi}\Gamma(2z)=2^{2z-1}\Gamma(z)\Gamma\left(z+\frac{1}{2}\right).$$His deduction begins with the fact that$$\frac{d}{dz}\left(\frac{\Gamma'(z)}{\Gamma(z)}\right)=\sum_{n=0}^{\infty}\frac{1}{(z+n)^2}$$(where I don't have any problem deducing) and considers the sum
$$
\frac{d}{dz}\left(\frac{\Gamma'\left(z\right)}{\Gamma\left(z\right)}\right)+\frac{d}{dz}\left(\frac{\Gamma'\left(z+\frac{1}{2}\right)}{\Gamma\left(z+\frac{1}{2}\right)}\right) = \sum_{n=0}^{\infty}\frac{1}{\left(z+n\right)^{2}}+\sum_{n=0}^{\infty}\frac{1}{\left(z+n+\frac{1}{2}\right)^{2}}
= 4\left[\sum_{n=0}^{\infty}\frac{1}{\left(2z+2n\right)^{2}}+\sum_{n=0}^{\infty}\frac{1}{\left(2z+2n+1\right)^{2}}\right]
= 4\sum_{m=0}^{\infty}\frac{1}{\left(2z+m\right)^{2}}.
$$I fully understand these simple calculations, however, Ahlfors then states that the last series is equal to
$$
2\frac{d}{dz}\left(\frac{\Gamma'(2z)}{\Gamma{2z}}\right).
$$
According to the first equation, shouldn't the coefficient be 4?
My other question is after the differential equation is integrated two times and then exponentiated. According to Ahlfors, after integrating twice and exponentiating, the expression turns to
$$
\Gamma(z)\Gamma\left(z+\frac{1}{2}\right)=e^{az+b}\Gamma(2z)
$$
where $a$ and $b$ are constants, my question is: shouldn't to equation be $$\Gamma(z)\Gamma\left(z+\frac{1}{2}\right)=e^{az+b}\left(\Gamma(2z)\right)^2$$becuase of the coefficient 2 preceding the left hand side of the differential equation? (Or elevated to the fourth power as my first question would suggest?)
I know that the duplication formula is correctly stated in Ahlfors' book and I know I'm either missing something or (perhaps less probably) Ahlfors is missing something.
Best Answer
First question:
We note that $$\frac{d}{dz}\left(\frac{\Gamma'(\zeta )}{\Gamma(\zeta )}\right)=\frac{d}{d\zeta}\left (\frac{\Gamma'(\zeta )}{ \Gamma(\zeta )}\right)\cdot \frac{d\zeta }{dz}=\sum_{n=0}^{\infty} \frac{1}{(\zeta +n)^2} \cdot \frac{d\zeta }{dz}.$$ Let $\zeta =2z$, then we have$$\frac{d}{dz}\left(\frac{\Gamma'(2z)}{\Gamma(2z)}\right) =\sum_{n=0}^{\infty} \frac{1}{(2z +n)^2}\cdot \frac{d\zeta }{dz}=2\sum_{n=0}^{\infty}\frac{1}{(2z +n)^2}.$$ Thus $$4\sum_{m=0}^{\infty}\frac{1}{\left(2z+m\right)^{2}}=2\frac{d}{dz}\left(\frac{\Gamma'(2z)}{\Gamma(2z)}\right).$$
Second question:
You need only to note that $$\frac{d}{dz}\log \Gamma(2z)=2\ \frac{\Gamma^\prime(2z)}{\Gamma(2z)}.$$ Ahlfors is correct.