"로그 탄젠트 적분(log tangent integral)"의 두 판 사이의 차이

2009년 9월 5일 (토) 17:57 판

\(\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\frac{\pi}{2}\ln{\frac{\Gamma(\frac{3}{4})}{\Gamma(\frac{1}{4})}\sqrt{2\pi}\)

\(\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\frac{d}{ds}\Gamma(s)L(s)|_{s=1}\)

\(F(s)=\sum_{n=1}^{\infty}\frac{f(n)}{n^s}\)

\(\Gamma(s)F(s)=\int_0^{\infty}(\sum_{n=1}^{\infty}f(n)e^{-nt})t^{s-1}\,dt\)\(z=e^{-t}\) 로 치환하면,

\(\Gamma(s)F(s)=\int_0^{1}(\sum_{n=1}^{\infty}f(n)z^n)(\log\frac{1}{z})^{s-1}\,\frac{dz}{z}\)

\(f(n+q)=f(n)\) 을 만족하면

[1]Victor H. Moll

@@ 10번째 줄: / 10번째 줄: @@
+<math>F(s)=\sum_{n=1}^{\infty}\frac{f(n)}{n^s}</math>
+<math>\Gamma(s)F(s)=\int_0^{\infty}(\sum_{n=1}^{\infty}f(n)e^{-nt})t^{s-1}\,dt</math><math>z=e^{-t}</math> 로 치환하면,
+<math>\Gamma(s)F(s)=\int_0^{1}(\sum_{n=1}^{\infty}f(n)z^n)(\log\frac{1}{z})^{s-1}\,\frac{dz}{z}</math>
+<math>f(n+q)=f(n)</math> 을 만족하면