[论文解读] 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

一句话总结

本文通过链微分（一种比弗雷chet可微性更宽松的导数概念）在局部凸拓扑向量空间中将法图-布鲁诺公式推广至高阶导数，适用于复合函数。核心贡献是推导出(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.

研究动机与目标

• 将法图-布鲁诺公式推广至标准导数可能不存在的无穷维空间中的高阶微分。
• 基于链微分（比弗雷chet可微性更宽松但仍支持结构化链式法则）发展复合函数的一般链式法则。
• 通过输入方向的分拆，揭示复合函数高阶导数的底层组合结构。
• 建立以头n个方向及其微分为基础的(n+1)阶链微分的递归公式。

提出的方法

• 使用链微分，通过方向与标量序列的极限定义，作为盖陶克斯微分的推广，支持链式法则。
• 应用全链微分定理，将多元函数的微分分解为对每个变量的偏链微分之和。
• 采用递归归纳法，从n阶情形推导(n+1)阶链微分，利用集合分拆的结构。
• 引入多变量泛函F，将(y₀,…,yₖ)映射至δᵏf(y₀; y₁,…,yₖ)，以用内函数微分表达外函数的变分。
• 在递归中区分两类项：一类是新方向ηₙ₊₁作用于g的微分，另一类是作用于分拆中各分量的微分。
• 类比第二类斯特林数，解释分拆过程：创建新的单元素集合或向已有子集添加元素。

实验结果

研究问题

• RQ1 如何将法图-布鲁诺公式推广至无穷维局部凸拓扑向量空间中的高阶微分？
• RQ2 当使用链微分而非弗雷chet或盖陶克斯导数时，高阶链式法则的结构是什么？
• RQ3 复合函数的方向变分如何按输入方向的分拆进行分解？
• RQ4 高阶链式法则的递归结构能否以方向分拆的组合方式表达？

主要发现

• 复合函数f∘g的(n+1)阶链微差可表示为对前n个方向所有分拆的求和，每个分拆根据外函数的高阶变分贡献相应项。
• 该公式分为两类项：一类是新方向ηₙ₊₁作用于g的微分，另一类是作用于分拆中各分量的微分。
• 该结构通过保持多重线性形式而非分解为乘积，推广了经典法图-布鲁诺公式，从而更内在地保持链式法则的表达。
• 推导过程采用类似于斯特林数与贝尔数理论中的归纳法，即从n个元素的分拆生成n+1个元素的分拆。
• 结果证实，链微分框架在抽象拓扑向量空间中支持一致且具有组合结构的高阶链式法则。
• 该方法成功推广了以往关于弗雷chet导数与偏导数的结果，同时保持了高阶变分的完整结构复杂性。