Abstract
We consider a phase-field model for a mixture of two immiscible, incompressible porous media flow including surface tension effects. At micro-scale, the model comprises a strongly coupled system of Stokes–Cahn–Hilliard equations. An evolving diffuse interface having finite width independent of the scale parameter \( \varepsilon \) is separating the fluids in the considered model. In order to investigate the well-posedness of system at micro-scale, we first derived some a-priori estimates. With the help of two-scale convergence and unfolding operator technique we rigorously derived the homogenized equations for the microscopic model. For our purpose, we have used extensions theorems and well-known theories available in the literature beforehand.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
- Phase-field model
- Porous media flow
- Stokes equations
- Cahn–Hilliard equations
- Existence of solution
- Homogenization
- Asymptotic expansion method
- Two-scale convergence
- Periodic unfolding
1 Introduction
We study a binary-fluid model where the considered fluids are incompressible and immiscible. The domain \(U \subset \mathbb {R}^n\), \( n = 2, 3\) is occupied by the binary-fluid mixture. On the time interval \(S = ( 0 , T )\), the model comprises a system of steady Stokes–Cahn–Hilliard equations
where \(\textbf{u}\) and w are the unknown velocity and chemical potential, respectively. \(\mu \) is the viscosity and \(\lambda \) is the interfacial width parameter. Here c represents microscopic concentration of one of the fluids with values lying in the interval \([-1, 1]\) in the considered domain and \((-1, 1)\) within the thin diffused interface of uniform width proportional to \(\lambda \). The term \(f(c) = F^{\prime }(c)\), where F is a homogeneous free energy functional that penalizes the deviation from the physical constraint \(|c| \le 1\). In our work, we consider F to be a quadratic double-well free energy functional, i.e., \(F(s) = \frac{1}{4} (s^2 - 1)^2 \). One can choose F as a logarithmic or a non-smooth (obstacle) free energy functional, cf. [3, 4]. The nonlinear term \(c \nabla w\) in (1.1a) models the surface tension effects, and the advection effect is modeled by the term \( \textbf{u} \cdot \nabla c \) in (1.1c). The system (1.1a)-(1.1d) represent the steady Stokes equations for incompressible fluid and Cahn–Hilliard equations, respectively.
1.1 The Model
We consider U as a bounded domain with a sufficiently smooth boundary \(\partial U\) in \(\mathbb {R}^n \), \(n = 2,3\), \(S:=(0,T)\) denotes the time interval for any \(T>0\), and the unit reference cell \(Y :=(0,1)^n \subset \mathbb {R}^n\). \(Y_p\) and \(Y_s\) represent the pore and solid part of Y, respectively, which are mutually distinct, i.e., \(Y_s \cap Y_p = \emptyset \), also \(Y = Y_p \cup Y_s \). The solid boundary of Y is denoted as \(\Gamma _s = \partial Y_s\), see Fig. 1. The domain U is assumed to be periodic and is covered by a finite union of the cells Y. In order to avoid technical difficulties, we postulate that: solid parts do not touch the boundary \(\partial U\), solid parts do not touch each other and solid parts do not touch the boundary of Y. Let \(\varepsilon > 0\) be the scale parameter. We define the pore space \(U_p ^ \varepsilon :=\bigcup _{\textbf{k} \in {\mathbb {Z}}^n} Y_{p_k} \cap U \), the solid part as \(U^{\varepsilon }_s :=\bigcup _{\textbf{k} \in {\mathbb {Z}}^n} Y_{s_k} \cap U = U \backslash U_p^{\varepsilon }\) and \(\Gamma ^{\varepsilon } :=\bigcup _{\textbf{k} \in {\mathbb {Z}}^n} \Gamma _{s_k}\), where \(Y_{p_k} :=\varepsilon {Y_p + k}\), \(Y_{s_k} :=\varepsilon {Y_s + k}\) and \( \Gamma _{s_k}=\bar{Y}_{p_k}\cap \bar{Y}_{s_k}\).
Let \(\chi (y)\) be the Y-periodic characteristic function of \(Y_p\) defined by
We assume that \(U_p^{\varepsilon }\) is connected and has a smooth boundary. We consider the situation where the pore part \(U_p ^ \varepsilon \) is occupied by the mixture of two immiscible fluids separated by an evolving macroscopic interface \( \Gamma : [0, T] \rightarrow U \) represented by the blue part in Fig. 1, and includes the effects of surface tension on the motion of the interface. We model the flow of the fluid mixture on the pore-scale using a phase-field approach motivated by the Stokes–Cahn–Hilliard system (1.1) in [2]. The velocity of the fluid mixture is assumed to be \(\textbf{u}^\varepsilon = \textbf{u}^\varepsilon (t,x)\), \((t,x) \in S \times U_p^ \varepsilon \) which satisfies the stationary Stokes equation. The order parameter \(c^ \varepsilon \) plays the role of microscopic concentration and the chemical potential \(w^ \varepsilon \) satisfies the Cahn–Hilliard equation. \(p^ \varepsilon \) is the fluid pressure. The term \( \lambda c^ \varepsilon \nabla w^ \varepsilon \) models the surface tension forces which acts on the macroscopic interface between the fluids. Fluid density is taken to be 1. Then, the Stokes–Cahn–Hilliard system of equations is given by
where \(\frac{\partial c^\varepsilon }{\partial \textbf{n}}=\partial _n c^\varepsilon \) and \(f(s) = s^3 - s = F^{\prime }(s) = \frac{1}{4} (s^2 - 1)^2 \) is the double-well free energy. The above scaling for the viscosity is such that the velocity \(\textbf{u}^\varepsilon \) has a nontrivial limit as \(\varepsilon \) goes to zero. Also, \( 0 \le \alpha , \beta , \gamma \le 2 \) where \( \alpha , \beta , \gamma \in \mathbb {R}\). We denote (1.3a)–(1.3h) by \((\mathcal {P}^\varepsilon )\).
2 Preliminaries and Notation
Let \(\theta \in [0,1]\) and \(1\le r,s\le \infty \) be such that \(\frac{1}{r}+\frac{1}{s}=1\). Assume that \(\Xi \in \{U, U_{p}^{\varepsilon }, U_{s}^{\varepsilon }\}\) and \(l\in \mathbb {N}_0\), then as usual \(L^{r}(\Xi )\) and \(H^{l,r}(\Xi )\) denote the Lebesgue and Sobolev spaces with their usual norms and they are denoted by \(||.||_r\) and \(||.||_{l,r}\), cf. [5]. The extension and restriction operators are denoted by E and R, respectively. The symbol \((.,.)_{H}\) represents the inner product on a Hilbert space H and \(||.||_{H}\) denotes the corresponding norm. For a Banach space X, \(X^{*}\) denotes its dual and the duality pairing is denoted by \(\langle .\; ,\; .\rangle _{X^{*}\times X}\). By classical trace theorem on Sobolev space \(H^{1,2}_{0}(\Xi )^*=H^{-1,2}(\Xi )\). The symbols \(\hookrightarrow \), \(\hookrightarrow \hookrightarrow \) and \(\underset{\hookrightarrow }{d}\) denote the continuous, compact, and dense embeddings, respectively.
We define the function spaces:
\(\textbf{H}^1 (U) = H^1 (U)^n ,\quad \textbf{H}^1_0 (U) = H^1_0 (U)^n \),
\( \mathfrak {U}^\varepsilon :=\textbf{H}^1_{div} (U) = \{\eta : \eta \in \textbf{H}^1_0 (U), \nabla \cdot \eta = 0 \}\),
\(\mathfrak {C}^\varepsilon = \{ c^ \varepsilon : c^ \varepsilon \in L^{\infty }(S ; H^1(U_p ^ \varepsilon )), \partial _t c^ \varepsilon \in L^2(S ; H^1(U_p ^ \varepsilon )^*) \}\),
\(\mathfrak {W}^\varepsilon = L^2( S; H^1(U_p ^ \varepsilon ))\) and \(L^2_0(U)=\{\phi \in L^2(U): \int _{U}\phi \,dx=0.\}\).
We choose \( \textbf{u}^\varepsilon \in \mathfrak {U}^\varepsilon \), \(c^ \varepsilon \in \mathfrak {C}^\varepsilon \), \(w^ \varepsilon \in \mathfrak {W}^\varepsilon \) and \(p^\varepsilon \in L^2(S\times U_p ^ \varepsilon )\). We will now state few results and lemmas which are used in this paper and proofs of these can be found in literature.
Lemma 1
Let E be a Banach space and \(E_0\) and \(E_1\) be reflexive spaces with \(E_0 \subset E \subset E_1\). Suppose further that \(E_0 \hookrightarrow \hookrightarrow E \hookrightarrow E_1\). For \(1< p, q < \infty \) and \(0< T < 1\) define \( X :=\{ u \in L ^ p ( S ; E_0 ) : \partial _t u \in L^q ( S ; E_1 ) \} \). Then \( X \hookrightarrow \hookrightarrow L ^p ( S ; E ) \).
Lemma 2
(Restriction theorem) There exists a linear restriction operator \( R^{\varepsilon } : L^2(S;H_0^1 ( U ))^d \longrightarrow L^2(S;H_0^1 ( U ^{ \varepsilon }_p ))^d \) such that \( R^{\varepsilon } u(x) = u(x) | _{U ^{\varepsilon }_p} \) for \( u \in L^2(S;H_0^1 ( U ))^d \) and \( \nabla \cdot R^{\varepsilon } u = 0 \) if \( \nabla \cdot R^{\varepsilon } u = 0 \) if \( \nabla \cdot u = 0 \). Furthermore, the restriction satisfies the following bound
where C is independent of \(\varepsilon \).
Similarly, one can define the extension operator from \(S\times U ^{ \varepsilon }_p\) to \(S\times U\), cf. [1, 8].
Definition 1
(Two-scale convergence) A sequence of functions \((u^{\varepsilon })_{\varepsilon > 0}\) in \( L^{p} ( S \times U ) \) is said to be two-scale convergent to a limit \( u \in L^{p} ( S \times U \times Y ) \) if
for all \( \phi \in L^q( S \times U ; C_{\#}( Y ) ) \).
Lemma 3
For \(\varepsilon >0\), let \((u^{\varepsilon })_ {\varepsilon > 0}\) be a sequence of functions, then the following holds:
-
(i)
for every bounded sequence \((u^{\varepsilon })_ {\varepsilon > 0}\) in \( L^p ( S \times U ) \) there exists a subsequence \((u^{\varepsilon })_ {\varepsilon > 0}\) (still denoted by same symbol) and an \( u \in L^p ( S \times U \times Y) \) such that \( u^{\varepsilon } \overset{2}{\rightharpoonup }\ u \).
-
(ii)
let \(u^{\varepsilon } \rightarrow u \) in \( L^p ( S \times U ) \), then \( u^{\varepsilon } \overset{2}{\rightharpoonup }\ u \).
-
(iii)
let \((u^{\varepsilon }) _ {\varepsilon > 0}\) be a sequence in \( L^{p}(S; H^{1,p}(U) ) \) such that \( u^{\varepsilon } \overset{w}{\rightharpoonup }\ u \) in \( L^{p}(S; H^{1,p}(U) ) \). Then \( u^{\varepsilon } \overset{2}{\rightharpoonup }\ u \) and there exists a subsequence \(u^{\varepsilon } _ {\varepsilon > 0}\), still denoted by same symbol, and an \( u_1 \in L^p (S\times U ; H_{\#}^{1,p} (Y) ) \) such that \( \nabla _{x} u^{\varepsilon } \overset{2}{\rightharpoonup }\ \nabla _{x} u + \nabla _{y} u_1 \).
-
(iv)
let \((u^{\varepsilon }) _ {\varepsilon > 0}\) be a bounded sequence of functions in \(L^p (S \times U )\) such that \( \varepsilon \nabla u^{\varepsilon } \) is bounded in \(L^{p} (S \times U)^n\). Then there exist a function \( u \in L^p (S \times U ; H_{\#}^{1,p} (Y) ) \) such that \( u^{\varepsilon } \overset{2}{\rightharpoonup }\ u \), \( \varepsilon \nabla _{x} u^{\varepsilon } \overset{2}{\rightharpoonup }\ \nabla _{y} u \).
Definition 2
(Periodic Unfolding) Assume that \(1\le r\le \infty \). Let \(u^\varepsilon \in L^{r}( S \times U )\) such that for every t, \(u^\varepsilon (t)\) is extended by zero outside of U. We define the unfolding operator \(T^{\varepsilon }:L^{r}( S \times U)\rightarrow L^{r}( S \times U \times Y)\) as
For the following definitions and results, interested reader can refer to [7] and references therein.
Definition 3
Assume that \(1\le r\le \infty , u^\varepsilon \in L^{r}(S\times U)\) and \(T^\varepsilon \) is defined as in Definition 3. Then we say that:
(i) \(u^\varepsilon \) is weakly two-scale convergent to a limit \(u_0\in L^r(S\times U\times Y)\) if \(T^\varepsilon u^\varepsilon \) converges weakly to \( u_0\) in \(L^r(S\times U\times Y)\).
(ii) \(u^\varepsilon \) is strongly two-scale convergent to a limit \(u_0\in L^r(S\times U\times Y)\) if \(T^\varepsilon u^\varepsilon \) converges strongly to \( u_0\) in \(L^r(S\times U\times Y)\).
Lemma 4
Let \(\left( u^{\varepsilon } \right) _{\varepsilon >0}\) be a bounded sequence in \(L^{r}(S\times U)\). Then the following statements hold:
-
(a)
if \(u^\varepsilon \overset{2}{\rightharpoonup }u\), then \(T^{\varepsilon } u^{\varepsilon }\overset{w}{\rightharpoonup }\ u\), i.e., \(u^\varepsilon \) is weakly two-scale convergent to a u.
-
(b)
if \(u^\varepsilon \rightarrow u\) , then \(T^{\varepsilon } u^{\varepsilon }\rightarrow u\), i.e., \(u^\varepsilon \) is strongly two-scale convergent to u.
Lemma 5
Let \(\left( u^{\varepsilon } \right) _{\varepsilon >0}\) be strongly two-scale convergent to \(u_0\) in \(L^{r}(S\times U\times \Gamma )\) and \(\left( v^{\varepsilon } \right) _{\varepsilon >0}\) be weakly two-scale convergent to \(v_0\) in \(L^{s}(S\times U\times \Gamma )\). If the exponents \(r,s,\nu \ge 1\) satisfy \(\frac{1}{r}+\frac{1}{s}=\frac{1}{\nu }\), then the product \((u^\varepsilon v^\varepsilon )_{\varepsilon >0}\) two-scale converges to the limit \(u_0v_0\) in \(L^\nu (S\times U\times Y)\). In particular, for any \(\phi \in L^\mu (S\times U)\) with \(\mu \in (1,\infty )\) such that \(\frac{1}{\nu }+\frac{1}{\mu }=1\) we have
Before we proceed with the weak formulation, we make the following assumptions for the sake of analysis of \(\mathcal {(P^\varepsilon )}\).
- A1.:
-
for all \(x\in U\), \( \mathbf {u_0}\), \(c_0\) and \(w_0\ge 0\).
- A2.:
-
\(\mathbf {u_0}\in L^\infty (U)\cap H^1(U)\), \(c_0\in L^\infty (U)\cap H^1(U)\) and \(w^0\in L^\infty (U)\cap H^1(U)\) such that \(\sup _{\varepsilon >0}||\mathbf {u_0}||_{L^\infty (U)\cap H^1(U)}<\infty ,\) \( \sup _{\varepsilon >0}||c_0||_{L^\infty (U)\cap H^1(U)}<\infty ,\) \( \sup _{\varepsilon >0}||{w_0}||_{L^\infty (U)\cap H^1(U)}<\infty \).
- A3.:
-
\(p^\varepsilon \in L^2(S;H^1(U_p^\varepsilon ))\) such that \(\sup _{\varepsilon >0}||p^\varepsilon ||_{L^2(S;H^1(U_p^\varepsilon ))}<\infty \).
2.1 Weak Formulation of \(\mathcal {(P^\varepsilon )}\)
Let the assumptions A1–A4 be satisfied. A triple \((\textbf{u}^\varepsilon \), \(c^ \varepsilon \), \(w^ \varepsilon ) \in \mathfrak {U}^\varepsilon \times \mathfrak {C}^\varepsilon \times \mathfrak {W}^\varepsilon \) is said to be the weak solution of the model \(\mathcal {(P^\varepsilon )}\) such that \( (\textbf{u}^\varepsilon , c^\varepsilon , w^\varepsilon )(0,x) = (\textbf{u}_0, c_0, w_0)(x)\) for all \(x\in U \), and
for all \( \eta \in L^2(S;\textbf{H}^1_{div} (U_p ^ \varepsilon )) \) and \( \phi \), \( \psi \in L^2(S; {H}^1 (U_p ^ \varepsilon )) \).
We are now going to state the two main theorems of this paper which are given below.
Theorem 1
Let the assumptions A1–A4 be satisfied, then there exists a unique positive weak solution \((\textbf{u}^\varepsilon \), \(c^ \varepsilon \), \(w^ \varepsilon ) \in \mathfrak {U}^\varepsilon \times \mathfrak {C}^\varepsilon \times \mathfrak {W}^\varepsilon \) of the problem \(\mathcal {(P^\varepsilon )}\) which satisfies
where the constant C is independent of \(\varepsilon \).
Theorem 2
(Upscaled Problem \(\mathcal {(P)}\)) There exists \((\textbf{u} ,c ,w) \in \mathfrak {U} \times \mathfrak {C} \times \mathfrak {W} \) which satisfies
where \( \bar{\kappa } ( x ) = \frac{1}{|Y_p|} \int _{ \partial Y_p} \kappa (x,y) \,dy \), \( x \in U\) denotes the mean of the quantity \(\kappa \) over the pore space \(Y_p\).
The systems of equations (2.4a)–(2.4i) is the required homogenized (upscaled) model of (1.3a)–(1.3h).
3 Anticipated Upscaled Model via Asymptotic Expansion Method
We consider the following expansions
where each term \( \mathbf {u_i}\), \(p_i\), \(c_i\) and \(w_i\) are Y-periodic functions in y-variable. We have \(\nabla =\nabla _x+\frac{1}{\varepsilon }\nabla _y\). After the substitution of \(\textbf{u}^\varepsilon , c^\varepsilon , w^\varepsilon , p^\varepsilon \) in the problem \(\mathcal {(P^\varepsilon )}\), we get from (1.3a)
From (1.3d), after plugging the expansions, we obtain
Next, we substitute the expansions for \(w_{\varepsilon }\), \(c_{\varepsilon }\) in (1.3e) and use the Taylor series expansion of f around \(c_0\) which leads to
Now we substitute the expansions in the boundary conditions. From (1.3c), we obtain
From (1.3f) and (1.3g), we get
and
respectively.
We compare the coefficient of \(\varepsilon ^0\) from (3.5) and integrate it over \(Y_p\), then using (3.7) we get
We equate the coefficient of \(\varepsilon ^0\) from (3.4) and integrate it over \(Y_p\), then using (3.8) we obtain
The coefficients of \(\varepsilon ^ {-2}\) and \(\varepsilon ^ {-1}\) from (3.4) give The coefficient of \(\varepsilon ^ {-1}\) from (3.4) gives
From (3.8) and (3.11) we observe that
We equate the coefficients of \(\varepsilon ^{-1}\) from (3.2), then using (3.12) we get
The coefficient of \(\varepsilon ^0\) from (3.2) along with (3.12) gives
Again, using (3.3) and (3.6) one can deduce
Equating \( \varepsilon \) coefficient from (3.5) we get using (3.7)
4 Proof of Theorem 2.1
4.1 A Priori Estimates
We put \(\eta = \varepsilon \textbf{u}^{\varepsilon } \), \(\phi = \lambda w^{\varepsilon }\), \(\psi = \lambda \partial _t c^{\varepsilon }\) in (2.2), and using \(\nabla (c^{\varepsilon } w^{\varepsilon }) = c^{\varepsilon } \nabla w^{\varepsilon } + w^{\varepsilon } \nabla c^{\varepsilon }\) it yields
as \( \varepsilon ^{ \frac{3}{2} } < \varepsilon \) for \( \varepsilon \in ( 0, 1 ) \).
Next, Young’s inequality gives
We set \(\psi = 1\) as a test function in (1.3e) and then using Poincare’s inequality, we get
By Gagliardo–Nirenberg–Sobolev inequality for Lipschitz domain, \(||u^\varepsilon ||_{L^4(Y)}\le C||\nabla u^\varepsilon ||_{L^2(Y)}\), where C depend on n and Y. By imbedding theorem, \(||u^\varepsilon ||_{L^2(Y)}\le C||u^\varepsilon ||_{L^4(Y)}\le C\). By a straightforward scaling argument, we obtain
From (2.2b) we get,
From proposition III.1.1 in [10] and (2.2a), there exist a pressure \( p^{\varepsilon } :=\partial _t P^{\varepsilon } \in W^{-1, \infty } ( S ,\) \( L_0^2 ( U_p^{\varepsilon } ) ) \) such that
Thus by (4.1) and (4.2) it immediately follows that
Now, with the help of a-priori estimates from (2.3), the existence of solution of \(\mathcal {(P^\varepsilon )}\) can be shown using Galerkin’s method, cf. [6] and references therein.
5 Proof of Theorem 2 (Homogenization of Problem \(\mathcal {(P^\varepsilon )}\))
We start with the construction of an extension of solution from \(U_p^{\varepsilon }\) to U in the lemma below.
Lemma 6
There exists a positive constant C depending on \(c_0\), \(\mathbf {u_0}\), n, |Y|, \(\lambda \) and \(\mu \) but independent of \(\varepsilon \) and extensions (\(\tilde{c^{\varepsilon }}\), \(\tilde{w^{\varepsilon }}\), \(\tilde{\textbf{u}}^{\varepsilon }\), \(\tilde{P^{\varepsilon }}\)) of the solution (\(c^{\varepsilon }\), \(w^{\varepsilon }\), \(\textbf{u}^{\varepsilon }\), \(P^{\varepsilon }\)) to \(S \times U\) such that
Lemma 7
Let (\(\textbf{u}^{\varepsilon }\), \(P^{\varepsilon }\), \(c^{\varepsilon }\), \(w^{\varepsilon }\))\(_{\varepsilon > 0}\) be the extension of the weak solution from Lemma 6 (denoted by the same symbol). Then there exists some functions \(\textbf{u} \in L^2( S \times U ; H^1_{\#}(Y) )^n\), \( w \in L^2( S \times U) \), \(P \in L^2( S \times U \times Y )\), c, \(w_1 \in L^2( S \times U; H^1_{\#}(Y) )\) and a subsequence of \( ( \textbf{u}^{\varepsilon }, P^{\varepsilon }, c^{\varepsilon }, w^{\varepsilon } )_{\varepsilon > 0} \), still denoted by the same symbol, such that the following convergences hold:
-
(i)
\((\textbf{u}^{\varepsilon })_{\varepsilon > 0}\) two-scale converges to \(\textbf{u}\). (ii) \((c^{\varepsilon })_{\varepsilon > 0}\) two-scale converges to c.
-
(iii)
\((w^{\varepsilon })_{\varepsilon > 0}\) two-scale converges to w. (iv) \((P^{\varepsilon })_{\varepsilon > 0}\) two-scale converges to P.
-
(v)
\(( \varepsilon \nabla _x c^{\varepsilon })_{\varepsilon > 0}\) two-scale converges to \(\nabla _{y} c\). (vi) \((\varepsilon \nabla _{x} \textbf{u}^{\varepsilon })_{\varepsilon > 0}\) two-scale converges to \(\nabla _{y} \textbf{u}\).
-
(vii)
\((\nabla _{x} w^{\varepsilon })_{\varepsilon > 0}\) two-scale converges to \(\nabla _{x} w + \nabla _{y} w_1\).
Proof
The convergences follow from the estimates (5.1), Lemmas 3 and 4.
In the next lemma we will discuss the convergence of nonlinear terms for \(\varepsilon \rightarrow 0\).
Lemma 8
The following convergence results hold:
-
(i)
\((c^{\varepsilon })_{\varepsilon > 0}\) is strongly convergent to c in \(L^2(S \times U)\). Thus, \(\mathcal {T}^\varepsilon (c^{\varepsilon })\) converges to c strongly in \(L^2 (S \times U \times Y)\), i.e., \((c^{\varepsilon })_{\varepsilon > 0}\) is strongly two-scale convergent to c.
-
(ii)
\(\mathcal {T} ^{\varepsilon } \textbf{u}^{\varepsilon }\) is weakly convergent to \(\textbf{u}\) in \(L^2( S \times U \times Y)^n\), i.e., \((\textbf{u}^{\varepsilon })_{\varepsilon > 0}\) is weakly two-scale convergent to \(\textbf{u}\).
-
(iii)
\(\mathcal {T} ^{\varepsilon } [ \varepsilon \nabla _{x} c^{\varepsilon }]\) converges to \( \nabla _{y} c \) weakly in \(L^2(S \times U \times Y)^n\), i.e., \(\varepsilon \nabla _{x} c^{\varepsilon }\) is weakly two-scale convergent to \(\nabla _{y} c\).
-
(iv)
The nonlinear terms \( f (c^{\varepsilon })\), \( c^{\varepsilon } \nabla _{x} w^{\varepsilon }\) and \( c^{\varepsilon } \textbf{u}^{\varepsilon }\) two-scale converge to f(c) , \( c ( \nabla _{x} w + \nabla _{y} w_1 ) \) and \( c \textbf{u} \).
Proof
We will prove step by step. From estimate (5.1) for \((c^{\varepsilon })_{\varepsilon > 0}\) and Theorem 2.1 in [9], there exists a subsequence of \((c^{\varepsilon })_{\varepsilon > 0}\), still denoted by same symbol, such that \((c^{\varepsilon })_{\varepsilon > 0}\) is strongly convergent to a limit c. The rest of (i) and the proofs of (ii) and (iii) follow from Lemma 4. Following the similar arguments as in [2] we can prove (iv).
Proof
(Proof of Theorem 2) (i) We choose a test function \(\phi \) in (2.2b) defined as \( \phi = \phi (t, x, \frac{x}{\varepsilon }) = \phi _0 (t, x) + \varepsilon \phi _1 (t, x, \frac{x}{\varepsilon })\), where the functions \(\phi _0 \in C_0^{\infty } ( S \times U )\) and \( \phi _1 \in C_0^{\infty } ( S \times U ; C_{\#}^{\infty }(Y) ) \):
We extend the solution to U and pass \(\varepsilon \rightarrow 0\) in the two-scale sense and get
Setting \(\phi _0 = 0\) and \(\phi _1 = 0\) in (5.2) yield, respectively,
in \( S \times U \times Y_p \). Similarly, choosing a function \( \psi \in C_0^{\infty } ( S \times U ; C_{\#}^{\infty }(Y) ) \) in (2.2c) and passing the limit gives
(ii) We choose the test functions \( \eta \in C_0^{\infty } ( U ; C_{\#)}^{\infty } (Y) ) ^n \) and \( \xi \in C_0^{\infty } ( S ) \) and proceed as in [2]. Then, using Lemmas 7 and 8, and passing to the two-scale limit
We get the y-variable independency of the two-scale limit of the pressure P from (5.6). Further, we consider the function \( \eta \in C_0^{\infty } ( U ; C_{\#}^{\infty } (Y) ) ^n \) such that \( \nabla _y \cdot \eta ( x, y ) = 0 \), so that
We use the extensions of solution to U (using the same notations), and pass to the two-scale limit.
The existence of a pressure \(P_1 \in L^{\infty } ( S ; L^2_0 ( U ; L^2_{\#} ( Y_p ) ) ) \) and two-scale convergence results are followed as in [2] for the final step of the upscaling of the model equations.
for all \( \eta \in C_0^{\infty } ( U ; C_{\#}^{\infty } (Y) ) ^n \) and \( \xi \in C_0^{\infty } ( S ) \).
From (5.9), we obtain
in \( S \times U \times Y_p \).
6 Conclusion
A two fluids’ mixture in strongly perforated domain is considered in which the fluids are separated by an interface of thickness of \(\lambda \) in the pore part. From the modeling of such phenomena in the pore space, we got a strongly coupled system of Stokes–Cahn–Hilliard equations. The surface tension effects have been taken into account and the aforementioned interface is assumed to be independent of the scale parameter \(\varepsilon \). Several a-priori estimates are derived and the well-posedness at the micro-scale is shown. Two-scale convergence, periodic unfolding, and the estimates after using extension theorems on them, yield the homogenized model.
References
Allaire, G.: Homogenization and two scale convergence. SIAM J. Math. Anal. 23(6), 1482–1518 (1992)
L’ubomír Baňas and Hari Shankar Mahato: Homogenization of evolutionary stokes-cahn-hilliard equations for two-phase porous media flow. Asympt. Anal. 105(1–2), 77–95 (2017)
James F Blowey and Charles M Elliott. The cahn–hilliard gradient theory for phase separation with non-smooth free energy part i: Mathematical analysis. European Journal of Applied Mathematics, 2(3):233–280, 1991
Copetti, M.I.M., Elliott, C.M.: Numerical analysis of the cahn-hilliard equation with a logarithmic free energy. Numerische Mathematik 63(1), 39–65 (1992)
Evans, L.C.: Partial Differential Equations. AMS Publication (1998)
Feng, Xiaobing, He, Yinnian, Liu, Chun: Analysis of finite element approximations of a phase field model for two-phase fluids. Math. Comput. 76(258), 539–571 (2007)
Francŭ, Jan, Svanstedt, Nils EM.: Some remarks on two-scale convergence and periodic unfolding. Appl. Math. 57(4), 359–375 (2012)
Hari Shankar Mahato and MICHAEL Böhm: Homogenization of a system of semilinear diffusion-reaction equations in an h 1, p setting. Electronic J. Diff. Equ. 2013(210), 1–22 (2013)
Meirmanov, A., Zimin, R.: Compactness result for periodic structures and its application to the homogenization of a diffusion-convection equation. Electr. J. Diff. Equ. 2011(115), 1–11 (2011)
Temam, R.: Navier-Stokes Equations: Theory and Numerical Analysis, vol. 343. American Mathematical Soc. (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Lakhmara, N., Mahato, H.S. (2022). A Multiscale Model of Stokes–Cahn–Hilliard Equations in a Porous Medium: Modeling, Analysis and Homogenization. In: Rushi Kumar, B., Ponnusamy, S., Giri, D., Thuraisingham, B., Clifton, C.W., Carminati, B. (eds) Mathematics and Computing. ICMC 2022. Springer Proceedings in Mathematics & Statistics, vol 415. Springer, Singapore. https://doi.org/10.1007/978-981-19-9307-7_46
Download citation
DOI: https://doi.org/10.1007/978-981-19-9307-7_46
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-19-9306-0
Online ISBN: 978-981-19-9307-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)