"슈바르츠 삼각형 함수"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) (→관련논문) |
Pythagoras0 (토론 | 기여) |
||
| (같은 사용자의 중간 판 하나는 보이지 않습니다) | |||
| 4번째 줄: | 4번째 줄: | ||
* 슈워츠 삼각형 함수라고도 불림 | * 슈워츠 삼각형 함수라고도 불림 | ||
* 세 파라메터 a,b,c에 대한 초기하 미분방정식의 일차독립인 두 해의 비율로 얻어지는 함수 | * 세 파라메터 a,b,c에 대한 초기하 미분방정식의 일차독립인 두 해의 비율로 얻어지는 함수 | ||
| − | * <math>\alpha=1-c,\beta=b-a,\gamma=c-a-b</math> 로 두자. | + | * <math>\alpha=1-c,\beta=b-a,\gamma=c-a-b</math> 로 두자. |
| − | * [[리만 사상 정리 Riemann mapping theorem and the uniformization theorem|리만 사상 정리]] 에 의하면 복소상반평면을 <math>\alpha\pi,\beta\pi,\gamma\pi</math> 를 세 각으로 갖는 삼각형으로 보내는 해석함수가 존재한다 | + | * [[리만 사상 정리 Riemann mapping theorem and the uniformization theorem|리만 사상 정리]] 에 의하면 복소상반평면을 <math>\alpha\pi,\beta\pi,\gamma\pi</math> 를 세 각으로 갖는 삼각형으로 보내는 해석함수가 존재한다 |
| − | * 이 함수의 역함수를 라 한다 | + | * 이 함수의 역함수를 라 한다 |
| − | * [[맴돌이군이 유한인 초기하 미분방정식에 대한 슈바르츠 목록|맴돌이군이 유한인 초기하 미분방정식에 대한 슈워츠 목록]] 의 연구에서 중요한 역할 | + | * [[맴돌이군이 유한인 초기하 미분방정식에 대한 슈바르츠 목록|맴돌이군이 유한인 초기하 미분방정식에 대한 슈워츠 목록]] 의 연구에서 중요한 역할 |
| − | + | ||
| − | + | ||
==초기하함수 표현== | ==초기하함수 표현== | ||
| − | * [[초기하 미분방정식(Hypergeometric differential equations)]]:<math>z(1-z)\frac{d^2w}{dz^2}+(c-(a+b+1)z)\frac{dw}{dz}-abw = 0</math | + | * [[초기하 미분방정식(Hypergeometric differential equations)]]:<math>z(1-z)\frac{d^2w}{dz^2}+(c-(a+b+1)z)\frac{dw}{dz}-abw = 0</math> |
| − | * 해는 [[오일러-가우스 초기하함수2F1]] 으로 표현된다 | + | * 해는 [[오일러-가우스 초기하함수2F1]] 으로 표현된다 |
| − | * 슈바르츠 s-함수는 다음과 같이 쓸 수 있다:<math>s(z)=\frac{z^{1-c}\,_2F_1(a',b';c';z)}{\,_2F_1(a,b;c;z)}=\frac{z^{1-c}\,_2F_1(a-c+1,b-c+1;2-c;z)}{\,_2F_1(a,b;c;z)}</math>:<math>a'=a-c+1</math>, <math>b'=b-c+1</math>, <math>c'=2-c</math | + | * 슈바르츠 s-함수는 다음과 같이 쓸 수 있다:<math>s(z)=\frac{z^{1-c}\,_2F_1(a',b';c';z)}{\,_2F_1(a,b;c;z)}=\frac{z^{1-c}\,_2F_1(a-c+1,b-c+1;2-c;z)}{\,_2F_1(a,b;c;z)}</math>:<math>a'=a-c+1</math>, <math>b'=b-c+1</math>, <math>c'=2-c</math> |
| − | + | ||
| − | + | ||
==special values== | ==special values== | ||
| − | * <math>s(0)=0</math | + | * <math>s(0)=0</math> |
| − | * <math>s(1)=\frac{\Gamma (2-c) \Gamma (c-a) \Gamma (c-b)}{\Gamma (1-a) \Gamma (1-b) \Gamma (c)}</math | + | * <math>s(1)=\frac{\Gamma (2-c) \Gamma (c-a) \Gamma (c-b)}{\Gamma (1-a) \Gamma (1-b) \Gamma (c)}</math> |
| − | * <math>s(\infty)=\frac{e^{i \pi (1-c)}\Gamma (b) \Gamma (c-a) \Gamma (2-c)}{\Gamma (c) \Gamma (b-c+1) \Gamma (1-a)}</math | + | * <math>s(\infty)=\frac{e^{i \pi (1-c)}\Gamma (b) \Gamma (c-a) \Gamma (2-c)}{\Gamma (c) \Gamma (b-c+1) \Gamma (1-a)}</math> |
| − | + | ||
| − | + | ||
==예== | ==예== | ||
| − | * [[5차방정식과 정이십면체|오차방정식과 정이십면체]] | + | * [[5차방정식과 정이십면체|오차방정식과 정이십면체]] |
| − | * <math>\alpha=1/5, \beta=1/2, \gamma=1/3</math> 로 두면, <math>a=-1/60,b=29/60,c=4/5</math> 를 얻는다 | + | * <math>\alpha=1/5, \beta=1/2, \gamma=1/3</math> 로 두면, <math>a=-1/60,b=29/60,c=4/5</math> 를 얻는다 |
| − | * <math>a=-1/60,b=29/60,c=4/5</math> 를 이용하면,:<math>s(z)=\frac{z^{1/5} \, _2F_1\left(\frac{11}{60},\frac{41}{60};\frac{6}{5};z\right)}{\, _2F_1\left(-\frac{1}{60},\frac{29}{60};\frac{4}{5};z\right)}</math | + | * <math>a=-1/60,b=29/60,c=4/5</math> 를 이용하면,:<math>s(z)=\frac{z^{1/5} \, _2F_1\left(\frac{11}{60},\frac{41}{60};\frac{6}{5};z\right)}{\, _2F_1\left(-\frac{1}{60},\frac{29}{60};\frac{4}{5};z\right)}</math> |
| − | * 삼각형의 꼭지점:<math>s(0)=0</math>:<math>s(1)=\frac{\Gamma \left(\frac{19}{60}\right) \Gamma \left(\frac{49}{60}\right) \Gamma \left(\frac{6}{5}\right)}{\Gamma \left(\frac{31}{60}\right) \Gamma \left(\frac{4}{5}\right) \Gamma \left(\frac{61}{60}\right)}</math>:<math>s(\infty)=\frac{e^{\frac{i \pi }{5}} \Gamma \left(\frac{29}{60}\right) \Gamma \left(\frac{49}{60}\right) \Gamma \left(\frac{6}{5}\right)}{\Gamma \left(\frac{41}{60}\right) \Gamma \left(\frac{4}{5}\right) \Gamma \left(\frac{61}{60}\right)}</math> | + | * 삼각형의 꼭지점:<math>s(0)=0</math>:<math>s(1)=\frac{\Gamma \left(\frac{19}{60}\right) \Gamma \left(\frac{49}{60}\right) \Gamma \left(\frac{6}{5}\right)}{\Gamma \left(\frac{31}{60}\right) \Gamma \left(\frac{4}{5}\right) \Gamma \left(\frac{61}{60}\right)}</math>:<math>s(\infty)=\frac{e^{\frac{i \pi }{5}} \Gamma \left(\frac{29}{60}\right) \Gamma \left(\frac{49}{60}\right) \Gamma \left(\frac{6}{5}\right)}{\Gamma \left(\frac{41}{60}\right) \Gamma \left(\frac{4}{5}\right) \Gamma \left(\frac{61}{60}\right)}</math> |
| − | + | ||
| − | + | ||
==메모== | ==메모== | ||
| 49번째 줄: | 49번째 줄: | ||
* http://scholar.google.com/scholar?hl=ko&lr=&cites=15616345421055553453&um=1&ie=UTF-8&ei=b7oGTqSRFZSusAOp-7W6DQ&sa=X&oi=science_links&ct=sl-citedby&resnum=8&ved=0CF8QzgIwBw | * http://scholar.google.com/scholar?hl=ko&lr=&cites=15616345421055553453&um=1&ie=UTF-8&ei=b7oGTqSRFZSusAOp-7W6DQ&sa=X&oi=science_links&ct=sl-citedby&resnum=8&ved=0CF8QzgIwBw | ||
| − | + | ||
| − | + | ||
==관련된 항목들== | ==관련된 항목들== | ||
| 59번째 줄: | 59번째 줄: | ||
* [[슈바르츠 미분(Schwarzian derivative)|슈바르츠 미분]] | * [[슈바르츠 미분(Schwarzian derivative)|슈바르츠 미분]] | ||
| − | + | ||
| − | + | ||
==매스매티카 파일 및 계산 리소스== | ==매스매티카 파일 및 계산 리소스== | ||
| 67번째 줄: | 67번째 줄: | ||
* https://docs.google.com/file/d/0B8XXo8Tve1cxSTdyRUw4aG85V28/edit?pli=1 | * https://docs.google.com/file/d/0B8XXo8Tve1cxSTdyRUw4aG85V28/edit?pli=1 | ||
| − | + | ||
| − | ==사전 | + | ==사전 형태의 자료== |
* http://www.encyclopediaofmath.org/index.php/Schwarz_function | * http://www.encyclopediaofmath.org/index.php/Schwarz_function | ||
| − | + | ||
==관련논문== | ==관련논문== | ||
2020년 12월 28일 (월) 02:38 기준 최신판
개요
- automorphic 함수 \(w=S(\alpha,\beta,\gamma;z)\)
- 슈워츠 삼각형 함수라고도 불림
- 세 파라메터 a,b,c에 대한 초기하 미분방정식의 일차독립인 두 해의 비율로 얻어지는 함수
- \(\alpha=1-c,\beta=b-a,\gamma=c-a-b\) 로 두자.
- 리만 사상 정리 에 의하면 복소상반평면을 \(\alpha\pi,\beta\pi,\gamma\pi\) 를 세 각으로 갖는 삼각형으로 보내는 해석함수가 존재한다
- 이 함수의 역함수를 라 한다
- 맴돌이군이 유한인 초기하 미분방정식에 대한 슈워츠 목록 의 연구에서 중요한 역할
초기하함수 표현
- 초기하 미분방정식(Hypergeometric differential equations)\[z(1-z)\frac{d^2w}{dz^2}+(c-(a+b+1)z)\frac{dw}{dz}-abw = 0\]
- 해는 오일러-가우스 초기하함수2F1 으로 표현된다
- 슈바르츠 s-함수는 다음과 같이 쓸 수 있다\[s(z)=\frac{z^{1-c}\,_2F_1(a',b';c';z)}{\,_2F_1(a,b;c;z)}=\frac{z^{1-c}\,_2F_1(a-c+1,b-c+1;2-c;z)}{\,_2F_1(a,b;c;z)}\]\[a'=a-c+1\], \(b'=b-c+1\), \(c'=2-c\)
special values
- \(s(0)=0\)
- \(s(1)=\frac{\Gamma (2-c) \Gamma (c-a) \Gamma (c-b)}{\Gamma (1-a) \Gamma (1-b) \Gamma (c)}\)
- \(s(\infty)=\frac{e^{i \pi (1-c)}\Gamma (b) \Gamma (c-a) \Gamma (2-c)}{\Gamma (c) \Gamma (b-c+1) \Gamma (1-a)}\)
예
- 오차방정식과 정이십면체
- \(\alpha=1/5, \beta=1/2, \gamma=1/3\) 로 두면, \(a=-1/60,b=29/60,c=4/5\) 를 얻는다
- \(a=-1/60,b=29/60,c=4/5\) 를 이용하면,\[s(z)=\frac{z^{1/5} \, _2F_1\left(\frac{11}{60},\frac{41}{60};\frac{6}{5};z\right)}{\, _2F_1\left(-\frac{1}{60},\frac{29}{60};\frac{4}{5};z\right)}\]
- 삼각형의 꼭지점\[s(0)=0\]\[s(1)=\frac{\Gamma \left(\frac{19}{60}\right) \Gamma \left(\frac{49}{60}\right) \Gamma \left(\frac{6}{5}\right)}{\Gamma \left(\frac{31}{60}\right) \Gamma \left(\frac{4}{5}\right) \Gamma \left(\frac{61}{60}\right)}\]\[s(\infty)=\frac{e^{\frac{i \pi }{5}} \Gamma \left(\frac{29}{60}\right) \Gamma \left(\frac{49}{60}\right) \Gamma \left(\frac{6}{5}\right)}{\Gamma \left(\frac{41}{60}\right) \Gamma \left(\frac{4}{5}\right) \Gamma \left(\frac{61}{60}\right)}\]
메모
관련된 항목들
매스매티카 파일 및 계산 리소스
사전 형태의 자료
관련논문
- Koguchi, Yuto, Keiji Matsumoto, and Fuko Seto. ‘Schwarz Maps Associated with the Triangle Groups (2,4,4) and (2,3,6)’. arXiv:1505.01900 [math], 7 May 2015. http://arxiv.org/abs/1505.01900.
- Maldonado, R., and N. S. Manton. ‘Analytic Vortex Solutions on Compact Hyperbolic Surfaces’. arXiv:1502.01990 [hep-Th, Physics:math-Ph, Physics:nlin], 6 February 2015. http://arxiv.org/abs/1502.01990.
- Harmer, Mark. ‘Note on the Schwarz Triangle Functions’. Bulletin of the Australian Mathematical Society 72, no. 3 (2005): 385–89. doi:10.1017/S0004972700035218.
- Lehner, Joseph. ‘Note on the Schwarz Triangle Functions.’ Pacific Journal of Mathematics 4, no. 2 (1954): 243–49. http://projecteuclid.org/euclid.pjm/1103044883