맴돌이군과 미분방정식

수학노트
http://bomber0.myid.net/ (토론)님의 2010년 1월 23일 (토) 19:33 판
둘러보기로 가기 검색하러 가기
이 항목의 스프링노트 원문주소

 

 

개요

 

 

 

복소로그함수

복소로그함수는 \(z = re^{i\theta}\) 에 대하여, 다음과 같이 정의

  • \(\log(z) = \ln|z| + i\arg(z) = \ln(r) + i\left(\theta + 2 \pi k \right)\)
  • 하나의 복소수에 대하여, 여러개의 값을 가지는 다가함수(multi-valued function)이다
  • 복소로그함수가 정의된 리만곡면
    [[Media:|]]

 

 

 

오일러 미분방정식

\(x^2\frac{d^2y}{dx^2}+\alpha x\frac{dy}{dx}+\beta y=0\)

 

\(\alpha=1\), \(\beta=0\) 인 경우,

\(x^2\frac{d^2y}{dx^2}+ x\frac{dy}{dx}=0\)

\(\{1,\log x\}\)는 기저가 된다

해는 \(y=c_1+c_2\log x\)

1은 해석함수이므로, 해석적확장에 의해 변하지 않는다.  \(1 =1 \cdot 1+0 \cdot \log x\)

원점 주위를 한바퀴 반시계 방향으로 회전하며 \(\log x\)를 해석적으로 확장하여 제자리로 돌아오는 경우 \(\log x+2\pi i=2\pi i\cdot 1+1 \cdot \log x\) 를 얻는다.

따라서 원점 주위를 반시계 방향으로 도는 닫힌 경로는 이 경로를 따라가는 해석적확장 과정을 통해 행렬 

\(\begin{pmatrix} 1 & 2\pi i \\ 0 & 1 \end{pmatrix}\)

에 대응된다.

일반적으로 이렇게 특이점이 있는 미분방정식의 해를 특이점 주변에서 해석적확장을 하며 얻어지는 준동형사상 \(\pi_1(\mathbb{C}-\{0\}) \to \operatorname{GL}_2(\mathbb{C})\) 를 미분방정식에 대한 \(\pi_1\)의 맴돌이 표현(monodromy representation)이라 하며, 이 때의 치역(image)을 맴돌이군(monodromy group)이라 한다.

미분방정식 \(x^2\frac{d^2y}{dx^2}+ x\frac{dy}{dx}=0\)의 맴돌이군은 따라서 \(\mathbb{Z}\)와 같다.

 

 

대수적위상수학

 

재미있는 사실

 

 

 

역사

 

 

 

메모

 

 

관련된 항목들

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

 

 

관련도서

 

 

관련기사

 

 

블로그
원본 주소 "https://wiki.mathnt.net/index.php?title=맴돌이군과_미분방정식&oldid=9489"