[论文解读] Recurrent Inversion Formulas

Wenhua Zhao|ArXiv.org|May 12, 2003

Advanced Differential Equations and Dynamical Systems参考文献 15被引用 4

一句话总结

本文提出了两个关于多项式映射 $ F(z) = z - H(z) $ 的形式逆的新型递推反演公式，其中 $ H(z) $ 为次数 $ d \geq 2 $ 的齐次多项式。第一个公式在某些情况下比现有公式具有更高的计算效率，第二个公式则无需微分运算，并通过对称多线性形式显式构造逆映射。其核心贡献在于揭示了当雅可比矩阵对称时，反演问题与 $ n $-维无粘性伯吉斯方程之间的深刻联系。

ABSTRACT

Let $F(z)=z-H(z)$ with $o(H(z))\geq 2$ be a formal map from $\bC^n$ to $\bC^n$ and $G(z)$ the formal inverse of $F(z)$. In this paper, we fist study the deformation $F_t(z)=z-tH(z)$ and its formal inverse map $G_t(z)$. We then derive two recurrent formulas for the formal inverse $G(z)$. The first formula in certain situations provides a more efficient method for the calculation of $G(z)$ than other well known inversion formulas. The second one is differential free but only works when $H(z)$ is homogeneous of degree $d\geq 2$. Finally, we reveal a close relationship of the inversion problem with a Cauchy problem of a PDE. When the Jacobian matrix $JF(z)$ is symmetric, the PDE coincides with the $n$-dimensional inviscid Burgers' equation in Diffusion theory.

研究动机与目标

• 为形式映射 $ F(z) = z - H(z) $（满足 $ o(H(z)) \geq 2 $）开发高效且计算上占优的反演公式。
• 推导出一种无需微分的递推公式，特别适用于 $ H(z) $ 为次数 $ d \geq 2 $ 的齐次多项式的情形。
• 建立 $ F(z) $ 的形式逆与某类偏微分方程柯西问题之间的联系，尤其在 $ JF(z) $ 对称时，该方程为 $ n $-维无粘性伯吉斯方程。
• 将 Drużzkowski 的 $ d = 3 $ 递推公式推广至任意 $ d \geq 2 $，并显式计算所涉及的多线性形式。
• 为在 $ J(H)^2 = 0 $ 条件下关于雅可比猜想的 Bass-Connell-Wright 定理提供新的证明与更深层次的洞察。

提出的方法

• 引入变形 $ F_t(z) = z - tH(z) $，并研究其形式逆 $ G_t(z) $，该工具在推导递推关系中起关键作用。
• 通过 $ G_t(z) $ 与某类偏微分方程柯西问题之间的关系，推导出第一个递推反演公式，从而得出定理 3.2 与命题 3.3。
• 定义对称 $ d $-线性形式 $ B_i(U^{(1)}, \dots, U^{(d)}) = \frac{1}{d!} D^{(1)} \cdots D^{(d)} H_i(z) $，其中 $ D^{(j)} = \sum_k U_k^{(j)} \partial / \partial z_k $，用于编码 $ H(z) $ 的齐次部分。
• 构造逆映射 $ G(z) = z + \sum_{m=1}^\infty N_{[m]}(z) $，其中 $ N_{[m]}(z) $ 为次数 $ m(d-1)+1 $ 的齐次多项式，并导出递推关系 $ N_{[m+1]}(z) = \sum_{k_1+\cdots+k_n = m} B(N_{[k_1]}, \dots, N_{[k_n]}) $。
• 利用恒等式 $ B(z, \dots, z) = H(z) $ 确保递推关系与原映射的一致性。
• 应用柯西-柯瓦列夫斯卡娅定理，以证明在解析映射背景下形式幂级数的局部收敛性。

实验结果

研究问题

• RQ1 能否推导出比现有反演公式更高效的递推公式，用于计算 $ F(z) = z - H(z) $ 的形式逆？
• RQ2 当 $ H(z) $ 为次数 $ d \geq 2 $ 的齐次多项式时，是否可能构造一种无需微分的递推公式来表示其逆？
• RQ3 形式逆 $ G(z) $ 与某类偏微分方程柯西问题之间的确切联系是什么，特别是在 $ JF(z) $ 对称的情况下？
• RQ4 该递推公式如何推广 Drużzkowski 对 $ d = 3 $ 的结果？其中涉及的多线性形式的显式形式是什么？
• RQ5 为何条件 $ J(H)^2 = 0 $ 足以推出雅可比猜想，而 $ J(H)^k = 0 $（$ k \geq 3 $）却导致更大复杂度？

主要发现

• 通过变形 $ F_t(z) = z - tH(z) $ 推导出的第一个递推反演公式，在某些情况下比已知公式具有更高的计算效率。
• 第二个递推公式无需微分运算，并通过对称 $ d $-线性形式 $ B_i $ 显式构造 $ G(z) $，推广了 Drużzkowski 对 $ d = 3 $ 的公式。
• 由于欧拉公式及 $ H_i $ 的齐次性，恒等式 $ B(z, \dots, z) = H(z) $ 成立，从而保证了递推关系的一致性。
• 当 $ JF(z) $ 对称时，控制 $ G_t(z) $ 的偏微分方程与 $ n $-维无粘性伯吉斯方程一致，从而将反演问题与流体力学联系起来。
• 条件 $ JH \cdot H = 0 $ 等价于 $ G(z) = z + H(z) $，由此可重新推导出经典的 Bass-Connell-Wright 定理（在 $ J(H)^2 = 0 $ 条件下关于雅可比猜想的结论），并获得更深层次的理解。
• 该递推公式可系统地计算逆映射的齐次分量 $ N_{[m]}(z) $，其次数为 $ \deg(N_{[m]}) = m(d-1)+1 $，从而支持算法化实现。