跳到内容
返回探索
微积分 / 中文

小矩形法证明格林公式

Charles队长 · 哔哩哔哩 · 1:28

打开原视频
阅读与收藏

把讲解展开来看。

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

本视频通过“小矩形法”直观地展示了格林公式的证明过程。证明思路分为四个步骤:分割、近似、求和与取极限。首先将区域 D 划分为无数个小矩形网格;接着计算单个小矩形的环路积分,利用偏导数近似得到其面积分形式;然后将所有小矩形的积分求和,指出内部边界因方向相反而相互抵消,仅保留外部阶梯形边界;最后令网格无限细化(Δx, Δy→0Δy \to 0),阶梯形边界逼近原曲线 L,黎曼和转化为二重积分,从而推导出格林公式。

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

章节

0:18Step 1: 分割 —— 将 D 划分成小矩形网格0:42Step 2: 近似 —— 计算单个小矩形的环路积分1:00Step 3: 求和 —— 所有小矩形的环路积分求和1:17Step 4: 取极限 —— Δx, Δy→0Δy \to 0

学习解说文稿

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

欢迎学习格林公式的几何直观证明——小矩形法。我们的核心证明思路是:分割、近似、求和、取极限。第一步是分割,我们将平面上的闭区域 D 用细密的网格划分成无数个微小的小矩形 DiD_i。这样做的目的是将一个复杂的曲边区域问题,转化为大量简单的直边矩形问题的集合。

第二步是近似。我们单独取出一个小矩形,计算向量场 Pdx+QdyP dx + Q dy 沿其逆时针边界的环路积分。对于下边和上边的 x 方向积分,由于 y 坐标相差 Δy,利用泰勒展开的一阶近似,它们的差值可以写成 -∂P/∂y⋅ΔxΔyy \cdot Δx Δy。同理,右边和左边的 y 方向积分差值为 ∂Q/∂x⋅ΔxΔyx \cdot Δx Δy。将四条边相加,单个小矩形的环路积分就近似等于 (∂Q/∂x - ∂P/∂y) Δσ,其中 Δσ 是小矩形的面积。

第三步是求和。我们将区域 D 内所有小矩形的环路积分加起来。观察相邻的两个小矩形,它们共享一条公共边。由于每个小矩形都按逆时针方向绕行,这条公共边在两个矩形中的遍历方向恰好相反。因此,在所有内部边界上的积分会两两相互抵消。求和之后,只剩下最外围未与其他矩形共享的边界,形成一个紧贴着原曲线 L 的阶梯形外边界。

第四步是取极限。当网格不断加密,即 Δx 和 Δy 趋于 0 时,左侧的阶梯形外边界将无限逼近原来的光滑曲线 L,其上的线积分收敛于沿 L 的曲线积分。同时,右侧关于所有小矩形的求和式,在极限状态下正好构成了函数 (∂Q/∂x - ∂P/∂y) 在区域 D 上的黎曼和,从而转化为二重积分。至此,我们严格推导出了格林公式:沿闭曲线 L 的第二类曲线积分,等于其偏导数之差在区域 D 上的二重积分。 这里展示的是证明的几何思路。严谨取极限还需 P,QP,Q 在区域附近具有连续一阶偏导,边界分段光滑,并控制边界近似误差;不能仅由曲线图形靠近就推出线积分收敛。

知识卡片

01

小矩形法证明思路

格林公式的经典初等证明方法,遵循微积分的基本思想。通过将复杂区域“分割”为简单的小矩形,对局部进行微分“近似”,然后全局“求和”并利用内部边界抵消的特性,最后通过“取极限”将离散的和式转化为连续的积分,从而建立曲线积分与二重积分的联系。

分割→近似→求和→取极限\text{分割} \rightarrow \text{近似} \rightarrow \text{求和} \rightarrow \text{取极限}
02

单矩形环路积分近似

在小矩形上计算线积分时,利用一阶泰勒展开(或中值定理)将函数值的差分转化为偏导数。上下两边的 x 积分产生 -∂P/∂y\partial P/\partial y 项,左右两边的 y 积分产生 ∂Q/∂x\partial Q/\partial x 项,两者结合并乘以面积 Δσ,实现了从一维线积分到二维面积分的局部过渡。

∮∂DiPdx+Qdy≈(∂Q∂x−∂P∂y)Δσ\oint_{\partial D_i} P dx + Q dy \approx \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) \Delta \sigma
03

内部边界抵消原理

这是小矩形法中最关键的拓扑几何性质。当对所有相邻小矩形的逆时针边界积分求和时,任意两个矩形之间的公共边会被分别沿相反方向各遍历一次。由于第二类曲线积分具有方向性,反向积分互为相反数,因此所有内部网格线的积分贡献完全抵消,仅留下区域的外边界。

04

阶梯边界逼近与黎曼和

在已说明的连续一阶偏导与分段光滑边界条件下,还需控制边界近似误差,才能由网格边界积分得到原边界积分;仅有曲线在几何上接近并不充分。代数上,所示和式是 ∂Q/∂x−∂P/∂y\partial Q/\partial x-\partial P/\partial y 在 DD 上的黎曼和。

lim⁡max⁡Δσi→0∑i(∂Q∂x−∂P∂y)Δσi=∬D(∂Q∂x−∂P∂y)dσ\lim_{\max \Delta \sigma_i \to 0} \sum_i \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) \Delta \sigma_i = \iint_D \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) d\sigma

探索视频中的知识

打开视频知识图谱 →

  • 定积分 应用定位 0:50
    查看关联依据

    小矩形论证把各边界的有向曲线积分相加。内部公共边因方向相反而抵消,只留下外边界;加细分割后与格林公式中的面积分联系。这是在通常的可微性及边界条件下应用积分可加性和定向性质,不能推广为任意区域或不光滑向量场的定理证明。

这个视频解答的问题

认识概念

↗
掌握方法

↗
掌握方法

↗
理解原因

↗
认识概念

↗