[论文解读] Harmonic solutions to a class of differential-algebraic equations with separated variables

Luca Bisconti|arXiv (Cornell University)|Oct 9, 2011

Numerical methods for differential equations参考文献 11被引用 7

一句话总结

该论文通过将问题约化为光滑流形 M = g⁻¹(0) 上的常微分方程（ODE），建立了具有分离变量的微分-代数方程（DAE）类的 T-周期解的全局延续结果。利用流形上向量场的拓扑度理论，证明了当未受扰动的系统在非 T-共振零点处具有非零总指标，并在解集满足紧致性假设时，对足够小的 λ > 0，至少存在三个 T-周期解。

ABSTRACT

We study the set of T-periodic solutions of a class of T-periodically perturbed Differential-Algebraic Equations with separated variables. Under suitable hypotheses, these equations are equivalent to separated variables ODEs on a manifold. By combining known results on Differential-Algebraic Equations, with an argument about ODEs on manifolds, we obtain a global continuation result for the T-periodic solutions to the considered equations. As an application of our method, a multiplicity result is provided.

研究动机与目标

• 研究一类 T-周期扰动 DAE 与分离变量的 T-周期解的结构。
• 建立从 λ = 0 处平凡解分支出的非平凡 T-周期解的全局延续结果。
• 利用流形上的拓扑度理论，提供 T-周期解的多重性结果。
• 通过隐函数定理与流形理论，将 DAE 系统约化为 C∞ 子流形 M = g⁻¹(0) 上的等价 ODE。
• 刻画孤立平凡解在 λ > 0 增大时演变为非平凡周期解分支的条件。

提出的方法

• 利用 ∂₂g(p,q) 的可逆性，通过隐函数定理，将 DAE 系统重新表述为 C∞ 子流形 M = g⁻¹(0) 上的 ODE。
• 通过将问题转移至流形 M，利用已知的流形上 ODE 周期解结果，分析 T-周期解的存在性。
• 使用流形上切向向量场的拓扑度理论，分析解集的全局结构。
• 应用同伦方法计算向量场 F(p,q) = (f(p,q), g(p,q)) 在区域 U 上的度，从而实现对孤立零点处指标的计算。
• 引入解空间 [0,∞) × C_T(U) 中的“发射点”与“发射集”概念，以检测解分支的非紧致性或非平凡性。
• 通过扰动参数 λ 跟踪解分支：从 λ = 0（平凡解）到 λ > 0（非平凡解），主要工具为总度与非 T-共振零点处局部指标之和之间的度差。

实验结果

研究问题

• RQ1 在具有分离变量的 DAE 系统中，T-周期解分支从 λ = 0 处的平凡解何时产生？
• RQ2 当解集不紧致时，T-周期解集合的全局结构如何刻画？
• RQ3 何种拓扑条件可保证对足够小的 λ > 0，存在多个非平凡 T-周期解？
• RQ4 流形上向量场的度如何与扰动 DAE 中周期解的多重性相关联？
• RQ5 向量场 F(p,q) 的非 T-共振零点在何时导致解空间中出现发射解分支？

主要发现

• 若向量场 F 在 U 上的总度不等于 r 个非 T-共振零点处局部指标之和，则对充分小的 λ > 0，至少存在 r+1 个不同的 T-周期解。
• 对应于 F 的非 T-共振零点 (p₀, q₀) 的平凡 T-周期对 (0, (p̄₀, q̄₀)) 在 λ = 0 时是解集中孤立的。
• 存在一个连通的非平凡 T-周期对集合，其闭包包含孤立的平凡对 (0, (p̄₀, q̄₀))，且该集合非紧致，或与其它平凡对相交。
• 在示例中，当 ε ∈ (0,1) 时，对足够小的 λ > 0，系统存在三个 T-周期解：一个位于 (0,0)，另两个对称解位于 (±aε, ±aε)，其中 aε = 1/√(1−ε)。
• F 在 U 上的度为零，且两个对称的非 T-共振零点的指标均为 −1，其总指标和为 −2，与总度 0 不同，满足多重性条件。
• 利用度的同伦不变性，得出 deg(F, U) = 0；非 T-共振零点 (aε, aε) 与 (−aε, −aε) 均为非退化且指标各为 −1，从而确认了多重性条件。