格林公式的推导

格林公式是计算平面积分的基本定理。它的发明人是乔治·格林,如下图左侧所示。乔治·格林 40岁才考上了剑桥的本科生,后来留任在剑桥的凯斯学院。

乔治·格林(1793-1841)

格林公式的推导思路

为了纪念他以及这个重要的公式,凯斯学院有一扇窗户上画了关于格林公式的一幅图,如上图右侧所示。该图阐述了格林本人推导格林公式时的思路,该思路相比的严格证明更加自然、易于理解,我们来对比学习一下。

设闭区域的边界由分段光滑的曲线构成,若函数上具有一阶连续偏导数,则有:

其中的取正向的边界曲线。

1 平面积分

格林公式既然是计算“平面积分”的基本定理,我们先来看看什么是平面积分。

二重积分可以直观地理解为曲顶柱体的体积,如下图左侧所示。为避免局限思维,这里也去掉其中的几何意义,简单地将看作定义在区域上的函数,如下图右侧所示。

函数及对应的曲顶柱体

定义在上的函数

从而二重积分可以视作在平面区域上的积分,简称为 平面积分

2 平面的边界

研究平面积分先搞清楚边界,通过例子来了解一下。对于如下图左侧所示的单连通域,其边界是周围的黑实线,通常记作。而对于如下图右侧所示的复连通域,其边界包含外部黑实线和内部黑实线

单连通域及其边界

复连通域及其边界

平面区域的边界也可看作有向曲线,其正向规定如下:想象一个小人沿行走,若其左边为内部则该行走方向就是正向。据此,下图左侧中的箭头所指就是的边界的正向。同样的,可据此标出下图右侧中复连通域的边界的组成部分的正向,这里为了帮助理解的正向,也画出了帮助判断的小人。

单连通域及其有向边界

复连通域及其有向边界

3 推导思路

乔治·格林想要计算的是,为了方便后面的讲解,这里记闭合有向曲线围成的闭区域为,且处于力场中,如下图所示。

然后乔治·格林将闭区域划分为很多个小格子,如下图所示。

这么做的原因是因为乔治·格林发现,如果在每个格子的边界上计算曲线积分,相邻的边界会相互抵消。以下图中的个蓝色格子为例,内部灰色边界上有一对方向相反的积分,也就是黑色箭头所指方向上的积分,这两者会相互抵消;而外部黑色边界上只有一个方向的积分,也就是红色箭头所指方向上的积分,该积分会被保留下来。

也就是说在这个蓝色格子上计算曲线积分并且相加起来,得到的是外部正向边界上的曲线积分,如下图所示,这里用红色描出了外部正向边界。

如果计算内所有的小矩形格子上的并且相加起来,就会得到下图中红色边界上的

如果将划分为更多个小格子,然后计算内所有的小矩形格子上的并相加,就会得到下图中红色边界上的

可以看到随着小矩形格子的增多,红色边界会逐渐逼近有向曲线,相应的红色边界上的也会逼近乔治·格林想要的计算结果,最终当小矩形格子的个数,并且这些小矩形格子的最大直径时,可以求出

4 推导过程

思路解释清楚了,下面来计算单个小矩形格子的曲线积分,以下图中的小矩形格子为例,个顶点分别为

注意到力场方向的分力与有向直线垂直,从而在这两条直线上不做功;及力场方向的分力与有向直线垂直,从而在这两条直线上不做功。结合上对坐标的曲线积分的计算法,可如下计算在正向边界上的曲线积分:

简写一下,上面的推导得到了如下结果:

按照最上面解释的思路,将闭区域划分为更多的小矩形格子,当这些小矩形格子的最大直径时,结合上单个小矩形格子的计算结果,就可以得到格林公式:

par 我们知道,两者的计算都只和端点有关,如下图所示。端点其实就是直线、曲线的边界,所以换句话说,两者的计算都只和边界有关。

说的就是平面积分可通过其边界的积分来计算,如下图所示。

和上述两个积分的基本定理相比,所以也称为 平面积分的基本定理

关注马同学
马同学高等数学
微信公众号:matongxue314