Global existence of 2D nonhomogeneous incompressible magnetohydrodynamics with vacuum

Menglong Su; Xiaohui Qian; Jian Wang

doi:10.1186/1687-2770-2014-94

Research
Open Access

Global existence of 2D nonhomogeneous incompressible magnetohydrodynamics with vacuum

Menglong Su¹Email author,
Xiaohui Qian² and
Jian Wang³

Boundary Value Problems20142014:94

https://doi.org/10.1186/1687-2770-2014-94

Received: 4 January 2014
Accepted: 31 March 2014
Published: 6 May 2014

Abstract

In this paper, we prove the existence of global strong solutions to the Cauchy problem of 2D incompressible magnetohydrodynamics (MHD) flows. Here, we emphasize that the initial density $ρ_{0}$ is permitted to contain vacuum states, and the initial velocity $u_{0}$ and magnetic fields $H_{0}$ can be arbitrarily large.

Keywords

global strong solutions
2D incompressible magnetohydrodynamics flows
vacuum states

1 Introduction

The mathematical model of magnetohydrodynamics (MHD) is used to simulate the motion of a conducting fluid under the effect of the electromagnetic field and has a very wide range of applications in astrophysics, plasma, and so on. The governing equations of nonhomogeneous MHD can be stated as follows [1, 2]:

ρ_{t} + div (ρ u) = 0,

(1)

{(ρ u)}_{t} + div (ρ u \otimes u) - μ Δ u + \nabla P = (B \cdot \nabla) B,

(2)

B_{t} + (u \cdot \nabla B) - (B \cdot \nabla) u = ν Δ B,

(3)

div u = 0, div B = 0

(4)

with

t \geq 0

and

x = (x_{1}, x_{2}) \in R^{2}

. The unknown functions ρ, u, P, and B denote the fluid density, velocity, pressure, and magnetic field, respectively. The constant

μ > 0

is the viscosity coefficient. The constant

ν > 0

is the resistivity coefficient, which is inversely proportional to the electrical conductivity constant and acts as the magnetic diffusivity of magnetic fields. Without loss of generality, we set

μ = ν = 1

throughout the paper. In this paper, we assume the state equation

P = P (ρ) = a ρ^{γ}

(

a > 0

,

γ > 1

) and study the Cauchy problem. Without loss of generality, we assume that

a = 1

. In this paper, we consider the Cauchy problem for (1)-(4) with

(ρ, u, B)

with given initial data

ρ_{0}

,

B_{0}

, and

u_{0}

, as

ρ (x, 0) = ρ_{0} (x), ρ u (x, 0) = ρ_{0} u_{0} (x), B (x, 0) = B_{0} (x), x \in R^{2}

(5)

and far-field behavior

(ρ, u, B) (x, t) \to (\tilde{ρ}, 0, 0) (in some weak sense), as | x | \to \infty,

(6)

where $\tilde{ρ}$ is some fixed positive constant.

The global well-posedness and dynamical behaviors of MHD system are rather difficult to investigate because of the strong coupling and interplay interaction between the fluid motion and the magnetic fields. Recently, there is much more important progress on the mathematical analysis of these topics for the (nonhomogeneous or homogeneous) MHD system (see, for example, [3–20]). Here, we only mention some of them. Kawashima [14] obtained the global existence of smooth solutions in the two-dimensional case when the initial data are a small perturbation of some given constant state. Li-Xu-Zhang showed in [15] the global well-posedness and large-time behavior of classical solutions to the Cauchy problem of compressible MHD for regular initial data with small energy but possibly large oscillations. In [9, 18], Hoff and Tsyganov obtained the global existence and uniqueness of weak solutions with small initial energy. Umeda-Kawashima-Shizuta [17] studied the global existence and time decay rate of smooth solutions to the linearized two-dimensional compressible MHD equations. The optimal decay estimates of classical solutions to the compressible MHD system were obtained by Zhang-Zhao [20] when the initial data are close to a nonvacuum equilibrium. Hu-Wang [10, 11] and Fan-Yu [8] proved the global existence of renormalized solutions to the compressible MHD equations for general large initial data. When the viscosity and resistivity go to zero, Zhang [19] showed that the solution of the Cauchy problem for the nonhomogeneous incompressible MHD system converges to the solution of the ideal MHD system and the convergence rate was also obtained. Craig-Huang-Wang [7] obtained the global existence and uniqueness of strong solutions for initial data with small ${\dot{H}}^{\frac{1}{2}}$ -norm in the bounded or unbounded domain in $R^{3}$ .

In [12], Huang-Wang considered the global strong solutions to (1)-(4) in the bounded domain with suitable boundary conditions on u and B. Their arguments actually depend on the size of the domain, and so they cannot be applied to the Cauchy problem directly. Then one natural question may be raised: whether the global strong solutions exist in the whole space $R^{2}$ . Here, we want to answer the question. Our main result is stated as follows.

Theorem 1.1 Assume that the initial data

ρ_{0}

,

u_{0}

, and

B_{0}

satisfy

{\begin{matrix} ρ_{0} \geq 0, (ρ_{0} - \tilde{ρ}, u_{0}, B_{0}) \in H^{2} (R^{2}), \\ div u_{0} = div B_{0} = 0, \\ - Δ u_{0} + \nabla P_{0} - B_{0} \cdot \nabla B_{0} = ρ_{0}^{\frac{1}{2}} g, \end{matrix}

(7)

where

(\nabla P_{0}, g) \in L^{2} (R^{2})

. Then for any given

0 < T < \infty

, there exists a unique global strong solution

(ρ, u, P, B)

of (1)-(6) such that

{\begin{matrix} ρ \in C ([0, T]; H^{2} (R^{2})), (u, B) \in C ([0, T]; H^{2} (R^{2})), \\ P \in C ([0, T]; H^{1} (R^{2})) \cap L^{2} (0, T; H^{2} (R^{2})), (u_{t}, B_{t}) \in L^{2} (0, T; H^{1} (R^{2})), \\ (ρ_{t}, \sqrt{ρ} u_{t}, B_{t}) \in L^{\infty} (0, T; L^{2} (R^{2})) . \end{matrix}

(8)

The proof of Theorem 1.1 is mainly based on a critical Sobolev inequality of logarithmic type which was recently proved by Huang-Wang [12] and is originally due to Brezis-Wainger [21]. The main difficulty compared with [12] is that we should bound all the desired estimates without the restriction on the size of the domain, especially that the Poincaré inequality is not the same from the bounded domain to the whole spaces.

For convenience, we explain the notions used throughout this paper. Set

\int f d x ≜ \int_{R^{2}} f d x .

The standard homogeneous and inhomogeneous Sobolev spaces are defined as follows:

{\begin{matrix} L^{r} = L^{r} (R^{2}), D^{k, r} (R^{2}) = {v \in L_{loc}^{1} (R^{2}) | \nabla^{k} v \in L^{r} (R^{2})}, \\ D^{1} = D^{1, 2}, W^{k, r} = W^{k, r} (R^{2}), H^{k} = W^{k, 2}, \end{matrix}

for $1 \leq r \leq \infty$ and $k \geq 1$ .

The paper is organized as follows. In Section 2, we state some well-known inequalities and basic facts which will be used frequently later. The proof of Theorem 1.1 will be cast in Section 3.

2 Preliminaries

In this section, we list some useful lemmas which will be frequently used in the next sections. We start from the local existence of strong solutions, which is similar to [4] or [14].

Lemma 2.1 Assume that the conditions of Theorem 1.1 hold. Then there exists a positive time $T_{0}$ such that the Cauchy problem (1)-(6) admits a unique strong solution on $R^{2} \times [0, T_{0}]$ .

Next is the well-known Gagliardo-Nirenberg inequality (see [22]).

Lemma 2.2 For

f \in H^{1} (R^{2})

, we have for any

2 \leq p < \infty

{∥ f ∥}_{L^{p}}^{p} \leq C (p) {∥ f ∥}_{L^{2}}^{2} {∥ \nabla f ∥}_{L^{2}}^{p - 2},

(9)

where

C (p)

is a positive constant depending only on p. In addition, if

f \in W^{1, p} (R^{2}) \cap H^{2} (R^{2})

with

p > 2

, then there exists a universal positive constant C such that

{∥ f ∥}_{L^{\infty}} \leq C {∥ f ∥}_{W^{1, p} (R^{2})} \leq C {∥ f ∥}_{H^{2} (R^{2})} .

(10)

Next, we list the Poincaré type inequality, which yields ${∥ v ∥}_{L^{2} (R^{2})}$ even when the vacuum states appear.

Lemma 2.3 Assume that

ρ - \tilde{ρ} \in L^{2} (R^{2}) \cap L^{\infty} (R^{2})

with

ρ (x) \geq 0

,

\nabla v \in L^{2} (R^{2})

and

\sqrt{ρ} v \in L^{2} (R^{2})

. Then

{∥ v ∥}_{L^{2}} \leq C ({∥ \sqrt{ρ} v ∥}_{L^{2}} + {∥ \nabla v ∥}_{L^{2}}),

(11)

where C depends only on $\tilde{ρ}$ , ${∥ ρ - \tilde{ρ} ∥}_{L^{2}}$ , and ${∥ ρ - \tilde{ρ} ∥}_{L^{\infty}}$ .

Proof The proof of this lemma can easily be deduced by (9), Hölder’s inequality and the following equality:

\tilde{ρ} \int {| v |}^{2} d x = \int ρ {| v |}^{2} d x - \int (ρ - \tilde{ρ}) {| v |}^{2} d x,

so the details are omitted here. □

In the following, in order to improve the regularity of the velocity, we need to use the estimates of the Stokes equations. We refer the reader to [23, 24] for details.

Lemma 2.4 Consider the following stationary Stokes equations:

- Δ U + \nabla P = f, div U = 0, in R^{2} .

Then for any

f \in W^{m, p}

(

p > 1

), there exists a positive constant C, depending only on m and p, such that

{∥ \nabla^{2} U ∥}_{W^{m, p}} + {∥ \nabla P ∥}_{W^{m, p}} \leq C {∥ f ∥}_{W^{m, p}} .

(12)

To improve the regularity of the magnetic fields, we need the following result on the elliptic system.

Lemma 2.5 Assume that

B \in H^{1}

is a weak solution of the Poisson equations

Δ B = g, in R^{2},

where

g \in L^{q}

(

1 < q < \infty

). Then we have

{∥ B ∥}_{W^{2, q}} \leq C {∥ g ∥}_{L^{q}},

(13)

with some constant C depending only on q.

To bound the $L^{2}$ -norm of the gradient of the velocity, we will apply a critical Sobolev inequality of logarithmic type which was proved by Huang-Wang [12]. This is the key tool for the proof of Theorem 1.1.

Lemma 2.6 For

q > 2

and

0 \leq s < t < \infty

, assume that

f \in L^{2} (s, t; H^{1}) \cap L^{2} (s, t; W^{1, q})

. Then there exists a positive constant

C (q)

, independent of s and t, such that

{∥ f ∥}_{L^{2} (s, t; L^{\infty})} \leq C (1 + {∥ f ∥}_{L^{2} (s, t; H^{1})} {({ln}^{+} {∥ f ∥}_{L^{2} (s, t; W^{1, q})})}^{\frac{1}{2}}) .

(14)

3 Proof of Theorem 1.1

This section is devoted to obtaining the proof of Theorem 1.1. According to Lemma 2.1, a local strong solution of the Cauchy problem (1)-(6) exists. Suppose

T^{*}

is the first blowup time of the strong solution

(ρ, u, P, B)

to the Cauchy problem, it suffices to prove there actually exists a generic positive constant M (

0 < M < \infty

), depending only on the initial data

(ρ_{0}, u_{0}, B_{0})

and

T^{*}

, such that

\begin{array}{rcl} Φ & ≜ & sup_{0 \leq t \leq T} ({∥ ρ - \tilde{ρ} ∥}_{H^{2}}^{2} + {∥ (u, B) ∥}_{H^{2}}^{2} + {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2}) \\ + \int_{0}^{T} ({∥ (u, B) ∥}_{H^{3}}^{2} + {∥ u_{t} ∥}_{H^{1}}^{2} + {∥ H_{t} ∥}_{H^{1}}^{2}) d t \leq M, \end{array}

(15)

where $0 < T < T^{*}$ . Then due to the local existence theorem (Lemma 2.1), it can easily be shown that the strong solution can be extended beyond $T^{*}$ . This conclusion contradicts the assumption on $T^{*}$ . Thus, the strong solution exists globally on $R^{2} \times [0, T]$ for any $0 < T < \infty$ . Hence the proof of Theorem 1.1 is therefore completed.

The proof of (15) is based on a series of lemmas. For simplicity, throughout the remainder of this paper, we denote by C a generic constant which depends only on the initial data and $T^{*}$ and may change from line to line.

First, the $L^{\infty}$ -norm of the density can be obtained easily by using the method of characteristics, we list the following lemma without proof.

Lemma 3.1 For every

0 < T < T^{*}

, we have

0 \leq sup_{0 \leq t \leq T} {∥ ρ ∥}_{L^{\infty}} \leq {∥ ρ_{0} ∥}_{L^{\infty}} .

(16)

Next, the basic energy inequalities are used.

Lemma 3.2 For every

0 < T < T^{*}

, we have

sup_{0 \leq t \leq T} ({∥ \sqrt{ρ} u ∥}_{L^{2}}^{2} + {∥ B ∥}_{L^{2}}) + \int_{0}^{T} ({∥ \nabla u ∥}_{L^{2}}^{2} + {∥ \nabla B ∥}_{L^{2}}^{2}) d t \leq C .

(17)

The following estimates are the key estimates in the proof of Theorem 1.1, which depends on the critical Sobolev inequality of logarithmic type (see Lemma 2.6).

Lemma 3.3 For every

0 < T < T^{*}

, we have

sup_{0 \leq t \leq T} ({∥ u ∥}_{H^{1}}^{2} + {∥ B ∥}_{H^{1}}^{2}) + \int_{0}^{T} ({∥ \sqrt{ρ} \dot{u} ∥}_{L^{2}}^{2} + {∥ B_{t} ∥}_{L^{2}}^{2}) d t \leq C,

(18)

where $\dot{f} = f_{t} + u \cdot \nabla f$ is the material derivative of f.

Proof First, multiplying (2) by

u_{t}

and integrating the resultant equation by parts over

R^{2}

on x, one deduces that

\frac{1}{2} \frac{d}{d t} {∥ \nabla u ∥}_{L^{2}}^{2} + {∥ ρ^{\frac{1}{2}} \dot{u} ∥}_{L^{2}}^{2} = \int ρ \dot{u} (u \cdot \nabla) u d x + \int (B \cdot \nabla) B \cdot u_{t} d x .

(19)

For the first term on the right-hand side of (19), using Young’s inequality and (16), one shows that

\int ρ \dot{u} (u \cdot \nabla) u \leq \frac{1}{2} {∥ \sqrt{ρ} \dot{u} ∥}_{L^{2}}^{2} + C {∥ u ∥}_{L^{\infty}}^{2} {∥ \nabla u ∥}_{L^{2}}^{2} .

Next, the second term can be deduced as follows:

\begin{aligned} \int (B \cdot \nabla B) \cdot u_{t} & = \frac{d}{d t} \int (B \cdot \nabla) B \cdot u d x - \int (B_{t} \cdot \nabla) B \cdot u d x - \int (B \cdot \nabla) B_{t} \cdot u d x \\ = - \frac{d}{d t} \int (B \cdot \nabla) u \cdot B d x + \int (B_{t} \cdot \nabla) u \cdot B d x - \int (B \cdot \nabla) u \cdot B_{t} \\ \leq - \frac{d}{d t} \int (B \cdot \nabla) u \cdot B d x + \frac{1}{4} {∥ B_{t} ∥}_{L^{2}}^{2} + C {∥ B ∥}_{L^{\infty}}^{2} {∥ \nabla u ∥}_{L^{2}}^{2} . \end{aligned}

Then, substituting the above two estimates into (19), one obtains

\begin{matrix} \frac{1}{2} \frac{d}{d t} {∥ \nabla u ∥}_{L^{2}}^{2} + \frac{d}{d t} \int (B \cdot \nabla) u \cdot B d x + \frac{1}{2} {∥ \sqrt{ρ} \dot{u} ∥}_{L^{2}}^{2} \\ \leq \frac{1}{4} {∥ B_{t} ∥}_{L^{2}}^{2} + C ({∥ u ∥}_{L^{\infty}}^{2} + {∥ B ∥}_{L^{\infty}}^{2}) {∥ \nabla u ∥}_{L^{2}}^{2} . \end{matrix}

(20)

Multiplying (3) by

B_{t}

and integrating over

R^{2}

by parts, one deduces that

\begin{aligned} {∥ B_{t} ∥}_{L^{2}}^{2} + \frac{d}{d t} {∥ \nabla B ∥}_{L^{2}}^{2} & = - \int u \cdot \nabla B \cdot B_{t} d x + \int B \cdot \nabla u \cdot B_{t} d x \\ \leq \frac{1}{4} {∥ B_{t} ∥}_{L^{2}}^{2} + C ({∥ u ∥}_{L^{\infty}}^{2} + {∥ B ∥}_{L^{\infty}}^{2}) ({∥ \nabla u ∥}_{L^{2}}^{2} + {∥ \nabla B ∥}_{L^{2}}^{2}) . \end{aligned}

(21)

The term

\frac{d}{d t} \int (B \cdot \nabla) u \cdot B d x

on the left-hand side of (20) cannot be determined positive or negative, thus we have to control it by some appropriate positive terms. Note that it follows from Gagliardo-Nirenberg inequality that we may deduce

\begin{aligned} | \int (B \cdot \nabla) u \cdot B d x | & \leq {∥ B ∥}_{L^{4}}^{2} {∥ \nabla u ∥}_{L^{2}} \leq C {∥ B ∥}_{L^{2}} {∥ B ∥}_{H^{1}} {∥ \nabla u ∥}_{L^{2}} \\ \leq \frac{1}{4} {∥ \nabla u ∥}_{L^{2}}^{2} + C_{1} {∥ B ∥}^{2} ({∥ B ∥}^{2} + {∥ \nabla B ∥}^{2}) . \end{aligned}

Then multiplying (21) by

(2 C_{1} C_{0} + 1)

, adding it to (20), and integrating the resulting equation over

(s, t)

on time, we finally deduce that

\begin{matrix} ({∥ \nabla u ∥}_{L^{2}}^{2} + {∥ \nabla B ∥}_{L^{2}}^{2}) (t) + \int_{s}^{t} ({∥ ρ^{\frac{1}{2}} \dot{u} ∥}_{L^{2}}^{2} + {∥ B_{t} ∥}_{L^{2}}^{2}) d τ \\ \leq C ({∥ \nabla u ∥}_{L^{2}}^{2} + {∥ \nabla B ∥}_{L^{2}}^{2}) (s) exp {C \int_{s}^{t} ({∥ u ∥}_{L^{\infty}}^{2} + {∥ B ∥}_{L^{\infty}}^{2})} d τ . \end{matrix}

(22)

To proceed, we have to estimate

{∥ u ∥}_{L^{\infty}}

and

{∥ B ∥}_{L^{\infty}}

. First, due to (11), we obtain

{∥ u ∥}_{L^{2}}^{2} \leq C (1 + {∥ \nabla u ∥}_{L^{2}}^{2}) .

(23)

For convenience, we denote

Ψ (t) = e + sup_{0 \leq τ \leq t} ({∥ u (τ) ∥}_{H^{1}}^{2} + {∥ B (τ) ∥}_{H^{1}}^{2}) + \int_{0}^{t} ({∥ \sqrt{ρ} \dot{u} (τ) ∥}_{L^{2}}^{2} + {∥ B_{t} (τ) ∥}_{L^{2}}^{2}) d τ .

Then, combining (17), (22), and (23), we conclude that

Ψ (t) \leq C Ψ (s) exp {C \int_{s}^{t} ({∥ u ∥}_{L^{\infty}}^{2} + {∥ B ∥}_{L^{\infty}}^{2}) d τ} .

(24)

To proceed, we have to get the appropriate bound on

{∥ u ∥}_{L^{\infty}}

and

{∥ B ∥}_{L^{\infty}}

. Thus, due to (13), we obtain

\begin{aligned} {∥ \nabla^{2} B ∥}_{L^{2}} & \leq C ({∥ B_{t} ∥}_{L^{2}} + {∥ u ∥}_{L^{\infty}} {∥ \nabla B ∥}_{L^{2}} + {∥ B ∥}_{L^{\infty}} {∥ \nabla u ∥}_{L^{2}}) \\ \leq C ({∥ B_{t} ∥}_{L^{2}} + {∥ u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla B ∥}_{L^{2}} + {∥ B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla u ∥}_{L^{2}}) \\ \leq \frac{1}{4} {∥ \nabla^{2} u ∥}_{L^{2}} + \frac{1}{4} {∥ \nabla^{2} B ∥}_{L^{2}} + C ({∥ B_{t} ∥}_{L^{2}} + {∥ \nabla B ∥}_{L^{2}}^{2} + {∥ \nabla u ∥}_{L^{2}}^{2}), \end{aligned}

(25)

where we have used (11) and (24). Similarly, we conclude from (12), (11), and (24) that

\begin{aligned} {∥ \nabla^{2} u ∥}_{L^{2}} & \leq C ({∥ ρ \dot{u} ∥}_{L^{2}} + {∥ B \cdot \nabla B ∥}_{L^{2}}) \\ \leq C ({∥ ρ \dot{u} ∥}_{L^{2}} + {∥ B ∥}_{L^{\infty}} {∥ \nabla B ∥}_{L^{2}}) \\ \leq C ({∥ ρ \dot{u} ∥}_{L^{2}} + {∥ B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla B ∥}_{L^{2}}) \\ \leq \frac{1}{4} {∥ \nabla^{2} B ∥}_{L^{2}} + C ({∥ ρ \dot{u} ∥}_{L^{2}} + {∥ \nabla B ∥}_{L^{2}}^{2}) . \end{aligned}

(26)

Hence, combining (25) and (26), we obtain

\begin{matrix} \int_{0}^{T} ({∥ \nabla^{2} u ∥}_{L^{2}}^{2} + {∥ \nabla^{2} B ∥}_{L^{2}}^{2}) d τ \\ \leq sup_{s \leq τ \leq t} ({∥ \nabla u ∥}_{L^{2}}^{2} + {∥ \nabla B ∥}_{L^{2}}^{2}) C_{0} + C \int_{s}^{t} ({∥ \sqrt{ρ} \dot{u} ∥}_{L^{2}}^{2} + {∥ B_{t} ∥}_{L^{2}}^{2}) d τ . \end{matrix}

(27)

Thus, keeping the definition of

Ψ (t)

in mind, we conclude from (27) that

\begin{matrix} {∥ u ∥}_{L^{2} (s, t; L^{\infty})}^{2} + {∥ B ∥}_{L^{2} (s, t; L^{\infty})}^{2} \\ \leq C [1 + ({∥ u ∥}_{L^{2} (s, t; H^{1})}^{2} + {∥ B ∥}_{L^{2} (s, t; H^{1})}^{2})] [ln (e + {∥ u ∥}_{L^{2} (s, t; W^{1, 4})}) + ln (e + {∥ B ∥}_{L^{2} (s, t; W^{1, 4})})] \\ \leq C [1 + ({∥ u ∥}_{L^{2} (s, t; H^{1})}^{2} + {∥ B ∥}_{L^{2} (s, t; H^{1})}^{2})] [ln (e + {∥ u ∥}_{L^{2} (s, t; H^{2})}) + ln (e + {∥ B ∥}_{L^{2} (s, t; H^{2})})] \\ \leq C [1 + ({∥ u ∥}_{L^{2} (s, t; H^{1})}^{2} + {∥ B ∥}_{L^{2} (s, t; H^{1})}^{2})] ln (C Ψ (t)) . \end{matrix}

Substituting the above estimate into (25), we conclude that

\begin{aligned} Ψ (t) & \leq C Ψ (s) exp {C_{1} [{∥ \nabla u ∥}_{L^{2} (s, t; L^{2})}^{2} + {∥ \nabla B ∥}_{L^{2} (s, t; L^{2})}^{2}] ln (C_{2} Ψ (t))} \\ \leq C Ψ (s) {[C_{2} Ψ (t)]}^{C_{1} ({∥ \nabla u ∥}_{L^{2} (s, t; L^{2})}^{2} + {∥ \nabla B ∥}_{L^{2} (s, t; L^{2})}^{2})} . \end{aligned}

(28)

It follows from the basic energy estimate that one can choose the interval

[s, T]

small enough, such that

C_{1} ({∥ \nabla u ∥}_{L^{2} (s, t; L^{2})}^{2} + {∥ \nabla B ∥}_{L^{2} (s, t; L^{2})}^{2}) \leq \frac{1}{2} .

Substituting the above estimate into (25), we conclude that

Ψ (T) \leq C Ψ (s) Ψ^{\frac{1}{2}} (T),

which implies that

Ψ (T) \leq C Ψ^{2} (s),

from which we complete the proof of this lemma. □

Remark 3.1 Due to (18) and the definition of the material derivative

\dot{f}

, we show that

\int_{0}^{T} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} d t \leq C,

(29)

by the following simple fact, i.e.:

\begin{aligned} \int_{0}^{T} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} d t & \leq \int_{0}^{T} {∥ \sqrt{ρ} \dot{u} ∥}_{L^{2}}^{2} d t + \int_{0}^{T} ρ {| u |}^{2} {| \nabla u |}^{2} d x d t \\ \leq \int_{0}^{T} {∥ \sqrt{ρ} \dot{u} ∥}_{L^{2}}^{2} d t + C \int_{0}^{T} {∥ u ∥}_{L^{4}}^{2} {∥ \nabla u ∥}_{L^{4}}^{2} d t \\ \leq C + \int_{0}^{T} {∥ u ∥}_{L^{2}} {∥ \nabla u ∥}_{L^{2}}^{2} {∥ \nabla^{2} u ∥}_{L^{2}} d t \leq C, \end{aligned}

where we have used (9), (16), (17), and (18).

The following lemma is devoted to improving the time regularity of u and B.

Lemma 3.4 For every

0 < T < T^{*}

, we have

sup_{0 \leq t \leq T} ({∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} + {∥ B_{t} ∥}_{L^{2}}^{2}) + \int_{0}^{T} ({∥ \nabla u_{t} ∥}_{L^{2}}^{2} + {∥ \nabla B_{t} ∥}_{L^{2}}^{2}) d t \leq C .

(30)

Proof Differentiating (2) with respect to t, we obtain

ρ u_{t t} + ρ u \cdot \nabla u_{t} + \nabla P_{t} - Δ u_{t} = - ρ_{t} u_{t} - ρ_{t} u \cdot \nabla u - ρ u_{t} \cdot \nabla u + B_{t} \cdot \nabla B + B \cdot \nabla B_{t} .

Multiplying the above equation by

u_{t}

, then integrating the resulting equation over

R^{2}

on x, we deduce that

\begin{matrix} \frac{1}{2} \frac{d}{d t} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} + {∥ \nabla u_{t} ∥}_{L^{2}}^{2} \\ = - \int ρ_{t} {| u_{t} |}^{2} d x - \int ρ_{t} u \cdot \nabla u \cdot u_{t} d x - \int ρ u_{t} \cdot \nabla u \cdot u_{t} d x \\ + \int B_{t} \cdot \nabla B \cdot u_{t} d x + \int B \cdot \nabla B_{t} \cdot u_{t} d x \\ = \sum_{i = 1}^{5} I_{i} . \end{matrix}

(31)

Now, we estimate each term on the right-hand side of (31). First, due to (1), we have

\begin{aligned} I_{1} & = \int div (ρ u) {| u_{t} |}^{2} d x = - 2 \int ρ u \cdot u_{t} \cdot \nabla u_{t} \\ \leq C {∥ ρ ∥}_{L^{\infty}}^{\frac{1}{2}} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} {∥ u ∥}_{L^{\infty}} {∥ \nabla u_{t} ∥}_{L^{2}} \\ \leq \frac{1}{8} {∥ \nabla u_{t} ∥}_{L^{2}}^{2} + C {∥ u ∥}_{L^{\infty}}^{2} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} . \end{aligned}

Next, it follows from (1), (18), Hölder’s inequality, and Young’s inequality that

\begin{array}{rcl} I_{2} & = & \int div (ρ u) u \cdot \nabla u \cdot u_{t} d x \\ \leq & \int ρ u {| \nabla u |}^{2} | u_{t} | d x + \int ρ {| u |}^{2} | \nabla^{2} u | | u_{t} | d x + \int ρ {| u |}^{2} | \nabla u | | \nabla u_{t} | d x \\ \leq & C {∥ ρ ∥}_{L^{\infty}}^{\frac{1}{2}} {∥ u ∥}_{L^{\infty}} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} {∥ \nabla u ∥}_{L^{4}}^{2} \\ + C {∥ u ∥}_{L^{\infty}}^{2} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} {∥ \nabla^{2} u ∥}_{L^{2}} + C {∥ u ∥}_{L^{\infty}}^{2} {∥ \nabla u ∥}_{L^{2}} {∥ \nabla u_{t} ∥}_{L^{2}} \\ \leq & C {∥ u ∥}_{L^{\infty}} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} {∥ \nabla u ∥}_{L^{2}} {∥ \nabla^{2} u ∥}_{L^{2}} \\ + C {∥ ρ ∥}_{L^{\infty}}^{\frac{1}{2}} {∥ u ∥}_{L^{\infty}}^{2} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} {∥ \nabla^{2} u ∥}_{L^{2}} + C {∥ u ∥}_{L^{\infty}}^{2} {∥ \nabla u ∥}_{L^{2}} {∥ \nabla u_{t} ∥}_{L^{2}} \\ \leq & \frac{1}{8} {∥ \nabla u_{t} ∥}_{L^{2}}^{2} + (1 + {∥ u ∥}_{L^{\infty}}^{4}) {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} + C (1 + {∥ \nabla u ∥}_{L^{2}}^{2}) {∥ \nabla^{2} u ∥}_{L^{2}}^{2} \\ \leq & \frac{1}{8} {∥ \nabla u_{t} ∥}_{L^{2}}^{2} + (1 + {∥ u ∥}_{L^{2}}^{2} {∥ \nabla^{2} u ∥}_{L^{2}}^{2}) {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} + C (1 + {∥ \nabla u ∥}_{L^{2}}^{2}) {∥ \nabla^{2} u ∥}_{L^{2}}^{2} . \end{array}

Then one obtains

\begin{aligned} I_{3} & \leq C {∥ ρ ∥}_{L^{\infty}}^{\frac{1}{2}} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} {∥ \nabla u ∥}_{L^{4}} {∥ u_{t} ∥}_{L^{4}} \\ \leq C {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} {∥ \nabla u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} u ∥}_{L^{2}}^{\frac{1}{2}} {∥ u_{t} ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla u_{t} ∥}_{L^{2}}^{\frac{1}{2}} \\ \leq C {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} {∥ \nabla u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} u ∥}_{L^{2}}^{\frac{1}{2}} ({∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{\frac{1}{2}} + {∥ \nabla u_{t} ∥}_{L^{2}}^{\frac{1}{2}}) {∥ \nabla u_{t} ∥}_{L^{2}}^{\frac{1}{2}} \\ = C {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{\frac{3}{2}} {∥ \nabla u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla u_{t} ∥}_{L^{2}}^{\frac{1}{2}} + C {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} {∥ \nabla u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla u_{t} ∥}_{L^{2}} \\ \leq \frac{1}{8} {∥ \nabla u_{t} ∥}_{L^{2}}^{2} + C {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} {∥ \nabla u ∥}_{L^{2}}^{\frac{2}{3}} {∥ \nabla^{2} u ∥}_{L^{2}}^{\frac{2}{3}} + C {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} {∥ \nabla u ∥}_{L^{2}} {∥ \nabla^{2} u ∥}_{L^{2}} \\ \leq \frac{1}{8} {∥ \nabla u_{t} ∥}_{L^{2}}^{2} + C (1 + {∥ \nabla^{2} u ∥}_{L^{2}}^{2}) {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2}, \end{aligned}

where we have used (9), (11), and (24). Finally, as for

I_{4}

and

I_{5}

, we see that

\begin{aligned} I_{4} + I_{5} & = \int B_{t} \cdot \nabla B \cdot u_{t} + \int B \cdot \nabla B_{t} \cdot u_{t} \\ = - \int B_{t} \cdot \nabla u_{t} \cdot B - \int B \cdot \nabla u_{t} \cdot B_{t} \\ \leq C {∥ B ∥}_{L^{\infty}} {∥ B_{t} ∥}_{L^{2}} {∥ \nabla u_{t} ∥}_{L^{2}} \\ \leq \frac{1}{8} {∥ \nabla u_{t} ∥}_{L^{2}}^{2} + C (1 + {∥ \nabla^{2} B ∥}_{L^{2}}^{2}) {∥ B_{t} ∥}_{L^{2}}^{2} . \end{aligned}

Hence, substituting all the above estimates into (31), we conclude that

\begin{array}{rcl} \frac{d}{d t} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} + {∥ \nabla u_{t} ∥}_{L^{2}}^{2} & \leq & C ({∥ \nabla^{2} u ∥}_{L^{2}}^{2} + {∥ \nabla^{2} B ∥}_{L^{2}}^{2}) ({∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} + {∥ B_{t} ∥}_{L^{2}}^{2}) \\ + C ({∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} + {∥ B_{t} ∥}_{L^{2}}^{2}) . \end{array}

(32)

From now on, we focus on the estimate for B. Differentiating equation (3) with respect to t, multiplying the resulting equation by

B_{t}

, and then integrating by parts over

R^{2}

on x, we finally obtain

\begin{matrix} \frac{1}{2} \frac{d}{d t} \int {| B_{t} |}^{2} d x + \int {| \nabla B_{t} |}^{2} d x \\ = - \int u_{t} \cdot \nabla B \cdot B_{t} d x + \int (B_{t} \cdot \nabla u) \cdot B_{t} d x + \int (B \cdot \nabla) u_{t} \cdot B_{t} d x \\ = \sum_{i = 1}^{3} J_{i} . \end{matrix}

(33)

We estimate each term on the right-hand side of (33). First, for

J_{1}

, ones deduce from (11) and (9) that

\begin{aligned} J_{1} & \leq C {∥ B_{t} ∥}_{L^{2}} {∥ u_{t} ∥}_{L^{4}} {∥ \nabla B ∥}_{L^{4}} \\ \leq C {∥ B_{t} ∥}_{L^{2}} {∥ u_{t} ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla u_{t} ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} B ∥}_{L^{2}}^{\frac{1}{2}} \\ \leq C {∥ B_{t} ∥}_{L^{2}} ({∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{\frac{1}{2}} + {∥ \nabla u_{t} ∥}_{L^{2}}^{\frac{1}{2}}) {∥ \nabla u_{t} ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} B ∥}_{L^{2}}^{\frac{1}{2}} \\ \leq C {∥ B_{t} ∥}_{L^{2}} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla u_{t} ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} B ∥}_{L^{2}}^{\frac{1}{2}} + C {∥ B_{t} ∥}_{L^{2}} {∥ \nabla u_{t} ∥}_{L^{2}} {∥ \nabla B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} B ∥}_{L^{2}}^{\frac{1}{2}} \\ \leq C {∥ B_{t} ∥}_{L^{2}} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} {∥ \nabla B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} B ∥}_{L^{2}}^{\frac{1}{2}} + C {∥ B_{t} ∥}_{L^{2}} {∥ \nabla u_{t} ∥}_{L^{2}} {∥ \nabla B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} B ∥}_{L^{2}}^{\frac{1}{2}} \\ \leq \frac{1}{8} {∥ \nabla u_{t} ∥}_{L^{2}}^{2} + C (1 + {∥ \nabla^{2} B ∥}_{L^{2}}^{2}) {∥ B_{t} ∥}_{L^{2}}^{2} + C {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} . \end{aligned}

Similarly, for

J_{2}

, we show that

\begin{aligned} J_{2} & \leq C {∥ \nabla u ∥}_{L^{2}} {∥ B_{t} ∥}_{L^{4}}^{2} \leq C {∥ \nabla u ∥}_{L^{2}} {∥ B_{t} ∥}_{L^{2}} {∥ \nabla B_{t} ∥}_{L^{2}} \\ \leq \frac{1}{4} {∥ \nabla B_{t} ∥}_{L^{2}}^{2} + C {∥ \nabla u ∥}_{L^{2}}^{2} {∥ B_{t} ∥}_{L^{2}}^{2} . \end{aligned}

For

J_{3}

, one deduces

J_{3} \leq C {∥ B ∥}_{L^{\infty}} {∥ \nabla u_{t} ∥}_{L^{2}} {∥ B_{t} ∥}_{L^{2}} \leq \frac{1}{8} {∥ \nabla u_{t} ∥}_{L^{2}}^{2} + C {∥ \nabla^{2} B ∥}_{L^{2}}^{2} {∥ B_{t} ∥}_{L^{2}}^{2} + C {∥ B_{t} ∥}_{L^{2}}^{2} .

Then, substituting the above estimates on

J_{1}

,

J_{2}

,

J_{3}

, one deduces

\begin{array}{rcl} \frac{d}{d t} \int {| B_{t} |}^{2} d x + \int {| \nabla B_{t} |}^{2} d x & \leq & \frac{1}{4} {∥ \nabla u_{t} ∥}_{L^{2}}^{2} + C ({∥ \nabla u ∥}_{L^{2}}^{2} + {∥ \nabla^{2} B ∥}_{L^{2}}^{2}) {∥ B_{t} ∥}_{L^{2}}^{2} \\ + C ({∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} + {∥ B_{t} ∥}_{L^{2}}^{2}) . \end{array}

(34)

Thus, combining (32) and (34), together with Gronwall’s inequality, one easily completes the proof of (30). This completes the proof of Lemma 3.4. □

Next, we will apply (12) and (13) to improve the higher regularity on the velocity u and magnetic fields B, respectively.

Lemma 3.5 For every

0 < T < T^{*}

, we have

sup_{0 \leq t \leq T} ({∥ u ∥}_{H^{2}}^{2} + {∥ B ∥}_{H^{2}}^{2}) + \int_{0}^{T} ({∥ \nabla u ∥}_{W^{1, 4}}^{2} + {∥ \nabla B ∥}_{W^{1, 4}}^{2}) d t \leq C .

(35)

Proof Let us rewrite (2) in the following form:

- Δ u + \nabla P = - ρ u_{t} - ρ u \cdot \nabla u + B \cdot \nabla B .

Then, using Lemma 2.4, we conclude that

\begin{aligned} {∥ \nabla^{2} u ∥}_{L^{2}} & \leq C ({∥ ρ u_{t} ∥}_{L^{2}} + {∥ ρ u \cdot \nabla u ∥}_{L^{2}} + {∥ B \cdot \nabla B ∥}_{L^{2}}) \\ \leq C ({∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} + {∥ u ∥}_{L^{4}} {∥ \nabla u ∥}_{L^{4}} + {∥ B ∥}_{L^{4}} {∥ \nabla B ∥}_{L^{4}}) \\ \leq C ({∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} + {∥ \nabla^{2} u ∥}_{L^{2}}^{\frac{1}{2}} + {∥ \nabla^{2} B ∥}_{L^{2}}^{\frac{1}{2}}) . \end{aligned}

(36)

Similarly, due to Lemma 2.5, we obtain

\begin{array}{rcl} {∥ \nabla^{2} B ∥}_{L^{2}} & \leq & C ({∥ B_{t} ∥}_{L^{2}} + {∥ u \cdot \nabla B ∥}_{L^{2}} + {∥ B \cdot \nabla u ∥}_{L^{2}}) \\ \leq & C ({∥ B_{t} ∥}_{L^{2}} + {∥ u ∥}_{L^{4}} {∥ \nabla B ∥}_{L^{4}} + {∥ B ∥}_{L^{4}} {∥ \nabla u ∥}_{L^{4}}) \\ \leq & C ({∥ B_{t} ∥}_{L^{2}} + {∥ u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} B ∥}_{L^{2}}^{\frac{1}{2}} \\ + {∥ B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla B ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla^{2} u ∥}_{L^{2}}^{\frac{1}{2}}) \\ \leq & C ({∥ B_{t} ∥}_{L^{2}} + {∥ \nabla^{2} B ∥}_{L^{2}}^{\frac{1}{2}} + {∥ \nabla^{2} u ∥}_{L^{2}}^{\frac{1}{2}}) . \end{array}

(37)

Thus, combining the above two inequalities and Young’s inequality, we arrive at

sup_{0 \leq t \leq T} ({∥ u ∥}_{H^{2}} + {∥ B ∥}_{H^{2}}) \leq C .

(38)

Then, by Lemmas 2.4 and 2.5, we have

\begin{array}{rcl} \int_{0}^{T} {∥ \nabla^{2} u ∥}_{L^{4}}^{2} d t & \leq & C \int_{0}^{T} ({∥ ρ u_{t} ∥}_{L^{4}}^{2} + {∥ ρ u \cdot \nabla u ∥}_{L^{4}}^{2} + {∥ B \cdot \nabla B ∥}_{L^{4}}^{2}) d t \\ \leq & C \int_{0}^{T} ({∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} + {∥ \nabla u_{t} ∥}_{L^{2}}^{2} + {∥ u ∥}_{L^{\infty}}^{2} {∥ \nabla u ∥}_{L^{4}}^{2} + {∥ B ∥}_{L^{\infty}}^{2} {∥ \nabla B ∥}_{L^{4}}^{2}) d t \\ \leq & C \int_{0}^{T} ({∥ \sqrt{ρ} u_{t} ∥}_{L^{2}}^{2} + {∥ \nabla u_{t} ∥}_{L^{2}}^{2} + {∥ u ∥}_{L^{2}} {∥ \nabla^{2} u ∥}_{L^{2}} {∥ \nabla u ∥}_{L^{2}} {∥ \nabla^{2} u ∥}_{L^{2}} \\ + {∥ B ∥}_{L^{2}} {∥ \nabla^{2} B ∥}_{L^{2}} {∥ \nabla B ∥}_{L^{2}} {∥ \nabla^{2} B ∥}_{L^{2}}) d t \\ \leq & C + C \int_{0}^{T} {∥ \nabla u_{t} ∥}_{L^{2}}^{2} d t \leq C \end{array}

(39)

and

\begin{array}{rcl} \int_{0}^{T} {∥ \nabla^{2} B ∥}_{L^{4}}^{2} d t & \leq & C \int_{0}^{T} ({∥ B_{t} ∥}_{L^{4}}^{2} + {∥ u \cdot \nabla B ∥}_{L^{4}}^{2} + {∥ B \cdot \nabla u ∥}_{L^{4}}^{2}) d t \\ \leq & C \int_{0}^{T} ({∥ B_{t} ∥}_{L^{2}}^{2} + {∥ \nabla B_{t} ∥}_{L^{2}}^{2} + {∥ u ∥}_{L^{\infty}}^{2} {∥ \nabla B ∥}_{L^{4}}^{2} + {∥ B ∥}_{L^{\infty}}^{2} {∥ \nabla u ∥}_{L^{4}}^{2}) d t \\ \leq & C \int_{0}^{T} ({∥ B_{t} ∥}_{L^{2}}^{2} + {∥ \nabla B_{t} ∥}_{L^{2}}^{2} + {∥ u ∥}_{L^{2}} {∥ \nabla^{2} u ∥}_{L^{2}} {∥ \nabla B ∥}_{L^{2}} {∥ \nabla^{2} B ∥}_{L^{2}} \\ + {∥ B ∥}_{L^{2}} {∥ \nabla^{2} B ∥}_{L^{2}} {∥ \nabla u ∥}_{L^{2}} {∥ \nabla^{2} u ∥}_{L^{2}}) d t \\ \leq & C + C \int_{0}^{T} {∥ \nabla B_{t} ∥}_{L^{2}}^{2} d t . \end{array}

(40)

Then, combining all the above estimates (36)-(40) together we show that (35). This completes the proof of Lemma 3.5. □

Lemma 3.6 For every

0 < T < T^{*}

, we have

sup_{0 \leq t \leq T} ({∥ ρ ∥}_{H^{2}} + {∥ ρ_{t} ∥}_{H^{1}}) + \int_{0}^{T} ({∥ u ∥}_{H^{3}}^{2} + {∥ B ∥}_{H^{3}}^{2}) d t \leq C .

(41)

Proof Differentiating (1) with respect to

x_{i}

(

i = 1, 2

), multiplying the resultant equation by

| \nabla ρ | \partial_{i} ρ

, then integrating the resulting equation by parts over

R^{2}

with respect to x, we finally deduce after summing them up that

\frac{d}{d t} {∥ \nabla ρ ∥}_{L^{2}}^{2} \leq C {∥ \nabla u ∥}_{L^{\infty}} {∥ \nabla ρ ∥}_{L^{2}}^{2} \leq C {∥ \nabla u ∥}_{W^{1, 4}} {∥ \nabla ρ ∥}_{L^{2}}^{2},

which, combined with (35) and Gronwall’s inequality, yields

{∥ \nabla ρ ∥}_{L^{2}}^{2} \leq C {∥ \nabla ρ_{0} ∥}_{L^{2}}^{2} exp {C \int_{0}^{T} {∥ \nabla u ∥}_{W^{1, 4}} d t} \leq C .

(42)

Similarly, we can also obtain from (1) that

\begin{aligned} \frac{d}{d t} {∥ \nabla^{2} ρ ∥}_{L^{2}}^{2} & \leq C {∥ \nabla u ∥}_{L^{\infty}} {∥ \nabla^{2} ρ ∥}_{L^{2}}^{2} + C {∥ \nabla^{2} u ∥}_{L^{4}} {∥ \nabla ρ ∥}_{L^{4}} {∥ \nabla^{2} ρ ∥}_{L^{2}} \\ \leq C {∥ u ∥}_{W^{2, 4}} (1 + {∥ \nabla^{2} ρ ∥}_{L^{2}}^{2}), \end{aligned}

which combined with (42), together with (35) and Gronwall’s inequality, yields

{∥ \nabla^{2} ρ ∥}_{L^{2}}^{2} \leq C {∥ \nabla^{2} ρ_{0} ∥}_{L^{2}}^{2} exp {C \int_{0}^{T} {∥ u ∥}_{W^{2, 4}} d t} \leq C .

It follows from (12) that

\begin{array}{rcl} {∥ \nabla u ∥}_{H^{3}} & \leq & C ({∥ ρ u_{t} ∥}_{H^{1}} + {∥ ρ u \cdot \nabla u ∥}_{H^{1}} + {∥ B \cdot \nabla B ∥}_{H^{1}}) \\ \leq & C ({∥ ρ u_{t} ∥}_{L^{2}} + {∥ \nabla ρ \cdot u_{t} ∥}_{L^{2}} + {∥ ρ \nabla u_{t} ∥}_{L^{2}} + {∥ ρ u \cdot \nabla u ∥}_{L^{2}} + {∥ \nabla ρ \cdot u \cdot \nabla u ∥}_{L^{2}} \\ + {∥ ρ {(\nabla u)}^{2} ∥}_{L^{2}} + {∥ ρ u \cdot \nabla^{2} u ∥}_{L^{2}} + {∥ B \cdot \nabla B ∥}_{L^{2}} + {∥ \nabla B ∥}_{L^{4}}^{2} + {∥ B \cdot \nabla^{2} B ∥}_{L^{2}}) \\ \leq & C ({∥ ρ ∥}_{L^{4}}^{\frac{1}{2}} {∥ \sqrt{ρ} u_{t} ∥}_{L^{2}} + {∥ \nabla ρ ∥}_{L^{4}} {∥ u_{t} ∥}_{L^{4}} \\ + {∥ ρ ∥}_{L^{\infty}} {∥ \nabla u_{t} ∥}_{L^{2}} + {∥ ρ ∥}_{L^{\infty}} {∥ u ∥}_{L^{\infty}} {∥ \nabla u ∥}_{L^{2}} \\ + {∥ u ∥}_{L^{\infty}} {∥ \nabla ρ ∥}_{L^{4}} {∥ \nabla u ∥}_{L^{4}} + {∥ ρ ∥}_{L^{\infty}} {∥ \nabla u ∥}_{L^{4}}^{2} + {∥ ρ ∥}_{L^{\infty}} {∥ u ∥}_{L^{\infty}} {∥ \nabla^{2} u ∥}_{L^{2}} \\ + {∥ B ∥}_{L^{\infty}} {∥ \nabla B ∥}_{L^{2}} + {∥ \nabla B ∥}_{L^{4}}^{2} + {∥ B ∥}_{L^{\infty}} {∥ \nabla^{2} B ∥}_{L^{2}}) \\ \leq & C (1 + {∥ \nabla u_{t} ∥}_{L^{2}}), \end{array}

which implies $\int_{0}^{T} {∥ u ∥}_{H^{3}} d t \leq C$ . Similarly, we can obtain $\int_{0}^{T} {∥ B ∥}_{H^{3}} d t \leq C$ . Thus, we obtain (41), and thus complete the proof of Lemma 3.6. □

The proof of Theorem 1.1 is based on all the estimates that we deduced in Lemmas 3.1-3.6. From all the estimates obtained, we arrive at (15), and, finally, the proof of Theorem 1.1 is therefore completed.

Declarations

Acknowledgements

This work was supported by NSFC-Union Science Foundation of Henan (No. U1304103) and Natural Science Foundation of Henan Province (No. 122300410261).

Authors’ Affiliations

(1)

School of Mathematical Sciences, Luoyang Normal University, Luoyang, 471022, P.R. China

(2)

College of Science, Zhongyuan University of Technology, Zhengzhou, 450007, P.R. China

(3)

School of Mathematics, Ocean University of China, Qingdao, 266100, P.R. China

References

Cabannes H: Theoretical Magnetofluiddynamics. Academic Press, New York; 1970.Google Scholar
Kulikovskiy AF, Lyubimov GA: Magnetohydrodynamics. Addison-Wesley, Reading; 1965.Google Scholar
Abidi H, Paicu M: Global existence for the magnetohydrodynamic system in critical spaces. Proc. R. Soc. Edinb., Sect. A 2008, 138: 447-476.MathSciNetGoogle Scholar
Chen Q, Tan Z, Wang Y: Strong solutions to the incompressible magnetohydrodynamic equations. Math. Methods Appl. Sci. 2011, 34: 94-107. 10.1002/mma.1338MathSciNetView ArticleGoogle Scholar
Chen G-Q, Wang D: Global solution of nonlinear magnetohydrodynamics with large initial data. J. Differ. Equ. 2002, 182: 344-376. 10.1006/jdeq.2001.4111View ArticleGoogle Scholar
Chen G-Q, Wang D: Existence and continuous dependence of large solutions for the magnetohydrodynamic equations. Z. Angew. Math. Phys. 2003, 54: 608-632. 10.1007/s00033-003-1017-zMathSciNetView ArticleGoogle Scholar
Craig, W, Huang, X, Wang, Y: Global wellposedness for the 3D inhomogeneous incompressible Navier-Stokesequations arXiv:1301.7155
Fan J, Yu W: Strong solution to the compressible MHD equations with vacuum. Nonlinear Anal., Real World Appl. 2009, 10: 392-409. 10.1016/j.nonrwa.2007.10.001MathSciNetView ArticleGoogle Scholar
Hoff D, Tsyganov E: Uniqueness and continuous dependence of weak solutions in compressible magnetohydrodynamics. Z. Angew. Math. Phys. 2005, 56: 791-804. 10.1007/s00033-005-4057-8MathSciNetView ArticleGoogle Scholar
Hu X, Wang D: Global solutions to the three-dimensional full compressible magnetohydrodynamic flows. Commun. Math. Phys. 2008, 283: 255-284. 10.1007/s00220-008-0497-2View ArticleGoogle Scholar
Hu X, Wang D: Global existence and large-time behavior of solutions to the threedimensional equations of compressible magnetohydrodynamic flows. Arch. Ration. Mech. Anal. 2010, 197: 203-238. 10.1007/s00205-010-0295-9MathSciNetView ArticleGoogle Scholar
Huang X, Wang Y: Global strong solution to the 2D nonhomogeneous incompressible MHD system. J. Differ. Equ. 2013, 254: 511-527. 10.1016/j.jde.2012.08.029View ArticleGoogle Scholar
Jiang, S, Li, F: Convergence of the complete electromagnetic fluid system to the full compressiblemagnetohydrodynamic equations arXiv:1309.3668
Kawashima S: Smooth global solutions for two-dimensional equations of electromagnetofluid dynamics. Jpn. J. Appl. Math. 1984, 1: 207-222. 10.1007/BF03167869MathSciNetView ArticleGoogle Scholar
Li H, Xu X, Zhang J: Global classical solutions to 3D compressible magnetohydrodynamic equations with large oscillations and vacuum. SIAM J. Math. Anal. 2013, 45: 1356-1387. 10.1137/120893355MathSciNetView ArticleGoogle Scholar
Wang D: Large solutions to the initial-boundary value problem for planar magnetohydrodynamics. SIAM J. Appl. Math. 2003, 63: 1424-1441. 10.1137/S0036139902409284MathSciNetView ArticleGoogle Scholar
Umeda T, Kawashima S, Shizuta Y: On the decay of solutions to the linearized equations of electromagnetofluid dynamics. Jpn. J. Appl. Math. 1984, 1: 435-457. 10.1007/BF03167068MathSciNetView ArticleGoogle Scholar
Tsyganov E, Hoff D: Systems of partial differential equations of mixed hyperbolic-parabolic type. J. Differ. Equ. 2004, 204: 163-201. 10.1016/j.jde.2004.03.010MathSciNetView ArticleGoogle Scholar
Zhang J: The inviscid and non-resistive limit in the Cauchy problem for 3-D nonhomogeneous incompressible magneto-hydrodynamics. Acta Math. Sci. 2011, 31: 882-896. 10.1016/S0252-9602(11)60283-XView ArticleGoogle Scholar
Zhang J, Zhao J: Some decay estimates of solutions for the 3-D compressible isentropic magnetohydrodynamics. Commun. Math. Sci. 2010, 8: 835-850. 10.4310/CMS.2010.v8.n4.a2MathSciNetView ArticleGoogle Scholar
Brezis H, Wainger S: A note on the limiting cases of Sobolev embedding and convolution inequalities. Commun. Partial Differ. Equ. 1980, 5: 773-789. 10.1080/03605308008820154MathSciNetView ArticleGoogle Scholar
Adams RA: Sobolev Space. Academic Press, New York; 1975.Google Scholar
Galdi GP Springer Tracts in Natural Philosophy 38. In An Introduction to the Mathematical Theory of Navier-Stokes Equations. Volume I: Linearized Steady Problems. Springer, Berlin; 1994.Google Scholar
Ladyzhenskaya OA: The Mathematical Theory of Viscous Incompressible Fluids. 2nd edition. Gordon & Breach, New York; 1969.Google Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.