- Research
- Open access
- Published:
Global well-posedness of compressible magnetohydrodynamics with density-dependent viscosity and resistivity
Boundary Value Problems volume 2015, Article number: 62 (2015)
Abstract
In this paper, we study the initial-boundary value problem for one-dimensional compressible magnetohydrodynamics (MHD) flows. Using the local estimates of strong solutions to three-dimensional compressible MHD (obtained by Fan and Yu in Nonlinear Anal. 69(10):3637-3660, 2008) and Sobolev’s inequalities, we get the unique global classical solution \((\rho,u,b)\), where \(\rho\in C^{1}([0, T]; H^{1}([0, 1]))\), \(u\in H^{1}([0, T]; H^{1}([0, 1]))\), and \(b\in C^{1}([0, T]; H^{1}([0, 1]))\) for any \(T>0\). Here, we emphasize that the initial density \(\rho_{0}\) is permitted to contain vacuum states and the initial velocity \(u_{0}\) and the magnetic field \(b_{0}\) can be arbitrarily large. Also, both the viscosity coefficient μ and the resistivity coefficient ν depend on the density ρ.
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 MHD can be stated as follows (cf. [1, 2]):
associated with the initial and boundary conditions:
The unknown functions ρ, u, \(P(\rho)\), and b denote the fluid density, velocity, pressure, and magnetic field, respectively. The assumptions on the viscosity coefficient \(\mu(\rho)\) and the resistivity coefficient \(\nu(\rho)\) depend on the density ρ, which is mainly due to the physical meaning (cf. [3]). For simplicity, we only consider the polytropic gas, i.e., \(P=P(\rho)=a\rho^{\gamma}\) with \(a>0\) and \(\gamma>1\) being constants.
In this paper, we will focus on the existence of the global classical solutions to the initial-boundary value problem (1)-(2). Before we present our main result, we first recall some of the previous results concerning the compressible MHD. Lots of work has been done on the global existence and the regularity of the solutions, we begin with the one-dimensional case. The existence and uniqueness of local smooth solutions were proved firstly in [4], while the existence of global smooth solutions with small smooth initial data was shown in [5]. The exponential stability of small smooth solutions was obtained in [6, 7]. Recently, Fan et al. [8, 9] obtained the existence, the uniqueness and the Lipschitz continuous dependence on the initial data of global weak solutions of compressible MHD when the initial data lie in the Lebesgue spaces. In addition, Fan et al. [10] obtained the global strong solutions to the planar compressible MHD with large initial data and vacuum.
For the multi-dimensional compressible MHD equations, there are also lots of mathematical results. Volpert and Hudjaev [4] first obtained the local smooth solutions to the compressible MHD equations as mentioned before. Li et al. [11] obtained the existence and uniqueness of local strong solutions in time ith large initial data when the initial density has a positive lower bound. Fan and Yu [12] obtained the strong solutions to the compressible MHD equations with vacuum. Kawashima [13] obtained the smooth solutions for two-dimensional compressible MHD equations when the initial data is a small perturbation of a given constant state. Umeda et al. [14] obtained the decay of solutions to the linearized MHD equations. Li and Yu [15] obtained the optimal decay rate of small smooth solutions. In [16, 17], Hu and Wang obtained the global existence of weak solutions to the isentropic compressible MHD equations and variational solutions to the full compressible MHD equations; see also [18–20] for related results. Suen and Hoff [21] obtained the global low-energy weak solutions of the isentropic compressible MHD equations. Later, Liu et al. [22] obtained the global weak solution with discontinuous initial data when the initial energy is small enough. Under the assumption that the initial energy is sufficiently small, Li et al. [23] obtained the large time existence of classical solutions to the compressible MHD which may have large oscillations and vacuum. At the same time, they also obtained the large time behavior as follows:
for \(r\in[2,6)\) and
The large time behavior was recently improved by Lv et al. in [24], precisely speaking,
where \(C(r)\) and C both depend on \(\|\rho_{0}\|_{L^{1}(\mathbb{R}^{3})}\) as \(\gamma>3/2\).
Here we point out that although there are many progress on compressible MHD equations, it is still an open question to obtain the global strong or smooth solutions to the full compressible MHD equations with large initial data and possible vacuum even in the one-dimensional case; see [17].
To proceed, we first introduce the notions and conventions used throughout the paper. We denote
where \(I=(0,1)\) is the space interval. For \(p\geq1\), \(L^{p}=L^{p}(I)\) denotes the \(L^{p}\) space with the norm \(\|\cdot\|_{L^{p}}\). For \(k\geq 1\) and \(p\geq1\), \(W^{k,p}=W^{k,p}(I)\) denotes the Sobolev space, whose norm is denoted \(\|\cdot\|_{W^{k,p}}\), and \(H^{k}=W^{k,2}\). For \(k\geq0\) and \(0<\alpha<1\), let \(C^{k+\alpha}\) denote the Schauder function space on I, whose kth order derivative is Hölder continuous with the exponent α and with the norm \(\|\cdot\|_{C^{k+\alpha}}\).
Our main result is stated as follows.
Theorem 1.1
Assume that \(\rho_{0}\geq0\), \(\rho_{0}\in H^{2}\), \(\rho_{0}^{\gamma}\in H^{2}\), \((u_{0}, b_{0})\in H^{3}\cap H_{0}^{1}\), and the initial data satisfy the following compatibility conditions:
for a given function \(g\in H_{0}^{1}\). Furthermore, assume that the viscosity and the resistivity coefficient satisfy
and
where \(M_{1}\), \(M_{2}\), and N are some positive constants.
Then for any \(T>0\) there exists a unique global classical solution \((\rho,u,b)\) to the initial-boundary value problem (1)-(2) satisfying
Remark 1.1
For the assumption (3) on the initial data, which we called compatibility condition, was first introduced in [25] to study the viscous compressible fluid. After that, Kim et al. studied the local well-posedness of compressible fluid in a series papers (cf. [26–28]). Roughly speaking, the compatibility condition (3) is equivalent to the \(L^{2}\)-integrability of \(\sqrt{\rho}u_{t}\) at \(t=0\), which is natural and plays a crucial role in deducing the regularity of the time derivatives of u.
Remark 1.2
For mathematical technique, we assume that the viscosity \(\mu(\rho)\) and the resistivity coefficient \(\nu(\rho)\) satisfy (4) and (5), respectively. Precisely, the lower bound of \(\mu(\rho)\) and \(\nu(\rho)\) will be used to improve the regularity of the velocity u and the magnetic fields b, respectively. The upper bound of \(\mu(\rho)\) will be used to deduce the upper bound of the density ρ, which plays a crucial role in the analysis of the classical solution of the compressible MHD.
Remark 1.3
In Theorem 1.1, because \(\rho_{0}\in H^{2}\) cannot imply \(\rho_{0}^{\gamma}\in H^{2}\) with \(\gamma\in(1,2)\), we assume that \(\rho_{0}^{\gamma}\in H^{2}\) as well as \(\rho_{0}\in H^{2}\).
The rest of the paper is organized as follows. In Section 2, we prove Theorem 1.1 by giving the initial density with a lower bound \(\delta>0\), getting a sequence of approximate solutions to (1)-(2) and taking \(\delta\rightarrow0^{+}\) after making some uniform estimates for δ on the approximate solutions.
2 Proof of Theorem 1.1
This section we devote to proving Theorem 1.1. Since the proof of local existence and uniqueness of strong solutions to the approximate problem is now standard in [12], thus we only focus on a priori estimates of the solutions to the initial-boundary value problem (1)-(2). For any given \(T\in(0,\infty)\), let \((\rho,u,b)\) be the classical solution to (1)-(2). Then we have the following basic energy estimate.
Lemma 2.1
For any \(0\leq t\leq T\), one obtains that
where C is some generic constant depending on the initial data, the viscosity and electrical resistivity, and may change line by line.
Proof
Multiplying the second and third equations in (1) by u and b, integrating the resulting equations over I and summing them together, then using integration by parts and from the conditions (4) and (5), we can show that (6) holds. This completes the proof. □
Lemma 2.2
For any \((s,y) \in Q_{T}\), we have
Proof
Denote
Differentiating (8) with respect to x and using the second equation in (1), we have
which together with (6) and Hölder’s inequality yields
From (4), (6), and (8), we conclude
Due to \(W^{1,1}\hookrightarrow L^{\infty}\), one obtains
For any \((s,y) \in Q_{T}\), let \(x(t,y)\) satisfy
Denote
It is easy to verify
which together with the definition of \(F(t,x)\) yields
Integrating (11) with respect to t over \((0,s)\) and using (4), one obtains
By the above inequality and (9), we obtain
which together with (4) and (6) yields
From (4), (9), and (11), it is easy to obtain
Therefore, we complete the proof of Lemma 2.2. □
Lemma 2.3 plays a key role in the proof of Theorem 1.1.
Lemma 2.3
For any \(0\leq t\leq T\), one obtains
Proof
Using the first equation in (1), we rewrite the second equation in (1) as
Multiplying (13) by \(u_{t}\), integrating the resulting equation over I with respect to x, using integration by parts and from Cauchy’s inequality, we conclude
Multiplying the third equation in (1) by \(b_{t}\), integrating the resulting equation with respect to x over I, using integration by parts and from Cauchy’s inequality, we obtain
Combining (14) and (15), we obtain
We will first estimate the last three terms in the right hand-side of (16). We have
Similarly,
Similarly,
Substituting all the above estimates into (16), we obtain
Now, we focus on the estimate of \(\|\mu(\rho)u_{x}\|_{L^{\infty}}\). Due to (7), \(W^{1,1} \hookrightarrow L^{\infty}\), and Cauchy’s inequality, we conclude
By (17), (18), and Cauchy’s inequality, one obtains
Integrating (19) with respect to t over \((0, T)\) and using Cauchy’s inequality, we have
where we have used the following interpolation inequality in one dimension:
Using Gronwall’s inequality and (6), we complete the proof of Lemma 2.3. □
Next, we focus on the \(L^{2}\)-estimates of \(\rho_{t}\) and \(\rho_{x}\), which are independent on time t.
Lemma 2.4
For any \(0\leq t\leq T\), one obtains
Proof
Differentiating the first equation in (1) with respect to x, multiplying the resulting equation by \(\rho_{x}\), then integrating this new equation over I with respect to x and using integration by parts, one deduces
where we have used (4), (5), (6), (7), (12), (18), and Cauchy’s inequality. Then (21) together with Gronwall’s inequality yields
By the first equation in (1), (12), and (22), one easily obtains
Thus, we complete the proof of Lemma 2.4. □
From now on, we start to deduce the higher a priori estimates. First, we consider the \(L^{2}\)-estimates of \(u_{xx}\) and \(b_{xx}\).
Lemma 2.5
For any \(0\leq t\leq T\), one obtains
Proof
From the second equation in (1), (7), (12), (18), and (20), we conclude
Similarly, we obtain
Combining (25) and (26), we obtain (24). This completes the proof. □
Next, we deduce the \(L^{2}\)-estimates on \(u_{xt}\) and \(b_{xt}\).
Lemma 2.6
For any \(0\leq t\leq T\), one obtains
Proof
Differentiating (13) with respect to t, multiplying the resulting equation by \(b_{t}\), then integrating this new equation over I with respect to x and using integration by parts, we obtain
Similarly, differentiating the third equation in (1) with respect to t, multiplying the resulting equation by \(b_{t}\), then integrating this new equation over I with respect to x and using integration by parts, we have
Combining (28) and (29), one deduces that
where in the last inequality we have used Cauchy’s inequality, Hölder’s inequality, Sobolev’s embedding inequality, (6), (7), (12), and (20).
It follows from (30) that
which together with (24) and Gronwall’s inequality yields (27). This completes the proof. □
Lemma 2.7
For any \(0\leq t\leq T\), one obtains that
Proof
Rewrite (12) as
Thus, from (4) and Minkowski’s inequality, we obtain
which together with (12), (20), and (27) yields
where
can be shown from (12), (18), and (27).
Similarly, rewrite the third equation in (1) as
From (5) and Minkowski’s inequality, we obtain
By the fact that \(W^{1,1} \hookrightarrow L^{\infty}\), Sobolev’s embedding inequality, (5), (6), and (12), we obtain
which together with (6), (12), (27), and (34) yields
Combining (33) and (35), one can show that (31) holds. This completes the proof. □
Lemma 2.8
For any \(0\leq t\leq T\), one obtains
Proof
Differentiating the first equation in (1) twice with respect to x, multiplying the resulting equation by \(\rho_{xx}\), then integrating this new equation over I with respect to x and using integration by parts, we conclude
where in the first inequality of (37) we have used Hölder’s inequality and (6), and in the second inequality of (37) we have used Sobolev’s inequality, Cauchy’s inequality, (6), and (31).
From the first equation in (1), one can easily deduce
Like (37), one obtains
Combining (37) and (39), it is easy to obtain
Differentiating (13) with respect to x, we obtain
which together with (4) gives
Combining (40) and (42), we have
which together with (27) and Gronwall’s inequality yields
Then, from the first equation in (1), (38), (7), (12), (20), (27), (31), and (43), we obtain
Combining (43) and (44), we can show that (36) holds. This completes the proof. □
Remark 2.1
It follows from (27), (36), and (41) that
Lemma 2.9
For any \(0\leq t\leq T\), one obtains
Proof
From (41), we have
Multiplying (47) by \(u_{tt}\), integrating the resulting equation over I with respect to x, using integration by parts, and from (4) and Cauchy’s inequality, one obtains
Differentiating the third equation in (1) with respect to t, one obtains
Multiplying (49) by \(b_{tt}\), integrating the resulting equation with respect to x over I, using integration by parts, and from (5) and Cauchy’s inequality, one deduces
Combining (48) and (50), we obtain
Integrating (51) over \((0, T)\) with respect to t, we deduce
From the first and third equations in (1), we obtain
which together with (52) yields
which follows from Gronwall’s inequality, (4), (5), (7), (12), (20), (27), (31), and (36), showing that (46) holds. This completes the proof of Lemma 2.9. □
Remark 2.2
From the above estimates, we can also deduce that
and
By combining all the estimates obtained above, we get sufficient a priori estimates uniformly with δ. Then letting \(\delta\rightarrow0^{+}\), we can extend the local classical solutions to the global ones. Since the process is standard [13] and [29], we omit the details here. Therefore, the proof of Theorem 1.1 is completed.
References
Cabannes, H: Theoretical Magnetofluiddynamics. Academic Press, New York (1970)
Kulikovskiy, AF, Lyubimov, GA: Magnetohydrodynamics. Addison-Wesley, Reading (1965)
Grad, H: Asymptotic theory of the Boltzmann equation. II. In: Laurmann, J (ed.) Rarefied Gas Dynamics, vol. 1, pp. 26-59. Academic Press, New York (1963)
Volpert, AI, Hudjaev, SI: On the Cauchy problem for composite systems of nonlinear differential equations. Math. USSR Sb. 16, 517-544 (1972)
Kawashima, S, Okada, M: Smooth global solutions for the one-dimensional equations in magnetohydrodynamics. Proc. Jpn. Acad., Ser. A, Math. Sci. 58, 384-387 (1982)
Liu, TP, Zeng, YN: Large-time behavior of solutions for general quasilinear hyperbolic-parabolic systems of conservation laws. Mem. Am. Math. Soc. 125, 599 (1997)
Ströhmer, G: About compressible viscous fluid flow in a bounded region. Pac. J. Math. 143, 359-375 (1990)
Fan, JS, Jiang, S, Nakamura, G: Stability of weak solutions to equations of magnetohydrodynamics with Lebesgue initial data. J. Differ. Equ. 251, 2025-2036 (2011)
Fan, JS, Jiang, S, Nakamura, G: Vanishing shear viscosity limit in the magnetohydrodynamic equations. Commun. Math. Phys. 270(3), 691-708 (2007)
Fan, JS, Huang, SX, Li, FC: Global strong solutions to the planar compressible magnetohydrodynamic equations with large initial data and vaccum. arXiv:1206.3624v3 [math.AP]
Li, XL, Su, N, Wang, DH: Local strong solution to the compressible magnetohydrodynamic flow with large data. J. Hyperbolic Differ. Equ. 8, 415-436 (2011)
Fan, JS, Yu, WH: Strong solution to the compressible magnetohydrodynamic equations with vacuum. Nonlinear Anal., Real World Appl. 10(1), 392-409 (2009)
Kawashima, S: Smooth global solutions for two-dimensional equations of electromagnetofluid dynamics. Jpn. J. Appl. Math. 1, 207-222 (1984)
Umeda, T, Kawashima, S, Shizuta, Y: On the decay of solutions to the linearized equations of electromagnetofluid dynamics. Jpn. J. Appl. Math. 1, 435-457 (1984)
Li, FC, Yu, HJ: Optimal decay rate of classical solutions to the compressible magnetohydrodynamic equations. Proc. R. Soc. Edinb., Sect. A 141, 109-126 (2011)
Hu, XP, Wang, DH: Global existence and large-time behavior of solutions to the threedimensional equations of compressible magnetohydrodynamic flows. Arch. Ration. Mech. Anal. 197, 203-238 (2010)
Hu, XP, Wang, DH: Global solutions to the three-dimensional full compressible magnetohydrodynamic flows. Commun. Math. Phys. 283, 255-284 (2008)
Ducomet, B, Feireisl, E: The equations of magnetohydrodynamics: on the interaction between matter and radiation in the evolution of gaseous stars. Commun. Math. Phys. 226, 595-629 (2006)
Fan, JS, Yu, WH: Global variational solutions to the compressible magnetohydrodynamic equations. Nonlinear Anal. 69(10), 3637-3660 (2008)
Zhang, JW, Jiang, S, Xie, F: Global weak solutions of an initial boundary value problem for screw pinches in plasma physics. Math. Models Methods Appl. Sci. 19, 833-875 (2009)
Suen, A, Hoff, D: Global low-energy weak solutions of the equations of three-dimensional compressible magnetohydrodynamics. Arch. Ration. Mech. Anal. 205, 27-58 (2012)
Liu, SQ, Yu, HB, Zhang, JW: Global weak solutions of 3D compressible MHD with discontinuous initial data and vacuum. J. Differ. Equ. 254, 229-255 (2013)
Li, HL, Xu, XY, Zhang, JW: Global classical solutions to 3D compressible magnetohydrodynamic equations with large oscillations and vacuum. SIAM J. Appl. Math. 45, 1356-1387 (2013)
Lv, BQ, Shi, XD, Xu, XY: Global well-posedness and large time asymptotic behavior of strong solutions to the 2-D compressible magnetohydrodynamic equations with vacuum. arXiv:1402.4851v2 [math.AP]
Salvi, R, Stras̆kraba, I: Global existence for viscous compressible fluids and their behavior as \(t\rightarrow\infty\). J. Fac. Sci., Univ. Tokyo, Sect. 1A, Math. 40, 17-51 (1993)
Choe, HJ, Kim, H: Strong solutions of the Navier-Stokes equations for isentropic compressible fluids. J. Differ. Equ. 190, 504-523 (2003)
Cho, Y, Kim, H: Existence results for viscous polytropic fluids with vacuum. J. Differ. Equ. 228, 377-411 (2006)
Cho, Y, Choe, HJ, Kim, H: Unique solvability of the initial boundary value problems for compressible viscous fluids. J. Math. Pures Appl. 83, 243-275 (2004)
Ding, SJ, Wen, HY, Zhu, CJ: Global classical large solutions to 1D compressible Navier-Stokes equations with density-dependent viscosity and vacuum. J. Differ. Equ. 251, 1696-1725 (2011)
Acknowledgements
We would like to express our sincere thanks to the editor and the anonymous reviewers for their invaluable suggestions and helpful comments, which greatly improved the manuscript. This work was supported by NSFC-Union Science Foundation of Henan (No. U1304103).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed significantly in writing this paper. All authors read and approved this final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Su, M., Liu, Y., Zhu, W. et al. Global well-posedness of compressible magnetohydrodynamics with density-dependent viscosity and resistivity. Bound Value Probl 2015, 62 (2015). https://doi.org/10.1186/s13661-015-0324-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0324-6