1. Introduction
All the chemical physical processes involve, in an atomistic perspective, a stochastic description of the events, be them reactive, associated with a change of phase (for instance adsorption) [
1], or simply with momentum transfer, such as in collisions. Nonetheless, in the overwhelming majority of the cases of practical and theoretical interest, the number of molecules involved is so large to justify a mean field approach, essentially based on the Boltzmannian hypothesis of molecular chaos (the“stosszahlansatz”) [
2]. The mean field formulation represents the backbone of the classical theory of chemical reaction kinetics [
3,
4]. In between the mean-field formulation - expressed in terms of continuous fields evolving in space and time (representing the core of transport theory and of the theory of irreversible processes) [
5,
6,
7] - and molecular simulations, involving force fields and quantum effects [
8,
9], stochastic models constitute an alternative capable of accounting for thermal and statistical fluctuations [
10] and, at the same time, providing an interpretation for the transport equations of continuous theories as evolution equation for the associated probability densities [
11,
12].
In most of the cases, the stochastic fluctuations controlling the evolution of chemical-physical processes correspond to the superposition of a variety of elementary events at molecular level, subsumed within the evolution equation by simplified stochastic models, the basic property of which lies in their coarse-grainedness (mathematically corresponding to the application of Central Limit Theorem), independently of the specific phenomenology occurring at the molecular level [
13]. It is therefore not surprising that these stochastic approaches are essentially based on a Gaussian assumption for the probability densities of the fluctuating perturbations, leading to parabolic models for the transport equations of the classical theory of irreversible processes [
6].
However, it is possible to provide alternatives to this approach, defining the stochastic dynamics at a microscopic level, and accounting for the elementary chemical-physical processes involved at this scale. The latter approach, beyond its intrinsic relevance, offers also the way to determine under what conditions the Gaussian approximation in coarse-grained models can be assumed to be valid, and if this is not the case, how specific microscopic interactions may lead to macroscopic transport anomalies.
In this article we address the mathematical formulation of microscopic stochastic modelling using chemical reaction kinetics as a prototypical case study. The rationale in these models is the description of the elementary events (reactive molecular collisions) as distributional derivatives of counting processes [
10]. This type of formulation is not only important in the study of chemical reaction kinetics, but it also provides a very flexible conceptual framework for addressing any chemical-physical process in terms of elementary events involving individual molecular entities. Another typical example of this approach is represented by the thermalization dynamics in a molecular mixture controlled by radiative effects and related to the emission and absorption of energy quanta (see
Section 6).
The article is organized as follows.
Section 2 discusses in detail the multiscale modeling of irreversible processes, the mesoscopic nature of the existing stochastic formulations and the need for a microscopic event-based approach.
Section 3 provides a succinct overview on the state of the art in the stochastic modelling of chemical kinetics and on its algorithmic representation.
Section 4 addresses the mathematical formulation of stochastic chemical reactions as a paradigm for any event-based microscopic description.
Section 5 applies this approach to the clustering of liquid molecules and its influence on the velocity distribution function at thermal equilibrium. Finally,
Section 6 analyzes the role of radiative interactions (absorption and emission of photons) in thermalization processes, and the occurrence of deviations from the Gaussian distribution in equilibrium velocity densities.
2. Models of irreversible processes and their multiscale nature
Chemical physical processes can be described at different length scales, depending on the focus/attention on the microscopic interactions. A rough classification of possible representations, customarily adopted, involves three major classes: macroscopic, mesoscopic, and microscopic (
Figure 1). The two extrema in this categorization are rather clear. Macroscopic modeling involves the evolution of smooth space-time fields, such, e.g., the solute concentration
in a fluid flow, and the resulting dynamics for the continuous fields is expressed in the form of partial differential equations, in most of the cases of parabolic nature (first-order in time, second-order with respect to the spatial variables). At the opposite edge, microscopic models assume the atomistic constitution of matter (molecules) and, considering the interaction between molecules, eventually including quantum effects as regards charge and dipolar moment distributions, describe the evolution of an ensemble of molecular entities via Newtonian equations of motion, complemented with suitable algorithmic/analytic solutions to account for specific thermodynamic conditions (thermostats). The goal of the molecular simulations is essentially to determine the values of transport coefficients and thermodynamic parameters, or the occurrence of phase transitions.
A particular role is played by non-equilibrium kinetic models, such as the Boltzmann equation. Depending on the way they are regarded and utilized, they are able to spam both a microscopic description (as binary collision are explicitly considered, and the collisional integral accounts for the Markovian transitions in the particle velocities controlled by elementary collisional events) [
14,
15] or the macroscopic transport theory (whenever the lower-order moments are considered to derive the transport equations for the collisional invariants).
In between the two aforementioned cases, there is a sea of intermediate-scale approaches that consistently use stochastic processes to model the effects of fluctuations (be them thermal, deriving from the granularity of matter, or of quantum nature) in a coarse-grained way. These models stem from the pioneering work of Einstein, Langevin, Smoluchowski on Brownian motion [
16,
17], i.e. the highly erratic kinematics of micrometric particles in a still fluid driven by thermal fluctuations. The equations of motion for the particles/molecules are derived taking into account the presence of hydrodynamics and/or of external potentials, and describing in a coarse-grained way the effects of thermal fluctuations. The statistical description of the stochastic motion of the particles in terms of probability densities corresponds to the macroscopic thermodynamic level involving the spatio-temporal evolution of the concentration fields.
The prototypical example of mean-field stochastic modelling refers to the motion of micrometric particles in a fluid, the hydrodynamic velocity field of which is
,
. Assuming the size of the particle small compared to the length scale of the velocity variations, and isothermal conditions (constant temperature
T), the equation of motion takes the form of a Wiener-driven Langevin equation
where
is the increment of a vector-valued Wiener process in the time interval
(and thus the entries
,
are independent of each other), and
D the diffusion coefficient. From eq. (
2) it follows that the associated probability density
satisfies the Fokker-Planck equation
which corresponds to the classical macroscopic advection-diffusion equation of mass transport theory for the solute concentration that, modulo a multiplicative constant, equals the density
.
Eq. (
1) is a mesoscopic description of motion because the transport coefficient controlling the process, i.e. the diffusivity
D, is already included into the model without a derivation of it from a microscopic interaction mechanism. Of course one could invoke a more fundamental stochastic description involving the momentum transfer mechanism, as originally formulated by Langevin: if
is the particle velocity and
m its mass then
where
is the friction factor, stemming from the hydrodynamic interactions with the solvent fluid, and
the Boltzmann constant. Eq. (
2) follows from eq. (
3) in the limit of vanishing inertia (overdamped approximation) where
, enforcing
and the Stokes-Einstein fluctuation-dissipation relation
connecting the diffusivity
D to the hydromechanical properties, expressed by the friction factor
, and to the thermodynamic conditions of the systems, expressed by the temperature
T.
But even eq. (
3) is a mesoscopic description of the thermal fluctuations: the use of the Wiener process
, by its nature, corresponds to a long-term asymptotic characterization, emerging from the superposition of small and independent random pertubations so that the Central Limit Theorem (CLT) can be invoked [
18,
19].
It is therefore not surprising that the resulting transport equation is of parabolic nature as, by definition of the (one-dimensional) Wiener process
, its increment
over the time interval
is a Gaussian random variable with zero mean and square variance equal to
[
13]. Moreover, the increments in two disjoint time intervals are independent of each other. Setting
, since
by definition [
10], the probability density for
y is Gaussian
and
so defined is the solution of the diffusion equation
Therefore, the choice of Wiener perturbations as the global descriptor of the effects of thermal fluctuations automatically implies that the resulting macroscopic transport equations for the densities are partial differential equations of parabolic nature.
The mesoscopic formulation based on Wiener-Langevin equations of the form eq. (
1) represents one of the basic strongholds of contemporary statistical physics. At the same time, this setting shows intrinsic physical limitations in the broader perspective of improving the formulation of macroscopic thermodynamic models. The parabolic nature of the resulting transport equations brings with it inherent inconsistencies such as the paradox of infinite velocity of propagation [
7], and this limits its application to generic (and extreme) thermodynamic conditions (such as at very low temperatures), and to generic fluids (more complex that purely Newtonian fluids, such as viscoelastic fluids) [
20,
21,
22]. Moreover, there is no relation between a microscopic theory of mass transport and the properties of the stochastic force, other than the appeal to CLT. As in the absence of the external velocity field (
), the statistics of the velocity fluctuations deriving from eq. (
3) is Gaussian, there is no indication in this form of mesoscopic stochastic theories of the conditions under which the Gaussian paradigm may fail, and new emergent phenomenologies may arise.
In order to answer these questions, and to provide a framework for describing thermal fluctuations beyond the pure CLT limit, a microscopic stochastic theory of motion is required, where the elementary mechanisms controlling momentum transfer and motion are singled out and accounted for. This may represent a general microscopic approach for handling a huge variety of chemical physical phenomena. The paradigmatic problem of such a microscopic event-based theory is represented by chemical reactions, as addressed in the next two
Section 3 and
Section 4. In the remainder of the article, we consider several extensions of this approach to the analysis of a model for molecular coalescence in liquids and its implications as regards transport (
Section 5) and to the velocity distribution in molecular systems driven by radiative effects (emission and absorptions of photons) (
Section 6).
3. Stochastic modelling of chemical kinetics
Consider a typical bimolecular reaction mechanism
where
A,
B and
C indicate the reacting species. The stoichiometry defined by eq. (
8) implies that one molecule of
A and one molecule of
B should collide, and that their kinetic energy is sufficiently high to overcome the activation energy so that the chemical transformation to
C may take place.
In a mean-field framework, letting
,
and
be the concentrations of the reacting species, and assuming spatial uniformity in a closed reacting vessel, so that these concentrations depend uniquely on time, we have
where
k is the rate constant, accounting for the frequency of occurrence of reactive collisions. It is immediate to recognize that the mean field approach to chemical kinetics corresponds exactly to the “stosszahlansatz” (the hypothesis of molecular chaos) enforced by Boltzmann in deriving his kinetic equation for non-equilibrium processes in diluted gaseous systems.
The latter analogy is indeed highlighting as it indicates the possibility of gathering together momentum-transfer processes, controlling molecular motion, with chemical/quantum events associated with chemical reactions and quantum transitions in a unitary stochastic event-based theory.
The stochastic theory of chemical reactions dates back to the formulation of the chemical master equation developed in order to handle reactive systems in which the granularity (limited and small number of molecules) plays a leading role and controls the statistical fluctuations in small reacting systems.
It is well known that, in all the cases where the number of molecules is small (and this occurs in subcellular biochemical reactions, in nanoscale systems, or in the growth kinetics of microorganisms [
23,
24,
25]), the effects of fluctuations become significant, motivating a stochastic description of chemical kinetic processes, involving the number of molecules present in the system, thus explicitly accounting for their finite number [
26,
27,
28,
29]. The statistical theory of chemical kinetics in these conditions is grounded on the Chemical Master Equation (CME) [
30,
31], expressing the time evolution for the probabilities
of all the possible number-configurations
, where
is the number of molecules of the
h-th reacting species at time
t,
. However, apart from a handful of simple cases, for which the CME can be solved analytically [
32], numerical methods should be applied to it in order to compute mean values and higher-order moments. But also this choice reveals itself to be unfeasible in most of the situations of practical and theoretical interest, due to the extremely large number of configurations involved, making the multi-index matrix
so huge to exceed reasonable computational facilities.
In order to solve this problem, Gillespie proposed an algorithmic solution to the numerical simulation of stochastic reacting systems, based on the Markovian nature of the reactive events [
33,
34]. The original Gillespie algorithm has been extended and improved over time, providing a variety of slightly different computational alternatives. A common denominator of the first family of the Gillespie algorithms (namely those based on the direct method, the first reaction method or their derivates [
35,
36,
37]) is to associate to every time step the occurrence of just one reaction. This formulation comes directly from the assumption that, if the time step is small enough, the probability that more than one reaction will occur is negligible. While correct, this choice brings to significant computational costs for complex reaction schemes. This problem has been highlighted several times, by the Gillespie group itself, as
stiffness in stochastic chemical reacting systems [
38]. A brilliant way to overcome this limit has been the famous tau-leaping method, which, unfortunately, requires to check that the propensity functions (i.e., the probabilities of occurrence of the reactive steps) remain
almost constant at each iteration and can be applied just if this condition is verified [
39,
40]. The algorithmic solution associated with the formalism here introduced combines the accuracy of the first stochastic simulation algorithms with the computational advantages of the tau-leaping method.
There is, moreover, a missing link between CME theory and the Gillespie algorithm, consisting in the straight mathematical formulation of the stochastic differential equations associated with a chemical reacting system, the statistical description of which would correspond to the CME. To clarify this issue, consider the conceptually analogous problem of particle diffusion over the real line, the statistical description of which is expressed by the parabolic equation
, for the probability density
of finding a particle at position
x at time
t. Setting
, an algorithm describing this process can be simply expressed by the discrete evolution equation
, where
,
represent independent random variables sampled from a normal distribution (with zero mean, and unit variance) [
41]. This represents an efficient algorithmic solution of the problem, whenever the time resolution
is small enough. Nevertheless, the mere algorithmic approach cannot be considered physically satisfactory, in a comprehensive formulation of transport theory embedded in a continuous space-time (in which both position
x and time
t are real valued). In point of fact, only with the mathematical formulation due to K. Ito of stochastic differential equations driven by the increments
of a Wiener process (Langevin equations) [
42], namely
the theory of diffusive motion has found a proper mathematical physical setting.
A similar situation applies to the case of stochastic models of chemical reaction kinetics, for which up to now, the fundamental representation in terms of stochastic differential equations is missing (see e.g. the review [
43]).
4. Stochastic models for chemical reactions
As mentioned above, this article is aimed at overcoming the purely algorithmic description of stochastic chemical reactions, providing the formulation of these processes as stochastic differential equations evolving continuously with time.
The basic idea is that any reactive process corresponds to a system of elementary events (the single reaction) possessing a Markovian transitional structure, and consequently, amenable to a description by means of the increments of counting processes (Poisson processes, in the Markovian case). This topic has been also pointed out in [
44] in terms of Poisson measures, although the latter formulation is much less simple and physically intuitive than the approach proposed in the present article.
To begin with, consider the simple case of a first-order chemical reaction
(for instance, an isomerization). This model is perfectly analogous to the radiative transition of a molecule possessing two energy states, due to emission and adsorption of an energy quantum (
Figure 2). Let
the total number of molecules at time
. The state of the system is characterized by the state functions
,
for each molecule, attaining values
, and such that
if the energy state at time
t is
(or equivalently if the molecule finds itself in the state
A), and
in the opposite case (energy state
, or isomeric state
B).
Let
be two systems of independent Poisson processes, characterized by the transition rates
, and
, respectively. The evolution of
can be expressed via the stochastic differential equation
, where
is the distributional derivative of the Poisson process
, corresponding to a sequence of unit impulsive functions at the transition instants
,
,
, where for
,
. Summing over
, and observing that
,
, we have
and
, representing the evolution equation for
and
, attaining integer values. The stochastic evolution of the number of molecules
,
is thus expressed as a differential equation with respect to the continuous physical time
, over the increments of a Poisson process. Interpreted in a mean-field way, if
is the overall concentration of the reactants at time
, then the concentrations
,
, at time
t can be recovered from eq. (
11) as
representing the calibration relation connecting the stochastic description, in terms of the number of molecules
, and the concentrations
,
entering the mean-field description.
The analytical formulation of a stochastic differential equation for chemical kinetics, expressed in terms of the number of molecules of the chemical species involved, rather than an algorithm defined for discretized times, allows the development of a variety of different numerical strategies, that naturally perform a modified tau-leaping procedure, as the occurrence of several distinct reactive events in any elementary time step
is intrinsically accounted for. This can be easily seen by considering the simple reaction defined by the evolution equation (
11). In terms of increments, eq. (
11) can be written as
. If
is the chosen time step, it follows from this formulation, a simple numerical approximation for eq. (
11), namely,
where
,
, are two families of independent binary random variables, where
,
. The time step
, can be chosen in eq. (
13) from the condition
In practice, we choose
. As can be observed, the choice of
is limited only by the intrinsic rates of the process. The advantage of deriving different algorithmic schemes for solving numerically the stochastic kinetic equations becomes more evident in dealing with bimolecular reactions (addressed below) [
45].
The same approach can be extended to include amongst the elementary events not only the reactive steps, but also feeding conditions, thus representing the evolution of chemically reacting systems with a finite number of molecules in a perfectly stirred open reactor. This is the case of the tank-loading problem, in which a tracer is injected in an open vessel, assumed perfectly mixed, for which, in the absence of chemical reactions, the mean field equation for the concentration of the tracer reads
where
is the inlet concentration and
D the dilution rate (reciprocal of the mean retention time), and
. Fixing
so that
, the corresponding stochastic differential equation for the integer
involves, also in this case, two families of counting processes, one for the loading at constant concentration
, and the other for tracer discharge in the outlet stream, characterized by the same transition rate
D,
starting from
.
Figure 3 depicts several realizations of the tank-loading process, obtained by discretizing eq. (
17) with a time step
.
This approach can be extended to the analysis of chemical kinetics in flow systems (specifically microfluidic devices) for aggregation and gelation processes, that possess persistent chemical fluctuations, see e.g. [
46].
Despite the simplicity of eqs. (
16) or (
17), this process permits to highlight the role of
, that can be referred to as the
granularity number, and the way stochastic models of chemical reactions can be fruitfully applied. Indeed, there is a two-fold use of the stochastic formulation of chemical kinetic schemes. The first refers to a chemical reacting system involving a small number of molecules, and in this case
represents the effective number of molecules present in the system. The other is to use stochastic algorithms for simulating reacting systems as an alternative way, sometimes more efficient, with respect to the solution of the corresponding mean-field equations. In the latter case, the granularity number
represents essentially a computational parameter, tuning the intensity of the fluctuations. Two choices are then possible: (i)
can be chosen large enough, in order to obtain from a single realization of the process an accurate approximation of the mean-field behavior, or (ii) it can be chosen small enough in order, to deal with extremely fast simulations of a single realization of the process, that could be averaged over a statistically significant number of realizations in due time. These two choices are depicted in
Figure 3 (panel c), choosing
, and in
Figure 4 panel (a) obtained for
. Of course, the latter approach is valid as long as the low-granularity (low values of
) does not influence the qualitative properties of the kinetics.
The second (computational) use of stochastic simulations of chemical kinetics requires a further discussion. At a first sight, it may appear that any stochastic simulation would be computationally less efficient than the solution of the corresponding mean-field equations. This is certainly true for classical chemical reaction schemes in a perfectly mixed system, for which the mean-field model reduces to a system of ordinary differential equations for the concentrations of the reactants. But there are kinetic problems e.g., associated with the growth of microorganisms and eukaryotic cell lines in bioreactors (these growth phenomena, are indeed amenable to a description in terms of equivalent chemical reactions), the mean-field model of which is expressed in the form of higher-dimensional nonlinear integro-differential equations . For this class of problems, the use of stochastic simulations is the most efficient, if not the only way to achieve a quantitative description of the process, in those cases where the number
of internal parameters describing the physiological state of an eukaryotic cell becomes large enough [
45]. This case is altogether similar to some transport problems, such as Taylor-Aris dispersion for high Péclet numbers or the analysis of microfluidic separation processes (DLD devices) for which the stochastic simulation of particle motion is far more efficient that the corresponding solution of the corresponding mean-field model expressed in the form of advection-diffusion equations [
47,
48].
To complete the analysis of the tank-loading problem, the associated CME reads
where
for
and
otherwise. It follows that
satisfies identically the mean-field equation (due to the linearity of the problem), while the variance
, with
, satisfies the equation
Figure 4 panel (b) compares the results of stochastic simulations against the solutions of eq. (
19) for two values of
.
The above approach can be extended to any system of nonlinear reaction schemes involving unimolecular and bimolecular reaction, and in the presence of slow/fast kinetics. The structure of the reaction mechanism can be arbitrarily complicated without adding any further complexity (other than purely notational) in the formulation of the stochastic evolution expressed in terms of number of molecules. The only practical issue, is that the number of different families of stochastic processes grows with the number of elementary reactive processes considered. For instance, in the case of the substrate-inhibited Michaelis-Menten kinetics
there are five reactive processes (five channels in the language of the Gillespie algorithm) and consequently five families of counting processes
,
, should be introduced, so that the formulation of the discrete stochastic dynamics reads
equipped with the initial conditions
,
,
. Observe that for the bimolecular steps we have used a number-dependent rate coefficient.
The granularity number
can be fixed, so that
where
indicates the integer part of
, thus defining the relation between
and
, namely
,
. This implies also that the effective rate parameters entering the discrete stochastic evolution equation (
21), and associated with the two bimolecular reactive steps, are given by
, and
.
Consider the case
,
,
. In this case the quasi steady-state approximation of the
-
curve (representing the slow manifold of the kinetics) takes the expression
Figure 5 depicts the
-
graph obtained from a single realization of the stochastic process eq. (
21) at several values of
so as to modify the Michaelis-Menten constant
for a value
of the granularity number.
Apart from the initial transient giving rise to an overshot in the values of near , the dynamics rapidly collapses towards the slow manifold and the stochastic simulations at high -value provide a reliable description of the mean-field behavior starting from a single stochastic realization.
5. Extensions: clustering of liquid molecules and velocity fluctuations
The mechanism controlling fluctuations in chemical kinetics can be extended to any kind of chemical physical process in which some properties change discontinuously as a consequence of elementary events. This is the case of aggregation/fragmentation phenomena, adsorption and quantum transitions. In this Section we consider a particular case of aggregation, related to the clustering of molecules in liquids such as water due to weak interactions [
49,
50,
51]. The dynamics of creation and destruction of clusters is controlled by weak forces and hydrogen-bond formation. This determines that the effective mean square velocity of water molecules at constant temperature
T is not
(where
m is the mass of a water molecule), but rather
, with
, due to clustering. Therefore, cluster kinetics has a relevant effect not only at a molecular level but also on the thermodynamic and transport properties of the solution.
Let us assume that in the clustering process only one molecule at a time is either incorporated in a cluster or eliminated from it, as depicted in
Figure 6, and that clustering dynamics can be regarded as linear, i.e. with rates independent of the concentration of the molecules. The process is defined by two parameters: the rate
at which a cluster undergoes a transition, and the probability
that this transition corresponds to the acquisition of another molecule. Moreover, let us assume that there is a maximum number of molecules
N above which no cluster can be formed. Therefore, for each molecule, we can define a state variable
, attaining values
, specifying the cluster-state of the molecule:
corresponds to the size of the cluster to which the molecule belongs to. The dynamics of the cluster formation is thus described by the stochastic evolution equation for
,
where
Indicating with
,
the probability that a molecule belongs at time
t to a cluster of
h elements, we have
Equations (
26) represent a particular case of the Becker-Döring nucleation kinetics [
52,
53,
54], the matrix representation of which attains the form
The stationary equilibrium distribution
is given by
where
C is the normalization constant such that
.
Figure 7 depicts the comparison between stochastic simulations using an ensemble of
realizations of eq. (
24) and the steady-sate solution eq. (
28).
The microscopic phenomenon of coalescence impacts on macroscopic transport properties, as the motion of clusters is controlled by its size, both as regards inertial (mass) and hydrodynamic interactions (friction factor). If we indicate with
and
the mass and the friction factor of a cluster of
k molecules, the velocity
of a
k-cluster satisfies the Langevin equation
where
,
are a family of Wiener processes independent of each other. We use here a scalar representation for the velocity as the vector representation does not add any new physics, making the notation more cumbersome. The masses
and the friction factors
depend on
k. Since
, where
is the gyration radius of the
k-cluster, and
, we can set
where
is a constant. Let
be the joint density function for
v and
for the generic
i-th molecule
The system of partial densities
satisfies the family of Fokker-Planck equations
. The average value of any function
of the velocity at time
t is thus given by
Of particular interest is the value of
. From eq. (
32) it follows that
,
, satisfy the equations
, where
are the marginal densities with respect to
, solution of eq. (
27).
Figure 8 depicts the evolution for
obtained from stochastic simulations with
elements, initially in the form of single molecules
,
, with velocities sampled from the equilibrium distribution. Throughout these simulations we set
,
=1 a.u.,
a.u. and
a.u., as the values of these parameters can be rescaled out and they do not influence the qualitative properties of the system. Correspondingly, the initial velocities for the molecules are sampled from a normal distribution with zero mean and unit variance. The data depicted in
Figure 8 refers to two values of the parameter
.
Of major interest are the long-term equilibrium properties, corresponding to the steady solution of eq. (
34). The squared velocity variance
is given by the sum of the marginal squared variances
Set
, where
. Two limit regimes occur. If
, the recombination term (last term at the r.h.s. of eq. (
34)) can be neglected and thus the equilibrium values for the squared velocity variances are given by
where
are the equilibrium fractions eq. (
28). Conversely, if
, the recombination term prevails, and the squared partial variances approach the solution of the equation
This means that the
should be proportional to the equilibrium fractions
where the proportionality constant
can be determined by substituting this expression into eq. (
34) at steady-state, from which we obtain
Therefore,
attains the two limit values
where
The occurrence of these two limit regimes is depicted in
Figure 9 and
Figure 10.
Observe that for low values of () the influence of the rate on the intensity of the velocity fluctuations is practically negligible, and . This condition corresponds to the formation of very large clusters, having the size of the order of N. Much higher variability occurs for values of approaching as this corresponds to the most active kinetic regime with the formation of smaller clusters of the size of few molecules, in which the value of the rate plays a leading role in determining the statistical properties of the velocity fluctuations.
It is also interesting to analyze the velocity density functions
at equilibrium.
Figure 11 depicts the equilibrium densities in these two limit regimes, for values of
below and above the threshold
.
The results of the stochastic simulations (symbols in
Figure 11) refer to a sample of
realizations. Once the stationary equilibrium conditions have been achieved, the densities are evaluated over a sufficiently wide time window to ensure the estimate of the velocity densities from a sample of about
realizations. This ensures that, at least for the range of
-values considered, the velocity statistics is accurate. The solid lines in this figure refer to the Maxwellian (Gaussian) distribution
with zero mean and variance
equal to that obtained from the stochastic simulations. It can be observed that for small
(panel a), a main Gaussian core occurrs at low velocities, but significant deviations from Gaussianity appear in the high-velocity tails. This is non-surprising as the velocity fluctuations are mainly controlled by the formation of large molecular clusters, and the velocity tails account for the relatively small contribution of these clusters. Conversely, for
(as in panel (b) at
) a slight, but uniform deviation from the Gaussian profile is observed throughout the whole range of
v-values.
Next, consider the particle motion defined by the kinematics
While in the analysis developed above the values of
m and
were immaterial, so that we set them equal to unity, in the description of particle motion they play a relevant role. Therefore, in the remainder let us assume that
m and
attain physical values, which implies for the characteristic dissipation time
. Consequently, we can assume in eq. (
29), the overdamped approximation even for the larger clusters. This means that eq. (
43) becomes
Assuming without loss of generality
, we have for the mean square displacement
providing, for the effective diffusion coefficient
D the expression
The latter expression for
D should be compared with the effective friction factor
,
From the comparison of eqs. (
46)-(
47) it is natural to expect that the classical fluctuation-dissipation relation may be violated [
55]. The order parameter
for this phenomenon is the product
as
, and it should be strictly equal to 1 if the classical fluctuation-dissipation relation is verified. Observe that the averages entering eqs. (
46)-(
47) are evaluated for the equilibrium cluster distribution
.
Figure 12 depicts the behavior of
vs
for a maximum cluster size
. The order parameter is practically equal to 1 for small values of
, and the main departure from the fluctuation-dissipation relation (albeit of relative small entity,
), occurs near the critical point
. This result indicates how microscopic phenomena, such as coalescence, may impact on macroscopic thermodynamic and transport properties, and that it is possible to provide simple and efficient stochastic modelling of them, accounting for the elementary transitions occurring at the molecular level.
6. Radiative interactions and thermalization
Chemical reaction kinetics and quantum transitions can be treated stochastically with the same Markovian setting, once the transition rates are defined starting from the microscopic physics of the elementary events. This is analyzed in detail in [
56] to which the reader is referred for further details.
It is important to stress in this context, similarly to the case of coalescence dynamics analyzed in the previous Section, the influence of radiative processes on transport properties. It is well known that the electromagnetic field carries momentum, and consequently it is able to interact “at a mechanical level” with massive bodies, i.e. influencing their momentum dynamics (equations of motion). This problem has been analyzed in detail by Einstein [
57], (the English translation can be found in [
58], see also the discussion [
59,
60]), showing that, if a molecular system composed of identical molecules of mass
m, and possessing an internal quantized energy structure, amenable to radiative transitions (i.e. absorption and emission of energy quanta), interacts with equilibrium thermal radiation at temperature
T, the resulting momentum transfer due to photon kicks and molecular recoil effects determines statistically a squared velocity variance equal to
(componentwise), consistently with the kinetic theory.
This result is of the highest physical importance as it indicates that radiative interactions at the molecular level determine the thermalization of the system independently of other mechanical interactions (such as binary molecular collisions), which possibly may speed up the thermalization process, but not modify its outcome (for the simple reason that binary elastic collisions preserve the sum of the squared norm of velocities of the colliding particles).
The stochastic dynamics of this process has been analyzed in [
56]. Due to the impulsive nature of the radiative events, at least in a semiclassical description, momentum-transfer dynamics can be represented by means of an impulsive Langevin equation
where
is a Poisson counting process with transition rate
, accounting for the stochasticity and for the frequency of radiative events,
, where
the momentum of the photon (
is the resonant frequency of the transition between the energy levels
and
,
h the Planck constant, and
c the light speed
in vacuo),
a random unit vector, uniformly distributed on the surface of the unit sphere (as thermal radiation is here considered), and
the radiative friction factor, possessing the physical dimension of a mass.
Integrating eq. (
49) between the occurrence of a radiative event, we have
where
and
are the velocities before and after the event,
. The parameter
and
are related to each other by a radiative fluctuation-dissipation relation [
56]
Also in this case, it is interesting to analyze the effects of this microscopic process on the transport properties, using the parameter
as the quantity controlling radiative dissipation. If
is close to 1, and this physically occurs at “high” temperatures, above
-
K, the resulting velocity density functions are of Gaussian shape, consistently with the Maxwellian theory. Conversely, at very low temperatures, say below
K,
is definitely smaller than 1, and deviations from Gaussian profiles become evident. This is depicted in
Figure 13 obtained by simulating an ensemble of
particles, undergoing the dynamics (
50)-(
51) with
set equal to 1 a.u., for two values of
, starting from an initially uniform velocity density function, and considering the equilibrium velocity profile
for a generic component of
.
The analysis of the mechanical effects of radiative interactions is important at least for the following main reasons:
it provides a simple physical mechanism, beyond the realm of mechanical interactions (collisions) for the thermalization process leading to thermal equilibrium conditions in a molecular system at constant T, where the temperature T is defined by the statistical properties of the incoming radiation;
it provides a way to model momentum transfer in the presence of a generic out-of-equilibrium radiation, i.e., in the case the photons are not “thermal photons”, but may possess other statistical properties;
it indicates that Gaussianity in statistical physics is by no mean a fundamental constitutive principle (see e.g. the analysis of the Central Limit Theory addressed in [
68]) as regards kinetic variables (velocities), but it results as a consequence of the physical conditions at which commonly we perform experiments. In the case of the radiative processes, this corresponds to temperatures above
-
K;
consequently, it provides a way to address the thermodynamic and transport features of cold atoms that, as discussed in [
61], are characterized by highly anomalous transport and thermodynamic properties.