[論文レビュー] Mathematical problems on generalized functions and the canonical Hamiltonian formalism

J. F. Colombeau|arXiv (Cornell University)|Aug 25, 2007

Mathematical and Theoretical Analysis参考文献 20被引用数 3

ひとこと要約

本論文は、ヒルベルト空間上の非線形一般化関数および非有界作用素を用いて、量子場理論におけるハイゼンベルク＝パウリの計算を数学的に厳密な枠組みで定式化する。従来、ヒューリスティックと見なされてきたこれらの計算を、滑らかな関数および有界作用素への操作として形式的に解釈することで、物理的直感に依存せずに、正準ハミルトニアン形式における特異性および発散の一貫性ある取り扱いを可能にする。

ABSTRACT

This text is addressed to mathematicians who are interested in generalized functions and unbounded operators on a Hilbert space. We expose in detail (in a "formal way" - as done by Heisenberg and Pauli - i.e. without mathematical definitions and then, of course, without mathematical rigour) the Heisenberg-Pauli calculations on the simplest model close to physics. The problem for mathematicians is to give a mathematical sense to these calculations, which is possible without any knowledge in physics, since they mimick exactly usual calculations on infinitely differentiable functions and on bounded operators, and can be considered at a purely mathematical level, ignoring physics in a first step. The mathematical tools to be used are nonlinear generalized functions, unbounded operators on a Hilbert space and computer calculations.

研究の動機と目的

• ハイゼンベルクおよびパウリが量子場理論で用いた非形式的でヒューリスティックな計算に、数学的に厳密な解釈を与えること。
• 発散を含む物理的計算と、非線形一般化関数を用いた形式的数学的実現との間の溝を埋めること。
• これらの計算が物理的直感に依存せず、関数解析および作用素論にのみ依拠して理解可能であることを示すこと。
• 一般化関数を用いて、正準ハミルトニアン形式における非有界作用素および特異性を一貫して取り扱うための枠組みを確立すること。
• 明確な数学的構造を備えたこの枠組みを通じて、量子場理論計算のコンピュータ支援検証を可能にすること。

提案手法

• ハイゼンベルクおよびパウリにインspiredされた「形式的」アプローチを採用し、事前の定義や完全な厳密性を欠いたまま、滑らかな関数および有界作用素との構造的類似性に注目する。
• 非線形一般化関数を用いて分布および特異的対象を表現し、古典的分布では不可能な代数的演算を可能にする。
• ヒルベルト空間上の非有界作用素の理論を応用し、量子ハミルトニアンおよびその相互作用をモデル化する。
• 一般化関数の枠組み内で正則化および再生化に類似した手続きを用いて発散を処理するためのフレームワークを導入する。
• 計算的手法を用いて形式的計算の妥当性を検証およびシミュレーションし、一貫性および再現可能性を保証する。
• 物理的計算とその一般化関数への対応付けを確立し、代数的および解析的構造を保持する。

実験結果

リサーチクエスチョン

• RQ1 ハイゼンベルクおよびパウリの量子場理論における非形式的計算は、どのように数学的に一貫した解釈を与えることができるか？
• RQ2 正準ハミルトニアン形式における特異性および発散を厳密に取り扱うために、どのような数学的道具が必要か？
• RQ3 一般化関数は、滑らかな関数における通常の微積分に類似した枠組みを提供しつつ、分布に対しても演算を可能にする枠組みを提供できるか？
• RQ4 物理的直感や再生化のヒューリスティクスに依存せずに、量子場理論における正準形式がどの程度再構築可能か？
• RQ5 コンピュータ支援手法は、このような一般化関数に基づく定式化の分析にどのように統合可能か？

主な発見

• ハイゼンベルク＝パウリの計算は、非線形一般化関数を用いることで数学的に厳密に解釈可能であり、物理的仮定を必要としない。
• この形式的枠組みでは、滑らかな関数における演算と類似した方法で特異的対象に対する代数的演算が可能であり、発散を含む式の一貫した取り扱いが可能になる。
• ヒルベルト空間上の非有界作用素は、この一般化関数の枠組み内で一貫して取り扱えるようになり、重要なスペクトルおよび定義域の性質が保持される。
• このアプローチは、従来の再生化に代わる数学的に妥当な代替手段を提供し、発散を一般化関数構造そのものに内在するものとみなす。
• この枠組み内では、信頼性の高いコンピュータ計算が可能となり、量子場理論計算の自動検証への道筋が開かれる。
• 本手法は、物理的計算とその一般化関数表現との間で直接的な対応関係を確立し、それらの数学的正当性を検証する。