Abstract
A proper mathematical model given by nonlinear Poisson–Nernst–Planck (PNP) equations which describe electrokinetics of charged species is considered. The model is generalized with entropy variables associating the pressure and quasi-Fermi electro-chemical potentials in order to adhere to the law of conservation of mass. Based on a variational principle for suitable free energy, the generalized PNP system is endowed with the structure of a gradient flow. The well-posedness theorems for the mixed formulation (using the entropy variables) of the gradient-flow problem are provided within the Gibbs simplex and supported by a-priori estimates of the solution.
Similar content being viewed by others
1 Introduction
To describe electrokinetic transport occurring in micro-structures in many physical, chemical, and biological applications, a proper mathematical model adhering to the law of conservation of mass is suggested following the approach [5, 9]. The reference cross-diffusion system of elliptic-parabolic type is described by nonlinear Poisson–Nernst–Planck (PNP) equations for concentrations of charged species and overall electrostatic potential. For physical consistency, they are generalized with entropy variables associating the pressure and quasi-Fermi electro-chemical potentials.
Based on a suitable free energy (see thermodynamic principles in [24]), in [20] a variational principle was established within the Gibbs simplex, thus preserving the total mass balance and non-negative species concentrations. In [18, 19], the generalized PNP problem was stated in two-phase medium composed of pore and particle parts and taking into account for nonlinear interface reactions which are of primary importance in applications. Its rigorous asymptotic analysis was carried our in [7, 8]. For a broad class of other relevant transport equations we refer to [6, 12, 15, 22], to [13] for stochastic systems, and to [17, 25] for variational principles.
Based on the entropy variables and following the thermodynamic formalism for cross-diffusion systems introduced in [11, 16], in the current work we endow the generalized PNP problem with the structure of a gradient flow and analyze it. Within the entropy approach, the question of global solvability of related diffusion problems was investigated in [1, 2, 4]. For the general theory of linear and quasilinear parabolic equations we refer to [21]. However, the key issue of the entropy approach requires uniformly strongly elliptic property of the governing system. Unfortunately, the ellipticity fails under coupling cross-diffusive phenomena for the PNP problem, thus implying the degenerate case. For a study of degenerate elliptic operators, see [23].
In Sect. 3 we present well-posedness analysis following from the regularization approach by [26]. We set the entropy variables as independent ones. In the fully coupled case, the non-negativity of species concentrations might be lost during the time evolution. Otherwise, when the electro-chemical potentials are well-defined, then the species concentrations are expressed by a normalized canonical ensemble of Fermi–Dirac statistics, thus yielding the non-negativity and the total mass balance. Moreover, in the decoupled case, in Sect. 4 we prove directly well-posedness of the static equilibrium for the underlying problem. A rigorous derivation of energy and entropy estimates is collected in Appendix A.
2 Generalized PNP problem
We start with the geometry configuration. Let \(\varOmega \subset \mathbb {R}^d\) (with natural \(d\in \mathbb {N}\)) be a connected domain with the Lipschitz boundary \(\partial \varOmega \) and the normal vector \({\nu }=(\nu _1,\ldots ,\nu _d)^\top \) outward to \(\varOmega \). Here and in what follows the upper symbol \({}^\top \) stands for transposition swapping columns and rows. We split \(\partial \varOmega \) into two disjoint parts \(\varGamma _{\mathrm{D}}\) and \(\varGamma _{\mathrm{N}}\) corresponding to mixed Dirichlet–Neumann boundary conditions. By this consideration we associate \(\varOmega \) to a pore space with a bath boundary \(\varGamma _{\mathrm{D}}\), which is complement to a solid space (bearing in mind possibly disconnected set of micro-particles) with the boundary \(\varGamma _{\mathrm{N}}\).
For time \(t\in \mathbb {R}_+\) and spatial coordinates \(\mathbf {x} =(x_1,\ldots ,x_d)^\top \in \mathbb {R}^d\), we look for an unknown distribution over the cylinder \((0,T)\times \varOmega \) (with the final time \(T>0\)) of mass concentrations \(\varvec{\rho }(t,\mathbf {x}) =(\rho _1,\ldots ,\rho _n)^\top \) (natural \(n\ge 2\)) of charged species (ions) with electric charges \(\mathbf {z} =(z_1,\ldots ,z_n)^\top \), electro-chemical potentials \(\varvec{\mu }(t,\mathbf {x}) =(\mu _1, \ldots ,\mu _n)^\top \), the overall electrostatic potential \(\phi (t,\mathbf {x})\), and the pressure \(p(t,\mathbf {x})\) according to the generalization that was introduced in [5]. For convenience, all the physical variables and parameters of the model are gathered in Table 1.
Our modeling is based on the general law of cross-diffusion
where the vector-valued diffusion fluxes \(\mathbf {J}_i(t,\mathbf {x}) =((J_i)_1,\ldots ,(J_i)_d)^\top \) are given by the constitutive law (see [5])
with coupling by means of diffusivity matrices \({\mathsf {D}}^{ij}\in \mathbb {R}^{d\times d}\), \(i,j=1,\dots ,n\). Here and in what follows \(\mathrm{div}\) stands for the divergence, and \(\nabla \) for the gradient. Inserting (1b) into (1a) implies a strongly nonlinear equation with respect to \(\varvec{\rho }\) and \(\varvec{\mu }\). The fluxes have to fulfill the mass conservation law:
The electrostatic potential \(\phi \) is described by the Poisson equation
where the electric permittivity \({\mathsf {A}}\in \mathbb {R}^{d\times d}\). The Navier–Stokes equation (see e.g. [14]) with zero flow velocity results in the force balance
The species concentrations should be physically consistent within a Gibbs simplex requiring non-negativity and preserving the total mass \(C>0\):
Introducing the Lagrangian function of a free energy (see [20])
the governing laws (1) are completed with the thermodynamic equilibrium expressed by functional derivatives
implying the Gibbs–Duhem equation for the electro-chemical potentials. It is worth noting that substitution of (2b) and (1b) into the diffusion equation (1a) leads to the gradient-flow structure
Since \(p+K\) is defined by (1e) up to an additive constant K, all the \(\mu _i +{\textstyle \frac{\mathrm{u}}{C}}\, K\) are determined by (2b) up to the same constant. Taking the gradient of (2b) and using the force balance (1e) leads to formulas [which will be useful later on to calculate the flux in (1b)] for \(i=1,\ldots ,n\)
where the functions \(\varUpsilon _1,\ldots ,\varUpsilon _n\) are uniformly bounded within the Gibbs simplex
Moreover, equating the variation \({\textstyle \frac{\delta \mathcal {E}}{\delta \phi }}\) of the function \(\mathcal {E}\) in (2a) to zero leads to the Gauss law in the form of Poisson equation (1d) and the inhomogeneous Neumann boundary condition below in (3c) for \(\phi \). From the optimization viewpoint, the pressure p enters (2a) as a Lagrange multiplier to the equality constraint in (1f) implying \({\textstyle \frac{\delta \mathcal {E}}{\delta p}} =0\).
The elliptic-parabolic system of nonlinear equations in (1)–(2) is endowed with the standard initial condition
and mixed Dirichlet–Neumann boundary conditions
for given data functions \(g\in L^\infty (0,T; L^2(\varGamma _{\mathrm{N}}))\), \(\phi ^0\in L^\infty (0,T; H^1(\varOmega ))\), and \(\varvec{\rho }^0 =(\rho ^0_1,\ldots ,\rho ^0_n)^\top \in H^1(0,T; L^2(\varOmega ))^n \cap C([0,T]; H^1(\varOmega ))^n\) such that
It is worth remarking that an inhomogeneous condition for the normal diffusion flux in (3c) would be well-posed only when it depends nonlinearly on \(\varvec{\rho }\), this case was investigated in [18,19,20].
In order to guarantee the flux balance identity (1c), it suffices to assume
with an elliptic matrix \({\mathsf {D}} \in \mathbb {R}^{d\times d}\). Indeed, substituting into (1c) the constitutive equations (1b) together with the expression for \(\rho _i\nabla \mu _i\) from (2c) and using the assumption (4a), after summation of the fluxes \(\mathbf {J}_i\) over \(i =1,\ldots ,n\) we have
since \(\sum _{j=1}^n (\nabla \rho _j) =\nabla C =0\) and \(\sum _{j=1}^n \varUpsilon _j(\varvec{\rho }) =0\) in (2c) due to the total mass balance in (1f). The assumption (4a) is related to quasi-stochastic matrices. In fact, rearranging the d-by-d matrix entries \({\mathsf {D}}^{ij} =(D^{ij}_{kl})_{k,l=1}^d\) into the n-by-n matrices \({\mathsf {D}}_{kl} =(D^{ij}_{kl})_{i,j=1}^n\), their sum in every column according to (4a) is equal to the same entry of \({\mathsf {D}} =(D_{kl})_{k,l=1}^d\), i.e.
Such matrices \({\mathsf {D}}_{kl}\) with non-negative entries are called column quasi-stochastic.
The standard assumptions for solvability are the ellipticity and boundedness conditions for diffusivities: there exist \(0<\underline{d}\le \overline{d}\) such that
and for the permittivity: there exist \(0<\underline{a}\le \overline{a}\) such that
Based on (1)–(4) now we give a weak variational formulation of the generalized PNP problem by excluding the entropy variables \(\varvec{\mu }\) and p with the help of (2c). Find a pair of functions
that satisfy the non-negativity and the total mass balance (1f), the Dirichlet condition (3b), and the following variational equations for \(i=1,\ldots ,n\)
for all test functions \(\overline{\varvec{\rho }} =(\overline{\rho }_1,\ldots , \overline{\rho }_n)^\top \in H^1(0,T; L^2(\varOmega ))^n \cap L^2(0,T; H^1(\varOmega ))^n\) and \(\overline{\phi }\in H^1(\varOmega )\) such that \(\overline{\varvec{\rho }}(T) =\mathbf {0}\); \(\overline{\varvec{\rho }} =\mathbf {0}\) and \(\overline{\phi } =0\) at \(\varGamma _{\mathrm{D}}\). The well-posedness to (5), (3b), and (1f) was investigated earlier in [18,19,20].
When solving problem (5), (3b), the key issue concerns fulfilling explicitly conditions (1f). In the following sections we consider the redundant entropy variable \(\varvec{\mu }\) as independent one, thus allowing to include conditions (1f) implicitly in the problem formulation.
3 Entropy formulation of the PNP problem
When (5), (3b) is solved, multiplying (1e) with the gradient of a smooth test function and integrating the result over the domain, the pressure can be determined as a solution (defined up to a constant K) to the elliptic equation
for all test functions \(\overline{p}\in H^1(\varOmega )\). The next step is to recover \(\varvec{\mu }\) from (2b). Taking \(\nabla \varvec{\mu }\), multiplying it with the gradient of suitable test functions, and integrating over the cylinder, the corresponding electro-chemical potentials
can be looked for as solutions to the mutually independent equations
holding for all test functions \(\overline{\mu }_i\in L^2(0,T; H^1(\varOmega ))\), and satisfying the Dirichlet boundary condition
In general, this elliptic problem is degenerate, because the operator of (6c) is unbounded due to the presence of factor \({\textstyle \frac{1}{\rho _i}}\). To remedy, we give the following two conditional assertions, which will be justified in Theorem 1 later on.
Proposition 1
(Existence of entropy variable \({\mu }\)) If the solution of the generalized PNP problem (5), (3b), and (1f) satisfies one of the following two conditions:
(i) there exist time \(T_0>0\) (possibly small) and a constant \(\underline{\rho }>0\) such that
then the problem (6b)–(6d) for this index \(i\in \{1,\ldots ,n\}\) is uniquely solvable within this time \((0,T_0)\).
Conversely, any solution to the system (6b)–(6d) satisfies (2b).
Proof
Indeed, if either condition (i) or condition (ii) is satisfied, then existence and uniqueness of the solution to (6b)–(6d) stated in Proposition 1 follows immediately from a general fact on elliptic systems. \(\square \)
Remark 1
Since by the very definition of a solution, \(\rho _i\in L^2(0,T_0;H^1(\varOmega ))\), see (5a), condition (i) in Proposition 1 implies condition (ii).
From (2b) we get
and summing up these equations over \(i=1,\ldots ,n\), due to the total mass balance \(\sum _{i=1}^n \rho _i=C\) we can express the pressure as
Excluding p from (7a) with the help of (7b), we bring the species concentrations in the form of a canonical ensemble of Fermi–Dirac statistics
The normalized probabilities obey the inherent behavior
Then the non-negativity and the total mass balance (1f) follow straightforwardly from the properties (7d). By this we observe that \(\mu _i-z_i\phi \rightarrow -\infty \) would lead to the limit \(\rho _i =0\) in (7c). This is an admissible behavior, as an example, for the function \((\mu _i-z_i\phi )(\mathbf {x}) =-\ln |\ln |\mathbf {x}||\) as \(\mathbf {x}\rightarrow \mathbf {0}\), which agrees with the \(H^1\)-spatial regularity of \(\varvec{\mu }\) and \(\phi \) stated in (5a) and (6b). In spite of the fact that \(\varvec{\mu } +K\) is defined up to an additive constant K, the concentrations \(\rho _i =P_i(\varvec{\mu } +K -\mathbf {z} \phi )\) in (7c) are defined uniquely.
Based on (7), we reformulate the generalized PNP problem as follows. Find a triple of functions
that satisfy the Fermi–Dirac statistics (7c), the Dirichlet condition (3b), and the following variational equations for \(i=1,\ldots ,n\)
for all test functions \(\overline{\varvec{\rho }} =(\overline{\rho }_1,\ldots , \overline{\rho }_n)^\top \in H^1(0,T; L^2(\varOmega ))^n \cap L^2(0,T; H^1(\varOmega ))^n\) and \(\overline{\phi }\in H^1(\varOmega )\) such that \(\overline{\varvec{\rho }}(T) =\mathbf {0}\); \(\overline{\varvec{\rho }} =\mathbf {0}\) and \(\overline{\phi } =0\) at \(\varGamma _{\mathrm{D}}\).
The nonlinear parabolic equations (8b) imply a degenerate system because its operator loses the ellipticity property compared to (5b). Firstly, because of the cross-diffusion structure induced by matrices \({\mathsf {D}}^{ij}\). Second, due to the presence of the factor \(\rho _j\), which is not uniformly positive in general. These facts do not allow to apply the boundedness-by-entropy method [16].
Nevertheless, the well-posedness results established in [18, 19] guarantee existence of a solution pair \((\varvec{\rho },\phi )\) for the generalized PNP problem in the form of (5), (3b) that satisfies the total mass balance in (1f). From (5b) using (2c) the time derivative \({\textstyle \frac{\partial \varvec{\rho }}{\partial t}}\) can be defined in \(L^2(0,T; H^{-1}(\varOmega ))^n\) as a continuous linear functional
where \(H^{-1}(\varOmega )\) stands for the dual space to functions \(\overline{\rho }_i\in H^1(\varOmega )\) such that \(\overline{\rho }_i =0\) on \(\varGamma _{\mathrm{D}}\), with the duality pairing \(\langle \,\cdot \,,\,\cdot \,\rangle _\varOmega \) between them. In fact, \(\varvec{\rho }\) is a continuous function of time, see [3, Remark 1, p. 509]. Since the strongly positive initial distribution \(\varvec{\rho }^0 >\mathbf {0}\) is assumed in (3d), then by the continuity it follows local in time fulfillment of the condition (6e) in Proposition 1. Within uniformly positive \(\varvec{\rho }\ge \underline{\varvec{\rho }}>0\), the electro-chemical potential \(\varvec{\mu }\) in (2b) obeying the regularity (6b) exists, and the triple \((\varvec{\rho },\phi ,\varvec{\mu })\) solves the equivalent problem (8), (7c), and (3b). This leads to the following local existence theorem.
Theorem 1
(Local existence for cross-diffusion entropy system) There exists a time interval \((0,T_0)\) (with \(T_0>0\) maybe small), where the cross-diffusion entropy problem given by (8), (7c), and (3b) has a solution \((\varvec{\rho },\phi ,\varvec{\mu })\). By this, \((\varvec{\rho },\phi )\) solve the problem (5), (3b), and \(\varvec{\mu }\) is from (2b).
For such \(T_0\), the local a-priori estimates hold for all \((t,\mathbf {x})\in (0,T_0)\times \varOmega \)
for \(i=1\ldots ,n\), with constant \(K^\mu _1(T_0), K^\mu _2(T_0) \ge 0\). For arbitrary final time \(T>0\), the global a-priori estimates hold with constant \(K_\phi >0\)
Proof
Here we justify the a-priori estimates. In (8e), the bounds of \(\varvec{\rho }\) follow from (7c) and (7d), and the bound of \(\phi \) is proved in Appendix A, Lemma 1. In (8d), the strict bounds of \(\varvec{\rho }\) are the consequence of continuity due to the strongly positive initial distribution (3d), and below we prove the estimate of \(\varvec{\mu }\).
The lower bound of \(\rho _i\) in (8d) allows us to apply Proposition 1. Based on this fact, we substitute p from (6a) and \(\overline{\mu }_i =\mu _i\) into (6c) to obtain
where the functions \(\varUpsilon _i\) are defined by (2c). With the help of the Cauchy–Schwarz inequality, from the above equality we get
where the upper bound of \(\varUpsilon _i(\varvec{\rho })\) is from (2d). Applying the estimate of \(\nabla \phi \) from (8e) and the bound of \(\nabla \varvec{\rho }\) proved in [18,19,20] for arbitrary \(T>0\)
with \(K^\rho _1(T), K^\rho _1(T) >0\), we obtain the estimate for \(\nabla \mu _i\) in (8d) with the bounds \(K^\mu _1(T) = k_{\mathrm{B}} \theta \bigl ( K^\rho _1(T_0) + K^\rho _2(T_0) T_0 K_\phi \bigr )\) and \(K^\mu _2(T) = (|z_i| +Z) T_0 K_\phi \), thus finishing the proof. \(\square \)
For global in time solvability, we require a stronger than (4a) assumption
with the Kronecker \(\delta _{ij} =1\) for \(i=j\), and zero otherwise. The assumption (9a) implies (4a) and imposes decoupling in (8b) as well as (5b). In this case, existence of a solution \((\varvec{\rho },\phi )\) to (5), (3b) satisfying both conditions in (1f) globally in time is proved in [18, 19]. Therefore, the existence of the regular entropy variable \(\varvec{\mu }\) from (2b) is sufficient to state the following theorem (see a relevant work [10]).
Theorem 2
(Conditional global existence for decoupled entropy system) Fix an arbitrary final time \(T>0\). Let \((\varvec{\rho },\phi )\) be a solution of problem (5), (3b) under the decoupling assumption (9a). If the electro-chemical potential \(\varvec{\mu }\) solving problem (6b)–(6d) exists, then the triple \((\varvec{\rho },\phi ,\varvec{\mu })\) solves the decoupled entropy system (8), (7c), and (3b).
The global a-priori estimates (8e) hold. If the Dirichlet data in (3b) are constant, i.e.
then the estimate with a constant \(K_\mu (T) >0\) holds (see Appendix A, Lemma 2)
In the next section we investigate an equilibrium state when \(T\nearrow \infty \).
4 Equilibrium state
Let \(\lim _{T\rightarrow \infty } g(T,\mathbf {x}) =:g^\infty (\mathbf {x})\in L^2(\varGamma _{\mathrm{N}})\) in (3c), and the limit in (3b)
be constant independent of \(\mathbf {x}\) and satisfying according to (3d) the properties
We consider a stationary counterpart of the entropy system (8), (7c), and (3b) under the decoupling assumption (9a). Find a triple of functions
that satisfy the Fermi–Dirac statistics
the Dirichlet condition
and the following variational equations for \(i=1,\ldots ,n\)
for all \(\overline{\varvec{\mu }} \in H^1(\varOmega )^n\) and \(\overline{\phi }\in H^1(\varOmega )\) such that \(\overline{\varvec{\mu }} =\mathbf {0}\) and \(\overline{\phi } =0\) at \(\varGamma _{\mathrm{D}}\).
Theorem 3
(Existence of equilibrium) A solution of problem (11) exists, which is given by the following relations
with the unique solution \(\phi ^\infty (\mathbf {x})\in H^1(\varOmega )\) satisfying the Dirichlet condition
and the quasilinear variational equation for the electrostatic potential
for all test functions \(\overline{\phi }\in H^1(\varOmega )\) such that \(\overline{\phi } =0\) at \(\varGamma _{\mathrm{D}}\).
Proof
We transform (11b) to the form (2b)
Consider the function
defined in \(\varOmega \). Then it holds for \(i=1,\ldots ,n\)
and due to the assumption of constant \((\varvec{\rho }^{(0,\infty )}, \phi ^{(0,\infty )})\) in (10a)
By virtue of the Dirichlet conditions (11c) we have \(\mu ^\infty _i -\mu ^{(0,\infty )}_i =0\) at \(\varGamma _{\mathrm{D}}\) and hence can substitute (13a) for the test function \(\overline{\mu }_i\) into (11d). Summing over \(i=1,\ldots ,n\) and taking into account that \(\underline{d} |\nabla \mu ^\infty _i|^2\le (\nabla \mu ^\infty _i)^\top {\mathsf {D}} \nabla \mu ^\infty _i\) with some \(\underline{d}>0\) by ellipticity of \({\mathsf {D}}\) in (9a), we obtain
Here we used the equality (13b) and the flux conservation (1c) implying \(\sum _{i=1}^n \rho ^\infty _i (\nabla \mu ^\infty _i)^\top {\mathsf {D}} =0\). This identity is sufficed by \(\varvec{\mu }^\infty =\mathbf {0}\), which is also necessary when \(\varvec{\rho }^\infty >\mathbf {0}\). Henceforth, \(\rho ^\infty _i =P_i(-\mathbf {z} \phi ^\infty )\) according to (11b), thus implying (12a), and (11e) turns into (12c).
The solvability of problem (12b), (12c) is proved in Appendix A, Lemma 1. \(\square \)
References
Bothe, D., Rolland, G.: Global existence for a class of reaction-diffusion systems with mass action kinetics and concentration-dependent diffusivities. Acta Appl. Math. 139, 25–57 (2015)
Burger, M., Di Francesco, M., Pietschmann, J.-F., Schlake, B.: Nonlinear cross-diffusion with size exclusion. SIAM J. Math. Anal. 42, 2842–2871 (2010)
Dautray, R., Lions, J.-L.: Mathematical Analysis and Numerical Methods for Sciences and Technology. Evolution Problems I. Springer, Berlin (2000)
Desvillettes, L., Fellner, K., Pierre, M., Vovelle, J.: Global existence for quadratic systems of reaction–diffusion. Adv. Nonlinear Stud. 7, 491–511 (2007)
Dreyer, W., Guhlke, C., Müller, R.: Overcoming the shortcomings of the Nernst–Planck model. Phys. Chem. Chem. Phys. 15, 7075–7086 (2013)
Efendiev, M.: Evolution Equations Arising in the Modelling of Life Sciences. Birkhäuser, Basel (2013)
Fellner, K., Kovtunenko, V.A.: A singularly perturbed nonlinear Poisson–Boltzmann equation: uniform and super-asymptotic expansions. Math. Meth. Appl. Sci. 38, 3575–3586 (2015)
Fellner, K., Kovtunenko, V.A.: A discontinuous Poisson-Boltzmann equation with interfacial transfer: homogenisation and residual error estimate. Appl. Anal. 95, 2661–2682 (2016)
Fuhrmann, J.: Comparison and numerical treatment of generalized Nernst–Planck models. Comput. Phys. Commun. 196, 166–178 (2015)
Gerstenmayer, A., Jüngel, A.: Analysis of a degenerate parabolic cross-diffusion system for ion transport. J. Math. Anal. Appl. 461, 523–543 (2018)
Glitzky, A., Mielke, A.: A gradient structure for systems coupling reaction–diffusion effects in bulk and interfaces. Z. Angew. Math. Phys. 64, 29–52 (2013)
Godoy Molina, M., Markina, I.: Sub-Riemannian geodesics and heat operator on odd dimensional spheres. Anal. Math. Phys. 2, 123–147 (2012)
Gonzalez, J.R., Guerrero, L.H., Cárdenas Alzate, P.P.: Solution of nonlinear equation representing a generalization of the Black–Scholes model using ADM. Contemp. Eng. Sci. 10, 621–629 (2017)
Gustafsson, B., Vasiliev, A.: Conformal and Potential Analysis in Hele–Shaw Cells. Birkhäuser, Basel (2006)
Ivanov, G., Vasil’ev, A.: Löwner evolution driven by a stochastic boundary point. Anal. Math. Phys. 1, 387–412 (2011)
Jüngel, A.: The boundedness-by-entropy method for cross-diffusion systems. Nonlinearity 28, 1963–2001 (2015)
Khludnev, A.M., Kovtunenko, V.A.: Analysis of Cracks in Solids. WIT-Press, Southampton (2000)
Kovtunenko, V.A., Zubkova, A.V.: Solvability and Lyapunov stability of a two-component system of generalized Poisson–Nernst–Planck equations. In: Maz’ya, V., Natroshvili, D., Shargorodsky, E., Wendland, W.-L. (eds.) Recent Trends in Operator Theory and Partial Differential Equations (The Roland Duduchava Anniversary Volume). Operator Theory: Advances and Applications, vol. 258, pp. 173–191. Birkhäuser, Basel (2017)
Kovtunenko, V.A., Zubkova, A.V.: On generalized Poisson–Nernst–Planck equations with inhomogeneous boundary conditions: a-priori estimates and stability. Math. Meth. Appl. Sci. 40, 2284–2299 (2017)
Kovtunenko, V.A., Zubkova, A.V.: Mathematical modeling of a discontinuous solution of the generalized Poisson–Nernst–Planck problem in a two-phase medium. Kinet. Relat. Mod. 11, 119–135 (2018)
Ladyzhenskaya, O.A., Solonnikov, V.A., Ural’tseva, N.N.: Linear and Quasilinear Equations of Parabolic Type. American Mathematical Society, Providence (1968)
Lavrentiev, M.M., Spigler, R., Akhmetov, D.R.: Regularizing a nonlinear integroparabolic Fokker–Planck equation with space-periodic solutions: existence of strong solutions. Sib. Math. J. 42, 693–714 (2001)
Murthy, M.K.V., Stampacchia, G.: Boundary value problems for some degenerate-elliptic operators. Ann. Mat. Pura Appl. 80, 1–122 (1968)
Prigogine, I.: Introduction to Thermodynamics of Irreversible Processes. Interscience Publ, New York (1961)
Radwan, A., Vasilieva, O., Enkhbat, R., Griewank, A., Guddat, J.: Parametric approach to optimal control. Optim. Lett. 6, 1303–1316 (2012)
Roubíček, T.: Incompressible ionized non-Newtonian fluid mixtures. SIAM J. Math. Anal. 39, 863–890 (2007)
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF). V.A.K. thanks the Colombian Institute for Education and Technical Studies Abroad (ICETEX) and Universidad Tecnológica de Pereira (UTP) for supporting his visit of UTP and the Conference ICAMI 2017 at San Andrés Island, Colombia; he is also thankful to O.O. Vasilieva.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
The work is supported by the Austrian Science Fund (FWF) project P26147-N26: “Object identification problems: numerical analysis” (PION) and the Austrian Academy of Sciences (OeAW).
Appendix
Appendix
Here we present auxiliary lemmas proving global a-priori estimates. The proof utilizes the standard boundary trace theorem and Poincare inequality as follows
In Theorem 1, (8e) and in Theorem 3 there was used the first lemma.
Lemma 1
(Global well-posedness of electrostatic potential \(\phi \)) For given measurable function \(\varvec{\mu }\in L^\infty ((0,T); \mathcal {M}(\varOmega ))^n\), data \(g\in L^\infty (0,T; L^2(\varGamma _{\mathrm{N}}))\) and \(\phi ^0\in L^\infty (0,T; H^1(\varOmega ))\), a solution \(\phi \in L^\infty (0,T; H^1(\varOmega ))\) satisfying the Dirichlet condition \(\phi =\phi ^0\) on \(\varGamma _{\mathrm{D}}\) in (3b) and the quasilinear parabolic equation in the variational form (inserting (7c) into (8c))
for all \(\overline{\phi }\in H^1(\varOmega )\) such that \(\overline{\phi } =0\) at \(\varGamma _{\mathrm{D}}\), exists and satisfies the a-priori estimate
with the positive constant
where the bounds are from (4d), (7d), (14), and recalling \(Z =\sum _{k=1}^n |z_k|\).
Proof
A solution to the quasilinear elliptic problem (15a) exists by the Schauder–Tikhonov fixed point theorem. Indeed, the principal term in (15a) is linear, coercive and bounded due to (4d). The nonlinear term is uniformly bounded according to (7d) and Lipschitz continuous, because \(\bigl |{\textstyle \frac{\partial P_k(\varvec{\mu })}{\partial \mu _i}}\bigr | \le {\textstyle \frac{C}{k_{\mathrm{B}}\theta }}\) for \(i,k=1,\ldots ,n\), from which it follows that \(|\nabla _{\varvec{\mu }} P_k(\varvec{\mu })| \le {\textstyle \frac{C \sqrt{n}}{k_{\mathrm{B}}\theta }}\) for \(\varvec{\mu }\in \mathbb {R}^n\) and
Testing (15a) with \(\overline{\phi } =\phi -\phi ^0\) provided by zero on \(\varGamma _{\mathrm{D}}\), due to (4d) we evaluate
Applying Young’s inequality to the following terms
where (7d) and \(Z =\sum _{k=1}^n |z_k|\) were used, after summation of these inequalities, with the help of (14) we arrive at the estimate (15b) and the bound (15c). \(\square \)
In Theorem 2, the estimate (9b) follows from the next lemma.
Lemma 2
(Global a-priori estimate for electro-chemical potential \({\mu }\)) For the quadruple \((\varvec{\rho },\phi ,\varvec{\mu },p)\), let \(\phi \in L^\infty (0,T; H^1(\varOmega ))\), \(p\in L^\infty (0,T; H^1(\varOmega ))\) solve (6a), \(\varvec{\rho }\in L^\infty ((0,T)\times \varOmega )^n\) within the Gibbs simplex (1f), and \({\textstyle \frac{\partial \varvec{\rho }}{\partial t}}\in L^2(0,T; H^{-1}(\varOmega )))^n\). If \(\varvec{\mu }\in L^2(0,T; H^1(\varOmega ))^n\) satisfies the thermodynamic relations (2b), the initial condition (3a), the boundary conditions in (3b) with the constant Dirichlet data
subject to conditions (3d), and the nonlinear parabolic equations (8b’) in the decoupled by (9a) form
for all \(\overline{\varvec{\rho }} \in L^2(0,T; H^1(\varOmega ))^n\) such that \(\overline{\varvec{\rho }} =\mathbf {0}\) at \(\varGamma _{\mathrm{D}}\), then the a-priori estimate holds
Here the bounds are from (2d), (4c), \(Z =\sum _{k=1}^n |z_k|\), and the function of entropy
is uniformly bounded as follows
Proof
We start with defining the entropy function in (16d) according to (2a). Since the inequality \(-x(\ln x +1) \le 1\) holds for all \(x\ge 0\), we have \(-\rho _i( \ln (\beta _i \rho _i) -1) \le {\textstyle \frac{1}{\beta _i}}\). The upper bound for S in (16e) follows by summing the latter inequality over \(i = 1,\ldots , n\), multiplying the result by \(k_{\mathrm{B}}\), integrating over \(\varOmega \), and using \(\sum _{k=1}^n {\textstyle \frac{1}{\beta _i}}= C\) due to (16a) and the total mass balance (3d). While the lower bound of S in (16e) holds for \(\rho _i \in (0,C)\).
The time derivative of entropy can be calculated with the help of thermodynamic relations (2b) in the form
Next we remark that the function \(\mu _i -z_i\phi -{\textstyle \frac{\mathrm{u}}{{C}}}\, p =k_{\mathrm{B}} \theta \ln (\beta _i \rho _i)\) is zero on \(\varGamma _{\mathrm{D}}\) because of the assumption (16a) and the Dirichlet condition (3b). Thus it can be inserted for a test function into (16b) and we get the following relations
thanks to the lower bound in (4c) and (9a). From (2b) and (2c) we easily get
Combining this equality with the upper bound in (4c) and (9a), and taking into account the inequality \(\rho _i\le C\) and estimate (2d) for \({\textstyle \frac{\varUpsilon _i(\varvec{\rho })}{\rho _i}}\), we can estimate the former integral in the right-hand side of (16g) from above using Young’s inequality as follows:
After summation over \(i=1,\ldots ,n\), the latter integral in the right-hand side of (16g) agrees with \(\theta \int _0^T \textstyle \frac{\partial S}{\partial t} \,dt\) due to (16f). Gathering the same terms in (16g)–(16i) and multiplying the resulting inequality with the factor \({\textstyle \frac{2}{\underline{d}}}\), we conclude with the a-priori estimate (16c). \(\square \)
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
González Granada, J.R., Kovtunenko, V.A. Entropy method for generalized Poisson–Nernst–Planck equations. Anal.Math.Phys. 8, 603–619 (2018). https://doi.org/10.1007/s13324-018-0257-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13324-018-0257-1
Keywords
- Electrokinetics
- Poisson–Nernst–Planck equations
- Gibbs simplex
- Entropy variables
- Gradient flow
- Well-posedness analysis
- Fermi–Dirac statistics