Green公式的证明及其物理意义.PDFVIP

Green 公式的证明及其物理意义 叶卢庆 2014 年 11 月1 日 平面 Green 公式叙述如下: 定理(平面Green 公式 [1]). 设 是以光滑曲线 为边界的平面单连通区域, 函数 和 在 以及 上连续并具有对 和 的连续偏导数, 则有 这里右端为沿有向闭路的积分, 积分路径的方向是和趋于正向联系的, 即当一个人沿着曲线 行走时 区域 恒在其左边（亦即服从右手法则的联系）. 评论. 文献 [1] 对于单连通区域的定义很粗糙, 我们现在来叙述维基百科上的定义: 一个拓扑空间 称为是单连通的, 如果它是道路连通的, 且存在连续映射 , 使得 是 在 上的限制. 其中 是二维欧氏空间中的单位圆, 是二维欧氏空间中的单位圆盘. 评论. 初看之下, 文献 [1] 对于此定理的叙述似乎是漏了一个条件. 我们还得指出 是闭曲线. 其实 不然, 为单连通区域已经蕴含了 是闭曲线. 否则, 如果 是单连通的, 不是闭曲线, 则可以构造 一条 内的闭曲线包围曲线, 显然这条闭曲线不能连续收缩为一点, 这与 是单连通区域矛盾. 在证明之前, 我们先引进一些概念, 证明一些引理. 光滑曲线的定义可以见文献 [2]. 对于光滑曲线 , 根据 光滑曲线的定义, 设 的参数方程为 其中 , 为实数. 都为连续可微函数, 且在 上恒有 ′ ′ . ′ ′ ′ 因此, 根据隐函数定理, 对于曲线 上的任意一点 来说, 都存在 , 使得在 ′ ′ ′ ′ ′ ′ 之内, 和 存在连续可微的函数关系. 下面我们来看图 1. 如图, 是一条光滑曲线. 除了在点 附近外, 该光滑曲线在其余的点附近, 都能 表示为 的连续可微的函数. 而在点 附近, 不能表示为 的连续可微的函数, 但是 能 ′ 表示为 的连续可微的函数 . 易得 , 其中 是点 的坐 标. 像 这种点, 我们将其叫做垂直点, 把曲线在垂直点处的切线叫做垂直线, 图中 就是一条垂直线. 将 垂直线上的垂直点对应的横坐标叫做垂直线对应的点. 我们再来看图 2. 也是一条光滑曲线 . 在其它点附近, 总能表达成 的连续可微的函数 . 但是在点 和 附近, 不能表达为 的函数, 但是 能表达成 的函数 ′ ′ , 且 . 其中 的坐标为 , 的坐标是 . 曲线在 和 点的切线称为水平线. 水平线上的点的纵坐标成为水平线所对应的点. 下面我们来证明一个结论: 叶卢庆 (1992—), 男, 杭州师范大学理学院数学与应用数学专业本科在读,E-mail:yeluqingmathematics@ 1 b