[论文解读] An Inversion Formula for Multivariate Power Series

Ural Bekbaev|arXiv (Cornell University)|Mar 17, 2012

Mathematical functions and polynomials参考文献 1被引用 3

一句话总结

本文提出了一种形式多元幂级数 $\varphi(x) = x + \text{高阶项}$ 的新颖反演公式，将形式反函数表示为 $\varphi^{-1}(x) = x + \sum_{m=1}^{\infty} \sum_{k=0}^{m} (-1)^k \binom{m}{k} \varphi^{\circ k}(x)$，其中 $\varphi^{\circ k}$ 表示 $k$ 重复合。推导基于形式幂级数环中矩阵的对称积与生成函数，建立了一个在特征为零的域上成立的非递归、组合型反演公式。

ABSTRACT

For formal multivariate power series $φ(x)$ an inversion formula of the form $$ φ^{-1}(x)=x +\sum_{m=1}^{\infty}\sum_{k=0}^m (-1)^k(m k)φ^{\circ k}(x) is offered$$.

研究动机与目标

• 推导形式多元幂级数 $\varphi(x) = x + \text{高阶项}$ 的闭式反演公式。
• 通过一种新颖的对称矩阵积运算，建立形式反演与迭代复合之间的联系。
• 利用二项式系数和迭代复合，提供反函数级数的非递归、组合表达式。
• 通过级数尾部的收敛性与消失性，研究多项式映射的反函数仍为多项式时的条件。

提出的方法

• 在以多指标为索引的分块矩阵上引入对称积 $\odot$，将矩阵乘法推广至形式幂级数。
• 定义幂级数 $\varphi$ 的矩阵表示 $M_{\varphi}$，通过多指标分块编码其齐次分量。
• 使用指数型映射 $e^{\odot A}$ 表示在 $\odot$ 运算下，通过矩阵指数表示幂级数的复合。
• 应用恒等式 $M_{\psi \circ \varphi} = e^{\odot M_{\varphi}} M_{\psi}$ 将复合关系与矩阵运算关联。
• 通过 $(e^{\odot M_{\varphi}})^{-1}$ 的诺伊曼级数展开推导反函数，导出关于迭代复合的二项式类型求和。
• 在 $Mat(F)$ 代数中通过分块矩阵方程建立反函数系数的递推关系。

实验结果

研究问题

• RQ1 能否仅通过复合与二项式系数，为形式多元幂级数导出闭式反演公式？
• RQ2 无限级数 $\sum_{m=1}^{\infty} \sum_{k=0}^{m} (-1)^k \binom{m}{k} \varphi^{\circ k}(x)$ 在何种条件下终止或消失？
• RQ3 何时一个多项式映射的形式反函数本身也是多项式映射，以及如何代数地检测这一性质？
• RQ4 对称矩阵积 $\odot$ 如何实现形式幂级数的非结合但保持结合性的代数结构？

主要发现

• 形式幂级数 $\varphi(x) = x + \text{高阶项}$ 的反函数由下式明确给出：$\varphi^{-1}(x) = x + \sum_{m=1}^{\infty} \sum_{k=0}^{m} (-1)^k \binom{m}{k} \varphi^{\circ k}(x)$。
• 该公式通过对称积 $\odot$ 和矩阵指数 $e^{\odot M_{\varphi}}$ 推导得出，其中 $M_{\varphi}$ 编码了级数的系数。
• 在任意特征为零的域上的形式幂级数环中，反函数存在且唯一。
• 若存在某个 $m_0$，使得 $\sum_{m=m_0}^{\infty} \sum_{k=0}^{m} (-1)^k \binom{m}{k} \varphi^{\circ k}(x) = 0$，则 $\varphi^{-1}(x)$ 是一个多项式映射。
• 递推关系 $N^m_1 = -\sum_{k=1}^{m-1} \left( \sum_{|\alpha|=k, \|\alpha\|=m} \frac{(M^1_1)^{\odot \alpha_1} \odot \cdots}{\alpha!} \right) N^k_1$ 可用于计算反函数级数的系数。
• 所有具有多项式反函数的多项式映射在复合运算下构成一个群，且该公式为判断其成员资格提供了代数准则。