質量殻 (mass shell)という用語は、質量双曲面 (mass hyperboloid)という用語から来ていて、これは、次の等式を記述するエネルギー -運動量 空間の双曲面 (hyperboloid)を意味する。この恒等式は質量殻条件と呼ばれる。
E 2 − | p → | 2 c 2 = m 2 c 4 . {\displaystyle E^{2}-|{\vec {p}}\,|^{2}c^{2}=m^{2}c^{4}\ .} この式は質量 m の粒子の特殊相対論 で許されるエネルギー E で運動量 p の組み合わせを記述する。ここに c {\displaystyle c} は光速度 である。質量殻の条件も、アインシュタインの縮約記法 で四元運動量 の項でしばしば記述される。ここに自然単位系として c = 1 とすると、 p μ p μ = m 2 {\displaystyle p^{\mu }p_{\mu }=m^{2}} あるいは、より簡単に p 2 = m 2 {\displaystyle p^{2}=m^{2}} としても表される。
散乱振幅を記述するファインマンダイアグラム の中の外線はオンシェル(on shell)、内線プロパゲーター に対応する仮想粒子 は、オフシェル(off shell)で記述される。ファインマン・ダイアグラムから得られる結果は、すべてon-shell粒子のみによって記述される。なおこの過程の振幅は、オフシェルからの離れ具合に依存して減少する。またこのプロパゲーターは質量殻上に特異点 を持っている[2] ため、プロパゲータの議論をする際は、便宜上この特異点を避けるような複素平面上の経路を取るように修正される。この修正を施しても、物理的な意味合いは変わらない。
古典論では粒子のエネルギーが負であることは許されないのであるが、プロパゲーターのことを言うときは、方程式を満たす E の負のエネルギーの値は、オンシェルにあるとして考える。このことの理由は、一方向へ粒子がエネルギーを運んでいる場合の一つの表現となっていることと、反粒子 が反対の方向へエネルギーを運んでいることとして考え、従って、正と負のオンシェル E 単純に位置エネルギー反対の流れを表していると考える。
D -次元ミンコフスキー空間 の中のスカラー場 が一つの例である。ラグランジアン密度 が L ( ϕ , ∂ μ ϕ ) {\displaystyle {\mathcal {L}}(\phi ,\partial _{\mu }\phi )} により与えられたとすると、(作用 )は、
S = ∫ d D x L ( ϕ , ∂ μ ϕ ) {\displaystyle S=\int d^{D}x{\mathcal {L}}(\phi ,\partial _{\mu }\phi )} である。この作用のオイラー=ラングランジュ方程式は、場を変動させ変分を 0 とする ことにより見つけることができ、
∂ μ ∂ L ∂ ( ∂ μ ϕ ) = ∂ L ∂ ϕ {\displaystyle \partial _{\mu }{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi )}}={\frac {\partial {\mathcal {L}}}{\partial \phi }}} である。ここで、無限小の時空平行移動 x μ → x μ + α μ {\displaystyle x^{\mu }\rightarrow x^{\mu }+\alpha ^{\mu }} を考える。ラグランジアン密度 L {\displaystyle {\mathcal {L}}} はスカラーであり、従って、 δ L = α μ ∂ μ L {\displaystyle \delta {\mathcal {L}}=\alpha ^{\mu }\partial _{\mu }{\mathcal {L}}} として変換する。ラグランジアン密度をテイラー展開 すると、 δ L {\displaystyle \delta {\mathcal {L}}} に対し同値な表現を得る。
δ L = ∂ L ∂ ϕ δ ϕ + ∂ L ∂ ( ∂ μ ϕ ) δ ( ∂ μ ϕ ) . {\displaystyle \delta {\mathcal {L}}={\frac {\partial {\mathcal {L}}}{\partial \phi }}\delta \phi +{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi )}}\delta (\partial _{\mu }\phi )\ .} (変分は時空の各々の・で独立であるので)、 δ L {\displaystyle \delta {\mathcal {L}}} へ代入し、 δ ( ∂ μ ϕ ) = ∂ μ ( δ ϕ ) {\displaystyle \delta (\partial _{\mu }\phi )=\partial _{\mu }(\delta \phi )} に注意すると、
α μ ∂ μ L = ∂ L ∂ ϕ δ ϕ + ∂ L ∂ ( ∂ μ ϕ ) δ ( ∂ μ ϕ ) {\displaystyle \alpha ^{\mu }\partial _{\mu }{\mathcal {L}}={\frac {\partial {\mathcal {L}}}{\partial \phi }}\delta \phi +{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\mu }\phi )}}\delta (\partial _{\mu }\phi )} を得る。しかし場自身はスカラーであるので、これらの変換はちょうど L {\displaystyle {\mathcal {L}}} のようになり、
α μ ∂ μ L = ∂ L ∂ ϕ α μ ∂ μ ϕ + ∂ L ∂ ( ∂ ν ϕ ) α μ ∂ μ ∂ ν ϕ {\displaystyle \alpha ^{\mu }\partial _{\mu }{\mathcal {L}}={\frac {\partial {\mathcal {L}}}{\partial \phi }}\alpha ^{\mu }\partial _{\mu }\phi +{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\nu }\phi )}}\alpha ^{\mu }\partial _{\mu }\partial _{\nu }\phi } となる。この式は独立した変換 α μ = ( ϵ , 0 , . . . , 0 ) , ( 0 , ϵ , . . . , 0 ) , . . . {\displaystyle \alpha ^{\mu }=(\epsilon ,0,...,0),(0,\epsilon ,...,0),...} に対しても成立せねばならないので、 α μ {\displaystyle \alpha ^{\mu }} により次のように書き換えることができる。
∂ μ L = ∂ L ∂ ϕ ∂ μ ϕ + ∂ L ∂ ( ∂ ν ϕ ) ∂ μ ∂ ν ϕ . {\displaystyle \partial _{\mu }{\mathcal {L}}={\frac {\partial {\mathcal {L}}}{\partial \phi }}\partial _{\mu }\phi +{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\nu }\phi )}}\partial _{\mu }\partial _{\nu }\phi \ .} この式は運動方程式(この場合は、オイラー=ラグランジェ方程式)であるか否かにかかわらず、任意の場に対して成り立つので、オフシェル でも成り立つ方程式の例である。しかし、単にオイラー=ラグランジェ方程式へ代入することによりオンシェル の方程式を導出することができる。
∂ μ L = ∂ ν ∂ L ∂ ( ∂ ν ϕ ) ∂ μ ϕ + ∂ L ∂ ( ∂ ν ϕ ) ∂ μ ∂ ν ϕ . {\displaystyle \partial _{\mu }{\mathcal {L}}=\partial _{\nu }{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\nu }\phi )}}\partial _{\mu }\phi +{\frac {\partial {\mathcal {L}}}{\partial (\partial _{\nu }\phi )}}\partial _{\mu }\partial _{\nu }\phi \ .} これを
∂ ν ( ∂ L ∂ ( ∂ ν ϕ ) ∂ μ ϕ − δ μ ν L ) = 0 {\displaystyle \partial _{\nu }\left({\frac {\partial {\mathcal {L}}}{\partial (\partial _{\nu }\phi )}}\partial _{\mu }\phi -\delta _{\mu }^{\nu }{\mathcal {L}}\right)=0} と書くことができ、大括弧の中の量を T ν μ {\displaystyle T^{\nu }{}_{\mu }} と書くと、
∂ ν T ν μ = 0 {\displaystyle \partial _{\nu }T^{\nu }{}_{\mu }=0} を得る。これはネーターの定理 の一つの例であり、保存量 がエネルギー運動量テンソル である。すなわちon shellであるような粒子(もしくは場)を考えれば、つまり運動方程式を満たす場のエネルギー運動量テンソルは、唯一の保存量である。