Open access peer-reviewed chapter

Operator Splitting Monte Carlo Method for Aerosol Dynamics

By Kun Zhou and Tat Leung Chan

Submitted: May 5th 2016Reviewed: August 10th 2016Published: December 28th 2016

DOI: 10.5772/65140

Downloaded: 761

Abstract

Aerosol dynamics are described by the population balance equation (PBE). In principle, three typical methods (i.e., direct discretization, method of moments, and stochastic method) have been widely used to solve the PBE. Stochastic method is the most flexible among the three methods. However, stochastic method is computationally expensive. Recently, an operator splitting Monte Carlo (OSMC) method has been developed so as to improve the numerical efficiency while preserving the flexibility of the stochastic method. Within the OSMC, nucleation and surface growth are handled with deterministic means, while coagulation is simulated with a stochastic method (the Marcus‐Lushnikov stochastic process). The stochastic and deterministic treatments of various aerosol dynamic processes are synthesized under the framework of operator splitting. Here, the operator splitting errors of various schemes are analyzed rigorously, combined with concrete numerical examples. The analyses not only provide sound theoretical bases for selecting the most efficient operator splitting scheme for the usage of the OSMC, but also shed lights on how to adopt operator splitting in other PBE solving methods, i.e., direct discretization, method of moments, etc.

Keywords

  • Monte Carlo simulation
  • aerosol dynamics
  • operator splitting

1. Introduction

Aerosols are dispersed systems of solid or liquid particles suspended in air. Aerosols are created during various natural processes and industrial operations [1], such as clouds, smoke particles from forest fires, sand and dust storms, volcanic dust, spores and seeds from plant life, fluidized catalysts, spray drying of fluids, atomization of liquid fuels, fly ash from stacks, soot in combustion flames, etc. Aerosol evolution is very complex, involving various physical and chemical processes. The most popular description of aerosol evolution is using the population balance equation (PBE) [2], which is also called the general dynamic equation in aerosol field [3]. The PBE is a convection‐diffusion type equation with source terms taking into account the particle formation and depletion from various aerosol dynamics, mainly nucleation, surface growth (condensation), and coagulation.

Analytical solutions to the PBE are available for only a few specific cases [47]. Mostly, numerical means are resorted to solve the PBE. There are generally three typical methods for solving the PBE, i.e., direct discretization, method of moments, and stochastic methods. Direct discretization may be in the particle size space, such as discretization by sections [8] or finite difference/finite element [9] and may also be in the functional space, such as those in the collocation method [10], Galerkin method [11], and weighted residual method [12]. Among the various discretizations, the sectional method pioneered by Gelbard et al. [8] is the most popular. There are quite a few sectional methods developed aiming to alleviate the nonpositiveness and nonconservation problems found in earlier works [13], and to obtain better efficiency and flexibility, such as the fixed/moving pivot method [14, 15] and cell average method [16, 17].

Other than solving the discretized PBE, a widely used alternative approach is the method of moments, which solves a group of moments equations derived from the PBE. These moments (generally several low order moments) provide important information on the particle size distribution (PSD) function, i.e., number density, volume fraction, polydispersity, etc. However, owing to the nonlinearity of the PBE, the governing equations for lower order moments generally contain higher order moments, which are not closed after cutting off at a certain order of moment. Various closure methods have been developed, such as unimodal log‐normal approximation [18], quadrature/direct quadrature [19, 20], interpolative closure [21], Taylor expansion [22], etc. Although the method of moments is computationally highly efficient, the complexity of the closure makes it difficult to accommodate complex physical models for aerosol dynamics with high flexibility. Another issue closely tied to method of moments is the realizability problem, when the moments sequence fails to find its corresponding distribution function [23, 24]. Among all the drawbacks, the inability to provide the PSD is the most severe, when the PSD is highly needed.

Stochastic simulation (or Monte Carlo simulation) does not solve the PBE, but to mimic the evolution of aerosol particles through a stochastic particle system. Based on the Marcus‐Lushnikov process modeling of coagulation [29], various stochastic methods have been developed to simulate the general aerosol evolution. It is very difficult to categorize precisely so many diversified methods. According to the evolution of time, there is time‐driven or event‐driven Monte Carlo [30, 31]. According to the different ways to weight the numerical particles, there are the mass flow algorithms [32, 33], differentially weighted algorithm [34], and the more general weighted flow algorithms [35]. Also, there are various types of methods to improve the simulation efficiency, such as the majorant kernel method [36] and the τleaping method [37].

Among the three typical methods, stochastic simulation is the most flexible for accommodating complex physical models for various aerosol dynamics, and is easy to implement without special numerical issues, which are often encountered in the other two methods, e.g., nonpositiveness and nonconservation problems in direct discretization, realizability problem in method of moments. However, stochastic simulation generally has convergence rate proportional to N, where Nis the number of total numerical particles used. The simulation cost (CPU time and memory) is usually proportional to N2[25]. Hence, stochastic simulation is not numerically efficient when pursuing a high precision solution. Recently, Zhou et al. [26] developed an operator splitting Monte Carlo (OSMC) method, which combines stochastic simulation for coagulation process and deterministic integration for nucleation and surface growth (condensation). Stochastic simulation for coagulation is much more efficient than directly solving the Smoluchowski integro‐differential equation (the coagulation model equation) with traditional discretization [27]. On the other hand, deterministic integration for nucleation and surface growth processes is far more efficient than stochastic simulations. The stochastic simulation and the deterministic integration in OSMC are synthesized under the framework of operator splitting. The accuracy and efficiency of the OSMC have been demonstrated through various testing cases [26]. Especially, the OSMC has been implemented with Message Passing Interface (MPI) to achieve very promising parallel simulation efficiency [26]. Here, the impact of various operator splitting schemes on the accuracy and efficiency of the OSMC is addressed.

2. Methodology

2.1. Governing equations

Aerosol particles are generally described statistically in a mesoscopic scale through defining the PSD, n(ξ,x,t), and n(ξ,x,t)dξdenotes the number density of aerosol particles at location xat time twith aerosol properties between ξand ξ+dξ. Here, ξis usually called an internal variable, which can be volume, surface, constituent, etc. For simplicity, it is assumed ξto be the particle size (volume or diameter specified by the context). It is worth pointing out that the OSMC method can also deal with the cases with a vector type ξ, i.e., combined properties to describe particles. In fact, the current OSMC code treats the diameter, surface, and volume of an aerosol particle independently, which can easily model particles of various morphologies, such as particles with fractal dimensions. The evolution of the PSD function satisfies the PBE (also called the general dynamic equation) [3]

nt+nu=Dn+Inuc+Gcond+Ccoag,E1

where uis the gas flow velocity, and Dis the diffusion coefficient. The source terms of Inuc, Gcond , and Ccoag on the right hand side denote nucleation, surface growth (condensation), and coagulation, respectively. The determination of the convection velocity urequires solving the fluid dynamics control equations, and the coupling of the fluid dynamics with the aerosol dynamics is another important research field. Here, the gas velocity uis assumed known, using some techniques (often computational fluid dynamics). It is worth pointing out that the coupling between the fluid dynamics and the aerosol dynamics is generally handled by the operator splitting method [11, 2830], i.e., to solve the fluid dynamics and the aerosol dynamics one by one with the feedback from the other dynamics temporarily freezing, and to iterate between these two dynamics to obtain a converged solution.

Another simplification in this work is to neglect the diffusion term in the PBE. For aerosol particles, the mass diffusion due to the number concentration gradient (Dn) is usually very small compared to the air viscous diffusion, which can be described by the Schmidt number (i.e., the ratio of the viscous diffusion to the mass diffusion). For example, under standard atmospheric conditions, a spherical particle with a diameter of 10 nm has a Schmidt number equal to 290, and a 100 nm particle has Schmidt number 2.2×104[3]. So it is legitimate to neglect the aerosol mass diffusion under very general conditions.

With the assumptions that the gas velocity uis known and the mass diffusion term is negligible, the PBE can be simplified as

nt*=Inuc+Gcond+Ccoag.E2

The convection term on the left hand side of the original PBE (1) has been implicitly solved with the introduction of the Lagrangian time t*

t*(x)=0xdxu(x),E3

The transformation converts the Eulerian point of view in Eq. (1) to the Lagrangian point of view in Eq. (2), with the help of the assumed known velocity field u. There are many practically interested conditions, where the flow field can be considered as steady and one‐dimensional, e.g., burner stabilized flames and counter flow diffusion flames. Then it is very easy to integrate Eq. (3) to build up a one‐to‐one mapping between the time and the spatial coordinate. Hence, the convection can be readily assimilated in the model Eq. (2). For general cases of aerosol evolution in three dimensional flows, it is possible to use the Lagrangian particle scheme to simulate the aerosol evolution along Lagrangian trajectories [31, 32]. So the model Eq. (2) and the subsequent OSMC method may have very broad applications. Later on, t*is simply denoted as t, since the Lagrangian point of view is not explicitly referred any longer.

The aerosol dynamic processes on the right hand side describe the interactions among molecules (or cluster of molecules) and particles. Nucleation is the process that dozens or hundreds of molecules form a stable critical nucleus. Surface growth includes physical condensation and surface chemical reactions, which involves interactions between gas phase molecules and an aerosol particle. Surface chemical reactions will not be discussed here due to their vastness. Coagulation is the process that two particles coalesce to form a new one. More details about the aerosol dynamic processes are presented in Section 2.2.

Figure 1.

Flowchart of the OSMC. Filled blocks denote steps where stochasticity arises. Adapted from Reference [26].

2.2. Operator splitting Monte Carlo method

Operator splitting is an efficient and powerful method to solve such evolution equations [33] as Eq. (2). In an operator splitting method, the time evolution of n(t)is still handled by the classical methods, such as the forward Euler method or Runge‐Kutta method. Other than to integrate all aerosol dynamic processes together in one time step δt, operator splitting separates the integration into multiple fractional steps. There are various ways to construct the multiple fractional steps, such as InucGcondCcoagor 12InucGcond12Ccoag, where 1/2 denotes a half integration step. The flowchart (Figure 1) shows an example how the operator splitting scheme InucGcondCcoagis carried out. Details of the various models for the aerosol dynamics are described in the following subsections, and the error analyses for various operator splitting schemes are given in Section 3.

2.2.1. Nucleation

Nucleation is the gas‐to‐particle transition to generate nascent nanoparticle. There are various nucleation models, largely based on the classical nucleation theory developed in the 1920–1940s [34]. In the classical nucleation theory, there are two key parameters for the nucleation modeling, i.e., the nucleation rate (how many particles are nucleated per unit volume, unit time), and the critical size, which is the minimum size of nucleated particles with stable nucleus. According to the classical Becker‐Döring theory [3, 35], the nucleation rate Iand critical diameter dare

I=PvxvkBT2σπmexp(16πσ3m23(kBT)3ρp2(lnS)2),E4
dp=4σvmkBTlnS.E5

Here, Pvis the vapor pressure, xvis the mole fraction of the vapor, mis the molecular mass of the nucleation vapor, ρpis the particle density, Tis the temperature, S=Pv/Psatis the vapor saturation ratio, kBis the Boltzmann constant, σis the surface tension, and vm=m/ρpis the molecular effective volume of the nucleation vapor. Hence, the nucleation term in Eq. (2) can be expressed with the help of the Dirac delta function as

Inuc=Iδ(dpdp)ddp,E6

which means that only particles with the critical size are nucleated.

Within the OSMC, nucleation model is not limited to the classical nucleation theory. Any other nucleation model can be readily included, should only the nucleation rate and the critical size be provided.

2.2.2. Surface growth (condensation)

The functional form of the particle volume growth rate due to condensation depends on the Knudsen number Kn=2λ/dp, i.e., the ratio between the air mean free path λand the particle radius dp/2. In the free molecular regime (Kn10) and the continuum regime (Kn0.1), the condensational growth rates can be derived from the gas kinetic theory and the gradient diffusion model, respectively. In the transition regime (0.1<Kn<10), interpolation formulas are usually used, such as the harmonic mean of the free molecular and continuum regimes. The expressions for volume growth rate Gvand the condensation term Gcondare [3]

Gv={πdp2(PvPp)vm(2πmkBT)1/2,Kn102πDdp(PvPp)vmkBT,Kn0.1harmonicmean,0.1<Kn<10E7
Gcond=(nGv)v.E8

Here, Ppis the equilibrium vapor pressure for particles of size dp, which is usually assumed to be the saturation pressure of the condensation vapor. For particles close to the critical size, the Kelvin correction is also required [3].

Within the OSMC, any other surface growth model can also be accommodated, should only the particle volume growth rate be provided.

2.2.3. Stochastic simulation of coagulation

Coagulation is the process that two particles coalesce/aggregate to form a new particle. The coagulation dynamics is modeled by the well‐known Smoluchowski's equation [3]

Ccoag=120vβ(v,vv˜)n(v˜)n(vv˜)dv˜0β(v,v˜)n(v)n(v˜)dv˜.E9

The coagulation kernel function β(v,u)describes the rate at which particles of size vcoagulate with particles of size u. The first term on the right‐hand side denotes the formation rate of particles with volume vdue to coagulation between particles v˜and vv˜. (Volume is conserved before and after coagulation.) The half factor (1/2) is to correct the double‐counting effect. The second term on the right‐hand side describes the depletion rate of particles with volume vdue to their coagulation with any other particles. Practically, the coagulation kernel function β(v,u)is very hard to find, except for simplified conditions. In the free molecule regime (Kn10), βhas the form [3]

β(v,u)=(6π)2/3(πkBT2ρp)1/2(1v+1u)1/2(v1/3+u1/3)2.E10

In the continuum regime (Kn0.1), βtakes the form [3]

β(v,u)=2kBT3μ(1v1/3+1u1/3)(v1/3+u1/3),E11

where μis the dynamic viscosity of the gas‐phase. In the transition regime (0.1<Kn<10), interpolation formula taking into account the former two regimes are generally used.

Although the Smoluchowski's equation was developed one century ago, and it has received broad attention in diverse fields, no analytical solutions are known for the kernels discussed above. Analytical solutions known so far are only limited to the following three simple kernels (or their linear combination) [5], i.e., (i) β(v,u)=1, (ii) β(v,u)=v+u, and (iii) β(v,u)=vu.

Other than to solve the Smoluchowski's equation directly through various numerical means, the coagulation process is simulated by the Marcus‐Lushnikov stochastic process in the OSMC. The Marcus‐Lushnikov process is the natural stochastic analogue of the finite discrete Smoluchowski coagulation equation. The well‐known review paper [5] provides a wide‐ranging survey on the Marcus‐Lushnikov process and the Smoluchowski's equation. Here, we follow the work of Gillespie [25], and give an intuitive introduction to the stochastic simulation of coagulation.

In a virtual box of volume V, there are N“well‐mixed” particles. Any two particles may coalesce/aggregate to form a new one at a random time. The propensity Cijof coalescence between two particles iand jis determined by the coagulation kernel Cij=β(i,j)/V. Let P(τ,i,j)dτdenote the probability that the next coalescence will occur in the time interval (τ,τ+dτ)between iand j(i<j), then it is found [25]

P(τ,i,j)=Cijexp[k=1N1l=k+1NCklτ].E12

In essence, the simulation is to randomly pick up two particles iand jto coalesce (forming a new particle) at the random time τaccording to the joint probability density function P(τ,i,j). Repeat the former process as time advances. During the simulation, the number of particles drops, and the particle number density drops also.

The key step in the simulation is to generate a random point (τ,i,j)according to the density function P(τ,i,j). The random coagulation time τsatisfies a Poisson process (the exponential distribution), and it can be generated as

τ=1C0ln(1r1),E13

where C0=i=1N1j=i+1NCij, and r1is a random number picked from the uniform distribution in the unit interval. Eq. (13) gives the classical way to generate a random variate from the exponential distribution with parameter C0.

After selecting the time at which two particles coagulate, the next step is to randomly select two particles according to the probability function P2(i,j)=Cij/C0. Loosely speaking, C0is the total coagulation probability between any two particles, and P2(i,j)is the fraction of the coagulation probability Cijover C0. Gillespie [25] introduced two methods to choose iand j, the so‐called full conditioning and partial conditioning methods. In the full conditioning method, the selection of iand jis accomplished in two steps. During the first step, calculate the partial sum Ci=k=i+1NCik, (i=1,,N), then combine the Npartial sums in sequential to form a range with the index ifrom 1 to Ndenoting the part for each partial sum, and then it is straightforward to build up a linear mapping between the range and the unit interval (0,1). Draw a random number from the uniform distribution, and check the random number landing on which corresponding part in the range, and then select particle iby the part index. During the second step, combine Cij,(j=i+1,,N)in sequential to form another range, and build up the linear mapping between the new range with the unit interval, then draw another random number to determine the particle jin a similar way as in the first step. In the partial conditioning method, it is actually an acceptance‐rejection method to generate a bivariate random number (i,j)from the function P2(i,j). In a general acceptance‐rejection algorithm to generate a vector random variable Xwith density f(x), it needs to choose a density function g(x)and a constant c1such that cg(x)f(x). The algorithm proceeds as follows [36]:

  1. Generate Yfrom density g.

  2. Generate Ufrom the uniform distribution on the interval (0,cg(Y)).

  3. If Uf(Y), then set X=Y; else, return to 1.

The density function g(x)can be chosen freely. However, the optimal choice is to make the interval in 2 as small as possible, so that there is a better chance that Uf(Y)so as to accept Yas the required Xwithout too often rejections and repetitions of the whole process. In the acceptance‐rejection method [25] to generate iand jaccording to P2(i,j), g(x)is chosen as a uniform function, and cis an upper bound of all Ci,j(preferably the smallest upper bound). It is argued [25] that when the values of Cijare relatively comparable with each other (ideally constant) the particle conditioning method should be more efficient than the full conditioning method.

Within the OSMC, both the full and particle conditioning methods have been implemented to choose from easily.

2.3. Full algorithm for the OSMC

Figure 1 shows the flowchart of OSMC including all aerosol dynamics. Only the first‐order operator splitting is sketched in the figure.

At time t=0, the simulator is initialized with given parameters, i.e., number of Monte Carlo (MC) particles N, simulator size V, and the initial PSD. The simulator size is determined as V=N/M0, where M0is the initial number density. If simulation starts from an empty case, i.e., M0=0, then the simulator is initialized with Nparticles of uniform size (the real value of the size is immaterial to the simulation results), and the simulator size is set to a huge value, say V=1010, which renders a tiny particle number density to approximate the condition M0=0. If simulation starts from a case with a specific PSD, then the size of the Nsimulation particles is assigned by a stochastic process to satisfy the initial PSD. There are various convenient ways to generate random number to satisfy a given distribution [37], although they are usually not necessary in Monte Carlo simulation of aerosol dynamics, since mostly the simulation starts from an empty case.

In the particles nucleation step, the simulator size Vis adjusted to reflect the change of particle number density due to nucleation. Nascent nucleated particles are added to the pool of MC particles. If the total number of MC particles exceeds the maximum allowable threshold value (which is set beforehand to balance the stochastic error and numerical cost), then down‐sampling is performed, i.e., exceeding MC particles are randomly removed from the pool to satisfy the number constraint. And then every MC particle undergoes the surface growth process according to its growth rate (usually depends on its size).

The coagulation simulation process (those steps grouped in the dashed bounding box Xsin Figure 1) shows how to implement the stochastic algorithm of Gillespie [25]. Updating coagulation kernel is to calculate the pair coagulation rate Cij=β(vi,vj)/V,(i=1,,N1,j=i+1,,N). The random coagulation time τis generated according to Eq. (13). The comparison statement τsum+τ<δtis to judge whether the time for two particles to coagulate is still admissible within the discrete time step δt. Here τsumis the accumulated coagulation time in the coagulation step, which is initialized to zero before a coagulation step begins. If the comparison statement is true, two particles are selected to perform coagulation, and the number of MC particles decreases by one. The subsequent up‐sampling step is to keep the number of MC particles above a given threshold to avoid severe stochastic error.

3. Error analyses for operator splitting

Aerosol dynamics usually contain nucleation, surface growth, and coagulation processes. These processes have very different effects on the evolution of the total number density and volume fraction, which are the two most important statistics of aerosol particles. For the number density, it increases due to nucleation while decreases due to coagulation, and it does not change in the surface growth process (mainly condensation). For the volume fraction, it is conserved in the coagulation process. The volume fraction is generally dominated by surface growth process, and nucleation has limited contribution to the volume fraction directly, because nucleated particles are very small in size.

Nucleation is generally a function of the temperature and the nucleated vapor concentration, and it does not depend on the aerosol status (number density, particle size, etc). However, both condensation and coagulation are closely related to the number density, which is largely determined by the nucleation process. On the other hand, condensation and coagulation are usually loosely coupled through particle size and number density. Therefore, it is convenient and meaningful to consider two isolated cases: (i) nucleation + coagulation, which determine the number density, and (ii) nucleation + condensation, which determine the volume fraction.

3.1. Case of nucleation + coagulation

Before discussing the case of nucleation and coagulation, we introduce an integral transformation of the Smoluchowski's equation (9), which is very useful to understand the evolution of the moments of the PSD. Suppose F(v)is an arbitrary function of v, and let

M(t)=0F(v)n(v,t)dv,E14

then from the Smoluchowski's equation (9), it can be derived [1]

dM(t)dt=1200[F(v+u)F(v)F(u)]β(v,u)n(v,t)n(u,t)dudv.E15

Specifically, when F(v)=vk,(k0), Mk(t)is the kthorder moment, and Eq. (15) transforms to the dynamic equation for the moment Mk(t)

dMk(t)dt=1200[(v+u)kvkuk]β(v,u)n(v,t)n(u,t)dudv.E16

One interesting but somewhat overlooked conclusion [1] is that the right hand side of Eq. (16) is negative if k<1, and it is positive if k>1, which mean that Mkwill grow with time for k>1, and it will decrease with time for k<1. Especially, M1(t)is constant with time. Actually, M1is the volume fraction, which is conserved during the pure coagulation process. M0is the total number density, which does decay due to coagulation. It is worth pointing out that although fractional moments (with kbeing a fraction number) do not possess obvious physical meaning, they are very useful in the method of moments with the interpolative closure [21] or with the Taylor expansion closure [22].

In the case of constant rate nucleation and constant kernel coagulation, the number density (M0) satisfies the following simple model equation

dM0dt=J+KM02.E17

One the right‐hand side, the first term models the contribution to the number density from nucleation, and Jrepresents the nucleation rate (number of particles nucleated per unit volume per unit time). The second term models the contribution from coagulation, and K=12β0, where β0is a constant coagulation kernel. In fact, in the moment dynamic Eq. (16) if the coagulation kernel is the constant β0and let k=0(to obtain the number density equation); we immediately have 12β0M02on the right‐hand side. The notation K=12β0(be aware of the negative sign) is found to be able to greatly simplify the following analyses.

The assumption of a constant nucleation rate and a constant coagulation kernel does not severely limit the applicability of the following discussion on the operator splitting errors for the more general case of nucleation and coagulation. The analyses focus on the local error in a generally small single time step. Hence, even a time‐dependent nucleation rate J(t)can be readily assumed constant within the single time step. On the other hand, the coagulation kernel βis a bivariate function of colliding particles sizes. Mathematically, it is possible to find a β0that satisfies

β0M02=β000n(v,t)n(u,t)dudv=00β(v,u)n(v,t)n(u,t)dudv.E18

Of course, the right β0depends not only on the specific βfunction, but also on the distribution n. Here, we assume that a good estimate of β0is available and will not delve into this issue further.

Given the initial condition M0(t=0)=M0*, the model Eq. (17) has analytical solution

M0(t)=JKKtan[tJK+arctan(M0*KJK)].E19

In fact, a solution of the same Eq. (17) is found as [7]

M0(t)=JKKtanh[tJK+arctanh(M0*KJK)].E20

Since, K=12β0<0the solution Eq. (19) involves imaginary numbers. Using their relation to the complex exponential function, it is easy to show that Eqs. (19) and (20) are actually equivalent. Although the solution Eq. (20) (with Kreplaced by 12β0) is more natural, the form in Eq. (19) proves more handy in the following analyses. Here, we expand Eq. (19) at t=δtas Taylor series for later usage

M0(δt)=M0*+(KM0*2+J)δt+K(KM0*2+J)M0*δt2+13K(3K2M0*4+4JKM0*2+J2)δt3+O(δt4).E21

On the other hand, we can try to use the operator splitting method to solve the same Eq. (17), and compare the obtained solutions with the true solution (19) to quantify the operator splitting errors. There are various operator splitting schemes. Here, we will focus on two first‐order Lie schemes and two second‐order Strang schemes, i.e., (i) InucCcoag, (ii) CcoagInuc, (iii) 12InucGcoag12Inuc, and (iv) 12CcoagInuc12Ccoag.

In the operator splitting method, the following two joint equations are solved

dM0(1)dt=J,E22a
dM0(2)dt=KM02.E22b

(i) Lie scheme InucCcoag(Denoted as Lie1)

To seek the solution at t=δt, Eq. (22a) is solved first with the given initial condition at t=0, then Eq. (22b) is solved with the just obtained solution at t=δtas the initial condition.

Eq. (22a) has solution:

M0(1)(t)=Jt+M0*.E23

Hence, M0(1)(δt)=Jδt+M0*. Take M0(1)(δt)as the initial condition and solve Eq. (22b), then the final solution is found as

M0(OP)(t)=Jδt+M0*JKδtt+KM0*t1.E24

Let t=δtin the above equation, and expand it into Taylor series

M0(OP)(δt)=M0*+(KM02+J)δt+K(KM0*2+2J)M0*δt2+O(δt3).E25

The operator splitting error can be found by comparing the two Taylor expansion series (25) and (21)

Er0i)=M0(OP)(δt)M0(δt)=M0*JKδt2+O(δt3)=12M0*Jβ0δt2+O(δt3).E26

(ii) Lie scheme IcoagCnuc(Denoted as Lie2)

The analysis is quite similar to case (i), except that the solution procedure for the two joint Eqs. (22a) and (22b) is reversed. The final solution is

M0(OP)(δt)=JδtM0*KM0*δt1,E27

and its Taylor expansion is

M0(OP)(δt)=M0*+(KM02+J)δt+K2M0*3δt2+O(δt3).E28

Hence, the operator splitting error is

Er0ii)=M0*JKδt2+O(δt3)=12M0*Jβ0δt2+O(δt3).E29

(iii) Strang scheme 12InucCcoag12Inuc(Denoted as Strang1)

Here, the solution to the joint Eqs. (22) is carried out in three steps. First, Eq. (22a) is solved with the initial condition M0(0)=M0*to get the solution M0(1)(t). Second, M0(1)(12δt)is used as the initial condition to solve Eq. (22b) to get the solution M0(2)(t). Finally, M0(2)(δt)is used as the initial condition at t=12δtto solve Eq. (22a) again. The final solution at t=δtis found as

M0(OP)(δt)=12JδtJδt+2M0*JKδt2+2KM0*δt2,E30

and its Taylor expansion is

M0(OP)(δt)=M0*+(KM0*2+J)δt+K(KM0*2+J)M0*δt2+14K(4K2M0*4+6KJM0*2+J2)δt3+O(δt4).E31

Hence, the operator splitting error is

Er0iii)=JK12(2M0*2KJ)δt3+O(δt4)=Jβ024(M0*2β0+J)δt3+O(δt4),E32

(iv) Strang scheme 12CcoagInuc12Ccoag(Denoted as Strang2)

Similar to case (iii), the final solution is found as

M0(OP)(δt)=2JKM0*δt22Jδt2M0*JK2M0*δt3+2JKδt2+4KM0*δt4,E33

and its Taylor expansion is

M0(OP)(δt)=M0*+(KM0*2+J)δt+K(KM0*2+J)M0*δt2+14K(4K2M0*4+5KJM0*2+2J2)δt3+O(δt4).E34

Hence, the operator splitting error is

Er0iv)=JK12(M0*2K+2J)δt3+O(δt4)=Jβ048(M0*2β0+4J)δt3+O(δt4),E35

To summarize, the two Lie schemes have the same magnitude in splitting error, both are of second order in δtwithin a time step. So the global integration error during time tallis of order δt, since the error will accumulate in tall/δtsteps. The Lie1 scheme underestimates the number density, while the Lie2 scheme overestimates that. This is because coagulation rate closely depends on the number density, the higher the number density, the faster the coagulation rate. Coagulation rate would be overpredicted if nucleation is integrated before coagulation, hence the number density would be underpredicted as in Lie1, and vice versa.

The splitting errors in the two Strang schemes are of third order in δtwithin a time step, which renders them a second‐order scheme globally. The Strang1 scheme is found to overestimate the number density, while the two Strang2 scheme to underestimate that. The magnitude of the absolute errors in these two schemes can be compared through investigating the coefficients of δt3in Eqs. (32) and (35)

2(M0*2β0+J)(M0*2β0+4J)=M0*2β02J.E36

If 12M0*2β0<J, i.e., coagulation rate is smaller than nucleation rate, the absolute splitting error in Eq. (32) is smaller than that in Eq. (35). When 12M0*2β0J, the error in Eq. (33) approaches a half of that in Eq. (36). On the other hand, when 12M0*2β0J, the error in Eq. (32) nearly doubles that in Eq. (35). Hence, in the Strang schemes it is preferable to split the higher rate process into symmetric substeps to reduce the splitting error.

Only the most common first and second‐order operator splitting schemes are discussed so far. They are systematical ways to construct even higher order schemes. Especially, a third‐order scheme [38] can be obtained through the combination of the two Lie and two Strang schemes. Here, we are not interested to discuss the even higher order schemes other than the Lie and Strang schemes, since higher order schemes are complicate to implement and may not be worthy for the solving the aerosol dynamics. One interesting conclusion [38] is that the scheme 23(Strang1+Strang2)+14(Lie1+Lie2)is of third order, which can be used to check the accuracy of the above derivations. Keep the third‐order term δt3in the error functions (26), (29), (32), and (29), then calculate the error in the third‐order scheme constructed as mentioned shortly before, it is found that only terms involving δt4and higher orders survive. This is an indirect proof that all the derivations of the error functions are correct.

Following, we will briefly discuss the splitting errors for higher order moments other than M0. Since the total volume is conserved during coagulation, nucleation, and coagulation are independent of each other with respect to M1(volume fraction). Hence, there are no splitting errors for predicting M1for M2, the model equation for nucleation and coagulation can be easily derived from Eqs. (6) and (16) as

dM2dt=Jv*2+12β000(2vu)n(v,t)n(u,t)dudv=Jv*2+M12,E37

and M1is determined by nucleation only, which can be integrated as

M1(t)=Jv*t+M1*.E38

Here, v*is the critical volume of nucleated particle, and M1*is the initial value at t=0. The solution to Eq. (37) is

M2(t)=13J2v*2β0t3+Jv*M1*β0t2+(Jv*2+β0M1*2)t+M2*.E39

Similar to the above error analyses, the four splitting errors for solving Eq. (37) can be readily obtained as

Er2i)=13β0Jv*(2Jv*δt+3M1*)δt2,E40a
Er2ii)=13β0Jv*(Jv*δt+3M1*)δt2,E40b
Er2iii)=112β0J2v*2δt3,E40c
Er2iv)=16β0J2v*2δt3.E40d

The splitting errors for the two second‐order Strang schemes are independent of the initial conditions.

3.2. Case of nucleation + condensation

Here, a case with constant nucleation rate and constant condensation growth in diameter is considered. A constant growth rate in diameter is not arbitrary at all. Eq. (7) gives the volume growth rate due to condensation as a piecewise function. The particle diameter growth rate function can be obtained easily through the sphere volume formula v=π6dp3. The detailed function can also be found in reference [31]. In fact, the particle diameter growth rate in the free molecular regime is independent of its size, which can be seen as a constant determined by environmental parameters (vapor pressure and temperature). In the following discussion, the particle diameter growth rate is assumed as G. In this subsection, the moments are defined with respect to the particle diameter dpother than the volume Mk=n(dp)dpkddp. No attempt is sought to distinguish the symbols for moments defined differently, with the hope to reduce new symbols and to bring no confusion.

The dynamic equations for moments due to pure nucleation (to generate particles with diameter dp*at rate J) can be easily obtained with the help of the Delta function (6), which are

dM0(1)dt=J,E41a
dM1(1)dt=Jdp*,E41b
dM2(1)dt=Jdp*2,E41c
dM3(1)dt=Jdp*3.E41d

The dynamic equations for moments due to condensation (at a constant diameter growth rate G) are

dM0(2)dt=(nG)dpddp=0,E42a
dM1(2)dt=(nG)dpdpddp=Gnddp=GM0(2),E42b
dM2(2)dt=(nG)dpdp2ddp=2Gndpddp=2GM1(2),E42c
dM3(2)dt=(nG)dpdp3ddp=3Gndp2ddp=3GM2(2).E42d

Hence, the dynamic moments equations for nucleation and condensation are

dM0dt=J,E43a
dM1dt=Jdp*+GM0,E43b
dM2dt=Jdp*2+2GM1,E43c
dM3dt=Jdp*3+3GM2.E43d

Assume the initial condition at t=0is [M0*, M1*, M2*, M3*], then Eq. (43) has solution

M0(t)=Jt+M0*,E44a
M1(t)=12JGt2+(Jdp*+GM0*)t+M1*,E44b
M2(t)=13JG2t3+(Jdp*+GM0*)Gt2+(Jdp*2+2GM1*)t+M2*,E44c
M3(t)=14JG3t4+(Jdp*+GM0*)G2t3+32(Jdp*2+2GM1*)Gt2+(Jdp*3+3GM2*)t+M3*.E44d

On the other hand, the operator splitting can be used to solve Eqs. (41) and (42). Parallel to the analyses in Section 3.1, four splitting schemes are considered as follows.

(i) Lie scheme InucGcond(Denoted as Lie1)

After solving Eqs. (41) and (42) sequentially, the final solution at t=δtis found as

M0OP(t)=Jt+M0*,E45a
M1OP(t)=JGt2+(Jdp*+GM0*)t+M1*,E45b
M2OP(t)=JG2t3+(2Jdp*+GM0*)Gt2+(Jdp*2+2GM1*)t+M2*,E45c
M3OP(t)=JG3t4+(3Jdp*+GM0*)G2t3+(3Jdp*2+3GM1*)Gt2+(Jdp*3+3GM2*)t+M3*.E45d

The splitting error is found by comparing the splitting solution (45) with the exact solution (44)

Er0i)=0,E46a
Er1i)=12JGδt2,E46b
Er2i)=Jdp*Gδt2+23JG2δt3,E46c
Er3i)=32Jdp*2Gδt2+2JG2dp*δt3+34JG3δt4.E46d

(ii) Lie scheme GcondInuc(Denoted as Lie2)

After solving Eqs. (42) and (41) sequentially, the final solution at t=δtis found as

M0OP(t)=Jt+M0*,E47a
M1OP(t)=(Jdp*+GM0*)t+M1*,E47b
M2OP(t)=G2M0*t2+(Jdp*2+2GM1*)t+M2*,E47c
M3OP(t)=G3M0*t3+3G2M1*t2+(Jdp*3+3GM2*)t+M3*.E47d

The splitting error is found by comparing the splitting solution (47) with the exact solution (44)

Er0ii)=0,E48a
Er1ii)=12JGδt2,E48b
Er2ii)=Jdp*Gδt213JG2δt3,E48c
Er3ii)=32Jdp*2Gδt22Jdp*G2δt314JG3δt4.E48d

(iii) Strang scheme 12InucGcond12Inuc(Denoted as Strang1)

After sequentially solving Eq. (41) with half time step δt/2, then Eq. (42) with full time step, and then Eq. (41) with half step again, the final solution at t=δtis found as

M0OP(t)=Jt+M0*,E49a
M1OP(t)=12JGt2+(Jdp*+GM0*)t+M1*,E49b
M2OP(t)=12JG2t3+(Jdp*+GM0*)Gt2+(Jdp*2+2GM1*)t+M2*,E49c
M3OP(t)=12JG3t4+(32Jdp*+GM0*)G2t3+(32Jdp*2+3GM1*)Gt2+(Jdp*3+3GM2*)t+M3*.E49d

The splitting error is found by comparing the splitting solution (49) with the exact solution (44)

Er0iii)=0,E50a
Er1iii)=0,E50b
Er2iii)=16JG2δt3,E50c
Er3iii)=12JG2dp*δt3+14JG3δt4.E50d

(iv) Strang scheme 12GcondInuc12Gcond(Denoted as Strang2)

After sequentially solving Eq. (42) with half time step δt/2, then Eq. (41) with full time step, and then Eq. (42) with half step again, the final solution at t=δtis found as

M0OP(t)=Jt+M0*,E51a
M1OP(t)=12JGt2+(Jdp*+GM0*)t+M1*,E51b
M2OP(t)=14JG2t3+(Jdp*+GM0*)Gt2+(Jdp*2+2GM1*)t+M2*,E51c
M3OP(t)=18JG3t4+(34Jdp*+GM0*)G2t3+(32Jdp*2+3GM1*)Gt2+(Jdp*3+3GM2*)t+M3*.E51d

The splitting error is found by comparing the splitting solution (51) with the exact solution (44)

Er0iv)=0,E52a
Er1iv)=0,E52b
Er2iv)=112JG2δt3,E52c
Er3iv)=14JG2dp*δt318JG3δt4.E52d

To summarize, there is no splitting error for the number density (M0), which is solely determined by nucleation. For M1to M3, all Lie schemes are of first order (globally), and the leading errors are of opposite sign between Lie1 and Lie2. For Strang schemes, the splitting error for M1is also zero, and the errors for M2and M3are of second order. In Lie1 and Strang1 scheme, the splitting solutions overpredict the high order moments, since nucleation in the prestep produces more than real particles to grow in condensation. On the other hand, Lie2 and Strang2 underpredict the high order moments. Since the splitting errors are in closed form of the time step δt, it is possible to construct higher order splitting scheme with zero splitting error for all moments.

Furthermore, the leading order (with respect to δt) splitting errors for any two subsequent moments differ by a factor of dp*, which renders the relative errors (splitting errors divided by the corresponding moments values) comparable among various moments, since two subsequent moments also differ by a factor of the particles average diameter according to the moment definition. The splitting errors are independent of the initial conditions, i.e., M0*, M1*, M2*, and M3*, which seems strange at first glance. In fact, the splitting errors are anchored to the moment's evolution. Take the M1splitting error in the Lie1 scheme as example, the error contains the factor JG, while the leading order in the analytical solution for M1in Eq. (58) also contains exactly the same factor JG. Then only the time step δtmatters when calculating the relative error. Generally speaking, the relative errors due to the operator splitting are small, almost independent of the nucleation rate and the condensational growth rate.

4. Numerical examples

4.1. Case of nucleation + coagulation

Corresponding to the error analyses in Section 3.1, the case of constant nucleation and constant coagulation are simulated with the OSMC. The coagulation kernel and nucleation rate are set as unit β0=1, and J=1. Initially particles are mono dispersed with unit volume size, and the number density is M0*=1. Nucleated particles also have unit volume size.

Figure 2 shows the number density (M0) simulated by the four schemes, compared against the analytical solution (19). All the simulations use fixed time step δt=0.1, with N=2000Monte Carlo particles. The OSMC results are averaged over dozens of independent simulations to eliminate the randomness. Lie1 scheme is found to systematically underpredict the number density, while Lie2 to overpredict. Strang1 gives result negligibly higher than the analytical solution. Strang2 slightly underpredicts the true solution. All these findings agree extremely well with the analyses in Section 3.1. It is also found that Strang1 shows better precision than Strang2, that is because nucleation rate is higher than the coagulation rate (J=1>12β0M0*=12), and the higher rate process nucleation is split in Strang1, as explained in Section 3.1 also.

Figure 3 compares M2among the four splitting schemes and the analytical solution (39). Lie1 is found to overestimate M2a little bit, while Lie2 to underestimate. The second‐order Strang schemes give result almost indistinguishable from the analytical solution. Although second‐order Strang schemes give better results than the Lie schemes, the discrepancy is not so significant as that for M0in Figure 2.

Figure 2.

Evolution of total particle number density M0 for constant kernel coagulation and constant rate nucleation (δt=0.1).

Figure 3.

Evolution of moment M2 in case of constant kernel coagulation and constant rate nucleation (moment is defined with respect to the particle volume).

Both the error analyses and the numerical examples above show that the second‐order Strang schemes have much higher precision than the first‐order Lie schemes. Within the OSMC, coagulation is the most computationally intensive part, and nucleation only makes a tiny fraction of the total time cost. The Strang1 scheme has much higher precision than the Lie schemes, and only needs to integrate nucleation twice often as in the Lie schemes, where the computational overhead is negligible. Strang2 needs nearly double computational cost as Strang1, and Strang2 outperforms Strang1 in precision only if 12β0M0*2>J. The best performance of Strang2 over Strang1 is to nearly double the precision when β0M0*2J. Hence, Strang1 is the optimal splitting scheme taking both the numerical precision and cost into account.

Another general conclusion is that only M0needs to be concerned when considering the operator splitting errors. Operator splitting generally produces less errors for higher order moments. The M2splitting errors for the Strang schemes contain the factor of the critical volume of nucleated particles, which is generally very small. Taking a more practical numerical example of dibutyl phthalate (DBP) aerosol nucleation and coagulation in a turbulent mixing layer [26], the critical volume v*is of order 1027m3, which renders very small splitting errors for high order moments. However, the splitting error for M0may be still significant, and needs proper splitting scheme combined with small enough time step to satisfy the given error criteria.

Figure 4.

Evolution of moment M1 in case of constant nucleation and constant condensational growth in diameter (moment is defined with respect to particle diameter).

4.2. Case of nucleation + condensation

Corresponding to the error analysis in Section 3.2, the case of constant nucleation and constant condensational growth in diameter is simulated with the OSMC. Both the nucleation rate and growth rate are set to unit J=1and G=1. Initially particles are monodispersed with unit volume size, and the number density is M0*=1. Nucleated particles also have unit volume size. The time step is δt=0.2.

Figures 4 and 5 show the evolution of moments M1and M3, respectively, obtained by the four splitting schemes and the analytical solutions (44d). While M3directly represents the particle volume fraction (lacking a factor of π/6), M1do not have simple physical meaning, which may be used to define an average diameter through M1/M0. For both M1and M3, the characteristics of splitting errors are quite similar. Lie1 is found to overpredict, while Lie2 to underpredict. The splitting errors for the two Strang schemes are very small, almost indistinguishable from the analytical solutions. According to the error analyses (49c) and (51c), the splitting errors for M1Strang schemes are zero. Close scrutiny shows in Figure 4 that the numerical error is not actually zero, which actually arises from the ordinary differential equation (ODE) integration error, since a relatively large time step δt=0.2is used. For a more appropriate smaller time step, both the ODE integration error and splitting error are much smaller. Comparing Figures 4 and 5, the relatively errors are comparable for both M1and M3here. All the findings agree very well with the analyses in Section 3.2.

Figure 5.

Evolution of moment M3 (volume fraction missing a factor π/6) in case of constant nucleation and constant condensational growth in diameter (moment is defined with respect to particle diameter).

5. Conclusions

The operator splitting Monte Carlo (OSMC) method has been developed recently [26] for solving the population balance equation for aerosol dynamics. Within the OSMC, nucleation and surface growth are handled with deterministic means, while coagulation is simulated with a stochastic method (the Marcus‐Lushnikov stochastic process). The deterministic and stochastic approaches in the algorithm are synthesized under the framework of operator splitting. The ultimate goal of the OSMC is to greatly improve the numerical efficiency and to preserve the extraordinary flexibility and applicability of a stochastic method for aerosol dynamics simulation.

The OSMC has been validated through quite a few testing cases [26], and has also been used to simulate aerosol evolution under various conditions [32, 39]. However, the operator splitting errors in the OSMC have not been systematically investigated. Here, focused on two representative cases, i.e., constant nucleation and coagulation, and constant nucleation and condensation, the splitting errors for four splitting schemes (two Lie schemes and two Strang schemes) are analyzed rigorously, combined with concrete numerical examples.

The number density, one of the most important statistics for aerosol particles, is found to be underestimated for the Lie1 scheme (InucCcoag), while overestimated for the Lie2 scheme (CcoagInuc). This is because coagulation rate would be overpredicted if nucleation is integrated before coagulation, hence the number density would be underpredicted as in Lie1, and vice versa. The second‐order Strang schemes exhibit much better precision that the first‐order Lie schemes. If coagulation rate is higher than the nucleation rate, Strang2 (12CcoagInuc12Ccoag) has better precision than Strang1 (12InucGcoag12Inuc). Otherwise, Strang1 has better precision. However, for the OSMC, Strang1 is always the most preferable splitting scheme after taking the numerical cost and precision into account.

The operator splitting errors for the case of nucleation and condensation show that splitting errors for different moments (except for M0) are comparable with each other. Splitting between nucleation and condensation has marginal impact on accurately predicting the moments. This is in great contrast to the prediction of M0, where splitting between nucleation and coagulation has significant impact.

To construct a good operator splitting scheme for the general case of nucleation, coagulation, and condensation the first priority is to consider the splitting error for M0. When a good scheme for splitting between nucleation and coagulation is constructed, splitting among other aerosol dynamic processes can be constructed at more freedom. The overall splitting errors are pretty much determined by the splitting error for M0.

The analyses not only provide sound theoretical bases for selecting the most efficient operator splitting scheme for the usage of the OSMC, but also shed lights on how to adopt operator splitting in other PBE solving methods, i.e., direct discretization, method of moments etc.

Acknowledgments

The financial support from the National Natural Science Foundation of China (No. 11402179 and 11572274) is greatly acknowledged. KZ would like to thank Dr. F. Bisetti at KAUST, Saudi Arabia, for his insightful discussion and valuable help. The financial support from the General Research Fund, Research Grants Council of the Hong Kong SAR, China (No. PolyU 152663/16E) is also greatly appreciated for allowing the authors’ further development and extension of this OSCM foundation method.

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Kun Zhou and Tat Leung Chan (December 28th 2016). Operator Splitting Monte Carlo Method for Aerosol Dynamics, Aerosols - Science and Case Studies, Konstantin Volkov, IntechOpen, DOI: 10.5772/65140. Available from:

chapter statistics

761total chapter downloads

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

Related Content

This Book

Next chapter

Methods of Moments for Resolving Aerosol Dynamics

By Mingzhou Yu and Liu Yueyan

Related Book

First chapter

Learning from Nature: Unsteady Flow Physics in Bioinspired Flapping Flight

By Haibo Dong, Ayodeji T. Bode-Oke and Chengyu Li

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

More About Us