[论文解读] Structure of the solution set to differential inclusions with impulses at variable times

Agata Grudzka, Sebastian Ruszkowski|arXiv (Cornell University)|Jun 11, 2014

Nonlinear Differential Equations Analysis参考文献 13被引用 5

一句话总结

本文研究了在变时间脉冲下微分包含解集的拓扑结构，引入一种专门的巴拿赫空间以处理依赖状态的跳跃时间。证明了解集为 $ R_{\theta} $-集——非线性分析中的关键结果，确保紧致性与可缩性，将先前结果扩展至具有状态依赖脉冲的脉冲系统。

ABSTRACT

A topological structure of the solution set to differential inclusions with impulses at variable times is investigated. In order to do that an appropriate Banach space is defined. It is shown that the solution set is an $R_δ$-set. Results are new also in the case of~differential equations with impulses at variable times.

研究动机与目标

• 分析具有变时间脉冲的微分包含解集的拓扑结构，此类问题的现有理论尚不充分。
• 克服状态依赖脉冲时间带来的挑战，这些时间使得标准函数空间无法充分捕捉解的性质。
• 在具有跳跃的分段连续函数上定义新的巴拿赫空间结构，确保与脉冲动力学的兼容性。
• 建立解集为 $ R_{\delta} $-集，即一种拓扑性质，意味着紧致性与可缩性，这对存在性与稳定性分析至关重要。
• 将已知的固定时间脉冲系统结果扩展至更复杂的变时间情形，为后续定性分析奠定基础。

提出的方法

• 定义一个巴拿赫空间 $ CJ_m([0,a]) $，其由具有 $ m $ 个跳跃的连续函数构成，配备一种范数，结合函数的上确界范数与跳跃时间及大小的总变差。
• 引入一个函数 $ \hat{\varphi}(t) $，用于从连续部分与跳跃数据重构分段连续函数，确保跳跃顺序正确。
• 利用收敛定理与豪斯多夫非紧性测度，通过 $ R_{\delta} $-集的概念分析解集的拓扑结构。
• 应用阿兹拉拉-阿斯科利定理，从有界且等度连续的解族中提取一致收敛的子列。
• 通过收敛定理与脉冲函数的连续性假设，证明解集是递减的紧致且可缩集的交集。
• 验证时间到跳跃函数 $ \tau_j $ 满足严格不等式条件，确保每个解恰好穿过一次超曲面 $ \Sigma_j $，使用导数估计与数学归纳法。

实验结果

研究问题

• RQ1 具有变时间脉冲的微分包含解集的拓扑结构是什么？
• RQ2 能否构建一个巴拿赫空间框架，以容纳状态依赖跳跃时间，同时保持解的收敛性？
• RQ3 在适当的连续性与有界性条件下，解集是否紧致且可缩，即是否为 $ R_{\delta} $-集？
• RQ4 如何确保每个脉冲超曲面 $ \Sigma_j $ 被任意解恰好穿过一次？
• RQ5 当脉冲依赖于状态轨迹时，解集是否仍保持有利的拓扑性质（如 $ R_{\delta} $）？

主要发现

• 证明了具有变时间脉冲的微分包含解集为 $ R_{\delta} $-集，这是非线性分析中的重要拓扑结果。
• 证明了解集是递减的紧致且可缩集序列的交集，满足 $ R_{\delta} $-集的刻画条件。
• 对于仅含一个脉冲的系统，解集为 $ R_{\delta} $-集，如定理 3.1 所建立。
• 对于含 $ m $ 个脉冲的系统，通过归纳法将结果推广，证明在相同假设下解集仍为 $ R_{\delta} $-集。
• 通过一个实例表明，定理 3.1 的条件在具有状态依赖转移与利率的金融模型中得以满足。
• 本文确认，即使脉冲函数与时间到跳跃映射为非线性且依赖于状态，解集的 $ R_{\delta} $-结构依然成立。