[论文解读] Normal forms and linearization of holomorphic dilation type semigroups in several variables

Filippo Bracci, Mark Elin+1 more|ArXiv.org|Dec 24, 2008

Holomorphic and Operator Theory参考文献 12被引用 5

一句话总结

本文通过分析多维薛定谔函数方程的可解性以及生成元雅可比矩阵特征值的共振条件，建立了复多变量中全纯伸缩型半群线性化的条件。关键贡献是一个刚性结果：若在某个正时间点，半群元素为线性（或线性分式）的，且生成元的特征值满足非共振或非退化条件，则半群的所有元素均为线性（或线性分式）的，将经典的一维线性化理论推广至高维，并给出了精确的谱判据。

ABSTRACT

In this paper we study commuting families of holomorphic mappings in $\mathbb{C}^n$ which form abelian semigroups with respect to their real parameter. Linearization models for holomorphic mappings are been used in the spirit of Schröder's classical functional equation.

研究动机与目标

• 将经典的一维全纯映射线性化理论推广至 C^n 中的高维伸缩型半群。
• 确定在 C^n 中交换全纯半群存在线性化双全纯映射的必要与充分条件。
• 研究半群的刚性：当两个半群在公共不动点处具有相同的线性部分时，它们在什么条件下完全一致？
• 分析共振条件（尤其是纯实共振）对多维薛定谔方程可解性的影响。
• 建立单个线性或线性分式半群元素蕴含所有元素均为线性或线性分式之条件。

提出的方法

• 本文利用半群的无穷小生成元通过初值问题 dφ_t(z)/dt = f(φ_t(z)), φ_0(z) = z 定义其演化过程。
• 将线性化问题转化为求解函数方程 h(φ_t(z)) = e^{At}h(z)，其中 A = df_0 为不动点处的雅可比矩阵。
• 该方程的可解性与广义微分方程 dh_z f(z) = A h(z) 相关联，通过形式幂级数展开进行分析。
• 共振条件通过特征值 α_j 与多指标 k 之间的关系定义：Re(α_j) = Re((α,k))，其中 |k| ≥ 2。
• 作者通过递归构造线性化映射 h 中的齐次多项式项，求解形如 dp_k^j/dt = (α,k)p_k^j - α_j p_k^j + a_k^j e^{(α,k)t} 或类似形式的常微分方程。
• 关键技术在于证明：若在某 t_0 > 0 处有 p_k^j(t_0) = 0，且共振条件非纯实，则必有 p_k^j ≡ 0，从而表明非线性项无法持续存在。

实验结果

研究问题

• RQ1 生成元雅可比矩阵在何种谱条件下，使得 C^n 中的全纯伸缩型半群可线性化？
• RQ2 当某个半群元素 φ_t_0 为线性时，其在何种条件下可推出所有 φ_t 均为线性？
• RQ3 共振条件（尤其是纯实共振）如何影响多维薛定谔方程的可解性？
• RQ4 当两个交换半群在公共不动点处具有相同的线性部分时，能否建立其刚性？
• RQ5 在何种条件下，若某个半群元素 φ_t_0 为线性分式，则所有 φ_t 均为线性分式？

主要发现

• 若生成元雅可比矩阵 A 不含纯实共振，且存在 t_0 > 0 使得 φ_t_0 为线性映射，则所有 φ_t 均为线性映射。
• 若对所有 j 与多指标 k 均有 e^{(α,k)t_0} ≠ e^{α_j t_0}，则 φ_t_0 为线性映射可推出所有 φ_t 均为线性映射。
• 在单位球 B^n 中，若 φ_t_0 为线性分式映射，且 A 满足非共振或非退化条件，则所有 φ_t 均为线性分式映射。
• 若生成元的特征值非共振或满足非退化条件 e^{(α,k)t_0} ≠ e^{α_j t_0}，则半群为正规线性化。
• 若实解析函数 F 沿向量场 f 的积分曲线为全纯，且生成元非共振或 φ_t_0 可线性化，则 F 在定义域上为全纯函数。
• 本文证明：若线性化映射 h 中出现非线性项，则其在任意 t_0 > 0 处不可能为零，除非共振条件为纯实，而在非退化假设下将导致矛盾。