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

Qinghua Xiao; Yuning Liu; Jongsung Kim

doi:10.1186/1029-242X-2012-81

Research
Open Access

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

Qinghua Xiao¹Email author,
Yuning Liu¹ and
Jongsung Kim¹

Journal of Inequalities and Applications20122012:81

https://doi.org/10.1186/1029-242X-2012-81

Received: 13 September 2011
Accepted: 10 April 2012
Published: 10 April 2012

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.

Keywords

hyperbolic-elliptic coupled system
rarefaction waves
convergence rates
large initial perturbation
continuation argument

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

\{\begin{matrix} u_{t} + f {(u)}_{x} + q_{x} = 0, \\ - q_{x x} + q + u_{x} = 0 \end{matrix}

(1.1)

with initial data

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

(1.2)

Here f(u) is a sufficiently smooth function satisfying

f^{″} (u) \geq a > 0

(1.3)

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

When $f (u) = \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

\{\begin{matrix} w_{t}^{R} + f {(w^{R})}_{x} = 0, \\ w^{R} (t, x) |_{t = 0} = w_{0}^{R} (x) = \{\begin{matrix} u_{-}, x < 0, \\ u_{+}, x > 0 . \end{matrix} \end{matrix}

(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} (t, x) = w^{R} (\frac{x}{t})

defined by

w^{R} (\frac{x}{t}) = \{\begin{matrix} u_{-}, & x \leq f^{'} (u_{-}) t, \\ {(f^{'})}^{- 1} (\frac{x}{t}), & f^{'} (u_{-}) t \leq x \leq f^{'} (u_{+}) t, \\ u_{+}, & x \geq f^{'} (u_{+}) t . \end{matrix}

(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), -∂_xw(t, x)) as t → ∞. Recall that depending on whether δ = u₊ - u_-, the strength of the rarefaction waves, and/or certain Sobolev norm, cf. $| | u_{0} (x) - w_{0}^{R} (x) | |_{L^{2} (R)} + | | \partial_{x} u_{0} (x) | |_{H^{1} (R)}$ , 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 (u) = \frac{1}{2} u^{2}

, by introducing the smooth approximation

\tilde{w} (t, x)

of the rarefaction wave solution w^R(t, x) as the unique solution of the following Cauchy problem

\{\begin{matrix} {\tilde{w}}_{t} + \tilde{w} {\tilde{w}}_{x} = {\tilde{w}}_{x x}, & t > - t_{0}, x \in R, \\ \tilde{w} (- t_{0}, x) = w_{0}^{R} (x), & x \in R \end{matrix}

(1.6)

and based on some delicate estimates on such a

\tilde{w} (t, x)

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} (x) - \tilde{w} (0, x)∥}_{H^{2} (R)}

are sufficiently small. Moreover, it is shown in [1] that for t > 0 sufficiently large, the following temporal decay estimates

\{\begin{matrix} {∥u (t, x) - w^{R} (\frac{x}{t})∥}_{L^{p} (R)} \leq O (1) {(1 + t)}^{- \frac{1}{2} (1 - \frac{1}{p})}, & 1 < p \leq \infty, \\ {∥q (t, x) + \partial_{x} w^{R} (\frac{x}{t})∥}_{L^{p} (R)} \leq O (1) {(1 + t)}^{- \frac{1}{2} (2 - \frac{1}{p})}, & \frac{4}{3} \leq p \leq \infty \end{matrix}

(1.7)

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

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} (x) - \tilde{w} (0, x)∥}_{H^{2} (R)}$ 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} (x) - w_{0}^{R} (x) \in L^{1} (R) \cap L^{2} (R)

, δ_xu₀ (x) ∈ H¹(R) and suppose further that there exist positive constants D₁, D₂, D₃, β, and γ, which are independent of δ > 0, such that

\{\begin{matrix} {∥u_{0} (x) - w_{0}^{R} (x)∥}_{L^{2} (R)}^{2} \leq D_{1} δ^{β}, \\ {∥\partial_{x} u_{0} (x)∥}_{L^{2} (R)}^{2} \leq D_{2} (1 + δ^{- γ}), \\ {∥\partial_{x}^{2} u_{0} (x)∥}_{L^{2} (R)}^{2} \leq D_{3} (1 + δ^{- γ}), \end{matrix}

(1.8)

then if

2 \geq β > 3 γ,

(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 (t, x) - w (t, x) \in L^{\infty} ([0, \infty); H^{2} (R)) \cap C^{0} ([0, \infty); H^{1} (R)),

(1.10)

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

(1.11)

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

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

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

(1.12)

and

{∥q (t, x) - \partial_{x} w^{R} (\frac{x}{t})∥}_{L^{p} (R)} \leq O (1) {(1 + t)}^{- \frac{1}{2} (2 - \frac{1}{p})} {(ln (2 + t))}^{\frac{21 p - 8}{5 p}}, \frac{4}{3} \leq p \leq + \infty .

(1.13)

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

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 (u) = \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) + ∂_xw(t, x)) since the estimates on $(w (t, x) - w^{R} (\frac{x}{t}), \partial_{x} w (t, x) - \partial_{x} w^{R} (\frac{x}{t}))$ 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 (t) : = sup_{0 \leq τ \leq t} {∥u (τ, x) - w (τ, x)∥}_{H^{2} (R)} \leq η

(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 (t) : = \sum_{i = 0}^{1} sup_{0 \leq τ \leq t} {∥\frac{\partial^{i} (u (τ, x) - w (τ, x))}{\partial x^{i}}∥}_{L^{\infty} (R)} \leq η

(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) + ∂_xw(t, x)) and there exists some positive constant E, which is independent of t, x, and δ for sufficiently small δ > 0, such that

{∥ϕ (t)∥}_{L^{\infty} (R)} + {∥ϕ_{x} (t)∥}_{L^{\infty} (R)} \leq E, \forall t \geq 0

(1.16)

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

lim_{t \to \infty} ({∥ϕ (t)∥}_{L^{\infty} (R)} + {∥ϕ_{x} (t)∥}_{L^{\infty} (R)}) = 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} (R)}$ and the usual Lebesgue space with the norm ${∥\cdot∥}_{L^{p} (R)}$ , respectively. While ${∥\cdot∥}_{L^{p}} (1 \leq p \leq + \infty)$ , ||·||_l will be used to denote the usual L^p(R)-norm, H^l(R)-norm and $f^{(j)} (u) = \frac{d^{j} f (u)}{d u^{j}}$ for j ∈ N. For simplicity, ${∥f (t, \cdot)∥}_{L^{p} (R)}$ and ${∥f (t, \cdot)∥}_{H^{l} (R)}$ will usually be denoted by ${∥f (t)∥}_{L^{p}}$ and ||f(t)||_l, respectively. Especially, ${∥\cdot∥}_{L^{2} (Ω)} = ∥\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 (t, x) = {(f^{'})}^{- 1} (\tilde{w} (t, x))

, where

\tilde{w} (t, x)

, is the solution of (1.6)₁ with

\tilde{w} (- t_{0}, x) = f^{'} (w_{0}^{R} (x))

, then w(t, x) is the solution of the Cauchy problem

\{\begin{matrix} w_{t} + f {(w)}_{x} = w_{x x} + \frac{f^{‴} (w)}{f^{″} (w)} w_{x}^{2}, \\ w (t, x) |_{t = 0} = w_{0} (x) = {(f^{'})}^{- 1} (\tilde{w} (0, x)) . \end{matrix}

(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} (t + t_{0}, \cdot) - w^{R} (t, \cdot)∥}_{L^{p}} \leq min \{C δ, C δ^{\frac{1}{p}} t^{- (1 - \frac{1}{p})}\},

(2.2)

{∥\partial_{x} w^{R} (t + t_{0}, \cdot) - \partial_{x} w^{R} (t, \cdot)∥}_{L^{p}} \leq min \{C δ^{\frac{1}{p}} t^{- (1 - \frac{1}{p})}, C t^{- 1}\},

(2.3)

w_{x} (t, x) > 0,

(2.4)

{∥w^{R} (t_{0}, \cdot) - w (0, \cdot)∥}_{L^{p}} \leq C δ,

(2.5)

{∥w^{R} (t + t_{0}, \cdot) - w (t, \cdot)∥}_{L^{p}} \leq C {(1 + t)}^{- \frac{1}{2} (1 - \frac{1}{p})},

(2.6)

{∥\partial_{x} w^{R} (t + t_{0}, \cdot) - \partial_{x} w (t, \cdot)∥}_{L^{p}} \leq C {(1 + t)}^{- (1 - \frac{1}{p})},

(2.7)

{∥\partial_{x} w (t, \cdot)∥}_{L^{p}} \leq C_{p} δ^{\frac{1}{p}} {(1 + t)}^{- (1 - \frac{1}{p})},

(2.8)

{∥\partial_{x}^{k} w (t, \cdot)∥}_{L^{p}} \leq C δ {(1 + t)}^{- \frac{1}{2} (k - \frac{1}{p})}, k \geq 1,

(2.9)

{∥\partial_{x}^{k} w (t, \cdot)∥}_{L^{p}} \leq C {(1 + t)}^{- \frac{1}{2} (k + 1 - \frac{1}{p})}, k \geq 2 .

(2.10)

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

u = w + ϕ, q = - w_{x} + ψ,

(2.11)

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

ϕ_{t} + {(f (w + ϕ) - f (w))}_{x} + ψ_{x} = - \frac{f^{‴} (w)}{f^{″} (w)} w_{x}^{2},

(2.12)

- ψ_{x x} + ψ + ϕ_{x} = - w_{x x x},

(2.13)

and

ϕ (0, x) = ϕ_{0} (x) = u_{0} (x) - w_{0} (x) .

(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

| | ϕ_{0} (x) | |^{2} \leq D_{1} δ^{β},

(2.15)

| | ϕ_{0}^{'} (x) | |^{2} \leq D_{2} (1 + δ^{- γ}),

(2.16)

| | ϕ_{0}^{″} (x) | |^{2} \leq D_{3} (1 + δ^{- γ}) .

(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

\{\begin{matrix} ϕ (t, x) \in L^{\infty} ([0, \infty); H^{2} (R)) \cap C^{0} ([0, \infty); H^{1} (R)), \\ ψ (t, x) \in L^{\infty} ([0, \infty); H^{3} (R)) \cap C^{0} ([0, \infty); H^{2} (R)), \end{matrix}

(2.18)

and

lim_{t \to \infty} ({∥ϕ (t)∥}_{L^{\infty}} + {∥ϕ_{x} (t)∥}_{L^{\infty}}) = 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

| | ϕ (t) | |_{L^{1}} \leq | | ϕ_{0} (x) | |_{L^{1}} + C_{0} δ ln (2 + t),

(2.20)

\begin{gathered} {(1 + t)}^{α} | | ϕ (t) | |_{1}^{2} + \int_{T}^{t} {(1 + τ)}^{α} | | \partial_{x} ϕ (τ) | |^{2} d τ \\ \leq D_{1} (E, T) (| | ϕ_{0} (x) | |_{1}^{2} + δ^{2} + | | ϕ_{0} (x) | |_{L^{1}}^{2}) {(1 + t)}^{α - \frac{1}{2}} {ln}^{2} (2 + t) . \end{gathered}

(2.21)

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

\begin{gathered} {(1 + t)}^{α + l} | | \partial_{x}^{l} ϕ (t) | |_{1}^{2} + \int_{T}^{t} {(1 + τ)}^{α + l} | | \partial_{x}^{l + 1} ϕ (τ) | |^{2} d τ \\ \leq D_{l + 1} (E, T) C_{l + 1} (ϕ_{0}, δ) {(1 + t)}^{α - \frac{1}{2}} {ln}^{12 l - 6} (2 + t), l = 1, \dots, S - 1 . \end{gathered}

(2.22)

Here $C_{l + 1} (ϕ_{0}, δ) = (| | ϕ_{0} (x) | |_{l + 1}^{2} + δ^{2} + | | ϕ_{0} (x) | |_{L^{1}}^{2}) {(1 + | | ϕ_{0} (x) | |_{L^{1}} + | | ϕ_{0} (x) | |_{l + 1}^{2})}^{12 l - 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.,

ϕ (0, x) = ϕ_{0} (x) \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

\{\begin{matrix} | | ϕ (t) | |_{L^{1}} \leq \tilde{D} δ ln (2 + t), \\ | | \partial_{x}^{l} ϕ (t) | |_{L^{\infty}} \leq {\tilde{D}}_{l} δ, l \geq 0, \\ | | \partial_{x}^{l} ϕ (t) | |_{L^{\infty}} \leq {\bar{D}}_{l} {(1 + t)}^{- \frac{l + 1}{2}} {ln}^{6 l} (2 + t), l \geq 0 . \end{matrix}

(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{aligned} ∥ϕ_{0} (x)∥ & \leq ∥u_{0} (x) - w_{0}^{R} (x)∥ + ∥w_{0}^{R} (x) - w^{R} (t_{0}, x)∥ + ∥w^{R} (t_{0}, x) - w_{0} (x)∥ \\ \leq ∥u_{0} (x) - w_{0}^{R} (x)∥ + C δ \\ \leq (D_{1}^{\frac{1}{2}} + C) δ^{\frac{β}{2}} : = D_{4} δ^{\frac{β}{2}} \end{aligned}

(2.25)

and

\begin{aligned} ∥\partial_{x}^{k} ϕ_{0} (x)∥ & \leq ∥\partial_{x}^{k} u_{0} (x)∥ + ∥\partial_{x}^{k} w_{0} (x)∥ \\ \leq {(D_{k} (1 + δ^{- γ}))}^{\frac{1}{2}} + C δ \\ \leq D_{k + 4} {(1 + δ^{- γ})}^{\frac{1}{2}}, k = 1, 2 . \end{aligned}

(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) - ∂_xw(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{aligned} {∥ϕ (t)∥}_{L^{p}} & \leq {∥ϕ_{x} (t)∥}^{\frac{2}{3} (1 - \frac{1}{p})} {∥ϕ (t)∥}_{L^{1}}^{\frac{p + 2}{3 p}} \\ \leq O (1) {(1 + t)}^{- \frac{1}{2} (1 - \frac{1}{p})} {[ln (2 + t)]}^{\frac{7 p - 4}{3 p}}, 1 \leq p \leq \infty, \end{aligned}

(2.27)

and we get from Lemma 2.1 and (2.27) that

\begin{aligned} | | u (t, x) - w^{R} (\frac{x}{t}) | |_{L^{p}} & \leq {∥u (t, x) - w (t, x)∥}_{L^{p}} + | | w (t, x) - w^{R} (\frac{x}{t}) | |_{L^{p}} \\ \leq O (1) {(1 + t)}^{- \frac{1}{2} (1 - \frac{1}{p})} {[ln (2 + t)]}^{\frac{7 p - 4}{3 p}}, 1 \leq p \leq \infty . \end{aligned}

(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 $(ϕ (t, x), ψ (t, x)) \in X_{t_{1}}$ satisfying

$\{\begin{matrix} | | ϕ (t) | | \leq 2 | | ϕ_{0} (x) | |, \\ | | ϕ_{x} (t) | | \leq 2 | | ϕ_{0} (x) | |_{1}, \\ | | ϕ_{x x} (t) | | \leq 2 | | ϕ_{0} (x) | |_{2} . \end{matrix}$

Here

X_{t_{1}} = \{(ϕ (t, x), ψ (t, x)) |\begin{matrix} ϕ (t, x) \in L^{\infty} ([0, t_{1}]; H^{2} (R)) \cap C^{0} ([0, t_{1}]; H^{1} (R)) \\ ψ (t, x) \in L^{\infty} ([0, t_{1}]; H^{3} (R)) \cap C^{0} ([0, t_{1}]; H^{2} (R)) \end{matrix}\}

(3.1)

with

{∥(ϕ, ψ)∥}_{{X_{t}}_{{1_{}}_{}}} = sup_{0 \leq t \leq t_{1}} {∥(ϕ (t), ψ (t))∥}_{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 (T) = sup_{0 \leq τ \leq T} ({∥ϕ (τ)∥}_{L^{\infty}} + {∥ϕ_{x} (τ)∥}_{L^{\infty}}) \leq η,

(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} max_{| u | \leq | u_{+} | + | u_{-} | + η} | f^{(i)} (u) | \leq 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 η L (η) \leq 1,

(3.5)

then the following estimates

{∥ϕ (t)∥}^{2} + \int_{0}^{t} {∥ψ (τ)∥}_{1}^{2} d τ \leq {\bar{C}}_{0} ({∥ϕ_{0} (x)∥}^{2} + δ^{2}),

(3.6)

{∥ϕ_{x} (t)∥}^{2} + \int_{0}^{t} ({∥ϕ_{x} (τ)∥}^{2} + {∥ψ_{x x} (τ)∥}^{2}) d τ \leq {\bar{C}}_{1} ({∥ϕ_{0} (x)∥}_{1}^{2} + δ^{2}),

(3.7)

{∥ϕ_{x x} (t)∥}^{2} + \int_{0}^{t} ({∥ϕ_{x x} (τ)∥}^{2} + {∥ψ_{x x x} (τ)∥}^{2}) d τ \leq {\bar{C}}_{2} ({∥ϕ_{0} (x)∥}_{2}^{2} + δ^{2})

(3.8)

hold for any t ∈ [0, T]. Here ${\bar{C}}_{i} (i = 0, 1, 2)$ 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

{(ϕ^{2})}_{t} + 2 ϕ {(f (w + ϕ) - f (w))}_{x} + 2 ψ^{2} + 2 ψ_{x}^{2} - 2 {(ψ ψ_{x})}_{x} = - 2 ϕ \frac{f^{‴} (w)}{f^{″} (w)} w_{x}^{2} - 2 ψ w_{x x x} .

(3.9)

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

\begin{gathered} {∥ϕ (t)∥}^{2} + 2 \int_{0}^{t} \int_{R} ϕ {(f (w + ϕ) - f (w))}_{x} d x d τ + 2 \int_{0}^{t} {∥ψ (τ)∥}_{1}^{2} d τ \\ = {∥ϕ_{0} (x)∥}^{2} + 2 \int_{0}^{t} \int_{R} (- ϕ \frac{f^{‴} (w)}{f^{″} (w)} w_{x}^{2} - ψ w_{x x x}) d x d τ . \end{gathered}

(3.10)

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

\begin{gathered} 2 \int_{0}^{t} \int_{R} ϕ {(f (ϕ + w) - f (w))}_{x} d x d τ \\ = 2 \int_{0}^{t} \int_{R} \{{(- \int_{w}^{ϕ + w} f (s) d s + f (ϕ + w) ϕ)}_{x} + (f (ϕ + w) - f (w) - f^{'} (w) ϕ) w_{x}\} d x d τ \\ = 2 \int_{0}^{t} \int_{R} (f (ϕ + w) - f (w) - f^{'} (w) ϕ) w_{x} d x d τ \\ = \int_{0}^{t} \int_{R} f^{″} (w + θ ϕ) w_{x} ϕ^{2} d x d τ \geq 0, 0 < θ < 1 . \end{gathered}

(3.11)

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

\begin{aligned} 2 |\int_{0}^{t} \int_{R} ϕ \frac{f^{‴} (w)}{f^{″} (w)} w_{x}^{2} d x d τ| & \leq \frac{a}{2} \int_{0}^{t} \int_{R} w_{x} ϕ^{2} d x d τ + \frac{2}{a} \int_{0}^{t} \int_{R} {|\frac{f^{‴} (w)}{f^{″} (w)}|}^{2} {(w_{x})}^{3} d x d τ \\ \leq \frac{a}{2} \int_{0}^{t} \int_{R} w_{x} ϕ^{2} d x d τ + O (1) \int_{0}^{t} {∥w_{x} (τ)∥}_{L^{3}}^{3} d τ \end{aligned}

(3.12)

and

2 |\int_{0}^{t} \int_{R} ψ w_{x x x} d x d τ |\leq \int_{0}^{t} {∥ψ (τ)∥}^{2} d τ + \int_{0}^{t} {∥w_{x x x} (τ)∥}^{2} d τ .

(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

ϕ_{x} ϕ_{x t} + ϕ_{x} {(f (w + ϕ) - f (w))}_{x x} + ψ_{x}^{2} + ψ_{x x}^{2} - {(ψ_{x x} ψ_{x})}_{x} = - ϕ_{x} {\{\frac{f^{‴} (w)}{f^{″} (w)} w_{x}^{2}\}}_{x} - ψ_{x} w_{x x x x} .

(3.14)

Noticing that

\begin{aligned} ϕ_{x} {(f (w + ϕ) - f (w))}_{x x} = & \frac{3}{2} f^{″} (w + ϕ) w_{x} ϕ_{x}^{2} + \frac{1}{2} f^{″} (w + ϕ) ϕ_{x}^{3} + (f^{″} (w + ϕ) - f^{″} (w) w_{x}^{2} ϕ_{x} \\ + (f^{'} (w + ϕ) - f^{'} (w)) w_{x x} ϕ_{x} + \frac{1}{2} {[f^{'} (w + ϕ) ϕ_{x}^{2}]}_{x,} \end{aligned}

(3.15)

we have from (3.14) and (3.15) that

\begin{gathered} {(ϕ_{x}^{2})}_{t} + 3 f^{″} (w + ϕ) w_{x} ϕ_{x}^{2} + 2 ψ_{x}^{2} + 2 ψ_{x x}^{2} + {(\dots)}_{x} \\ = - f^{″} (w + ϕ) ϕ_{x}^{3} - 2 (f^{″} (w + ϕ) - f^{″} (w)) w_{x}^{2} ϕ_{x} - 2 (f^{'} (w + ϕ) - f^{'} (w)) w_{x x} ϕ_{x} \\ - 2 ϕ_{x} {\{\frac{f^{‴} (w)}{f^{″} (w)} w_{x}^{2}\}}_{x} - 2 ψ_{x} w_{x x x x} . \end{gathered}

(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

ϕ_{x}^{2} + w_{x x x}^{2} = ψ^{2} + 2 ψ_{x}^{2} + ψ_{x x}^{2} - 2 ϕ_{x} w_{x x x} - 2 {(ψ ψ_{x})}_{x} .

(3.17)

Adding (3.16) to (3.17) yields

{(ϕ_{x}^{2})}_{t} + 3 f^{″} (w + ϕ) w_{x} ϕ_{x}^{2} + ϕ_{x}^{2} + ψ_{x x}^{2} + w_{x x x}^{2} + {(\dots)}_{x} = ψ^{2} + F_{1},

(3.18)

where

\begin{gathered} F_{1} = - f^{″} (w + ϕ) ϕ_{x}^{3} - 2 (f^{″} (w + ϕ) - f^{″} (w)) w_{x}^{2} ϕ_{x} - 2 (f^{'} (w + ϕ) - f^{'} (w)) w_{x x} ϕ_{x} \\ - 2 ψ_{x} w_{x x x x} - 2 ϕ_{x} w_{x x x} - 2 ϕ_{x} {\{\frac{f^{‴} (w)}{f^{″} (w)} w_{x}^{2}\}}_{x} . \end{gathered}

(3.19)

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

| | ϕ_{x} (t) | |^{2} + \int_{0}^{t} (| | ψ_{x x} (τ) | |^{2} + | | ϕ_{x} (τ) | |^{2}) d τ \leq | | {ϕ^{'}}_{0} (x) | |^{2} + \int_{0}^{t} \int_{R} (ψ^{2} + F_{1}) d x d τ .

(3.20)

From (3.6), it is easy to see that

\int_{0}^{t} \int_{R} ψ^{2} (τ, x) d x d τ \leq {\bar{C}}_{0} (| | ϕ_{0} (x) | |^{2} + δ^{2}) .

(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

|\int_{0}^{t} \int_{R} f^{″} (w + ϕ) ϕ_{x}^{3} d x d τ |\leq L N (t) \int_{0}^{t} | | ϕ_{x} (τ) | |^{2} d τ,

(3.22)

\begin{aligned} 2 |\int_{0}^{t} \int_{R} (f^{″} (w + ϕ) - f^{″} (w)) w_{x}^{2} ϕ_{x} d x d τ| & \leq 4 L \int_{0}^{t} | | ϕ_{x} (τ) | | | | w_{x} (τ) | |_{L^{4}}^{2} d τ \\ \leq \frac{1}{8} \int_{0}^{t} | | ϕ_{x} (τ) | |^{2} d τ + O (1) δ^{2}, \end{aligned}

(3.23)

\begin{aligned} 2 |\int_{0}^{t} \int_{R} (f^{'} (w + ϕ) - f^{'} (w)) ϕ_{x} w_{x x} d x d τ| & \leq 4 L \int_{0}^{t} | | ϕ_{x} (τ) | | | | w_{x x} (τ) | | d τ \\ \leq \frac{1}{8} \int_{0}^{t} | | ϕ_{x} (τ) | |^{2} d τ + O (1) δ^{2} . \end{aligned}

(3.24)

Similarly, we can get that

2 |\int_{0}^{t} \int_{R} ϕ_{x} w_{x x x} d x d τ |\leq \frac{1}{8} \int_{0}^{t} {∥ϕ_{x} (τ)∥}^{2} d τ + O (1) δ^{2},

(3.25)

2 |\int_{0}^{t} \int_{R} ϕ_{x} {\{\frac{f^{‴} (w)}{f^{″} (w)} w_{x}^{2}\}}_{x} d x d τ |\leq \frac{1}{8} \int_{0}^{t} {∥ϕ_{x} (τ)∥}^{2} d τ + O (1) δ^{2},

(3.26)

2 |\int_{0}^{t} \int_{R} ψ_{x} w_{x x x x} d x d τ |\leq \int_{0}^{t} {∥ψ_{x} (τ)∥}^{2} d τ + O (1) δ^{2} \leq O (1) ({∥ϕ_{0} (x)∥}^{2} + δ^{2}) .

(3.27)

Putting (3.22)-(3.27) together implies

\int_{0}^{t} \int_{R} F_{1} (τ, x) d x d τ \leq (L N (t) + \frac{1}{2}) \int_{0}^{t} {∥ϕ_{x} (τ)∥}^{2} d τ + O (1) ({∥ϕ_{0} (x)∥}^{2} + δ^{2}) .

(3.28)

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

{∥ϕ_{x} (t)∥}^{2} + \int_{0}^{t} ({∥ψ_{x x} (τ)∥}^{2} + (\frac{1}{2} - L N (T)) {∥ϕ_{x} (τ)∥}^{2}) d τ \leq O (1) ({∥ϕ_{0} (x)∥}_{1}^{2} + δ^{2}) .

(3.29)

Noticing that (3.5) implies that

\frac{1}{2} - L N (t) \geq \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

{(ϕ_{x x}^{2})}_{t} + 5 f^{″} (w + ϕ) w_{x} ϕ_{x x}^{2} + 2 ψ_{x x}^{2} + 2 ψ_{x x x}^{2} + {(\dots)}_{x} = F_{2} + 2 ϕ_{x x} w_{x x x x},

(3.30)

where

\begin{aligned} F_{2} = & - 5 f^{″} (w + ϕ) ϕ_{x x}^{2} ϕ_{x} - 2 (f^{'} (w + ϕ) - f^{'} (w)) w_{x x x} ϕ_{x x} - 6 (f^{″} (w + ϕ) - f^{″} (w)) w_{x x} w_{x} ϕ_{x x} \\ - 2 (f^{‴} (w + ϕ) - f^{‴} (w)) w_{x}^{3} ϕ_{x x} - 6 f^{″} (w + ϕ) w_{x x} ϕ_{x x} ϕ_{x} - 6 f^{‴} (w + ϕ) w_{x}^{2} ϕ_{x x} ϕ_{x} \\ - 6 f^{‴} (w + ϕ) w_{x} ϕ_{x x} ϕ_{x}^{2} - 2 f^{‴} (w + ϕ) ϕ_{x x} ϕ_{x}^{3} \\ - 2 ϕ_{x x} w_{x x x x} - 2 ϕ_{x x} {\{\frac{f^{‴} (w)}{f^{″} (w)} w_{x}^{2}\}}_{x x} - 2 ψ_{x x} w_{x x x x x} . \end{aligned}

(3.31)

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

ϕ_{x x}^{2} + w_{x x x x}^{2} = ψ_{x}^{2} + 2 ψ_{x x}^{2} + ψ_{x x x}^{2} - 2 ϕ_{x x} w_{x x x x} - 2 {(ψ_{x} ψ_{x x})}_{x} .

(3.32)

Combining (3.30) with (3.32) yields

{(ϕ_{x x}^{2})}_{t} + 5 f^{″} (w + ϕ) w_{x} ϕ_{x x}^{2} + ϕ_{x x}^{2} + ψ_{x x x}^{2} + ψ_{x x x x}^{2} + {(\dots)}_{x} = ψ_{x}^{2} + F_{2} .

(3.33)

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

{∥ϕ_{x x} (t)∥}^{2} + \int_{0}^{t} ({∥ψ_{x x x} (τ)∥}^{2} + {∥ϕ_{x x} (τ)∥}^{2}) d τ \leq {∥ϕ_{0}^{''} (x)∥}^{2} + \int_{0}^{t} \int_{R} (ψ_{x}^{2} + F_{2}) d x d τ .

(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

\int_{0}^{t} \int_{R} ψ_{x}^{2} (τ, x) d x d τ \leq {\bar{C}}_{0} ({∥ϕ_{0} (x)∥}^{2} + δ^{2}) .

(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 |\int_{0}^{t} \int_{R} f^{″} (w + ϕ) ϕ_{x x}^{2} ϕ_{x} d x d τ |\leq 5 L N (t) \int_{0}^{t} {∥ϕ_{x x} (τ)∥}^{2} d τ,

(3.36)

\begin{aligned} |2 \int_{0}^{t} \int_{R} (f^{'} (w + ϕ) - f^{'} (w)) w_{x x x} ϕ_{x x} d x d τ| & \leq 4 L \int_{0}^{t} ∥ϕ_{x x} (τ)∥ ∥w_{x x x} (τ)∥ d τ \\ \leq \frac{1}{8} \int_{0}^{t} {∥ϕ_{x x} (τ)∥}^{2} d τ + O (1) δ^{2}, \end{aligned}

(3.37)

\begin{aligned} 6 |\int_{0}^{t} \int_{R} (f^{″} (w + ϕ) - f^{″} (w)) w_{x} w_{x x} ϕ_{x x} d x d τ| & \leq O (1) L \int_{0}^{t} ∥ϕ_{x x} (τ)∥ {∥w_{x} (τ)∥}_{L^{\infty}} ∥w_{x x} (τ)∥ d τ \\ \leq \frac{1}{8} \int_{0}^{t} {∥ϕ_{x x} (τ)∥}^{2} d τ + O (1) δ^{4}, \end{aligned}

(3.38)

\begin{aligned} 2 |\int_{0}^{t} \int_{R} (f^{‴} (w + ϕ) - f^{‴} (w)) w_{x}^{3} ϕ_{x x} d x d τ| & \leq 4 L \int_{0}^{t} ∥ϕ_{x x} (τ)∥ {∥w_{x} (τ)∥}_{L^{6}}^{3} d x d τ \\ \leq \frac{1}{8} \int_{0}^{t} {∥ϕ_{x x} (τ)∥}^{2} d τ + O (1) δ^{6}, \end{aligned}

(3.39)

\begin{aligned} 6 |\int_{0}^{t} \int_{R} (f^{″} (w + ϕ) w_{x x} ϕ_{x x} ϕ_{x} d x d τ| & \leq 6 L N (t) \int_{0}^{t} ∥ϕ_{x x} (τ)∥ ∥w_{x x} (τ)∥ d τ \\ \leq 3 L N (t) \int_{0}^{t} {∥ϕ_{x x} (τ)∥}^{2} d τ + O (1) δ^{2} . \end{aligned}

(3.40)

Similarly, we can get that

\begin{aligned} 2 |\int_{0}^{t} \int_{R} (f^{‴} (w + ϕ) ϕ_{x}^{3} ϕ_{x x} d x d τ| & \leq 2 L {(N (t))}^{2} \int_{0}^{t} ∥ϕ_{x x} (τ)∥ ∥ϕ_{x} (τ)∥ d τ \\ \leq L N (t) \int_{0}^{t} {∥ϕ_{x x} (τ)∥}^{2} d τ + C (N (t)) ({∥ϕ_{0} (x)∥}_{1}^{2} + δ^{2}), \end{aligned}

(3.41)

6 |\int_{0}^{t} \int_{R} (f^{‴} (w + ϕ) w_{x}^{2} ϕ_{x x} ϕ_{x} d x d τ |\leq 3 L N (t) \int_{0}^{t} {∥ϕ_{x x} (τ)∥}^{4} d τ + O (1) δ^{2},

(3.42)

\begin{aligned} 6 |\int_{0}^{t} \int_{R} (f^{‴} (w + ϕ) w_{x} ϕ_{x}^{2} ϕ_{x x} d x d τ| & \leq 6 L N (t) \int_{0}^{t} {∥w_{x} (τ)∥}_{L^{\infty}} ∥ϕ_{x} (τ)∥ ∥ϕ_{x x} (τ)∥ d τ \\ \leq L N (t) \int_{0}^{t} {∥ϕ_{x x} (τ)∥}^{2} d τ + C (N (t)) ({∥ϕ_{0} (x)∥}_{1}^{2} + δ^{2}), \end{aligned}

(3.43)

2 |\int_{0}^{t} \int_{R} w_{x x x x} ϕ_{x x} d x d τ |\leq \frac{1}{8} \int_{0}^{t} {∥ϕ_{x x} (τ)∥}^{2} d τ + O (1) δ^{2},

(3.44)

2 |\int_{0}^{t} \int_{R} ϕ_{x x} {\{\frac{f^{‴} (w)}{f^{″} (w)} w_{x}^{2}\}}_{x x} d x d τ |\leq \frac{1}{8} \int_{0}^{t} {∥ϕ_{x x} (τ)∥}^{2} d τ + O (1) δ^{4},

(3.45)

and

2 |\int_{0}^{t} \int_{R} w_{x x x x x} ψ_{x x} d x d τ |\leq \frac{1}{2} \int_{0}^{t} {∥ψ_{x x} (τ)∥}^{2} d τ + O (1) δ^{2} .

(3.46)

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

13 L N (t) \leq \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

(ϕ (t, x), ψ (t, x)) \in X_{t_{1}}

which satisfies

\{\begin{matrix} ∥ϕ (t)∥ \leq 2 ∥ϕ_{0} (x)∥, \\ ∥ϕ_{x} (t)∥ \leq 2 {∥ϕ_{0} (x)∥}_{1}, \\ ∥ϕ_{x x} (t)∥ \leq 2 {∥ϕ_{0} (x)∥}_{2} \end{matrix}

(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

\{\begin{matrix} {∥ϕ (t)∥}_{L^{\infty}} \leq D {∥ϕ (t)∥}^{\frac{3}{4}} {∥ϕ_{x x} (t)∥}^{\frac{1}{4}} \leq 2 D {(D_{1})}^{\frac{3}{8}} {(D_{3, 1})}^{\frac{1}{8}} δ^{\frac{3 β - γ}{8}} {(1 + δ^{γ})}^{\frac{1}{8}}, \\ {∥ϕ_{x} (t)∥}_{L^{\infty}} \leq D {∥ϕ (t)∥}^{\frac{1}{4}} {∥ϕ_{x x} (t)∥}^{\frac{3}{4}} \leq 2 D {(D_{1})}^{\frac{1}{8}} {(D_{3, 1})}^{\frac{3}{8}} δ^{\frac{β - 3 γ}{8}} {(1 + δ^{γ})}^{\frac{3}{8}} \end{matrix}

(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 \leq i \leq 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

{∥ϕ (t)∥}_{L^{\infty}} + {∥ϕ_{x} (t)∥}_{L^{\infty}} \leq D_{7} δ^{\frac{β - 3 γ}{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

104 D_{7} δ^{\frac{β - 3 γ}{8}} L (D_{7} δ^{\frac{β - 3 γ}{8}}) \leq 1,

which means that the conditions listed in Lemma 3.2 hold with T = t₁,

η = D_{7} δ^{\frac{β - 3 γ}{8}}

and thus we have from Lemma 3.2 that

\{\begin{matrix} {∥ϕ (t)∥}^{2} \leq {\bar{C}}_{1} ({∥ϕ_{0} (x)∥}^{2} + δ^{2}), \\ {∥ϕ_{x} (t)∥}^{2} \leq {\bar{C}}_{2} ({∥ϕ_{0} (x)∥}_{1}^{2} + δ^{2}), \\ {∥ϕ_{x x} (t)∥}^{2} \leq {\bar{C}}_{3} ({∥ϕ_{0} (x)∥}_{2}^{2} + δ^{2}) \end{matrix}

(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

\{\begin{matrix} {∥ϕ (t)∥}^{2} \leq 4 {\bar{C}}_{1} ({∥ϕ_{0} (x)∥}^{2} + δ^{2}), \\ {∥ϕ_{x} (t)∥}^{2} \leq 4 {\bar{C}}_{2} ({∥ϕ_{0} (x)∥}_{1}^{2} + δ^{2}), \\ {∥ϕ_{x x} (t)∥}^{2} \leq 4 {\bar{C}}_{3} ({∥ϕ_{0} (x)∥}_{2}^{2} + δ^{2}) \end{matrix}

(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

\{\begin{matrix} {∥ϕ (t)∥}_{L^{\infty}} \leq D {∥ϕ (t)∥}^{\frac{3}{4}} {∥ϕ_{x x} (t)∥}^{\frac{1}{4}} \leq 4 D {({\bar{C}}_{1} D_{1})}^{\frac{3}{8}} {(D_{3, 2})}^{\frac{1}{8}} δ^{\frac{3 β}{8}} {(1 + δ^{- γ})}^{\frac{1}{8}}, \\ {∥ϕ_{x} (t)∥}_{L^{\infty}} \leq D {∥ϕ (t)∥}^{\frac{1}{4}} {∥ϕ_{x x} (t)∥}^{\frac{3}{4}} \leq 4 D {({\bar{C}}_{1} D_{1})}^{\frac{1}{8}} {(D_{3, 2})}^{\frac{3}{8}} δ^{\frac{β}{8}} {(1 + δ^{- γ})}^{\frac{3}{8}} \end{matrix}

(3.52)

hold for any t ∈ [0, t₁ + t₂]. Here $D_{3, 2} = \sum_{1 \leq i \leq 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

{∥ϕ (t)∥}_{L^{\infty}} + {∥ϕ_{x} (t)∥}_{L^{\infty}} \leq D_{8} δ^{\frac{β - 3 γ}{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

104 D_{8} δ^{\frac{β - 3 γ}{8}} L (D_{8} δ^{\frac{β - 3 γ}{8}}) \leq 1,

which means that the conditions listed in Lemma 3.2 hold for T = t₁ + t₂ and $η = D_{8} δ^{\frac{β - 3 γ}{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

{∥ϕ (t)∥}_{2}^{2} + \int_{0}^{t} ({∥ψ (τ)∥}_{3}^{2} + {∥ϕ_{x} (τ)∥}_{1}^{2}) d τ \leq O (1) ({∥ϕ_{0}∥}_{2}^{2} + δ^{2}), t \geq 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 $(w^{R} ((\frac{x}{t}), - \partial_{x} w^{R} (\frac{x}{t}))$ 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} ϕ (T)∥}_{1}^{2} \leq C_{l} (E, T) ({∥ϕ_{0} (x)∥}_{l + 1}^{2} + δ^{2}), 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

{∥ϕ (t)∥}_{L^{1}} \leq {∥ϕ_{0} (x)∥}_{L^{1}} + C_{0} δ ln (2 + t),

(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{gathered} {(1 + t)}^{α} {∥ϕ (t)∥}_{1}^{2} + \int_{T}^{t} {(1 + τ)}^{α} {∥\partial_{x} ϕ (τ)∥}^{2} d τ \\ \leq D_{1} (E, T) ({∥ϕ_{0} (x)∥}_{1}^{2} + δ^{2} + {∥ϕ_{0} (x)∥}_{L^{1}}^{2}) {(1 + t)}^{α - \frac{1}{2}} {ln}^{2} (2 + t), \end{gathered}

(4.3)

\begin{gathered} {(1 + t)}^{α + l} {∥\partial_{x}^{l} ϕ (t)∥}_{1}^{2} + \int_{T}^{t} {(1 + τ)}^{α + l} {∥\partial_{x}^{l + 1} ϕ (τ)∥}^{2} d τ \\ \leq D_{l + 1} (E, T) C_{l + 1} (ϕ_{0}, δ) {(1 + t)}^{α - \frac{1}{2}} {ln}^{12 l - 6} (2 + t) . \end{gathered}

(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 (u) = \frac{1}{2} u^{2}

, (4.2) can be improved to

{∥ϕ (t)∥}_{L^{1}} \leq {∥ϕ_{0} (x)∥}_{L^{1}} + C_{0} δ

(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{η} > 0

sufficiently small such that

(k + 2) M \bar{η} \leq \frac{1}{64}, M = max_{0 \leq j \leq S} max_{| u | \leq \bar{η} + | u_{-} | + | u_{+} |} | f^{(j + 1)} (