UA MATH524 復(fù)變函數(shù)9 柯西公式與冪級(jí)數(shù)展開(kāi)

• • 柯西公式及其證明
  • 冪級(jí)數(shù)展開(kāi)

柯西公式及其證明

假設(shè)$f$是$D$上的全純函數(shù)，$\gamma$是$D$中的分段平滑正向封閉曲線，且$\gamma$圍成區(qū)域的內(nèi)部$\Omega$是$D$的子集，則
$$f(z)=\frac{1}{2\pi i}{\int }_{\gamma }\frac{f(w)}{w?z}dw,?z\in \Omega$$

證明 因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">$z\in \Omega$，$?{\delta }_0>0$，$B(z,{\delta }_0)?\Omega$，取$\delta <{\delta }_0$，記$\bar{B}(z,\delta )=\{w:|w?z|\le \delta \}$表示closed neighbor of $z$，${\Omega }_{\delta }=\Omega ?\bar{B}(z,\delta )$（用closed neighbor是保證${\Omega }_{\delta }$為開(kāi)集，去掉$z$的一個(gè)閉鄰域是因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">$\frac{f(w)}{w?z}$的奇點(diǎn)為$z$），在${\Omega }_{\delta }$上對(duì)$g(w)=\frac{f(w)}{w?z}$應(yīng)用Green定理與Cauchy定理，
$$0=i{?}_{{\Omega }_{\delta }}\left(\frac{?g}{?x}+i\frac{?g}{?y}\right)dxdy={\int }_{?{\Omega }_{\delta }}g(z)dz$$

因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">$?{\Omega }_{\delta }=?\Omega ?\{w:|w?z|=\delta \}$（后者的定向?yàn)樨?fù)），根據(jù)積分的可加性，
$${\int }_{?{\Omega }_{\delta }}g(z)dz={\int }_{?\Omega }g(z)dz?{\int }_{\{w:|w?z|=\delta \}}g(z)dz=0$$

其中$?\Omega =\gamma$，所以當(dāng)$\delta \to 0$時(shí)，
$${\int }_{\gamma }g(z)dz={\int }_{\{w:|w?z|=\delta \}}g(z)dz\to 2\pi if(z)$$

這樣就完成了證明。但需要注意最后一個(gè)等式，它可以用下面的引理直接得出：

引理 假設(shè)$f$在$B(z_0,r)$上連續(xù)，${\gamma }_{?}=\{z:|z?z_0|=?\}$，則
$$\underset{?\to 0}{\lim }\frac{1}{2\pi i}{\int }_{{\gamma }_{?}}\frac{f(z)}{z?z_0}dz=f(z_0)$$

簡(jiǎn)單證明一下這個(gè)引理。先將${\gamma }_{?}$參數(shù)化：${\gamma }_{?}(t)=z_0+?e^{it},t\in [0,2\pi ]$，代入到積分中，
$$\begin{array}{rl}\frac{1}{2\pi i}{\int }_{{\gamma }_{?}}\frac{f(z)}{z?z_0}dz& =\frac{1}{2\pi i}{\int }_0^{2\pi }\frac{f(z_0+?e^{it})}{?e^{it}}d(z_0+?e^{it})\\ & =\frac{1}{2\pi }{\int }_0^{2\pi }f(z_0+?e^{it})dt\end{array}$$

因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">$f$的連續(xù)性，
$$\begin{array}{rl}\left|\frac{1}{2\pi }{\int }_0^{2\pi }f(z_0+?e^{it})dt?f(z_0)\right|& =\left|\frac{1}{2\pi }{\int }_0^{2\pi }f(z_0+?e^{it})?f(z_0)dt\right|\\ & \le \underset{t\in [0,2\pi ]}{\max }|f(z_0+?e^{it})?f(z_0)|<?\end{array}$$

這樣就說(shuō)明了引理為真。

冪級(jí)數(shù)展開(kāi)

下面介紹一個(gè)Cauchy公式的應(yīng)用。假設(shè)$f$是$D$上的全純函數(shù)，$z_0\in D$，且$B(z_0,R)?D$，則$f$在$B(z_0,R)$中存在冪級(jí)數(shù)展開(kāi)，
$$f(z)=\sum _{k=0}^{+\infty }{a}_k(z?z_0{)}^k$$

并且
$$a_k=\frac{1}{2\pi i}{\int }_{\gamma }\frac{f(w)}{(w?z_0{)}^{k+1}}dw$$

其中$\gamma =\{w:|w?z_0|=r\}$方向?yàn)檎?#xff0c;$r<R$。這里給了冪級(jí)數(shù)展開(kāi)的一個(gè)一般性公式，事實(shí)上，如果$f$是平滑函數(shù)，那么$a_k$可以用Taylor級(jí)數(shù)的系數(shù)表達(dá)式$$a_k=\frac{f^{(k)}(z_0)}{k!}$$

且這個(gè)結(jié)果與$a_k=\frac{1}{2\pi i}{\int }_{\gamma }\frac{f(w)}{(w?z_0{)}^{k+1}}dw$相同；但如果$f$不是平滑函數(shù)，就只能用$a_k=\frac{1}{2\pi i}{\int }_{\gamma }\frac{f(w)}{(w?z_0{)}^{k+1}}dw$這個(gè)公式計(jì)算冪級(jí)數(shù)展開(kāi)的系數(shù)了。

下面給出復(fù)變函數(shù)冪級(jí)數(shù)的不嚴(yán)謹(jǐn)推導(dǎo)（只是提供一個(gè)大致的思路，完整證明可以參考Stephen Fisher的復(fù)變函數(shù)第二版的123-125頁(yè)）：取$r<R$，在$B(z_0,r)$上，根據(jù)Cauchy公式，
$$f(z)=\frac{1}{2\pi i}{\int }_{\gamma }\frac{f(w)}{w?z}dw$$

其中$\gamma$為正向的圓$\{w:|w?z_0|=r\}$，因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">$w$在圓上，$z$在圓內(nèi)，所以$|z?z_0|<r$，并且$\frac{|z?z_0|}{|w?z_0|}<1$，由此用冪級(jí)數(shù)展開(kāi)
$$\frac{1}{w?z}=\frac{1}{(w?z_0)?(z?z_0)}=\frac{1}{w?z_0}\frac{1}{1?\frac{z?z_0}{w?w_0}}=\frac{1}{w?z_0}\sum _{n=0}^{+\infty }{\left(\frac{z?z_0}{w?z_0}\right)}^n$$

代入到Cauchy公式中，
$$\begin{array}{rl}f(z)& =\frac{1}{2\pi i}{\int }_{\gamma }\frac{f(w)}{w?z_0}\sum _{n=0}^{+\infty }{\left(\frac{z?z_0}{w?z_0}\right)}^{n}dw\\ & =\sum _{n=0}^{+\infty }(z?z_0{)}^n\underset{a_n}{\left(\frac{1}{2\pi i}{\int }_{\gamma }\frac{f(w)}{(w?z_0{)}^{n+1}}dw\right)}\end{array}$$

總結(jié)

以上是生活随笔為你收集整理的UA MATH524 复变函数9 柯西公式与幂级数展开的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。