この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "ダランベール演算子"
ダランベール演算子 (ダランベールえんざんし、英: d'Alembert operator) とは、物理学の特殊相対性理論、電磁気学、波動論で用いられる演算子(作用素)であり、ラプラス演算子をミンコフスキー空間に適用したものである。ダランベール作用素、ダランベルシアン (d'Alembertian ) あるいは wave operator(波動演算子)と呼ばれることもあり、一般に四角い箱のような記号 □ (⧠[注釈 1]) で表される。この名称はフランスの数学者・物理学者ジャン・ル・ロン・ダランベール (Jean Le Rond d'Alembert) の名に由来する。 標準座標系 (ct, x, y, z) で表されるミンコフスキー空間において、ダランベール演算子は次の形で定義される。 ◻ := ∂ μ ∂ μ = g μ ν ∂ ν ∂ μ = ∂ 2 ∂ ( c t ) 2 − ∂ 2 ∂ x 2 − ∂ 2 ∂ y 2 − ∂ 2 ∂ z 2 = 1 c 2 ∂ 2 ∂ t 2 − ∇ 2 = 1 c 2 ∂ 2 ∂ t 2 − Δ {\displaystyle {\begin{aligned}\Box &:=\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}}}-\nabla ^{2}={\frac {1}{c^{2}}}{\frac {\partial ^{2}}{\partial t^{2}}}-\Delta \end{aligned}}} ここで g μ ν {\textstyle g_{\mu \nu }} はミンコフスキー計量 である。すなわち、 g 00 = 1 {\textstyle g_{00}=1} , g 11 = g 22 = g 33 = − 1 {\textstyle g_{11}=g_{22}=g_{33}=-1} , その他 μ ≠ ν {\textstyle \mu \neq \nu } については g μ ν = 0 {\displaystyle g_{\mu \nu }=0} の値をとる。μ と ν はアインシュタインの縮約記法にしたがう総和のための添字であり、0, 1, 2, 3 のいずれかの値をとる。また、∇2 = Δ はラプラス演算子である。 文献によっては負の計量符号数 [? + + +] すなわち η 00 = − 1 , η 11 = η 22 = η 33 = 1 {\textstyle \eta _{00}=-1,\;\eta _{11}=\eta _{22}=\eta _{33}=1} を用いている場合もある。この場合、符号を反転させて ◻ = Δ − 1 c 2 ∂ 2 ∂ t 2 {\displaystyle \Box =\Delta -{\frac {1}{c^{2}}}{\frac {\partial ^{2}}{\partial t^{2}}}} とする。また、光速度 c を 1 とするような単位系を用いる場合も多く、その場合は、 1 c 2 ∂ 2 ∂ t 2 ⟶ ∂ 2 ∂ t 2 {\displaystyle {\frac {1}{c^{2}}}{\frac {\partial ^{2}}{\partial t^{2}}}\longrightarrow {\frac {\partial ^{2}}{\partial t^{2}}}} という置き換えをする。さらに波動方程式などにおいて、光速度 c の部分を一般の波の伝播速度 s などに置き換える場合もある。 ローレンツ変換はミンコフスキー計量を不変に保つ。ゆえに、ダランベール演算子はローレンツスカラーである。したがって、先に用いた座標表現は、あらゆる慣性系における標準座標に対し有効である。 ダランベール演算子の記法は複数存在している。最も一般的なのは、記号 ◻ {\textstyle \Box } を用いた表記である。箱形の四つ角が時空の四次元を表している。 ◻ 2 {\textstyle \Box ^{2}} として、自乗項によるスカラー的特性(スカラー積)を強調することもある(ラプラス演算子を Δ でなく ∇2 で表現する場合に似ている)。この記号はナブラ記号 (∇; nabla) の四 (quadri-) 次元版として quabla と呼ばれることもある。ラプラス演算子の三角形記法にならって ΔM が用いられることもある。 平らな標準座標におけるダランベール演算子を記述するもう一つの方法として、 ∂ 2 {\textstyle \partial ^{2}} を用いたものがある。この記法は場の量子論で広く用いられている。場の量子論では、多くの場合偏微分記号に添字が付されている。二乗の偏微分記号において添字が無い場合、それはダランベール演算子の存在を伝えている。 記号 ◻ {\textstyle \Box } は、四次元におけるレヴィ=チヴィタの共変微分を表すのに用いられることもある。
定義
別の記法