1. Introduction
Diffusive processes occur in many physical, chemical and engineering applications. When the diffusion process is taking place, the quantities related to the spreading species take random values. Since Einstein and Smoluchowski’s work on Brownian motion [
1,
2], diffusive phenomena have been a fundamental subject of intense research. Both derivations (Einstein and Smoluchowski’s) lead to the well-known diffusion relationship, in the one-dimensional case,
, with
D the diffusion coefficient. Several relevant physical and biological phenomena have been discovered in the last few decades, showing an anomalous relationship between mean-squared displacement and time,
. For example, diffusion through porous media or within a crowded cellular environment, making anomalous diffusion a relevant subject of research work [
3,
4,
5,
6] and Refs. [
7,
8] for a review.
This paper presents a detailed study of a particle moving in a fluctuating magnetic field that is directly connected to plasma physics. In particular, it is relevant in many technological applications such as, for example, plasma confinement [
9]. We focus on the diffusion of the particles caused by the magnetic field fluctuations, which can destroy the plasma confinement. The fluctuations of physical quantities are an almost inevitable occurrence and generate diffusion processes of the related quantity [
10,
11,
12]. It is important, therefore, to have an adequate theoretical framework to model their effect. We aim to fill the gap relative to the case of diffusion in a fluctuating magnetic field, which, to our knowledge, has not yet been explored and modeled so far in the case of non-ordinary statistics.
The paper is organized as follows: In
Section 2 we introduce and formally define the problem for generic fluctuations. In
Section 3, we introduce the case of dichotomous fluctuations, and we afford a complete analytical and numerical treatment of Poisson and non-Poisson statistics. In
Section 4, we look at the average squared displacement and, starting from the Poisson case, we move to non-Poisson, power-law distributed fluctuations exploring, therefore also the non-ergodic regime when the average time of the fluctuations diverges (see Ref. [
13] for an extended discussion, and Ref. [
14] and references therein for a review and a historical perspective). The diffusion properties in this regime are characterized by the analytical and numerical derivation of the average squared displacement.
Section 5 and
Section 6 summarize results and draw final conclusions.
2. Stochastic Equation for the Magnetic Force
Let us consider the following classical equation [
15,
16]
where
m is the mass of the charge
q,
is the velocity,
the magnetic field, and
the electric field. We focus on the case where the particle is traveling in a region with a uniform magnetic field randomly fluctuating, i.e.,
where
with
the stochastic fluctuation of the magnetic field, where
. We shall consider a dichotomous fluctuation, with values of
where the sojourn time in one of the two states are distributed according to the distribution
. We will consider the case when
is an exponential,
, or Poisson case, and the case when
is a power law,
with
, or non-Poisson case.
The main reason for choosing dichotomous fluctuations rests on the fact that taking the finite values fluctuations may better represent a physical system. Additionally, we stress that in the appropriate limit, the most well-known noises in the literature, such as the gaussian white noise and the white shot noise are recovered within this framework [
17,
18]. Furthermore, we consider the case where no external electric field is applied. Taking the magnetic field in the
z direction,
, and using cartesian coordinates, we have
with
the time-dependent Larmor frequency and
,
the induced electrical field. As a further simplification, we consider the time scale of the fluctuation much larger than the time associated with the unperturbed Larmor frequency
. It is worthy to note that Equations (
2) and (3) can be reduced to a second order stochastic differential equation for the function
. The resulting equation has a strong similarity with the mechanical system studied in Refs. [
19,
20] where the authors study a linear damped oscillator with a noise perturbing both the oscillator mass and the friction. A detailed study of this equation is out of the scope of this paper, and it is left to an upcoming publication.
Neglecting the induced electrical field,
, (see also [
21]), we have
For the sake of completeness, we end this section showing the equation for the density probability
associated with the stochastic Equations (
4) and (5). To obtain a closed equation for
we will assume that
is a Poisson process although, in the next sections, the analysis of the relevant quantiles,
,
,
, will include also non-Poisson processes. Using the Liouville approach we write the following continuity equation
where for the sake of compactness we dropped the function arguments and we introduced the symbols
The stochastic density
is related to
via the Van Kampen’s lemma [
22]
where the average is performed on the
realizations. Additionally, we will use the Shapiro–Loginov formulae of differentiation [
23]
that holds true for processes with a
nth correlation function fulfilling the condition
In particular, this applies to Poisson, Gaussian and Markov jump processes, with a correlation function given by
. Taking the average of Equation (
6), defining
and using Equation (
7), we may write the system
Taking the time derivative of Equation (
8), and after some algebra we obtain the following equation for the probability density
3. Dichotomous Processes
As stated in
Section 2, in this section we will consider a magnetic field with a fluctuating component which is assumed to be dichotomous. Dichotomous fluctuations have the nice property of assuming finite values but, despite their relative simplicity, they can be shown to allow one to recover both gaussian white noise and white shot noise [
17] within an appropriate limit procedure. Formally the exact solution of Equations (
4) and (5) is
where
is the initial velocity along the
y axis. For the average we have
As we infer from Equations (
13) and (14), we need to evaluate the average of the exponential of the noise integral. For this purpose, we consider the stochastic equation
with
a dichotomous fluctuation where the sojourn time in one of the two states are distributed according to the distribution
. We assume that the event, occurring at each random time
, changes the
sign. When these events occur with a constant rate
this corresponds to a Poisson process, and is characterized by an exponential distribution. As stated in the Introduction, we will consider here both the case of exponential (Poisson) distribution with
and the case of non-Poisson process with power-law distribution, characterized by the following asymptotic behavior
with
, which corresponds to a regime with a diverging second moment (
) and diverging first and second moment (
). The latter case, characterized by the absence of a finite time scale, corresponds to a condition of ergodicity breaking. The formal solution of Equation (
15) is
Considering the formal solution for the velocity of the charge, Equations (
13) and (14), we need to evaluate the quantity
. For this purpose, we use the exact formula in the Laplace representation [
24,
25] (see Ref. [
26] for detailed calculations)
where
is the Laplace transform of
and
(and consequently
is its Laplace transform) is the probability that no switch occurs for a generic interval of time
t, i.e.,
The Poisson case does not present difficulties and, in the time representation, gives the expression
We are now in position to write a closed expression for Equations (
13) and (14). The average of the velocity components is
We now study Equation (
19) for the non-Poisson case with a power-law distribution of the type of Equation (
16) with
where the non-ergodicity of the process plays an important role. Some difficulties arise in inverting the Laplace transform, in particular in the region defined by
. This is partially due to the fact that while for
the calculation in the Laplace transform can be carried out using as waiting-time distribution the derivative of the Mittag–Leffler function (see for example Ref. [
8] and references therein), for the region
the Laplace transform is usually a complicated function, and the inversion of the final result is not an easy task. Traditionally the inversion of a Laplace transform for a large value of time t is performed using the Tauberian theorem, i.e., taking the development for the Laplace parameter
. If the function to invert is a hard-to-handle function, it is not always clear where to stop the development (see [
27] for detailed examples). To overcome this difficulty, we may use as waiting-time distribution [
28]
where
T is a time-scale parameter and, by definition [
29,
30],
and
where
is the Riemann-Liouville fractional derivative. The functions
and
compensate the oscillatory behavior of the ordinary trigonometric functions, and what remains is a positive power law, i.e.,
. A rigorous proof is given in Ref. [
28]. Despite its complicated structure in time representation, its Laplace transform is
For
we must take the limit and we obtain
The proposed distribution has a simple structure based on power law and its validity is in the non-Poisson ranges
. Using the property
, defining the new Laplace variables,
, we can reduce the inverse Laplace problem of Equation (
19) the following inversion Laplace transform
Since we are interested in the asymptotic limit, taking the limit for
we may invert Equation (
29). We find for the asymptotic expression
where
A and
are constant depending on
. In the region
there is no dependence on the parameter
T and we obtain
where
is the Mittag–Leffler function defined as
and
is the Bessel function of the first kind. From an asymptotic point of view, all the expressions contained in Equations (
30) and (
31) have the same accuracy. The advantage of the expression written as in the last line of Equation (
31) is that in the case
, it provides an exact expression, i.e.
This can be directly checked using the distribution
derived by Lamperti [
31,
32], and which describes the distribution associated with Equation (
15) for
. Integrating Equations (
32) and (33) the result with respect to time, we obtain
The resonant case
generates diverging average positions
Figure 1 and
Figure 2 show the comparison between analytical results and numerical simulations for the quantities
and
.
Figure 3,
Figure 4,
Figure 5 and
Figure 6 show single realizations of the stochastic trajectories, and
Figure 7 and
Figure 8 show the comparison between analytical results and numerical simulations for the quantities
and
. Finally,
Figure 9 shows the percent error as a function of the number of the realizations. The error decreases starting from
(blu line, 10k realizations) to
(yellow line, 200k realizations)
4. Diffusion
In this section, we will evaluate
in the Poissonian and non-Poisson case. Using Equations (
11) and (12) we have
where we set
Our goal is to evaluate the quantity
. For the sake of compactness let us define the complex quantity
and take its time derivative
For a Poisson process, with exponential waiting times distribution and correlation, the distribution of the first observed jump/event is the same as that of any other following event [
24], this means that when averaging over the fluctuations, shifting the time origin, will not affect the result. For a generic non-Poissonian process, but with a finite time scale, this remains a good approximation in the long-time limit, so that we may re-write Equation (
44) as
Formally, for
, Equation (
45) is the Laplace transform of the averaged function where
. Using the result of Equation (
19), we may write
namely a constant. We deduce that for the Poisson and the non-Poisson case, but with
, we have ordinary diffusion, i.e.,
Please note that in the Poisson case the approximation (
45) is actually an exact expression and
is given by Equation (
21). The integration of (
45) and the subsequent integration to obtain
does not present difficulties being the integral functions exponential functions. Neglecting the transient due to the exponentials with negative real part, the asymptotic expression for
reads as
The diffusion is faster at resonance, when
. The numerical check for the quantity
, obtained integrating the uniform circular motion between switches of the magnetic field value, is shown in
Figure 10 (Poisson case) and
Figure 11 (
). The agreement with the analytical result, Equation (
47), is remarkable.
When
there is not a finite time scale, and we cannot use the approximation given by Equation (
45). It is important to notice that while in the Poissonian case the distribution of the first observed event/jump coincides with the distribution
of any other event, in the non-Poissonian case it will be different from
and it will be function also of the time
, the time at which the system is prepared, in other words, the distribution of the first observed event will have a two-times dependence
. The distribution of the first jump must be considered, and we are forced to use the full formula of Ref. [
24], i.e.,
where
, and
being
the conditional probability density that, fixed at time
, the first next switching event of the variable
occurs at time
. It is important to notice that differently from the Poisson case, this distribution is different from the distribution
of any other event. It coincides with
only for the Poisson case. Analogously
where
is the conditional probability that, fixed
, no switch occurs between
and
. Using distribution (
27) or in alternative the Mittag–Leffler distribution, we may write for the inverse Laplace transform of
the following
From Equation (
52), one can also understand why the contribution of the first jump/ event becomes crucial for a non-Poissonian process for
. In this regime, differently from the Poisson regime, not only is such distribution different from that of any following event [
24], but it also becomes dominant asymptotically. Analyzing Equation (
51) from an asymptotic point of view, namely
and
we deduce that contribution to the diffusion is given by
.
As
is a function decaying with time we may approximate
for
(see Ref. [
27] for more details)
The contribution of
to
generates constant and oscillating terms while the dominant term is a power law. Indeed, we have
The analytical result is obtained expanding for small
s the Laplace transform of the expression for the derivative of
, neglecting the terms
for the reason stated above. The following expression gives the coefficient
A
with
and
the Laplace transform of the respective functions
and
evaluated in
and the last term within round brackets is obtained from previous terms by exchanging + and − subscripts. The numerical check is shown in
Figure 11.