[论文解读] 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) $）中建立小初值的精確全局存在結果。
• 識別全局存在性成立或失敗的臨界指數 $ p $，取決於非線性項的衰減速率與 $ \mu $ 的大小。
• 將分析擴展至具有多項式與指數傳播速度的模型，並比較不同阻尼制度下的行為。

提出的方法

• 作者使用加權能量估計與在適當函數空間 $ X(t) $ 上的固定點論證，該空間透過涉及 $ \Lambda(t) = \int_0^t \lambda(s)ds $ 的時間加權範數定義，且在 $ \mu = n+2 $ 時引入對數修正。
• 他們利用線性化問題的行為推導出解及其能量的衰減估計，特別是當 $ \mu \geq 2 $ 時，衰減率為 $ (1+t)^{-1} $。
• 該方法涉及使用插值與假設的增長條件 $ |f(t,u)-f(t,v)| \lesssim (1+t)^\gamma |u-v|(|u|+|v|)^{p-1} $，在 $ L^1 $、$ L^\ell $ 與 $ L^2 $ 範數中估計非線性項 $ f(t,u) $。
• 針對臨界指數，他們採用改進的測試函數方法，證明當 $ p \leq 1 + \frac{2+\gamma}{n} $ 時全局解不存在，從而確立最佳性。
• 分析區分三種情形：$ \mu > n+2 $、$ \mu = n+2 $ 與 $ \mu < n+2 $，其中在臨界值 $ \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 $ 時，若 $ p > 1 + \frac{2(2+\gamma)}{n} $，則在 $ H^1 \times L^2 $ 中小初值下全局存在，且解與能量的衰減速率均為 $ (1+t)^{-1} $。
• 當初值在 $ \mathcal{D}_1 $ 中較小時，若 $ n \leq 4 $，則當 $ p > 1 + \frac{2+\gamma}{n} $ 時全局存在，解的衰減速率為 $ (1+t)^{-n/2} $，能量的衰減速率為 $ (1+t)^{-n/2 -1} $ 或 $ (1+t)^{-\mu/2} \log(e+t) $，取決於 $ \mu $。
• 指數 $ 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) $。