The Boundary Element Method for Fluctuating Active Colloids

The boundary element method (BEM) is a computational method particularly suited to solution of linear partial differential equations (PDEs), including the Laplace and Stokes equations, in complex geometries. The PDEs are formulated as boundary integral equations over bounding surfaces, which can be discretized for numerical solution. This manuscript reviews application of the BEM for simulation of the dynamics of “active” colloids that can self-propel through liquid solution. We introduce basic concepts and model equations for both catalytically active colloids and the “squirmer” model of a ciliated biological microswimmer. We review the foundations of the BEM for both the Laplace and Stokes equations, including the application to confined geometries, and the extension of the method to include thermal fluctuations of the colloid. Finally, we discuss recent and potential applications to research problems concerning active colloids. The aim of this review is to facilitate development and adoption of boundary element models that capture the interplay of deterministic and stochastic effects in the dynamics of active colloids.


Introduction
Over the past 15 years, significant effort has been invested in the development of synthetic micro-and nano-sized colloids capable of self-propulsion in liquid solution [1][2][3].These "active colloids" have myriad potential applications in drug delivery [4,5], sensing [6], microsurgery [7], and programmable materials assembly [8].Furthermore, they provide well-controlled model systems for study of materials systems maintained out of thermal equilibrium by continuous dissipation of free energy.In this context, and in comparison with driven systems (e.g., sheared suspensions), a unique aspect of active colloids is that energy is injected into the system at the microscopic scale of a single particle, instead of through macroscopic external fields or at the boundaries of the system.As a consequence of this, novel collective behaviors are possible, including motility-induced phase separation [9], mesoscopic "active turbulence" [10], and formation of dynamic "living crystals" and clusters [11,12].Furthermore, since living systems can be regarded as selforganized non-equilibrium materials systems, study of active colloids could yield insight into fundamental principles of living systems, and open a path towards development of biomimetic "dissipative materials" capable of homeostasis [13], self-repair [14], goal-directed behavior [15,16], and other aspects of life.
Paradigmatic examples of synthetic active colloids include bimetallic Janus rods [17] and Janus spheres consisting of a spherical core with a hemispherical coating of a catalytic material [18].In both cases, self-propulsion is driven by catalytic decomposition of a chemical "fuel" available in the liquid solution.For instance, for gold/ platinum Janus rods, both ends of the rod are involved in the electrochemical decomposition of hydrogen peroxide into water and oxygen: hydrogen peroxide is oxidized at the platinum anode and reduced at the gold cathode.In this reaction process, a hydrogen ion gradient is established between the anode and cathode.The resulting gradient in electrical charge creates an electric field in the vicinity of the rod.The electric field exerts a force on the diffuse layer of ions surrounding the colloid surface, resulting in motion of the suspending fluid relative to the colloid surface.Viewed in a stationary reference frame, the final result is "self-electrophoretic" motion of the colloid in direction of the platinum end.For Janus spheres (e.g., platinum on silica or platinum on polystyrene), the mechanism of motion is still a subject of debate.Since the core material is inert and insulating, it was originally thought that these particles move by neutral self-diffusiophoresis in a self-generated oxygen gradient.Diffusiophoresis is similar to electrophoresis in that motion is driven by interfacial molecular forces.Briefly, in diffusiophoresis, the colloid surface and solute molecules interact through some molecular potential.This interaction potential, in conjunction with a gradient of solute concentration along the surface of the colloid, leads to the pressure gradient in a thin film surrounding the colloid, and therefore fluid flow within the film relative to the colloid surface.Following initial studies on chemically active Janus spheres, subsequent studies revealed a dependence of the Janus particle speed on the concentration of added salt [19], suggesting that a self-electrophoretic mechanism may be implicated in motion of the colloid.Golestanian and co-workers proposed that dependence of the rate of catalysis on thickness of the deposited catalyst can lead to different regions of the catalyst acting as anode and cathode [20].More recently, it was proposed that if one of the redox reactions is reaction-limited and the other is diffusion-limited, the anodic or cathodic character of a point on the catalytic surface will depend on the local curvature of the surface [21].Regardless of the detailed molecular mechanism of motion, a key point is that interfacial flows drive self-propulsion of chemically active colloids.A second key point is that particles need to have an intrinsic asymmetry (e.g., from the Janus character of their material composition) in order to exhibit directed motion.
These findings have motivated development of theoretical and numerical concepts for modeling the interfacially driven self-propulsion of active colloids.Motivated by classical work on phoresis in thermodynamic gradients [22,23], an influential continuum framework for modeling neutral self-diffusiophoresis was established in Ref. 24, and will be reviewed below.This basic framework can be modified or extended to account for electrochemical effects [25], multicomponent diffusion [26], reactions in the bulk solution [27], and confinement [28][29][30][31][32][33][34].An emerging area of study within this framework is autonomous navigation and "taxis" of chemically active colloids in ambient fields and complex geometries, including chemotaxis in chemical gradients [35] and rheotaxis in confined flows [15,36].Theoretical research on synthetic active colloids has also found common ground with an older strand of research on locomotion of biological microswimmers.Here, an important point of contact is again the idea of interfacial flow [37].For a quasispherical microswimmer that is "carpeted" with a layer of cilia, the effect of the periodic, time-dependent, metachronal motion of the cilia can be modeled as a period-averaged interfacial flow.This "squirmer" model of locomotion was introduced by Lighthill [38] and refined by Blake [39].More recent work has explored collective motion of suspensions of squirmers [40] and squirmer motion in confined geometries [41].
These theoretical frameworks are deterministic, and do not directly address the role of thermal fluctuations.For instance, for the model of a chemically active colloid in Ref. 42, diffusion of the chemical reaction product (i.e., the solute) into the surrounding solution is modeled with the Laplace equation, which has a smooth and unique solution for a given set of boundary conditions describing surface catalysis.Implicit in the use of the Laplace equation are the assumptions that, on the timescale of Janus particle motion, the solute diffuses very fast, and that fluctuations of the solute distribution average out to be negligible.Likewise, fluctuations of the surrounding fluid are neglected, i.e., the deterministic Stokes equation is used to model the fluid in lieu of the fluctuating Stokes equation.On the other hand, micron-sized active Janus particles are observed in experiments to exhibit "enhanced diffusion": directed motion on short timescales t < τ r and random walk behavior on long timescales t ≫ τ r .For the latter, the effective diffusion coefficient D eff is enhanced relative to the "bare" diffusion coefficient D 0 of an inactive colloid, i.e., D eff ≫ D 0 .The reason for this behavior is that the orientation of the particle is free to fluctuate, and the particle changes its direction of motion by rotational diffusion over the timescale τ r ¼ D À1 r , where D r is the rotational diffusion coefficient of the particle [18].Therefore, thermal fluctuations qualitatively affect the motion of even a micron-sized catalytic Janus particle in unbounded, uniform solution.For a catalytic Janus particle in an ambient field or in confinement, thermal fluctuations affect whether and for how long the particle can align with the ambient field [42,43] or stay near confining surfaces [34,44].Overall, a full theoretical understanding of the behavior of micron-sized active colloids requires modeling thermal fluctuations.
Moreover, as part of the general drive towards miniaturization, recent experimental efforts have sought to fabricate and characterize nano-sized chemically active colloids [45][46][47].On the theoretical side, new questions arise when the size of the colloid becomes comparable to the size of the various molecules participating in the catalytic reaction.These questions include: When is using a continuum model appropriate [48]?Can a catalytic particle still display (time-and ensembleaveraged) directed motion when the particle and the surrounding chemical field are fluctuating on similar timescales?Relatedly, can a spherical colloid with a catalytic surface of uniform composition exhibit enhanced diffusion when nano-sized [49]?Can a fluctuating, nano-sized Janus particle effectively follow an ambient chemical gradient, i.e., exhibit chemotaxis [35]?These questions also connect with the burgeoning literature on chemotaxis of biological enzymes [50].
In this chapter, we review the boundary element approach to modeling the motion of active colloids.This is a "hydrodynamic" approach that resolves the detailed geometry and surface chemistry of the colloids, the velocity of the surrounding solution, and the distribution of chemical species within the solution [30,40,[51][52][53][54][55][56][57].The advantage of such an approach-in comparison with, for instance, the active Brownian particle model-is that it can resolve the detailed microscopic physics of how a colloid couples to ambient fields and other features of the surrounding micro-environment.In addition, we discuss how thermal fluctuations can be included within the approach.The aim of this review is to facilitate development and adoption of models that capture the interplay of deterministic and stochastic effects within an integrated framework.

Theory
As a starting point, we review the basic deterministic theoretical framework for understanding the motion of active colloids [24].This is a continuum approach that coarse-grains the interfacial flow that drives colloid motion, discussed above, as a "slip velocity" boundary condition for the velocity of the suspending fluid.
We consider a suspension of N active colloids in an unbounded liquid solution.The position of each colloid α, with α ∈ 1; 2; …; N f g , is described in a stationary reference frame by a vector x α .The solution is modeled as an incompressible Newtonian fluid with dynamic viscosity μ.The solution is governed by the Stokes equation, where P x ð Þ is the pressure at a position x in the solution, and u x ð Þ is the velocity of the solution.The velocity obeys the incompressibility condition, and the boundary condition where S α is the surface of colloid α, x s ∈ S α is a position on S α , and U α and Ω α are the translational and rotational velocities, respectively, of colloid α.The quantity v s, α x s ð Þ is the slip velocity on the surface of colloid α, which is either prescribed (for a squirmer) or determined by the distribution of chemical species in solution (for a chemically active colloid).The form of v s, α x s ð Þ for the two types of particles will be discussed in detail below.Additionally, far away from the N particles, the fluid velocity vanishes: In order to close this system of equations, we require 6N more equations, corresponding to the 6N unknown components of U α and Ω α .The net force and torque on each colloid vanishes: ð where the integrals are performed over the surface S α of each colloid α, and F ext, α and T ext, α are, respectively, the net external force and net external torque on the colloid.The stress tensor is given by where the pressure P x ð Þ is determined by the incompressibility condition.Practitioners of Stokesian Dynamics may notice some similarity between Eq. 3 and the boundary condition for an inert or passive sphere in an ambient flow field.If v s, α x s ð Þ could be expressed as an effective ambient flow field at the position of particle α, the tools of Stokesian dynamics could be straightforwardly applied to simulation of active suspensions.This analogy will be developed in the Appendix.

The squirmer model: prescribed surface slip
The "squirmer" model was originally introduced by Lighthill to describe the time-averaged motion of ciliated quasi-spherical micro-organisms [38].Lighthill's formulation was subsequently corrected and extended by Blake [39].The basic motivating idea of the squirmer model is that the periodic, metachronal motion of the carpet of cilia on the surface of the micro-organism drives, over the course of one period and in the vicinity of the microswimmer surface, net flow from the "forward" or "leading" pole of the micro-organism to the "rear" pole (see Figure 1, left).This interfacial flow drives flow in the surrounding bulk fluid, leading to directed motion of the micro-organism towards the forward end.The squirmer model captures some essential features of the self-propulsion of micro-organisms, including the hydrodynamic interactions between micro-organisms, and between an individual micro-organism and confining surfaces.
The slip velocity on the surface of a spherical squirmer α is specified by fiat and does not depend on the configuration of the suspension.It is given as [41]: where The unit vector êθ p, α is defined in following manner (see Figure 1, left).The squirmer has an axis of symmetry, and a propulsion direction dα oriented along this axis.We define the body-frame polar angle θ p, α at a point x s on the surface of squirmer α as the angle between dα and a vector x s À x α from the center of the squirmer x α to x s .The unit vector êθ p, α is oriented in the direction of increasing θ p, α , i.e., locally tangent to the squirmer surface along a longitudinal line.The two types of microswimmer considered in this chapter.In the spherical "squirmer" model (left), the slip velocity on the surface of the particle is specified by fiat and fixed (in a frame co-moving and co-rotating with the particle) for all time.For an axisymmetric distribution of surface slip, the particle moves in the direction of the green arrow, i.e., opposite to the (surface-averaged) direction of the slip velocity.For a Janus particle (right), a fraction of the particle surface (black) catalyzes a reaction involving various molecular species diffusing in the surrounding solution.The resulting anisotropic distribution of product molecules or "solute" (green spheres) drives a phoretic slip velocity (purple) in an interfacial layer surrounding the particle.For a repulsive interaction between the solute and the particle surface, the slip is towards high concentration of solute, and the particle moves in the direction of the green arrow.
The squirming mode amplitudes B n, α , which can potentially vary from squirmer to squirmer, are fixed a priori and do not depend on the configuration of the suspension.The set of amplitudes determine the detailed form of the flow field in vicinity of the particle.Furthermore, the lowest order squirming mode B 1 determines the velocity of an isolated squirmer in unbounded solution: U fs, α ¼ 2=3 ð ÞB 1, α .According to our definition of d α and θ p, α , we require that B 1, α >0.Simulations of squirmers typically truncate Eq. 8 to n ≤ 2 or n ≤ 3. The justification for this is that the contributions of the higher order squirming modes to the flow around the squirmer decay rapidly with distance from the squirmer.

Chemically active colloids: diffusiophoretic slip from chemical gradients
For chemically active colloids, the slip velocity on the surface of a colloid is driven by interfacial molecular forces.The molecular physics of phoresis and self-phoresis is reviewed in detail elsewhere [2,23,58]; here, we provide a brief summary.Consider a "Janus" colloid with a surface composed of two different materials.In the presence of molecular "fuel" diffusing in the surrounding solution, one of the two Janus particle materials catalyzes the decomposition of the fuel into molecular reaction products.A paradigmatic example of this reaction is the decomposition of hydrogen peroxide by platinum into water and oxygen: (This equation is a severe simplification of the actual reaction scheme, which most likely involves charged and complex intermediates [20,27]; nevertheless, proceeding from it, we can capture some essential features of self-phoresis.)If the reaction is reaction-limited-i.e., hydrogen peroxide is plentifully available in solution, and diffuses quickly relatively to the reaction rate-then we can approximate the production of oxygen with zero order kinetics: where D is the diffusion coefficient of oxygen, c x ð Þ is the number density of oxygen, and κ x s ð Þ is the rate of oxygen production on the surface of the particle.(The validity of assumption of reaction-limited kinetics is quantified by the Damköhler number Da ¼ κ 0 R=D, where κ 0 is a characteristic reaction rate; we assume Da ≪ 1.) Furthermore, we assume that the Péclet number Pe U 0 R=D is very small, where U 0 is a characteristic particle velocity and R is the particle radius.Accordingly, we can make a quasi-steady approximation for the diffusion of oxygen in the solution: Finally, we assume that where c ∞ is a constant.Eqs.11, 12, and 13 specify a boundary value problem (BVP) for the distribution of oxygen in the fluid domain containing the N active particles.This problem can be solved numerically, e.g., by the boundary element method, as will be outlined in a later section.Accordingly, each Janus particle will be surrounded by an anisotropic "cloud" of oxygen molecules ("solute"), with the oxygen concentration highest near the catalytic cap (see Figure 1, right).Now we suppose that the oxygen molecules interact with the surface of the colloid through some molecular interaction potential with range δ ≪ R [23].Each colloid is surrounded by an interfacial layer of thickness $ δ in which the molecular interaction of the solute and the colloid is significant.Outside of this layer, the solute freely diffuses in the solution.We can regard c x ð Þ as the bulk concentration, i.e., the concentration outside the interfacial layer.Near a location x s on the surface of the colloid, the interfacial layer concentration is enhanced or depleted, according to the attractive or repulsive character of the molecular interaction, relative to c x þ s À Á . Here, the plus sign emphasizes that c x þ s À Á is evaluated outside the interfacial layer.Moreover, since δ ≪ R, the interfacial layer concentration can locally, in the direction locally normal to the colloid surface, relax to a Boltzmann (i.e., equilibrium) distribution governed by the molecular interaction potential Φ. (The timescale for this local relaxation is much faster than the characteristic timescale for colloid motion R=U 0 .)Accordingly, the local pressure , where η is a coordinate defined at x s that is locally normal to the colloid surface.
These notions can be made mathematically rigorous through the theory of matched asymptotics.However, for the purpose of this discussion, the essential idea is that the bulk concentration c x ð Þ determines the pressure in the interfacial layer in the vicinity of a point x s on the colloid surface.Moreover, c x ð Þ varies over the length scale R of the colloid.Accordingly, within the interfacial layer, the pressure varies over the size of the colloid, driving flow within the interfacial layer.From the perspective of the outer solution for the flow field, this interfacial flow looks like a slip velocity: Here, the surface gradient operator is defined as ∇ k I À n n ð ÞÁ∇.The material-dependent parameter b x s ð Þ encapsulates the details of the molecular interaction between the solute and the surface material, and can be calculated from the molecular potential Φ [23].Since the surface of the Janus colloid comprises different materials, b depends on the location on the colloid surface.In fact, a spatial variation of b over the surface of colloid is a necessary condition to obtain phoretic rotation of a colloid near a wall [30] or chemotactic alignment with a gradient of "fuel" molecules [35].

Lorentz reciprocal theorem
The Lorentz reciprocal theorem relates the fluid stresses σ; σ 0 ð Þand velocity fields u; u 0 ð Þof two solutions to the Stokes equation within the same domain V: where S is the boundary of V.For the N active particles in unbounded solution, S ¼ ∪ N α¼1 S α .This theorem can be used to simplify the problem specified above for the velocities of N active particles.We designate that problem as the "unprimed" problem.Additionally, we specify that F ext, α ¼ 0 and τ ext, α ¼ 0 for all α.(Since the Stokes equation is linear, the contributions of the external forces and torques to the velocities of the particles can be calculated separately, using standard methods, and superposed with the contributions from activity to obtain the complete velocities.)We consider 6N "primed" problems, indexed by j ¼ 1, 2, …, 6N.For problem j ¼ α, particle α is exposed to an external force with magnitude F 0 ext in the x direction.Each particle has unknown translational and rotational velocities U 0 j ð Þ α and Ω 0 j ð Þ α , and the velocity field u 0 j ð Þ is subject to no-slip boundary conditions on each particle: Additionally, the flow field vanishes far away from the particles, i.e., The unprimed problem and primed problem α are schematically illustrated in Figure 2. Similarly, for problems j ¼ α þ 1 and j ¼ α þ 2, particle α is exposed to an external force with magnitude in the ŷ and ẑ directions, respectively, with no-slip boundary conditions likewise holding on each particle, and the flow field vanishing far away from the particles.For problems j ¼ α þ 3, j ¼ α þ 4, and j ¼ α þ 5, particle α is exposed to a torque with magnitude τ 0 ext in the x, ŷ, and ẑ directions, respectively, with the same boundary conditions.Each "primed" problem j can be solved for 6N unknown velocity components For problem j, we substitute Eqs. 3 and 16 into Eq.15 for u and u 0 ¼ u 0 j ð Þ to obtain: It can be shown that the right hand side of this equation vanishes.Consider the term involving U 0 α j ð Þ.For each integral over S α , U 0 α j ð Þ is a constant and can be moved out of the integral, Figure 2. Illustration of the "unprimed" problem for the velocities of N active particles, and the "primed" problem α for the velocities of N inert particles when particle α is exposed to a force with magnitude F 0 ext in the x direction.Similarly, in primed problems α þ 1 and α þ 2, particle α is exposed to a force with magnitude F 0 ext in the ŷ direction and the ẑ direction, respectively.Moreover, in primed problems α þ 3, α þ 4, and α þ 5, particle α is exposed to torques with magnitude τ 0 ext in the x, ŷ, and ẑ directions, respectively.Note that the primed and the 6N unprimed problems all have the same geometry, i.e., the same configuration of N spheres.
but the integral is simply the force F α on particle α.Since the particles are free of external forces, F α ¼ 0. Likewise, the term involving Ω 0 α j ð Þ can be rearranged as but the integral is the torque τ α ¼ 0 on particle α.
Rearranging the left hand side of Eq. 17, we obtain a set of 6N equations j: These 6N equations can be written in matrix form: where b is a vector containing the 6N integrals associated with the right hand side of Eq.21, V is vector of all 6N velocity components U α ; Ω α ð Þ T , and R is the grand resistance matrix for N spheres at positions x α .Note that the arbitrary magnitudes F 0 ext and τ 0 ext have been divided out of Eq. 22.The advantage of the reciprocal theorem approach is that if we solve the "primed" problem for a given set of particle positions x α , we can easily compute the set V of 6N velocities for any set of slip velocities v s, α .This, for instance, facilitates studying how various choices for b x s ð Þ or B n, α affect particle motion.Additionally, the "primed" problem for the resistance matrix R and stresses σ 0 j ð Þ in a system of N spheres is a standard problem in microhydrodynamics.An interesting open question is whether this approach is numerically more stable than directly solving for the 6N particle velocities in the presence of the force-free and torque-free constraints.

Proof of Lorentz reciprocal theorem
We provide a short proof of Eq. 15, following the lines of Ref. 59 because some intermediate results will be useful later in the chapter.We recall that the rate of strain tensor e ij is defined as and that, in index notation, the stress tensor is We consider the quantity σ 0 ij e ij : where we have used ∇ Á u ¼ 0 to eliminate e ii , and we assume the Einstein convention for summation over repeated indices.Similarly, we can obtain We can also manipulate σ 0 ij e ij as follows: Swapping the two indices in the last term, But so that If there are no point forces applied to the fluid in determination of u 0 and u, then ∇ Á σ ¼ 0 and ∇ Á σ 0 ¼ 0, and we obtain Integrating both sides over the volume V and applying the divergence theorem, we obtain Eq. 15.

Boundary integral formulation of the Laplace equation
Even with the aid of the Lorentz reciprocal theorem, it is necessary to solve the Stokes and (for self-phoretic particles) Laplace equations in a fluid domain containing the active particles as interior boundaries.For most configurations of the suspension, an analytical solution is intractable, and a numerical approach is required.Many numerical methods (e.g., the Finite Element Method) discretize and solve the governing partial differential equations in the three-dimensional fluid domain.This can be computationally intensive.Moreover, if the domain is unbounded in one or more dimensions, the computational domain must be truncated.Typically, the computational domain must be large in order to accurately approximate an unbounded solution, and significant computational effort must be expended on calculating the flow, pressure, and concentration fields far away from the particles.
An alternative approach proceeds from the following insight: a linear boundary value problems can be reformulated as a boundary integral equation (BIE) on the domain boundaries [51,60].Furthermore, the boundary integral equation can be discretized for numerical solution, yielding a dense linear system of coupled boundary element equations in the form of A Á q ¼ b.One significant advantage of the boundary element method is that it requires discretization of only bounding surfaces; for instance, to represent an unbounded system of N particles, one need only mesh the surfaces of the N spheres.As a disadvantage, the coefficient matrix A is typically fully populated and non-symmetric; therefore, for a system of N elm elements, the required computer memory scales as O N 2 elm À Á , and the required computation time scales as O N 3 elm À Á .In order to obtain the BIE for the Laplace equation, we first consider the divergence theorem: where the volume integral on the left hand side is carried out over the entire solution domain V, and the surface integral on the right hand side is carried out over all boundaries S. We include a negative sign on the right hand side of the equation because we define n to point into the solution domain (see Figure 3).If A ¼ ϕ∇ψ, where ϕ x ð Þ and ψ x ð Þ are scalar fields, then the divergence term ∇ Á A ¼ ϕ∇ 2 ψ þ ∇ϕ Á ∇ψ, and we obtain Green's first identity: We can also write Green's first identity for A ¼ ψ∇ϕ: Subtracting Eq. 34 from Eq. 33, we obtain Green's second identity: where the Green's function G x; x 0 ð Þsatisfies Poisson's equation: We obtain: We have not yet specified the location of the pole x 0 .If x 0 is located in the domain V, then, using the properties of the Dirac delta function, we obtain an integral representation of the concentration field c x 0 ð Þ at a point x 0 ∈ V: Using the divergence theorem, can show that ∇ 2 We recall from electrostatics that G x; x 0 ð Þrepresents the electrostatic potential at x from a point charge of unit strength located at x 0 .Within the context of the steady diffusion equation ∇ 2 c ¼ 0, it has a different physical interpretation: it can be regarded as the steady concentration c x ð Þ at a point x due to a point-like, steady source of concentration, continuously injected into the system, located at x 0 and with unit strength (i.e., unit number density flux per unit time).One can take derivatives of G x; x 0 ð Þwith respect to x 0 to obtain higher order multipole singularities.For instance, we can obtain the Green's function G dp x; x 0 ð Þfor a source/sink dipole located at x 0 as As G dp x; x 0 ð Þis a vector quantity, we obtain a scalar contribution to c x ð Þ by multiplying with a dipole vector d; the magnitude and direction of d specify the strength and orientation of the dipole.
By inspection, the Green's function obeys the symmetry property G x; x 0 ð Þ= G x 0 ; x ð Þ, so we can rewrite Eq. 38 as Interestingly, we have obtained an expression for c x 0 ð Þ in the solution domain in terms of the values of c x ð Þ and ∇c x ð Þ Á n on the domain boundaries.Note that this is not a solution to a boundary value problem for c x 0 ð Þ, since a BVP specifies only one of the quantities c x ð Þ and ∇c x ð Þ Á n on the domain boundaries.Specifically, for the problem of a system of catalytic particles outlined above, we only know ∇c x ð Þ Á n a priori.Eq. 41 has an interesting physical interpretation: c x 0 ð Þ can be regarded as the concentration due to a distribution of monopoles (i.e., point sources of mass flux) with strength À∇c x ð Þ Á n on the boundaries, plus a distribution of point dipoles (i.e., infinitesimally separated pairs of mass sources and sinks) with strength c x ð Þ and orientation n on the boundaries.
We still have two other options for where to place x 0 : inside the boundary S (i.e., outside the solution domain V) or somewhere on the boundary S. If we place x 0 inside S, then the integral on the left hand side of Eq. 37 vanishes: Placing x 0 on the boundary requires some care in how to handle the Dirac delta function on the left hand side of Eq. 37.If we regard the Dirac delta as the limit of a sequence of distributions, then it is clear that a factor of one half should arise when we integrate over V: This is a boundary integral equation (BIE) because the left hand side is the concentration c x 0 ð Þ at a point on the boundary, while the right hand side is an integral of c x ð Þ and ∇c x ð Þ Á n over the same boundary.A boundary value problem typically specifies one of these two quantities on the boundary; the other can be obtained with Eq. 43.
In the boundary element method, the boundary integral equation is discretized for numerical solution.Here, we briefly summarize the method, and direct the reader to consult the useful and comprehensive book of Pozrikidis for further information [51].Each particle is represented as a meshed, closed surface.The meshing only needs to be done once; for a dynamical simulation, no remeshing during the simulation is required, even if the particles move relative to each other.The concentration c and its normal derivative ∇c Á n are assumed to be uniform over element i.For a point x 0 on the surface, we obtain the boundary integral equation: Choosing x 0 as the midpoint x j of element j, we can write N elm equations: The N elm equations can be written in matrix form: where and The Boundary Element Method for Fluctuating Active Colloids DOI: http://dx.doi.org/10.5772/intechopen.86738 Given either a specification of either c j (Dirichlet boundary conditions) or ∇c Á n ð Þ j (Neumann boundary conditions), the algebraic system in Eq. 46 can be solved numerically with standard methods.
A certain difficulty becomes apparent when we consider the element B ii : the evaluation point x i lies within the element of integration, and therefore the integral contains the singularity of Eq. 39.We are saved from a potentially disastrous situation by the fact that the integral is carried out over an area.Nevertheless, this singular integral has to be handled with care.Further technical information, as well as a wealth of practical details concerning implementation of the BEM, is available in Ref. [51].
As a further note, issues with singular integrals have motivated development of regularized boundary element methods, which use a regularized Green's function, i.e., a Green's function with the singularity "smeared out" over a finite size ε [52, 54, 61].

Boundary integral formulation of the Stokes equation
A similar approach can be taken for the Stokes equation [51,59].Recall that the Stokes equation is: We can define a Green's function G x; x 0 ð Þas the solution u x ð Þ G x; x 0 ð ÞÁF to the Stokes equation with a body point force F located at x 0 : or It can be shown that the Green's function is where r |x À x 0 | and where xj x j À x 0, j .Eq. 52 is commonly called the Oseen tensor or "Stokeslet".The fluid pressure in response to the point force is given by P x ð Þ P x; x 0 ð ÞÁF, where The stress in the fluid is given by σ Σ x; x 0 ð ÞÁF, where Now we wish to apply Eq. 30.We specify the "primed" fields u 0 and σ 0 as the fields due to a point force F at x 0 in unbounded fluid.For the "unprimed" fields u and σ, we specify that they are fields of interest in the domain V bounded by S (see Figure 3).Furthermore, V is free of body forces, so that ∇ Á σ ¼ 0. We obtain: We integrate both sides over the domain V: Now we apply the divergence theorem: where the negative sign appears because of our convention that n points into V.We note that Additionally, the choice of F k was arbitrary.We can therefore write: If we choose to place x 0 in V, we obtain a boundary integral representation for u k x 0 ð Þ: As with Eq. 41, the boundary integral representation for the flow field has an interesting physical interpretation.The first term on the right hand side of Eq. 60 can be regarded as a "single layer potential" due to a distribution of point forces with strength σ Á n over the surface of the particle.The second term on the right hand side is the "double layer potential."Detailed examination of this term reveals that it can be decomposed into the superposition of the flow due to a distribution u Á n of point sources and sinks of fluid mass, plus the flow to a distribution of point force dipoles [59].
If we place x 0 outside V, i.e., inside the space V p enclosed by the particles, we obtain Finally, if we place x 0 on the boundary S, we obtain a boundary integral equation: For rigid body motion, including the 6N "primed" problems for the Lorentz reciprocal theorem, the double layer can be eliminated from the boundary integral equation as follows [59].Consider extending the volume filled by "fluid" to V p .Within V p , the flow field u is simply the flow field u RBM for rigid body motion, since it must obey no-slip on the surface S. Now we apply Eq. 59 for the field u RBM inside V p and x 0 ∈ V, noting that we must use a normal n0 ¼ Àn pointing into V p : For rigid body motion, there is no shear stress and the pressure is uniform, i.e., σ RBM ij x ð Þn 0 ¼ Àp 0 n0 .The first term is simply the integral of G ik x 0 ; x ð ÞÁn 0 over the surface S for x 0 ∈ V, which vanishes identically by incompressibility.This leaves: Examining Eq. 62, we note that u x ð ), i.e., the flow velocity in V, is equal to u RBM on S. Therefore, we conclude: In order to obtain a single-layer boundary integral equation for x 0 ∈ S, note that the jump discontinuity responsible for the factor of 1=2 in Eq. 62 is strictly from the double-layer potential [59].The contribution of the single layer potential to the velocity field is continuous across S. We obtain: This single layer boundary integral equation can be discretized and solved numerically in a similar manner as the Laplace equation; Ref. 51 provides a comprehensive account.

Active suspensions in confined geometries
In the preceding, we considered a suspension of N particles in an unbounded three-dimensional geometry.However, the presence of confining boundaries can have a significant effect on the dynamics of a suspension.It is possible to include a solid surface by explicitly meshing it and including it as a "fixed" or immobile particle in the calculations [53].This approach is typically necessary for solid surfaces with corners or complex topography.One disadvantage of this approach is that an infinite surface (e.g., an infinite planar wall) must be truncated and included as a finite size object.Care must be taken that the mesh is sufficiently fine near the particles, so that, for instance, the concentration and flow fields do not "leak" through a solid wall, but also that the mesh is sufficiently coarse far away from the particles, so that computation time is tractable.
A second, "mesh-free" approach is suitable for confining geometries with high symmetry, such as an infinite planar wall [39], an interface between two fluids with different viscosities [62], a fluid domain bounded by a solid wall and a free interface [63], or even two infinite planar walls.Additionally, it can be suitable if the domain is periodic in two or three dimensions.In this approach, the Green's functions for the Laplace and Stokes equations are replaced with Green's functions that obey the desired boundary conditions on the bounding surfaces.The Green's function in the confined geometry can often be constructed by the method of images.

Thermal fluctuations
So far, we have considered the deterministic contributions to the 6N components of velocity for a suspension of N particles.However, as outlined in the Introduction, the interplay of these deterministic contributions and the stochastic Brownian forces on the particles is important-and in some problems, such as the long-time behavior of an active colloid, it is absolutely essential.
One approach to include Brownian forces on an active particle, the hybrid boundary element/Brownian dynamics method, simply calculates them separately and superposes them with the deterministic contributions.Using the Itô convention for stochastic differential equations, this superposition is expressed by the overdamped Langevin equation for the generalized, 6N-component coordinate q: where V is the deterministic contribution of activity to the generalized velocity , the solution to the problem outlined above; M is the grand mobility matrix M ¼ R À1 ; B satisfies B Á B T ¼ M; and W is a collection of independent Wiener processes.Discretizing time in steps of Δt, one can write a generalized displacement Δq as the following Euler-Maruyama equation [34,64]: where Δw is a stochastic variable with Δw h i ¼ 0 and Δw i Δw j ¼ δ ij Δt.The stochastic drift term ∇ Á M ð Þis a consequence of having a configuration-dependent mobility tensor in the framework of the Itô interpretation.
The update of the orientation of each particle α should respect the constraint that |d α | ¼ 1 and avoid any errors arising from application of (non-commuting) rotation matrices in arbitrary order to d α .There are robust algorithms for rigid body motion that represent the orientations of the particles with quaternions [65], Euler angles [66], or rotation matrices that transform between body-fixed and global reference frames [67].
The stochastic drift term in Eq. 68 can present some difficulty for numerical calculations [66].For some simple situations, such as a single spherical colloid near a planar wall [34,42], solutions for the configuration dependence of the mobility tensor are available in the literature [68,69].Alternatively, Eq. 67 can be discretized and solved via Fixman's midpoint method to avoid calculation of the drift term [70].
This approach assumes that that the colloid and the fluid are not fluctuating on the same timescale, i.e., the fluid velocity is integrated out as a fast variable.Additionally, for self-phoretic particles, this approach necessarily neglects fluctuations of the chemical field c x ð Þ in the fluid domain V.A recently developed variation of the boundary element method for Stokes flow, the fluctuating boundary element method, does not make this post hoc superposition of deterministic and Brownian contributions to particle motion.Rather, fluctuations are directly incorporated into boundary integral equation via a random velocity field on the boundary S [71].

Discussion and conclusions
The boundary element method is emerging as a powerful and important method for numerical simulation in the field of synthetic active colloids [30,52,[54][55][56][57].This new area of application follows many years of fruitful application to modeling biological microswimmers, including with the squirmer model [40,53].For active colloids, a major advantage of the boundary element approach is that it can resolve the microscopic details of phoretic self-propulsion, including the chemical and flow fields generated by an active colloid, the surface chemistry and shape of the colloid, and the microscopic physics of how the colloid can couple to ambient fields and confining surfaces.
A few examples serve to illustrate the utility of the approach.Ref.
[30] considers the dynamics of a spherical active Janus colloid near a planar wall.The colloid can "sense" and respond to the wall through self-generated chemical and hydrodynamic fields.Specifically, the wall provides a no-flux boundary condition for the solute concentration, and a no-slip boundary condition for the flow field.By confining the solute, the wall enriches the concentration of solute in the space between the particle and the wall, breaking the axial symmetry of the concentration field.Concerning the flow, the flow created by the particle scatters off the wall and back to the particle.These effects are captured by the boundary element method, including their dependence on the size of the catalytic cap and the spatial variation in the surface mobility b over the surface of the particle.As another example, Ref. [43] considers the dynamics of a photo-active spherical Janus colloid.The catalytic cap of the colloid is only active when exposed to incident light.This self-shadowing effect, in conjunction with the spatial variation of b on the surface of the colloid, leads to phototaxis (rotation of the cap towards the light) or anti-phototaxis (rotation of the cap away from the light.)Notably, this work uses the hybrid BEM/BD method to calculate the distribution of particle orientations as a function of illumination intensity and particle surface chemistry.Concerning the interaction of multiple particles, Ref. 57 uses the regularized BEM to calculate the dynamics of multiple isotropic spherical colloids.Interestingly, a group of N ¼ 5 particles can form a stable cluster with broken rotational symmetry.This broken symmetry allows propulsion of the whole cluster.Finally, concerning shape, the BEM has been used to model toroidal [54] and spherocylindrical [72] self-phoretic particles.
However, some caveats are in order.For the hybrid boundary element/Brownian dynamics method discussed in this work, neither the fluctuations of the suspending fluid nor of the chemical field(s) are explicitly resolved.For self-phoretic particles in the ångstrom to nanometer size range, the particles, the solute, and the solvent fluctuate on similar timescales.Additionally, the validity of the continuum description of the surrounding solution is questionable.Molecular and mesoscopic simulation methods that resolve discrete solute and solvent particles may be more appropriate in this size range [48].As a second caveat, boundary element methods are most suited to solution of linear governing PDEs, such as the Laplace and Stokes equations.Introducing nonlinearity in the governing equations (e.g., for a solution with nonlinear rheology or nonlinear bulk reaction kinetics) leads to the appearance of volume integrals in the boundary integral formulation.Thirdly and relatedly, the boundary element method is not as easily extensible as other methods (e.g., the finite element method) for inclusion of more complicated multiphysics.Finally, there is a caveat specific to active colloids.Much remains unknown about the reaction kinetics for self-phoretic particles.The boundary element method can have many free microscopic parameters (e.g., the values of the surface mobility b on different surfaces); this raises the danger of overfitting to experimental results.
As a potential direction of research, we suggest developing a hybrid computational method combining the advantages of BEM and Stokesian Dynamics (SD).Stokesian dynamics is a method for simulating the dynamics of colloidal suspensions [73-76].Far-field hydrodynamic interactions are included in SD, truncated at the level of the stresslet (i.e., the first moment of the stress on the surface of a particle, which produces a hydrodynamic disturbance decaying as $ 1=r 2 .)Nearfield hydrodynamic interactions are typically included via lubrication forces acting between particle pairs.Due to these approximations, Stokesian dynamics is computationally much cheaper than BEM, allowing access to collective dynamics, the rheology of dense suspensions, etc.On the other hand, SD does not typically resolve the microscopic details of individual particles, such as shape or heterogeneous surface chemistry.A hybrid BEM-SD method could combine the detailed microscopic resolution of BEM for near-field interactions with the ability of SD to capture many-body phenomena driven by far-field interactions.(This hybrid approach would bear some similarity to the fast multipole method.)In the Appendix at the end of this chapter, we develop a starting point for including interfacial flows v s x ð Þ within the standard SD formalism for spherical particles.
As a second potential research direction, one could consider deformable active particles using the BEM.The boundary element method for Stokes flow has been coupled to methods to model particle elasticity, including the finite element method, in order to study the deformation of fluid-filled capsules [77] and elastic particles in shear flow [78], as well as the deformation of blood cells squeezing through constrictions [79].
The boundary element method could also be used to investigate questions touching upon fundamental nonequilibrium statistical mechanics.For instance, do nonequilibrium steady states of squirmers or self-phoretic particles (e.g., stable clusters of catalytic particles [57]) minimize the rate of entropy production [80]?When do hydrodynamic interactions suppress or enhance motility-induced phase separation and other nonequilibrium phase transitions?Does the pressure of an active suspension on a boundary obey an equation of state when hydrodynamic and phoretic interactions with the boundary are considered [76,81]?
In any case, we anticipate that the boundary element method will continue to find successful application in the microswimmers field.A few potential problems include: modeling the collision dynamics and scattering of two or more nonspherical active colloids [72,82]; the interaction of an active colloid and a passive colloid, possibly including the formation of dimeric bound states for cargo transport; and further exploration of motion near bounding surfaces and interfaces, especially fluid/fluid interfaces.

A. Faxén laws and connection to Stokesian dynamics
Consider an inert (non-active) sphere of radius R in an ambient flow field u ∞ x ð Þ.The sphere has translational velocity U and rotational velocity Ω.The flow field u can be written as u is the velocity disturbance created by the presence of the sphere.The boundary condition for u D x ð Þ on the sphere surface S is Additionally, u D jxj !∞ ð Þ!0.Taking the sphere position to be x 0 ¼ 0, we can expand the ambient flow field around the sphere center as: Now we recall the definitions of the (symmetric) rate of strain tensor e ij , and the (anti-symmetric) vorticity tensor The vorticity tensor can be related to the vorticity vector w ¼ ∇ Â u by Here, ε is the Levi-Civita tensor.The first derivative in Eq. 70 can be decomposed into symmetric and anti-symmetric contributions: Using the Lorentz reciprocal theorem, one can obtain Faxén's law for the drag force on the sphere (see Ref. [59] for details): (In our shorthand notation, the Laplacian is first applied to u ∞ x ð Þ and then evaluated at x 0 .)One can also obtain Faxén law for the drag torque: where the angular velocity of the fluid ω 1 2 w.Finally, there is a Faxén law for the stresslet [59, 83, 84] where S is defined as an integral over the particle surface So far we have only presented standard results, but now we raise the following question.Consider an active sphere with a slip velocity v s x ð Þ. Comparing the boundary conditions in Eq. 3 and Eq.69, can we construct an ambient linear flow field with u ∞ x s ð Þ ¼ Àv s x s ð Þ on S? Constructing an effective flow field would allow us to obtain F drag , τ drag , and S by Faxén laws, without having to solve the complete hydrodynamic problem posed in Section II.Moreover, an understanding of how v s x ð Þ determines F drag , τ drag , and S would pave the way towards development of a hybrid BEM-Stokesian Dynamics scheme, since these quantities are central to SD.
As our starting point, we write the Taylor expansion of u ∞ x ð Þ: To obtain u ∞ i 0 ð Þ, we integrate both sides of Eq. 80 over the surface of the sphere: x j dS: We identify u ∞ i x ð Þ on the surface of the sphere as Àv s x s ð Þ.The second integral on the right hand side of Eq. 81 vanishes, giving Using Eq. 75, we obtain If we consider a force-free swimmer, F drag ¼ 0, giving the result: This equation is one of the major results obtained in Ref. 37 by use of the Lorentz reciprocal theorem.However, our rederivation and interpretation in terms of an effective ambient flow field u ∞ is (to our knowledge) novel.To obtain the vorticity associated with u ∞ , we multiply Eq. 80 by ε lmi x m and integrate over the sphere surface: The first integral on the right hand side of Eq. 85 vanishes.For the second integral on the right hand side, we use the identity ð x m x j dS ¼ 4πR 4  3 δ jm : We obtain: so that Using Eq. 76, we obtain: For a torque-free swimmer, τ drag ¼ 0, and we obtain a second major result from Ref. [37]: Finally, we consider how to obtain the stresslet S. We multiply Eq. 80 by x m and integrate over the surface of the sphere: x m x j dS: The first integral on the right hand vanishes, giving Swapping the indices i and m, we can also write: Adding these two equations and dividing by two, we obtain 1 2 Accordingly, Using the Faxén Law in Eq. 77, we obtain: This is the major result obtained in Ref. 84 via the Lorentz reciprocal theorem.As before, this manuscript provides a novel alternative derivation and interpretation of Eq. 97 in terms of an effective ambient flow field.(Note that, due to the linearity of the Stokes equation, our approach is easily extended to model active particles in a real ambient flow field.)

Figure 1 .
Figure 1.The two types of microswimmer considered in this chapter.In the spherical "squirmer" model (left), the slip velocity on the surface of the particle is specified by fiat and fixed (in a frame co-moving and co-rotating with the particle) for all time.For an axisymmetric distribution of surface slip, the particle moves in the direction of the green arrow, i.e., opposite to the (surface-averaged) direction of the slip velocity.For a Janus particle (right), a fraction of the particle surface (black) catalyzes a reaction involving various molecular species diffusing in the surrounding solution.The resulting anisotropic distribution of product molecules or "solute" (green spheres) drives a phoretic slip velocity (purple) in an interfacial layer surrounding the particle.For a repulsive interaction between the solute and the particle surface, the slip is towards high concentration of solute, and the particle moves in the direction of the green arrow.

Figure 3 .
Figure 3. Schematic illustration of the geometry for development of the boundary integral equations for the Laplace and stokes equations.The fluid domain is denoted by V, the solid domain by V p , and the interior of particle α by V p, α , where V p ¼ ∪ N α¼1 V p, α .The solid and fluid domains are separated by the particle surfaces S α , with S ¼ ∪ N α¼1 S α .The observation point x 0 can occur in V, in V, or on S; we show x 0 in V. ð