This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

A model for the electric field-driven deformation of a drop or vesicle in strong electrolyte solutions

Manman Ma
School of Mathematical Sciences, Tongji University, Shanghai 200092, China
   Michael R. Booty & Michael Siegel
Department of Mathematical Sciences and Center for Applied Mathematics and Statistics,
New Jersey Institute of Technology, Newark, New Jersey 07102, USA
(28 July 2021)
Abstract

A model is constructed to describe the arbitrary deformation of a drop or vesicle that contains and is embedded in an electrolyte solution, where the deformation is caused by an applied electric field. The applied field produces an electrokinetic flow or induced charge electro-osmosis. The model is based on the coupled Poisson-Nernst-Planck and Stokes equations. These are reduced or simplified by forming the limit of strong electrolytes, for which ion densities are relatively large, together with the limit of thin Debye layers. Debye layers of opposite polarity form on either side of the drop interface or vesicle membrane, together forming an electrical double layer.

Two formulations of the model are given. One utilizes an integral equation for the velocity field on the interface or membrane surface together with a pair of integral equations for the electrostatic potential on the outer faces of the double layer. The other utilizes a form of the stress-balance boundary condition that incorporates the double layer structure into relations between the dependent variables on the layer’s outer faces. This constitutes an interfacial boundary condition that drives an otherwise unforced Stokes flow outside the double layer. For both formulations relations derived from the transport of ions in each Debye layer give additional boundary conditions for the potential and ion concentrations outside the double layer.

1 Introduction

The purpose of this study is to construct a model based on the Poisson-Nernst-Planck and Stokes equations in the thin Debye layer limit for the deformation of an inclusion that is embedded in an exterior medium, where both the inclusion and exterior medium are electrolyte solutions. The deformation is driven by an imposed electric field and the solutions are strong electrolytes. Two examples are considered side by side. In one example, the electrolyte solutions and their solvents are immiscible, so that the inclusion is a drop, and the interface between the two fluids is assumed to be completely impervious to the passage of ions, so that it is referred to as ideally polarizable. This is perhaps the simplest model for the interface between two immiscible electrolyte solutions (ITIES) of electrochemistry. In the other example, the same electrolyte solution occupies both the interior and exterior phases, which are separated by an interfacial membrane, such as an inextensible lipid bilayer or a vesicle membrane. The membrane significantly impedes the passage of both solvent and ions but still allows a small flux of each species to pass separately between the two phases.

At each point of the interface the Debye layers on its opposite sides have opposite polarity, and together the pair are referred to as an electrical double layer. Both the Debye layer and double layer are fundamental concepts in electrochemistry and colloid science, and have been been studied theoretically since the work by Helmholtz of 1853 [1], often in the context of an electrically charged solid in contact with an electrolyte solution. The underlying structure used here for the distribution of ions and the electrostatic potential within each Debye layer is the Gouy-Chapman model, of Gouy [2] and Chapman [3], in which diffusion of ions is balanced by an electrostatic Coulomb force acting on their electrical charge at the continuum level. Although the model has been developed since to include additional effects such as the non-zero size of ions, the influence of the solvation shell around an ion, and other realistic effects, these developments all retain the basic constituents of the Gouy-Chapman model at their core. The texts by Russel et al. [4] and Hunter [5] give a review of the general theory of the Debye and double layer and describe related experiments.

The mechanism for flow and deformation is as follows. The electric field 𝑬\bm{E} in the medium causes ions to move or migrate under the action of an electrostatic Coulomb force, with the (positively charged) cations moving in the direction of 𝑬\bm{E} and the (negatively charged) anions moving in the direction opposite to 𝑬\bm{E}. Both ion species are advected with the underlying fluid velocity modified by a molecular drift velocity due to the combined effects of a concentration dependent diffusive flux and the Coulomb force induced electromigration. Away from boundaries and interfaces that impede their motion ions are present in number densities according to their valence that maintain zero net charge or electroneutrality. For simplicity we consider binary symmetric electrolytes with valence 1 ions, so that these number densities are equal.

However, near a boundary or interface that stops or impedes the movement of ions in the normal direction, ion densities change and charge separation occurs. Positive charge develops when 𝑬\bm{E} has a normal component directed from the medium to the interface and negative charge develops when 𝑬\bm{E} has a normal component in the opposite direction, that is, directed from the interface into the medium. An electrical double layer forms, with Debye layers of opposite polarity on either side of the interface.

The presence of separated or induced charge in a net electric field causes a force to be exerted on the fluid locally. The force has a normal component that can deform the interface and a tangential component that induces fluid flow along the interface with accompanying shear stress that can also cause interfacial motion and deformation. This is an example, for a deformable interface, of induced charge electrokinetic flow or induced charge electro-osmosis (ICEO). It is described in the above-mentioned texts by Russel et al. [4] and Hunter [5], and more recent reviews of the theory and experiments of ICEO have been given by, for example, Squires & Bazant [6, 7]. Girault [8] reviews the electrochemistry of liquid-liquid interfaces (i.e., ITIES) and Reymond et al. [9] discuss current and potential applications at their time of writing.

Much of the recent interest in electrokinetic flow and the related area of electrohydrodynamics (EHD) is motivated by their applications in microfluidics; Vlahovska [10] gives a comprehensive review that addresses fundamental aspects of many studies in EHD. Central to electrohydrodynamics is the leaky dielectric model of Melcher & Taylor [11], and a contrast between electrohydrodynamics and electrokinetics is described in the introduction of the review by Saville [12]. Namely, in EHD electric charge is situated at or on the interface between media of different electric permittivity that are weak conductors of charge due to a relatively low concentration of ions. Large electric field strengths must be applied to induce a flow in these weak electrolytes. In electrokinetics, charge-carrying ions are plentiful and present in a diffuse charge cloud near a surface. An applied potential of the order of volts per centimeter is sufficient to induce flow in these strong electrolytes.

The focus of the study by Saville [12] is a derivation of the leaky dielectric model based on the governing equations of electrokinetics, the Poisson-Nernst-Planck equations, that is applicable to weak electrolytes. In this sense, he explains there, the two topics merge. Further, this had been anticipated by Taylor [13] in the concluding remarks of his study on the circulation induced in a drop by an electric field, where he comments that the predictions of the electrohydrodynamic model ‘may be expected to be realistic even if the charge is not exactly situated at the interface, provided its distance from the interface is small compared with the linear scale of the situation’.

Since Savile [12] two more recent studies on the derivation of the leaky dielectric, electrohydrodynamic model as a limiting form for weak electrolytes of the Poisson-Nernst-Planck equations of electrokinetics have been made by Schnitzer & Yariv [14] and by Mori & Young [15].

Pascall & Squires [16] give a detailed study of electrokinetic phenomena at liquid-liquid interfaces. Their main focus is the dependence of the free-stream or slip velocity of an electrolyte solution, far from a double layer, on characteristic properties of the underlying media. In particular, given an imposed tangential electric field, there is an increase in the free-stream velocity by a factor of d/λ1d/\lambda_{*}\gg 1 if a liquid film of thickness dd is introduced between the electrolyte solution and an underlying solid metal substrate, where λ\lambda_{*} is the thickness of the Debye layer. This occurs when the liquid film is either a perfect conductor or a dielectric permeated by an electric field. Their study compares and successfully reconciles the results and predictions of earlier studies, and establishes similar results for the electrophoresis of spherical liquid drops. The geometry is fixed, either planar or spherical, and the context is that of a steady state.

The present study is organized as follows. In §2 the governing field equations and boundary conditions, including the conditions at a drop and vesicle interface are stated, together with the initial conditions and the far-field conditions for an imposed electric field. The field equations consist of the Poisson-Nernst-Planck equations coupled to the equations of zero-Reynolds number or Stokes flow. Nondimensional scales are introduced and the nondimensional form of the system is given in §2.4. The Nernst-Planck equations for the ion concentrations include rate terms that express the rate of dissociation of salt or electrolyte into ions and the recombination or association of ions into salt. In §3 the limit of a strong electrolyte is formed, for which all or nearly all of the salt is present in its dissolved or disassociated form as ions. The analysis then proceeds with the ion concentration equations in an effectively rate-free form.

In the thin Debye layer limit, a representative Debye layer thickness λ\lambda_{*} is much less that the linear dimension aa of the inclusion, so that their ratio ϵ=λ/a\epsilon=\lambda_{*}/a is small, that is, 0<ϵ10<\epsilon\ll 1. The ϵ0\epsilon\rightarrow 0 limit is taken up first in §4, where the field equations that apply in the outer regions, away from the Debye layers, are given at leading order in an ϵ\epsilon-expansion. These equations are devoid of source or inhomogeneous forcing terms.

Section 5 concerns the structure of the inner regions or Debye layers. A surface-fitted intrinsic coordinate system is introduced (§5.1). With this, the Gouy-Chapman solution for the ion concentrations and electrostatic potential within the layers is constructed, at leading order, in a form that is parameterized by variables at the outer edges of the Debye layers (§5.2). Expressions for the pressure and fluid velocity in terms of the local or excess potential within the layers are given in §5.4, with a similar parameterization,.

For two immiscible electrolyte solutions, a drop possesses a charged double layer even when in equilibrium, and the accompanying jump in potential across the double layer is referred to as an inner or Galvani potential [5]. This potential, via the Debye layer ζ\zeta-potentials, is expressed in terms of ion partition coefficients in the reduced or small-ϵ\epsilon limit in §5.3. In §5.5 reduced expressions are given for the small but non-zero trans-membrane ion flux and osmotic solvent flux across a vesicle membrane.

To form a closed, reduced asymptotic or macroscale model it is necessary to consider the transport of ions within the Debye layers, which is the subject of §6. Sections 6.1 and 6.2 give the transport relations that are specific to a drop and to a vesicle, and their use as interfacial boundary conditions is taken up in §6.3

In §7 a Fredholm second kind integral equation is derived that gives the fluid velocity on the interface in terms of a net interfacial traction and an integral term that depends on the electrostatic energy density contained in the double layer and which has a Stokes-dipole kernel. Some details of the construction are put in Appendix A. Section 8 recalls the integral equation for the electrostatic potential.

A formulation via integral equations is convenient for simulating large-amplitude deformations. For small-amplitude deformation the stress-balance boundary condition at the interface can be used instead, and this, expressed in terms of quantities at the outer edges of the Debye layers and known surface data, is given in Appendix B for a drop and for a vesicle. The location in the text of relations that are needed to form the model is summarized in §9, and concluding remarks are made in §10.

2 Formulation: governing equations and boundary conditions

The formulation begins with the Nernst-Planck equations for a dilute electrolyte solution coupled to the Stokes equation for an incompressible fluid. For a symmetric 1:11:1 binary electrolyte, with one positive ion species (or cation) of charge ee and one negative ion species (or anion) of the same valence, the Nernst-Planck equations for ion conservation are

tc(±)+(c(±)𝒗(±))=,𝒗(±)𝒖=b(±)eϕD(±)lnc(±),\partial_{t}c^{(\pm)}+\nabla\cdot(c^{(\pm)}\bm{v}^{(\pm)})={\cal R}\,,\hskip 28.45274pt{}\\ \bm{v}^{(\pm)}-\bm{u}=\mp b^{(\pm)}e\nabla\phi-D^{(\pm)}\nabla\ln c^{(\pm)},{} (2.1)

with conservation of the combined salt given by

ts+(s𝒗)=,𝒗𝒖=Dslns.\partial_{t}s+\nabla\cdot(s\bm{v})=-{\cal R}\,,\hskip 22.76219pt{}\\ \bm{v}-\bm{u}=-D_{s}\nabla\ln s.\hskip 28.45274pt{} (2.2)

Quantities specific to an ion species are given a (±)(\pm)-superscript to denote the ion charge, (+)(+) for the cation and ()(-) for the anion, and cc denotes the ion species concentration. The Eulerian velocity of a species is denoted by 𝒗\bm{v} and the mass averaged fluid velocity is 𝒖\bm{u}.

Equation (LABEL:NPdimb) gives the drift velocity of ions through the fluid. This is due to (i) the Coulomb force on ion charges in the electric field, which induces electromigration, with ion mobility b(±)b^{(\pm)} and electrostatic potential ϕ\phi, and (ii) the diffusion of ions due to variations in their concentration, with ion diffusivity given by the Einstein-Smoluchowski relation D(±)=b(±)kBTD^{(\pm)}=b^{(\pm)}k_{B}T. The drift velocity is also the product of the ion mobility and the net thermodynamic force acting on the ions, which is minus the gradient of their electrochemical potential, and (LABEL:NPdimb) is referred to as the Nernst-Planck relation [4]. It can be used to recast the expression for the molecular ion flux, which is

𝒋(±)=c(±)(𝒗(±)𝒖).\bm{j}^{(\pm)}=c^{(\pm)}(\bm{v}^{(\pm)}-\bm{u})\,. (2.3)

The concentration of the electrically neutral combined salt is denoted by ss, with diffusivity DsD_{s}. The rate term {\cal R} is given by

=kdskac(+)c(),{\cal R}=k_{d}s-k_{a}c^{(+)}c^{(-)}\,, (2.4)

where kdk_{d} is the rate of dissociation of the salt into ions and kak_{a} is the rate of association of ions into salt.

An ii-subscript is used to denote separate phases, with i=1i=1 for the dispersed or interior phase domain Ω1\Omega_{1} and i=2i=2 for the continuous or exterior phase domain Ω2\Omega_{2}. Later, an ii-subscript will also be applied to material parameters and ambient species concentrations, which can be different in the two phases but are constant within each phase. However, it will be omitted initially when the distinction does not need to be made.

The electric displacement 𝑫\bm{D}, electric field 𝑬\bm{E}, and volumetric charge density ρ\rho satisfy the relations

𝑫=ρ,𝑫=ε𝑬,𝑬=ϕ,ρ=e(c(+)c()).\nabla\cdot\bm{D}=\rho,\ \ \ \bm{D}=\varepsilon\bm{E},\ \ \ \bm{E}=-\nabla\phi,\ \ \ \rho=e(c^{(+)}-c^{(-)}). (2.5)

These are respectively Gauss’s law, a linear constitutive relation with relative electric permittivity or dielectric constant ε\varepsilon, the relation between the electric field and the electrostatic potential, and the charge density in terms of the ion densities. Together they give the Poisson equation in the form

2ϕ=eε(c(+)c()).\nabla^{2}\phi=-\frac{e}{\varepsilon}(c^{(+)}-c^{(-)}). (2.6)

In the Stokes flow or zero Reynolds number limit for an incompressible electrolyte,

𝒖=0,andp+μ2𝒖+ρ𝑬=0,\nabla\cdot\bm{u}=0,\ \ \mbox{and}\ \ -\nabla p+\mu\nabla^{2}\bm{u}+\rho\bm{E}=0, (2.7)

where pp is the pressure. The Coulomb force term ρ𝑬\rho\bm{E} in the Stokes equation provides the coupling from the electrostatic field or Nernst-Planck and Poisson equations to the fluid field, and can be expressed in various equivalent ways by use of (2.5).

A sketch of the Debye layer pair near the interface, which introduces some of the notation we use, is given in Figure 1.

2.1 Boundary Conditions for a Drop

In the boundary conditions adopted for a drop, the interface has no electrical capacitance and no monopole surface charge. It is also impervious or impenetrable to ions, and is therefore referred to as ideally polarizable. This gives the interfacial boundary conditions

[ϕ]=0,[𝑫𝒏]=0,and𝒋(±)𝒏=0onS,[\phi]=0,\ \ \ [\bm{D}\cdot\bm{n}]=0,\ \ \mbox{and}\ \ \bm{j}^{(\pm)}\cdot\bm{n}=0\ \ \ \mbox{on}\ S, (2.8)

respectively. Here SS denotes the sharp interface between the two phases, with outward unit normal 𝒏\bm{n}, and [][]Ω1Ω2[\cdot]\equiv[\cdot]^{\partial\Omega_{2}}_{\partial\Omega_{1}} denotes the jump across SS, with the convention that it is the limit as SS is approached from the exterior domain Ω2\Omega_{2} minus the limit as SS is approached from the interior domain Ω1\Omega_{1}.

Continuity of velocity of the solvent and the kinematic boundary condition imply that

[𝒖]=0,and(𝒖𝒙st)𝒏=0onS,[\bm{u}]=0,\ \ \mbox{and}\ \ (\bm{u}-\frac{\partial\bm{x}_{s}}{\partial t})\cdot\bm{n}=0\ \ \mbox{on}\ S, (2.9)

where 𝒙s\bm{x}_{s} is any point on SS. The stress-balance boundary condition is that

[(𝑻H+𝑻M)𝒏]=σ(κ1+κ2)𝒏onS,\displaystyle[(\bm{T}_{H}+\bm{T}_{M})\cdot\bm{n}]=\sigma(\kappa_{1}+\kappa_{2})\bm{n}\ \ \mbox{on}\ S,\hskip 56.9055pt (2.10)
where𝑻H=p𝑰+2μ𝒆and𝑻M=ε(ϕϕ12|ϕ|2𝑰).\displaystyle\mbox{where}\ \ \bm{T}_{H}=-p\bm{I}+2\mu\bm{e}\ \ \mbox{and}\ \ \bm{T}_{M}=\varepsilon(\nabla\phi\otimes\nabla\phi-\frac{1}{2}|\nabla\phi|^{2}\bm{I}). (2.11)

Here 𝑻H\bm{T}_{H} is the stress tensor for a Newtonian fluid with viscosity μ\mu and (𝒆)ij=(xjui+xiuj)/2(\bm{e})_{ij}=(\partial_{x_{j}}u_{i}+\partial_{x_{i}}u_{j})/2 is the symmetric part of the velocity gradient. 𝑻M\bm{T}_{M} is the part of the Maxwell stress tensor due to the electric field, which has been written in terms of the potential ϕ\phi, σ\sigma is a constant surface tension, and κ1\kappa_{1} and κ2\kappa_{2} are the principal curvatures of SS. With 𝒏\bm{n} pointing outward on SS the principal curvatures are taken to be positive when the curve of intersection of S by a plane containing 𝒏\bm{n} and a principal direction is convex on the side to which 𝒏\bm{n} points, and is negative otherwise.

Under equilibrium conditions there is typically a difference in the electric potential between distinct phases that occurs at and near the interface between them. It is caused by a difference in the affinity for charge carriers of the phases and is referred to as an inner or Galvani potential [5]. The boundary conditions

c(+)|Ω1=l(+)c(+)|Ω2,andc()|Ω1=l()c()|Ω2onS,c^{(+)}|_{\partial\Omega_{1}}=l^{(+)}c^{(+)}|_{\partial\Omega_{2}},\ \mbox{and}\ c^{(-)}|_{\partial\Omega_{1}}=l^{(-)}c^{(-)}|_{\partial\Omega_{2}}\ \ \mbox{on}\ S\,, (2.12)

where l(+)l^{(+)} and l()l^{(-)} are constant partition coefficients, imply the presence of a non-zero Galvani potential when l(+)l()l^{(+)}\neq l^{(-)}. The notation c(±)|Ωic^{(\pm)}|_{\partial\Omega_{i}} denotes evaluation of the ion concentration c(±)c^{(\pm)} in the limit as SS is approached from the domain Ωi\Omega_{i} for i=1,2i=1,2. Boundary conditions of this type have been considered by, for example, Zholkovskij et al. [17] and by Mori & Young [15].

2.2 Boundary Conditions for a Cell or Vesicle

Mori et al. [18] introduce a set of phenomenological boundary conditions for the behavior of a cell or vesicle, where the interior and exterior phases are separated by a membrane, and these are summarized here. The membrane has an initial equilibrium reference configuration SrefS_{ref} with a local coordinate system 𝜽\bm{\theta} that serves as a Lagrangian or material coordinate. At subsequent times the membrane, which is treated as a sharp interface SS between the phases Ωi\Omega_{i} that nonetheless has electromechanical structure, is described by 𝒙=𝑿(𝜽,t)\bm{x}=\bm{X}(\bm{\theta},t).

The same notation for interfacial quantities is used for both a drop and a vesicle. Here we have: [][\cdot] for the jump in a quantity across the membrane, |Ωi\cdot|_{\partial\Omega_{i}} for evaluation as the side Ωi\partial\Omega_{i} of the membrane is approached, or simply on SS for a quantity that is continuous.

If the membrane is semi-permeable or porous to the aqueous solvent it allows a flow of solvent in the normal direction that occurs by osmosis and is assumed to be proportional to the jump in the solvent’s partial pressure across the membrane. Hence

𝒖𝑿t|𝜽=πm[pkBT(c(+)+c())]𝒏onS,\bm{u}-\left.\frac{\partial\bm{X}}{\partial t}\right|_{\bm{\theta}}=-\,\pi_{m}\,[p-k_{B}T(c^{(+)}+c^{(-)})]\,\bm{n}\ \ \mbox{on}\ S\,, (2.13)

where πm0\pi_{m}\geq 0 is an effective membrane porosity and the partial pressure of the ions is given by the ideal gas law.

The trans-membrane flux for each ion species is taken to be proportional to the jump in its electrochemical potential across the membrane surface. Mori et al. [18] give the boundary condition

c(±)(𝒗(±)𝑿t|𝜽)𝒏=g(±)[kBTlnc(±)±eϕ]onS,c^{(\pm)}(\bm{v}^{(\pm)}-\left.\frac{\partial\bm{X}}{\partial t}\right|_{\bm{\theta}})\cdot\bm{n}=-g^{(\pm)}[k_{B}T\ln c^{(\pm)}\pm e\phi]\ \ \mbox{on}\ S\,, (2.14)

where g(±)0g^{(\pm)}\geq 0 is a gating constant for each ion species, and the velocity on the left hand side, 𝒗(±)t𝑿|𝜽\bm{v}^{(\pm)}-\partial_{t}\bm{X}|_{\bm{\theta}}, is the velocity of ions relative to the membrane material.

In the analysis that follows, a boundary condition is needed for the normal component of the molecular ion flux 𝒋(±)𝒏\bm{j}^{(\pm)}\cdot\bm{n} in the electrolyte solution immediately adjacent to the membrane, where the flux 𝒋(±)\bm{j}^{(\pm)} is given by equation (2.3), i.e., 𝒋(±)=c(±)(𝒗(±)𝒖)\bm{j}^{(\pm)}=c^{(\pm)}(\bm{v}^{(\pm)}-\bm{u}). If the normal ion flux 𝒋(±)𝒏\bm{j}^{(\pm)}\cdot\bm{n} in the electrolyte and the normal ion flux across the membrane given by (2.14) are not equal then charge is not conserved at the membrane boundaries Ωi\partial\Omega_{i} but accumulates there. We note that this occurs if both (2.13) and (2.14) are applied to a membrane that is semi-permeable to solvent, i.e., when πm>0\pi_{m}>0. This is verified by subtracting equation (2.13) multiplied by the ion concentration c(±)c^{(\pm)} from (2.14) to form the electrolyte ion flux 𝒋(±)𝒏\bm{j}^{(\pm)}\cdot\bm{n}, and noting that the concentration of each ion species is not continuous but has a jump across the membrane.

This difficulty is easily resolved by modifying the trans-membrane flux boundary condition (2.14) to read

c(±)(𝒗(±)𝒖)𝒏=g(±)[kBTlnc(±)±eϕ]onS,c^{(\pm)}(\bm{v}^{(\pm)}-\bm{u})\cdot\bm{n}=-g^{(\pm)}[k_{B}T\ln c^{(\pm)}\pm e\phi]\ \ \mbox{on}\ S\,, (2.15)

which conserves charge across the membrane and its boundaries and holds in general, that is for all πm0\pi_{m}\geq 0. When the membrane is impermeable to solvent (i.e., πm=0\pi_{m}=0) the boundary condition (2.13) reduces to no-slip between the electrolyte and membrane surface, and (2.14) and (2.15) are identical, but when the membrane is semi-permeable to solvent (i.e., πm>0\pi_{m}>0) the solvent and ion species cross the membrane at different rates via distinct pores or channels, and (2.15) must be applied instead.

Refer to caption
Figure 1: An interior phase Ω1\Omega_{1} with boundary Ω1\partial\Omega_{1} and an exterior phase Ω2\Omega_{2} with boundary Ω2\partial\Omega_{2} are separated by the interface SS of a drop or a vesicle membrane that is either impervious or nearly impervious to the passage of ions. An electric field with strength 𝑬\bm{E} induces a flow of ions that charges up a pair of Debye layers of opposite polarity. The outer edges of the Debye layers are denoted by S+S_{+} in the exterior phase and SS_{-} in the interior phase, and the induced flow velocity of the host solvent is denoted by 𝒖\bm{u}.

The membrane has electrical capacitance because it can maintain a jump in the potential across its outer faces, between which the potential varies linearly with normal distance. The jump in the potential is referred to as the trans-membrane potential and is denoted by [ϕ][\phi]. The membrane has no net monopole charge, in the sense that at distinct points along the normal the surface charge densities on opposite faces have equal magnitude and opposite polarity, cancelling each other. The charge on each face is related to the trans-membrane potential by the membrane capacitance per unit area CmC_{m}. Analogous to the first two boundary conditions of (2.8) for a drop, but modified to express continuity of electric displacement and the capacitance of the membrane, we have the vesicle boundary conditions

εϕ𝒏|Ω1=εϕ𝒏|Ω2=Cm[ϕ],whereCm=εmd.\varepsilon\nabla\phi\cdot\bm{n}|_{\partial\Omega_{1}}=\varepsilon\nabla\phi\cdot\bm{n}|_{\partial\Omega_{2}}=C_{m}[\phi]\,,\ \mbox{where}\ C_{m}=\frac{\varepsilon_{m}}{d}\,. (2.16)

Here εm\varepsilon_{m} is the membrane permittivity, and dd is its thickness.

Two specific membrane capacitance models of Mori et al. [18] are

Cm={Cm0(a),Cm0δA(𝑿)(b).C_{m}=\left\{\begin{array}[]{ll}C_{m}^{0}&(\mbox{a})\,,\\ C_{m}^{0}\delta A(\bm{X})&(\mbox{b})\,.\end{array}\right. (2.17)

These hold if, for example, the bulk material of the membrane is incompressible, and then (2.17a) applies when the membrane surface is locally inextensible and (2.17b) applies when it is locally extensible. The capacitance per unit area in the initial undeformed or reference state is Cm0C_{m}^{0}, which is constant for a homogeneous membrane. The ratio of the local surface area in the deformed state to its value in the initial reference state following a material point 𝒙=𝑿(𝜽,t)\bm{x}=\bm{X}(\bm{\theta},t) is denoted by δA(𝑿)\delta A(\bm{X}). Bulk incompressibility implies that the volume of a membrane material element d(𝑿)δA(𝑿)d(\bm{X})\delta A(\bm{X}) is conserved during deformation, so that for the locally inextensible surface of (2.17a) δA(𝑿)=1\delta A(\bm{X})=1 with d(𝑿)d(\bm{X}) and Cm0C_{m}^{0} conserved, while for (2.17b) d(𝑿)1δA(𝑿)d(\bm{X})^{-1}\propto\delta A(\bm{X}).

The stress-balance boundary condition is

[(𝑻H+𝑻M)𝒏]=2σH𝒏sσκb((2HC0)(H2K+C0H2)+s2H)𝒏[(\bm{T}_{H}+\bm{T}_{M})\cdot\bm{n}]=2\sigma H\bm{n}-\nabla_{s}\sigma-\kappa_{b}\left((2H-C_{0})(H^{2}-K+\frac{C_{0}H}{2})+\nabla_{s}^{2}H\right)\bm{n}\\ (2.18)

on SS. The vesicle membrane has a bending stiffness that is expressed in terms of the bending modulus κb\kappa_{b}, the mean curvature H=(κ1+κ2)/2H=(\kappa_{1}+\kappa_{2})/2, the Gaussian curvature K=κ1κ2K=\kappa_{1}\kappa_{2}, and a spontaneous curvature C0C_{0}. The spontaneous curvature C0C_{0} is twice the mean curvature of the membrane material in a traction-free equilibrium state, see for example Vlahovska et al. [19] and Seifert [20], and it is usually set to zero. Here, s\nabla_{s} denotes the surface gradient operator, s2\nabla_{s}^{2} is the Laplace-Beltrami or surface Laplacian operator, and the convention for the sign of the principal curvatures κ1\kappa_{1} and κ2\kappa_{2} is the same as that in (2.10).

The tension in the membrane surface is denoted by σ\sigma in (2.18) but, in contrast to its appearance in (2.10) for a drop, the value of σ\sigma is not a given constant. For a locally inextensible membrane σ\sigma is determined by imposing inextensibility as a constraint, namely

s(t𝑿s(𝜽,t))=0,\nabla_{s}\cdot\left(\frac{\partial}{\partial t}\bm{X}_{s}(\bm{\theta},t)\right)=0\,, (2.19)

or equivalently δA(𝑿)=1\delta A(\bm{X})=1, for all t>0t>0. Here t𝑿s\partial_{t}\bm{X}_{s} denotes the tangential projection of the velocity t𝑿\partial_{t}\bm{X} of a material particle onto SS. For a locally extensible membrane a stress-strain equation of state must be introduced, see for example [21]. The membrane tension is initially constant, but during deformation it can vary from point to point on SS, leading to the term sσ\nabla_{s}\sigma in (2.18).

We note that Mori et al. [18] consider a membrane bending stress given by the variational derivative of a general energy functional. The specific choice of the functional due to Helfrich [22] has been adopted in many studies of cell and vesicle deformation, and leads to the bending stress term on the right hand side of (2.18). Barthès-Biesel [21] gives a concise description of the different mechanical properties of vesicle, cell, and capsule membranes.

2.3 The Far-Field and Initial Conditions

The electric field that induces flow and deformation is applied at time t=0t=0. It can be spatially uniform and constant, or more general, so that

𝑬{E𝒆zfor a uniform fieldϕin generalas|𝒙|fort>0,\bm{E}\rightarrow\left\{\begin{array}[]{l}E_{\infty}\bm{e}_{z}\ \ \mbox{for a uniform field}\\ -\nabla\phi_{\infty}\ \ \mbox{in general}\end{array}\right.\hskip 14.22636pt\ \mbox{as}\ |\bm{x}|\rightarrow\infty\ \mbox{for}\ t>0, (2.20)

where ϕ\phi_{\infty} is a solution of Laplace’s equation. Also

𝒖(𝒙,t)0andc(±)(𝒙,t)constant as|𝒙|fort>0.\bm{u}(\bm{x},t)\rightarrow 0\ \mbox{and}\ \ c^{(\pm)}(\bm{x},t)\rightarrow\ \mbox{constant as}\ |\bm{x}|\rightarrow\infty\ \mbox{for}\ t>0\,. (2.21)

A drop is assumed to have relaxed to a spherical shape for t<0t<0, with no applied field and equilibrium initial conditions given by

𝒖(𝒙,0)=0andc(±)(𝒙,0)=piecewise constant for all𝒙.\bm{u}(\bm{x},0)=0\ \ \mbox{and}\ \ c^{(\pm)}(\bm{x},0)=\mbox{piecewise constant for all}\ \bm{x}\,. (2.22)

However, when there is a nonzero Galvani potential difference between the two phases the t<0t<0 equilibrium relations for the potential and ion concentrations are revised to accommodate an electrical double layer - this will be considered later, in §5.3.

2.4 Nondimensionalization

 

variable nondimensionalisation variable nondimensionalisation
𝒙\bm{x} aa pp μUc/a\mu_{*}U_{c}/a
𝒖\bm{u} UcD/λU_{c}\equiv D_{*}/\lambda_{*} ϕ\phi ϕ=kBT/e\phi_{*}=k_{B}T/e
tt a/Uca/U_{c} c(±),sc^{(\pm)},s c,sc_{*},s_{*}
Table 1: Variables are made nondimensional by the quantities shown. See text for explanation.

 

The quantities used to put the equations in nondimensional form are listed in Table 1. The length scale aa is the initial drop radius, or a similar length scale for a vesicle. The velocity scale Uc=D/λU_{c}=D_{*}/\lambda_{*} is the ion-diffusive scale, where DD_{*} is a representative ion diffusivity and λ\lambda_{*} is the Debye layer thickness. The time scale a/Uca/U_{c} is the scale on which the Debye layers acquire charge after t=0t=0, i.e., the charge-up time scale. The scale for the pressure pp is the scale of the Stokes flow regime, and the scale for the potential is the thermal voltage kBT/ek_{B}T/e, where kBk_{B} is the Boltzmann constant and TT is the temperature.

All material and rate parameters in the two phases are made nondimensional by a single representative value. For example, the ion concentrations are made nondimensional by a representative ambient ion concentration cc_{*}, and the salt concentration is made nondimensional by ss_{*}. Similarly, D(±),kd,ka,εD^{(\pm)},k_{d},k_{a},\varepsilon, and μ\mu are made nondimensional by D,kd,ka,εD_{*},k_{d*},k_{a*},\varepsilon_{*}, and μ\mu_{*} respectively. To observe equilibrium between the ion and salt concentrations, the relation

kds=kac2k_{d*}s_{*}=k_{a*}c_{*}^{2} (2.23)

holds. The Debye layer thickness λ\lambda_{*} is given by

λ2=εkBT2ce2.\lambda_{*}^{2}=\frac{\varepsilon_{*}k_{B}T}{2c_{*}e^{2}}. (2.24)

Dimensionless groups that appear are

τ=kdaUc1,α=cs1,ϵ=λa1,Δ=σμUc,ν=ε(kBT/e)2μD,andΨ=eΦkBT.\tau=\frac{k_{d*}a}{U_{c}}\gg 1,\ \ \ \alpha=\frac{c_{*}}{s_{*}}\gg 1,\ \ \ \epsilon=\frac{\lambda_{*}}{a}\ll 1,\hskip 7.11317pt\\ \Delta=\frac{\sigma}{\mu_{*}U_{c}},\ \ \ \nu=\frac{\varepsilon_{*}(k_{B}T/e)^{2}}{\mu_{*}D_{*}},\ \ \mbox{and}\ \ \Psi=\frac{e\Phi_{\infty}}{k_{B}T}. (2.25)

The role of τ\tau and α\alpha is considered below, in §3. Except for this, the analysis is carried out in the limit of small Debye layer thickness, ϵ0\epsilon\rightarrow 0, with Δ,ν\Delta,\nu, and Ψ\Psi all of order O(1)O(1). The quantity Δ\Delta is the ratio of the capillary velocity, σ/μ\sigma/\mu_{*} to the ion-diffusive velocity UcU_{c}. The group νϵ\nu\epsilon is the ratio of electrostatic stress to viscous stress, and is referred to either as the inverse of a Mason number or as an electrical Hartmann number. If the Helmholtz-Smoluchowski slip velocity UHSU_{HS} is based on the thermal voltage, then UHS=ε(kBT/e)2/μaU_{HS}=\varepsilon_{*}(k_{B}T/e)^{2}/\mu_{*}a, and the group νϵ=UHS/Uc\nu\epsilon=U_{HS}/U_{c} is also the ratio of the two velocity scales. The parameters ϵ,Δ\epsilon,\Delta, and ν\nu are all fixed for a given choice of electrolytes and initial drop size. In contrast, the parameter Ψ\Psi is the ratio of the applied potential difference Φ\Phi_{\infty} to the thermal voltage, and is a control parameter.

In the scaling regime of this study, the Peclet number Pe=Uca/DPe=U_{c}a/D_{*} does not appear independently, since the velocity scale for UcU_{c} implies that Pe=ϵ1Pe=\epsilon^{-1}.

The same variable and parameter names are now used to express the governing equations and boundary conditions in nondimensional form. The molecular ion flux 𝒋(±)=c(±)(𝒗(±)𝒖)\bm{j}^{(\pm)}=c^{(\pm)}(\bm{v}^{(\pm)}-\bm{u}) of (2.3), recast via (LABEL:NPdimb) and the relation D(±)=b(±)kBTD^{(\pm)}=b^{(\pm)}k_{B}T, is

𝒋(±)=ϵD(±)(c(±)±c(±)ϕ),\bm{j}^{(\pm)}=-\epsilon D^{(\pm)}(\nabla c^{(\pm)}\pm c^{(\pm)}\nabla\phi)\,, (2.26)

in nondimensional form. Conservation of ions (2.1) and salt (2.2), together with the expression (2.4) for the ion kinetic rate term \cal{R} and the incompressibility condition of (2.7) give

(t+𝒖)c(±)ϵD(±)(c(±)±c(±)ϕ)=τα1(kdskac(+)c()),\displaystyle(\partial_{t}+\bm{u}\cdot\nabla)c^{(\pm)}-\epsilon D^{(\pm)}\nabla\cdot(\nabla c^{(\pm)}\pm c^{(\pm)}\nabla\phi)=\tau\alpha^{-1}(k_{d}s-k_{a}c^{(+)}c^{(-)})\,, (2.27)
(t+𝒖)sϵDs2s=τ(kdskac(+)c()).\displaystyle(\partial_{t}+\bm{u}\cdot\nabla)s-\epsilon D_{s}\nabla^{2}s=-\tau(k_{d}s-k_{a}c^{(+)}c^{(-)})\,.\hskip 56.9055pt (2.28)

The Poisson equation (2.6) is

ϵ22ϕ=qε,whereq=c(+)c()2,\epsilon^{2}\nabla^{2}\phi=-\frac{q}{\varepsilon}\,,\ \ \mbox{where}\ \ q=\frac{c^{(+)}-c^{(-)}}{2}, (2.29)

so that qq is a normalized charge density. The continuity and Stokes equation are

𝒖=0,andp+μ2𝒖+ενϵ2ϕϕ=0,\nabla\cdot\bm{u}=0,\ \ \mbox{and}\ \ -\nabla p+\mu\nabla^{2}\bm{u}+\varepsilon\nu\epsilon\nabla^{2}\phi\nabla\phi=0, (2.30)

where the body force is written in terms of the potential via (2.5).

Drop Boundary Conditions. In nondimensional form, from (2.5) and (2.26), the interfacial boundary conditions (2.8) on SS become

[ϕ]=0,[εϕ𝒏]=0,and\displaystyle[\phi]=0,\ \ [\varepsilon\nabla\phi\cdot\bm{n}]=0\,,\ \mbox{and}\hskip 62.59605pt (2.31)
𝒋(±)𝒏=0,or equivalently(c(±)±c(±)ϕ)𝒏=0.\displaystyle\bm{j}^{(\pm)}\cdot\bm{n}=0\,,\ \mbox{or equivalently}\ (\nabla c^{(\pm)}\pm c^{(\pm)}\nabla\phi)\cdot\bm{n}=0\,. (2.32)

Continuity of velocity and the kinematic condition are formally unchanged, namely

[𝒖]=0and(𝒖𝒙st)𝒏=0onS.[\bm{u}]=0\ \ \mbox{and}\ \ (\bm{u}-\frac{\partial\bm{x}_{s}}{\partial t})\cdot\bm{n}=0\ \ \mbox{on}\ S. (2.33)

The stress-balance boundary condition becomes

[(𝑻H+νϵ𝑻M)𝒏]=Δ(κ1+κ2)𝒏onS,\displaystyle[(\bm{T}_{H}+\nu\epsilon\bm{T}_{M})\cdot\bm{n}]=\Delta(\kappa_{1}+\kappa_{2})\bm{n}\ \ \mbox{on}\ S,\hskip 56.9055pt (2.34)
where𝑻H=p𝑰+2μ𝒆and𝑻M=ε(ϕϕ12|ϕ|2𝑰).\displaystyle\mbox{where}\ \ \bm{T}_{H}=-p\bm{I}+2\mu\bm{e}\ \ \mbox{and}\ \ \bm{T}_{M}=\varepsilon(\nabla\phi\otimes\nabla\phi-\frac{1}{2}|\nabla\phi|^{2}\bm{I})\,. (2.35)

The boundary conditions (2.12) for a Galvani potential (when l(+)l()l^{(+)}\neq l^{(-)}) are formally unchanged, namely

c(+)|Ω1=l(+)c(+)|Ω2,andc()|Ω1=l()c()|Ω2onS.c^{(+)}|_{\partial\Omega_{1}}=l^{(+)}c^{(+)}|_{\partial\Omega_{2}},\ \mbox{and}\ c^{(-)}|_{\partial\Omega_{1}}=l^{(-)}c^{(-)}|_{\partial\Omega_{2}}\ \ \mbox{on}\ S\,. (2.36)

Vesicle Boundary Conditions. In nondimensional form the trans-membrane ion flux 𝒋(±)𝒏\bm{j}^{(\pm)}\cdot\bm{n} is given by

c(±)(𝒗(±)𝒖)𝒏=ϵg(±)[lnc(±)±ϕ]onS,c^{(\pm)}(\bm{v}^{(\pm)}-\bm{u})\cdot\bm{n}=-\epsilon g^{(\pm)}[\ln c^{(\pm)}\pm\phi]\ \ \mbox{on}\ S\,, (2.37)

where the gating constant g(±)g^{(\pm)} of (2.15) has been made nondimensional and scaled by g=cDkBTag_{*}=\frac{c_{*}D_{*}}{k_{B}Ta}. The flow of solvent across the membrane is given by

𝒖𝑿t|𝜽=ϵπm[2ϵνp(c(+)+c())]𝒏onS,\bm{u}-\left.\frac{\partial\bm{X}}{\partial t}\right|_{\bm{\theta}}=-\,\epsilon\pi_{m}\,[\frac{2\epsilon}{\nu}p-(c^{(+)}+c^{(-)})]\,\bm{n}\ \ \mbox{on}\ S\,, (2.38)

where the effective porosity πm\pi_{m} of (2.13) has been made nondimensional and scaled by π=DkBTca\pi_{*}=\frac{D_{*}}{k_{B}Tc_{*}a}. These relations contrast with the boundary conditions (2.32) and (2.33) for an ideally polarizable drop with a sharp impervious interface; the cell has a small O(ϵ)O(\epsilon) flux of ions and solvent across the membrane when it is semi-permeable to these species.

The relations (2.16) that express continuity of electric displacement across the membrane become

εϵϕ𝒏|Ω1=εϵϕ𝒏|Ω2=Cm[ϕ].\varepsilon\epsilon\nabla\phi\cdot\bm{n}|_{\partial\Omega_{1}}=\varepsilon\epsilon\nabla\phi\cdot\bm{n}|_{\partial\Omega_{2}}=C_{m}[\phi]\,. (2.39)

Since a lipid bilayer or similar biomembrane has a thickness of the order of 55nm to 88nm, which is the same order of magnitude as the thickness of the neighboring Debye layers, the membrane thickness has been made nondimensional by λ\lambda_{*} and the membrane capacitance per unit area, CmC_{m} or Cm0C_{m}^{0} of (2.17), has been made nondimensional by ε/λ\varepsilon_{*}/\lambda_{*}. This accounts for the ϵ\epsilon-scaling in (2.39).

The stress-balance boundary condition is now

[(𝑻H+νϵ𝑻M)𝒏]=2σH𝒏sσκb(2H(H2K)+s2H)𝒏,[(\bm{T}_{H}+\nu\epsilon\bm{T}_{M})\cdot\bm{n}]=2\sigma H\bm{n}-\nabla_{s}\sigma-\kappa_{b}\left(2H(H^{2}-K)+\nabla_{s}^{2}H\right)\bm{n}\,, (2.40)

where the tension in the membrane and the bending modulus have been made nondimensional by μUc\mu_{*}U_{c} and μUca2\mu_{*}U_{c}a^{2} respectively, and the spontaneous curvature C0C_{0} has been set to zero. The membrane inextensibility constraint is formally unchanged, namely

s(t𝑿s(𝜽,t))=0.\nabla_{s}\cdot\left(\frac{\partial}{\partial t}\bm{X}_{s}(\bm{\theta},t)\right)=0\,. (2.41)

Initial and Far-Field Conditions. The initial conditions are

ϕ(𝒙,0+)=Ψz,𝒖(𝒙,0)=0,andc(±)(𝒙,0)=cionΩi,i=1,2,\phi(\bm{x},0^{+})=-\Psi z,\ \bm{u}(\bm{x},0)=0,\ \mbox{and}\ c^{(\pm)}(\bm{x},0)=c_{i}\ \mbox{on}\ \Omega_{i},\ i=1,2\,, (2.42)

except that the first and third relations are revised for a drop when it has a nonzero Galvani potential, as considered in §5.3, and we have assumed a uniform applied field. Here cic_{i} is the initial dimensionless ion concentration on Ωi\Omega_{i} for i=1,2i=1,2. A drop is initially spherical with radius 1, whereas a vesicle has a known initial equilibrium configuration SrefS_{ref}. Far from a drop or vesicle,

ϕ(𝒙,t)Ψz,𝒖(𝒙,t)0,andc(±)(𝒙,t)c2as|𝒙|fort>0.\phi(\bm{x},t)\sim-\Psi z,\ \bm{u}(\bm{x},t)\rightarrow 0,\ \mbox{and}\ c^{(\pm)}(\bm{x},t)\rightarrow\ c_{2}\ \mbox{as}\ |\bm{x}|\rightarrow\infty\ \mbox{for}\ t>0\,. (2.43)

The applied potential and constant electric field are related by Φ=Ea\Phi_{\infty}=E_{\infty}a. For a more general applied field ϕ\phi approaches a specified solution ϕ\phi_{\infty} of Laplace’s equation that has magnitude Ψ\Psi.

3 The strong electrolyte limit

The two dimensionless groups τ\tau and α\alpha that multiply the rate term \cal{R} on the right hand side of equations (2.27) and (2.28) are defined at (2.25a). Of these, τ=kda/Uc\tau=k_{d*}a/U_{c} is the ratio of the dissociation rate of salt to the rate of Debye layer charge-up, which is taken to be large. The group α=c/s\alpha=c_{*}/s_{*} is the ratio of the ambient concentration of the dissociated ions to that of the combined salt, which is large for a strong electrolyte.

In the limit τ\tau\rightarrow\infty, equation (2.28) implies that to leading order

kdskac(+)c()=0,k_{d}s-k_{a}c^{(+)}c^{(-)}=0\,, (3.1)

that is, for all 𝒙\bm{x} and tt the ion and salt concentrations are at leading order equilibrium throughout both phases. The right hand side of the ion conservation equation (2.27) is now of order τ/α\tau/\alpha times a residual rate term that is of order o(1)o(1). Provided τ/α\tau/\alpha is bounded, that is, provided α\alpha\rightarrow\infty as fast as or faster than τ\tau\rightarrow\infty the right hand side of (2.27) is o(1)o(1), which is sufficiently small for it to be neglected as a higher order effect in the small-ϵ\epsilon analysis that is developed below.

The conservation equations (2.27) and (2.28) can now be simplified: the o(1)o(1) right hand side rate term of equation (2.27) for the ion concentrations c(+)c^{(+)} and c()c^{(-)} is omitted, and after the ion concentrations have been found the leading order salt concentration ss is given by (3.1), if required. Equation (2.28) for conservation of ss can then be omitted, since it contains no further information at the order of calculation of the model. Instead of equations (2.27) and (2.28), we have

(t+𝒖)c(±)ϵD(±)(c(±)±c(±)ϕ)=0.(\partial_{t}+\bm{u}\cdot\nabla)c^{(\pm)}-\epsilon D^{(\pm)}\nabla\cdot(\nabla c^{(\pm)}\pm c^{(\pm)}\nabla\phi)=0\,. (3.2)

An equation for conservation of charge qq is given by forming the difference of equations (3.2) for the ion species, or by forming the difference of equations (2.27), to give

(t+𝒖)q=\displaystyle(\partial_{t}+\bm{u}\cdot\nabla)q=\hskip 256.0748pt
ϵ2(D(+)2c(+)D()2c()+D(+)(c(+)ϕ)+D()(c()ϕ))\displaystyle\frac{\epsilon}{2}\left(D^{(+)}\nabla^{2}c^{(+)}-D^{(-)}\nabla^{2}c^{(-)}+D^{(+)}\nabla\cdot(c^{(+)}\nabla\phi)+D^{(-)}\nabla\cdot(c^{(-)}\nabla\phi)\right) (3.3)

which is exact. The terms grouped on the right hand side represent charge diffusion.

4 The outer regions away from the Debye layers

In the outer regions, away from the Debye layers, the dependent variables are expanded in integer powers of ϵ\epsilon, so that for the ion concentrations and potential, respectively

c(±)&=c0(±)+ϵc1(±)+,ϕ=ϕ0+ϵϕ1+,c^{(\pm)}&=c_{0}^{(\pm)}+\epsilon c_{1}^{(\pm)}+\ldots\,,{}\\ \phi=\phi_{0}+\epsilon\phi_{1}+\ldots\,,{} (4.1)

with analogous notation for expansion of 𝒖\bm{u}, pp, and qq.

To a high degree of approximation the outer regions are charge neutral and the electrostatic body force in the momentum equation is zero. To see this, note that the Poisson equation (2.29) implies that in an outer approximation q0=q1=0q_{0}=q_{1}=0, so that

c0(+)=c0()andc1(+)=c1()c_{0}^{(+)}=c_{0}^{(-)}\ \ \mbox{and}\ \ c_{1}^{(+)}=c_{1}^{(-)} (4.2)

for all 𝒙\bm{x} and tt. Then, at leading order the ion conservation equations (3.2) imply that

(t+𝒖0)c0(±)=0,(\partial_{t}+\bm{u}_{0}\cdot\nabla)c_{0}^{(\pm)}=0\,, (4.3)

so that throughout the outer regions, from the first of relations (4.2),

(t+𝒖0)c0=0,wherec0(+)=c0()=defc0is conserved on particle pathsd𝒙dt=𝒖0.(\partial_{t}+\bm{u}_{0}\cdot\nabla)c_{0}=0\,,\hskip 93.89409pt{}\\ \mbox{where}\ \ c_{0}^{(+)}=c_{0}^{(-)}\stackrel{{\scriptstyle\mathrm{def}}}{{=}}c_{0}\ \mbox{is conserved on particle paths}\ \frac{d\bm{x}}{dt}=\bm{u}_{0}\,.{} (4.4)

Since the two ion concentrations are equal the indication of their charge has been omitted.

The outer regions of Ω1\Omega_{1} and Ω2\Omega_{2} are partitioned into subdomains. An outflow subdomain consists of fluid that, at any time t0t\geq 0, originates from or exits a Debye layer. For want of better terminology we refer to its complement, which is non-empty at least for sufficiently early times, as an inflow subdomain. Notice that if the flow in the outer regions continually recirculates, an inflow subdomain can vanish at some time. However, at the outer edges of the Debye layers, there are always outflow regions where fluid exits the layer to enter the bulk and complementary inflow regions where fluid enters the layer from the bulk. The inflow and outflow subdomains are three-dimensional volumes, whereas the inflow and outflow regions are surfaces.

Figure 2 gives an illustrative sketch of outflow and inflow regions neighboring the interface. They are distinguished by the sign of the quantity nvp|S\partial_{n}v_{p}|_{S}, which is introduced in §5.4 and is the rate of extension (for nvp|S>0\partial_{n}v_{p}|_{S}>0) or contraction (for nvp|S<0\partial_{n}v_{p}|_{S}<0) of a Lagrangian fluid line element that is normal to the interface.

On the inflow subdomains of Ωi\Omega_{i}, at sufficiently early times the far-field and initial conditions (2.43) and (2.42) imply that (4.4) becomes

c0=ciis constantfori=1,2,c_{0}=c_{i}\ \mbox{is constant}\ \mbox{for}\ i=1,2\,, (4.5)

where cic_{i} is the initial ambient ion concentration on Ωi\Omega_{i}. Since q1=0q_{1}=0, equation (3.3) for charge conservation at order O(ϵ)O(\epsilon) implies that 2ϕ0=0\nabla^{2}\phi_{0}=0. From this, the Poisson equation (2.29) implies that q2=0q_{2}=0 also, and the result of charge neutrality at higher integer powers of ϵ\epsilon begins to repeat or bootstrap: since 2ϕ0=0\nabla^{2}\phi_{0}=0 and c0(±)c_{0}^{(\pm)} is constant, ion conservation given by (3.2) at order O(ϵ)O(\epsilon) implies that (t+𝒖0)c1(±)=0(\partial_{t}+\bm{u}_{0}\cdot\nabla)c_{1}^{(\pm)}=0. The second of relations (4.2) with the far-field and initial conditions implies that c1(+)c_{1}^{(+)} and c1()c_{1}^{(-)} are equal and constant on each inflow subdomain. This constant would usually be set to zero, but in any event, since q2=0q_{2}=0 equation (3.3) for charge conservation at order O(ϵ2)O(\epsilon^{2}) now implies that 2ϕ1=0\nabla^{2}\phi_{1}=0, et cetera.

Refer to caption
Figure 2: Sketch of characteristics or particle paths 𝒙\bm{x} such that d𝒙dt=𝒖𝟎\frac{d\bm{x}}{dt}=\bm{u_{0}} showing inflow and outflow regions for the Debye layer in the exterior domain Ω2\Omega_{2}. The inflow and outflow regions are separated by the location of the marker (\bullet), which is such that nvp|S=0\partial_{n}v_{p}|_{S}=0 as explained in §5.4. An impression is given of the deformation of a Lagrangian fluid volume as it enters and leaves the Debye layer. The counterpart in Ω1\Omega_{1} is not shown.

On the outflow subdomains of Ωi\Omega_{i} relations (4.2) to (4.4) still hold, but the initial data for the transport equation (4.3) is given by matching to the ion concentrations on outflow from the evolving Debye layers. In contrast to (4.5), c0c_{0} is then a function of 𝒙\bm{x} and tt in the Eulerian frame. Similarly, if regions of re-entrant flow develop, when fluid re-enters a Debye layer it carries a value of c0(𝒙,t)c_{0}(\bm{x},t) equal to the ion concentration that it held at its previous exit. Since q1=0q_{1}=0, equation (3.3) for conservation of charge at order O(ϵ)O(\epsilon) now implies a constraint or consistency condition between the ion concentration c0c_{0} and the potential ϕ0\phi_{0}, which is

(D(+)D())2c0+(D(+)+D())(c0ϕ0)=0.(D^{(+)}-D^{(-)})\nabla^{2}c_{0}+(D^{(+)}+D^{(-)})\nabla\cdot(c_{0}\nabla\phi_{0})=0\,. (4.6)

Without formal proof, we assume that q2=0q_{2}=0 everywhere, so that from (2.29) the potential satisfies the Laplace equation

2ϕ0=0\nabla^{2}\phi_{0}=0 (4.7)

throughout the outer domains. It follows that the equations of Stokes flow are also unforced in the outer domains. That is

𝒖0=0,andp0+μ2𝒖0=0.\nabla\cdot\bm{u}_{0}=0\,,\ \ \mbox{and}\ \ -\nabla p_{0}+\mu\nabla^{2}\bm{u}_{0}=0\,. (4.8)

5 The Debye layers: equilibrium solution and hydrodynamics

5.1 The intrinsic coordinate system

To resolve the dynamics of the Debye layers we introduce a local surface-fitted or intrinsic orthogonal curvilinear coordinate system. This has tangential coordinates ξ1\xi_{1} and ξ2\xi_{2} that are aligned with the principal directions on SS and normal coordinate nn, with n=0n=0 on SS and n>0n>0 in Ω2\Omega_{2}. The origins of the Eulerian and intrinsic coordinate systems are OO and OO^{\prime}, respectively, and the position vector 𝒙\bm{x} of a point PP in space relative to OO is written in the two coordinate systems as

𝒙=𝑿(ξ1,ξ2,t)+n𝒏(ξ1,ξ2,t).\bm{x}=\bm{X}(\xi_{1},\xi_{2},t)+n\bm{n}(\xi_{1},\xi_{2},t). (5.1)

Here 𝒙=𝑿(ξ1,ξ2,t)\bm{x}=\bm{X}(\xi_{1},\xi_{2},t) is the parametric equation of SS and 𝒏\bm{n} is its outward unit normal. Since ξ1\xi_{1} and ξ2\xi_{2} are principal directions on SS they define an orthogonal coordinate system on it with associated unit tangent vectors 𝒆i=1ai𝑿ξi\bm{e}_{i}=\frac{1}{a_{i}}\frac{\partial\bm{X}}{\partial\xi_{i}}, where ai=|𝑿ξi|a_{i}=|\frac{\partial\bm{X}}{\partial\xi_{i}}| for i=1,2i=1,2. With the convention that 𝒏=𝒆1×𝒆2\bm{n}=\bm{e}_{1}\times\bm{e}_{2}, Rodrigues’ formula implies that the principal curvatures κi\kappa_{i} satisfy 𝒏ξi=κi𝑿ξi\frac{\partial\bm{n}}{\partial\xi_{i}}=\kappa_{i}\frac{\partial\bm{X}}{\partial\xi_{i}}, and the change in 𝒙\bm{x} corresponding to increments in the intrinsic coordinates with time fixed is

d𝒙=l1dξ1𝒆1+l2dξ2𝒆2+dn𝒏,whereli=ai(1+nκi)(i=1,2).d\bm{x}=l_{1}d\xi_{1}\,\bm{e}_{1}+l_{2}d\xi_{2}\,\bm{e}_{2}+dn\,\bm{n},\ \ \mbox{where}\ \ l_{i}=a_{i}(1+n\kappa_{i})\ \ (i=1,2). (5.2)

Expressions for vector differential operators and the rate of strain tensor in a general orthogonal curvilinear coordinate system can be found in, for example, [23], Appendix 2.

Dependent variables within the Debye layers are denoted by upper case letters, with terms in an expansion in integer powers of ϵ\epsilon denoted by subscripts, so that for the ion concentrations c(±)=C(±)=C0(±)+ϵC1(±)+c^{(\pm)}=C^{(\pm)}=C_{0}^{(\pm)}+\epsilon C_{1}^{(\pm)}+\ldots and for the potential ϕ=Φ=Φ0+ϵΦ1+\phi=\Phi=\Phi_{0}+\epsilon\Phi_{1}+\ldots, for example. The analysis of the Debye layers is based on a local normal coordinate NN defined by

n=ϵN,n=\epsilon N\,, (5.3)

where N=O(1)N=O(1) as ϵ0\epsilon\rightarrow 0.

5.2 The Gouy-Chapman solution

The leading order ion concentrations and potential are given by the Gouy-Chapman solution. Reviews of this are given by, for example, [4] and [5], and it is summarized here because it is the foundation for the analysis that follows. In the present context, all dependent variables depend parametrically on the tangential coordinates ξ1\xi_{1} and ξ2\xi_{2}, and on time tt.

In terms of local variables, at leading order, the ion conservation equations (3.2) and the interface condition (2.32) for a drop, or (2.37) with (2.26) for a vesicle, imply that

N(NC0(±)±C0(±)NΦ0)=0N0,withNC0(±)±C0(±)NΦ0=0onS.\partial_{N}(\partial_{N}C_{0}^{(\pm)}\pm C_{0}^{(\pm)}\partial_{N}\Phi_{0})=0\ \ N\neq 0,{}\\ \mbox{with}\ \ \partial_{N}C_{0}^{(\pm)}\pm C_{0}^{(\pm)}\partial_{N}\Phi_{0}=0\ \ \mbox{on}\ S.\hskip 5.69054pt{} (5.4)

An integration immediately gives

NC0(±)±C0(±)NΦ0=0for allN.\partial_{N}C_{0}^{(\pm)}\pm C_{0}^{(\pm)}\partial_{N}\Phi_{0}=0\ \ \mbox{for all}\ N\,. (5.5)

This has a simple interpretation in terms of the molecular ion flux (2.26), which has local expansion 𝒋(±)=𝑱0(±)+ϵ𝑱1(±)+O(ϵ2)\bm{j}^{(\pm)}=\bm{J}_{0}^{(\pm)}+\epsilon\bm{J}_{1}^{(\pm)}+O(\epsilon^{2}) in the Debye layers, and where the leading order flux 𝑱0(±)\bm{J}_{0}^{(\pm)} is in the normal direction. Equation (5.5) states that 𝑱0(±)\bm{J}_{0}^{(\pm)} is zero throughout the layers, with diffusion and electromigration of ions in equilibrium at this level of approximation.

The requirement of matching with the outer regions is that

C0(±){c0|S+asNc0|SasNandΦ0{ϕ0|S+asNϕ0|SasN,C_{0}^{(\pm)}\rightarrow\left\{\begin{array}[]{cc}c_{0}|_{S_{+}}&\mbox{as}\ N\rightarrow\infty\\ c_{0}|_{S_{-}}&\mbox{as}\ N\rightarrow-\infty\end{array}\right.\ \ \mbox{and}\ \ \Phi_{0}\rightarrow\left\{\begin{array}[]{cc}\phi_{0}|_{S_{+}}&\mbox{as}\ N\rightarrow\infty\\ \phi_{0}|_{S_{-}}&\mbox{as}\ N\rightarrow-\infty\end{array}\right., (5.6)

where an S+S_{+} or SS_{-} subscript denotes, respectively, the limit of a quantity in the outer regions as SS is approached from the exterior of the drop (as n0+n\rightarrow 0^{+}) or from the interior (as n0n\rightarrow 0^{-}). We have just shown at equation (4.5) that the ion concentration c0|S±=cic_{0}|_{S_{\pm}}=c_{i} (i=1,2i=1,2) is constant over regions where the flow enters the Debye layers, at least at early times, but it is to be determined and satisfies (4.4) elsewhere.

Integration of (5.5) with the matching conditions (5.6) gives the Boltzmann distribution between the ion concentrations and the potential, namely

C0(+)=c0|S±eη0,C0()=c0|S±eη0,whereη0={Φ0ϕ0|S+forN>0Φ0ϕ0|SforN<0.C_{0}^{(+)}=c_{0}|_{S_{\pm}}e^{-\eta_{0}}\,,\ \ \ C_{0}^{(-)}=c_{0}|_{S_{\pm}}e^{\eta_{0}}\,,{}\\ \mbox{where}\ \ \eta_{0}=\left\{\begin{array}[]{cc}\Phi_{0}-\phi_{0}|_{S_{+}}&\mbox{for}\ N>0\\ \Phi_{0}-\phi_{0}|_{S_{-}}&\mbox{for}\ N<0\end{array}\right..{} (5.7)

Here η0\eta_{0} is the first term in the expansion of η=Φϕ|S±\eta=\Phi-\phi|_{S_{\pm}}, which is the excess potential in the Debye layers.

From equation (2.29), the charge density qq in the layers is therefore given at leading order by Q0=c0|S±sinhη0Q_{0}=-c_{0}|_{S_{\pm}}\sinh\eta_{0}, and the potential Φ0\Phi_{0} satisfies the Poisson-Boltzmann equation

εN2Φ0=c0|S±sinh(Φ0ϕ0|S±).\varepsilon\partial_{N}^{2}\Phi_{0}=c_{0}|_{S_{\pm}}\sinh(\Phi_{0}-\phi_{0}|_{S_{\pm}}). (5.8)

This can be integrated once on multiplying by NΦ0\partial_{N}\Phi_{0} and using the matching conditions (5.6) to find

ε(NΦ0)2=2c0|S±(cosh(Φ0ϕ0|S±)1).\varepsilon(\partial_{N}\Phi_{0})^{2}=2c_{0}|_{S_{\pm}}(\cosh(\Phi_{0}-\phi_{0}|_{S_{\pm}})-1). (5.9)

For a drop, the first of the interfacial boundary conditions (2.31), that [ϕ]=0[\phi]=0, states that the potential is continuous across SS with a surface value denoted by limN0±Φ0=Φ0|S\lim_{N\rightarrow 0^{\pm}}\Phi_{0}=\Phi_{0}|_{S}. A second integration then gives the Gouy-Chapman solution in the form

tanh14(Φ0ϕ0|S±)=tanh14(Φ0|Sϕ0|S±)e(c0|S±/ε)N,\tanh\frac{1}{4}(\Phi_{0}-\phi_{0}|_{S_{\pm}})=\tanh\frac{1}{4}(\Phi_{0}|_{S}-\phi_{0}|_{S_{\pm}})e^{{\mp}\sqrt{\left(c_{0}|_{S_{\pm}}/\varepsilon\right)}N}, (5.10)

where the upper choice of signs hold for N>0N>0 and the lower choice for N<0N<0. For a vesicle, its membrane capacitance implies that there can be a non-zero jump in the potential across the vesicle membrane, with limN0Φ0Φ0|Ω1limN0+Φ0Φ0|Ω2\lim_{N\rightarrow 0^{-}}\Phi_{0}\equiv\Phi_{0}|_{\partial\Omega_{1}}\neq\lim_{N\rightarrow 0^{+}}\Phi_{0}\equiv\Phi_{0}|_{\partial\Omega_{2}}. This gives the Gouy-Chapman solution

tanh14(Φ0ϕ0|S+)=&tanh14(Φ0|Ω2ϕ0|S+)e(c0|S+/ε)NforN>0,tanh14(Φ0ϕ0|S)=tanh14(Φ0|Ω1ϕ0|S)e(c0|S/ε)NforN<0.\tanh\frac{1}{4}(\Phi_{0}-\phi_{0}|_{S_{+}})=&\tanh\frac{1}{4}(\Phi_{0}|_{\partial\Omega_{2}}-\phi_{0}|_{S_{+}})\,e^{-\sqrt{\left(c_{0}|_{S_{+}}/\varepsilon\right)}N}\ \ \mbox{for}\ N>0\,,{}\\ \tanh\frac{1}{4}(\Phi_{0}-\phi_{0}|_{S_{-}})=\!\!\tanh\frac{1}{4}(\Phi_{0}|_{\partial\Omega_{1}}-\phi_{0}|_{S_{-}})\,e^{\sqrt{\left(c_{0}|_{S_{-}}/\varepsilon\right)}N}\ \ \ \mbox{for}\ N<0\,.{} (5.11)

With the same convention for the choice of signs as in (5.10), the branch of the square root of equation (5.9) is found by considering the behavior as N±N\rightarrow\pm\infty, which gives

NΦ0=2c0|S±εsinh(Φ0ϕ0|S±)2.\partial_{N}\Phi_{0}=\mp 2\sqrt{\frac{c_{0}|_{S_{\pm}}}{\varepsilon}}\sinh\frac{(\Phi_{0}-\phi_{0}|_{S_{\pm}})}{2}. (5.12)

At this point we introduce the ζ\zeta-potential for each layer. This is the excess potential η\eta, which is defined after equations (5.7), evaluated as SS is approached from the exterior or interior phase. For a drop, with its continuous surface potential Φ0|S\Phi_{0}|_{S} at SS, the layer ζ\zeta-potentials are therefore

ζ0+\displaystyle\zeta_{0+} =\displaystyle= Φ0|Sϕ0|S+,\displaystyle\Phi_{0}|_{S}-\phi_{0}|_{S_{+}}\,,
ζ0\displaystyle\zeta_{0-} =\displaystyle= Φ0|Sϕ0|S.\displaystyle\Phi_{0}|_{S}-\phi_{0}|_{S_{-}}\,. (5.13)

The second of the drop interfacial boundary conditions (2.31), which is the statement of Gauss’s law across the interface, then implies the relation

ε2c0|S+sinhζ0+2=ε1c0|Ssinhζ02.\sqrt{\varepsilon_{2}c_{0}|_{S_{+}}}\sinh\frac{\zeta_{0+}}{2}=-\sqrt{\varepsilon_{1}c_{0}|_{S_{-}}}\sinh\frac{\zeta_{0-}}{2}. (5.14)

Recall that the electric permittivity, as a material parameter, is piecewise constant and may take different values εi\varepsilon_{i} in the two distinct phases with i=1,2i=1,2. For a vesicle, with its jump in potential across the membrane surface, the Debye layer ζ\zeta-potentials are defined by

ζ0+\displaystyle\zeta_{0+} =\displaystyle= Φ0|Ω2ϕ0|S+\displaystyle\Phi_{0}|_{\partial\Omega_{2}}-\phi_{0}|_{S_{+}}
ζ0\displaystyle\zeta_{0-} =\displaystyle= Φ0|Ω1ϕ0|S,\displaystyle\Phi_{0}|_{\partial\Omega_{1}}-\phi_{0}|_{S_{-}}, (5.15)

and the relation analogous to (5.14) is given by the interfacial condition (2.39), so that

ε2c0|S+sinhζ0+2=ε1c0|Ssinhζ02=Cm2(Φ0|Ω2Φ0|Ω1).\sqrt{\varepsilon_{2}c_{0}|_{S_{+}}}\sinh\frac{\zeta_{0+}}{2}=-\sqrt{\varepsilon_{1}c_{0}|_{S_{-}}}\sinh\frac{\zeta_{0-}}{2}=-\frac{C_{m}}{2}(\Phi_{0}|_{\partial\Omega_{2}}-\Phi_{0}|_{\partial\Omega_{1}})\,. (5.16)

A relation that will simplify an expression in the hydrodynamics of the Debye layers is given by taking the tangential derivative ξi\partial_{\xi_{i}} of equation (5.9) and using (5.8), namely

N2Φ0ξiΦ0NΦ0ξiN2Φ0=N2Φ0ξiϕ0|S±(NΦ0)22ξilnc0|S±.\partial_{N}^{2}\Phi_{0}\partial_{\xi_{i}}\Phi_{0}-\partial_{N}\Phi_{0}\partial^{2}_{\xi_{i}N}\Phi_{0}=\partial_{N}^{2}\Phi_{0}\partial_{\xi_{i}}\phi_{0}|_{S_{\pm}}-\frac{(\partial_{N}\Phi_{0})^{2}}{2}\partial_{\xi_{i}}\ln c_{0}|_{S_{\pm}}. (5.17)

The charge per unit area contained within each Debye layer can be found by integrating the Poisson equation (2.29) with respect to NN. Integration across each layer implies that at leading order the normalized charge density per unit area (i.e., with the 1/21/2 normalization factor in the volume charge density qq included) is ε2NΦ0|Ω2\varepsilon_{2}\partial_{N}\Phi_{0}|_{\partial\Omega_{2}} for N>0N>0 (i.e., in Ω2\Omega_{2}) and is ε1NΦ0|Ω1-\varepsilon_{1}\partial_{N}\Phi_{0}|_{\partial\Omega_{1}} for N<0N<0 (i.e., in Ω1\Omega_{1}). It follows from relations (2.31) for a drop and (2.39) for a vesicle that the layer charges are equal and opposite for all time t>0t>0 under dynamic conditions, that is, after the applied electric field is imposed, as well as under the t<0t<0 equilibrium conditions of a Galvani potential.

From equation (5.12), the amount of the leading order normalized charge density in the exterior layer, for example, is given by minus two times: the term on the left hand side of equation (5.14) for a drop, and the term on the far left hand side of (5.16) for a vesicle. The charge densities are of opposite sign to the layer ζ\zeta-potentials.

5.3 Reduced expressions for the equilibrium Galvani and ζ\zeta-potentials for a drop

The equilibrium interface conditions (2.36) for a drop, together with the Boltzmann distribution (5.7) and the definition of the ζ\zeta-potentials (5.13), give the relations

c0|S=l(+)c0|S+e[ϕ0]SS+=l()c0|S+e[ϕ0]SS+c_{0}|_{S_{-}}=l^{(+)}c_{0}|_{S_{+}}e^{[\phi_{0}]^{S_{+}}_{S_{-}}}=l^{(-)}c_{0}|_{S_{+}}e^{-[\phi_{0}]^{S_{+}}_{S_{-}}} (5.18)

between the ambient ion concentrations immediately outside the Debye layers c0|S±c_{0}|_{S_{\pm}}, the jump in potential across the outer edges of the Debye layer pair [ϕ0]SS+[\phi_{0}]^{S_{+}}_{S_{-}}, and the ion partition coefficients l(±)l^{(\pm)}. A re-arrangement implies that

[ϕ0]SS+=12ln(l()l(+)),[\phi_{0}]^{S_{+}}_{S_{-}}=\ \frac{1}{2}\ln\left(\frac{l^{(-)}}{l^{(+)}}\right)\,, (5.19)

where the equilibrium potential jump [ϕ0]SS+[\phi_{0}]^{S_{+}}_{S_{-}} is the Galvani potential, and the ion concentrations are related by

c0|S=c0|S+l(+)l().c_{0}|_{S_{-}}=c_{0}|_{S_{+}}\sqrt{l^{(+)}l^{(-)}}\,. (5.20)

Expressions for the separate layer ζ\zeta-potentials can be found when the relations (5.18) are rewritten in terms of ζ0+\zeta_{0+} and ζ0\zeta_{0-}, and the pair c0|S,ζ0c_{0}|_{S_{-}},\zeta_{0-} is eliminated in favor of the pair c0|S+,ζ0+c_{0}|_{S_{+}},\zeta_{0+} (or vice-versa) in equation (5.14). This gives

ζ0+=ln(1+ε1l(+)ε21+ε1l()ε2)andζ0=ln(1+ε2ε1l(+)1+ε2ε1l()).\zeta_{0+}=\ln\left(\frac{1+\sqrt{\frac{\varepsilon_{1}l^{(+)}}{\varepsilon_{2}}}}{1+\sqrt{\frac{\varepsilon_{1}l^{(-)}}{\varepsilon_{2}}}}\right)\ \ \mbox{and}\ \ \zeta_{0-}=\ln\left(\frac{1+\sqrt{\frac{\varepsilon_{2}}{\varepsilon_{1}l^{(+)}}}}{1+\sqrt{\frac{\varepsilon_{2}}{\varepsilon_{1}l^{(-)}}}}\right)\,. (5.21)

It follows that when l()>l(+)l^{(-)}>l^{(+)} the exterior layer has ζ\zeta-potential ζ0+<0\zeta_{0+}<0 and carries net positive charge, while the interior layer has ζ0>0\zeta_{0-}>0 and net negative charge. The converse holds when l()<l(+)l^{(-)}<l^{(+)}.

5.4 Debye Layer hydrodynamics

The hydrodynamics in the Debye layers is described by considering the Eulerian fluid velocity 𝒖\bm{u} in the intrinsic frame of §5.1. If P(ξ1,ξ2,n)P(\xi_{1},\xi_{2},n) is fixed in space and Q(ξ1,ξ2,0)Q(\xi_{1},\xi_{2},0) is the projection of PP onto SS in the normal direction, then the fluid velocity 𝒖\bm{u} at PP is written in terms of its tangential and normal projections in the intrinsic frame as

𝒖=𝒖t+up𝒏,where𝒖t=ut1𝒆1+ut2𝒆2.\bm{u}=\bm{u}_{t}+u_{p}\bm{n}\,,\ \ \mbox{where}\ \bm{u}_{t}=u_{t1}\bm{e}_{1}+u_{t2}\bm{e}_{2}\,. (5.22)

In the Debye layers it is useful to compare the fluid velocity 𝒖\bm{u} at PP to the fluid velocity on the interface at QQ, which in terms of its tangential and normal projections is 𝒖s+un𝒏\bm{u}_{s}+u_{n}\bm{n}. The difference between the fluid velocity at PP and QQ is denoted similarly by 𝒗t+vp𝒏\bm{v}_{t}+v_{p}\bm{n}, so that

up&=un+vp,uti=usi+vti,i=1,2.u_{p}&=u_{n}+v_{p},{}\\ u_{ti}=u_{si}+v_{ti},\ \ i=1,2.{} (5.23)

The interfacial velocity components unu_{n} and usiu_{si} are necessarily independent of the normal coordinate nn, and the dependence of the remaining components on nn expresses the shear within the Debye layers. We find below that the relative velocity components vtiv_{ti} and vpv_{p} are all of order O(ϵ)O(\epsilon) there.

The scale of the normal component vpv_{p} follows from the incompressibility condition 𝒖=0\nabla\cdot\bm{u}=0, so that temporarily we set vp=ϵW0+O(ϵ2)v_{p}=\epsilon W_{0}+O(\epsilon^{2}). In the intrinsic frame, the exact expression of the incompressibility condition is

ξ1(l2ut1)+ξ2(l1ut2)+n(l1l2up)=0.\partial_{\xi_{1}}(l_{2}u_{t1})+\partial_{\xi_{2}}(l_{1}u_{t2})+\partial_{n}(l_{1}l_{2}u_{p})=0. (5.24)

In the layers the dependent variables and the scale factors lil_{i} of (5.2) depend on the local normal coordinate N=n/ϵN=n/\epsilon. So that, with the convention that terms in a local expansion of a dependent variable are written in upper case, i.e., uti=Uti0+ϵUti1+O(ϵ2)u_{ti}=U_{ti0}+\epsilon U_{ti1}+O(\epsilon^{2}) etc., the leading order expression of incompressibility is

1a1a2(ξ1(a2Ut10)+ξ2(a1Ut20))+(κ1+κ2)un0+NW0=0.\frac{1}{a_{1}a_{2}}\left(\partial_{\xi_{1}}(a_{2}U_{t10})+\partial_{\xi_{2}}(a_{1}U_{t20})\right)+(\kappa_{1}+\kappa_{2})u_{n0}+\partial_{N}W_{0}=0. (5.25)

We now turn to local expansion of the forced Stokes equation from equations (2.30). When written in terms of NN, the electrostatic body force has a normal component that is O(ϵ2)O(\epsilon^{-2}), and this can only be balanced by a normal pressure gradient of the same order. The local expansion for the pressure is therefore

p=P1ϵ+P0+.p=\frac{P_{-1}}{\epsilon}+P_{0}+\ldots\,. (5.26)

With the differential operators expressed in the local intrinsic coordinate frame, an estimate for the normal and tangential components of each term in the Stokes equation can be found, and this is shown in Table 2.

 

p-\nabla p +μ2𝒖+\mu\nabla^{2}\bm{u} +ενϵ2ϕϕ+\varepsilon\nu\epsilon\nabla^{2}\phi\nabla\phi =0=0
tangential component O(ϵ1)O(\epsilon^{-1}) O(ϵ2)O(\epsilon^{-2}) O(ϵ1)O(\epsilon^{-1})
normal component O(ϵ2)O(\epsilon^{-2}) O(ϵ1)O(\epsilon^{-1}) or O(1)O(1) O(ϵ2)O(\epsilon^{-2})
Table 2: Order of magnitude estimate for the terms in the Stokes equation. The estimate for the normal component of the viscous force is revised after considering the tangential component, as explained in the text.

 

The leading order tangential component of the Stokes equation, at order O(ϵ2)O(\epsilon^{-2}), gives

N2Uti0=0,i=1,2.\partial_{N}^{2}U_{ti0}=0,\ \ \ i=1,2\,. (5.27)

Since a homogeneous solution for the tangential velocity Ui0U_{i0} that is linear in NN can not match with the O(1)O(1) velocity field away from the interface, the leading order fluid velocity in the layer has a plug flow profile, and is equal to the tangential velocity at the interface, viz.

Uti0=usi0(ξ1,ξ2,t),i=1,2.U_{ti0}=u_{si0}(\xi_{1},\xi_{2},t),\ \ \ i=1,2\,. (5.28)

In other words, there is no mechanism to support a boundary layer profile in the tangential velocity.

As a consequence of (5.28) the normal component of the viscous force in the Stokes equation is smaller than first estimated, and is O(1)O(1) as shown revised in Table 2. Further, all terms of equation (5.25) are now seen to be independent of the local normal coordinate NN, so that integration to find vp=ϵW0+O(ϵ2)v_{p}=\epsilon W_{0}+O(\epsilon^{2}) is straightforward.

To find vpv_{p}, note first that the ξ\xi-derivative terms of (5.25) are the surface divergence of the tangential fluid velocity on the interface 𝒖s\bm{u}_{s}, at leading order, i.e., s𝒖s0\nabla_{s}\cdot\bm{u}_{s0}. For a drop with an impervious interface the relative velocity vpv_{p} is zero on the interface SS, where N=0N=0, so that integration of (5.25) with respect to NN gives

vp(ξ1,ξ2,N,t)=ϵnvp|SN+O(ϵ2),wherenvp|S=(s𝒖s0+(κ1+κ2)un0).v_{p}(\xi_{1},\xi_{2},N,t)=\epsilon\,\partial_{n}v_{p}|_{S}N+O(\epsilon^{2})\,,\hskip 17.07164pt{}\\ \mbox{where}\ \ \partial_{n}v_{p}|_{S}=-(\nabla_{s}\cdot\bm{u}_{s0}+(\kappa_{1}+\kappa_{2})u_{n0})\,.{} (5.29)

For a semi-permeable vesicle membrane the relative velocity vpv_{p} on the interface is small, of order O(ϵ)O(\epsilon), and given by (2.38). Integration of (5.25) with respect to NN then gives

vp(ξ1,ξ2,N,t)=ϵ(vp|S+nvp|SN)+O(ϵ2),wherevp|S=πm[2νP1(C0(+)+C0())].v_{p}(\xi_{1},\xi_{2},N,t)=\epsilon(v_{p}|_{S}+\partial_{n}v_{p}|_{S}N)+O(\epsilon^{2})\,,{}\\ \mbox{where}\ \ v_{p}|_{S}=-\pi_{m}[\frac{2}{\nu}P_{-1}-(C_{0}^{(+)}+C_{0}^{(-)})]\,.{} (5.30)

The notation in equations (LABEL:v_p2a) and (LABEL:v_p2b) differs slightly from that elsewhere in this study in the expression of an ϵ\epsilon-scaling: equation (LABEL:v_p2a) gives the leading order value of vpv_{p} on the interface as vp(N=0)=ϵvp|Sv_{p}(N=0)=\epsilon v_{p}|_{S}, where vp|Sv_{p}|_{S} of (LABEL:v_p2b) is order O(1)O(1). This choice will ease notation later. The derivative term nvp|S\partial_{n}v_{p}|_{S} is also order O(1)O(1).

The expression (LABEL:v_p1b) for nvp|S\partial_{n}v_{p}|_{S} holds for flow quantities on and immediately adjacent to SS for both the drop and vesicle, and has a simple interpretation in terms of flow field kinematics for incompressible flow. The group of terms s𝒖s0+(κ1+κ2)un0\nabla_{s}\cdot\bm{u}_{s0}+(\kappa_{1}+\kappa_{2})u_{n0} on the right hand side of (LABEL:v_p1b) is the surface divergence of all components of the interfacial fluid velocity, 𝒖s0+un0𝒏\bm{u}_{s0}+u_{n0}\bm{n}, including the normal velocity of SS; see for example [24] and note the different convention for the sign of the principal curvatures. Given the local conservation of volume of a fluid element and the definition of vpv_{p} at (LABEL:uta), nvp|S\partial_{n}v_{p}|_{S} is the rate of extension or contraction of an infinitessimal fluid line element normal to the interface.

The normal component of the Stokes equation, to leading order, implies that

NP1+ενN2Φ0NΦ0=0,-\partial_{N}P_{-1}+\varepsilon\nu\,\partial_{N}^{2}\Phi_{0}\partial_{N}\Phi_{0}=0, (5.31)

and the solution that tends to zero as N±N\rightarrow\pm\infty, which confines the large O(ϵ1)O(\epsilon^{-1}) pressure term to the Debye layers, is

P1=εν2(NΦ0)2.P_{-1}=\frac{\varepsilon\nu}{2}(\partial_{N}\Phi_{0})^{2}. (5.32)

At the next order, the normal component of the Stokes equation is

NP0+εν(N2Φ0NΦ1+N2Φ1NΦ0+(κ1+κ2)(NΦ0)2)=0,-\partial_{N}P_{0}+\varepsilon\nu\left(\partial_{N}^{2}\Phi_{0}\partial_{N}\Phi_{1}+\partial_{N}^{2}\Phi_{1}\partial_{N}\Phi_{0}+(\kappa_{1}+\kappa_{2})(\partial_{N}\Phi_{0})^{2}\right)=0\,,

which has solution

P0=εν(NΦ0NΦ1+(κ1+κ2)±N(NΦ0)2𝑑N)+p0|S±.P_{0}=\varepsilon\nu\left(\partial_{N}\Phi_{0}\partial_{N}\Phi_{1}+(\kappa_{1}+\kappa_{2})\int_{\pm\infty}^{N}(\partial_{N^{\prime}}\Phi_{0})^{2}dN^{\prime}\right)+p_{0}|_{S_{\pm}}. (5.33)

Here, the terms in parenthesis decay exponentially as N±N\rightarrow\pm\infty because of the exponential decay of the excess potential implied by the Gouy-Chapman solution (5.10) or (5.11), and p0|S±=limn0±p0p_{0}|_{S_{\pm}}=\lim_{n\rightarrow 0^{\pm}}p_{0} is the pressure in the outer regions immediately outside the Debye layers.

It is useful to resolve the velocity profile in the Debye layers further by considering the tangential component of the Stokes equation at order O(ϵ1)O(\epsilon^{-1}), and this result is needed to evaluate the tangential viscous stress on both sides of the interface. We have found that the components (ut1,ut2,up)(u_{t1},u_{t2},u_{p}) of the Eulerian velocity (5.22) are independent of NN at order O(1)O(1), so that the expression for the tangential viscous force at order O(ϵ1)O(\epsilon^{-1}) simplifies. The component of the Stokes equation in the ξ1\xi_{1}-direction is therefore

1a1ξ1P1+μN2Ut11+ενN2Φ01a1ξ1Φ0=0,-\frac{1}{a_{1}}\partial_{\xi_{1}}P_{-1}+\mu\partial_{N}^{2}U_{t11}+\varepsilon\nu\partial_{N}^{2}\Phi_{0}\frac{1}{a_{1}}\partial_{\xi_{1}}\Phi_{0}=0, (5.34)

with an analogous expression for the component in the ξ2\xi_{2}-direction. If P1P_{-1} is eliminated in favour of Φ0\Phi_{0} using (5.32) and the relation (5.17) is used, we find that

N2Ut11=ενμa1(N2Φ0ξ1ϕ0|S±(NΦ0)22ξ1lnc0|S±).\partial_{N}^{2}U_{t11}=-\frac{\varepsilon\nu}{\mu a_{1}}\left(\partial_{N}^{2}\Phi_{0}\partial_{\xi_{1}}\phi_{0}|_{S_{\pm}}-\frac{(\partial_{N}\Phi_{0})^{2}}{2}\,\partial_{\xi_{1}}\!\ln c_{0}|_{S_{\pm}}\right)\,.

This has the solution, in terms of the excess potential η0=Φ0ϕ0|S±\eta_{0}=\Phi_{0}-\phi_{0}|_{S_{\pm}} in each layer,

Ut11=ενμa1(η0ξ1ϕ0|S±4ln(coshη04)ξ1lnc0|S±)\displaystyle U_{t11}=-\frac{\varepsilon\nu}{\mu a_{1}}\left(\eta_{0}\,\partial_{\xi_{1}}\phi_{0}|_{S_{\pm}}-4\ln(\cosh\frac{\eta_{0}}{4})\,\partial_{\xi_{1}}\!\ln c_{0}|_{S_{\pm}}\right)
+Nnu10|S±+ut11|S±.\displaystyle\ +N\partial_{n}u_{10}|_{S_{\pm}}+u_{t11}|_{S_{\pm}}\,.\hskip 14.22636pt (5.35)

As N±N\rightarrow\pm\infty this satisfies the matching condition that Ut11Nnu10|S±+ut11|S±U_{t11}\sim N\partial_{n}u_{10}|_{S_{\pm}}+u_{t11}|_{S_{\pm}}, and the terms in parenthesis tend to zero exponentially. The tangential fluid velocity on the interface at order O(ϵ)O(\epsilon), us11u_{s11}, will remain undetermined but an expression for the O(ϵ)O(\epsilon) jump in tangential velocity across the combined Debye layer pair can be found by taking the limit of (5.35) as N0±N\rightarrow 0^{\pm}. In constructing (5.35) the antiderivative ε(NΦ0)2/2𝑑N\varepsilon\int(\partial_{N}\Phi_{0})^{2}/2\,dN as found after equation (A.10) has been used, from which a second integration follows.

Consideration of the stress-balance boundary condition, which is given by (2.34) for a drop or (2.40) for a vesicle, together with the expressions (2.35) for the stress tensors, confirms that there is no net traction on either side of the interface at order O(ϵ1)O(\epsilon^{-1}). The hydrodynamic and electrostatic tractions separately each have an order O(ϵ1)O(\epsilon^{-1}) component in the normal direction, but these cancel as a consequence of (5.32). This point is taken up in Appendix B.

5.5 Reduced expressions for the trans-membrane ion flux and solvent osmotic flow speed for a vesicle

The trans-membrane ion flux, 𝒋(±)𝒏\bm{j}^{(\pm)}\cdot\bm{n} on SS, is given in terms of the jump in the electrochemical potential across the membrane by equation (2.37), which we write here as

𝒋(±)𝒏=ϵg(±)[lnc(±)±ϕ]onS.\bm{j}^{(\pm)}\cdot\bm{n}=-\epsilon g^{(\pm)}[\ln c^{(\pm)}\pm\phi]\ \ \mbox{on}\ S\,. (5.36)

When the flux 𝒋(±)\bm{j}^{(\pm)} within the Debye layers is given the local expansion 𝒋(±)=𝑱0(±)+ϵ𝑱1(±)+O(ϵ2)\bm{j}^{(\pm)}=\bm{J}_{0}^{(\pm)}+\epsilon\bm{J}_{1}^{(\pm)}+O(\epsilon^{2}) we have the fundamental result that 𝑱0\bm{J}_{0} is zero, as noted below equation (5.5). Then, when the electrochemical potential on the right hand side of (5.36) is written in terms of the local variables C0(±)C_{0}^{(\pm)} and Φ0\Phi_{0}, the Boltzmann distribution (5.7) implies that

𝑱1(±)𝒏=g(±)(ln(c0|S+c0|S)±(ϕ0|S+ϕ0|S))onS.\bm{J}_{1}^{(\pm)}\cdot\bm{n}=-g^{(\pm)}\left(\ln(\frac{c_{0}|_{S_{+}}}{c_{0}|_{S_{-}}})\pm(\phi_{0}|_{S_{+}}-\phi_{0}|_{S_{{-}}})\right)\ \ \mbox{on}\ S\,. (5.37)

This is written in a more compact form as

j|S(±)=g(±)[lnc0±ϕ0]SS+onS,j|_{S}^{(\pm)}=-g^{(\pm)}[\ln c_{0}\pm\phi_{0}]^{S_{+}}_{S_{-}}\ \ \mbox{on}\ S\,, (5.38)

where j|S(±)j|_{S}^{(\pm)} denotes 𝑱1(±)𝒏\bm{J}_{1}^{(\pm)}\cdot\bm{n} evaluated on SS, i.e., when N=0N=0  and []SS+[\,\cdot\,]^{S_{+}}_{S_{-}} denotes the jump in a quantity across the outer edges of the Debye layer pair.

To interpret this we note that, in the Debye layers, the flux 𝑱0\bm{J}_{0} being zero and the Boltzmann distribution together imply that the electrochemical potential is independent of NN to leading order, so that its jump across the membrane in (5.36) is equal to the jump across the outer edges of the layers in (5.38).

Similarly, for a semi-permeable membrane the scaled osmotic flow speed vp|Sv_{p}|_{S} of equations (5.30) can be written in terms of quantities immediately outside or at the outer edges of the Debye layers. Inside the layers, the absolute pressure is given by (5.32) with (5.9) while the dissolved salt concentration is given by (5.7). It turns out that their difference, which is the partial pressure of the solvent, is independent of NN, and the expression for the jump across the membrane surface simplifies, to give

vp|S=2πm[c0]SS+,v_{p}|_{S}=2\pi_{m}[c_{0}]^{S_{+}}_{S_{-}}\,, (5.39)

which is proportional to the difference in the total ion concentrations at the outer edges of the layers and is independent of the layer ζ\zeta-potentials.

6 Ion transport in the Debye layers

The transport of ions in the Debye layers is determined by a local analysis of the ion conservation equations (3.2) at order O(1)O(1), for which the material derivative is needed. The change of variables from the Eulerian to the intrinsic coordinate system gives the exact result that

(t+𝒖)t+𝒗tt+vpn,(\partial_{t}+\bm{u}\cdot\nabla)\mapsto\partial_{t}+\bm{v}_{t}\cdot\nabla_{t}+v_{p}\partial_{n}\,, (6.1)

which holds for all nn. On the right hand side, the time-derivative is taken in the moving frame, i.e. with the intrinsic coordinates (ξ1,ξ2,n)(\xi_{1},\xi_{2},n) fixed, and vpv_{p} is the normal relative velocity introduced at equation (LABEL:uta). The velocity 𝒗t\bm{v}_{t} and tangential gradient t\nabla_{t} are given by

𝒗t=𝒖t𝑿t|𝝃n𝒏t|𝝃andt=𝒆1l1ξ1+𝒆2l2ξ2,\bm{v}_{t}=\bm{u}_{t}-\left.\frac{\partial\bm{X}}{\partial t}\right|_{\bm{\xi}}-n\left.\frac{\partial\bm{n}}{\partial t}\right|_{\bm{\xi}}\ \ \mbox{and}\ \ \nabla_{t}=\frac{\bm{e}_{1}}{l_{1}}\frac{\partial}{\partial\xi_{1}}+\frac{\bm{e}_{2}}{l_{2}}\frac{\partial}{\partial\xi_{2}}\,, (6.2)

where the tangential fluid velocity 𝒖t\bm{u}_{t} was introduced at (5.22).

The leading order expression for the material derivative in the Debye layers is given by setting n=ϵNn=\epsilon N with N=O(1)N=O(1) in (6.1) and (6.2) as ϵ0\epsilon\rightarrow 0. First, the time derivative in (6.1) is taken at fixed (ξ1,ξ2)(\xi_{1},\xi_{2}) with n=0n=0. In the expression for 𝒗t\bm{v}_{t} given by (6.2) the tangential velocity 𝒖t\bm{u}_{t} is approximated by its leading order value 𝒖s0\bm{u}_{s0} at the interface, as found at equation (5.28), and the term in nn is higher order. Similarly, the tangential gradient t\nabla_{t} is approximated by the surface gradient s\nabla_{s}, which is given by replacing lil_{i} by aia_{i} (i=1,2i=1,2). The normal relative velocity vpv_{p} in (6.1) is approximated by the first non-zero terms in its Taylor series, which are given in terms of the local coordinate NN at order O(ϵ)O(\epsilon) by equations (5.29) for a drop and by equations (5.30) for a vesicle.

It follows that in the Debye layers the leading order expression for the material derivative is given by

t+𝒗s0s+(vp|S+nvp|SN)N,where𝒗s0=𝒖s0t𝑿|𝝃.\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s}+(v_{p}|_{S}+\partial_{n}v_{p}|_{S}N)\partial_{N}\,,{}\\ \mbox{where}\ \ \bm{v}_{s0}=\bm{u}_{s0}-\partial_{t}\bm{X}|_{\bm{\xi}}\,.\hskip 19.91692pt{} (6.3)

Here, for vpv_{p} we have used the slightly more general expression (LABEL:v_p2a) pertaining to a vesicle, which includes the expression (LABEL:v_p1a) for a drop when vp|Sv_{p}|_{S} is set to zero. We note that vp|Sv_{p}|_{S}, 𝒗s0\bm{v}_{s0} and nvp|S\partial_{n}v_{p}|_{S} are functions of ξ1,ξ2\xi_{1},\xi_{2}, and tt alone and are independent of NN, and that 𝒗s0\bm{v}_{s0} and nvp|S\partial_{n}v_{p}|_{S} depend on interface data alone, see (LABEL:v_p1b).

More details of the coordinate transformation and reduction have been given previously in the context of bulk-interface surfactant exchange at large bulk Péclet number, see [25, 26].

From the ion conservation equations (3.2), conservation at order O(1)O(1) therefore requires that

D(±)N(NC1(±)±(C0(±)NΦ1+C1(±)NΦ0))=\displaystyle D^{(\pm)}\partial_{N}\left(\partial_{N}C_{1}^{(\pm)}\pm(C_{0}^{(\pm)}\partial_{N}\Phi_{1}+C_{1}^{(\pm)}\partial_{N}\Phi_{0})\right)=\hskip 71.13188pt
(t+𝒗s0s+(vp|S+nvp|SN)N)C0(±)\displaystyle\left(\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s}+(v_{p}|_{S}+\partial_{n}v_{p}|_{S}N)\partial_{N}\right)C_{0}^{(\pm)} (6.4)

for N0N\neq 0. As noted below equation (5.5), the leading order molecular ion flux 𝑱0(±)\bm{J}_{0}^{(\pm)} is zero throughout the Debye layers, and as a result of this terms multiplied by the mean curvature are absent from the left hand side of (6.4), while the terms in parenthesis there taken together with the diffusivity D(±)D^{(\pm)} constitute the normal flux 𝑱1(±)𝒏-\bm{J}_{1}^{(\pm)}\cdot\bm{n} at the next order, as seen by expansion of (2.26).

6.1 Debye layer ion transport for a drop

For a drop with an interface that is impermeable to ions the boundary condition (2.32) implies that the normal flux term 𝑱1(±)𝒏\bm{J}_{1}^{(\pm)}\cdot\bm{n} vanishes at N=0N=0, that is

NC1(±)±(C0(±)NΦ1+C1(±)NΦ0)=0onS.\partial_{N}C_{1}^{(\pm)}\pm(C_{0}^{(\pm)}\partial_{N}\Phi_{1}+C_{1}^{(\pm)}\partial_{N}\Phi_{0})=0\ \ \mbox{on}\ S\,. (6.5)

The interface is also impermeable to flow of the immiscible liquids that it separates, so that the relative normal fluid velocity vp|S=0v_{p}|_{S}=0, and an integration of (6.4) gives

NC1(±)±(C0(±)NΦ1+C1(±)NΦ0)=\displaystyle\partial_{N}C_{1}^{(\pm)}\pm(C_{0}^{(\pm)}\partial_{N}\Phi_{1}+C_{1}^{(\pm)}\partial_{N}\Phi_{0})=\hskip 156.49014pt
1D(±)0N(t+𝒗s0s+nvp|SNN)C0(±)𝑑N.\displaystyle\frac{1}{D^{(\pm)}}\int_{0}^{N}\left(\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s}+\partial_{n}v_{p}|_{S}N^{\prime}\partial_{N^{\prime}}\right)C_{0}^{(\pm)}dN^{\prime}. (6.6)

This expresses a balance between the electrodiffusive flux of ions in the normal direction and advection of ions within the layers in integrated form.

To form the limit of (6.6) as N±N\rightarrow\pm\infty we match with the outer regions, which requires that: NC1(±)nc0|S±\partial_{N}C_{1}^{(\pm)}\rightarrow\partial_{n}c_{0}|_{S_{\pm}} and NΦ1(±)nϕ0|S±\partial_{N}\Phi_{1}^{(\pm)}\rightarrow\partial_{n}\phi_{0}|_{S_{\pm}}; both C0(±)c0|S±C_{0}^{(\pm)}\rightarrow c_{0}|_{S_{\pm}} and Φ0ϕ0|S±\Phi_{0}\rightarrow\phi_{0}|_{S_{\pm}}, where the approach to the limit is exponential in NN from (5.7) and (5.10). The limit of the left hand side is therefore nc0|S±±c0|S±nϕ0|S±\partial_{n}c_{0}|_{S_{\pm}}\pm c_{0}|_{S_{\pm}}\partial_{n}\phi_{0}|_{S_{\pm}}, in which the upper (lower) choice of the sign that sits between the two groups of terms refers to the positive (negative) ions respectively, so that it is now written as nc0|S±(±)c0|S±nϕ0|S±\partial_{n}c_{0}|_{S_{\pm}}(\pm)c_{0}|_{S_{\pm}}\partial_{n}\phi_{0}|_{S_{\pm}}.

To see that the integral on the right hand side of (6.6) converges as N±N\rightarrow\pm\infty and to evaluate it in terms of the layer ζ\zeta-potentials etc., we recall from (3.2) and §4 that in the outer regions, leading order ion conservation requires that (t+𝒖0)c0=0(\partial_{t}+\bm{u}_{0}\cdot\nabla)c_{0}=0 for all nn, including the limit n0±n\rightarrow 0^{\pm} in which c0=c0|S±c_{0}=c_{0}|_{S_{\pm}}. In the local intrinsic coordinate system, from (6.3) this becomes

(t+𝒗s0s)c0|S±=0,\left(\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s}\right)c_{0}|_{S_{\pm}}=0\,, (6.7)

since c0|S±c_{0}|_{S_{\pm}} is independent of NN. When this is subtracted from the integrand of (6.6), in the limit we have

nc0|S±(±)c0|S±nϕ0|S±=\displaystyle\partial_{n}c_{0}|_{S_{\pm}}(\pm)c_{0}|_{S_{\pm}}\partial_{n}\phi_{0}|_{S_{\pm}}=\hskip 204.85983pt
1D(±)((t+𝒗s0s)0±(C0(±)c0|S±)dN\displaystyle\frac{1}{D^{(\pm)}}\left((\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s})\int_{0}^{\pm\infty}(C_{0}^{(\pm)}-c_{0}|_{S_{\pm}})\,dN\right.\hskip 22.76219pt
+nvp|S0±NNC0(±)dN).\displaystyle\left.+\,\partial_{n}v_{p}|_{S}\int_{0}^{\pm\infty}N\partial_{N}C_{0}^{(\pm)}dN\right). (6.8)

The last integral on the right hand side of (6.8) can be found by integration by parts, where because of the exponential approach of C0(±)C_{0}^{(\pm)} to c0|S±c_{0}|_{S_{\pm}} as N±N\rightarrow\pm\infty the antiderivative of NC0(±)\partial_{N}C_{0}^{(\pm)} is chosen to be C0(±)c0|S±C_{0}^{(\pm)}-c_{0}|_{S_{\pm}}, so that 0±NNC0(±)dN=0±(C0(±)c0|S±)𝑑N\int_{0}^{\pm\infty}N\partial_{N}C_{0}^{(\pm)}dN=-\int_{0}^{\pm\infty}(C_{0}^{(\pm)}-c_{0}|_{S_{\pm}})dN. In physical terms both integrals in (6.8) are now, up to a sign, the excess ion concentration integrated across a layer. Since the excess potential η0\eta_{0} is a monotone function of NN and of the same sign as the ζ\zeta-potential, the variable of integration can be changed from NN to η0\eta_{0}, from which equations (5.7) and (5.12) give

0±(C0(±)c0|S±)𝑑N=±2εc0|S±(e()ζ0±/21).\int_{0}^{\pm\infty}(C_{0}^{(\pm)}-c_{0}|_{S_{\pm}})dN=\pm 2\sqrt{\varepsilon c_{0}|_{S_{\pm}}}\left(e^{(\mp)\zeta_{0\pm}/2}-1\right)\,. (6.9)

When equation (6.8) is written out for each ion species separately, their sum and difference is formed and (6.9) is used, we find a pair of boundary conditions to be applied at the outer edge of each Debye layer. To do so, recall that in (6.8) and (6.9) when a choice of sign appears in parenthesis, as in (±)(\pm) and ()(\mp), the upper (lower) choice of sign refers to the positive (negative) ion species respectively. When a choice of sign appears without parenthesis, the upper (lower) choice of sign refers to the Debye layer in the exterior (interior) phase, where N>0N>0 (N<0N<0). This gives

nc0|S±=±(t+𝒗s0snvp|S)εc0|S±(eζ0±21D(+)+eζ0±21D()),\partial_{n}c_{0}|_{S_{\pm}}=\pm\left(\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s}-\partial_{n}v_{p}|_{S}\right)\sqrt{\varepsilon c_{0}|_{S_{\pm}}}\left(\frac{e^{\frac{-\zeta_{0\pm}}{2}}-1}{D^{(+)}}+\frac{e^{\frac{\zeta_{0\pm}}{2}}-1}{D^{(-)}}\right), (6.10)

and

c0|S±nϕ0|S±=±(t+𝒗s0snvp|S))εc0|S±(eζ0±21D(+)eζ0±21D()).c_{0}|_{S_{\pm}}\partial_{n}\phi_{0}|_{S_{\pm}}=\pm\left(\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s}-\partial_{n}v_{p}|_{S}\right))\sqrt{\varepsilon c_{0}|_{S_{\pm}}}\left(\frac{e^{\frac{-\zeta_{0\pm}}{2}}-1}{D^{(+)}}-\frac{e^{\frac{\zeta_{0\pm}}{2}}-1}{D^{(-)}}\right). (6.11)

To conclude this section we note that for a drop the permittivity ε\varepsilon and ion diffusivities D(±)D^{(\pm)} may differ between the interior and exterior phases. When this occurs, the material properties are ascribed a 22-subscript (or 11-subscript) when relations (6.10) and (6.11) are applied as boundary conditions on S+S_{+} (or SS_{-}) for the exterior (or interior) phase.

6.2 Debye layer ion transport for a vesicle

When compared to a drop, some steps of the analysis for ion transport in the Debye layers need to be modified for a vesicle, since its membrane can be semi-permeable to ion gating and solvent osmosis channels.

First, the expression (6.4) for ion conservation in the Debye layers can be written in terms of the normal ion flux 𝑱1(±)𝒏\bm{J}_{1}^{(\pm)}\cdot\bm{n} as

N(𝑱1(±)𝒏)=(t+𝒗s0s+(vp|S+nvp|SN)N)C0(±).\partial_{N}(-\bm{J}_{1}^{(\pm)}\cdot\bm{n})=\left(\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s}+(v_{p}|_{S}+\partial_{n}v_{p}|_{S}N)\partial_{N}\right)C_{0}^{(\pm)}\,. (6.12)

This includes the trans-membrane osmotic flow velocity vp|Sv_{p}|_{S} in the ion advection terms on the right hand side.

Next, the trans-membrane ion flux 𝑱1(±)𝒏\bm{J}_{1}^{(\pm)}\cdot\bm{n} evaluated on SS, i.e., when N=0N=0, is denoted by j|S(±)j|_{S}^{(\pm)} and given in reduced form by (5.38). An integration of (6.12) with respect to NN, with the ion flux restored to terms of the ion concentrations and potential, gives

NC1(±)±(C0(±)NΦ1+C1(±)NΦ0)=\displaystyle\partial_{N}C_{1}^{(\pm)}\pm(C_{0}^{(\pm)}\partial_{N}\Phi_{1}+C_{1}^{(\pm)}\partial_{N}\Phi_{0})=\hskip 147.95433pt
j|S(±)D(±)+1D(±)0N(t+𝒗s0s+(vp|S+nvp|SN)N)C0(±)𝑑N.\displaystyle\frac{-j|_{S}^{(\pm)}}{D^{(\pm)}}+\frac{1}{D^{(\pm)}}\int_{0}^{N}\left(\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s}+(v_{p}|_{S}+\partial_{n}v_{p}|_{S}N^{\prime})\partial_{N^{\prime}}\right)C_{0}^{(\pm)}dN^{\prime}\,. (6.13)

The procedure of matching with the outer regions and subtracting equation (6.7) from the integrand remains unchanged, with the result that the analog for a vesicle of (6.8) is

nc0|S±(±)c0|S±nϕ0|S±=\displaystyle\partial_{n}c_{0}|_{S_{\pm}}(\pm)c_{0}|_{S_{\pm}}\partial_{n}\phi_{0}|_{S_{\pm}}=\hskip 204.85983pt
j|S(±)D(±)+1D(±)((t+𝒗s0s)0±(C0(±)c0|S±)dN\displaystyle\frac{-j|_{S}^{(\pm)}}{D^{(\pm)}}+\frac{1}{D^{(\pm)}}\left((\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s})\int_{0}^{\pm\infty}(C_{0}^{(\pm)}-c_{0}|_{S_{\pm}})\,dN\right.\hskip 22.76219pt
+0±(vp|S+nvp|SN)NC0(±)dN).\displaystyle\left.+\int_{0}^{\pm\infty}(v_{p}|_{S}+\partial_{n}v_{p}|_{S}N)\partial_{N}C_{0}^{(\pm)}dN\right). (6.14)

Since the osmotic flow velocity vp|Sv_{p}|_{S} is independent of NN, the additional integral term is simply the change in the ion concentrations across either Debye layer, which is given by (5.7) and (5.15) as c0|S±(1e()ζ0±)c_{0}|_{S_{\pm}}(1-e^{(\mp)\zeta_{0\pm}}).

When equation (6.14) is written for each ion species, and then their sum and difference is formed, we find that for a vesicle the boundary conditions (6.10) and (6.11) are modified to become

nc0|S±=12(j|S(+)D(+)+j|S()D())+vp|Sc0|S±2(1eζ0±D(+)+1eζ0±D())\displaystyle\partial_{n}c_{0}|_{S_{\pm}}=-\frac{1}{2}\left(\frac{j|_{S}^{(+)}}{D^{(+)}}+\frac{j|_{S}^{(-)}}{D^{(-)}}\right)+\frac{v_{p}|_{S}\,c_{0}|_{S_{\pm}}}{2}\left(\frac{1-e^{-\zeta_{0\pm}}}{D^{(+)}}+\frac{1-e^{\zeta_{0\pm}}}{D^{(-)}}\right)\hskip 42.67912pt
±(t+𝒗s0snvp|S)εc0|S±(eζ0±21D(+)+eζ0±21D()),\displaystyle\pm\left(\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s}-\partial_{n}v_{p}|_{S}\right)\sqrt{\varepsilon c_{0}|_{S_{\pm}}}\left(\frac{e^{\frac{-\zeta_{0\pm}}{2}}-1}{D^{(+)}}+\frac{e^{\frac{\zeta_{0\pm}}{2}}-1}{D^{(-)}}\right),\hskip 17.07164pt (6.15)

and

c0|S±nϕ0|S±=12(j|S(+)D(+)j|S()D())+vp|Sc0|S±2(1eζ0±D(+)1eζ0±D())\displaystyle c_{0}|_{S_{\pm}}\partial_{n}\phi_{0}|_{S_{\pm}}=-\frac{1}{2}\left(\frac{j|_{S}^{(+)}}{D^{(+)}}-\frac{j|_{S}^{(-)}}{D^{(-)}}\right)+\frac{v_{p}|_{S}\,c_{0}|_{S_{\pm}}}{2}\left(\frac{1-e^{-\zeta_{0\pm}}}{D^{(+)}}-\frac{1-e^{\zeta_{0\pm}}}{D^{(-)}}\right)\hskip 34.1433pt
±(t+𝒗s0snvp|S))εc0|S±(eζ0±21D(+)eζ0±21D()),\displaystyle\pm\left(\partial_{t}+\bm{v}_{s0}\cdot\nabla_{s}-\partial_{n}v_{p}|_{S}\right))\sqrt{\varepsilon c_{0}|_{S_{\pm}}}\left(\frac{e^{\frac{-\zeta_{0\pm}}{2}}-1}{D^{(+)}}-\frac{e^{\frac{\zeta_{0\pm}}{2}}-1}{D^{(-)}}\right),\hskip 22.76219pt (6.16)

where the upper (lower) choice of sign refers to the outer edge of the Debye layer in the exterior (interior) phase, where N>0N>0 (N<0N<0).

Expressions for the additional trans-membrane ion flux contributions to (6.15) and (6.16), written in reduced form via (5.38), are found on noting that

j|S(+)D(+)±j|S()D()=(g(+)D(+)±g()D())[lnc0]SS+(g(+)D(+)g()D())[ϕ0]SS+.\frac{j|_{S}^{(+)}}{D^{(+)}}\pm\frac{j|_{S}^{(-)}}{D^{(-)}}=-\left(\frac{g^{(+)}}{D^{(+)}}\pm\frac{g^{(-)}}{D^{(-)}}\right)[\ln c_{0}]^{S_{+}}_{S_{-}}-\left(\frac{g^{(+)}}{D^{(+)}}\mp\frac{g^{(-)}}{D^{(-)}}\right)[\phi_{0}]^{S_{+}}_{S_{-}}\,. (6.17)

Similarly, for the osmotic flow contribution we recall from (5.39) that vp|S=2πm[c0]SS+v_{p}|_{S}=2\pi_{m}[c_{0}]^{S_{+}}_{S_{-}}.

For a vesicle, the same solvent occupies both the exterior (Ω2\Omega_{2}) and interior (Ω1\Omega_{1}) phase and we consider single cation and anion species, so that material properties such as the permittivity ε\varepsilon and ion diffusivities D(±)D^{(\pm)} are constant throughout.

6.3 Use of the ion transport relations as boundary conditions

As noted in §4 the parts of Ω1\Omega_{1} and Ω2\Omega_{2} in the outer regions, outside the Debye layers, are charge-neutral to high order, where the field equations are

2ϕ0=0,(t+𝒖0)c0=0,p0+μ2𝒖0=0,and𝒖0=0.\nabla^{2}\phi_{0}=0\,,\hskip 28.45274pt(\partial_{t}+\bm{u}_{0}\cdot\nabla)c_{0}=0\,,\hskip 5.69054pt{}\\ -\nabla p_{0}+\mu\nabla^{2}\bm{u}_{0}=0\,,\hskip 8.53581pt\mbox{and}\ \ \ \nabla\cdot\bm{u}_{0}=0\,.{} (6.18)

Except for the appearance of the fluid velocity 𝒖0\bm{u}_{0} in the transport equation for c0c_{0}, the field equations are uncoupled.

The relation (6.11) for a drop or (6.16) for a vesicle is a Neumann boundary condition for the potential ϕ0\phi_{0} of the Laplace equation that is applied at the outer edge of each Debye layer, that is S+S_{+} in Ω2\Omega_{2} and SS_{-} in Ω1\Omega_{1}. It depends on the local fluid velocity and on the local ion concentration c0c_{0} and ζ\zeta-potential ζ0\zeta_{0} at each point of the respective Debye layer edge. For a vesicle, the boundary condition also depends on the jump in both the ion concentration and potential across the double layer pair, per (6.17) and the expression for vp|Sv_{p}|_{S} below it.

The relation (6.10) for a drop or (6.15) for a vesicle is a boundary condition of mixed type for the ion concentration c0c_{0} of the transport equation at (LABEL:outeralla). It depends on the local fluid velocity and the layer ζ\zeta-potential. For a vesicle it also depends on the jump in the ion concentration and on the jump in the potential across the double layer. Notice that, for a drop, the boundary condition cannot be applied exactly on the interface SS, since the characteristics of the transport equation are particle paths satisfying d𝒙dt=𝒖0\frac{d\bm{x}}{dt}=\bm{u}_{0} that are tangential to SS in its Lagrangian frame and therefore do not enter the outer regions. Instead, for both a drop and a vesicle the boundary condition is applied only on the outflow regions of the Debye layers, where the quantity nvp|S\partial_{n}v_{p}|_{S} introduced in §5.4 is positive, at some fixed ϵ>0\epsilon>0 and N0N\neq 0. Further details of this construction will be given elsewhere.

7 The integral equation for the fluid velocity on the interface

In this section a boundary integral equation is formulated for the fluid velocity on the interface. The subscript ii is appended to the material parameters μi\mu_{i} and εi\varepsilon_{i} in the disjoint domains Ωi\Omega_{i}, where i=1,2i=1,2. A brief derivation is given first for Stokes flow with a general body force 𝒇\bm{f}, so that

p+μi2𝒖+𝒇=0and𝒖=0.-\nabla p+\mu_{i}\nabla^{2}\bm{u}+\bm{f}=0\ \ \mbox{and}\ \ \nabla\cdot\bm{u}=0. (7.1)

We then find the form this takes for the problem at hand with 𝒇=εiνϵ2ϕϕ\bm{f}=\varepsilon_{i}\nu\epsilon\nabla^{2}\phi\nabla\phi in the small-ϵ\epsilon limit, when the body force is confined to a neighborhood of the interface SS.

The free-space dyadic Green’s function is the solution of

p+μi2𝒖+𝒈δ(𝒙𝒙0)=0and𝒖=0,-\nabla p^{\prime}+\mu_{i}\nabla^{2}\bm{u}^{\prime}+\bm{g}\delta(\bm{x}-\bm{x}_{0})=0\ \ \mbox{and}\ \ \nabla\cdot\bm{u}^{\prime}=0, (7.2)

where 𝒈\bm{g} is an arbitrary constant. In suffix notation the solution is

ui(𝒙)=18πμ(i)Gij(𝒙,𝒙0)gj,THik=18πTijk(𝒙,𝒙0)gj,p=18πpj(𝒙,𝒙0)gj.u^{\prime}_{i}(\bm{x})=\frac{1}{8\pi\mu_{(i)}}G_{ij}(\bm{x},\bm{x}_{0})g_{j},\ \ T^{\prime}_{Hik}=\frac{1}{8\pi}T_{ijk}(\bm{x},\bm{x}_{0})g_{j},\ \ p^{\prime}=\frac{1}{8\pi}p_{*j}(\bm{x},\bm{x}_{0})g_{j}. (7.3)

We adopt a convention that a subscript on a material parameter is put in parenthesis when suffix notation is used, e.g. on the local viscosity μ(i)\mu_{(i)} in (7.3). Explicit expressions for the Stokeslet Gij(𝒙,𝒙0)G_{ij}(\bm{x},\bm{x}_{0}), stresslet Tijk(𝒙,𝒙0)T_{ijk}(\bm{x},\bm{x}_{0}), and pressure pj(𝒙,𝒙0){p}_{*j}(\bm{x},\bm{x}_{0}) are

Gij(𝒙,𝒙0)=δijr+x^ix^jr3,Tijk(𝒙,𝒙0)=6x^ix^jx^kr5,pj(𝒙,𝒙0)=2x^jr3,G_{ij}(\bm{x},\bm{x}_{0})=\frac{\delta_{ij}}{r}+\frac{\hat{x}_{i}\hat{x}_{j}}{r^{3}},\ \ T_{ijk}(\bm{x},\bm{x}_{0})=-6\frac{\hat{x}_{i}\hat{x}_{j}\hat{x}_{k}}{r^{5}},\ \ p_{*j}(\bm{x},\bm{x}_{0})=2\frac{\hat{x}_{j}}{r^{3}}, (7.4)

see, for example, [27]. Here 𝒙^=𝒙𝒙0\hat{\bm{x}}=\bm{x}-\bm{x}_{0} and r=|𝒙^|r=|\hat{\bm{x}}|.

The reciprocal identity for the flow fields of (7.1) and (7.2) is

xk(uiTHikuiTHik)=uigiδ(𝒙𝒙0)uifi.\frac{\partial}{\partial x_{k}}(u^{\prime}_{i}T_{Hik}-u_{i}T^{\prime}_{Hik})=u_{i}g_{i}\delta(\bm{x}-\bm{x}_{0})-u^{\prime}_{i}f_{i}\,.

Written in terms of the Stokeslet and stresslet, since 𝒈\bm{g} is arbitrary, this is

xk(Gij(𝒙,𝒙0)THik(𝒙)μ(i)ui(𝒙)Tijk(𝒙,𝒙0))=\displaystyle\frac{\partial}{\partial x_{k}}\left(G_{ij}(\bm{x},\bm{x}_{0})T_{Hik}(\bm{x})-\mu_{(i)}u_{i}(\bm{x})T_{ijk}(\bm{x},\bm{x}_{0})\right)=\hskip 99.58464pt
8πμ(i)uj(𝒙)δ(𝒙𝒙0)Gij(𝒙,𝒙0)fi(𝒙).\displaystyle\hskip 71.13188pt8\pi\mu_{(i)}u_{j}(\bm{x})\delta(\bm{x}-\bm{x}_{0})-G_{ij}(\bm{x},\bm{x}_{0})f_{i}(\bm{x})\,. (7.5)

The procedure of fixing the location of the pole or target point 𝒙0\bm{x}_{0}, and here we choose 𝒙0Ω2\bm{x}_{0}\in\Omega_{2}, then integrating over 𝒙Ω1\bm{x}\in\Omega_{1} and over 𝒙Ω2\bm{x}\in\Omega_{2} in turn, applying the divergence theorem, and noting that the stress tensor 𝑻H(𝒙,𝒙0)\bm{T}_{H}(\bm{x},\bm{x}_{0}) and body force 𝒇(𝒙)\bm{f}(\bm{x}) may have finite jump discontinuities across the interface SS, while 𝒖(𝒙)\bm{u}(\bm{x}) is continuous there, gives the integral representation

uj(𝒙0)=18πμ2SGij(𝒙,𝒙0)[THik(𝒙)]nk(𝒙)𝑑S𝒙\displaystyle u_{j}(\bm{x}_{0})=-\frac{1}{8\pi\mu_{2}}\int_{S}G_{ij}(\bm{x},\bm{x}_{0})[T_{Hik}(\bm{x})]n_{k}(\bm{x})dS_{\bm{x}}\hskip 133.72795pt
+μ2μ18πμ2Sui(𝒙)Tijk(𝒙,𝒙0)nk(𝒙)𝑑S𝒙+18πμ2Ω1Ω2Gij(𝒙,𝒙0)fi(𝒙)𝑑V𝒙,\displaystyle+\frac{\mu_{2}-\mu_{1}}{8\pi\mu_{2}}\int_{S}u_{i}(\bm{x})T_{ijk}(\bm{x},\bm{x}_{0})n_{k}(\bm{x})dS_{\bm{x}}+\frac{1}{8\pi\mu_{2}}\int_{\Omega_{1}\cup\Omega_{2}}G_{ij}(\bm{x},\bm{x}_{0})f_{i}(\bm{x})dV_{\bm{x}}\,,\hskip 5.69054pt (7.6)

for the fluid velocity 𝒖\bm{u} at 𝒙0Ω2\bm{x}_{0}\in\Omega_{2}.

In the limit when 𝒙0\bm{x}_{0} approaches SS from Ω2\Omega_{2} the stresslet integral of (7.6) has an order one local contribution from a neighborhood of 𝒙0\bm{x}_{0}, which is 4πuj(𝒙0)4\pi u_{j}(\bm{x}_{0}). This leads to the boundary integral equation

uj(𝒙0)=14π(μ2+μ1)SGij(𝒙,𝒙0)[THik(𝒙)]nk(𝒙)𝑑S𝒙\displaystyle u_{j}(\bm{x}_{0})=\frac{-1}{4\pi(\mu_{2}+\mu_{1})}\int_{S}G_{ij}(\bm{x},\bm{x}_{0})[T_{Hik}(\bm{x})]n_{k}(\bm{x})dS_{\bm{x}}\hskip 71.13188pt
+(μ2μ1)4π(μ2+μ1)SPVui(𝒙)Tijk(𝒙,𝒙0)nk(𝒙)𝑑S𝒙\displaystyle+\frac{(\mu_{2}-\mu_{1})}{4\pi(\mu_{2}+\mu_{1})}\int^{PV}_{S}u_{i}(\bm{x})T_{ijk}(\bm{x},\bm{x}_{0})n_{k}(\bm{x})dS_{\bm{x}}\hskip 42.67912pt
+14π(μ2+μ1)Ω1Ω2Gij(𝒙,𝒙0)fi(𝒙)𝑑V𝒙,\displaystyle+\frac{1}{4\pi(\mu_{2}+\mu_{1})}\int_{\Omega_{1}\cup\Omega_{2}}G_{ij}(\bm{x},\bm{x}_{0})f_{i}(\bm{x})dV_{\bm{x}}\,,\hskip 14.22636pt (7.7)

for the fluid velocity 𝒖\bm{u} at 𝒙0S\bm{x}_{0}\in S, where PVPV denotes the principal value of the improper integral. This holds for both a drop and a vesicle.

The integral equation (7.7) can also be constructed by placing the target point 𝒙0\bm{x}_{0} at an arbitrary location on the interface SS at the outset, and excising a small sphere Bδ(𝒙0)B_{\delta}(\bm{x}_{0}) centered on 𝒙0\bm{x}_{0} with radius δ\delta from the region of integration. This removes the contribution of the δ\delta-function term in the reciprocal identity (7.5). With Bδ(𝒙0)B_{\delta}(\bm{x}_{0}) removed, the reciprocal identity is integrated over the interior 𝒙Ω1\bm{x}\in\Omega_{1}, and then over that part of the exterior 𝒙Ω2\bm{x}\in\Omega_{2} bounded by a large sphere BRB_{R} of radius RR. After the divergence theorem is applied, the contribution from the surface integral over BRB_{R} vanishes in the limit RR\rightarrow\infty, and in the limit δ0\delta\rightarrow 0 integration of the stresslet term over the semi-spherical surface of Bδ(𝒙0)B_{\delta}(\bm{x}_{0}) makes a local contribution 4πμ(i)uj(𝒙0)4\pi\mu_{(i)}u_{j}(\bm{x}_{0}) in each domain Ωi\Omega_{i}, when the unit normal points out from 𝒙0\bm{x}_{0}. See, for example, [28].

7.1 The net force on the interface and the integral equation for a drop

The traction on the interface SS due to the hydrodynamic field appears in the first integral on the right hand side of (7.7) and can be expressed in terms of the capillary stress and electrostatic potential from the stress-balance boundary condition for a drop (2.34) and the Maxwell stess tensor (2.35). This gives the exact relation

[𝑻H𝒏]=Δ(κ1+κ2)𝒏νϵ[εi(12(nϕ2|sϕ|2)𝒏+nϕsϕ)].[\bm{T}_{H}\cdot\bm{n}]=\Delta(\kappa_{1}+\kappa_{2})\bm{n}-\nu\epsilon\,[\,\varepsilon_{i}(\frac{1}{2}(\partial_{n}\phi^{2}-|\nabla_{s}\phi|^{2})\bm{n}+\partial_{n}\phi\nabla_{s}\phi)]\,. (7.8)

Since the drop interface is sharp, with no surface charge and no electrical capacitance, the electrostatic potential ϕ\phi and its tangential gradient sϕ\nabla_{s}\phi are continuous across SS, and, per the second of equations (2.31), [εnϕ]=0[\varepsilon\partial_{n}\phi]=0. On the right hand side of (7.8), the last term is therefore zero. Recalling the ϵ\epsilon-scaling and local expansion of ϕ\phi in the Debye layers, we find that the preceding term, containing |sϕ|2|\nabla_{s}\phi|^{2}, is of order O(ϵ)O(\epsilon), so that the hydrodynamic traction on SS is

[𝑻H𝒏]=Δ(κ1+κ2)𝒏ν2ϵ[εi(NΦ0)2]𝒏ν[εiNΦ0NΦ1]𝒏+O(ϵ).[\bm{T}_{H}\cdot\bm{n}]=\Delta(\kappa_{1}+\kappa_{2})\bm{n}-\frac{\nu}{2\epsilon}\,[\,\varepsilon_{i}(\partial_{N}\Phi_{0})^{2}\,]\bm{n}-\nu\,[\,\varepsilon_{i}\partial_{N}\Phi_{0}\partial_{N}\Phi_{1}]\,\bm{n}+O(\epsilon)\,. (7.9)

It turns out that the last two terms on the right hand side of (7.9) are cancelled by contributions to the total force on the electric charge distribution within the layers, which is given by the last integral on the right hand side of (7.7) containing the Coulomb force density 𝒇\bm{f}. This integral is recast as a surface integral by performing the integration in the normal direction over the ϵ\epsilon-support of the Debye layers, for which we give details in Appendix A.

The result of this analysis is that the integral equation (7.7) can be written as

uj(𝒙0)=14π(μ2+μ1)SGij(𝒙,𝒙0)[T^ik(𝒙)]nk(𝒙)𝑑S𝒙\displaystyle u_{j}(\bm{x}_{0})=\frac{-1}{4\pi(\mu_{2}+\mu_{1})}\int_{S}G_{ij}(\bm{x},\bm{x}_{0})[\hat{T}_{ik}(\bm{x})]n_{k}(\bm{x})dS_{\bm{x}}\hskip 91.04881pt
+(μ2μ1)4π(μ2+μ1)SPVui(𝒙)Tijk(𝒙,𝒙0)nk(𝒙)𝑑S𝒙\displaystyle+\frac{(\mu_{2}-\mu_{1})}{4\pi(\mu_{2}+\mu_{1})}\int^{PV}_{S}u_{i}(\bm{x})T_{ijk}(\bm{x},\bm{x}_{0})n_{k}(\bm{x})dS_{\bm{x}}\hskip 54.06023pt
14π(μ2+μ1)Snk(𝒙)xkGij(𝒙,𝒙0)νΘ(𝒙)ni(𝒙)𝑑S𝒙.\displaystyle-\frac{1}{4\pi(\mu_{2}+\mu_{1})}\int_{S}n_{k}(\bm{x})\frac{\partial}{\partial x_{k}}G_{ij}(\bm{x},\bm{x}_{0})\nu\Theta(\bm{x})n_{i}(\bm{x})dS_{\bm{x}}\,.\hskip 11.38109pt (7.10)

Here, [𝑻^𝒏][\bm{\hat{T}}\cdot\bm{n}] is a modified surface traction, given by

[𝑻^𝒏]=(κ1+κ2)(ΔνΘ)𝒏+νsΘ,[\bm{\hat{T}}\cdot\bm{n}]=(\kappa_{1}+\kappa_{2})\left(\Delta-\nu\Theta\right)\bm{n}+\nu\nabla_{s}\Theta\,, (7.11)

and where Θ\Theta is given in terms of the layer ζ\zeta-potentials and other parameters by

Θ=4((ε2c0|S+)sinh2ζ0+4+(ε1c0|S)sinh2ζ04).\Theta=4\left(\surd({\varepsilon_{2}c_{0}|_{S_{+}}})\sinh^{2}\frac{\zeta_{0+}}{4}+\surd({\varepsilon_{1}c_{0}|_{S_{-}}})\sinh^{2}\frac{\zeta_{0-}}{4}\right)\,. (7.12)

The quantity Θ\Theta is defined in Appendix A at equation (A.10) by Θ=εNΦ022𝑑N\Theta=\int_{-\infty}^{\infty}\varepsilon\frac{\partial_{N}\Phi_{0}^{2}}{2}dN, which brings to mind the electrostatic energy density per unit area in the Debye layers. To verify this conjecture, at leading order, the dimensions can be restored to equations (7.10) to (7.12), when it is found that they still hold with the only modifications that: ν\nu is set to 1 in equations (7.10) and (7.11), Δ\Delta is replaced by the surface tension σ\sigma in (7.11), and the ζ\zeta-potentials in (7.12) are replaced by ζ0±/ϕ\zeta_{0\pm}/\phi_{*} so as to remain dimensionless. Then the scale by which Θ\Theta is made dimensionless is found to be εϕ2/λ\varepsilon_{*}\phi_{*}^{2}/\lambda_{*}, which is consistent with the O(1/ϵ)O(1/\epsilon) magnitude of the potential gradient and the ϵ\epsilon-width of the Debye layers.

7.2 Modification of the net force on the interface and the integral equation for a vesicle

Relative to a drop with constant uniform surface tension, the stress in a vesicle membrane includes the effects of bending stiffness and a surface tension σ\sigma that varies so as to maintain local conservation of area via the inextensibility constraint s(t𝑿s(𝜽,t))=0\nabla_{s}\cdot(\partial_{t}\bm{X}_{s}(\bm{\theta},t))=0 of (2.41). This modifies the stress-balance boundary condition (7.8) by replacing the capillary stress Δ(κ1+κ2)𝒏\Delta(\kappa_{1}+\kappa_{2})\bm{n} on the right hand side of the relation with the membrane stress

𝝉m=2σH𝒏sσκb(2H(H2K)+s2H)𝒏,\bm{\tau}_{m}=2\sigma H\bm{n}-\nabla_{s}\sigma-\kappa_{b}\left(2H(H^{2}-K)+\nabla_{s}^{2}H\right)\bm{n}\,, (7.13)

per (2.34) and (2.40).

The second modification to the analysis for a vesicle membrane concerns the jump in the tangential Maxwell stress, which is proportional to [εinϕsϕ][\varepsilon_{i}\partial_{n}\phi\nabla_{s}\phi] in (7.8). For a membrane that has no net monopole charge the electric displacement is continuous, so that [εinϕ]=0[\varepsilon_{i}\partial_{n}\phi]=0 per the boundary condition (2.39). However, the trans-membrane potential [ϕ][\phi] is nonzero and varies around the membrane surface SS, so that [sϕ]0[\nabla_{s}\phi]\neq 0, and the tangential Maxwell stress jump is therefore also nonzero. However, the electrostatic force in the Debye layers has a component that, up to the order of calculation, exactly cancels this contribution to the interfacial traction. This point is made in the analysis of Appendix A, below equation (A.14) at item (i).

It follows that the integral equation (7.10) also holds for a vesicle, but with the surface traction (7.11) replaced by

[𝑻^𝒏]={(κ1+κ2)(σνΘ)κb(2H(H2K)+s2H)}𝒏s(σνΘ).[\bm{\hat{T}}\cdot\bm{n}]=\left\{(\kappa_{1}+\kappa_{2})(\sigma-\nu\Theta)-\kappa_{b}(2H(H^{2}-K)+\nabla_{s}^{2}H)\right\}\bm{n}-\nabla_{s}(\sigma-\nu\Theta)\,. (7.14)

The Stokes dipole integral remains unchanged. However, as noted below equation (6.17) for example, since the same solvent and ion species occupy both phases, the permittivity is either the same constant throughout or nearly so, so that in the expression (7.12) for the energy density Θ\Theta, ε1=ε2\varepsilon_{1}=\varepsilon_{2}.

8 The integral equations for the electrostatic potential on either side of the interface

In the charge-neutral outer regions away from the interface, the electrostatic potential ϕ=ϕ0+ϵϕ1+\phi=\phi_{0}+\epsilon\phi_{1}+\ldots is such that ϕ0\phi_{0} satisfies Laplace’s equation, as noted in §4. A fundamental result of potential theory gives the potential ϕ0\phi_{0} on either side of SS in terms of its normal derivative nϕ0\partial_{n}\phi_{0} via solution of a Fredholm second type integral equation [29], where the data for the normal derivative is considered to be known from equation (6.11) for a drop or (6.16) for a vesicle.

With the normal directed outward from Ω1\Omega_{1} to Ω2\Omega_{2}, the potential ϕ0|S\phi_{0}|_{S_{-}} on the Debye layer edge SS_{-} interior to the interface SS satisfies,

SPVϕ0|S(𝒙)Gn(𝒙,𝒙𝟎)dS(𝒙)12ϕ0|S(𝒙𝟎)=SG(𝒙,𝒙𝟎)ϕ0n|S(𝒙)dS(𝒙).\int_{S}^{PV}\phi_{0}|_{S_{-}}(\bm{x})\,\frac{\partial G}{\partial n}(\bm{x},\bm{x_{0}})\,dS(\bm{x})-\frac{1}{2}\phi_{0}|_{S_{-}}(\bm{x_{0}})=\int_{S}G(\bm{x},\bm{x_{0}})\left.\frac{\partial\phi_{0}}{\partial n}\right|_{S_{-}}\!\!\!\!\!\!\!(\bm{x})\,dS(\bm{x})\,. (8.1)

The potential ϕ0|S+\phi_{0}|_{S_{+}} on the Debye layer edge S+S_{+} exterior to the interface satisfies,

SPVϕ0|S+(𝒙)Gn(𝒙,𝒙𝟎)dS(𝒙)+12ϕ0|S+(𝒙𝟎)\displaystyle\hskip 14.22636pt\int_{S}^{PV}\phi_{0}|_{S_{+}}(\bm{x})\,\frac{\partial G}{\partial n}(\bm{x},\bm{x_{0}})\,dS(\bm{x})+\frac{1}{2}\phi_{0}|_{S_{+}}(\bm{x_{0}}) =\displaystyle= SG(𝒙,𝒙𝟎)ϕ0n|S+(𝒙)dS(𝒙)\displaystyle\int_{S}G(\bm{x},\bm{x_{0}})\left.\frac{\partial\phi_{0}}{\partial n}\right|_{S_{+}}\!\!\!\!\!\!\!(\bm{x})\,dS(\bm{x})\hskip 34.1433pt (8.2)
+w(ϕ,𝒙𝟎),\displaystyle\hskip 28.45274pt+w(\phi_{\infty},\bm{x_{0}})\,,
where
w(ϕ,𝒙𝟎)=SPVϕ(𝒙)Gn(𝒙,𝒙𝟎)𝑑S(𝒙)\displaystyle w(\phi_{\infty},\bm{x_{0}})=\int_{S}^{PV}\phi_{\infty}(\bm{x})\frac{\partial G}{\partial n}(\bm{x},\bm{x_{0}})\,dS(\bm{x}) \displaystyle- SG(𝒙,𝒙𝟎))ϕn(𝒙)dS(𝒙)\displaystyle\int_{S}G(\bm{x},\bm{x_{0}}))\frac{\partial\phi_{\infty}}{\partial n}(\bm{x})\,dS(\bm{x}) (8.3)
+12ϕ(𝒙𝟎).\displaystyle\hskip 28.45274pt+\frac{1}{2}\phi_{\infty}(\bm{x_{0}})\,.

Here the free-space Green’s function is G(𝒙,𝒙𝟎)=1/(4π|𝒙𝒙𝟎|)G(\bm{x},\bm{x_{0}})=-1/(4\pi|\bm{x}-\bm{x_{0}}|), and for a leading order model the integration is over the interface SS.

9 Model summary

In this section we give a summary of the model by collecting together results from the text or by indicating where they may be found, or both, begining with the more basic components. Since it is a closed leading order model, all 0-subscripts are now omitted or understood as being omitted.

Initial Conditions. The initial conditions of (2.42), for which the applied field is uniform, are

ϕ(𝒙,0+)=Ψz,𝒖(𝒙,0)=0,andc(±)(𝒙,0)=cionΩi,i=1,2.\phi(\bm{x},0^{+})=-\Psi z,\ \bm{u}(\bm{x},0)=0,\ \mbox{and}\ c^{(\pm)}(\bm{x},0)=c_{i}\ \mbox{on}\ \Omega_{i},\ i=1,2\,. (9.1)

An exception to this is a drop that has a nonzero Galvani potential. Then, for t<0t<0 the potential is piecewise constant with jump across SS given by (5.19), namely

[ϕ]SS+=12ln(l()l(+)).[\phi]^{S_{+}}_{S_{-}}=\ \frac{1}{2}\ln\left(\frac{l^{(-)}}{l^{(+)}}\right)\,. (9.2)

The potential at t=0+t=0^{+} is given by superimposing the applied potential. The ambient ion concentrations on Ωi\Omega_{i} for t<0t<0 are related by (5.20), that is

c1=c2l(+)l(),c_{1}=c_{2}\sqrt{l^{(+)}l^{(-)}}\,, (9.3)

where the ion partition coefficients l(±)l^{(\pm)} are known. The ζ\zeta-potentials for t<0t<0 that correspond to this are given by (5.21). A drop is initially spherical with radius 1, whereas a vesicle has a known initial equilibrium configuration SrefS_{ref}.

Far-Field Conditions. Far from a drop or vesicle, for a uniform applied field

ϕ(𝒙,t)Ψz,𝒖(𝒙,t)0,andc(±)(𝒙,t)c2as|𝒙|fort>0.\phi(\bm{x},t)\sim-\Psi z,\ \bm{u}(\bm{x},t)\rightarrow 0,\ \mbox{and}\ c^{(\pm)}(\bm{x},t)\rightarrow\ c_{2}\ \mbox{as}\ |\bm{x}|\rightarrow\infty\ \mbox{for}\ t>0\,. (9.4)

For a more general applied field ϕ\phi approaches a specified solution ϕ\phi_{\infty} of Laplace’s equation that has magnitude Ψ\Psi. This may be time-dependent on the scale of the charge-up time.

Kinematic Condition. Time-update of the interface position is determined by the kinematic condition. For a drop this is given by

(𝒖𝒙st)𝒏=0onS,(\bm{u}-\frac{\partial\bm{x}_{s}}{\partial t})\cdot\bm{n}=0\ \ \mbox{on}\ S\,, (9.5)

per (2.33), at any point 𝒙s\bm{x}_{s} on SS. The continuity of velocity across SS, [𝒖]=0[\bm{u}]=0, is built-in to both the integral equation for 𝒖\bm{u} and the reduced stress-balance boundary condition.

For a vesicle with a semi-permeable membrane SS having equation 𝒙=𝑿(𝜽,t)\bm{x}=\bm{X}(\bm{\theta},t), we have the boundary condition

𝒖𝑿t|𝜽=ϵvp|S𝒏on S, wherevp|S=2πm[c]SS+,\bm{u}-\left.\frac{\partial\bm{X}}{\partial t}\right|_{\bm{\theta}}=\epsilon v_{p}|_{S}\,\bm{n}\ \ \ \mbox{on $S$, where}\ \ \ v_{p}|_{S}=2\pi_{m}[c]^{S_{+}}_{S_{-}}\,, (9.6)

per (2.38) and (5.39) via (LABEL:v_p2b). The normal component of this is a slightly modified version of the relation (9.5) for a drop; when the permeability πm>0\pi_{m}>0 there is a small O(ϵ)O(\epsilon) osmotic flux and change in vesicle volume on the charge-up time scale. The tangential projection of (9.6) implies continuity of fluid velocity across SS, i.e., [𝒖]=0[\bm{u}]=0, which is already built-in to other components of the model where needed, but in addition it ensures no slip between the membrane and adjacent fluid. That is, 𝒖s=t𝑿s|𝜽\bm{u}_{s}=\partial_{t}\bm{X}_{s}|_{\bm{\theta}}, so that local conservation of membrane area or incompressibility implies the additional constraint that

s(t𝑿s(𝜽,t))=0\nabla_{s}\cdot\left(\frac{\partial}{\partial t}\bm{X}_{s}(\bm{\theta},t)\right)=0 (9.7)

of (2.41). It also ensures that the tangential fluid velocity 𝒖s\bm{u}_{s} is such that s𝒖s=0\nabla_{s}\cdot\bm{u}_{s}=0.

Inflow-Outflow Condition. The rate of extension of an infinitesimal fluid element based on and normal to SS is denoted by nvp|S\partial_{n}v_{p}|_{S}, and given in terms of surface data by (LABEL:v_p1b), which is

nvp|S=(s𝒖s+(κ1+κ2)un).\partial_{n}v_{p}|_{S}=-(\nabla_{s}\cdot\bm{u}_{s}+(\kappa_{1}+\kappa_{2})u_{n})\,. (9.8)

For a vesicle with an incompressible membrane, from the comment below equation (9.7), this simplifies to

nvp|S=(κ1+κ2)un.\partial_{n}v_{p}|_{S}=-(\kappa_{1}+\kappa_{2})u_{n}\,. (9.9)

ζ\zeta-Potentials and Potential Jumps. The definition of the ζ\zeta-potentials for a drop, for which there is no jump in the potential across its sharp interface, is given at (5.13), from which we have

[ϕ]SS+=ζζ+.[\phi]^{S_{+}}_{S_{-}}=\zeta_{-}-\zeta_{+}\,. (9.10)

For a vesicle, which can sustain a jump in the potential across its membrane, the definition of the ζ\zeta-potentials is given at (5.13), from which

[ϕ]SS+[ϕ]m=ζζ+.[\phi]^{S_{+}}_{S_{-}}-[\phi]_{m}=\zeta_{-}-\zeta_{+}\,. (9.11)

In this summary, the jump in a quantity across the faces of the membrane, which earlier was denoted by []=[]Ω1Ω2[\cdot]=[\cdot]^{\partial\Omega_{2}}_{\partial\Omega_{1}}, is now denoted by []m[\cdot]_{m} instead.

Gauss’s Relation Between the ζ\zeta-Potentials. The drop interface holds no monopole charge, from which Gauss’s law implies the relation (5.14) between the ζ\zeta-potentials and the ion concentrations at the outer edges of the Debye layers, namely

ε2c|S+sinhζ+2=ε1c|Ssinhζ2.\sqrt{\varepsilon_{2}c|_{S_{+}}}\sinh\frac{\zeta_{+}}{2}=-\sqrt{\varepsilon_{1}c|_{S_{-}}}\sinh\frac{\zeta_{-}}{2}\,. (9.12)

This also implies that the charge per unit area in the back-to-back Debye layers is equal and opposite at all points. For a vesicle, Gauss’s law relates the charge held in the layers to the membrane capacitance CmC_{m} and the trans-membrane potential [ϕ]m[\phi]_{m}, per (5.16), namely

ε2c|S+sinhζ+2=ε1c|Ssinhζ2=Cm2[ϕ]m.\sqrt{\varepsilon_{2}c|_{S_{+}}}\sinh\frac{\zeta_{+}}{2}=-\sqrt{\varepsilon_{1}c|_{S_{-}}}\sinh\frac{\zeta_{-}}{2}=-\frac{C_{m}}{2}[\phi]_{m}\,. (9.13)

At this point we see that, relative to a drop, the model for a vesicle contains an additional variable [ϕ]m[\phi]_{m} and an additional constraint in (9.13).

Transport Relations for the Potential. For a drop, the relation (6.11) for ion transport in the Debye layers gives the boundary condition on S+S_{+} that

c|S+nϕ|S+=(t+𝒗ssnvp|S))ε2c|S+(eζ+21D2(+)eζ+21D2()).c|_{S_{+}}\partial_{n}\phi|_{S_{+}}=\left(\partial_{t}+\bm{v}_{s}\cdot\nabla_{s}-\partial_{n}v_{p}|_{S}\right))\sqrt{\varepsilon_{2}c|_{S_{+}}}\left(\frac{e^{\frac{-\zeta_{+}}{2}}-1}{D^{(+)}_{2}}-\frac{e^{\frac{\zeta_{+}}{2}}-1}{D^{(-)}_{2}}\right). (9.14)

Similarly, on SS_{-} we have

c|Snϕ|S=(t+𝒗ssnvp|S))ε1c|S(eζ21D1(+)eζ21D1()).c|_{S_{-}}\partial_{n}\phi|_{S_{-}}=-\left(\partial_{t}+\bm{v}_{s}\cdot\nabla_{s}-\partial_{n}v_{p}|_{S}\right))\sqrt{\varepsilon_{1}c|_{S_{-}}}\left(\frac{e^{\frac{-\zeta_{-}}{2}}-1}{D^{(+)}_{1}}-\frac{e^{\frac{\zeta_{-}}{2}}-1}{D^{(-)}_{1}}\right). (9.15)

These give the normal derivative nϕ\partial_{n}\phi in terms of flow field quantities on SS and the ζ\zeta-potential and ion concentration at the outer edge of each respective Debye layer, S+S_{+} or SS_{-}. This can be used either as data for the integral equations (8.1) and (8.2) for ϕ\phi or for the construction of a solution to Laplace’s equation

2ϕ=0\nabla^{2}\phi=0 (9.16)

by some other means.

For a vesicle, analogous data for nϕ\partial_{n}\phi in the exterior and interior phase is given by (6.16), which includes a contribution from the trans-membrane ion flux (6.17) and osmotic solvent flux (5.39). These trans-membrane effects introduce an additional coupling via the jumps in the potential [ϕ]SS+[\phi]^{S_{+}}_{S_{-}} and ion concentration [c]SS+[c]^{S_{+}}_{S_{-}} across the outer edges of the double layer pair.

Transport Relations for the Ion Concentrations. For a drop, the relation (6.10) for Debye layer ion transport gives the boundary condition on S+S_{+} that

nc|S+=(t+𝒗ssnvp|S)ε2c|S+(eζ+21D2(+)+eζ+21D2()),\partial_{n}c|_{S_{+}}=\left(\partial_{t}+\bm{v}_{s}\cdot\nabla_{s}-\partial_{n}v_{p}|_{S}\right)\sqrt{\varepsilon_{2}c|_{S_{+}}}\left(\frac{e^{\frac{-\zeta_{+}}{2}}-1}{D^{(+)}_{2}}+\frac{e^{\frac{\zeta_{+}}{2}}-1}{D^{(-)}_{2}}\right), (9.17)

and on SS_{-}

nc|S=(t+𝒗ssnvp|S)ε1c|S(eζ21D1(+)+eζ21D1()).\partial_{n}c|_{S_{-}}=-\left(\partial_{t}+\bm{v}_{s}\cdot\nabla_{s}-\partial_{n}v_{p}|_{S}\right)\sqrt{\varepsilon_{1}c|_{S_{-}}}\left(\frac{e^{\frac{-\zeta_{-}}{2}}-1}{D^{(+)}_{1}}+\frac{e^{\frac{\zeta_{-}}{2}}-1}{D^{(-)}_{1}}\right). (9.18)

These are boundary conditions for the transport equation

(t+𝒖)c=0(\partial_{t}+\bm{u}\cdot\nabla)c=0 (9.19)

in both the exterior and interior phase outer regions that, as noted in §6.3, must be applied away from or off SS at some chosen small value of the normal coordinate n0n\neq 0. Further, they can only be applied on regions of outflow from the Debye layers to the bulk, which are such that the quantity nvp|S\partial_{n}v_{p}|_{S} of (9.8) is positive, i.e., where nvp|S>0\partial_{n}v_{p}|_{S}>0, since otherwise the problem for the ion transport equation outside the Debye layers is over-determined.

For a vesicle, analogous boundary conditions are given by (6.15), which include the influence of trans-membrane ion and osmotic flux terms given by (6.17) and (5.39). In the outflow condition nvp|S>0\partial_{n}v_{p}|_{S}>0 that determines where the boundary conditions can be applied, membrane incompressibility implies that nvp|S\partial_{n}v_{p}|_{S} is given by the relation (9.9).

The boundary conditions for both a drop and a vesicle show coupling from the flow field on SS and the layer ζ\zeta-potentials to the ion concentration in the outer regions away from the Debye layers. For a vesicle, additional coupling is induced when the trans-membrane fluxes are included.

Determination of the flow field. The fluid velocity 𝒖\bm{u} on the interface can be found from the integral equation (7.10) together with its ancillary components. For a drop these are the net or modified traction (7.11) and the electrostatic energy density (7.12). For a vesicle the modified traction is given by (7.14), which includes the effects of membrane bending stiffness and incompressibility, and in the energy density the electrical permittivity is constant throughout the interior and exterior phases.

Instead of solution via an integral equation, the unforced equations of Stokes flow

p+μi2𝒖=0and𝒖=0onΩi,i=1,2,-\nabla p+\mu_{i}\nabla^{2}\bm{u}=0\ \ \mbox{and}\ \ \nabla\cdot\bm{u}=0\ \ \mbox{on}\ \Omega_{i},\ \ i=1,2, (9.20)

can be solved by some other means, for example by Lamb’s general solution, with the reduced stress-balance boundary conditions for a drop or vesicle that are given in Appendix B. In this formulation, since the model is closed at leading order, the tangential fluid velocity is continuous across the outer edges of the double layer pair but there is a jump in pressure and there can be a mismatch in the viscosity μ1μ2\mu_{1}\neq\mu_{2}.

Either formulation shows coupling to the flow field on the interface from the electrostatic and ion concentration fields.

10 Concluding remarks

We have derived a model for the deformation of either a drop or a vesicle in an applied electric field that is caused by electrokinetic flow or induced charge electro-osmosis. It is derived from the Poisson-Nernst-Planck (PNP) equations for dilute electrolyte solutions coupled to the zero-Reynolds number equations of Stokes flow, in the limit where both the interior and exterior phase are strong electrolytes, and the Debye layers that contain the induced charge are thin relative to the linear size of the inclusion under equilibrium conditions. The induced charge is contained in two Debye layers of opposite polarity that form back-to-back on opposite sides of the sharp drop interface or vesicle membrane. This configuration is referred to as an electrical double layer, and here it is of liquid-liquid type as opposed to the more widely studied solid-liquid type.

Three distinct fields are present and mutually coupled: the electrostatic field, the hydrodynamic field, and the ion concentration field. The derivation leads to a reduced asymptotic or macroscale model that is closed at leading order, in which the structure of the Debye layers for the three fields is collapsed onto a single surface, whose opposite faces S+S_{+} and SS_{-} are the outer edges of the Debye layers at the microscopic scale of the original governing equations.

The point of view has been to give a derivation that is no more than systematic. No modeling insight has been applied. In this respect the evolution of the leaky dielectric model has been quite different. Taylor compared his theoretical predictions on the circulation produced in a drop by an electric field [13] primarily with the experimental results of Allan and Mason [30], obtaining good agreement based largely on existing electrodynamic models for dielectrics. By the time of Melcher and Taylor’s work [11] this had developed into the leaky dielectric model of electrohydrodynamics. Later, as described in the Introduction, it has been shown that the leaky dielectric model can be underpinned theoretically as the thin Debye layer limit of the Poisson-Nernst-Planck equations for weak electrolytes or, equivalently, at low ion densities [12, 14, 15].

It is generally believed that a model that is derived in a particular limit may still provide predictions that are valuable and have some accuracy in regimes and circumstances outside the confines in which the model was originally derived. This could be considered a defining attribute of a good model. The main difference between the leaky dielectric model and that of the present study is our premise of strong electrolytes, and hence relatively high ion densities.

The similarities or differences that the models predict is, it is hoped, a topic for future work. But here we note an aspect concerning the polarity of the double layer and the direction of its dipole moment. The component of the local electric field normal to the interface that separates the double layer charge is opposite or anti-parallel to the dipole moment of the induced charge. This is as sketched in Figure 1. Surface tension, bending stiffness, and effects of viscous flow can stabilize the interface but on its own this dipole orientation is destabilizing. It seems possible that this could be a dominant effect at high applied field strengths and induced charge densities.

The nonlinearity of the Poisson-Boltzmann equation has been kept, in addition to arbitrary curvature, which leads to a mutual coupling between the electrostatic, hydrodynamic, and ion concentration fields inside the double layer. This coupling is simplified at low applied field strengths, when the expressions in the ζ\zeta-potentials are linearized and the redistribution of ions in the double layer is reduced.

We have included the vesicle membrane model together with that for a drop. The vesicle model indicates one way in which a semi-permeable interface can be introduced to the analysis as well as incorporating mechanical bending stiffness. It has been noted elsewhere and in related contexts that an area-preserving or incompressible membrane greatly constrains the flow field relative that of a drop. See, for example, the studies [31, 32, 33].

Acknowledgement The authors gratefully acknowledge support from National Science Foundation grants DMS-1412789 and DMS-1909407. Declaration of Interests. The authors report no conflict of interest.

Appendices

Appendix A Derivation of equation (7.10)

In this appendix the volume integral containing the electrostatic or Coulomb force density 𝒇\bm{f} in the integral equation (7.7) for the interfacial fluid velocity 𝒖(𝒙0)\bm{u}(\bm{x}_{0}) is reduced to a surface integral over SS. The integral appears in the third or last term on the right hand side of equation (7.7). In terms of the potential, the force density 𝒇=εiνϵ2ϕϕ\bm{f}=\varepsilon_{i}\nu\epsilon\nabla^{2}\phi\nabla\phi from equations (2.30) or (7.1). In terms of the local coordinates of the intrinsic frame and the local expression for the potential Φ\Phi,

𝒇=εiν(ϵ1N2Φ+(κ1+κ2)NΦ+O(ϵ))(ϵ1NΦ𝒏+sΦ+O(ϵ)).\bm{f}=\varepsilon_{i}\nu\left(\epsilon^{-1}\partial_{N}^{2}\Phi+(\kappa_{1}+\kappa_{2})\partial_{N}\Phi+O(\epsilon)\right)\left(\epsilon^{-1}\partial_{N}\Phi\,\bm{n}+\nabla_{s}\Phi+O(\epsilon)\right). (A.1)

The volume element dV=ϵl1l2dξ1dξ2dN=ϵdSdN(1+ϵN(κ1+κ2)+O(ϵ2))dV=\epsilon l_{1}l_{2}d\xi_{1}d\xi_{2}dN=\epsilon dSdN(1+\epsilon N(\kappa_{1}+\kappa_{2})+O(\epsilon^{2})), where dS=a1a2dξ1dξ2dS=a_{1}a_{2}d\xi_{1}d\xi_{2} is the surface element on SS. If 𝒙v\bm{x}_{v} is a point in the domain of integration, i.e., in the ϵ\epsilon-support of 𝒇\bm{f} near SS, and 𝒙\bm{x} is its normal projection onto SS then 𝒙v=𝒙+ϵN𝒏\bm{x}_{v}=\bm{x}+\epsilon N\bm{n}, so that the Stokeslet 𝑮(𝒙v,𝒙0)\bm{G}(\bm{x}_{v},\bm{x}_{0}) in the integrand has the local expansion

𝑮(𝒙v,𝒙0)=𝑮(𝒙,𝒙0)+ϵN𝒏𝒙𝑮(𝒙,𝒙0)+O(ϵ2).\bm{G}(\bm{x}_{v},\bm{x}_{0})=\bm{G}(\bm{x},\bm{x}_{0})+\epsilon N\bm{n}\cdot\nabla_{\bm{x}}\bm{G}(\bm{x},\bm{x}_{0})+O(\epsilon^{2})\,. (A.2)

Introducing the local expansion for Φ=Φ0+ϵΦ1+O(ϵ2)\Phi=\Phi_{0}+\epsilon\Phi_{1}+O(\epsilon^{2}) of §5.1, we find that in the last term on the right hand side of equation (7.7)

𝑮(𝒙v,𝒙0)𝒇dV𝒙v\displaystyle\bm{G}(\bm{x}_{v},\bm{x}_{0})\cdot\bm{f}\,dV_{\bm{x}_{v}} =\displaystyle= εiν𝑮(𝒙,𝒙0){ϵ1N2Φ0NΦ0+N(NΦ0NΦ1)\displaystyle\varepsilon_{i}\nu\bm{G}(\bm{x},\bm{x}_{0})\left\{\epsilon^{-1}\partial_{N}^{2}\Phi_{0}\partial_{N}\Phi_{0}+\partial_{N}(\partial_{N}\Phi_{0}\partial_{N}\Phi_{1})\hskip 65.44133pt\right. (A.3)
+\displaystyle+ (κ1+κ2)((NΦ0)2+NN2Φ0NΦ0)+O(ϵ)}𝒏(𝒙)dNdS𝒙\displaystyle\,\left.(\kappa_{1}+\kappa_{2})((\partial_{N}\Phi_{0})^{2}+N\partial_{N}^{2}\Phi_{0}\partial_{N}\Phi_{0})+O(\epsilon)\right\}\cdot\bm{n}(\bm{x})\,dNdS_{\bm{x}} (A.4)
+\displaystyle+ εiν{𝒏(𝒙)𝒙𝑮(𝒙,𝒙0)NN2Φ0NΦ0+O(ϵ)}𝒏(𝒙)dNdS𝒙\displaystyle\varepsilon_{i}\nu\left\{\bm{n}(\bm{x})\cdot\nabla_{\bm{x}}\bm{G}(\bm{x},\bm{x}_{0})N\partial_{N}^{2}\Phi_{0}\partial_{N}\Phi_{0}+O(\epsilon)\right\}\cdot\bm{n}(\bm{x})\,dNdS_{\bm{x}} (A.5)
+\displaystyle+ εiν𝑮(𝒙,𝒙0)N2Φ0sΦ0dNdS𝒙+O(ϵ).\displaystyle\varepsilon_{i}\nu\bm{G}(\bm{x},\bm{x}_{0})\cdot\partial_{N}^{2}\Phi_{0}\nabla_{s}\Phi_{0}\,dNdS_{\bm{x}}+O(\epsilon)\,. (A.6)

The dependence on NN in the right hand side of this expression is contained in the terms Φ0\Phi_{0} and Φ1\Phi_{1} of the potential and in the piecewise constant permittivity ratio εi\varepsilon_{i}. The integration over N(,0)(0+,)N\in(-\infty,0^{-})\cup(0^{+},\infty) can be evaluated in closed form to produce a pair of surface integrals over SS as described below.

First, we recall that the hydrodynamic contribution to the traction on SS appears in the first integral on the right hand side of (7.7), which was written in terms of the capillary and electrostatic stress at (7.9), namely

[𝑻H𝒏]=Δ(κ1+κ2)𝒏ν2ϵ[εi(NΦ0)2]𝒏ν[εiNΦ0NΦ1]𝒏+O(ϵ).[\bm{T}_{H}\cdot\bm{n}]=\Delta(\kappa_{1}+\kappa_{2})\bm{n}-\frac{\nu}{2\epsilon}\,[\,\varepsilon_{i}(\partial_{N}\Phi_{0})^{2}\,]\bm{n}-\nu\,[\,\varepsilon_{i}\partial_{N}\Phi_{0}\partial_{N}\Phi_{1}]\,\bm{n}+O(\epsilon)\,. (A.7)

Integration of (A.3) to (A.6) across the Debye layers requires evaluation of integrals for five distinct NN-dependent quantities. Proceeding in the order in which these appear, since N2Φ0NΦ0=N(NΦ0)2/2\partial_{N}^{2}\Phi_{0}\partial_{N}\Phi_{0}=\partial_{N}(\partial_{N}\Phi_{0})^{2}/2 and NΦ0\partial_{N}\Phi_{0} tends to zero exponentially as N±N\rightarrow\pm\infty, as implied by (5.10), we find for the first evaluation that

(ν/ϵ)εiN2Φ0NΦ0dN=ν2ϵ[εi(NΦ0)2].(\nu/\epsilon)\int_{-\infty}^{\infty}\varepsilon_{i}\partial_{N}^{2}\Phi_{0}\partial_{N}\Phi_{0}\,dN=-\frac{\nu}{2\epsilon}\,[\,\varepsilon_{i}(\partial_{N}\Phi_{0})^{2}\,]\,. (A.8)

The corresponding contribution from the body force therefore cancels with the second term on the right hand side of (A.7) for the surface traction on recalling the opposite signs that precede the first and third integrals on the right hand side of (7.7) that are being developed here. Similarly, the exponential decay of NΦ0\partial_{N}\Phi_{0} and matching condition that NΦ1nϕ0|S±\partial_{N}\Phi_{1}\sim\partial_{n}\phi_{0}|_{S_{\pm}} is bounded at infinity, implies that

νεiN(NΦ0NΦ1)dN=ν[εiNΦ0NΦ1],\nu\int_{-\infty}^{\infty}\varepsilon_{i}\partial_{N}(\partial_{N}\Phi_{0}\partial_{N}\Phi_{1})dN=-\nu\,[\,\varepsilon_{i}\partial_{N}\Phi_{0}\partial_{N}\Phi_{1}]\,, (A.9)

which cancels with the third term on the right hand side of (A.7) for the surface traction.

Integration of the next quantity, which appears in the first term of (A.4), leads us to define

Θεi(NΦ0)22𝑑N=0+ε2(NΦ0)22𝑑N+0ε1(NΦ0)22𝑑N.\Theta\equiv\int_{-\infty}^{\infty}\varepsilon_{i}\frac{(\partial_{N}\Phi_{0})^{2}}{2}\,dN=\int_{0^{+}}^{\infty}\varepsilon_{2}\frac{(\partial_{N}\Phi_{0})^{2}}{2}\,dN+\int_{-\infty}^{0^{-}}\varepsilon_{1}\frac{(\partial_{N}\Phi_{0})^{2}}{2}\,dN\,. (A.10)

It is explained in the text at the end of §7.1 that, up to nondimensionalization and ϵ\epsilon-rescaling, this is the electrostatic energy per unit area contained within the Debye layers, at leading order. To evaluate the integral, we note that equation (5.12) gives NΦ0\partial_{N}\Phi_{0} in terms of the excess potential η0\eta_{0} and that the definition (5.7) of η0\eta_{0} implies that NΦ0=Nη0\partial_{N}\Phi_{0}=\partial_{N}\eta_{0}. A change of variable from NN to η0\eta_{0} shows that (NΦ0)2𝑑N=Nη0dη0\int(\partial_{N}\Phi_{0})^{2}dN=\int\partial_{N}\eta_{0}\,d\eta_{0}, so that Θ\Theta is given in terms of the layer ζ\zeta-potentials by

Θ=4((ε2c0|S+)sinh2ζ0+4+(ε1c0|S)sinh2ζ04).\Theta=4\left(\surd({\varepsilon_{2}c_{0}|_{S_{+}}})\sinh^{2}\frac{\zeta_{0+}}{4}+\surd({\varepsilon_{1}c_{0}|_{S_{-}}})\sinh^{2}\frac{\zeta_{0-}}{4}\right)\,. (A.11)

The integral that is introduced by both the second term of (A.4) and the Stokes dipole term of (A.5) is evaluated by an integration by parts, namely

NN2Φ0NΦ0dN=[N(NΦ0)22],0+0,(NΦ0)22𝑑N.\int_{-\infty}^{\infty}N\partial_{N}^{2}\Phi_{0}\partial_{N}\Phi_{0}\,dN=\left[N\frac{(\partial_{N}\Phi_{0})^{2}}{2}\right]_{-\infty,0^{+}}^{0^{-},\infty}-\int_{-\infty}^{\infty}\frac{(\partial_{N}\Phi_{0})^{2}}{2}\,dN. (A.12)

The contributions from the boundary terms in the limits N±N\rightarrow\pm\infty and N0±N\rightarrow 0^{\pm} are zero, so that the integral across the Debye layers can be expressed in terms of the quantity Θ\Theta of (A.10) as

εiNN2Φ0NΦ0dN=Θ.\int_{-\infty}^{\infty}\varepsilon_{i}N\partial_{N}^{2}\Phi_{0}\partial_{N}\Phi_{0}\,dN=-\Theta\,. (A.13)

The integral that is introduced by the last, tangential derivative term of (A.6) is found by an integration by parts to be

εiN2Φ0sΦ0dN=[εiNΦ0sΦ0],0+0,sεi(NΦ0)22𝑑N.\int_{-\infty}^{\infty}\varepsilon_{i}\partial_{N}^{2}\Phi_{0}\nabla_{s}\Phi_{0}\,dN=\left[\varepsilon_{i}\partial_{N}\Phi_{0}\nabla_{s}\Phi_{0}\right]_{-\infty,0^{+}}^{0^{-},\infty}-\nabla_{s}\int_{-\infty}^{\infty}\varepsilon_{i}\frac{(\partial_{N}\Phi_{0})^{2}}{2}\,dN\,. (A.14)

In the boundary term, the contributions as N±N\rightarrow{\pm\infty} are zero because of the exponential approach of Φ0\Phi_{0} to the outer potential ϕ0|S±\phi_{0}|_{S_{\pm}}. The contributions as N0±N\rightarrow 0^{\pm} are also zero. This occurs: (i) because of a cancellation, for both a vesicle and a drop, with the exact jump discontinuity [εinϕsϕ][\varepsilon_{i}\partial_{n}\phi\nabla_{s}\phi] across SS of (7.8), when the exact relation is evaluated at leading order, and (ii) a fortiori for a drop, because, as noted below equation (7.8), the jump discontinuity itself vanishes for the sharp interface of a drop that carries no monopole surface charge, since this implies that [εinϕ]=0[\varepsilon_{i}\partial_{n}\phi]=0 per the second of equations (2.31), and both ϕ\phi and sϕ\nabla_{s}\phi are continuous across SS. Hence,

εiN2Φ0sΦ0dN=sΘ.\int_{-\infty}^{\infty}\varepsilon_{i}\partial_{N}^{2}\Phi_{0}\nabla_{s}\Phi_{0}\,dN=-\nabla_{s}\Theta\,. (A.15)

Apart from the Stokes dipole term of (A.5), integration across the Debye layers of the third integral of (7.7), i.e., that containing the electrostatic force 𝒇\bm{f}, is seen to produce four contributions to a surface integral over SS that has the same form as the first, Stokeslet integral of (7.7) containing the hydrodynamic stress. These are combined with the one remaining capillary stress term on the right hand side of (A.7) to define a modified surface traction due to the combined effects of the hydrodynamic stress and the electrostatic force exerted by the adjacent Debye layers on SS. This is given by replacing the surface traction [𝑻H𝒏][\bm{T}_{H}\cdot\bm{n}] in (7.7) with

[𝑻^𝒏]=(κ1+κ2)(ΔνΘ)𝒏+νsΘ,[\bm{\hat{T}}\cdot\bm{n}]=(\kappa_{1}+\kappa_{2})\left(\Delta-\nu\Theta\right)\bm{n}+\nu\nabla_{s}\Theta\,, (A.16)

where Θ\Theta is given by (A.11). The surface integral that contains the Stokes dipole replaces the third and last integral of (7.7) with

14π(μ2+μ1)Snk(𝒙)xkGij(𝒙,𝒙0)νΘ(𝒙)ni(𝒙)𝑑S𝒙.\frac{-1}{4\pi(\mu_{2}+\mu_{1})}\int_{S}n_{k}(\bm{x})\frac{\partial}{\partial x_{k}}G_{ij}(\bm{x},\bm{x}_{0})\,\nu\Theta(\bm{x})\,n_{i}(\bm{x})\,dS_{\bm{x}}\,. (A.17)

This results in the integral equation (7.10).

Appendix B Reduced form of the stress-balance boundary condition

For some purposes, such as construction of a small-amplitude expansion about an equilibrium state, the stress-balance boundary condition needs to be used in a reduced form, as opposed to being embedded in an integral equation. We use the term ‘reduced’ in the same sense in which it has been used elsewhere in this study. Here, the Debye layer structure is used to express the stress-balance boundary condition on SS in terms of dependent variables at the outer edges of the layers and known surface data. The formulation uses the intrinsic orthogonal curvilinear coordinate system of §5.1.

The boundary condition can be written as

[(𝑻H+νϵ𝑻M)𝒏]=𝝉,[(\bm{T}_{H}+\nu\epsilon\bm{T}_{M})\cdot\bm{n}]=\bm{\tau}\,, (B.1)

on SS, where the stress in the interface is

𝝉={𝝉dΔ(κ1+κ2)𝒏for a drop,𝝉m2σH𝒏sσκb(2H(H2K)+s2H)𝒏for a vesicle.\bm{\tau}=\left\{\begin{array}[]{ll}\bm{\tau}_{d}\equiv\Delta(\kappa_{1}+\kappa_{2})\,\bm{n}&\mbox{for a drop}\,,\\ \bm{\tau}_{m}\equiv 2\sigma H\bm{n}-\nabla_{s}\sigma&\\ \hskip 19.91692pt-\kappa_{b}\left(2H(H^{2}-K)+\nabla_{s}^{2}H\right)\bm{n}&\mbox{for a vesicle}\,.\end{array}\right. (B.2)

The hydrodynamic stress is given in coordinate-free form by the first of relations (2.35). When expressed in the intrinsic frame and then evaluated on the interface n=0n=0 the traction is given by

𝑻H𝒏\displaystyle\bm{T}_{H}\cdot\bm{n} =\displaystyle= μ(sup+𝒆1(nκ1)ut1+𝒆2(nκ2)ut2)\displaystyle\mu\left(\nabla_{s}u_{p}+\bm{e}_{1}(\partial_{n}-\kappa_{1})u_{t1}+\bm{e}_{2}(\partial_{n}-\kappa_{2})u_{t2}\right) (B.3)
+(p+2μnup)𝒏\displaystyle+\,(\,-p+2\mu\partial_{n}u_{p})\,\bm{n}
=\displaystyle= μ(sun0+𝒆1(NUt11κ1us10)+𝒆2(NUt21κ2us20))\displaystyle\mu\left(\nabla_{s}u_{n0}+\bm{e}_{1}(\partial_{N}U_{t11}-\kappa_{1}u_{s10})+\bm{e}_{2}(\partial_{N}U_{t21}-\kappa_{2}u_{s20})\right)
+(P1ϵP0+2μnvp|S)𝒏+O(ϵ),\displaystyle+\,(\,-\frac{P_{-1}}{\epsilon}-P_{0}+2\mu\partial_{n}v_{p}|_{S})\,\bm{n}+O(\epsilon)\,,

where the first relation is exact and the second relation is found by expansion of variables within the Debye layers. The electrostatic stress is given in coordinate-free form by the second of relations (2.35), and its expression in the intrinsic frame on n=0n=0 was developed at equations (7.8) and (7.9). The interfacial traction is given by

νϵ𝑻M𝒏\displaystyle\nu\epsilon\,\bm{T}_{M}\cdot\bm{n} =\displaystyle= νϵε(12(nϕ2|sϕ|2)𝒏+nϕsϕ)\displaystyle\nu\epsilon\,\varepsilon\left(\frac{1}{2}(\partial_{n}\phi^{2}-|\nabla_{s}\phi|^{2})\,\bm{n}+\partial_{n}\phi\nabla_{s}\phi\right) (B.4)
=\displaystyle= νε((NΦ0)22ϵ+NΦ0NΦ1)𝒏+νεNΦ0sΦ0+O(ϵ),\displaystyle\nu\varepsilon\left(\frac{(\partial_{N}\Phi_{0})^{2}}{2\epsilon}+\partial_{N}\Phi_{0}\partial_{N}\Phi_{1}\right)\bm{n}+\nu\varepsilon\partial_{N}\Phi_{0}\nabla_{s}\Phi_{0}+O(\epsilon)\,,

where the terms in sϕ\nabla_{s}\phi that vanish in the jump condition for a drop have been kept.

The Normal Component. When the jump operator is applied, the O(ϵ1)O(\epsilon^{-1}) terms of the tractions are found to cancel, via equation (5.32), and when the expression (5.33) for P0P_{0} is used integrals appear that give the quantity Θ\Theta defined at (A.10); see also (A.11). The normal component of the stress-balance boundary condition is

2(κ1+κ2)νΘ[p0]SS++2(μ2μ1)nvp|S=𝝉𝒏,2(\kappa_{1}+\kappa_{2})\nu\Theta-[p_{0}]^{S_{+}}_{S_{-}}+2(\mu_{2}-\mu_{1})\partial_{n}v_{p}|_{S}=\bm{\tau}\cdot\bm{n}\,, (B.5)

where the interface stress 𝝉\bm{\tau} for a drop or vesicle is given by (B.2).

The Tangential Component. First, we form the shear stress term μNUt11\mu\partial_{N}U_{t11} by differentiating equation (5.35) to find that, since Nη0=NΦ0\partial_{N}\eta_{0}=\partial_{N}\Phi_{0},

μNUt11=νεNΦ0(1a1ξ1ϕ0|S±tanhη041a1ξ1lnc0|S±)+μnu10|S±\mu\partial_{N}U_{t11}=-\nu\varepsilon\partial_{N}\Phi_{0}\left(\frac{1}{a_{1}}\partial_{\xi_{1}}\!\phi_{0}|_{S_{\pm}}-\tanh\frac{\eta_{0}}{4}\,\frac{1}{a_{1}}\partial_{\xi_{1}}\!\!\ln c_{0}|_{S_{\pm}}\right)+\mu\partial_{n}u_{10}|_{S_{\pm}} (B.6)

in the Debye layers. A similar expression holds for μNUt21\mu\partial_{N}U_{t21}. Note that a factor εNΦ0\varepsilon\partial_{N}\Phi_{0} premultiplies the NN-dependent contribution from within the layers, and when the jump operator is applied across the interface at n=0n=0 this factor is continuous, per the jump conditions of no monopole charge at (2.31) for a drop and (2.39) for a vesicle. We choose to express the factor in the limit that the interface is approached from the exterior Ω2\Omega_{2}, or on Ω2\partial\Omega_{2}, although the choice is arbitrary, and evaluation is found from (5.12).

The electrostatic stress as evaluated at (B.4) has a tangential component given by νεNΦ0sΦ0\nu\varepsilon\partial_{N}\Phi_{0}\nabla_{s}\Phi_{0}. Here the factor εNΦ0\varepsilon\partial_{N}\Phi_{0} that has just been noted as continuous across SS appears again, multiplied by sΦ0\nabla_{s}\Phi_{0}. We noted earlier that for a drop, the boundary condition at (2.31) that the potential is continuous, or [ϕ]=0[\phi]=0, implies that [sΦ0]=0[\nabla_{s}\Phi_{0}]=0, so that, when the jump is formed, there is seen to be no tangential electrostatic stress exerted on the drop’s interface. However, for a vesicle there is a nonzero jump and electrostatic stress component that can be expressed as νε2NΦ0|Ω2[sΦ0]\nu\varepsilon_{2}\partial_{N}\Phi_{0}|_{\partial\Omega_{2}}[\nabla_{s}\Phi_{0}]. This can be combined with the quantity νε2NΦ0|Ω2[sϕ0]SS+-\nu\varepsilon_{2}\partial_{N}\Phi_{0}|_{\partial\Omega_{2}}[\nabla_{s}\phi_{0}]^{S_{+}}_{S_{-}}, which is implied by (B.6) and its companion μNUt21\mu\partial_{N}U_{t21}, to give a term for a vesicle that is proportional to the jump [sζ0]SS+[\nabla_{s}\zeta_{0}]^{S_{+}}_{S_{-}} in the ζ\zeta-potentials. For a drop, however, the analogous term is proportional to the jump [sϕ0]SS+[\nabla_{s}\phi_{0}]^{S_{+}}_{S_{-}} in the outer potentials with a change of sign.

Piecing these results together with the interface stress τ\tau given by (B.3), we have the tangential component of the stress-balance boundary condition for a drop given by

(μ2μ1){sun0(κ1us10𝒆1+κ2us20𝒆2)}+[μ(nu10𝒆1+nu20𝒆2)]SS+\displaystyle(\mu_{2}-\mu_{1})\left\{\nabla_{s}u_{n0}-(\kappa_{1}u_{s10}\bm{e}_{1}+\kappa_{2}u_{s20}\bm{e}_{2})\right\}+\left[\mu(\partial_{n}u_{10}\bm{e}_{1}+\partial_{n}u_{20}\bm{e}_{2})\right]^{S_{+}}_{S_{-}}
+2ν(ε2c0|S+)sinhζ0+2[sϕ0tanhζ04slnc0]SS+=0.\displaystyle+2\nu\surd({\varepsilon_{2}c_{0}|_{S_{+}}})\sinh\frac{\zeta_{0+}}{2}\left[\nabla_{s}\phi_{0}-\tanh\frac{\zeta_{0}}{4}\,\nabla_{s}\!\ln c_{0}\right]^{S_{+}}_{S_{-}}=0\,.\hskip 14.22636pt (B.7)

The analogous expression for a vesicle is

(μ2μ1){sun0(κ1us10𝒆1+κ2us20𝒆2)}+[μ(nu10𝒆1+nu20𝒆2)]SS+\displaystyle(\mu_{2}-\mu_{1})\left\{\nabla_{s}u_{n0}-(\kappa_{1}u_{s10}\bm{e}_{1}+\kappa_{2}u_{s20}\bm{e}_{2})\right\}+\left[\mu(\partial_{n}u_{10}\bm{e}_{1}+\partial_{n}u_{20}\bm{e}_{2})\right]^{S_{+}}_{S_{-}}
2ν(ε2c0|S+)sinhζ0+2[sζ0+tanhζ04slnc0]SS+=sσ.\displaystyle-2\nu\surd({\varepsilon_{2}c_{0}|_{S_{+}}})\sinh\frac{\zeta_{0+}}{2}\left[\nabla_{s}\zeta_{0}+\tanh\frac{\zeta_{0}}{4}\,\nabla_{s}\!\ln c_{0}\right]^{S_{+}}_{S_{-}}=-\nabla_{s}\sigma\,.\hskip 5.69054pt (B.8)

References

  • [1] H. Helmholtz. Ueber einige gesetze der vertheilung elektrischer Ströme in körperlichen leitern mit anwendung auf die thierisch-elektrischen versuche. Annalen der Physik und Chemie, 165: 211-233, 1853.
  • [2] G. Gouy. Sur la constitution de la charge électrique à la surface d’un électrolyte. J. Phys. Radium, 9: 457-468, 1910.
  • [3] D. L. Chapman. A contribution to the theory of eltroencapillarity. Phil. Mag, 25: 475-481, 1913.
  • [4] W. B. Russel, D. A. Saville, and W. R. Schowalter. Colloidal Dispersions. Cambridge University Press, Cambridge, 1989.
  • [5] R. J. Hunter. Foundations of Colloid Science (Second Edition), Oxford University Press, Oxford, 2001.
  • [6] T. M. Squires and M. Z. Bazant. Induced-charge electro-osmosis. J. Fluid Mech., 509: 217-252, 2004.
  • [7] M. Z. Bazant and T. M. Squires. Induced-charge electrokinetic phenomena. Curr. Opin. Colloid Interface Sci., 15: 203-213, 2010.
  • [8] H. H. Girault. Electrochemistry at liquid-liquid interfaces. In A. J. Bard and C .G. Zoski, editors, Electroanalytical Chemistry, 23: 1-104, CRC Press, Boca Raton, 2010.
  • [9] F. Reymond, D. Fermin, H. J.  Lee, and H. H. Girault. Electrochemistry at liquid/liquid interfaces: methodology and potential applications. Electrochimica Acta, 45: 2647-2662, 2000.
  • [10] P. M. Vlahovska. Electrohydrodynamics of drops and vesicles. Annu. Rev. Fluid Mech., 51: 305-330, 2019.
  • [11] J. R. Melcher and G. I. Taylor. Electrohydrodynamics: a review of the role of interfacial shear stress. Annu. Rev. Fluid Mech., 1: 111-146, 1969.
  • [12] D. A. Saville. Electrohydrodynamics: the Taylor-Melcher leaky dielectric model. Annu. Rev. Fluid Mech., 29: 27-64, 1997.
  • [13] G. I. Taylor. Studies in electrohydrodynamics. I. The circulation produced in a drop by an electric field. Proc. Roy. Soc. Lond., A., 291: 159-166, 1966.
  • [14] O. Schnitzer and E. Yariv. The Taylor-Melcher leaky dielectric model as a macroscale electrokinetic description. J. Fluid Mech., 773:1-33, 2015.
  • [15] Y. Mori and Y.-N. Young. From electrodiffusion theory to the electrohydrodynamics of leaky dielectrics through the weak electrolyte limit. J. Fluid Mech., 855: 67-130, 2018.
  • [16] A. J. Pascall and T. M. Squires. Electrokinetics at liquid/liquid interfaces. J. Fluid Mech., 684: 163-191, 2011.
  • [17] E. K. Zholkovskij, J. H. Masliyah, and J. Czarnecki. An electrokinetic model of drop deformation in an electric field. J. Fluid Mech., 472: 1-27, 2002.
  • [18] Y. Mori, C. Liu, and R. S. Eisenberg. A model of electrodiffusion and osmotic water flow and its energetic structure. Physica D, 240: 1385-1852, 2011.
  • [19] P. M. Vlahovska, T. Podgorski, and C. Misbah. Vesicles and red blood cells in flow: From individual dynamics to rheology. Comptes Rendus Physique, 10: 775-789, 2009.
  • [20] U. Seifert. Fluid membranes in hydrodynamic flow fields: Formalism and an application to fluctuating quasispherical vesicles in shear flow. Eur. Phys. J. B, 8: 405-415, 1999.
  • [21] D. Barthès-Biesel. Modeling the motion of capsules in flow. Current Opinion in Colloid & Interface Science, 16: 3-12, 2011.
  • [22] W. Helfrich. Elastic properties of lipid bilayers - Theory and possible experiments. Z. Naturforsch., 28c: 693-703, 1973.
  • [23] G. K. Batchelor. An Introduction to Fluid Dynamics, Cambridge University Press, Cambridge, 2000.
  • [24] C. E. Weatherburn. Differential Geometry of Three Dimensions, Volume 1, Cambridge University Press, Cambridge, 1927 (Reissued 2016).
  • [25] M. R. Booty and M. Siegel. A hybrid numerical method for interfacial fluid flow with soluble surfactant. J. Comput. Phys., 229: 3864-3883, 2010.
  • [26] R. P. Atwater. Studies of two-phase flow with soluble surfactant, PhD thesis, New Jersey Institute of Technology, 2020.
  • [27] C. Pozrikidis. Boundary Integral and Singularity Methods for Linearized Viscous Flow, Cambridge University Press, Cambridge,1992.
  • [28] J. M. Rallison and A. Acrivos. A numerical study of the deformation and burst of a viscous drop in an extensional flow. J. Fluid Mech., 89:191-200, 1978.
  • [29] R. Kress. Linear Integral Equations, Springer, New York, 1999.
  • [30] R. S. Allan and S. G. Mason. Particle behaviour in shear and electric fields I. Deformation and burst of fluid drops. Proc. Roy. Soc. Lond., A., 267: 45-61, 1962.
  • [31] P. M. Vlahovska and R. S. Gracia. Dynamics of a viscous vesicle in linear flows. Phys. Rev. E, 75: 016313, 2007.
  • [32] J. T. Schwalbe, P. M. Vlahovska and M. J. Miksis. Vesicle electrohydrodynamics. Phys. Rev. E, 83: 046309, 2011.
  • [33] F. G. Woodhouse and R. E. Goldstein. Shear-driven circulation patterns in lipid membrane vesicles. J. Fluid Mech., 705: 165-175, 2012.