Existence of global solutions to semilinear damped wave equations with nonlinearities of derivative type

Technical Summary: Existence of Global Solutions to Semilinear Damped Wave Equations with Nonlinearities of Derivative Type

Problem Statement
This paper investigates the Cauchy problem for the semilinear damped wave equation in $\mathbb{R}^n$ ($n \ge 1$) with a power nonlinearity of derivative type:
$$\begin{cases} u_{tt} - \Delta u + u_t = |u_t|^p, & x \in \mathbb{R}^n, t > 0, \\ u(0, x) = \varepsilon u_0(x), \quad u_t(0, x) = \varepsilon u_1(x), & x \in \mathbb{R}^n, \end{cases}$$
where $p > 1$ is the power exponent and $\varepsilon > 0$ represents the magnitude of the initial data. The primary objective is to establish the existence of global (in time) small data Sobolev solutions. The study specifically addresses the limitations of the pioneering work by Matsumura [5], which established global existence for $p > 1$ only in the one-dimensional case ($n=1$) and for $p \ge 2$ in dimensions $n \ge 2$.

Methodology
The authors employ a fixed-point argument within appropriately constructed weighted solution spaces, leveraging tools from Harmonic Analysis. The methodology proceeds as follows:

1. Linear Estimates and Kernel Analysis: The solution is decomposed into a linear part ($u_{lin}$) and a nonlinear part ($u_{non}$) via Duhamel's principle. The analysis relies on precise decay estimates for the kernel $K(t, x)$ of the linear damped wave equation. These estimates distinguish between low-frequency and high-frequency components using smooth cut-off functions ($\chi_L$ and $\chi_H$).
2. Weighted Function Spaces: To handle the derivative-type nonlinearity $|u_t|^p$, the authors define specific Banach spaces $X(T)$ and $Y(T)$. The space $X(T)$ incorporates time-weighted norms involving $L^\alpha$ and homogeneous Sobolev spaces $\dot{H}^s$, designed to capture the diffusive structure of the damped wave equation as $t \to \infty$.
3. Auxiliary Estimates: The core of the proof involves deriving time-decay estimates for the nonlinear term $|u_t|^p$ in various norms ($L^\sigma$, $\dot{H}^{\beta_\alpha}_\alpha$, and $\dot{H}^s$). These estimates utilize interpolation inequalities and properties of pseudo-differential operators.
4. Fixed-Point Theorem: The authors define a nonlinear operator $N$ mapping the space $Z(T)$ (functions whose time derivatives lie in $X(T)$) to itself. By establishing that $N$ is a contraction mapping on a closed subset of the Banach space $Y(T)$ for sufficiently small initial data $\varepsilon$, the existence and uniqueness of the solution are proven via the Banach fixed-point theorem.

Key Results
The main contribution of the work is the extension of the global existence range for the power exponent $p$ in low dimensions.

• Theorem 1.1: Under the condition $p > \max\{1, n/2\}$, and assuming initial data $(u_0, u_1)$ belong to the class $D_{n,s,\alpha} = (H^{s+1} \cap H^{\delta_\alpha+1}_{\alpha} \cap L^1) \times (H^s \cap H^{\beta_\alpha}_{\alpha} \cap L^1)$, there exists a unique global Sobolev solution $u$ for sufficiently small $\varepsilon$.
• Specific Dimensional Improvements:
  • For $n = 1$ and $n = 2$, global solutions exist for all $p > 1$.
  • For $n = 3$, global solutions exist for $p > 3/2$.
• Decay Estimates: The paper provides explicit time-decay rates for the solution $u_t$, showing that $\|u_t(t, \cdot)\|_{L^\alpha} \lesssim \varepsilon (1+t)^{-\frac{n}{2}(1-\frac{1}{\alpha})-1}$ and $\|u_t(t, \cdot)\|_{\dot{H}^s} \lesssim \varepsilon (1+t)^{-\frac{n}{4}-1-\frac{s}{2}}$.

Significance and Claims
The paper claims to improve upon the results of Matsumura [5] by significantly lowering the threshold for the power exponent $p$ in low-dimensional spaces.

• Shift in Critical Exponent: The authors observe that replacing the standard power nonlinearity $|u|^p$ with the derivative-type nonlinearity $|u_t|^p$ shifts the critical exponent to the left compared to the Fujita exponent ($p_{Fuj} = 1 + 2/n$).
• Novelty in Low Dimensions: The result that global small data solutions exist for any $p > 1$ in dimensions $n=1$ and $n=2$ is highlighted as a finding that has not appeared in previous literature.
• Future Directions: The authors note that while global existence is established for the whole space, the behavior in exterior domains remains an open question. They conjecture that similar global existence results for $p > 1$ may hold for the exterior domain problem, a topic reserved for future work.

The paper maintains a modest tone regarding the scope, focusing strictly on the mathematical proof of existence and uniqueness for small data, without proposing experimental applications or broader physical implications beyond the mathematical context of damped wave equations.