小矩形法证明思路
格林公式的经典初等证明方法,遵循微积分的基本思想。通过将复杂区域“分割”为简单的小矩形,对局部进行微分“近似”,然后全局“求和”并利用内部边界抵消的特性,最后通过“取极限”将离散的和式转化为连续的积分,从而建立曲线积分与二重积分的联系。
Charles队长 · 哔哩哔哩 · 1:28
本视频通过“小矩形法”直观地展示了格林公式的证明过程。证明思路分为四个步骤:分割、近似、求和与取极限。首先将区域 D 划分为无数个小矩形网格;接着计算单个小矩形的环路积分,利用偏导数近似得到其面积分形式;然后将所有小矩形的积分求和,指出内部边界因方向相反而相互抵消,仅保留外部阶梯形边界;最后令网格无限细化(Δx, ),阶梯形边界逼近原曲线 L,黎曼和转化为二重积分,从而推导出格林公式。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
欢迎学习格林公式的几何直观证明——小矩形法。我们的核心证明思路是:分割、近似、求和、取极限。第一步是分割,我们将平面上的闭区域 D 用细密的网格划分成无数个微小的小矩形 。这样做的目的是将一个复杂的曲边区域问题,转化为大量简单的直边矩形问题的集合。
第二步是近似。我们单独取出一个小矩形,计算向量场 沿其逆时针边界的环路积分。对于下边和上边的 x 方向积分,由于 y 坐标相差 Δy,利用泰勒展开的一阶近似,它们的差值可以写成 -∂P/∂。同理,右边和左边的 y 方向积分差值为 ∂Q/∂。将四条边相加,单个小矩形的环路积分就近似等于 (∂Q/∂x - ∂P/∂y) Δσ,其中 Δσ 是小矩形的面积。
第三步是求和。我们将区域 D 内所有小矩形的环路积分加起来。观察相邻的两个小矩形,它们共享一条公共边。由于每个小矩形都按逆时针方向绕行,这条公共边在两个矩形中的遍历方向恰好相反。因此,在所有内部边界上的积分会两两相互抵消。求和之后,只剩下最外围未与其他矩形共享的边界,形成一个紧贴着原曲线 L 的阶梯形外边界。
第四步是取极限。当网格不断加密,即 Δx 和 Δy 趋于 0 时,左侧的阶梯形外边界将无限逼近原来的光滑曲线 L,其上的线积分收敛于沿 L 的曲线积分。同时,右侧关于所有小矩形的求和式,在极限状态下正好构成了函数 (∂Q/∂x - ∂P/∂y) 在区域 D 上的黎曼和,从而转化为二重积分。至此,我们严格推导出了格林公式:沿闭曲线 L 的第二类曲线积分,等于其偏导数之差在区域 D 上的二重积分。 这里展示的是证明的几何思路。严谨取极限还需 在区域附近具有连续一阶偏导,边界分段光滑,并控制边界近似误差;不能仅由曲线图形靠近就推出线积分收敛。
格林公式的经典初等证明方法,遵循微积分的基本思想。通过将复杂区域“分割”为简单的小矩形,对局部进行微分“近似”,然后全局“求和”并利用内部边界抵消的特性,最后通过“取极限”将离散的和式转化为连续的积分,从而建立曲线积分与二重积分的联系。
在小矩形上计算线积分时,利用一阶泰勒展开(或中值定理)将函数值的差分转化为偏导数。上下两边的 x 积分产生 - 项,左右两边的 y 积分产生 项,两者结合并乘以面积 Δσ,实现了从一维线积分到二维面积分的局部过渡。
这是小矩形法中最关键的拓扑几何性质。当对所有相邻小矩形的逆时针边界积分求和时,任意两个矩形之间的公共边会被分别沿相反方向各遍历一次。由于第二类曲线积分具有方向性,反向积分互为相反数,因此所有内部网格线的积分贡献完全抵消,仅留下区域的外边界。
在已说明的连续一阶偏导与分段光滑边界条件下,还需控制边界近似误差,才能由网格边界积分得到原边界积分;仅有曲线在几何上接近并不充分。代数上,所示和式是 在 上的黎曼和。
严格的极限要求 P 和 Q 在区域附近具有连续的一阶偏导数,边界是分片光滑的,并且需要控制边界近似误差。仅凭曲线的接近并不意味着其线积分的收敛。
适用条件:证明正在推向严格的极限。;P 和 Q 在区域 D 附近有定义。;考虑边界 L。
线积分利用偏导数的一阶泰勒展开进行近似。水平边产生涉及 的项,垂直边产生涉及 的项。
适用条件:矩形是无穷小的。;P 和 Q 具有连续的一阶偏导数。
证明分为四个步骤:将区域 D 划分为小矩形,利用泰勒展开近似单个矩形上的线积分,对这些积分求和使得内部边界相互抵消,最后取网格尺寸趋于零的极限以导出旋度的二重积分。
适用条件:区域 D 是一个闭合的平面区域。;函数 P 和 Q 在 D 附近具有连续的一阶偏导数。;边界 L 是分片光滑的。
内部边界相互抵消是因为相邻的矩形共享一条公共边,且这条边被以完全相反的方向遍历。由于线积分对方向敏感,一个矩形沿共享边的积分会抵消相邻矩形的积分,只剩下外部边界。
适用条件:每个矩形按逆时针方向遍历。;矩形是相邻的并共享一条公共边。
当网格尺寸趋于零时,阶梯状外部边界一致收敛到原始的光滑曲线 L,求和表达式成为函数 的精确黎曼和,从而转化为区域 D 上的二重积分。
适用条件:网格变得无限密集()。;P 和 Q 具有连续的一阶偏导数。;边界 L 是分片光滑的。