최근 수정 시각 : 2024-01-01 09:35:44

미타그레플레르 정리


해석학· 미적분학
Analysis · Calculus
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#26455A>실수와 복소수 실수( 실직선 · 아르키메데스 성질) · 복소수( 복소평면 · 극형식 · 편각) · 근방 · 유계 · 콤팩트성 · 완비성
함수 함수 · 조각적 정의 · 항등함수 · 역함수 · 멱함수 · 다변수함수( 동차함수 · 음함수) · 다가 함수 · 함수의 그래프 · 좌표계 · 닮은꼴 함수 · 극값 · 볼록/오목 · 증감표
초등함수( 대수함수 · 초월함수 · 로그함수 · 지수함수 · 삼각함수) · 특수함수 · 범함수( 변분법 · 오일러 방정식) · 병리적 함수
극한·연속 함수의 극한 · 수열의 극한 · 연속함수 · ε-δ 논법 · 수렴( 균등수렴) · 발산 · 부정형 · 점근선 · 무한대 · 무한소 · 특이점 · 0.999…=1
중간값 정리 · 최대·최소 정리 · 부동점 정리 · 스털링 근사 · 선형근사( 어림)
수열· 급수 수열( 규칙과 대응) · 급수( 멱급수 · 테일러 급수( 일람) · 조화급수 · 그란디 급수( 라마누잔합) · 망원급수( 부분분수분해)) · 그물
오일러 수열 · 베르누이 수열 · 월리스 곱
단조 수렴 정리 · 슈톨츠-체사로 정리 · 축소구간정리 · 급수의 수렴 판정 · 리만 재배열 정리 · 바젤 문제 · 파울하버의 공식 · 오일러-매클로린 공식 · 콜라츠 추측미해결
미분 미분 · 도함수( 이계도함수 · 도함수 일람) · 곱미분 · 몫미분 · 연쇄 법칙 · 임계점( 변곡점 · 안장점) · 매끄러움
평균값 정리( 롤의 정리) · 테일러 정리 · 역함수 정리 · 다르부 정리 · 로피탈 정리
립시츠 규칙 · 뉴턴-랩슨 방법 · 유율법 · 경사하강법
적분 적분 · 정적분( 예제) · 스틸체스 적분 · 부정적분( 부정적분 일람) · 부분적분( LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 이상적분( 코시 주요값)
미적분의 기본정리 · 적분의 평균값 정리
리시 방법 · 2학년의 꿈
다변수· 벡터 미적분 편도함수 · 미분형식 · · 중적분( 선적분 · 면적분 · 야코비안) · 야코비 공식
라그랑주 승수법 · 오일러 동차함수 정리 · 선적분의 기본정리 · 스토크스 정리( 발산 정리 · 그린 정리 변분법
미분방정식 미분방정식( 풀이) · 라플라스 변환
측도론 측도 · 가측함수 · 곱측도 · 르베그 적분 · 절대 연속 측도 · 라돈-니코딤 도함수
칸토어 집합 · 비탈리 집합
복소해석 코시-리만 방정식 · 로랑 급수 · 유수 · 해석적 연속 · 오일러 공식( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
함수해석 공간 위상 벡터 공간 · 국소 볼록 공간 · 거리공간 · 프레셰 공간 · 노름공간 · 바나흐 공간 · 내적공간 · 힐베르트 공간 · Lp 공간
작용소 수반 작용소 · 에르미트 작용소 · 정규 작용소 · 유니터리 작용소 · 컴팩트 작용소
대수 C*-대수 · 폰 노이만 대수
정리 한-바나흐 정리 · 스펙트럼 정리 · 베르 범주 정리
이론 디랙 델타 함수( 분포이론)
조화해석 푸리에 해석( 푸리에 변환 · 아다마르 변환)
관련 분야 해석 기하학 · 미분 기하학 · 해석적 정수론( 1의 거듭제곱근 · 가우스 정수 · 아이젠슈타인 정수 · 소수 정리 · 리만 가설미해결) · 확률론( 확률 변수 · 중심극한정리) · 수치해석학 · 카오스 이론 · 분수계 미적분학 · 수리물리학( 양-밀스 질량 간극 가설미해결 · 나비에 스토크스 방정식의 해 존재 및 매끄러움미해결) · 수리경제학( 경제수학) · 공업수학
기타 퍼지 논리 · 합성곱
}}}}}}}}} ||

삼각함수 · 쌍곡선함수
Trigonometric Functions · Hyperbolic Functions
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#f080b0> 기본 개념 기하학{ 평면기하학( 삼각형 · 삼각비 · · 쌍곡선)} · 해석학{ 좌표계 · 복소평면 · 함수( 초월함수 · 특수함수)}
삼각함수 사인곡선( 위상수학자의 사인곡선) · 역함수 · 도함수 · 역도함수 · 관련 함수 · 삼각함수의 덧셈정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리 · 오일러 공식 · 푸리에 해석( 푸리에 변환) · 삼각 적분 함수 · 구데르만 함수 · 프레넬 적분 함수 · 디리클레 함수 · 바이어슈트라스 함수 · 볼테라 함수 · 에어리 함수 · 야코비 타원 함수
쌍곡선함수 현수선 · 쌍곡선 적분 함수 · 구데르만 함수 }}}}}}}}}

1. 개요2. 특징3. 예시4. 유리함수의 극점 전개
4.1. 삼각함수4.2. 쌍곡선 함수4.3. 바이어슈트라스 무한곱과의 관계
5. 참고 문헌

1. 개요

Mittag-Lefflers sats / Mittag-Leffler / Mittag-Leffler's theorem

복소해석학에서 주어진 극점을 가지고 유리형 함수의 존재를 설명하는 정리이다. 이 정리는 부분 분수들의 합으로써 유리형 함수를 표현하는 데에 사용한다. 또한 주어진 영점을 가지고 전해석함수의 존재를 설명하는[1] 바이어슈트라스 분해 정리와 비슷하기도 하다. 스웨덴의 수학자 예스타 미타그레플레르가 정립했다.

2. 특징

[math(D)]를 [math(\mathbb C)]의 열린 집합으로 두고, [math(E\subset D)]를 닫힌 이산 부분집합이라고 하자. [math(E)]의 각 원소 [math(a)]에서, [math(p_\text{a}(z))]를 [math(\frac{1}{z-a})]의 다항식이라고 한다면, [math(D)]의 유리형 함수 [math(f)]가 [math(a\in E)]에서 존재할 때, 함수 [math(f(z)-p_\text{a}(z))]는 [math(a)]에서만 소거될 수 있다.

눈여겨봐야 할 것은 [math(a)]에서의 [math(f)]의 주요부분이 [math(p_\text{a}(z))]라는 것이다. 추가로 확인할 것은, [math(E)]가 유한할 때, [math(\displaystyle f(z) = \sum_{a\in E}p_\text{a}(z))]로 정의되지만, [math(E)]가 무한할때는 [math(E)]에서 유한 부분 집합 [math(F)]로 구성된 유한합인 [math(\displaystyle S_\text F(z)= \sum_{a\in E}p_\text{a}(z))]로 정의된다. 그럼에도 불구하고, [math(S_\text F(z))]의 수렴이 여전히 불가능할 때, [math(S_\text F(z))]의 주요부분의 변형없이 적절히 선택된 D값과 무관한 극점들을 가진 유리형 함수들을 소거해야 한다.

3. 예시

모든 양수에서 간단한 극점을 가진 유리함수를 얻는다고 하자. 상세에서 언급된 것과 같이, [math(p_\text k = \dfrac {1}{z-k})]을 정의하자,

이때 미타그레플레르 정리에 따라, [math(z=k)]에서 주요 부분 [math(p_\text{k}(z))]를 가진 유리함수 [math(f)]가 존재한다. 이말을 더 정확하게 수학식으로 쓰면 다음과 같이 된다.
[math(\displaystyle f(z) = \dfrac {1}{z} + \sum_{k=1}^{\infty} \dfrac {1}{k(z-k)})]
복소수 집합 [math(\mathbb C)]에서 이 급수는 완벽히 수렴한다.

4. 유리함수의 극점 전개

4.1. 삼각함수

삼각함수 · 쌍곡선함수
Trigonometric Functions · Hyperbolic Functions
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#f080b0> 기본 개념 기하학{ 평면기하학( 삼각형 · 삼각비 · · 쌍곡선)} · 해석학{ 좌표계 · 복소평면 · 함수( 초월함수 · 특수함수)}
삼각함수 사인곡선( 위상수학자의 사인곡선) · 역함수 · 도함수 · 역도함수 · 관련 함수 · 삼각함수의 덧셈정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리 · 오일러 공식 · 푸리에 해석( 푸리에 변환) · 삼각 적분 함수 · 구데르만 함수 · 프레넬 적분 함수 · 디리클레 함수 · 바이어슈트라스 함수 · 볼테라 함수 · 에어리 함수 · 야코비 타원 함수
쌍곡선함수 현수선 · 쌍곡선 적분 함수 · 구데르만 함수 }}}}}}}}}


삼각함수를 미타그레플레르 정리로 표현하면 다음과 같다.
<colbgcolor=#efefef,#555555> [math(\boldsymbol{\tan(z)})] [math(\displaystyle \sum_{n=0}^{\infty} \dfrac {8z}{(2n+1)^2{\pi}^2-4z^2})]
[math(\boldsymbol{\csc(z)})] [math(\displaystyle \begin{aligned} \sum_{n\in\mathbb Z} \dfrac {(-1)^n}{z-n{\pi}} = \dfrac {1}{z} + 2z \sum_{n=1}^{\infty} (-1)^n \dfrac {1}{z^2-(n{\pi})^2} \end{aligned})]
[math(\boldsymbol{\sec(z)})] [math(\displaystyle \begin{aligned} \sum_{n\in\mathbb Z} \dfrac {(-1)^{n-1}}{z-(n+ \dfrac {1}{2})} = \sum_{n=0}^{\infty} \dfrac {(-1)^n(2n+1){\pi}}{(n+ \dfrac {1}{2})^2{\pi}^2-z^2} \end{aligned})]
[math(\boldsymbol{\cot(z)})] [math(\displaystyle \begin{aligned} \sum_{n\in\mathbb Z} \dfrac {1}{z-n{\pi}} = \dfrac {1}{z} + 2z \sum_{k=1}^{\infty} \dfrac {1}{z^2 -(k{\pi})^2} \end{aligned})]

4.2. 쌍곡선 함수

쌍곡선 함수를 삼각함수로 나타낸 정의식에서 유도할 수 있다.
<colbgcolor=#efefef,#555555> [math(\tanh(z))] [math(\displaystyle i\sum_{n=0}^{\infty} \dfrac {8iz}{(2n+1)^2{\pi}^2+4z^2})]
[math(\operatorname{csch}(z))] [math(\displaystyle \begin{aligned} -i \sum_{n\in\mathbb Z} \dfrac {(-1)^n}{iz-n{\pi}} = -i \left(-\dfrac{i}{z} + 2iz \sum_{n=1}^{\infty} (-1)^n \dfrac {1}{-z^2-(n{\pi})^2}\right) \end{aligned})]
[math(\operatorname{sech}(z))] [math(\displaystyle \begin{aligned} \sum_{n\in\mathbb Z} \dfrac {(-1)^{n-1}}{iz-(n+ \dfrac {1}{2})} = \sum_{n=0}^{\infty} \dfrac {(-1)^n(2n+1){\pi}}{(n+ \dfrac {1}{2})^2{\pi}^2+z^2} \end{aligned})]
[math(\operatorname{coth}(z))] [math(\displaystyle \begin{aligned} -i \sum_{n\in\mathbb Z} \dfrac {1}{iz-n{\pi}} = -i \left( -\dfrac{i}{z} + 2iz \sum_{k=1}^{\infty} \dfrac {1}{-z^2 -(k{\pi})^2}\right) \end {aligned})]

4.3. 바이어슈트라스 무한곱과의 관계

바이어슈트라스 분해 정리 문서를 보면 알겠지만, 특정한 전해석 함수를 수렴 조건과 영점을 가진 무한곱으로 표현함에 의의를 두고 있다. 마찬가지로, 미타그레플레르 정리를 활용하여 전해석함수의 바이어슈트라스꼴 무한곱을 만들수 있다.

미타그레플레르 정리에 로그 미분을 대입하면
[math(\displaystyle \dfrac{f'(z)}{f(z)} = \dfrac{f'(0)}{f(0)} +\sum_{k=1}^\infty \dfrac z{k(z-k)})]
양 변을 적분하면
[math(\displaystyle \begin{aligned} \int_0^z \dfrac{f'(z)}{f(z)} \,{\rm d}z &= \ln f(z) -\ln f(0) = z\dfrac{f'(0)}{f(0)} +\sum_{k=1}^\infty \left[ \ln(z - k) -\ln(-k) +\dfrac z{k} \right] \end{aligned})]
함수 [math(f(z))]에서 자연로그를 없애고, k를 n으로 두면 아래와 같은 바이어슈트라스꼴 무한곱이 나온다.
[math(\displaystyle \begin{aligned}
f(z) = f(0) e^{z\frac{f'(0)}{f(0)}} \prod_{k=1}^\infty \biggl( 1 -\dfrac zk \biggr) e^{\frac zk}
\end{aligned} )]

5. 참고 문헌

  • G. B. Arfken et al., Mathematical Method for Physicists : A Comprehensive Guide

[1] 혹은 전해석함수를 영점을 가진 무한곱으로 표현하는