[論文レビュー] Energy decay for solutions of the wave equation with general memory boundary conditions

Pierre Cornilleau, Serge Nicaise|arXiv (Cornell University)|Feb 11, 2009

Stability and Controllability of Differential Equations参考文献 14被引用数 5

ひとこと要約

本稿は、境界の一部でディリクレ条件、残りの部分で一般の記憶遅れ境界条件を課した波動方程式に対して、指数的エネルギー減衰を確立する。マルチプライヤー法と積分不等式を用い、測度 $\mu$ に対して弱い条件 — 特に $\alpha > 0$ に対して $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$ — を満たす場合に指数的安定性を証明する。これは記憶と遅れ減衰に関する先行研究を一般化・拡張するものである。

ABSTRACT

We consider the wave equation in a smooth domain subject to Dirichlet boundary conditions on one part of the boundary and dissipative boundary conditions of memory-delay type on the remainder part of the boundary, where a general borelian measure is involved. Under quite weak assumptions on this measure, using the multiplier method and a standard integral inequality we show the exponential stability of the system. Some examples of measures satisfying our hypotheses are given, recovering and extending some of the results from the literature.

研究の動機と目的

• ディリクレ境界条件と記憶遅れ境界条件を併用する波動方程式の指数的安定性を確立すること。
• 境界減衰項に一般のボレル測度 $\mu$ を許容することで、既存の減衰結果を一般化すること。
• 減衰カーネルに対する滑らかさや指数的減衰の要件を回避することで、仮定を弱める。
• 文献に登場する記憶型および遅延型減衰モデルの結果を統一・拡張すること。

提案手法

• ベクトル場 $m$ が $\operatorname{div}(m)$ と $\nabla m^s$ の最小固有値を含む幾何的条件を満たすように用いるマルチプライヤー法。
• リャプノフ型エネルギー関数を定義し、その時間微分を導出して減衰を分析する。
• 標準的な積分不等式を用いて、$\int_0^t u'(t-s) d\mu(s)$ を含む記憶項を制御する。
• 指数的減衰を保証するための鍵となる条件 $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$ を課す（$\alpha > 0$）。
• フィビニの定理と測度論的推定を用いてエネルギー減衰率を評価する。
• 観測可能性とエネルギー制御を保証するため、$c(m) > 0$ を満たす $\mathcal{C}^1$ ベクトル場 $m$ の存在に依存する。

実験結果

リサーチクエスチョン

• RQ1 境界測度 $\mu$ がどのような条件下で、記憶遅れ減衰を有する波動方程式が指数的エネルギー減衰を示すか？
• RQ2 指数的安定性の結果を、カーネルの滑らかさや減衰性を要件としない一般のボレル測度に拡張できるか？
• RQ3 提案された条件 $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$ は、文献における先行仮定と比べてどのように異なるか？
• RQ4 この枠組みは、記憶型および遅延型減衰モデルの結果を統合し、拡張できるか？

主な発見

• 条件 $\int_0^{\infty} e^{\alpha s} d|\mu|(s) < \mu_0$（$\alpha > 0$）の下で指数的エネルギー減衰が確立され、これは先行仮定よりも弱い。
• 連続的カーネル $d\mu(s) = k(s)ds$ および離散測度 $\mu = \sum \mu_i \delta_{\tau_i}$ の両方に対して成立し、$\mu = \mu_1 \delta_\tau$ による遅延モデルも含む。
• カーネル $k(s)$ の微分可能性や一様な指数的減衰性を要件としないため、[1, 3, 5, 9] の結果を拡張する。
• 遅延型減衰に対する指数的安定性結果 [10, 11, 12] を回復・一般化する。
• compactly 支持された測度に対しては、$\inf_{\partial\Omega_N} m\cdot\nu > 0$ のみを仮定すれば、支持に関する追加仮定なしに指数的減衰が得られる。
• 証明技法は頑健であり、記憶型・遅延型・中間的ケース（例：$d\mu(s) = k(s)\chi_{[\tau_1,\tau_2]}(s)ds$）に一様に適用可能である。