[go: up one dir, main page]

Next Article in Journal
Discrete Infomax Codes for Supervised Representation Learning
Next Article in Special Issue
Synchronization Transition of the Second-Order Kuramoto Model on Lattices
Previous Article in Journal
Molecular Weight Distribution Control for Polymerization Processes Based on the Moment-Generating Function
Previous Article in Special Issue
A Novel Dehumidification Strategy to Reduce Liquid Fraction and Condensation Loss in Steam Turbines
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Stochastic Density Functional Theory on Lane Formation in Electric-Field-Driven Ionic Mixtures: Flow-Kernel-Based Formulation

Laboratory of Statistical Physics, Kochi University of Technology, Tosa-Yamada, Kochi 782-8502, Japan
Entropy 2022, 24(4), 500; https://doi.org/10.3390/e24040500
Submission received: 21 January 2022 / Revised: 28 March 2022 / Accepted: 28 March 2022 / Published: 1 April 2022
(This article belongs to the Special Issue Non-equilibrium Phase Transitions)
Figure 1
<p>A schematic of the 2D primitive model of binary ionic mixture with a static electric field <math display="inline"><semantics> <mi mathvariant="bold-italic">E</mi> </semantics></math> applied in the <span class="html-italic">x</span>-direction. The <span class="html-italic">z</span>-valent cations and anions are modeled by equisized charged hard spheres of diameter <math display="inline"><semantics> <mi>σ</mi> </semantics></math> immersed in a dielectric medium with dielectric constant <math display="inline"><semantics> <mi>ϵ</mi> </semantics></math> at a temperature <span class="html-italic">T</span>.</p> ">
Figure 2
<p>A schematic of lane formation in a binary ionic mixture. The green and orange lanes represent aligned segregation bands of cations and anions, respectively. Correspondingly, the positive and negative signs seen on the lanes indicate that each lane is a mesoscopically charged object. The wavelengths, <math display="inline"><semantics> <msubsup> <mi>λ</mi> <mi>x</mi> <mo>∗</mo> </msubsup> </semantics></math> and <math display="inline"><semantics> <msubsup> <mi>λ</mi> <mi>y</mi> <mo>∗</mo> </msubsup> </semantics></math>, in <span class="html-italic">x</span>-and <span class="html-italic">y</span>-directions are related to wavenumbers as <math display="inline"><semantics> <mrow> <msubsup> <mi>λ</mi> <mi>x</mi> <mo>∗</mo> </msubsup> <mo>=</mo> <mn>2</mn> <mi>π</mi> <mo>/</mo> <msubsup> <mi>k</mi> <mi>x</mi> <mo>∗</mo> </msubsup> </mrow> </semantics></math> and <math display="inline"><semantics> <mrow> <msubsup> <mi>λ</mi> <mi>y</mi> <mo>∗</mo> </msubsup> <mo>=</mo> <mn>2</mn> <mi>π</mi> <mo>/</mo> <msubsup> <mi>k</mi> <mi>y</mi> <mo>∗</mo> </msubsup> </mrow> </semantics></math> (i.e., Equation (<a href="#FD58-entropy-24-00500" class="html-disp-formula">A17</a>)), respectively. In this study, these wavenumbers are determined by Equations (<a href="#FD32-entropy-24-00500" class="html-disp-formula">34</a>) and (<a href="#FD35-entropy-24-00500" class="html-disp-formula">37</a>) when considering point charges.</p> ">
Figure 3
<p>A schematic of the 3D primitive model in Cartesian coordinates illustrates a binary ionic mixture confined between two parallel plates. While the <span class="html-italic">y</span>-axis is perpendicular to these plates, the electric field is applied in the <span class="html-italic">x</span>-axis.</p> ">
Figure 4
<p>The real-space representation <math display="inline"><semantics> <mrow> <msubsup> <mi mathvariant="script">C</mi> <mrow> <mi>q</mi> <mi>q</mi> </mrow> <mi>st</mi> </msubsup> <mrow> <mo>(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </mrow> </semantics></math> of the charge-charge correlation function at <math display="inline"><semantics> <mrow> <mi>z</mi> <mi>E</mi> <mi>σ</mi> <mo>=</mo> <mn>1.0</mn> </mrow> </semantics></math> is shown using heat maps where the length scale is in units of diameter <math display="inline"><semantics> <mi>σ</mi> </semantics></math>. We obtain the real-space correlation function from performing the 2D inverse Fourier transform of <math display="inline"><semantics> <mrow> <msubsup> <mi mathvariant="script">C</mi> <mrow> <mi>q</mi> <mi>q</mi> </mrow> <mi>st</mi> </msubsup> <mrow> <mo>(</mo> <mi mathvariant="bold-italic">k</mi> <mo>)</mo> </mrow> <mo>/</mo> <mrow> <mo>(</mo> <mn>2</mn> <mover> <mi>n</mi> <mo>¯</mo> </mover> <mo>)</mo> </mrow> </mrow> </semantics></math> given by Equations (<a href="#FD22-entropy-24-00500" class="html-disp-formula">24</a>) and (<a href="#FD23-entropy-24-00500" class="html-disp-formula">25</a>). The remaining parameter set of <math display="inline"><semantics> <mrow> <mo>(</mo> <mover accent="true"> <mi mathvariant="script">E</mi> <mo>˜</mo> </mover> <mo>,</mo> <mspace width="0.166667em"/> <mover> <mi>κ</mi> <mo>¯</mo> </mover> <mi>σ</mi> <mo>,</mo> <mspace width="0.166667em"/> <mi>ϕ</mi> <mo>)</mo> </mrow> </semantics></math> is (<b>a</b>) <math display="inline"><semantics> <mrow> <mo>(</mo> <mn>0.484</mn> <mo>,</mo> <mspace width="0.166667em"/> <mn>1.55</mn> <mo>,</mo> <mspace width="0.166667em"/> <mn>0.05</mn> <mo>)</mo> </mrow> </semantics></math>, (<b>b</b>) <math display="inline"><semantics> <mrow> <mo>(</mo> <mn>0.484</mn> <mo>,</mo> <mspace width="0.166667em"/> <mn>1.62</mn> <mo>,</mo> <mspace width="0.166667em"/> <mn>0.055</mn> <mo>)</mo> </mrow> </semantics></math>, (<b>c</b>) <math display="inline"><semantics> <mrow> <mo>(</mo> <mn>0.0</mn> <mo>,</mo> <mspace width="0.166667em"/> <mn>1.55</mn> <mo>,</mo> <mspace width="0.166667em"/> <mn>0.05</mn> <mo>)</mo> </mrow> </semantics></math>, and (<b>d</b>) <math display="inline"><semantics> <mrow> <mo>(</mo> <mn>0.0</mn> <mo>,</mo> <mspace width="0.166667em"/> <mn>1.62</mn> <mo>,</mo> <mspace width="0.166667em"/> <mn>0.055</mn> <mo>)</mo> </mrow> </semantics></math>.</p> ">
Figure A1
<p>Schematics of the electrophoresis-induced shear. It is found from the schematic on the right that the shear rate <math display="inline"><semantics> <mover accent="true"> <mi>γ</mi> <mo>˙</mo> </mover> </semantics></math> induced by cations (or cation-driven-shear rate) is evaluated as <math display="inline"><semantics> <mrow> <mover accent="true"> <mi>γ</mi> <mo>˙</mo> </mover> <mo>∼</mo> <mi mathvariant="script">D</mi> <mi>z</mi> <mi>E</mi> <mo>/</mo> <mi>R</mi> </mrow> </semantics></math> when oppositely charged colloids with their effective diameter of <span class="html-italic">R</span> pass each other.</p> ">
Figure A2
<p>Schematics of advection velocities with fluctuating flows in the <span class="html-italic">y</span>-direction. We can consider four cases of the fluctuating velocities generated under (<b>a</b>) the cation-driven-shear and (<b>b</b>) the anion-driven-shear.</p> ">
Review Reports Versions Notes

Abstract

:
Simulation and experimental studies have demonstrated non-equilibrium ordering in driven colloidal suspensions: with increasing driving force, a uniform colloidal mixture transforms into a locally demixed state characterized by the lane formation or the emergence of strongly anisotropic stripe-like domains. Theoretically, we have found that a linear stability analysis of density dynamics can explain the non-equilibrium ordering by adding a non-trivial advection term. This advection arises from fluctuating flows due to non-Coulombic interactions associated with oppositely driven migrations. Recent studies based on the dynamical density functional theory (DFT) without multiplicative noise have introduced the flow kernel for providing a general description of the fluctuating velocity. Here, we assess and extend the above deterministic DFT by treating electric-field-driven binary ionic mixtures as the primitive model. First, we develop the stochastic DFT with multiplicative noise for the laning phenomena. The stochastic DFT considering the fluctuating flows allows us to determine correlation functions in a steady state. In particular, asymptotic analysis on the stationary charge-charge correlation function reveals that the above dispersion relation for linear stability analysis is equivalent to the pole equation for determining the oscillatory wavelength of charge–charge correlations. Next, the appearance of stripe-like domains is demonstrated not only by using the pole equation but also by performing the 2D inverse Fourier transform of the charge–charge correlation function without the premise of anisotropic homogeneity in the electric field direction.

1. Introduction

Many industrial processes involve the transport of colloidal particles under external fields. For example, particles are driven by stirring or shearing, whereas other typical driving forces arise from gravity and an external electric field. The response of particles to the driving forces is a subject of considerable practical interest. In particular, electric-field-driven particles, with which we are concerned in this paper, play significant roles in biological ion channels, micro/nanofluidic devices for environmental and biomedical applications, and electrolyte-immersed porous electrodes for electrochemical applications [1,2,3]. We consider binary mixtures of symmetric ions under external electric fields as the electric-field-driven particles, which include not only oppositely charged colloidal mixtures but also electrolytes and room-temperature ionic liquids. Recently, the binary ionic mixtures under external fields are increasingly attracting much attention due to their diverse applications not only in chemistry and biology [1] but also in renewable energy devices such as batteries, supercapacitors, and separation media [3].
The driven binary mixtures, in which two populations of particles are driven in opposite directions, undergo an out-of-equilibrium transition [4,5,6,7,8,9,10,11,12,13,14,15,16,17,18]. For example, colloidal particles driven by a strong external field self-organize into strongly anisotropic stripe-like or layered structures (i.e., lanes), thereby representing a prototype of nonequilibrium phase transition [4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19]. The underlying mechanism of lane formation has been ascribed to the competition between thermodynamic tendency to mix binary colloids and kinetic preference to segregate colloids of the same kind for reducing collisions due to oppositely driven migrations [4,5,6,7,8,9,10]. Experimental and simulation studies have demonstrated that driven colloids provide a testbed for pattern formation occurring in many nonequilibrium systems; for the driven binary mixtures cover a variety of driven systems ranging from colloidal suspensions and electrolytes to active matter composed of autonomously moving agents such as pedestrians [4,5].
Experimental and simulation studies have also observed the band formation of like-charged colloidal particles, other than laning [11,12,13,14,15,16]. The bands are aligned in a direction non-parallel to the applied field direction and lead to a jammed state where the particles block each other’s motion. We have thus obtained dynamic phase diagrams of steady states of laned, jammed, and mixed structures formed by oppositely charged particles under a DC or AC electric field [5,6,7,8,9,10,11,12,13,14,15,16]. Especially under oscillatory electric field, laning generally occurs for a high enough field strength and a low oscillation frequency, whereas jammed and other non-laned structures emerge depending on the magnitude of the driving field and its oscillatory frequency [11,16]. The key observables to detect the emergence of such various structures in steady states are correlation functions; however, there are a few studies of electric-field-driven systems based on the correlation function analysis [20,21,22], and no attempts to address lane formation have been made. To perform the correlation function analysis, the stochastic density functional theory (DFT) [22,23,24,25,26,27,28,29,30,31,32,33] for lane formation needs to be developed.
Let us then provide a brief review on the dynamical density functional theory (DFT) developed to describe the overdamped dynamics of Brownian particles [23]. The dynamical DFT can treat a background flow by adding an advection term; however, an additional contribution needs to be included based on phenomenological arguments [9,10,17,18,19] for explaining the lane formation irrespective of whether the density functional equation used is deterministic or stochastic. The phenomenological term added to the dynamical density functional equation considers fluctuating motions around an external-field-driven migration of a particle when neglecting other particles [9,10,17,18,19]. There are two ways to add the fluctuating flow in an advection term. One method developed for sheared colloidal suspensions adds a particle-induced fluctuation flow to the velocity field [17,18,19]. A flow kernel [17,18,19,34,35,36,37,38] introduced in this approach allows us to treat non-local effects due to density fluctuations. The other treatment provides fluctuating currents transverse to the electric field for explaining the lane formation in oppositely charged colloids under external electric fields [9,10]. Both contributions capture the coupling between flow and interparticle interactions.
The above modifications for the description of lane formation belong to the deterministic DFT. An alternative approach to the dynamical DFT adopts the density functional equation with multiplicative noise, the so-called Dean–Kawasaki (DK) equation [23]. Recently, the stochastic DFT has found the usefulness of the DK equation linearized around a reference density [22,23,24,25,26,27,28,29,30,31,32,33]. The linearized DK equation allows us to compute correlation functions for density and charge fluctuations around uniform states. It is found from the correlation function analysis that density-density and charge-charge correlations are long-range correlated in the steady state [20,27,28]. The asymptotic decay of the stationary correlation functions exhibits a power-law behavior with a dipolar character, which gives rise to a long-range fluctuation-induced force acting on uncharged confining plates [27,28].
This paper aims to develop the stochastic DFT for explaining the lane formation of binary ionic mixtures. The electric-field-driven ionic mixtures are treated as the primitive model [1], implying that we consider non-equilibrium phenomena of either symmetric electrolytes or ionic liquids, rather than colloidal mixtures. The remainder of this paper is organized as follows. Section 2 provides the basic formalism for electric-field-driven binary ionic mixtures based on the deterministic and stochastic DFTs. In Section 3, we describe the purposes of reformulating and extending the previous formulation for lane formation. Furthermore, the remaining sections serve the two purposes. In Section 4, we revisit the linear stability analysis for lane formation based on the deterministic DFT [9,10,17,18], thereby unifying previous formulations of the above additional contributions due to fluctuating flows (the first purpose). Section 5 provides the stochastic DFT for lane formation. We obtain the Fourier transforms of correlation functions from the stochastic equations, thereby demonstrating that the charge-charge correlation function verifies the stability of lane structure both analytically and numerically (the second purpose). Section 6 presents a summary and conclusions.

2. Basic Formalism

2.1. Primitive Model

We consider a binary ionic mixture of cations and anions which have equal size and equal but opposite charge using the primitive model [1]. In this model, the z-valent ions in symmetric mixtures are modeled by equisized charged hard spheres of diameter σ immersed in a structureless and uniform dielectric medium with dielectric constant ϵ at a temperature T. The charged spheres interact via pairwise potential v l m ( r ) ( l , m = 1 , 2 ) where v 11 ( r ) , v 12 ( r ) , and v 22 ( r ) denote cation–cation, cation–anion, and anion–anion interaction potentials at a separation of r = | r | , respectively. Figure 1 presents a schematic of the 2D primitive model in Cartesian coordinates, illustrating that the electrophoretic force z E k B T is exerted on a single ion due to normalized electric field E = E e x applied in the x-direction parallel to the unit vector e x .
It is noted that this paper defines all of the energetic quantities, including the above interaction potentials, in units of k B T . Correspondingly, the unit of z E σ , an energetic measure of electric field strength, is k B T , and the interaction potential v l m ( r ) is represented by
v l m ( r ) = ( r < σ ) ( 1 ) l + m z 2 l B ln σ / r ( r σ ) ,
using the Bjerrum length l B = e 2 / ( 4 π ϵ k B T ) , the length at which the bare Coulomb interaction between two monovalent ions is exactly k B T .
The dynamical density functional theories focus on instantaneous concentrations n l ( r , t ) of cations ( l = 1 ) and anions ( l = 2 ) which vary depending on a time t as well as a position r . Here we also use the density vector N ( r , t ) defined by
N ( r , t ) = ρ ( r , t ) q ( r , t ) = n 1 ( r , t ) + n 2 ( r , t ) n 1 ( r , t ) n 2 ( r , t ) .
While ρ ( r , t ) represents the number density of ions and is equal to 2 n ¯ in average, z e q ( r , t ) corresponds to the charge density whose average vanishes.

2.2. Stochastic Dft: Compact Matrix Forms

The stochastic DFT is based on the formulation that adds multiplicative noise term to the deterministic density functional Equations (A1) previously used [22,23,24,25,26,27,28,29,30,31,32,33]. Therefore, the basic formalism of the stochastic DFT presented below inherits the formulation of the deterministic DFT given in Appendix A. In the stochastic DFT, the conservation equation reads
t n l ( r , t ) + · v l ( r , t ) n l ( r , t ) = · J l μ ( r , t ) + J l ζ ( r , t ) ,
where the deterministic current J l μ ( r , t ) is expressed by Equation (A2) using the direct correlation function (DCF) c l m ( r r ) between the l-th and m-th ions, and the stochastic density current J l ζ ( r , t ) is expressed as
J l ζ ( r , t ) = 2 D n l ( r , t ) ζ ( r , t ) ,
using uncorrelated Gaussian noise fields ζ ( r , t ) characterized by
ζ ( r , t ) ζ ( r , t ) T ζ = δ ( r r ) δ ( t t ) ,
with the subscript “ ζ ” representing the Gaussian noise averaging in space and time.
We provide a compact matrix form of the stochastic equation with respect to N ( r , t ) through three steps as follows: (i) we obtain stochastic currents of ρ ( r , t ) and q ( r , t ) from Equations (A2), (A3) and (4), (ii) we write down a matrix form without external field, and (iii) we have the target equation of N -dynamics by adding the advection terms formulated from Equations (A6) and (A7).
First, we consider the relations (A4) and (A5) for the DCF, thereby transforming the sum of Equations (4) and (A2) with Equation (A3) to the linearized current as follows:
J ρ ( r , t ) J q ( r , t ) = J 1 ( r , t ) + J 2 ( r , t ) J 1 ( r , t ) J 2 ( r , t )
= D ρ ( r , t ) 2 n ¯ d 2 r c S ( r r ) δ ρ ( r , t ) q ( r , t ) 2 n ¯ d 2 r c ( r r ) q ( r , t ) 4 D n ¯ ζ ( r , t ) ζ ( r , t ) ,
where c S ( r ) denotes the short-range part of the DCF (see also Equation (A4)), δ ρ ( r , t ) = ν 1 ( r , t ) + ν 2 ( r , t ) with ν l ( r , t ) = n l ( r , t ) n ¯ ( l = 1 or 2), and ζ ( r , t ) satisfies the same statistics as the relation (5) for ζ ( r , t ) .
Second, we rewrite Equation (3) into a compact matrix form,
t N ( k , t ) = D K 0 ( k ) N ( k , t ) + 4 D n ¯ η ( k ) ,
using
η ( r , t ) = · ζ ( r , t ) · ζ ( r , t ) ,
and
K 0 ( k ) = k 2 1 2 n ¯ c S ( k , t ) 0 0 k 2 1 2 n ¯ c ( k , t ) + O [ ν l ] .
The matrix K 0 determines restoring forces in the absence of external field ( E = 0 ).
Third, we suppose that a fluctuating part ( 1 ) l 1 v fl ( r , t ) of v l ( r , t ) appears only in the y-direction, according to the previous treatments [9,10,17,18]. It follows from Equation (A6) that
· n l ( r , t ) v l ( r , t ) = ( 1 ) l 1 D z E x n l ( r , t ) + n ¯ y v fl ( r , t ) + O [ ν l ] ,
yielding
· n 1 ( r , t ) v 1 ( r , t ) + n 2 ( r , t ) v 2 ( r , t ) · n 1 ( r , t ) v 1 ( r , t ) n 2 ( r , t ) v 2 ( r , t ) = D z E x q ( r , t ) D z E x ρ ( r , t ) + 2 n ¯ y v fl ( r , t ) .
It is also noted that the Fourier transform of v fl ( r , t ) reads
v fl ( k , t ) = G y ( k ) q ( k , t ) , G y ( k ) = d 2 r G y ( r ) e i k · r = i d 2 r G y ( r ) sin k · r
= i a ( k ) ,
where we have used in the second line that the flow kernel G y ( r ) is an odd function satisfying d 2 r G y ( r ) = 0 where we have used in the second line that the flow kernel G y ( r ) is an odd function satisfying d 2 r G y ( r ) = 0 [17,18]. Combining Equations (8) to (14), we find the advected form of stochastic equation for N ( r , t ) under external electric field as follows:
t N ( k , t ) = D K ( k ) N ( k , t ) + 4 D n ¯ η ( k ) ,
where the matrix K ( k ) is given by
K ( k ) = K 0 ( k ) + K v ( k ) ,
adding the advection matrix,
K v ( k ) = 0 i k x z E i k x z E 2 D E ˜ k y 2 ,
with a new parameter a ( k ) = D k y E ˜ being introduced (see Equations (A11)–(A16) for details). Equation (15) including the above advection term is expected to form the basis of the stochastic DFT that is capable of addressing the lane formation.

3. Our Aim

In what follows, we assess and extend the deterministic DFT on lane formation in binary ionic mixtures with external electric fields applied. There are three reasons for revisiting the deterministic approaches. First, it is necessary to clarify the consistency between previous formulations. We have introduced the flow kernel in Equation (A7) to describe a fluctuating velocity; however, this treatment has applied to one-component systems, sheared colloidal suspensions [17,18]. Therefore, the flow-kernel-based formulation for electric-field-driven mixtures needs to be developed. Second, the linear stability analysis [9,10,17,18] based on the dispersion relation (see Appendix B) has supposed that wavenumber is a real value, though wavenumber is a complex value in general [39,40,41,42]. It remains to be investigated to make the linear stability analysis while considering the imaginary part of wavenumber that determines the decay length of spatial modulation. The last reason is that the stochastic DFT, an extension of the deterministic DFT, makes it possible to investigate the mechanism of lane formation from density-density and charge-charge correlations.
Thus, we aim to obtain the correlation functions from the stochastic DFT for achieving the following two purposes.
(i) Relationship between the deterministic and stochastic DFTs—The first purpose is to understand the above dispersion relations in terms of the charge-charge correlation function. We will reveal the connection between those used in the deterministic DFT and the pole equation to find the oscillatory wavelength of charge-charge correlations.
(ii) On the uniformity of lanes in terms of correlation function analysis based on the stochastic DFT—The second purpose is to validate the approximation necessary to explain lane formation using the linear stability analysis [9,10,17,18]. Previous studies on lane phenomena have neglected the charge density modulation of the x-direction. In other words, k x = 0 has been assumed when investigating the charge density modulation in the transverse direction to the electric field. The correlation function analysis allows for the investigation of oscillatory decay behaviors such as the oscillatory wavelength ( λ x ) along the electric field. Figure 2 is a schematic of this, which illustrates the emergence of the charge modulation, or the oscillatory charge-charge correlation due to the lane formation. We perform both the asymptotic analysis of charge–charge correlations for point charges (i.e., the primitive model at σ = 0 ) and the 2D inverse Fourier transform of the stationary charge–charge correlation function for charged hard spheres (i.e., the primitive model for σ 0 ). While the asymptotic analysis will prove that λ x diverges at the stabilization condition of lane structure, the real-space representation of the charge–charge correlation function will clarify the decay of oscillatory correlations in lane structures as a result of the inverse Fourier transform.

4. Correlation Functions Determined by the Stochastic Dft

4.1. Stationary Condition of Correlation Functions

The stochastic formulation allows us to provide the Fourier transforms of correlation functions for ρ ( r , t ) and q ( r , t ) at equal times [20,22,26,27,28,29]. These correlation functions are defined using N ( k , t ) as
C ( k , t ) = N ( k , t ) N ( k , t ) T ζ = ρ ( k ) ρ ( k , t ) ζ q ( k ) ρ ( k , t ) ζ ρ ( k ) q ( k , t ) ζ q ( k ) q ( k , t ) ζ = C ρ ρ ( k , t ) C q ρ ( k , t ) C ρ q ( k , t ) C q q ( k , t ) .
The compact form (8) of the stochastic equation for N ( k , t ) is solved to obtain [20,25,26,27,28,29]
N ( k , t ) = t d s e D K ( k ) ( t s ) 4 D n ¯ η ( k ) ,
where Equations (5) and (9) provide
η ( k , t ) η ( k , t ) T = ( 2 π ) 2 k 2 δ ( t t ) 0 0 k 2 δ ( t t ) .
Plugging Equations (19) and (20) into the definition (18), we have
C ( k , t ) = t d s d s e D K ( t s ) D R e D K ( t s ) ,
where it follows from the relation (20) that
R ( k ) = ( 2 π ) 2 4 n ¯ k 2 0 0 4 n ¯ k 2 .
It has been shown that the stationary condition d C ( k , t ) / d t = 0 for the expression (21) reads [20,22,26,27,28,29]
K C + C K = R .
The four matrix elements of C , or the four kinds of correlation functions in Equation (18), can be determined by four simultaneous equations generated from the above stationary condition (21) (see Appendix C for details).

4.2. Obtained Forms of Stationary Correlation Functions

As derived in Appendix C, Equation (23) yields the density–density and charge–charge correlation functions at equal times, C ρ ρ st ( k ) and C q q st ( k ) , as follows:
1 ( 2 π ) 2 C ρ ρ st ( k ) C q q st ( k ) = 2 n ¯ k 2 ( α + β ) ( α β + γ 2 ) β ( α + β ) + γ 2 γ 2 γ 2 α ( α + β ) + γ 2 1 1 ,
where
α = k 2 1 2 n ¯ c S ( k , t ) , β = 2 E ˜ k y 2 + β 0 , γ = k x z E ,
using β 0 = k 2 / S ( k ) = k 2 1 2 n ¯ c ( k , t ) . In what follows, two limiting cases are considered for C ρ ρ st ( k ) and C q q st ( k ) : (i) we confirm that these converge to the equilibrium correlation functions of electrolytes at E = 0 and σ = 0 , and (ii) we see the dispersion relation given by Equation (A15) in terms of the stationary correlation functions at k x = 0 , according to the approximation (A9).
Before proceeding, we need to connect the long-range part c L ( r r ) of the DCF and the Coulomb potential ψ ( r to provide the Poisson-like equation and the Debye–Hückel screening length. In general, c L ( k ) is expressed as
c L ( k ) = 4 π z 2 l B k 2 ω ( k ) ,
using the weight function ω ( k ) . For instance, ω ( k ) = cos ( k σ ) with k = | k | is a well-known form of the 3D primitive model [26,39,40]. Thus, the Poisson equation is generalized to the finite-spread type [43,44]:
2 ψ ( r , t ) = 4 π z 2 l B d 2 r ω ( r r ) q ( r , t ) ,
when defining the Coulomb potential ψ ( r , t ) as
ψ ( r , t ) = d 2 r c L ( r r ) q ( r , t ) .
It follows that
k 2 1 2 n ¯ c L ( k ) q ( k , t ) = k 2 + κ ¯ 2 ω ( k ) q ( k , t ) ,
where
κ ¯ 2 = 8 π l B z 2 n ¯
with κ ¯ 1 denoting the conventional Debye–Hückel screening length.
First, we consider equilibrium electrolytes. Since we have γ = 0 and E ˜ = 0 at E = 0 , Equation (24) is reduced to
1 ( 2 π ) 2 lim E 0 C ρ ρ st ( k ) C q q st ( k ) = 2 n ¯ k 2 1 / α 1 / β 0 .
We also have c S ( k ) = 0 , ω ( k ) = 1 , and β 0 = k 2 + κ ¯ 2 at σ = 0 . Hence Equation (31) reads
1 ( 2 π ) 2 lim E , σ 0 C ρ ρ st ( k ) C q q st ( k ) = 2 n ¯ 1 k 2 / ( k 2 + κ ¯ 2 ) ,
thereby confirming that the charge–charge correlation function lim E , σ 0 C q q st ( r ) satisfies not only the electroneutrality but also the Stillinger–Lovett second-moment condition [27,28,29].

5. Lane Formation in Terms of Charge–Charge Correlation Function

5.1. Asymptotic Behavior of Charge–Charge Correlations

The lane formation has been investigated for k x = 0 , according to previous studies on lane formation. This implies that the density modulation along the electric field (or the x–direction) at a given y–coordinate is negligible. Equation (24) at k x = 0 transforms to
1 ( 2 π ) 2 lim k x 0 C ρ ρ st ( k ) C q q st ( k ) = 2 n ¯ k y 2 1 / α 1 / β ,
with k 2 being replaced by k y 2 in Equation (25). Focusing on the pole equation (i.e., β = 0 ) for C q q st ( k ) , we have
0 = 2 E ˜ k y σ 2 + k y σ 2 1 2 n ¯ c ( k y , t ) .
It is noted that the above Equation (34) is identified with the key equation previously used for determining the mean wavelength λ y of lanes, which has been referred to as the dispersion relation (A15) at ω ˜ = 0 in terms of the linear stability analysis [9,10,17,18] (see Appendix B).
The advantage over the linear stability analysis is that the pole Equation (34) provides the long-range behavior of density profile, or the decay length and oscillatory wavelength in the asymptotic decay of charge–charge correlation function [39,40,41,42]. In particular, the correlation function analysis ensures the stability of steady-state lane structure only when a solution to Equation (34) has a purely real wavenumber k y , which is the case with the above linear stability analysis.
Furthermore, the asymptotic decay analysis of charge–charge correlations allows us to validate the supposition of uniformity along the electric field (or k x = 0 ) in the anisotropic lane structure as given in Figure 2. To assess the validity of k x = 0 , we evaluate the inverse Fourier transform of stationary charge–charge correlation function C q q st ( k ) as follows:
1 2 π C q q st ( x , k y ) = 1 2 π 1 2 π d k x e i k x x C q q st ( k ) .
We evaluate this inverse Fourier transform using the approximate form of C q q st ( k ) for k x κ ¯ 1 1 and σ = 0 . The denominator given in Equation (24) is approximated by
( α + β ) ( α β + γ 2 ) = ( 2 2 E ˜ ) k y 2 + κ ¯ 2 k x 2 + k y 2 ( 1 2 E ˜ ) k y 2 + κ ¯ 2 + z E k x 2 .
Therefore, the pole equation α β + γ 2 = 0 for k x yields
k x = k y ( 2 E ˜ 1 ) k y 2 κ ¯ 2 1 z 2 E 2 κ ¯ 2 ( 2 E ˜ 1 ) k y 2 κ ¯ 2 + 1 ,
providing the wavelength λ x = 2 π / k x when k x is a purely real value for z E κ ¯ 1 > 1 , E ˜ z E σ (see Equation (A16)), and k y κ ¯ 1 < 1 .
The asymptotic analysis allows us to provide the long-range oscillatory behavior of C q q st ( x , k y ) as follows:
C q q st ( x , k y ) cos 2 π x λ x ( k y ) + δ .
It should be noted that the pole Equation (34) for k y reads
0 = 2 E ˜ k y σ 2 k y σ 2 + κ ¯ σ 2
in the present case. We obtain from Equation (39)
λ y = 2 π k y = 2 π κ ¯ 1 2 E ˜ 1 .
Combining Equations (37) and (39), we also find
lim k y k y k x = 0 .
Namely, we have
lim k y k y λ x ( k y )
when forming the lane structure with its period of λ y = 2 π / k y . Thus, it is verified analytically that each lane is uniform along the electric field the present approximation (A9) as far as point charges ( σ = 0 ) are considered.
The expression (40) of λ y , or the lane width, reveals the underlying physics of lane formation. Each lane has the energetic cost of Coulomb repulsions due to clustering of either cations or anions, which explains why lanes can be wider as κ ¯ 1 is shorter and the screening of Coulomb interactions is stronger. Despite this energetic cost, the lane formation is favored because collisions due to oppositely driven migrations are reduced by segregation of cations or anions. The kinetic preference is enhanced by increasing the strength of external field; accordingly, Equation (40) implies that the lane width is larger with increase of E ˜ .

5.2. Charge–Charge Correlations on 2D Cross Section of the 3D Primitive Model

The preceding subsection has analytically demonstrated that the dispersion relation based on the conventional linear stability analysis [9,10,17,18] is equivalent to the asymptotic decay analysis of the charge–charge correlation function. We have also verified that the dispersion relation applies to the emergence of a lane structure for point charges. Turning our attention to charged hard spheres of finite size, however, it remains to be validated whether we can neglect the decay of charge–charge correlations. At least, for the 3D primitive model in the absence of an electric field, theoretical and simulation studies have found that oscillatory decay of charge-charge correlations has been observed beyond the Kirkwood crossover condition [39,40,41,42]. In terms of the asymptotic decay analysis, the solution to the pole equation becomes complex at the Kirkwood crossover when considering the wavenumber-dependence of ω ( k ) , and the imaginary part of the solution represents the finite decay length of charge-charge correlations.
To investigated the oscillatory decay behavior in the presence of an external field, we examine the stationary charge–charge correlation function C q q st ( k ) concerning a 2D cross-section of the 3D primitive model. Figure 3 represents a schematic of the present 3D system. From Figure 3, we can see that the x y plane in Figure 1 corresponds to the cross-section formed by the x- and y-axes embedded in this 3D system. The advantage of considering the 3D primitive model is that we can use the analytical form of DCF: the long-range part is given by Equation (26) with
ω ( k ) = cos ( k σ ) ,
whereas the short-range part reads
c S ( k ) = 4 π σ k 2 cos ( k σ ) sin ( k σ ) k σ ,
in the modified mean spherical approximation [45]. Upon introducing the 3D volume fraction ϕ = π σ 3 n ¯ / 6 , Equations (26) and (44) transform Equation (25) to
α σ 2 = ( k σ ) 2 48 ϕ cos ( k σ ) sin ( k σ ) k σ
and
β σ 2 = 2 E ˜ ( k y σ ) 2 + ( k σ ) 2 + ( κ ¯ σ ) 2 ω ( k ) = 2 E ˜ ( k y σ ) 2 + ( k σ ) 2 + 48 ϕ z 2 l B σ ω ( k ) .
Therefore, under the simplification of z 2 l B / σ = 1 , the expressions (24), (25), (45) and (46) for C q q st ( k ) imply that the inverse Fourier transform of C q q st ( k ) depend on the three control parameters: z E σ , E ˜ , and ϕ .
Let the 3D wavevector be k = ( k x , k y , k z ) which has k z –component in addition to k x –and k y –components. However, we set k z = 0 , which leads to the consideration of charge-charge correlations averaged over the z–axis density distribution in Figure 3 [22]. Accordingly, we can perform the 2D inverse Fourier transform of C q q st ( k ) in the Cartesian coordinates similar to those given in Figure 1. Figure 4 shows some of the results. Figure 4a,b on the left side are the results considering the presence of v fl ( r , t ) with E ˜ = 0.484 . Meanwhile, Figure 4c,d on the right side ignore the fluctuating part with E ˜ = 0 . The other parameters are common to the results on the left and right sides. Namely, z E σ = 1 for all of the results in Figure 4, ϕ = 0.05 and κ ¯ σ = 1.55 in Figure 4a,c, and the concentration is increased by 10% in Figure 4b,d: the screening effect of Coulomb interactions is enhanced to κ ¯ σ = 1.62 due to ϕ = 0.055 in Figure 4b,d.
We can draw three conclusions from comparing the results in Figure 4.
First, Figure 4a,b verify the lane formation of binary ionic mixtures in terms of charge-charge correlations. Especially in Figure 4b, we observe no decay of correlations in the electric-field direction over the length scale of 10 times the diameter of charged hard spheres. The oscillatory charge-charge correlations demonstrate that each lane of the 3D primitive model can be homogeneous in the electric-field direction, which agrees with the analytical investigations in Section 5.1.
Second, comparison between Figure 4a,b suggests the underscreening behavior [39,40,41,42]. On the one hand, Figure 4a indicates that the stationary charge–charge correlation function converges to zero far from the origin of ( 0 , 0 ) , thereby illustrating an oscillatory decay behavior. In Figure 4b, on the other hand, we observe little change in the heat map color along the electric field direction. In other words, the purely oscillatory behavior, which is the premise of the linear stability analysis previously made, is demonstrated in Figure 4b. This change from Figure 4a to Figure 4b suggests that the decay length is longer as the volume fraction ϕ , or the ion concentration, increases similarly to the underscreening behavior in binary ionic mixtures with no electric field applied above the Kirkwood crossover where the equilibrium charge–charge correlation function exhibits oscillatory decays [39,40,41,42]. We have confirmed such underscreening behavior with an electric field applied.
Third, the difference between the results in Figure 4 on the left and right sides reveals that anisotropic oscillatory correlations, which reflect the lane formation, disappear in Figure 4c,d because of the absence of the fluctuating flow, v fl ( r , t ) , given by Equations (13) and (14). It is also important to note that the scale of the color bar on the right side is 10 2 times the scale on the left side. In other words, C q q st ( x , y ) is almost zero in Figure 4c,d. The weak charge–charge correlations imply that electric-field-driven binary ionic mixtures are uniform in the absence of the fluctuating flow which arises from collisions due to oppositely driven migrations of cations and anions.

6. Summary and Conclusions

The charge–charge correlation function studied so far can be detected using X-ray and/or neutron scattering experiments [46]. We would therefore like to evaluate experimental conditions that are consistent with the numerical results in Figure 4. For example, we consider ( z , ϵ , σ , l B ) = ( 1 , 65 , 0.8 nm , 0.86 nm ) as an room-temperature ionic diluted with propylene carbonate. It follows that z 2 l B / σ 1.1 in correspondence with the supposition that z 2 l B / σ = 1 in Figure 4. Also, the parameters, z E σ = 1.0 and ϕ = 0.05 (or κ ¯ σ = 1.55 ), used in Figure 4a read E 3.2 × 10 7 V/m and 0.31 M, respectively, for the room-temperature ionic liquid. These are plausible values according to previous simulation and experimental studies [47,48]; in particular, it is interesting to note that molecular dynamics simulations of room-temperature ionic liquids have revealed that E 10 7 V/m corresponds to a boundary value beyond which the ionic liquids are reorganized into nematic-like order and exhibit anisotropic dynamics [49].
Finally, we summarize the results presented so far, according to the two purposes mentioned in Section 3, the section of our aim.
(i) Relationship between the deterministic and stochastic DFTs—The wavenumber appearing in the dispersion relation (A12) can actually be a complex number. It is appropriate for understanding the underlying physics of the complex wavenumber to see correlation functions instead of the dispersion relation. Hence, we have addressed the first purpose using the stochastic DFT for lane formation, thereby allowing us to obtain density–density and charge–charge correlation functions in a steady state. We have demonstrated that the asymptotic analysis of the charge–charge correlation function is equivalent to the linear stability analysis based on the dispersion relation (see also Appendix B). Specifically, the pole equation used in the asymptotic analysis proved equivalent to the lane stability condition obtained from the dispersion relation. The analytical framework is thus available to find the presence or absence of decay length and oscillatory wavelength in the oscillatory decay of the correlation function. In other words, it became possible to examine the spatial stability of the lane formation more precisely.
(ii) On the uniformity of lanes in terms of correlation function analysis based on the stochastic DFT—We have obtained the Fourier transform of the stationary charge–charge correlation function C q q st ( k x , k y ) . Nevertheless, the previous treatments [9,10,17,18] have supposed that k x = 0 in advance prior to the inverse Fourier transform. The pole equation obtained from the correlation function at k x = 0 is an equation in which only k y is a variable, and it is equivalent to the linear stability condition determined from the dispersion relation, as described in the first purpose. Namely, in the previous treatments [9,10,17,18] described above, the presence or absence of lane formation is examined on the premise that the lane formation is uniform in the electric field direction. It is necessary to show the uniformity in the electric field direction itself without assuming the uniformity in the electric field direction. Therefore, we evaluated the Fourier transform of k x from the pole equation for point charge systems (i.e., σ = 0 ) where we have c S ( r ) = 0 and that ω ( k ) = 1 . In other words, we investigated the stability of lane formation with only Coulomb interaction at σ = 0 , showing that the oscillatory wavelength λ x diverges at k y = k y , or the solution to the pole equation given by Equations (34) or (39). Thus, the approximation has been validated analytically. Figure 4 also demonstrates numerically that, above the Kirkwood crossover [39,40,41,42], the oscillatory decay length observed for the 3D primitive model (i.e., σ 0 ) is longer with the increase of ion density n ¯ ; the underscreening behavior under external field applied remains to be investigated in more detail (see also [22]).

Funding

This research received no external funding.

Conflicts of Interest

The author declares no conflict of interest.

Appendix A. Deterministic Dft: Introduction of Flow Kernels

The advected form of dynamical DFT without multiplicative noise has been formulated to describe systems under a flow field [23]. Extending the expression previously used for sheared colloidal suspensions to that for binary ionic mixtures, we incorporate a flow field v l ( r , t ) experienced by a cation ( l = 1 ) or anion ( l = 2 ) into the deterministic density functional equations as follows:
t n l ( r , t ) + · v l ( r , t ) n l ( r , t ) = · J l μ ( r , t ) ,
where J l μ ( r , t ) denotes the current due to the gradient of chemical potential μ l [ n = ( n 1 , n 2 ) T ] and takes the following form:
J l μ ( r , t ) = D n l ( r , t ) μ l [ n ] ,
μ l [ n ] = ln n l ( r , t ) d 2 r m = 1 2 c l m ( r r ) ν m ( r , t ) .
The above expression (A3), which this study adopts, corresponds to the chemical potential obtained from the Ramakrishnan–Yussouf functional [24], a well-known form of free energy density functional. The primitive model allows us to separate the DCF into the short-range and long-range parts, c S ( r ) and c L ( r ) , to provide a simplified form of
c l m ( r ) = c S ( r ) + ( 1 ) l + m c L ( r ) ,
where the factor ( 1 ) l + m multiplied by c L ( r ) arises from the Coulomb interaction nature (see Section 5 for details) [39,40,41,42]. We also abbreviate c l l ( r ) as
c ( r ) = c S ( r ) + c L ( r )
for later convenience. We investigate the case where the x-component of v l ( r , t ) is dominated by electrophoretic velocity, a steady flow, when dividing the flow field v l ( r , t ) into steady and fluctuating parts. Considering that the mobility is given by D / k B T using the diffusion constant D , we have
v l ( r , t ) = ( 1 ) l 1 D z E v fl ( r , t ) ,
v fl ( r , t ) = d 2 r G y ( r r ) q ( r , t ) ,
according to previous treatment for lane formation of sheared colloidal suspensions [17,18,19]. Equations (A6) and (A7) imply that G y ( r ) and G y ( r ) represent flow kernels [17,18,19,34,35,36,37,38] of cations and anions, respectively. Namely, we have supposed that flow kernels of cations and anions are due to shears associated with oppositely driven migrations [17,18,19,34,35,36,37,38]; therefore, the function signs of the flow kernels are opposite to each other reflecting the opposite directions of electrophoreses (see also Appendix B).

Appendix B. Linear Stability Analysis Based on the Deterministic Dft

We focus on the deterministic DFT that has provided dispersion relations between the wavenumber (i.e., k x and k y ) and a growth/decay rate ω [9,10,17,18]. In what follows, we demonstrate that the flow-kernel-based formulation for one-component systems generates a density current significant to describe lane formation in binary ionic mixtures. While the essential term arising from a fluctuating velocity is linear to k y in the dispersion relation of the flow-kernel-based formulation for one-component sheared colloids [17,18], the corresponding contribution for oppositely charged colloidal suspensions is proportional to k y 2 [9,10]. Therefore, we need to verify the consistency between the two formulations by showing the derivation process to convert the former ( k y ) into the latter ( k y 2 ).

Appendix B.1. Dispersion Relation

The deterministic density functional equations given by Equations (A1) to (A7) yield the linear equation with respect to q ( r , t ) :
t q ( r , t ) + D z E x ρ ( r , t ) + 2 n ¯ y d 2 r G y ( r r ) q ( r , t ) = D 2 q ( r , t ) 2 n ¯ d 2 r c ( r r ) q ( r , t ) ,
allowing us to perform the linear stability analysis of charge density z e q ( r , t ) defined by Equation (2). Following the linear stability analysis previously made [9,10,17,18], we collect from Equation (A8) the terms proportional to e i k x x + i k y y + ω t in the approximation,
k x = 0 ,
with the wavevector k = ( k x , k y ) T introduced via the Fourier convention,
f ( r , t ) = 1 ( 2 π ) 2 d 2 k e i k · r f ( k , t ) , = 1 ( 2 π ) 2 d k x d k y e i k x x + i k y y f ( k , t ) .
The approximation (A9) implies that we ignore density modulations along the x-direction parallel to the external field. It is plausible to assume that G y ( r ) is only a function of y when the x-component of the fluctuating velocity is expected to be negligible, following the approximation previously used for sheared colloids [17,18]. Then, Equation (14) can be further reduced to
a ( k ) = d x d y G y ( r ) sin ( k x x + k y y ) = d x cos ( k x x ) d y G y ( r ) sin ( k y y ) k y d x cos ( k x x ) d y G y ( r ) y k y E ,
where use has been made of the relation that d y G y ( r ) cos ( k y y ) = 0 because of an odd function of G y ( r ) , and E is defined to represent that G y ( r ) is negative. It is readily seen that Equation (A8) yields the dispersion relation as follows:
ω = 2 n ¯ a ( k ) k y D k y 2 1 2 n ¯ c ( k y )
= 2 n ¯ a ( k ) k y D k y 2 S ( k y ) ,
where the second line has introduced the structure factor S ( k ) of density–density correlations defined by
S ( k ) = 1 1 2 n ¯ c ( k ) .
The factor 2 n ¯ appears on the right hand side of Equations (A12) and (A13) due to binary mixtures because the uniform number density is equal to 2 n ¯ in total of cations and anions. Accordingly, the dispersion relation (A13) becomes identical to previous expressions of one-component colloidal suspensions upon replacing 2 n ¯ by n ¯ [17,18]. Equation (A12) combined with Equation (A11) reads
ω ˜ = 2 E ˜ k y σ 2 k y σ 2 1 2 n ¯ c ( k y ) ,
with the previous notation of ω ˜ ω σ 2 / D and E ˜ = n ¯ E / D . The above dispersion relation (A15) agrees with that previously used for explaining the lane formation of oppositely charged two-component colloidal suspensions when validating the relation,
z E σ E ˜ n ¯ E D ,
with E defined by Equation (A11) [9,10]; below we will validate Equation (A16) using an expression of the flow kernel G y ( r ) . It is found from the dispersion relation of either Equation (A13) or Equation (A15) that ω goes to zero at a finite value k y when changing its sign from ω > 0 to ω < 0 with the increase of k y . This indicates the steady-state bifurcation of a homogeneous state to an inhomogeneous state where a steady-state lane structure is characterized by a wavelength λ y obtained from [9,10,17,18]
λ y = 2 π k y .
Figure A1. Schematics of the electrophoresis-induced shear. It is found from the schematic on the right that the shear rate γ ˙ induced by cations (or cation-driven-shear rate) is evaluated as γ ˙ D z E / R when oppositely charged colloids with their effective diameter of R pass each other.
Figure A1. Schematics of the electrophoresis-induced shear. It is found from the schematic on the right that the shear rate γ ˙ induced by cations (or cation-driven-shear rate) is evaluated as γ ˙ D z E / R when oppositely charged colloids with their effective diameter of R pass each other.
Entropy 24 00500 g0a1
Figure A2. Schematics of advection velocities with fluctuating flows in the y-direction. We can consider four cases of the fluctuating velocities generated under (a) the cation-driven-shear and (b) the anion-driven-shear.
Figure A2. Schematics of advection velocities with fluctuating flows in the y-direction. We can consider four cases of the fluctuating velocities generated under (a) the cation-driven-shear and (b) the anion-driven-shear.
Entropy 24 00500 g0a2

Appendix B.2. Derivation of the Relation ε ~ ~ zEσ Using an Expression of the Flow Kernel G(r) for Sheared Colloids

The flow kernel introduced in Equation (A7) is given by [17,18,19,34,35,36,37,38]
G ( r ) = G x ( r ) G y ( r ) R 2 γ ˙ c ( r ) ,
with shear rate γ ˙ and an effective sphere diameter R for sheared colloidal suspensions when replacing the interaction potential by minus the DCF c ( r ) according to the Ramakrishnan–Yussouf functional used in Equation (A3). Following the previous treatments, only the short-range contribution c S ( r ) to the DCF is considered in Equation (A18): we have
c S ( r ) = z 2 l B R 1 r ˜ 1 r ˜
for r ˜ r / R 1 supposing that z 2 l B / R 1 [39]. Equations (A18) and (A19) imply that we can confirm the negativity of E defined by Equation (A11). It follows from Equations (A18) and (A19) with the approximation of y c S ( r ) 1 / R for r ˜ r / R 1 that
E = R 2 d x cos ( k x x ) d y ˜ y ˜ G y ( r ˜ ) R 4 γ ˙ 0 1 d y ˜ y ˜ R 4 2 γ ˙ ,
for k x R 1 (i.e., sin ( k x R ) / ( k x R ) 1 ). Equation (A20) verifies E > 0 , as mentioned after Equation (A11). Furthermore, we need to assume
γ ˙ D z E R
for having the relation (A16) as follows:
E ˜ = n ¯ E D n ¯ R 4 D z E D R = n ¯ R 3 z E .
The relation (A16) can be validated considering that n ¯ R 2 1 and R σ . Figure A1 shows a schematic of the shear rate given by Equation (A21), indicating that a phenomenological expression (A16) for the fluctuating current of cations considers the electrophoresis-induced shear due to ions moving in the opposite direction. While both Figure A1 and Figure A2a show schematics of cation-driven-shear, the applied direction is reversed when considering the shear induced by anions (i.e., anion-driven-shear) as seen from Figure A2b. The opposite sign of shear rates leads to the opposite sign of flow kernels due to cations and anions as mentioned at the end of Appendix A. Figure A2 further provides four cases where fluctuating flows are generated, thereby illustrating that the sign of the y–component of advection velocity varies from v fl ( r , t ) to v fl ( r , t ) (see Equation (A6)) depending on which case is considered.

Appendix C. Details on the Derivation of Stationary Correlation Functions

We calculate the matrix elements of K C and C K , using a simplified form of
K ( k ) = k 2 1 2 n ¯ c S ( k , t ) i k x z E i k x z E 2 n ¯ E ˜ k y 2 + k 2 1 2 n ¯ c ( k , t ) = α i γ i γ β .
It follows that
K C = α C ρ ρ st + i γ C ρ q st α C q ρ st + i γ C q q st β C ρ q st + i γ C ρ ρ st β C q q st + i γ C q ρ st ,
C K = α C ρ ρ st i γ C q ρ st β C q ρ st i γ C ρ ρ st α C ρ q st i γ C q q st β C q q st i γ C ρ q st .
The sum of Equations (A24) and (A25) provides the steady-state Equation (23) which consists of the four kinds of equations for correlation functions as follows:
2 α C ρ ρ st + i γ C ρ q st C q ρ st = ( 2 π ) 2 4 n ¯ k 2 2 β C q q st i γ C ρ q st C q ρ st = ( 2 π ) 2 4 n ¯ k 2 ( α + β ) C q ρ st + i γ C q q st C ρ ρ st = 0 ( α + β ) C ρ q st i γ C q q st C ρ ρ st = 0 .
It is easy to find from the last two equations of the above set that C ρ q st = C q ρ st and
C ρ q st C q ρ st = 2 i γ α + β C q q st C ρ ρ st .
Substituting Equation (A27) into the first two equations of Equation (A26), we have
α C ρ ρ st γ 2 α + β C q q st C ρ ρ st = ( 2 π ) 2 2 n ¯ k 2 β C q q st + γ 2 α + β C q q st C ρ ρ st = ( 2 π ) 2 2 n ¯ k 2 ,
which reads
1 ( 2 π ) 2 ( α + β ) P ( k ) C ρ ρ st C q q st = 2 n ¯ k 2 1 1 ,
and
P ( k ) = α ( α + β ) + γ 2 γ 2 γ 2 β ( α + β ) + γ 2 .
Thus, the above expressions (A29) and (A30) are found to be equivalent to Equations (24) and (25).

References

  1. Levin, Y. Electrostatic correlations: From plasma to biology. Rep. Prog. Phys. 2002, 65, 1577. [Google Scholar] [CrossRef] [Green Version]
  2. Bocquet, L.; Charlaix, E. Nanofluidics, from bulk to interfaces. Chem. Soc. Rev. 2010, 39, 1073–1095. [Google Scholar] [CrossRef] [Green Version]
  3. Gür, T.M. Review of electrical energy storage technologies, materials and systems: Challenges and prospects for large-scale grid storage. Energy Environ. Sci. 2018, 11, 2696–2767. [Google Scholar] [CrossRef]
  4. Löwen, H. Introduction to colloidal dispersions in external fields. Eur. Phys. J. Spec. Top. 2013, 22, 2727–2737. [Google Scholar] [CrossRef] [Green Version]
  5. Glanz, T.; Löwen, H. The nature of the laning transition in two dimensions. J. Phys. Condens. Matter 2012, 24, 464114. [Google Scholar] [CrossRef] [PubMed]
  6. Löwen, H. Particle-resolved instabilities in colloidal dispersions. Soft Matter 2010, 6, 3133–3142. [Google Scholar] [CrossRef]
  7. Rex, M.; Löwen, H. Influence of hydrodynamic interactions on lane formation in oppositely charged driven colloids. Eur. Phys. J. E 2008, 26, 143–150. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  8. Rex, M.; Löwen, H. Lane formation in oppositely charged colloids driven by an electric field: Chaining and two-dimensional crystallization. Phys. Rev. E 2007, 75, 051402. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  9. Chakrabarti, J.; Dzubiella, J.; Löwen, H. Reentrance effect in the lane formation of driven colloids. Phys. Rev. E 2004, 70, 012401. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  10. Chakrabarti, J.; Dzubiella, J.; Löwen, H. Dynamical instability in driven colloids. Europhys. Lett. 2003, 61, 415. [Google Scholar] [CrossRef]
  11. Li, B.; Wang, Y.L.; Shi, G.; Gao, Y.; Shi, X.; Woodward, C.E.; Forsman, J. Phase transitions of oppositely charged colloidal particles driven by alternating current electric field. ACS Nano 2021, 15, 2363–2373. [Google Scholar] [CrossRef] [PubMed]
  12. Dutta, S.; Chakrabarti, J. Length-scales of dynamic heterogeneity in a driven binary colloid. Phys. Chem. Chem. Phys. 2020, 22, 17731–17737. [Google Scholar] [CrossRef]
  13. Reichhardt, C.; Reichhardt, C.J.O. Velocity force curves, laning, and jamming for oppositely driven disk systems. Soft Matter 2018, 14, 490–498. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  14. Klymko, K.; Geissler, P.L.; Whitelam, S. Microscopic origin and macroscopic implications of lane formation in mixtures of oppositely driven particles. Phys. Rev. E 2016, 94, 022608. [Google Scholar] [CrossRef] [Green Version]
  15. Ikeda, M.; Wada, H.; Hayakawa, H. Instabilities and turbulence-like dynamics in an oppositely driven binary particle mixture. Europhys. Lett. 2012, 99, 68005. [Google Scholar] [CrossRef] [Green Version]
  16. Vissers, T.; van Blaaderen, A.; Imhof, A. Band formation in mixtures of oppositely charged colloids driven by an ac electric field. Phys. Rev. Lett. 2011, 106, 228303. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  17. Scacchi, A.; Mazza, M.G.; Archer, A.J. Sensitive dependence on molecular interactions of length scales in sheared soft matter. Phys. Rev. Res. 2020, 2, 032064. [Google Scholar] [CrossRef]
  18. Scacchi, A.; Archer, A.J.; Brader, J.M. Dynamical density functional theory analysis of the laning instability in sheared soft matter. Phys. Rev. E 2017, 96, 062616. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  19. Stopper, D.; Roth, R. Nonequilibrium phase transitions of sheared colloidal microphases: Results from dynamical density functional theory. Phys. Rev. E 2018, 97, 062602. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  20. Poncet, A.; Bénichou, O.; Démery, V.; Oshanin, G. Universal long ranged correlations in driven binary mixtures. Phys. Rev. Lett. 2017, 118, 118002. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  21. Kohl, M.; Ivlev, A.V.; Brandt, P.; Morfill, G.E.; Löwen, H. Microscopic theory for anisotropic pair correlations in driven binary mixtures. J. Phys. Condens. Matter 2012, 24, 464115. [Google Scholar] [CrossRef]
  22. Frusawa, H. Electric-field-induced oscillations in ionic fluids: A unified formulation of modified Poisson-Nernst-Planck models and its relevance to correlation function analysis. arXiv 2022, arXiv:2203.15428. [Google Scholar]
  23. te Vrugt, M.; Löwen, H.; Wittkowski, R. Classical dynamical density functional theory: From fundamentals to applications. Adv. Phys. 2020, 69, 121–247. [Google Scholar] [CrossRef]
  24. Frusawa, H. Non-hyperuniform metastable states around a disordered hyperuniform state of densely packed spheres: Stochastic density functional theory at strong coupling. Soft Matter 2021, 17, 8810–8831. [Google Scholar] [CrossRef] [PubMed]
  25. Frusawa, H. Transverse density fluctuations around the ground state distribution of counterions near one charged plate: Stochastic density functional view. Entropy 2020, 22, 34. [Google Scholar] [CrossRef] [Green Version]
  26. Avni, Y.; Adar, R.M.; Andelman, D.; Orland, H. Conductivity of concentrated electrolytes. Phys. Rev. Lett. 2022, 128, 098002. [Google Scholar] [CrossRef] [PubMed]
  27. Mahdisoltani, S.; Golestanian, R. Transient fluctuation-induced forces in driven electrolytes after an electric field quench. New J. Phys. 2021, 23, 073034. [Google Scholar] [CrossRef]
  28. Mahdisoltani, S.; Golestanian, R. Long-range fluctuation-induced forces in driven electrolytes. Phys. Rev. Lett. 2021, 126, 158002. [Google Scholar] [CrossRef] [PubMed]
  29. Démery, V.; Dean, D.S. The conductivity of strong electrolytes from stochastic density functional theory. J. Stat. Mech. Theory Exp. 2016, 2016, 023106. [Google Scholar] [CrossRef] [Green Version]
  30. Frusawa, H. Stochastic dynamics and thermodynamics around a metastable state based on the linear Dean-Kawasaki equation. J. Phys. A Math. Theor. 2019, 52, 065003. [Google Scholar] [CrossRef] [Green Version]
  31. Krüger, M.; Solon, A.; Démery, V.; Rohwer, C.M.; Dean, D.S. Stresses in non-equilibrium fluids: Exact formulation and coarse-grained theory. J. Chem. Phys. 2018, 148, 084503. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  32. Krüger, M.; Dean, D.S. A Gaussian theory for fluctuations in simple liquids. J. Chem. Phys. 2017, 146, 134507. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  33. Dean, D.S.; Lu, B.S.; Maggs, A.C.; Podgornik, R. Nonequilibrium Tuning of the Thermal Casimir Effect. Phys. Rev. Lett. 2016, 116, 240602. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  34. Scacchi, A.; Krüger, M.; Brader, J.M. Driven colloidal fluids: Construction of dynamical density functional theories from exactly solvable limits. J. Phys. Condens. Matter 2016, 28, 244023. [Google Scholar] [CrossRef] [Green Version]
  35. Aerov, A.A.; Krüger, M. Driven colloidal suspensions in confinement and density functional theory: Microstructure and wall-slip. J. Chem. Phys. 2014, 140, 094701. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  36. Krüger, M.; Brader, J.M. Controlling colloidal sedimentation using time-dependent shear. Europhys. Lett. 2011, 96, 68006. [Google Scholar] [CrossRef] [Green Version]
  37. Brader, J.M.; Krüger, M. Density profiles of a colloidal liquid at a wall under shear flow. Mol. Phys. 2011, 109, 1029–1041. [Google Scholar] [CrossRef] [Green Version]
  38. Rauscher, M.; Domínguez, A.; Krüger, M.; Penna, F. A dynamic density functional theory for particles in a flowing solvent. J. Chem. Phys. 2007, 127, 244906. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  39. Cats, P.; Evans, R.; Härtel, A.; van Roij, R. Primitive model electrolytes in the near and far field: Decay lengths from DFT and simulations. J. Chem. Phys. 2021, 154, 124504. [Google Scholar] [CrossRef]
  40. Adar, R.M.; Safran, S.A.; Diamant, H.; Andelman, D. Screening length for finite-size ions in concentrated electrolytes. Phys. Rev. E 2019, 100, 042615. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  41. de Carvalho, R.L.; Evans, R.; Rosenfeld, Y. Decay of correlations in fluids: The one-component plasma from Debye-Hückel to the asymptotic-high-density limit. Phys. Rev. E 1999, 59, 1435. [Google Scholar] [CrossRef]
  42. Leote de Carvalho, R.J.F.; Evans, R. The decay of correlations in ionic fluids. Mol. Phys. 1994, 83, 619–654. [Google Scholar] [CrossRef]
  43. Frusawa, H. On the equivalence of self-consistent equations for nonuniform liquids: A unified description of the various modifications. J. Stat. Mech. Theory Exp. 2021, 2021, 013213. [Google Scholar] [CrossRef]
  44. Frydel, D. Mean Field Electrostatics Beyond the Point Charge Description. Adv. Chem. Phys. 2016, 160, 209–260. [Google Scholar]
  45. Varela, L.M.; Garcia, M.; Mosquera, V. Exact mean-field theory of ionic solutions: Non-Debye screening. Phys. Rep. 2003, 382, 1–111. [Google Scholar] [CrossRef]
  46. McDaniel, J.G.; Yethiraj, A. Understanding the properties of ionic liquids: Electrostatics, structure factors, and their sum rules. J. Phys. Chem. B 2019, 123, 3499–3512. [Google Scholar] [CrossRef]
  47. Lee, A.A.; Perez-Martinez, C.S.; Smith, A.M.; Perkin, S. Scaling analysis of the screening length in concentrated electrolytes. Phys. Rev. Lett. 2017, 119, 026002. [Google Scholar] [CrossRef] [Green Version]
  48. Anousheh, N.; Solis, F.J.; Jadhao, V. Ionic structure and decay length in highly concentrated confined electrolytes. AIP Adv. 2020, 10, 125312. [Google Scholar] [CrossRef]
  49. Wang, Y.L.; Li, B.; Sarman, S.; Mocci, F.; Lu, Z.Y.; Yuan, J.; Laaksonen, A.; Fayer, M.D. Microstructural and dynamical heterogeneities in ionic liquids. Chem. Rev. 2020, 120, 5798–5877. [Google Scholar] [CrossRef] [Green Version]
Figure 1. A schematic of the 2D primitive model of binary ionic mixture with a static electric field E applied in the x-direction. The z-valent cations and anions are modeled by equisized charged hard spheres of diameter σ immersed in a dielectric medium with dielectric constant ϵ at a temperature T.
Figure 1. A schematic of the 2D primitive model of binary ionic mixture with a static electric field E applied in the x-direction. The z-valent cations and anions are modeled by equisized charged hard spheres of diameter σ immersed in a dielectric medium with dielectric constant ϵ at a temperature T.
Entropy 24 00500 g001
Figure 2. A schematic of lane formation in a binary ionic mixture. The green and orange lanes represent aligned segregation bands of cations and anions, respectively. Correspondingly, the positive and negative signs seen on the lanes indicate that each lane is a mesoscopically charged object. The wavelengths, λ x and λ y , in x-and y-directions are related to wavenumbers as λ x = 2 π / k x and λ y = 2 π / k y (i.e., Equation (A17)), respectively. In this study, these wavenumbers are determined by Equations (34) and (37) when considering point charges.
Figure 2. A schematic of lane formation in a binary ionic mixture. The green and orange lanes represent aligned segregation bands of cations and anions, respectively. Correspondingly, the positive and negative signs seen on the lanes indicate that each lane is a mesoscopically charged object. The wavelengths, λ x and λ y , in x-and y-directions are related to wavenumbers as λ x = 2 π / k x and λ y = 2 π / k y (i.e., Equation (A17)), respectively. In this study, these wavenumbers are determined by Equations (34) and (37) when considering point charges.
Entropy 24 00500 g002
Figure 3. A schematic of the 3D primitive model in Cartesian coordinates illustrates a binary ionic mixture confined between two parallel plates. While the y-axis is perpendicular to these plates, the electric field is applied in the x-axis.
Figure 3. A schematic of the 3D primitive model in Cartesian coordinates illustrates a binary ionic mixture confined between two parallel plates. While the y-axis is perpendicular to these plates, the electric field is applied in the x-axis.
Entropy 24 00500 g003
Figure 4. The real-space representation C q q st ( x , y ) of the charge-charge correlation function at z E σ = 1.0 is shown using heat maps where the length scale is in units of diameter σ . We obtain the real-space correlation function from performing the 2D inverse Fourier transform of C q q st ( k ) / ( 2 n ¯ ) given by Equations (24) and (25). The remaining parameter set of ( E ˜ , κ ¯ σ , ϕ ) is (a) ( 0.484 , 1.55 , 0.05 ) , (b) ( 0.484 , 1.62 , 0.055 ) , (c) ( 0.0 , 1.55 , 0.05 ) , and (d) ( 0.0 , 1.62 , 0.055 ) .
Figure 4. The real-space representation C q q st ( x , y ) of the charge-charge correlation function at z E σ = 1.0 is shown using heat maps where the length scale is in units of diameter σ . We obtain the real-space correlation function from performing the 2D inverse Fourier transform of C q q st ( k ) / ( 2 n ¯ ) given by Equations (24) and (25). The remaining parameter set of ( E ˜ , κ ¯ σ , ϕ ) is (a) ( 0.484 , 1.55 , 0.05 ) , (b) ( 0.484 , 1.62 , 0.055 ) , (c) ( 0.0 , 1.55 , 0.05 ) , and (d) ( 0.0 , 1.62 , 0.055 ) .
Entropy 24 00500 g004
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Frusawa, H. Stochastic Density Functional Theory on Lane Formation in Electric-Field-Driven Ionic Mixtures: Flow-Kernel-Based Formulation. Entropy 2022, 24, 500. https://doi.org/10.3390/e24040500

AMA Style

Frusawa H. Stochastic Density Functional Theory on Lane Formation in Electric-Field-Driven Ionic Mixtures: Flow-Kernel-Based Formulation. Entropy. 2022; 24(4):500. https://doi.org/10.3390/e24040500

Chicago/Turabian Style

Frusawa, Hiroshi. 2022. "Stochastic Density Functional Theory on Lane Formation in Electric-Field-Driven Ionic Mixtures: Flow-Kernel-Based Formulation" Entropy 24, no. 4: 500. https://doi.org/10.3390/e24040500

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop