İntegralimiz :
∫∞0xlnxex−1dx
İntegrali zeta ve gama fonksiyonlarının kısmi türevleri olarak yazabiliriz.Denklemin ispatı için buraya bakılabilir.
ζ(s)Γ(s)=∫∞0xs−1ex−1dx
∂∂sζ(s)Γ(s)=∫∞0xs−1lnxex−1dx
s yerine 2 koyalım.
limx→2∂∂sζ(s)Γ(s)=∫∞0xlnxex−1dx
Şimdi türevi alalım.
limx→2ζ′(s)Γ(s)+ζ(s)Γ′(s)
Γ′(s)=Γ(s)ψ(s) eşitliğini kullanalım.Burada ψ(x) digama fonksiyonu.
ζ′(2)Γ(2)+ζ(2)Γ(2)ψ(2)
ζ′(2)=−ζ(3)4π2 , ζ(2)=π26 ve ψ(2)=1−γ eşitliklerini kullanalım.(γ euler-mascheroni sabiti)
∫∞0xlnxex−1dx=−ζ(3)4π2+π2(1−γ)6≈−0.242096