拉普拉斯方程

✍ dations ◷ 2024-12-23 23:33:47 #皮埃尔-西蒙·拉普拉斯,偏微分方程,椭圆型偏微分方程,调和函数

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

相关

  • 科学社会学科学知识社会学(sociology of scientific knowledge,缩写为SSK)是将科学作为一种社会活动来研究,特别是关于“科学的社会条件和影响,以及科学活动的社会结构和过程。” 科学无知
  • 郑度 (自然地理学家)郑度(1936年8月26日-),中国自然地理学家。出生于广东揭西。籍贯广东大埔。1958年毕业于中山大学地理系。1999年当选为中国科学院院士。中国科学院地理科学与资源研究所研究员,国
  • 嘉莱王国嘉莱王国(Ala Car P'tao Degar,越南语:Tiểu quốc J'rai)是越南西原地区由嘉莱族和埃地族建立的一系列已不存在的政权。越南史料称之为南蟠。嘉莱王国原为占城的一部分。1471年
  • 魔法少女爱2《魔法少女爱2》(魔法少女アイ2)是Colors公司于2002年9月27日发售的18禁游戏。《魔法少女爱》的续作,2008年12月19日发售续作《魔法少女爱参》。故事发生在前作之后三年。除了
  • 牛仔竞技牛仔竞技(英语:Rodeo,读音:/ˈroʊdiːoʊ/或/roʊˈdeɪ.oʊ/)是一种由放牧演变而来的竞技运动,起源于西班牙、墨西哥,并后传至中美洲、美国、加拿大、南美洲、澳大利亚和新西兰。
  • 春日香音春日香音(日文:かすがかのん、2003年11月1日-)生于日本东京都,女性童星,隶属于日本电视台旗下的Nichi Park Productions。
  • 卡鲁马塔姆帕蒂卡鲁马塔姆帕蒂(Karumathampatti),是印度泰米尔纳德邦Coimbatore县的一个城镇。总人口26162(2001年)。该地2001年总人口26162人,其中男性13473人,女性12689人;0—6岁人口2613人,其中
  • 学校怪谈 (电影)《学校怪谈》(日语:学校の怪談、英语:Gakko no Kaidan、School Ghost Stories),由常光彻(日语:常光徹)的原著小说改编。东宝电影公司于1995年到1999年间总共制作了四部电影作品,一般
  • 亚历山大·斯图布凯-约兰·亚历山大·斯图布(瑞典语:Cai-Göran Alexander Stubb,1968年4月1日-),芬兰民族联合党的政治家。2004年到2008年,斯图布是欧洲议会议员。2008年到2011年任芬兰外交部长,201
  • 柴田茜柴田茜(日语:柴田 あかね/しばた あかね ,1988年4月30日-),栃木县出生,日本女子曲棍球运动员,亦为日本国家女子曲棍球队成员。毕业于天理大学。2016年,柴田茜代表日本出战巴西里约热