Abstract
This paper is concerned with the study of equations of viscous compressible and heat-conducting full magnetohydrodynamic (MHD) steady flows in a horizontal layer under the gravitational force and a large temperature gradient across the layer. We assume as boundary conditions, periodic conditions in the horizontal directions, while in the vertical directions, slip-boundary is assumed for the velocity, vertical conditions for the magnetic field, and fixed temperature or fixed heat flux are prescribed for the temperature. The existence of stationary solution in a small neighborhood of a stationary profile close to hydrostatic state is obtained in Sobolev spaces as a fixed point of some nonlinear operator.
Similar content being viewed by others
1 Introduction
Magnetohydrodynamics (MHD) studies the dynamics of electrically conducting fluids in the presence of a magnetic field or, more precisely, in their macroscopic interaction with a magnetic field. Magnetohydrodynamics is known to be of great importance in several directions. First of all, its applications cover a very wide range of areas in physics from liquid metals to cosmic plasmas. We can mention among others, in astrophysics (with the study of solar structure, the solar wind bathing the earth and other planets), in geophysics (with the planetary magnetism produced by currents deep in the planet), in high-speed aerodynamics, and in plasma physics. Magnetohydrodynamics is also important in connection with many engineering problems such as sustained plasma confinement for controlled thermonuclear fusion, liquid-metal cooling of nuclear reactors, magnetohydrodynamic power generation, electro-magnetic casting of metals, and plasma accelerators for ion thrusters for spacecraft propulsion. Due to their practical relevance, magnetohydrodynamic problems have long been the subject of intense cross-disciplinary research, but except for relatively simplified special cases, the rigorous mathematical analysis of such problems still presents many interesting aspects to be studied.
In magnetohydrodynamic flows, magnetic fields can induce currents in a moving conductive fluid, which create forces on the fluid, and also change the magnetic field itself, resulting in a complex interaction between the magnetic and fluid dynamic phenomena, and therefore, both hydrodynamic and electrodynamic effects have to be considered. The set of equations that describe compressible viscous magnetohydrodynamics are a combination of the compressible Navier–Stokes equations of fluid dynamics and Maxwell’s equations of electromagnetism. In this paper, we consider the system of partial differential equations for the three-dimensional viscous compressible full magnetohydrodynamic stationary flows (see [23, 25, 26])
where ϱ denotes the density, \(v= (v_{1},v_{2},v_{3})\) the velocity, T the absolute temperature, \(B = (B_{1},B_{2},B_{3})\) the magnetic field, and \(D(v)\) is the deformation tensor defined by
The constants μ and λ are the first and second viscosity coefficients respectively and satisfy the physical restrictions \(\mu >0\) and \(2\mu + 3\lambda \geq 0\). The positive constants \(c_{V}\), κ, R, and ν are respectively the heat capacity, the ratio of the heat conductivity coefficient over the heat capacity, the universal constant of gases, and the magnetic diffusivity acting as a magnetic diffusion coefficient of the magnetic field, while g the gravity acceleration and \(e_{3} = (0,0,1)\). In (1.1) and (1.3) we have assumed that the pressure p is given by the law of perfect gases
In magnetohydrodynamics, the displacement current can be neglected (see [23, 26]). As a consequence, equation (1.4) is called the induction equation, and the electric field can be written in terms of the magnetic field B and the velocity v,
Although the electric field E does not appear in the MHD system (1.1)–(1.4), it is indeed induced according to the above identity by the moving conductive flow in the magnetic field.
We recall that, due to their physical importance, complexity, rich phenomena, and mathematical challenges, there have been many studies on magnetohydrodynamics by physicists and mathematicians (see, e.g., [12, 13, 15, 17, 18, 20, 21, 26, 44] and the references cited therein). About the steady MHD equations for incompressible or compressible flows, we refer the interested reader to the articles [1–3, 5, 6, 14, 22, 30, 47] for the existence of strong and weak solutions. In [19], Gerbeau et al. also considered several kinds of unsteady problems and did some numerical analysis (see also [40]). On unsteady MHD, there have been many studies by physicists and mathematicians in the recent years (see, e.g., [13, 16, 17, 27, 44]). In particular, the one-dimensional problem has been studied in many articles (see, e.g., [4, 9, 12, 29]. On the other hand, computational aspects of the system of MHD equations were also studied with considerable interest in developing accurate numerical methods for those systems (see, e.g., [31, 39, 41]).
Almost all the literature mentioned above is concerned with the Cauchy problem or the initial boundary value problem for compressible MHD equations, with the homogenous Dirichlet condition on the magnetic field. In contrast with the extensive research on unsteady MHD flow, we find that there are only few results concerning the steady flow. In [45], Yang et al. established the existence and uniqueness of a strong solution to the steady magnetohydrodynamic equations for the compressible barotropic fluids in a bounded smooth domain with a perfectly conducting boundary under the assumption that the external force field is small. In [5] the authors improved the work in [45] by considering large external forces and, instead of perfectly conducting boundary conditions on the magnetic field, they considered non-homogeneous Dirichlet boundary conditions that can possibly be large enough.
In this work, we consider the MHD system of equations (1.1)–(1.4) in an infinite horizontal layer, and we investigate the fundamental problem of the existence of a stationary solution in a small neighborhood of a stationary profile close to hydrostatic state. As for boundary conditions, in the horizontal directions, the choice of periodic boundary conditions on velocity, temperature, and magnetic field is made naturally. Such conditions lend themselves better to the study of infinite plane-parallel media than wall-like conditions, which are more characteristic of laboratory experiment simulations. For the vertical direction, slip-boundary conditions are considered on velocity, and the magnetic field has its lines assumed vertical, while fixed temperature or fixed heat flux are prescribed.
More precisely, we consider system (1.1)–(1.4) in the bounded domain
where \(\mathbb{T}^{2}\) is a two-dimensional torus with the following boundary conditions:
where \(T_{0}> 0\) and \(B_{0}\) are given large constants, \(\varepsilon (x')\) is a small perturbation of the given temperature \(T_{0}\) on the lower plane of the horizontal layer, which will be assumed periodic, \(x'= (x_{1},x_{2})\in \mathbb{T}^{2}\) so that \(x=(x',x_{3})\in \Omega \) and γ is the adiabatic exponent given by
Finally, it is assumed that the total mass of the fluid is prescribed as
From now on, we make the following assumptions:
where the positive constants \(\bar{T}_{0}\) and \(\bar{M}_{0}\) are given large enough, while the constant \(\varepsilon _{0}>0\) is sufficiently small.
Remark 1.1
If (see (1.7)) the perturbation \(\varepsilon (x')\) is identically zero, then it is clear that the only stationary solution of the system of equations (1.1)–(1.4) with boundary conditions (1.6)–(1.8) and periodic conditions on the horizontal directions is given by the rest state \((0,B_{rs},T_{rs},\varrho _{rs})\), where
with the constant C̄ determined by the condition \(\int _{\Omega}\varrho _{rs}(x_{3})\,dx = M_{0}\).
Notice that, if \(\varepsilon (x')\) is a nonzero constant \(\varepsilon _{0}\), then we can reduce ourselves to case (1.11) with \(T_{0}\) replaced by \(\bar{T}_{0} = T_{0} + \varepsilon _{0}\).
Remark 1.2
If the perturbation \(\varepsilon (x')\not\equiv 0\), i.e., nonidentically zero, and if there exists a stationary solution \((v,B,T,\varrho )\) to our problem, then necessarily v is not identically zero (see Remark 5.2 in Sect. 5). This is obtained from the main result (Theorem 2.1) in the next section. This simply means that the nonhomogeneous repartition of the temperature around \(T_{0}\) in the lower plane \(x_{3} = 0\) can generate a stationary magnetoconvective motion close to the rest state \((0,B_{rs},T_{rs},\varrho _{rs})\) given by (1.11).
The system of equations (1.1)–(1.4) with boundary conditions (1.6)–(1.8) can be used as a simple model of a three-dimensional plane-parallel atmosphere made up of ideal gas (see [37, 38] and their exhaustive references on subjects related to this issue). More precisely, we consider in a horizontal layer a polytropic atmosphere with a large temperature gradient across the layer and in the presence of a vertical magnetic field. We will then focus on the existence of a magnetoconvective steady flow close to the equilibrium state. This coupling between natural convection (the fluids motions induced by a large temperature gradient) and magnetic field has aroused enormous interest following the observation of astrophysical and geophysical phenomena. The examples of application are numerous: we can cite among others the planetary magnetospheres, the sun, the stars, the solar and stellar winds, the interstellar clouds, the accretion disks, and the galaxies.
This work is organized as follows. In Sect. 2, we present some preliminaries of the proof of the main result. In Sect. 3, we introduce a linearized problem, which is crucial for the construction of the nonlinear operator S, for which we establish the existence of a fixed point through the Schauder fixed point theorem. The crucial part of this work is then to show that the operator S satisfies the assumptions of the Schauder fixed point theorem (see Sect. 5). This has required some tedious computations aimed at establishing suitable fine estimates (in Lemmas 4.1–4.10). These estimates rely on some techniques developed in the study of the equations of viscous gazes, in particular those in [8] and also in [35] (in the general case). We can also mention [33, 34, 42, 43].
2 Main result and some preliminaries to the proof
We look for a solution \((v,B,T,\varrho )\) in a small neighborhood of the stationary profile \((0,\hat{B},\hat{T},\hat{\varrho})\) close to the equilibrium state \((0,{B}_{rs},{T}_{rs},{\varrho}_{rs})\) given in (1.11)). This stationary profile is defined by
Notice that T̂ satisfies the same boundary conditions (1.7) and ϱ̂ satisfies (1.9) so that
Given (2.1) and (2.2), easy computations show that
This being so, we then set
and, since as we seek ϱ close to ϱ̂, we can assume that
By considering for a generic vector field M the identities
and given (2.6), we then rewrite problem (1.1)–(1.9) with unknowns \((T,v,B,\varrho )\) as a new problem with unknowns \(u=(\vartheta ,v,b,\sigma )\) as follows:
with the boundary conditions
and (see (2.6) and (2.3)) the mean value property
The functions \(F(u)\), \(G(u)\), and \(H(u)\) are given by
Thus, problem (1.1)–(1.8) is reduced to finding
solution of problem (2.8)–(2.15).
Notice that equation (2.10) is obtained from (1.4), which is written as
because \(\nabla \times (\nabla \times B) = \nabla \nabla \cdot B - \Delta B\), \(\nabla \cdot B = 0\), \(\nabla \cdot \hat{B} = 0\), and so \(\nabla \cdot b= 0\).
Our main result is the following theorem.
Theorem 2.1
Under (1.10), the system of equations (1.1)–(1.4) with boundary conditions (1.6)–(1.8) has at least one solution
where ♮ means periodicity in the horizontal directions.
We look for a solution
where \(u=(\vartheta ,v,b,\sigma )\) is the appropriate solution of problem (2.8)–(2.15) which will be obtained as a fixed point of some operator constructed from a suitable linearization of the system of equations (2.8)–(2.10).
3 Linearized equations and the nonlinear operator S
We set
where \(\lVert{\cdot } \rVert _{H^{k}}\) and \(\lVert{\cdot } \rVert _{L^{2}}\) denote the usual norms of \(H^{k}(\Omega )\) and \(L^{2}(\Omega )\). Furthermore, we consider
Let now \(u'=(\vartheta ',v',b',\sigma ')\in V\) and \(k>0\) be given. We consider the system of equations
with boundary conditions (2.12)–(2.14) and (2.15), where (see (2.16)–(2.18)),
We obtain in the following lemma an existence result for system (3.5)–(3.8) with (2.12)–(2.14).
Lemma 3.1
Let \(u' = (\vartheta ',v',b',\sigma ')\in V\). If \(k>0\) is large enough, then system (3.5)–(3.8) with conditions (2.12)–(2.14) has a unique solution \(u=(\vartheta ,v,b,\sigma )\in V\) such that
where \(c_{\Omega}\) is a constant depending only on T̂, B̂, ϱ̂, and Ω.
Proof
Set
and let us start by showing that the system of equations (3.5)–(3.7) with boundary conditions (2.12)–(2.14) has a unique weak solution \((\vartheta ,v,b)\in W\) satisfying
where
and \(\alpha > 0\) is a real number, which will be appropriately chosen thereafter.
Indeed, by endowing W with the norm \(\|(\vartheta ,v,b)\|_{W} = (\|\nabla \vartheta \|_{L^{2}}^{2} + \| \nabla v\|_{L^{2}}^{2} + \|\nabla b\|_{L^{2}}^{2})^{\frac{1}{2}}\), which makes it a Hilbert space, we can easily see that the bilinear form \(a_{\alpha}\) is continuous on W. Moreover, since
we have
where we have chosen α such that \(\alpha \kappa -c_{\Omega}\geq \kappa \).
So, the bilinear form \(a_{\alpha}\) is coercive on W and, since the linear form \(L_{\alpha}\) is obviously continuous on W, according to the Lax–Milgram theorem, problem (3.14) has a unique weak solution \((\vartheta ,v,b)\in W\) such that
This being, from the classical theory of systems of linear elliptic pdes (see e.g., [24, 32]), according to (3.15), we have (3.10)–(3.12). As for the solution \(\sigma \in H^{2}\) of (3.8) and its estimate (3.13), we refer, for instance, the interested reader to [3]. □
Following Lemma 3.1, we then define the nonlinear operator S as follows:
where \(u= (\vartheta ,v,b,\sigma )\in V\) is the unique solution of system (3.5)–(3.8).
Lemma 3.2
The nonlinear operator \(S: V_{0}\rightarrow V_{0}\) is continuous. More precisely, for any bounded subset D of V, there exists \(c_{D}>0\) such that
Proof
Let us first notice that the operator S maps bounded subsets into bounded sets. Indeed, taking into account (3.9), it is easy to see that, for every \(u'=(\vartheta ',v',b',\sigma ')\in V\), we have
Hence, by recalling the V-norm (see (3.2)), we obtain
Let D be a bounded subset of V. If k is large enough, from (3.10)–(3.13) and the previous inequalities, we can easily show that
This means that \(S(D)\) is a bounded set of V. Let now
By definition (3.16) of the operator S, we have
From (3.9) and (2.17)–(2.18), it is easy to see that
Now, by applying the regularity results for systems of elliptic PDEs to (3.27)–(3.29), we obtain (see (3.26) and (3.4))
Now, it remains to estimate in the \(H ^{1}\)-norm the solution σ of equation (3.30). We first multiply (3.30) by σ, and we integrate over Ω. Applying integration by parts and using the inequality
we easily obtain
We next differentiate equation (3.30) by applying ∇ to both sides of this equation, then we take the scalar product with ∇σ, and we integrate over Ω. Applying integration by parts and using the inequality
we get
Adding (3.32) and (3.33), we obtain, using (3.31) (see also (3.25) and (3.26)), that
Hence, if k is large enough so that (see (3.24)) \(k - c_{\Omega} \lVert{S(u'_{1})} \rVert _{V}\geq k - c_{ \Omega }c_{D}\geq 1\), we obtain
Now, adding up inequalities (3.34) and (3.31), we obtain
from which (see (3.26)) follows (3.17), and this completes the proof of Lemma 3.2. □
Remark 3.3
The \(V_{0}\)-continuous operator S (i.e., continuous in the norm of \(V_{0}\)) will be shown to satisfy the assumptions of the Schauder fixed point theorem. Following the work done in [7, 8], we will show that
where \(B^{a}_{V} = \overline{B(0,a)}\) is the closed ball of V with radius a sufficiently small. Moreover, since the embedding \(H^{k}(\Omega )\hookrightarrow H^{k-1}(\Omega )\) is compact, the closed ball \(B^{a}_{V}\) is (see (3.4)) \(V_{0}\)-compact, and hence, the operator S has a fixed point \(u=(\vartheta ,v,b,\sigma )\in B^{a}_{V}\). We will establish the crucial inclusion (3.35) in Sect. 5.
Lemma 3.4
Let \(a > 0\) be sufficiently small. If the operator S has a fixed point in \(B^{a}_{V}\) through (3.35), then the boundary value problem (3.5)–(2.14) has at least one solution u in V.
Proof
Indeed, if (3.35) is satisfied, then, according to Remark 3.3, the operator S has a fixed point \(u\in B^{a}_{V}\). By the definition (see (3.16)) of the operator S, we get that \(u\in V\) and satisfies the system of equations (2.8)–(2.11) with boundary conditions (2.12)–(2.14). □
Remark 3.5
If we set
(see (2.6)), following Lemma 3.4, \((T,v,B,\varrho )\in H^{2}_{\natural}(\Omega )\times H^{3}_{\natural}( \Omega )\times H^{2}_{\natural}(\Omega )\times H^{2}_{\natural}( \Omega )\) and satisfies equations (1.1)–(1.4) with boundary conditions (1.6)–(1.8). Thus, our main result Theorem 2.1 is proved.
From Remark 3.3 and Lemma 3.4, we can then turn our focus to the crucial point (3.35) to be established. To this aim, we need adequate estimates of the solution \(u = S(u')\) of the system of equations (3.5)–(3.8) with conditions (2.12)–(2.15) from which we will obtain (3.35) in Remark 3.3. These estimates will require a more elaborate treatment and hence will be discussed in the next technical section.
We will need some estimates of the nonlinear terms
which appear in equations (3.5)–(3.8).
Indeed, let \(u' = (\vartheta ',v',b',\sigma ')\in B_{V}^{a}\). If a is small enough then
In fact, considering (3.13) and (3.11), we have
then for all \(u' = (\vartheta ',v',b',\sigma ')\in B_{V}^{a}\), we have
If k is large enough so that
then from (3.37) and (3.38) it follows that
whence, given (3.37), we get
where (see (3.39))
From (3.43), (3.42), and (3.40) it follows
By choosing (see (1.10)) \(\varepsilon _{0}\leq a\), it is easy to see that for all \(a\in \,]0,1[\), we have
and hence we obtain (3.36). □
4 Estimates of the solutions \((v,\vartheta ,b,\sigma )\)
This section is devoted to the estimates of the solutions \(u=(\vartheta ,v,b,\sigma )\) of equations (3.5)–(3.8) with boundary conditions (2.12)–(2.14). While the estimate of ϑ is obtained in (3.10), the estimates of v, b, and σ will be obtained in the following Lemmas 4.1–4.10 and are based largely on the ideas developed in the works [7, 8]. We recall here that these lemmas will be proven under assumptions (1.10). Regarding the positive constant k, which appears in equation (3.8), it can be chosen arbitrarily large as in Lemma 3.1. We set
and κ̄ being a large positive constant satisfying in particular
In the following lemmas, we denote by \(C'_{k}\) \((k = 1, \ldots 10) \) the constants that depend on Ω and B̂ but neither on \(T_{0}\) nor on \(M_{0}\) (provided that they are larger than some constant) and by \(\tilde{C}_{k}\) \((k = 1, \ldots 9) \) the constants that depend on Ω, B̂, \(T_{0}\), and \(M_{0}\). In addition, in the proof of each lemma, if it is not necessary to specify them, one will indicate by \(C_{\Omega}\) the constants that depend neither on \(T_{0}\) nor on \(M_{0}\) and by Ĉ those that depend on \(T_{0}\) and/or \(M_{0}\).
Lemma 4.1
Let \(u'=(\vartheta ',v',b',\sigma ')\in V\) and \(u=S(u') = (\vartheta ,v,b,\sigma )\in V\) be the solution of system (3.5)–(3.7) whose existence is guaranteed by Lemma 3.1. Under hypothesis (1.10) and the assumption that the constant k given in (4.1)1 is large, we have
Proof
Let us first observe that
We multiply equations (3.6)–(3.8) by \(R^{-1}v\), b, and \(\hat{T} \hat{\varrho}^{-1}\sigma \) respectively and integrate the resulting equations over Ω. By using the above identities, we find after integration by parts that
where
Recalling the expressions of T̂ and ϱ̂ in (2.1) and using (1.10), one can easily see that \(\lVert{\nabla \log \hat{\varrho}} \rVert _{L^{\infty}}\) is small enough so that
Thus, by using (4.1) and (4.2), we obtain
As for the last term \(I_{4}\), we have
Combining these estimates with (4.4), we obtain
Next, let us establish the \(L^{2}\)-estimate of \(\sigma '\), which appears in the right-hand side of (4.6).
To this aim, we introduce the following auxiliary problem:
There exists (see [10]) at least one solution \(\varphi \in H^{1}(\Omega )\) to problem (4.7) such that
Now, we rewrite equation (3.6) as
multiply it by \(R^{-1}\varphi \), and integrate over Ω. Integrating by parts, taking into account (4.7), we obtain that
Considering (4.8), we obtain that
If we multiply now the inequality above by \((4RC_{\Omega})^{-1}\) and add it to (4.6), we obtain estimate (4.3), and this completes the proof the lemma. □
Lemma 4.2
Under the same hypotheses of Lemma 4.1, we have
Proof
Let us notice that, since \(\partial _{x_{i}}v\) and \(\partial _{x_{i}}b\) (\(i=1,2\)) satisfy the same boundary conditions (2.12) and (2.14), we have
Now, we differentiate equations (3.6)–(3.8) by applying on both sides \(\partial _{x_{i}}\) \((i=1,2)\) and multiply them by \(R^{-1}\partial _{x_{i}}v\), \(R^{-1}\partial _{x_{i}}b\), and \(\hat{T}\hat{\varrho}^{-1}\partial _{x_{i}}\sigma \) respectively. We integrate over Ω and apply the integration by parts to obtain
where
Now, from the arguments similar to the ones used in the proof of Lemma 4.1 (particularly for the term \(I_{1}\)), we get
As for the term \(I_{5}\), we have
By adding these estimates to (4.11) and summing on \(i=1,2\), we obtain (4.10). □
Lemma 4.3
Under the same hypotheses of Lemma 4.1, we have
where κ̄ is given by (4.2) and
Proof
Using the identity
it follows from equation (3.7) that
Next we differentiate equation (3.8) by applying \(\partial _{x_{3}} \), multiply the equation by \(\partial _{x_{3}}\sigma \), and integrate over Ω. Integrating by parts, taking into account (4.15), we get
where
Using the following identity in \(\mathbb{R}\)
and taking into account expressions (2.1) of ϱ̂ and T̂, one obtains for \(T_{0}\) large enough that
where \(k_{1}\) is the constant given in (4.1) and
Moreover, from expressions (2.1) (see also (1.11)) of ϱ̂ and T̂, it follows that
As for the last \(I_{6}\) term, one has
Combining these estimates with (4.16), we obtain
By multiplying now both sides of this inequality by
and taking into account (4.1), we obtain (4.13), which completes the proof of the lemma. □
Lemma 4.4
Under the assumptions of Lemma 4.1, we have
Proof
We first rewrite equation (3.6) as the following Stokes problem in Ω:
with boundary conditions (2.12). From the classical estimates (see [11] and [29]) of the solutions of the Stokes problem, one has
Moreover, using (4.15), one can see easily that
and since σ (see (2.15)) has mean value equal to zero and \(T_{0}\) is large enough, we get
Taking into account these inequalities, it results that estimate (4.17) follows from (4.18), and this completes the proof of the lemma. □
Lemma 4.5
With the same assumptions as in Lemma 4.1, we have
Proof
Since \(\lVert{b} \rVert _{H^{2}}\leq C_{\Omega} \lVert{ \Delta b} \rVert _{L^{2}}\) for all \(b\in H^{2}_{\natural}(\Omega )\cap H_{0}^{1}(\Omega )\), from equation (3.7) and boundary condition (2.14), we easily get (4.19). □
Lemma 4.6
Under the same assumptions as in Lemma 4.1, we have
Proof
We apply the differential operator \(\partial _{x_{i}}\partial _{x_{j}}\) \((i, j=1,2) \) to equations (3.6) and (3.8), and we multiply them by \(R^{ -1}\partial _{x_{i}}\partial _{x_{j}}v\) and \(\hat{T}\hat{\varrho}^{-1}\partial _{x_{i}}\partial _{x_{j}}\sigma \) respectively, then we integrate the resulting equations on Ω. By integrating them by parts, using the fact that \(\partial _{x_{i}}\partial _{x_{j}}v\) satisfies (2.12), we obtain
where
By the same arguments as in Lemma 4.2, we can estimate the terms \(I_{i}\) (\(i=1,\ldots ,7\)) so that
We estimate the term \(I_{8}\) in a similar way as in (4.12), to get
By adding the above estimates to (4.21), we obtain (4.20), and the proof of the lemma is completed. □
Lemma 4.7
Under the assumptions of Lemma 4.1, we have
where κ̄ and \(C_{0}\) are given by (4.2) and (4.14) respectively.
Proof
We differentiate equation (3.8) by applying the operator \(\partial _{x_{3}}\partial _{x_{i}} \), \((i=1,2)\) on both sides of the equation and multiply the resulting equation by \(\partial _{x_{3}}\partial _{x_{i}}\sigma \). We then obtain (4.22) by using the same arguments of Lemma 4.3. □
Lemma 4.8
Under the assumptions of Lemma 4.1, one has
Proof
We apply to equation (3.6) the differential operator \(\partial _{x_{i}}\) \((i = 1,2) \), and we rewrite the obtained equation as the following Stokes problem:
with the same boundary conditions on \(\partial _{x_{i}}v\) as (2.12). We obtain by the same arguments of the proof of Lemma 4.4 that
In addition, let us notice that
and, in applying \(\partial _{x_{i}}\) \((i=1,2) \) to (4.15), it follows that
By substituting (4.25) and (4.26) into (4.24) and taking into account
we obtain (4.23), which completes the proof of the lemma. □
Lemma 4.9
Under the assumptions of Lemma 4.1, one has
where κ̄ and \(C_{0}\) are given by (4.2) and (4.14) respectively.
Proof
We apply the Laplacian operator to equation (3.8) and multiply the resulting equation by Δσ. By using the same arguments of Lemmas 4.2 and 4.3, we obtain (4.27). □
Lemma 4.10
Under the same assumptions of Lemma 4.1, one has
Proof
As in Lemma 4.4, according the well-known theory on the estimates of the Stokes problem, one can deduce from (4.18) with boundary conditions (2.12) that
Let us first notice that
In addition, taking into account (4.15), we have
Since
5 Fixed point of the operator S
Having proved Lemmas 4.1–4.10, we are now in a position to establish that the operator S has a fixed point. We recall that following Remark 3.3 and Lemma 3.4, it only remains to show that the crucial point (3.35) holds, which is the goal in the following lemma.
We recall that the nonlinear operator \(S : V\to V \), \(u' = (\vartheta ',v',b',\sigma ')\), \(S(u') = u\), where \(u= (\vartheta ,v,b,\sigma )\in V\) is the unique solution of system (3.5)–(3.8).
Lemma 5.1
There is a norm \(|\cdot |_{V}\) equivalent (see (3.3)) to \(\|\cdot \|_{V}\) such that
Proof
Let \(\lambda _{1}, \lambda _{2}, \ldots , \lambda _{9}\) be positive numbers that will be suitably chosen thereafter. We set
where \(C_{0}\) is given in (4.14) and κ̄ in (4.2).
For any \(\varphi \in H^{2}\), we set
It is clear that \(|\cdot |_{2,\Omega}\) is equivalent to the \(H^{2}\)-norm. Moreover, if we set
we obtain (see (3.3)) a norm equivalent to \(\|\cdot \|_{V}\).
Let now
If we multiply the estimates on the solution u established in Lemmas 4.1–4.10 by
respectively, then adding them and taking into account (3.10), we obtain
with some positive constant C̃ while \(N(\sigma ')\) is given by
and the numbers \(\Lambda _{i}\) (\(i=1,2, \ldots ,8\)) are given by
If \(T_{0}\) is large enough, we can easily see that it is possible to choose (see (1.10))
so that
Indeed, if \(\lambda _{j}\) for \(j = i+1,\ldots ,9\) and \(i = 8,\ldots ,1\) are given, as can be seen easily, considering constraints (5.7), we can choose \(\lambda _{i}\) large enough so that the inequalities containing only \(\lambda _{i}\) and \(\lambda _{j}\) are satisfied (and so we can proceed to the choices of \(\lambda _{i}\), starting from \(\lambda _{9}\) and then choosing successively \(\lambda _{i}\) for \(i = 8,6,\ldots ,1\)). The constants \(\lambda _{i}= \lambda _{i}(\bar{T}_{0})\) (\(i=9, \ldots , 1\)) so determined imply in particular that \(\Lambda _{7}> 0\) and \(\Lambda _{8}> 0\) if \(T_{0}\) is large enough, and we can choose \(\lambda _{5}\) such that \(\Lambda _{4} \geq 1\).
Recalling now inequality (5.5) and using (5.7), we obtain
and given (3.36) (see also (5.3) and (5.4)), it follows from (5.8) that
If a is small enough so that \(a\leq {\frac{\bar{t}}{2c_{\Omega}}}\), it follows from (5.9) that
which means that \(S(u')\in B_{V}^{a}\) for every \(u'\in B_{V}^{a}\), and hence we obtain (5.1) and equivalently (3.35), thus the lemma is proven. □
Remark 5.2
As we have already seen in Remark 1.1, if the perturbation \(\varepsilon (x')\) is identically zero or is a nonzero constant function, then \((0,B_{rs},T_{rs},\varrho _{rs})\) given by (1.11) is the unique stationary solution to the system of equations (1.1)–(1.4) with boundary conditions (1.6)–(1.8). However, it is important to establish whether this system can still have a stationary solution \((0,B_{st},T_{st},\varrho _{ts})\) when \(\varepsilon (x')\) is not identically zero and is not identically a nonzero constant function.
Indeed, suppose that \(\varepsilon (x')\not\equiv 0\) and is not identically a nonzero constant function, and suppose that there exists a stationary solution \((0,B_{st},T_{st},\varrho _{st})\) to equations (1.1)–(1.4) with boundary conditions (1.6)–(1.8). Hence, \((B_{st},T_{st},\varrho _{st})\) solves the system of equations
in \(\Omega =\mathbb{T}^{2}\times ]0,h[\) with the boundary condition
Notice first that \(B_{st}=B_{0}e_{3}\) is the unique solution of (5.10) with (5.13) and, since \(\nabla \times B_{st}=0\), the boundary value problem (5.11) and (5.14) becomes
It is obvious that the unique solution of (5.15) is given by
where δ is the unique solution of the boundary value problem
Given (5.12) and \(B_{st}=B_{0}e_{3}\), by setting \(P_{st} = RT_{st}\varrho _{st}\), we have
Hence, \(P_{st}(x',x_{3})= p_{st}(x_{3})\), and this contradicts (5.18)2 unless (see (5.16)) \(T_{st}(x',x_{3})\) does not depend on \(x'=(x_{1},x_{2})\). Thus, we get the following two cases for the only solution \(\delta (x',x_{3})\) of the boundary value problem (5.17): Either
(i) \(\delta (x',x_{3})\) is constant and therefore, given (5.17)3, we get \(\delta (x',x_{3})\equiv 0 \) for which \(\varepsilon (x') = 0\) or
(ii) \(\delta (x',x_{3})\) is independent of \(x'=(x_{1},x_{2})\), and this contradicts (5.17)2 unless \(\varepsilon (x') = \varepsilon _{0}\).
Hence, in both cases (i) and (ii), we get \(\varepsilon (x')\) is zero or constant, which is a contradiction. Therefore, the system of equations (1.1)–(1.4) does not have a stationary solution \((0,B_{st},T_{st},\varrho _{st})\) when \(\varepsilon (x')\) is not identically zero or a nonzero constant function.
6 Conclusion
To our knowledge, there are not results in the literature on the study of stationary full magnetohydrodynamic flows for viscous, compressible, and heat-conducting fluids. Our work aims to contribute to the mathematical modeling of magnetoconvection by analyzing a system of partial differential equations describing the motion of full magnetohydrodynamic equations. As a first contribution to this study, we considered a simple model of three-dimensional plane-parallel atmosphere made up of ideal gas in the presence of a magnetic field. More precisely, we consider a plane-parallel polytropic atmosphere between \(x_{3} = 0\) (bottom of the layer) and \(x_{3} = h\) (top of the layer) with a large temperature gradient across the layer, and in the presence of a vertical magnetic field. We then focus on the existence of a magnetoconvective steady flow close to the equilibrium state. As an ongoing research, we are currently studying the stability of such a stationary solution, which is inspired from the works [28, 36, 46].
Data Availability
No datasets were generated or analysed during the current study.
References
Alekseev, G.V., Brizitskii, R.V.: Solvability of the mixed boundary value problem for the stationary equations of magnetohydrodynamic equations of a viscous fluid. Dal’nevost. Mat. Zh. 3(2), 285–301 (2002)
Alekseev, G.V., Brizitskii, R.V.: Solvability of the boundary value problem for stationary magnetohydrodynamic equations under mixed boundary conditions for the magnetic field. Appl. Math. Lett. 32, 13–18 (2014)
Alekseev, G.V., Brizitskii, R.V., Pukhnachev, V.V.: Solvability of the inhomogeneous mixed boundary for stationary magnetohydrodynamic equations. Dokl. Phys. 59, 467–471 (2014)
Beirao Da Veiga, H.: Boundary value problems for a class of first order partial differential equations in Sobolev spaces and application to the Euler flow. Rend. Semin. Mat. Univ. Padova 97, 247–273 (1988)
Benabidallah, R., Ebobisse, F.: On the stationary solution of a viscous compressible MHD equations. J. Math. Anal. Appl. 519, 126825 (2023)
Benabidallah, R., Ebobisse, F.: On the steady flows of viscous compressible MHD equations in an infinite horizontal layer. J. Math. Fluid Mech., Accepted
Benabidallah, R., Kessoum, H., Ebobisse, F.: On stationary convective motion of viscous compressible heat-conducting fluid. Appl. Anal. 101(18), 6709–6735 (2022)
Benabidallah, R., Taleb, L., Fujita Yashima, H.: Existence d’une solution stationnaire d’un système d’équations d’un fluide visqueux compressible et calorifère modélisant l’atmosphère. Boll. Unione Mat. Ital., B 10, 1101–1124 (2007)
Berirao Da Veiga, H.: An \(L_{p}\)-theory for the n-dimensional, stationary, compressible Navier-Stokes equations, and the incompressible limit for compressible fluids. The equilibrium solutions. Commun. Math. Phys. 109, 229–248 (1987)
Bogovskij, M.E.: Solution de quelques problèmes d’analyse vectorielle convexe aux opérateurs div et grad (en russe). Tr. Semin. S.L. Soboleva 1, 5–40 (1980)
Cattabriga, L.: Su un problema al contorno relativo al sistema di equazioni di Stokes. Rend. Semin. Mat. Univ. Padova 31, 308–340 (1961)
Chen, G.Q., Wang, D.H.: Global solution on nonlinear magnetohydrodynamics with large initial data. J. Differ. Equ. 182, 344–376 (2002)
Chen, G.Q., Wang, D.H.: Existence and continuous dependence of large solutions magnetohydrodynamic equations. Z. Angew. Math. Phys. 54, 608–632 (2003)
Chunshan, Z., Kaitai, L.: On existence, uniqueness and \(L^{r}\)-exponential stability for stationary solution to the MHD equations in three-dimensional domain. Anzian J. 46, 95–109 (2004)
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, J., Huang, S., Li, F.: Global strong solutions to the planar compressible magnetohydrodynamic equations with large initial data and vacuum. Preprint. arXiv:1206.3624
Fan, J., Jiang, S., Nakamura, G.: Vanishing shear viscosity limit in the magnetohydrodynamic equations. Commun. Math. Phys. 270, 691–708 (2007)
Freistühler, H., Szmolyan, P.: Existence and bifurcation of viscous profiles for all intermediate magnetohydrodynamic shock waves. SIAM J. Math. Anal. 26, 112–128 (1995)
Gerbeau, J.F., Le Bris, C., Lelièvre, T.: Mathematical Methods for the Magnetohydrodynamics of Liquid Metals. Numerical Mathematics and Scientific Computation, Oxford Science Publications. Oxford University Press, London (2006)
Hoff, D., Tsyganov, E.: Uniqueness and continuous dependence of weak solutions in compressible magnetohydrodynamics. Z. Angew. Math. Phys. 56, 791–804 (2005)
Hu, X.P., Wang, D.H.: 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)
Jiang, S., Ju, Q., Li, F.: Incompressible limit of the compressible magnetohydrodynamic equations with periodic boundary conditions. Commun. Math. Phys. 297, 371–400 (2010)
Kulikovskiy, A.G., Lyubimov, G.A.: Magnetohydrodynamics. Addison-Wesley, Reading (1965)
Ladyzhenskaya, O.A., Uraltseva, N.N.: Equations aux dérivées partielles de type elliptique. Dunod, Paris (1968)
Landau, L.L., Lifchitz, E.M.: Mécanique des fluides. Physique théorique, vol. VI. Mir, Moscow (1989)
Laudau, L.D., Lifshitz, E.M.: Electrodynamics of Continuous Media, 2nd edn. Pergamon, New York (1984)
Li, F., Yu, H.: Optimal rate of classical solutions to the compressible magnetohydrodynamic equations. Proc. R. Soc. Edinb. 141A, 109–126 (2011)
Li, Y., Yang, X.: Stability of stationary for the compressible viscous magnetohydrodynamic equations with large force in bounded domain. J. Differ. Equ. 262, 3169–3193 (2017)
Mazya, V.G., Plamenevski, B.A., Stupyalis, L.I.: The three-dimensional problem of steady-state motion of a fluid with a free surface. Am. Math. Soc. Transl., Sov. Reg. Conf. 123, 171–268 (1984)
Meir, A.J.: The equation of stationary, incompressible magnetohydrodynamic with mixed boundary conditions. Comput. Math. Appl. 25, 13–29 (1993)
Murawski, K.: Numerical solutions of magnetohydrodynamic equations. Bull. Pol. Acad. Sci., Tech. Sci. 59(2), 219–226 (2011)
Nečas, J.: Méthodes directes en théorie des équations elliptiques. Masson, Paris (1967)
Novovtný, A.: About the steady transport equation I: \(L^{p}\)-approach in domains with smooth boundaries. Comment. Math. Univ. Carol. 37(1), 43–89 (1996)
Novovtný, A., Padula, M.: Existence et unicité de la solution stationnaire des équations d’un fluide compressible visqueux et calorifère en présence d’une grande force extérieure potentielle et d’une petite non-potentiel. Sib. Mat. Zh. 34, 120–146 (1993)
Novovtný, A., Straškraba, I.: Introduction to the Mathematical Theory of Compressible Flow. Oxford univ. Press, Oxford (2004)
Padula, M., Pokorny, M.: Stability and decay to zero of the \(L^{2}\)-norm of perturbations to a viscous compressible heat conductive fluid motion exterior to a ball. J. Math. Fluid Mech. 3, 342–357 (2001)
Rincon, F.: Dynamique des grandes échelles de la convection dans la photosphère solaire. Thèse de Doctorat - Univ. Toulouse III - Paul Sabatier (2004)
Robert, B.: MHD Waves in the Solar Atmosphere. Cambridge University Press, Cambridge (2019)
Rossmanith, J.A.: An unstaggered, high-resolution constrained transport method for magnetohydrodynamic flows. SIAM J. Sci. Comput. 28, 1766–1797 (2006)
Sermange, M., Temam, R.: Some mathematical questions related to the MHD equations. Commun. Pure Appl. Math. 36, 635–664 (1983)
Tóth, G.: The \(\nabla \cdot B=0\) constraint in shock-capturing magnetohydrodynamics codes. J. Comp. Physiol. 161, 605–652 (2000)
Valli, A.: Periodic and stationary solutions for compressible Navier-Stokes equations via a stability method. Ann. Sc. Norm. Super. Pisa, Cl. Sci. 10, 607–647 (1983)
Valli, A.: On the existence of stationary solutions to compressible Navier-Stokes equations. Ann. Inst. Henri Poincaré 4, 99–113 (1987)
Wang, D.: Large solutions to the initial boundary value problem for planar magnetohydrodynamics. SIAM J. Appl. Math. 63, 1424–1441 (2003)
Yang, Y.F., Gu, X., Dou, C.: Existence and uniqueness of steady solution to the magnetohydrodynamic equation of compressible flows. J. Math. Anal. Appl. 409, 846–850 (2014)
Zhao, C., Li, K.: On existence, uniqueness and \(L^{r}\) exponential stability for stationary solution of the MHD equation in the three-dimensional domains decay. ANZIAM J. 46, 95–109 (2004)
Zhou, C.H.: Existence of weak solution to the three-dimensional steady compressible magnetohydrodynamic equations. Acta Math. Sin. Engl. Ser. 28, 2431–2442 (2012)
Funding
The research of Francois Ebobisse is funded by the University of Cape Town URC-Block Grant.
Author information
Authors and Affiliations
Contributions
M.A. typed the preliminary drat; R.B. conceived the research and typed the preliminary draft; F.E. checked the first draft, discussed it thoroughly with R.B and M.A. All authors were then involved in the review of all the iterates of the manuscript till the final version.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
This was not required for the present study.
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Azouz, M., Benabidallah, R. & Ebobisse, F. On steady state of viscous compressible heat conducting full magnetohydrodynamic equations. Bound Value Probl 2024, 72 (2024). https://doi.org/10.1186/s13661-024-01869-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-024-01869-9