[论文解读] Generalized "second Ritt theorem" and explicit solution of the polynomial moment problem

Fedor Pakovich|arXiv (Cornell University)|Aug 18, 2009

Advanced Differential Equations and Dynamical Systems参考文献 20被引用 11

一句话总结

本文通过将Ritt第二定理推广至描述所有多项式解的函数方程 $ P = P_1 \circ W_1 = \cdots = P_r \circ W_r $，为多项式矩问题提供了显式且构造性的解法，从而实现了对所有 $ k \geq 0 $ 满足 $ \int_a^b P^k dQ = 0 $ 的解的完整表征，即这些解可表示为源自复合分解的可约解之和。关键贡献在于基于切比雪夫多项式与偶次复合结构，对这些解进行了分类，并给出了无法简化为少于三个分量的明确条件。

ABSTRACT

In the recent paper arXiv:0710.4085 was shown that any solution of "the polynomial moment problem", which asks to describe polynomials Q orthogonal to all powers of a given polynomial P on a segment, may be obtained as a sum of some "reducible" solutions related to different decompositions of P into a composition of two polynomials of lesser degrees. However, the methods of arXiv:0710.4085 do not permit to estimate the number of necessary reducible solutions or to describe them explicitly. In this paper we provide a description of the polynomial solutions of the functional equation P=P_1(W_1)=P_2(W_2)=...=P_r(W_r), and on this base describe solutions of the polynomial moment problem in an explicit form suitable for applications. With respect to the previous version a more general form of the generalized "secon Ritt theorem" is proved and the proof is considerably simplified. Besides, a missed case in Theorem 1.2 was added and the proof is corrected.

研究动机与目标

• 为多项式矩问题所依赖的函数方程 $ P = P_1 \circ W_1 = \cdots = P_r \circ W_r $ 提供所有多项式解的显式且构造性的描述。
• 以多项式 $ P $ 的复合分解所产生的可约解为框架，解决关于 $ \int_a^b P^k dQ = 0 $ 对所有 $ k \geq 0 $ 的解的表征这一开放问题。
• 将Ritt第二定理推广至处理多个分解，并对无法表示为少于三个可约分量之和的解进行分类。
• 建立无法仅以两个可约解之和表示的多项式矩问题解的条件，从而识别出内在的结构性限制。

提出的方法

• 将Ritt第二定理推广至处理多个多项式分解 $ P = P_i \circ W_i $，其中满足 $ \gcd(\deg P_i, \deg P_j) = 1 $ 且 $ \gcd(\deg W_i, \deg W_j) = 1 $，利用切比雪夫多项式与复合因式分解的性质。
• 应用引理3.3关于复合因式分解，分析 $ W_i $ 与 $ P_i $ 的结构，特别是当次数为偶数或可被2整除时，推导出递归分解形式。
• 利用条件 $ W_i(a) = W_i(b) $ 确保积分消失，通过柯西定理将函数方程与矩的消失联系起来。
• 采用线性等价与共轭技巧，将一般解约化为包含 $ T_n $、$ z^2(z^2-1)^2 $ 与 $ zR(z^2) $ 的典范形式，从而实现分类。
• 分析 $ P $ 的复合右因子结构，特别是当 $ P $ 不与切比雪夫多项式线性等价时，确定哪些 $ W $ 满足 $ W(a) = W(b) $。
• 通过反证法与次数分析，证明某些解（如涉及 $ T_{mn} $ 与 $ zR(z^2) \circ T_{mn} $ 的解）无法表示为仅两个可约解之和。

实验结果

研究问题

• RQ1 所有满足 $ \int_a^b P^k dQ = 0 $ 对所有 $ k \geq 0 $ 的多项式矩问题的解，是否都能显式地描述为源自 $ P $ 的复合分解的可约解之和？
• RQ2 哪些关于 $ P $ 与 $ Q $ 的结构性条件会阻止解被表示为仅两个可约解之和？
• RQ3 如何将Ritt第二定理推广至处理 $ P $ 的多个非等价分解，且各分解中多项式次数互素的情形？
• RQ4 在何种 $ a $ 与 $ b $ 的条件下，复合因子 $ W_i $ 满足 $ W_i(a) = W_i(b) $，从而确保矩的消失？
• RQ5 在 $ \gcd(\deg W_1, \deg W_2) = 1 $ 条件下，双分解 $ P = P_1 \circ W_1 = P_2 \circ W_2 $ 所产生的解具有何种精确形式？它们如何贡献于完整的解空间？

主要发现

• 本文证明，任何多项式矩问题的解均可表示为对应于 $ P $ 的不同复合分解的可约解之和，且通过切比雪夫多项式与偶次有理函数实现显式参数化。
• 定理1.2中的第四类解，涉及 $ T_{mn} $ 与 $ zR(z^2) \circ T_{mn} $，当 $ m $ 与 $ n $ 为大于三的不同素数时，无法表示为仅两个可约解之和。
• 多项式 $ P = z^2(z^2-1)^2 \circ T_{mn} $ 的复合右因子被分类为 $ T_2, T_m, T_n, T_{2m}, T_{2n}, T_{2mn}, T_{mn} $ 或 $ zR(z^2) \circ T_{mn} $，且仅 $ T_{2m}, T_{2n}, T_{2mn}, zR(z^2) \circ T_{mn} $ 在给定条件下满足 $ W(a) = W(b) $。
• 条件 $ T_{n/2}(a) = -T_{n/2}(b) $ 与 $ T_{m/2}(a) = -T_{m/2}(b) $，结合 $ T_{nm/4}(a) = \pm 1 $，可推出 $ R(1) = 0 $，这对解的结构至关重要。
• 对于解 $ Q = T_{2m} + T_{2n} + zR(z^2) \circ T_{mn} $，其中 $ m,n $ 为大于3的不同素数，其无法表示为 $ Q = V_1 \circ W_1 + V_2 \circ W_2 $ 的形式，其中 $ W_1, W_2 $ 属于集合 $ \{T_{2n}, T_{2m}, zR(z^2) \circ T_{mn}\} $，原因在于其复合因子结构不相容。
• 本文证明，若 $ P $ 不与切比雪夫多项式线性等价，且存在具有互素次数的双分解，则解空间包含无法进一步简化为少于三个加项的固有不可约分量。