ラプラス作用素

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

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

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

1. 定義
-----

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

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

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

2. 数学的特徴づけ
----------

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

が成立する。

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

と表記する。微分演算子

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

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

が成立する。

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

3. 動機付け
-------

3.1. 拡散
-------

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

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

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

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

3.2. ポテンシャルに付随する密度
------------------

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

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

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

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

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

3.3. エネルギー最小化
-------------

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

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

が成り立つ。この計算により、∆//f// =}} 0}} ならば E}} は f}} の周りで停留する。逆に E}} が f}} の周りで停留するならば変分法の基本補題 により ∆//f// =}} 0}} である。

4. 各種座標表示
---------

4.1. 二次元
--------

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

で与えられる。

極座標

4.2. 三次元
--------

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

直交座標系 円筒座標系 球面座標系 一般の曲線座標系 ここでアインシュタインの和の規約を用いた。

4.3. 一般次元
---------

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

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

と書いても同じことである。一つの帰結として、//S////N//−1 ⊂ R//N//}} 上で定義される函数の球ラプラシアンは へ延長した函数の通常のラプラシアンとして計算することができて、それは半直線に沿って定数になる。

5. スペクトル論
---------

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

を満たすようにできる固有値 −//λ//}} の全てからなるdate=2016年7月}}。上の式はヘルムホルツ方程式と呼ばれるものである。 Ω}} を R//n//}} の有界領域とすれば、ラプラス作用素の固有函数全体はヒルベルト空間 //L//2 の正規直交基底を成す。この結果は本質的にはコンパクト自己随伴作用素に関するスペクトル定理をラプラス作用素の逆作用素に適用することにより従う。固有函数が無限回微分可能函数であることも示せる。この結果はより一般に、任意の境界付きコンパクトリーマン多様体上のラプラス＝ベルトラム作用素について成り立ち、また実際に有界領域上滑らかな係数を持つ任意の楕円型作用素に対するディリクレ固有値問題についても正しい。Ω}} が超球面であるときの、ラプラス作用素の固有函数は球面調和函数と呼ばれる。

6. 一般化
------

6.1. ダランベール作用素
--------------

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

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

となる。これは考える空間上の等長変換群のもとで不変な微分作用素であるという意味においてラプラス作用素の一般化となるものであり、時間不変函数へ制限する限りにおいてはラプラス作用素に帰着される。ここでは計量の符号を作用素の空間成分に関して負符号を許すようにしてあることに注意。ダランベール作用素は波動方程式に現れる微分作用素であるという理由で波動作用素と呼ばれることもある。これはまたクライン＝ゴルドン方程式の成分でもある。

計量における余分な因子 c}} は、物理学において空間と時間を異なる単位で測っている場合に必要となるものである。実際、理論物理学では方程式を簡単にする目的で、自然単位系などの単位系のもと //c// =}} 1}} として扱うのがふつうである。

6.2. リーマン多様体上のラプラス作用素
---------------------

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

により定義される作用素をラプラス＝ベルトラミ作用素、あるいは単にラプラシアンという。なおユークリッド空間の通常のラプラシアンとは符号が反対になっている事に注意されたい。

ここでとは外微分から定義する方法と共変微分から定義する方法が知られているが、関数の場合はどちらの定義であっても同値になるので、ラプラス・ベルトラミ作用素の定義に問題を生じない。

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

6.2.1. ホッジ・ラプラシアン
-----------------

関数f}}のとを外微分から定義する方法では

、である。ここで「♭}}」、「＃}}」は接ベクトル空間から余接ベクトル空間への同型写像とその逆写像であり、δ}}は余微分であり、ホッジ双対を使ってにより定義される。ここでi}}微分形式の次数であり、m}}はM}}の次元である。これを自然に拡張して

と定義し、Δsupをホッジ・ラプラシアンという。

6.2.2. ボホナー・ラプラシアン
------------------

一方、関数f}}のとを共変微分から定義する方法では

、のトレース)であるので、これを自然に拡張して微分形式α}}に対し、

をボホナー・ラプラシアン、もしくはラフ・ラプラシアンという。ここでは二階共変微分である。

6.2.3. 両者の関係
------------

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

ここではリッチ曲率を使って

により定義される1-形式であり、「」は計量g}}による余接ベクトル空間から接ベクトル空間への同型写像である。

6.3. 関連項目
---------

ベクトルラプラス作用素: ベクトル場に対する一般化
離散ラプラス作用素: 本項の連続的なラプラシアンに対して、有限差分化した類似対応物。
ラプラシアン行列

7. 脚注
-----

8. 参考文献
-------

author=Evans, L.
author=Feynman, R, Leighton, R, and Sands, M.
author2-link=Neil Trudinger.
author=Schey, H. M..

9. 外部リンク
--------