ダランベール演算子

テンプレート:出典の明記 ダランベール演算子 (ダランベールえんざんし、テンプレート:Lang-en-short) とは、物理学の特殊相対性理論、電磁気学、波動論で用いられる演算子（作用素）であり、ラプラス演算子をミンコフスキー空間に適用したものである。ダランベール作用素、ダランベルシアン (d'Alembertian ) あるいは wave operator（波動演算子）と呼ばれることもあり、一般に四角い箱のような記号 テンプレート:Math で表される。この名称はフランスの数学者・物理学者ジャン・ル・ロン・ダランベール (Jean Le Rond d'Alembert) の名に由来する。

定義

標準座標系 テンプレート:Math で表されるミンコフスキー空間において、ダランベール演算子は次の形で定義される。

$\begin{array}{cc}◻& :={\partial }_{\mu }{\partial }^{\mu }=g_{\mu \nu }{\partial }^{\nu }{\partial }^{\mu }\\ & =\frac{{\partial }^2}{\partial (ct{)}^2}-\frac{{\partial }^2}{\partial x^2}-\frac{{\partial }^2}{\partial y^2}-\frac{{\partial }^2}{\partial z^2}\\ & =\frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}-{\mathrm{\nabla }}^2=\frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}-\mathrm{\Delta }\end{array}$

ここで $g_{\mu \nu }$ はミンコフスキー計量 である。すなわち、$g_{00}=1$, $g_{11}=g_{22}=g_{33}=-1$, その他 $\mu \ne \nu$ については $g_{\mu \nu }=0$ の値をとる。テンプレート:Mvar と テンプレート:Mvar はアインシュタインの縮約記法にしたがう総和のための添字であり、テンプレート:Math2 のいずれかの値をとる。また、テンプレート:Math はラプラス演算子である。

文献によっては負の計量符号数 テンプレート:Math すなわち ${\eta }_{00}=-1,{\eta }_{11}={\eta }_{22}={\eta }_{33}=1$ を用いている場合もある。この場合、符号を反転させて

$◻=\mathrm{\Delta }-\frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}$

とする。また、光速度 テンプレート:Mvar を テンプレート:Math とするような単位系を用いる場合も多く、その場合は、

$\frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}⟶\frac{{\partial }^2}{\partial t^2}$

という置き換えをする。さらに波動方程式などにおいて、光速度 テンプレート:Mvar の部分を一般の波の伝播速度 テンプレート:Mvar などに置き換える場合もある。

ローレンツ変換はミンコフスキー計量を不変に保つ。ゆえに、ダランベール演算子はローレンツスカラーである。したがって、先に用いた座標表現は、あらゆる慣性系における標準座標に対し有効である。

別の記法

ダランベール演算子の記法は複数存在している。最も一般的なのは、記号 $◻$ を用いた表記である。箱形の四つ角が時空の四次元を表している。${◻}^2$ として、自乗項によるスカラー的特性（スカラー積）を強調することもある（ラプラス演算子を テンプレート:Math でなく テンプレート:Math で表現する場合に似ている）。この記号はナブラ記号 (∇; nabla) の四 (quadri-) 次元版として quabla と呼ばれることもある。ラプラス演算子の三角形記法にならって テンプレート:Math が用いられることもある。

平らな標準座標におけるダランベール演算子を記述するもう一つの方法として、${\partial }^2$ を用いたものがある。この記法は場の量子論で広く用いられている。場の量子論では、多くの場合偏微分記号に添字が付されている。二乗の偏微分記号において添字が無い場合、それはダランベール演算子の存在を伝えている。

記号 $◻$ は、四次元におけるレヴィ=チヴィタの共変微分を表すのに用いられることもある。この場合、記号 テンプレート:Math は空間微分を表すのに用いられるが座標チャートに依存する。

応用

通常の波動方程式

小規模な振動に関する波動方程式は、ダランベール演算子を用いて、次のように表される。

${◻}_{s}u(𝐱,t):=\frac{1}{s^2}\frac{{\partial }^2}{\partial t^2}u-{\mathrm{\nabla }}^{2}u=0,$

ここで テンプレート:Math は変位であり、テンプレート:Mvar は伝播の速度を表す。

電磁場の波動方程式

真空における電磁場の伝播を記述する波動方程式は、ダランベール演算子を用いて、次のように表される。

$◻A^{\mu }(𝐱,t)=0$

ここで テンプレート:Mvar はベクトルポテンシャル である。

クライン–ゴルドン方程式

ダランベール演算子を用いて、クライン–ゴルドン方程式は次のように書き表せる。

$(◻+{\mu }^2)\psi =0.$

ここで、テンプレート:Mvar は

$\mu =\frac{mc}{\hslash }$

で定義される定数である。

グリーン関数

ダランベール演算子に関するグリーン関数 テンプレート:Math は、次の方程式を満たすものとして定義される。

$\begin{array}{cc}◻G(x-x^{\prime })& =\delta (𝐱-{𝐱}^{\prime })\delta (ct-c{t}^{\prime })\\ & =:{\delta }^{(4)}(x-x^{\prime }).\end{array}$

ここで テンプレート:Math はミンコフスキー空間でのディラックのデルタ関数であり、テンプレート:Math と テンプレート:Math はミンコフスキー空間における2つの点である。

上式を満たすグリーン関数として、遅延グリーン関数

$\begin{array}{cc}{D}_{\text{ret}}(x-x^{\prime })& =\frac{1}{4\pi |𝐱-{𝐱}^{\prime }|}\delta (ct-c{t}^{\prime }-|𝐱-𝐱|)\\ & =\frac{1}{(2\pi {)}^4}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{e^{ik(x-x^{\prime })}}{{𝐤}^2-(k_0+iϵ{)}^2}{d}^{4}k\end{array}$

並びに、先進グリーン関数

$\begin{array}{cc}{D}_{\text{adv}}(x-x^{\prime })& =\frac{1}{4\pi |𝐱-{𝐱}^{\prime }|}\delta (ct-c{t}^{\prime }+|𝐱-𝐱|)\\ & =\frac{1}{(2\pi {)}^4}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{e^{ik(x-x^{\prime })}}{{𝐤}^2-(k_0-iϵ{)}^2}{d}^{4}k\end{array}$

をとることができる。但し、

$\begin{array}{cc}k(x-x^{\prime })& :=𝐤\cdot (𝐱-{𝐱}^{\prime })-k_0(x_0-{x_0}^{\prime })\\ & =𝐤\cdot (𝐱-{𝐱}^{\prime })-c{k}_0(t-t^{\prime })\end{array}$

であるものとする。

遅延グリーン関数 テンプレート:Math は、

$t-t^{\prime }=\frac{1}{c}|𝐱-{𝐱}^{\prime }|\ge 0$

以外では 0 の値を、先進グリーン関数 テンプレート:Math は、

$t-t^{\prime }=-\frac{1}{c}|𝐱-{𝐱}^{\prime }|\le 0$

以外では 0 の値をとる性質を有する。

符号位置

記号	Unicode	JIS X 0213	文字参照	名称

関連項目

• ナブラ テンプレート:Math
  • ラプラス演算子 テンプレート:Math
• 波動方程式
• クライン–ゴルドン方程式: テンプレート:Math
• テンプレート:仮リンク

外部リンク

• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:SpringerEOM