[論文レビュー] Schwartz Linear operators in distribution spaces

David Carfì|arXiv (Cornell University)|Apr 18, 2011

Advanced Topics in Algebra参考文献 6被引用数 3

ひとこと要約

本稿では、連続的インデックス集合を伴う無限次元分布空間へと有限次元線形作用素を一般化する、緩やかな分布空間上のS線形作用素（シュワルツ線形作用素）を導入する。これらの作用素が、シュワルツ試験関数空間間の連続線形写像の転置であることを証明し、量子力学的観測量の厳密な数学的枠組みを提供するとともに、分布論における線形代数の主要な性質を統合する。

ABSTRACT

In this paper we define the Schwartz linear operators among spaces of tempered distributions. These operators are the analogous of linear continuous operators among separable Hilbert spaces, but in the case of spaces endowed with Schwartz bases having a continuous index set. The Schwartz linear operators enjoy properties very similar to those enjoyed by linear operators in the finite dimensional case. The Schwartz operators are one possible rigorous mathematical model for the operators and observables used in Quantum Mechanics.

研究の動機と目的

• 有限次元線形作用素を無限次元分布空間へ一般化する、厳密なクラスの線形作用素—S線形作用素—を、緩やかな分布空間上に定義すること。
• 連続的インデックス集合を伴う無限次元分布空間における作用素の枠組みを確立し、ヒルベルト空間作用素に類似した性質を有すること。
• 分布的作用素を用いて、量子力学的観測量の数学的モデルを提供すること。
• 双対性と転置を用いてS線形作用素を特徴づけ、弱連続および連続線形写像と結びつけること。

提案手法

• R^kに添え字付けられた、試験関数への評価がシュワルツ関数を与えるような、緩やかな分布のS族を定義する。
• 評価写像の転置を用いて、緩やかな分布係数で重み付けられた分布値関数の積分を定義する。
• S族からS族への写像としてS作用素を定義し、分布積分と整合性を保つようにする。
• シュワルツ試験関数空間間の連続線形作用素の転置を用いて、分布空間上でのS線形作用素を生成する。
• S線形性が、試験関数空間間の連続線形作用素の転置であることと同値であることを確立する。
• 微分作用素にこの枠組みを適用し、ディラック族の微分との畳み込みによる統合により、分布的微分が自然にS線形作用素として現れることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限次元空間から連続的インデックス集合を伴う無限次元分布空間へと線形作用素を一般化する適切な方法は何か？
• RQ2 緩やかな分布上の線形作用素をどのように定義すれば、分布積分および線形結合の構造を保てるか？
• RQ3 S族への作用として、有限次元線形作用素に類似した性質を示す緩やかな分布上の線形作用素の正確な特徴づけは何か？
• RQ4 この枠組みを用いて、量子力学的観測量を分布空間上の作用素として厳密にモデル化できるか？
• RQ5 S線形作用素と、試験関数空間間の弱連続または連続線形写像との関係は何か？

主な発見

• S線形作用素は、シュワルツ試験関数空間間の連続線形作用素の転置に正確に一致し、完全な特徴づけが得られる。
• 任意の緩やかな分布空間間の弱連続線形作用素は、S線形作用素である。
• シュワルツ試験関数空間間の連続線形作用素の転置は、双対な分布空間上でのS線形作用素を誘導する。
• 分布的微分が、恒等式 $ u' = \int_{\mathbb{R}} u \delta' $ を用いてS線形作用素として示されることを示した。ここで $ \delta' $ はディラック族の微分である。
• S線形作用素は、分布積分の作用を保つ：任意の緩やかな分布係数 $ \lambda $ およびS族 $ v $ に対して、$ L\left(\int_{\mathbb{R}^k} \lambda v\right) = \int_{\mathbb{R}^k} \lambda L(v) $ が成り立つ。
• この枠組みは、線形代数と関数解析学の主要概念を統合し、S線形性が弱連続性、強連続性、位相的転置可能性と同値であることを示している。