数学におけるラプラス作用素(ラプラスさようそ、: Laplace operator)あるいはラプラシアン: Laplacian)は、ユークリッド空間上の函数勾配発散として与えられる微分作用素である。記号では ∇·∇, 2, あるいは で表されるのが普通である。函数 f の点 p におけるラプラシアン f(p) は(次元に依存する定数の違いを除いて)点 p を中心とする球面を半径が増大するように動かすときの f(p) から得られる平均値になっている。直交座標系においては、ラプラシアンは各独立変数に関する函数の二階(非混合)偏導函数の和として与えられ、またほかに円筒座標系球座標系などの座標系においても有用な表示を持つ。

ラプラス作用素の名称は、天体力学の研究に同作用素を最初に用いたフランス人数学者のピエール=シモン・ド・ラプラス (1749–1827) に因んでいる。同作用素は与えられた重力ポテンシャルに適用すると質量密度の定数倍を与える。現在ではラプラス方程式と呼ばれる方程式 f = 0 の解は調和函数と呼ばれ、自由空間において可能な重力場を表現するものである。

微分方程式においてラプラス作用素は電気ポテンシャル重力ポテンシャル流体拡散方程式波の伝搬量子力学といった、多くの物理現象を記述するのに現れる。ラプラシアンは、函数の勾配フロー流束密度を表す。

定義 編集

ラプラス作用素はn 次元ユークリッド空間上の函数 f勾配 f発散 ∇· として定義される二階の微分作用素である。つまり、f二回微分可能実数値函数ならば f のラプラシアンは

 

で定義される。ただし、あとの記法は形式的に ∇ = (x1,..., xn)と書いたものである。あるいは同じことだが、fラプラシアン直交座標系 xi における非混合二階偏導函数の全てにわたる和

 

としても書ける。二階の微分作用素として、ラプラス作用素はCk 級函数を Ck − 2 級の函数へ写す (k ≥ 2)。つまり、式 1 (あるいは同値な 2) は作用素 ∆: Ck(Rn) → Ck − 2(Rn) を定める。あるいはより一般に任意の開集合 Ω に対して作用素 ∆: Ck(Ω) → Ck − 2(Ω) を定める。

数学的特徴づけ 編集

ラプラス作用素は、合同変換と可換である。すなわち、任意のC級関数φ: RnRと任意の合同変換Tに対し、

 

が成立する[1]

しかもラプラス作用素は、上記の性質を満たす非自明な微分演算子で最も簡単なものとして特徴づけることができる。これを説明する為、記号を導入する。Rを実数の集合とし、n個の実数からなる組の集合をRnとする。x = (x1,…, xn) ∈ Rnn個の非負整数の組α = (α1,…, αn)に対し、

 
 

と表記する。微分演算子

 

が任意のC級関数φ: RnRと向きを保つ任意の合同変換Tに対し、

 

が成立していたとする。このとき、実数係数の1変数多項式 が存在し、

 

が成立する[1]

よってラプラス作用素は、合同変換に対して不変な微分演算子の中で、自明なもの(=恒等的に0を対応させる微分演算子)を除けば最も簡単なものである。

動機付け 編集

拡散 編集

拡散物理理論において、ラプラス作用素は(ラプラス方程式を通じて)平衡の数学的記述に自然に現れる[2]。具体的に、u が化学濃度のような適当な量の平衡密度であるとき、u の滑らかな境界を持つ領域 V を通る流束が、V に流入も漏出も無いとすれば、0 であるから

 

と書ける。ただし、n は領域 V の境界に対して外側を向く単位法ベクトルである。発散定理により

 

は領域 V が滑らかな境界を持つ限りにおいて成り立つから、これにより

 

が導かれる。方程式の左辺はラプラス作用素である。ラプラス作用素それ自身は拡散方程式によって記述されるような、化学濃度の流入や漏出を表す点を含む非平衡拡散に対する物理的解釈を持つ。

ポテンシャルに付随する密度 編集

φ電荷分布 q に付随した電位を記述するものとすると、電荷分布自身は φ のラプラシアンとして

 
(1)

で与えられる。これはガウスの法則の帰結である。実際、V が任意の滑らかな領域ならば、電場 E の電束に関するガウスの法則により、(単位当たりの)電荷は

 

になる。ただし、最初の等号は静電場は静電位の勾配に等しいという事実を用いた。発散定理により、

 

が成り立ち、これは任意の領域 V に対して成り立つことから (1) を得る。

同じ説明によって、重力ポテンシャルのラプラシアンが質量分布英語版となることが導かれる。電荷や質量の分布が与えられていてそれらに付随するポテンシャルは未知ということはよくあることである。適当な境界条件の下でポテンシャル函数を求めるということは、ポワソン方程式を解くことに同じである。

エネルギー最小化 編集

物理学においてラプラス作用素が現れる別な理由は、領域 U における方程式 f = 0 の解はディリクレエネルギー汎函数停留させる函数

 

となることである。これを見るために f: UR は函数で、函数 u: URU の境界上で消えていると仮定する。このとき

 

が成り立つ(ただし、最後の等号はグリーンの恒等式を用いた)。この計算により、f = 0 ならば Ef の周りで停留する。逆に Ef の周りで停留するならば変分法の基本補題英語版 により f = 0 である。

各種座標表示 編集

二次元 編集

二次元のラプラス作用素は x, yxy-平面上の標準直交座標として

 

で与えられる。

極座標
 

三次元 編集

三次元では様々な座標系がラプラシアンを記述するために広く用いられる。

直交座標系
 
円筒座標系
 
球面座標系
 
一般の曲線座標系英語版 (ξ1, ξ2, ξ3)
 
ここでアインシュタインの和の規約を用いた。

一般次元 編集

N 次元球座標系において、r を正の実数をとる半径、θ単位球面 SN−1 の元として、パラメータ表示 x = RN をすれば

 

と書ける。ただし、SN−1 は球ラプラシアンとも呼ばれる (N−1)-次元球面上のラプラス=ベルトラミ作用素である。二つの球対称微分項は

 

と書いても同じことである。一つの帰結として、SN−1RN 上で定義される函数の球ラプラシアンは RN∖{0} へ延長した函数の通常のラプラシアンとして計算することができて、それは半直線に沿って定数(つまり、斉零次の斉次函数)になる。

スペクトル論 編集

ラプラス作用素のスペクトルは、対応する固有函数 f

 

を満たすようにできる固有値 λ の全てからなる[要検証]。上の式はヘルムホルツ方程式と呼ばれるものである。 ΩRn の有界領域とすれば、ラプラス作用素の固有函数全体はヒルベルト空間 L2(Ω)正規直交基底を成す。この結果は本質的にはコンパクト自己随伴作用素に関するスペクトル定理をラプラス作用素の逆作用素(これはポワンカレ不等式およびレリッヒ=コンドラショフの定理によってコンパクト)に適用することにより従う[3]。固有函数が無限回微分可能函数であることも示せる[4]。この結果はより一般に、任意の境界付きコンパクトリーマン多様体上のラプラス=ベルトラム作用素について成り立ち、また実際に有界領域上滑らかな係数を持つ任意の楕円型作用素に対するディリクレ固有値問題についても正しい。Ω超球面であるときの、ラプラス作用素の固有函数は球面調和函数と呼ばれる。

一般化 編集

ダランベール作用素 編集

ラプラシアンを適当な仕方によって非ユークリッド空間に一般化することができて、それには楕円型双曲型超双曲型などが可能である。

ミンコフスキー空間におけるラプラス作用素はダランベール作用素(ダランベルシアン)

⧠ = 1/c22/t22/x22/y22/z2

となる。これは考える空間上の等長写像群 (en:Isometry group) のもとで不変な微分作用素であるという意味においてラプラス作用素の一般化となるものであり、時間不変函数へ制限する限りにおいてはラプラス作用素に帰着される。ここでは計量の符号を作用素の空間成分に関して負符号を許すようにしてあることに注意(高エネルギー素粒子物理学ではこう仮定するのが普通)。ダランベール作用素は波動方程式に現れる微分作用素であるという理由で波動作用素と呼ばれることもある。これはまたクライン=ゴルドン方程式(質量の無い場合には波動方程式に帰着される)の成分でもある。

計量における余分な因子 c は、物理学において空間と時間を異なる単位で測っている場合に必要となるものである(例えば同様のことは x-方向をメートルで y-方向をセンチメートルで測ったりするような場合にも出てくる)。実際、理論物理学では方程式を簡単にする目的で、自然単位系などの単位系のもと c = 1 として扱うのがふつうである。

リーマン多様体上のラプラス作用素 編集

ラプラス作用素の概念は、勾配 grad と発散 divリーマン多様体 M 上に一般化する事で定義でき、M 上定義された関数 f に対して

 

により定義される作用素をラプラス=ベルトラミ作用素英語版: Laplace–Beltrami operator)、あるいは単にラプラシアンという[5]。ここで g はリーマン計量である。なおユークリッド空間の通常のラプラシアンとは符号が反対になっている事に注意されたい(この章で後述する他のラプラシアンも同様)。

リーマン多様体上の graddiv外微分から定義する方法と共変微分から定義する方法が知られているが、関数の場合はどちらの定義であっても同値になるので、どちらを使ってもラプラス・ベルトラミ作用素の定義は同一になる。

しかしこれをさらに拡張してリーマン多様体上の微分形式に対するラプラス作用素を定義しようとすると両者の定義は一致しない。

ホッジ・ラプラシアン 編集

関数 fgraddiv を外微分から定義する方法では

 

である。ここで「」、「」はリーマン計量によって定義される接ベクトル空間から余接ベクトル空間への同型写像とその逆写像であり、δ余微分であり、ホッジ双対を使ってδα ≔ (−1)m(i+1)+1dαにより定義される。ここで i は微分形式の次数であり、mM の次元である。これを自然に拡張して微分形式 α に対し、

 

と定義し、Hホッジ・ラプラシアン: Hodge Laplacian)という[5]。なお αα0-形式、すなわち M 上の関数の場合は dδα0 になるので、ホッジ・ラプラシアンは graddiv を合成である δdα に一致する。

ボホナー・ラプラシアン 編集

一方、関数 fgraddiv を共変微分から定義する方法では

 トレース 

である。これを自然に拡張して微分形式 α に対し、

 

と定義し、Bボホナー・ラプラシアン(: Bochner Laplacian)[5]、もしくはラフ・ラプラシアン: rough Raplacian)という[6]。ここで2二階共変微分であり、e1,..., en は接ベクトル空間の局所的な正規直交基底である。

両者の関係 編集

α0-形式、すなわち M 上の関数の場合はホッジ・ラプラシアンもボホナー・ラプラシアンもラプラス・ベルトラミ作用素に一致する。しかし α が一般の微分形式の場合はそうではない。

2つのラプラシアンは以下の関係を満たす:

定理 ―  TMの局所的な正規直交基底とし、 をその双対基底とし、さらにαM上定義された微分形式とする。このとき以下が成立する[7]

 

ここでR曲率テンソルであり、 である。


上記の公式をヴァイツェンベック・ボホナーの公式[8][9]: Weitzenböck–Bochner formula[10])あるいはヴァイツェンベックの公式: Weitzenböck formula[7])という。

関連項目 編集

脚注 編集

  1. ^ a b 野村 2006, p5-6.
  2. ^ Evans 1998, §2.2.
  3. ^ Gilbarg & Trudinger 2001, Theorem 8.6.
  4. ^ Gilbarg & Trudinger 2001, Corollary 8.11.
  5. ^ a b c Jean Gallier, Jocelyn Quaintance (2020/8/18). Differential Geometry and Lie Groups A Second Course. Geometry and Computing. 13. Springer. ISBN 978-3-030-46047-1  pp.296, 375, 381-382,392, 394, 396.
  6. ^ Jeff A. Viaclovsky. “Math 865, Topics in Riemannian Geometry”. カリフォルニア大学アーバイン校. 2023年10月31日閲覧。 p.25.
  7. ^ a b #Wang-27 p.2.
  8. ^ 第 66回 幾何学シンポジウム 予稿集”. 名古屋大学. p. 175. 2023年11月1日閲覧。
  9. ^ 微分幾何学講義”. p. 6. 2023年11月1日閲覧。
  10. ^ #Gallier pp.396.

参考文献 編集

外部リンク 編集