[論文レビュー] Regularization of the second-order partial derivatives of the Coulomb potential of a point charge

V. Hnizdo|ArXiv.org|Sep 15, 2004

Quantum and Classical Electrodynamics参考文献 11被引用数 4

ひとこと要約

この論文は、点電荷のクーロンポテンシャルの2階偏導関数の正則化が、ローレンツ収縮した回転楕円体電荷分布を介して行われる物理的正則化が、電磁気学で広く用いられる標準的なデルタ関数恒等式と物理的に同等であることを示している。相対論的収縮を伴う有限サイズの電荷に基づく物理的正則化は、形式的なデルタ関数恒等式と同一の分布的結果をもたらし、古典電磁気学における広く用いられる数学的道具の物理的根拠を提供する。

ABSTRACT

The second-order partial derivatives of the Coulomb potential of a point charge can be regularized using the Coulomb potential of a charge of the oblate spheroidal shape that a moving rest-frame-spherical charge acquires by the Lorentz contraction. This `physical' regularization is shown to be fully equivalent to the standard delta-function identity involving these derivatives.

研究の動機と目的

• 第二階導関数のクーロンポテンシャルを正則化するために用いられる形式的デルタ関数恒等式に物理的根拠を与えること。
• ローレンツ収縮した回転楕円体電荷モデルによる正則化が、標準的なデルタ関数恒等式と同じ結果をもたらすことを示すこと。
• 古典電磁気学における形式的数学的正則化と物理的直感との間の溝を埋めること。
• 運動する点電荷を含む問題においてデルタ関数恒等式が正当化されることを、相対論的に導かれる正則化スキームと同等であることを示すこと。

提案手法

• 静止系における球対称電荷が運動方向にローレンツ収縮することで得られる、一様に帯電した回転楕円体のクーロンポテンシャルを用いる。
• サイズパラメータ $ a \to 0 $ の極限をとるが、ローレンツ変換下でも楕円体形状を維持する。
• 得られた2階導関数の分布的極限を、標準的なデルタ関数恒等式と比較する。
• テスト関数との積分の収束を扱うために弱極限（$ \text{w}\!\lim $）を用いる。
• 一般化関数理論と分布的微分を用いて、同等性を厳密に正当化する。
• 同等性の基準点として、恒等式 $ \partial^2 / \partial x_i \partial x_j \, (1/r) = (3x_i x_j - r^2 \delta_{ij})/r^5 - \frac{4\pi}{3} \delta_{ij} \delta(\mathbf{r}) $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 有限サイズの電荷のローレンツ収縮に基づく物理的正則化が、クーロンポテンシャルの2階導関数に対して標準的なデルタ関数恒等式と同じ結果をもたらすか？
• RQ2 $ r=0 $ における $ \partial^2 (1/r) / \partial x_i \partial x_j $ の特異性が、相対論的に収縮した電荷分布を用いて一貫して正則化可能か？
• RQ3 運動する有限サイズの回転楕円体電荷からのポテンシャルの2階導関数の分布的極限が、形式的なデルタ関数恒等式と同等か？
• RQ4 デルタ関数恒等式における $ \delta_{ij} \delta(\mathbf{r}) $ 項の物理的意味は何か？また、物理的モデルから導出可能か？

主な発見

• ローレンツ収縮した回転楕円体電荷分布による物理的正則化は、標準的なデルタ関数恒等式と同じ分布的極限をもたらす。
• 極限 $ a \to 0 $ が静止系でデルタ関数をもたらす限り、電荷分布の具体的な形状に依存せずに同等性が成立する。
• 任意のテスト関数との積分に対する正則化された2階導関数の積分は、デルタ関数恒等式が予測する値に収束する。
• 形式的なデルタ関数恒等式は単なる数学的テクニックではなく、相対論的電荷収縮に基づく物理的根拠を持つことが確認された。
• 有限サイズの電荷分布からのポテンシャルの2階導関数の弱極限は、$ -\frac{4\pi}{3} \delta_{ij} \delta(\mathbf{r}) + \text{w}\!\lim_{\varepsilon \to 0^+} \frac{3x_i x_j - r^2 \delta_{ij}}{r^5} \Theta(r - \varepsilon) $ に収束する。
• 分布論と一般化関数の空間の完備性を用いて、同等性は厳密に証明された。