"슈바르츠 미분(Schwarzian derivative)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
36번째 줄: 36번째 줄:
 
<h5>슈바르츠 s-함수</h5>
 
<h5>슈바르츠 s-함수</h5>
  
−
* [[슈바르츠 삼각형 함수|슈바르츠 삼각형 함수 (s-함수)]]
+
(정리)
−
*  복소상반평면을 <math>\alpha\pi,\beta\pi,\gamma\pi</math> 를 세 각으로 갖는 삼각형으로 보내는 해석함수는 다음 초기하미분방정식<br><math>z(1-z)\frac{d^2w}{dz^2}+(c-(a+b+1)z)\frac{dw}{dz}-abw = 0</math><br>
+
 
−
* <math>P(z)=\frac{1}{4}\left(\frac{1-\alpha ^2}{z^2}+\frac{1-\gamma ^2}{(z-1)^2}+\frac{\alpha ^2+\gamma ^2-\beta ^2-1}{z(z-1)}\right)</math> 라 하자.
+
복소상반평면을 <math>\alpha\pi,\beta\pi,\gamma\pi</math> 를 세 각으로 갖는 삼각형으로 보내는 해석함수 <math>w=s(z)</math>는 다음 초기하미분방정식<math>z(1-z)y''+(c-(a+b+1)z)y'-aby = 0</math> 의 선형독립인 두 해, <math>y_1(z),y_2(z)</math> 의 비로 표현할 수 있다. 즉 <math>w=\frac{y_1(z)}{y_2(z)}</math> 이다.
−
* 미분방정식 <math>\{w,z\}=2P(z)</math>의 해는 <math>w=\frac{y_1(z)}{y_2(z)}</math> 
+
 
 +
여기서 <math>\alpha =1-c,\beta =a-b,\gamma =-a-b+c</math>.
 +
 
 +
 
 +
 
 +
(증명)
 +
 
 +
<math>P(z)=\frac{1}{4}\left(\frac{1-\alpha ^2}{z^2}+\frac{1-\gamma ^2}{(z-1)^2}+\frac{\alpha ^2+\gamma ^2-\beta ^2-1}{z(z-1)}\right)</math> 라 하자.
 +
 
 +
원하는 해석함수는 미분방정식 <math>\{w,z\}=2P(z)</math>의 해이다. 
 +
 
 +
위에서 서술한대로
 +
 
 +
<math>u''(z)+P(z)u(z)=0</math>의 선형독립인 두 해. <math>u_1(z), u_2(z)</math>
 +
 
 +
 
 +
 
 +
[[이계 선형 미분방정식]] 에서 얻은 결과에 따라
 +
 
 +
* <math>w=\frac{y_1(z)}{y_2(z)}</math> 
 +
 
 +
 
  
 
 
 
 
 +
 +
* [[슈바르츠 삼각형 함수|슈바르츠 삼각형 함수 (s-함수)]]  에 응용된다
  
 
 
 
 

2012년 7월 25일 (수) 05:44 판

이 항목의 수학노트 원문주소

 

 

개요
  • 복소함수 f 에 대하여, 슈바르츠 미분을 다음과 같이 정의함
    \((Sf)(z) = \left({f''(z) \over f'(z)}\right)' - {1\over 2}\left({f''(z)\over f'(z)}\right)^2\)
    \( = {f'''(z) \over f'(z)}-{3\over 2}\left({f''(z)\over f'(z)}\right)^2\)
  • \(\{f,z\}:=(Sf)(z)\)

 

 

뫼비우스 변환
  • \(F(z)=\frac{af(z)+b}{cf(z)+d}\) 일 때, \(\{f,z\}=\{F,z\}\) 가 성립한다
  • \(\{f,z\}=0\) 이면, \(f(z)=\frac{az+b}{cz+d}\)

 

 

이계 선형 미분방정식
  • 다음 형태의 이계 선형 미분방정식을 생각하자
    \(u''(z)+P(z)u(z)=0\)
  • \(u_1(z), u_2(z)\) 가 이 미분방정식의 일차독립인 두 해이면, \(w(z)=\frac{u_1(z)}{u_2(z)}\) 는 다음 미분방정식의 해이다
    \(\{w,z\}=2P(z)\)

 

 

슈바르츠 s-함수

(정리)

복소상반평면을 \(\alpha\pi,\beta\pi,\gamma\pi\) 를 세 각으로 갖는 삼각형으로 보내는 해석함수 \(w=s(z)\)는 다음 초기하미분방정식\(z(1-z)y''+(c-(a+b+1)z)y'-aby = 0\) 의 선형독립인 두 해, \(y_1(z),y_2(z)\) 의 비로 표현할 수 있다. 즉 \(w=\frac{y_1(z)}{y_2(z)}\) 이다.

여기서 \(\alpha =1-c,\beta =a-b,\gamma =-a-b+c\).

 

(증명)

\(P(z)=\frac{1}{4}\left(\frac{1-\alpha ^2}{z^2}+\frac{1-\gamma ^2}{(z-1)^2}+\frac{\alpha ^2+\gamma ^2-\beta ^2-1}{z(z-1)}\right)\) 라 하자.

원하는 해석함수는 미분방정식 \(\{w,z\}=2P(z)\)의 해이다. 

위에서 서술한대로

\(u''(z)+P(z)u(z)=0\)의 선형독립인 두 해. \(u_1(z), u_2(z)\)

 

이계 선형 미분방정식 에서 얻은 결과에 따라

  • \(w=\frac{y_1(z)}{y_2(z)}\) 

 

 

 

 

역사

 

 

 

메모

 

 

관련된 항목들

 

 

수학용어번역

 

 

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

 

 

사전 형태의 자료

 

 

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

 

 

 

관련논문

 

 

관련도서
원본 주소 "https://wiki.mathnt.net/index.php?title=슈바르츠_미분(Schwarzian_derivative)&oldid=14101"