[论文解读] Local monomialization of a system of first integrals

André Belotto da Silva|arXiv (Cornell University)|Nov 19, 2014

Advanced Differential Equations and Dynamical Systems被引用 3

一句话总结

该论文证明了，任何具有 $ n $ 个首次积分的解析奇点叶状结构，若其微分不恒为零，则可通过一系列局部爆破实现局部单项式化。严格变换后的叶状结构随之拥有 $ n $ 个单项式首次积分 $ \mathbf{x}^{\boldsymbol{\alpha}_1}, \dots, \mathbf{x}^{\boldsymbol{\alpha}_n} $，其中多指标 $ \boldsymbol{\alpha}_1, \dots, \boldsymbol{\alpha}_n $ 线性无关，从而为奇点附近的系统提供了标准型。

ABSTRACT

Given an analytic singular foliation $\omega$ with $n$ first integrals $(f_1,...,f_n)$ such that $df_1 \wedge ..., df_n ot\equiv 0$, we prove that there exists a local monomialization of the system of first integrals, i.e. there exist sequences of local blowings-up such that the strict transform of $\omega$ has $n$ monomial first integrals $(\mathbf{x}^{\boldsymbol{\alpha}_1}, ..., \mathbf{x}^{\boldsymbol{\alpha}_n})$, where $\mathbf{x}^{\boldsymbol{\alpha}_i} = x_1^{\alpha_{i,1}} ... x_m^{\alpha_{i,m}}$ and the set of multi-indexes $(\boldsymbol{\alpha}_1, ...,\boldsymbol{\alpha}_n)$ is linearly independent.

研究动机与目标

• 通过局部爆破解决解析叶状结构中首次积分系统的奇点问题。
• 将给定的首次积分变换为局部坐标下的单项式形式。
• 确保最终得到的单项式首次积分在多指标意义下线性无关。
• 为局部解析范畴中具有首次积分的奇点叶状结构提供标准型。

提出的方法

• 通过一系列局部爆破来解决由 $ \omega $ 定义的叶状结构的奇点。
• 在每一步中构造叶状结构的严格变换，以保持首次积分的结构。
• 通过坐标变换将首次积分表示为单项式形式 $ \mathbf{x}^{\boldsymbol{\alpha}_i} $，其中 $ \mathbf{x}^{\boldsymbol{\alpha}_i} = x_1^{\alpha_{i,1}} \cdots x_m^{\alpha_{i,m}} $。
• 确保多指标集合 $ \{\boldsymbol{\alpha}_1, \dots, \boldsymbol{\alpha}_n\} $ 在 $ \mathbb{R} $ 上线性无关，以保持微分的独立性。
• 在局部解析范畴内工作，以保持变换的收敛性与解析性。
• 利用非零条件 $ df_1 \wedge \cdots \wedge df_n \not\equiv 0 $ 保证在整个解析过程中叶状结构的定义良好。

实验结果

研究问题

• RQ1 能否通过局部爆破将解析奇点叶状结构的 $ n $ 个首次积分系统转化为单项式形式？
• RQ2 在什么条件下，叶状结构的严格变换能拥有单项式首次积分？
• RQ3 在解析之后，是否能保持与单项式首次积分相关的多指标的线性无关性？
• RQ4 非零楔积 $ df_1 \wedge \cdots \wedge df_n $ 如何影响解析过程？
• RQ5 局部单项式化过程是否保持叶状结构以及首次积分的独立性？

主要发现

• 本文建立了有限个局部爆破序列的存在性，使得叶状结构的严格变换拥有 $ n $ 个单项式首次积分。
• 单项式首次积分的形式为 $ \mathbf{x}^{\boldsymbol{\alpha}_i} = x_1^{\alpha_{i,1}} \cdots x_m^{\alpha_{i,m}} $，其中指数为整数。
• 多指标集合 $ \{\boldsymbol{\alpha}_1, \dots, \boldsymbol{\alpha}_n\} $ 在 $ \mathbb{R} $ 上线性无关，确保首次积分函数独立。
• 解析过程保持了叶状结构的解析性以及非退化条件 $ df_1 \wedge \cdots \wedge df_n \not\equiv 0 $。
• 该结果为局部解析设定下具有首次积分的奇点叶状结构提供了标准型。
• 该方法实现了完全的局部单项式化，为这类系统在奇点附近的结构提供了典范形式。