[論文レビュー] Asymptotic Behaviour of Solutions to Hyperbolic Partial Differential Equations

Michael Ruzhansky, Jens Wirth|arXiv (Cornell University)|Mar 17, 2012

Advanced Mathematical Physics Problems参考文献 41被引用数 3

ひとこと要約

本稿は、時間に依存する係数を有する双曲型偏微分方程式の解の長時間漸近的挙動を、フーリエ積分法、対角化技術、漸近積分を用いて調査し、鋭いエネルギーおよび分散的推定を得る。主な貢献は、一般化されたエネルギー保存が成り立つための条件を確立し、係数の弱い減衰仮定がエネルギー増大を引き起こす可能性があることを示すことにより、安定性の鋭さの閾値を明らかにすることにある。

ABSTRACT

These notes provide an introduction to and a survey on recent results about the long-time behaviour of solutions to hyperbolic partial differential equations with time-dependent coefficients. Particular emphasis is given also to questions about the sharpness of estimates. The selection of materials is based on the mini-courses taught by the first author at the CRM, Barcelona, and by the second author at Aalto University, Helsinki, both in 2011.

研究の動機と目的

• 時間に依存する係数を有する双曲型PDEの解の長時間挙動を理解すること、特に低次の摂動が存在する場合に注目する。
• 係数の減衰と解の安定性の間の相互作用に注目し、このような方程式に対する鋭いエネルギーおよび分散的推定を導出すること。
• エネルギー増大が最小限の係数の減衰仮定のもとで発生する反例を構成することで、既存の推定の鋭さを調査すること。
• 対角化および漸近積分の役割が、一様なエネルギー評価および一般化されたエネルギー保存を導出する上で果たすものを探ること。
• 散乱現象または放物型減衰が、減衰を伴う双曲的系においていつ発生するかを明確にすること。

提案手法

• 周波数空間における解の挙動を分析するため、フーリエ積分表現および振動積分推定を用いる。
• 双曲的系を分解し、漸近解析に適したスカラー方程式に還元するための対角化スキームを適用する。
• 領域分割および接触指数理論を用いて、異なる周波数領域における解の減衰率を推定する。
• 摂動級数および一般化されたエネルギー保存を用いて、時間経過に伴う解のノルムを制御する。
• 漸近積分技術を用いて、低周波数領域の挙動を分析し、長時間展開を導出する。
• 不安定性およびエネルギー増大を示すために、明示的な係数列および初期データを構成し、推定の鋭さを証明する。

実験結果

リサーチクエスチョン

• RQ1 時間に依存する係数にどのような条件を課すと、一般化されたエネルギーが時間に一様に有界に保たれるか？
• RQ2 変数係数を有する双曲的系において、エネルギーおよび点関数ノルムの鋭い減衰率は何か？
• RQ3 部分的減衰を伴う双曲的系において、散乱現象が観察可能か、またその係数の条件は何か？
• RQ4 係数の減衰が失敗する（例：減衰が遅い、または振動的である）と、解のエネルギー増大はどのように生じるか？
• RQ5 係数に関する記号的条件をどれほど弱くできるか、一様なエネルギー評価を失わない範囲で。

主な発見

• 係数が $\mathcal{T}_{\nu}\{0\}$ のクラスに属する双曲的方程式の解は、$\nu > 0$ であっても、減衰率が遅すぎると、$a(t) \in \mathcal{T}\{0\}$ であってもエネルギー増大を示す可能性がある。
• 一般化されたエネルギー保存性 $\mathbb{E}(u;t) \approx \mathbb{E}(u;0)$ が時間に一様に成り立つのは、係数 $a(t)$ が十分強い減衰条件を満たす場合に限る。$\nu > 0$ に対して $a(t) \in \mathcal{T}_{\nu}\{0\}$ である反例により、これが示された。
• モデル方程式 $u_{tt} - a(t)^2 \Delta u = 0$ において、$a(t)$ がゆっくり減衰する場合にエネルギー増大が発生する。$\tau_k = \sigma^k$、$\delta_k = \sigma^{k-1}$、$n_k = \lceil \sigma^{qk} \rceil$ と定義した列を用いて、$k \to \infty$ のとき $\log \mathbb{E}(u;\tau_k) - \log \mathbb{E}(u;0) \to \infty$ を示した。
• $r > (n+1)/2$ のとき、$\|u(t,\cdot)\|_{L^\infty} \leq C t^{-(n-1)/2} (\|u_0\|_{L^1_r} + \|u_1\|_{L^1_{r-1}})$ の形の分散的推定が成り立つ。鋭い減衰率は、定常位相法および振動積分推定により導出された。
• 係数の減衰が不十分な場合、特定の部分的減衰系において散乱現象が成立しないことが示された。これは、放物型減衰を達成するには、より強い安定化が必要であることを示唆している。
• 反例により、$\nu > 0$ であっても $a(t) \in \mathcal{T}_{\nu}\{0\}$ であるだけではエネルギー評価を保証できないことが示され、既存の文献における条件の鋭さが証明された。