[论文解读] Existence of solution to a nonlinear first-order dynamic equation on time scales

Benaoumeur Bayour, Ahmed Hammoudi+1 more|arXiv (Cornell University)|Dec 3, 2015

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

一句话总结

本文建立了在任意有界时标上具有周期边界条件的非线性一阶纳德拉动态方程解的存在性。通过引入一种新颖的‘管状解’概念——即下解和上解的推广——作者利用施瓦兹不动点定理，对由动态方程导出的紧算子进行分析，证明了解的存在性，确保解始终位于以中心曲线 v 为中心、半径为 M 的预定管状区域内。

ABSTRACT

We prove existence of solution to a nonlinear first-order nabla dynamic equation on an arbitrary bounded time scale with boundary conditions, where the right-hand side of the dynamic equation is a continuous function.

研究动机与目标

• 在任意有界时标上建立非线性一阶纳德拉动态方程解的存在性。
• 通过时标微积分，将连续与离散边值问题统一于同一框架之中。
• 将下解与上解的概念推广为‘管状解’，以获得更一般的解存在性结果。
• 应用不动点理论，证明在以中心曲线 v 为中心、半径为 M 的预定管状区域内解的存在性。

提出的方法

• 引入管状解 (v, M) 的概念，其中 v 为一中心曲线，M 为半径函数。
• 基于动态方程与边界条件，定义非线性算子 T̂p。
• 利用适配于时标的阿兹拉拉-阿斯科利定理，证明算子 T̂p 是紧的。
• 应用施瓦兹不动点定理，保证 T̂p 存在不动点，该不动点对应于一个解。
• 使用时标上的纳德拉微分与积分分析动态方程及其解。
• 采用广义导数与跳跃算子（ρ, σ, ν）统一处理连续与离散情形。

实验结果

研究问题

• RQ1 在何种条件下，时标上的非线性一阶纳德拉动态方程允许存在解？
• RQ2 下解与上解的概念如何推广，以处理更复杂的非线性动力学？
• RQ3 是否可以保证在以中心曲线 v 为中心的预定管状区域内解的存在性？
• RQ4 解算子的紧性在通过不动点理论证明解的存在性中起何种作用？
• RQ5 时标性质（如离散或连续）如何影响解的存在性与结构？

主要发现

• 管状解 (v, M) 的存在性意味着动态方程 (1.1) 至少存在一个解 x，使得对所有 t ∈ T，有 ‖x(t) − v(t)‖ ≤ M(t)。
• 解算子 T̂p 是紧的，从而通过施瓦兹定理可保证不动点的存在性。
• 若 t 为左稠密点，则范数函数的纳德拉导数由向量函数导数的内积公式给出。
• 若 t 为左散点，则范数的纳德拉导数上界由向量导数与半径函数的组合所界定。
• 当 t 属于满足 r(t) ≥ 0 的集合时，若 r∇(t) < 0，则解不会离开管状区域，从而保持在预定边界内。
• 在例 3.4 中，问题 x∇(t) = a₁‖x(t)‖²x(t) − a₂x(t) + a₃φ(t)，当 a₂ ≥ a₁ + a₃ + 1 时，存在解满足对所有 t ∈ T，有 ‖x(t)‖ ≤ 1，因为 (v, m) ≡ (0, 1) 是一个管状解。