[論文レビュー] The Threshold between Effective and Noneffective Damping for Semilinear Waves

Marcello D’Abbicco|arXiv (Cornell University)|Nov 4, 2012

Advanced Mathematical Physics Problems参考文献 27被引用数 42

ひとこと要約

本稿は、時間に依存する減衰項 $ \frac{\mu}{1+t}u_t $ を有する半線形波動方程式における有効な減衰の鋭い閾値を確立し、$ \mu \geq 2 $ のとき小データ解の全域的存在を証明している。解の減衰率は線形問題と一致する。$ L^2 \times H^1 $ 初期データに対しては臨界指数 $ p = 1 + \frac{2(2+\gamma)}{n} $ を特定し、$ L^1 \cap H^1 \times L^1 \cap L^2 $ 初期データに対しては $ p = 1 + \frac{2+\gamma}{n} $ を特定している。非存在性結果を用いたブロー・アップによる最適性を示している。

ABSTRACT

In this paper we study the global existence of small data solutions to the Cauchy problem for the semilinear wave equation with scale-invariant damping. We obtain estimates for the solution and its energy with the same decay rate of the linear problem. We extend our results to a model with polynomial speed of propagation and to a model with an exponential speed of propagation.

研究の動機と目的

• 時間依存減衰項 $ \frac{\mu}{1+t}u_t $ が、半線形波動方程式の小データ解の全域的存在を保証するために有効であるための $ \mu $ の正確な閾値を特定すること。
• 様々な関数空間、特に $ H^1 \times L^2 $ および $ \mathcal{D}_1 = (L^1 \cap H^1) \times (L^1 \cap L^2) $ における小初期データに対する鋭い全域的解存在結果を確立すること。
• 非線形項の減衰率と $ \mu $ の大きさに応じて、解の全域的存在が成立または不成立となる臨界指数 $ p $ を特定すること。
• 多項式的および指数的伝播速度を有するモデルへの分析を拡張し、異なる減衰領域における挙動を比較すること。

提案手法

• 著者らは、時間重み付きノルムを用いた適切な関数空間 $ X(t) $ において、固定点法と重み付きエネルギー推定を用いる。ここで $ \Lambda(t) = \int_0^t \lambda(s)ds $ であり、$ \mu = n+2 $ の場合に対応する対数補正が含まれる。
• 線形化問題の挙動、特に $ \mu \geq 2 $ のときの減衰率 $ (1+t)^{-1} $ を用いて、解およびエネルギーの減衰推定を導出する。
• 非線形項 $ f(t,u) $ を $ L^1 $、$ L^\ell $、$ L^2 $ ノルムで推定するため、補間と仮定された成長条件 $ |f(t,u)-f(t,v)| \lesssim (1+t)^\gamma |u-v|(|u|+|v|)^{p-1} $ を用いる。
• 臨界指数の特定には、修正されたテスト関数法を用い、$ p \leq 1 + \frac{2+\gamma}{n} $ のとき全域的解が存在しないことを証明し、鋭さを確立する。
• 分析は $ \mu > n+2 $、$ \mu = n+2 $、$ \mu < n+2 $ の3つの状況に分かれ、$ \mu = n+2 $ の閾値で対数補正が現れる。
• 多項式的および指数的伝播速度を有するモデルへの枠組みの拡張を行い、臨界指数がこのような変更に対して頑健であることを示している。

実験結果

リサーチクエスチョン

• RQ1 時間依存減衰項 $ \frac{\mu}{1+t}u_t $ が、半線形波動方程式の小データ解の全域的存在を保証するために有効であるための $ \mu $ の正確な閾値は何か？
• RQ2 初期データが $ H^1 \times L^2 $ で小さいとき、全域的解存在が成立する臨界指数 $ p $ は何か？ これは $ \mu $ および時間依存非線形項パラメータ $ \gamma $ にどのように依存するか？
• RQ3 初期データが $ \mathcal{D}_1 = (L^1 \cap H^1) \times (L^1 \cap L^2) $ で小さいとき、臨界指数はどのように変化するか？ そしてその指数の鋭さはどのように確認されるか？
• RQ4 結果は多項式的または指数的伝播速度を有するモデルに拡張可能か？ そのような場合、臨界指数はどのように振る舞うか？
• RQ5 $ \mu < 2 $ のとき、全域的解存在とブロー・アップ結果の間のギャップは何か？ なぜこのギャップは未解決のままであるのか？

主な発見

• $ \mu \geq 2 $ のとき、$ H^1 \times L^2 $ 初期データが小さい限り、$ p > 1 + \frac{2(2+\gamma)}{n} $ ならば全域的解が存在し、解およびエネルギーは $ (1+t)^{-1} $ のオーダーで減衰する。
• 初期データが $ \mathcal{D}_1 $ で小さいとき、$ n \leq 4 $ ならば $ p > 1 + \frac{2+\gamma}{n} $ のとき全域的解が存在し、解の減衰率は $ (1+t)^{-n/2} $、エネルギーの減衰率は $ \mu $ に応じて $ (1+t)^{-n/2 -1} $ または $ (1+t)^{-\mu/2} \log(e+t) $ となる。
• 指数 $ 1 + \frac{2+\gamma}{n} $ は鋭い：$ \mathcal{D}_1 $ における適切な小初期データのもとで、$ p \leq 1 + \frac{2+\gamma}{n} $ のとき全域的解は存在しない。これは修正されたテスト関数法により示されている。
• $ \mu \in (1,2) $ のとき、$ \mu \in [1,2) $ の場合に比べて減衰が改善されるが、この改善は $ n \geq 2 $ では拡張されないため、次元依存性が顕在化する。
• $ \mu \in (0,1] $ のとき、$ \mathcal{D}_\kappa $（$ \kappa = \frac{2}{3-\mu} $）におけるより強い小刻み仮定のもとで、$ p \geq \frac{4}{3-\mu} $ のとき全域的解が存在するが、存在とブロー・アップの指数の間にはギャップが残る。
• $ \mu \in (0,1) $ の領域におけるブロー・アップの臨界指数は $ 1 + \frac{2}{n-(1-\mu)} $ であり、$ \mu \to 1 $ のとき Fujita の指数 $ 1+2/n $ に、$ \mu \to 0 $ のとき Kato の指数 $ 1+2/(n-1) $ に近づく。