拉普拉斯方程

✍ dations ◷ 2025-04-26 12:50:08 #皮埃尔-西蒙·拉普拉斯,偏微分方程,椭圆型偏微分方程,调和函数

牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯  · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅(英语: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 ')} 是调和函数,那么在球心处的取值为其在球面上取值的平均。于是我们可以立即得出以下结论:任意一个调和函数(只要不是常函数)的最大值必然不会在其定义域的内部点取得。

相关

  • 反卫星导弹2007年中国反卫星导弹试验是指中国于2007年1月11日进行的一次反卫星导弹试验。在该试验中,由西昌卫星发射中心 (28°14′49″N 102°01′30″E / 28.247°N 102.025°E / 28.
  • 阿尔贝托·约里阿尔贝托·约里(意大利语:Alberto Jori,1965年7月2日-),意大利历史学家、哲学家,目前是德国杜宾根大学哲学系的教授。他同时也是亚里斯多德哲学的专家,在2003年,他借由关于亚里斯多德
  • 西班牙皇家语言学院西班牙皇家语言学院(西班牙语:Real Academia Española,简称RAE)是西班牙王室设立的一个机构,负责翻译西班牙语。总部设在马德里,座右铭是“它清理、修复,并创造辉煌”(Limpia, fija
  • 我的傲娇男友《我的傲娇男友》(英文:You, I Love),2018年日本电影。和泉凛(平野紫耀 饰)和春名优羽(樱井日奈子 饰)是从小一起长大的青梅竹马,凛从第一次见到优羽的时候就喜欢上她,却一直害羞
  • 巴塞甘巴塞甘(波斯语:بازرگان‎)是伊朗的城市,位于该国西北部马库以南,由西阿塞拜疆省负责管辖,海拔高度1,300米,2006年人口9,047,居民主要是阿塞拜疆人,大部分居民信奉伊斯兰教。
  • 尼可斯龙北方尼可斯龙 Druckenmiller & Russell, 2008 (模式种)尼可斯龙(学名:)是蛇颈龙亚目长锁龙科的一属,生存于白垩纪早期(阿尔比阶)的北美洲海域。模式种是北方尼可斯龙()。在北美洲
  • 金龟柱金龟柱(朝鲜语:김귀주/金龜柱,1740年-1786年),号可庵,本贯庆州,朝鲜王朝后期戚臣。朝鲜英祖继妃贞纯王后兄长。幼时已评为文章出众,英祖三十九年(1763年)增广文科及第,该年任弘文馆副校理
  • 永璥永璥(1716年-1788年),爱新觉罗氏,废太子胤礽之孙,弘晋第三子,字文玉,号益斋,又号素菊道人。康熙五十五年(1716年)七月十五日未时生,庶母纳喇氏元保之女。清朝书画家,诗人。幼年与叔弘㬙、
  • 西瓜炮西瓜跑,是中国大陆上海美术电影制片厂于1979年拍摄的的木偶戏动画作品。该片根据刘征泰的同名民间故事改编而成,分为上下部,讲述了清朝末年上海小刀会起义时孩儿兵的故事。清朝
  • 曲兆祥曲兆祥(1956年-),亲民党籍,现任国立台湾师范大学政治学研究所教授,1990年代中期曾加入中国国民党救党改革委员会。1996年担任新党国民大会代表。2002年,代表亲民党参选第9届台北市