[論文レビュー] Well-posedness and exponential decay estimates for a Korteweg-de Vries-Burgers equation with time-delay

Vilmos Komornik, Cristina Pignotti|arXiv (Cornell University)|Jun 6, 2019

Stability and Controllability of Differential EquationsEngineering参考文献 22被引用数 19

ひとこと要約

本稿では、リャプノフ汎関数法と半群論を用いて、時間遅れフィードバックを有するKorteweg–de Vries–Burgers方程式の適切性と指数的減衰を確立する。減衰係数 $\lambda_0$ および $\lambda$ について、$\|\beta + \beta_0\|_p < \left(\frac{\alpha_0 - \alpha}{c_p}\right)^{1 - \frac{1}{2p}}$ といった明示的な条件を導出し、元の減衰が不定であっても指数的安定性を保証する。これは、従来の小さな値の仮定を超えるものである。

ABSTRACT

We consider the KdV-Burgers equation and its linear version in presence of a delay feedback. We prove well-posedness of the models and exponential decay estimates under appropriate conditions on the damping coefficients. Our arguments rely on a Lyapunov functional approach combined with a step by step procedure and semigroup theory.

研究の動機と目的

• 時間遅れフィードバックを有するKorteweg–de Vries–Burgers方程式の適切性と長期的挙動を分析すること。
• 遅延係数 $\lambda$ の小さな値の仮定を必要としていた従来の手法の制限を克服すること。
• 時間遅れ付きKdV–Burgers方程式の線形および非線形版に対して、指数的減衰推定を確立すること。
• 元の減衰係数 $\lambda_0$ が不定であっても、すなわち正の定数より下限されない場合にも安定性結果を一般化すること。
• 時間遅れの不安定化作用を相殺するための、$\lambda_0$ および $\lambda$ に対する明示的かつ定量的な条件を提供すること。

提案手法

• 時間遅れ項と非遅れ項の両方を含む減衰項を統合したリャプノフ汎関数法を用いて、エネルギー推定を導出する。
• 初期データが $C([- au,0]; L^2(\mathbb{R}))$ に属する場合、空間 $C([- au, +\infty); L^2(\mathbb{R}))$ における適切性を段階的手続きで証明する。
• 線形化モデルに遅れがない場合に、強い連続半群の生成を確立するために半群論を用いる。
• エネルギー汎関数 $\mathcal{E}(t)$ を $\|u(t)\|_{L^2}^2$ と $\|u_x(t)\|_{L^2}^2$ の和として定義し、その減衰を追跡する。
• 非線形項および遅延項を制御するため、ホルダーおよびヤングの不等式を用い、特に $\|\beta + \beta_0\|_p$ および $\|u\|_{L^{2q}}^2$ を扱う。
• 指数的減衰を保証するための重要な条件 $\|\beta + \beta_0\|_p < \left(\frac{\alpha_0 - \alpha}{c_p}\right)^{1 - \frac{1}{2p}}$ を導出する。ここで $c_p$ はソボレフ埋め込み定数である。

実験結果

リサーチクエスチョン

• RQ1 減衰係数 $\lambda_0$ および $\lambda$ がどのような条件下で、時間遅れ付きKdV–Burgers方程式が一意なグローバル解を有するか。
• RQ2 元の減衰が不定であっても、時間遅れ付き線形モデルにおいて $L^2$ ノルムの指数的減衰が保証されるか。
• RQ3 時間遅れの不安定化作用をどのように相殺して安定性を確保できるか。また、フィードバック係数に対する明示的な上限は何か。
• RQ4 線形モデルの安定性結果を非線形KdV–Burgers方程式への時間遅れフィードバックに拡張できるか。
• RQ5 時間遅れの影響の $L^p$ ノルムを用いて、正確な定量的減衰率 $\tilde{\gamma}$ を係数 $\lambda_0$, $\lambda$ で表すとどうなるか。

主な発見

• 初期データが $C([- au,0]; L^2(\mathbb{R}))$ に属する場合、$\lambda_0, \lambda \in L^\infty(\mathbb{R})$ であれば、段階的半群論的手続きにより、問題 (1.2) は $C([- au, +\infty); L^2(\mathbb{R}))$ で適切である。
• 条件 $\|\beta + \beta_0\|_p < \left(\frac{\alpha_0 - \alpha}{c_p}\right)^{1 - \frac{1}{2p}}$ の下で、エネルギー $\mathcal{E}(t)$ の指数的減衰が確立され、$\alpha_0 > \alpha \geq 0$ より $\tilde{\gamma} > 0$ が保証される。
• 減衰率は明示的に $\tilde{\gamma} = \min\left\{2\left(\alpha_0 - \alpha - \frac{2p-1}{2p}\left(\frac{2}{p}\right)^{\frac{1}{2p-1}}\|\beta + \beta_0\|_p^{\frac{2p}{2p-1}}\right), 1\right\}$ で与えられ、$p > 1$ である。
• すべての $t \geq 0$ に対して、エネルギー推定 $\mathcal{E}(t) \leq C(u_0)e^{-\tilde{\gamma}t}$ が成り立つ。ここで $C(u_0)$ は初期データに依存する。
• 非線形モデル (1.1) に対しても、同じ条件の下で、弱解フレームワークを用いて同様の指数的減衰推定が成り立つ。
• 本手法は $\|\lambda\|_\infty$ の小さな値の仮定を回避しており、従来の研究がそのような制約を必要としていたのとは異なる。