[论文解读] Trees and Fa\`a di Bruno's formula

Samuel G. G. Johnston, Joscha Prochno|arXiv (Cornell University)|Nov 18, 2019

Advanced Combinatorial Mathematics参考文献 8被引用 1

一句话总结

本文通过使用带标签的树结构，将 Faà di Bruno 公式推广到多变量情形，以表达欧几里得空间中嵌套光滑函数的高阶导数。通过将导数项编码为树结构，该方法提供了一个统一的组合框架，综合并扩展了先前的多变量版本，为多维复合函数链的复杂链式法则提供了系统且明确的计算方法。

ABSTRACT

Fa\`a di Bruno's formula gives an expression for the higher order derivatives of the composition of two real-valued functions. Various higher dimensional generalisations have since appeared in the literature. In this paper we prove a multivariate and synthesized version of Fa\`a di Bruno's formula, giving an expression in terms of a labelled tree for the higher order derivatives of an arbitrary chain of smooth functions defined on Euclidean space of arbitrary dimension.

研究动机与目标

• 将 Faà di Bruno 公式推广到任意欧几里得维度的多变量情形。
• 通过统一的组合框架，解决嵌套函数链中高阶导数计算的复杂性。
• 开发一种综合表达式，利用带标签的树结构捕捉所有导数项，提升清晰度与计算效率。

提出的方法

• 通过带标签的有根树表示复合函数的高阶导数，其中每个节点对应一个偏导数项。
• 利用树结构编码多变量链式法则，标签表示变量下标与导数阶数。
• 基于树的分解方法递归地分解导数，推广单变量 Faà di Bruno 公式。
• 通过基于树的求和，推导出光滑函数复合的 n 阶导数的闭式表达式。
• 建立多变量泰勒展开中的单项式与树结构之间的对应关系，以确保完备性。
• 整合有根树计数的组合工具，系统地枚举所有导数贡献项。

实验结果

研究问题

• RQ1 如何以系统且明确的方式将 Faà di Bruno 公式扩展到高维光滑函数？
• RQ2 何种组合结构最能捕捉嵌套函数复合中多变量高阶导数的复杂性？
• RQ3 能否推导出一个统一公式，推广现有多变量版本并提供清晰的计算框架？
• RQ4 树结构如何自然地编码任意阶数与维度下多变量链式法则中的各项？

主要发现

• 本文成功地利用带标签的树作为结构基础，将 Faà di Bruno 公式推广到任意维度。
• 高阶导数展开中的每一项与一个带标签的有根树之间存在一一对应关系，确保完备性且避免重复计数。
• 所推导的公式将先前的多变量推广形式综合为一个统一、连贯的表达式，适用于任意函数链。
• 基于树的公式形式支持高效的算法实现，并揭示了多变量导数的组合本质。
• 该方法明确处理混合偏导数及其阶数，为符号计算与数值计算提供透明且可扩展的方法。