Abstract
We consider the free boundary problem of MHD in the multi-dimensional case. This problem describes the motion of two incompressible fluids separated by a closed interface under the action of a magnetic field. This problem is overdetermined, and we find an equivalent system of equations which is uniquely solvable locally in time in the - maximal regularity class, where and . As a result, the original two-phase problem for the MHD is solvable locally in time.
MSC:
35Q30; 35Q61
1. Introduction
1.1. Formulation of the Problem
We consider a two-phase problem governing the motion of two incompressible electrically conducting capillary liquids separated by a sharp interface. Mathematical model of MHD is found in [1,2], the transmission conditions on the interface for the magnetic fields are found in [3,4,5], and the interface conditions for the incompressible viscous fluids are found in [6,7,8,9,10].
In this paper, the problem is formulated as follows: Let and be two domains in the N-dimensional Euclidean space (). Assume that the boundary of each consists of two connected components and , where is the common boundary of . Throughout the paper, we assume that is a compact hypersurface of class, that are hypersurfaces of class, and that with some positive constants , where the denotes the distance of any subsets A and B of which is defined by setting . Let and . The boundary of is . We may consider the case that one of is an empty set or that both are empty sets. Let be an evolution of for time , which is assumed to be given by
with an unknown function . We assume that is a given function. Let be two connected components of such that the boundary of consists of and . Let be the unit outer normal to oriented from into , and let be the unit outer normal to respectively. For any given functions defined in , v is defined by for , . Let
for every point , which is the jump quantity of v across . Let . The purpose of this paper is to prove the local in time unique solvability of the free boundary two-phase magnetohydrodynamical problem with interface conditions, which is formulated as follows:
for . Here, is the velocity vector field, where stands for the transposed M, the pressure field, and the magnetic field. The unknowns are , , , and , while and are prescribed N-component vectors. As for the remaining symbols, is the viscous stress tensor, is the doubled deformation tensor whose th component is with , the unit matrix, the magnetic stress tensor, the doubled rotation tensor whose th component is , the velocity of the evolution of in the direction of , which is given by in the case of (1), and is the mean curvature of , which is given by for , where is the Laplace Beltrami operator on , the outside pressure. Moreover, , , , and , are positive constants describing respective the mass density, the magnetic permability, the kinematic viscosity, and conductivity. A positive constant is the coefficient of the surface tension. Finally, for any matrix field with th component , the quantity is an N-vector of functions with the ith component . For any N-vectors of functions and , , is an N-vector of functions with the ith component , and an matrix with the th component . We notice that
In particular, in the three-dimensional case, the set of equations for the magnetic field in Equation (2) are written by
for . This is a standard description (cf. M. Padula and V. A. Solonnikov [4]), and so the set of equations for the magnetic field in Equation (2) is the N-dimensional mathematical description for the magnetic equations with transmission conditions.
In the equilibrium state, , , , and is a constant state, and so we assume that
Problem (2) is overdetermined, because there are too many equations for the magnetic fields . Instead of (2), we consider the following equivalent system:
for . Namely, two equations: in is replaced with one boundary condition: on . Frolova and Shibata [11] proved that if for a solution of (6) initially, then in follows automatically for any as long as the solution exists. Thus, the local well-posedness of Equation (2) follows from that of Equation (6) provided that the initial data satisfy the divergence free condition: , which is a compatibility condition. This paper devotes itself to proving the local well-posedness of Equation (6) in the maximal - regularity framework under the assumption that is small enough. It means that at the initial moment of time, the interface is very close to the reference interface .
Since in problem (6) the domain and the interface are unknown, with the help of the Hanzawa coordinate transform (cf. Section 2.1), we reduce the free boundary problem to a problem in the given domain . In Section 2.2–Section 2.4, we derive all the equations and boundary conditions to which Hanzawa transform maps (6). The main result is stated in Section 2.5 (Theorem 1). In Section 3, we formulate the maximal - regularity theorems for corresponding linearized hydrodynamical (Theorem 2) and magnetic (Theorem 3) problems. The main result is proved in Section 5 by the fixed point theorem, on the base of the maximal - regularity theorems for the corresponding linear problems and estimates of nonlinear terms (these estimates are given in Section 4).
1.2. Short History
The equations of magnetodydrodynamics (MHD) can be found in [1,2,12]. The solvability of MHD equations was first obtained in [13]. The free boundary problem for MHD was first studied by Padula and Solonnikov [4] in the case when is a vacuum region in the three dimensional Euclidean space . They proved the local well-posedness in the framework and used Sobolve–Slobodetskii spaces of fractional order. Later on, the global well-posedness was proved by Solonnikov and Frolova [14]. Moreover, the approach to the same problem was calculated by Solonnikov [15,16]. In [4], by some technical reason, it was required that regularity class of the fluid be slightly higher than that of the magnetic field (cf. [4] (p. 331)). However, in this paper, we do not need this assumption; that is, we can solve the problem in the same regularity classes for the fluid and magnetic field. The different point of this paper compared to [4] appears in the iteration scheme (cf. (85) and (86)).
As a related topics, in [17,18] and references therein Kacprzyk proved the local and global well-posedness of the free boundary problem for the viscous nonhomogeneous incompressible MHD in the case where an incompressible fluid is occupied in a domain bounded by a free surface subjected to an electromagnetic field generated in a domain exterior to by some currents located on a fixed boundary of . In [17,18], it is assumed that . On the free surface, , a free boundary condition without surface tension for the viscous fluid part and transmission conditions for electromagnetic fields part are imposed. Since the surface tension is not taken into account, the Lagrange transformation was applied, and so the viscous fluid part has one regularity higher than the electromagnetic fields part. An approach is applied and Sobolev–Slobodetskii spaces of fractional order are also used in [17,18]. Later, the local wellposedness of the same problem as in [17,18] was proved in the framework by Shibata and Zajaczkowski [5] and in the in time and in space framework by Oishi and Shibata [19].
1.3. Notation
Finally, we explain some symbols used throughout the paper. We denote the set of all natural numbers, real numbers, and complex numbers by , , and , respectively. Set . For any multi-index , , we set , . For scalar f, and N-vector of functions, , we set and . In particular, , , , and . For , , , and any domain , we denote by , , and the standard Lebesgue, Sobolev, and Besov spaces, respectively, while , , and denote the norms of these spaces. We write and . For , the function spaces and their norms are defined by setting
For any Banach space X with the norm , denotes the d product space defined by , while the norm of is simply written by , that is . For any time interval , and denote, respectively, the standard X-valued Lebesgue space and X-valued Sobolev space, while and denote their norms. Let and be, respectively, the Fourier transform and the Fourier inverse transform. Let , , be the Bessel potential space of order s defined by
For any N-vector of functions, , is regarded as an -matrix of functions whose th component is . For any m-vector and n-vector , denotes an matrix whose th component is . For any -matrix , denotes an N-column vector whose component is the quantity: . Moreover, we define . Inductively, we define by setting for .
Let for any N-vectors and . For any N-vector , let . For any two -matrices and , the quantity is defined by . For any domain G with boundary , we set
where is the complex conjugate of , and denotes the surface element of . Given , let . Throughout the paper, the letter C denotes generic constants and the constant which depends on a, b, …. The values of constants C, may be changed from line to line.
2. Hanzawa Transform and Statement of Main Result
2.1. Hanzawa Transform
Let be the unit normal to oriented from into . Since is unknown, we assume that the is represented by (1). Our task is to find not only , , and but also h. We know the existence of an N-vector, , of functions defined on such that
with some constant C. Here, we set with some small constant . We will construct in Section 2.3 below. We may assume that
Let be an extension function of h such that on . In fact, we take as a solution of the harmonic equation:
with some large positive number which guarantees the unique solvability of (8). In this case, if h satisfies the regularity condition:
then satisfies the regularity condition:
and possesses the estimate:
To transform Equation (6) to the problem in a domain with fixed boundary and interface, we use the Hanazawa transformation defined by
Let be a small number such that
provided that
Henceforth, we use the symbol: . From (13) and (14), the map is injective. Under suitable regularity condition on , for example, for each with some small , the map becomes an open and closed map, so that , because is an identity map on . We assume that the initial surface is given by
with a given sufficiently small function . Let be an extension of which is given by a unique solution of Equation (8), where and h are replaced with and , respectively.
Let , and set
Noting that near , we have
In what follows, we derive equations and interface conditions for , , and .
2.2. Derivation of Equations
In this subsection, we derive equations obtained by the Hanzawa transformation: from the first, second, and third equations in Equation (6). We assume that satisifies (14) with a small positive number . We have
and then, choosing in (14) small enough, we see that there exists an matrix, , of bounded real analytic functions defined on with such that
Here, we use the symbol , where , are independent variables corresponding to , , respectively. Let be the th component of . Then, by the chain rule, we have
Since , we write
where denotes the dirivative of with respect to . In particular,
with
Here and in the following, for an matrix A, denotes its th component and denotes an matrix whose th component is . To obtain the first equation in (72) in Section 2.5 below, we make the pressure term linear. From , it follows that
Let , then
Thus, setting , we have
Since and , we may write
where is a bounded function and are some matrices of bounded analytic functions defined on . Here and in the following, we write for and .
We next consider the divergence free condition: . By (17),
Let , choosing small enough in (14), we have
where is a real analytic function defined on such that . Using this symbol, we have
so that
Since , we may write
where are some matrices of bounded analytic functions defined on .
Moreover,
with
Thus, setting
we have
Since , we may write
where is a bounded function, are some matrices of bounded analytic functions defined on .
2.3. The Unit Outer Normal and the Laplace Beltrami Operator on
Since is a compact hypersurface of class, we have the following lemma.
Lemma 1.
For any constant , there exist a finite number , constants , , n N-vectors of functions , n points and two domains such that the following assertions hold:
- (i)
- The maps: are bijective for .
- (ii)
- , , and , where , , , and .
- (iii)
- There exist n functions such that and on Γ.
- (iv)
- , where are constant orthogonal matrices and are matrices of functions satisfying the conditions: and for .
In what follows, we write simply by and set . The index ℓ runs from 1 through n. Recall that , on , and . Let
for and . By Lemma 1, are N-constant vectors, and are N vector of functions such that
where are the Kronecker delta symbols defined by and for . Notice that , , forms a basis of the tangent space of . Let , an matrix whose th component is , , and the th component of , respectively. is a first fundamental matrix of the tangent space of . By (32) there exist functions , and such that
Here, the constant is a generic constant depending on . We may assume that .
We now define an extension of to satisfying (7). Let with , and let be functions defined by setting
for . We set , then
because
for . Let , and then
Next, we give a representation formula for . Since is represented by for , setting , we define by
Notice that forms a basis of the tangent space locally. To obtain a formula of , we set , and we choose a and in such a way that and . From , it follows that
so that
From and (35), it follows that
where we have used the first formula in (34), and which follows from . Setting , we have
where we have set and We now introduce a symbol which denotes a generic term of the form:
with some matrix which is defined on and satisfies the conditions:
provided that (14) holds with some small number , where we have set , , and . Choosing small enough in (14) and using (33) with small , we see that exists, and then
Therefore, we have
Since
setting
by (37) we see that there exists a matrix of functions, , defined on such that
and satisfies the following conditions: for any , and
provided that (14) holds with some small .
We next represent . Let be the first fundamental form, and set and . Then, is given by setting
Notice that and are all bounded functions. The function f is bounded . It means that f is a function and f and its derivatives up to order 2 are all bounded. Let and , and then by (14) with small and (33), we have the representation formulas:
where , , and are some bounded functions defined on . In view of (39), setting
we have
where is an operator defined by setting
We finally derive a formula for the curvature. Recall that for . For , x is represented by locally. By (41) and (42), we have
on . Since for and
as follows from , we have
Combination of these formulas gives
where is a bounded function, and are some matrices of functions defined on such that
Under the assumption that (14) holds with some small constant .
2.4. Derivation of Transmission Conditions and Kinematic Condition
Here, we introduce the symbol
If we move to the right-hand side in proving the local well-posedness by using a standard fixed point argument, we have to assume the smallness of the initial velocity field as well as the smallness of the initial height . However, this is not satisfactory. We have to treat at least the large initial velocity case for the local well-posedness. To avoid the smallness assumption of the initial velocity field, we use an idea due to Padula and Solonnikov [4]. Let be an initial velocity field and . We know that on , which follows from the compatibility conditions. Let be an extension of to such that in and
Let
where is a analytic semigroup generated by with large in , that is
Here, denotes the Fourier transform of f and the inverse Fourier transform. We know that
which yields that
As a kinematic condition, we use the following equation:
where
Let be an the extension map, which is acting on and satisfying the properties: , in ,
for and with , and
for . Note that
for on . For the notational simplicity, we write
Then, we have
for .
Next, we consider the interface conditions:
Let
The following lemma was given in Solonnikov [20].
Lemma 2.
If , then for arbitrary vector , is equivalent to
Here and hereafter, is the matrix with components (cf. (18)). Noting that , we see that the condition (59) takes the form
with
Here, is an N-vector of bounded functions, () are some matrices of functions defined on and satisfying the conditions: , ,
provided that (14) holds with some small .
Here, is the matrix with components , which are given in (18). In particular, in view of (18), (38), and (55), we may write
Here, is an N-vector of functions, and () are some matrices of functions defined on satisfying the same conditions as those stated in (66) provided that (14) holds with some small .
From (23), we see that the interface condition: can be written in the form
where
are the symbols given in (17), and .
Finally, the interface conditions: and can be written in the form
where
2.5. Statement of the Local Well-Posedness Theorem
Summing up the results obtained in Section 2.2–Section 2.4, we see that Equation (6) is transformed to the following equations:
where is a solution of Equation (8).
The purpose of this paper is to prove the following local in time unique existence theorem.
Theorem 1.
Let , , and . Assume that condition (5) holds. There exist a small number ϵ and a small time depending on B such that if initial data satisfy the smallness condition , and satisfies and the compatibility conditions:
then Equation (72) admits unique solution , , , and h with the following properties:
This solution satisfies the estimate:
Here, δ is a constant appearing in (14), and is a polynomial of B.
3. Linear Theory
Since the coupling of the velocity field and the magnetic field in (6) is semilinear, the linearized equations are decoupled. Namely, we consider the two linearized equations: one is the Stokes equations with transmission conditions on and nonslip conditions on , and another is the system of the heat equations with transmission conditions on and the perfect wall conditions on . We assume that is a compact hypersurface of class and that are hypersurfaces of class.
3.1. Two-Phase Problem for the Stokes Equations
This subsection is devoted to presenting the - maximal regularity for the two-phase problem of the Stokes equations with transmission conditions given as follows:
Assumptions for Equation (74) are the following:
- (a.1)
- a is a bounded functions defined in .
- (a.2)
- is a family of N-vector of functions defined on for and such thatHere, , , b, and c are positive constants and .
Theorem 2.
Let , , , and . Assume that the assumptions (a.1) and (a.2) are satisfied. Then, there exists a constant such that the following assertion holds: Let and . Let , g, , , and d appearing in the right-hand side of Equation (74) be given functions satisfying the following conditions:
for any . Assume that , g, and satisfy the following compatibility conditions:
where . Then, Equation (74) admits unique solutions , , and h with
possessing the estimates:
for any with some constant independent of γ.
Remark 1.
(1) Theorem 2 has been proved in Shibata and Saito [21]. The reason why we assume that Γ is a compact in this paper is that the weak Neumann problem is uniquely solvable. Namely, if we consider the weak Neumann problem:
where
then for any , problem (78) admits a unique solution satisfying the estimate: with some constant . If Γ is unbounded, then in general we have to assume that the weak Neumann problem is uniquely solvable except for a few cases where Γ is flat, that is , or Γ is asymptotically flat.
3.2. Two-Phase Problem for the Linear Electromagnetic Field Equations
This subsection is devoted to presenting the - maximal regularity for the linear electromagnetic field equations. The problem is formulated by the following equations:
Theorem 3.
Let , , and . There exists a constant such that the following assertion holds: Let and let , , and be given functions appearing in the right-hand side of Equation (79) and satisfying the following conditions:
for any . Assume that , , and satisfy the following compatibility conditions:
provided that ;
provided that . Then, problem (79) admits a unique solution with
possessing the estimate:
for any with some constant independent of γ.
Remark 2.
Theorem 3 was proved by Froloba and Shibata [11] under the assumption that Ω is a uniformly domain. Of course, if Γ is a compact hypersurface of class, then Ω is a uniform domain.
4. Estimates of Nonlinear Terms
First of all, we give an iteration scheme to prove Theorem 1 by the Banach fixed point theorem. For a given h satisfying (9), let be a unique solution of Equation (8) satisfying (10) and (11). Let be a space defined by
where we have set
For initial data , , and , we assume that
Here, B is a given positive number. Since we mainly consider the case where and are large, we may assume that in the following, and we shall choose large enough and small enough eventually. So we may assume that . For any given , let be a solution of the problem:
Let be a solution of the problem:
Notice that to define we use not only but also unlike Padula and Solonnikov [4] to avoid their technical assumption that the velocity field is slightly more regular than the magnetic field.
In this section, we shall demonstrate the estimates of the nonlinear terms appearing in the right sides of Equations (85) and (86). Since , we have
Below, we assume that , and . We use the following inequalities which follow from Sobolev’s inequalities.
For any function, , defined for , we consider a composite function , and then for , we have
provided that . We use the following estimate of the time trace proved by a real interpolation theorem:
for ,
Then, we have
In what follows, we assume that and . In particular, . We assume that , and so by (93),
We first estimate . In view of (22), we may write
where is a matrix of bounded functions defined on . Applying (11), (88), and (89), we have
For a maximal regularity term f and a lower order term g, we have
Only for a lower order term g, we use the estimate
We next estimate given in (50). We shall prove that
where . Here and in the following, is a generic constant depending on s, whose value may change from line to line.
To prove the second inequality in (99), we use the estimates:
Consequently, by (87) and (97), we have
because we have taken . This shows the first inequality in (102). For by (47), (84), and (87)
By real interpolation,
for any , which, combined with (48) and (91), yields the second inequality in (102).
Applying (94), (97), and (102) to the second inequality in (100) yields
which proves the second inequality in (99).
We now estimate , and given in (27), and (65), respectively. We have to extend them to the whole time line . Let be the extension maps given in Section 2 (cf. (51) and (52)). For , let be extensions of to such that
Let be a large positive number appearing in Theorems 2 and 3, and we fix in such a way that . Let be defined by setting
In particular, in , in and
We also construct a similar extension for . Let , P, and be solutions of the equations:
For large , we know the unique existence of , P, and such that
and the following estimate:
holds. Let , where is a unique solution of (8) with ,. then by (11) we have
In what follows, a generic constant C depends on when we use (103) and (104), but is eventually fixed in such a way that the estimates given in Theorems 2 and 3 hold, and so we do not mention the dependence on .
For a function defined on , we define an extension of f by setting
Obviously, for and vanishes for . Moreover, if , then
If with some Banach space X and , then
Moreover, if , then , and so
because vanishes for .
Let equal one for and zero for . Under these preparations, for and , we define the extensions , , and by setting
Here, we have set . Notice that for , for , and for . Obviously,
By (97), (103), and (104), we have
where . In fact, the first and third inequalites in (108) follow from (103), (104), and (87). To prove the second inequality in (108), we observe that
for any . Thus, using the inequality:
we have the second inequality in (108). By (104) and (94),
and so we have the last inequality in (108).
In addition,
To estimate norm, we use the following lemma.
Lemma 3.
Let and . Let
Then, we have
Proof.
To prove Lemma 3, we use the fact that
where denotes a complex interpolation functor of order . We have
Moreover,
Thus, by complex interpolation, we have
Moreover, we have
Thus, combining these two inequalities gives the required estimate, which completes the proof of Lemma 3. □
Lemma 4.
Let . Then,
and
Proof.
For a proof, see Shibata [10] (Proposition 1). □
We now estimate . In view of (65), we define an extension of to the whole time interval by setting with
Obviously, for . To estimate , for notational simplicity we set . By (108) and (109),
and so, we have
Since
as follows from (87), the third formula of (104) and (106), employing the same argument as in proving (113), we have
We now estimate . For this purpose, we use the following esitmate which follows from complex interpolation theory:
Let
We further divide , where
Using (89), we obtain
where we have set and used the fact that , which follows from for .
Notice that and have the same estimate. In view of (115), combining estimates in (116) and (117), we have
In addition, by (89)
Moreover, by Lemma 3 and (112), we arrive at
which, combined with (118) and (120), yields
where we use the assumption .
We finally consider and . In view of (28), we set
Obviously,
and as follows from (25)–(27). Employing the same argument as that in proving (113), we have
By (109), we have
We now apply Theorem 2 to Equation (85) and use the estimate in Theorem 2 with . Then, assuming that , noting that and using (98), (99), and (122), we arrive at
Here and in the following and are fixed, and so we do not take care of the dependence of constants on s and .
By the third equation of (48), (85), and (99), we have
where we used the facts that and . In combination with (126), it gives us
Noting that and , we have
for some positive constant depending on s and provided that , , , and .
We now estimate by using Theorem 3 with the constant given above. Let be a nonlinear term given in (29). Recalling the formula in (31) and employing the same argument as that in proving (98), we have
We next consider and given in (67) and in (69), respectively. Let and be their extension to with respect to t defined by setting
Employing the same argument as in proving (113), we have
We finally consider and given in (70). In view of (127), choosing L so large that and T so small that , we have
In particular, we have
Thus, choosing sufficiently small, we may also assume that
and that
In view of (71), we define the extensions of and by setting
5. Estimates of the Difference of Nonlinear Terms and Completion of the Proof of Theorem 1
Let (). In this section, we shall estimate with (), and then we shall prove that is a contraction map on with a suitable choice of . For notational simplicity, we set
Then, and satisfy the following equations with some pressure term Q:
In addition, satisfies the following equations:
We have to estimate the nonlinear terms appearing in the right side of equations (139) and (140). We start with estimating . As was written in (95), we write
where
Consequently, we can write as follows:
Since we may write
where is the derivative of with respect to , noting that for and using (94) and (98), we have
Since
noting that and at , by (91), (94), and (97), we have
which, combined with (142) and (143), leads to
Here, we have used the estimate:
which follows from and .
In fact, noting that the difference: has the similar formula to that in (141), by (11), (88), (89), and (90), we have
Thus, by (91), (94), (102), and (144), we have
which leads to the inequality in (146), because as follows from .
We see that is defined for and for . Writing
By Lemma 4 and (108), we have
Thus, setting
by Lemma 3 we have
Noticing that , by (55) and Lemma 4, we have
We next consider . Since , we have
Since
by Lemma 3, (112), (149), and (150), we have
which, combined with (152), (156), and (159), yields
where we have used the fact that .
We now consider g and . In view of (123), we set
Then, and are defined for and , for . Employing the same argument as in proving (152), we have
To estimate , we write with
where we have set . To estimate , we write
By (11), (89), (108), (109), and (144), we have
where we have used . Since , writing
by (108)–(110) and (148)
which, combined with (162), yields that
Applying Theorem 2 to Equation (139) and using (145), (147), (160), (161), and (163), we have
provided that , , and .
Moreover, by the third equation of (139), and (146), we have
which, combined with (164) and , yields that
with some constant depending on and , provided that , , and .
Now, we consider . We first consider . In view of (31), we may write
where
where is some matrix of smooth functions of for . Then, employing the same argument as in proving (145), we have
provided that , , and .
Obviously, is defined for , and for for . Employing the same argument as in proving (152) and (160), we have
provided that , , , and .
We finally consider and . As was mentioned in (109), we may assume that
In view of (135), we set with
where we have set . Obviously, is defined for and for . To estimate , we write
and then, by (90), we have
Noting that vanishes for , we have
Using (89), we have
Thus, we have
where we have set . Putting these inequalities together, we arrive at
Thus, choosing T so small that , we see that is a contraction map from into itself, and so there is a unique fixed point of the map . This solves Equation (72) uniquely and possessing the properties mentioned in Theorem 1. This completes the proof of Theorem 1.
6. Concluding Remark
- (1)
- A future work will be to show a global well-posedness for the system (2).
- (2)
- The maximal regularity of some other models of MHD (cf. [22,23]) can be considered.
Author Contributions
Conceptualization, E.F. and Y.S.; writing—original draft preparation, Y.S.; writing—review and editing, Y.S. All authors have read and agreed to the published version of the manuscript.
Funding
The first author, Elena Frolova, was partially supported by JSPS Grant-in-aid for Scientific Research (A) 17H0109, and the second author, Yoshihiro Shibata, was partially supported by Top Global University Project and JSPS Grant-in-aid for Scientific Research (A) 17H0109.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Cole, G.H.A. Fluid Dynamics; Methuen: London, UK; Colchester, UK, 1962. [Google Scholar]
- Landau, L.D.; Lifshitz, E.M.; Pitaevskii, L.P. Electrodynamics of Continuous Media, 2nd ed.; Landau and Lifschitz Course of Theoretical Physcs, Elsevier: New York, NY, USA, 1984. [Google Scholar]
- Sahaev, M.; Sokonnikov, V.A. On some stationary problems of magnetohydrodynamics in general domains. Apa Nauchn. Sem. POMI 2011, 397, 126–149. [Google Scholar]
- Padula, M.; Solonnikov, V.A. On the free boundary problem of Magnetohydrodynamics. J. Math. Sci. 2011, 178, 313–344. [Google Scholar] [CrossRef]
- Shibata, Y.; Zajaczkowski, W.M. On local solutions to a free boundary problem for incompressible viscous magnetohydrodynamicsin the Lp-approach. Diss. Math. 2021, 566, 1–102. [Google Scholar]
- Denisova, I.V. Evolution of compressible and incompressible fluids separated by a closed interface. Interface Free. Bound 2000, 2, 283–312. [Google Scholar] [CrossRef]
- Padula, M.; Solonnikov, V.A. On the local solvability of free boundary problem for the Navier-Stokes equations. Probl. Mat. Anal. Tamara Razhkovskaya 2010, 50, 87–133. [Google Scholar] [CrossRef]
- Pruess, J.; Simonett, G. Moving Interfaces and Quasilinear Parabolic Evolution Equations; Birkhäuser Monographs in Mathematics, Birkhäuser: Basel, Switzerand, 2016; ISBN 978-3-319-27698-4. [Google Scholar]
- Shibata, Y. Local well-posedness of free surface problems for the Navier-Stokes equations in a general domain. Discret. Contin. Dyn. Syst. Ser. S 2016, 9, 315–342. [Google Scholar] [CrossRef]
- Shibata, Y. On the local wellposedness of free boundary problem for the Navier-Stokes equations in an exterior domain. Commun. Pure Appl. Anal. 2018, 17, 1681–1721. [Google Scholar] [CrossRef]
- Frolova, E.V.; Shibata, Y. On the maximal Lp-Lq regularity theorem of the linearized Electro-Magnetic field equatins with interface condition. J. Math. Sci. 2022, 260, 87–117. [Google Scholar] [CrossRef]
- Roberts, P.H. An Introduction to Magnetohydrodynamics; Longmans: London, UK, 1967. [Google Scholar]
- Ladyzhenskaya, O.A.; Solonnikov, V.A. Solvability of some nonstationary problems of magnetohydrodynamics for viscous incompressible fluids. Trudy Mat. Inst. Steklov 1960, 59, 155–173. (In Russian) [Google Scholar]
- Solonnikov, V.A.; Frolova, E.V. Solvability of a free boundary problem of magnetohydrodynamics in an infinite time intergal. Zap. Nauchn. Semi. POMI 2013, 410, 131–167. [Google Scholar]
- Solonnikov, V.A. Lp-theory free boundary problems of magnetohydrodynamics in simply connected domains. Proc. St. Petersburg Math. Soc. 2014, 15, 245–270. [Google Scholar]
- Solonnikov, V.A. Lp-theory of free boundary problems of magnetohydrodynamics in simply connected domains. In Proceedings of the St. Petersburg Mathematical Society, Volume XV: Advances in Mathematical Analysis of Partial Differential Equations (American Mathematical Society Translations Series 2); American Mathematical Society: Providence, RI, USA, 2014; Volume 232, pp. 245–270. [Google Scholar]
- Kacprzyk, P. Local free boundary problem for incompressible magnetohydrodynamics. Diss. Math. 2015, 509, 1–52. [Google Scholar] [CrossRef]
- Kacprzyk, P. Global free boundary problem for incompressible magnetohydrodynamics. Diss. Math. 2015, 510, 1–44. [Google Scholar] [CrossRef]
- Oishi, K.; Shibata, Y. Local Well-Posedness for Free Boundary Problem of Viscous Incompressible Magnetohydrodynamics. Mathematics 2021, 9, 461. [Google Scholar] [CrossRef]
- Solonnikov, V.A. Lectures on evolution free boundary problems: Classical solutions. In Mathematical Aspects of Evolving Interfaces (Funchal, 2000); Lecture Notes in Math; Springer: Berlin/Heidelberg, Germany, 2003; Volume 1812, pp. 123–175. [Google Scholar]
- Shibata, Y.; Saito, H. Global Well-Posedness for Incompressible-Incompressible Two Phase Problem; Fluids under Pressure, Book Series: Advances in Mathematical Fluid Mechanics; Bodnar, T., Galdi, G.P., Necasova, S., Eds.; Springer: Berlin/Heidelberg, Germany, 2020. [Google Scholar]
- Palencia, J.L.D.; Rahman, S.U.; Hanif, S. Regularity criteria for a two dimensional Erying-Powell fluid flowing in a MHD porous medium. Electr. Res. Arch. 2022, 30, 3949–3976. [Google Scholar] [CrossRef]
- Rahman, S.U.; Palencia, J.L.D.; Tariq, N.; Sánchez, P.S.; Gonzalez, A.J.R. Global existenc of bounded solutions for Eyring-Powell flow in a semi-infinite rectangular conduct. Axionms 2022, 11, 625. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).