"맴돌이군과 미분방정식"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
17번째 줄: 17번째 줄:
 
<h5 style="margin: 0px; line-height: 2em;">복소로그함수</h5>
 
<h5 style="margin: 0px; line-height: 2em;">복소로그함수</h5>
  
−
복소로그함수는 <math>z = re^{i\theta}</math> 에 대하여, 다음과 같이 정의
+
복소로그함수는 복소수 <math>z = re^{i\theta}</math> 에 대하여, 다음과 같이 정의된다
 +
 
 +
<math>\log(z) = \ln|z| + i\arg(z) = \ln(r) + i\left(\theta + 2 \pi k \right)</math>. 여기서 <math>k\in\mathbb{Z}</math>.
 +
 
 +
하나의 복소수에 대하여, 여러개의 값을 가지는 다가함수(multi-valued function)이다.
 +
 
 +
예를 들자면, <math>z=1=re^{i\cdot 0}</math>에 대해서는
 +
 
 +
<math>\log(1) = \ln|1| + i\arg(1) = \ln(1) + i\left(0 + 2 \pi k \right) =\cdots, -6\pi,-4\pi,-2\pi,0,2\pi,4\pi,6\pi, \cdots</math>
 +
 
 +
<math>\log(1)</math>의 값이 무한개만큼 많은 상
 +
 
 +
 
 +
 
 +
그런데 중고등학교에서 '함수'의 개념을 가르칠때, 가장 강조되는 것은 함수는 각 정의역의 원소에 대하여, 공역의 원소가 하나씩 대응되는 것이다.
 +
 
 +
<math>\log(z) = \ln|z| + i\arg(z) = \ln(r) + i\left(\theta + 2 \pi k \right)</math>
 +
 
 +
 
 +
 
 +
 
  
−
* <math>\log(z) = \ln|z| + i\arg(z) = \ln(r) + i\left(\theta + 2 \pi k \right)</math><br>
 
−
*  하나의 복소수에 대하여, 여러개의 값을 가지는 다가함수(multi-valued function)이다<br>
 
 
*  복소로그함수가 정의된 리만곡면<br>[[Media:|]]<br>
 
*  복소로그함수가 정의된 리만곡면<br>[[Media:|]]<br>
  

2010년 1월 23일 (토) 19:38 판

이 항목의 스프링노트 원문주소

 

 

개요

 

 

 

복소로그함수

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

\(\log(z) = \ln|z| + i\arg(z) = \ln(r) + i\left(\theta + 2 \pi k \right)\). 여기서 \(k\in\mathbb{Z}\).

하나의 복소수에 대하여, 여러개의 값을 가지는 다가함수(multi-valued function)이다.

예를 들자면, \(z=1=re^{i\cdot 0}\)에 대해서는

\(\log(1) = \ln|1| + i\arg(1) = \ln(1) + i\left(0 + 2 \pi k \right) =\cdots, -6\pi,-4\pi,-2\pi,0,2\pi,4\pi,6\pi, \cdots\)

\(\log(1)\)의 값이 무한개만큼 많은 상

 

그런데 중고등학교에서 '함수'의 개념을 가르칠때, 가장 강조되는 것은 함수는 각 정의역의 원소에 대하여, 공역의 원소가 하나씩 대응되는 것이다.

\(\log(z) = \ln|z| + i\arg(z) = \ln(r) + i\left(\theta + 2 \pi k \right)\)

 

 

  • 복소로그함수가 정의된 리만곡면
    [[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=9490"