Asymptotic behavior of rarefaction waves for a model system of a radiating gas

Abstract

This article is concerned with nonlinear stability together with the corresponding convergence rates of rarefaction waves for a hyperbolic-elliptic coupled system arising in the 1D motion of a radiating gas with large initial perturbation. Compared with former results, although we ask the L²(R)-norm of the initial perturbation to be small but the L²(R)-norm of the first- and second-order derivatives of the initial perturbation with respect to the spatial variable x can be large and consequently, the H²(R)-norm of the initial perturbation can be large.

AMS Subject Classifications: 34K25; 35M10.

1 Introduction

This article is concerned with the large time asymptotic behavior of the global solution to the Cauchy problem for the following hyperbolic-elliptic coupled system

$$\left\{\begin{array}{c}{u}_t+f{\left(u\right)}_x+q_x=0,\hfill \\ -q_{xx}+q+u_x=0\hfill \end{array}\right.$$

(1.1)

with initial data

$$u\left(t,x\right){|}_{t=0}=u_0\left(x\right)\to u_{\pm },x\to \pm \infty .$$

(1.2)

Here f(u) is a sufficiently smooth function satisfying

$$f^{″}\left(u\right)\ge a>0$$

(1.3)

for some positive constant a and all u ∈ R under consideration and u_- < u₊ are two given constants.

When $f\left(u\right)=\frac{1}{2}{u}^2$, the system (1.1) is a simple model for the 1D motion of a radiating gas, cf. [1]. In fact, u and q in (1.1) represent the velocity and the heat flux of the gas, respectively.

As t → ∞, the asymptotic behavior of the global solutions of the Cauchy problem (1.1), (1.2) is closely related to that of the Riemann problem for the corresponding scalar conservation law

$$\left\{\begin{array}{c}{w}_t^R+f{\left(w^R\right)}_x=0,\hfill \\ w^R\left(t,x\right){|}_{t=0}=w_0^R\left(x\right)=\left\{\begin{array}{c}{u}_{-},x<0,\hfill \\ u_{+},x>0.\hfill \end{array}\right.\hfill \end{array}\right.$$

(1.4)

Under the assumption (1.3), the fact u_- < u₊ implies that the Riemann problem (1.4) admits a unique global entropy (rarefaction wave) solution $w^R\left(t,x\right)=w^R\left(\frac{x}{t}\right)$ defined by

$$w^R\left(\frac{x}{t}\right)=\left\{\begin{array}{cc}{u}_{-},\hfill & x\le f^{\prime }\left(u_{-}\right)t,\hfill \\ {\left(f^{\prime }\right)}^{-1}\left(\frac{x}{t}\right),\hfill & f^{\prime }\left(u_{-}\right)t\le x\le f^{\prime }\left(u_{+}\right)t,\hfill \\ u_{+},\hfill & x\ge f^{\prime }\left(u_{+}\right)t.\hfill \end{array}\right.$$

(1.5)

The main purpose of our present article is to study the nonlinear stability of such a w^R(t, x). To do so, as in [2], one needs first to introduce a smooth approximation w(t, x) of the rarefaction wave solution w^R(t, x). Since such a w(t, x) tends to w^R(t, x) as t → ∞ (cf. Lemma 2.1 below), thus the study of the above problem is then transferred to show that if the initial data u₀(x) is a perturbation of w(0, x), the Cauchy problem (1.1), (1.2) admits a unique global solution (u(t, x), q(t, x)) which tends to (w(t, x), -∂ _x w(t, x)) as t → ∞. Recall that depending on whether δ = u₊ - u_-, the strength of the rarefaction waves, and/or certain Sobolev norm, cf. $\left|\right|u_0\left(x\right)-w_0^R\left(x\right)|{|}_{L^2\left(\mathbf{R}\right)}+|\left|{\partial }_x{u}_0\left(x\right)\right|{|}_{H^1\left(\mathbf{R}\right)}$, of the initial perturbation u₀(x) - w(0, x) are assumed to be small or not, the corresponding stability results are called local (or global) nonlinear stability of strong (or weak) rarefaction waves, respectively.

For such a problem, when $f\left(u\right)=\frac{1}{2}{u}^2$, by introducing the smooth approximation $\tilde{w}\left(t,x\right)$ of the rarefaction wave solution w^R(t, x) as the unique solution of the following Cauchy problem

$$\left\{\begin{array}{cc}{\tilde{w}}_t+\tilde{w}{\tilde{w}}_x={\tilde{w}}_{xx},\hfill & t>-t_0,x\in \mathbf{R},\hfill \\ \tilde{w}\left(-t_0,x\right)=w_0^R\left(x\right),\hfill & x\in \mathbf{R}\hfill \end{array}\right.$$

(1.6)

and based on some delicate estimates on such a $\tilde{w}\left(t,x\right)$ which are obtained by exploiting the celebrated Hopf-Cole transformation, the authors showed in [1] that rarefaction waves of the Cauchy problem (1.1), (1.2) is indeed nonlinear stable provided that δ and the H²(R)-norm of the initial perturbation, i.e., ${∥u_0\left(x\right)-\tilde{w}\left(0,x\right)∥}_{H^2\left(\mathbf{R}\right)}$ are sufficiently small. Moreover, it is shown in [1] that for t > 0 sufficiently large, the following temporal decay estimates

$$\left\{\begin{array}{cc}{∥u\left(t,x\right)-w^R\left(\frac{x}{t}\right)∥}_{L^p\left(\mathbf{R}\right)}\le O\left(1\right){\left(1+t\right)}^{-\frac{1}{2}\left(1-\frac{1}{p}\right)},\hfill & 1<p\le \infty ,\hfill \\ {∥q\left(t,x\right)+{\partial }_x{w}^R\left(\frac{x}{t}\right)∥}_{L^p\left(\mathbf{R}\right)}\le O\left(1\right){\left(1+t\right)}^{-\frac{1}{2}\left(2-\frac{1}{p}\right)},\hfill & \frac{4}{3}\le p\le \infty \hfill \end{array}\right.$$

(1.7)

hold if one assumes further that $u_0\left(x\right)-\tilde{w}\left(0,x\right)\in L^1\left(\mathbf{R}\right)$.

Since the results obtained in [1] only implies that weak rarefaction waves of the Cauchy problem (1.1), (1.2) is locally nonlinear stable, thus a question of some interesting is: Can the assumption that ${∥u_0\left(x\right)-\tilde{w}\left(0,x\right)∥}_{H^2\left(\mathbf{R}\right)}$ is sufficiently small be weakened or even be removed such that rarefaction waves of the Cauchy problem (1.1), (1.2) are global nonlinear stable? Moreover, if the rarefaction waves are nonlinear stable for such a class of large initial perturbation, does the same convergence rate as in [1] hold for such a class of perturbation?

This article is concentrated on these problems and our main result can be stated as follows.

Theorem 1.1 (Nonlinear stability and convergence rates) Let $u_0\left(x\right)-w_0^R\left(x\right)\in L^1\left(\mathbf{R}\right)\cap L^2\left(\mathbf{R}\right)$, δ _x u₀ (x) ∈ H¹(R) and suppose further that there exist positive constants D₁, D₂, D₃, β, and γ, which are independent of δ > 0, such that

$$\left\{\begin{array}{c}{∥u_0\left(x\right)-w_0^R\left(x\right)∥}_{L^2\left(\mathbf{R}\right)}^2\le D_1{\delta }^{\beta },\hfill \\ {∥{\partial }_x{u}_0\left(x\right)∥}_{L^2\left(\mathbf{R}\right)}^2\le D_2\left(1+{\delta }^{-\gamma }\right),\hfill \\ {∥{\partial }_x^2{u}_0\left(x\right)∥}_{L^2\left(\mathbf{R}\right)}^2\le D_3\left(1+{\delta }^{-\gamma }\right),\hfill \end{array}\right.$$

(1.8)

then if

$$2\ge \beta >3\gamma ,$$

(1.9)

there is a sufficiently small constant δ₀ > 0 such that when 0 < δ ≤ δ₀, the Cauchy problem (1.1), (1.2) admits a unique global solution (u(t, x), q(t, x)) satisfying

$$u\left(t,x\right)-w\left(t,x\right)\in L^{\infty }\left(\left[0,\infty \right);H^2\left(\mathbf{R}\right)\right)\cap C^0\left(\left[0,\infty \right);H^1\left(\mathbf{R}\right)\right),$$

(1.10)

$$q\left(t,x\right)+w_x\left(t,x\right)\in L^{\infty }\left(\left[0,\infty \right);H^3\left(\mathbf{R}\right)\right)\cap C^0\left(\left[0,\infty \right);H^2\left(\mathbf{R}\right)\right).$$

(1.11)

Here $w\left(t,x\right)={\left(f^{\prime }\right)}^{-1}\left(\tilde{w}\left(t,x\right)\right)$.

Moreover, for t > 0 sufficiently large, the solution (u(t, x), q(t, x)) verifies

$${∥u\left(t,x\right)-w^R\left(\frac{x}{t}\right)∥}_{L^p\left(\mathbf{R}\right)}\le O\left(1\right){\left(1+t\right)}^{-\frac{1}{2}\left(1-\frac{1}{p}\right)}{\left(\text{ln}\left(2+t\right)\right)}^{\frac{7p-4}{3p}},1\le p\le +\infty .$$

(1.12)

and

$${∥q\left(t,x\right)-{\partial }_x{w}^R\left(\frac{x}{t}\right)∥}_{L^p\left(\mathbf{R}\right)}\le O\left(1\right){\left(1+t\right)}^{-\frac{1}{2}\left(2-\frac{1}{p}\right)}{\left(\text{ln}\left(2+t\right)\right)}^{\frac{21p-8}{5p}},\frac{4}{3}\le p\le +\infty .$$

(1.13)

Here O(1) denotes some positive constant which depends on ${∥u_0\left(x\right)-w\left(0,x\right)∥}_{H^1\left(\mathbf{R}\right)\cap L^1\left(\mathbf{R}\right)}$.

Remark 1.1 Since δ in Theorem 1.1 is assumed to be sufficiently small, the assumption (1.8) does imply that the L²(R)-norm of the initial perturbation is small, but the L²(R)-norm of the first and second derivatives of the initial perturbation with respect to x can be indeed large and consequently, compared with that of [1], the H²(R)-norm of the initial perturbation can indeed be large. We note, however, that although we obtain some result on the nonlinear stability of rarefaction waves of the Cauchy problem (1.1), (1.2) for a class of initial perturbation which is large in H²(R), the problem on the nonlinear stability of strong rarefaction waves of the Cauchy problem (1.1), (1.2) for any initial perturbation in H²(R) is still not known and will be pursued by the authors in the future.

Remark 1.2 Notice that the decay estimates (1.12) and (1.13) are weaker than that of (1.7), but it is worth to pointing out that when $f\left(u\right)=\frac{1}{2}{u}^2$, we can also show that (1.7) holds only under the conditions listed in Theorem 1.1. It would be of some interest to show whether (1.7) holds for general smooth nonlinear flux function f(u).

Now we outline the main ingredients used in deducing our main results. To prove Theorem 1.1, as in [1], we only need to deduce certain estimates on (ϕ(t, x), ψ(t, x)) = (u(t, x) - w(t, x), q(t, x) + ∂ _x w(t, x)) since the estimates on $\left(w\left(t,x\right)-w^R\left(\frac{x}{t}\right),{\partial }_{x}w\left(t,x\right)-{\partial }_x{w}^R\left(\frac{x}{t}\right)\right)$ are well-established in [1].

Our analysis is based on an elementary energy method together with the continuation argument and the key point is how to control the possible growth of the solution caused by the nonlinearity of the equation under consideration. To state our argument clearly, let's recall that the analysis in [1] is first to perform some energy estimates based on the a priori assumption that

$$N\left(t\right):=\underset{0\le \tau \le t}{\text{sup}}{∥u\left(\tau ,x\right)-w\left(\tau ,x\right)∥}_{H^2\left(\mathbf{R}\right)}\le \eta$$

(1.14)

holds for some positive constant η > 0 which is chosen sufficiently small, and then to use the continuation argument to extend the local solution step by step to a global one. To do so, the argument in [1] is to use the smallness of η and δ to control the possible growth of the solution caused by the nonlinearity of the equation and consequently this argument can only lead to the local stability of weak rarefaction waves. Our main idea, however, is to perform the same energy estimates based on the a priori assumption that

$$N\left(t\right):=\sum _{i=0}^1\underset{0\le \tau \le t}{\text{sup}}{∥\frac{{\partial }^i\left(u\left(\tau ,x\right)-w\left(\tau ,x\right)\right)}{\partial x^i}∥}_{L^{\infty }\left(\mathbf{R}\right)}\le \eta$$

(1.15)

for some η > 0 and our main trick is to use the smallness of η and δ to control the possible growth of the solution caused by the nonlinearity of the equation. Thus to use the continuation argument to extend the local solution step by step to a global one, a key step is how to design a class of initial perturbation, which is large in the H²-norm, so that the scheme can be continued. It is worth to pointing out in this step that we ask the initial perturbation to satisfy (1.8).

Another purpose of this article is to show that if the Cauchy problem (2.12)-(2.14) admits a unique global solution (ϕ(t, x), ψ(t, x)) = (u(t, x) - w(t, x), q(t, x) + ∂ _x w(t, x)) and there exists some positive constant E, which is independent of t, x, and δ for sufficiently small δ > 0, such that

$${∥\varphi \left(t\right)∥}_{L^{\infty }\left(\mathbf{R}\right)}+{∥{\varphi }_x\left(t\right)∥}_{L^{\infty }\left(\mathbf{R}\right)}\le E,\forall t\ge 0$$

(1.16)

and the rarefaction wave is nonlinear stable, i.e.,

$$\underset{t\to \infty }{\text{lim}}\left({∥\varphi \left(t\right)∥}_{L^{\infty }\left(\mathbf{R}\right)}+{∥{\varphi }_x\left(t\right)∥}_{L^{\infty }\left(\mathbf{R}\right)}\right)=0,$$

(1.17)

then we can indeed show that (1.12) and (1.13) holds provided that u₀(x) - w(0, x) ∈ H¹(R) ∩ L¹(R). Such a result implies that if one can show that the Cauchy problem (2.12)-(2.14) admits a unique global solution (ϕ(t, x), ψ(t, x)) which satisfies (1.16) and (1.17), then even for any initial perturbation and any δ > 0, one can deduce (1.12) and (1.13) provided that u₀(x) - w(0, x) ∈ H¹(R) ∩ L¹(R).

Before concluding this section, we point out that the study on the nonlinear stability of rarefaction waves to hyperbolic conservation laws with dissipative terms was initiated by Il'in and Oleinik [3] and since then many excellent results have been obtained, the interested author is referred to [1–17] and the references cited therein.

This article is arranged as follows: reformulation of the problem and some estimates on w^R(t, x) together with its smooth approximation will be stated in Section 2, nonlinear stability of the rarefaction waves for a class of large initial data will be discussed in Sections 3 and 4 is devoted to deducing some decay estimate.

Notations: Throughout the rest of this article, C or O(1) will be used to denote a generic positive constants which may vary from line to line. Let's emphasize that unless stated clearly, all the constants are independent of t, x, and δ for sufficiently small δ > 0.

H^l(R) (l ≥ 0) and L^p(R) stand for the usual Sobolev space with the norm ${∥\cdot ∥}_{H^l\left(\mathbf{R}\right)}$ and the usual Lebesgue space with the norm ${∥\cdot ∥}_{L^p\left(\mathbf{R}\right)}$, respectively. While ${∥\cdot ∥}_{L^p}\left(1\le p\le +\infty \right)$, ||·|| _l will be used to denote the usual L^p(R)-norm, H^l(R)-norm and $f^{\left(j\right)}\left(u\right)=\frac{d^{j}f\left(u\right)}{d{u}^j}$ for j ∈ N. For simplicity, ${∥f\left(t,\cdot \right)∥}_{L^p\left(\mathbf{R}\right)}$ and ${∥f\left(t,\cdot \right)∥}_{H^l\left(\mathbf{R}\right)}$ will usually be denoted by ${∥f\left(t\right)∥}_{L^p}$ and ||f(t)|| _l , respectively. Especially, ${∥\cdot ∥}_{L^2\left(\Omega \right)}=∥\cdot ∥$.

2 Reformulation of the problem

First, we introduce the smooth approximation of the rarefaction wave w^R(t, x). For this purpose, let $w\left(t,x\right)={\left(f^{\prime }\right)}^{-1}\left(\tilde{w}\left(t,x\right)\right)$, where $\tilde{w}\left(t,x\right)$, is the solution of (1.6)₁ with $\tilde{w}\left(-t_0,x\right)=f^{\prime }\left(w_0^R\left(x\right)\right)$, then w(t, x) is the solution of the Cauchy problem

$$\left\{\begin{array}{c}{w}_t+f{\left(w\right)}_x=w_{xx}+\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2,\hfill \\ w\left(t,x\right){|}_{t=0}=w_0\left(x\right)={\left(f^{\prime }\right)}^{-1}\left(\tilde{w}\left(0,x\right)\right).\hfill \end{array}\right.$$

(2.1)

Now we collect some properties of w^R(t, x) and w(t, x) given in [1].

Lemma 2.1 For 1 ≤ p ≤ ∞ and t > 0, there exist positive constants C and C _p which are independent of x, t, and δ for δ > 0 sufficiently small such that

$${∥w^R\left(t+t_0,\cdot \right)-w^R\left(t,\cdot \right)∥}_{L^p}\le \text{min}\left\{C\delta ,C{\delta }^{\frac{1}{p}}{t}^{-\left(1-\frac{1}{p}\right)}\right\},$$

(2.2)

$${∥{\partial }_x{w}^R\left(t+t_0,\cdot \right)-{\partial }_x{w}^R\left(t,\cdot \right)∥}_{L^p}\le \text{min}\left\{C{\delta }^{\frac{1}{p}}{t}^{-\left(1-\frac{1}{p}\right)},C{t}^{-1}\right\},$$

(2.3)

$$w_x\left(t,x\right)>0,$$

(2.4)

$${∥w^R\left(t_0,\cdot \right)-w\left(0,\cdot \right)∥}_{L^p}\le C\delta ,$$

(2.5)

$${∥w^R\left(t+t_0,\cdot \right)-w\left(t,\cdot \right)∥}_{L^p}\le C{\left(1+t\right)}^{-\frac{1}{2}\left(1-\frac{1}{p}\right)},$$

(2.6)

$${∥{\partial }_x{w}^R\left(t+t_0,\cdot \right)-{\partial }_{x}w\left(t,\cdot \right)∥}_{L^p}\le C{\left(1+t\right)}^{-\left(1-\frac{1}{p}\right)},$$

(2.7)

$${∥{\partial }_{x}w\left(t,\cdot \right)∥}_{L^p}\le C_p{\delta }^{\frac{1}{p}}{\left(1+t\right)}^{-\left(1-\frac{1}{p}\right)},$$

(2.8)

$${∥{\partial }_x^{k}w\left(t,\cdot \right)∥}_{L^p}\le C\delta {\left(1+t\right)}^{-\frac{1}{2}\left(k-\frac{1}{p}\right)},k\ge 1,$$

(2.9)

$${∥{\partial }_x^{k}w\left(t,\cdot \right)∥}_{L^p}\le C{\left(1+t\right)}^{-\frac{1}{2}\left(k+1-\frac{1}{p}\right)},k\ge 2.$$

(2.10)

Denote the perturbation (ϕ (t, x), ψ(t, x)) as follows

$$u=w+\varphi ,q=-w_x+\psi ,$$

(2.11)

then (1.1), (1.2) can be rewritten as

$${\varphi }_t+{\left(f\left(w+\varphi \right)-f\left(w\right)\right)}_x+{\psi }_x=-\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2,$$

(2.12)

$$-{\psi }_{xx}+\psi +{\varphi }_x=-w_{xxx},$$

(2.13)

and

$$\varphi \left(0,x\right)={\varphi }_0\left(x\right)=u_0\left(x\right)-w_0\left(x\right).$$

(2.14)

For the reformulated problem (2.12)-(2.14), we can deduce the following result.

Theorem 2.1 (Nonlinear stability result) Suppose that ϕ₀(x) ∈ H²(R) and verifies the conditions

$$\left|\right|{\varphi }_0\left(x\right)|{|}^2\le D_1{\delta }^{\beta },$$

(2.15)

$$\left|\right|{\varphi }_0^{\prime }\left(x\right)|{|}^2\le D_2\left(1+{\delta }^{-\gamma }\right),$$

(2.16)

$$\left|\right|{\varphi }_0^{″}\left(x\right)|{|}^2\le D_3\left(1+{\delta }^{-\gamma }\right).$$

(2.17)

Here D _i (i = 1, 2, 3) are positive constants independent of the positive constant δ and the constants β, γ satisfying (1.9).

Then there is a sufficiently small constant δ₀ > 0 such that if 0 < δ < δ₀, the problem (2.12)-(2.14) admits a unique global solution (ϕ (t, x), ψ(t, x)) satisfying

$$\left\{\begin{array}{c}\hfill \varphi \left(t,x\right)\in L^{\infty }\left(\left[0,\infty \right);H^2\left(\mathbf{R}\right)\right)\cap C^0\left(\left[0,\infty \right);H^1\left(\mathbf{R}\right)\right),\hfill \\ \hfill \psi \left(t,x\right)\in L^{\infty }\left(\left[0,\infty \right);H^3\left(\mathbf{R}\right)\right)\cap C^0\left(\left[0,\infty \right);H^2\left(\mathbf{R}\right)\right),\hfill \end{array}\right.$$

(2.18)

and

$$\underset{t\to \infty }{\text{lim}}\left({∥\varphi \left(t\right)∥}_{L^{\infty }}+{∥{\varphi }_x\left(t\right)∥}_{L^{\infty }}\right)=0.$$

(2.19)

For the corresponding decay estimates, we have the following result.

Theorem 2.2 (Decay estimates) Let ϕ₀ (x) ∈ H²(R) ∩ L¹(R) and (ϕ(t, x), ψ(t, x)) be the unique global solution of the Cauchy problem (2.12)-(2.14) satisfying (1.16) and (1.17), then there exists a positive constant T such that for each fixed α > 4, we have for any t ≥ 0 that

$$\left|\right|\varphi \left(t\right)|{|}_{L^1}\le |\left|{\varphi }_0\left(x\right)\right|{|}_{L^1}+C_0\delta \text{ln}\left(2+t\right),$$

(2.20)

$$\begin{array}{c}{\left(1+t\right)}^{\alpha }\left|\right|\varphi \left(t\right)|{|}_1^2+\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha }|\left|{\partial }_x\varphi \left(\tau \right)\right|{|}^{2}d\tau \hfill \\ \le D_1\left(E,T\right)\left(\left|\right|{\varphi }_0\left(x\right)|{|}_1^2+{\delta }^2+|\left|{\varphi }_0\left(x\right)\right|{|}_{L^1}^2\right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^2\left(2+t\right).\end{array}$$

(2.21)

Moreover, if we assume further that ϕ₀(x) ∈ H^S(R) for each S ≥ 3, then we have for α > 2S that

$$\begin{array}{c}{\left(1+t\right)}^{\alpha +l}\left|\right|{\partial }_x^l\varphi \left(t\right)|{|}_1^2+\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +l}|\left|{\partial }_x^{l+1}\varphi \left(\tau \right)\right|{|}^{2}d\tau \\ \le D_{l+1}\left(E,T\right)C_{l+1}\left({\varphi }_0,\delta \right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^{12l-6}\left(2+t\right),l=1,\dots ,S-1.\end{array}$$

(2.22)

Here $C_{l+1}\left({\varphi }_0,\delta \right)=\left(\left|\right|{\varphi }_0\left(x\right)|{|}_{l+1}^2+{\delta }^2+|\left|{\varphi }_0\left(x\right)\right|{|}_{L^1}^2\right){\left(1+\left|\right|{\varphi }_0\left(x\right)|{|}_{L^1}+|\left|{\varphi }_0\left(x\right)\right|{|}_{l+1}^2\right)}^{12l-8}$, and D₁(E, T), C_l+1(ϕ₀, δ), D_l+1(E, T), (l = 1,..., S - 1) are positive constants which depend only on E and T.

Remark 2.1 To study the nonlinear stability of planar rarefaction waves for the corresponding multidimensional model, one needs to deal with the Cauchy problem (2.12), (2.13) with zero initial data, i.e.,

$$\varphi \left(0,x\right)={\varphi }_0\left(x\right)\equiv 0.$$

(2.23)

For the Cauchy problem (2.12), (2.13), (2.23), if δ is sufficiently small, then we have from Theorems 2.1 and 2.2 that such a Cauchy problem admits a unique global solution (ϕ(t, x), ψ(t, x)) which satisfies the following decay estimates

$$\left\{\begin{array}{c}\left|\right|\varphi \left(t\right)|{|}_{L^1}\le \tilde{D}\delta \text{ln}\left(2+t\right),\hfill \\ \left|\right|{\partial }_x^l\varphi \left(t\right)|{|}_{L^{\infty }}\le {\tilde{D}}_l\delta ,l\ge 0,\hfill \\ \left|\right|{\partial }_x^l\varphi \left(t\right)|{|}_{L^{\infty }}\le {\bar{D}}_l{\left(1+t\right)}^{-\frac{l+1}{2}}{\text{ln}}^{6l}\left(2+t\right),l\ge 0.\hfill \end{array}\right.$$

(2.24)

Here $\tilde{D}$, ${\tilde{D}}_l$, and ${\bar{D}}_l$(l = 0, 1, ...) are positive constants independent of t, x, and δ for sufficiently small δ > 0.

We now show that Theorem 1.1 follows immediately from Theorems 2.1 and 2.2. In fact, under the assumptions listed in Theorem 1.1, (1.8) together with (2.2), (2.5), and (2.9) implies that

$$\begin{array}{cc}\hfill ∥{\varphi }_0\left(x\right)∥& \le ∥u_0\left(x\right)-w_0^R\left(x\right)∥+∥w_0^R\left(x\right)-w^R\left(t_0,x\right)∥+∥w^R\left(t_0,x\right)-w_0\left(x\right)∥\hfill \\ \le ∥u_0\left(x\right)-w_0^R\left(x\right)∥+C\delta \hfill \\ \le \left(D_1^{\frac{1}{2}}+C\right){\delta }^{\frac{\beta }{2}}:=D_4{\delta }^{\frac{\beta }{2}}\hfill \end{array}$$

(2.25)

and

$$\begin{array}{cc}\hfill ∥{\partial }_x^k{\varphi }_0\left(x\right)∥& \le ∥{\partial }_x^k{u}_0\left(x\right)∥+∥{\partial }_x^k{w}_0\left(x\right)∥\hfill \\ \le {\left(D_k\left(1+{\delta }^{-\gamma }\right)\right)}^{\frac{1}{2}}+C\delta \hfill \\ \le D_{k+4}{\left(1+{\delta }^{-\gamma }\right)}^{\frac{1}{2}},k=1,2.\hfill \end{array}$$

(2.26)

Here D _i (i = 4, 5, 6) are some positive constants which are independent of x, t, and δ for δ > 0 sufficiently small.

The above analysis implies that if the assumptions listed in Theorem 1.1 are satisfied, then the conditions listed in Theorems 2.1 and 2.2 are also satisfied. Consequently, we have from Theorems 2.1 and 2.2 that there exists a positive constant δ₀ > 0 such that if 0 < δ ≤ δ₀, the Cauchy problem (1.1), (1.2) admits a unique global solution (u(t, x), q(t, x)) = (w(t, x) + ϕ(t, x), ψ(t, x) - ∂ _x w(t, x)) and (ϕ(t, x), ψ(t, x)) satisfy (2.20)-(2.22).

With (2.20)-(2.22) in hand, we obtain from the Gagliardo-Nirenberg inequality that

$$\begin{array}{cc}\hfill {∥\varphi \left(t\right)∥}_{L^p}& \le {∥{\varphi }_x\left(t\right)∥}^{\frac{2}{3}\left(1-\frac{1}{p}\right)}{∥\varphi \left(t\right)∥}_{L^1}^{\frac{p+2}{3p}}\hfill \\ \le O\left(1\right){\left(1+t\right)}^{-\frac{1}{2}\left(1-\frac{1}{p}\right)}{\left[\text{ln}\left(2+t\right)\right]}^{\frac{7p-4}{3p}},1\le p\le \infty ,\hfill \end{array}$$

(2.27)

and we get from Lemma 2.1 and (2.27) that

$$\begin{array}{cc}\hfill \left|\right|u\left(t,x\right)-w^R\left(\frac{x}{t}\right)|{|}_{L^p}& \le {∥u\left(t,x\right)-w\left(t,x\right)∥}_{L^p}+\left|\right|w\left(t,x\right)-w^R\left(\frac{x}{t}\right)|{|}_{L^p}\hfill \\ \le O\left(1\right){\left(1+t\right)}^{-\frac{1}{2}\left(1-\frac{1}{p}\right)}{\left[\text{ln}\left(2+t\right)\right]}^{\frac{7p-4}{3p}},1\le p\le \infty .\hfill \end{array}$$

(2.28)

This proves (1.12). (1.13) can be proved similarly. This completes the proof of Theorem 1.1.

3 The proof of Theorem 2.1

This section is devoted to proving Theorem 2.1. For this purpose, we first show the local solvability of the Cauchy problem (2.12)-(2.14)

Lemma 3.1 (Local existence) Let ϕ₀(x) ∈ H²(R), then there exists t₁ > 0 which depends only on ||ϕ₀(x)||₂ such that the Cauchy problem (2.12)-(2.14) admits a unique solution $\left(\varphi \left(t,x\right),\psi \left(t,x\right)\right)\in X_{t_1}$ satisfying

$\left\{\begin{array}{c}\left|\right|\varphi \left(t\right)\left|\right|\le 2\left|\right|{\varphi }_0\left(x\right)\left|\right|,\hfill \\ \hfill \left|\right|{\varphi }_x\left(t\right)\left|\right|\le 2\left|\right|{\varphi }_0\left(x\right)|{|}_1,\hfill \\ \hfill \left|\right|{\varphi }_{xx}\left(t\right)\left|\right|\le 2\left|\right|{\varphi }_0\left(x\right)|{|}_2.\hfill \end{array}\right.$

Here

$$X_{t_1}=\left\{\left(\varphi \left(t,x\right),\psi \left(t,x\right)\right)\left|\begin{array}{c}\hfill \varphi \left(t,x\right)\in L^{\infty }\left(\left[0,t_1\right];H^2\left(\mathbf{R}\right)\right)\cap C^0\left(\left[0,t_1\right];H^1\left(\mathbf{R}\right)\right)\hfill \\ \hfill \psi \left(t,x\right)\in L^{\infty }\left(\left[0,t_1\right];H^3\left(\mathbf{R}\right)\right)\cap C^0\left(\left[0,t_1\right];H^2\left(\mathbf{R}\right)\right)\hfill \end{array}\right.\right\}$$

(3.1)

with

$${∥\left(\varphi ,\psi \right)∥}_{{X_t}_{{1_{}}_{}}}=\underset{0\le t\le t_1}{\text{sup}}{∥\left(\varphi \left(t\right),\psi \left(t\right)\right)∥}_2.$$

(3.2)

Lemma 3.1 can be proved by employing the standard method and we omit the details for brevity.

Now suppose that the local solution (ϕ(t, x), ψ(t, x)) obtained in Lemma 3.1 has been extended to the time step t = T ≥ t₁, we now turn to deduce certain energy estimates on (ϕ(t, x), ψ(t, x)). As mentioned in the introduction, unlike [1], we perform our analysis based on the following a priori assumption

$$N\left(T\right)=\underset{0\le \tau \le T}{\text{sup}}\left({∥\varphi \left(\tau \right)∥}_{L^{\infty }}+{∥{\varphi }_x\left(\tau \right)∥}_{L^{\infty }}\right)\le \eta ,$$

(3.3)

where η is a positive constant.

(3.3) together with the fact that f(u) is sufficiently smooth implies that there is a positive constant L = L(η) such that

$$\sum _{i=0}^4\underset{\left|u\right|\le \left|u_{+}\right|+\left|u_{-}\right|+\eta }{\text{max}}\left|f^{\left(i\right)}\left(u\right)\right|\le L.$$

(3.4)

Based on (3.3) and (3.4), we have

Lemma 3.2 (A priori estimates) Let ϕ₀(x) ∈ H²(R) which verifies the conditions (2.15)-(2.17). Suppose that (ϕ(t, x), ψ(t, x)) ∈ X _T is a solution of the Cauchy problem (2.12)-(2.14) satisfying the a priori assumption (3.3) and (3.4), if

$$104\eta L\left(\eta \right)\le 1,$$

(3.5)

then the following estimates

$${∥\varphi \left(t\right)∥}^2+{\int }_0^t{∥\psi \left(\tau \right)∥}_1^{2}d\tau \le {\bar{C}}_0\left({∥{\varphi }_0\left(x\right)∥}^2+{\delta }^2\right),$$

(3.6)

$${∥{\varphi }_x\left(t\right)∥}^2+{\int }_0^t\left({∥{\varphi }_x\left(\tau \right)∥}^2+{∥{\psi }_{xx}\left(\tau \right)∥}^2\right)d\tau \le {\bar{C}}_1\left({∥{\varphi }_0\left(x\right)∥}_1^2+{\delta }^2\right),$$

(3.7)

$${∥{\varphi }_{xx}\left(t\right)∥}^2+{\int }_0^t\left({∥{\varphi }_{xx}\left(\tau \right)∥}^2+{∥{\psi }_{xxx}\left(\tau \right)∥}^2\right)d\tau \le {\bar{C}}_2\left({∥{\varphi }_0\left(x\right)∥}_2^2+{\delta }^2\right)$$

(3.8)

hold for any t ∈ [0, T]. Here ${\bar{C}}_i\left(i=0,1,2\right)$ are positive constants independent of x, T, and δ for sufficiently small δ > 0.

Proof: We multiply (2.12) and (2.13) by ϕ and ψ, respectively, and then add the two resulting identities to obtain

$${\left({\varphi }^2\right)}_t+2\varphi {\left(f\left(w+\varphi \right)-f\left(w\right)\right)}_x+2{\psi }^2+2{\psi }_x^2-2{\left(\psi {\psi }_x\right)}_x=-2\varphi \frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2-2\psi w_{xxx}.$$

(3.9)

For 0 < t < T, integrating (3.9) over [0, t] × R with respect to t and x gives

$$\begin{array}{c}{∥\varphi \left(t\right)∥}^2+2\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\varphi {\left(f\left(w+\varphi \right)-f\left(w\right)\right)}_{x}dxd\tau +2\underset{0}{\overset{t}{\int }}{∥\psi \left(\tau \right)∥}_1^{2}d\tau \\ ={∥{\varphi }_0\left(x\right)∥}^2+2\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\left(-\varphi \frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2-\psi w_{xxx}\right)dxd\tau .\end{array}$$

(3.10)

The second term on the left-hand side of (3.9) is estimated as follows

$$\begin{array}{c}2\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\varphi {\left(f\left(\varphi +w\right)-f\left(w\right)\right)}_{x}dxd\tau \hfill \\ =2\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\left\{{\left(-\underset{w}{\overset{\varphi +w}{\int }}f\left(s\right)ds+f\left(\varphi +w\right)\varphi \right)}_x+\left(f\left(\varphi +w\right)-f\left(w\right)-f^{\prime }\left(w\right)\varphi \right)w_x\right\}dxd\tau \hfill \\ =2\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\left(f\left(\varphi +w\right)-f\left(w\right)-f^{\prime }\left(w\right)\varphi \right)w_{x}dxd\tau \hfill \\ =\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{f}^{″}\left(w+\theta \varphi \right)w_x{\varphi }^{2}dxd\tau \ge 0,0<\theta <1.\hfill \end{array}$$

(3.11)

In view of (1.3), the last term on the right-hand side of (3.10) can be controlled as follows

$$\begin{array}{cc}\hfill 2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\varphi \frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^{2}dxd\tau \right|& \le \frac{a}{2}\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{w}_x{\varphi }^{2}dxd\tau +\frac{2}{a}\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left|\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}\right|}^2{\left(w_x\right)}^{3}dxd\tau \hfill \\ \le \frac{a}{2}\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{w}_x{\varphi }^{2}dxd\tau +O\left(1\right)\underset{0}{\overset{t}{\int }}{∥w_x\left(\tau \right)∥}_{L^3}^{3}d\tau \hfill \end{array}$$

(3.12)

and

$$2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\psi w_{xxx}dxd\tau \left|\le \underset{0}{\overset{t}{\int }}{∥\psi \left(\tau \right)∥}^{2}d\tau +\underset{0}{\overset{t}{\int }}{∥w_{xxx}\left(\tau \right)∥}^{2}d\tau .\right.\right.$$

(3.13)

Substituting (3.11)-(3.13) into (3.10) and (3.6) follows immediately from Lemma 2.1.

Next, we show that the estimate (3.7) holds if (3.5) is satisfied. To this end, we have by differentiating (2.12) and (2.13) with respect to x once, multiplying the resulting identities by ϕ _x and ψ _x , respectively, and adding these two identities yield that

$${\varphi }_x{\varphi }_{xt}+{\varphi }_x{\left(f\left(w+\varphi \right)-f\left(w\right)\right)}_{xx}+{\psi }_x^2+{\psi }_{xx}^2-{\left({\psi }_{xx}{\psi }_x\right)}_x=-{\varphi }_x{\left\{\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2\right\}}_x-{\psi }_x{w}_{xxxx}.$$

(3.14)

Noticing that

$$\begin{array}{cc}\hfill {\varphi }_x{\left(f\left(w+\varphi \right)-f\left(w\right)\right)}_{xx}=& \frac{3}{2}{f}^{″}\left(w+\varphi \right)w_x{\varphi }_x^2+\frac{1}{2}{f}^{″}\left(w+\varphi \right){\varphi }_x^3+(f^{″}\left(w+\varphi \right)-f^{″}\left(w\right)w_x^2{\varphi }_x\hfill \\ +\left(f^{\prime }\left(w+\varphi \right)-f^{\prime }\left(w\right)\right)w_{xx}{\varphi }_x+\frac{1}{2}{\left[f^{\prime }\left(w+\varphi \right){\varphi }_x^2\right]}_{x,}\hfill \end{array}$$

(3.15)

we have from (3.14) and (3.15) that

$$\begin{array}{c}{\left({\varphi }_x^2\right)}_t+3f^{″}\left(w+\varphi \right)w_x{\varphi }_x^2+2{\psi }_x^2+2{\psi }_{xx}^2+{\left(\cdots \right)}_x\hfill \\ =-f^{″}\left(w+\varphi \right){\varphi }_x^3-2\left(f^{″}\left(w+\varphi \right)-f^{″}\left(w\right)\right)w_x^2{\varphi }_x-2\left(f^{\prime }\left(w+\varphi \right)-f^{\prime }\left(w\right)\right)w_{xx}{\varphi }_x\hfill \\ -2{\varphi }_x{\left\{\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2\right\}}_x-2{\psi }_x{w}_{xxxx}.\hfill \end{array}$$

(3.16)

Here and in the rest of this article, (···) _x denotes some terms which vanish after integration with respect to x over x ∈ R.

On the other hand, we have from (2.13) that

$${\varphi }_x^2+w_{xxx}^2={\psi }^2+2{\psi }_x^2+{\psi }_{xx}^2-2{\varphi }_x{w}_{xxx}-2{\left(\psi {\psi }_x\right)}_x.$$

(3.17)

Adding (3.16) to (3.17) yields

$${\left({\varphi }_x^2\right)}_t+3f^{″}\left(w+\varphi \right)w_x{\varphi }_x^2+{\varphi }_x^2+{\psi }_{xx}^2+w_{xxx}^2+{\left(\cdots \right)}_x={\psi }^2+F_1,$$

(3.18)

where

$$\begin{array}{c}{F}_1=-f^{″}\left(w+\varphi \right){\varphi }_x^3-2\left(f^{″}\left(w+\varphi \right)-f^{″}\left(w\right)\right)w_x^2{\varphi }_x-2\left(f^{\prime }\left(w+\varphi \right)-f^{\prime }\left(w\right)\right)w_{xx}{\varphi }_x\hfill \\ -2{\psi }_x{w}_{xxxx}-2{\varphi }_x{w}_{xxx}-2{\varphi }_x{\left\{\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2\right\}}_x.\hfill \end{array}$$

(3.19)

Integrating (3.18) with respect to t and x over [0, t] × R yields

$$\left|\right|{\varphi }_x\left(t\right)|{|}^2+\underset{0}{\overset{t}{\int }}\left(\left|\right|{\psi }_{xx}\left(\tau \right)|{|}^2+|\left|{\varphi }_x\left(\tau \right)\right|{|}^2\right)d\tau \le |\left|{{\varphi }^{\prime }}_0\left(x\right)\right|{|}^2+\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\left({\psi }^2+F_1\right)dxd\tau .$$

(3.20)

From (3.6), it is easy to see that

$$\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\psi }^2\left(\tau ,x\right)dxd\tau \le {\bar{C}}_0\left(\left|\right|{\varphi }_0\left(x\right)|{|}^2+{\delta }^2\right).$$

(3.21)

For the corresponding terms appearing in F₁, we have from Lemma 2.1, the a priori assumption (3.3) and (3.4) that

$$\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{f}^{″}\left(w+\varphi \right){\varphi }_x^{3}dxd\tau \left|\le LN\left(t\right)\underset{0}{\overset{t}{\int }}\left|\right|{\varphi }_x\left(\tau \right)|{|}^{2}d\tau ,\right.\right.$$

(3.22)

$$\begin{array}{cc}\hfill 2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\left(f^{″}\left(w+\varphi \right)-f^{″}\left(w\right)\right)w_x^2{\varphi }_{x}dxd\tau \right|& \le 4L\underset{0}{\overset{t}{\int }}\left|\right|{\varphi }_x\left(\tau \right)\left|\right|\left|\right|w_x\left(\tau \right)|{|}_{L^4}^{2}d\tau \hfill \\ \le \frac{1}{8}\underset{0}{\overset{t}{\int }}\left|\right|{\varphi }_x\left(\tau \right)|{|}^{2}d\tau +O\left(1\right){\delta }^2,\hfill \end{array}$$

(3.23)

$$\begin{array}{cc}\hfill 2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\left(f^{\prime }\left(w+\varphi \right)-f^{\prime }\left(w\right)\right){\varphi }_x{w}_{xx}dxd\tau \right|& \le 4L\underset{0}{\overset{t}{\int }}\left|\right|{\varphi }_x\left(\tau \right)\left|\right|\left|\right|w_{xx}\left(\tau \right)\left|\right|d\tau \hfill \\ \le \frac{1}{8}\underset{0}{\overset{t}{\int }}\left|\right|{\varphi }_x\left(\tau \right)|{|}^{2}d\tau +O\left(1\right){\delta }^2.\hfill \end{array}$$

(3.24)

Similarly, we can get that

$$2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\varphi }_x{w}_{xxx}dxd\tau \left|\le \frac{1}{8}\underset{0}{\overset{t}{\int }}{∥{\varphi }_x\left(\tau \right)∥}^{2}d\tau +O\left(1\right){\delta }^2,\right.\right.$$

(3.25)

$$2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\varphi }_x{\left\{\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2\right\}}_{x}dxd\tau \left|\le \frac{1}{8}\underset{0}{\overset{t}{\int }}{∥{\varphi }_x\left(\tau \right)∥}^{2}d\tau +O\left(1\right){\delta }^2,\right.\right.$$

(3.26)

$$2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\psi }_x{w}_{xxxx}dxd\tau \left|\le \underset{0}{\overset{t}{\int }}{∥{\psi }_x\left(\tau \right)∥}^{2}d\tau +O\left(1\right){\delta }^2\le O\left(1\right)\left({∥{\varphi }_0\left(x\right)∥}^2+{\delta }^2\right).\right.\right.$$

(3.27)

Putting (3.22)-(3.27) together implies

$$\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{F}_1\left(\tau ,x\right)dxd\tau \le \left(LN\left(t\right)+\frac{1}{2}\right)\underset{0}{\overset{t}{\int }}{∥{\varphi }_x\left(\tau \right)∥}^{2}d\tau +O\left(1\right)\left({∥{\varphi }_0\left(x\right)∥}^2+{\delta }^2\right).$$

(3.28)

Inserting (3.21) and (3.28) into (3.20), we can deduce that

$${∥{\varphi }_x\left(t\right)∥}^2+\underset{0}{\overset{t}{\int }}\left({∥{\psi }_{xx}\left(\tau \right)∥}^2+\left(\frac{1}{2}-LN\left(T\right)\right){∥{\varphi }_x\left(\tau \right)∥}^2\right)d\tau \le O\left(1\right)\left({∥{\varphi }_0\left(x\right)∥}_1^2+{\delta }^2\right).$$

(3.29)

Noticing that (3.5) implies that

$$\frac{1}{2}-LN\left(t\right)\ge \frac{51}{104}$$

and (3.7) follows immediately from (3.29) and the above inequality.

Finally, we deduce (3.8). For this purpose, we differentiate (2.12) and (2.13) with respect to x twice, multiply them by ϕ _xx and ψ _xx , respectively, and add the two resulting equations to get that

$${\left({\varphi }_{xx}^2\right)}_t+5f^{″}\left(w+\varphi \right)w_x{\varphi }_{xx}^2+2{\psi }_{xx}^2+2{\psi }_{xxx}^2+{\left(\cdots \right)}_x=F_2+2{\varphi }_{xx}{w}_{xxxx},$$

(3.30)

where

$$\begin{array}{cc}\hfill F_2=& -5f^{″}\left(w+\varphi \right){\varphi }_{xx}^2{\varphi }_x-2\left(f^{\prime }\left(w+\varphi \right)-f^{\prime }\left(w\right)\right)w_{xxx}{\varphi }_{xx}-6\left(f^{″}\left(w+\varphi \right)-f^{″}\left(w\right)\right)w_{xx}{w}_x{\varphi }_{xx}\hfill \\ -2\left(f^{‴}\left(w+\varphi \right)-f^{‴}\left(w\right)\right)w_x^3{\varphi }_{xx}-6f^{″}\left(w+\varphi \right)w_{xx}{\varphi }_{xx}{\varphi }_x-6f^{‴}\left(w+\varphi \right)w_x^2{\varphi }_{xx}{\varphi }_x\hfill \\ -6f^{‴}\left(w+\varphi \right)w_x{\varphi }_{xx}{\varphi }_x^2-2f^{‴}\left(w+\varphi \right){\varphi }_{xx}{\varphi }_x^3\hfill \\ -2{\varphi }_{xx}{w}_{xxxx}-2{\varphi }_{xx}{\left\{\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2\right\}}_{xx}-2{\psi }_{xx}{w}_{xxxxx}.\hfill \end{array}$$

(3.31)

On the other hand, we have from (2.13) that

$${\varphi }_{xx}^2+w_{xxxx}^2={\psi }_x^2+2{\psi }_{xx}^2+{\psi }_{xxx}^2-2{\varphi }_{xx}{w}_{xxxx}-2{\left({\psi }_x{\psi }_{xx}\right)}_x.$$

(3.32)

Combining (3.30) with (3.32) yields

$${\left({\varphi }_{xx}^2\right)}_t+5f^{″}\left(w+\varphi \right)w_x{\varphi }_{xx}^2+{\varphi }_{xx}^2+{\psi }_{xxx}^2+{\psi }_{xxxx}^2+{\left(\cdots \right)}_x={\psi }_x^2+F_2.$$

(3.33)

Integrating (3.33) with respect to t and x over [0, t] × R, we can deduce that

$${∥{\varphi }_{xx}\left(t\right)∥}^2+\underset{0}{\overset{t}{\int }}\left({∥{\psi }_{xxx}\left(\tau \right)∥}^2+{∥{\varphi }_{xx}\left(\tau \right)∥}^2\right)d\tau \le {∥{\varphi }_0^{\prime \prime }\left(x\right)∥}^2+\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\left({\psi }_x^2+F_2\right)dxd\tau .$$

(3.34)

Now we turn to deal with the terms appeared on the right-hand side of (3.34). First, from (3.6), it is easy to see that

$$\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\psi }_x^2\left(\tau ,x\right)dxd\tau \le {\bar{C}}_0\left({∥{\varphi }_0\left(x\right)∥}^2+{\delta }^2\right).$$

(3.35)

As to the terms appearing in F₂, we have from Lemma 2.1, the a priori assumption (3.3), (3.4), (3.6), and (3.7) that

$$5\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{f}^{″}\left(w+\varphi \right){\varphi }_{xx}^2{\varphi }_{x}dxd\tau \left|\le 5LN\left(t\right)\underset{0}{\overset{t}{\int }}{∥{\varphi }_{xx}\left(\tau \right)∥}^{2}d\tau ,\right.\right.$$

(3.36)

$$\begin{array}{cc}\hfill \left|2\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\left(f^{\prime }\left(w+\varphi \right)-f^{\prime }\left(w\right)\right)w_{xxx}{\varphi }_{xx}dxd\tau \right|& \le 4L\underset{0}{\overset{t}{\int }}∥{\varphi }_{xx}\left(\tau \right)∥∥w_{xxx}\left(\tau \right)∥d\tau \hfill \\ \le \frac{1}{8}\underset{0}{\overset{t}{\int }}{∥{\varphi }_{xx}\left(\tau \right)∥}^2\text{d}\tau +O\left(1\right){\delta }^2,\hfill \end{array}$$

(3.37)

$$\begin{array}{cc}\hfill 6\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\left(f^{″}\left(w+\varphi \right)-f^{″}\left(w\right)\right)w_x{w}_{xx}{\varphi }_{xx}dxd\tau \right|& \le O\left(1\right)L\underset{0}{\overset{t}{\int }}∥{\varphi }_{xx}\left(\tau \right)∥{∥w_x\left(\tau \right)∥}_{L^{\infty }}∥w_{xx}\left(\tau \right)∥d\tau \hfill \\ \le \frac{1}{8}\underset{0}{\overset{t}{\int }}{∥{\varphi }_{xx}\left(\tau \right)∥}^{2}d\tau +O\left(1\right){\delta }^4,\hfill \end{array}$$

(3.38)

$$\begin{array}{cc}\hfill 2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }\left(f^{‴}\left(w+\varphi \right)-f^{‴}\left(w\right)\right)w_x^3{\varphi }_{xx}dxd\tau \right|& \le 4L\underset{0}{\overset{t}{\int }}∥{\varphi }_{xx}\left(\tau \right)∥{∥w_x\left(\tau \right)∥}_{L^6}^{3}dxd\tau \hfill \\ \le \frac{1}{8}\underset{0}{\overset{t}{\int }}{∥{\varphi }_{xx}\left(\tau \right)∥}^{2}d\tau +O\left(1\right){\delta }^6,\hfill \end{array}$$

(3.39)

$$\begin{array}{cc}\hfill 6\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }(f^{″}\left(w+\varphi \right)w_{xx}{\varphi }_{xx}{\varphi }_{x}dxd\tau \right|& \le 6LN\left(t\right)\underset{0}{\overset{t}{\int }}∥{\varphi }_{xx}\left(\tau \right)∥∥w_{xx}\left(\tau \right)∥d\tau \hfill \\ \le 3LN\left(t\right)\underset{0}{\overset{t}{\int }}{∥{\varphi }_{xx}\left(\tau \right)∥}^{2}d\tau +O\left(1\right){\delta }^2.\hfill \end{array}$$

(3.40)

Similarly, we can get that

$$\begin{array}{cc}\hfill 2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }(f^{‴}\left(w+\varphi \right){\varphi }_x^3{\varphi }_{xx}dxd\tau \right|& \le 2L{\left(N\left(t\right)\right)}^2\underset{0}{\overset{t}{\int }}∥{\varphi }_{xx}\left(\tau \right)∥∥{\varphi }_x\left(\tau \right)∥d\tau \hfill \\ \le LN\left(t\right)\underset{0}{\overset{t}{\int }}{∥{\varphi }_{xx}\left(\tau \right)∥}^{2}d\tau +C\left(N\left(t\right)\right)\left({∥{\varphi }_0\left(x\right)∥}_1^2+{\delta }^2\right),\hfill \end{array}$$

(3.41)

$$6\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }(f^{‴}\left(w+\varphi \right)w_x^2{\varphi }_{xx}{\varphi }_{x}dxd\tau \left|\le 3LN\left(t\right)\underset{0}{\overset{t}{\int }}{∥{\varphi }_{xx}\left(\tau \right)∥}^{4}d\tau +O\left(1\right){\delta }^2,\right.\right.$$

(3.42)

$$\begin{array}{cc}\hfill 6\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }(f^{‴}\left(w+\varphi \right)w_x{\varphi }_x^2{\varphi }_{xx}dxd\tau \right|& \le 6LN\left(t\right)\underset{0}{\overset{t}{\int }}{∥w_x\left(\tau \right)∥}_{L^{\infty }}∥{\varphi }_x\left(\tau \right)∥∥{\varphi }_{xx}\left(\tau \right)∥d\tau \hfill \\ \le LN\left(t\right)\underset{0}{\overset{t}{\int }}{∥{\varphi }_{xx}\left(\tau \right)∥}^{2}d\tau +C\left(N\left(t\right)\right)\left({∥{\varphi }_0\left(x\right)∥}_1^2+{\delta }^2\right),\hfill \end{array}$$

(3.43)

$$2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{w}_{xxxx}{\varphi }_{xx}dxd\tau \left|\le \frac{1}{8}\underset{0}{\overset{t}{\int }}{∥{\varphi }_{xx}\left(\tau \right)∥}^{2}d\tau +O\left(1\right){\delta }^2,\right.\right.$$

(3.44)

$$2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\varphi }_{xx}{\left\{\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2\right\}}_{xx}dxd\tau \left|\le \frac{1}{8}\underset{0}{\overset{t}{\int }}{∥{\varphi }_{xx}\left(\tau \right)∥}^{2}d\tau +O\left(1\right){\delta }^4,\right.\right.$$

(3.45)

and

$$2\left|\underset{0}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{w}_{xxxxx}{\psi }_{xx}dxd\tau \left|\le \frac{1}{2}\underset{0}{\overset{t}{\int }}{∥{\psi }_{xx}\left(\tau \right)∥}^{2}d\tau +O\left(1\right){\delta }^2.\right.\right.$$

(3.46)

Substituting (3.35)-(3.46) into (3.34) and noticing that (3.5) implies that

$$13LN\left(t\right)\le \frac{1}{8},$$

we can deduce that (3.8) follows immediately. Thus Lemma 3.2 is proved.

Now we turn to prove Theorem 2.1. First, from the local solvability result Lemma 3.1, we know that there is a positive constant t₁ > 0 such that the Cauchy problem (2.12)-(2.14) admits a unique solution $\left(\varphi \left(t,x\right),\psi \left(t,x\right)\right)\in X_{t_1}$ which satisfies

$$\left\{\begin{array}{c}∥\varphi \left(t\right)∥\le 2∥{\varphi }_0\left(x\right)∥,\hfill \\ ∥{\varphi }_x\left(t\right)∥\le 2{∥{\varphi }_0\left(x\right)∥}_1,\hfill \\ ∥{\varphi }_{xx}\left(t\right)∥\le 2{∥{\varphi }_0\left(x\right)∥}_2\hfill \end{array}\right.$$

(3.47)

for 0 ≤ t ≤ t₁.

Now since the initial perturbation is assumed to satisfy (2.15)-(2.17), we have from (3.47) and the Gagliardo-Nirenberg inequality that the following estimates

$$\left\{\begin{array}{c}\hfill {∥\varphi \left(t\right)∥}_{L^{\infty }}\le D{∥\varphi \left(t\right)∥}^{\frac{3}{4}}{∥{\varphi }_{xx}\left(t\right)∥}^{\frac{1}{4}}\le 2D{\left(D_1\right)}^{\frac{3}{8}}{\left(D_{3,1}\right)}^{\frac{1}{8}}{\delta }^{\frac{3\beta -\gamma }{8}}{\left(1+{\delta }^{\gamma }\right)}^{\frac{1}{8}},\hfill \\ \hfill {∥{\varphi }_x\left(t\right)∥}_{L^{\infty }}\le D{∥\varphi \left(t\right)∥}^{\frac{1}{4}}{∥{\varphi }_{xx}\left(t\right)∥}^{\frac{3}{4}}\le 2D{\left(D_1\right)}^{\frac{1}{8}}{\left(D_{3,1}\right)}^{\frac{3}{8}}{\delta }^{\frac{\beta -3\gamma }{8}}{\left(1+{\delta }^{\gamma }\right)}^{\frac{3}{8}}\hfill \end{array}\right.$$

(3.48)

hold for any t ∈ [0, t₁]. Here D > 0 is the constant appearing in the Gagliardo-Nirenberg inequality and $D_{3,1}=\sum _{1\le i\le 3}{D}_i.$

(3.48) implies that there exists a positive constant D₇ > 0 which is independent of x, t, and δ for sufficiently small δ > 0 such that

$${∥\varphi \left(t\right)∥}_{L^{\infty }}+{∥{\varphi }_x\left(t\right)∥}_{L^{\infty }}\le D_7{\delta }^{\frac{\beta -3\gamma }{8}}$$

(3.49)

holds for any t ∈ [0, t₁].

Thus if β > 3γ, we can easily deduce that there exists δ₁ > 0 sufficiently small such that if 0 < δ ≤ δ₁, we have for 0 ≤ t ≤ t₁ that

$$104D_7{\delta }^{\frac{\beta -3\gamma }{8}}L\left(D_7{\delta }^{\frac{\beta -3\gamma }{8}}\right)\le 1,$$

which means that the conditions listed in Lemma 3.2 hold with T = t₁, $\eta =D_7{\delta }^{\frac{\beta -3\gamma }{8}}$and thus we have from Lemma 3.2 that

$$\left\{\begin{array}{c}\hfill {∥\varphi \left(t\right)∥}^2\le {\bar{C}}_1\left({∥{\varphi }_0\left(x\right)∥}^2+{\delta }^2\right),\hfill \\ \hfill {∥{\varphi }_x\left(t\right)∥}^2\le {\bar{C}}_2\left({∥{\varphi }_0\left(x\right)∥}_1^2+{\delta }^2\right),\hfill \\ \hfill {∥{\varphi }_{xx}\left(t\right)∥}^2\le {\bar{C}}_3\left({∥{\varphi }_0\left(x\right)∥}_2^2+{\delta }^2\right)\hfill \end{array}\right.$$

(3.50)

hold for t ∈ [0, t₁].

Now take ϕ (t₁, x) as initial data, we have from the local existence result Lemma 3.1 again that there exists a positive constant t₂ > 0 such that the solution (ϕ(t, x), ψ(t, x)) of Cauchy problem (2.12)-(2.14) obtained above can be extended to the time step t = t₁ + t₂ and (ϕ(t, x), ψ(t, x)) satisfies

$$\left\{\begin{array}{c}\hfill {∥\varphi \left(t\right)∥}^2\le 4{\bar{C}}_1\left({∥{\varphi }_0\left(x\right)∥}^2+{\delta }^2\right),\hfill \\ \hfill {∥{\varphi }_x\left(t\right)∥}^2\le 4{\bar{C}}_2\left({∥{\varphi }_0\left(x\right)∥}_1^2+{\delta }^2\right),\hfill \\ \hfill {∥{\varphi }_{xx}\left(t\right)∥}^2\le 4{\bar{C}}_3\left({∥{\varphi }_0\left(x\right)∥}_2^2+{\delta }^2\right)\hfill \end{array}\right.$$

(3.51)

for t ∈ [t₁, t₁ + t₂].

Notice that (3.51) together with (3.50) implies that (3.51) holds for all t ∈ [0, t₁ + t₂] and consequently we have from the assumptions (2.15)-(2.17) imposed on the initial perturbation, (3.51) and the Gagliardo-Nirenberg inequality that

$$\left\{\begin{array}{c}\hfill {∥\varphi \left(t\right)∥}_{L^{\infty }}\le D{∥\varphi \left(t\right)∥}^{\frac{3}{4}}{∥{\varphi }_{xx}\left(t\right)∥}^{\frac{1}{4}}\le 4D{\left({\bar{C}}_1{D}_1\right)}^{\frac{3}{8}}{\left(D_{3,2}\right)}^{\frac{1}{8}}{\delta }^{\frac{3\beta }{8}}{\left(1+{\delta }^{-\gamma }\right)}^{\frac{1}{8}},\hfill \\ \hfill {∥{\varphi }_x\left(t\right)∥}_{L^{\infty }}\le D{∥\varphi \left(t\right)∥}^{\frac{1}{4}}{∥{\varphi }_{xx}\left(t\right)∥}^{\frac{3}{4}}\le 4D{\left({\bar{C}}_1{D}_1\right)}^{\frac{1}{8}}{\left(D_{3,2}\right)}^{\frac{3}{8}}{\delta }^{\frac{\beta }{8}}{\left(1+{\delta }^{-\gamma }\right)}^{\frac{3}{8}}\hfill \end{array}\right.$$

(3.52)

hold for any t ∈ [0, t₁ + t₂]. Here $D_{3,2}=\sum _{1\le i\le 3}{\bar{C}}_i{D}_i.$

(3.52) implies that there exists a positive constant D₈ > 0 which are independent of x, t and δ > 0 for sufficiently small δ > 0 such that

$${∥\varphi \left(t\right)∥}_{L^{\infty }}+{∥{\varphi }_x\left(t\right)∥}_{L^{\infty }}\le D_8{\delta }^{\frac{\beta -3\gamma }{8}}$$

(3.53)

holds for any t ∈ [0, t₁ + t₂].

Having obtained (3.53), we can choose by repeating the argument used above to show that there exists a sufficiently small positive constant δ₂ > 0 such that for 0 < δ_≤δ₂, we have for 0 ≤ t ≤ t₁ + t₂ that

$$104D_8{\delta }^{\frac{\beta -3\gamma }{8}}L\left(D_8{\delta }^{\frac{\beta -3\gamma }{8}}\right)\le 1,$$

which means that the conditions listed in Lemma 3.2 hold for T = t₁ + t₂ and $\eta =D_8{\delta }^{\frac{\beta -3\gamma }{8}}$and thus we have from Lemma 3.2 that (3.50) holds for any t ∈ [0, t₁ + t₂].

Now take ϕ(t₁ + t₂, x) as initial data, we can employ Lemma 3.1 once more to deduce that (ϕ(t, x), ψ(t, x)) can be extended to the time step t = t₁ + 2t₂ and (3.51) holds for t ∈ [t₁ + t₂, t₁ + 2t₂]. Since the constant C in (3.50) is independent of t, we can thus repeat the above process to extend (ϕ(t, x), ψ(t, x)) to a global one.

The above analysis tells us that if 0 < δ ≤ δ₀ with δ₀ = min{δ₁, δ₂}, then the Cauchy problem (2.15)-(2.17) admits a unique global solution (ϕ(t, x), ψ(t, x)) which satisfies

$${∥\varphi \left(t\right)∥}_2^2+\underset{0}{\overset{t}{\int }}\left({∥\psi \left(\tau \right)∥}_3^2+{∥{\varphi }_x\left(\tau \right)∥}_1^2\right)d\tau \le O\left(1\right)\left({∥{\varphi }_0∥}_2^2+{\delta }^2\right),t\ge 0.$$

(3.54)

Having obtained (3.54), the proof of (2.19) is standard, we thus omit the details for brevity.

4 The proof of Theorem 2.2

The main purpose of this section is devoted to deducing the corresponding convergence rates of the global solution (ϕ(t, x), ψ(t, x)) of the Cauchy problem (2.12)-(2.14) to the rarefaction waves $\left(w^R(\left(\frac{x}{t}\right),-{\partial }_x{w}^R\left(\frac{x}{t}\right)\right)$ under the assumptions that the Cauchy problem (2.12)-(2.14) admits a unique global solution (ϕ(t, x), ψ(t, x)) which satisfies (1.16), (1.17).

Before stating our main result, we first deduce certain estimates on (ϕ(t, x), ψ(t, x)) based on the assumption (1.16)

Lemma 4.1 Let ϕ₀(x) ∈ H^S(R) and (ϕ(t, x), ψ(t, x)) be the global solution of the Cauchy problem (2.12)-(2.14). If we assume further that (ϕ(t, x), ψ(t, x)) satisfies (1.16), then for each fixed T > 0, there exists a positive constant C _k (E, T) > 0 such that

$${∥{\partial }_x^l\varphi \left(T\right)∥}_1^2\le C_l\left(E,T\right)\left({∥{\varphi }_0\left(x\right)∥}_{l+1}^2+{\delta }^2\right),l=0,\dots ,S-1.$$

(4.1)

Lemma 4.1 can be proved by employing the standard energy estimates and thus we omit the details for brevity.

Remark 4.1 If the constant E in (1.16) is assumed to be sufficiently small, then the constant C(E, T) can be chosen independent of T > 0. This fact follows easily from the proof of Lemma 3.2.

The following lemma is concerned with the L¹ estimate on ϕ(t, x).

Lemma 4.2 Under the assumptions listed in Lemma 4.1, if we assume further that ϕ₀(x) ∈ L¹(R), then we can get that

$${∥\varphi \left(t\right)∥}_{L^1}\le {∥{\varphi }_0\left(x\right)∥}_{L^1}+C_0\delta \text{ln}\left(2+t\right),$$

(4.2)

where C₀ is independent of t, x, and δ.

The proof of Lemma 4.2 is similar to that of [1, 4] and thus we omit the details for brevity. With the above preliminaries in hand, we now state the main results of this section

Theorem 4.1 (Decay estimates) Let ϕ₀(x) ∈ H^S(R) ∩ L¹(R) and (ϕ(t, x), ψ(t, x)) be the unique global solution of the Cauchy problem (2.12)-(2.14) satisfying (1.16) and (1.17), then there exists a positive constant T > 0 which is chosen sufficiently large such that for each α > 2S, l = 1, ..., S - 1, we have for each t ≥ T that

$$\begin{array}{c}{\left(1+t\right)}^{\alpha }{∥\varphi \left(t\right)∥}_1^2+\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha }{∥{\partial }_x\varphi \left(\tau \right)∥}^{2}d\tau \\ \le D_1\left(E,T\right)\left({∥{\varphi }_0\left(x\right)∥}_1^2+{\delta }^2+{∥{\varphi }_0\left(x\right)∥}_{L^1}^2\right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^2\left(2+t\right),\end{array}$$

(4.3)

$$\begin{array}{c}{\left(1+t\right)}^{\alpha +l}{∥{\partial }_x^l\varphi \left(t\right)∥}_1^2+\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +l}{∥{\partial }_x^{l+1}\varphi \left(\tau \right)∥}^{2}d\tau \\ \le D_{l+1}\left(E,T\right)C_{l+1}\left({\varphi }_0,\delta \right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^{12l-6}\left(2+t\right).\end{array}$$

(4.4)

Here D _l , D _l (l = 1, ..., S) are positive constants defined in (2.21) and (2.22), respectively.

Remark 4.2 If $f\left(u\right)=\frac{1}{2}{u}^2$, (4.2) can be improved to

$${∥\varphi \left(t\right)∥}_{L^1}\le {∥{\varphi }_0\left(x\right)∥}_{L^1}+C_0\delta$$

(4.5)

and consequently we can show that the decay estimates (2.20)-(2.22) can be improved such that the term ln(2 + t) in the right-hand side can be replaced by 1.

Theorem 4.1 will be proved by the method of mathematical induction. For this purpose, we first choose $\bar{\eta }>0$ sufficiently small such that

$$\left(k+2\right)M\bar{\eta }\le \frac{1}{64},M=\underset{0\le j\le S}{\text{max}}\underset{\left|u\right|\le \bar{\eta }+\left|u_{-}\right|+\left|u_{+}\right|}{\text{max}}\left|f^{\left(j+1\right)}\left(u\right)\right|.$$

(4.6)

On the other hand, the assumptions in Theorem 4.1 tell us that ϕ(t, x) satisfies (1.17).

From which we can deduce that there exists a sufficiently large constant T > 0 such that

$$\begin{array}{c}{∥\varphi \left(t\right)∥}_{L^{\infty }}+{∥{\varphi }_x\left(t\right)∥}_{L^{\infty }}\le \bar{\eta },\forall t\ge T,\\ 16\left(\alpha +S+4\left(k+2\right)M\left(C_{\infty }+\bar{\eta }\right)\right)\le 1+T,\end{array}$$

(4.7)

where C_∞ is the constant in (2.8) for p = ∞.

Now we turn to show (4.3) and (4.4) for l = 1. To this end, we have by adding (3.9) and (3.18) together, multiplying the resulting identity by (1 + t)^α, and integrating the final results with respect to t and x over [T, t) × R to deduce that

$$\begin{array}{c}{\left(1+t\right)}^{\alpha }{∥\varphi \left(t\right)∥}_1^2+\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha }\left({∥{\varphi }_x\left(\tau \right)∥}^2+{∥\psi \left(\tau \right)∥}_2^2\right)d\tau \hfill \\ \le \underset{H_1}{\underbrace{{\left(1+T\right)}^{\alpha }{∥\varphi \left(T\right)∥}_1^2}}+\underset{H_2}{\underbrace{\alpha \underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha -1}{∥\varphi \left(\tau \right)∥}^{2}d\tau }}+\underset{H_3}{\underbrace{\alpha \underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha -1}{∥{\varphi }_x\left(\tau \right)∥}^{2}d\tau }}\hfill \\ +\underset{H_4}{\underbrace{\underset{T}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left(1+\tau \right)}^{\alpha }\left\{F_1-2{\varphi }_x{\left(\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2\right)}_x-2{\psi }_x{w}_{xxxx}\right\}dxd\tau .}}\hfill \end{array}$$

(4.8)

Now we turn to estimate H₁-H₄ term by term. First (4.1) tells us that

$$H_1\le C_1\left(E,T\right)\left({∥{\varphi }_0\left(x\right)∥}_1^2+{\delta }^2\right)$$

(4.9)

and (4.7) implies that

$$H_3\le \frac{1}{16}\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha }{∥{\varphi }_x\left(\tau \right)∥}^{2}d\tau .$$

(4.10)

As to H₂ and H₄, from (4.2), we have by repeating the argument used in [1] that

$$H_2\le \frac{1}{16}\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha }{∥{\varphi }_x\left(\tau \right)∥}^{2}d\tau +O\left(1\right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\left(\delta \text{ln}\left(2+t\right)+{∥{\varphi }_0\left(x\right)∥}_{L^1}\right)}^2$$

(4.11)

and

$$H_4\le \left(\frac{5}{16}+M\eta \right)\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha }\left({∥{\varphi }_x\left(\tau \right)∥}^2+{∥{\psi }_x\left(\tau \right)∥}_1^2\right)d\tau +O\left(1\right){\left(1+t\right)}^{\alpha -1}\left(\delta \text{ln}\left(2+t\right)+{∥{\varphi }_0\left(x\right)∥}_{L^1}\right).$$

(4.12)

Substituting (4.9)-(4.12) into (4.8), we can deduce (4.3) holds immediately from (4.6) and (4.7).

On the other hand, from (3.16) and (3.33), we can get by employing the same argument that

$$\begin{array}{c}{\left(1+t\right)}^{\alpha +1}{∥{\varphi }_x\left(t\right)∥}_1^2+\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +1}\left({∥{\varphi }_{xx}\left(\tau \right)∥}^2+{∥{\psi }_x\left(\tau \right)∥}_2^2\right)d\tau \hfill \\ \le {\left(1+T\right)}^{\alpha +1}{∥{\varphi }_x\left(T\right)∥}_1^2+\left(\alpha +1\right)\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha }{∥{\varphi }_x\left(\tau \right)∥}_1^{2}d\tau \hfill \\ +\underset{T}{\overset{t}{\int }}\underset{R}{\int }{\left(1+\tau \right)}^{\alpha +1}\left(F_1+2{\varphi }_x{w}_{xxx}+F_2\right)dxd\tau .\hfill \end{array}$$

(4.13)

With (4.13) and (4.3) in hand, (4.4) with l = 1 can be proved by the same argument.

The above analysis implies that (4.3) and (4.4) for l = 1 hold true.

Now suppose that (4.4) holds for l = 1, 2, ..., k - 1 for some k ≥ 2, that is, there exist some positive constants C_l+1, D_l+1(l = 1, ..., k - 1) independent of t, x, and δ such that

$${\left(1+t\right)}^{\alpha +l}{∥{\partial }_x^l\varphi \left(t\right)∥}_1^2+\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +l}{∥{\partial }_x^{l+1}\varphi \left(\tau \right)∥}^{2}d\tau \le D_{l+1}\left(E,T\right)C_{l+1}\left({\varphi }_0,\delta \right)){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^{12l-6}\left(2+t\right)$$

(4.14)

hold for l = 1, ..., k - 1, we now try to prove that (4.4) holds for l = k.

To this end, we need to deduce certain estimates on composite functions and to do so, we need the following result whose proof can be found in the proof of Theorem 4.3 of [5]

Lemma 4.3 ([5]) Let F and g be sufficiently smooth scalar functions, and g is the function of t, x and g(t, ·) ∈ H^l(R) ∩ L^∞(R) (l is a positive integer). Then F (g)(t, ·) satisfies that

$${∥{\partial }_x^{l}F\left(g\left(t,\cdot \right)\right)∥}_{L^p}\le C\left({∥g\left(t\right)∥}_{L^{\infty }}\right){∥{\partial }_x^{l}g\left(t,\cdot \right)∥}_{L^p},p\ge 1.$$

(4.15)

Based on Lemma 4.3, we first deduce an estimate on $∥{\partial }_x^i\left\{\left(\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}\right)w_x^2\right\}\left(t\right)∥$

Lemma 4.4 For each i ≥ 1, we have

$${∥{\partial }_x^i\left\{\left(\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}\right)w_x^2\right\}\left(t\right)∥}^2\le C{\delta }^4{\left(1+t\right)}^{-\left(i+\frac{5}{2}\right)}.$$

(4.16)

Proof: For each p ≥ 1, it is easy to see from Lemma 4.3 that for any smooth function g(u)

$${∥{\partial }_x^{i}g\left(w\right)\left(t\right)∥}_{L^p}\le C{∥{\partial }_x^{i}w\left(t\right)∥}_{L^p}\le C\delta {\left(1+t\right)}^{-\frac{1}{2}\left(i-\frac{1}{p}\right)},i\ge 1.$$

(4.17)

Moreover, Lemma 2.1 implies that

$${∥{\partial }_x^i\left(w_x^2\right)\left(t\right)∥}_{L^p}\le C\delta {\left(1+t\right)}^{-\frac{1}{2}\left(i+3-\frac{1}{p}\right)},i\ge 1,1\le p\le \infty .$$

(4.18)

Having obtained (4.17) and (4.18), the proof of (4.16) is straightforward. This completes the proof of Lemma 4.4.

Now we turn to deduce the L²-norm estimates on the following two terms

$$\left\{\begin{array}{c}{I}_1={\partial }_x^k\left(f\left(w+\varphi \right)-f\left(w\right)\right)-{\partial }_x^k\varphi \underset{0}{\overset{1}{\int }}{f}^{\prime }\left(\theta \varphi +w\right)d\theta ,\hfill \\ I_2={\partial }_x^{k+2}(f\left(w+\varphi \right)-f^{\prime }\left(\varphi +w\right){\partial }_x^{k+2}\left(\varphi +w\right)\hfill \\ -\left(k+2\right)f^{″}\left(\varphi +w\right){\partial }_x^{k+1}\left(\varphi +w\right){\partial }_x\left(\varphi +w\right).\hfill \end{array}\right.$$

(4.19)

For this purpose, we first have from (4.3), the induction assumption (4.14) and Sobolev's inequality that

$${∥\varphi \left(t\right)∥}_{L^{\infty }}^2\le C\left(E,T\right)\left({∥{\varphi }_0\left(x\right)∥}_2^2+{\delta }^2+{∥{\varphi }_0\left(x\right)∥}_{L^1}^2\right){\left(1+t\right)}^{-1}{\text{ln}}^4\left(2+t\right){\left(1+{∥{\varphi }_0\left(x\right)∥}_{L^1}+{∥{\varphi }_0\left(x\right)∥}_2\right)}^2,$$

(4.20)

$$\begin{array}{cc}\hfill {∥{\partial }_x^j\varphi \left(t\right)∥}_{L^{\infty }}^2\le & C\left(E,T\right)\left({∥{\varphi }_0\left(x\right)∥}_{j+2}^2+{\delta }^2+{∥{\varphi }_0\left(x\right)∥}_{L^1}^2\right){\left(1+t\right)}^{-j-1}{\text{ln}}^{12j}\left(2+t\right)\hfill \\ \times {\left(1+{∥{\varphi }_0\left(x\right)∥}_{L^1}+{∥{\varphi }_0\left(x\right)∥}_{j+2}\right)}^{12j-2},1\le j\le k-2,\hfill \end{array}$$

(4.21)

$${∥{\partial }_x\varphi \left(t\right)∥}_{L^{\infty }}^2\le C\left(E,T\right)\left({∥{\varphi }_0\left(x\right)∥}_2^2+{\delta }^2+{∥{\varphi }_0\left(x\right)∥}_{L^1}^2\right){\left(1+t\right)}^{-\frac{3}{2}}{\text{ln}}^6\left(2+t\right){\left(1+{∥{\varphi }_0\left(x\right)∥}_{L^1}+{∥{\varphi }_0\left(x\right)∥}_2\right)}^4,$$

(4.22)

$$\begin{array}{cc}\hfill {∥{\partial }_x^j\varphi \left(t\right)∥}_{L^{\infty }}^2\le & C\left(E,T\right)\left({∥{\varphi }_0\left(x\right)∥}_{j+1}^2+{\delta }^2+{∥{\varphi }_0\left(x\right)∥}_{L^1}^2\right){\left(1+t\right)}^{-j}{\text{ln}}^{12\left(j-1\right)}\left(2+t\right)\hfill \\ \times {\left(1+{∥{\varphi }_0\left(x\right)∥}_{L^1}+{∥{\varphi }_0\left(x\right)∥}_{j+2}\right)}^{12j-14},2\le j\le k-1,\hfill \end{array}$$

(4.23)

and

$$\begin{array}{cc}\hfill {∥{\partial }_x^j\varphi \left(t\right)∥}^2\le & C\left(E,T\right)\left({∥{\varphi }_0\left(x\right)∥}_j^2+{\delta }^2+{∥{\varphi }_0\left(x\right)∥}_{L^1}^2\right){\left(1+t\right)}^{-\left(j-\frac{1}{2}\right)}{\text{ln}}^{12j-18}\left(2+t\right)\hfill \\ \times {\left(1+{∥{\varphi }_0\left(x\right)∥}_{L^1}+{∥{\varphi }_0\left(x\right)∥}_j\right)}^{12j-20},2\le j\le k.\hfill \end{array}$$

(4.24)

It is worth to pointing out that although we can derive a better decay estimate on I₂, the estimates (4.22) - (4.24) are designed to deduce the coefficient C_k+1(ϕ, δ) on the right-hand side of (4.26) inductively.

From the induction assumption (4.14), (4.20)-(4.24), we can deduce the following estimates on I₁ and I₂

Lemma 4.5 Under the assumption (4.14), we have

$$\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥I_1\left(\tau \right)∥}^{2}d\tau \le C\left(E,T\right)C_{k+1}\left({\varphi }_0,\delta \right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^{12k-6}\left(2+t\right)$$

(4.25)

and

$$\begin{array}{cc}\hfill \underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥I_2\left(\tau \right)∥}^{2}d\tau & \le \frac{1}{16}\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥{\partial }_x^{k+1}\varphi \left(\tau \right)∥}^{2}d\tau \hfill \\ +C\left(E,T\right)C_{k+1}\left({\varphi }_0,\delta \right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^{12k-6}\left(2+t\right).\hfill \end{array}$$

(4.26)

Proof: We only prove (4.26) since the proof of (4.25) is less complicated and thus we omit the details for brevity.

(4.26) will be proved for the cases of k = 2 and k > 2, respectively. First, we show that (4.26) holds for the case of k = 2. For such a case, we can deduce that

$$\begin{array}{cc}\hfill \underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +2}{∥I_2\left(\tau \right)∥}^{2}d\tau & \le \underset{I_{2,1}}{\underbrace{O\left(1\right)\underset{T}{\overset{t}{\int }}\underset{R}{\int }{\left(1+\tau \right)}^{\alpha +2}{\left({\partial }_x\left(w+\varphi \right)\right)}^8+{\left({\partial }_x\left(w+\varphi \right)\right)}^4{\left({\partial }_x^2\left(w+\varphi \right)\right)}^{2}dxd\tau }}\hfill \\ \underset{I_{2,2}}{\underbrace{+O\left(1\right)\underset{T}{\overset{t}{\int }}\underset{R}{\int }{\left(1+\tau \right)}^{\alpha +2}{\left({\partial }_x^2\left(w+\varphi \right)\right)}^{4}dxd\tau .}}\hfill \end{array}$$

(4.27)

From Lemma 2.1, (4.7), the induction assumption (4.14) and the Sobolev's inequality, we get

$$I_{2,1}\le C\left(E,T\right)\left({∥{\varphi }_0\left(x\right)∥}_2^2+{\delta }^2+{∥{\varphi }_0\left(x\right)∥}_{L^1}^2\right){\left(1+t\right)}^{\alpha -1}{\text{ln}}^{12}\left(2+t\right){\left(1+{∥{\varphi }_0\left(x\right)∥}_{L^1}+{∥{\varphi }_0\left(x\right)∥}_2\right)}^{10}$$

(4.28)

and

$$\begin{array}{cc}\hfill I_{2,2}& \le O\left(1\right)\left(\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +2}{∥{\partial }_x^2\varphi \left(\tau \right)∥}^2{∥{\partial }_x^2\varphi \left(\tau \right)∥}_{L^{\infty }}^{2}d\tau +{\delta }^2{\left(1+t\right)}^{\alpha -\frac{3}{2}}\right)\hfill \\ \le \frac{1}{16}\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +2}{∥{\partial }_x^3\varphi \left(\tau \right)∥}^{2}d\tau +O\left(1\right)\left(\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +2}{∥{\partial }_x^2\varphi \left(\tau \right)∥}^{6}d\tau +{\delta }^2{\left(1+t\right)}^{\alpha -\frac{3}{2}}\right)\hfill \\ \le \frac{1}{16}\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +2}{∥{\partial }_x^3\varphi \left(\tau \right)∥}^{2}d\tau +C\left(T\right)C_3\left({\varphi }_0,\delta \right){\left(1+t\right)}^{\alpha -\frac{3}{2}}{\text{ln}}^{18}\left(2+t\right).\hfill \end{array}$$

(4.29)

Putting (4.27), (4.28), and (4.29) together yields (4.26) for k = 2.

For the case k > 2, we have

$$\begin{array}{c}\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥I_2\left(\tau \right)∥}^{2}d\tau \hfill \\ \le O\left(1\right)\sum _{2\le \rho \le k+2}\underset{T}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left(1+\tau \right)}^{\alpha +k}{\left|{\left({\partial }_x\left(w+\varphi \right)\right)}^{{\alpha }_1}\cdots {\left({\partial }_x^k\left(w+\varphi \right)\right)}^{{\alpha }_k}\right|}^{2}dxd\tau \hfill \\ \le \underset{I_{k,1}}{\underbrace{O\left(1\right)\underset{T}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left(1+\tau \right)}^{\alpha +k}{\left|{\partial }_x\left(w+\varphi \right)\right|}^{2\left(k+2\right)}dxd\tau }}\hfill \\ +\underset{I_{k,2}}{\underbrace{O\left(1\right)\sum _{2\le \rho \le k+2}\underset{T}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left(1+\tau \right)}^{\alpha +k}{\left|{\left({\partial }_x\left(w+\varphi \right)\right)}^{{\alpha }_1}\cdots {\left({\partial }_x^k\left(w+\varphi \right)\right)}^{{\alpha }_k}\right|}^{2}dxd\tau ,}}\hfill \end{array}$$

(4.30)

where α₁, ..., α _k , and ρ satisfy

$$\left\{\begin{array}{c}{\alpha }_1+{\alpha }_2+\cdots +{\alpha }_k=\rho ,\hfill \\ {\alpha }_1+2{\alpha }_2+\cdots +k{\alpha }_k=k+2.\hfill \end{array}\right.$$

(4.31)

It is easy to see from Lemma 2.1, (4.3), (4.7), and (4.22) that

$$I_{k,1}\le C\left(T\right)\left({∥{\varphi }_0\left(x\right)∥}_2^2+{\delta }^2+{∥{\varphi }_0\left(x\right)∥}_{L^1}^2\right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^{4k+2}\left(2+t\right){\left(1+{∥{\varphi }_0\left(x\right)∥}_{L^1}+{∥{\varphi }_0\left(x\right)∥}_2\right)}^{4k}.$$

(4.32)

To estimate I_{k, 2}in (4.30), we only deal with the case α _k ≠ 0 since the other cases are less complicated. In such a case the assumption k > 3 and (4.31) implies that α _k = 1 and consequently we obtain from Lemma 2.1 and (4.22)-(4.24) that

$$\begin{array}{cc}\hfill I_{k,2}& \le O\left(1\right)\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}\left(\prod _{j=1}^{k-1}{∥{\partial }_x^j\left(\varphi +w\right)\left(\tau \right)∥}_{L^{\infty }}^{2{\alpha }_j}\right)∥{\partial }_x^{{\alpha }_k}\left(\varphi +w\right)\left(\tau \right)∥\hfill \\ \le C\left(T\right){\left(1+t\right)}^{\alpha -\frac{1+{\alpha }_1}{2}}{\left(\text{ln}\left(2+t\right)\right)}^{12k-6+12\left(2-\rho \right)+6{\alpha }_1}\hfill \\ \times \left({∥{\varphi }_0\left(x\right)∥}_2^2+{\delta }^2+{∥{\varphi }_0\left(x\right)∥}_{L^1}^2\right){\left(1+{∥{\varphi }_0\left(x\right)∥}_{L^1}+{∥{\varphi }_0\left(x\right)∥}_2\right)}^{12k-8+12\left(2-\rho \right)+6{\alpha }_1}\hfill \\ \le C\left(T\right)C_{k+1}\left({\varphi }_0,\delta \right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^{12k-6}\left(2+t\right).\hfill \end{array}$$

(4.33)

Here we have used the facts that 2 ≤ ρ ≤ 3 and ρ = 3 if and only if α₁ = 2 which are direct consequence of (4.31) and the facts that α _k = 1, k ≥ 3.

(4.32) together with (4.33) yields (4.26) for the case k > 2 and this complete the proof of Lemma 4.5.

With the above preparations in hand, we go on with the proof of (4.14) for l = k. To this end, we have by performing ${\left(1+t\right)}^{\alpha +k}{\partial }_x^k\varphi \times {\partial }_x^k$(2.12) + ${\left(1+t\right)}^{\alpha +k}{\partial }_x^k\psi \times {\partial }_x^k$(2.13) + ${\left(1+t\right)}^{\alpha +k}{\partial }_x^{k+1}\varphi \times {\partial }_x^{k+1}$ (2.12) + ${\left(1+t\right)}^{\alpha +k}{\partial }_x^{k+1}\psi \times {\partial }_x^{k+1}$ (2.13) (k ≥ 2) and integrating the resulting identity with respect to t and x over [T, t] × R that

$$\begin{array}{c}{\left(1+t\right)}^{\alpha +k}{∥{\partial }_x^k\varphi \left(t\right)∥}_1^2+\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥{\partial }_x^{k+1}\varphi \left(\tau \right)∥}^{2}d\tau \hfill \\ \le \underset{H_5}{\underbrace{{\left(1+T\right)}^{\alpha +k}{∥{\partial }_x^k\varphi \left(T\right)∥}_1^2}}+\underset{H_6}{\underbrace{\left(\alpha +k\right)\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k-1}{∥{\partial }_x^k\varphi \left(\tau \right)∥}_1^{2}d\tau }}+\underset{H_7}{\underbrace{O\left(1\right)\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥{\partial }_x^{k+2}w\left(\tau \right)∥}^{2}d\tau }}\hfill \\ +\underset{H_8}{\underbrace{\left|2\underset{T}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left(1+\tau \right)}^{\alpha +k}{\partial }_x^{k+1}\varphi \left(I_1+{\partial }_x^k\varphi \underset{0}{\overset{1}{\int }}{f}^{\prime }\left(w+\theta \varphi \right)d\theta \right)dxd\tau \right|}}\hfill \\ +2\underset{H_9}{\underbrace{\left|\underset{T}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left(1+\tau \right)}^{\alpha +k}{\partial }_x^{k+1}\varphi \left(I_2+f^{\prime }\left(w+\varphi \right){\partial }_x^{k+2}\varphi +\left(k+2\right)f^{″}\left(w+\varphi \right){\partial }_x^{k+1}\left(w+\varphi \right){\partial }_x\left(w+\varphi \right)\right)dxd\tau \right|}}\hfill \\ +\underset{H_{10}}{\underbrace{\left|2\underset{T}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left(1+\tau \right)}^{\alpha +k}{\partial }_x^{k+1}\varphi {\partial }_x^{k-1}\left\{\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2\right\}dxd\tau \right|}}+\underset{H_{11}}{\underbrace{\left|2\underset{T}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left(1+\tau \right)}^{\alpha +k}{\partial }_x^{k+1}\varphi {\partial }_x^{k+1}\left\{\frac{f^{‴}\left(w\right)}{f^{″}\left(w\right)}{w}_x^2\right\}dxd\tau \right|}}.\hfill \end{array}$$

(4.34)

And we are now devoted to controlling H₅-H₁₁. First, we have from Lemma 2.1 and (4.1) that

$$H_5+H_7\le C\left(E,T\right)\left({∥{\varphi }_0\left(x\right)∥}_{k+1}^2+{\delta }^2\right)+C\left(T\right){\delta }^2{\left(1+t\right)}^{\alpha -\frac{1}{2}}.$$

(4.35)

Second, (4.7) and the induction assumption (4.14) imply

$$H_6\le \frac{1}{16}\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥{\partial }_x^{k+1}\varphi \left(\tau \right)∥}^{2}d\tau +C\left(E,T\right)C_k\left({\varphi }_0,\delta \right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^{12l-8}\left(2+t\right).$$

(4.36)

For H₈, we get from Lemma 2.1 and (4.21) that

$$\begin{array}{c}2\left|\underset{T}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left(1+\tau \right)}^{\alpha +k}{\partial }_x^{k+1}\varphi {\partial }_x^k\varphi \underset{0}{\overset{1}{\int }}{f}^{\prime }\left(w+\theta \varphi \right)d\theta dxd\tau \right|\hfill \\ \le O\left(1\right)M\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥{\partial }_x^k\varphi \left(\tau \right)∥}^2\left({∥{\partial }_x\varphi \left(\tau \right)∥}_{L^{\infty }}+{∥{\partial }_{x}w\left(\tau \right)∥}_{L^{\infty }}\right)d\tau \hfill \\ \le C\left(E,T\right)C_{k+1}\left({\varphi }_0,\delta \right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^{12k-6}\left(2+t\right),\hfill \end{array}$$

(4.37)

and (4.25) implies that

$$\begin{array}{cc}\hfill 2\left|\underset{T}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left(1+\tau \right)}^{\alpha +k}{\partial }_x^{k+1}\varphi I_{1}dxd\tau \right|\le & \frac{1}{16}\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥{\partial }_x^{k+1}\varphi \left(\tau \right)∥}^{2}d\tau \hfill \\ +C\left(E,T\right)C_{k+1}\left({\varphi }_0,\delta \right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^{12k-6}\left(2+t\right).\hfill \end{array}$$

(4.38)

Consequently, we can deduce that

$$H_8\le \frac{1}{16}\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥{\partial }_x^{k+1}\varphi \left(\tau \right)∥}^{2}d\tau +C\left(E,T\right)C_{k+1}\left({\varphi }_0,\delta \right){\left(1+t\right)}^{\alpha -\frac{1}{2}}{\text{ln}}^{12k-6}\left(2+t\right)$$

(4.39)

Thirdly, we get from (2.8), (4.6), (4.7), and (4.26) that

$$\begin{array}{cc}\hfill H_9& \le \frac{1}{16}\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥{\partial }_x^{k+1}\varphi \left(\tau \right)∥}^{2}d\tau +2\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥I_2\left(\tau \right)∥}^{2}d\tau +4\left(k+2\right)M\hfill \\ \times \left(\bar{\eta }\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}\right.{∥{\partial }_x^{k+1}\varphi \left(\tau \right)∥}^{2}d\tau +C_{\infty }\left.\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k-1}{∥{\partial }_x^{k+1}\varphi \left(\tau \right)∥}^{2}d\tau \right)\hfill \\ \le \frac{5}{16}\underset{T}{\overset{t}{\int }}{\left(1+\tau \right)}^{\alpha +k}{∥{\partial }_x^{k+1}\varphi \left(\tau \right)∥}^{2}d\tau +C\left(E,T\right)C_{k+1}\left({\varphi }_0\delta \right){\left(1+t\right)}^{\alpha -1}{\text{ln}}^{12l-6}\left(2+t\right).\hfill \end{array}$$

(4.40)

At last, we have from (4.16) that

$$H_{10}+H_{11}\le \frac{1}{8}\underset{T}{\overset{t}{\int }}\underset{\mathbf{R}}{\int }{\left(1+\tau \right)}^{\alpha +k}{∥{\partial }_x^{k+1}\varphi \left(\tau \right)∥}^{2}d\tau +C\left(T\right){\delta }^4{\left(1+t\right)}^{\alpha -\frac{1}{2}}.$$

(4.41)

Inserting (4.35), (4.36), and (4.39)-(4.41) into (4.34), we can deduce immediately that (4.14) holds for l = k. Thus Theorem 1.2 follows from the principle of mathematical induction.