族谱网 头条 人物百科

拉普拉斯方程

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:1593
转发:0
评论:0
定义三维情况下,拉普拉斯方程可由下面的形式描述,问题归结为求解对实自变量x、y、z二阶可微的实函数φ:使用笛卡尔坐标,使用柱坐标,使用球面坐标,使用曲线坐标,或这组方程常常又写为或者其中,div表示矢量场的散度(结果是一个标量场),grad表示标量场的梯度(结果是一个矢量场)。这方程又可写为其中,Δ称为拉普拉斯算子。拉普拉斯方程的解称为调和函数。如果等号右边是一个给定的函数f(x,y,z),即则该方程称为泊松方程。拉普拉斯方程和泊松方程是最简单的椭圆型微分方程。偏微分算子∇∇-->2{\displaystyle\nabla^{2}}或ΔΔ-->{\displaystyle\Delta}(可以在任意维空间中定义这样的算子)称为拉普拉斯算子。边界条件对于二维环形(内半径r=2、外半径R=4),满足狄利克雷边界条件(u(r=2)=0、u(R=4)=4sin(5*θ))的拉普拉斯方程的电脑绘图。拉...

定义

三维情况下,拉普拉斯方程可由下面的形式描述,问题归结为求解对实自变量x、y、z二阶可微的实函数φ:

使用笛卡尔坐标,

使用柱坐标,

使用球面坐标,

使用曲线坐标,

这组方程常常又写为

或者

其中,div表示矢量场的散度(结果是一个标量场),grad表示标量场的梯度(结果是一个矢量场)。

这方程又可写为

其中,Δ称为拉普拉斯算子。

拉普拉斯方程的解称为调和函数。 如果等号右边是一个给定的函数f(x, y, z),即

则该方程称为泊松方程。拉普拉斯方程和泊松方程是最简单的椭圆型微分方程。偏微分算子∇ ∇ -->2{\displaystyle \nabla ^{2}}或Δ Δ -->{\displaystyle \Delta }(可以在任意维空间中定义这样的算子)称为拉普拉斯算子。

边界条件

拉普拉斯方程

对于二维环形(内半径r=2、外半径R=4),满足狄利克雷边界条件(u(r=2)=0、u(R=4)=4sin(5*θ))的拉普拉斯方程的电脑绘图。

拉普拉斯方程的狄利克雷问题可归结为求解在区域D{\displaystyle D}内定义的函数φ,使得φ φ -->{\displaystyle \varphi }在D{\displaystyle D}的边界上等于某给定的函数。为方便叙述,以下采用拉普拉斯算子应用的其中一个例子——热传导问题作为背景进行介绍:固定区域边界上的温度(是边界上各点位置坐标的函数),直到区域内部热传导使温度分布达到稳定,这个温度分布场就是相应的狄利克雷问题的解。

拉普拉斯方程的诺伊曼边界条件不直接给出区域D{\displaystyle D}边界处的温度函数φ本身,而是φ沿D{\displaystyle D}的边界法向的导数。从物理的角度看,这种边界条件给出的是矢量场的势分布在区域边界处的已知效果(对热传导问题而言,这种效果便是边界热流密度)。

拉普拉斯方程的解称为调和函数,此函数在方程成立的区域内是解析的。任意两个函数,如果它们都满足拉普拉斯方程(或任意线性微分方程),这两个函数的任意线性组合同样满足前述方程。这种非常有用的性质称为叠加原理。可以根据该原理将各种通解线性组合起来,以满足所有边界条件。

二维拉普拉斯方程

两个自变量的拉普拉斯方程具有以下形式:

解析函数

解析函数的实部和虚部均满足拉普拉斯方程。换言之,若 z = x + iy,并且

那么 f(z) 是解析函数的充要条件是 u(x,y),v(x,y) 可微,且满足下列柯西-黎曼方程:

上述方程继续求导就得到

所以 u 满足拉普拉斯方程。类似的计算可推得 v 同样满足拉普拉斯方程。

反之,给定一个由解析函数(或至少在某点及其邻域内解析的函数)f(z) 的实部确定的调和函数,若写成下列形式:

则等式

成立就可使得柯西-黎曼方程得到满足。上述关系无法确定ψ,只能得到它的微增量表达式:

φ 满足拉普拉斯方程意味着 ψ 满足可积条件:

所以可以通过一个线积分来定义 ψ。可积条件和斯托克斯定理的满足说明线积分的结果与积分经过的具体路径无关,仅由起点和终点决定。于是,我们便通过复变函数方法得到了 φ 和 ψ 这一对拉普拉斯方程的解。这样的解称为一对共轭调和函数。这种构造解的方法只在局部(复变函数 f(z)) 的解析域内)有效,或者说,构造函数的积分路径不能围绕有 f(z) 的奇点。譬如,在极坐标平面 (r,θ) 上定义函数

那么相应的解析函数为

在这里需要注意的是,极角 θ 仅在不包含原点的区域内才是单值的。

拉普拉斯方程与解析函数之间的紧密联系说明拉普拉斯方程的任何解都无穷阶可导(这是解析函数的一个性质),因此可以展开成幂级数形式,至少在不包含奇点的圆域内是如此。这与波动方程的解形成鲜明对照,后者包含任意函数,其中一些的可微分阶数是很小的。

幂级数和傅里叶级数之间存在着密切的关系。如果我们将函数 f 在复平面上以原点为中心,R 为半径的圆域内展开成幂级数,即

将每一项系数适当地分离出实部和虚部

那么

这便是 f 的傅里叶级数。这些三角函数自身也可以用倍角公式展开。

流体动力学

设 u{\displaystyle u}、v{\displaystyle v} 分别为满足定常、不可压缩和无旋条件的流体速度场的 x{\displaystyle x} 和 y{\displaystyle y} 方向分量(这里仅考虑二维流场),那么不可压缩条件为:

无旋条件为:

若定义一个标量函数 ψ ψ -->{\displaystyle \psi },使其微分满足:

那么不可压缩条件便是上述微分式的可积条件。积分的结果函数 ψ ψ -->{\displaystyle \psi } 称为流函数,因为它在同一条流线上各点的值是相同的。ψ ψ -->{\displaystyle \psi } 的一阶偏导为:

无旋条件即令 ψ ψ -->{\displaystyle \psi } 满足拉普拉斯方程。ψ ψ -->{\displaystyle \psi } 的共轭调和函数 φ φ -->{\displaystyle \varphi } 称为速度势。柯西-黎曼方程要求

所以每一个解析函数都对应着平面内的一个定常不可压缩无旋流场。解析函数的实部为速度势函数,虚部为流函数。

静电学

根据麦克斯韦方程组,二维空间中不随时间变化的电场 (u,v) 满足:

其中 ρ 为电荷密度。第一个麦克斯韦方程便是下列微分式的可积条件:

所以可以构造电势函数 φ 使其满足

第二个麦克斯韦方程即:

这是一个泊松方程,当空间不包含自由电荷时,方程等号右边变为0,方程变为拉普拉斯方程。

三维拉普拉斯方程

基本解

拉普拉斯方程的基本解满足

其中的三维δ函数代表位于(x′,y′,z′){\displaystyle (x",\,y",\,z")}的一个点源。

由基本解的定义,若对u作用拉普拉斯算子,再把结果在包含点源的任意体积内积分,那么

由于坐标轴旋转不改变拉普拉斯方程的形式,所以基本解必然包含在那些仅与到点源距离r相关的解中。如果我们选取包含点源、半径为a的球形域作为积分域,那么根据高斯散度定理

求得在以点源为中心,半径为r的球面上有

所以

经过类似的推导同样可求得二维形式的解

格林函数

格林函数是一种不但满足前述基本解的定义,而且在体积域V的边界S上还满足一定的边界条件的基本解。譬如,G(x,y,z;x′,y′,z′){\displaystyle G(x,y,z;x",y",z")\,}可以满足

现设u为在V内满足泊松方程的任意解:

且u在边界S上取值为g,那么我们可以应用格林定理(是高斯散度定理的一个推论),得到

un和Gn分别代表两个函数在边界S上的法向导数。考虑到u和G满足的条件,可将这满足狄利克雷边界条件的公式化简为

所以格林函数描述了量f和g对(x′,y′,z′){\displaystyle (x",y",z")}点函数值的影响。

圆球壳案例

格林函数在半径为a的球面内的点上得值可以通过镜像法求得:距球心ρ的源点P的通过球面的“反射镜像”P" 距球心

需要注意的是,如果P在球内,那么P"将在球外。于是可得格林函数为

其中,R表示距源点P的距离,R" 表示距镜像点P" 的距离。从格林函数上面的表示式可以推出泊松积分公式。设ρ、θ和φ为源点P的三个球坐标分量。此处θ按照物理学界的通用标准定义为坐标矢径与竖直轴(z轴)的夹角(与欧洲习惯相同,与美国习惯不同)。于是球面内拉普拉斯方程的解为:

其中,cos⁡ ⁡ -->Θ Θ -->=cos⁡ ⁡ -->θ θ -->cos⁡ ⁡ -->θ θ -->′+sin⁡ ⁡ -->θ θ -->sin⁡ ⁡ -->θ θ -->′cos⁡ ⁡ -->(θ θ -->− − -->θ θ -->′){\displaystyle \cos \Theta =\cos \theta \cos \theta "+\sin \theta \sin \theta "\cos(\theta -\theta ")}。

这个公式的一个显见的结论是:若u是调和函数,那么u在球心处的取值为其在球面上取值的平均。于是我们可以立即得出以下结论:任意一个调和函数(只要不是常函数)的最大值必然不会在其定义域的内部点取得。

参见

球面调和函数

势流理论

电势

参考文献

严镇军编,《数学物理方程》,第二版,中国科学技术大学出版社,合肥,2002,ISBN 978-7-312-00799-6/O•177

L.C. Evans, Partial Differential Equations, American Mathematical Society, Providence, 1998. ISBN 978-0-8218-0772-9

I. G. Petrovsky, Partial Differential Equations, W. B. Saunders Co., Philadelphia, 1967.

A. D. Polyanin, Handbook of Linear Partial Differential Equations for Engineers and Scientists, Chapman & Hall/CRC Press, Boca Raton, 2002. ISBN 978-1-58488-299-2

A. Sommerfeld, Partial Differential Equations in Physics, Academic Press, New York, 1949.

Pijush K.Kundu, Fluid Mechanics, Academic Press, 2002.

外部链接

拉普拉斯方程(特解和边值问题)在EqWorld网站上的介绍(专门介绍数学方程的网站,英文)。

初始值问题举例exampleproblems.com网站上使用拉普拉斯方程解题的例子(英文)。


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 拉普拉斯变换
形式定义对于所有实数t≥≥-->0{\displaystylet\geq0},函数f(t){\displaystylef(t)}的拉普拉斯变换是函数F(s){\displaystyleF(s)},定义为:参数s{\displaystyles}是一个复数:拉普拉斯变换的其他表示法中使用Lf{\displaystyle\displaystyle{\mathcal{L}}f}或Lt{f(t)}{\displaystyle\displaystyle{\mathcal{L}}_{t}\left\{f(t)\right\}}而非F{\displaystyleF}。L{\displaystyle{\mathcal{L}}}是一个运算符号。积分的含义取决于函数的类型。该积分存在的一个必要条件是在f{\displaystylef}必须在[0,∞∞-->){\displaystyle[0,\inf...
· 拉普拉斯数
相关条目奥内佐格数Oh,和拉普拉斯数有以下的关系La=Oh−−-->2{\displaystyle\mathrm{La}=\mathrm{Oh}^{-2}}
· 拉普拉斯妖
原文引述拉普拉斯坚信决定论,他在他的概率论(Essaiphilosophiquesurlesprobabilités)导论部分说:“Nousdevonsdoncenvisagerl"étatprésentdel"univers,commel"effetdesonétatantérieur,etcommelacausedeceluiquivasuivre.Uneintelligencequipouruninstantdonné,connaîtraittouteslesforcesdontlaNatureestanimée,etlasituationrespectivedesêtresquilacomposent,sid"ailleu...
· 拉普拉斯展开
公式设B=(bij)是一个n×n矩阵。B关于第i行第j列的余子式Mij是指B中去掉第i行第j列后得到的n−1阶子矩阵的行列式。有时可以简称为B的(i,j)余子式。B的(i,j)代数余子式:Cij是指B的(i,j)余子式Mij与(−1)的乘积:Cij=(−1)Mij拉普拉斯展开最初由范德蒙德给出,为如下公式:对于任意i,j∈{1,2,...,n}:例子考虑以下的矩阵:这个矩阵的行列式可以用沿着第一行的拉普拉斯展开式来计算:也可以用沿着第二列的拉普拉斯展开式来计算:很容易看到这个结果是正确的:这个矩阵是奇异的,因为它的第一列和第三列的和与第二列成比例,因此它的行列式是零。证明设B是一个n×n的矩阵,i、j∈{1,2,...,n}。为了明确起见,将Mij{\displaystyleM_{ij}}的系数记为(ast){\displaystyle(a_{st})},其中1≤s...
· 拉普拉斯算子
定义拉普拉斯算子是n维欧几里得空间中的一个二阶微分算子,定义为梯度(∇∇-->f{\displaystyle\nablaf}散度的散度(∇∇-->⋅⋅-->∇∇-->f{\displaystyle\nabla\cdot\nablaf})。因此如果f是二阶可微的实函数,则f的拉普拉斯算子定义为:f的拉普拉斯算子也是笛卡儿坐标系xi{\displaystylex_{i}}中的所有非混合二阶偏导数:作为一个二阶微分算子,拉普拉斯算子把C函数映射到C函数,对于k≥2。表达式((1)或(2))定义了一个算子Δ:C(R)→C(R),或更一般地,定义了一个算子Δ:C(Ω)→C(Ω),对于任何开集Ω。函数的拉普拉斯算子也是该函数的黑塞矩阵的迹:坐标表示式二维空间三维空间N维空间在参数方程为x=rθθ-->∈∈-->RN{\displaystylex=r\theta\in...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信