power series와 holomorphic
\(f\)는 open set \(\Omega\)에서 holomorphic하다. \(D\)는 \(z_0\)를 중심으로 하는 closure가 \(\Omega\) 내에 있는 disc일 때, \(f\)는 \(z_0\)에서 power series expansion을 가지고 모든 \(z \in D\)에 대해 계수는 다음과 같다.
\[ f(z) = \sum _{n=0} ^\infty a_n (z - z_0 )^n , \quad a_n = \frac {f^{(n)}(z_0)}{n!} \; \forall n\ge 0 \]
증명.
\(z \in D\)를 고정하자. Cauchy integral formula에 의해
\[ f(z) = \frac {1}{2 \pi i} \int _C \frac {f(\zeta)}{\zeta -z} d \zeta \]
\(C\)는 disc의 boundary를 뜻한다.
이 식과 power series를 연결짓는 부분이 geometric series expansion이다.
\[ \frac {1}{\zeta -z} = \frac {1}{\zeta -z_0 - (z-z_0 )} = \frac {1}{\zeta -z_0 } \frac {1}{1 - \frac {z-z_0} {\zeta- z_0}} \]
\(\zeta \in C,\quad z \in D \)이므로 \(0<r<1\)인 다음과 같은 \(r\)이 존재한다.
\[ \left| \frac{z-z_0}{\zeta -z_0 } \right| <r \]
\[ \therefore \frac {1}{1 - \frac {z - z_0}{\zeta -z_0}} = \sum _{n=0} ^\infty \left( \frac {z-z_0}{\zeta -z_0} \right)^n \]
이 결과를 원래의 식에 대입해서 정리를 해주자.
\[ f(z) = \frac {1}{2\pi i } \int _C \frac {f(\zeta)}{\zeta -z} d \zeta = \frac {1}{2\pi i} \int _C \frac {f(\zeta)}{\zeta -z_0} \sum _{n=0} ^\infty \left( \frac {z-z_0}{\zeta -z_0} \right)^n d \zeta \\= \sum _{n=0} ^\infty \frac {1}{2\pi i} \int _C \frac {f(\zeta)}{(\zeta -z_0)^n } d \zeta (z-z_0)^n \]
\[ a_n = \frac {1}{2 \pi i } \int _C \frac {f(\zeta)}{(\zeta-z_0)^{n+1}} d \zeta = \frac {f^{(n)}}{n!} \]