[论文解读] Modulo Periodic Poisson Stable Solutions of Quasilinear Differential Equations

Marat Akhmet, Madina Tleubergenova+1 more|arXiv (Cornell University)|Nov 18, 2021

Advanced Differential Equations and Dynamical Systems参考文献 19被引用 21

一句话总结

本文通过将周期分量与Poisson稳定分量相结合，提出了一类新型的模周期Poisson稳定（MPPS）解，用于拟线性微分方程。在假设Poisson数κω = 0的前提下，利用一种新颖的Poisson稳定性验证方法，作者证明了唯一MPPS解的存在性与渐近稳定性，并通过数值模拟展示了其在动力系统中的可行性，尤其在神经科学与工程应用中具有重要意义。

ABSTRACT

In this paper, modulo periodic Poisson stable functions have been newly introduced. Quasilinear differential equations with modulo periodic Poisson stable coefficients are under investigation. The existence and uniqueness of asymptotically stable modulo periodic Poisson stable solutions have been proved. Numerical simulations, which illustrate the theoretical results are provided.

研究动机与目标

• 通过结合周期分量与Poisson稳定分量，引入一类新的周期性解——模周期Poisson稳定（MPPS）函数。
• 建立拟线性系统中具有周期性与Poisson稳定系数的MPPS解存在性与渐近稳定性的充分条件。
• 基于Poisson数κω = 0，提出一种可验证的Poisson稳定性方法，支持理论与数值分析。
• 通过混合动力系统对Poisson稳定函数进行数值模拟，拓展其在神经网络与机械振子等实际系统中的适用性。
• 探讨混沌吸引子（如Lorenz、Rössler、Chua）中周期分量的存在性及其对优化与控制的影响。

提出的方法

• 将MPPS函数定义为连续ω-周期函数φ(t)与Poisson稳定函数ψ(t)之和，其中Poisson数κω = 0确保解的重现性。
• 利用齐次系统x′ = A(t)x的基本解矩阵X(t,s)，构造解x(t) = ∫_{-∞}^t X(t,s)[φ(s)+ψ(s)]ds。
• 在条件(C4)下，利用指数衰减估计∥X(t,s)∥ ≤ Ke^{-α(t−s)}来控制解的差异。
• 借助引理1，通过A(t+τ)−A(t)的范数估计∥X(t+τ,s+τ)−X(t,s)∥，实现稳定性分析。
• 通过不等式(6)–(8)的压缩映射论证，证明当κω = 0时，xψ(t)为Poisson稳定。
• 通过混合系统数值构造Poisson稳定函数：离散Lorenz映射λ_{n+1} = μλ_n(1−λ_n)，μ ∈ [3.89, 4]，以及连续解Θ(t) = ∫_{-∞}^t e^{-2(t−s)}Ω(s)ds，其中Ω(t)为分段常数函数。

实验结果

研究问题

• RQ1 能否在拟线性系统中严格定义并分析一种结合周期性与Poisson稳定性的新解类？
• RQ2 在何种条件下，周期函数与Poisson稳定函数之和仍为Poisson稳定解？
• RQ3 Poisson数κω在决定解的重现行为中起何种作用？
• RQ4 如何在动力系统中对Poisson稳定函数进行数值模拟与可视化？
• RQ5 MPPS解能否推广至Lorenz、Rössler或Chua等混沌系统，其对控制与优化有何启示？

主要发现

• 在条件(C1)–(C4)，包括κω = 0下，系统x′(t) = A(t)x(t) + φ(t) + ψ(t)存在唯一渐近稳定的MPPS解。
• 当Poisson数κω = 0且∥A(t+tk)−A(t)∥较小时，解xψ(t) = ∫_{-∞}^t X(t,s)ψ(s)ds被证明为Poisson稳定。
• 函数Θ(t) = ∫_{-∞}^t e^{-2(t−s)}Ω(s)ds有界，且满足sup_t |Θ(t)| ≤ 1/2，当Ω(t)由μ = 3.89的Lorenz映射生成时，Θ(t)为Poisson稳定。
• 数值模拟证实Θ(t)表现出Poisson稳定性：当n → ∞时，|Θ(t+ζn)−Θ(t)|在紧区间上一致趋于0。
• 若υ(t)为ω-周期函数且G满足Lipschitz条件，则函数G(t, υ(t))为Poisson稳定，前提是κω = 0。
• 本研究通过引入周期分量，推广了先前关于不可预测与Poisson稳定解的研究，使结果在神经科学与工程领域具有更广泛的应用潜力。