- Research
- Open access
- Published:
On effect of surface tension in the Rayleigh–Taylor problem of stratified viscoelastic fluids
Boundary Value Problems volume 2019, Article number: 156 (2019)
Abstract
In this article, we investigate the effect of surface tension in the Rayleigh–Taylor (RT) problem of stratified incompressible viscoelastic fluids. We prove that there exists an unstable solution to the linearized stratified RT problem with a largest growth rate Λ under the instability condition (i.e., the surface tension coefficient ϑ is less than a threshold \(\vartheta _{c}\)). Moreover, for this instability condition, the largest growth rate \(\varLambda _{\vartheta }\) decreases from a positive constant to 0, when ϑ increases from 0 to \(\vartheta _{c}\), which mathematically verifies that the internal surface tension can constrain the growth of the RT instability during the linear stage.
1 Introduction
It is well known that the equilibrium state of the heavier fluid on top of the lighter one under the gravity is unstable to sustain a small disturbance. In this process, the unstable disturbance will grow and lead to a release of potential energy. Since Rayleigh [40] and then Taylor [43] first studied this phenomenon, we call it the Rayleigh–Taylor (RT) instability. In the last decades, it has been also widely investigated how the RT instability evolves under the effects of other physical factors, such as elasticity [4, 11, 27, 29, 42, 46], rotation [3, 6, 45], internal surface tension [9, 16, 24, 48], magnetic fields [5, 17, 19,20,21,22,23, 25, 26], and so on. We also refer to the other related mathematical problems [1, 12, 13, 30, 32,33,34, 36, 38, 41]. In this article, we consider the effect of surface tension on the linear RT instability for stratified viscoelastic fluids defined on a horizontally periodic domain in the presence of a uniform gravitational field. Before stating our main results, we shall introduce the relevant mathematical progress in the stratified RT problem in detail.
To begin with, let us recall the RT problem of stratified viscoelastic incompressible fluids in an infinity layer domain [27]:
Next we further explain some notations in the above (stratified) VRT problem (1.1).
The notations \(f_{+}\) and \(f_{-}\) in (1.1) denote the values of the quantity f in the upper and lower fluids, respectively. The superscript T denotes the transposition, and the notation \(f^{0}\) denotes the initial data of f. In this paper, we consider that the domain Ω occupied by the two fluids is horizontal periodic, and thus we denote
where \(\mathbb{T}:=\mathbb{T}_{1}\times \mathbb{T}_{2}\), \(\mathbb{T} _{i}=2\pi L_{i}(\mathbb{R}/\mathbb{Z})\), and \(2\pi L_{i}\) (\(i=1,2\)) are the periodicity lengths. For each given \(t>0\), \(d:=d(x_{h},t): \mathbb{T}\mapsto (-h_{-},h_{+})\) is a height function of a point at the interface of stratified viscoelastic fluids. \(\varSigma (t)\) is a set of interface, and it is defined as follows:
Moreover, we also have the following expressions:
For given \(t>0\), \(v_{\pm }(x,t):\varOmega _{\pm }(t)\mapsto \mathbb{R} ^{3}\), \(p_{\pm }(x,t):\varOmega _{\pm }(t)\mapsto \mathbb{R}\), and \(U_{\pm }(x,t):\varOmega _{\pm }(t)\mapsto \mathbb{R}^{9}\) are the velocities, the pressures, and the deformation tensor (a \(3\times 3\) matrix-valued function) of fluids. Moreover, the stress tensors enjoy the following expression:
where \(p^{g}_{\pm }:=p_{\pm } +g\rho _{\pm }x_{3}\), \(\mathbb{D}v_{ \pm }:=\nabla v_{\pm }+\nabla v^{\mathrm{T}}_{\pm }\) and I denotes the \(3\times 3\) identity matrix. \(\rho _{\pm }\) are the density constants, \(U_{\pm }\) are the deformation tensor (a \(3\times 3\) matrix-valued function), and the constants \(\mu _{\pm }\) and \(\kappa _{\pm }\) denote the shear viscosity coefficients and the elasticity coefficients of the two fluids, resp. g and ϑ represent the gravitational constant and the surface tension coefficient, resp. For a function f defined on \(\varOmega (t)\), we define \([\!\![f_{\pm }]\!\!]:=f_{+}| _{ \varSigma (t)}-f_{-}| _{\varSigma (t)}\), where \(f_{\pm }| _{\varSigma (t)}\) are the traces of the quantities \(f_{\pm }\) on \(\varSigma (t)\). ν is the unit outer normal vector at boundary \(\varSigma (t)\) of \(\varOmega _{-}(t)\), and \(\mathcal{C}\) is the twice of mean curvature of the internal surface \(\varSigma (t)\), i.e.,
Finally, we briefly explain the physical meaning of each identity in (1.1). The equations (1.1)1–(1.1)2 describe the motion of the upper heavier and lower lighter fluids driven by the gravitational field along the negative \(x_{3}\)-direction, which occupy the two time-dependent disjoint open subsets \(\varOmega _{+}(t)\) and \(\varOmega _{-}(t)\) at time t, respectively. We call (1.1)1 the momentum equation and (1.1)2 the deformation equation. Since the fluids are incompressible, we naturally pose the divergence-free condition (1.1)3. The two fluids interact with each other by the motion equation of a free interface (1.1)4 and the interfacial jump conditions in (1.1)5. The first jump condition in (1.1)5 represents that the velocity is continuous across the interface. The second jump condition in (1.1)5 represents that the jump in the normal stress is proportional to the mean curvature of the surface multiplied by the normal to the surface [31, 50]. The non-slip boundary condition of the velocities on both upper and lower fixed flat boundaries are described by (1.1)6, and (1.1)7–(1.1)8 represent the initial status of the two fluids.
Problem (1.1) enjoys an equilibrium state (or rest) solution: \((v,d,U,p^{g})=(0,\bar{d},I,\bar{p}^{g})\), where \(\bar{d}\in (-h_{-},h _{+})\). We should point out that \(\bar{p}^{g}\) can be uniquely computed out by hydrostatics, which depends on the variable \(x_{3}\) and \(\rho _{\pm }\), and is continuous with respect to \(x_{3}\in (-h_{-},h _{+})\). Without loss of generality, we assume that \(\bar{d}=0\) in this article. If d̄ is not zero, we can adjust the \(x_{3}\) co-ordinate to make \(\bar{d}=0\). Thus d can be regarded as the displacement away from the plane
In order to simplify the representation of problem (1.1), we introduce the indicator function
and denote
Now, we denote the perturbation quantity around the equilibrium state \((0,0,I,\bar{p}^{g})\) by
Then we have a VRT problem in a perturbation form:
where \(\varSigma ^{+}_{-}:=\varSigma _{-}\cup \varSigma _{+}\), and we omitted the subscript ± in the above problem for simplicity. Thus a zero solution is an equilibrium-state solution of the above perturbation VRT problem.
It is well known that the movement of the free interface \(\varSigma (t)\) and the subsequent change of the domains \(\varOmega _{\pm }(t)\) in Eulerian coordinates will result in severe mathematical difficulties. In order to circumvent such difficulties, we shall adopt the transformation method of Lagrangian coordinates so that the interface and the domains stay fixed in time. In addition, the VRT problem in Lagrangian coordinate has better mathematical structure.
To this end, we define the fixed Lagrangian domains \(\varOmega _{+}:= \mathbb{T}\times (0,h_{+})\) and \(\varOmega _{-}:=\mathbb{T}\times (-h_{-},0)\), and assume that there exist invertible mappings
such that
and
The first condition in (1.6) means that the initial interface \(\varSigma (0)\) is parameterized by the mapping \(\zeta ^{0}_{\pm }\) restricted to Σ, while the latter two conditions in (1.6) mean that \(\zeta ^{0}_{\pm }\) map the fixed upper and lower boundaries into themselves. Define the flow maps \(\zeta _{\pm }\) as the solutions to
We denote the Eulerian coordinates by \((x,t)\) with \(x=\zeta (y,t)\), whereas the fixed \((y,t)\in \varOmega \times \mathbb{R}^{+}\)stand for the Lagrangian coordinates. Here we remark that \(\varOmega := \varOmega _{+}\cup \varOmega _{-}\).
In order to switch back and forth from Lagrangian to Eulerian coordinates, we assume that \(\zeta _{\pm }(\cdot ,t)\) are invertible and \(\varOmega _{\pm }(t)=\zeta _{\pm }(\varOmega _{\pm },t)\), and since \(v_{\pm }\) and \(\zeta ^{0}_{\pm }\) are all continuous across Σ, we have \(\varSigma (t)=\zeta _{\pm }(\varSigma ,t)\). In other words, the Eulerian domains of upper and lower fluids are the image of \(\varOmega _{\pm }\) under the mappings \(\zeta _{\pm }\), and the free interface is the image of Σ under the mappings \(\zeta _{\pm }( \cdot ,t)\). In view of the non-slip boundary condition \(v_{\pm }| _{ \varSigma _{\pm }}=0\), we have
In addition, by the incompressible condition, we have
as well as initial condition (1.7), see [35, Proposition 1.4].
Now, setting \(\zeta =\zeta _{+}\chi _{\varOmega _{+}(t)}+\zeta _{-} \chi _{\varOmega _{-}(t)}\), \(\eta =\zeta -y\), and the Lagrangian unknowns
and then we can see that in Lagrangian coordinates the evolution equations for u and q read as follows:
where we have denoted
In what follows, we call problem (1.9) the transformed stratified VRT problem, and η the displacement function of particle (labeled by y).
Next, we further introduce the notations involving \(\mathcal{A}\). The matrix \(\mathcal{A}:=(\mathcal{A}_{ij})_{3\times 3}\) is defined via
where the subscript T denotes the transposition, and \(\partial _{j}\) denotes the partial derivative with respect to the jth components of variables y. The differential operator \(\nabla _{\mathcal{A}}\) is defined by
for a vector function \(w:=(w_{1},w_{2},w_{3})\), and the differential operator \(\operatorname{div}_{\mathcal{A}}\) is defined by
for a vector function \(f^{i}:=(f_{1}^{i},f_{2}^{i},f_{3}^{i})^{ \mathrm{T}}\). It should be noted that we have used the Einstein convention of summation over repeated indices. In addition, we define \(\Delta _{\mathcal{A}}X:=\operatorname{div}_{\mathcal{A}} \nabla _{ \mathcal{A}}X\).
Finally, we introduce some properties of \(\mathcal{A}\). In view of the definition of \(\mathcal{A}\) and (1.8), we see that
where \(\mathcal{A}^{\ast }_{ij}\) is the algebraic complement minor of \((i,j)\)th entry \((\partial _{j}\zeta _{i})_{3\times 3}\). Moreover, it is easy to check that \(\mathcal{A}e_{3}=\partial _{1}\zeta \times \partial _{2}\zeta \). In addition, we have
and
where \(\delta _{il}=1\) for \(i=l\) and \(\delta _{il}=0\) for \(i\neq l\).
We assume that \((u,\eta )\) is very small, then the small terms of second order (i.e., the nonlinear terms) in (1.9) could be neglected, and we thus obtain the following linearized stratified VRT problem:
where \(\Delta _{h}:=\partial _{1}^{2}+\partial _{2}^{2}\). The linearized problem is convenient to analyze in order to have an insight into the physical and mathematical mechanisms of the stratified VRT problem.
In 1953, Bellman–Pennington [2] first analyzed the inhibition of RT instability by surface tension, where the study was based on a linearized two-dimensional (2D) motion equation of stratified incompressible inviscid fluids defined on the domain \(\mathbb{T}_{1}\times (-h_{-},h_{+})\) (i.e., \(\mu =0\) in the corresponding 2D case of (1.13)). Moreover, they precisely proved that there exists a threshold \(g[\!\![\rho ]\!\!]L _{1}^{2}\) of surface tension coefficient for linear stability and instability of RT problem. In other words, the linear 2D stratified incompressible inviscid fluids are stable when \(\vartheta >g[\!\![\rho ]\!\!]L_{1}^{2}\), and vice versa. Similarly, in the case of three dimensions, Guo and Tice proved that \(\vartheta _{\mathrm{c}}:= { g[\!\![\rho ]\!\!]\max \{L_{1}^{2},L_{2}^{2}\} }\) is a critical value of surface tension coefficient for stability and instability in the linearized stratified compressible viscous fluids defined on Ω [9].
Next, we further introduce some mathematical progress for the nonlinear case. First, by a Henry instability method [39], Prüess and Simonett first proved that the equilibria solution of RT problem for stratified incompressible viscid fluids defined on the domain \(\mathbb{R}^{3}\) is unstable. Later, Wang, Tice, and Kim proved that, under the case of \(\vartheta >\vartheta _{\mathbb{T}} \) or \(\vartheta \in [0, \vartheta _{\mathbb{T}})\) [47, 48], the equilibria solution of RT problem for stratified incompressible viscous fluids defined on Ω is stable, resp. unstable. In addition, the same results of stability and instability have been further obtained by Jang, Wang, and Tice under the corresponding compressible case [15, 16]. More recently, under the cylindrical domain with finite height [49], Wilke also proved that the value \(\vartheta _{\mathrm{c}} \) is a threshold for the stability and instability of stratified viscous fluids (with heavier fluid over lighter fluid). Finally, as documented in [14, 18], the results of nonlinear RT instability in inhomogeneous fluid (without interface), by the classical bootstrap instability method, were obtained for inviscid and viscous cases.
2 Preliminary
2.1 Simplified notations
Before stating our main results for the linearized stratified VRT problem in detail, we shall introduce some simplified notations used throughout this paper.
(1) Basic notations: \(I_{T}:=(0,T)\). \(\mathbb{R} ^{+}:=(0,\infty )\), \(\mathbb{R}^{+}_{0}:=[0,\infty )\), and \(\overline{ \varOmega }:=\mathbb{R}^{2}\times [-h_{-},h_{+}]\). \(\nabla _{h}:=( \partial _{1},\partial _{2})^{T}\) and \(f_{h}:=(f_{1},f_{2})\). \(\partial _{h}^{\alpha }\) denote \(\partial _{1}^{\alpha _{1}}\partial _{2}^{\alpha _{2}}\) for some multiindex of order \(\alpha :=(\alpha _{1}, \alpha _{2})\) and \(\partial _{h}^{j}\) denotes \(\partial _{h}^{\alpha }\) for any α satisfying \(\vert \alpha \vert =\alpha _{1}+\alpha _{2}=j\). The jth difference quotient of size h is \(D_{j}^{h}w:=(w(y+he_{j})-w(y))/h\) for \(j=1\) and 2, and \(D_{h}^{h}w:=(D _{1}^{h}w_{1},D_{2}^{h}w_{2})\), where \(\vert h \vert \in (0,1)\), and w is defined on Ω and a locally summable function. ℜf, resp. ℑf, denotes the real, resp. imaginary, part of the complex function f. \(a\lesssim b\) means that \(a\leqslant cb\) for some constant \(c>0\), where the positive constant c may depend on the domain Ω, and known parameters such as g, \(\rho _{\pm }\), \(\mu _{\pm }\), and ϑ may vary from line to line.
(2) Simplified notations of Sobolev spaces:
where \(1< p\leqslant \infty \), and \(i\geqslant 0\) is an integer. Sometimes, we denote \(\mathcal{A}\) by \(\mathcal{A}_{\vartheta }\) to emphasize the dependence of ϑ. Moreover, to prove the existence of unstable classical solutions of a linearized VRT problem, we shall introduce a function space
where \(k\geqslant 0\) is an integer. Besides, it should be noted that \(H_{\sigma ,\vartheta }^{1,0}=H_{\sigma , \vartheta }^{1}\).
(3) Simplified norms: \(\Vert \cdot \Vert _{i} := \Vert \cdot \Vert _{W^{i,2}}\), \(\vert \cdot \vert _{s} := \Vert \cdot| _{\varSigma } \Vert _{H^{s}(\mathbb{T})}\), where s is a real number, and i is a non-negative integer.
(4) Functionals:
and
2.2 Preliminary lemmas
In this subsection, we mainly introduce some preliminary lemmas, which will be used later.
Lemma 2.1
Existence theory of a stratified (steady) Stokes problem (see [48, Theorem 3.1]): Let \(k\geqslant 0\), \(f^{\mathrm{S},1} \in H^{k}\) and \(f^{\mathrm{S},2}\in H^{k+1/2}\), then there exists a unique solution \((u,q)\in H^{k+2}\times \underline{H}^{k+1}\) satisfying
Moreover,
Lemma 2.2
Difference quotients and weak derivatives: Let D be Ω or \(\mathbb{T}\).
-
(1)
Suppose \(1\leqslant p<\infty \) and \(w\in W^{1,p}(D)\). Then \(\Vert D^{h}_{\mathrm{h}} w \Vert _{L^{p}(D) }\lesssim \Vert \nabla _{\mathrm{h}}w \Vert _{L^{p}(D)}\).
-
(2)
Assume \(1< p<\infty \), \(w\in L^{p}(D)\), and there exists a constant c such that \(\Vert D^{h}_{\mathrm{h}} w \Vert _{L^{p}(D)}\leqslant c\). Then \(\nabla _{\mathrm{h}} w\in L^{p}(D)\) satisfies \(\Vert \nabla _{\mathrm{h}}w \Vert _{L^{p}(D)}\leqslant c\) and \(D^{-h_{k}}_{ \mathrm{h}} w \rightharpoonup \nabla _{\mathrm{h}}w\) in \(L^{p}(D)\) for some subsequence \(-h_{k}\to 0\).
Proof
Following the argument of [7, Theorem 3] and using the periodicity of w, we can easily get the desired conclusions. □
Lemma 2.3
Friedrichs’s inequality (see [37, Lemma 1.42]): Let \(1\leqslant p<\infty \) and D be a bounded Lipschitz domain. Let a set \(\varGamma \subset \partial D\) be measurable with respect to the \((N-1)\)-dimensional measure \({\mu }:=\mathrm{meas}_{N-1}\) defined on ∂D, and let \(\mathrm{meas}_{N-1}(\varGamma )>0\). Then
for all \(w\in W^{1,p}(D)\) satisfying that the trace of w on Γ is equal to 0 a.e. with respect to the \((N-1)\)-dimensional measure μ.
Remark 2.1
By Friedrichs’s inequality and the fact
we get Korn’s inequality
Lemma 2.4
Trace estimates:
Proof
See [28, Lemma 9.7] for (2.5). Since \(C_{\sigma }^{\infty }:=C^{\infty }_{0}(\mathbb{R}^{2}\times (-h_{-},h _{+}))\cap H_{\sigma }^{1}\) is dense in \(H^{1}_{\sigma }\), it suffices to prove that (2.6) holds for any \(w\in C_{\sigma } ^{\infty }\) by (2.5).
First, let ŵ be the horizontal Fourier transformed function of \(w\in C_{\sigma }^{\infty }\), and
Then
and \(\psi (\cdot , y_{3})\in H^{2}_{0}(-h_{-},h_{+})\), because of \(\operatorname{div} {w}=0\) and \(w| _{\varSigma _{-}^{+}}=0\). In addition,
Next, we can deduce from (2.7) that
By (2.8) and the Fubini and Parseval theorems, one has
and
where
Using (2.7), we have
which imply that
for given \(\xi \in (L^{-1}_{1}\mathbb{Z}\times L^{-1}_{2}\mathbb{Z}) \backslash \{0\}\). Employing (2.9)–(2.11) and the relation
we can obtain
Similarly, we also get
which, together with (2.12), yields the desired conclusion. This completes the proof. □
Remark 2.2
From the derivation of (2.6), we easily see that
Lemma 2.5
Negative trace estimate:
Proof
Estimate (2.14) can be derived by integration by parts and an inverse trace theorem [37, Lemma 1.47]. □
Lemma 2.6
Let X be a given Banach space with dual \(X^{*}\), and let u and w be two functions belonging to \(L^{1}((a,b),X)\). Then the following two conditions are equivalent:
-
(1)
For each test function \(\phi \in C_{0}^{\infty }(a,b)\),
$$ \int _{a}^{b} u(t)\phi '(t)\, \mathrm{d}t=- \int _{a}^{b} w(t)\phi (t) \,\mathrm{d}t. $$ -
(2)
For each \(\eta \in X^{*}\),
$$ \frac{\mathrm{d}}{\mathrm{d}t}\langle u,\eta\rangle _{X\times X^{*}}=\langle w,\eta\rangle _{X \times X^{*}}, $$in the scalar distribution sense, on \((a,b)\), where \(\langle \cdot ,\cdot\rangle _{X \times X^{*}}\) denotes the dual pair between X and \(X^{*}\).
Proof
See Lemma 1.1 in Chap. 3 in [44]. □
3 Main results
In this paper, we investigate the effect of surface tension on the linear RT instability by the linearized motion (1.13). First of all, we exploit the modified variational method of PDEs and existence theory of stratified (steady) Stokes problem to prove the existence of solutions with a largest growth rate \(\varLambda _{\vartheta }\) for (1.13) under the instability condition \(\vartheta \in [0, \vartheta _{c})\). And then, we find a new upper bound for \(\varLambda _{\vartheta }\):
where
In addition, we see from (3.1) that
In classical Rayleigh–Taylor (RT) experiments [8, 10], it has been shown that the phenomenon of that surface tension during the linear stage can restrain the instability growth, and the growth is exponential in time. Obviously, this phenomenon can be verified mathematically by the convergence behavior (3.2). Next, we shall give the definition of the largest growth rate of RT instability in the linearized stratified VRT problem.
Definition 3.1
We call \(\varLambda >0\) the largest growth rate of RT instability in the linearized stratified VRT problem (1.13) if it satisfies the following two conditions:
-
(1)
For any strong solution \((\eta , u)\in C^{0}([0,T),H^{3} \cap H^{2}_{\sigma })\cap L^{2}(I_{T},H^{3}\cap H^{3}_{\sigma })\) of the linearized stratified VRT problem with q enjoying the regularity \(q\in C^{0}([0,T),H^{1})\cap L^{2}(I_{T},H^{2})\), then we have, for any \(t\in [ 0,T)\),
$$\begin{aligned} & \bigl\Vert (\eta ,u) \bigr\Vert _{1}^{2}+ \Vert u_{t} \Vert ^{2}_{0 }+ \int _{0}^{t} \bigl\Vert u(s) \bigr\Vert ^{2}_{1}\,\mathrm{d}s\lesssim e^{2\varLambda t}\bigl( \bigl\Vert \eta ^{0} \bigr\Vert _{3}^{2}+ \bigl\Vert u ^{0} \bigr\Vert _{2}^{2}\bigr) . \end{aligned}$$(3.3) -
(2)
There exists a strong solution \((\eta , u)\) of the linearized stratified VRT problem in the form
$$ (\eta , u):=e^{\varLambda t}( \tilde{\eta }, \tilde{u} ), $$where \(( \tilde{\eta }, \tilde{u})\in H^{2}\).
Now, let us state the first main result on the existence of largest growth rate in the linearized stratified VRT problem.
Theorem 3.1
Let \(g>0\), \(\rho >0\), \(\kappa >0\), and \(\mu >0\) be given. Then, for any given
there exists an unstable solution
to the linearized stratified VRT problem (1.13), where \((w,\beta )\in H^{\infty }\) solves the boundary value problem:
with a largest growth rate \(\varLambda >0\) satisfying
Moreover,
Next we briefly introduce how to prove Theorem 3.1 by the modified variational method of PDEs and regularity theory of stratified (steady) Stokes problem. The detailed proof will be given in Sect. 4.1.
First, we assume a growing mode ansatz to the linearized problem:
for some \(\varLambda >0\). Substituting this ansatz into the linearized stratified VRT problem (1.13), we can get a spectrum problem
and then eliminating η̃ by using the first equation, we arrive at boundary value problem (3.5) for w and β. Multiplying (3.5)1 by w in \(L^{2}\), and using the formula of integral by parts and conditions (3.5)2–(3.5)5, we have
where we have defined that
From the view point of energy, if
the linearized stratified VRT problem may be unstable, otherwise stable. Obviously, the above instability condition (3.8) is equivalent to
In this article, we assume that ϑ is a constant, then we derive from (3.9) that
Under (3.10), the linearized stratified VRT problem is obviously unstable, if there exists a solution \((w,\beta )\) to boundary value problem (3.5) with \(\varLambda >0\).
To look for the unstable solution, we use a modified variational method of PDEs, and thus modify (3.5) as follows:
where \(s>0\) is a parameter. In order to emphasize the dependence of s upon α and ϑ, we will write \(\alpha (s,\vartheta )=\alpha \).
By modified problem (3.11), we can find that it enjoys the following variational identity:
Thus, by a standard variational approach, there is a maximizer \(w\in \mathcal{A} \) of the functional \(\mathcal{F}\) defined on \(\mathcal{A}\); furthermore, w is just a weak solution to (3.11) with α defined by the relation
see Proposition 4.1. Next we further use the method of difference quotients and the existence theory of the stratified (steady) Stokes problem to improve the regularity of the weak solution, and thus we can prove that \((w,\beta )\in H^{\infty }\) is a classical solution to boundary value problem (3.11), see Proposition 4.2.
In view of instability condition (3.4) and the definition of \(\alpha (s ,\vartheta )\), we can infer that, for given ϑ, the function \(\alpha (s,\cdot )\) on the variable s enjoys some good properties (see Proposition 4.3), which imply that there exists Λ satisfying the fixed-point relation
After that we obtain a nontrivial solution \((w,\beta )\in H^{\infty }\) to (3.5) with Λ defined by (3.13), and therefore the linear instability follows. Furthermore, Λ is the largest growth rate of RT instability in the linearized stratified VRT problem (see Proposition 4.4), and thus we get Theorem 3.1.
Next, we turn to introducing the second main result on the properties of largest growth rate constructed by (3.13).
Theorem 3.2
The largest growth rate \(\varLambda _{\vartheta }:=\varLambda \) in Theorem 3.1 enjoys the estimate (3.1). Moreover,
In particular, we have \(\varLambda _{\vartheta }\rightarrow 0\) as \(\vartheta \rightarrow \vartheta _{\mathrm{c}}\).
Here we briefly introduce the idea of its proof. We can find that, for fixed s, \(\alpha (\cdot ,\vartheta )\) defined by (3.12) is continuous with respect to ϑ and strictly decreases (see Proposition 4.5). Therefore, by some analysis based on the definition of continuity and the fixed-point relation (3.13), we can show that \(\varLambda _{\vartheta }:=\varLambda \) also inherits the continuity and monotonicity of \(\alpha (\cdot ,\vartheta )\). Finally, we derive (3.1) from (3.6) naturally by some estimate techniques. A more detailed proof of Theorem 3.2 will be presented in Sect. 4.2.
4 Proof of main theorems
4.1 The result of linear instability
This subsection is devoted to the proof of Theorem 3.1. First of all, we will use modified variational method to construct unstable solutions for the linearized stratified VRT problem. Guo and Tice firstly use this method for constructing unstable solutions to a class of ordinary differential equations arising from a linearized RT instability problem [9]. In this paper, we will directly apply Guo and Tice’s modified variational method to the partial differential equations (3.5), and thus obtain a linear instability result of the VRT problem by further using an existence theory of stratified Stokes problem. Next, we begin to prove Theorem 3.1 by four steps.
(1) Existence of weak solutions to the modified problem
We investigate the existence of weak solutions to the following modified problem:
where \(s>0\) is any given. In order to prove the existence of weak solutions of the above problem, we first consider the variational problem of the functional \(\mathcal{F}(\varpi ,s )\):
for given \(s>0\), where we have defined that
And we sometimes denote \(\alpha (s,\vartheta )\) and \(\mathcal{F}( \varpi ,s)\) by α (or \(\alpha (s)\)) and \(\mathcal{F}(\varpi )\) for simplicity, resp. Then we have the following conclusions.
Proposition 4.1
Let \(s>0\) be any given.
-
(1)
In variational problem (4.2), \(\mathcal{F}(\varpi )\) achieves its supremum on \(\mathcal{A}\).
-
(2)
Let w be a maximizer and \(\alpha := \sup_{\varpi \in \mathcal{A}}\mathcal{F}(\varpi ) \), then w is a weak solution of boundary problem (4.1) with given α.
Proof
Noting that
thus, by Young’s inequality and Korn’s inequality (2.4), we know that \(\{\mathcal{F}(\varpi )\}_{\varpi \in \mathcal{A}}\) has an upper bound for any \(\varpi \in \mathcal{A}\). Hence there is a maximizing sequence \(\{w^{n}\}_{n=1}^{\infty }\subset \mathcal{A}\), which satisfies \(\alpha =\lim_{n\to \infty } \mathcal{F}(w_{n})\). In addition, making use of (4.3), the fact \(\Vert \sqrt{ {\rho }}w^{n} \Vert _{0}=1\), trace estimate (2.6) and Young’s and Korn’s inequalities, we get \(\Vert w^{n} \Vert _{1}+\vartheta \vert \nabla _{\mathrm{h}}w^{n}_{3} \vert _{0} \leqslant c_{1}\) for some constant \(c_{1}\), which is independent of n. Therefore, by (4.3) and the well-known Rellich–Kondrachov compactness theorem, there exist a subsequence, still labeled by \(w^{n}\), and a function \(w\in \mathcal{A}\) such that
Using the above convergence results and the lower semicontinuity of weak convergence, we obtain
Hence, w is a maximum point of the functional \(\mathcal{F}(\varpi )\) with respect to \(\varpi \in \mathcal{A}\).
Obviously, w constructed above is also a maximum point of the functional \(\mathcal{F}(\varpi )/ \Vert \sqrt{\rho }\varpi \Vert ^{2}_{0}\) with respect to \(\varpi \in H_{\sigma , \vartheta }^{1}\). Furthermore \(\alpha = \mathcal{F}(w)/ \Vert \sqrt{\rho }w \Vert ^{2}_{0}\). Therefore, for any given \(\varphi \in H^{1}_{\sigma ,\vartheta } \), the point \(t=0\) is the maximum point of the function
Then, by computing out \(I'(0)=0\), we have the following weak form:
Notice the fact, for any \(f^{1}, f^{2} \in H^{1}\), and any matrices \(A, B\in \mathbb{R}^{3\times 3}\),
thus (4.4) is equivalent to
This shows that w is a weak solution of modified problem (4.1). □
(2) Improving the regularity of weak solution
By Proposition 4.1, we know that boundary value problem (4.1) admits a weak solution \(w\in H^{1}_{\sigma ,\vartheta }\). Next, we will further improve the regularity of w.
Proposition 4.2
Let w be a weak solution of boundary value problem (4.1), then \(w\in H^{\infty }\).
Proof
First of all, we shall establish the following preliminary conclusion:
For any \(i\geqslant 0\) , we have
and
By induction, it is obvious to see that the above assertion can reduce to verifying the following recurrence relation:
For given \(i\geqslant 0\) and any \(\varphi \in H^{1}_{\sigma , \vartheta } \), if \(w \in H^{1,i}_{\sigma ,\vartheta }\) satisfies ( 4.7 ), then
and w satisfies
Next, we use the method of difference quotients to verify the above recurrence relation.
Now, for any \(\varphi \in H^{1}_{\sigma ,\vartheta } \), we assume that \(w \in H^{1,i}_{\sigma ,\vartheta }\) satisfies (4.7). Noting that \(\partial _{\mathrm{h}}^{i}w \in H^{1}_{\sigma ,\vartheta }\), we can deduce from (4.7) that, for \(j=1\) and 2,
and
which yield that
and
resp.
By Korn’s inequality, it is easy to get that
therefore, using (4.3), Young’s inequality, and the first conclusion in Lemma 2.2, we further deduce from (4.11) that
Thus, using (4.3), trace estimate (2.6), and the second conclusion in Lemma 2.2, we can find that there exists a subsequence of \(\{-h\}_{h\in \mathbb{R}}\) (still denoted by −h) such that
Exploiting the regularity of w in (4.12) and the fact \(w\in H_{\sigma ,\vartheta }^{1,i}\), we get (4.8). Moreover, using the limit results in (4.12), we can deduce (4.9) from (4.10). This means that we have completed the proof of the recurrence relation, and thus (4.6) holds.
Now, with (4.6) in hand, we consider a stratified Stokes problem:
where \(k\geqslant 0\) is a given integer, and we have defined that
Because of regularity (4.6) of w, we see that \(\partial _{\mathrm{h}}^{k}w\in L^{2}\) and \(\partial _{\mathrm{h}}^{k} \mathcal{L}^{1} \in H^{1}(\mathbb{T})\). Using the existence theory of stratified Stokes problem (see Lemma 2.1), there is a unique strong solution \((\omega ^{k},\beta ^{k})\in H^{2}\times \underline{H}^{1}\) of the above problem (4.13).
Multiplying (4.13)1 by \(\varphi \in H^{1}_{ \sigma ,\vartheta }\) in \(L^{2}\) (i.e., taking the inner product in \(L^{2}\)), and using (4.13)2–(4.13)4 and the integration by parts, we arrive at
And then, subtracting the two identities (4.7) and (4.14) yields that
Taking \(\varphi := \partial _{\mathrm{h}}^{k} w-\omega ^{k}\in H^{1} _{\sigma ,\vartheta }\) in the above identity, and using Korn’s inequality, we see that \(\omega ^{k}= \partial _{\mathrm{h}}^{k} w\). Thus we immediately find that
which implies \(\partial _{\mathrm{h}}^{k}w\in H^{1}\), and \(\partial _{\mathrm{h}}^{k}\mathcal{L}^{1}\in H^{2}(\mathbb{T})\) for any \(k\geqslant 0\). Therefore, applying the stratified Stokes estimate (2.2) to (4.13), we obtain
By induction, it is obvious to see that we can easily follow the improving regularity method from (4.15) to (4.16) to deduce that \(w\in H^{\infty }\). Moreover, we have \(\beta :=\beta ^{0}\in H^{\infty }\); furthermore, \(\beta ^{k}\) in (4.13) is equal to \(\partial ^{k} _{\mathrm{h}}\beta \).
Finally, recalling the embedding \(H^{k+2}\hookrightarrow C^{0}(\overline{ \varOmega })\) for any \(k\geqslant 0\), it is easy to see that \((w,\beta )\) constructed above is indeed a classical solution to modified problem (4.1). □
(3) Some properties of the function \(\alpha (s)\)
Now we devote to the derivation of some properties of the function \(\alpha (s)\), which can make sure the existence of fixed point of \(\sqrt{\alpha (s)}\) in \(\mathbb{R}^{+}\).
Proposition 4.3
For given \(\vartheta \in \mathbb{R}^{+}_{0}\), we have
Proof
First, we verify (4.17). For given \(s_{2}>s_{1}\), there is \(v^{s_{2}}\in \mathcal{A}\) such that \(\alpha (s_{2}) = \mathcal{F}(v ^{s_{2}},s_{2})\). Hence, by the fact \(\Vert \sqrt{\rho }v^{s_{2}} \Vert _{0}=1\) and Korn’s inequality,
which yields (4.17).
Then we turn to proving (4.18). Choosing a bounded interval \([c_{4},c_{5}]\subset (0,\infty )\), then, for any \(s\in [c _{4},c_{5}] \), there is a function \(v^{s}\) satisfying \(\alpha (s)= \mathcal{F}(v^{s},s)\). Hence, by monotonicity (4.17), we arrive at
which yields
Therefore, for any \(s_{1}, s_{2}\in [c_{4},c_{5}]\),
and
which immediately imply \(\vert \alpha (s_{1})-\alpha (s_{2}) \vert \leqslant \xi \vert {s_{2}}-s_{1} \vert \). Hence (4.18) holds.
Finally, we can infer (4.19) from the definition of α by using Korn’s inequality and (4.3), while (4.20) can obviously get from the definition of α and (3.8). □
(4) Construction of an interval for fixed point
To begin with, let \(\mathfrak{I}:=\sup \{\text{all the real constant }s, \text{which satisfy that }\alpha ( \tau )>0\text{ for any }\tau \in (0,s)\}\). By (4.19) and (4.20), it is clear that \(\mathfrak{I}\in \mathbb{R}^{+}\). In addition, \(\alpha (s)>0\) for any \(s\in (0,\mathfrak{I})\), and, by the continuity of \(\alpha (s)\), we have
Applying the upper boundedness and the monotonicity of \(\alpha (s)\), we see that
Then, using (4.21), (4.22), and the continuity of \({\alpha }(s)\) on \((0,\mathfrak{I})\), we immediately find by a fixed-point argument on \((0,\mathfrak{I})\) that there exists a unique \(\varLambda \in (0,\mathfrak{I})\) satisfying
Hence, we get a classical solution \((w,\beta ) \in H^{\infty }\) to boundary problem (3.5) with Λ constructed by (4.23). Furthermore, it is easy to see that
and (3.7) directly follows (4.24) and the fact \(w\in H_{\sigma }^{1}\).
Next, we shall prove that Λ constructed in the above is the largest growth rate of RT instability in the linearized stratified VRT problem, and thus complete the proof of Theorem 3.1.
Proposition 4.4
Under the assumptions of Theorem 3.1, \(\varLambda >0\) constructed by (4.23) is the largest growth rate of RT instability in the linearized stratified VRT problem.
Proof
According to the definition of largest growth rate, it suffices to prove that Λ enjoys the first condition in Definition 3.1.
First, let u be a strong solution to the linearized stratified VRT problem. Then we can get that, for a.e. \(t\in I_{T}\) and all \(w\in H_{\sigma }^{1}\),
Thus,
Exploiting regularity of \((\eta ,u)\), we can see that the right-hand side of (4.26) is bounded above by \(A(t)( \Vert w \Vert _{1}+ \vert w \vert _{1})\) for some positive function \(A(t)\in L^{2}(I _{T})\). Then there exists \(f\in L^{2}(I_{T}, H^{-1}_{\sigma })\) such that, for a.e. \(t\in I_{T}\),
Therefore, it follows from Lemma 2.6 that
Moreover, using the classical regularization method (referring to Theorem 3 in Chap. 5.9 in [7] and Lemma 6.5 in [37]), we get
Thus, we can derive from the above two identities and (4.27) that
Next, integrating the above identity in time from 0 to t yields that
Applying Newton–Leibniz’s formula and Young’s inequality, we can find that
In addition, by (3.6), we arrive at
Therefore, we deduce from (4.28)–(4.30) that
According to
we further derive the differential inequality from (4.31) as follows:
Applying Gronwall’s inequality [37, Lemma 1.2] to the above inequality, we obtain
which, together with (4.31), yields
And then, multiplying (1.13)2 by \(u_{t}\) in \(L^{2}\) and using integration by parts, we have
Using (2.14), we can estimate that
Moreover, exploiting (1.13)5 and trace estimate (2.6), we obtain
Applying the above two estimates, we can infer from (4.34) that
which implies that
By Korn’s inequality and the above estimate, we deduce from (4.32) and (4.33) that
Finally, from (1.13)1 we arrive at
From the two estimates above, we immediately see that Λ satisfies the first condition in Definition 3.1. The proof is completed. □
4.2 The effect of surface tension
In this subsection, to prove Theorem 3.2, we shall further derive relations (3.1) and (3.14) of surface tension coefficient and the largest growth rate. And in order to emphasize the dependence of Λ and \(\mathcal{M}\) upon ϑ, we will denote them by \(\varLambda _{\vartheta }\) and \(\mathcal{M}_{\vartheta }\), respectively. To this end, we need the following auxiliary conclusions (i.e., the properties of \(\alpha (s, \vartheta )\) with respect to ϑ).
Proposition 4.5
Let \(g>0\), \(\rho >0\), and \(\mu >0\) be given.
-
(1)
Strict monotonicity: if \(\vartheta _{1}\) and \(\vartheta _{2}\) are constants satisfying \(0\leqslant \vartheta _{1}<\vartheta _{2}\), then
$$ \alpha (s,\vartheta _{2})< \alpha (s,\vartheta _{1}) $$(4.35)for any given \(s>0\). Moreover, if \(\vartheta _{2}\) further satisfies \(\vartheta _{2}<\vartheta _{\mathrm{c}}\),
$$ \mathcal{M}_{\vartheta _{\mathrm{1}}}>\mathcal{M}_{\vartheta _{ \mathrm{2}}}, $$(4.36)where
$$ \mathcal{M}_{\vartheta _{i}}:=\sup \bigl\{ s\in \mathbb{R}\mid \alpha (\tau , \vartheta _{i})>0\textit{ for any } \tau \in (0,s)\bigr\} \quad \textit{and}\quad \alpha (\mathcal{M}_{\vartheta _{i}}, \vartheta _{i})=0. $$(4.37) -
(2)
Continuity: for given \(s>0\), \(\alpha (s,\vartheta )\in C ^{0,1}_{\mathrm{loc}}(\mathbb{R}^{+})\) with respect to the variable ϑ.
Proof
(1) To begin with, let \(s>0\) be fixed, and \(0\leqslant \vartheta _{1}< \vartheta _{2}\). Then there exist functions \({w}^{\vartheta _{i}} \in H^{\infty }\cap \mathcal{A}_{\vartheta _{i}}\), \(i=1,2\), such that
where \({E}( {w}^{\vartheta _{i}}):=g[\!\![\rho ]\!\!]\vert {w}^{\vartheta _{i}}_{3} \vert _{0}^{2} -{s} \Vert \sqrt{\mu } \mathbb{D} {w} ^{\vartheta _{i}} \Vert _{0}^{2}/2- \Vert \sqrt{\kappa \rho } \mathbb{D} {w} ^{\vartheta _{i}} \Vert _{0}^{2}/2\). Since \({w}^{\vartheta _{i}}\in \mathcal{A}_{\vartheta _{i}}\), due to (3.7), we get
and thus we have
Therefore, we immediately get the desired conclusion (4.35).
Next, we begin to prove (4.36) by contradiction. If \(\mathcal{M}_{\vartheta _{\mathrm{1}}}<\mathcal{M}_{\vartheta _{ \mathrm{2}}}\), then we can get from the strict monotonicity of \(\alpha (s,\cdot )\) with respect to s and (4.35) that
which is a paradox. If \(\mathcal{M}_{\vartheta _{\mathrm{1}}}= \mathcal{M}_{\vartheta _{\mathrm{2}}}\), using (4.35), we arrive at
which is also a paradox. This yields the desired conclusion.
(2) Let \(s>0\) be fixed. We first choose a bounded interval \([b_{1},b _{2}]\subset \mathbb{R}^{+}\). Then, for any given \(\theta \in [ b_{1},b _{2}]\), there exists a function \({w}^{\theta }\in \mathcal{A}_{ \vartheta }\) satisfying \(\alpha (s,\theta )={E}( {w}^{\theta }) - \theta \vert \nabla _{\mathrm{h}} {w}_{3}^{\theta } \vert _{0}^{2}\). Thus, considering the monotonicity of \(\alpha (\cdot ,\theta )\), we easily know that
which yields
Therefore, for any \(\vartheta _{1}\), \(\vartheta _{2}\in [b_{1},b_{2}]\),
Reversing the role of indices 1 and 2 in the derivation of the above inequality, we can obtain the same boundedness with the indices switched. Thus, we derive that
which yields \(\alpha (s,\vartheta )\in C^{0,1}_{\mathrm{loc}}( \mathbb{R}^{+})\). The proof is completed. □
By Proposition 4.5, we have finished the proof of properties of \(\alpha (s,\vartheta )\) with respect to ϑ. Next, we will complete the proof of Theorem 3.2 in three steps.
(1) The monotonicity of \(\varLambda _{\vartheta }\) with respect to the variable \(\vartheta \in [0, \vartheta _{\mathrm{c}})\).
First, for given two constants \(\vartheta _{1}\) and \(\vartheta _{2}\) satisfying \(0\leqslant \vartheta _{1}<\vartheta _{2}< \vartheta _{ \mathrm{c}}\), there exist two associated curve functions \(\alpha (s, \vartheta _{1})\) and \(\alpha (s,\vartheta _{2})\) defined in \((0, \vartheta _{\mathrm{c}})\). Then, from the first assertion in Proposition 4.5, we know that
Through the analysis, we can see that the fixed point \(\varLambda _{\vartheta _{i}}\) satisfying \(\varLambda _{\vartheta _{i}}=\sqrt{ \alpha (\varLambda _{\vartheta _{i}})}\) can be obtained from the intersection point of the two curves \(y=\sqrt{\alpha (s,\vartheta _{i})}\) and \(y=s\) on \((0,\mathcal{M}_{\vartheta _{i}})\) for \(i=1\) and 2. Therefore, we can immediately obtain the monotonicity
(2) The continuity of \(\varLambda _{\vartheta }\).
In order to prove the continuity of \(\varLambda _{\vartheta }\), we first need to choose a constant \(\vartheta _{0}>0\) and an associated function \(\alpha (s,\vartheta _{0})\). Noting that \(\alpha (\varLambda _{\vartheta _{0}},\vartheta _{0})=\varLambda ^{2}_{\vartheta _{0}}>0\) and \(\alpha ( \cdot ,\vartheta )\in C^{0,1}_{\mathrm{loc}}[0,\vartheta _{\mathrm{c}})\) are continuous and strictly decreasing with respect to ϑ, thus, for any given \(\varepsilon >0\), there is a constant \(\delta >0\) such that
and
Therefore, from the above two inequalities, we have
According to the monotonicity of \(\varLambda _{\vartheta }\) with respect to ϑ, we arrive at
Thus, by the monotonicity of \(\alpha (s,\cdot )\) with respect to s, we get
and
Chaining the five inequalities above, we immediately obtain
Then, for any \(\vartheta \in (\vartheta _{0}-\delta ,\vartheta _{0}+ \delta )\), we have \(\varLambda _{\vartheta _{0}}-\varepsilon < \varLambda _{\vartheta }<\varLambda _{\vartheta _{0}}+\varepsilon \). Therefore,
Now, we consider the limit of \(\varLambda _{\vartheta }\) as \(\vartheta \to 0\). For any \(\varepsilon >0\), there is \({w}\in \mathcal{A}_{0} \) such that
Moreover,
Therefore, using (3.6), (4.41), and (4.42), there is a sufficiently small constant \(\vartheta _{1}\in (0,\vartheta _{\mathrm{c}})\) such that, for any \(\vartheta \in (0,\vartheta _{1})\),
Hence, we have
which, together with (4.40), yields that
(3) The upper bound ( 3.1 ) of \(\varLambda _{\vartheta }\).
According to the definition of \(\vartheta _{\mathrm{c}}\), we can deduce from (3.10) that
Thus, by (3.6), for any given \(\vartheta \in [0, \vartheta _{\mathrm{c}})\), there is \({w}^{\vartheta }\in \mathcal{A} _{\vartheta }\) such that
which yields that
Making use of (2.3) and trace estimate (2.6), we can easily estimate that
Similarly, we also have
By the above two estimates, we deduce from (4.45) that
which yields that
Noting that \(\Vert \sqrt{\rho }{w}^{\vartheta } \Vert _{0}=1\), then, by (2.13),
Putting the above estimate into (4.45), and then applying Young’s inequality, we obtain
which yields that
Similarly, we also have
Summing up the above two estimates, we can immediately get that
which, together with (4.46), yields that
Hence, we complete the proof of Theorem 3.2 from (4.39), (4.44), and (4.50).
5 Conclusion
In this paper, we investigate the effect of surface tension in the Rayleigh–Taylor (RT) problem of stratified incompressible viscoelastic fluids. We prove that there exists an unstable solution to the linearized stratified RT problem with a largest growth rate Λ under the instability condition (i.e., the surface tension coefficient ϑ is less than a threshold \(\vartheta _{c}\)). Moreover, for this instability condition, the largest growth rate \(\varLambda _{\vartheta }\) decreases from a positive constant to 0, when ϑ increases from 0 to \(\vartheta _{c}\), which mathematically verifies that the internal surface tension can constrain the growth of the RT instability during the linear stage.
References
Antontsevv, S., Shmarev, S.: On a class of fully nonlinear parabolic equations. Adv. Nonlinear Anal. 8(1), 79–100 (2019)
Bellman, R., Pennington, R.: Effects of surface tension and viscosity on Taylor instability. Q. Appl. Math. 12, 151–162 (1954)
Chandrasekhar, S.: Hydrodynamic and Hydromagnetic Stability. The International Series of Monographs on Physics. Clarendon, Oxford (1961)
Chen, Y.P., Wang, W.W., Zhao, Y.Y.: On effects of elasticity and magnetic fields in the linear Rayleigh–Taylor instability of stratified fluids. J. Inequal. Appl. 2018, Article ID 203 (2018)
Duan, R., Jiang, F., Jiang, S.: On the Rayleigh–Taylor instability for incompressible, inviscid magnetohydrodynamic flows. SIAM J. Appl. Math. 71(6), 1990–2013 (2011)
Duan, R., Jiang, F., Yin, J.P.: Rayleigh–Taylor instability for compressible rotating flows. Acta Math. Sci. Ser. B Engl. Ed. 35(6), 1359–1385 (2015)
Evans, L.C.: Partial Differential Equations. Am. Math. Soc., Providence (1998)
Garnier, J., Cherfils-Clérouin, C., Holstein, P.A.: Statistical analysis of multimode weakly nonlinear Rayleigh–Taylor instability in the presence of surface tension. Phys. Rev. E 68, 036401 (2003)
Guo, Y., Tice, I.: Linear Rayleigh–Taylor instability for viscous, compressible fluids. SIAM J. Math. Anal. 42, 1688–1720 (2011)
Haan, S.W.: Weakly nonlinear hydrodynamic instabilities in inertial fusion. Phys. Fluids, B Plasma Phys. 3, 2349 (1991)
Huang, G.J., Jiang, F., Wang, W.W.: On the nonlinear Rayleigh–Taylor instability of nonhomogeneous incompressible viscoelastic fluids under \(L^{2}\)-norm. J. Math. Anal. Appl. 455(2), 873–904 (2017)
Huang, M.X., Shao, Z.Q.: Riemann problem for the relativistic generalized Chaplygin Euler equations. Commun. Pure Appl. Anal. 15(1), 127–138 (2016)
Huang, M.X., Shao, Z.Q.: Riemann problem with delta initial data for the relativistic Chaplygin Euler equations. J. Appl. Anal. Comput. 6(2), 376–395 (2016)
Hwang, H.J., Guo, Y.: On the dynamical Rayleigh–Taylor instability. Arch. Ration. Mech. Anal. 167, 235–253 (2003)
Jang, J., Tice, I., Wang, Y.J.: The compressible viscous surface-internal wave problem: nonlinear Rayleigh–Taylor instability. Arch. Ration. Mech. Anal. 221, 215–272 (2016)
Jang, J., Tice, I., Wang, Y.J.: The compressible viscous surface-internal wave problem: stability and vanishing surface tension limit. Commun. Math. Phys. 343, 1039–1113 (2016)
Jiang, F.: On effects of viscosity and magnetic fields on the largest growth rate of linear Rayleigh–Taylor instability. J. Math. Phys. 57(11), 111503 (2016)
Jiang, F., Jiang, S.: On instability and stability of three-dimensional gravity driven viscous flows in a bounded domain. Adv. Math. 264, 831–863 (2014)
Jiang, F., Jiang, S.: On linear instability and stability of the Rayleigh–Taylor problem in magnetohydrodynamics. J. Math. Fluid Mech. 17, 639–668 (2015)
Jiang, F., Jiang, S.: On magnetic inhibition theory in non-resistive magnetohydrodynamic fluids. Arch. Ration. Mech. Anal. 233(2), 749–798 (2018)
Jiang, F., Jiang, S.: On the stabilizing effect of the magnetic fields in the magnetic Rayleigh–Taylor problem. SIAM J. Math. Anal. 50, 491–540 (2018)
Jiang, F., Jiang, S.: Nonlinear stability and instability in the Rayleigh–Taylor problem of stratified compressible MHD fluids. Calc. Var. Partial Differ. Equ. 58(1), Article ID 29 (2019)
Jiang, F., Jiang, S.: On the dynamical stability and instability of Parker problem. Physica D 391, 17–51 (2019)
Jiang, F., Jiang, S., Wang, W.W.: On the Rayleigh–Taylor instability for two uniform viscous incompressible flows. Chin. Ann. Math., Ser. B 35, 907–940 (2014)
Jiang, F., Jiang, S., Wang, W.W.: Nonlinear Rayleigh–Taylor instability in nonhomogeneous incompressible viscous magnetohydrodynamic fluids. Discrete Contin. Dyn. Syst., Ser. S 9, 1853–1898 (2016)
Jiang, F., Jiang, S., Wang, Y.J.: On the Rayleigh–Taylor instability for the incompressible viscous magnetohydrodynamic equations. Commun. Partial Differ. Equ. 39, 399–438 (2014)
Jiang, F., Jiang, S., Wu, G.C.: On stabilizing effect of elasticity in the Rayleigh–Taylor problem of stratified viscoelastic fluids. J. Funct. Anal. 272, 3763–3824 (2017)
Jiang, F., Jiang, S., Zhan, W.C.: Instability of the abstract Rayleigh–Taylor problem and applications (2018). arXiv:1811.11610
Jiang, F., Wu, G.C., Zhong, X.: On exponential stability of gravity driven viscoelastic flows. J. Differ. Equ. 260, 7498–7534 (2016)
Jiang, Y., Li, X.J., Zhao, Y.Y.: On the stability of Rayleigh–Taylor problem for stratified rotating viscoelastic fluids. Bound. Value Probl. 2018, 122 (2018)
Le Meur, V.J.H.: Well-posedness of surface wave equations above a viscoelastic fluid. J. Math. Fluid Mech. 13, 481–514 (2011)
Li, H.H., Shao, Z.Q.: Delta shocks and vacuum states in vanishing pressure limits of solutions to the relativistic Euler equations for generalized Chaplygin gas. Commun. Pure Appl. Anal. 15(6), 2373–2400 (2016)
Liu, X.L., Song, F.Y., Xu, C.J.: An efficient spectral method for the inextensible immersed interface in incompressible flows. Commun. Comput. Phys. 25(4), 1071–1096 (2019)
Luo, Z., Gao, J.: Stabilized mixed finite element model for the 2D nonlinear incompressible viscoelastic fluid system. Bound. Value Probl. 2017, 56 (2017)
Majda, A.J., Bertozzi, A.L.: Vorticity and Incompressible Flow. Cambridge University Press, Cambridge (2002)
Nguyen, H.M.: Superlensing using complementary media and reflecting complementary media for electromagnetic waves. Adv. Nonlinear Anal. 7(4), 449–467 (2018)
Novotnỳ, A., Straškraba, I.: Introduction to the Mathematical Theory of Compressible Flow. Oxford University Press, London (2004)
Papageorgiou, N.S., Radulescu, V.D., Repovs, D.D.: Nonlinear Analysis—Theory and Methods. Springer Monographs in Mathematics. Springer, Cham (2019)
Prüess, J., Simonett, G.: On the Rayleigh–Taylor instability for the two-phase Navier–Stokes equations. Indiana Univ. Math. J. 59, 1853–1871 (2010)
Rayleigh, L.: Investigation of the character of the equilibrium of an incompressible heavy fluid of variable density. Sci. Pap. II, 200–207 (1990)
Su, Y.H., Chen, L.Z., Li, X.J., Xu, C.J.: On the inf–sup constant of a triangular spectral method for the Stokes equations. Comput. Methods Appl. Math. 16(3), 507–522 (2016)
Tan, Z.D., Wang, W.W.: Instability solutions for the Rayleigh–Taylor problem of non-homogeneous viscoelastic fluids in bounded domains. J. Math. Anal. Appl. 476(2), 773–800 (2019)
Taylor, G.I.: The stability of liquid surface when accelerated in a direction perpendicular to their planes. Proc. R. Soc. A 201, 192–196 (1950)
Temam, R.: Navier–Stokes Equations: Theory and Numerical Analysis. North-Holland, Amsterdam (1984)
Wang, W.W., Zhao, Y.Y.: Time-decay solutions of the initial-boundary value problem of rotating magnetohydrodynamic fluids. Bound. Value Probl. 2017, Article ID 114 (2017)
Wang, W.W., Zhao, Y.Y.: On the Rayleigh–Taylor instability in compressible viscoelastic fluids. J. Math. Anal. Appl. 463(1), 198–221 (2018)
Wang, Y., Tice, I.: The viscous surface-internal wave problem: nonlinear Rayleigh–Taylor instability. Commun. Partial Differ. Equ. 37, 1967–2028 (2012)
Wang, Y.J., Tice, I., Kim, C.: The viscous surface-internal wave problem: global well-posedness and decay. Arch. Ration. Mech. Anal. 212, 1–92 (2014)
Wilke, M.: Rayleigh–Taylor instability for the two-phase Navier–Stokes equations with surface tension in cylindrical domains (2017). arXiv:1703.05214v1 [math.AP], 15 Mar 2017
Xu, L., Zhang, P., Zhang, Z.F.: Global solvability of a free boundary three-dimensional incompressible viscoelastic fluid system with surface tension. Arch. Ration. Mech. Anal. 208, 753–803 (2013)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
No funding.
Author information
Authors and Affiliations
Contributions
This work was carried out in collaboration between both authors. XX designed the study and guided the research. XM performed the analysis and wrote the first draft of the manuscript. XX and XM managed the analysis of the study. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
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 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
Ma, X., Xiong, X. On effect of surface tension in the Rayleigh–Taylor problem of stratified viscoelastic fluids. Bound Value Probl 2019, 156 (2019). https://doi.org/10.1186/s13661-019-1271-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1271-4