Abstract:We consider the Cauchy problem for cubic nonlinear Klein-Gordon equations in one space dimension. We give the $L^p$-decay estimate for the small data solution and show that it decays faster than the free solution if the cubic nonlinearity has the suitable dissipative structure.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the decay estimate problem of small solutions of the cubic nonlinear Klein - Gordon equation with dissipative structure in one - dimensional space. Specifically, the author studies the Cauchy problem:
\[
\begin{cases}
(\Box + 1)u = F(u,\partial_t u,\partial_x u), & t > 0, x\in\mathbb{R},\\
u(0,x)=\varepsilon f(x),\quad\partial_t u(0,x)=\varepsilon g(x), & x\in\mathbb{R},
\end{cases}
\]
where $\Box=\partial_t^2-\partial_x^2$, $F$ is a cubic homogeneous polynomial, and $f$ and $g$ are compactly supported $C^\infty$ functions, and $\varepsilon> 0$ is a small parameter.
The main objective of the paper is to give the decay estimate of the small - data solution in the $L^p$ space and prove that if the cubic nonlinear term has an appropriate dissipative structure, the decay rate of the solution will be faster than that of the free solution. Specifically, the author considers the following conditions:
- **(A)**: $\inf_{z\in\mathbb{R}}\text{Re}[K_F(z)]\geq0$, where $K_F(z)$ is defined as:
\[
K_F(z)=\frac{i}{2\pi}\int_0^{2\pi}F(\cos\theta,-\cosh z\sin\theta,\sinh z\sin\theta)e^{-i\theta}d\theta.
\]
- **(B2)**: There exists a positive number $C_2$ such that $\text{Re}[K_F(z)]\geq\frac{C_2}{\cosh z}$ for all $z\in\mathbb{R}$.
- **(B3)**: There exists a positive number $C_3$ such that $\text{Re}[K_F(z)]\geq\frac{C_3}{\cosh^3 z}$ for all $z\in\mathbb{R}$.
- **(C)**: There exists $z_0\in\mathbb{R}$ such that $\text{Re}[K_F(z_0)] = 0$ and $\text{Re}[K_F(z)]>0$ for all $z\in\mathbb{R}\setminus\{z_0\}$.
Through these conditions, the author proves the $L^p$ decay estimates of the solution under different conditions and reveals the dissipative properties of the missing part. Specific results include:
- **Theorem 1.1**: Suppose that condition (B1) holds. Then there exists a positive number $C$ independent of $\varepsilon$ such that the global solution $u(t)$ satisfies:
\[
\|\partial u(t)\|_{L^p}\leq
\begin{cases}
C(\log(2 + t))^{-1/2}(\log(1+\log(2 + t)))^{1/2}, & p = 2,\\
C(1 + t)^{-(1/2-1/p)}(\log(2 + t))^{-1/p}, & 2 < p\leq\infty,
\end{cases}
\]
when $t\geq0$ and $\varepsilon$ is sufficiently small.
- **Theorem 1.2**: Suppose that condition (B2) holds. Then there exists...