[論文レビュー] Global well-posedness for the semilinear wave equation with time dependent damping in the overdamping case

Masahiro Ikeda, Yuta Wakasugi|arXiv (Cornell University)|Aug 26, 2017

Advanced Mathematical Physics Problems参考文献 43被引用数 19

ひとこと要約

本稿は、逆ダンピング積分が有限である過ダンピング領域における時刻に依存するダンピングを有する非線形波動方程式について、グローバルな適切性を確立する。方程式を変換し、過ダンピング条件を用いて解のL²ノルムを一様に有界化することで、エネルギー下臨界の場合（1 ≤ p < p₁）に小初期データに対するグローバル存在性を証明する。これは、非過ダンピング領域では小初期データの爆発が観察されるのと対照的である。

ABSTRACT

We study global existence of solutions to the Cauchy problem for the wave equation with time-dependent damping and a power nonlinearity in the overdamping case. We prove the global well-posedness for small data in the energy space for the whole energy-subcritical case. This result implies that small data blow-up does not occur in the overdamping case, different from the other cases, i.e. effective or non-effective damping.

研究の動機と目的

• b(t)⁻¹ ∈ L¹(0, ∞) である過ダンピング領域における時刻に依存するダンピングを有する非線形波動方程式のグローバル存在問題を解決すること。
• エネルギー下臨界領域（1 ≤ p < p₁）における小初期データに対して、エネルギー空間 H¹(Rᵈ) × L²(Rᵈ) におけるグローバル適切性を確立すること。
• 非過ダンピング領域（b(t)⁻¹ ∉ L¹(0, ∞)）とは異なり、過ダンピング領域では小初期データの爆発が発生しないことを示すこと。
• 適切な特異性仮定の下で、大規模データまたは超臨界非線形性（p > p₁）に対して局所弱解の非存在を証明すること。
• （例：N(z) = −|z|ᵖ⁻¹z など）焦点を向ける非線形性条件下で、小初期データ仮定を除去できることを示すこと。

提案手法

• 変数変換 v(t,x) = exp(½∫₀ᵗ b(s)ds) u(t,x) を用いて、元のダンプド波動方程式を一階時間微分を含まない新たな非線形波動方程式に変換すること。
• 過ダンピング条件（b(t)⁻¹ ∈ L¹(0,∞)）を用いて、局所解のL²ノルムの一様有界性を導出し、これがグローバルな存在拡張の鍵となること。
• H¹ × L² におけるエネルギー下臨界非線形波動方程式の局所適切性理論を、Strichartz推定と補間理論に依拠して適用すること。
• compact 支持性と同次性を有するテスト関数を用いて、解のL²ノルムの下界を導出し、爆発基準を導出すること。
• |x|⁻ᵏφₗ(x) を含む積分に関する推定を用いた背理法により、p > p₁ または大規模データに対して局所解の非存在を証明すること。
• 解のL²ノルムが有限時間内に発散するならば、寿命が有限であることを示すことにより、爆発基準を確立すること。

実験結果

リサーチクエスチョン

• RQ1 b(t)⁻¹ ∈ L¹(0,∞) である過ダンピング領域において、エネルギー下臨界領域における小初期データ (u₀, u₁) ∈ H¹(Rᵈ) × L²(Rᵈ) に対して、非線形波動方程式のグローバル存在性は成立するか？
• RQ2 b(t)⁻¹ ∈ L¹(0,∞) である過ダンピング条件は、非過ダンピング領域とは異なり、小初期データの爆発をどのように防止するか？
• RQ3 N(z) = −|z|ᵖ⁻¹z などの焦点を向ける非線形性条件下で、小初期データ仮定を除去できるか？
• RQ4 非線形性がエネルギー超臨界（p > p₁）である、または初期データが大規模かつ原点で特異性を有する場合、解はどのように振る舞うか？
• RQ5 超臨界領域において、特定の初期データおよび非線形性のクラスに対して、局所弱解の非存在を証明することは可能か？

主な発見

• 過ダンピング条件 b(t)⁻¹ ∈ L¹(0,∞) の下で、エネルギー下臨界領域（1 ≤ p < p₁）における小初期データ (u₀, u₁) ∈ H¹(Rᵈ) × L²(Rᵈ) に対してグローバル適切性が成立する。
• 過ダンピング条件を用いて、局所解のL²ノルムの一様有界性が導出され、これが解のグローバル拡張を可能にする。
• 非過ダンピング領域（b(t)⁻¹ ∉ L¹(0, ∞)）では観察される小初期データの爆発は、過ダンピング領域では発生しない。
• N(z) = −|z|ᵖ⁻¹z という焦点を向ける非線形性の下では、小初期データ仮定を除去でき、H¹ × L² におけるすべての初期データに対してグローバル存在性が成立する。
• N(z) = ±|z|ᵖ で p ∈ (1, p₁] である焦点を向ける非線形性では、原点に特異性を有する大規模初期データは、有限時間内に爆発し、寿命 T₊ は T₊ ≤ C∗₂ λ⁻¹/(p+1)/(p−1)−k（λ > λ₀）を満たす。
• b(t) に対して適切な条件下で、初期データが原点で特異性を有する場合、非線形性のp > p₁ に対して局所弱解は存在しない。