柯西积分公式
视频给出的核心公式是 。其含义是:若 所包围区域为 的单连通解析区域,且 是该区域内一点,则函数在 处的值可以由沿 的围道积分表示。
上大老姜 · 哔哩哔哩 · 9:08
本片段是上海大学《数学物理方法》课程中“复变函数——柯西积分公式”的开头部分。前 22 秒为片头与章节标题;随后教师在白板上画出闭合回路 C 及其内部点 ,说明公式成立的前提是 C 所包围区域为 的单连通解析区域。约 62 秒起给出核心公式 ,并解释它把区域内一点的函数值与围绕该点的回路积分联系起来。约 96 秒后进入“证明:”环节,教师先提醒不能只盯着 的解析性,而要研究整个被积函数 。片段在证明刚起步时结束,未包含完整推导。 本片段讲解复变函数中的柯西积分公式。讲师首先给出公式及其适用条件,随后引入复连通域上的柯西积分定理,说明如何将大回路积分形变为包围奇点的小圆回路积分。接着,通过设定小圆的参数方程,将围道积分转化为关于极角的实变量定积分,完成了公式证明的关键前置推导步骤。 本片段讲解柯西积分公式的证明。板书先给出公式 ,并把大回路 C 上的积分转化为围绕 的小圆 上的积分。随后用参数化 +re^{} 化简为 (+re^{}),再令 ,利用解析函数的连续性把 f(+re^{}) 替换为 ,最终得到 。讲师最后指出,这一证明依赖前面讲过的复连通域上的柯西积分定理。片段末尾开始提及该公式的一个特例或推论,但内容被截断。 本片段首先回顾了柯西积分公式及其在 时的特例,该特例可用于判断点是否在积分回路内。随后,课程进入解析函数导数的讨论,通过对柯西积分公式两边关于自变量 求导,详细推导了解析函数的一阶导数和二阶导数公式,展示了复变函数中积分与求导的紧密联系。 本片段主要讲解复变函数中的柯西积分公式及其推论。视频首先展示了利用闭曲线上的积分计算曲线内部解析函数值的柯西积分公式。随后,通过对该公式关于求值点 z 反复求导,推导出了一阶、二阶直至 n 阶导数的积分表达式,指出了分母幂次增加和分子出现阶乘因子的规律。最后,视频总结了解析函数的一个重要性质:只要函数在某区域内解析,它就具有任意阶导数,且各阶导数依然是解析函数。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
开场先以数学物理方法课程的片头动画和章节标题引入,画面随后切到授课页面,明确本节主题是“复变函数——柯西积分公式”。
教师开口即点明本节要讲一个对复变函数非常重要的公式:柯西积分公式。这里的任务是先建立公式的几何与解析背景,再给出公式本身。
板书右侧出现一个闭合圆,圆内标出点 。教师一边指着圆周,一边解释条件: 是包围区域的回路, 所包围的整个区域是 的单连通解析区域;也就是说, 在这个区域内处处解析。接着他又指出 是这个被包围区域中的一个点。这样,公式所需的三个对象——回路 、函数 、内部点 ——都被明确下来。
随后板书给出核心公式 。教师解释其含义:我们想考察解析函数 在单连通解析区域内某一点 的取值,而这个取值竟然可以用一个沿着包围 的回路积分来表示。这里的关键联系是“局部点的函数值”与“围绕该点的整体回路积分”之间的等价表达。
页面下方出现“证明:”,课程从陈述公式转入论证。教师先提出证明入口:不要只盯住分子 ,而要看整个积分的被积函数。因为虽然 在区域内解析,但积分里真正出现的对象是 。这一步把注意力从“函数本身解析”转向“商式被积函数的结构”,为后续分析做准备。
片段在教师刚说到“对于这样一个大的被积函数而言”时结束,因此本段只完成了证明的起手式:先识别被积函数为 ,尚未展开后续推导。
在复变函数中,当积分回路内部包含函数的非解析点(奇点)时,直接计算积分往往十分困难。此时,我们需要借助复连通域上的柯西积分定理来处理这类问题。该定理允许我们将沿大回路的积分,等价转化为沿包围奇点的小回路的积分。
为了简化计算,我们可以自由选择小回路的形态。最理想的选择是以奇点 为圆心、半径为 的圆。这样,原本复杂的围道积分就被转化为了在这个小圆 上的积分。
接下来,我们需要对小圆路径进行参数化。在小圆 上,复变量 可以表示为 。对这个参数方程求微分,由于 和 均为常数,可得 。
将 和 的表达式代入积分式中,分母 恰好等于 。同时,由于是沿闭合回路积分,极角 的变化范围是从 到 。至此,复平面上的围道积分被成功转化为实变量 的定积分,为后续通过取极限 完成柯西积分公式的证明做好了准备。
这一段从板书上的“柯西积分公式”切入,先明确前提:C 所包围区域是 的单连通解析区域, 是该区域内一点。公式写成 。紧接着进入证明,第一步是把沿大回路 C 的积分改写成沿小圆 的积分,并对小圆作参数化 ,于是 。
代入后得到 。这里的关键化简是分子分母中的 与 相互抵消,所以表达式立刻简化为 。这一步只是代数变形,还没有用到极限。
接下来视频解释为什么可以这样做替换:因为只要新的回路仍然把“非解析区域”包住,积分值就不变。右侧示意图中,大圆 C 和小圆 同心于 ,正是在说明“大回路可以缩成小回路”。讲师特别强调,本例中的非解析区域就是点 本身,所以小圆只要继续围绕这一点,半径可以取得很小。
既然围绕 的不同回路给出相同积分,就可以进一步考虑极限 。板书此时补出完整链条:。这里的思路是把小圆不断收缩到中心点附近,让被积函数中的自变量趋近于 。
然后使用解析函数的连续性。因为 ,所以 。视频把极限移到积分号内,得到 。由于 与积分变量 无关,可以提到积分号外,剩下 。这就完成了从围道积分到函数值的转化。
最后,讲师把结果回扣到开头的公式:既然 ,等价地就有 。他还总结说,这整个证明本质上依赖前面讲过的“复连通域上的柯西积分定理”。片段末尾开始引出柯西积分公式的一个特例或推论,但本段在这里截断,未给出完整陈述。
在之前的推导中,我们得到了柯西积分公式。现在,让我们考虑一个特殊情况:如果被积函数是一个常数函数,具体来说 。
此时,公式变为 。这个积分的结果非常直观且有用:如果积分回路 所包围的区域包含了点 ,那么积分结果等于 1;如果不包含 ,则结果等于 0。
这个特例公式在判断点与区域的位置关系时极为方便,希望大家不仅要记住它,还要理解它的来源。
掌握了柯西积分公式后,我们可以进一步探讨它在复变函数理论中的重要应用——求解解析函数的导数。
让我们来看解析函数的一阶导数。根据柯西积分公式 ,我们对等式两边关于自变量 求导。
观察积分表达式,只有分母项 包含变量 。因此,求导操作主要作用于这一项。
对 关于 求导,首先对外层幂函数求导得到 ,然后对内层 关于 求导得到 。两个负号相消,最终结果为 。
将这一结果代回原积分式,我们就得到了一阶导数公式:。
同理,我们可以继续对一阶导数公式求导,以获得二阶导数。对 关于 求导,会产生系数 2 和另一个负号相消,得到 。
由于 ,二阶导数公式可以写为 。这种模式可以一直推广到高阶导数。
本段视频聚焦于复分析中的核心工具——柯西积分公式。画面白板上清晰列出了四个关键公式:首先是基础的柯西积分公式 ,它建立了区域内部函数值与边界积分的联系。紧接着,视频展示了对该公式求导的结果:一阶导数 的分母变为 ;二阶导数 的分母变为 且分子多了系数 ;推广至 阶导数,公式为 。讲师通过手势引导观众观察这一规律:每求一次导,分母的幂次加一,同时累积阶乘因子。
基于上述公式推导,讲师进一步阐释了解析函数的深刻性质。他指出,一旦确认函数 在简单闭曲线 及其包围的单连通区域内解析,那么利用柯西积分公式,我们就可以通过积分运算求出该函数在区域内任意点的各阶导数。这意味着解析函数不仅一次可导,而是拥有无穷多阶导数。这一结论打破了实变函数中“可导不一定二阶可导”的直觉,凸显了复变函数解析性的极强约束力。
视频最后以醒目的红色字幕总结全篇:“解析函数是任意阶可导的!解析函数的任何阶导数也均是解析函数。”讲师口头重申了这一观点,强调这是解析函数最迷人的性质之一。通过今天的讲解,观众不仅掌握了计算解析函数高阶导数的具体积分公式,更理解了“解析”二字背后蕴含的光滑性含义。课程在简洁的总结中结束,随后进入片尾展示环节。
视频给出的核心公式是 。其含义是:若 所包围区域为 的单连通解析区域,且 是该区域内一点,则函数在 处的值可以由沿 的围道积分表示。
板书条件行明确写出: 所包围区域为 单连通解析区域, 为区域内一点。教师口头进一步解释, 是包围区域的回路, 在整个被包围区域内解析, 必须落在这个区域内部。
进入证明后,教师强调不能只说 解析,就忽略积分结构;真正要研究的是被积函数 。这一步的作用是先把分析对象从分子转到整个商式,为后续论证铺路。
若 C 所包围区域为 的单连通解析区域, 为区域内一点,则函数在 处的值可以通过沿边界 C 的围道积分求得。这是复分析中最核心的公式之一,揭示了区域内解析函数的值完全由其边界值决定。
基于复连通域上的柯西积分定理,当被积函数在两个同心回路之间的环形区域内解析时,沿外回路的积分等于沿内回路的积分。这一原理允许我们将复杂的积分路径替换为便于计算的简单路径(如圆)。
为了计算围绕奇点 的小圆回路积分,通常引入极坐标参数化。设小圆半径为 r,则圆周上的点可表示为 + re^{},其微分为 dz = ire^{} 。这将复积分转化为关于实变量 θ 的定积分。
视频给出的核心公式是:若 C 所包围区域为 的单连通解析区域,且 为该区域内一点,则 可表示为沿 C 的围道积分。该公式把函数在内部一点的取值与边界回路积分直接联系起来。
证明中的关键方法是把沿大回路 C 的积分换成沿小圆 的积分。视频强调,只要新回路仍然包住非解析区域,积分值就不变。对本例而言,非解析区域就是点 ,所以小圆只要围绕 即可。
对小圆采用参数化 +re^{},则 dz=ire^{}。代入后被积式中的 r 与 相互抵消,积分化为 (+re^{})。这一步是后续取极限的基础。
由于围绕 的小回路积分值不随半径改变,可以继续取极限 。利用解析函数的连续性,f(+re^{}) 在极限下变为 ,于是积分号内只剩常数 对 的积分,最终得到 。
讲师在总结中明确指出,本段柯西积分公式的证明并不是凭空得到,而是建立在前面讨论过的复连通域上的柯西积分定理之上。这说明了公式与更一般围道积分定理之间的逻辑关系。
如果 所包围的区域为 的单连通解析区域, 为区域内一点,则有 。该公式建立了闭曲线上的积分与曲线内部某点函数值之间的联系。
当 时,柯西积分公式简化为 。这个特例常用于判断点是否在积分回路围成的区域内。
通过对柯西积分公式两边关于 求导,可得解析函数的一阶导数公式:。这表明解析函数的导数仍然可以通过边界上的积分来表示。
继续对一阶导数公式求导,可得二阶导数公式:。系数 来源于幂函数求导产生的常数倍。
复变函数论中的基本定理。若函数 在简单闭曲线 上及 内部解析,则对 内部任一点 ,有 。该公式表明,解析函数在区域内部的值完全由其边界上的值决定。
由柯西积分公式导出。若 在 及其内部解析,则其 阶导数存在且可由积分表示:。注意分母指数为 ,分子含有 。
复变函数的重要性质。与实变函数不同,如果一个复变函数在某区域内解析(即一阶可导),那么它在该区域内具有任意阶导数,并且所有的导函数在该区域内也是解析的。这体现了解析函数的强正则性。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
板书条件行写有“C 所包围区域为 单连通解析区域”
右侧画出一个闭合圆环,教师多次指向该闭合曲线
C
包围区域内一点的闭合回路/围道
复平面中的闭合曲线
板书条件行与公式分子均出现
教师说“这个函数 ”“被积函数里面的 是解析的”
在 C 所包围的单连通区域内解析的复变函数
复变量 z 的函数
板书条件行写有“ 为区域内一点”,公式分母为
闭合圆内部标有点
位于 C 所包围区域内的指定一点
复平面内的点
公式分母出现
i
虚数单位
复数单位
公式分母出现
圆周率常数
实常数
积分表达式末尾写有 dz
dz
沿围道 C 积分时的微分元素
复线积分微元
板书公式中出现 和 。
在单连通解析区域内解析的复变函数
复平面上的单连通区域
板书文字“C所包围区域为单连通解析区域”及积分符号下方的 C。
C
包围区域的简单闭曲线(积分回路)
复平面
板书文字“为区域内一点”及公式中的 。
区域内部的一个固定点(非解析点)
复平面
板书积分符号下方出现 。
以 为圆心、半径为 r 的小圆周
复平面
图中画出小圆,标注半径为 r。
参数方程 + re^{} 中出现 r。
r
小圆的半径
正实数
参数方程 + re^{} 及积分限 0 到 中出现 。
极角参数
零到二π
板书给出“柯西积分公式 ”
教师说明“ 在 点的取值……可以用这样一个积分把它表示出来”
若 C 所包围的区域是 的单连通解析区域,且 是该区域内一点,则函数在 处的值可由沿 C 的围道积分表示为 。
C 所包围区域为 的单连通解析区域
为 C 所包围区域内一点
板书条件行写有“C 所包围区域为 单连通解析区域”
教师说“整个这个 C 就是这个回路了,是我这样一个函数 的单连通解析区域”“在这个包围的区域里面它是单连通解析的,就完完全全解析的”
视频把公式成立的前提表述为:闭合回路 C 所包围的整个区域是函数 的单连通解析区域,即 在该区域内处处解析。
讨论对象是 C 所包围的区域
在该区域内单连通解析
教师说“被积函数不仅仅是 ,这个被积函数是 除以 z 减掉 ”
公式中被积部分为
片段在“那么我们看到,其实对于这样一个大的被积函数而言”处结束,后续论证未在本片段内展开
在证明柯西积分公式时,视频首先强调不能只看分子 的解析性,还要把整个被积函数 作为对象来分析。
研究对象是积分 的被积函数
板书标题“柯西积分公式”及公式 。
若 C 所包围的区域为 的单连通解析区域, 为区域内一点,则 可以通过沿边界 C 的围道积分来表示。
C 所包围区域为 单连通解析区域
为区域内一点
讲师提到“一个大的回路的积分,它其实可以化为包围着 点的这个非解析点的一个小回路的积分”。
利用复连通域上的柯西积分定理,可以将沿大回路 C 的积分转化为沿包围奇点 的小回路 的积分,从而简化计算。
被积函数在 C 与 之间的环形区域内解析
板书标题为“柯西积分公式”,其下给出
讲师最后总结“那么这个呢就是我们刚才所讨论过的这个柯西积分公式”
视频把柯西积分公式写成:若 C 所包围区域为 的单连通解析区域,且 为该区域内一点,则 可由沿 C 的围道积分表示。该公式把函数在内部一点的取值与沿边界回路的积分联系起来。
C 所包围区域为 的单连通解析区域
为 C 所包围区域内一点
讲师说“大回路积分把它化成一个小回路的积分”“只要这个回路能够把那个非解析区域包住就可以”“所有的结果都是一样的”
右侧图同时画出外圈 C 和内圈 ,二者都围绕同一点
视频强调,在证明中可以把沿大回路 C 的积分转化为沿小回路 的积分。只要新回路仍然把非解析区域包住,并且围绕同一个点 ,那么不同大小的回路所得积分值相同。这里的关键不是形状本身,而是回路是否包围了同一个奇点区域。
新回路仍包围原来的非解析区域
比较的是同一被积函数 的围道积分
板书下方写出 (+re^{})
讲师说“我可以让我的 r 趋于零,结果也是一样的不变的”
视频进一步说明,由于只要回路包住 这一点,积分值就不变,因此可以取极限 ,把小圆收缩到中心点附近。这样做的目的是利用解析函数的连续性,把 f(+re^{}) 在极限下替换为 。
以 为圆心
被积函数除 外在区域内解析
f 在 z 零处的函数值等于二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为 f 在 z 处的函数值除以 z 减去 z 零,再对 z 积分
如果 所包围的区域为 的单连通解析区域, 为区域内一点,则有柯西积分公式。
所包围的区域为 的单连通解析区域
为区域内一点
二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为一除以 z 减去 z 零,再对 z 积分,其结果是:当 z 零位于闭合曲线 C 所围成的区域内时,结果为一;当 z 零不在闭合曲线 C 所围成的区域内时,结果为零
当 时,柯西积分公式退化为一个非常有用的特例,用于判断点是否在积分回路内。
f 在 z 处的函数值恒等于一
f 在 z 处的导数等于二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为 f 在西格玛处的函数值除以西格玛减去 z,再对西格玛积分,然后对 z 求导;该导数也等于二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为 f 在西格玛处的函数值除以西格玛减去 z 的平方,再对西格玛积分
对柯西积分公式两边关于 求导,可以得到解析函数的一阶导数公式。
在 内部解析
f 在 z 处的二阶导数等于二的阶乘除以二 π i,再乘以沿闭合曲线 C 的积分,被积函数为 f 在西格玛处的函数值除以西格玛减去 z 的三次方,再对西格玛积分
继续对一阶导数公式求导,可以得到解析函数的二阶导数公式。
在 内部解析
板书完整写出“柯西积分公式 ”
教师口头说明该公式把区域内一点 的函数值与围绕该点的回路积分联系起来
如果 C 所包围区域为 的单连通解析区域,且 为区域内一点,则 。
C 所包围区域为 的单连通解析区域
为 C 所包围区域内一点
对满足上述条件的 C、 与区域内点 成立
讲师提到“我们就要用到复连通域上的柯西积分定理”。
在复连通域上,若函数在各边界之间解析,则沿外边界的积分等于沿内边界的积分之和。
函数在复连通域内解析
对于满足条件的任意复连通域和解析函数
讲师说“整个的这个柯西积分公式里面的证明呢,我们无非就是运用到了我们之前讨论过的复连通域上的柯西积分定理而得到的”
视频指出,本段所展示的柯西积分公式证明,核心依据是前面讨论过的复连通域上的柯西积分定理。
已建立复连通域上的柯西积分定理
被积函数在相应区域内满足解析条件
针对本段证明所使用的定理依据作总体说明
讲师说:“只要你是解析函数...在这个C所包围的区域当中,它这个单连通解析的,那么好,我们就可以知道,你这个解析函数它的导数,你可以求无穷多阶导数都可以,任意阶导数都可以去求。”
字幕显示:“解析函数是任意阶可导的!”
若函数 在简单闭曲线 C 及其所围成的单连通区域内解析,则 在该区域内具有任意阶导数,且各阶导数均可由围道积分公式给出。
在 C 上及 C 内部解析
C 为简单闭曲线
对于区域内的任意点 z 和任意非负整数 n
教师说“我们来证明一下这件事情。怎么证明呢?你看,我们就看这个积分被积函数里面”
板书下方出现“证明:”
教师继续说“虽然你这个被积函数里面的 是解析的……但它的被积函数不仅仅是 ,这个被积函数是 除以 z 减掉 ”
本片段只给出证明的起始观察,未包含完整推导链
进入证明后,先把注意力放到积分 的被积函数上。
视频口头明确“我们就看这个积分被积函数里面”。
指出被积对象不是单独的 ,而是商 。
教师说“被积函数不仅仅是 ,这个被积函数是 除以 z 减掉 ”。
本片段中的推导只推进到“证明应从整体被积函数 入手”这一步,后续论证未出现。
板书逐步展示了从 到 再到参数化积分的推导过程。
利用复连通域上的柯西积分定理,将大回路 C 上的积分转化为小回路 上的积分。
复连通域上的柯西积分定理
对小回路 进行参数化, 为圆心,r 为半径, 为极角。
圆的参数方程
对参数方程两边求微分,得到 dz 的表达式。
复变函数求导法则
将 z 和 dz 的参数表达式代入积分式中,并将积分限从回路转化为 从 0 到 。
参数化积分代换
通过将积分路径参数化,成功将复平面上的围道积分转化为实变量 的定积分,为后续取极限 证明公式奠定基础。
板书证明第一行给出 ,,+re^{}
下一行写出 =ire^{}
讲师说“r 和 r 约掉,e 的 i 西塔 e 的 i 西塔约掉,所以这个呢结果一下就出来了”
先把沿大回路 C 的积分改写为沿小圆 的积分。
视频口头说明可用小回路代替大回路,只要仍包住非解析区域。
对小圆 采用极坐标参数化,并把微分写成关于 的形式。
板书直接给出参数方程与对应微分。
代入 z 与 dz,得到关于 的定积分。
参数代换。
分子分母中的 r 与 相消,剩下系数 i 与对 的积分。
代数约分;讲师口头明确指出“r 和 r 约掉,e 的 i 西塔 e 的 i 西塔约掉”。
得到中间结果 \,(+re^{})\,。
板书下方写出 (+re^{})
讲师说“当我的 r 要是趋于零的话,由于我这个函数解析函数的连续性……就可以把它写成是 了,然后把它提出去”
讲师接着说“里面就剩下一个 0 到 的一个对西塔的积分,那么这个给出我们 的结果”
把原积分写成小圆半径趋于零时的极限。
视频说明只要回路包住 ,积分值不随回路大小改变,因此可取 。
沿用前面参数化后的表达式,再整体取极限。
上一步推导的代入。
把极限移入积分号内。
视频口头依据是“解析函数的连续性”;更严格的交换极限与积分条件在本片段中未完整展开。
当 时,点 +re^{} 趋于 ,函数值趋于 。
连续性。
与 无关,可提到积分号外。
常函数可提出积分号。
计算剩余的角度积分,得到长度 。
从 0 到 2π 对 θ 求积分,结果是 2π。
得到 \,,进而等价地写成 \,dz。
我们对这个z它的自变量z对它进行求导...分母求导是会使得xi减z也会变成xi减z的平方分之一,然后呢会出现一个负号...这里面呢负z对它里面的对z求导呢又会出现一个负号...所以呢整个这么下来的话对它的整个的函数对z求导呢,那么我们的结果就等于什么?就等于它。
f 在 z 处的导数等于二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为 f 在西格玛处的函数值除以西格玛减去 z 的平方,再对西格玛积分
写出柯西积分公式。
柯西积分公式定义。
对积分核 关于 求导,链式法则产生两个负号相消。
复合函数求导法则。
将求导结果代回积分表达式,得到一阶导数公式。
积分与求导交换次序(解析函数性质)。
得出解析函数的一阶导数公式。
我们还可以继续往下做,对它求两次导数...对它求导数会出现一个负二,然后呢对里面对z求导数呢又出现个负一,然后负二负一会变成一个二而已...那么二呢当然也等于二的阶乘二乘一等于二嘛。
f 在 z 处的二阶导数等于二的阶乘除以二 π i,再乘以沿闭合曲线 C 的积分,被积函数为 f 在西格玛处的函数值除以西格玛减去 z 的三次方,再对西格玛积分
基于一阶导数公式继续求导。
已推导的一阶导数公式。
对积分核 关于 求导,幂函数求导产生系数2,链式法则产生负号相消。
幂函数求导法则与复合函数求导法则。
将求导结果代回,并将系数2写为2!的形式。
阶乘定义 。
得出解析函数的二阶导数公式。
白板上依次列出了 , f'(z), f''(z), 的积分表达式。
讲师指着公式解释:“对这个函数...对它做n阶导数,我们最终的结果不过就是它的分母会变成了ξ减z的n加1次方,而这个地方它会多一个什么n的阶乘这样一个额外的因子。”
起点是柯西积分公式。
视频白板第一行内容。
对公式两边关于 z 求导,积分号内对 (ξ-z)^{-1} 求导得到 (ξ-z)^{-2}。
视频白板第二行内容及讲师口述逻辑。
再次求导,幂次增加,并产生常数因子 2。
视频白板第三行内容。
归纳到 n 阶导数,分母幂次为 ,分子出现 n!。
视频白板第四行内容及讲师口述总结。
解析函数的 n 阶导数可以通过对柯西积分公式的被积函数关于 z 求 n 次导数得到,形式上分母幂次加 n,分子乘以 n!。
右侧出现一个闭合圆,圆内标注点
教师多次用手指向圆周和圆内点 ,配合讲解“C 所包围的区域”和“区域内一点”
闭合圆 C
圆内点
板书条件文字
讲解时视线和手势在圆周与内部点之间切换,强调“包围区域”与“区域内一点”的关系
圆的闭合形状保持不变
始终位于圆内
该图把抽象条件具体化:C 是包围区域边界的闭合回路, 是被包围在区域内的目标点。
在教师讲解过程中,板书左下方出现红色标题“柯西积分公式”及完整公式
公式写为
红色标题“柯西积分公式”
公式
公式从无到有出现在板书上,随后教师反复指向公式各部分进行解释
公式内容在片段后半保持稳定
视觉呈现把口头描述的“用回路积分表示 点函数值”落实为明确公式。
板书下方新增“证明:”字样
教师同步说“我们来证明一下这件事情”
“证明:”标题
页面从陈述公式转入证明阶段
原公式和示意图仍保留在页面上
这表明视频结构从“给出定理”切换到“开始论证”。
画面右侧持续显示一个大圆 C 和内部一点 ,随后在 周围画出一个小圆 ,并标注半径 r 和角度 。
大圆 C
点
小圆
半径 r
角度
在 周围动态添加小圆 及其半径和角度标注
大圆 C 和点 的相对位置保持不变
直观展示了如何将包围奇点的复杂大回路积分,转化为围绕奇点的小圆回路积分,体现了积分路径的形变思想。
右侧始终显示一个大圆 C 和一个小圆 ,圆心同为 ,小圆半径标为 r,并标出角度
外圈大圆 C
内圈小圆
圆心
半径 r
角度
讲师多次用手指向大圆、小圆和圆心,强调内外回路的关系
两圆同心于
小圆始终位于大圆内部
被积函数的奇点位置始终是
该图直观表达“把大回路积分化为小回路积分”的思路:只要两个回路都包围同一个非解析点 ,就可以用更小的 代替 C 进行计算。
幻灯片内容从“柯西积分公式”及其证明切换为“解析函数的导数”及其公式推导。
幻灯片文本
公式
旧公式消失
新标题和新公式出现
讲师位置
背景
标志着课程从讲解柯西积分公式本身过渡到利用该公式推导解析函数的导数。
整个片段中,讲师站在白板前,白板上静态展示了四个相关的数学公式,标题分别为“柯西积分公式”和“解析函数的导数”。
白板
数学公式文本
公式内容在整个讲解过程中保持不变
通过并列展示不同阶导数的公式,直观呈现了从低阶到高阶的规律性变化。
教师强调“虽然你这个被积函数里面的 是解析的……但它的被积函数不仅仅是 ,这个被积函数是 除以 z 减掉 ”
看到 解析,就直接把积分中的被积对象理解成只有 。
视频明确指出,真正要研究的是整个商 ,不能忽略分母 。
讲师说“一个是形状,你可以去掌握,只要这个回路能够把那个非解析区域包住就可以”
随后又说“那么我们在这里的非解析区就是这一个点呀”
学习者可能以为只有圆形或某一固定半径的回路才能替代原回路。
视频强调关键是回路是否包住非解析区域;在本例中非解析区域就是点 ,因此只要围绕该点,回路可大可小,甚至半径可趋于零。
条件行先给出“C 所包围区域为 单连通解析区域, 为区域内一点”,随后给出公式
教师先解释区域和点,再说明“ 在 点的取值”可用积分表示
单连通解析区域与 在区域内的条件是柯西积分公式成立的前提。
公式已给出后,板书新增“证明:”
教师说“我们来证明一下这件事情”
证明的第一步依赖对公式中被积函数结构的重新审视。
讲师说明为了处理该积分,需要用到复连通域上的柯西积分定理。
复连通域上的柯西积分定理是证明柯西积分公式的关键依赖工具,用于实现积分回路的形变。
讲师明确说柯西积分公式的证明“无非就是运用到了我们之前讨论过的复连通域上的柯西积分定理”
本段把柯西积分公式的最终结果归因于前面已讲的复连通域柯西积分定理,说明公式不是孤立结论,而是由该定理推出。
先讲“大回路积分把它化成一个小回路的积分”,再讲“我可以让我的 r 趋于零”
只有先确认不同小回路积分值相同,才能进一步令半径 而不改变积分值。
下方极限式最终等于
讲师由此总结这就是柯西积分公式
取极限并代入连续性后,直接得到柯西积分公式的核心等式。
有了这个柯西积分公式之后...我们还可以来讨论什么?关于这个解析函数的导数的问题。
解析函数的导数公式是通过对柯西积分公式两边求导推导出来的。
白板排版将“柯西积分公式”置于上方,“解析函数的导数”置于下方,且导数公式明显是对原公式的进一步运算。
讲师说:“你有了柯西积分公式之后,我们非常容易的就可以证明...”
高阶导数公式是通过对柯西积分公式反复求导推导出来的。
在列出所有导数公式后,屏幕下方出现了总结性字幕:“解析函数是任意阶可导的!”
讲师基于前面的公式推导,得出了“解析函数你是任意阶可导的”这一结论。
n 阶导数公式的存在性和有效性直接证明了“解析函数任意阶可导”这一性质。
板书完整显示“柯西积分公式 ”
圆内标注
条件行写明“ 为区域内一点”
教师强调被积函数是 除以
教师说“ 在 点的取值……可以用这样一个积分把它表示出来”
公式左边是 ,右边是围道积分
板书完整展示了柯西积分公式及其证明的前半部分。
讲师解释了大回路积分化为小回路积分的过程。
讲师解释为什么可以把大回路换成小回路
讲师说可以让 r 趋于零且结果不变
板书写出
讲师明确说“由于我这个函数解析函数的连续性”
极限式中出现 f(+re^{}) 变为
板书最终写出 =
讲师说“它就是一个 乘上 ”
讲师总结证明依据是复连通域上的柯西积分定理
f 在 z 零处的函数值等于二 π i 分之一乘以沿闭合曲线 C 的积分,被积函数为 f 在 z 处的函数值除以 z 减去 z 零,再对 z 积分
已覆盖 · 片头动画与课程标题、章节标题展示,无实质数学推导内容。
已覆盖 · 教师引入课题,解释 C 所包围区域、 的单连通解析性以及 为区域内一点。
已覆盖 · 给出并解释柯西积分公式,说明函数在 点的取值可由围道积分表示。
已覆盖 · 进入证明,强调应先分析整体被积函数 ,片段在此处结束。
已覆盖 · 片段完整覆盖了柯西积分公式的提出、利用复连通域柯西积分定理进行回路形变的思路,以及将小圆回路参数化的推导过程。
已覆盖 · 板书展示柯西积分公式与证明开头,并完成参数化后的约分化简。
已覆盖 · 讲师解释为何可把大回路积分化为小回路积分,并强调只要包住非解析区域即可。
已覆盖 · 板书补出极限步骤,讲师说明利用连续性得到 。
已覆盖 · 讲师总结本证明依赖复连通域上的柯西积分定理。
已覆盖 · 讲师开始引出柯西积分公式的一个特例或推论,但本片段在此处截断,未给出完整条件与结论。
已覆盖 · 讲解柯西积分公式及其特例。
已覆盖 · 讲解并推导解析函数的一阶和二阶导数公式。
已覆盖 · 讲解柯西积分公式及其各阶导数公式的结构和推导规律。
已覆盖 · 阐述解析函数在单连通区域内任意阶可导的性质。
已覆盖 · 通过字幕和口头总结强调解析函数的无限可微性,并结束本节讲解。
已覆盖 · 片尾动画、免责声明及学校宣传片,无数学教学内容。