[論文レビュー] Applications of the Thick Distributional Calculus

Yunyun Yang, Ricardo Estrada|arXiv (Cornell University)|Feb 8, 2014

Advanced Harmonic Analysis Research参考文献 15被引用数 5

ひとこと要約

本稿は、デルタ関数や距離の逆数の冪を含む特異分布における高次導関数の計算における不一致を解消するため、分厚い分布的微積分（thick distributional calculus）を導入する。特異点における漸近展開を許容するように分布を拡張することで、積の法則の正しく適用可能となり、標準的分布論で一般的に生じる誤りを回避する。特にn次元空間における同次分布および点源場の導関数計算において有効である。

ABSTRACT

We give several applications of the thick distributional calculus. We consider homogeneous distributions, point source fields, and higher order derivatives of order $0.$

研究の動機と目的

• 特異関数 $ r^{-k} $ や $ n_{j_1} \cdots n_{j_k}/r^2 $ の分布的導関数の計算における不一致を解消すること、特に標準的分布論が失敗する場合を含む。
• 標準的分布論 $ \mathcal{D}' $ において積の法則を直接適用すると誤った結果が得られるというパラドックスを解消すること。一方、分厚い分布的枠組みでは正しい公式が得られることを示す。
• 標準的分布への射影が $ \mathcal{D}_{\ast}^{[0]} $ に制限された場合に積の法則の性質を保存しない理由を明確にすること。
• 分厚い微積分における0次導関数が反復導関数と等しくないことを示し、文献における一般的な見過ごしを是正すること。
• 同次分布および点源場の導関数を、標準的拡張と漸近展開を用いて一貫した枠組みで計算するためのフレームワークを提供すること。

提案手法

• 特異点 $ \mathbf{a} $ を持つテスト関数の空間 $ \mathcal{D}_{\ast,\mathbf{a}}(\mathbb{R}^n) $ を導入し、$ r = |\mathbf{x} - \mathbf{a}| $ のべきにおける強い漸近展開を許容する。
• テスト関数の漸近展開に基づき、分厚い分布的微分 $ \partial^* / \partial x_i $ を定義し、微分および積の法則との整合性を保証する。
• 標準的分布を分厚い微積分枠組みに持ち上げるために、標準的拡張 $ \mathcal{P}f(f) \in \mathcal{D}_{\ast}^{\prime}(\mathbb{R}^n) $ を用いる。
• 分厚い分布を標準的分布に戻すための射影作用素 $ \Pi_{\mathcal{D}_{\ast}^{[0]}} $ を適用し、特に0次に制限した場合の不一致を明らかにする。
• 分厚い分布的空間 $ \mathcal{D}_{\ast}^{\prime} $ における積の法則を用い、それが分厚い微積分では成立するが、標準的分布論 $ \mathcal{D}' $ でそのまま適用すると失敗することを示し、過去の誤りを説明する。
• 発散積分を扱うために、有限部 $ \mathrm{p.v.} $ と主値拡張を用い、特に $ \mathbb{R}^3 $ における $ r^{-1} $ 及びその導関数において有効である。

実験結果

リサーチクエスチョン

• RQ1 なぜ標準的分布論における積の法則の直接適用が、$ g_{j_1,\ldots,j_k}(\mathbf{x}) = n_{j_1} \cdots n_{j_k}/r^2 $ の導関数計算で誤った結果をもたらすのか？
• RQ2 同次分布の導関数計算において、標準的分布論で積の法則が失敗するのを分厚い分布的微積分がどのように是正するのか？
• RQ3 特にデルタ関数や同次分布の文脈において、分厚い分布的微分 $ \partial^* / \partial x_i $ と標準的分布的微分 $ \overline{\partial}/\partial x_i $ の関係は何か？
• RQ4 一般には、反復導関数 $ \partial_0^* / \partial x_i \circ \partial_0^* / \partial x_j $ と2階分厚い微分 $ \partial^{*2} / \partial x_i \partial x_j $ が一致しないのはなぜか？
• RQ5 分厚い微積分は、特にデルタ関数係数において、$ \partial^2 / \partial x_i \partial x_j (1/r) $ の計算における不一致をどのように解消するのか？

主な発見

• 積の法則は分厚い分布的微積分で成立し、$ \overline{\partial}/\partial x_i g_{j_1,\ldots,j_k} $ に対して正しい結果が得られる。一方、$ \mathcal{D}' $ で素朴に適用すると誤った結果が得られる。
• 式 (1.2) の係数 $ A $ は分厚い微積分により正しく回復され、ある指数が奇数の場合は $ A = 0 $、すべての指数が偶数の場合は $ A = \frac{2\Gamma((a+1)/2)\Gamma((b+1)/2)\Gamma((c+1)/2)}{\Gamma((a+b+c+3)/2)} $ となる。
• $ \mathbb{R}^2 $ において、定数関数1の2階分厚い微分は $ \partial^{*2}/\partial x_i \partial x_j (\mathcal{P}f(1)) = 2\pi(\delta_{ij} - 2n_i n_j)\delta_\ast $ であり、これは $ \mathcal{D}_{\ast}^{[0]} $ における射影によって得られる0とは矛盾する非ゼロ値である。
• $ \partial^{*2}/\partial x_i \partial x_j (\mathcal{P}f(r^{-1})) $ の $ \mathcal{D}' $ への射影は、フラームの公式を導く：$ \overline{\partial}^2 / \partial x_i \partial x_j (1/r) = \mathrm{p.v.}((3x_i x_j - r^2 \delta_{ij})/r^5) - (4\pi/3)\delta_{ij}\delta(\mathbf{x}) $。
• 反復導関数 $ \partial_0^{*2} / \partial x_i \partial x_j $ と2階分厚い微分 $ \partial^{*2} / \partial x_i \partial x_j $ は一致しない。これは、それぞれの $ \delta_\ast $-係数が $ 4\pi(\delta_{ij} - 4n_i n_j) $ と $ -4\pi n_i n_j $ として異なることから明らかである。
• 有限部 $ \mathcal{P}f(f) $ は分厚い微積分において不可欠であり、$ \left(\mathcal{D}_{\ast}^{[0]}\right)' $ では主値が存在しないため、一貫性を保つには完全な $ \mathcal{D}_{\ast}^{\prime} $ フレームワークが必要である。