arxiv: v1 [physics.flu-dyn] 20 Sep 2016

Transcription

1 Inertia partices distribute in turbuence as Poissonian points with random intensity inducing custering and supervoiding Lukas Schmidt, Itzhak Fouxon,2, and Markus Hozner ETH Zurich, Wofgang-Paui-Strasse 5, 8093 Zurich, Switzerand and 2 Department of Computationa Science and Engineering, Yonsei University, Seou , South Korea arxiv: v [physics.fu-dyn] 20 Sep 206 This work considers the distribution of inertia partices in turbuence using the point-partice approximation. We demonstrate that the random point process formed by the positions of partices in space is a Poisson point process with og-norma random intensity (the so-caed og Gaussian Cox process or LGCP. The probabiity of having a finite number of partices in a sma voume is given in terms of the characteristic function of a og-norma distribution. Corrections due to discreteness of the number of partices to the previousy derived statistics of partice concentration in the continuum imit are provided. These are reevant for deaing with experimenta or numerica data. The probabiity of having regions without partices, i.e. voids, is arger for inertia partices than for tracer partices where voids are distributed according to Poisson processes. The ratio of the typica void size to the average concentration raised to the power of /3 is of order one in the imit of zero inertia at a fixed tota number of partices. However at fixed inertia the ratio diverges in the imit of infinite number of partices. Thus voids are very sensitive to inertia. Further, the probabiity of having arge voids decays ony og-normay with size. This shows that partices custer, eaving voids behind. Remarkaby, at scaes where there is no custering there can sti be an increase of the void probabiity so that turbuent voiding is stronger than custering. The demonstrated doube stochasticity (Poisson with random intensity of the distribution originates in the two-step formation of fuctuations. First, turbuence brings the partices randomy cose together which happens with Poisson-type probabiity. Then, turbuence compresses the partices voume in the observation voume. We confirm the theory of the statistics of the number of partices in sma voumes by numerica observations of inertia partice motion in a chaotic ABC fow. The improved understanding of custering processes can be appied to predict the ong-time surviva probabiity of reacting partices. Our work impies that the partice distribution in weaky compressibe fow with finite time correations is a LGCP, independenty of the detais of the fow statistics. I. INTRODUCTION Studies of distributions of diute suspensions of inertia partices in turbuence have received increasing attention recenty [ ]. The diute suspension imit of the highy chaenging probem of mutiphase turbuent fows provides the reference point for studies of dense soutions. Diute partice distribution impies that the change of the fuid fow by partices is negigibe so the partice transport by the fuid takes pace in a given undisturbed turbuent fow. Nonetheess partices are not perfect tracers because their inertia eads to deviations from the fow trajectories. This creates inhomogeneous spatia distributions in regions where fuctuations of partice concentration can be arge. The soution of the probem for weaky inertia partices reveaed divergent root mean square fuctuation of concentration in the continuum approximation [2]. This manifests preferentia concentration or custering of partices. Appying the usua procedure of finding concentration as the number of partices in a sma voume divided by the voume and taking zero voume as imit does not resut in a we-defined outcome. The number of partices in a sma ba, scaes with the ba s radius but the scaing exponent changes from point to point manifesting a mutifracta distribution of partices in space. This is in contrast with smooth distributions where the number of partices scaes as the third power of the ba s radius. It is thus a reasonabe approach to study the statistics of the number of partices directy in the sma voume with the aim to determine the counterpart of the Poisson distribution that hods for this probem in idea gases. To the best of our knowedge this has not been done so far. Previous studies used the continuum approximation that works when the average number of partices in reevant voumes is arge. This is not necessariy aways the case. In one of the main appications of inertia partice custering in turbuence - distribution of water dropets transported by air turbuence in warm couds - the number of dropets per viscous scae of turbuence does often not exceed one [3]. It is however at this scae that preferentia concentration of partices happens. Thus discreteness of matter is reevant. It is reevant aso for providing the correspondence between theory and experiments where partices are discrete necessariy. Furthermore in numerica simuations it is often not feasibe to simuate a arge number of partices beow the viscous scae which is the smaest scae of turbuence and generay severa orders of magnitude smaer than the energy-containing eddies of the fow [4]. In this work we provide the distribution of the number of inertia partices in a sma voume of turbuent fows. We find that this distribution sampes a Poisson distribution with random intensity. This provides a new way of thinking of the custering effect of inertia partices turbuence since intensity fuctuations increase the probabiity of partices being cose together. Our prediction hods for arbitrary homogeneous, chaotic fow. We confirm the

2 2 predictions numericay using a synthetic, random ABC fow. Our study uses the traditiona framework where turbuent drag of the partices is inear in the difference of the veocities of the partices and the oca fow. Considering a finite number of partices, the random transport of partices by turbuence defines the random point processes in space where points represent the positions of the spherica partices centers. The statistics of this random process has not yet been studied directy. Instead so far the continuum approximation for the partice concentration was used. This approximation resuts in the radia distribution function, which is the probabiity of finding pairs of partices with fixed separation, which has been the main object of previous studies. Another object of physica interest studied recenty, is the probabiity of hoes of partices or hoows [5, 6]. This is the probabiity of having no partices inside an arbitrary given voume for which a discrete formuation is most reasonabe. Hoes can pay a decisive roe in ongterm surviva in the case where chemica reactions occur, see [7]. Further the probabiity of hoes pays a centra roe in the study of random point processes where it is caed void probabiity. The reason is that the void probabiity determines the statistics of the point process competey, see e. g. [8] and references therein. We provide the void probabiity demonstrating that it is arger than for Poissonian random point processes. This is the manifestation of custering where partices accumuate in certain regions eaving voids behind. In this work we study the range of parameters where partices trajectories are unique not ony in the phase space (where Newton s aw hods but aso in the physica space. In this case the partices motion obeys a smooth spatia fow. That fow is the fow of partices which is different from the fow of the fuid. For a ong time the partices fow description was known to hod for weaky inertia partices [9]. It was found recenty that the fow description can be introduced in the case of strong gravity as we [8]. The difference between the partices and the fuid fow is caused by the combined effect of inertia and gravity that separate the partices from the oca fuid. The existence of the fow of partices is used for the introduction of the continuum description of the partice concentration using the continuity equation. The continuum theory uses the weak compressibiity of the partice fow. This aows using the genera theory deveoped in [2] for describing the partice statistics. The concentration of partices transported by weaky compressibe fow obeys og-norma statistics. The theory predicts that there is a random attractor in space to which the inertia partices trajectories converge after transients [20]. Partice statistics are determined competey by the pair-correation function for which the simpe cosed form hods. An initiay uniform or continuous partice concentration wi become supported in a singuar mutifracta structure in space after transients [2]. This mutifracta is by itsef time-dependent and changes continuay over time keeping its statistica, space-averaged properties constant. In the foowing, we anayze how to understand these predictions in the framework of discrete partices. The imiting case of ony one inertia partice in the system inserted in the system at time t = 0 is considered here. At the same time t = 0, there is a mutifracta set in the fow. This mutifracta is where the partices that woud be hypotheticay inserted in the fow in the remote past woud find themseves at t = 0. This mathematica set evoves in time. The inserted partice wi find this mutifracta with time and stick to it never eaving it again (except for occasiona deviations with very sma probabiity. Inserting a finite number N of partices at t = 0 woud cause a partices to find their pace on the same mutifracta, fiing it in some sparse way. Ony for the imit N the partices woud form the spatia pattern manifesting this mutifracta structure. The continuum theory does provide basic predictions on the discrete partices. Here, we use the paircorreation function of the partice concentration that provides the probabiity of finding another partice at a fixed distance from the given partice. We use this prediction for finding the coision kerne of partices reevant whenever two-body coisions occur in the system with its basic appication in the rain formation probem. Practica appications where the presented theoretica considerations are of interest are studies investigating the statistics of the number of aeroso partices caught by the partice detector that since recenty has been accessibe in experiments (e.g.[2 23]. This work is structured as foows, first we discuss the current avaiabe continuum predictions on inertia partice statistics in turbuent fows. Then we derive the statistics of the number of partices in a sma voume, considering its discreteness (Section III. Additionay, we aso derive predictions for the probabiity of finding voids of partices and investigate the size of these voids. In Section IV we demonstrate that continuum and discrete predictions coincide using the radia distribution function. Subsequenty, we confirm the theoretica derivations of the number of partices in a sma voume numericay with partices advected in a chaotic ABC fow (Section V. II. FRAMEWORK OF THE STUDY AND CONTINUUM RESULTS In this Section we introduce the equations of partice motion and summarize the statistics of the partice concentration obtained previousy using the continuum approximation. We consider the motion of partices in an incompressibe turbuent fow u(t, x. The partices concentration is assumed to be sma so both the partices interactions between themseves and their reaction to turbuence can be negected (so caed one-way couping. Thus we can concentrate on the motion of one partice. Partices

3 3 are considered spherica with radius a much smaer than the smaest scae of the spatia variations of turbuence, η. Here, η = (ν 3 /ɛ /4 is the viscous Komogorov scae where ɛ is the average rate of energy dissipation per unit voume of the fuid and ν is the kinematic viscosity. If the Reynods number Re p of the fow perturbation caused by the partice is sma then the inear aw of friction can be used, dx dt = v, dv dt = v u[t, x(t] τ + g, ( where x, v are the partice s coordinate and veocity respectivey. Here g is the gravitationa acceeration and τ = 2 p a 2 /[9ν] is the Stokes time, where p, are the partice and fuid densities respectivey. This inear aw can be used for Re p provided that the Re p dependence is introduced in τ that becomes reevant at Re p. For instance for water dropets in couds the inear friction aw can be used up to a dropet size of 50 microns where Re p, see [8, 3, 24]. Beow, τ is used as the effective veocity reaxation time in Eq. ( incuding the Re p dependence. In the case where gravity can be negected and the Stokes number St = τ ɛ/ν is sma after transients the veocity of the partice is determined uniquey by its position, v = u[t, x(t] τ [ t u + (u u] [t, x(t]. (2 Thus the fow of partices v(t, x = u τ [ t u + (u u] can be introduced so that if there is a partice at x(t then its veocity is v(t, x at that point, dx dt = v[t, x(t], v 0, (3 where we stress that the partices fow, in contrast with the underying turbuent fow of the fuid, has finite compressibiity, v = τ( k u i ( i u k. It was demonstrated in [8] that Eq. (3 hods aso when gravity is incuded with a different formua for v(t, x in terms of u(t, x though. The condition of vaidity of the fow description of Eq. ( is that St, independenty of the strength of gravity, or F r independenty of St. Here, the dimensioness Froude number F r is defined as the ratio of typica acceeration of the Komogorov scae eddies ɛ 3/4 ν /4 and g. Thus partices with arge inertia, St can sti form a smooth fow in space because of the smoothing action of gravity [8]. It is found that in a cases where the fow description hods, that fow is necessariy weaky compressibe. Our study beow is done for partices whose motion in space can be described by smooth weaky compressibe fow as given by Eq. (3. Thus it hods provided min[f r, St]. The resuts do not depend on the detaied form of v(t, x due to the universaity described in [2]. We stress that the use of Eq. (3 does not demand having approximatey continuum distribution of partices in space. This equation can be used even when there is ony one partice in the whoe space. We describe the impications and imitations of the previous studies of Eq. (3 for the finite number of partices in the voume where the discrete nature of partices is reevant. We use the theory constructed in [2] based on the continuity equation for the spatia concentration of partices n(t, x. If we distribute the partices uniformy in space then their trajectories are attracted by the random mutifracta set in space that has zero voume. After few Komogorov times ν/ɛ the trajectory that starts at some arbitrary point in space wi reach a certain ocation on the definite mutifracta set in space. This set, which can be caed random attractor, wi continuousy change in time but its statistics are time-independent. Thus if we have ony one partice in the fow voume then it wi be somewhere on the attractor but we cannot know where. A few partices wi aso be randomy distributed over that attractor. In the imit of infinite number of partices, that are considered in the point partice approximation given by Eqs. ( & (3, the partices wi cover the attractor continuousy. The continuum theory constructed in [2] demonstrates that statistics of the number of partices N (x inside a ba of radius centered at x is og-norma. This theory hods in the continuum imit of infinite spaceaveraged concentration n - given by the tota number of partices in the voume of the fow divided by the voume. Using the resuts of [2] we find in terms of coarse-grained concentration n = N /[(4π 3 /3] that, N k im n N k = k(k DKY, σ 2 =2D KY n, (4 ( [ n P (N = N exp (N / N +σ 2 /2 ] 2 2πσ 2 2σ 2, where anguar brackets stand for spatia averaging and N = 4π 3 n /3. Here, D KY is the Kapan-Yorke co-dimension of the random attractor [25] that because of the fow s weak compressibiity is given by D KY = λ i /λ 3. The Lyapunov exponents λ i give the rates of growth of infinitesima ines, surfaces and voumes of the partices λ, λ + λ 2, 3 i= λ i, respectivey. It is demonstrated in [2] based on the formua of [26] for λ i that D KY = 2 λ 3 i where the trajectories q i (t, x v(0 v(t i dt, (5 t q i (t, x = v i [t, q i (t, x], q i (t = 0, x = x, (6 that define λ 3 and the correation function dx v(0 v(t = V v(0, x v[t, q i(t, x], (7 are those of the soenoida (incompressibe component v i of v. The case where gravity is negigibe and St resuts in v = u τ [ t u + (u u], so that we have

4 4 v i u. For the incompressibe component of the partices fow one can use the underying turbuent fow u. Then λ 3 is the third Lyapunov exponent of the fuid partices, q i (t, x are Lagrangian trajectories abeed by their initia positions and v(0 v(t is the ordinary different time correation function of v = τ( k u i ( i u k (we observe that the Navier- Stokes equations give ( k u i ( i u k = 2 p where p is the turbuent pressure. However, in the case of F r the incompressibe component can differ from u so that for instance (λ 3 i is very different from the third Lyapunov exponent of the fuid partices. It can be written in terms of the energy spectrum of turbuence [8]. III. STATISTICS OF DISCRETE PARTICLES In this section, we consider how the discreteness of partices changes the statistics of the number of partices N (0, x that at t = 0 are ocated inside a ba of radius η, centered at x in comparison with the continuum theory. The theory for the finite number of discrete partices must reproduce the continuum theory in the imit of the infinite number of partices. We use the ine of consideration of [2] iustrated in Fig.. This is based on the conservation of the (finite number of partices inside the voume, which at t = 0 is the considered ba of radius. This conservation hods because the partices motion is described by a smooth differentiabe fow in space as described by Eq. (3. We find the statistics by tracing the partices back in time to the moment t when the partices were independent (in fact this consideration is quite simiar to that done for the Botzmann equation where the partices before the coision are considered independent [27]. This is based on the fact that custering is a sma-scae phenomenon, so the weak compressibiity produces non-negigibe corrections to the uniform spatia concentration that woud hod for incompressibe fow ony at the smaest scaes. The partices that are ocated at t = 0 inside the considered ba came from arger separations in the past, where they moved independenty unti the short time interva near t = 0 when they approached each other to a distance smaer than η and started moving in the common veocity gradient (correated over η. Here the independence of motion above η must be understood in the sense that there is no formation of correations of concentration - the partices motion itsef is correated in the inertia range. We remark that the considerations beow can be made more rigorous using separation scaes which are much smaer than η but over which the partices can be aready considered independent (see [2]. For carity, we use ony the scaes and η without changing the concusions. We track the voume occupied by trajectories q(t, x back in time t q(t, x = v[t, q(t, x ], q(t = 0, x = x, (8 with x x <. Ony a finite number of trajectories q(t, x corresponds to actua partices. These are trajectories q(t, x i, where x i are positions of partices inside the considered ba at t = 0. The rest of the trajectories q(t, x are mathematica constructs. The voume occupied by q(t, x is transformed by the fow in an eipsoid whose argest axis grows as exp[ λ 3 t ], where λ 3 is the third Lyapunov exponent. This reaches η at time t where t = λ 3 n(η/. Since over this scae the correations of partices are negigibe because of their motion in the common fow [2] (the partices that move independenty at scaes arger than η, are partices brought randomy togehter by the fow beow η, the number of partices inside the eipsoid obeys the Poisson distribution. Here, we consider the number of partices inside the eipsoid which is determined by the partices motion at times smaer than t as independent of the eipsoid s voume. This is because the voume is determined by the fow divergence over the time interva ( t, 0, see Eq. (0 beow, where the vicinity of t of the order of the divergence correation time can be negected. This negect is possibe because weak compressibiity impies a sma voume change over that time. The Poisson distribution of the number of partices is fixed uniquey by the intensity (or the average which is given by n V ( t where V ( t is the voume of the eipsoid. Since V ( t is random, we concude that the distribution of partices is a Poisson distribution with random intensity. We have, [ n V ( t ] k exp [ n V ( t ] P [N = k] = k! V ( t (9 where the remaining averaging is over the statistics of V ( t. This type of distribution is known as douby stochastic Poisson or Cox processes [28, 29]. Furthermore as the statistics of V ( t is og-norma, see [2] and beow, then the process is a og Gaussian Cox distribution introduced in [30]. We now consider the evoution of the voume V (t occupied by the trajectories q(t, x at times arger than t. Since the argest size of the voume is smaer than η, we can use the equation for the infinitesima voume evoution [3] d n V dt = v[t, q(t, x], V (0 = 4π3 3, (0 where v[t, q(t, x ] v[t, q(t, x] for considered x obeying x x <. The soution gives, ( V ( t = 4π3 η (x. ( 3 where we introduced a Gaussian variabe, (x = n(η/ 0 t v[t, q(t, x]dt. (2 The gaussianity of can be seen by writing the integra as sum of the integras over disjoint intervas whose duration is the correation time τ cor of v[t, q(t, x]. Since

5 5 t t=0: N random for arbitrary k. Using the resut for k = in Eq. (6 we confirm N = n (4π 3 /3. t=0 t=-t* N=<n(x>V(-t* FIG.. The event of finding k partices in the ba of radius is a composition of two occurrences: incompressibe turbuence randomy brings partices inside a certain voume V ( t with argest size η that in time t wi be transformed in the considered ba. Compressibiity of the fow of partices is reevant ony for the voume compression stage. The probabiity of bringing k partices in V ( t is the corresponding probabiity for the Poisson process because incompressibe turbuence distributes partices over the voume of the fow uniformy and independenty. The voume V ( t is however random which produces Eq. 9. the number of disjoint intervas is arge, t τ cor and the integras over the disjoint intervas are independent random variabes then gaussianity foows from the centra imit theorem. A rigorous proof can be constructed using the cumuant expansion theorem [32]. The Gaussian distribution of is determined by the average and the dispersion [2], = D KY, 2 2 = 2D KY n(η/. (3 We find that P [N = k] = N k (η [ k ] exp N, k! (4 where N = n (4π 3 /3. This form of N is necessary because dx N = V N (x = N tot(4π 3 /3 V, (5 where N tot is the tota number of partices in the voume V of the fow. We verify that N = n (4π 3 /3 directy from the definitions. Using that the moments of N can be found by the two-step procedure: first making Poissonian average at fixed V ( t or and then averaging over. Based on Eq. (, we find N = n 4π3 3 (η. (6 Appying Eq. (3 for an arbitrary Gaussian random variabe r we have exp[r] = exp [ r + (r r 2 /2 ] we find readiy (η k k(k DKY =, (7 A. Moments of the number of partices in a given voume We consider the ow moments of N. Since dispersion of the Poisson distribution is equa to the average then, (η 2 N 2 = N 2 + N. (8 We find using Eq. (7 that, N 2 n 2 [4π 3 /3] 2 = 2DKY + n [4π 3, η. (9 /3] The ast term on the RHS iustrates the correction to the continuum approximation described by Eq. (4 due to the discreteness of the number of partices. That term disappears in the continuum imit of n. Since the first term on the RHS is arger than one, the continuum approximation is vaid in the imit where typicay the considered ba of radius contains a arge number of partices, hence N (x. We can then write Eq. (9 differenty, N 2 = N 2 2DKY + N. (20 In this form the growth of deviations from Poissonicity at sma scaes becomes obvious. When the scae is not too sma so that (η/ 2D KY (note that 2D KY so these scaes can be much smaer than η we have N 2 = N 2 + N - that is we recover the dispersion of the Poisson distribution. In contrast at smaer scaes with (η/ 2D KY >, deviations from Poissonicity occur that grow indefinitey as 0. These deviations are the discrete counterpart of the continuum description of preferentia concentration by the increase of the radia distribution function at sma separations. Simiary, we consider the discreteness correction to the third moment. Using the third moment of the Poisson distribution we obtain that N 3 = n 3 V 3 ( t +3 n 2 V 2 ( t + N. (2 This resuts in, N 3 (η 3 N 3 = + 3 N Using Eq. (7 we obtain, (η 2 + N 2. (22 N 3 N 3 = 6DKY 3 2DKY + + N N 2. (23 If the average number of partices in the ba is arge N, then the ast two terms of Eq. (23 that describe the corrections due to discreteness are negigibe reproducing the continuum resut. At the smaest scaes

6 6 there are strong deviations from Poissonicity that disappear at scaes with (η/ 6D KY. The consideration of higher-order moments can be performed based on, k n λ k n exp[ λ] = λ k S(n, k, (24 k! k=0 k= where S(n, k are Stiring numbers of the second kind [33]. We find n (η k N n = N k S(n, k, (25 k= which resuts in (S(n, n = S(n, =, N n N n = n(n DKY n + k=2 S(n, k k(k DKY N n k +, (26 N n where the first term on the RHS is the continuum resut and the rest of the terms on the RHS are the corrections due to discreteness. The considered cases of n = 2, 3 can be reproduced using the known vaues of S(n, k. B. Voiding effect We start the study of the probabiity density function of N (x from the probabiity that there are no partices in the voume of interest. From Eq. (4 we get P [N = 0] = exp [ 4π3 n 3 ], (27 where we used N = 4π 3 n /3. In the imit of tracers, D KY 0, the variabe (η/ does not fuctuate and equas its average which is one, so the equation reduces to the Poisson distribution. Using (η/ = and Jensen s inequaity - exp[x] > exp[ X ] - that hods for arbitrary non-constant random variabe X we find, [ ] P [N = 0] > exp 4π3 n. (28 3 Thus the void probabiity is arger than that for the Poisson point process (given by the RHS of Eq. (28. This manifests custering of partices in turbuence, impying arger probabiity of voids. Starting from Eq. (27 and using Gaussianity of, we concude that the probabiity P [N = 0] of the void of size is the Lapace transform of the og-norma distribution. In our case we have, [ ( n(η/ P (N = 0 = d exp N 4πD KY η ( D KY 2 ] n ; η, (29 4D KY which in the imit of tracers (inertia vanishes, D KY 0, reduces to the Poissonian exp[ N ]. This imit however is sowy convergent because of the exponentia (/η in the exponent which has further impications that are considered beow. We rewrite this formua in the standard form using the integration variabe y = (D KY n(η/, P (N = 0 = F ( θ, σ 2, θ = N ( DKY, (30 η where σ 2 is defined in Eq. (4 and we introduced the Lapace transform of the og-norma distribution with zero mean, F (θ, σ 2 = ] 2πσ 2 dy exp [ θ exp (y y2 2σ 2. (3 We can infer from this the PDF p( of the void radius that provides more direct information on void sizes. This PDF is defined so that p(d is the probabiity that the void centered at some x has a radius between and + d. We observe that the probabiity that N = 0 coincides with the probabiity that the void has a size which is not smaer than, hence P (N = 0 = p( d. Differentiating this identity resuts in, p( = dp (N = 0 d = (3 + D KY θ θ F ( θ, σ 2 + 2D KY σ 2F ( θ, σ 2, (32 where we used a differentiation over at other parameters fixed. For instance, writing θ = N η (/η 3+D KY we find dθ/d = (3 + D KY θ/. It is readiy seen that the normaization condition p(d = hods. It wi be 0 cear from the study of asymptotic forms of P (N = 0 beow, that this formua impies a og-norma decay of p( that is much sower than the exponentia decay of the Poisson distribution. Average void size. We compute the average void size based on Eq. (32, = 0 p(d = Substituting Eq. (29 into Eq. (33 yieds, = η 0 d ( D KY 2 4D KY n 0 [ n(η/ d exp N η 4πD KY P (N = 0d. (33 ( 3+ η ] ; (34 where we used N η = 4πη 3 n /3. The integra is cut at η because we use P (N = 0 for < η. Equation (34 hods provided the sef-consistency condition η is

7 7 obeyed. We find η = 0 dy ( D KY 2 4D KY [ n(/y d exp N η y 3+ 4πD KY ] n(/y. (35 The maximum of the exponent is taken at y = 0 and = D KY and given by zero. The case of interest is N η because otherwise the typica size of the void is of order η or arger and does not beong to the domain of inertia effects considered here (this is not so at D KY which is outside of the domain of our consideration. Then the width of integration over y is N η /(3+. Then the integra over is strongy peaked at = D KY and we can set in the integra y 3+ y 3+D KY. Subsequenty, we can integrate over which resuts in, η = 0 [ ] dy exp N η y 3+D KY N η /(3+D KY [ ] Γ +. ( D KY Using that D KY we obtain, η N η /3+D KY /9 Γ(4/3 = P N η D KY /9, (37 where we introduce the average void size of the Poisson point process, P = (4π n /3 /3 Γ(4/3. (38 The sef-consistency of the performed cacuation demands that the width of the integration over is much smaer than D KY. Since the characteristic vaue of y is N η /(3+D KY, then the condition is D KY n N η /3, where we keep /3 to ceary point out that in N η D KY /9 = exp[d KY n N η /9] the exponent must be arge. When D KY n N η our formua can be used by order of magnitude predicting that P. We remark that the sef-consistency of the cacuations demands that the fina answer must be independent of the fact that η is defined ony up to factor of order one. In fact if we mutipied η by factor of order one, N η η 3 woud change at most by order of magnitude. This woud change by factor of 0 D KY /9 that is produce no appreciabe change. We concude that turbuence can have a strong effect on the average void size however sma inertia is. If we consider the imit where the distribution of partices is quite dense so that N η is so arge that N η D KY /9 is aso arge than the typica void size is arger than n /3. Simiar consideration can be performed for other moments k. Approximate soution of P (N = 0. There is no cosed form for F (θ, σ 2 though there are we-working approximations, see for instance [34]. We consider the case where the argument of the exponent has a sharp maximum which incudes both continuum and tracer imits. The position y of the maximum is determined by, y = θσ 2 exp (y, y = W (θσ 2, (39 where W is the Lambert function, defined as soution to the equation W (x exp [W (x] = x. Introducing h(y = θ exp (y y 2 /[2σ 2 ] we have h (y = 0 and, h (y = W 2 (θσ 2 + 2W (θσ 2 2σ 2 (40 h (y = θσ2 exp (y + σ 2 = + W (θσ2 σ 2. (4 Thus in quadratic approximation we find, [ P (N = 0 2πσ 2 exp W 2 (θσ 2 + 2W (θσ 2 ] 2σ 2 [ [ + W (θσ 2 ] ] (y y 2 dy exp 2σ 2, (42 which by integration gives P (N = 0 exp ( [ W 2 (θσ 2 + 2W (θσ 2 ] /[2σ 2 ]. + W (θσ2 (43 This approximation is vaid provided the width σ 2 / [ + W (θσ 2 ] of the Gaussian maximum in Eq. (42 is much smaer than one. Since W (x > 0 at x > 0 then the Gaussian approximation hods when σ 2 independenty of the rest of the parameters. We now consider two separate cases, namey (i no preferentia concentration at scae where we find that turbuence can sti significanty increase the probabiity of arge voids and (ii the regime of strong custering where we find that the typica void size increases strongy. Case σ 2. This is the case where there is no preferentia concentration at scae. This is because the pair-correation function of concentration is exp[σ 2 ] see Eq. (4. One coud think then that inertia is negigibe at this scae and Poissonian void probabiity hods. This is not the case as the study of Eq. (43 reveas. Poissonian distribution hods ony provided that besides σ 2, the inequaity θσ 2 hods as we. Then using that W (x x at sma x we have, [ ] P (N = 0 = exp 4π3 n, 3 [ (η ] [ 2DKY (η ] 2DKY n, N n, (44 where we used that θ N at σ 2. However, if θσ 2 N σ 2 is of order deviations from Poissonicity occur. The void probabiity becomes much arger than Poissonian in the imiting case where the concentration of

8 8 partices is quite high so that N σ 2 despite σ 2. Using that W (x n x n n x at arge x and consider for carity the stronger inequaity n[ N σ 2 ] we find from Eq. (43 that, P (N = 0 ( n[ N σ 2 ] exp n2 [ N σ 2 ], 4D KY n(η/ n[ N σ 2 ], n[ N σ 2 ] σ 2, η, (45 where the second condition in the ast ine is the condition of vaidity of the Gaussian approximation which is reevant in the case of strong custering σ 2 ony (otherwise it is impied by the first condition. The case of σ 2 and σ 2 is considered beow separatey. Written with these conditions the formua covers the case of strong custering σ 2 aso. We find that the decay of the probabiity of a arge void in the void s voume is much sower than the exponentia decay of the Poisson distribution. For the case under consideration without preferentia concentration σ 2, the squared ogarithm in the exponent of Eq. (45 has a arge prefactor. Thus the probabiity of finding voids is sma being given by the exponent of a arge negative number. However it can sti be much arger than the Poissonian probabiity - the ratio of probabiities is proportiona to exp ( N n 2 [ N σ 2 ]/[4D KY n(η/]. This becomes infinite in the continuum imit n at other parameters fixed (the imit can be turned dimensioness by mutipying with η 3 when N. Thus turbuence strongy increases the probabiity of arge voids (here arge voids are defined as voids whose probabiity is much ess than one because of their arge size. We considered the opposite imiting cases of θσ 2 and n[θσ 2 ]. In the imit of θσ 2 the probabiity becomes Poissonian. When θσ 2 increases from sma vaues at fixed σ 2 (for instance considering higher n the probabiity deviates from Poissonian probabiity necessariy becoming arger than that because of Eq. (28. We consider the deviation at arbitrary θσ 2 considering σ 2 fixed so that Eq. (43 hods. We pot the ogarithm of the ratio R, defined as P (N = 0 given by equation (43 over the Poissonian probabiity, R( N = + W ( N σ 2 ( exp N W 2 ( N σ 2 + 2W ( N σ 2 2σ 2 (46 in Fig. 2, showing that arger vaues of N ead to a significant increase of R and thus the probabiity of finding voids of partices. Thus we derived the cosed form of P (N = 0 at σ 2 at arbitrary N. We demonstrated that the void probabiity is significanty arger than Poissonian when N σ 2. Case σ 2. When there is preferentia concentration at scae then the Gaussian approximation nr N FIG. 2. Logarithm of ratio R from Eq. 46 for the interva N = [0, 20] using σ 2 = 0.. The probabiity of finding voids becomes significanty arger than the one given by the Poisson distribution for vaues N σ 2. At arger N we observe a sow convergence towards inear behavior ( n R N which is reached at approximatey N = 0 4. works provided W (θσ 2 /σ 2. This condition becomes true in the continuum imit where it becomes n[ N ]/σ 2. This is how Eq. (45 works at σ 2. We remark that the Gaussian approximation becomes vaid in the imit of arge N independenty of σ 2. The first of the conditions given by Eq. (44 is identica to that for the second moment: if (η/ 2D KY then the custering is insignificant and that moment becomes Poissonian. However for the third moment the criterion for Poissonicity is (η/ 6D KY, see Eq. (23. The reason why in the second moment, a power-aw appears in the criterion is the Chebichev inequaity. If (η/ 2D KY then fuctuations of N in the continuum approximation are sma, N 2 N 2, see Eq. (4. Then the inequaity impies that (η/ in Eq. (27 is weaky fuctuating, cf. Eq. (8. Finay, since the average of (η/ is one, then (η/ and Eq. (27 reduces to the Poisson distribution. Though fuctuations of (η/ are sma, when the prefactor N in Eq. (27 is very arge these fuctuations are enhanced so much that they cannot be negected and there are finite deviations from Poissonicity. This is the content of the second condition given in Eq. (44. If this condition does not hod, the compete formua (43 must be used. In the range of strong custering σ 2 (that hods when gets smaer aways where σ 2 > but W (θσ 2 is not so arge so that σ 2 / [ + W (θσ 2 ] the Gaussian approximation given by Eq. (43 breaks down, cf. [34]. Despite considerabe efforts, see [34, 35] and references therein, there seem to be no tractabe formua for this case. However there are we-working numerica recipes [34, 35] which must be used for using our answer given

9 9 by Eq. (30 in practice. C. Probabiity of arbitrary number of partices Finay the probabiity of some arbitrary number k of partices inside the ba of radius from Eq. (4 is, P [N = k] = N k n(η/ k! 4πD KY [ d exp N ( D KY 2 + 4D KY k 4D KY n ]. (47 This obeys the normaization k=0 P [N = k] =. Competing to the square, ( D KY 2 + 4D KY k = ( + D KY [2k ] 2 4kDKY 2 (k, we have, P [N = k] = N k k(k DKY ( F θk, σ 2, k! DKY [2k ] θ k = N, (48 where we used the integration variabe y = n(η/ (D KY [ 2k] in combination with Eq. (3. This reduces to Eqs. (30-(3 when k = 0. We concude that the PDF of the number of partices is determined by the Lapace transform of the og-norma distribution. In the continuum imit when n at other parameters fixed, we have θ k and can use Gaussian approximation in finding F (θ k, σ 2 which gives, P [N = k] N k k! exp k(k DKY + W (θk σ 2 ( W 2 (θ k σ 2 + 2W (θ k σ 2 2σ 2, (49 cf. Eq. (43. We aready proved that the continuum distribution is reproduced for the moments of N so that the formua above must reduce to og-norma distributions which hod in the continuum imit as described by Eq. (4. It is possibe to use the formua directy to reproduce the og-norma distribution as the eading order approximation for n P [N = k]. Higher-order terms in the expansion in ogarithm are necessary (the eading order power in k terms in n P [N = k] vanish but the corresponding formuas become cumbersome and are not presented here. IV. RADIAL DISTRIBUTION FUNCTION IN DISCRETE DESCRIPTION Due to the major importance of the radia distribution function (RDF g(r this Section demonstrates that discreteness of partices does not infuence g(r. In fact the derivation of the RDF can be done when there are ony two partices in the fow voume. We do not provide the detais of the derivation that coincide with the continuum case studied previousy see e.g. [2]. The RDF counts the number of pairs of partices separated by distance r, g(r = δ(x i xδ(x k x r dx Ω, (50 ik where Ω is the tota voume of the fow and the sum runs over a partices in the voume. The product of δ functions guarantees that ony pairs separated by r are taken into account. For passing to the definition where g(r is defined as fraction of the tota number of pairs separated by r, our definition is to be mutipied with the corresponding constant (we use the definition that is independent of the tota number of partices which incudes the case of two partices beow. Using the microscopic definition of the concentration n(t, x = i δ(x i(t x we have g(r = n(xn(x + r where anguar brackets stand for spatia average over x. In this way it is cear that the pair correation of concentration obtained in the continuum imit gives g(r. In the foowing we demonstrate that the steps in the derivation of the pair-correation function [2] can be performed without taking the continuum imit. We use the identity for the partice s trajectory x(t, obtained from δ(x(0 x = δ[x(t q(t, x] (5 [ 0 ] exp v[t, q(t, x]dt, t det[ k f i (x]δ[f(x] = δ(x x 0, f(x 0 = 0, (52 using the function f(x = q(t, x x(t. This identity is the discrete counterpart of the soution of the continuity equation for concentration. We can then repeat the steps in the derivation of the pair-correation function in the anguage of discrete partices. If there are ony two partices in the voume with trajectories x (t and x 2 (t, we consider the joint probabiity density function of positions of two partices, We have P (r = δ(x (0 xδ(x 2 (0 x r. (53 P (r = δ(x (t q(t, xδ(x 2 (t q(t, x + r [ 0 ] exp dt ( v[t, q(t, x]+ v[t, q(t, x+r]. t where t = λ 3 n(η/r is the ast time that trajectories separated by r at t = 0 were separated by distance η. Using that the term in the ast ine is approximatey independent of the rest of the terms we can perform independent averaging over the terms in the first and second ine [2], P (r = δ(x (t q(t, xδ(x 2 (t q(t, x + r [ 0 ] exp dt ( v[t, q(t, x]+ v[t, q(t, x+r]. t

10 0 The average in the first ine is P (η because at time t the trajectories are separated by η. Since at scae η the partices are independent then P (η = Ω 2. The average in the ast ine is the same as that for the pair-correation function of concentration in continuum theory. We find, P (r = Ω 2 r 2DKY, r η. (54 When more than 2 partices are present, the contributions of different pairs are summed producing the resut identica with that found in the continuum approximation. A simiar resut is vaid for the joint probabiity density function of the position of N partices. Hence, we coud demonstrate that the prediction of the power-aw dependence of the RDF on the distance between the partices is identica in discrete and continuum descriptions. This is why the previous studies that often determined the RDF at scaes where the average number of partices is sma, so that the continuum approximation breaks down, coud rey on resuts of the continuum theory [36]. V. NUMERICAL VERIFICATION A. Numerica set-up In order to verify and anayze the theoretica resuts presented in the previous section (Sec. III we investigate the distribution of inertia partices in a chaotic Arnod-Betrami-Chidress (ABC fow. This fow features a three-dimensiona, incompressibe veocity fied and is an exact soution of the Euer equation. Previous studies have proven the generay chaotic features of this fow fied [37, 38]. For the observation of the previousy presented custering phenomenon and its statistica description, a chaotic fow such as the ABC fow is sufficient to iustrate the main effects. The ABC fow guarantees that the incompressibiity condition - u = 0 - is precisey fufied at every point in the fow fied. This is much more difficut to achieve in experiments or even in direct numerica simuations of turbuent fow where generay the fow is incompressibe down to machine precision at coocation points but nonzero at arbitrary Lagrangian partice positions due to interpoation (and other possibe errors. Such artifacts might confound the effects under consideration here. In ABC fow, the three components of the veocity vector u are determined by u = A sin(x 3 + C cos(x 2 u 2 = B sin(x + A cos(x 3 u 3 = C sin(x 2 + B cos(x. (55 Here, A, B and C define the space-independent ampitudes of the veocity components and x, x 2 and x 3 represent the three spatia coordinates of the system. In order to provide sufficienty chaotic advection of the partices and to avoid trapping partices in certain regions of the fow (KAM tori, the three ampitude parameters A, B & C are refreshed every 200 computationa time steps. In this way the ampitude parameters take on independent random vaues between 0 and. For the advection of partices we seed a tota number of 0 8 partices randomy in space at t = 0 in a cubic voume with side ength 2π. Impemented periodic boundary conditions at a side was of the cubic domain guarantee a constant number of partices in the domain at a times. The fuid partice veocity at each time step is determined by Eqs. (55 at the partice ocation. The partices are advected in time using the forward Euer method with a time step, dt = 0.005, which provided sufficient accuracy. Partices are advected for a tota duration of t = 50 for two cases: (i passive tracers and (ii inertia partices with partice response time τ = 0., which is the parameter that quantifies the strength of the partice inertia. The tracer partice veocity is simpy computed using Eqs. (55. The inertia partice veocity v is obtained by adding an inertia drift to the fuid veocity u, as described in Eq. (2. B. Resuts This section deas with the vaidation of the theory by numerica cacuations of the inertia partice motion in chaotic ABC fow. We anayze and compare the partice distribution using both the continuum theory and the corrections that take into account the discreteness of the number of partices in a given voume. We find that there is a need to incude corrections when the average number of partices in the considered voume become of order 0. Our resuts incuding the corrections are in exceent agreement with the predicted theory. Statistics are cacuated for varying size of non overapping cubic voumes within which N is samped. Sampes are taken in the whoe domain for a fixed time and the averaging is performed over space, which is expressed by.. At t = the simuated passive partice (τ = 0 distribution reaches statistica steady-state, whie it took unti t = 00 for inertia partices (τ = 0.. The resuts beow are computed at t = 50. To provide a quaitative impression of how tracer and inertia partices are distributed in space, a snapshot of the distribution of partices inside a sma vertica window (π/0 π/0 centered in the midde of the domain is iustrated in Fig. 3. Despite the reativey sma partice inertia, the difference between the tracer partice distribution (Fig. 3a and inertia partices (Fig. 3b is visibe. The tracer partices are randomy distributed. In contrast, the inertia partices are distributed randomy ony at the initia time t = 0, and ater begin to concentrate in specific fow regions (see Fig. 3b, thus causing the appearance of partice voids in other regions.

11 FIG. 3. Snapshot of the partice distribution in a π/0 π/0 window in the centra sice of the investigation voume at t = 50 for: (a tracers (τ = 0, (b inertia partices (τ = 0.. Using the theory of weaky compressibe fow summarized in section III above, aows to characterize the strength of the custering by computing the Kapan- Yorke co-dimension based on the Lyapunov exponents, i.e. D KY = λ i /λ 3, doing this we find D KY = for the inertia partices. Thus, we verify that τ = 0. causes D KY, which is required for the proper appication of the presented theory. N FIG. 4. Average number of partices found in a given cubic voume of size 3. In the foowing we quantify the statistics of the number of partices in a given voume based on the presented theory. The correction due to discreteness of partices comes into pay when the condition N is not fufied anymore. We show the need for this correction on the exampes of the second and third moment of N. The average number of partices per bin N for varying bin size is iustrated in Fig. 4. This pot indicates that N might be vaid in the region between 0. and the size of the domain. Hence, the discreteness correction wi be necessary beow that range. Equation (4 states that a simpe power-aw incuding D KY as exponent determines the statistics of the number of partices N in the continuum imit. In cases where the discreteness of the number of partices matters, the moments of N are described by this power-aw pus correcting terms, i.e. Eq. (26 corresponding to Eq. (20 for the second and Eq. (23 for the third moment, respectivey. Here, we can set η = since in (η/ 2D KY we have η of order one, which if it is raised in sma power is approximatey one, independent of its precise vaue. Figure 5 shows the difference between continuum and discrete approach on the exampe of the second and third moment for inertia partices. Symbos represent our data, whie ines show the theory for the continuum and the discrete approach, respectivey. In this fow the exponent D KY was fitted as using the first decade = [0., ] in Fig. 5a, where the average number of partices N is arge enough for the continuum approach to be vaid. This vaue is very cose to the one found based on the Lyapunov exponents above, i.e. D KY = As iustrated in Fig. 5, we get an exceent agreement between Eq. (20 and our data, whie the continuum approach prediction deviates from our data at < 0.. A very simiar resut is obtained for the third moment shown in Fig. 5b: there is exceent agreement between our data and the prediction for the discrete partice distribution (Eq. 23, whie the continuum ine deviates from our data for sma. It is seen that the deviation from the continuum prediction can be very strong for smaer (and N respectivey, as anticipated in the theory section above. Figure 6 shows the second moment of N for both passive and inertia partices from our data (symbos and from continuum and discrete predictions (ines for both kinds of partices. The passive tracer data is one for arge enough, where the continuum description appies,

12 2 (a 0 2 N 2 N 2 with τ = 0. Continuum: D KY = Discrete: D KY = N 2 N 2 with τ = 0. N 2 N 2 with τ = 0 Continuum (τ = 0.: D KY = Continuum (τ = 0: D KY = 0 Discrete (τ = 0.: D KY = Discrete (τ = 0: D KY = 0 N 2 N 2. 0 N 2 N 2.05 (b N 3 N N 3 N 3 for τ = 0. Continuum: D KY = Discrete: D KY = FIG. 5. (a: Second moment of N for inertia partices (symbos. The continuum prediction 2D KY is the dotted back ine. The red dashed ine is the discrete fit of the form 2D KY + / N. Both predictions use D KY = (b: Third moment of N for inertia partices (symbos. The continuum prediction 6D KY is the dashed back ine. The red dashed ine is the discrete fit of the form 6D KY + 3/ N 2D KY + / N 2. Both predictions use D KY = but starts deviating for < 0. and the trend perfecty matches the discrete prediction. The inertia partices show the power-aw behavior discussed before and corrections appy roughy at the point where tracers deviate from. Note that for very sma, corrections become even stronger for tracers than for inertia partices. VI. DISCUSSION AND CONCLUSION We provided a detaied theoretica anaysis of statistics of inertia partices transported by turbuence incuding discreteness of matter. The statistics of the number of partices in sma voumes was found incuding the prob FIG. 6. Comparison of tracer and inertia partices for the second moment with a focus on the range =[0.03,]. The second moment is indicated by the smybos in red for inertia partices and the symbos in bue for tracer partices. The continuum prediction 2D KY is a dotted back ine for inertia partices, where D KY = and a dashed back ine for tracer partices (with D KY = 0. The discrete approach of the form 2D KY + / N for inertia partices is iustrated by the dashed red ine (D KY = and as dashed bue ine for tracer partices with D KY = 0. abiity of finding voids. Previous studies did not take into account the discreteness of partices. We show that it can not be negected in situations where the average number of partices in the considered voume is ess than 0, which wi aways occur in any rea setting beow a certain ength scae. Since most experiments and numerica simuations dea with a imited number of partices the presented theory may be usefu in numerous appications deaing with partice measurements in fows. Our theory demonstrates that inertia partices in turbuent (or chaotic fow distribute in space according to a Poisson process with og-norma random intensity. We derive corrections for the moments of the number of partices in sma voumes due to partices discreteness. The presented theory is based on an anaysis of sma-scae fow structures and can be appied to amost a turbuent and chaotic fows independent of their arge-scae fow properties. We vaidate the theory through numerica experiments using a chaotic ABC fow with periodic refreshment of ampitudes. There is very good agreement between our data and the theory as exempified by the second and third moment of the number of partices. We described the voiding effect of turbuence where the void probabiity is significanty increased in comparison with Poisson s void probabiity. Voiding consists of both increasing the typica size of the void and the probabiity