[论文解读] Discontinuous Almost Automorphic Functions and Almost Automorphic Solutions of Differential Equations with Piecewise Constant Argument

Alan Chávez, Samuel Castillo+1 more|arXiv (Cornell University)|Jun 4, 2013

Nonlinear Differential Equations Analysis参考文献 26被引用 16

一句话总结

本文引入了Z-几乎殆周期函数——在具有分段常数变量的微分方程（DEPCA）中自然出现的不连续函数——以研究几乎殆周期解。通过利用指数分离性与离散双几乎殆周期格林函数，作者证明了非自治DEPCA的有界解是几乎殆周期的，当且仅当其在整数上的离散限制是离散几乎殆周期的，从而将几乎殆周期解理论推广至混合连续-离散系统。

ABSTRACT

In this article we introduce a class of discontinuous almost automorphic functions which appears naturally in the study of almost automorphic solutions of differential equations with piecewise constant argument. Their fundamental properties are used to prove the almost automorphicity of bounded solutions of a system of differential equations with piecewise constant argument. Due to the strong discrete character of these equations, the existence of a unique discrete almost automorphic solution of a non-autonomous almost automorphic difference system is obtained, for which conditions of exponential dichotomy and discrete Bi-almost automorphicity are fundamental.

研究动机与目标

• 为DEPCA理论中缺乏对不连续几乎殆周期函数的系统性处理提供解决方案。
• 为具有分段常数变量的混合微分方程建立几乎殆周期解的理论框架。
• 证明非自治DEPCA的有界解是几乎殆周期的，当且仅当其整数值序列是离散几乎殆周期的。
• 将现有关于几乎周期与伪几乎周期解的结果推广至DEPCA中的几乎殆周期设定。
• 引入并分析Z-几乎殆周期函数的性质，这些函数虽不连续，但在整数点处保持结构上的规律性。

提出的方法

• 将Z-几乎殆周期函数引入为一类新的不连续函数，其为几乎殆周期函数在离散点上的推广。
• 通过矩阵A与B的同时三角化，将系统解耦为一系列标量方程的层次链。
• 应用指数分离性条件，以确保关联差分算子的稳定性与可逆性。
• 采用离散双几乎殆周期格林函数，为差分方程x(n+1) = D(n)x(n) + h(n)构造唯一的离散几乎殆周期解。
• 证明若离散序列x(n)是离散几乎殆周期的，则通过三角化系统中的反向代入，连续解x(t)为几乎殆周期的。
• 利用几乎殆周期函数与Z-几乎殆周期函数的复合（例如f([t]））仍为Z-几乎殆周期的性质，实现递归分析。

实验结果

研究问题

• RQ1 即使解在整数点上的限制不连续，具有分段常数变量的微分方程的有界解是否仍可为几乎殆周期？
• RQ2 何种条件可确保非自治差分方程存在唯一离散几乎殆周期解？
• RQ3 如何定义并表征Z-几乎殆周期函数，以处理DEPCA中x([t])的不连续性？
• RQ4 连续解x(t)的几乎殆周期性是否等价于序列x(n)的离散几乎殆周期性？
• RQ5 指数分离性在确保由DEPCA导出的差分方程存在离散几乎殆周期解方面起何种作用？

主要发现

• 微分方程DEPCA x'(t) = Ax(t) + Bx([t]) + f(t) 的有界解x(t)是几乎殆周期的，当且仅当序列x(n)是离散几乎殆周期的。
• 在指数分离性及D(n)与h(n)的离散双几乎殆周期性条件下，差分方程x(n+1) = D(n)x(n) + h(n)存在唯一离散几乎殆周期解。
• Z-几乎殆周期函数推广了Dads与Lachimi引入的不连续几乎周期函数，为分析DEPCA提供了自然框架。
• 尽管x([t])不连续，DEPCA的解x(t)仍为几乎殆周期，这是由于x([t])的Z-几乎殆周期性以及系统的递归结构所致。
• 该结果在矩阵A与B可同时三角化的条件下成立，该条件允许通过系统维数的归纳法进行递归证明。
• 推论表明，若f为Z-几乎周期或具有有理周期的Z-周期函数，则有界解分别为几乎周期或周期函数，具体取决于x(n)的离散行为。