[论文解读] Controllability of the Strongly Damped Impulsive Semilinear Wave Equation with Memory and Delay

Cristi Guevara, Hugo Leiva|arXiv (Cornell University)|Apr 9, 2017

Stability and Controllability of Differential Equations参考文献 8被引用 3

一句话总结

本文通过一种新颖方法，避免使用不动点定理，建立了具有记忆、脉冲和时滞的强阻尼拟线性波动方程的近似可控性。通过应用 A.E. Bashirov 等人的技术，并利用时滞在短时间内引导控制解沿固定曲线运动，作者证明了即使由于记忆和脉冲效应导致控制序列无界，系统仍可被引导至任意接近期望终态的状态。

ABSTRACT

This article is devoted to study the interior approximated controllability of the strongly damped semilinear wave equation with memory, impulses and delay terms. The problem is challenging since the state equation contains memory and impulsive terms yielding to potential unbounded control sequences steering the system to a neighborhood of the final state, thus fixed point theorems cannot be used directly. As alternative, the A.E Bashirov and et al. techniques are applied and together with the delay allow the control solution to be directed to fixed curve in a short time interval and achieve our result.

研究动机与目标

• 研究有界域内具有记忆、脉冲和时滞的强阻尼拟线性波动方程的近似可控性。
• 解决记忆和脉冲项可能导致控制序列无界，从而无法直接应用不动点定理的挑战。
• 开发一种控制策略，确保系统可通过有界控制输入被引导至期望终态的任意接近位置。
• 将现有可控性结果扩展至同时具有记忆、脉冲和时滞效应的系统。

提出的方法

• 作者采用基于 A.E. Bashirov 等人工作的无不动点技术，避免依赖在无界控制序列下失效的不动点定理。
• 通过时滞反馈机制定义控制解，使系统在接近终时的短时间内沿固定曲线运动。
• 在希尔伯特空间框架下重构系统，使用状态空间 $\mathcal{Z}^{1/2} = D((-Δ)^{1/2}) \times L^2(\Omega)$，演化由强连续半群控制。
• 利用常数变易公式构造弱解，整合分布控制 $u$、记忆积分项 $\int_0^t M(t,s)g(w(s-r,x))ds$ 和非线性项 $f$。
• 设计控制输入 $u_\alpha^\delta$，使其在最终时间区间 $[\tau - \delta, \tau]$ 内引导系统，确保在 $\epsilon$ 范围内收敛至目标状态。
• 通过估计算子范数和非线性项，控制解与目标状态之间的距离得到有界控制，从而证明近似可控性。

实验结果

研究问题

• RQ1 具有记忆、脉冲和时滞的强阻尼拟线性波动方程是否仍能实现近似可控性，即使记忆和脉冲效应导致控制序列无界？
• RQ2 A.E. Bashirov 等人的无不动点技术是否在此背景下可作为标准不动点定理的可行替代方案？
• RQ3 是否可利用时滞项在短时间内引导控制解沿固定曲线运动，以实现近似可控性？
• RQ4 当系统同时包含记忆和脉冲扰动时，近似可控性是否仍能保持？
• RQ5 所提方法是否可推广至其他具有类似特征的拟线性演化方程类别？

主要发现

• 对于任意 $\epsilon > 0$，系统在空间 $\mathcal{Z}^{1/2}$ 中是近似可控的，即解可被引导至任意期望终态的 $\epsilon$-邻域内。
• 该控制策略通过时滞反馈机制避免使用不动点定理，确保有界性和收敛性。
• 控制解 $z^{\delta,\alpha}(\tau)$ 与目标状态 $z_1$ 之间的距离有界，满足 $\|z^{\delta,\alpha}(\tau) - y^{\delta,\alpha}(\tau)\| < \epsilon/2$ 且 $\|y^{\delta,\alpha}(\tau) - z_1\| < \epsilon/2$。
• 该方法对记忆、脉冲和时滞具有鲁棒性，通过构造一个在这些效应下仍保持有界的控制序列得到验证。
• 该方法可推广至其他系统，包括具有记忆和时滞的脉冲拟线性梁方程，以及希尔伯特空间中更一般的拟线性演化方程。
• 该结果在非线性项满足Lipschitz型有界条件的假设下成立：$|f(t,w,v,u)| \leq a_0\sqrt{|w|^2 + |v|^2} + b_0$，确保解的存在性与唯一性。