[论文解读] A Liapunov function approach to the stabilization of second order coupled systems

Alain Haraux, Mohamed Ali Jendoubi|arXiv (Cornell University)|Apr 22, 2016

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

一句话总结

本文提出了一种新颖的李雅普诺夫函数方法，用于稳定具有部分阻尼的二阶耦合系统，即使经典方法失效时也能证明指数衰减。通过构造一个显式的、能量等价的李雅普诺夫泛函，作者在强耦合或无界耦合算子条件下证明了指数稳定性，恢复并扩展了先前的渐近稳定性结果，并给出了精确的衰减估计。

ABSTRACT

In 2002, Fatiha Alabau, Piermarco Cannarsa and Vilmos Komornik investigated the extent of asymptotic stability of the null solution for weakly coupled partially damped equations of the second order in time. The main point is that the damping operator acts only on the first component and, whenever it is bounded, the coupling is not strong enough to produce an exponential decay in the energy space associated to the conservative part of the system. As a consequence, for initial data in the energy space, the rate of decay is not exponential. Due to the nature of the result it seems at first sight impossible to obtain the asymptotic stability result by the classical Liapunov method. Surprisingly enough, this turns out to be possible and we exhibit, under some compatibility conditions on the operators, an explicit class of Liapunov functions which allows to do 3 different things: 1) When the problem is reduced to a stable finite dimensional space, we recover the exponential decay by a single differential inequality and we estimate the logarithmic decrement of the solutions with worst (slowest) decay. The estimate is optimal at least for some values of the parameters.

研究动机与目标

• 为克服经典李雅普诺夫方法在证明弱耦合、部分阻尼的二阶系统指数稳定性方面的局限性。
• 构造一类显式的李雅普诺夫函数，使其在强耦合或无界耦合算子条件下产生指数衰减估计。
• 利用统一的李雅普诺夫框架，解释并推广先前工作（Alabau 等，2002）中的非指数衰减结果。
• 在最优参数条件下，建立最慢衰减解的精确对数衰减率估计。

提出的方法

• 作者构造了一个修改后的能量泛函 $ H_{\rho}(u,v,u',v') $ 作为李雅普诺夫函数，将原始能量与涉及 $ u $、$ v $、$ u' $ 和 $ v' $ 的交叉项相结合。
• 引入参数 $ \rho $，并定义 $ H_{\rho} = E_{-1} + \rho K $，其中 $ E_{-1} $ 是一种修改后的能量，$ K $ 是一个正定二次型。
• 通过使用杨不等式并仔细选择参数，对交叉项进行估计后，时间导数 $ \frac{d}{dt}H_{\rho} $ 被上界控制为一个负定二次型，从而确保衰减。
• 通过选择足够小的 $ \rho $，并调整参数 $ \rho $、$ \rho $ 和 $ \rho $，确保李雅普诺夫函数的正定性及其导数的严格负性。
• 利用插值和范数等价性，将 $ H_{\rho} $ 与原始能量 $ E_0 $ 关联，从而实现衰减率估计。
• 该方法依赖于算子 $ A_1 $、$ A_2 $、$ B $、$ C $ 的谱性质，特别是 $ A_1 $ 的强制性以及耦合常数 $ c $ 的大小。

实验结果

研究问题

• RQ1 能否使用李雅普诺夫函数证明弱耦合二阶系统在部分阻尼条件下的指数稳定性，即使经典线性化方法失效？
• RQ2 当耦合算子为强或无界时，何种显式形式的李雅普诺夫函数可确保指数衰减？
• RQ3 如何通过李雅普诺夫框架解释并恢复 Alabau 等（2002）中的非指数衰减结果？
• RQ4 在强耦合情况下，最慢衰减解的精确衰减率是什么？
• RQ5 该方法能否扩展以证明弱耦合情况下 $ 1/t $ 衰减率的最优性？

主要发现

• 作者构造的李雅普诺夫函数 $ H_{\rho} $ 满足 $ \frac{d}{dt}H_{\rho} \leq -\gamma K $，其中 $ \gamma > 0 $，从而证明了能量的指数衰减。
• 对于有限维系统，该方法恢复了指数衰减，并给出了最优参数条件下的精确对数衰减率估计。
• 当耦合算子为单位算子的倍数时（如 Alabau 等，2002 所示），该方法解释了非指数衰减现象，并恢复了 $ 1/t $ 衰减率。
• 对于强或无界耦合算子，该方法得出了新的指数衰减结果，并为最坏情况下的解提供了精确的衰减估计。
• 证明了能量 $ E_{-1} $ 与 $ K $ 等价，满足 $ \frac{\lambda_1 - c}{2\lambda_1} K \leq E_{-1} \leq \frac{\lambda_1 + c}{2\lambda_1} K $，从而实现了范数比较。
• 在弱耦合情况下，$ 1/t $ 衰减率被证明为最优，且满足 $ K(t) \leq C \frac{E_0}{t} $，确认了结果的精确性。