Log o' Gamma

Calculus Level 5

2 3 ln ( Γ ( x ) ) d x \large \int_{2}^{3} \ln(\Gamma(x))\, dx If the result of the integral above can be expressed in the form a c ln c + b c ln π c \large \frac{a}{c}\ln{c}+\frac{b}{c}\ln{\pi}-c where a , b \large a,b and c \large c are positive coprime integers. Find the value of a + b + c \large a+b+c .

Note that Γ ( x ) \Gamma(x) is the Gamma Function.


The answer is 8.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Hasan Kassim
Jun 27, 2015

I = a a + 1 ln Γ ( x ) d x \displaystyle I = \int_{a}^{a+1} \ln \Gamma (x) dx

Apply integration by parts with u = ln Γ ( x ) u=\ln \Gamma (x) and d v = d x dv=dx , and use the definition of the Digamma Function :

I = x ln Γ ( x ) a a + 1 a a + 1 x ψ ( x ) d x \displaystyle I = x\ln \Gamma (x) |_{a}^{a+1} - \int_{a}^{a+1} x\psi (x) dx

Recall the Harmonic Number - Digamma Function Relation:

ψ ( x ) = H x 1 γ = H x 1 x γ \displaystyle \psi (x) = H_{x-1} - \gamma = H_x - \frac{1}{x} - \gamma ,

where γ \gamma is the Euler-Mascheroni Constant .

= > I = a ln a + ln a ! a a + 1 x ( H x 1 x γ ) d x \displaystyle => I = a\ln a + \ln a! -\int_a^{a+1} x(H_x-\frac{1}{x} -\gamma) dx

= a ln a + ln a ! + 1 + 2 a + 1 2 γ a a + 1 x H x d x \displaystyle = a\ln a +\ln a! +1+\frac{2a+1}{2}\gamma - \int_a^{a+1} xH_x dx

= a ln a + ln a ! + 1 + 2 a + 1 2 γ a a + 1 x k = 1 x k ( x + k ) d x \displaystyle = a\ln a +\ln a! +1+\frac{2a+1}{2}\gamma -\int_{a}^{a+1} x \sum_{k=1}^{\infty} \frac{x }{k(x+k)} dx

= a ln a + ln a ! + 1 + 2 a + 1 2 γ k = 1 a a + 1 x 2 d x k ( x + k ) \displaystyle = a\ln a +\ln a! +1+\frac{2a+1}{2}\gamma -\sum_{k=1}^{\infty} \int_{a}^{a+1} \frac{x^2 dx }{k(x+k)}

this follows from the definition of the Harmonic Number for all real values. Now let's work out the last term alone: this integral can be evaluated easily using basic integration techniques, to get at last:

k = 1 a a + 1 x 2 d x k ( x + k ) \displaystyle \sum_{k=1}^{\infty} \int_{a}^{a+1} \frac{x^2 dx }{k(x+k)}

= k = 1 ( 2 a + 1 2 1 k 1 + k ln ( a + k + 1 ) k ln ( a + k ) ) \displaystyle = \sum_{k=1}^{\infty} \bigg(\frac{2a+1}{2}\frac{1}{k} -1 +k\ln (a+k+1) - k \ln (a+k) \bigg)

= lim n k = 1 n ( 2 a + 1 2 1 k 1 + ( k + 1 ) ln ( a + k + 1 ) k ln ( a + k ) ln ( a + k + 1 ) ) \displaystyle = \lim_{n\to \infty} \sum_{k=1}^{n} \bigg(\frac{2a+1}{2}{\color{#20A900}{\frac{1}{k} }}- {\color{#3D99F6}{1 }}+{\color{#D61F06}{(k+1) \ln (a+k+1) - k \ln (a+k)}} - {\color{#69047E}{\ln (a+k+1) }}\bigg)

lim n ( 2 a + 1 2 H n n + ( n + 1 ) ln ( a + n + 1 ) ln ( a + 1 ) ln ( a + n + 1 ) ! ( a + 1 ) ! ) \displaystyle \lim_{n\to \infty} \bigg(\frac{2a+1}{2}{\color{#20A900}{H_n}}- {\color{#3D99F6}{n }}+{\color{#D61F06}{(n+1) \ln (a+n+1) - \ln (a+1)}} - {\color{#69047E}{\ln \frac{(a+n+1)!}{(a+1)! }}}\bigg)

Rearrange the logarithms into one log, with n = ln e n n=\ln e^n :

= lim n ( 2 a + 1 2 H n + ln ( ( a + n + 1 ) n + 1 a ! ( a + n + 1 ) ! e n ) ) \displaystyle = \lim_{n\to \infty} \bigg(\frac{2a+1}{2} H_n +\ln \bigg( \frac{(a+n+1)^{n+1} a!}{(a+n+1)! e^n } \bigg) \bigg)

Use Stirling's formula for the factorial in the log ( as we have n n \to \infty ). After simplification, we get:

= lim n ( 2 a + 1 2 H n + ln ( e a + 1 a ! ( a + n + 1 ) a + 1 2 2 π ) ) \displaystyle = \lim_{n\to \infty} \bigg(\frac{2a+1}{2} H_n +\ln \bigg( \frac{ e^{a+1} a!}{(a+n+1)^{a+\frac{1}{2}} \sqrt{2\pi} } \bigg) \bigg)

= lim n ( 2 a + 1 2 H n 2 a + 1 2 ln ( n + a + 1 ) ) + ln ( e a + 1 a ! 2 π ) \displaystyle = \lim_{n\to \infty} (\frac{2a+1}{2} H_n -\frac{2a+1}{2} \ln (n+a+1) ) +\ln \bigg( \frac{ e^{a+1} a!}{\sqrt{2\pi} } \bigg)

Recall the definition of the Euler-Mascheroni Constant:

= 2 a + 1 2 γ + a + 1 + ln a ! 1 2 ln ( 2 π ) \displaystyle = \frac{2a+1}{2} \gamma + a+1 + \ln a! - \frac{1}{2} \ln (2\pi)

Now substitute this back in our expression of I I :

I = a ln a + ln a ! + 1 + 2 a + 1 2 γ k = 1 a a + 1 x 2 d x k ( x + k ) \displaystyle I= a\ln a +\ln a! +1+\frac{2a+1}{2}\gamma -\sum_{k=1}^{\infty} \int_{a}^{a+1} \frac{x^2 dx }{k(x+k)}

= a ln a + ln a ! + 1 + 2 a + 1 2 γ ( 2 a + 1 2 γ + a + 1 + ln a ! 1 2 ln ( 2 π ) ) \displaystyle = a\ln a +\ln a! +1+\frac{2a+1}{2}\gamma -\bigg(\frac{2a+1}{2} \gamma + a+1 + \ln a! - \frac{1}{2} \ln (2\pi) \bigg)

I = 1 2 ln ( 2 π ) + a ln a a \displaystyle \boxed{I = \frac{1}{2} \ln (2\pi) +a\ln a - a }

Let a = 2 a=2 , we get our desired answer to this problem.

Moderator note:

Great! Thanks for proving the complicated result.

Hats off to u! Seriously that may have given u a headache.

Aditya Kumar - 5 years, 9 months ago

Log in to reply

Haha!! though it's lengthy, I enjoyed it :)

Hasan Kassim - 5 years, 9 months ago
Chew-Seong Cheong
Jun 25, 2015

The integral is a Raabe's integral named after Joseph Ludwig Raabe and it is given by:

a a + 1 ln ( Γ ( x ) ) d x = 1 2 ln 2 π + a ln a a 2 3 ln ( Γ ( x ) ) d x = 1 2 ln 2 π + 2 ln 2 2 = 1 2 ln 2 + 1 2 ln π + 2 ln 2 2 = 5 2 ln 2 + 1 2 ln π 2 a + b + c = 5 + 1 + 2 = 8 \begin{aligned} \int_a^{a+1} {\ln{(\Gamma (x))} dx} & = \frac {1}{2} \ln {2\pi} + a\ln{a} - a \\ \Rightarrow \int_2^{3} {\ln{(\Gamma (x))} dx} & = \frac {1}{2} \ln {2\pi} + 2\ln{2} - 2 \\ & = \frac {1}{2} \ln {2} + \frac {1}{2} \ln {\pi} + 2\ln{2} - 2 \\ & = \frac {5}{2} \ln {2} + \frac {1}{2} \ln {\pi} - 2 \\ \Rightarrow a + b + c & = 5 + 1 + 2 = \boxed{8} \end{aligned}

Moderator note:

Yes, that's the result to use. It takes a bit of work to demonstrate.

Sir, can you prove the result of the integral you mentioned in the beginning? Raabe's integral?

Digvijay Singh - 5 years, 11 months ago

Log in to reply

Well, I can give you some insights of how to prove Raabe's theorem and may give the full proof too if I get time. So, for now, only some hints.

Use the Weierstrass product for gamma function

Γ ( z ) = e γ z z n = 1 ( 1 + z n ) e z / n \displaystyle \Gamma(z) = \frac{{e}^{-\gamma z}}{z} \prod_{n=1}^{\infty}{\left(1+\frac{z}{n}\right){e}^{-z/n}}

Now take the logarithm both sides, then do the integration, of course, from a a to a + 1 a+1 and you are done. You may also need some knowledge of ζ ( s ) \zeta'(s) or even the derivative of Hurwitz zeta function(which I guess might come).

Kartik Sharma - 5 years, 11 months ago

Log in to reply

Thanks, Kartik.

Chew-Seong Cheong - 5 years, 11 months ago

Log in to reply

@Chew-Seong Cheong Sir, you could also consider I ( s ) = a a + 1 ln ( Γ ( s z ) ) d z I(s)=\int_a^{a+1}\ln\bigg(\Gamma(sz)\bigg)dz and the use Differentiation Under the Integral Sign.

User 123 - 5 years, 11 months ago

Log in to reply

@User 123 I don't see how you will go ahead. I too tried it but it doesn't make any big difference. Some more digammas won't help, I guess.

Kartik Sharma - 5 years, 11 months ago

Log in to reply

@Kartik Sharma I don't know if it works out or not. I just evaluated I ( s ) I'(s) and then left it. By the way, how did you solve Summations can be Easy ? I would be really grateful if you could please show your method at your convenience.

User 123 - 5 years, 11 months ago

Log in to reply

@User 123 Well,digamma to the rescue. I had learnt in Abramowitz and Stegun how to directly transform such sums into digamma(well, although there is nothing to learn, it becomes so obvious once you have done some success in simplifying, but I must "honor" that book because it is a marvel(if not for this particular case, in general))

Kartik Sharma - 5 years, 11 months ago

Log in to reply

@Kartik Sharma Thanks! Would you know from where I can get hold of the a PDF of that book?

User 123 - 5 years, 11 months ago

Log in to reply

@User 123 From here .

Kartik Sharma - 5 years, 11 months ago

Log in to reply

@Kartik Sharma Thanks a lot!

User 123 - 5 years, 11 months ago

@Kartik Sharma You could also do this: a a + 1 log Γ ( t ) d t = lim n + k = 0 n 1 log Γ ( a + k n ) = lim n + 1 n log k = 0 n 1 Γ ( a + k n ) \int_{a}^{a+1}\log\Gamma(t)\,dt = \lim_{n\to +\infty}\sum_{k=0}^{n-1}\log\Gamma\left(a+\frac{k}{n}\right) = \lim_{n\to +\infty}\frac{1}{n}\log\prod_{k=0}^{n-1}\Gamma\left(a+\frac{k}{n}\right) and then apply the Multiplication Theorem . This one is courtesy of my Uncle:)

User 123 - 5 years, 11 months ago

Log in to reply

@User 123 Well, that is really good. I liked it. I had been too straight at the proof and was losing some details. I am a fan of your uncle!

Kartik Sharma - 5 years, 11 months ago

Log in to reply

@Kartik Sharma I'll pass that on, then!

User 123 - 5 years, 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...