非相対論的量子電磁力学の標準モデルの自己共役性を簡潔に示す新しい短い証明
この論文は、非相対論的な帯電粒子と量子化された電磁場の低エネルギーモード(ソフトモード)が相互作用する標準的な理論について、そのハミルトニアンが「自己共役」であることを示す簡潔な証明を提示します。自己共役とは、物理系の時間発展が一意に定まり、エネルギースペクトルなどの数学的性質が良く振る舞うことを保証する性質です。著者は既知の結果を新しく得たわけではなく、従来の長い議論を短く整理した証明を与えています。証明の要点はグラフノルム(演算子の振る舞いを測る尺度)を比べることと、Nelsonの交換子定理という既存のツールを使うことにあります。
扱うモデルは、パウリ・ファイツァー(Pauli–Fierz)ハミルトニアンと呼ばれるものです。これは電子のような非相対論的なスピン1/2粒子複数と、光子を表す場(フォック空間)を組み合わせたハミルトニアンです。場との結合には量子化されたベクトルポテンシャルA(x)が入りますが、理論を低エネルギー領域に限定するために、結合を表す関数ρ(k)による高エネルギー(紫外線)カットオフが導入されます。論文はρに対して積分条件を課し、その下でハミルトニアンが自由ハミルトニアンH0(粒子の運動エネルギーと場のエネルギーの和)と同じ定義域で自己共役であることを扱います。
具体的に著者は次の二つを示します。第一に、相互作用付きハミルトニアンHと自由ハミルトニアンH0のグラフノルムが同値であることから、HはH0の定義域上で閉じている(closed)ことを示します。第二に、磁場や外部ポテンシャルの寄与を一旦無視した補助演算子に対してNelsonの交換子定理を適用し、Hが本質的に自己共役である(essentially self-adjoint)ことを示します。両者を合わせることで、Hが自己共役で下限を持つ演算子であると結論づけます。
証明は論文中の補題を組み合わせて進みます。主要な技法には、場に関する有界性見積り(例えばAは場エネルギーの平方根に対して有界、A^2は場エネルギーに対して有界、など)と、交換子の計算による有限性の確認が含まれます。これらにより(p+A)^2や場エネルギーの二乗などを比較し、必要なノルム不等式を得ます。磁場項や多体ポテンシャルは最後にKato–Rellichの定理を使って付け加えられます。
重要な注意点として、得られる結果は新規性のある物理的発見ではなく、既に知られている自己共役性の結論をより短く直接に示すための数学的整理です。また証明はρに対する積分条件やポテンシャルに対する標準的な仮定(例えばL2+L∞に属すること)といった前提のもとに成り立ちます。著者はさらに、より特異なポテンシャルを扱う拡張を別稿で扱う予定であると述べています。これらの制約を満たす場合に限り、ハミルトニアンの数学的な定義と時間発展の一意性が保証されます。