- Research
- Open access
- Published:
Existence of the weak solutions for the compressible magnetohydrodynamic flows driven by stochastic forcing
Boundary Value Problems volume 2015, Article number: 74 (2015)
Abstract
In this paper, we study the existence of weak solutions for the compressible magnetohydrodynamics flows driven by stochastic external forcing. Our method is based on solving the system for each fixed representative of the random variable and applying an abstract result on the measurability of multi-valued maps.
1 Introduction and main results
This paper considers the following compressible magnetohydrodynamic flows driven by a stochastic external force in the isentropic case [1–3]:
where \(\rho(t,x,\omega)\), \(\mathbf{u}(t,x,\omega)\), \(\mathbf {H}(t,x,\omega)\) are functions of the time \(t\in(0,T)\), the spatial position \(x\in\Omega\), and \(\omega\in\mathcal{O}=\{\mathcal{O},\mathcal {B},\mu\}\), \(\mathcal{O}\) is a topological probability case, with the family of Borel sets \(\mathcal{B}\), and a regular probability measure μ. The symbol ⊗ denotes the Kronecker tensor product. \(\mathbf{H}(t,x,\omega)\) satisfies
\(P(\rho)\) is the pressure, the viscosity coefficients of the flow satisfy \(2\nu+3\lambda>0\) and \(\nu>0\); \(\nu'>0\) is the magnetic diffusivity acting as a magnetic diffusion coefficient of the magnetic field, and all these kinetic coefficients and the magnetic diffusivity are independent of the magnitude and direction of the magnetic field, the perturbation W is a random variable represented for a.a. ω by a bounded function, sufficiently regular with respect to the spatial variable \(x\in\Omega\). Moreover, we supplement this with the no-slip boundary condition,
and the initial conditions
Although the electric field does not appear in the MHD equations (1.1)-(1.3), from (1.3), the electric field E is induced by moving conductive flow in the magnetic field, having the following relationship with the magnetic field H and the velocity u:
The stochastic incompressible and compressible fluid systems have attracted great attention by considering that a system in reality is usually affected by external perturbations which in many cases are of great uncertainty or random influence. These random effects are introduced not only to compensate for the defects in some deterministic models but also to reveal the intrinsic phenomena. In this direction, the surveys corresponding to the stochastic case are in [4–6], and much work has been done on the so-called weak solutions in the probabilistic sense (or martingale solutions) for the stochastic incompressible Navier-Stokes equations; for example, see [7–9]. For the one dimensional compressible stochastic Navier-Stokes system, we refer to [10, 11] for details. Most recently, Feireisl et al. [12] gave results on the existence of weak solutions for the three dimensional stochastic compressible Navier-Stokes system. Their results included a number of stochastic external forces, e.g. Lévy noise.
The main difficulty of the study of MHD driven by stochastic external forcing is the presence of the magnetic field and its interaction with the hydrodynamic motion in the MHD flow of large oscillation. Inspired by the work of [12], this paper is devoted to the study of the existence of weak solutions for three dimensional stochastic compressible magnetohydrodynamic flows. One of the difficulties is to obtain a suitable energy estimate when there is a magnetic field and its interaction with the hydrodynamic motion is driven by the stochastic external forcing. To the best of our knowledge, there are only results on the existence of weak solutions for the stochastic incompressible magnetohydrodynamic flows, cf. [13, 14].
Inspired by the definition of the weak solutions to the compressible Naiver-Stokes equation in [12], we give the definition of the weak solutions to the problem (1.1)-(1.4).
The random variables \(\rho(t,x,\omega)\), \(\mathbf{u}(t,x,\omega)\), \(\mathbf{H}(t,x,\omega)\) is said to be a weak solution to the problem (1.1)-(1.4) of the compressible MHD equations with stochastic external forces if the following conditions hold:
• The density \(\rho\geq0\):
and the family of integral identities
for any test function \(\varphi\in\mathbf{C}^{1}(\bar{\Omega})\), any \(b\in\mathbf{C}^{\infty}_{c}[0,\infty)\), and a.a. \(\omega\in\mathcal{O}\).
• The momentum equation:
and the following weak formulations hold:
for all \(\varphi\in\mathbf{C}^{\infty}_{c}(\Omega;\mathbf{R}^{3})\), and for a.a. \(\omega\in\mathcal{O}\).
• The induction equation of electromagnetism:
and the following weak formulations hold:
for all \(\varphi\in\mathbf{C}^{\infty}_{c}(\Omega;\mathbf{R}^{3})\), and for a.a. \(\omega\in\mathcal{O}\).
• The energy inequality:
for a.a. \(\tau\geq s\geq0\) including \(s=0\), and a.a. \(\omega\in\mathcal {O}\), with
We remark that the family of integral identities (1.5) is taken from [12], which is a weak formulation of the renormalized equation of continuity introduced by [15]. In order to derive the family of integral identities (1.6)-(1.7), we use the following well-known identities:
Before stating our main result, we introduce the function space \(\mathcal{ID}\) for the data as
which is a closed convex subset of the separable Banach space \(\mathbf {L}^{q}(\Omega)\times\mathbf{L}^{\frac{2q}{q+1}}(\Omega;\mathbf {R}^{3})\times\mathbf{W}_{0}^{1,2}(\Omega)\). In particular, it is a Suslin space.
Theorem 1.1
Let \(\Omega\in\mathbf{R}^{3}\) be a bounded Lipschitz domain. Assume that the pressure \(P\in\mathbf{C}[0,\infty)\cap\mathbf {C}^{2}[0,\infty)\) and satisfies
and \(\mathcal{W}\) is a complete separable metric space satisfying:
-
(i)
$$ \mathcal{W}\subset\mathbf{L}_{\mathrm{weak}}^{\infty}\bigl(0,T; \mathbf{W}_{0}^{1,\infty }\bigl(\Omega;\mathbf{R}^{3} \bigr)\bigr); $$
-
(ii)
if \(W_{n}\rightarrow W\) in \(\mathcal{W}\), then
$$\begin{aligned}& \operatorname{ess}\sup_{t\in(0,T)}\bigl\Vert W_{n}(t, \cdot)\bigr\Vert _{\mathbf{W}_{0}^{1,\infty}(\Omega ;\mathbf{R}^{3})}\leq c, \\& W_{n}\rightarrow W\quad \textit{weakly } (*)\textit{ in } \mathbf{L}^{\infty}\bigl(0,T;\mathbf {W}^{1,\infty}(\Omega)\bigr). \end{aligned}$$
Let
be a random variable.
Then there exists a random variable \(\rho(\cdot,\omega)\), \(\mathbf {u}(\cdot,\omega)\), and \(\mathbf{H}(\cdot,\omega)\),
satisfying the compressible magnetohydrodynamic equations (1.5)-(1.8) for a.a. \(\omega\in\mathcal{O}\).
A simple example of \(P(\rho)\) satisfying condition (1.10) is \(P(\rho)=\frac{P_{\infty}}{p}\rho^{p}+a\rho\), which is not physical example. Here \(p>\frac{3}{2}\), \(P_{\infty}\), and a are positive constants. Comparing with the existence of weak solution to the MHD equations without any stochastic effect (see e.g. [16]), the main difference of the weak solution obtained in this paper is the use of a random variable \((\rho(\cdot,\omega),\mathbf{u}(\cdot,\omega), \mathbf{H}(\cdot,\omega ))\), for a.a. \(\omega\in\mathcal{O}\).
This paper is organized as follows. In Section 2, we first recall the standard definition of weak solutions to the MHD system and give a stability results for the low regularity of the driving force, then we exploit it and show the existence of weak solutions for system (1.5)-(1.8) with a fixed (irregular) force. Finally, in the last section, we give the proof of Theorem 1.1.
2 Existence of solutions for problems with irregular forces
In this section, we give the existence of solutions for problems with irregular forces. Firstly, we prove the weak sequential stability result, which is at the heart of the proof of the main result. The stability means that a sequence of weak solutions to (1.5)-(1.8), with pre-compact data \(\rho_{0}\), \((\rho\mathbf {u})_{0}\), \(\mathbf{H}_{0}\), and W, admits a subsequence that converges weakly to another solution of the same problem. This proof is based on the work of [12, 16–18]. Before giving the stability result, we rewrite the weak formulation of the problem with dropping the parameter ω and fixing a function W.
• Equation of continuity:
for any test function \(\varphi\in\mathbf{C}^{\infty}_{c}([0,T)\times\bar {\Omega})\), any \(b\in\mathbf{C}^{\infty}_{c}[0,\infty)\).
• The momentum equation:
for all \(\varphi\in\mathbf{C}^{\infty}_{c}([0,T)\times\Omega;\mathbf{R}^{3})\).
• The induction equation of electromagnetism:
for all \(\varphi\in\mathbf{C}^{\infty}_{c}([0,T)\times\Omega;\mathbf{R}^{3})\).
• The energy inequality:
for any \(\varphi\in\mathbf{C}^{\infty}_{c}[0,T)\), \(\varphi\geq0\).
Proposition 2.1
Let \(\Omega\subset\mathbf{R}^{3}\) be a bounded Lipschitz domain. Assume that the pressure P satisfies (1.10). Let \(\{W_{n}\}_{n=1}^{\infty }\) be a sequence of functions which satisfies
Let \(\{\rho_{n},\mathbf{u}_{n},\mathbf{H}_{n}\}\) be a sequence of weak solutions of the MHD system driven by \(W_{n}\) in \((0,T)\times\Omega\), with the initial data \(\rho_{0,n}\), \((\rho\mathbf{H})_{0,n}\), \(\mathbf {H}_{0,n}\) such that
Then, at least for suitable subsequences,
where ρ, u, and H is a weak solution of the same problem driven by the force W, and having the initial data \(\rho _{0}\), \((\rho\mathbf{u})_{0}\), and \(\mathbf{H}_{0}\).
Proof
We first derive some uniform bounds estimates, which are exactly the same as the a priori bounded estimates available for the compressible MHD, cf. [16], and the stochastic compressible Navier-Stokes expression (see [12]). Applying the standard Gronwall inequality to the energy inequality (2.4), we get
where M is the total mass, which is a constant. Moreover, one has
Moreover, by assumption (2.5),
We use Korn’s inequality,
Consequently, there exists a suitable subsequence such that
By the momentum equation (2.2), we derive
which combining with (2.5) and (2.12) gives
By (2.6)-(2.7), (2.10), and (2.13), we have
where we use \(\mathcal{D}'\) to denote the sense of distributions.
Next, we derive the pressure estimate and the pointwise convergence of the densities. We denote the Bogovskii operator as \(\mathcal{B}\approx \mathbf{div}^{-1}\), and we choose the test function
Following [12] and [16] step by step, we deduce that
for a certain positive constant β which depends on M, \(C_{w}\), and \(E_{0}\).
To derive the pointwise convergence of the densities
we take the following test function:
in the limit equation
where \(\overline{b(\rho)}\) or \(\overline{P(\rho)}\) denotes a weak limit of the compositions \(\overline{b(\rho_{n})}\) or \(\overline{P(\rho_{n})}\).
Using the same arguments as in [12, 19], we have
which implies that
In particular, we have the so-called weak continuity of the effective viscous flux
which first was established in [20] and recovered in [12] for stochastic compressible Navier-Stokes system.
Now the rest of deriving (2.21) is by the same arguments as in [12, 19]. Moreover, for any \(1\leq q\leq p\), we can obtain
□
Assume that W is regular and satisfies
As shown in [12, 16], by a small modification of the proof for the compressible MHD system and using Proposition 2.1, we obtain the following result.
Proposition 2.2
Let \(\Omega\subset\mathbf{R}^{3}\) be a bounded Lipschitz domain. Assume that the pressure P satisfies (1.10),
and
Then the compressible MHD system admits a weak solution in \((0,T)\times \Omega\) in the sense specified in (2.1)-(2.4).
Remark 2.1
We can use a sequence of approximation smooth function \(W_{n}\) for any regular W to obtain solutions for the problem driven by any regular W. The symbol \(\mathbf{L}^{\infty}_{\mathrm{weak}}\) denotes the space of weakly measurable functions.
3 Proof of Theorem 1.1
Assume that
is a random variable, and the mapping
is a random variable on \(\mathcal{O}=\{\mathcal{O},\mathcal{B},\mu\}\), with a regular probability measure μ. Then for any \(\varepsilon>0\), there exists a compact set \(\mathcal {K}_{\varepsilon\subset\mathcal{O}}\) such that
and the mapping
restricted to \(\mathcal{K}_{\varepsilon}\) is continuous.
Consider a multi-valued mapping
The existence of \(\mathcal{L}\) is guaranteed by Proposition 2.2. Proposition 2.1 implies that the value of \(\mathcal{L}\) are non-empty closed subsets of the Banach space \(\mathbf{C}([0,T];\mathbf{L}^{1}(\Omega ))\times\mathbf{L}^{2}(0,T;\mathbf{W}_{0}^{1,2}(\Omega; \mathbf{R}^{3}))\), and \(\mathcal{L}\) has a closed graph.
Finally, using the abstract result of Theorem 3.1 and Lemma 3.1 in [21], we conclude that there exists a weak solution of the MHD driven by the stochastic external force W in the sense of (1.5)-(1.8) such that the mapping
is a random variable, for \(\omega\in\mathcal{O}\). This completes the proof of Theorem 1.1.
References
Kulikovskiy, AG, Lifshitz, EM: Magnetohydrodynamics. Addison-Wesley, Reading (1965)
Laudau, LD, Lifshitz, EM: Electrodynamics of Continuous Media, 2nd edn. Pergamon, New York (1984)
Polovin, RV, Demutskii, VP: Fundamentals of Magnetohydrodynamics. Consultants Bureau, New York (1990)
Bensoussan, A: Stochastic Navier-Stokes equations. Acta Appl. Math. 38, 268-304 (1995)
Flandoli, F: An Introduction to 3D Stochastic Fluid Dynamics. CIME Lecture Notes (2005)
Mattingly, J: On recent progress for the stochastic Navier-Stokes equations with non-Lipschitz random forcing. Rev. Math. Phys. 22, 669-697 (2010)
Flandoli, F, Gatarek, D: Martingale and stationary solutions for stochastic Navier-Stokes equations. Probab. Theory Relat. Fields 102, 367-391 (1995)
Flandoli, F, Romito, M: Markov selections for 3D stochastic Navier-Stokes equation. Probab. Theory Relat. Fields 140, 407-458 (2008)
Goldys, B, Röckner, M, Zhang, XC: Martingale solutions and Markov selections for stochastic partial differential equations. Stoch. Process. Appl. 119, 1725-1764 (2009)
Tornatore, E, Fujita Yashima, H: One-dimensional equations of a barotropic viscous gas with a not very regular perturbation. Ann. Univ. Ferrara, Sez. VII 40, 137-168 (1994)
Tornatore, E, Fujita Yashima, H: One-dimensional stochastic equations for a viscous barotropic gas. Ric. Mat. 46(2), 255-283 (1997)
Feireisl, E, Maslowski, B, Novotny, A: Compressible fluid flows driven by stochastic forcing. J. Differ. Equ. 254, 1342-1358 (2013)
Sritharan, SS, Sundar, P: The stochastic magneto-hydrodynamic system. Infin. Dimens. Anal. Quantum Probab. Relat. Top. 2, 241-265 (1999)
Sunda, P: Stochastic magnetohydrodynamic system perturbed by general noise. Commun. Stoch. Anal. 4, 253-269 (2010)
Diperna, R-J, Lions, P-L: Ordinary differential equations, transport theory and Sobolev spaces. Invent. Math. 98, 511-547 (1989)
Hu, X, Wang, D: Global existence and large time behavior of solutions to the three dimensional equations of compressible magnetohydrodynamic flows. Arch. Ration. Mech. Anal. 197, 203-238 (2010)
Coifman, R, Meyer, Y: On commutators of singular integrals and bilinear singular integrals. Trans. Am. Math. Soc. 212, 315-331 (1975)
Yan, WP: Existence of weak solutions to the three-dimensional density-dependent generalized incompressible magnetohydrodynamic flows. Discrete Contin. Dyn. Syst., Ser. A 35(3), 1359-1385 (2015)
Feireisl, E, Novotny, A, Petzeltova, H: On the existence of globally defined weak solutions to the Navier-Stokes equations of compressible isentropic fluids. J. Math. Fluid Mech. 3, 358-392 (2001)
Lions, P-L: Mathematical Topics in Fluid Dynamics. Volume 2: Compressible Models. Oxford University Press, Oxford (1998)
Bensoussan, A, Temam, R: Équations stochastiques du type Navier-Stokes. J. Funct. Anal. 13, 195-222 (1973)
Acknowledgements
The authors express their sincere thanks to the anonymous referees for the comments.
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 equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Sun, J., Li, H. Existence of the weak solutions for the compressible magnetohydrodynamic flows driven by stochastic forcing. Bound Value Probl 2015, 74 (2015). https://doi.org/10.1186/s13661-015-0335-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0335-3