Abstract
This work focuses on performing the homogenization of the Nernst-Planck-Poisson system, in order to obtain an efficient modelling of the ionic transfer and electrocapillary effects at the macroscopic scale for saturated porous media. The homogenization is performed with the powerful two-scale convergence method, which enables to obtain both the homogenized model and the associated convergence result.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Ionic transfers in saturated porous media and the associated electrocapillary adsorption effect (electric double layer phenomenon) are generally modelled by the partial differential evolution system of Nernst-Planck-Poisson with Cauchy and boundary conditions. Using a decomposition of the concentrations of ionic species, keeping the concentration of the anions c− and of the cations c+ separate with a Boltzmann distribution, we classically obtain the Nernst-Planck-Poisson-Boltzmann system of equations [10–13, 28, 29]. The two equations of ionic transfer (for the cations and for the anions) are coupled with the Poisson-Boltzmann equation describing the electrical potential, the latter being generally decomposed into the bulk potential and the electrical double layer potential. This model is often used in civil-engineering to study the migration of chlorides in mortars or in concrete structures [1, 2, 10–13], responsible of severe damages due to corrosion, or to study the coupled electro-chemo-mechanical phenomena in expansive clays [28, 29]. Numerical analysis and convergent discretizations for the nonstationary Nernst-Planck-Poisson system are detailed in [32, 33]. Let us cite also the recent work [34], that discusses a related topic using two-scale convergence in order to investigate the influence of different boundary conditions and variables choices of scalings in ε. Various classes of up-scaled model equations are obtained.
The main goal of this work is to deduce, from the micro-local Nernst-Planck-Poisson equations, an efficient modelling of ionic transfers and electrocapillary effects at the macroscopic scale in saturated porous media.
The homogenization is performed with the powerful two-scale convergence method, presented in Sect. 3. One of the interests of this method is to obtain both the search homogenized model and the convergence result, without assuming a priori the form of the asymptotic expansion of the unknowns, as classically with periodic homogenization technique [5, 7, 35]. Moreover, with this approach, it is not necessary to decompose the electrical potential into the bulk potential and the electrical double layer potential as in the Nernst-Planck-Poisson-Boltzmann equations [10–13, 28, 29]. Furthermore, the present approach may be generalized to a multi-species formalism, without considering only monovalent cations and anions.Footnote 1
With the formalism proposed here, the electric potential due to the migration of ionic species, and the electrical double layer potential are contained in the total potential \(\varPsi_{\varepsilon}^{*}\) (Sect. 2). Once the homogenization performed and the efficient macroscopic model obtained by two-scale convergence method, with the associated convergence result (Sect. 3.2), it is proved that the steady states have the form of the classical Poisson-Boltzmann expression of the ionic concentrations (Sect. 4).
The originality of the present work lies on the consideration of electrocapillary adsorption effect: important phenomena occur on the boundaries of the pores and introduce into the model problem strongly nonlinear terms defined on a periodic surface and leading to memory effects, described by a macroscopic Grahame’s law.
2 The Ionic Drift-Diffusion Problem
2.1 The General Framework
Let Ω be a bounded connected open set of R d with a Lipschitz boundary ∂Ω, with d=2 or d=3 for the classical applications concerned in this paper. We introduce the classical functional spaces V=H 1(Ω) and H=L 2(Ω) which are Hilbert spaces with the usual scalar products, the embedding of V in H being dense and compact. Classically, we identify the pivot space H with its topologic dual, such as V′, the dual of V, can be identified with an over-espace of H. Finally, we note 〈. ,.〉 the duality bracket between V and V′. For a couple of regular functions, this duality bracket coincides with the usual scalar product of L 2(Ω).
For parabolic time depending problems, it is also classical to introduce the space (cf. [25], Chap. 3, [26])
which is a Hilbert space for its natural topology that can be identified with H 1(Q), with Q=]0,T[×Ω. Moreover, the injection of H 1(Q) in L 2([0,T];H) (identified with L 2(Q)) is compact ([26], p. 57), and the injection of H 1(Q) in C 0([0,T];H) is continuous provided an appropriate choice of a representative element.
Using the classical notations of [3, 4, 23, 24] for periodic homogenization problems, we denote by Y the unit reference cube [0,1]d, Y s an open set of Y representing the solid phase, and \(Y_{f}=Y\smallsetminus\overline{Y_{s}}\) its complementary (assumed to be connected) representing the fluid phase. The Lipschitzian boundary Γ=Γ sf∪Γ ss is composed of the internal boundary Γ sf between the fluid and the solid phases and of the boundary Γ ss between the solid parts of two adjacent unit cubes constituting the microstructure of the material (Figs. 1 and 2). Equivalently, we denote by Γ ff the boundary between the fluid phases of two adjacent unit cubes. Finally, in the sequel, we will still denote by Y, Y s ,Y f and Γ sf the extensions of Y, Y s , Y f and Γ sf to R d by Y-periodicity.
Introducing now a sequence ε of positive reals converging to 0, we define the whole fluid phase where the fluid can circulate
and its complementary representing the whole solid phase
of the microstructure of the material (Fig. 2). We denote by \(\varGamma_{\varepsilon}^{sf}\) the inner boundary of Ω between the fluid and the solid phases, periodic surface of dimension (d−1) such as:
The connected porosity is denoted by \(\varPhi=\frac{\mathcal {L}^{d}-\mathrm{measure} ( Y_{f} ) }{\mathcal{L}^{d}-\mathrm{measure} ( Y ) }\).
Classically, in the sequel we will denote \(Q_{\varepsilon}^{f}= \mathopen{]}0,T\mathclose{[} \times\varOmega_{\varepsilon}^{f} \) and \(V_{\varepsilon}=H^{1} ( \varOmega^{f}_{\varepsilon} ) \), \(H^{1} ( Q^{f}_{\varepsilon } ) \), \(L^{\infty} ( Q^{f}_{\varepsilon} ) \), etc., the expressions of the functional spaces which now depend on ε.
2.2 Coupled Transport Equations in Saturated Porous Media
We consider a heterogeneous saturated porous medium, whose microstructure contains two phases: a solid phase \(\varOmega_{\varepsilon}^{s}\) (of cement paste for example and eventually aggregates in case of mortars or concrete), and a liquid phase \(\varOmega_{\varepsilon}^{f}\) (see Fig. 2). The boundary between the solid and the liquid phases is denoted \(\varGamma_{\varepsilon}^{sf}\).
In what follows, ∇, div or ∇. and Δ will denote respectively the gradient, divergence and Laplacian operator in the sense of distributions on R d.
The diffusion in the fluid phase is described by Nernst-Planck equationFootnote 2 coupled with the Poisson equation characterizing the electrical field accelerating or slowing down the ionic transfer. Nernst-Planck equation is generally written for an isotropic diffusivity assumed in the fluid phase [6, 9, 10, 27, 29, 30]
where c ±,ε denotes the concentration of the cations (respectively anions) of valence z ±, D ± their molecular diffusion coefficient in the liquid phase,Footnote 3 \(E^{*}_{\varepsilon}= - \nabla\varPsi^{*}_{\varepsilon}\) the total electrical field in the solution. Note that the electrical potential \(\varPsi^{*}_{\varepsilon}\) results both from the evolution of the repartition of concentrations of electrical species (cations and anions), and of the effect of the double electrical layer. When an external electrical potential is applied, it may be also included in the total potential \(\varPsi^{*}_{\varepsilon}\). Finally, F and R denote respectively, the Faraday and the ideal gas constant, and Θ the temperature of the fluid.
Let us denote ε f (resp. ε s ) the dielectric constant of the fluid phase \(\varOmega _{\varepsilon}^{f}\) (resp. of the solid phase \(\varOmega _{\varepsilon}^{s}\)). In a general way, ε f et ε s may depend on x for very heterogeneous media, with ε f >0,ε s ≥0.
The Poisson equation characterizing the potential Ψ ∗ in the fluid phase and in the solid phase (that can be conductive also) is stated as
where ρ ∗=F(z + c +,ε −z − c −,ε ) denotes the total electrical charge density in the fluid phase. In the solid phase, the Poisson equation reduces to
as the concentrations of ionic species are only defined in the fluid phase \(\varOmega_{\varepsilon}^{f}\). The existence of the electric potential \(\varPsi^{*}_{\varepsilon}\) and (5)–(6) result from Maxwell’s equations.
Introducing the function
representing the dielectric values on the whole domain Ω through the characteristic phase functions \(\chi_{Y_{f}}\) and \(\chi_{Y_{s}}\), (5) and (6) can be written in the global formulation in the sense of distributions as
where the last term denotes a measure, with support on \(\varGamma _{\varepsilon}^{sf}\), governing the jump of the electrical flux through the interface \(\varGamma_{\varepsilon}^{sf}\). Here is the key of understanding and modelling the electrocapillary phenomena on the boundary of the pores. This term will be explained later by the assertions (11), (12) and the Grahame relation.
To complete (4)–(8), let us write the associated boundary conditions. First, we assume that we have homogeneous Neumann boundary conditions associated with the Nernst-Planck equation
where \(\varGamma_{\varepsilon}^{f\mathrm{ext}}=\partial\varOmega\cap \varOmega _{\varepsilon}^{f}\) denotes the external fluid boundary to \(\varOmega _{\varepsilon}^{f}\) and n denotes the external unit normal to \(\varOmega _{\varepsilon}^{f}\). Moreover, as the system is assumed to be insulated with respect to the exterior, we have
where \(\varGamma_{\varepsilon}^{s\mathrm{ext}}=\partial\varOmega\cap \varOmega _{\varepsilon}^{s}\) denotes the external solid boundary to \(\varOmega _{\varepsilon}^{s}\).
Finally, the electrical double layer phenomenon at the interface \(\varGamma_{\varepsilon}^{sf}\) will be modelled through the boundary condition involving the surface charge density σ. In the general case, accounting for the jump of the electrical flux through the interfaceFootnote 4 \(\varGamma_{\varepsilon}^{sf}\), noted \([ [ \kappa(\frac{x}{\varepsilon})\nabla\varPsi^{\ast }_{\varepsilon}( t,x ) ] ].n \), we have:
A bijective relation between the surface charge density σ and the potential \(\varPsi^{\ast}_{\varepsilon}\) may be given by the Grahame relation coming from the Gouy-Chapman theory (cf. [17, 21] and [22], p. 474). The electrocapillary adsorption phenomenon at the substrate interface may be modelled for a very general class of material by the relation [4, 14–16, 20]
where λ denotes the dielectric permittivity coefficientFootnote 5 at the interface Γ sf, possibly heterogeneous, extended by Y-periodicity, verifying λ∈L ∞(Γ sf), λ≥λ 0>0. The function τ must be a monotonic continuously differentiable Lipschitz-function satisfying the properties:
Obviously, it may depend on several physical parameters (pH, temperature, water content, etc.). As an example, in [22], p. 474, the practically useful restriction of the function is considered:
Remark 1
The scaling at the right hand side of (11) enables the double layer effects to be involved at the main order of the homogenized model of ionic transfer that will be obtained in Theorem 1. It may be justified physically considering orders of magnitude of the electrical double layers and surface charge density that may be encountered experimentally in some configurations.
2.3 Associated Weak Formulation
The equivalent weak formulation associated to (4)–(11) takes the variational form:
Find (c ±,ε )=(c +,ε ,c −,ε ) in \(L^{\infty} ( [ 0,T ] ;H^{1} ( \varOmega_{\varepsilon}^{f} ) )^{2}\cap H^{1} ( Q_{\epsilon}^{f} )^{2} \) and \(\varPsi_{\varepsilon}^{\ast} \in L^{\infty} ( [ 0,T ] ;\allowbreak H^{1} ( \varOmega) ) \) verifying ∀t>0, \(\forall v \in H^{1} ( \varOmega^{f}_{\varepsilon} )\) and ∀w∈H 1(Ω):
The establishment of this weak formulation does not constitute any difficulty and is left to the reader. Let us just notice that the integral of the left-hand side of the Poisson equation is on the whole domain Ω whereas the right-hand side only involves the integral on the fluid domain \(\varOmega_{\varepsilon}^{f}\).
The preliminary framework is stated by the following global well-posedness result:
Proposition 1
If the boundary of Ω is smooth enough,Footnote 6 for all initial data \(( c_{\pm,\varepsilon}^{0} ) = ( c_{+,\varepsilon}^{0},c_{-,\varepsilon}^{0} ) \) in \(L^{\infty} ( \varOmega^{f}_{\varepsilon} )^{2}\cap H^{1} ( \varOmega^{f}_{\varepsilon} )^{2}\), such as \(( c_{\pm,\varepsilon}^{0} ) \geq0 \), problem (13)–(15) admits a unique solution \((c_{\pm,\varepsilon}, \varPsi_{\varepsilon}^{\ast})\) with (c ±,ε )=(c +,ε ,c −,ε ) in \(L^{\infty} ( [ 0,T ] ;H^{1} ( \varOmega^{f}_{\varepsilon} ) )^{2}\cap\) \(H^{1} ( Q_{\epsilon}^{f} )^{2}\) and \(\varPsi_{\varepsilon}^{\ast} \in C^{0} ( [ 0,T ] ;H^{1} ( \varOmega) )\). The potential \(\varPsi_{\varepsilon}^{\ast}\) is continuous in time since the left-hand side of the Poisson equation is continuous in time \(( c_{\pm,\varepsilon} \in\mathcal{C}^{0} ( [ 0,T ] ; \varOmega^{f}_{\varepsilon} ) ) \).
Proof
The proof of this proposition is rather technical and does not constitute the main point of this article. It can be obtained from the Schauder-Tikhonov fixed-point method [8, 18–20]. In order to use a fixed point method, we introduce
a separable Hilbert space under its natural topology.
For f=(f −,f +)∈W ε (0,T)2, we consider \(\varPsi ^{*}_{\varepsilon}(f)\) the unique solution of the nonlinear generalized Poisson equation (14) where the right-hand side is written:
Then, we consider the parabolic equations with a drift term in the form, as preparatory,
with r +=max(r,0), and where M>0 is a “large” parameter which will be specified later. The application
admits a fixed point (a convex closed bounded nonempty set \(\mathcal {K}\) is stable and the application is weakly-weakly sequentially continuous from \(\mathcal{K}\) to \(\mathcal{K}\)). Independently of M, the boundedness of the obviously positive concentrations can be proved with Moser’s iteration technique ([20], pp. 21–24), such that
Under the assumptions on the initial data and the regularity of Ω, \(\frac{ \partial c_{\pm,\varepsilon}}{\partial t}\) is proved to belong to \(L^{2} ( [ 0,T ] ; L^{2}(\varOmega_{\varepsilon}^{f}) )\). Uniqueness and local stability are proved by using the Gronwall’s lemma and Young’s inequality. □
As a consequence of Proposition 1, the concentrations c ±,ε and the potential \(\varPsi_{\varepsilon }^{\ast}\) satisfy the properties for all t>0
consequence of (13) with the test function \(v=1_{\varOmega ^{f}_{\varepsilon}}\),
consequence of (14) with the test function w=1 Ω . Therefore, the quantity
is constant with respect to time t and we have ∀t≥0:
3 Homogenization by Two-Scale Convergence of the Nernst-Planck-Poisson System
3.1 The Main Principle of the Method
The homogenization method by two-scale convergence that will be used in the sequel has been developed first by G. Nguetseng [31] and then by G. Allaire [3]. This new type of convergence enables to capture at the limit the oscillations of a function in resonance with another one of the type of \(x\rightarrow\varphi( x,\frac{x}{\varepsilon} )\). This method has the advantage to avoid to postulate the form of an asymptotic expansion of the unknowns, and to obtain for non-linear problems in the same time both the limit homogenized model and the result of convergence. For more details on this homogenization method by two-scale convergence, refer to [3, 4, 15, 23, 24, 31].
3.2 The Homogenized Model of Ionic Drift-Diffusion
The homogenization by two-scale convergence of ionic drift-diffusion equations (4)–(12) or (13)–(15) leads to the results:
Theorem 1
The concentrations of anions and cations in the solution (c ±)=(c +,c −), and the electrical potential Ψ ∗ are solution of the homogenized ionic diffusion problem in Q=]0,T[×Ω
where Φ denotes the porosity of the material. The symmetric positive definite tensor of homogenized diffusion ϒ is defined as follows
where (ω k ) is the family of the solutions defined by the cell problem:
In a similar way, the symmetric definite positive tensor Λ is defined as
where (ς k ) is the family of the solutions defined by the cell problem:
The weak formulation of the homogenized equations of Theorem 1 may be written equivalently as follows:
Theorem 2
For an insulated system from outside, with positive Cauchy data in L ∞(Ω)∩H 1(Ω) and homogeneous Neumann conditions given on the parabolic boundary of Q, there exists a unique vectorial function
representing the concentrations of anions and cations in the electrolyte, and a unique function
representing the electrical potential, such that for all t>0, for all test function v∈H 1(Ω), w∈H 1(Ω)
The following properties of physical equilibrium are satisfied for t>0:
As a consequence, the quantity
is constant with respect to time t and satisfies to the global electric equilibrium:
Proof
We give here the main steps of the proof of Theorems 1 and 2.
(i) Uniform estimates and two-scale convergence of c ±,ε
By standard methods, we have the estimates
and by formal derivation of the Poisson equation (assumptions on the function τ are essential here):
Therefore, we deduce the inequality, after integration by parts in the drift term:
By using the Gonwall’s and Young’s inequalities, we prove a priori estimates:
for a constant C independent of ε. □
According to the well-known extension result (see [14], p. 505; [15], Lemma 2.1, p. 617; [16], Lemma 2.1, p. 7) under the assumptions on connectedness and regularity properties of Y f , let us introduce the extension operators \(\mathcal{P}_{\varepsilon} \) in Q outside of \(Q^{f}_{\varepsilon}\), equi-bounded of \(H^{1} ( Q^{f}_{\varepsilon} ) \) in H 1(Q). We then extend the functions c ±,ε into \(\widetilde {c_{\pm,\varepsilon}} =\mathcal{P}_{\varepsilon} ( c_{\pm ,\varepsilon } )\). Moreover, we quote that the function τ involved in the expression of the electrical double layer is a Lipschitz function, null for zero, which operates from H 1(Ω) in itself. Therefore, we have also the new a priori estimates, for a new constant C independent of ε:
Now, let us write again for t>0 the system (13)–(14) with integrals in Q, for any test functions v taken in \(\mathcal{D} ( \mathopen{]} 0,T \mathclose{[} ;V )\)
From the sequence \(\widetilde{ c_{\pm,\varepsilon}}\), we can extract a subsequence, still noted \(\widetilde{ c_{\pm,\varepsilon}}\) that converges to an element c ±, weakly in H 1(Q)2, weakly-∗ in L ∞(0,T;H 1(Ω))2, strongly in L 2(Q)2 and C 0([0,T];L 2(Ω))2, and \(\mathcal{L}^{d+1}\)-a.e. in Q using a result of compactness [26]. For t>0 fixed, the quantity \(\widetilde { c_{\pm,\varepsilon}} ( t ) \) has a sense and defines an element of H 1(Ω) uniformly bounded with respect to t, because \(\widetilde{ c_{\pm,\varepsilon}}\) is continuous from [0,T] to H 1(Ω) endowed with the weak topology. Moreover, \(\widetilde{ c_{\pm,\varepsilon}}\) two-scale converges (weakly) in Q to an element c ± and there exists an other element c ±,1(t,x,y) of \(L^{2} ( Q;H_{\sharp}^{1} ( Y ) / R )\) such that \(\nabla\widetilde{ c_{\pm,\varepsilon}}\) two-scale converges (weakly) to ∇ x c ±(t,x)+∇ y c ±,1(t,x,y).
(ii) Expression of Ψ 1(t,x,y)
For t>0 fixed, the expression \(\varPsi_{\varepsilon}^{\ast} ( t ) \) has a sense and defines and element of H 1(Ω), uniformly bounded with respect to t. Thus we can extract a subsequence \(\varPsi_{\varepsilon_{ ( t ) }}^{\ast} \) a priori dependent of t, such that \(\varPsi_{\varepsilon_{ ( t )}}^{\ast}\) converges to an element denoted Ψ ∗(t), weakly in H 1(Ω) and strongly in L 2(Ω), and therefore two-scale converges also. Moreover, there exists an element Ψ 1(t,x,y) of \(L^{2} ( \varOmega;H_{\sharp}^{1} ( Y ) / R ) \) such that \(\nabla\varPsi_{\varepsilon_{ ( t ) }}^{\ast}\) two-scale converges to ∇ x Ψ ∗(t)+∇ y Ψ 1(t,x,y). As τ is a Lipschitz function, \(\tau( \varPsi_{\varepsilon _{ ( t )}}^{\ast} ) \) converges to τ(Ψ ∗(t)) weakly in H 1(Ω) and strongly in L 2(Ω). Finally, \(\lambda( \frac {x}{\varepsilon (t)}) \tau( \varPsi_{\varepsilon(t)}^{\ast} ) ( t )_{\mid\varGamma ^{sf}_{\varepsilon(t)}}\) two-scale converges to λ(y)τ(Ψ ∗(t)), as defined by ([4], Theorem 2.1)
for any continuous function \((x,y) \mapsto\psi(x,y) \in\mathcal {C} ( \overline{\varOmega}; C_{\sharp}(y) )\).
The second part of the proof consists in introducing a test-function of the form \(\psi( x ) +\varepsilon\psi_{1} ( x,\frac{x}{\varepsilon} ) \) with \(\psi \in\mathcal{D} ( \overline{\varOmega} ) \) and \(\psi_{1}\in \mathcal{D} [ \varOmega;C_{\sharp}^{\infty} ( Y ) ]\). Passing at the two-scale limit for ε tending to zero in (32), it stands:
As \(\mathcal{D} ( \overline{\varOmega } ) \) is dense in H 1(Ω), using a general result for elliptic monotone partial differential equations in the Hilbert space H 1(Ω)× \(L^{2} ( \varOmega;H_{\sharp}^{1} ( Y ) / R )\), we can prove that the accumulation point (Ψ ∗(t,.),Ψ 1(t,. ,.)) obtained by this process is unique. As a consequence, we deduce a posteriori that it was not necessary to extract a subsequence dependent on t: all the sequence converges independently of t. Moreover, the weakly measurable function t→Ψ ∗(t,.) is in fact measurable according to Pettis theorem as V is a separable space.
Using this previous results, we deduce that at the two-scale limit, the homogenized problem obtained from the Poisson equation reduces to:
From (34), we deduce classically that Ψ 1 can be expressed, for all t>0, introducing functions ζ defined by (25) on the elementary cell \(E_{\mathrm{cell}}^{\varPsi^{\ast}}\):
Indeed, with this expression of ζ, it is easy to verify that:
(iii) Homogenized Poisson equation
Replacing expression (36) of Ψ 1 in the homogenized Poisson equation (35), we have to compute the expression:
Using the definition (24)–(25) of the tensor Λ (Theorem 1), we deduce that we have for all t>0 in Ω
which constitutes the second homogenized equation of Theorem 1.
(iv) Homogenized Nernst-Planck equation
To finish, we have to compute the two-scale limit of the Nernst-Planck equation from the weak formulation (31). To do this, we first have to notice that \(\chi_{\varOmega^{f}_{\varepsilon}}\nabla\varPsi_{\varepsilon }^{\ast} ( t ) \) two-scale converges to \(\chi_{Y_{f}} ( y ) [ \nabla_{x}\varPsi^{\ast} ( t,x ) +\nabla_{y}\varPsi_{1} ( t,x,y ) ]\), i.e., to
Replacing expression (36) of Ψ 1 in (38), the calculations are equivalent to the developments of (37) by considering that \(\kappa( \frac{x}{\varepsilon} ) =\chi_{Y_{f} } ( \frac{x}{\varepsilon} )\). This leads to introduce naturally the homogenized tensor ϒ defined by (22)–(23) in Theorem 1. The other calculations are similar than those to establish the homogenized equation (21) and are left to the reader.
(v) Uniqueness of the limit
In points (i) to (iv), we proved the existence of the two-scale limit leading to the homogenized equations (20)–(21) of Theorem 1. To establish the uniqueness, we must define a Lipschitz continuation (at the left and at the right) of the graph of the function τ outside of its domain of validity by two half-lines passing through the origin. We observe that the non-linear expression with respect to Ψ ∗
defined on H 1(Ω)×H 1(Ω), enables to define a strongly monotone operator \(\mathcal{A}_{\tau}\) from H 1(Ω) into its dual V′. Indeed, we have:
The other theoretical results, in particular the uniqueness of the solution of Theorem 2, derive from the application of monotone methods (see [26], Chap. 2) and from Gronwall lemma.
The uniqueness of the obtained accumulation point (c ±,Ψ ∗) implies the convergence of the sequences \(\widetilde{\ c_{\pm,\varepsilon}}\) and \(\varPsi_{\varepsilon }^{\ast} ( t ) \) without needing to extract subsequences.
Remark 2
It is important to notice that the source or well term (according to the sign of the potential) resulting from the homogenization of the electrical double layer term in the Nernst-Planck-Poisson system ((20) of Theorem 1) has an equivalent in the homogenization modelling of porous media in oil-engineering [4, 14–16]. When the coefficient λ is constant, the term \(\int_{ \varGamma^{sf}} \lambda( y ) \,ds ( y )\) writes λ|Γ sf| where |Γ sf| denotes the area of Γ sf in dimension d=3, that traduces an effect of memory conservation of the micro-local geometry by the homogenization process.
4 Steady Solutions and Asymptotic Solutions
In this section, we establish the general expressions of the concentrations for a very long time (steady and asymptotic solutions of the homogenized Nernst-Planck-Poisson system). They are given in the following result:
Theorem 3
The steady solutions of the homogenized Nernst-Planck-Poisson system (26)–(27) can be written in the form
where (ϰ ±) are two strictly positive constants. The potential \(\varPsi^{\ast\ast}=\varPsi_{\varkappa _{\pm}}^{\ast\ast}\) is the unique (steady) solution in L ∞(Ω)∩H 1(Ω) of the variational Liouville equation:
Moreover, in order that the functions C ± are asymptotic solutions as well, the principle of conservation of the concentrations must be preserved. Therefore, the constants ϰ ± must be solutions of the non-linear strongly coupled system:
Proof
Let us search a vectorial function C=(C ±) in H 1(Ω)2∩L ∞(Ω)2 such that for all v=(v ±) in H 1(Ω)2, and for Ψ ∗∗ representing the potential in H 1(Ω)∩L ∞(Ω):
Setting \(Z_{\pm}=\frac{F}{R\varTheta} z_{\pm}\), (42) may be written again:
Choosing a test-function \(v_{_{\pm}}=C_{_{\pm}}\exp( Z_{_{\pm}}\varPsi^{\ast\ast} ) \), that is possible in Banach algebra H 1(Ω)∩L ∞(Ω), it stands:
As the matrix ϒ is definite positive, the admissible solutions are necessary of the Maxwellian form:
Finally, in order that the concentrations C ± are also asymptotic solutions, the conservation principle of the concentrations imposes that:
Obviously, in the system (46) the constants ϰ ± depend on Cauchy data. Now, replacing expression (45) of the concentrations in the homogenized Poisson equation (21), the potential Ψ ∗∗ is proved to be a solution of the Liouville equation (40). As the function
is strictly monotonic, using general results on non-linear strongly monotone elliptic partial differential equations [26], we can prove that (40) admits a unique solution in H 1(Ω)∩L ∞(Ω), which concludes the proof of Theorem 3. □
5 Conclusion
The homogenization of the Nernst-Planck-Poisson system by two-scale convergence has made it possible to obtain a consistent model describing the ionic transfers, coupled with the electrocapillary effects, at the macroscopic scale for saturated porous media. The electrocapillary effects are taken into account in the homogenized Poisson equation through a source or a well term (according to the sign of the potential). With the approach used, not only it is not necessary to assume a priori an asymptotic expansion of the unknowns of the problem (the concentrations and the potential), but also we obtain a convergence result associated with the homogenized model. Moreover, the present formalism avoids using the Poisson-Boltzmann formalism, which considers generally monovalent ions, and may be easily extended to a multi-species approach. The Poisson-Boltzmann distribution of concentrations is recovered as the general form of the asymptotic steady solutions of the homogenized Nernst-Planck-Poisson system.
Notes
With valence ±1.
This equation corresponds to the mass conservation for the ionic species of concentration c ±,ε diffusing in the liquid phase.
The pore solution for cementitious materials for the concerned applications.
The unit normal vector n is directed from \(\varOmega_{\varepsilon}^{f}\) to \(\varOmega_{\varepsilon}^{s}\).
Expressed in F/m 2.
Pathological edges are excluded. We consider a Lipschitz boundary without reentrant corners.
References
Amiri, O., Aït-Mokhtar, A., Dumargue, P., Touchard, G.: Electrochemical modelling of chloride migration in cement based materials, Part I: Theoretical basis at microscopic scale. Electrochim. Acta 46, 1267–1275 (2001)
Amiri, O., Aït-Mokhtar, A., Dumargue, P., Touchard, G.: Electrochemical modelling of chlorides migration in cement based materials. Part II: Experimental study–calculation of chlorides flux. Electrochim. Acta 46, 3589–3597 (2001)
Allaire, G.: Homogenization and two-scale convergence. SIAM J. Math. Anal. 23(6), 1482–1518 (1992)
Allaire, G., Damlamian, A., Hornung, V.: Two-scale convergence on periodic surfaces and applications. In: Bourgeat, A., et al. (eds.) Proceedings of the International Conference on Mathematical Modelling of Flow Through Porous Media, pp. 15–25. World Scientific, Singapore (1996)
Auriault, J.L., Lewandowska, J.: Diffusion/adsorption/advection macrotransport in soils. Eur. J. Mech. A, Solids 15(4), 681–704 (1996)
Bard, A.-J., Faulkner, L.-R.: Electrochemical Methods. Fundamentals and Applications, 2nd edn. John Wiley and Sons, New York (2001)
Bensoussan, A., Lions, J.L., Papanicolaou, G.: Asymptotic Analysis for Periodic Structures. Studies in Mathematics and Its Applications. J.L. Lions, G. Papanicolaou and R.T. Rockafellar (eds.) (1978)
Biler, P.: Existence and asymptotics of solutions for a parabolic-elliptic system with nonlinear no-flux boundary conditions. Nonlinear Anal. 19(12), 1121–1136 (1992)
Biler, P., Dolbeault, J.: Long time behavior of solutions of Nernst-Planck and Debye-Hückel drift-diffusion systems. Ann. Henri Poincaré 1(3), 461–472 (2000)
Bourbatache, K., Millet, O., Aït-Mokhtar, A., Amiri, O.: Modeling the chlorides transport in cementitious materials using periodic homogenization. Transp. Porous Media 94(1), 437–459 (2012)
Bourbatache, K., Millet, O., Aït-Mokhtar, A.: Ionic transfer with electrocapillary interactions in cementitious porous media. Periodic homogenization and parametric study on 2D microstructures. Int. J. Heat Mass Transf. 55(21–22), 5979–5991 (2012)
Bourbatache, K., Millet, O., Aït-Mokhtar, A., Amiri, O.: Chloride transfer in cement-based materials. Part 1. Theoretical basis and modelling. Int. J. Numer. Anal. Methods Geomech. (2012). doi:10.1002/nag.2102
Bourbatache, K., Millet, O., Aït-Mokhtar, A., Amiri, O.: Chloride transfer in cement-based materials. Part 2. Experimental study and numerical simulations. Int. J. Numer. Anal. Methods Geomech. (2012). doi:10.1002/nag.2110
Blancher, S., Creff, R., Gagneux, G., Lacabanne, B., Montel, F., Trujillo, D.: Multicomponent flow in a porous medium. Adsorption and soret effect phenomena: local study and upscaling process. Modél. Math. Anal. Numér. 35(3), 481–512 (2001)
Conca, C., Díaz, J.I., Timofte, C.: Effective chemical processes in porous media. Math. Models Methods Appl. Sci. 13(10), 1437–1462 (2003)
Conca, C., Díaz, J.I., Liñán, A., Timofte, C.: Homogenization in chemical reactive flows. Electron. J. Differ. Equ. 2004(40), 1–22 (2004)
Daiguji, H., Yang, P., Majumdar, A.: Ion transport in nanofluidic channels. Nano Lett. 4(1), 137–142 (2004)
Gagneux, G., Madaune-Tort, M.: Analyse Mathématique de Modèles Non Linéaires de L’ingénierie Pétrolière. Collection Mathématiques et Applications, vol. 22. Springer, Berlin (1996)
Gagneux, G.: Sur l’analyse de modèles de la filtration diphasique en milieu poreux. Équations aux dérivées partielles et applications. In: Articles Dédiés à Jacques-Louis Lions, pp. 527–540. Gauthier-Villars, Éd. Sci. Méd. Elsevier, Paris (1998)
Gajewski, H., Gröger, K.: On the basic equations for carrier transport in semiconductors. J. Math. Anal. Appl. 113(1), 12–35 (1986)
Grahame, D.C.: Diffuse double layer theory for electrolytes of unsymmetrical valence types. J. Chem. Phys. 21, 1054–1060 (1953)
Grahame, D.C.: The electrical double layer and the theory of electro-capillarity. Chem. Rev. 41(3), 441–501 (1947)
Hornung, U.: Homogenization and Porous Media. Interdisciplinary Applied Mathematics, vol. 6. Springer, New York (1997)
Hornung, U., Jäger, W.: Diffusion, convection, adsorption, and reaction of chemicals in porous media. J. Differ. Equ. 92(2), 199–225 (1991)
Lions, J.-L.: Contrôle Optimal de Systèmes Gouvernés Par des Équations aux Dérivées Partielles. Dunod; Gauthier-Villars, Paris (1968)
Lions, J.-L.: Quelques Méthodes de Résolution des Problèmes aux Limites Non Linéaires. Dunod; Gauthier-Villars, Paris (1969)
Lipkowski, J., Ross, P.-N.: Electrochemistry of Novel Materials. Wiley-VCH Edition, New York (1994)
Moyne, C., Murad, M.: Macroscopic behavior of swelling porous media derived from micromechanical analysis. Transp. Porous Media 50, 127–151 (2003)
Moyne, C., Murad, M.: A two-scale model for coupled electro-chemo-mechanical phenomena and Onsager’s reciprocity relations in expansive clays: I. Homogenization analysis. Transp. Porous Media 62, 333–380 (2006)
Newman, J., Thomas-Alyea, K.E.: Electrochemical Systems, 3rd edn. John Wiley and Sons, New York (2004)
Nguetseng, G.: A general convergence result for a functional related to the theory of homogenization. SIAM J. Math. Anal. 20(3), 608–623 (1989)
Prohl, A., Schmuck, M.: Convergent finite element for discretizations of the Navier-Stokes-Nernst-Planck-Poisson system. Modél. Math. Anal. Numér. 44(3), 531–571 (2010)
Prohl, A., Schmuck, M.: Convergent discretizations for the Nernst-Planck-Poisson system. Numer. Math. 111(4), 591–630 (2009)
Ray, N., Muntean, A., Knabner, P.: Rigorous homogenization of a Stokes-Nernst-Planck-Poisson system. J. Math. Anal. Appl. 390(1), 374–393 (2012)
Sanchez Palencia, E.: Non-homogeneous Media and Vibration Theory. Lecture Notes in Physics. Springer, Berlin (1980)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gagneux, G., Millet, O. Homogenization of the Nernst-Planck-Poisson System by Two-Scale Convergence. J Elast 114, 69–84 (2014). https://doi.org/10.1007/s10659-013-9427-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10659-013-9427-4