数学におけるラプラス作用素(ラプラスさようそ、英: Laplace operator)あるいはラプラシアン(英: Laplacian)は、ユークリッド空間上の函数の勾配の発散として与えられる微分作用素である。記号では ∇・∇, ∇2, あるいは ? で表されるのが普通である。函数 f の点 p におけるラプラシアン ?f(p) は(次元に依存する定数の違いを除いて)点 p を中心とする球面を半径が増大するように動かすときの f(p) から得られる平均値になっている。直交座標系においては、ラプラシアンは各独立変数に関する函数の二階(非混合)偏導函数の和として与えられ、またほかに円筒座標系や球座標系などの座標系においても有用な表示を持つ。
ラプラス作用素の名称は、天体力学の研究に同作用素を最初に用いたフランス人数学者のピエール=シモン・ド・ラプラス (1749?1827) に因んでいる。同作用素は与えられた重力ポテンシャルに適用すると質量密度の定数倍を与える。現在ではラプラス方程式と呼ばれる方程式 ?f = 0 の解は調和函数と呼ばれ、自由空間において可能な重力場を表現するものである。
微分方程式においてラプラス作用素は電気ポテンシャル、重力ポテンシャル、熱や流体の拡散方程式、波の伝搬、量子力学といった、多くの物理現象を記述するのに現れる。ラプラシアンは、函数の勾配フローの流束密度を表す。 ラプラス作用素はn 次元ユークリッド空間上の函数 f の勾配 ∇f の発散 ∇・ として定義される二階の微分作用素である。つまり、f が二回微分可能実数値函数ならば f のラプラシアンは Δ f ≡ ∇ 2 f := ∇ ⋅ ∇ f {\displaystyle \Delta f\equiv \nabla ^{2}f:=\nabla \cdot \nabla f} で定義される。ただし、あとの記法は形式的に ∇ = (.mw-parser-output .frac{white-space:nowrap}.mw-parser-output .frac .num,.mw-parser-output .frac .den{font-size:80%;line-height:0;vertical-align:super}.mw-parser-output .frac .den{vertical-align:sub}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}∂⁄∂x1,..., ∂⁄∂xn)と書いたものである。あるいは同じことだが、f のラプラシアンは直交座標系 xi における非混合二階偏導函数の全てにわたる和 Δ f = ∑ i = 1 n ∂ 2 f ∂ x i 2 {\displaystyle \Delta f=\sum _{i=1}^{n}{\frac {\partial ^{2}f}{\partial x_{i}^{2}}}} としても書ける。二階の微分作用素として、ラプラス作用素はCk 級函数を Ck ? 2 級の函数へ写す (k ? 2)。つまり、式 1 (あるいは同値な 2) は作用素 ?: Ck(Rn) → Ck ? 2(Rn) を定める。あるいはより一般に任意の開集合 Ω に対して作用素 ?: Ck(Ω) → Ck ? 2(Ω) を定める。 ラプラス作用素は、合同変換と可換である。すなわち、任意のC∞級関数φ: Rn → Rと任意の合同変換Tに対し、 Δ ( φ ( T ( x ) ) ) = T ( Δ ( φ ( x ) ) ) {\displaystyle \Delta (\varphi (T(x)))=T(\Delta (\varphi (x)))} が成立する[1]。 しかもラプラス作用素は、上記の性質を満たす非自明な微分演算子で最も簡単なものとして特徴づけることができる。これを説明する為、記号を導入する。Rを実数の集合とし、n個の実数からなる組の集合をRnとする。x = (x1,…, xn) ∈ Rnとn個の非負整数の組α = (α1,…, αn)に対し、 ∂ ∂ x α := ∂ n ∂ x 1 α 1 ⋯ ∂ x n α n , {\displaystyle {\frac {\partial }{\partial x^{\alpha }}}:={\frac {\partial ^{n}}{\partial {x_{1}}^{\alpha _{1}}\dotsm \partial {x_{n}}^{\alpha _{n}}}},} 。 α 。 := α 1 + ⋯ + α n {\displaystyle |\alpha |:=\alpha _{1}+\dotsb +\alpha _{n}} と表記する。微分演算子 D := ∑ α : 。 α 。 ≤ k a α ∂ ∂ x α {\displaystyle D:=\sum _{\alpha \colon |\alpha |\leq k}a_{\alpha }{\frac {\partial }{\partial x^{\alpha }}}} が任意のC∞級関数φ: Rn → Rと向きを保つ任意の合同変換Tに対し、 D ( φ ( T ( x ) ) ) = T ( D ( φ ( x ) ) ) {\displaystyle D(\varphi (T(x)))=T(D(\varphi (x)))} が成立していたとする。
定義
数学的特徴づけ