格林恒等式
格林恒等式(Green's identities)乃是向量分析的一组共三条恒等式,以发现格林定理的英国数学家乔治·格林命名。
设定向量场
;其中,在
的某区域
内,ϕ 是二次连续可微标量函数,ψ 是一次连续可微标量函数,则从散度定理,格林第一恒等式
,
可以推导出格林第一恒等式[1]:
;
其中,
是区域
的边界,
是取于边界面
的法向导数,即
。
格林第二恒等式
假若在区域
内,ϕ 和 ψ 都是二次连续可微,则可交换 ϕ 与 ψ ,从 (ψ,ϕ) 的格林第一恒等式得到 (ϕ,ψ) 的格林第一恒等式。将这两个恒等式相减,则可得到格林第二恒等式:
。
格林第三恒等式
假设函数 G 是拉普拉斯方程式的基本解(fundamental solution):
;
其中,
是狄拉克δ函数。
例如,在 R3,基本解的形式为
。
函数 G 称为格林函数。对于变量
与
的交换,格林函数具有对称性,即
。
设定 ϕ = G ,在区域
内,ψ 是二次连续可微。假若
在积分区域
内,则应用狄拉克δ函数的定义,
;
其中,dV' 、dS' 分别积分
于 
这是格林第三恒等式。假若 ψ 是调和函数,即拉普拉斯方程式的解:
,
则这恒等式简化为
。
浙公网安备 33010602011771号