(새 문서: {{학술}} == 개요 == '''측정 보조정리(Estimation lemma)'''는 경로적분의 절댓값의 상계를 추정할 수 있게 하는 정리이다. == 진술 == 복소함수 <math...) 태그: 분류가 필요합니다! |
|||
26번째 줄: | 26번째 줄: | ||
이다. | 이다. | ||
}} | }} | ||
[[분류:복소해석학]] | |||
[[분류:수학 정리]] |
2016년 4월 23일 (토) 00:38 판
개요
측정 보조정리(Estimation lemma)는 경로적분의 절댓값의 상계를 추정할 수 있게 하는 정리이다.
진술
복소함수 [math]\displaystyle{ f }[/math]가 경로 [math]\displaystyle{ \Gamma }[/math]에서 연속이고 [math]\displaystyle{ \Gamma }[/math] 위의 임의의 점 [math]\displaystyle{ z }[/math]에 대해 [math]\displaystyle{ |f(z)|\le M }[/math]인 [math]\displaystyle{ M\in\mathbb{R} }[/math]이 존재하면, 다음 부등식이 성립한다.
- [math]\displaystyle{ \left|\int_{\Gamma} f(z) dz\right|\le Ml(\Gamma) }[/math]
이때 [math]\displaystyle{ l(\Gamma) }[/math]는 [math]\displaystyle{ \Gamma }[/math]의 길이이다.
증명
[math]\displaystyle{ \Gamma }[/math]에 포함된 매끄러운 곡선 [math]\displaystyle{ \gamma }[/math]에 대해 부등식이 성립함을 보이면 된다. [math]\displaystyle{ \gamma }[/math]의 분할 [math]\displaystyle{ P=\{z_1,z_2,\cdots, z_n\} }[/math]에 대응하는 리만 합에 대해 다음 부등식이 성립한다.
- [math]\displaystyle{ \left|\sum_{k=1}^n f(c_k) \Delta z_k\right| \le M\sum_{k=1}^n |\Delta z_k|\le l(\gamma) }[/math]
그러면 [math]\displaystyle{ \Gamma=(\gamma_1,\gamma_2,\cdots,\gamma_k) }[/math]에 대해
- [math]\displaystyle{ \begin{align} \int_{\Gamma} f(z)dz &= \int_{\gamma_1}f(z)dz + \int_{\gamma_2}f(z)dz+\cdots+ \int_{\gamma_k}f(z)dz\\ &\le Ml(\gamma_1)+Ml(\gamma_2)+\cdots+Ml(\gamma_k)\\ &=Ml(\Gamma) \end{align} }[/math]
이므로 원하는 결론을 얻는다.
또는 [math]\displaystyle{ \left|\int_a^b f(t)dt\right| \le \int_a^b |f(t)|dt }[/math]를 먼저 증명한 뒤 측정 보조정리가 따름정리가 됨을 보이면 된다.
예시
- [math]\displaystyle{ C:|z|=3 }[/math]일 때, [math]\displaystyle{ \left|\int_C \frac{dz}{z^2-i}\right|\le \frac{3\pi}{4} }[/math]
Solution 삼각부등식에 의해
이므로 측정 보조정리에 의해
|