[論文レビュー] Remarks on the asymptotic behavior of the solution of an abstract damped wave equation

Hisashi Nishiyama|arXiv (Cornell University)|May 6, 2015

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

ひとこと要約

本稿は、一般の作用素論的条件下で、時間 $ t \to \infty $ のとき、抽象的減衰波動方程式の解と熱型方程式の解が漸近的に同値であることを確立する。スペクトル解析とエネルギー推定を用いて、解が $ B^{-1/2}AB^{-1/2} $ によって生成される熱半群と同様に $ t^{-1} $ の速さで衰えることを証明し、最良の衰えの割合を示す。さらに、追加の拡散仮定のもとで、$ L^1 \to L^2 $ の推定へと拡張する。

ABSTRACT

We study an abstract damped wave equation. We prove that the solution of the damped wave equation becomes closer to the solution of a heat type equation as time tend to infinity. As an application of our approach, we also study the asymptotic behavior of the damped wave equation in Euclidean space under the geometric control condition.

研究の動機と目的

• 減衰波動方程式の解が漸近的に熱方程式の解に類似することの直感的考えを厳密に正当化すること。
• ヒルベルト空間における抽象的減衰波動方程式の解について、$ t^{-1} $ の鋭い衰えの推定を確立すること。
• 拡散型推定を用いて、初期データが $ L^1 \cap L^2 $ にある場合の漸近的プロファイルを拡張すること。
• ユークリッド空間における可変減衰の状況を、幾何的制御条件のもとで分析すること。
• 減衰が一部の集合上で消える可能性がある場合の摂動に対しても、最良の衰えの割合を提供し、結果を拡張すること。

提案手法

• 作用素 $ A > 0 $、$ B \geq c\,\text{Id} $、および $ B^{\pm 1/2} $ が $ D(A) $ 上で有界であるという条件下で、減衰波動方程式を $ (\partial_t^2 + A + B\partial_t)u = 0 $ として形式化する。
• 極限の熱型方程式を定義するために、変換作用素 $ \tilde{A} = B^{-1/2}AB^{-1/2} $ を導入し、$ B^{1/2}(\partial_t + \tilde{A})B^{1/2}v = 0 $ を得る。
• エネルギー推定とリゾルベント推定を用いて、$ u(t) \approx B^{-1/2}e^{-t\tilde{A}}B^{1/2}u_0 + B^{-1/2}e^{-t\tilde{A}}B^{-1/2}u_1 $ という漸近的プロファイルを導出する。
• 低周波数および中周波数成分のラプラス変換を制御するために、微局所解析とカルレマン推定を用いる。
• $ e^{-t\tilde{A}} $ に対する $ L^1 $-有界性と拡散推定を課すことにより、$ L^2 $-ノルムにおける衰えの割合を精緻化する。
• $ \mathbb{R}^d $ 上の変数係数減衰波動方程式に理論を適用し、グローバルな衰えを保証する幾何的制御条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 減衰波動方程式の解が $ t \to \infty $ のとき、どのような条件下で熱型解に収束するか？
• RQ2 解と熱型プロファイルとの差の最良の衰えの割合は何か？
• RQ3 初期データが $ L^1 \cap L^2 $ にある場合、漸近的プロファイルはどのように改善できるか？
• RQ4 減衰係数 $ a(x) $ が一部の集合で消える場合でも、幾何的制御条件が成立する限り、拡散現象を拡張できるか？
• RQ5 可変減衰の下で $ t^{-1} $ の衰えを確立するために必要なスペクトル的およびエネルギー的推定は何か？

主な発見

• 初期データ $ u_0 \in D(\sqrt{A}) $、$ u_1 \in H $ のもとで、抽象的減衰波動方程式の解は、$ H $-ノルムにおいて $ t^{-1} $ の衰えを示し、$ B^{-1/2}e^{-t\tilde{A}}B^{1/2}u_0 + B^{-1/2}e^{-t\tilde{A}}B^{-1/2}u_1 $ に漸近的に収束する。
• $ t^{-1} $ の衰えの割合は最良であり、命題 5.6 により確認され、[6] の結果を一般化する。
• $ L^1 \cap L^2 $ 初期データに対して、$ e^{-t\tilde{A}} $ に対する $ L^1 $-有界性と拡散推定を課すと、衰えの割合が $ t^{-m-1} $ に改善され、ここで $ m $ は $ e^{-t\tilde{A}} $ の拡散率を表す。
• 幾何的制御条件により、$ \mathbb{R}^d $ 上の変数係数減衰波動方程式に対し、減衰が一部の集合上で消える場合でも $ t^{-1} $ のエネルギー衰えが保証される。
• カルレマン不等式と準楕円的推定を用いた低周波数リゾルベント推定により、リゾルベントの $ \mathcal{O}(|\lambda|^{-1}) $ の振る舞い（$ t^{-1} $ の衰えを示唆）が確認される。
• 本手法は定数係数減衰波動方程式 $ \partial_t^2 u - \Delta u + \partial_t u = 0 $ に対しても適用可能であり、$ d > 3 $ のとき、既知の $ L^1 \to L^2 $ の衰えの割合 $ t^{-d/4} $ を回復する。