跳到内容
返回探索
微积分 / 英语

数学物理方法 1-3.2 柯西积分公式

上大老姜 · 哔哩哔哩 · 9:08

打开原视频
阅读与收藏

把讲解展开来看。

被收藏 0

已审核学习内容 · 视频分析 · 中文
阅读完整概览

本片段是上海大学《数学物理方法》课程中“复变函数——柯西积分公式”的开头部分。前 22 秒为片头与章节标题;随后教师在白板上画出闭合回路 C 及其内部点 z0z_0,说明公式成立的前提是 C 所包围区域为 f(z)f(z) 的单连通解析区域。约 62 秒起给出核心公式 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz,并解释它把区域内一点的函数值与围绕该点的回路积分联系起来。约 96 秒后进入“证明:”环节,教师先提醒不能只盯着 f(z)f(z) 的解析性,而要研究整个被积函数 f(z)z−z0\frac{f(z)}{z-z_0}。片段在证明刚起步时结束,未包含完整推导。 本片段讲解复变函数中的柯西积分公式。讲师首先给出公式及其适用条件,随后引入复连通域上的柯西积分定理,说明如何将大回路积分形变为包围奇点的小圆回路积分。接着,通过设定小圆的参数方程,将围道积分转化为关于极角的实变量定积分,完成了公式证明的关键前置推导步骤。 本片段讲解柯西积分公式的证明。板书先给出公式 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C\frac{f(z)}{z-z_0}dz,并把大回路 C 上的积分转化为围绕 z0z_0 的小圆 CrC_r 上的积分。随后用参数化 z=z0z=z_0+re^{iθi\theta} 化简为 i∫02πfi\int_0^{2\pi}f(z0z_0+re^{iθi\theta})dθd\theta,再令 r→0r\to 0,利用解析函数的连续性把 f(z0z_0+re^{iθi\theta}) 替换为 f(z0)f(z_0),最终得到 ∮Cf(z)z−z0dz=2πif(z0)\oint_C\frac{f(z)}{z-z_0}dz=2\pi i f(z_0)。讲师最后指出,这一证明依赖前面讲过的复连通域上的柯西积分定理。片段末尾开始提及该公式的一个特例或推论,但内容被截断。 本片段首先回顾了柯西积分公式及其在 f(z)=1f(z)=1 时的特例,该特例可用于判断点是否在积分回路内。随后,课程进入解析函数导数的讨论,通过对柯西积分公式两边关于自变量 zz 求导,详细推导了解析函数的一阶导数和二阶导数公式,展示了复变函数中积分与求导的紧密联系。 本片段主要讲解复变函数中的柯西积分公式及其推论。视频首先展示了利用闭曲线上的积分计算曲线内部解析函数值的柯西积分公式。随后,通过对该公式关于求值点 z 反复求导,推导出了一阶、二阶直至 n 阶导数的积分表达式,指出了分母幂次增加和分子出现阶乘因子的规律。最后,视频总结了解析函数的一个重要性质:只要函数在某区域内解析,它就具有任意阶导数,且各阶导数依然是解析函数。

在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。

章节

0:00片头与课程标题0:22引入柯西积分公式0:32解释 C、f(z)f(z) 与 z0z_0 的条件1:02给出柯西积分公式1:36开始证明:先分析被积函数2:00柯西积分公式的提出与条件2:15利用复连通域柯西积分定理形变回路2:45小圆回路的参数化与积分转化4:00柯西积分公式与参数化4:13大回路化为小回路4:57令半径趋于零并利用连续性5:36证明总结与后续推论引入6:00柯西积分公式及其特例6:40解析函数的导数推导8:00柯西积分公式与各阶导数公式展示8:14解析函数任意阶可导性质的推导与说明8:34课程总结:解析函数的无限可微性8:53片尾与学校宣传

学习解说文稿

依据视频画面与讲解整理,并非逐字语音转写。

开场先以数学物理方法课程的片头动画和章节标题引入,画面随后切到授课页面,明确本节主题是“复变函数——柯西积分公式”。

教师开口即点明本节要讲一个对复变函数非常重要的公式:柯西积分公式。这里的任务是先建立公式的几何与解析背景,再给出公式本身。

板书右侧出现一个闭合圆,圆内标出点 z0z_0。教师一边指着圆周,一边解释条件:CC 是包围区域的回路,CC 所包围的整个区域是 f(z)f(z) 的单连通解析区域;也就是说,f(z)f(z) 在这个区域内处处解析。接着他又指出 z0z_0 是这个被包围区域中的一个点。这样,公式所需的三个对象——回路 CC、函数 f(z)f(z)、内部点 z0z_0——都被明确下来。

随后板书给出核心公式 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz。教师解释其含义:我们想考察解析函数 f(z)f(z) 在单连通解析区域内某一点 z0z_0 的取值,而这个取值竟然可以用一个沿着包围 z0z_0 的回路积分来表示。这里的关键联系是“局部点的函数值”与“围绕该点的整体回路积分”之间的等价表达。

页面下方出现“证明:”,课程从陈述公式转入论证。教师先提出证明入口:不要只盯住分子 f(z)f(z),而要看整个积分的被积函数。因为虽然 f(z)f(z) 在区域内解析,但积分里真正出现的对象是 f(z)z−z0\frac{f(z)}{z-z_0}。这一步把注意力从“函数本身解析”转向“商式被积函数的结构”,为后续分析做准备。

片段在教师刚说到“对于这样一个大的被积函数而言”时结束,因此本段只完成了证明的起手式:先识别被积函数为 f(z)z−z0\frac{f(z)}{z-z_0},尚未展开后续推导。

在复变函数中,当积分回路内部包含函数的非解析点(奇点)时,直接计算积分往往十分困难。此时,我们需要借助复连通域上的柯西积分定理来处理这类问题。该定理允许我们将沿大回路的积分,等价转化为沿包围奇点的小回路的积分。

为了简化计算,我们可以自由选择小回路的形态。最理想的选择是以奇点 z0z_0 为圆心、半径为 rr 的圆。这样,原本复杂的围道积分就被转化为了在这个小圆 CrC_r 上的积分。

接下来,我们需要对小圆路径进行参数化。在小圆 CrC_r 上,复变量 zz 可以表示为 z=z0+reiθz = z_0 + re^{i\theta}。对这个参数方程求微分,由于 z0z_0 和 rr 均为常数,可得 dz=ireiθdθdz = ire^{i\theta} d\theta。

将 zz 和 dzdz 的表达式代入积分式中,分母 z−z0z - z_0 恰好等于 reiθre^{i\theta}。同时,由于是沿闭合回路积分,极角 θ\theta 的变化范围是从 00 到 2π2\pi。至此,复平面上的围道积分被成功转化为实变量 θ\theta 的定积分,为后续通过取极限 r→0r \to 0 完成柯西积分公式的证明做好了准备。

这一段从板书上的“柯西积分公式”切入,先明确前提:C 所包围区域是 f(z)f(z) 的单连通解析区域,z0z_0 是该区域内一点。公式写成 f(z0)=12πi∮Cf(z)z−z0 dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz。紧接着进入证明,第一步是把沿大回路 C 的积分改写成沿小圆 CrC_r 的积分,并对小圆作参数化 z=z0+reiθz=z_0+re^{i\theta},于是 dz=ireiθ dθdz=ire^{i\theta}\,d\theta。

代入后得到 ∫02πf(z0+reiθ)reiθ ireiθ dθ\int_0^{2\pi}\frac{f(z_0+re^{i\theta})}{re^{i\theta}}\,ire^{i\theta}\,d\theta。这里的关键化简是分子分母中的 rr 与 eiθe^{i\theta} 相互抵消,所以表达式立刻简化为 i∫02πf(z0+reiθ) dθi\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta。这一步只是代数变形,还没有用到极限。

接下来视频解释为什么可以这样做替换:因为只要新的回路仍然把“非解析区域”包住,积分值就不变。右侧示意图中,大圆 C 和小圆 CrC_r 同心于 z0z_0,正是在说明“大回路可以缩成小回路”。讲师特别强调,本例中的非解析区域就是点 z0z_0 本身,所以小圆只要继续围绕这一点,半径可以取得很小。

既然围绕 z0z_0 的不同回路给出相同积分,就可以进一步考虑极限 r→0r\to 0。板书此时补出完整链条:∮Cf(z)z−z0 dz=lim⁡r→0∮Crf(z)z−z0 dz=ilim⁡r→0∫02πf(z0+reiθ) dθ\oint_C \frac{f(z)}{z-z_0}\,dz=\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}\,dz=i\lim_{r\to 0}\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta。这里的思路是把小圆不断收缩到中心点附近,让被积函数中的自变量趋近于 z0z_0。

然后使用解析函数的连续性。因为 z0+reiθ→z0z_0+re^{i\theta}\to z_0,所以 f(z0+reiθ)→f(z0)f(z_0+re^{i\theta})\to f(z_0)。视频把极限移到积分号内,得到 i∫02πf(z0) dθi\int_0^{2\pi}f(z_0)\,d\theta。由于 f(z0)f(z_0) 与积分变量 θ\theta 无关,可以提到积分号外,剩下 if(z0)∫02πdθ=2πif(z0)i f(z_0)\int_0^{2\pi}d\theta=2\pi i f(z_0)。这就完成了从围道积分到函数值的转化。

最后,讲师把结果回扣到开头的公式:既然 ∮Cf(z)z−z0 dz=2πif(z0)\oint_C \frac{f(z)}{z-z_0}\,dz=2\pi i f(z_0),等价地就有 f(z0)=12πi∮Cf(z)z−z0 dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz。他还总结说,这整个证明本质上依赖前面讲过的“复连通域上的柯西积分定理”。片段末尾开始引出柯西积分公式的一个特例或推论,但本段在这里截断,未给出完整陈述。

在之前的推导中,我们得到了柯西积分公式。现在,让我们考虑一个特殊情况:如果被积函数是一个常数函数,具体来说 f(z)=1f(z) = 1。

此时,公式变为 12πi∮C1z−z0dz\frac{1}{2\pi i} \oint_C \frac{1}{z - z_0} dz。这个积分的结果非常直观且有用:如果积分回路 CC 所包围的区域包含了点 z0z_0,那么积分结果等于 1;如果不包含 z0z_0,则结果等于 0。

这个特例公式在判断点与区域的位置关系时极为方便,希望大家不仅要记住它,还要理解它的来源。

掌握了柯西积分公式后,我们可以进一步探讨它在复变函数理论中的重要应用——求解解析函数的导数。

让我们来看解析函数的一阶导数。根据柯西积分公式 f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi,我们对等式两边关于自变量 zz 求导。

观察积分表达式,只有分母项 (ξ−z)(\xi - z) 包含变量 zz。因此,求导操作主要作用于这一项。

对 1ξ−z\frac{1}{\xi - z} 关于 zz 求导,首先对外层幂函数求导得到 −1(ξ−z)2\frac{-1}{(\xi - z)^2},然后对内层 (ξ−z)(\xi - z) 关于 zz 求导得到 −1-1。两个负号相消,最终结果为 1(ξ−z)2\frac{1}{(\xi - z)^2}。

将这一结果代回原积分式,我们就得到了一阶导数公式:f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi。

同理,我们可以继续对一阶导数公式求导,以获得二阶导数。对 1(ξ−z)2\frac{1}{(\xi - z)^2} 关于 zz 求导,会产生系数 2 和另一个负号相消,得到 2(ξ−z)3\frac{2}{(\xi - z)^3}。

由于 2=2!2 = 2!,二阶导数公式可以写为 f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi。这种模式可以一直推广到高阶导数。

本段视频聚焦于复分析中的核心工具——柯西积分公式。画面白板上清晰列出了四个关键公式:首先是基础的柯西积分公式 f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi,它建立了区域内部函数值与边界积分的联系。紧接着,视频展示了对该公式求导的结果:一阶导数 f′(z)f'(z) 的分母变为 (ξ−z)2(\xi-z)^2;二阶导数 f′′(z)f''(z) 的分母变为 (ξ−z)3(\xi-z)^3 且分子多了系数 2!2!;推广至 nn 阶导数,公式为 f(n)(z)=n!2πi∮Cf(ξ)(ξ−z)n+1dξf^{(n)}(z) = \frac{n!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^{n+1}} d\xi。讲师通过手势引导观众观察这一规律:每求一次导,分母的幂次加一,同时累积阶乘因子。

基于上述公式推导,讲师进一步阐释了解析函数的深刻性质。他指出,一旦确认函数 f(z)f(z) 在简单闭曲线 CC 及其包围的单连通区域内解析,那么利用柯西积分公式,我们就可以通过积分运算求出该函数在区域内任意点的各阶导数。这意味着解析函数不仅一次可导,而是拥有无穷多阶导数。这一结论打破了实变函数中“可导不一定二阶可导”的直觉,凸显了复变函数解析性的极强约束力。

视频最后以醒目的红色字幕总结全篇:“解析函数是任意阶可导的!解析函数的任何阶导数也均是解析函数。”讲师口头重申了这一观点,强调这是解析函数最迷人的性质之一。通过今天的讲解,观众不仅掌握了计算解析函数高阶导数的具体积分公式,更理解了“解析”二字背后蕴含的光滑性含义。课程在简洁的总结中结束,随后进入片尾展示环节。

知识卡片

01

柯西积分公式

视频给出的核心公式是 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz。其含义是:若 CC 所包围区域为 f(z)f(z) 的单连通解析区域,且 z0z_0 是该区域内一点,则函数在 z0z_0 处的值可以由沿 CC 的围道积分表示。

f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz
02

公式成立的前提条件

板书条件行明确写出:CC 所包围区域为 f(z)f(z) 单连通解析区域,z0z_0 为区域内一点。教师口头进一步解释,CC 是包围区域的回路,f(z)f(z) 在整个被包围区域内解析,z0z_0 必须落在这个区域内部。

03

证明第一步:看整体被积函数

进入证明后,教师强调不能只说 f(z)f(z) 解析,就忽略积分结构;真正要研究的是被积函数 f(z)z−z0\frac{f(z)}{z-z_0}。这一步的作用是先把分析对象从分子转到整个商式,为后续论证铺路。

f(z)z−z0\frac{f(z)}{z-z_0}
04

柯西积分公式

若 C 所包围区域为 f(z)f(z) 的单连通解析区域,z0z_0 为区域内一点,则函数在 z0z_0 处的值可以通过沿边界 C 的围道积分求得。这是复分析中最核心的公式之一,揭示了区域内解析函数的值完全由其边界值决定。

f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz
05

积分回路的形变原理

基于复连通域上的柯西积分定理,当被积函数在两个同心回路之间的环形区域内解析时,沿外回路的积分等于沿内回路的积分。这一原理允许我们将复杂的积分路径替换为便于计算的简单路径(如圆)。

∮Cf(z)z−z0dz=∮Crf(z)z−z0dz\oint_C \frac{f(z)}{z - z_0} dz = \oint_{C_r} \frac{f(z)}{z - z_0} dz
06

小圆回路的参数化

为了计算围绕奇点 z0z_0 的小圆回路积分,通常引入极坐标参数化。设小圆半径为 r,则圆周上的点可表示为 z=z0z = z_0 + re^{iθi\theta},其微分为 dz = ire^{iθi\theta} dθd\theta。这将复积分转化为关于实变量 θ 的定积分。

z=z0+reiθ,dz=ireiθdθz = z_0 + re^{i\theta}, \quad dz = ire^{i\theta} d\theta
07

柯西积分公式

视频给出的核心公式是:若 C 所包围区域为 f(z)f(z) 的单连通解析区域,且 z0z_0 为该区域内一点,则 f(z0)f(z_0) 可表示为沿 C 的围道积分。该公式把函数在内部一点的取值与边界回路积分直接联系起来。

f(z0)=12πi∮Cf(z)z−z0 dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz
08

把大回路积分化为小回路积分

证明中的关键方法是把沿大回路 C 的积分换成沿小圆 CrC_r 的积分。视频强调,只要新回路仍然包住非解析区域,积分值就不变。对本例而言,非解析区域就是点 z0z_0,所以小圆只要围绕 z0z_0 即可。

∮Cf(z)z−z0 dz=∮Crf(z)z−z0 dz\oint_C \frac{f(z)}{z-z_0}\,dz=\oint_{C_r}\frac{f(z)}{z-z_0}\,dz
09

小圆参数化与约分化简

对小圆采用参数化 z=z0z=z_0+re^{iθi\theta},则 dz=ire^{iθi\theta}dθd\theta。代入后被积式中的 r 与 eiθe^{i\theta} 相互抵消,积分化为 i∫02πfi\int_0^{2\pi}f(z0z_0+re^{iθi\theta})dθd\theta。这一步是后续取极限的基础。

∮Crf(z)z−z0 dz=∫02πf(z0+reiθ)reiθ ireiθ dθ=i∫02πf(z0+reiθ) dθ\oint_{C_r}\frac{f(z)}{z-z_0}\,dz=\int_0^{2\pi}\frac{f(z_0+re^{i\theta})}{re^{i\theta}}\,ire^{i\theta}\,d\theta=i\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta
10

令半径趋于零并利用连续性

由于围绕 z0z_0 的小回路积分值不随半径改变,可以继续取极限 r→0r\to 0。利用解析函数的连续性,f(z0z_0+re^{iθi\theta}) 在极限下变为 f(z0)f(z_0),于是积分号内只剩常数 f(z0)f(z_0) 对 θ\theta 的积分,最终得到 2πif(z0)2\pi i f(z_0)。

lim⁡r→0i∫02πf(z0+reiθ) dθ=i∫02πf(z0) dθ=2πif(z0)\lim_{r\to 0}i\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta=i\int_0^{2\pi}f(z_0)\,d\theta=2\pi i f(z_0)
11

证明依赖复连通域上的柯西积分定理

讲师在总结中明确指出,本段柯西积分公式的证明并不是凭空得到,而是建立在前面讨论过的复连通域上的柯西积分定理之上。这说明了公式与更一般围道积分定理之间的逻辑关系。

12

柯西积分公式

如果 CC 所包围的区域为 f(z)f(z) 的单连通解析区域,z0z_0 为区域内一点,则有 f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz。该公式建立了闭曲线上的积分与曲线内部某点函数值之间的联系。

f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz
13

柯西积分公式的特例

当 f(z)=1f(z) = 1 时,柯西积分公式简化为 12πi∮C1z−z0dz={1,z0∈ΣC0,z0∉ΣC\frac{1}{2\pi i} \oint_C \frac{1}{z - z_0} dz = \begin{cases} 1, & z_0 \in \Sigma_C \\ 0, & z_0 \notin \Sigma_C \end{cases}。这个特例常用于判断点是否在积分回路围成的区域内。

12πi∮C1z−z0dz={1,z0∈ΣC0,z0∉ΣC\frac{1}{2\pi i} \oint_C \frac{1}{z - z_0} dz = \begin{cases} 1, & z_0 \in \Sigma_C \\ 0, & z_0 \notin \Sigma_C \end{cases}
14

解析函数的一阶导数

通过对柯西积分公式两边关于 zz 求导,可得解析函数的一阶导数公式:f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi。这表明解析函数的导数仍然可以通过边界上的积分来表示。

f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi
15

解析函数的二阶导数

继续对一阶导数公式求导,可得二阶导数公式:f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi。系数 2!2! 来源于幂函数求导产生的常数倍。

f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi
16

柯西积分公式

复变函数论中的基本定理。若函数 f(z)f(z) 在简单闭曲线 CC 上及 CC 内部解析,则对 CC 内部任一点 zz,有 f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi。该公式表明,解析函数在区域内部的值完全由其边界上的值决定。

f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi
17

解析函数的高阶导数公式

由柯西积分公式导出。若 f(z)f(z) 在 CC 及其内部解析,则其 nn 阶导数存在且可由积分表示:f(n)(z)=n!2πi∮Cf(ξ)(ξ−z)n+1dξf^{(n)}(z) = \frac{n!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^{n+1}} d\xi。注意分母指数为 n+1n+1,分子含有 n!n!。

f(n)(z)=n!2πi∮Cf(ξ)(ξ−z)n+1dξf^{(n)}(z) = \frac{n!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^{n+1}} d\xi
18

解析函数的无限可微性

复变函数的重要性质。与实变函数不同,如果一个复变函数在某区域内解析(即一阶可导),那么它在该区域内具有任意阶导数,并且所有的导函数在该区域内也是解析的。这体现了解析函数的强正则性。

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 31

C

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书条件行写有“C 所包围区域为 f(z)f(z) 单连通解析区域”

  2. 图示
    观察依据

    右侧画出一个闭合圆环,教师多次指向该闭合曲线

符号

C

含义

包围区域内一点的闭合回路/围道

适用范围

复平面中的闭合曲线

f(z)f(z)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书条件行与公式分子均出现 f(z)f(z)

  2. 声音
    观察依据

    教师说“这个函数 f(z)f(z)”“被积函数里面的 f(z)f(z) 是解析的”

符号

f(z)f(z)

含义

在 C 所包围的单连通区域内解析的复变函数

适用范围

复变量 z 的函数

z0z_0

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书条件行写有“z0z_0 为区域内一点”,公式分母为 z−z0z-z_0

  2. 图示
    观察依据

    闭合圆内部标有点 z0z_0

符号

z0z_0

含义

位于 C 所包围区域内的指定一点

适用范围

复平面内的点

i

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    公式分母出现 2πi2\pi i

符号

i

含义

虚数单位

适用范围

复数单位

π\pi

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    公式分母出现 2πi2\pi i

符号

π\pi

含义

圆周率常数

适用范围

实常数

dz

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    积分表达式末尾写有 dz

符号

dz

含义

沿围道 C 积分时的微分元素

适用范围

复线积分微元

f(z)f(z)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书公式中出现 f(z)f(z) 和 f(z0)f(z_0)。

符号

f(z)f(z)

含义

在单连通解析区域内解析的复变函数

适用范围

复平面上的单连通区域

C

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书文字“C所包围区域为f(z)f(z)单连通解析区域”及积分符号下方的 C。

符号

C

含义

包围区域的简单闭曲线(积分回路)

适用范围

复平面

z0z_0

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书文字“z0z_0为区域内一点”及公式中的 z0z_0。

符号

z0z_0

含义

区域内部的一个固定点(非解析点)

适用范围

复平面

CrC_r

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书积分符号下方出现 CrC_r。

符号

CrC_r

含义

以 z0z_0 为圆心、半径为 r 的小圆周

适用范围

复平面

r

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    图中画出小圆,标注半径为 r。

  2. 公式
    观察依据

    参数方程 z=z0z = z_0 + re^{iθi\theta} 中出现 r。

符号

r

含义

小圆的半径

适用范围

正实数

θ\theta

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    参数方程 z=z0z = z_0 + re^{iθi\theta} 及积分限 0 到 2π2\pi 中出现 θ\theta。

符号

θ\theta

含义

极角参数

适用范围

零到二π

知识点 · 17

柯西积分公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书给出“柯西积分公式 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz”

  2. 声音
    观察依据

    教师说明“f(z)f(z) 在 z0z_0 点的取值……可以用这样一个积分把它表示出来”

公式
解释

若 C 所包围的区域是 f(z)f(z) 的单连通解析区域,且 z0z_0 是该区域内一点,则函数在 z0z_0 处的值可由沿 C 的围道积分表示为 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz。

公式
f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz
适用条件
  1. C 所包围区域为 f(z)f(z) 的单连通解析区域

  2. z0z_0 为 C 所包围区域内一点

先修条目
  1. 单连通解析区域条件

单连通解析区域条件

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书条件行写有“C 所包围区域为 f(z)f(z) 单连通解析区域”

  2. 声音
    观察依据

    教师说“整个这个 C 就是这个回路了,是我这样一个函数 f(z)f(z) 的单连通解析区域”“在这个包围的区域里面它是单连通解析的,就完完全全解析的”

定义
解释

视频把公式成立的前提表述为:闭合回路 C 所包围的整个区域是函数 f(z)f(z) 的单连通解析区域,即 f(z)f(z) 在该区域内处处解析。

适用条件
  1. 讨论对象是 C 所包围的区域

  2. f(z)f(z) 在该区域内单连通解析

被积函数的结构

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师说“被积函数不仅仅是 f(z)f(z),这个被积函数是 f(z)f(z) 除以 z 减掉 z0z_0”

  2. 公式
    观察依据

    公式中被积部分为 f(z)z−z0\frac{f(z)}{z-z_0}

待核验内容
  1. 片段在“那么我们看到,其实对于这样一个大的被积函数而言”处结束,后续论证未在本片段内展开

方法
解释

在证明柯西积分公式时,视频首先强调不能只看分子 f(z)f(z) 的解析性,还要把整个被积函数 f(z)z−z0\frac{f(z)}{z-z_0} 作为对象来分析。

适用条件
  1. 研究对象是积分 ∮Cf(z)z−z0dz\oint_C \frac{f(z)}{z-z_0}dz 的被积函数

先修条目
  1. 柯西积分公式

柯西积分公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书标题“柯西积分公式”及公式 f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz。

公式
解释

若 C 所包围的区域为 f(z)f(z) 的单连通解析区域,z0z_0 为区域内一点,则 f(z0)f(z_0) 可以通过沿边界 C 的围道积分来表示。

公式
f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz
适用条件
  1. C 所包围区域为 f(z)f(z) 单连通解析区域

  2. z0z_0 为区域内一点

积分回路的形变原理

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师提到“一个大的回路的积分,它其实可以化为包围着 z0z_0 点的这个非解析点的一个小回路的积分”。

方法
解释

利用复连通域上的柯西积分定理,可以将沿大回路 C 的积分转化为沿包围奇点 z0z_0 的小回路 CrC_r 的积分,从而简化计算。

公式
适用条件
  1. 被积函数在 C 与 CrC_r 之间的环形区域内解析

先修条目
  1. 柯西积分公式

柯西积分公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书标题为“柯西积分公式”,其下给出 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz

  2. 声音
    观察依据

    讲师最后总结“那么这个呢就是我们刚才所讨论过的这个柯西积分公式”

公式
解释

视频把柯西积分公式写成:若 C 所包围区域为 f(z)f(z) 的单连通解析区域,且 z0z_0 为该区域内一点,则 f(z0)f(z_0) 可由沿 C 的围道积分表示。该公式把函数在内部一点的取值与沿边界回路的积分联系起来。

公式
f(z0)=12πi∮Cf(z)z−z0 dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz
适用条件
  1. C 所包围区域为 f(z)f(z) 的单连通解析区域

  2. z0z_0 为 C 所包围区域内一点

把大回路积分化为小回路积分的方法

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说“大回路积分把它化成一个小回路的积分”“只要这个回路能够把那个非解析区域包住就可以”“所有的结果都是一样的”

  2. 图示
    观察依据

    右侧图同时画出外圈 C 和内圈 CrC_r,二者都围绕同一点 z0z_0

方法
解释

视频强调,在证明中可以把沿大回路 C 的积分转化为沿小回路 CrC_r 的积分。只要新回路仍然把非解析区域包住,并且围绕同一个点 z0z_0,那么不同大小的回路所得积分值相同。这里的关键不是形状本身,而是回路是否包围了同一个奇点区域。

公式
适用条件
  1. 新回路仍包围原来的非解析区域

  2. 比较的是同一被积函数 f(z)z−z0\frac{f(z)}{z-z_0} 的围道积分

先修条目
  1. 柯西积分公式

令小圆半径趋于零

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书下方写出 lim⁡r→0∮Crf(z)z−z0dz=ilim⁡r→0∫02πf\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}dz=i\lim_{r\to 0}\int_0^{2\pi}f(z0z_0+re^{iθi\theta})dθd\theta

  2. 声音
    观察依据

    讲师说“我可以让我的 r 趋于零,结果也是一样的不变的”

方法
解释

视频进一步说明,由于只要回路包住 z0z_0 这一点,积分值就不变,因此可以取极限 r→0r\to 0,把小圆收缩到中心点附近。这样做的目的是利用解析函数的连续性,把 f(z0z_0+re^{iθi\theta}) 在极限下替换为 f(z0)f(z_0)。

公式
lim⁡r→0∮Crf(z)z−z0 dz=ilim⁡r→0∫02πf(z0+reiθ) dθ\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}\,dz=i\lim_{r\to 0}\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta
适用条件
  1. CrC_r 以 z0z_0 为圆心

  2. 被积函数除 z0z_0 外在区域内解析

先修条目
  1. 把大回路积分化为小回路积分的方法

柯西积分公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    f 在 z 零处的函数值等于二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为 f 在 z 处的函数值除以 z 减去 z 零,再对 z 积分

公式
解释

如果 CC 所包围的区域为 f(z)f(z) 的单连通解析区域,z0z_0 为区域内一点,则有柯西积分公式。

公式
f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz
适用条件
  1. CC 所包围的区域为 f(z)f(z) 的单连通解析区域

  2. z0z_0 为区域内一点

柯西积分公式的特例

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为一除以 z 减去 z 零,再对 z 积分,其结果是:当 z 零位于闭合曲线 C 所围成的区域内时,结果为一;当 z 零不在闭合曲线 C 所围成的区域内时,结果为零

公式
解释

当 f(z)=1f(z) = 1 时,柯西积分公式退化为一个非常有用的特例,用于判断点是否在积分回路内。

公式
12πi∮C1z−z0dz={1,z0∈ΣC0,z0∉ΣC\frac{1}{2\pi i} \oint_C \frac{1}{z - z_0} dz = \begin{cases} 1, & z_0 \in \Sigma_C \\ 0, & z_0 \notin \Sigma_C \end{cases}
适用条件
  1. f 在 z 处的函数值恒等于一

先修条目
  1. 柯西积分公式

解析函数的一阶导数

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    f 在 z 处的导数等于二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为 f 在西格玛处的函数值除以西格玛减去 z,再对西格玛积分,然后对 z 求导;该导数也等于二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为 f 在西格玛处的函数值除以西格玛减去 z 的平方,再对西格玛积分

公式
解释

对柯西积分公式两边关于 zz 求导,可以得到解析函数的一阶导数公式。

公式
f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi
适用条件
  1. f(z)f(z) 在 CC 内部解析

先修条目
  1. 柯西积分公式

解析函数的二阶导数

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    f 在 z 处的二阶导数等于二的阶乘除以二 π i,再乘以沿闭合曲线 C 的积分,被积函数为 f 在西格玛处的函数值除以西格玛减去 z 的三次方,再对西格玛积分

公式
解释

继续对一阶导数公式求导,可以得到解析函数的二阶导数公式。

公式
f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi
适用条件
  1. f(z)f(z) 在 CC 内部解析

先修条目
  1. 解析函数的一阶导数
定理与条件 · 4

柯西积分公式命题

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书完整写出“柯西积分公式 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz”

  2. 声音
    观察依据

    教师口头说明该公式把区域内一点 z0z_0 的函数值与围绕该点的回路积分联系起来

定理
命题

如果 C 所包围区域为 f(z)f(z) 的单连通解析区域,且 z0z_0 为区域内一点,则 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz。

前提
  1. C 所包围区域为 f(z)f(z) 的单连通解析区域

  2. z0z_0 为 C 所包围区域内一点

量词

对满足上述条件的 C、f(z)f(z) 与区域内点 z0z_0 成立

复连通域上的柯西积分定理

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师提到“我们就要用到复连通域上的柯西积分定理”。

定理
命题

在复连通域上,若函数在各边界之间解析,则沿外边界的积分等于沿内边界的积分之和。

前提
  1. 函数在复连通域内解析

量词

对于满足条件的任意复连通域和解析函数

柯西积分公式的证明依赖复连通域上的柯西积分定理

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说“整个的这个柯西积分公式里面的证明呢,我们无非就是运用到了我们之前讨论过的复连通域上的柯西积分定理而得到的”

定理
命题

视频指出,本段所展示的柯西积分公式证明,核心依据是前面讨论过的复连通域上的柯西积分定理。

前提
  1. 已建立复连通域上的柯西积分定理

  2. 被积函数在相应区域内满足解析条件

量词

针对本段证明所使用的定理依据作总体说明

解析函数的高阶可导性定理

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说:“只要你是解析函数...在这个C所包围的区域当中,它这个单连通解析的,那么好,我们就可以知道,你这个解析函数它的导数,你可以求无穷多阶导数都可以,任意阶导数都可以去求。”

  2. 字幕依据
    观察依据

    字幕显示:“解析函数是任意阶可导的!”

定理
命题

若函数 f(z)f(z) 在简单闭曲线 C 及其所围成的单连通区域内解析,则 f(z)f(z) 在该区域内具有任意阶导数,且各阶导数均可由围道积分公式给出。

前提
  1. f(z)f(z) 在 C 上及 C 内部解析

  2. C 为简单闭曲线

量词

对于区域内的任意点 z 和任意非负整数 n

推导与证明 · 7

证明起点:先分析整个被积函数

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师说“我们来证明一下这件事情。怎么证明呢?你看,我们就看这个积分被积函数里面”

  2. 公式
    观察依据

    板书下方出现“证明:”

  3. 声音
    观察依据

    教师继续说“虽然你这个被积函数里面的 f(z)f(z) 是解析的……但它的被积函数不仅仅是 f(z)f(z),这个被积函数是 f(z)f(z) 除以 z 减掉 z0z_0”

待核验内容
  1. 本片段只给出证明的起始观察,未包含完整推导链

严格证明
步骤
  1. 公式
    解释

    进入证明后,先把注意力放到积分 ∮Cf(z)z−z0dz\oint_C \frac{f(z)}{z-z_0}dz 的被积函数上。

    步骤依据

    视频口头明确“我们就看这个积分被积函数里面”。

    视频直接表达
  2. 公式
    f(z)z−z0\frac{f(z)}{z-z_0}
    解释

    指出被积对象不是单独的 f(z)f(z),而是商 f(z)z−z0\frac{f(z)}{z-z_0}。

    步骤依据

    教师说“被积函数不仅仅是 f(z)f(z),这个被积函数是 f(z)f(z) 除以 z 减掉 z0z_0”。

    视频直接表达
结论

本片段中的推导只推进到“证明应从整体被积函数 f(z)z−z0\frac{f(z)}{z-z_0} 入手”这一步,后续论证未出现。

柯西积分公式的证明推导

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书逐步展示了从 ∮C\oint_C 到 ∮Cr\oint_{C_r} 再到参数化积分的推导过程。

严格证明
步骤
  1. 公式
    ∮Cf(z)z−z0dz=∮Crf(z)z−z0dz\oint_C \frac{f(z)}{z - z_0} dz = \oint_{C_r} \frac{f(z)}{z - z_0} dz
    解释

    利用复连通域上的柯西积分定理,将大回路 C 上的积分转化为小回路 CrC_r 上的积分。

    步骤依据

    复连通域上的柯西积分定理

    视频直接表达
  2. 公式
    z∈Cr,z=z0+reiθz \in C_r, \quad z = z_0 + re^{i\theta}
    解释

    对小回路 CrC_r 进行参数化,z0z_0 为圆心,r 为半径,θ\theta 为极角。

    步骤依据

    圆的参数方程

    视频直接表达
  3. 公式
    dz=ireiθdθdz = ire^{i\theta} d\theta
    解释

    对参数方程两边求微分,得到 dz 的表达式。

    步骤依据

    复变函数求导法则

    视频直接表达
  4. 公式
    ∮Crf(z)z−z0dz=∫02πf(z0+reiθ)reiθireiθdθ\oint_{C_r} \frac{f(z)}{z - z_0} dz = \int_0^{2\pi} \frac{f(z_0 + re^{i\theta})}{re^{i\theta}} ire^{i\theta} d\theta
    解释

    将 z 和 dz 的参数表达式代入积分式中,并将积分限从回路转化为 θ\theta 从 0 到 2π2\pi。

    步骤依据

    参数化积分代换

    视频直接表达
结论

通过将积分路径参数化,成功将复平面上的围道积分转化为实变量 θ\theta 的定积分,为后续取极限 r→0r \to 0 证明公式奠定基础。

将围道积分参数化并约去公共因子

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书证明第一行给出 ∮Cf(z)z−z0dz=∮Crf(z)z−z0dz\oint_C \frac{f(z)}{z-z_0}dz=\oint_{C_r}\frac{f(z)}{z-z_0}dz,z∈Crz\in C_r,z=z0z=z_0+re^{iθi\theta}

  2. 公式
    观察依据

    下一行写出 =∫02πf(z0+reiθ)reiθ\int_0^{2\pi}\frac{f(z_0+re^{i\theta})}{re^{i\theta}}ire^{iθi\theta}dθd\theta

  3. 声音
    观察依据

    讲师说“r 和 r 约掉,e 的 i 西塔 e 的 i 西塔约掉,所以这个呢结果一下就出来了”

严格证明
步骤
  1. 公式
    ∮Cf(z)z−z0 dz=∮Crf(z)z−z0 dz\oint_C \frac{f(z)}{z-z_0}\,dz=\oint_{C_r}\frac{f(z)}{z-z_0}\,dz
    解释

    先把沿大回路 C 的积分改写为沿小圆 CrC_r 的积分。

    步骤依据

    视频口头说明可用小回路代替大回路,只要仍包住非解析区域。

    视频直接表达
  2. 公式
    z=z0+reiθ,dz=ireiθ dθz=z_0+re^{i\theta},\quad dz=ire^{i\theta}\,d\theta
    解释

    对小圆 CrC_r 采用极坐标参数化,并把微分写成关于 θ\theta 的形式。

    步骤依据

    板书直接给出参数方程与对应微分。

    视频直接表达
  3. 公式
    ∮Crf(z)z−z0 dz=∫02πf(z0+reiθ)reiθ ireiθ dθ\oint_{C_r}\frac{f(z)}{z-z_0}\,dz=\int_0^{2\pi}\frac{f(z_0+re^{i\theta})}{re^{i\theta}}\,ire^{i\theta}\,d\theta
    解释

    代入 z 与 dz,得到关于 θ\theta 的定积分。

    步骤依据

    参数代换。

    视频直接表达
  4. 公式
    ∫02πf(z0+reiθ)reiθ ireiθ dθ=i∫02πf(z0+reiθ) dθ\int_0^{2\pi}\frac{f(z_0+re^{i\theta})}{re^{i\theta}}\,ire^{i\theta}\,d\theta=i\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta
    解释

    分子分母中的 r 与 eiθe^{i\theta} 相消,剩下系数 i 与对 θ\theta 的积分。

    步骤依据

    代数约分;讲师口头明确指出“r 和 r 约掉,e 的 i 西塔 e 的 i 西塔约掉”。

    视频直接表达
结论

得到中间结果 ∮Cf(z)z−z0\oint_C \frac{f(z)}{z-z_0}\,dz=i∫02πfdz=i\int_0^{2\pi}f(z0z_0+re^{iθi\theta})\,dθd\theta。

取极限并利用连续性得到柯西积分公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书下方写出 ∮Cf(z)z−z0dz=lim⁡r→0∮Crf(z)z−z0dz=ilim⁡r→0∫02πf\oint_C \frac{f(z)}{z-z_0}dz=\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}dz=i\lim_{r\to 0}\int_0^{2\pi}f(z0z_0+re^{iθi\theta})dθ=2πif(z0)d\theta=2\pi i f(z_0)

  2. 声音
    观察依据

    讲师说“当我的 r 要是趋于零的话,由于我这个函数解析函数的连续性……就可以把它写成是 f(z0)f(z_0) 了,然后把它提出去”

  3. 声音
    观察依据

    讲师接着说“里面就剩下一个 0 到 2π2\pi 的一个对西塔的积分,那么这个给出我们 2π2\pi 的结果”

严格证明
步骤
  1. 公式
    ∮Cf(z)z−z0 dz=lim⁡r→0∮Crf(z)z−z0 dz\oint_C \frac{f(z)}{z-z_0}\,dz=\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}\,dz
    解释

    把原积分写成小圆半径趋于零时的极限。

    步骤依据

    视频说明只要回路包住 z0z_0,积分值不随回路大小改变,因此可取 r→0r\to 0。

    视频直接表达
  2. 公式
    lim⁡r→0∮Crf(z)z−z0 dz=ilim⁡r→0∫02πf(z0+reiθ) dθ\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}\,dz=i\lim_{r\to 0}\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta
    解释

    沿用前面参数化后的表达式,再整体取极限。

    步骤依据

    上一步推导的代入。

    视频直接表达
  3. 公式
    ilim⁡r→0∫02πf(z0+reiθ) dθ=i∫02πlim⁡r→0f(z0+reiθ) dθi\lim_{r\to 0}\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta=i\int_0^{2\pi}\lim_{r\to 0}f(z_0+re^{i\theta})\,d\theta
    解释

    把极限移入积分号内。

    步骤依据

    视频口头依据是“解析函数的连续性”;更严格的交换极限与积分条件在本片段中未完整展开。

    视频直接表达
  4. 公式
    lim⁡r→0f(z0+reiθ)=f(z0)\lim_{r\to 0}f(z_0+re^{i\theta})=f(z_0)
    解释

    当 r→0r\to 0 时,点 z0z_0+re^{iθi\theta} 趋于 z0z_0,函数值趋于 f(z0)f(z_0)。

    步骤依据

    连续性。

    视频直接表达
  5. 公式
    i∫02πf(z0) dθ=if(z0)∫02πdθi\int_0^{2\pi}f(z_0)\,d\theta=i f(z_0)\int_0^{2\pi}d\theta
    解释

    f(z0)f(z_0) 与 θ\theta 无关,可提到积分号外。

    步骤依据

    常函数可提出积分号。

    视频直接表达
  6. 公式
    if(z0)∫02πdθ=2πif(z0)i f(z_0)\int_0^{2\pi}d\theta=2\pi i f(z_0)
    解释

    计算剩余的角度积分,得到长度 2π2\pi。

    步骤依据

    从 0 到 2π 对 θ 求积分,结果是 2π。

    视频直接表达
结论

得到 ∮Cf(z)z−z0\oint_C \frac{f(z)}{z-z_0}\,dz=2πif(z0)dz=2\pi i f(z_0),进而等价地写成 f(z0)=12πi∮Cf(z)z−z0f(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz。

解析函数一阶导数的推导

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    我们对这个z它的自变量z对它进行求导...分母求导是会使得xi减z也会变成xi减z的平方分之一,然后呢会出现一个负号...这里面呢负z对它里面的对z求导呢又会出现一个负号...所以呢整个这么下来的话对它的整个的函数对z求导呢,那么我们的结果就等于什么?就等于它。

  2. 公式
    观察依据

    f 在 z 处的导数等于二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为 f 在西格玛处的函数值除以西格玛减去 z 的平方,再对西格玛积分

严格证明
步骤
  1. 公式
    f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi
    解释

    写出柯西积分公式。

    步骤依据

    柯西积分公式定义。

    视频直接表达
  2. 公式
    ddz(1ξ−z)=1(ξ−z)2\frac{d}{dz} \left( \frac{1}{\xi - z} \right) = \frac{1}{(\xi - z)^2}
    解释

    对积分核 1ξ−z\frac{1}{\xi - z} 关于 zz 求导,链式法则产生两个负号相消。

    步骤依据

    复合函数求导法则。

    视频直接表达
  3. 公式
    f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi
    解释

    将求导结果代回积分表达式,得到一阶导数公式。

    步骤依据

    积分与求导交换次序(解析函数性质)。

    视频直接表达
结论

得出解析函数的一阶导数公式。

解析函数二阶导数的推导

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    我们还可以继续往下做,对它求两次导数...对它求导数会出现一个负二,然后呢对里面对z求导数呢又出现个负一,然后负二负一会变成一个二而已...那么二呢当然也等于二的阶乘二乘一等于二嘛。

  2. 公式
    观察依据

    f 在 z 处的二阶导数等于二的阶乘除以二 π i,再乘以沿闭合曲线 C 的积分,被积函数为 f 在西格玛处的函数值除以西格玛减去 z 的三次方,再对西格玛积分

严格证明
步骤
  1. 公式
    f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi
    解释

    基于一阶导数公式继续求导。

    步骤依据

    已推导的一阶导数公式。

    视频直接表达
  2. 公式
    ddz(1(ξ−z)2)=2(ξ−z)3\frac{d}{dz} \left( \frac{1}{(\xi - z)^2} \right) = \frac{2}{(\xi - z)^3}
    解释

    对积分核 1(ξ−z)2\frac{1}{(\xi - z)^2} 关于 zz 求导,幂函数求导产生系数2,链式法则产生负号相消。

    步骤依据

    幂函数求导法则与复合函数求导法则。

    视频直接表达
  3. 公式
    f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi
    解释

    将求导结果代回,并将系数2写为2!的形式。

    步骤依据

    阶乘定义 2!=2×1=22! = 2 \times 1 = 2。

    视频直接表达
结论

得出解析函数的二阶导数公式。

从柯西积分公式推导高阶导数公式的模式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上依次列出了 f(z)f(z), f'(z), f''(z), f(n)(z)f^{(n)}(z) 的积分表达式。

  2. 声音
    观察依据

    讲师指着公式解释:“对这个函数...对它做n阶导数,我们最终的结果不过就是它的分母会变成了ξ减z的n加1次方,而这个地方它会多一个什么n的阶乘这样一个额外的因子。”

直观解释
步骤
  1. 公式
    f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi
    解释

    起点是柯西积分公式。

    步骤依据

    视频白板第一行内容。

    视频直接表达
  2. 公式
    f′(z)=ddz[12πi∮Cf(ξ)ξ−zdξ]=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{d}{dz} \left[ \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi \right] = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi
    解释

    对公式两边关于 z 求导,积分号内对 (ξ-z)^{-1} 求导得到 (ξ-z)^{-2}。

    步骤依据

    视频白板第二行内容及讲师口述逻辑。

    视频直接表达
  3. 公式
    f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi
    解释

    再次求导,幂次增加,并产生常数因子 2。

    步骤依据

    视频白板第三行内容。

    视频直接表达
  4. 公式
    f(n)(z)=n!2πi∮Cf(ξ)(ξ−z)n+1dξf^{(n)}(z) = \frac{n!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^{n+1}} d\xi
    解释

    归纳到 n 阶导数,分母幂次为 n+1n+1,分子出现 n!。

    步骤依据

    视频白板第四行内容及讲师口述总结。

    视频直接表达
结论

解析函数的 n 阶导数可以通过对柯西积分公式的被积函数关于 z 求 n 次导数得到,形式上分母幂次加 n,分子乘以 n!。

图示与动画 · 7

闭合回路与内部点的示意图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    右侧出现一个闭合圆,圆内标注点 z0z_0

  2. 动画
    观察依据

    教师多次用手指向圆周和圆内点 z0z_0,配合讲解“C 所包围的区域”和“区域内一点”

图中对象
  1. 闭合圆 C

  2. 圆内点 z0z_0

  3. 板书条件文字

变化过程
  1. 讲解时视线和手势在圆周与内部点之间切换,强调“包围区域”与“区域内一点”的关系

不变量
  1. 圆的闭合形状保持不变

  2. z0z_0 始终位于圆内

数学含义

该图把抽象条件具体化:C 是包围区域边界的闭合回路,z0z_0 是被包围在区域内的目标点。

柯西积分公式板书出现

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    在教师讲解过程中,板书左下方出现红色标题“柯西积分公式”及完整公式

  2. 公式
    观察依据

    公式写为 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz

图中对象
  1. 红色标题“柯西积分公式”

  2. 公式 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz

变化过程
  1. 公式从无到有出现在板书上,随后教师反复指向公式各部分进行解释

不变量
  1. 公式内容在片段后半保持稳定

数学含义

视觉呈现把口头描述的“用回路积分表示 z0z_0 点函数值”落实为明确公式。

证明环节开始

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    板书下方新增“证明:”字样

  2. 声音
    观察依据

    教师同步说“我们来证明一下这件事情”

图中对象
  1. “证明:”标题

变化过程
  1. 页面从陈述公式转入证明阶段

不变量
  1. 原公式和示意图仍保留在页面上

数学含义

这表明视频结构从“给出定理”切换到“开始论证”。

积分回路与奇点的几何示意图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    画面右侧持续显示一个大圆 C 和内部一点 z0z_0,随后在 z0z_0 周围画出一个小圆 CrC_r,并标注半径 r 和角度 θ\theta。

图中对象
  1. 大圆 C

  2. 点 z0z_0

  3. 小圆 CrC_r

  4. 半径 r

  5. 角度 θ\theta

变化过程
  1. 在 z0z_0 周围动态添加小圆 CrC_r 及其半径和角度标注

不变量
  1. 大圆 C 和点 z0z_0 的相对位置保持不变

数学含义

直观展示了如何将包围奇点的复杂大回路积分,转化为围绕奇点的小圆回路积分,体现了积分路径的形变思想。

双圆示意图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    右侧始终显示一个大圆 C 和一个小圆 CrC_r,圆心同为 z0z_0,小圆半径标为 r,并标出角度 θ\theta

图中对象
  1. 外圈大圆 C

  2. 内圈小圆 CrC_r

  3. 圆心 z0z_0

  4. 半径 r

  5. 角度 θ\theta

变化过程
  1. 讲师多次用手指向大圆、小圆和圆心,强调内外回路的关系

不变量
  1. 两圆同心于 z0z_0

  2. 小圆始终位于大圆内部

  3. 被积函数的奇点位置始终是 z0z_0

数学含义

该图直观表达“把大回路积分化为小回路积分”的思路:只要两个回路都包围同一个非解析点 z0z_0,就可以用更小的 CrC_r 代替 C 进行计算。

幻灯片内容切换

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    幻灯片内容从“柯西积分公式”及其证明切换为“解析函数的导数”及其公式推导。

图中对象
  1. 幻灯片文本

  2. 公式

变化过程
  1. 旧公式消失

  2. 新标题和新公式出现

不变量
  1. 讲师位置

  2. 背景

数学含义

标志着课程从讲解柯西积分公式本身过渡到利用该公式推导解析函数的导数。

白板公式展示

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    整个片段中,讲师站在白板前,白板上静态展示了四个相关的数学公式,标题分别为“柯西积分公式”和“解析函数的导数”。

图中对象
  1. 白板

  2. 数学公式文本

不变量
  1. 公式内容在整个讲解过程中保持不变

数学含义

通过并列展示不同阶导数的公式,直观呈现了从低阶到高阶的规律性变化。

易错点 · 2

误把被积函数只看成 f(z)f(z)

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师强调“虽然你这个被积函数里面的 f(z)f(z) 是解析的……但它的被积函数不仅仅是 f(z)f(z),这个被积函数是 f(z)f(z) 除以 z 减掉 z0z_0”

误区

看到 f(z)f(z) 解析,就直接把积分中的被积对象理解成只有 f(z)f(z)。

说明

视频明确指出,真正要研究的是整个商 f(z)z−z0\frac{f(z)}{z-z_0},不能忽略分母 z−z0z-z_0。

误以为只有特定形状或固定大小才能替换回路

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说“一个是形状,你可以去掌握,只要这个回路能够把那个非解析区域包住就可以”

  2. 声音
    观察依据

    随后又说“那么我们在这里的非解析区就是这一个点呀”

误区

学习者可能以为只有圆形或某一固定半径的回路才能替代原回路。

说明

视频强调关键是回路是否包住非解析区域;在本例中非解析区域就是点 z0z_0,因此只要围绕该点,回路可大可小,甚至半径可趋于零。

概念关系 · 9

单连通解析区域条件 → 柯西积分公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    条件行先给出“C 所包围区域为 f(z)f(z) 单连通解析区域,z0z_0 为区域内一点”,随后给出公式

  2. 声音
    观察依据

    教师先解释区域和点,再说明“f(z)f(z) 在 z0z_0 点的取值”可用积分表示

先修
解释

单连通解析区域与 z0z_0 在区域内的条件是柯西积分公式成立的前提。

柯西积分公式 → 被积函数的结构

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    公式已给出后,板书新增“证明:”

  2. 声音
    观察依据

    教师说“我们来证明一下这件事情”

证明依赖
解释

证明的第一步依赖对公式中被积函数结构的重新审视。

复连通域上的柯西积分定理 → 柯西积分公式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说明为了处理该积分,需要用到复连通域上的柯西积分定理。

证明依赖
解释

复连通域上的柯西积分定理是证明柯西积分公式的关键依赖工具,用于实现积分回路的形变。

柯西积分公式的证明依赖复连通域上的柯西积分定理 → 柯西积分公式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师明确说柯西积分公式的证明“无非就是运用到了我们之前讨论过的复连通域上的柯西积分定理”

证明依赖
解释

本段把柯西积分公式的最终结果归因于前面已讲的复连通域柯西积分定理,说明公式不是孤立结论,而是由该定理推出。

把大回路积分化为小回路积分的方法 → 令小圆半径趋于零

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    先讲“大回路积分把它化成一个小回路的积分”,再讲“我可以让我的 r 趋于零”

先修
解释

只有先确认不同小回路积分值相同,才能进一步令半径 r→0r\to 0 而不改变积分值。

令小圆半径趋于零 → 柯西积分公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    下方极限式最终等于 2πif(z0)2\pi i f(z_0)

  2. 声音
    观察依据

    讲师由此总结这就是柯西积分公式

应用
解释

取极限并代入连续性后,直接得到柯西积分公式的核心等式。

柯西积分公式 → 解析函数的一阶导数

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    有了这个柯西积分公式之后...我们还可以来讨论什么?关于这个解析函数的导数的问题。

证明依赖
解释

解析函数的导数公式是通过对柯西积分公式两边求导推导出来的。

柯西积分公式 → 解析函数的 n 阶导数公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板排版将“柯西积分公式”置于上方,“解析函数的导数”置于下方,且导数公式明显是对原公式的进一步运算。

  2. 声音
    观察依据

    讲师说:“你有了柯西积分公式之后,我们非常容易的就可以证明...”

证明依赖
解释

高阶导数公式是通过对柯西积分公式反复求导推导出来的。

解析函数的 n 阶导数公式 → 解析函数的无限可微性

依据清楚
视频直接表达
来源依据
  1. 字幕依据
    观察依据

    在列出所有导数公式后,屏幕下方出现了总结性字幕:“解析函数是任意阶可导的!”

  2. 声音
    观察依据

    讲师基于前面的公式推导,得出了“解析函数你是任意阶可导的”这一结论。

应用
解释

n 阶导数公式的存在性和有效性直接证明了“解析函数任意阶可导”这一性质。

问题定位 · 16

柯西积分公式是什么?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书完整显示“柯西积分公式 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz”

涉及知识点
  1. 柯西积分公式
  2. 柯西积分公式命题

为什么 z0z_0 必须在 C 所包围的区域内?

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    圆内标注 z0z_0

  2. 公式
    观察依据

    条件行写明“z0z_0 为区域内一点”

涉及知识点
  1. 单连通解析区域条件
  2. 柯西积分公式

证明柯西积分公式时为什么不能只看 f(z)f(z) 解析?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师强调被积函数是 f(z)f(z) 除以 z−z0z-z_0

涉及知识点
  1. 被积函数的结构
  2. 误把被积函数只看成 f(z)f(z)

为什么函数在某一点的取值可以用围绕该点的回路积分表示?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师说“f(z)f(z) 在 z0z_0 点的取值……可以用这样一个积分把它表示出来”

  2. 公式
    观察依据

    公式左边是 f(z0)f(z_0),右边是围道积分

涉及知识点
  1. 柯西积分公式
  2. 柯西积分公式命题

如何证明柯西积分公式?

依据清楚
依据视频推导
来源依据
  1. 公式
    观察依据

    板书完整展示了柯西积分公式及其证明的前半部分。

涉及知识点
  1. 柯西积分公式
  2. 柯西积分公式的证明推导

复连通域上的柯西积分定理在柯西积分公式证明中起什么作用?

依据清楚
依据视频推导
来源依据
  1. 声音
    观察依据

    讲师解释了大回路积分化为小回路积分的过程。

涉及知识点
  1. 复连通域上的柯西积分定理
  2. 积分回路的形变原理

为什么证明柯西积分公式时可以把大回路积分换成小回路积分?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师解释为什么可以把大回路换成小回路

涉及知识点
  1. 把大回路积分化为小回路积分的方法
  2. 双圆示意图

为什么可以让小圆半径 r 趋于 0 而积分值不变?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说可以让 r 趋于零且结果不变

  2. 公式
    观察依据

    板书写出 lim⁡r→0\lim_{r\to 0}

涉及知识点
  1. 把大回路积分化为小回路积分的方法
  2. 令小圆半径趋于零

在这段证明里,解析函数的连续性具体用在哪一步?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师明确说“由于我这个函数解析函数的连续性”

  2. 公式
    观察依据

    极限式中出现 f(z0z_0+re^{iθi\theta}) 变为 f(z0)f(z_0)

涉及知识点
  1. 令小圆半径趋于零
  2. 取极限并利用连续性得到柯西积分公式

沿回路 C 的积分 ∮Cf(z)z−z0dz\oint_C \frac{f(z)}{z-z_0}dz 最终等于什么?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书最终写出 =2πif(z0)2\pi i f(z_0)

  2. 声音
    观察依据

    讲师说“它就是一个 2πi2\pi i 乘上 f(z0)f(z_0)”

涉及知识点
  1. 柯西积分公式
  2. 取极限并利用连续性得到柯西积分公式

这段柯西积分公式的证明依赖哪个前置定理?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师总结证明依据是复连通域上的柯西积分定理

涉及知识点
  1. 柯西积分公式的证明依赖复连通域上的柯西积分定理
  2. 柯西积分公式

什么是柯西积分公式?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    f 在 z 零处的函数值等于二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为 f 在 z 处的函数值除以 z 减去 z 零,再对 z 积分

涉及知识点
  1. 柯西积分公式
覆盖情况与待核验内容

已覆盖 · 片头动画与课程标题、章节标题展示,无实质数学推导内容。

已覆盖 · 教师引入课题,解释 C 所包围区域、f(z)f(z) 的单连通解析性以及 z0z_0 为区域内一点。

已覆盖 · 给出并解释柯西积分公式,说明函数在 z0z_0 点的取值可由围道积分表示。

已覆盖 · 进入证明,强调应先分析整体被积函数 f(z)z−z0\frac{f(z)}{z-z_0},片段在此处结束。

已覆盖 · 片段完整覆盖了柯西积分公式的提出、利用复连通域柯西积分定理进行回路形变的思路,以及将小圆回路参数化的推导过程。

已覆盖 · 板书展示柯西积分公式与证明开头,并完成参数化后的约分化简。

已覆盖 · 讲师解释为何可把大回路积分化为小回路积分,并强调只要包住非解析区域即可。

已覆盖 · 板书补出极限步骤,讲师说明利用连续性得到 2πif(z0)2\pi i f(z_0)。

已覆盖 · 讲师总结本证明依赖复连通域上的柯西积分定理。

已覆盖 · 讲师开始引出柯西积分公式的一个特例或推论,但本片段在此处截断,未给出完整条件与结论。

已覆盖 · 讲解柯西积分公式及其特例。

已覆盖 · 讲解并推导解析函数的一阶和二阶导数公式。

已覆盖 · 讲解柯西积分公式及其各阶导数公式的结构和推导规律。

已覆盖 · 阐述解析函数在单连通区域内任意阶可导的性质。

已覆盖 · 通过字幕和口头总结强调解析函数的无限可微性,并结束本节讲解。

已覆盖 · 片尾动画、免责声明及学校宣传片,无数学教学内容。

探索视频中的知识

打开视频知识图谱 →

  • 柯西积分公式 讲解定位 1:02
    查看关联依据

    已审核中文素材 v1:card「柯西积分公式」出现在 1:02——视频给出的核心公式是 f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz。其含义是:若 CC 所包围区域为 f(z)f(z) 的单连通解析区域,且 z0z_0 是该区域内一点,则函数在 z0z_0 处的值可以由沿 CC 的围道积分表示。