"오일러-가우스 초기하함수2F1"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
182번째 줄: 182번째 줄:
 
* [http://dx.doi.org/10.1007/BF01393999 Werte hypergeometrischer funktionen]<br>
 
* [http://dx.doi.org/10.1007/BF01393999 Werte hypergeometrischer funktionen]<br>
 
** Jürgen Wolfart, Inventiones Mathematicae Volume 92, Number 1 / 1988년 2월
 
** Jürgen Wolfart, Inventiones Mathematicae Volume 92, Number 1 / 1988년 2월
 +
[[분류:리만곡면론]]

2013년 6월 24일 (월) 02:39 판

개요

  • 초기하급수\[\,_2F_1(a,b;c;z)=\sum_{n=0}^{\infty} \frac{(a)_n(b)_n}{(c)_nn!}z^n, |z|<1\]
    여기서 \((a)_n=a(a+1)(a+2)...(a+n-1)\)에 대해서는 Pochhammer 기호와 캐츠(Kac) 기호 항목 참조
  • 적분표현\[\,_2F_1(a,b;c;z)=\frac{\Gamma(c)}{\Gamma(c-a)\Gamma(a)}\int_0^1t^{a-1}(1-t)^{c-a-1}(1-zt)^{-b}\,dt\]
  • 초기하급수의 해석적확장을 통해 얻어진 함수를 초기하함수라 함
  • 오일러, 가우스, 쿰머, 리만,슈워츠 등의 연구

 

 

초기하급수로 표현되는 함수의 예

 

 

초기하 미분방정식

 

 

 

오일러의 변환 공식

\(_2F_1 (a,b;c;z) = (1-z)^{-a} {}_2F_1 (a, c-b;c ; \frac{z}{z-1})\)

\(_2F_1 (a,b;c;z) = (1-z)^{-b}{}_2F_1(c-a,b;c;\frac{z}{z-1})\)

\(_2F_1 (a,b;c;z) = (1-z)^{c-a-b}{}_2F_1 (c-a, c-b;c ; z)\)

 

(증명)

다음 적분표현을 활용

\(\,_2F_1(a,b;c;z)=\frac{\Gamma(c)}{\Gamma(c-a)\Gamma(a)}\int_0^1t^{a-1}(1-t)^{c-a-1}(1-zt)^{-b}\,dt\)

위의 우변에서 \(t\to 1-t\), \(t\to \frac{t}{1-z-tz}\), \(t\to \frac{1-t}{1-tz}\)의 변환을 이용하면 항등식이 얻어진다. ■

 

 

contiguous 관계

 

 

타원적분과 초기하급수

 

 

모듈라 함수와의 관계

 

 

슈워츠 s-함수

 

 

special values

  • Chu-Vandermonde 공식\[\,_2F_1(-n,b;c;1)=\dfrac{(c-b)_{n}}{(c)_{n}}\]
    아래 가우스 공식에서 \(a=-n\)인 경우에 얻어진다
  • 가우스 공식\[\,_2F_1(a,b;c;1)=\dfrac{\Gamma(c)\,\Gamma(c-a-b)}{\Gamma(c-a)\Gamma(c-b)}\]
  • 위의 두 식에 대해서는 초기하 급수의 합공식
  • 렘니스케이트(lemniscate) 곡선과 타원적분\[\frac{\pi}{2}\,_2F_1(\frac{1}{2},\frac{1}{2};1;\frac{1}{2})=K(\frac{1}{\sqrt{2}})=\frac{1}{4}B(1/4,1/4)=\frac{\Gamma(\frac{1}{4})^2}{4\sqrt{\pi}}=1.8540746773\cdots\]
  • http://mathworld.wolfram.com/HypergeometricFunction.html\[_2F_1(\frac{1}{3},\frac{2}{3};\frac{5}{6};\frac{27}{32})=\frac{8}{5}\]\[_2F_1(\frac{1}{4},\frac{1}{2};\frac{3}{4};\frac{80}{81})=\frac{9}{5}\]\[_2F_1(\frac{1}{8},\frac{3}{8};\frac{1}{2};\frac{2400}{2401})=\frac{2}{3}\sqrt{7}\]\[_2F_1(\frac{1}{6},\frac{1}{3};\frac{1}{2};\frac{25}{27})=\frac{3}{4}\sqrt{3}\]\[_2F_1(\frac{1}{6},\frac{1}{2};\frac{2}{3};\frac{125}{128})=\frac{4}{3}\sqrt[6]2\]\[_2F_1(\frac{1}{12},\frac{5}{12};\frac{1}{2};\frac{1323}{1331})=\frac{3}{4}\sqrt[4]{11}\]\[_2F_1(\frac{1}{12},\frac{5}{12};\frac{1}{2};\frac{121}{125})=\frac{\sqrt[6]{2}\sqrt[4]{15}}{4\sqrt{\pi}}\frac{\Gamma(\frac{1}{3})^3}{\Gamma(\frac{1}{4})^2}(1+\sqrt{3})\]

 

 

역사

 

 

메모

 

 

관련된 항목들

 

 

 

 

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


 

사전 형태의 자료

 

 

리뷰논문, 에세이, 강의노트

 

 

관련논문

원본 주소 "https://wiki.mathnt.net/index.php?title=오일러-가우스_초기하함수2F1&oldid=28063"