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

수학노트
둘러보기로 가기 검색하러 가기
(피타고라스님이 이 페이지의 이름을 슈바르츠 미분(Schwarzian derivative)로 바꾸었습니다.)
 
(사용자 2명의 중간 판 22개는 보이지 않습니다)
1번째 줄: 1번째 줄:
−
<h5>이 항목의 수학노트 원문주소</h5>
+
==개요==
  
−
*  
+
* 복소함수 f 에 대하여, 슈바르츠 미분을 다음과 같이 정의함
 +
:<math>
 +
\begin{aligned}
 +
(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
 +
\end{aligned}
 +
</math>
 +
* <math>\{f,z\}:=(Sf)(z)</math>
  
−
 
+
  
−
 
+
  
−
<h5>개요</h5>
+
==뫼비우스 변환==
  
−
* 복소함수 f 에 대하여, 슈바르츠 미분을 다음과 같이 정의함<br><math>(Sf)(z) = \left({f''(z) \over f'(z)}\right)' - {1\over 2}\left({f''(z)\over f'(z)}\right)^2</math><br><math> = {f'''(z) \over f'(z)}-{3\over 2}\left({f''(z)\over f'(z)}\right)^2</math><br>
+
* <math>F(z)=\frac{af(z)+b}{cf(z)+d}</math> 일 때, <math>\{f,z\}=\{F,z\}</math> 가 성립한다
−
* <math>\{f,z\}:=(Sf)(z)</math><br>
+
* <math>\{f,z\}=0</math> 이면, <math>f(z)=\frac{az+b}{cz+d}</math>
  
−
 
+
  
−
 
+
  
−
<h5>뫼비우스 변환</h5>
+
==이계 선형 미분방정식==
  
−
* <math>F(z)=\frac{af(z)+b}{cf(z)+d}</math> 일 때, <math>\{f,z\}=\{F,z\}</math> 가 성립한다<br>
+
* 다음 형태의 [[이계 선형 미분방정식]]을 생각하자:<math>u''(z)+P(z)u(z)=0</math>
 +
* <math>u_1(z), u_2(z)</math> 가 이 미분방정식의 일차독립인 두 해이면, <math>w(z)=\frac{u_1(z)}{u_2(z)}</math> 는 다음 미분방정식의 해이다:<math>\{w,z\}=2P(z)</math>
  
−
 
+
  
−
 
+
  
−
 
+
==슈바르츠 s-함수==
  
−
 
+
(정리)
  
−
 
+
복소상반평면을 <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>\alpha =1-c,\beta =a-b,\gamma =-a-b+c</math>.
  
−
 
+
  
−
 
+
(증명)
  
−
<h5>역사</h5>
+
<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>의 해이다.
  
−
* http://www.google.com/search?hl=en&tbs=tl:1&q=
+
위에서 서술한대로
−
* [[수학사연표 (역사)|수학사연표]]
 
  
−
 
+
<math>u''(z)+P(z)u(z)=0</math>의 선형독립인 두 해 <math>u_1(z), u_2(z)</math>에 대하여, <math>w(z)=\frac{u_1(z)}{u_2(z)}</math> 로 표현할 수 있다.
  
−
 
+
  
−
<h5>메모</h5>
+
[[이계 선형 미분방정식]] 에서 얻은 결과에 따라, 미분방정식 <math>u''(z)+P(z)u(z)=0</math>를 [[초기하 미분방정식(Hypergeometric differential equations)]] 형태로 변형할 수 있다.
  
−
* http://www.ams.org/notices/200901/tx090100034p.pdf
+
따라서 <math>z(1-z)y''+(c-(a+b+1)z)y'-aby = 0</math> 의 선형독립인 두 해, <math>y_1(z),y_2(z)</math>에 대하여, <math>w(z)=\frac{y_1(z)}{y_2(z)}</math>로 쓸 수 있다. ■
 +
 
 +
  
−
* Math Overflow http://mathoverflow.net/search?q=
+
  
−
 
+
* [[슈바르츠 삼각형 함수|슈바르츠 삼각형 함수 (s-함수)]]  에 응용된다
  
−
 
+
  
−
<h5>관련된 항목들</h5>
+
  
−
 
+
==메모==
  
−
 
+
* [http://delta.cs.cinvestav.mx/%7Emcintosh/comun/complex/node18.html http://delta.cs.cinvestav.mx/~mcintosh/comun/complex/node18.html]
 +
* http://en.wikipedia.org/wiki/Hypergeometric_function#Q-form
 +
* [http://delta.cs.cinvestav.mx/%7Emcintosh/comun/complex/node54.html http://delta.cs.cinvestav.mx/~mcintosh/comun/complex/node54.html]
 +
* http://www.ams.org/notices/200901/tx090100034p.pdf
  
−
<h5>수학용어번역</h5>
+
  
−
*  단어사전<br>
+
==관련된 항목들==
−
** http://translate.google.com/#en|ko|
 
−
** http://ko.wiktionary.org/wiki/
 
−
* 발음사전 http://www.forvo.com/search/
 
−
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
 
−
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=
 
−
* [http://www.kss.or.kr/pds/sec/dic.aspx 한국통계학회 통계학 용어 온라인 대조표]
 
−
* [http://cgi.postech.ac.kr/cgi-bin/cgiwrap/sand/terms/terms.cgi 한국물리학회 물리학 용어집 검색기]
 
−
* [http://www.nktech.net/science/term/term_l.jsp?l_mode=cate&s_code_cd=MA 남·북한수학용어비교]
 
−
* [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid=%7BD6048897-56F9-43D7-8BB6-50B362D1243A%7D&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
 
  
−
 
+
  
−
 
+
  
−
<h5>매스매티카 파일 및 계산 리소스</h5>
+
==매스매티카 파일 및 계산 리소스==
  
−
*  
+
* https://docs.google.com/file/d/0B8XXo8Tve1cxeWVpa1QzQ0daOGc/edit
−
* http://www.wolframalpha.com/input/?i=
 
−
* http://functions.wolfram.com/
 
−
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 
−
* [http://people.math.sfu.ca/%7Ecbm/aands/toc.htm Abramowitz and Stegun Handbook of mathematical functions]
 
−
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]
 
−
* [http://numbers.computation.free.fr/Constants/constants.html Numbers, constants and computation]
 
−
* [https://docs.google.com/open?id=0B8XXo8Tve1cxMWI0NzNjYWUtNmIwZi00YzhkLTkzNzQtMDMwYmVmYmIxNmIw 매스매티카 파일 목록]
 
  
−
 
+
  
−
 
+
  
−
<h5>사전 형태의 자료</h5>
+
==사전 형태의 자료==
  
 
* http://ko.wikipedia.org/wiki/
 
* http://ko.wikipedia.org/wiki/
 
* http://en.wikipedia.org/wiki/Schwarzian_derivative
 
* http://en.wikipedia.org/wiki/Schwarzian_derivative
 
* http://www.encyclopediaofmath.org/index.php/Schwarzian_derivative
 
* http://www.encyclopediaofmath.org/index.php/Schwarzian_derivative
−
* [http://dlmf.nist.gov NIST Digital Library of Mathematical Functions]
 
−
* [http://eqworld.ipmnet.ru/ The World of Mathematical Equations]
 
−
 
−
 
 
−
 
−
 
 
−
 
−
<h5>리뷰논문, 에세이, 강의노트</h5>
 
−
 
−
 
 
−
 
−
 
 
−
 
−
 
 
−
 
−
<h5>관련논문</h5>
 
−
 
−
* http://www.jstor.org/action/doBasicSearch?Query=
 
−
* http://www.ams.org/mathscinet
 
−
* http://dx.doi.org/
 
  
−
 
 
  
−
 
+
  
−
<h5>관련도서</h5>
+
==관련논문==
 +
* Tamanoi, Hirotaka. “Higher Schwarzian Operators and Combinatorics of the Schwarzian Derivative.” Mathematische Annalen 305, no. 1 (1996): 127–151. doi:10.1007/BF01444214.
  
−
*  도서내검색<br>
+
==메타데이터==
−
** http://books.google.com/books?q=
+
===위키데이터===
−
** http://book.daum.net/search/contentSearch.do?query=
+
* ID : [https://www.wikidata.org/wiki/Q21028472 Q21028472]
 +
===Spacy 패턴 목록===
 +
* [{'LOWER': 'hypergeometric'}, {'LEMMA': 'function'}]
 +
* [{'LOWER': 'gaussian'}, {'LOWER': 'hypergeometric'}, {'LEMMA': 'function'}]
 +
* [{'LOWER': 'ordinary'}, {'LOWER': 'hypergeometric'}, {'LEMMA': 'function'}]

2021년 2월 17일 (수) 04:50 기준 최신판

개요

  • 복소함수 f 에 대하여, 슈바르츠 미분을 다음과 같이 정의함

\[ \begin{aligned} (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 \end{aligned} \]

  • \(\{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(z)=\frac{u_1(z)}{u_2(z)}\) 로 표현할 수 있다.


이계 선형 미분방정식 에서 얻은 결과에 따라, 미분방정식 \(u''(z)+P(z)u(z)=0\)를 초기하 미분방정식(Hypergeometric differential equations) 형태로 변형할 수 있다.

따라서 \(z(1-z)y''+(c-(a+b+1)z)y'-aby = 0\) 의 선형독립인 두 해, \(y_1(z),y_2(z)\)에 대하여, \(w(z)=\frac{y_1(z)}{y_2(z)}\)로 쓸 수 있다. ■





메모


관련된 항목들

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



사전 형태의 자료



관련논문

  • Tamanoi, Hirotaka. “Higher Schwarzian Operators and Combinatorics of the Schwarzian Derivative.” Mathematische Annalen 305, no. 1 (1996): 127–151. doi:10.1007/BF01444214.

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'hypergeometric'}, {'LEMMA': 'function'}]
  • [{'LOWER': 'gaussian'}, {'LOWER': 'hypergeometric'}, {'LEMMA': 'function'}]
  • [{'LOWER': 'ordinary'}, {'LOWER': 'hypergeometric'}, {'LEMMA': 'function'}]
원본 주소 "https://wiki.mathnt.net/index.php?title=슈바르츠_미분(Schwarzian_derivative)&oldid=52369"