拉普拉斯方程(来自维基百科)
2009-12-04 19:58阅读:
拉普拉斯方程(Laplace's
equation),又名
调和方程、
位势方程,是一种
偏微分方程。因为由法国数学家
拉普拉斯首先提出而得名。求解拉普拉斯方程是
电磁学、
天文学和
流体力学等领域经常遇到的一类重要的数学问题,因为这种方程以
势函数的形式描写了
电场、
引力场和
流场
等物理对象(一般统称为“保守场”或“有势场”)的性质。
[编辑]
定义
三维情况下,拉普拉斯方程可由下面的形式描述,问题归结为求解对实自变量
x、
y、
z二阶
可微的实函数φ
:
上面的方程常常简写作:
或
其中div表示
矢量场的
散度(结果是一个
标量场),grad表示标量场的
梯度(结果是一个
矢量场),或者简写作:
其中Δ称为
拉普拉斯算子.
拉普拉斯方程的解称为
调和函数。
如果等号右边是一个给定的函数
f(
x,
y,
z),即:
则该方程称为
泊松方程。 拉普拉斯方程和泊松方程是最简单的
椭圆型偏微分方程。偏微分算子或
Δ(可以在任意维空间中定义这样的算子)称为
拉普拉斯算子,英文是
Laplace operator 或简称作
Laplacian。
拉普拉斯方程的
狄利克雷问题可归结为求解在区域
D内定义的函数φ,使得在
D的边界上等于某给定的函数。为方便叙述,以下采用拉普拉斯算子应用的其中一个例子——
热传导问题作为背景进行介绍:固定区域边界上的温度(是边界上各点位置坐标的函数),直到区域内部热传导使温度分布达到稳定,这个温度分布场就是相应的狄利克雷问题的解。
拉普拉斯方程的
诺伊曼边界条件不直接给出区域
D边界处的温度函数φ本身,而是φ沿
D的边界法向的
导数。从物理的角度看,这种边界条件给出的是矢量场的势分布在区域边界处的已知效果(对热传导问题而言,这种效果便是边界热流密度)。
拉普拉斯方程的解称为
调和函数,此函数在方程成立的区域内是
解析的。任意两个函数,如果它们都满足拉普拉斯方程(或任意线性微分方程),这两个函数之和(或任意形式的线性组合)同样满足前述方程。这种非常有用的性质称为
叠加原理。可以根据该原理将复杂问题的已知简单
特解组合起来,构造适用面更广的
通解。
[编辑]
二维拉普拉斯方程
两个自变量的拉普拉斯方程具有以下形式:
[编辑]
解析函数
解析函数的实部和虚部均满足拉普拉斯方程。换言之,若
z =
x +
iy,并且
那么
f(
z)是解析函数的
充要条件是它满足下列
柯西-黎曼方程:
上述方程继续求导就得到
所以
u 满足拉普拉斯方程。类似的计算可推得
v 同样满足拉普拉斯方程。
反之,给定一个由解析函数(或至少在某点及其邻域内解析的函数)
f(
z)的实部确定的调和函数,若写成下列形式:
则等式
成立就可使得柯西-黎曼方程得到满足。 上述关系无法确定ψ,只能得到它的微增量表达式:
φ满足拉普拉斯方程意味着ψ满足可积条件:
所以可以通过一个线积分来定义ψ。可积条件和
斯托克斯定理的满足说明线积分的结果与积分经过的具体路径无关,仅由起点和终点决定。于是,我们便通过
复变函数方法得到了φ和ψ这一对拉普拉斯方程的解。这样的解称为一对
共轭调和函数。这种构造解的方法只在局部(复变函数
f(
z))的解析域内)有效,或者说,构造函数的积分路径不能围绕有
f(
z)的
奇点。譬如,在
极坐标平面(
r,
θ)上定义函数
那么相应的解析函数为
在这里需要注意的是,极角
θ 仅在不包含原点的区域内才是单值的。
拉普拉斯方程与解析函数之间的紧密联系说明拉普拉斯方程的任何解都无穷阶可导(这是解析函数的一个性质),因此可以展开成
幂级数形式,至少在不包含奇点的圆域内是如此。这与
波动方程的解形成鲜明对照,后者包含
任意函数,其中一些的可微分阶数是很小的。
幂级数和
傅里叶级数之间存在着密切的关系。如果我们将函数
f
在复平面上以原点为中心,
R 为半径的圆域内展开成幂级数,即
将每一项系数适当地分离出实部和虚部
那么
这便是
f 的傅里叶级数。
[编辑]
在流场中的应用
设
u、
v 分别为满足
定常、
不可压缩和
无旋条件的流体速度场的
x
和
y 方向分量(这里仅考虑二维流场),那么不可压缩条件为:
无旋条件为:
若定义一个标量函数
ψ,使其微分满足:
那么不可压缩条件便是上述微分式的可积条件。积分的结果函数
ψ称为
流函数,因为它在同一条
流线上各点的值是相同的。
ψ的一阶偏导为:
无旋条件即令
ψ 满足拉普拉斯方程。
ψ的共轭调和函数称为
速度势。柯西-黎曼方程要求
所以每一个解析函数都对应着平面内的一个定常不可压缩无旋流场。解析函数的实部为速度势函数,虚部为流函数。
[编辑]
在电磁学中的应用
根据
麦克斯韦方程组,二维空间中不随时间变化的电场(
u,
v)满足:
和
其中ρ为电荷密度。第一个麦克斯韦方程便是下列微分式的可积条件:
所以可以构造电势函数φ使其满足
第二个麦克斯韦方程即:
这是一个
泊松方程。
[编辑]
三维拉普拉斯方程