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 积分定理及其推论的更多相关文章

  1. [复变函数]第10堂课 3.2 Cauchy 积分定理

    0. 引言 (1) $\dps{\int_{|z-a|=\rho}\frac{1}{z-a}\rd z=2\pi i\neq 0}$: 有奇点 (在 $|z|>0$: 二连通区域内解析), 周线 ...

  2. [复变函数]第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 ...

  3. [复变函数]第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 ...

  4. [复变函数]第06堂课 2.1 解析函数的概念与 Cauchy-Riemann 方程 (续)

    2. 解析函数及其简单性质 (1) 定义: a. 若 $w=f(z)$ 在区域 $D$ 内可微, 则称 $f$ 在 $D$ 内解析; b. 若 $w=f(z)$ 在 $z_0$ 处的某邻域内解析, 则 ...

  5. [复变函数]第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$ 在 $ ...

  6. C语言学习书籍推荐《学通C语言的24堂课》下载

    下载地址:点我 编辑推荐 <学通C语言的24堂课>:用持续激励培养良好习惯以良好习惯铸就伟大梦想——致亲爱的读者朋友在开始学习<学通C语言的24堂课>的同时,强烈建议读者朋友同 ...

  7. 《程序员的思维修炼:开发认知潜能的九堂课》【PDF】下载

    <程序员的思维修炼:开发认知潜能的九堂课>[PDF]下载链接: https://u253469.ctfile.com/fs/253469-231196325 内容简介 运用一门程序设计语言 ...

  8. Python学习第五堂课

    Python学习第五堂课推荐电影:华尔街之狼 被拯救的姜哥 阿甘正传 辛德勒的名单 肖申克的救赎 上帝之城 焦土之城 绝美之城 #上节内容: 变量 if else 注释 # ""& ...

  9. 大神教你零基础学PS,30堂课从入门到精通

    ps视频教程,ps自学视频教程.ps免费视频教程下载,大神教你零基础学PS教程视频内容较大,分为俩部分: 大神教你零基础学PS--30堂课从入门到精通第一部分:百度网盘,https://pan.bai ...

随机推荐

  1. MAC 如何修改PATH

    http://hathaway.cc/post/69201163472/how-to-edit-your-path-environment-variables-on-mac

  2. kuangbin_ShortPath D (POJ 3268)

    本来在想 单源多点很好解决但是多源单点怎么解 然后我发现只要倒过来就可以了 把输入存下来然后 处理完dis1 重新init一次 倒着再输入一次 处理dis2 输出max(dis1[i] + dis2[ ...

  3. java的nio之:java的nio系列教程之FileChannel

    一:Java NIO的FileChannel===>Java NIO中的FileChannel是一个连接到文件的通道.可以通过文件通道读写文件. ===>FileChannel无法设置为非 ...

  4. Java Memory Model

    http://www.cs.umd.edu/~pugh/java/memoryModel/jsr-133-faq.html http://www.ibm.com/developerworks/libr ...

  5. 图中最短路径算法(Dijkstra算法)(转)

    1.Dijkstra 1)      适用条件&范围: a)   单源最短路径(从源点s到其它所有顶点v); b)   有向图&无向图(无向图可以看作(u,v),(v,u)同属于边集E ...

  6. python--flask使用

    Flask是一个使用 Python 编写的轻量级 Web 应用框架.下面我将使用Flask框架,创建一个简单的html页面示例. 1.项目的目录结构如下所示:exweb\  uniqueenv\  a ...

  7. div+css关于overflow 动态滚动效果

    http://www.ablanxue.com/prone_2613_1.html 关于overflow:hidden不起作用的说明

  8. 基于window.onerror事件 建立前端错误日志

    QA不是万能的,用户的浏览环境非常复杂,很多情况无法靠测试用例去覆盖,所以最好建立一个前端错误日志,在真实用户端收集bug. try&catch是一个捕获前端错误的常见方法,比如: { //给 ...

  9. 命名空间"system.web"中不存在类型或命名空间名称security"

    在webservice中添加了一个md5加密报错: "命名空间"system.web"中不存在类型或命名空间名称security" 在引用中添加System.W ...

  10. 1kkk

    代码: # !usr/bin/python3.4 # -*- coding:utf-8 -*- import requests import os import time import re from ...