[论文解读] Perturbations of Mathieu equations with parametric excitation of large period

Mário Bessa|arXiv (Cornell University)|Jun 25, 2010

Advanced Differential Equations and Dynamical Systems参考文献 10被引用 3

一句话总结

本文研究具有大周期参数激励的Mathieu方程的摄动，证明在任意此类系统任意接近处，存在一个具有周期系数的哈密顿阻尼Mathieu方程，其几乎所有闭轨道均表现出不稳定解。该不稳定性通过周期系数的小$C^0$摄动产生，利用了上链丛理论和$sl(2,\mathbb{R})$上的迹为零矩阵动力学。关键结果表明，在存在长闭轨道的情况下，不稳定性具有普遍性。

ABSTRACT

We consider a linear differential system of Mathieu equations with periodic coefficients over periodic closed orbits and we prove that, arbitrarily close to this system, there is a linear differential system of Hamiltonian damped Mathieu equations with periodic coefficients over periodic closed orbits such that, all but a finite number of closed periodic coefficients, have unstable solutions. The perturbations will be peformed in the periodic coefficients.

研究动机与目标

• 研究由具有周期系数的Mathieu方程导出的线性微分系统的解的动力行为。
• 理解周期系数的小摄动如何影响解的稳定性，特别是在存在长闭轨道的情况下。
• 证明在任意具有周期系数的Mathieu方程任意接近处，存在一个阻尼哈密顿系统，其几乎所有闭周期轨道均具有不稳定解。
• 建立一种通过线性斜积流中系数函数的$C^0$摄动来诱导不稳定性的一般机制。

提出的方法

• 使用上链丛形式化，将Mathieu方程表示为紧致流形上的线性斜积流。
• 将系统建模为线性微分系统$(M, \varphi^t, A)$，其中$A: M \to \mathfrak{gl}(2,\mathbb{R})$，并在$C^0$拓扑下考虑摄动。
• 利用$sl(2,\mathbb{R})$的李代数结构，确保哈密顿（迹为零）动力学，并保持基本解的面积保测性。
• 通过小方向位似和旋转在单值矩阵中显式构造摄动，利用引理2.1确保摄动在$C^0$意义下接近原系统。
• 应用[3, 引理6.6]中的结果，表明当轨道足够长（$\pi(p) \geq T$）时，可设计摄动使单值矩阵具有实特征值（双曲或抛物）。
• 通过涉及$g(t)$、$\eta$和矩阵分量的变换，定义摄动系数$\Gamma_\eta(t)$和$\Psi_\eta(t)$，确保当$\eta \to 0$时，$\Gamma_\eta \to 0$且$\Psi_\eta \to \psi(t)$。

实验结果

研究问题

• RQ1 在Mathieu方程的周期系数上施加小$C^0$摄动，是否能诱导出大多数闭周期轨道解的不稳定性？
• RQ2 是否可以构造一个与给定Mathieu系统任意接近的阻尼哈密顿Mathieu系统，使得除有限个外的所有闭轨道均具有不稳定解？
• RQ3 轨道长度在通过摄动单值矩阵实现不稳定性方面起到什么作用？
• RQ4 如何将摄动局部化于轨道，同时保持与原系统的$C^0$接近性，并确保单值映射具有实特征值？
• RQ5 在复特征值（椭圆）的系统下，何种条件下可通过摄动使其变为实特征值（双曲或抛物），从而诱导不稳定性？

主要发现

• 对任意$\delta > 0$，存在$T > 0$，使得对所有周期$\pi(p) \geq T$的闭轨道，存在原系统的$C^0$摄动$B$，满足$B \in \mathcal{U}(A, \delta)$，且$\Phi_B^{\pi(p)}$仅具有实特征值。
• 摄动系统$B$是一个阻尼哈密顿Mathieu方程，其中$\Gamma_\eta(t)$接近零，$\Psi_\eta(t)$接近$\psi(t)$，确保与原系统的$C^0$接近性。
• 摄动系统中除有限个外的所有闭周期轨道均具有不稳定解，其证据为单值矩阵具有模不等于1的实特征值。
• 摄动是局部化的：在闭轨道的小区间外$B = A$，从而在轨道外保持原动力学不变。
• 该构造依赖于将单值矩阵分解为$k$重积的$C_j$映射，并对每个$C_j$应用小旋转$R_{\theta_j}$，其中$|\theta_j| < \delta$，以强制产生实特征值。
• 摄动系统满足$\ddot{y} + \Gamma_\eta(t)\dot{y} + (\omega^2 + \epsilon \Psi_\eta(t))y = 0$，且当$\eta \to 0$时，$\Gamma_\eta(t) \to 0$，$\Psi_\eta(t) \to \psi(t)$，确认摄动是微小且物理上合理的。