横波デルタ関数

定義 3.3（「電磁場の量子化とゲージ固定」§3）

$i,j\in\{1,2,3\}$ について

\delta^{\mathrm{tr}}_{ij}(\boldsymbol x)=\int\frac{d^3k}{(2\pi)^3}\,e^{i\boldsymbol k\cdot\boldsymbol x}\left(\delta_{ij}-\frac{k_ik_j}{|\boldsymbol k|^2}\right)

を横波デルタ関数と呼びます（超関数として定義します）。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。