【学习课件】第五讲-原函数与不定积分-柯西积分公式-解析函数的高阶导数

第五讲原函数与不定积分柯西积分公式·解析函数的高阶导数复变函数课程系列课件Contents课程目录复变函数积分理论的核心脉络与关键定理01引言：复积分基础知识回顾02原函数与不定积分03柯西积分公式04解析函数的高阶导数05课程总结与课后作业CHAPTER01引言：复积分基础知识回顾从柯西-古萨基本定理出发，为原函数概念和新积分工具奠定基础COMPLEXANALYSIS复积分与柯西-古萨基本定理柯西-古萨基本定理是复变函数积分理论的基石：在单连通区域内解析的函数，沿任意闭曲线的积分为零。复平面上闭合曲线积分的几何意义01复积分定义沿复平面上分段光滑曲线C对f(z)的积分，本质是将曲线参数化后转化为定积分计算02柯西-古萨基本定理若f(z)在单连通区域B内解析，则沿B内任意简单闭曲线C的积分∮f(z)dz=003核心意义解析函数在单连通域内的积分与路径无关，只与起点和终点有关，为定义原函数创造条件04复合闭路定理多连通域推广：若f(z)在多连通域内解析，外边界积分等于各内边界积分之和COMPLEXANALYSIS·复积分理论格林公式视角与奇点问题通过格林公式可以直观理解柯西积分定理——解析函数满足柯西-黎曼方程使得二重积分被积函数为零。但当积分区域存在奇点时格林公式失效，这正是柯西积分公式诞生的动机。01将∮Cf(z)dz拆为实部和虚部的第二类曲线积分，分别应用格林公式后，由柯西-黎曼方程∂u/∂x=∂v/∂y和∂u/∂y=−∂v/∂x使被积函数全部为零。02格林公式的适用条件要求被积函数在积分区域内连续可微，当区域内部存在奇点（函数不解析的点）时此条件被破坏。03奇点处积分不再为零，但直接展开实部虚部用格林公式计算量极大，柯西迫切需要一种新工具来高效处理含奇点的积分。04本讲核心任务：在柯西积分定理基础上建立原函数理论（无奇点情形）和柯西积分公式（有奇点情形），系统解决复积分计算问题。CHAPTER02原函数与不定积分从积分路径无关性出发，建立复变函数的原函数理论与牛顿-莱布尼兹公式COMPLEXANALYSIS·复变函数变上限积分与原函数的定义解析函数在单连通区域内的积分路径无关性使得变上限积分函数F(z)得以良好定义，且F(z)本身也是解析的，其导数恰为被积函数f(z)，从而F(z)成为f(z)的一个原函数。积分路径无关性由柯西积分定理推论，f(z)在单连通域B内解析时，∫_Cf(z)dz与路径C无关，仅取决于起点z₀和终点z。这一性质是变上限积分定义的基石。柯西定理推论变上限积分函数固定起点z₀，令终点z变动，定义F(z)=∫_{z₀}^{z}f(ζ)dζ，此函数在B内单值且解析。积分路径的任意性保证了F(z)的良好定义。F(z)=∫f(ζ)dζ核心定理F(z)在B内解析且F'(z)=f(z)，即变上限积分函数的导数等于被积函数，与实变函数中的微积分基本定理完全对应，构成复变函数积分理论的核心。F'(z)=f(z)原函数定义若Φ(z)在区域B内的导数等于f(z)，即Φ'(z)=f(z)，则称Φ(z)为f(z)在B内的原函数。变上限积分F(z)即为f(z)的一个特定原函数。Φ'(z)=f(z)COMPLEXANALYSIS原函数的基本性质解析函数的任意两个原函数之间仅相差一个常数，这与实变函数的结论一致。这一性质保证了不定积分的定义是合理的，并为牛顿-莱布尼兹公式的复变版本奠定了基础。01原函数族定理：设H(z)和G(z)都是f(z)在区域B内的原函数，则[H(z)−G(z)]′=f(z)−f(z)=0，故H(z)−G(z)=C（常数）。02证明的关键步骤：在复变函数中，解析函数导数处处为零可推出该函数为常数，这需要区域的连通性条件。03与实变函数的对比：实函数中导数为零推出常数需要区间条件；复变函数中需要区域（开连通集）条件，本质逻辑相同。04实际意义：只要找到f(z)的一个原函数，加上任意常数C就得到了f(z)的全部原函数，即原函数族{F(z)+C}。COMPLEXANALYSIS·INTEGRATION不定积分与牛顿-莱布尼兹公式复变函数的不定积分定义为F(z)+C，由此导出的牛顿-莱布尼兹公式将路径积分简化为端点处原函数值的差，极大地简化了计算。01不定积分定义：设F(z)是f(z)的一个原函数，则f(z)的不定积分记为∫f(z)dz=F(z)+C，其中C为任意复常数F(z)+C02牛顿-莱布尼兹公式：若f(z)在单连通域B内解析，F(z)为其原函数，则∫z₁z₂f(z)dz=F(z₂)−F(z₁)F(z₂)−F(z₁)03条件对比：实变函数中仅要求f(x)连续；复变函数中要求f(z)解析（条件更强），但解析性保证了原函数的存在解析⇒原函数存在04计算优势：将复杂的路径积分转化为简单的端点求值问题，只要找到原函数就能快速计算任意路径上的积分路径无关COMPLEXINTEGRATION例题：牛顿-莱布尼兹公式的应用通过具体计算验证牛顿-莱布尼兹公式的有效性。解析函数的积分计算可以完全转化为原函数的端点求值，方法与实变函数类似但需注意复数运算规则。例1多项式函数的积分计算∫₀¹⁺ⁱz²dz，因z²在全平面解析，原函数为z³/3代入端点：[(1+i)³/3]−[0³/3]=(1+3i+3i²+i³)/3积分结果与路径无关，无论选择直线、折线还是曲线路径，结果相同(−2+2i)/3例2指数函数的积分计算∫₀²πⁱeᶻdz，eᶻ在全平面解析，原函数为eᶻ本身代入端点：e²πⁱ−e⁰=(cos2π+isin2π)−1=1−1=0结果为零的几何意义：eᶻ沿虚轴积分一周后，函数值恰好回到起点=0ComplexIntegration例题：分部积分法在复积分中的应用复变函数中的积分技巧与实变函数完全类似。关键在于被积函数必须在积分路径所在区域内解析，才能应用牛顿-莱布尼兹公式。例3：分部积分计算计算∫₀ⁱz·sinzdz，令u=z，dv=sinzdz，应用分部积分公式原函数为−zcosz+sinz+C，代入端点得−icosi+sini=i(sinh1−cosh1)复三角函数与双曲函数关系：cosi=cosh1，sini=i·sinh1求积分方法总结01牛顿-莱布尼兹公式（首选）—若f(z)解析且能找到原函数F(z)，直接计算F(z₂)−F(z₁)02柯西-古萨定理—若积分路径为闭曲线且f(z)在内部解析，积分直接为零03参数化法—将曲线C参数化后转化为普通定积分计算，适用于简单路径04柯西积分公式（下节重点）—利用柯西积分公式处理含奇点的闭路积分CHAPTER03柯西积分公式用边界值表示解析函数内部值的核心工具，开启解析函数深层性质的大门ComplexAnalysis·CauchyIntegralFormula柯西积分公式的引出当被积函数在闭曲线内部存在奇点时，柯西积分定理不再适用。通过复合闭路定理将积分缩小到奇点附近的小圆上分析，可以推导出一个用边界上的积分值表示函数内部值的公式——这就是柯西积分公式。01问题设定f(z)在D内解析，C为D内简单闭曲线，z₀在C内部，求∮C[f(z)/(z−z₀)]dz∮Cf(z)/(z−z₀)dz02奇点处理被积函数f(z)/(z−z₀)在z₀处不解析，利用复合闭路定理将外边界C上的积分等价转化为包围z₀的小圆C₁上的积分C→C₁03极限分析在C₁上令z=z₀+ρeiθ，当ρ→0时f(z)→f(z₀)，积分化为f(z₀)·∮C₁1/(z−z₀)dzρ→004关键结果∮C₁1/(z−z₀)dz=2πi（可直接参数化验证），因此原积分=2πi·f(z₀)2πi·f(z₀)COMPLEXANALYSIS柯西积分公式（定理）柯西积分公式f(z₀)=(1/2πi)∮[f(z)/(z−z₀)]dz揭示了解析函数内部值完全由边界值决定的深刻性质。01定理表述：设f(z)在简单闭曲线C及其内部区域D上解析，z₀∈D，则f(z₀)=(1/2πi)∮C[f(z)/(z−z₀)]dz02公式的深刻意义：解析函数在区域内部任一点的值完全由它在边界上的值通过积分确定，体现了"边界决定内部"的解析函数本质特征03证明核心思路：在z₀附近取小圆C₁，由复合闭路定理得∮C=∮C₁，将f(z)分解为f(z₀)+[f(z)−f(z₀)]，前者积分得2πi·f(z₀)，后者在极限下为零04与实变函数对比：实函数在区间内可微不能保证内部值由端点值确定；解析函数的这种"刚性"是其独特的优美性质ComplexAnalysis·CauchyIntegralFormula推论：平均值定理柯西积分公式的直接推论——解析函数在圆心的值等于它在圆周上的算术平均值。这个优美的性质反映了解析函数的"调和"本质，是研究解析函数局部性质的重要工具。01平均值定理若f(z)在圆|z−z₀|≤R内解析，则f(z₀)=(1/2π)∫₀²πf(z₀+Re^iθ)dθ，即圆心处的值等于圆周上的平均值。02推导过程取C为圆z=z₀+Re^iθ，dz=iRe^iθdθ，代入柯西积分公式化简即可得到平均值定理。03几何意义解析函数在任一点的值是其周围值的"加权平均"，不会出现孤立的极大值或极小值。04与调和函数的联系解析函数的实部和虚部都是调和函数，平均值性质是调和函数的基本特征。COMPLEXANALYSIS例题：柯西积分公式的基本应用柯西积分公式将形如∮C[f(z)/(z−z₀)]dz的积分直接转化为2πi·f(z₀)的简单计算。关键是正确识别f(z)和z₀，并验证f(z)在C及其内部解析。01例1：简单极点积分计算∮|z|=1sinz/zdz，识别f(z)=sinz（全平面解析），z₀=0在单位圆内。应用柯西积分公式：∮sinz/zdz=2πi·sin(0)=0=002例2：偏移极点积分计算∮|z|=2eᶻ/(z−1)dz，识别f(z)=eᶻ（全平面解析），z₀=1在|z|=2内。应用公式：∮eᶻ/(z−1)dz=2πi·e¹=2πie注意：必须验证z₀确实在C内部，且f(z)在C及其内部处处解析。=2πieComplexIntegration例题：多奇点积分的处理方法当被积函数在闭曲线内有多个奇点时，需要用复合闭路定理将积分分解为多个只含单个奇点的子积分，然后对每个子积分分别应用柯西积分公式。01例3：多奇点分解法计算∮|z|=21/[z(z−1)]dz，奇点z=0和z=1均在圆内用复合闭路定理分解为∮C₁和∮C₂两个子积分部分分式分解：1/[z(z−1)]=1/(z−1)−1/z，分别计算每个子积分最终结果：∮C₁(1/z)dz=2πi，∮C₂[1/(z−1)]dz=2πi，相减得002方法要点总结Step1找出闭曲线C内部的所有奇点Step2用小闭曲线分别包围每个奇点，应用复合闭路定理分解Step3对每个子积分识别f(z)和z₀，分别用柯西积分公式计算后求和COMPLEXANALYSIS柯西积分公式的推广与柯西型积分将柯西积分公式中的闭曲线推广为任意分段光滑曲线、将解析函数推广为可积函数，就得到了柯西型积分。柯西型积分在非曲线点上总是解析的，这一性质在边值问题和工程数学中有广泛应用。01柯西型积分定义设C为任意分段光滑曲线，f(ξ)是C上的可积函数，z∉C，则F(z)=(1/2πi)∫_C[f(ξ)/(ξ−z)]dξ称为柯西型积分。该积分将柯西积分公式从闭曲线情形推广至更一般的曲线。02解析性保证柯西型积分F(z)在C以外的区域内总是解析的，即使f(ξ)本身不要求是解析函数。这一性质是柯西型积分区别于普通复积分的关键特征，为研究更广泛的函数类提供了有力工具。03与柯西积分公式的关系当C是闭曲线且f(ξ)在C及其内部解析时，柯西型积分退化为柯西积分公式。这说明柯西型积分是柯西积分公式的自然推广，包含了经典结果作为特例。04应用价值研究解析函数边值问题、积分方程和奇异积分算子的基本工具，在弹性力学和流体力学中有重要应用。柯西型积分方法是解决实际工程问题中边界值计算的核心数学手段。Cauchy'sInequality推论：柯西不等式柯西不等式给出了解析函数n阶导数的上界估计|f⁽ⁿ⁾(a)|≤n!M/Rⁿ，将导数大小与函数在边界上的最大值联系起来。这个不等式是证明刘维尔定理和代数基本定理的关键工具。01设f(z)在|z−a|≤R内解析，M(R)=max|f(z)|，则|f⁽ⁿ⁾(a)|≤n!·M(R)/Rⁿ该公式建立了高阶导数与函数边界最大值之间的定量关系，是复分析中最重要的估计之一。核心公式02利用高阶导数公式取模，结合积分估值不等式|∫f(z)dz|≤M·L（M为模的最大值，L为曲线长度）通过柯西积分公式将导数表示为围道积分，再应用标准的积分模估计即可得证。证明思路03n=1时特例|f'(a)|≤M/R，导数大小受函数值变化范围和区域尺度的共同约束区域越大（R越大），导数上界越小；函数波动越小（M越小），导数亦越小。一阶特例04函数在整个圆盘上变化不大（M小），则它在中心的导数也不可能很大——边界行为控制内部性质这是解析函数特有的刚性：边界值完全决定内部值，且对变化率给出明确限制。直觉理解ComplexAnalysis·Liouville'sTheorem刘维尔定理及其证明刘维尔定理指出有界整函数必为常数。这个看似简单的结论是柯西不等式的直接推论——令半径R趋于无穷，导数的上界趋于零。该定理是证明代数基本定理的关键工具。01刘维尔定理：若f(z)在整个复平面上解析（整函数）且有界（存在M使得|f(z)|≤M），则f(z)必为常数02简洁证明：对任意a和n≥1，由柯西不等式|f⁽ⁿ⁾(a)|≤n!M/Rⁿ，令R→∞得f⁽ⁿ⁾(a)=0，故f(z)仅含常数项03证明代数基本定理：若n次多项式P(z)无零点，则1/P(z)是有界整函数，由刘维尔定理知其为常数，与P(z)为n次多项式矛盾04深层意义：复平面的"完备性"使得有界整函数没有足够的"空间"来变化，反映了复分析与实分析的本质差异COMPLEXANALYSIS莫雷拉（Morera）定理莫雷拉定理是柯西积分定理的逆定理：若连续函数沿区域内任意闭曲线的积分为零，则函数在该区域解析。这给出了判断解析性的等价条件，完善了解析函数理论体系的逻辑闭环。定理表述若f(z)在区域D内连续，且对D内任意简单闭曲线C都有∮Cf(z)dz=0，则f(z)在D内解析。证明思路积分路径无关→定义原函数F(z)→F(z)解析且F'=f→f(z)作为解析函数的导数也是解析的。与柯西定理的关系柯西：解析→闭路积分为零（正向）；莫雷拉：闭路积分为零→解析（逆向），两者构成充要条件。应用价值为证明函数的解析性提供积分判别法，特别适用于通过积分形式定义的函数的解析性证明。Chapter04解析函数的高阶导数证明解析函数的无穷可微性，建立高阶导数的积分表达式ComplexAnalysis·Derivation高阶导数公式的形式推导对柯西积分公式反复关于z₀求导，可以形式上得到各阶导数的积分表达式。n阶导数公式是柯西积分公式的自然推广。01一阶导数对柯西积分公式f(z₀)=(1/2πi)∮Cf(z)/(z−z₀)dz两边关于z₀求导，积分号下求导后可得：f′(z₀)=(1/2πi)∮Cf(z)/(z−z₀)²dz02二阶导数继续对一阶导数公式求导，分母的幂次逐次增加，系数呈现阶乘规律：f″(z₀)=(2!/2πi)∮Cf(z)/(z−z₀)³dz03n阶导数一般公式通过数学归纳法，可得任意正整数n阶导数的统一积分表达式：f(n)(z₀)=(n!/2πi)∮Cf(z)/(z−z₀)n+1dz04深层事实解析函数具有任意阶导数（无穷可微性），且每阶导数仍为解析函数。这一性质与实变函数形成本质区别——实可微函数甚至不一定有二阶导数。ComplexAnalysis·Proof高阶导数公式的严格证明高阶导数公式可通过数学归纳法严格证明。基础步骤利用导数定义和柯西积分公式推导一阶导数表达式；归纳步骤假设n=k成立后证明k+1成立。证明的核心难点在于处理极限与积分的交换。Step01·基础步骤n=1：一阶导数推导由导数定义f'(z₀)=lim[f(z₀+Δz)−f(z₀)]/Δz，代入柯西积分公式，化简差商后取极限得到f'(z₀)=(1/2πi)∮f(z)/(z−z₀)²dzStep02·归纳假设假设n=k成立假设n=k时公式成立，即f⁽ᵏ⁾(z₀)=(k!/2πi)∮_Cf(z)/(z−z₀)^{k+1}dzStep03·归纳步骤k→k+1递推对f⁽ᵏ⁾(z₀)用导数定义求差商，代入归纳假设表达式，处理积分与极限交换后得(k+1)阶公式Step04·核心推论解析函数无穷可微解析函数的导数仍为解析函数，因此解析函数具有无穷阶导数（无穷可微性），这是实可微函数不具备的性质ComplexAnalysis解析函数与实变函数的本质区别解析函数'一次可导即无穷可导'的特性是复分析最深刻的性质之一。实变函数即使可导，其导数也可能不连续；而解析函数仅凭一阶可导就蕴含了无穷阶导数的存在性与连续性。实变函数的局限01f(x)=x²sin(1/x)在x=0处可导，但f'(x)在x=0不连续，不存在二阶导数02实函数可导不保证导数连续，更不保证高阶导数存在03C¹（连续可导）、C²、C∞（光滑）、Cω（解析）是四个不同的函数类解析函数的优越性01解析（一阶可导）⟹无穷可导⟹各阶导数连续⟹可展为幂级数，四个概念完全等价02高阶导数公式给出每阶导数的积分表达式，将导数与边界值联系起来03这种'刚性'使得解析函数理论比实分析更加优美和完整ComplexAnalysis·WorkedExamples例题：高阶导数公式的积分计算高阶导数公式的应用方向是双向的：既可以由已知的解析函数求导数值，也可以将复杂的闭路积分转化为求导运算。后者是计算含高阶极点的闭路积分的标准方法。Example01三阶分母积分∮|z|=1ez/z³dzn=2，z₀=0，f(z)=ezf″(z)=ez，f″(0)=1=2πi/2!·1=πiExample02偏移极点的三阶积分∮|z|=2cosz/(z−1)³dzn=2，z₀=1，f(z)=coszf″(z)=−coszf″(1)=−cos1=2πi/2!·(−cos1)=−πi·cos1Example03四阶分母积分∮|z|=3z²/(z−1)⁴dzn=3，z₀=1，f(z)=z²f‴(z)=0z²的三阶导数为零=2πi/3!·0=0COMPLEXANALYSIS·EXAMPLES例题：含复合奇点的高阶积分对于分母为多项式幂次的积分，需要先进行因式分解找出所有奇点，判断哪些在积分路径内部，然后构造合适的解析函数使其满足高阶导数公式。例4：二次多项式的平方步骤一：计算∮|z−i|=11/(z²+1)²dz，对分母进行因式分解得到(z−i)²(z+i)²步骤二：分析奇点位置，仅z=i位于积分圆|z−i|=1内部，令f(z)=1/(z+i)²步骤三：应用n=1的高阶导数公式，计算f'(z)=−2/(z+i)³，得f'(i)=i/4最终结果=−π/2例5：含sinz的高阶积分步骤一：计算∮|z|=πsinz/z⁴dz，识别n=3,z₀=0,f(z)=sinz步骤二：计算三阶导数f'''(z)=−cosz，代入奇点得f'''(0)=−1步骤三：代入高阶导数公式：积分=2πi/3!·f'''(0)=2πi/6·(−1)最终结果=−πi/3CHAPTER05课程总结与课后作业系统梳理本讲三大核心主题的逻辑联系，巩固关键计算方法Summary本讲核心内容总结本讲三大主题层层递进：原函数理论解决了解析函数的路径积分计算问题；柯西积分公式解决了含奇点的闭路积分并揭示了解析函数的边界值性质；高阶导数公式证明了解析函数的无穷可微性，三者共同构成复积分理论的完整框架。原函数与不定积分01核心公式：∫z₁z₂f(z)dz=F(z₂)−F(z₁)（牛顿-莱布尼兹公式）02适用条件：f(z)在单连通域内解析，F(z)为其原函数03关键性质：解析函数的原函数仍为解析函数F(z₂)−F(z₁)柯西积分公式01核心公式：f(z₀)=(1/2πi)∮Cf(z)/(z−z₀)dz02深层意义：边界值完全决定内部值，推导出平均值定理、柯西不等式与刘维尔定理03计算方法：处理含单个奇点的闭路积分的标准工具1/2πi∮高阶导数公式01核心公式：f⁽ⁿ⁾(z₀)=(n!/2πi)∮Cf(z)/(z−z₀)n+1dz02重要结论：解析函数无穷可微，导数仍为解析函数03计算方法：处理含高阶极点的闭路积分的标准工具n!/2πi∮Reference关键公式与定理速查表本讲涉及的核心公式形成一个从简单到复杂的递进体系。每个公式都有明确的适用条件，在实际计算中必须严格检查解析性和奇点位置，选择正确的公式进行计算。第五讲核心公式速查定理/公式公式表达适用条件应用场景牛顿-莱布尼兹公式∫f(z)dz=F(z₂)−F(z₁)f(z)解析，F(z)为原函数解析函数的路径积分柯西积分公式f(z₀)=(1/2πi)∮f(z)/(z−z₀)dzf(z)在C及内部解析含一阶奇点的闭路积分高阶导数公式f⁽ⁿ⁾(z₀)=(n!/2πi)∮f(z)/(z−z₀)ⁿ⁺¹dzf(z)在C及内部解析含n+1阶奇点的闭路积分平均值定理f(z₀)=(1/2π)∫₀²πf(z₀+Reⁱθ)dθf(z)在圆盘内解析解析函数的局部性质分析柯西不等式|f⁽ⁿ⁾(a)|≤n!M/Rⁿf(z)在圆盘内解析导数估计、刘维尔定理证明刘维尔定理有界整函数必为常数f(z)在全平面解析且有界证明代数基本定理本讲六大核心公式覆盖了解析函数积分计算和性质分析的主要方法Mathema