"란덴변환(Landen's transformation)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
1번째 줄: 1번째 줄:
==버전1==
+
==란덴 변환==
 +
===버전1===
  
 
* [[제1종타원적분 K (complete elliptic integral of the first kind)]]:<math>K(k) = \int_0^{\frac{\pi}{2}} \frac{d\theta}{\sqrt{1-k^2 \sin^2\theta}}</math><br>
 
* [[제1종타원적분 K (complete elliptic integral of the first kind)]]:<math>K(k) = \int_0^{\frac{\pi}{2}} \frac{d\theta}{\sqrt{1-k^2 \sin^2\theta}}</math><br>
9번째 줄: 10번째 줄:
 
 
 
 
  
==버전2==
+
===버전2===
* 타원적분
+
* $a> b > 0$에 대하여, 다음의 타원적분을 정의하자
:<math>I(a,b) = \int _0^{\frac{\pi}{2}}\frac{1}{\sqrt{a^2 \cos^2(\theta) + b^2 \sin^2(\theta)}} \, d \theta</math>
+
:<math>I(a,b) : = \int _0^{\frac{\pi}{2}}\frac{1}{\sqrt{a^2 \cos^2(\theta) + b^2 \sin^2(\theta)}} \, d \theta= \frac{1}{a} K(\frac{\sqrt{a^2 - b^2}}{a}) \label{ik}</math>
 
* 다음 변환에 의하여, 그 값이 변하지 않는다.
 
* 다음 변환에 의하여, 그 값이 변하지 않는다.
 
:<math>(a,b) \mapsto (\frac{a+b}{2}, \sqrt {ab})</math>
 
:<math>(a,b) \mapsto (\frac{a+b}{2}, \sqrt {ab})</math>
 
즉, 다음이 성립한다
 
즉, 다음이 성립한다
 
$$
 
$$
I(a,b)=I(\frac{a+b}{2}, \sqrt {ab})
+
I(a,b)=I(\frac{a+b}{2}, \sqrt {ab}) \label{hom}
 
$$
 
$$
  
 
 
 
 
  
==버전3==
+
===버전3===
 
*  hypergeometric 급수와 타원 적분
 
*  hypergeometric 급수와 타원 적분
 
:<math>F(a,b,c;x)=\sum_{k=0}^\infty\frac{(a)_k (b)_k}{(c)_k k!}x^k</math> 로 정의하면, <math>K(\sqrt{x})=\frac{\pi}{2}F(\frac{1}{2},\frac{1}{2},1;x)</math>
 
:<math>F(a,b,c;x)=\sum_{k=0}^\infty\frac{(a)_k (b)_k}{(c)_k k!}x^k</math> 로 정의하면, <math>K(\sqrt{x})=\frac{\pi}{2}F(\frac{1}{2},\frac{1}{2},1;x)</math>
28번째 줄: 29번째 줄:
 
* [[초기하급수(Hypergeometric series)]] 항목 참조
 
* [[초기하급수(Hypergeometric series)]] 항목 참조
  
 
 
  
 
 
  
 
==란덴변환과 산술 기하 평균==
 
==란덴변환과 산술 기하 평균==
37번째 줄: 36번째 줄:
  
 
;증명
 
;증명
 
+
\ref{hom}의 란덴변환을 무한히 반복하면, 다음을 얻는다
란덴변환을 무한히 반복하면, 다음을 얻는다
 
 
:<math>I(a,b)=\int _0^{\frac{\pi}{2}} \frac{1}{\sqrt{a^2 \cos^2(\theta) + b^2 \sin^2(\theta)}} \, d\theta = \int _0^{\frac{\pi}{2}}\frac{1}{M(a,b)} \, d\theta = \frac{\pi}{2 \,M(a,b)}</math>
 
:<math>I(a,b)=\int _0^{\frac{\pi}{2}} \frac{1}{\sqrt{a^2 \cos^2(\theta) + b^2 \sin^2(\theta)}} \, d\theta = \int _0^{\frac{\pi}{2}}\frac{1}{M(a,b)} \, d\theta = \frac{\pi}{2 \,M(a,b)}</math>
<math>b^2 = a^2 (1 - k^2)</math> 로 두면,
+
\ref{ik}에서 <math>a=1, b=\sqrt{1-k^2}</math>로 두면 다음을 얻는다
:<math>I(a,b)=\frac{1}{a} \int _0^{\frac{\pi}{2}} \frac{1}{\sqrt{1 - k^2 \sin^2(\theta)}} \, d\theta = \frac{1}{a} F\left( \frac{\pi}{2},k\right) = \frac{1}{a} K(k)</math>
+
:<math>I(1,\sqrt{1-k^2})=K(k)</math>  
<math>a=1, b=\sqrt{1-k^2}</math> 이면
+
따라서
:<math>K(k)=\frac{\pi}{2M(1,\sqrt{1-k^2})}</math> ■  
+
$$
 +
K(k)=\frac{\pi}{2M(1,\sqrt{1-k^2})}
 +
$$
 +
■  
  
  
53번째 줄: 54번째 줄:
 
* [[렘니스케이트(lemniscate) 곡선의 길이와 타원적분]]
 
* [[렘니스케이트(lemniscate) 곡선의 길이와 타원적분]]
  
 +
 +
==매스매티카 파일 및 계산 리소스==
 +
* https://docs.google.com/file/d/0B8XXo8Tve1cxYmdDUWc3V0NoNW8/edit
  
  

2014년 1월 25일 (토) 23:29 판

란덴 변환

버전1

  • 다음 변환 공식을 타원적분에 대한 란덴 변환이라 함.

\[K(\frac{2\sqrt{x}}{1+x})=(1+x)K(x)\]


 

버전2

  • $a> b > 0$에 대하여, 다음의 타원적분을 정의하자

\[I(a,b) : = \int _0^{\frac{\pi}{2}}\frac{1}{\sqrt{a^2 \cos^2(\theta) + b^2 \sin^2(\theta)}} \, d \theta= \frac{1}{a} K(\frac{\sqrt{a^2 - b^2}}{a}) \label{ik}\]

  • 다음 변환에 의하여, 그 값이 변하지 않는다.

\[(a,b) \mapsto (\frac{a+b}{2}, \sqrt {ab})\] 즉, 다음이 성립한다 $$ I(a,b)=I(\frac{a+b}{2}, \sqrt {ab}) \label{hom} $$

 

버전3

  • hypergeometric 급수와 타원 적분

\[F(a,b,c;x)=\sum_{k=0}^\infty\frac{(a)_k (b)_k}{(c)_k k!}x^k\] 로 정의하면, \(K(\sqrt{x})=\frac{\pi}{2}F(\frac{1}{2},\frac{1}{2},1;x)\)

  • 이 경우, 란덴변환은 다음과 같이 표현됨.

\[F(\frac{1}{2},\frac{1}{2};1;\frac{4x}{(1+x)^2})=(1+x)F(\frac{1}{2},\frac{1}{2};1;x^2)\]


란덴변환과 산술 기하 평균

\[K(k)=\frac{\pi}{2M(1,\sqrt{1-k^2})}\]

증명

\ref{hom}의 란덴변환을 무한히 반복하면, 다음을 얻는다 \[I(a,b)=\int _0^{\frac{\pi}{2}} \frac{1}{\sqrt{a^2 \cos^2(\theta) + b^2 \sin^2(\theta)}} \, d\theta = \int _0^{\frac{\pi}{2}}\frac{1}{M(a,b)} \, d\theta = \frac{\pi}{2 \,M(a,b)}\] \ref{ik}에서 \(a=1, b=\sqrt{1-k^2}\)로 두면 다음을 얻는다 \[I(1,\sqrt{1-k^2})=K(k)\] 따라서 $$ K(k)=\frac{\pi}{2M(1,\sqrt{1-k^2})} $$ ■


 

관련된 항목들


매스매티카 파일 및 계산 리소스


관련도서

 

사전 형태의 참고자료

 

리뷰, 에세이, 강의노트