"로그 탄젠트 적분(log tangent integral)"의 두 판 사이의 차이
| 71번째 줄: | 71번째 줄: | ||
을 사용하자. | 을 사용하자. | ||
| − | <math>L(0)=\frac{1}{2}</math> | + | <math>L(0)=\frac{1}{2}</math> 을 쉽게 얻을 수 있다. |
| − | <math> | + | 한편 [[다이감마 함수(digamma function)|Digamma 함수]] 의 값 <math>\psi\left(\frac{1}{2}\right) = -2\ln{2} - \gamma</math>에서 <math>\Gamma'(1/2)=-\sqrt{\pi}(2\ln2+\gamma)</math> 를 활용하여, |
| + | |||
| + | <math>L'(1)=\frac{\pi}{4}\gamma+\frac{\pi}{2}\ln(\frac{\Gamma(3/4)}{\Gamma(1/4)}\sqrt{2\pi})</math> | ||
를 얻는다. | 를 얻는다. | ||
| 81번째 줄: | 83번째 줄: | ||
따라서 | 따라서 | ||
| − | + | <math>\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=L'(1)- \frac{\pi}{4}\gamma=\frac{\pi}{2}\ln{\frac{\Gamma(\frac{3}{4})}{\Gamma(\frac{1}{4})}\sqrt{2\pi}</math> | |
| − | |||
| − | <math>\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=L'(1)- | ||
(증명끝) | (증명끝) | ||
| 130번째 줄: | 130번째 줄: | ||
* [[등차수열의 소수분포에 관한 디리클레 정리]]<br> | * [[등차수열의 소수분포에 관한 디리클레 정리]]<br> | ||
| + | * [[#]]<br> | ||
* [[감마함수]]<br> | * [[감마함수]]<br> | ||
2009년 9월 7일 (월) 16:11 판
간단한 소개
\(\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)\) 을 만족하면 (가령 디리클레 캐릭터의 경우)
\(p(z)=\sum_{n=1}^{q-1}f(n)z^n\)라면, \(\sum_{n=1}^{\infty}f(n)z^n=\frac{p(z)}{1-z^q}\) 로 쓸 수 있다.
이를 이용하면,
\(\Gamma(s)F(s)=\int_0^{1}\frac{p(z)(\log\frac{1}{z})^{s-1}}{1-z^q}\,\frac{dz}{z}\) 를 얻는다.
\(\frac{d}{ds}\Gamma(s)F(s)=\int_0^{1}\frac{p(z)(\log\frac{1}{z})^{s-1}}{1-z^q}\log \log\frac{1}{z} \,\frac{dz}{z}\)
\(s=1\) 에서 \(F(s)\)가 미분가능하다면,
\(F'(1)-\gamma F(1)=\int_0^{1}\frac{p(z)}{1-z^q}\log \log\frac{1}{z} \,\frac{dz}{z}\)
\(f\)가 \(f(3)=-1\)인 주기가 4인 디리클레 캐릭터라고 하면, \(p(z)=z-z^3\)
\(L(s) = \sum_{n\geq 1}\frac{f(n)}{n^s}\)
\(L'(1)-\gamma \frac{\pi}{4}=\int_0^{1}\frac{z-z^3}{1-z^4}\log \log\frac{1}{z} \,\frac{dz}{z}=\int_0^{1}\log \log\frac{1}{z} \,\frac{dz}{1+z^2}=\int_1^{\infty}\log \log u \,\frac{du}{1+u^2}\)
\(=\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx\)
이제 \(L'(1)\) 의 값을 구하면 된다.
\(L(s)=4^{-s}\{\zeta(s,1/4)-\zeta(s,3/4)\}\) 와 Hurwitz 제타함수 의 에르미트 표현 \(\frac{\partial }{\partial s}\zeta(s,a)|_{s=0} =\log \frac{\Gamma(a)}{\sqrt{2\pi}}\) 을 사용하면,
\(L'(s)=4^{-s}\{\zeta(s,1/4)-\zeta(s,3/4)\}(-\log 4)+4^{-s}\{\zeta'(s,1/4)-\zeta'(s,3/4)\}\)
\(L'(0)=\{\zeta(0,1/4)-\zeta(0,3/4)\}(-\log 4)+\{\zeta'(0,1/4)-\zeta'(0,3/4)\}=-L(0)\log4+\log\frac{\Gamma(1/4)}{\Gamma(3/4)}\)
\(\Lambda(s)=(\frac{\pi}{4})^{-{(s+1)}/{2}}\Gamma(\frac{s+1}{2})L(s)\)
가 만족시키는 함수방정식
\(\Lambda(s)=\Lambda(1-s)\)
을 사용하자.
\(L(0)=\frac{1}{2}\) 을 쉽게 얻을 수 있다.
한편 Digamma 함수 의 값 \(\psi\left(\frac{1}{2}\right) = -2\ln{2} - \gamma\)에서 \(\Gamma'(1/2)=-\sqrt{\pi}(2\ln2+\gamma)\) 를 활용하여,
\(L'(1)=\frac{\pi}{4}\gamma+\frac{\pi}{2}\ln(\frac{\Gamma(3/4)}{\Gamma(1/4)}\sqrt{2\pi})\)
를 얻는다.
따라서
\(\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=L'(1)- \frac{\pi}{4}\gamma=\frac{\pi}{2}\ln{\frac{\Gamma(\frac{3}{4})}{\Gamma(\frac{1}{4})}\sqrt{2\pi}\)
(증명끝)
Gradshteyn and Ryzhik
http://www.math.tulane.edu/~vhm/Table.html
The integrals in Gradshteyn and Ryzhik. Part 1: A family of logarithmic integrals.
[1]Victor H. Moll
재미있는 사실
역사
관련된 다른 주제들
수학용어번역
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/
- http://www.wolframalpha.com/input/?i=
- NIST Digital Library of Mathematical Functions
관련논문
- Integrals, an Introduction to Analytic Number Theory
- Ilan Vardi, The American Mathematical Monthly, Vol. 95, No. 4 (Apr., 1988), pp. 308-315
관련도서 및 추천도서
- 도서내검색
- 도서검색
관련기사
- 네이버 뉴스 검색 (키워드 수정)
블로그