[論文レビュー] Faa di Bruno's formula for chain differentials

Daniel E. Clark, Jérémie Houssineau|arXiv (Cornell University)|Oct 10, 2013

Functional Equations Stability Results参考文献 7被引用数 16

ひとこと要約

本稿では、Fréchet微分より制限の少ない導出概念であるチェーン微分を用いて、局所凸位相線形空間における合成関数の高階微分へのFaà di Brunoの公式の一般化を試みる。主な貢献は、方向の分割の和として表される(n+1)階チェーン微分の再帰的公式であり、各項は内側関数の微分およびその導出物に対する外側関数の高階変動を含み、単純な積に分解せず、多変数線形構造を保つ。

ABSTRACT

This paper determines the general formula for describing differentials of composite functions in terms of differentials of their factor functions. This generalises the formula commonly attributed to Faa di Bruno to functions in locally convex topological vector spaces. The result highlights the general structure of the higher-order chain rule in terms of partitions of the directions.

研究の動機と目的

• 標準的導出が存在しない無限次元空間における高階微分へのFaà di Brunoの公式の拡張。
• Fréchet微分やGâteaux微分よりも制限の少ないチェーン微分を用いた合成関数の一般チェーン則の構築。
• 方向変動の分割による合成関数の高階微分の背後にある組合せ的構造の解明。
• 最初のn方向の分割とその微分を用いて、(n+1)階チェーン微分の再帰的公式の確立。

提案手法

• チェーン微分を、方向とスカラーの列に関する極限によって定義し、Gâteaux微分の一般化として、チェーン則を支持する。
• 全チェーン微分定理を適用して、多変数関数の微分を各変数ごとの部分チェーン微分の和に分解する。
• 集合の分割の構造を活用して、n階の場合から(n+1)階への再帰的帰納法によるチェーン微分の導出。
• 外側関数の変動を内側微分の関数的表現として表すために、(y₀,…,yₖ) から δᵏf(y₀; y₁,…,yₖ) への多変数関数Fを導入する。
• 再帰の過程で2種類の項を区別する：1つは新しい方向ηₙ₊₁がgの微分に作用する場合、もう1つは分割の成分の微分に作用する場合。
• 第二種スターリング数に類似した類推を用いて分割プロセスを解釈する：新しいシングルトン集合を生成するか、既存の部分集合に追加するかの2通り。

実験結果

リサーチクエスチョン

• RQ1 Faà di Brunoの公式は、無限次元の局所凸位相線形空間における高階微分にどのように一般化可能か？
• RQ2 Fréchet微分やGâteaux微分ではなく、チェーン微分を用いた場合、高階チェーン則の構造はどのようなものか？
• RQ3 合成関数の方向変動は、入力方向の分割に基づいてどのように分解されるか？
• RQ4 高階チェーン則の再帰的構造は、方向の組合せ的分割によって表現可能か？

主な発見

• 合成関数f∘gの(n+1)階チェーン微分は、最初のn方向のすべての分割の和として表現され、各分割が外側関数の高階変動に基づく項を寄与する。
• この公式は2種類の項に分かれている：1つは新しい方向ηₙ₊₁がgの微分に作用する場合、もう1つは分割の成分の微分に作用する場合。
• 古典的Faà di Brunoの公式は単純な積に分解されるが、本公式は積に分解せず多変数線形形式を保つため、チェーン則のより内因的な表現を維持する。
• 導出は、n+1個の要素の分割がn個の要素の分割から生成される仕組みに類似した帰納的議論に基づく。
• チェーン微分フレームワークが、抽象的位相線形空間において一貫性があり、組合せ的構造を持つ高階チェーン則を支持することを確認した。
• 本手法は、Fréchet微分や偏微分に関する先行研究を、高階変動の完全な構造的複雑性を保ちながら一般化した。