[复变函数]第11堂课 3.3 Cauchy 积分定理及其推论
0. 引言
(1) Cauchy 积分定理: 设 $D$ 为 $(n+1)$ 连通区域, $f$ 在 $D$ 内解析且连续到边界 $C$, 则 $\dps{\int_C f(\zeta)\rd \zeta=0}$.
(2) 若 $f$ 在 $D$ 内有奇点, 怎么办? 挖掉它! $$\bex \int_C \cfrac{1}{(\zeta-z)^n}\rd \zeta =\sedd{\ba{ll} 2\pi i,&n=1\\ 0&1\neq n\in\bbZ \ea}\quad\sex{z\in I(C)}. \eex$$
1. Cauchy 积分公式: 假设如 Cauchy 积分定理, 则 $$\bex \int_C\cfrac{f(\zeta)}{\zeta-z}\rd \zeta=\sedd{\ba{ll} 2\pi if(z),&z\in D\\ 0,&z\not\in D \ea}. \eex$$ 证明: 当 $z\not\in D$ 时, 由 Cauchy 积分定理即知. 当 $z\in D$ 时, 挖掉奇点得 $$\beex \bea \int_C\cfrac{f(\zeta)}{\zeta-z}\rd \zeta &=\lim_{\rho\to 0^+}\int_{|\zeta-z|=\rho} \cfrac{f(\zeta)}{\zeta-z}\rd \zeta\\ &=\lim_{\rho\to 0^+}\int_0^{2\pi} \cfrac{f(z+\rho e^{i\tt})}{\rho e^{i\tt}}\cdot \rho e^{i\tt}i\rd \tt\quad(\zeta=z+\rho e^{i\tt})\\ &=\lim_{\rho\to 0^+}i\int_0^{2\pi}f(z+\rho e^{i\tt})\rd \tt\\ &=2\pi if(z). \eea \eeex$$
(1) 注记:
a. $\zeta=z$ 为 $\cfrac{f(\zeta)}{\zeta-z}$ 的唯一奇点.
b. 设 $f$ 沿 $C$ 连续, $z\not\in C$, 则称 $\int_C\cfrac{f(\zeta)}{\zeta-z}\rd\zeta$ 为 Cauchy 型积分.
(2) 应用---计算周线积分
a. $\dps{\int_{|\zeta|=2}\cfrac{\zeta}{(9-\zeta^2)(\zeta+i)}\rd \zeta =\int_{|\zeta|=2}\cfrac{\cfrac{\zeta}{9-\zeta^2}}{\zeta+i}\rd \zeta =2\pi i\cfrac{\zeta}{9-\zeta^2}|_{\zeta=-i} =\cfrac{\pi}{5}}$.
b. $\dps{\int_{|\zeta|=2}\cfrac{2\zeta^2-\zeta+1}{\zeta-1}\rd \zeta =2\pi i(2\zeta^2-\zeta+1)|_{\zeta=1}=4\pi i. }$
c. $$\beex \bea \int_{|\zeta|=2}\cfrac{\sin\cfrac{\pi}{4}\zeta}{\zeta^2-1}\rd\zeta &=\cfrac{1}{2}\int_{|\zeta|=2}\sex{\cfrac{\sin \cfrac{\pi}{4}\zeta}{\zeta-1}- \cfrac{\sin\cfrac{\pi}{4}\zeta}{\zeta+1}}\rd \zeta\\ &=\cfrac{1}{2}\cdot 2\pi i\sex{\sin\cfrac{\pi}{4}\zeta|_{\zeta=1}-\sin\cfrac{\pi}{4}\zeta|_{\zeta=-1}}\\ &=\sqrt{2}\pi i. \eea \eeex$$
(3) 推论
a. 解析函数的平均值定理 设 $f$ 在 $|\zeta-z_0|<R$ 内解析, 在 $|\zeta-z_0|=R$ 上连续, 则 $$\bex f(z_0)=\cfrac{1}{2\pi}\int_0^{2\pi}f(z_0+Re^{i\tt})\rd \tt. \eex$$
b. 假设如 Cauchy 积分公式, 则 $$\bex \int_C \cfrac{f(\zeta)}{(\zeta-z)^{n+1}}\rd \zeta =\cfrac{2\pi i}{n!}f^{(n)}(z),\quad z\in D. \eex$$
c. 应用1---计算周线积分 $$\bex \int_{|\zeta-i|=1}\cfrac{\cos \zeta}{(\zeta-i)^3}\rd \zeta =\cfrac{2\pi i}{2!}(\cos \zeta)''|_{\zeta=i} =-\pi i\cos i =-\pi \cfrac{e^{-1}+e}{2}i; \eex$$ $$\bex \int_{|\zeta|=2}\cfrac{2\zeta^2-\zeta+1}{(\zeta-1)^2}\rd \zeta =\cfrac{2\pi i}{1!}(2\zeta^2-\zeta+1)'|_{\zeta=1} =6\pi i. \eex$$
d. 应用2---解析函数的两个等价定义 $$\bex \serd{\ba{rr} u,v\mbox{ 可微}\\ C.R\mbox{ 方程} \ea}\lra f=u+iv\mbox{ 解析}\lra \sedd{\ba{ll} u_x,u_y,v_x,v_y\mbox{ 连续}\\ C.R\mbox{ 方程} \ea}. \eex$$
e. 应用3---Cauchy 不等式 $$\bex |f^{(n)}(z)|\leq\cfrac{n!}{R^n}\max_{|\zeta-z|=R}|f(\zeta)|. \eex$$ 证明: $$\beex \bea |f^{(n)}(z)| &=\sev{\cfrac{n!}{2\pi i}\int_{|\zeta-z|=R}\cfrac{f(\zeta)}{(\zeta-z)^{n+1}}\rd \zeta}\\ &\leq \cfrac{n!}{2\pi i} \cdot \cfrac{1}{R^{n+1}}\cdot \max_{|\zeta-z|=R}|f(\zeta)|\cdot 2\pi R\\ &\leq\cfrac{n!}{R^n}\max_{|\zeta-z|=R}|f(\zeta)|. \eea \eeex$$
f. 应用4---Liouville 定理: 有界整函数 (在 $\bbC$ 上解析的复变函数) 必为常数.
证明: $$\bex |f'(z)|\leq \cfrac{M}{R}\to 0\quad(R\to \infty). \eex$$
g. 应用5---代数学基本定理: 多项式 $p(z)=a_nz^n+\cdots+a_0\ (a_n\neq 0)$ 在 $\bbC$ 上至少有一个根.
证明: 反证法. 若 $p(z)$ 无根, 则 $f(z)=\cfrac{1}{p(z)}$ 在 $\bbC$ 上解析. 由 $$\bex \lim_{z\to\infty}f(z)=\lim_{z\to\infty}\cfrac{1}{z^n\sex{a_n+\cfrac{a_{n-1}}{z}+\cdots+\cfrac{a_0}{z^n}}}=0 \eex$$ 知 $f$ 有界. 由 Liouville 定理即知 $f(z)$ 为常数. 这是一个矛盾. 故有结论.
2. Cauchy 积分定理的逆定理---Morera定理: 设 $D$ 为单连通区域, $f$ 在 $D$ 内连续, 若对 $D$ 内任一周线 $C$, $\dps{\int_C f(z)\rd z=0}$, 则 $f$ 在 $D$ 内解析.
证明: 固定 $z_0\in D$, 定义 $$\bex F(z)=\int_{z_0}^zf(\zeta)\rd \zeta\quad(z\in D). \eex$$ 则 $F$ 可导且 $F'=f$. 故 $F$ 解析, $f$ 也解析.
(1) 解析函数的三个等价定义: $$\bex \ba{rrcll} \serd{\ba{rr} u,v\mbox{ 可微}\\ C.R\mbox{ 方程} \ea}&\lra& f=u+iv\mbox{ 解析}&\lra& \sedd{\ba{ll} u_x,u_y,v_x,v_y\mbox{ 连续}\\ C.R\mbox{ 方程} \ea}\\ &&\Updownarrow&&\\ &&\dps{\forall\mbox{ 周线 }C,\ \int_Cf(\zeta)\rd \zeta=0}&& \ea \eex$$
作业: P 140 T 10 (1) (2) .
[复变函数]第11堂课 3.3 Cauchy 积分定理及其推论的更多相关文章
- [复变函数]第10堂课 3.2 Cauchy 积分定理
0. 引言 (1) $\dps{\int_{|z-a|=\rho}\frac{1}{z-a}\rd z=2\pi i\neq 0}$: 有奇点 (在 $|z|>0$: 二连通区域内解析), 周线 ...
- [复变函数]第05堂课 1.4 复球面与 $\infty$; 作业讲解; 2 解析函数 2.1 解析函数的概念与 Cauchy-Riemann 方程
1. 复球面 大漠孤烟直, 长河落日圆. $$\bex \bbC\cong \bbS^2\bs \sed{N},\quad \bbC_\infty=\bbC\cup \sed{\infty}\mbox ...
- [复变函数]第15堂课 4.3 解析函数的 Taylor 展式
1. Taylor 定理: 设 $f(z)$ 在 $K:|z-a|<R$ 内解析, 则 $$\bee\label{15:taylor} f(z)=\sum_{n=0}^\infty c_n(z ...
- [复变函数]第06堂课 2.1 解析函数的概念与 Cauchy-Riemann 方程 (续)
2. 解析函数及其简单性质 (1) 定义: a. 若 $w=f(z)$ 在区域 $D$ 内可微, 则称 $f$ 在 $D$ 内解析; b. 若 $w=f(z)$ 在 $z_0$ 处的某邻域内解析, 则 ...
- [复变函数]第17堂课 5 解析函数的 Laurent 展式与孤立奇点 5. 1 解析函数的 Laurent 展式
0. 引言 (1) $f$ 在 $|z|<R$ 内解析 $\dps{\ra f(z)=\sum_{n=0}^\infty c_nz^n}$ (Taylor 级数). (2) $f$ 在 $ ...
- C语言学习书籍推荐《学通C语言的24堂课》下载
下载地址:点我 编辑推荐 <学通C语言的24堂课>:用持续激励培养良好习惯以良好习惯铸就伟大梦想——致亲爱的读者朋友在开始学习<学通C语言的24堂课>的同时,强烈建议读者朋友同 ...
- 《程序员的思维修炼:开发认知潜能的九堂课》【PDF】下载
<程序员的思维修炼:开发认知潜能的九堂课>[PDF]下载链接: https://u253469.ctfile.com/fs/253469-231196325 内容简介 运用一门程序设计语言 ...
- Python学习第五堂课
Python学习第五堂课推荐电影:华尔街之狼 被拯救的姜哥 阿甘正传 辛德勒的名单 肖申克的救赎 上帝之城 焦土之城 绝美之城 #上节内容: 变量 if else 注释 # ""& ...
- 大神教你零基础学PS,30堂课从入门到精通
ps视频教程,ps自学视频教程.ps免费视频教程下载,大神教你零基础学PS教程视频内容较大,分为俩部分: 大神教你零基础学PS--30堂课从入门到精通第一部分:百度网盘,https://pan.bai ...
随机推荐
- hihoCoder#1055 : 刷油漆 (树形DP+01背包)
题目大意:给一棵带点权的树,现在要从根节点开始选出m个连通的节点,使总权值最大. 题目分析:定义状态dp(u,m)表示在以u为根的子树从根节点开始选出m个点连通的最大总权值,则dp(u,m)=max( ...
- poj1420 拓扑序
题意:给出一个表格,一部分单元格是给定的数字,而另一部分单元格则是一个式子,表示是其他一些单元格的和,让你输出最后计算出的所有格子的数. 因为有些格子需要其他格子先计算出来,所以计算顺序是按照拓扑序的 ...
- iPad 2升级iOS 9的过程记录
有一台老旧的iPad2,iOS版本还是5.1.1,现在好多软件都无法安装了. 决定升级到最新的操作系统,中间的过程,遇到的问题和解决办法如下: 据说升级到iOS 9以后就不好越狱了,不过我也就是用用一 ...
- 工厂方法模式(FACTORY METHOD)
核心精神是封装类中不变的部分,提取其中个性化善变的部分为独立类,通过依赖注入以达到解耦.复用和方便后期维护拓展的目的. 工厂方法(Factory Method)模式的意义是定义一个创建产品对象的工厂接 ...
- A Complete Tutorial on Tree Based Modeling from Scratch (in R & Python)
A Complete Tutorial on Tree Based Modeling from Scratch (in R & Python) MACHINE LEARNING PYTHON ...
- mysql学习之-密码管理(默认密码,修改密码,解决忘记密码)
1. mysql安装后默认没有密码,初始化安装后默认密码登录,需要马上修改root密码.[root@mysql ~]# cat /root/.mysql_secret --查看root账号密码# ...
- elasticsearch介绍集群,模拟横向扩展节点、节点宕机、改变分片
出处:[http://www.cnblogs.com/dennisit/p/4133131.html] ,防楼主删博,故保留一份! elasticsearch用于构建高可用和可扩展的系统.扩展 ...
- 自然语言处理2.1——NLTK文本语料库
1.获取文本语料库 NLTK库中包含了大量的语料库,下面一一介绍几个: (1)古腾堡语料库:NLTK包含古腾堡项目电子文本档案的一小部分文本.该项目目前大约有36000本免费的电子图书. >&g ...
- Linux复制指定目录及子目录下特定类型的文件
首先建立一个用于测试的目录,用'tree'命令查看其结构如下所示: 可见,目录中主要包含用于测试的*.txt文件和用于充当炮灰的*.tes文件 目标是保持当前的目录结构,只把txt文件复制出来 方法一 ...
- Kettle合并记录步骤
转载: http://blog.itpub.net/post/37422/464323 该步骤用于将两个不同来源的数据合并,这两个来源的数据分别为旧数据和新数据,该步骤将旧数据和新数据按照指定的关键字 ...