拉普拉斯方程

✍ dations ◷ 2025-04-03 10:40:06 #皮埃尔-西蒙·拉普拉斯,偏微分方程,椭圆型偏微分方程,调和函数

牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯  · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅(英语:Eduard Heine) · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 约翰·伯努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦(英语:Madhava of Sangamagrama) · 婆什迦罗第二 · 阿涅西 · 阿基米德

从无穷小量分析来理解曲线(英语:Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes) · 分析学教程(英语:Cours d'Analyse) · 无穷小分析引论 · 用无穷级数做数学分析(英语:De analysi per aequationes numero terminorum infinitas) · 流形上的微积分(英语:Calculus on Manifolds (book)) · 微积分学教程 · 纯数学教程(英语:A Course of Pure Mathematics) · 机械原理方法论(英语:The Method of Mechanical Theorems)

拉普拉斯方程,又名调和方程、位势方程,是一种偏微分方程。因为由法国数学家皮埃尔-西蒙·拉普拉斯首先提出而得名。求解拉普拉斯方程是电磁学、天文学、热力学和流体力学等领域经常遇到的一类重要的数学问题,因为这种方程以势函数的形式描写电场、引力场和流场等物理对象(一般统称为“保守场”或“有势场”)的性质。:619ff

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

使用笛卡尔坐标,

使用柱坐标,

使用球面坐标,

使用曲线坐标,

这组方程又经常写为

或者

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

这方程又可写为

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

拉普拉斯方程的解称为调和函数。:671-672如果等号右边是一个给定的函数(, , ),即

则该方程称为泊松方程。拉普拉斯方程和泊松方程是最简单的椭圆型微分方程。偏微分算子 2 {\displaystyle \nabla ^{2}} = + ,并且

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

上述方程继续求导就得到

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

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

则等式

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

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

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

那么相应的解析函数为

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

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

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

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

那么

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

u {\displaystyle u} ,) 满足::83

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

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

第二个麦克斯韦方程即:

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

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

其中的三维δ函数代表位于 ( x , y , z ) {\displaystyle (x',\,y',\,z')} 作用拉普拉斯算子,再把结果在包含点源的任意体积内积分,那么

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

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

所以

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

格林函数是一种不但满足前述基本解的定义,而且在体积域的边界上还满足一定的边界条件的基本解。譬如, G ( x , y , z ; x , y , z ) {\displaystyle G(x,y,z;x',y',z')\,} 为在内满足泊松方程的任意解:

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

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

所以格林函数描述了量和对 ( x , y , z ) {\displaystyle (x',y',z')} 的球面内的点上得值可以通过镜像法求得:距球心ρ的源点的通过球面的“反射镜像”距球心

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

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

其中, cos Θ = cos θ cos θ + sin θ sin θ cos ( θ θ ) {\displaystyle \cos \Theta =\cos \theta \cos \theta '+\sin \theta \sin \theta '\cos(\theta -\theta ')} 是调和函数,那么在球心处的取值为其在球面上取值的平均。于是我们可以立即得出以下结论:任意一个调和函数(只要不是常函数)的最大值必然不会在其定义域的内部点取得。

相关

  • 药物分析药物分析是运用化学、物理化学、生物学等的方法和技术,研究化学结构已经明确的药品的质量控制方法。由于药品是一种特殊的商品,它直接与人的健康相关联,它的质量要求也十分严格
  • 敏化作用敏化作用(英语:Sensitization)是一种非联系性学习的过程,在此过程期间重复的刺激会导致越来越剧烈的反应。除了被重复的刺激本身外,敏化作用常常使得一整类的刺激都会产生更激烈
  • 雪茄盒雪茄盒是西方杂技的一种常见道具,其外观如同早期上流人士用来装雪茄的木盒子,故名雪茄盒,不过今天塑胶制雪茄盒亦相当普遍。利用雪茄盒,杂技师可以完成许多不同变化的表演,包括在
  • 中波希米亚州中波希米亚州(捷克语:Středočeský kraj)是捷克波希米亚地区中部的一个州(捷克语:kraj)。面积11,014平方公里,人口1,284,629(2011年)。首府布拉格(捷克语:Praha)位于州管辖范围的中心
  • 百日王朝反法同盟决定性胜利;巴黎条约第七次反法同盟:百日王朝(法语:Cent-Jours)是指拿破仑一世在被流放后重返法国,试图重建法兰西第一帝国的一连串事件。1815年3月20日,拿破仑从厄尔巴岛
  • 程序分析在计算机科学中,程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。程序分析主要研究两大领域:程序的优化(英语:Program optimization)和程序的正
  • 阿里山榆阿里山榆(学名:)为榆科榆属下的一个种。
  • 大蒜冰淇淋大蒜冰淇淋 是一种冰淇淋口味,主要由香草、或蜂蜜,和奶油味的冰淇淋作为基础,其中再加上大蒜。 它曾在许多大蒜节,包括在吉尔罗伊举行的吉尔罗伊大蒜节中出现。根据一所源于旧金
  • 卡乔纳帕特塞尼卡乔纳帕特塞尼(Kachhauna Patseni),是印度北方邦Hardoi县的一个城镇。总人口13504(2001年)。该地2001年总人口13504人,其中男性7260人,女性6244人;0—6岁人口2252人,其中男1163人,女1
  • 马姬 (明武宗)马姬,中国明朝女性,明武宗朱厚照的宠姬。马姬姿色艳美,善于骑射,能说达语,善于胡乐。有认为她是西蒙古瓦剌地方的达子回回,其兄马昂本是延绥总兵官,因贪渎被免职后和江彬交好,两人将