[論文レビュー] Calculus of extensive quantities

Anders Kock|arXiv (Cornell University)|May 17, 2011

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

ひとこと要約

本稿は、デカルト閉圏上の可換モノイドから生じる共変的ファンクター構造としての広義の量（extensive quantities）の微分積分学を構築し、それらの広義の量と強度的量（intensive quantities）の双対性を示し、分布的微分の合成的枠組みを確立する。主な貢献は、積分-by-部分積分の公式の圏論的導出であり、広義の量の微分がテスト関数の微分との負のペアリングに一致することを示し、古典的なシュワーツ分布論を一般化する。

ABSTRACT

We show how a commutative monad gives rise to a theory of extensive quantities, including (under suitable further conditions) a differential calculus of such. The relationship to Schwartz distributions is dicussed. The paper is a companion to the author's "Monads and extensive quantities", but is phrased in more elementary terms.

研究の動機と目的

• デカルト閉圏上の可換モノイドから生じる共変ファンクターとしての広義の量を形式化すること。
• 実数直線上での広義の量の微分積分学を確立し、シュワーツ分布論の理論を一般化すること。
• 圏論的および関数解析的構造を通じて、広義の量と強度的量の双対性を明確にすること。
• 古典的テスト関数空間に依存しない、合成的で公理的な分布的微分の枠組みを提供すること。

提案手法

• 広義の量を、圏 E 上のファンクター T による T(X) の要素としてモデル化する。ここで T は可換モノイドである。
• ペアリング ⟨P, φ⟩ := β(φ_*(P)) を用いて、P ∈ T(X) を T代数値関数 φ に対する一般化された積分として解釈する。
• 微分を双対関係 P′ = −⟨P, η′_R⟩ により定義する。ここで η_R はモノイドの単位である。
• 双線形ペアリング ⊢（評価の双対）にライブニッツ則を適用し、微分の積の法則を導出する。
• 無限小量 d ∈ D（d² = 0）を用いた合成微分幾何学の技法を適用し、デルタ関数の微分を計算する。
• 積分-by-部分積分の公式 ⟨P′, φ⟩ = −⟨P, φ′⟩ をコア恒等式として導出し、分布的微分を一般化する。

実験結果

リサーチクエスチョン

• RQ1 デカルト閉圏上の可換モノイドが、微分積分学を備えた広義の量の理論をどのように生じさせるか。
• RQ2 広義の量に対する積分-by-部分積分の法則の圏論的および合成的表現は何か。
• RQ3 この枠組みにおいて、分布の微分（例：δ_x）と単位写像 η_R の微分との関係は何か。
• RQ4 古典的テスト関数を仮定せずに、広義の量の微分の積の法則を合成的に導出できるか。
• RQ5 関数 φ: R → T(X) の微分と、広義の量 P ∈ T(R) の微分との正確な関係は何か。

主な発見

• 任意の φ ∈ R ⊸ T(X) に対して、広義の量 P ∈ T(R) の微分は双対関係 ⟨P′, φ⟩ = −⟨P, φ′⟩ を満たし、分布論的積分-by-部分積分の公式を一般化する。
• 単位写像 η_R: R → T(R) の微分は η′_R(x) = −(δ_x)′ で与えられ、関数レベルと分布レベルの微分を結びつける。
• ペアリング ⊢ に対して積の法則 (P ⊢ φ)′ = P′ ⊢ φ + P ⊢ φ′ が成り立ち、ライブニッツ則と双対性を用いて導出される。
• 豊かなテスト関数空間の存在を仮定せず、分布的微分の合成的導出が可能である。
• この枠組みは、可換モノイドの構造と T代数への作用のみを用いて、古典的分布論と圏論的普遍代数学を統合する。
• D が d² = 0 を満たす無限小量からなるという仮定のもとで、この構成は有効であり、合成的微分計算を可能にする。