1 基本概念
格林恒等式是一组将区域内部的微分信息与边界上的积分联系起来的基本公式。它们把“在区域内对函数做导数运算”与“在边界上考察通量或取值”建立起对应关系，因此在多元微积分、偏微分方程和数学物理中都非常常见。
1.1 定义
通常所说的格林恒等式，并不是单一公式，而是若干相关积分恒等式的统称。它们以足够光滑的函数和合适的区域为前提，把诸如梯度、散度、拉普拉斯算子等微分算子转化为边界积分。最常见的形式包括第一、第二和第三格林恒等式。
从思想上看，这些公式可以理解为高维情形下的分部积分法：把“导数作用在某个函数上”的部分转移到另一个函数上，同时补上边界项。
1.2 适用条件
格林恒等式的成立依赖于区域和函数的正则性。若条件过弱，公式中的边界积分、法向量或体积分可能无法严格定义，因此通常需要在较明确的几何和分析框架下使用。
1.2.1 区域的光滑性要求
通常要求区域具有分段光滑或足够规则的边界，使得外法向量能够几乎处处定义，边界积分也可正常处理。对于较常见的有界区域，只要边界没有过于尖锐或病态的奇异点，一般便可应用格林恒等式。
1.2.2 函数的可微性要求
参与恒等式的函数一般需要至少具有连续的一阶导数，某些形式还要求二阶导数存在并可积。对于更广泛的弱形式，还可以把要求放宽到Sobolev空间中的函数，但此时公式的解释方式会改为弱导数或分布意义。
1.3 几何直观
格林恒等式的几何含义可以概括为：区域内部的“变化总量”，能够通过边界上的“流出量”来反映。若把函数看作一个物理量，比如温度或势能，那么导数描述的是它在空间中的变化趋势，而边界积分则反映这些变化如何从边界传递出去。正因为这种内外联系，它们在研究场问题时格外自然。
2 主要形式
格林恒等式在不同场景下有不同版本，但核心结构相近：一类公式把乘积函数的导数移项，另一类公式则比较两个函数及其拉普拉斯算子，第三类则常用于构造边界积分表示。
2.1 第一格林恒等式
第一格林恒等式直接联系了函数、梯度和拉普拉斯算子，是最常用的基本形式之一。
2.1.1 公式表达
设区域为 \( \Omega \)，边界为 \( \partial\Omega \)，\(u,v\) 足够光滑，则第一格林恒等式可写为 \[ \int_{\Omega} \nabla u \cdot \nabla v \, d\Omega = \int_{\partial\Omega} v \frac{\partial u}{\partial n}\, dS - \int_{\Omega} v \Delta u \, d\Omega. \] 其中 \( \frac{\partial u}{\partial n} \) 表示沿外法向量方向的导数，\( \Delta u \) 为拉普拉斯算子。
2.1.2 与分部积分的关系
在一维情形下，分部积分公式会把导数从一个函数转移到另一个函数上。第一格林恒等式正是这一思想在多变量中的直接推广，只不过“端点项”变成了边界积分，“普通导数”则替换为梯度和法向导数。
2.2 第二格林恒等式
第二格林恒等式常用于比较两个函数的拉普拉斯算子，尤其适合研究边值问题和唯一性。
2.2.1 公式表达
若 \(u,v\) 足够光滑，则第二格林恒等式为 \[ \int_{\Omega} \left(u \Delta v - v \Delta u\right)\, d\Omega = \int_{\partial\Omega} \left( u \frac{\partial v}{\partial n} - v \frac{\partial u}{\partial n} \right)\, dS. \]
2.2.2 对称性特征
该公式在结构上具有明显的对称性：交换 \(u\) 与 \(v\) 后，左边和右边都只改变符号。正因如此，它常被用于比较两个解是否相同，或者分析某个算子的自伴性质。
2.3 第三格林恒等式
第三格林恒等式通常把函数与基本解联系起来，常见于势理论和边界表示公式中。
2.3.1 边界积分形式
设 \(G(x,\xi)\) 为拉普拉斯算子的基本解或格林函数，结合第二格林恒等式可得到一种把域内函数表示为边界积分与源项积分的公式。其具体形式会随维数、边界条件及选取的格林函数而变化，但核心特征是把区域内值写成边界数据和核函数的积分叠加。
2.3.2 在势理论中的含义
在势理论中，第三格林恒等式提供了从边界数据重建场的途径。它说明某些满足调和方程或椭圆方程的函数，其内部行为可以由边界上的值和法向导数决定，因此在求解Dirichlet问题和Neumann问题时很有价值。
3 理论推导
格林恒等式的推导通常来自散度定理或一维分部积分。不同路径虽然形式不同，但都体现出“把微分项转化为边界项”的基本机制。
3.1 由散度定理推导
散度定理是格林恒等式的核心工具之一。通过构造合适的向量场，可以把区域内部的散度积分转化为边界通量积分。
3.1.1 标量情形推导
令向量场取为 \(v\nabla u\)，则 \[ \nabla\cdot(v\nabla u)=\nabla v\cdot \nabla u + v\Delta u. \] 对区域积分并应用散度定理后，就得到第一格林恒等式。若进一步选取不同的函数组合，则可导出第二格林恒等式。
3.1.2 向量情形推导
在更一般的设置中，可将标量函数扩展为向量分量逐项处理，或通过构造适当的张量场进行推导。此时边界项对应于向量场穿过边界的通量，而体积分则反映内部的散度结构。
3.2 由一维分部积分推广
另一条直观路径是从一维分部积分出发，再把单变量导数替换为偏导数和法向导数。
3.2.1 从单变量到多变量
一维公式中，积分区间两端的函数值构成边界项；在多维情形下，“两端”被整个边界取代。函数的变化不再沿单方向展开，而是通过梯度在各个方向上的分量共同描述。
3.2.2 边界项的来源
边界项本质上来自微分算子的“总变化”在边界处的累积。多维积分中，内部相邻部分的贡献往往相互抵消，最终只剩下边界上的净效应，这与一维分部积分中端点项的出现具有相同逻辑。
4 相关定理与公式
格林恒等式与若干经典积分定理彼此相连，常被一并讨论。它们在本质上都属于“微分—积分转换”的不同表达。
4.1 格林公式
格林公式通常指平面区域中的线积分与双重积分之间的关系，是二维情形的重要工具。
4.1.1 平面区域上的积分关系
在平面上，格林公式把沿闭曲线的积分与区域内部的旋度或散度型表达联系起来。它常用于计算面积、路径积分以及验证保守场性质。
4.1.2 与格林恒等式的区别
格林公式主要面向二维平面区域，而格林恒等式则更侧重于高维多元函数与偏微分算子。前者偏向向量场的环流与面积关系，后者则更直接服务于椭圆型方程和边值分析。
4.2 散度定理
散度定理是格林恒等式最重要的基础之一，也是其几何来源。
4.2.1 流量与体积分关系
散度定理说明，一个向量场穿过封闭边界的总流量，等于其在区域内部散度的体积分。它将“边界外流”和“内部源汇”对应起来，是物理和几何中都极其自然的陈述。
4.2.2 作为推导工具的作用
在格林恒等式的证明中，常通过构造特殊向量场并对其应用散度定理，迅速得到所需积分关系。因此，散度定理不仅是背景理论，也是一种直接的推导手段。
4.3 斯托克斯定理
斯托克斯定理可看作更一般的边界与微分关系，它将格林公式与散度定理纳入统一框架。
4.3.1 曲面边界积分
斯托克斯定理描述的是曲面上旋度的积分与其边界曲线上的线积分之间的关系。它把二维边界思想推广到曲面情形，揭示了微分形式在边界上的基本变换规律。
4.3.2 与高维推广的联系
从更抽象的角度看，格林恒等式、格林公式、散度定理和斯托克斯定理都可视为同类原理的不同维度版本。它们共同体现了“局部微分信息决定整体边界行为”的核心思想。
5 应用领域
格林恒等式在偏微分方程、势理论和数学物理中有广泛应用，尤其适合处理边值问题、能量估计和表示公式。
5.1 偏微分方程
在偏微分方程理论中，格林恒等式常用于建立弱解框架、推导先验估计以及证明解的唯一性。
5.1.1 拉普拉斯方程
对于拉普拉斯方程，格林恒等式可用来说明调和函数的平均性质、最大值原理相关结论以及边界值对内部解的决定作用。
5.1.2 泊松方程
在泊松方程中，源项的存在使得解的结构更复杂。通过格林恒等式，可以把方程转化为积分表达，从而便于分析解的存在性和正则性。
5.1.3 边值问题与唯一性
格林第二恒等式常用于证明边值问题的唯一性：若两个满足相同边界条件的解之差满足相应齐次方程，则可借助恒等式证明该差为零，从而推出解唯一。
5.2 势理论
势理论研究由源项或边界数据产生的势函数，格林恒等式是其基础工具之一。
5.2.1 调和函数
调和函数满足拉普拉斯方程，在物理上常对应无源场。格林恒等式可以帮助建立调和函数的边界表示，并揭示其内部值与边界值之间的紧密联系。
5.2.2 绿函数方法
绿函数方法利用特定核函数把微分方程转化为积分方程。格林恒等式为这一方法提供理论支撑，使得复杂边值问题能够被拆解为边界项和源项的叠加。
5.3 数学物理
在物理学中，格林恒等式经常出现于能量守恒、场分布和边界条件分析之中。
5.3.1 热传导问题
热传导方程的分析常借助格林恒等式建立能量估计，说明温度场的变化如何受边界输入和内部热源影响。
5.3.2 静电场问题
静电势满足相关椭圆方程时，格林恒等式可用于描述势函数与电荷分布之间的关系，并帮助构造由边界条件决定的电势解。
5.3.3 振动与波动问题
在振动与波动模型中，格林恒等式常用于推导正交关系、能量恒等式和谱性质，从而分析系统的模态结构与稳定性。
6 证明与技巧
格林恒等式的证明思路多样，但都围绕微分算子和边界项的转换展开。实际使用时，符号、方向和正则性条件都需要特别注意。
6.1 经典证明思路
6.1.1 通过向量恒等式
最常见的方法是构造向量场并计算其散度，再应用散度定理。这种做法清晰直接，能够统一导出多种格林恒等式。
6.1.2 通过积分变换
也可先在简单区域或一维情形中验证公式，再通过坐标变换、分割区域和极限过程推广到一般区域。这类证明更强调局部计算与拼接思想。
6.2 常见误区
6.2.1 边界方向与法向量符号
格林恒等式中的法向导数通常取外法向方向。如果误把内法向代入，公式中边界项的符号会发生改变，容易导致结果错误。
6.2.2 光滑性不足导致的问题
若函数或边界不够光滑，某些步骤如交换微分与积分、定义法向量或应用散度定理可能失效。此时应使用弱形式、近似或分布理论来处理。
7 推广与变体
格林恒等式并不局限于二维或三维欧氏空间，也可以扩展到更高维、弱解框架以及流形背景中。
7.1 高维情形
7.1.1 n维区域上的推广
在 \(n\) 维欧氏空间中，格林恒等式的基本结构保持不变，只是边界变为 \((n-1)\) 维超曲面，法向导数和面积元也相应替换为高维版本。
7.1.2 张量形式的表达
在需要处理更复杂对象时，可将标量公式推广为张量形式。这样不仅能容纳向量场，还便于描述各向异性介质、连续介质力学中的应力张量等问题。
7.2 弱形式与泛函分析版本
在现代分析中，格林恒等式常被写成弱形式，用于定义弱解和建立Hilbert空间中的变分框架。
7.2.1 Sobolev空间中的表述
在Sobolev空间里，函数未必处处可导，但其弱导数可用于重新解释格林恒等式。这样便能把原本要求较高的公式扩展到更广泛的函数类。
7.2.2 弱导数与分布意义
当函数只具有分布意义下的导数时，格林恒等式可视为分布与测试函数之间的配对关系。此时它不再只是一个积分恒等式，也成为现代偏微分方程理论的基础语言。
7.3 曲率空间中的推广
在曲面或流形上，格林恒等式仍可成立，但需要借助黎曼度量、测地边界和曲率相关的几何结构。
7.3.1 流形上的格林恒等式
在带边界的黎曼流形上，可把梯度、散度和拉普拉斯算子换成对应的几何版本，从而得到适用于流形的积分恒等式。
7.3.2 与黎曼几何的联系
这类推广说明格林恒等式不仅是分析工具，也与几何结构密切相关。曲率、体积元和边界法向的定义都会影响公式的具体形态。
8 历史与命名
格林恒等式的名称与19世纪早期的数学发展密切相关，之后又在偏微分方程和向量分析中不断被重新整理和推广。
8.1 格林的贡献
格林恒等式得名于英国数学家乔治·格林。他在研究势理论与电磁问题时提出了相关思想，为后来的边界积分方法和场论分析奠定了基础。
8.2 与其他数学家工作的联系
此类公式的系统化推广与后续多位数学家的工作有关，尤其是在散度定理、积分公式和椭圆方程理论逐渐完善之后，格林恒等式才形成今天常见的标准表述。
8.3 名称演变与术语使用
在不同文献中，“格林恒等式”有时专指某一条公式，有时则泛指一组相关恒等式；而“格林公式”则可能特指平面区域中的经典公式。随着教材与研究传统的不同，术语使用也会略有差别。