[論文レビュー] A few calculus rules for chain differentials

Daniel E. Clark, Jérémie Houssineau+1 more|arXiv (Cornell University)|Jun 29, 2015

Advanced Combinatorial Mathematics参考文献 5被引用数 7

ひとこと要約

この論文は、局所凸位相線形空間における鎖微分の厳密な微分法則枠組みを確立し、物理学および工学分野の汎関数に対して実用的な微分規則を提供する。古典的導関数を一般化しつつ、逐次極限において一貫性を保つ鎖則と高階微分法則を導入し、特性関数型および指数関数型の複雑な汎関数の堅牢な微分を可能にする。

ABSTRACT

This paper summarizes the core definitions and results regarding the chain differential for functions in locally convex topological vector spaces. In addition, it provides a few elementary calculus rules of practical interest, notably for the differentiation of characteristic functionals in various domains of physical science and engineering.

研究の動機と目的

• 局所凸位相線形空間において一貫性のある鎖則を支持する鎖微分の微分法則を形式化すること。
• テスト関数や分布などの無限次元空間における汎関数への古典的微分法則の拡張。
• 物理科学および工学分野で生じる特性関数型、累乗関数型、指数関数型の汎関数に対する実用的な微分規則の提供。
• 多変数および合成関数における高階鎖微分法則の確立。
• ゲートー微分可能性とフレシェ微分可能性の間のギャップを、鎖則と整合的でありながらより緩い制約を課す導関数を導入することで埋める。

提案手法

• 鎖微分は逐次極限により定義される：δf(x;η) = limₘ→∞ (1/θₘ)[f(x + θₘηₘ) − f(x)]、ここでθₘ → 0 かつ ηₘ → η。
• 連続性および存在条件を満たす場合、多変数関数の全鎖微分は部分鎖微分の和として構成される。
• 一般化された鎖則が導出される：δ(f∘g)(x;η) = δf(g(x); δg(x;η))、fおよびgが鎖微分を持つ場合に有効。
• 高階鎖微分は再帰的に定義される：δⁿf(x; (ηᵢ)ᵢ₌₁ⁿ) = δ(δⁿ⁻¹f(x; (ηᵢ)ᵢ₌₁ⁿ⁻¹); ηₙ)。
• 積則は帰納法により確立される：δⁿ(f·g)(x; (ηᵢ)ᵢ₌₁ⁿ) = Σ_{π⊆{1,…,n}} δ|π|f(x; (ηᵢ)ᵢ∈π) · δⁿ⁻|π|g(x; (ηᵢ)ᵢ∈{1,…,n}∖π)。
• 線形関数、累乗関数、指数関数に対して具体的な導出が行われ、δ(ℓ∘g)(x;η) = ℓ(δg(x;η))、δ(yᵏ∘g)(x;η) = k·g(x)ᵏ⁻¹·δg(x;η)、δ(exp∘g)(x;η) = exp(g(x))·δg(x;η) が得られる。

実験結果

リサーチクエスチョン

• RQ1 フレシェ微分より制約が緩く、鎖則と整合する微分法則をどのように構築できるか？
• RQ2 多変数汎関数における部分鎖微分および全鎖微分の存在および連続性を保証する条件は何か？
• RQ3 標準的な微分法則（鎖則、積則、初等関数の導関数）が鎖微分枠組みにおいてどのように一般化されるか？
• RQ4 鎖微分枠組みは、物理的および工学的システムにおける特性関数型および非線形汎関数に適用可能か？
• RQ5 無限次元空間における合成関数および積関数の高階鎖微分の構造はいかなるものか？

主な発見

• 鎖微分は明確に定義された鎖則を支持する：δ(f∘g)(x;η) = δf(g(x); δg(x;η))、これは積の導関数を必要とせず、古典的鎖則を一般化する。
• 多変数関数の全鎖微分は、やや緩い連続性および存在条件のもとで、その部分鎖微分の和に等しい：δf(x;η) = Σᵢ δᵢf(x;ηᵢ)。
• 線形汎関数ℓに対して、鎖微分はδ(ℓ∘g)(x;η) = ℓ(δg(x;η))を満たし、微分下でも線形性が保たれる。
• 累乗関数yᵏに対して、鎖微分はδ(yᵏ∘g)(x;η) = k·g(x)ᵏ⁻¹·δg(x;η)を導き、形式的に古典的導関数と一致する。
• 指数関数に対してはδ(exp∘g)(x;η) = exp(g(x))·δg(x;η)が得られ、極限において標準的微分法と整合性が確認される。
• 積則は帰納法により証明され、δⁿ(f·g)(x; (ηᵢ)ᵢ₌₁ⁿ) = Σ_{π⊆{1,…,n}} δ|π|f(x; (ηᵢ)ᵢ∈π) · δⁿ⁻|π|g(x; (ηᵢ)ᵢ∈{1,…,n}∖π) の形を取り、ライブニッツ則を一般化する。