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

수학노트
둘러보기로 가기 검색하러 가기
1번째 줄: 1번째 줄:
 
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">쇼1</h5>
 
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">쇼1</h5>
−
 
−
 
 
  
 
<math>\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}</math>
 
<math>\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}</math>
13번째 줄: 11번째 줄:
 
<math>\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\frac{d}{ds}\Gamma(s)\beta(s)|_{s=1}</math>임을 보이자. 여기서 <math>\Gamma(s)</math>는 [[감마함수]],<math>\beta(s)</math>는 [[디리클레 베타함수]].
 
<math>\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\frac{d}{ds}\Gamma(s)\beta(s)|_{s=1}</math>임을 보이자. 여기서 <math>\Gamma(s)</math>는 [[감마함수]],<math>\beta(s)</math>는 [[디리클레 베타함수]].
  
−
이것이 참이라면, [[다이감마 함수(digamma function)|Digamma 함수]] 에서 얻은 결과와 [[디리클레 베타함수]]에서 얻은 결과를 사용하여 계산할 수 있다.
+
이것이 참이라면, [[다이감마 함수(digamma function)|Digamma 함수]]와 [[디리클레 베타함수]]에서 얻은 결과를 사용하여 계산할 수 있다.
  
 
 
 
 
  
 
<math>\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\Gamma'(1)\beta(1)+\Gamma(1)\beta'(1)= -\frac{\pi}{4}\gamma+\beta'(1)</math>
 
<math>\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\Gamma'(1)\beta(1)+\Gamma(1)\beta'(1)= -\frac{\pi}{4}\gamma+\beta'(1)</math>
−
 
−
 
 
  
 
<math>\psi(x) =\frac{d}{dx} \ln{\Gamma(x)}= \frac{\Gamma'(x)}{\Gamma(x)}</math>, <math>\psi(1) = -\gamma\,\!</math>
 
<math>\psi(x) =\frac{d}{dx} \ln{\Gamma(x)}= \frac{\Gamma'(x)}{\Gamma(x)}</math>, <math>\psi(1) = -\gamma\,\!</math>
−
 
−
 
 
  
 
 
 
 
33번째 줄: 27번째 줄:
 
 
 
 
  
−
 
+
<math>F(s)=\sum_{n=1}^{\infty}\frac{f(n)}{n^s}</math> 라 하자.
  
−
<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>\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>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>\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>
59번째 줄: 53번째 줄:
 
<math>s=1</math> 에서 <math>F(s)</math>가  미분가능하다면, 
 
<math>s=1</math> 에서 <math>F(s)</math>가  미분가능하다면, 
  
−
<math>F'(1)-\gamma F(1)=\int_0^{1}\frac{p(z)}{1-z^q}\log \log\frac{1}{z} \,\frac{dz}{z}</math>
+
<math>\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}</math>
  
−
<math>f</math>가 <math>f(3)=-1</math>인 주기가 4인 디리클레 캐릭터라면, <math>p(z)=z-z^3</math>
+
<math>f</math>가 <math>f(3)=-1</math>인 주기가 4인 디리클레 캐릭터라면, <math>q=4</math>, <math>p(z)=z-z^3</math>
  
−
<math>\beta(s) = \sum_{n\geq 1}\frac{f(n)}{n^s}</math>
+
따라서
  
−
<math>\beta'(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}</math>
+
<math>\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}</math>
  
 
<math>=\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx</math>
 
<math>=\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx</math>
  
−
 
+
<br> 그러므로
  
−
 
+
<math>\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\beta'(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=\beta'(1)- \frac{\pi}{4}\gamma=\frac{\pi}{2}\ln{\frac{\Gamma(\frac{3}{4})}{\Gamma(\frac{1}{4})}\sqrt{2\pi}</math>
 
  
 
(증명끝)
 
(증명끝)
99번째 줄: 91번째 줄:
 
* [http://www.math.tulane.edu/%7Evhm/Table.html ][http://www.math.tulane.edu/%7Evhm/Table.html http://www.math.tulane.edu/~vhm/Table.html]<br>
 
* [http://www.math.tulane.edu/%7Evhm/Table.html ][http://www.math.tulane.edu/%7Evhm/Table.html http://www.math.tulane.edu/~vhm/Table.html]<br>
 
* [http://www.math.tulane.edu/%7Evhm/web_html/directory.html Directory of notes on the integrals in GR]<br>
 
* [http://www.math.tulane.edu/%7Evhm/web_html/directory.html Directory of notes on the integrals in GR]<br>
 +
 +
 
  
 
 
 
 

2009년 10월 8일 (목) 08:54 판

쇼1

\(\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}\)임을 보이자. 여기서 \(\Gamma(s)\)는 감마함수,\(\beta(s)\)는 디리클레 베타함수.

이것이 참이라면, Digamma 함수와 디리클레 베타함수에서 얻은 결과를 사용하여 계산할 수 있다.

 

\(\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\Gamma'(1)\beta(1)+\Gamma(1)\beta'(1)= -\frac{\pi}{4}\gamma+\beta'(1)\)

\(\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})\)

 

 

\(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)\)가  미분가능하다면, 

\(\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\)


그러므로

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

임이 증명된다.

(증명끝)

 

 

쇼2

\(\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}\)

 

 

Gradshteyn and Ryzhik

 

 

[[란덴변환(Landen's transformation)|]]

재미있는 사실

 

 

역사

 

 

메모

 

 

관련된 다른 주제들

 

수학용어번역

 

사전 형태의 자료

 

 

관련논문

 

 

관련도서 및 추천도서

 

 

관련기사

 

 

블로그
원본 주소 "https://wiki.mathnt.net/index.php?title=로그_탄젠트_적분(log_tangent_integral)&oldid=8379"