[论文解读] A new approach in the theory of ordinary differential equations with small parameter

Mikhail A. Kamenskii, Oleg Makarenkov+1 more|ArXiv.org|Sep 29, 2007

Nonlinear Differential Equations Analysis参考文献 3被引用 6

一句话总结

本文提出了一种分析带有小参数的常微分方程周期问题与柯西问题的新方法，避免了经典理论中对孤立周期解或变换T-周期性的假设。通过采用线性化系统与旋转数理论，该方法在较弱条件下建立了周期解的存在性，特别是当无扰系统具有非孤立环路时，推广了经典平均化理论，并将已知结果作为特例恢复。

ABSTRACT

A topological degree based averaging principle has been proposed by J. Mawhin in his PhD thesis [J. Mawhin, Le Probleme des Solutions Periodiques en Mecanique non Lineaire, These de doctorat en sciences, Universite de Liege, 1969]. In the present paper we extend this result for the case when the unperturbed system is nonlinear but possesses a set of T-periodic solutions whose initial conditions constitute a boundary of some open set.

研究动机与目标

• 为解决经典平均化理论的局限性，该理论要求孤立周期解或变换为T-周期性。
• 研究无扰系统（ε=0）具有非孤立环路的情形，这在应用中虽常见但分析上具有挑战性。
• 在较弱的拓扑与结构假设下，证明当ε > 0较小时T-周期解的存在性。
• 推广经典平均化结果，并将已知定理（如Bogolubov-Krylov与[7]中的结果）作为所提框架的特例。
• 通过旋转数与线性化动力学，为周期问题与柯西问题提供统一的理论框架。

提出的方法

• 引入线性化系统（5）：$\dot{y} = \phi(t,\Omega(t,0,\xi)) + \psi^{(2)}_{\text{der}}(t,\Omega(t,0,\xi))y$，其中$\Omega$为ε=0时的流。
• 定义$\eta(t,s,\xi)$为系统（5）的解，初始条件$y(s)=0$，用于计算旋转数。
• 利用映射$\eta(T,0,\cdot)$在边界$\partial U$上的旋转数$\gamma(\eta(T,0,\cdot), U)$推断周期解的存在性。
• 应用拓扑工具：旋转数理论与同伦不变性，比较向量场并确保指标非零。
• 对于柯西问题，定义极限向量场$\Phi(\xi) = -\lim_{n\to\infty} \frac{\eta(-nT,0,\xi)}{nT}$，并利用其动力学近似长时间区间上的解。
• 建立渐近接近性：$\|x_\varepsilon(t) - \Omega(t,0,z(\varepsilon t))\| \leq \gamma$，对$t \in [0, d/\varepsilon]$，利用极限场$\Phi$。

实验结果

研究问题

• RQ1 当无扰系统（ε=0）具有非孤立环路时，能否保证对足够小的ε > 0，存在T-周期解？
• RQ2 经典平均化理论如何推广至标准平均化中所用变换非T-周期的情形？
• RQ3 何种拓扑条件可确保当ε=0时解集为连续统（如极限环）时周期解的存在性？
• RQ4 在不假设孤立解的前提下，能否利用线性化系统返回映射的旋转数推断周期解的存在性？
• RQ5 柯西问题（1）的解在长时间区间内何时能保持与平均化系统解接近？

主要发现

• 定理1在条件（A0）、（A1）与（A2）下，对所有充分小的$\varepsilon > 0$，在集合$X = \{x : \Omega(0,t,x(t)) \in U,\ t \in [0,T]\}$中建立了至少一个T-周期解的存在性。
• 条件（A2），即$\eta(T,0,\cdot)$在$U$上的非零旋转数，确保了即使在ε=0时解集不孤立的情况下，周期解依然存在。
• 定理2表明，只要中间族满足（A1），旋转数在$\phi_1$与$\phi_2$的同伦下保持不变，从而可在不同扰动间进行比较。
• 定理3证明：若条件（A3）₁成立，即$\int_0^T e^{-\int_0^t \text{Sp}\, \psi^{(2)}(\tau,x_0(\tau)) d\tau} \langle \phi(t-\theta,x_0(t)), \dot{x}_0(t)^\perp \rangle dt \neq 0$，则在$\mathbb{R}^2$中简单环路$x_0$的内部存在T-周期解。
• 该框架可恢复经典结果：当$\psi=0$时，结果退化为标准平均化理论；当$\psi(t,x)=Ax$且$A$的特征值为$\pm i$时，可恢复[7]中的结果。
• 对于柯西问题，定理4保证：若极限场$\Phi$存在且在$[0,d]$上具有唯一解，则解$x_\varepsilon(t)$在$t \in [0, d/\varepsilon]$内与平均化轨迹$\Omega(t,0,z(\varepsilon t))$的偏差不超过$\gamma$。