[Paper Review] Global existence for semilinear damped wave equations in relation with the Strauss conjecture

Mengyun Liu, Chengbo Wang|arXiv (Cornell University)|Jul 16, 2018

Advanced Mathematical Physics Problems21 references3 citations

TL;DR

This paper establishes global existence of small-data solutions to semilinear damped wave equations with power-type nonlinearity on 3D and 4D nontrapping asymptotically Euclidean manifolds, extending the Strauss conjecture to damped settings. Using weighted Strichartz estimates and local energy decay, it proves global existence for $ p > p_c(n) $, with almost global lifespan in the 4D critical case.

ABSTRACT

We study the global existence of solutions to semilinear wave equations with power-type nonlinearity and general lower order terms on $n$ dimensional nontrapping asymptotically Euclidean manifolds, when $n=3, 4$. In addition, we prove almost global existence with sharp lower bound of the lifespan for the four dimensional critical problem.

Motivation & Objective

• To establish small data global existence for semilinear damped wave equations with power-type nonlinearity on nontrapping asymptotically Euclidean manifolds in dimensions $ n = 3,4 $.
• To extend the Strauss conjecture to the damped wave equation setting, accounting for general lower-order terms.
• To derive almost global existence and sharp lower bounds on the lifespan in the 4D critical case $ p = p_c(4) $.
• To develop and apply weighted Strichartz estimates and local energy decay estimates in the presence of damping and lower-order perturbations.
• To generalize previous results on the Strauss conjecture by incorporating time- and space-dependent damping and lower-order terms under integrability conditions.

Proposed method

• Adapts weighted Strichartz estimates and local energy decay estimates to the damped wave equation framework on nontrapping asymptotically Euclidean manifolds.
• Employs a fixed-point iteration scheme on a refined function space $ \tilde{X}_T^3 $, defined via weighted norms involving $ \psi_R $, $ r^{-1/2} $, and angular derivatives.
• Uses Gronwall's inequality to control the growth of the iteration sequence, relying on the integrability of lower-order coefficients $ \mu, \mu^j, \mu_0 $ in $ L^1_t(L^\infty \cap \dot{W}^{1,n}) $.
• Applies pointwise and $ L^2 $-based estimates for nonlinear terms $ (u^{(k)})^2 $, leveraging Sobolev embedding and Hölder’s inequality.
• Establishes boundedness and convergence of the iteration sequence in $ \tilde{X}_T^3 $ and $ \tilde{X}_T^0 $, ensuring existence of a global solution.
• Derives lifespan estimates via logarithmic and exponential bounds, particularly for the 4D critical case, using the structure of the iteration and the decay of the nonlinearity.

Experimental results

Research questions

• RQ1 Does the Strauss conjecture for semilinear wave equations extend to the damped case with general lower-order terms on nontrapping asymptotically Euclidean manifolds?
• RQ2 What is the sharp lower bound on the lifespan of solutions in the 4D critical case $ p = p_c(4) $, and does almost global existence hold?
• RQ3 Can weighted Strichartz estimates and local energy decay be adapted to handle time- and space-dependent damping and lower-order perturbations?
• RQ4 How do the integrability and decay conditions on $ \mu, \mu^j, \mu_0 $ affect the global existence and lifespan of solutions?
• RQ5 What is the role of the critical exponent $ p_c(n) $ in the damped wave equation setting, and how does it compare to the undamped case?

Key findings

• For $ n = 3,4 $, global existence of small-data solutions holds for $ p > p_c(n) $, where $ p_c(n) $ is the positive root of $ (n-1)p^2 - (n+1)p - 2 = 0 $, extending the Strauss conjecture to damped equations.
• In the 4D critical case $ p = p_c(4) $, the paper proves almost global existence with lifespan $ T_\varepsilon \geq e^{c\varepsilon^{-2}} $, matching the expected sharp lower bound.
• The solution exists globally in time under the assumption that $ (Y^{\leq 2}(\mu, \mu^j), |x|Y^{\leq 2}\mu_0) \in L^1_t(L^\infty \cap \dot{W}^{1,n}) $, allowing general lower-order terms.
• The proof relies on a fixed-point argument in a refined function space $ \tilde{X}_T^3 $, with bounds derived via weighted Strichartz estimates and Gronwall’s inequality.
• The lifespan estimate for $ 1 < p < p_c(n) $ is consistent with known blow-up results, suggesting sharpness of the threshold $ p_c(n) $ in the damped setting.
• The method successfully handles damping terms $ \mu(t,x) $ and lower-order terms $ \mu^j, \mu_0 $ under integrability and decay conditions, generalizing previous results on undamped equations.