"로그 탄젠트 적분(log tangent integral)"의 두 판 사이의 차이
| 1번째 줄: | 1번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 3.42em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">이 항목의 스프링노트 원문주소</h5> |
| 5번째 줄: | 5번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 3.42em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">개요</h5> |
<math>\int_{\pi/4}^{\pi/2} \ln \tan x\, dx=G</math>, <math>G</math>는 [[카탈란 상수]] | <math>\int_{\pi/4}^{\pi/2} \ln \tan x\, dx=G</math>, <math>G</math>는 [[카탈란 상수]] | ||
| 15번째 줄: | 15번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 2em; MARGIN: 0px;">증명</h5> |
''''''[Vardi1988] '''참조 ''' | ''''''[Vardi1988] '''참조 ''' | ||
| 65번째 줄: | 65번째 줄: | ||
(증명) | (증명) | ||
| − | + | 위에서 얻은 보조정리에 <math>s=2</math>를 적용하면, | |
<math>\int_{\pi/4}^{\pi/2} \ln^{2-1}\tan x\, dx=\Gamma(2)\beta(2)=G</math> ■ | <math>\int_{\pi/4}^{\pi/2} \ln^{2-1}\tan x\, dx=\Gamma(2)\beta(2)=G</math> ■ | ||
| 82번째 줄: | 82번째 줄: | ||
<math>\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\frac{d}{ds}(\Gamma(s)\beta(s))|_{s=1}</math>임을 보이자. | <math>\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\frac{d}{ds}(\Gamma(s)\beta(s))|_{s=1}</math>임을 보이자. | ||
| + | |||
| + | <math>\frac{d}{ds}(\Gamma(s)\beta(s))=\frac{d}{ds}\int_1^{\infty}\frac{(\log u)^{s-1}}{1+u^2} \,du=\int_1^{\infty}\log \log u \,\frac{(\log u)^{s-1}}{1+u^2}\,du</math> | ||
| + | |||
| + | |||
| + | |||
| + | <math>\Gamma(s)\beta(s)=\int_1^{\infty}\frac{(\log u)^{s-1}}{1+u^2} \,du</math><math>\Gamma(s)\beta(s)=\int_0^{1}\frac{(\log\frac{1}{z})^{s-1}}{1+z^2} \,dz=\int_1^{\infty}\frac{(\log u)^{s-1}}{1+u^2} \,du=\int_{\pi/4}^{\pi/2} \ln^{s-1}\tan x\, dx</math> | ||
| 121번째 줄: | 127번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 2em; MARGIN: 0px;">메모</h5> |
<math>\int_0^{\pi}\frac{x\sin x}{1+\cos^2 x}dx=\frac{\pi^2}{4}</math> | <math>\int_0^{\pi}\frac{x\sin x}{1+\cos^2 x}dx=\frac{\pi^2}{4}</math> | ||
| 135번째 줄: | 141번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 2em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">메모</h5> |
<math>\int_{0}^{\infty}\frac{\ln(x^{2}+1)}{x^{2}+1}\,dx=\pi\ln2</math> | <math>\int_{0}^{\infty}\frac{\ln(x^{2}+1)}{x^{2}+1}\,dx=\pi\ln2</math> | ||
| 153번째 줄: | 159번째 줄: | ||
[[란덴변환(Landen's transformation)|]] | [[란덴변환(Landen's transformation)|]] | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 3.42em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">재미있는 사실</h5> |
| 159번째 줄: | 165번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 3.42em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">역사</h5> |
* [[수학사연표 (역사)|수학사연표]] | * [[수학사연표 (역사)|수학사연표]] | ||
| 167번째 줄: | 173번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 2em; MARGIN: 0px;">메모</h5> |
* http://arxiv.org/PS_cache/arxiv/pdf/0706/0706.0356v1.pdf<br> | * http://arxiv.org/PS_cache/arxiv/pdf/0706/0706.0356v1.pdf<br> | ||
| 180번째 줄: | 186번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 3.42em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">관련된 다른 주제들</h5> |
* [[등차수열의 소수분포에 관한 디리클레 정리]]<br> | * [[등차수열의 소수분포에 관한 디리클레 정리]]<br> | ||
| 196번째 줄: | 202번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 3.42em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">수학용어번역</h5> |
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br> | * [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br> | ||
| 206번째 줄: | 212번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 3.42em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">사전 형태의 자료</h5> |
* http://ko.wikipedia.org/wiki/ | * http://ko.wikipedia.org/wiki/ | ||
| 217번째 줄: | 223번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 3.42em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">관련논문</h5> |
* [http://www.ams.org/notices/201004/rtx100400476p.pdf Seized Opportunities]<br> | * [http://www.ams.org/notices/201004/rtx100400476p.pdf Seized Opportunities]<br> | ||
| 242번째 줄: | 248번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 3.42em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">관련도서 및 추천도서</h5> |
* [http://www.amazon.com/Irresistible-Integrals-Symbolics-Experiments-Evaluation/dp/0521796369 Irresistible Integrals: Symbolics, Analysis and Experiments in the Evaluation of Integrals]<br> | * [http://www.amazon.com/Irresistible-Integrals-Symbolics-Experiments-Evaluation/dp/0521796369 Irresistible Integrals: Symbolics, Analysis and Experiments in the Evaluation of Integrals]<br> | ||
| 259번째 줄: | 265번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 3.42em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">관련기사</h5> |
* 네이버 뉴스 검색 (키워드 수정)<br> | * 네이버 뉴스 검색 (키워드 수정)<br> | ||
| 270번째 줄: | 276번째 줄: | ||
| − | <h5 style=" | + | <h5 style="LINE-HEIGHT: 3.42em; MARGIN: 0px; FONT-FAMILY: 'malgun gothic', dotum, gulim, sans-serif; BACKGROUND-POSITION: 0px 100%; COLOR: rgb(34,61,103); FONT-SIZE: 1.16em;">블로그</h5> |
* 수학과 잡담을 위한 소박한 장소<br> | * 수학과 잡담을 위한 소박한 장소<br> | ||
** [http://sos440.tistory.com/category/%EC%88%98%ED%95%99%20%EC%9E%A1%EB%8B%B4/%EC%98%A4%EB%8A%98%EC%9D%98%20%EA%B3%84%EC%82%B0 '오늘의 계산'] 카테고리 | ** [http://sos440.tistory.com/category/%EC%88%98%ED%95%99%20%EC%9E%A1%EB%8B%B4/%EC%98%A4%EB%8A%98%EC%9D%98%20%EA%B3%84%EC%82%B0 '오늘의 계산'] 카테고리 | ||
| − | ** [http://sos440.springnote.com sos440의 스프링노트] , '[http://sos440.springnote.com/pages/4385915 쓸만한 낙서장]' | + | ** [http://sos440.springnote.com/ sos440의 스프링노트] , '[http://sos440.springnote.com/pages/4385915 쓸만한 낙서장]' |
* [http://sos440.tistory.com/83 오늘의 계산 12]<br> | * [http://sos440.tistory.com/83 오늘의 계산 12]<br> | ||
** 수학 잡담/오늘의 계산, 2008/08/10 | ** 수학 잡담/오늘의 계산, 2008/08/10 | ||
* 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q= | * 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q= | ||
* [http://navercast.naver.com/science/list 네이버 오늘의과학] | * [http://navercast.naver.com/science/list 네이버 오늘의과학] | ||
2010년 6월 18일 (금) 09:08 판
이 항목의 스프링노트 원문주소
개요
\(\int_{\pi/4}^{\pi/2} \ln \tan x\, dx=G\), \(G\)는 카탈란 상수
\(\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}\)
증명
'[Vardi1988] '참조
(보조정리)
\(\Gamma(s)\beta(s)=\int_{\pi/4}^{\pi/2} \ln^{s-1}\tan x\, dx\)
여기서 \(\Gamma(s)\)는 감마함수,\(\beta(s)\)는 디리클레 베타함수.
(증명)
\(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}\) 를 얻는다.
\(f\)가 \(f(3)=-1\)인 주기가 4인 디리클레 캐릭터라면, \(q=4\), \(p(z)=z-z^3\)
따라서
\(\Gamma(s)\beta(s)=\int_0^{1}\frac{(\log\frac{1}{z})^{s-1}}{1+z^2} \,dz=\int_1^{\infty}\frac{(\log u)^{s-1}}{1+u^2} \,du=\int_{\pi/4}^{\pi/2} \ln^{s-1}\tan x\, dx\) ■
(따름정리1)
\(\int_{\pi/4}^{\pi/2} \ln \tan x\, dx=G\)
(증명)
위에서 얻은 보조정리에 \(s=2\)를 적용하면,
\(\int_{\pi/4}^{\pi/2} \ln^{2-1}\tan x\, dx=\Gamma(2)\beta(2)=G\) ■
(따름정리2)
\(\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)\beta(s))|_{s=1}\)임을 보이자.
\(\frac{d}{ds}(\Gamma(s)\beta(s))=\frac{d}{ds}\int_1^{\infty}\frac{(\log u)^{s-1}}{1+u^2} \,du=\int_1^{\infty}\log \log u \,\frac{(\log u)^{s-1}}{1+u^2}\,du\)
\(\Gamma(s)\beta(s)=\int_1^{\infty}\frac{(\log u)^{s-1}}{1+u^2} \,du\)\(\Gamma(s)\beta(s)=\int_0^{1}\frac{(\log\frac{1}{z})^{s-1}}{1+z^2} \,dz=\int_1^{\infty}\frac{(\log u)^{s-1}}{1+u^2} \,du=\int_{\pi/4}^{\pi/2} \ln^{s-1}\tan x\, dx\)
\(\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)\)가 미분가능하다면,
\(\Gamma'(1)F(1)+\Gamma(1)F'(1)=\int_0^{1}\frac{p(z)}{1-z^q}\log \log\frac{1}{z} \,\frac{dz}{z}\)
\(f\)가 \(f(3)=-1\)인 주기가 4인 디리클레 캐릭터라면, \(q=4\), \(p(z)=z-z^3\)
따라서
\(\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\)
이제 Digamma 함수와 디리클레 베타함수에서 얻은 결과를 사용하여 계산할 수 있다.
\(\psi(x) =\frac{d}{dx} \ln{\Gamma(x)}= \frac{\Gamma'(x)}{\Gamma(x)}\), \(\psi(1) = -\gamma\,\!\)
\(\beta'(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=\Gamma'(1)\beta(1)+\Gamma(1)\beta'(1)= -\frac{\pi}{4}\gamma+\beta'(1)=\frac{\pi}{2}\ln{\frac{\Gamma(\frac{3}{4})}{\Gamma(\frac{1}{4})}\sqrt{2\pi}\)
임이 증명된다. ■
메모
\(\int_0^{\pi}\frac{x\sin x}{1+\cos^2 x}dx=\frac{\pi^2}{4}\)
\(\int_0^{\pi}\frac{x\cos x}{1+\sin^2 x}dx=\ln^2(\sqrt{2}+1)-\frac{\pi^2}{4}\)
메모
\(\int_{0}^{\infty}\frac{\ln(x^{2}+1)}{x^{2}+1}\,dx=\pi\ln2\)
- 로그 사인 적분 (log sine integrals)
- http://cjackal.tistory.com/109
- http://www.artofproblemsolving.com/Forum/viewtopic.php?t=340081
\(\int_{0}^{\infty}\ln(1+e^{-x})}\,dx=\frac{\pi^2}{12}\)
[[란덴변환(Landen's transformation)|]]
재미있는 사실
역사
메모
- http://www.wolframalpha.com/input/?i=integrate_0^(pi)+x+cos+x+%2F(1%2Bsin^2+x)
- http://www.wolframalpha.com/input/?i=log^2+(1%2Bsqrt(2))+-pi^2%2F4
- http://www.wolframalpha.com/input/?i=integrate+(tan+x%2B1)/sqrt(tan^2+x+%2B1)dx
- http://www.wolframalpha.com/input/?i=integrate+(tan+x-1)/sqrt(tan^2+x+%2B1)dx
관련된 다른 주제들
- 등차수열의 소수분포에 관한 디리클레 정리
- 디리클레 급수
- Hurwitz 제타함수
- 감마함수
- Dilogarithm
- 란덴변환(Landen's transformation)
- 르장드르 카이 함수
- 모듈라 군, j-invariant and the singular moduli
- 카탈란 상수
수학용어번역
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/
- http://www.wolframalpha.com/input/?i=
- NIST Digital Library of Mathematical Functions
관련논문
- Seized Opportunities
- Victor H. Moll, Notices of the AMS, Apr. 2010
- A class of logarithmic integrals
- Luis A. Medina1 and Victor H. Moll, The Ramanujan Journal, Volume 20, Number 1 / 2009년 10월
- Evaluation of a ln tan integral arising in quantum field theory
- Mark W. Coffey, J. Math. Phys. 49, 093508 (2008)
- On Some Integrals Involving the Hurwitz Zeta Function: Part 1
- Olivier Espinosa and Victor H. Moll
- On Some Integrals Involving the Hurwitz Zeta Function: Part 2
- Olivier Espinosa and Victor H. Moll
- A class of logarithmic integrals
- Victor Adamchik, 1997
- On an Intriguing Integral and Some Series Related to ζ(4)
- David Borwein and Jonathan M. Borwein, Proceedings of the American Mathematical Society, Vol. 123, No. 4 (Apr., 1995), pp. 1191-1198
- [Vardi1988]Integrals, an Introduction to Analytic Number Theory
- Ilan Vardi, The American Mathematical Monthly, Vol. 95, No. 4 (Apr., 1988), pp. 308-315
관련도서 및 추천도서
- Irresistible Integrals: Symbolics, Analysis and Experiments in the Evaluation of Integrals
- George Boros and Victor Moll
- 도서내검색
- 도서검색
관련기사
- 네이버 뉴스 검색 (키워드 수정)
블로그
- 수학과 잡담을 위한 소박한 장소
- '오늘의 계산' 카테고리
- sos440의 스프링노트 , '쓸만한 낙서장'
- 오늘의 계산 12
- 수학 잡담/오늘의 계산, 2008/08/10
- 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=
- 네이버 오늘의과학