[論文レビュー] Some calculus with extensive quantities: wave equation

Anders Kock, Gonzalo E. Reyes|ArXiv.org|Mar 24, 2003

Mathematical and Theoretical Analysis参考文献 12被引用数 4

ひとこと要約

本稿は、分布を広義的量として扱い、滑らかな圏において共変的に扱う合成微分幾何学の枠組みを構築し、波動方程式を研究する。時間発展演算子による初期分布の時間発展を用いて基本解を構成し、$ t \mapsto t \cdot S^t $ や $ t \mapsto S^t + t^2 \Delta(B^t) $ のような関数が、指定された初期状態を満たす波動方程式の解であることを証明する。これにより、古典的関数論に基づく解析に依存せずに、分布的解の基礎を確立する。

ABSTRACT

We take some first steps in providing a synthetic theory of distributions. In particular, we are interested in the use of distribution theory as foundation, not just as tool, in the study of the wave equation.

研究の動機と目的

• 分布を広義的量として扱い、滑らかな圏において共変的に取り扱う合成理論を構築すること。
• 波動方程式を分布の空間における常微分方程式として定式化し、初期状態の時間発展演算を可能にする。
• 分布的発展演算と射影を用いて、次元1, 2, 3における波動方程式の明示的基本解を構成すること。
• 零点を含む無限小量や実数直線上の順序構造を必要としない、弱い積分と三角関数関数の最小限の仮定のもとで解が存在することを示すこと。
• 解 $ t \cdot S^t $ や $ S^t + t^2 \Delta(B^t) $ が、特定の初期位置と速度を満たす波動方程式を満たすことを示し、零点を含む設定でも成立することを確認すること。

提案手法

• 滑らかな空間と関数をモデル化する、可換環対象 $ R $ を持つデカルト閉圏 $ \mathbf{E} $ で作業する。
• コンパクトな台を持つ分布を、$ R $-線形写像 $ R^M \to R $ として定義し、広義的量として共変的に扱う。
• 積分公理を用いる：任意の $ \psi: R \to R $ に対して、$ \Psi' = \psi $ かつ $ \Psi(0) = 0 $ を満たす一意な $ \Psi: R \to R $ が存在し、$ \int_a^b \psi = \Psi(b) - \Psi(a) $ と定義して区間を分布として定義する。
• $ \cos $, $ \sin $, および標準的な三角恒等式を満たし、$ \cos \pi = -1 $ を満たす $ \pi \in R $ の存在を仮定する。
• 波動方程式を $ \mathcal{D}'_c(R^n) $ 上の常微分方程式として用い、$ \underline{0} $ におけるデルタ分布の時間発展演算として基本解 $ S^t $ を構成する。
• 射影 $ p: R^3 \to R^2 $ を用いて3次元解を2次元に持ち上げ、$ \mathcal{D}'_c $ の函子的性質により解構造と初期データが保存されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 波動方程式は、分布の空間において常微分方程式としてどのように定式化できるか？
• RQ2 滑らかで共変的な分布的構造のみを用いて、波動方程式の基本解を合成的にどのように構成できるか？
• RQ3 解 $ t \cdot S^t $ や $ S^t + t^2 \Delta(B^t) $ が、特定の初期状態を満たす波動方程式をどのように満たすか？
• RQ4 分布の共変函子的性質は、3次元から2次元への解の射影においてどのような役割を果たすか？
• RQ5 零点を含む設定（例：$ t^5 = 0 $）では解はどのように振る舞い、分布的構造にどのような情報を与えるか？

主な発見

• $ t \mapsto t \cdot S^t $ は、次元3における波動方程式の解であり、初期状態 $ 4\pi(0, \delta(\underline{0})) $ を満たすことが、2階微分の計算により検証された。
• $ t \mapsto S^t + t^2 \Delta(B^t) $ は、初期状態 $ 4\pi(\delta(\underline{0}), 0) $ を満たす波動方程式の解であることが、微分と $ \Delta $ の線形性により確認された。
• $ p_* $ を用いた3次元解の2次元への射影により、次元2における基本解 $ t \mapsto p_*(t \cdot S^t) $ および $ t \mapsto p_*(S^t + t^2 \Delta(B^t)) $ が得られ、両者とも正しい初期データを持つ。
• 次元3において $ t^5 = 0 $ のとき、分布 $ S^t $ は $ 4\pi[t \cdot \delta(\underline{0}) + \frac{t^3}{3!} \cdot \Delta(\delta(\underline{0}))] $ に等しく、初期値問題 $ (0, 4\pi \delta(\underline{0})) $ を満たす。
• 次元1において、同じ零点条件の下で、$ B_t = 2[t \cdot \delta(\underline{0}) + \frac{t^3}{3!} \cdot \delta(\underline{0})^{\prime\prime}] $ となる。これは、球分布の低次の項における構造を示している。
• 次元1および3における $ S^t $ の台は半径 $ t $ の球面上にあり、射影された解 $ p_*(t \cdot S^t) $ は $ \mathbb{R}^2 $ 全体に台を持つ。これは2次元におけるホイヘンスの原理の不成立を説明している。