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.
I am going to attempt a solution which in no way is a proof. I would like to assume the convergence of the integral as I am unable to prove it.
First I want to substitute x y = t so x d y = d t .
So we have ∫ 0 1 ∫ 0 y ( 1 − t ) ln ( t ) y t − 1 y 1 d t d y
Now I want to change the order of integration:-
So we have:-
∫ 0 1 ∫ t 1 ( 1 − t ) ln ( t ) y t − 1 y 1 d y d t
= ∫ 0 1 ( 1 − t ) ln ( t ) 1 − t + ln ( t ) d t
Here comes the fishy steps.
= ∫ 0 1 1 − t 1 d t + ∫ 0 1 ln ( t ) 1 d t [Note that this step is invalid if the integral was not convergent]
= ∫ 0 1 t 1 d t + ∫ 0 1 ln ( t ) 1 d t [Note that this step is also invalid if the integral was not convergent]
Now let us rewrite this as :-
= ε → 0 lim ∫ ε 1 t 1 d t + ∫ 0 1 ln ( t ) 1 d t
= ε → 0 lim − ln ( ε ) + ∫ 0 1 ln ( t ) 1 d t
Now let us use the substitution t = e − z for the log integral and then write it in limit form:-
= ε → 0 lim ( − ln ( ε ) ) − ε → 0 X → ∞ lim ( ∫ ε X z e − z d z )
Now in the integral I want to apply by parts with z 1 as the integrable function. So we have:-
= ( ε → 0 lim − ln ( ε ) ) + ε → 0 X → ∞ lim ( ln ( ε ) e − ε − e − X ln ( X ) − ∫ ε X e − z ( ln ( z ) ) d z )
Now ε → 0 X → ∞ lim ∫ ε X e − z ( ln ( z ) ) d z is a well-known integral and it is ψ ( 1 ) . Where ψ denotes the digamma function and it converges to − γ . Where γ is the Euler-Mascheroni constant .
And we have ε → 0 X → ∞ lim e − X ln ( X ) tend to 0 .
So what we have left is ε → 0 lim ( 1 − e − ε ) ( ln ( ε ) ) + γ
Rewriting the limit as ε → 0 lim ε ( 1 − e − ε ) ⋅ ε ( ln ( ε ) ) + γ
Now ε → 0 lim ε ( 1 − e − ε ) tends to 1 and ε → 0 lim ε n ln ( ε ) → 0 for all natural numbers n .
So we have our answer as γ = 0 . 5 7 7 2 .
I understand that this is in no way a proof. 90% of the steps has no meaning until convergence is proven . But still it was my attempt and I wanted to share it since there was no solution posted . I hope it would be interesting for the one's viewing it .