[論文レビュー] Recurrent Inversion Formulas

Wenhua Zhao|ArXiv.org|May 12, 2003

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

ひとこと要約

本稿では、$ H(z) $ が $ d \geq 2 $ 次の斉次多項式である形式的逆写像 $ F(z) = z - H(z) $ のための、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) $ が対称である場合に確立すること。
• $ d = 3 $ の場合にドゥルズコフスキーの再帰公式を任意の $ d \geq 2 $ に一般化し、関係する多重線形形式の明示的計算を行うこと。
• $ J(H)^2 = 0 $ の下でバース＝コネル＝ライトの定理に関する新しい証明とより深い洞察を提供すること。

提案手法

• 変形 $ F_t(z) = z - tH(z) $ を導入し、その形式的逆写像 $ G_t(z) $ を研究することで、再帰関係を導出するための鍵となる道具を提供する。
• $ G_t(z) $ と偏微分方程式のコーシー問題との関係を用いて、最初の再帰的反転公式を導出し、定理3.2および命題3.3を導く。
• 多項式 $ H(z) $ の斉次部分を符号化するため、対称 $ 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 $ である。
• 逆写像 $ 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 形式的逆写像 $ F(z) $ と偏微分方程式のコーシー問題との間の明確な関係は何か、特に $ JF(z) $ が対称である場合に注目する。
• RQ4 再帰的公式はドゥルズコフスキーの結果（$ d = 3 $ 時）をどのように一般化するか？また、関係する多重線形形式の明示的形は何か？
• RQ5 なぜ $ J(H)^2 = 0 $ であればヤコビアン予想が成立するが、$ k \geq 3 $ に対して $ J(H)^k = 0 $ ではより複雑になるのか？

主な発見

• 変形 $ F_t(z) = z - tH(z) $ を用いて導出された最初の再帰的反転公式は、特定の状況において既存の公式よりも計算効率が良い。
• 第二の再帰公式は微分を含まず、対称 $ d $ 次線形形式 $ B_i $ を用いて $ G(z) $ を明示的に構成する。これは $ d = 3 $ 時のドゥルズコフスキーの公式を一般化する。
• Eulerの公式と $ H_i $ の斉次性により、恒等式 $ B(z, \dots, z) = H(z) $ が成り立ち、再帰関係の整合性が保証される。
• $ JF(z) $ が対称である場合、$ G_t(z) $ を記述する偏微分方程式は $ n $ 次元の非圧縮性バーガース方程式と一致し、反転問題と流体力学の間に接点が得られる。
• 条件 $ JH \cdot H = 0 $ は $ G(z) = z + H(z) $ と同値であり、その結果、$ J(H)^2 = 0 $ の下での古典的バース＝コネル＝ライトの定理（ヤコビアン予想）が、より深い洞察とともに再導出される。
• 再帰公式により、逆写像の斉次成分 $ N_{[m]}(z) $ を体系的に計算可能であり、$ \deg(N_{[m]}) = m(d-1)+1 $ であるため、アルゴリズム的実装が可能になる。