1 Introduction
To understand the propagation of energetic particles through a plasma is a very fundamental problem with a variety of applications in plasma physics, space science and astrophysics. The motion of such particles is described by transport equations and their solutions provide a particle distribution function. As explained in detail in Schlickeiser (Reference Schlickeiser2002) there are different levels at which the transport can be described. The most fundamental description is provided by the relativistic Vlasov equation from which a pitch-angle-dependent Fokker–Planck equation can be derived. The latter equation can contain different transport processes ranging from pitch-angle scattering to perpendicular diffusion, stochastic acceleration and adiabatic focusing. It is usually assumed that if the aforementioned Fokker–Planck equation is averaged over all pitch angles, and if a late time limit is considered, one obtains a diffusive transport equation. Pitch-angle-dependent and averaged cosmic ray transport equations are solved in order to describe the acceleration of particles at shock waves or their motion through the solar system, the interstellar medium or the extra galactic space (see, e.g. Li et al. Reference Li, Shalchi, Ao, Zank and Verkhoglyadova2012; Ferrand et al. Reference Ferrand, Danos, Shalchi, Safi-Harb, Edmon and Mendygral2014; Zank Reference Zank2014; Engelbrecht & Burger Reference Engelbrecht and Burger2015; Miyake, Muraishi & Yanagita Reference Miyake, Muraishi and Yanagita2015; Mulcahy et al. Reference Mulcahy, Fletcher, Beck, Mitra and Scaife2016; Porth et al. Reference Porth, Vorster, Lyutikov and Engelbrecht2016; Strauss, Dresing & Engelbrecht Reference Strauss, Dresing and Engelbrecht2017).
For some applications one could concentrate on the motion of charged particles along a mean magnetic field. Usually this type of transport is called parallel diffusion and it is assumed that parallel transport is the most important process. For example it controls the life time of cosmic rays in the Milky Way (see, e.g. Swordy et al. Reference Swordy, Mueller, Meyer, L’Heureux and Grunsfeld1990; Schlickeiser Reference Schlickeiser2002; Shalchi & Schlickeiser Reference Shalchi and Schlickeiser2005). Therefore, one can focus on the analytical and numerical study of the two-dimensional Fokker–Planck equation which provides the particle distribution as a function of time, parallel position and pitch angle.Footnote 1 This type of distribution function also enters nonlinear theories for perpendicular transport, as shown in Shalchi (Reference Shalchi2010, Reference Shalchi2017).
An exact analytical solution of the Fokker–Planck equation is difficult to find. Although some progress has been made recently (see Malkov Reference Malkov2017), such solutions are either based on approximations or involve numerical calculations. For some applications such as the formulation of nonlinear theories for perpendicular transport, exact and pure analytical solutions are desired.
It is the purpose of the current paper to derive exact analytical forms of the first 14 moments of the pitch-angle-dependent cosmic ray Fokker–Planck equation for an arbitrary initial pitch angle. Such explicit formulas for the moments can be important for different applications as also demonstrated in the present article. In all cases we recover the formulas derived previously for the initial pitch-angle-averaged case (see, e.g. Malkov Reference Malkov2017).
The remainder of this paper is organized as follows. After discussing transport equations and some general properties in § 2, the moments are derived step by step in § 3. In § 4 we consider the characteristic function in nonlinear diffusion theory as an example for the applicability of our findings. In § 4 we summarize and conclude.
2 Transport equations
The general Fokker–Planck equation of cosmic ray transport is complicated and contains several terms such as perpendicular diffusion or stochastic acceleration (see, e.g. Skilling Reference Skilling1975; Schlickeiser Reference Schlickeiser2002; Zank Reference Zank2014). For some applications one can neglect such terms and consider the limit that both the magnetic field and the plasma flow are weakly non-uniform. In this case one obtains a simpler, two-dimensional version of the Fokker–Planck equation which is valid in the plasma flow frame (see, e.g. Schlickeiser Reference Schlickeiser2002, for a detailed derivation and discussion)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn1.gif?pub-status=live)
where we have used the pitch-angle Fokker–Planck coefficient
$D_{\unicode[STIX]{x1D707}\unicode[STIX]{x1D707}}$
. The solution of this equation provides the particle distribution function
$f=f(\unicode[STIX]{x1D707},z,t)$
where we have used time
$t$
, the particle position along the mean magnetic field
$z$
and the pitch-angle cosine
$\unicode[STIX]{x1D707}$
. It has to be emphasized that the parameter
$D_{\unicode[STIX]{x1D707}\unicode[STIX]{x1D707}}$
still depends on the particle speed or momentum. The latter parameters, however, are just parameters which do not change the form of the solution
$f=f(\unicode[STIX]{x1D707},z,t)$
. If the latter function is averaged over all values of
$\unicode[STIX]{x1D707}$
, and if a late time limit is considered, one finds a usual diffusion equation of the form (see, e.g. Schlickeiser Reference Schlickeiser2002; Shalchi Reference Shalchi2009; Zank Reference Zank2014)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn2.gif?pub-status=live)
where we have used the pitch-angle-averaged distribution function
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn3.gif?pub-status=live)
Equation (2.2) is also known as the heat transport equation. The parallel spatial diffusion coefficient
$\unicode[STIX]{x1D705}_{\Vert }$
therein is related to the pitch-angle Fokker–Planck coefficient
$D_{\unicode[STIX]{x1D707}\unicode[STIX]{x1D707}}$
via the famous relation (see, e.g. Earl (Reference Earl1974) for a systematic derivation)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn4.gif?pub-status=live)
It has to be emphasized that generalizations can be found in the literature in which a telegrapher equation has been derived and discussed in the context of cosmic ray transport (see, e.g. Litvinenko & Schlickeiser Reference Litvinenko and Schlickeiser2013; Litvinenko et al. Reference Litvinenko, Effenberger and Schlickeiser2015; Tautz & Lerche Reference Tautz and Lerche2016; Malkov Reference Malkov2017).
For sharp initial conditions
$M(z,t=0)=\unicode[STIX]{x1D6FF}(z)$
, equation (2.2) has a Gaussian solution of the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn5.gif?pub-status=live)
The characteristic function of a transport equation is defined via
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn6.gif?pub-status=live)
corresponding to the Fourier transform of the distribution function. The characteristic function of a usual diffusion equation (see (2.2) of the current paper) is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn7.gif?pub-status=live)
The latter function can easily be derived by combining (2.5) and (2.6). The characteristic function will be discussed in more detail in § 4 of this paper.
3 The moments of the Fokker–Planck equation
It is the purpose of the current article to derive analytical forms for the first 14 moments of (2.1). In order to do this we need to specify the scattering parameter
$D_{\unicode[STIX]{x1D707}\unicode[STIX]{x1D707}}$
. In the following we employ the isotropic model (see, e.g. Shalchi et al. (Reference Shalchi, Škoda, Tautz and Schlickeiser2009) for a justification of this form and more details)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn8.gif?pub-status=live)
and the Fokker–Planck equation (2.1) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn9.gif?pub-status=live)
The parameter
$D$
used here is just a constant in the sense that it does not depend on
$\unicode[STIX]{x1D707}$
. However,
$D$
can depend on particle properties such as momentum as well as magnetic field properties.
Some moments of the Fokker–Planck equation have been computed before (see, e.g. Shalchi Reference Shalchi2006). In order to derive a general relation for the moments we follow Malkov (Reference Malkov2017) and multiply (3.2) by
$z^{n}\unicode[STIX]{x1D707}^{m}$
, integrate over all positions and average over all pitch angles. We find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn10.gif?pub-status=live)
where we have used
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn11.gif?pub-status=live)
and
$f(\unicode[STIX]{x1D707},z=\pm \infty ,t)=0$
. If the moments
$\langle z^{n-1}\unicode[STIX]{x1D707}^{m+1}\rangle$
and
$\langle z^{n}\unicode[STIX]{x1D707}^{m-2}\rangle$
are known, differential equation (3.3) can be solved analytically. In the following paragraphs we compute the first 14 moments by solving (3.3). Alternatively, the moments could be derived from equation (8) of Malkov (Reference Malkov2017). The latter equation provides an inductive algorithm to compute moments by integration of exponential and power functions.
3.1 The moment
$\langle \unicode[STIX]{x1D707}\rangle$
For
$n=0$
and
$m=1$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn12.gif?pub-status=live)
We can easily solve the latter ordinary differential equation. By using the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
the solution is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn13.gif?pub-status=live)
If we also average over all initial pitch-angle cosine values, this becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn14.gif?pub-status=live)
for all times. Here we have used the notation
$\langle \langle \ldots \rangle \rangle$
which stands for average over
$\unicode[STIX]{x1D707}$
and
$\unicode[STIX]{x1D707}_{0}$
, i.e.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn15.gif?pub-status=live)
However, the correlation between the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
and
$\unicode[STIX]{x1D707}$
is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn16.gif?pub-status=live)
Therefore, the velocity correlation function is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn17.gif?pub-status=live)
where we have used the parallel mean free path
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn18.gif?pub-status=live)
Velocity correlation functions of the form (3.10) are often used in theories for perpendicular diffusion (see, e.g. Owens Reference Owens1974; Matthaeus et al.
Reference Matthaeus, Qin, Bieber and Zank2003) but this exponential form is only correct for an isotropic
$D_{\unicode[STIX]{x1D707}\unicode[STIX]{x1D707}}$
(see Shalchi (Reference Shalchi2011a
) for a detailed discussion of this matter).
The so-called Taylor–Green–Kubo formula (see Taylor Reference Taylor1922; Green Reference Green1951; Kubo Reference Kubo1957) allows us to compute a running diffusion coefficient via
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn19.gif?pub-status=live)
where we have employed (3.6) again. In the limit
$t\rightarrow \infty$
this becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn20.gif?pub-status=live)
and if we average over all initial pitch-angle cosine values we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn21.gif?pub-status=live)
The latter form can alternatively be obtained by combining the isotropic form (3.1) with Earl’s relation (2.4). If we average (3.12) directly over
$\unicode[STIX]{x1D707}_{0}$
, we derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn22.gif?pub-status=live)
For
$t\rightarrow 0$
we can expand the exponential in (3.12) to derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn23.gif?pub-status=live)
corresponding to ballistic transport. In figure 1 we visualize (3.15) to show the turnover from the initial ballistic regime to the normal diffusive regime.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_fig1g.gif?pub-status=live)
Figure 1. The running diffusion coefficient normalized with respect to the late time diffusion coefficient
$d_{\Vert }(t)/\unicode[STIX]{x1D705}_{\Vert }$
versus dimensionless time
$vt/\unicode[STIX]{x1D706}_{\Vert }$
.
3.2 The moment
$\langle \unicode[STIX]{x1D707}^{2}\rangle$
For
$n=0$
and
$m=2$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn24.gif?pub-status=live)
The latter equation has the homogeneous solution
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn25.gif?pub-status=live)
with the constant
$C$
which will be determined below. Furthermore, a particular solution is provided by the constant
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn26.gif?pub-status=live)
By using again the initial pitch angle
$\unicode[STIX]{x1D707}_{0}$
, we can write the solution of (3.17) as a superposition of homogeneous and particular solutions
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn27.gif?pub-status=live)
For
$t\rightarrow \infty$
we obtain
$\langle \unicode[STIX]{x1D707}^{2}\rangle \rightarrow 1/3$
as expected. This asymptotic limit does not depend on the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
due to the pitch-angle isotropization process. If (3.20) is averaged over all
$\unicode[STIX]{x1D707}_{0}$
we derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn28.gif?pub-status=live)
in agreement with the formula derived in Malkov (Reference Malkov2017).
3.3 The moment
$\langle \unicode[STIX]{x1D707}^{3}\rangle$
For
$n=0$
and
$m=3$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn29.gif?pub-status=live)
where the moment
$\langle \unicode[STIX]{x1D707}\rangle$
is given by (3.6). The homogeneous solution of (3.22) is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn30.gif?pub-status=live)
In order to derive the particular solution, we combine (3.6) and (3.22)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn31.gif?pub-status=live)
which has the particular solution
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn32.gif?pub-status=live)
If the latter ansatz is combined with (3.22), we derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn33.gif?pub-status=live)
and, thus, the total solution is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn34.gif?pub-status=live)
The remaining parameter
$C$
can be replaced by the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
and we finally obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn35.gif?pub-status=live)
For
$t\rightarrow \infty$
we find
$\langle \unicode[STIX]{x1D707}^{3}\rangle \rightarrow 0$
due to the pitch-angle isotropization process. Furthermore, we derive
$\langle \langle \unicode[STIX]{x1D707}^{3}\rangle \rangle =0$
as expected due to symmetry.
3.4 The moment
$\langle \unicode[STIX]{x1D707}^{4}\rangle$
For
$n=0$
and
$m=4$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn36.gif?pub-status=live)
where the moment
$\langle \unicode[STIX]{x1D707}^{2}\rangle$
is given by (3.20). The homogeneous solution of (3.29) is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn37.gif?pub-status=live)
To compute the particular solution, we combine (3.29) and (3.20) to find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn38.gif?pub-status=live)
In order to determine the particular solution, we employ the ansatz
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn39.gif?pub-status=live)
By using this in (3.31) we find after straightforward algebra
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn40.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn41.gif?pub-status=live)
Therefore, the total solution of (3.29) is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn42.gif?pub-status=live)
The remaining constant
$C$
can be replaced by the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
. We obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn43.gif?pub-status=live)
In the late time limit
$t\rightarrow \infty$
we find
$\langle \unicode[STIX]{x1D707}^{4}\rangle \rightarrow 1/5$
as expected. Furthermore, we can average (3.36) over the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
to deduce
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn44.gif?pub-status=live)
3.5 The moment
$\langle z\rangle$
For
$n=1$
and
$m=0$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn45.gif?pub-status=live)
The quantity at the right-hand side can be replaced by (3.6) and we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn46.gif?pub-status=live)
We can easily integrate the latter formula to derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn47.gif?pub-status=live)
For
$t\rightarrow \infty$
we find for the penetration depth
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn48.gif?pub-status=live)
Therefore, the maximal penetration depth is
$\pm \unicode[STIX]{x1D706}_{\Vert }$
. If we average (3.40) over all initial pitch angles we find
$\langle \langle z\rangle \rangle =0$
. For
$t\rightarrow 0$
, on the other hand, we derive from (3.40)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn49.gif?pub-status=live)
corresponding to the unperturbed motion of the particle.
3.6 The moment
$\langle z\unicode[STIX]{x1D707}\rangle$
For
$n=m=1$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn50.gif?pub-status=live)
The homogeneous solution is provided by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn51.gif?pub-status=live)
To obtain the particular solution, we first replace
$\langle \unicode[STIX]{x1D707}^{2}\rangle$
at the right-hand side of (3.43) by (3.20) to write
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn52.gif?pub-status=live)
The latter equation has the particular solution
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn53.gif?pub-status=live)
By superposing homogeneous and particular solutions, and by using
$\langle z\unicode[STIX]{x1D707}\rangle =0$
for
$t=0$
, we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn54.gif?pub-status=live)
Again we can consider the limit
$t\rightarrow \infty$
to find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn55.gif?pub-status=live)
corresponding to the parallel diffusion coefficient. Furthermore, we can average (3.47) also over the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
to find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn56.gif?pub-status=live)
in agreement with (3.15).
3.7 The moment
$\langle z\unicode[STIX]{x1D707}^{2}\rangle$
For
$n=1$
and
$m=2$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn57.gif?pub-status=live)
where the moments
$\langle \unicode[STIX]{x1D707}^{3}\rangle$
and
$\langle z\rangle$
are given by (3.28) and (3.40), respectively. The homogeneous solution of (3.50) is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn58.gif?pub-status=live)
In order to compute the particular solution, we combine (3.28) and (3.40) with (3.50) to find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn59.gif?pub-status=live)
For the particular solution we can employ the ansatz
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn60.gif?pub-status=live)
By combining the latter form with (3.50), we derive, after straightforward algebra,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn61.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn62.gif?pub-status=live)
Therefore, the particular solution is known. In combination with the homogeneous solution (3.51) we, thus, derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn63.gif?pub-status=live)
For
$t=0$
we need to satisfy
$\langle z\unicode[STIX]{x1D707}^{2}\rangle =0$
. This condition allows us to determine the remaining constant
$C$
. One can show that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn64.gif?pub-status=live)
and, thus, we obtain for the solution of (3.50)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn65.gif?pub-status=live)
One can very easily show that
$\langle \langle z\unicode[STIX]{x1D707}^{2}\rangle \rangle =0$
.
3.8 The moment
$\langle z\unicode[STIX]{x1D707}^{3}\rangle$
For
$n=1$
and
$m=3$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn66.gif?pub-status=live)
where the moments
$\langle \unicode[STIX]{x1D707}^{4}\rangle$
and
$\langle z\unicode[STIX]{x1D707}\rangle$
are given by (3.36) and (3.47), respectively. The homogeneous solution of (3.59) is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn67.gif?pub-status=live)
In order to compute the particular solution, we combine (3.36) and (3.47) with (3.59) to find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn68.gif?pub-status=live)
For the particular solution we can employ the ansatz
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn69.gif?pub-status=live)
We find after lengthy straightforward algebra
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn70.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn71.gif?pub-status=live)
The total solution of (3.59) can be obtained by superposing the homogeneous solution and the particular solution. The remaining constant
$C$
in the homogeneous solution (3.60) can be obtained from the initial condition
$\langle z\unicode[STIX]{x1D707}^{3}\rangle =0$
for
$t=0$
. We find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn72.gif?pub-status=live)
Finally we derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn73.gif?pub-status=live)
If we average over all
$\unicode[STIX]{x1D707}_{0}$
, we derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn74.gif?pub-status=live)
3.9 The moment
$\langle z^{2}\rangle$
For
$n=2$
and
$m=0$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn75.gif?pub-status=live)
We can directly see that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn76.gif?pub-status=live)
This relation is well known in diffusion theory (see, e.g. Shalchi (Reference Shalchi2011b
) for more details). In order to replace
$\langle \unicode[STIX]{x1D707}z\rangle$
therein, we employ (3.47) to derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn77.gif?pub-status=live)
The latter equation can easily be integrated. Together with the initial condition
$\langle z^{2}\rangle =0$
for
$t=0$
, we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn78.gif?pub-status=live)
For early times this becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn79.gif?pub-status=live)
corresponding to the unperturbed motion. For late times we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn80.gif?pub-status=live)
which does not depend on the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
. Equation (3.73) corresponds to a normal diffusive motion. If we average (3.71) over all initial pitch angles, we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn81.gif?pub-status=live)
in agreement with Malkov (Reference Malkov2017).
3.10 The moment
$\langle z^{2}\unicode[STIX]{x1D707}\rangle$
For
$n=2$
and
$m=1$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn82.gif?pub-status=live)
where the moment
$\langle z\unicode[STIX]{x1D707}^{2}\rangle$
is given by (3.58). The homogeneous solution of (3.75) is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn83.gif?pub-status=live)
In order to compute the particular solution, we combine (3.58) with (3.75) to find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn84.gif?pub-status=live)
For the particular solution we can employ the ansatz
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn85.gif?pub-status=live)
It has to be pointed out that
$F(t)$
needs to be a function of time. A constant coefficient
$F$
would not work in this particular case. By combining the latter form with (3.77), we find after straightforward algebra
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn86.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn87.gif?pub-status=live)
The total solution is a superposition of homogeneous and particular solutions. The remaining constant
$C$
in (3.76) can be determined from the initial condition
$\langle z^{2}\unicode[STIX]{x1D707}\rangle =0$
for
$t=0$
. After more lengthy algebra we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn88.gif?pub-status=live)
Therewith the total solution of (3.75) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn89.gif?pub-status=live)
We can very easily show that
$\langle \langle z^{2}\unicode[STIX]{x1D707}\rangle \rangle =0$
as expected.
3.11 The moment
$\langle z^{2}\unicode[STIX]{x1D707}^{2}\rangle$
For
$n=2$
and
$m=2$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn90.gif?pub-status=live)
where the moments
$\langle z\unicode[STIX]{x1D707}^{3}\rangle$
and
$\langle z^{2}\rangle$
are given by (3.66) and (3.71), respectively. The homogeneous solution of (3.83) is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn91.gif?pub-status=live)
In order to determine the particular solution we need to combine (3.83) with (3.66) and (3.71). We then obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn92.gif?pub-status=live)
For the particular solution we can employ the ansatz
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn93.gif?pub-status=live)
where the factors
$A(t)$
and
$F(t)$
need to be functions of time. After lengthy straightforward algebra we find for the coefficients and functions therein
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn94.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn95.gif?pub-status=live)
The total solution is a superposition of homogeneous and particular solutions. The remaining constant
$C$
in (3.84) can be determined from the initial condition
$\langle z^{2}\unicode[STIX]{x1D707}^{2}\rangle =0$
for
$t=0$
. After lengthy straightforward algebra we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn96.gif?pub-status=live)
The solution of (3.83) is, therefore,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn97.gif?pub-status=live)
In the late time limit, we can neglect all exponential functions and constants to find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn98.gif?pub-status=live)
If we average (3.90) over the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
, we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn99.gif?pub-status=live)
3.12 The moment
$\langle z^{3}\rangle$
For
$n=3$
and
$m=0$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn100.gif?pub-status=live)
where the moment
$\langle z^{2}\unicode[STIX]{x1D707}\rangle$
is given by (3.82). If we integrate (3.93) and by using
$\langle z^{3}\rangle =0$
for
$t=0$
, we derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn101.gif?pub-status=live)
We can easily see that if we average (3.94) over the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
, we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn102.gif?pub-status=live)
This result was also obtained by Malkov (Reference Malkov2017). Equation (3.94) provides a generalization of the latter result, because it is valid for an arbitrary initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
.
If we consider the limit
$t\rightarrow \infty$
, equation (3.94) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn103.gif?pub-status=live)
corresponding to a linear increase.
3.13 The moment
$\langle z^{3}\unicode[STIX]{x1D707}\rangle$
For
$n=3$
and
$m=1$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn104.gif?pub-status=live)
where the moment
$\langle z^{2}\unicode[STIX]{x1D707}^{2}\rangle$
is given by (3.90). The homogeneous solution of (3.97) is
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn105.gif?pub-status=live)
In order to compute the particular solution, we combine (3.90) with (3.97) to find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn106.gif?pub-status=live)
For the particular solution we can employ the ansatz
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn107.gif?pub-status=live)
where
$A(t)$
,
$F(t)$
and
$G(t)$
need to be functions of time. If this is used in (3.99) we find after long algebra
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn108.gif?pub-status=live)
as well as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn109.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn110.gif?pub-status=live)
The remaining constant
$C$
in (3.98) can be determined from the initial condition
$\langle z^{3}\unicode[STIX]{x1D707}\rangle =0$
for
$t=0$
. After lengthy straightforward algebra we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn111.gif?pub-status=live)
Therefore, we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn112.gif?pub-status=live)
In the limit
$t\rightarrow \infty$
, we omit the terms with exponentials as well as the constant terms and, thus, equation (3.105) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn113.gif?pub-status=live)
If we average (3.105) over the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
, we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn114.gif?pub-status=live)
3.14 The moment
$\langle z^{4}\rangle$
For
$n=4$
and
$m=0$
, equation (3.3) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn115.gif?pub-status=live)
where the moment
$\langle \unicode[STIX]{x1D707}z^{3}\rangle$
is given by (3.105). By using the parameters and functions
$A(t)$
,
$B$
,
$E$
,
$F(t)$
,
$G(t)$
and
$C$
given by (3.101)–(3.104), we can write differential equation (3.108) as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn116.gif?pub-status=live)
With
$\langle z^{4}\rangle =0$
for
$t=0$
, we can integrate the latter equation so that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn117.gif?pub-status=live)
The only integral which is not trivial has the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn118.gif?pub-status=live)
With this integral we derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn119.gif?pub-status=live)
where we have used
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn120.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn121.gif?pub-status=live)
The parameters
$B$
,
$C$
and
$E$
are given by (3.101) and (3.104).
In the limit
$t\rightarrow \infty$
, equation (3.112) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn122.gif?pub-status=live)
Furthermore, we can average (3.112) over the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
to deduce
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn123.gif?pub-status=live)
The latter formula agrees perfectly with Malkov (Reference Malkov2017). We would like to emphasize that (3.112) provides a generalization of (3.116) because it is correct for an arbitrary initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
.
4 The characteristic function
In the previous section we have computed moments of the pitch-angle-dependent Fokker–Planck equation. Compared to previous work our findings depend on the initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
. In the following we consider an application of such analytical results by exploring the characteristic function and related quantities. Those are important for analytical formulations of nonlinear theories describing the motion of energetic particles across a mean magnetic field.
The characteristic function of a distribution function is defined via (2.6) corresponding to the Fourier transform of that function. After employing a Taylor expansion of the exponential function we derive
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn124.gif?pub-status=live)
By only taking into account the first four terms therein, we can approximate
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn125.gif?pub-status=live)
The characteristic function of the diffusion equation is given by (2.7). A Taylor expansion of the latter function yields
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn126.gif?pub-status=live)
If we compare (4.2) and (4.3), we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn127.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn128.gif?pub-status=live)
In nonlinear theories for perpendicular diffusion, one needs to know correlations of the form
$\langle \langle \unicode[STIX]{x1D707}_{0}\unicode[STIX]{x1D707}\text{e}^{\text{i}kz}\rangle \rangle$
(see, e.g. Matthaeus et al.
Reference Matthaeus, Qin, Bieber and Zank2003; Shalchi Reference Shalchi2010). If we expand again as above, we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn129.gif?pub-status=live)
For the moments we can employ (3.9), (3.47) and (3.82). If we multiply the latter moments by
$\unicode[STIX]{x1D707}_{0}$
and average over all
$\unicode[STIX]{x1D707}_{0}$
, we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn130.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn131.gif?pub-status=live)
Therewith, equation (4.6) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn132.gif?pub-status=live)
The latter formula can be written as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn133.gif?pub-status=live)
In the limit
$t\rightarrow \infty$
, this becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn134.gif?pub-status=live)
In Matthaeus et al. (Reference Matthaeus, Qin, Bieber and Zank2003) the following model was used
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn135.gif?pub-status=live)
If we expand up to second order in
$k$
, this becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn136.gif?pub-status=live)
which disagrees with (4.12). In Shalchi (Reference Shalchi2017), on the other hand, the following form was proposed
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn137.gif?pub-status=live)
In the lowest non-vanishing order in
$k$
, this becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn138.gif?pub-status=live)
Therefore, we conclude that the Shalchi (Reference Shalchi2017) model agrees with the exact calculations presented in the current paper up to second order in
$k$
.
As pointed out in Shalchi (Reference Shalchi2010) one needs to know correlations involving particle positions and velocities in order to formulate advanced nonlinear theories for perpendicular diffusion. In the following we consider the time derivative of the characteristic function
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn139.gif?pub-status=live)
where we have used again expansion (4.1). For the time derivative of the moment
$\langle z^{n}\rangle$
we can employ
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn140.gif?pub-status=live)
The latter formula is derived from (3.3) by setting
$m=0$
therein. Furthermore, we have used again
$v_{z}=v\unicode[STIX]{x1D707}$
. With relation (4.17), equation (4.16) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171130144353063-0548:S0022377817000824:S0022377817000824_eqn141.gif?pub-status=live)
This relation was used in Shalchi (Reference Shalchi2017) in order to derive a time-dependent theory for perpendicular diffusion. In the current paper we confirmed its validity.
5 Summary and conclusion
To solve the pitch-angle-dependent Fokker–Planck equation of energetic particle transport is a difficult task. However, for several applications a pitch-angle and position-dependent particle distribution function is desired. In some cases one is only interested in the late time limit for which a diffusion approximation can be used (see, e.g. Schlickeiser Reference Schlickeiser2002; Shalchi Reference Shalchi2009; Zank Reference Zank2014). In other cases, however, one needs a description of the transport which is valid for early (non-diffusive) times as well.
In the current paper we have derived exact analytical formulas for the first 14 moments of the form
$\langle z^{n}\unicode[STIX]{x1D707}^{m}\rangle$
. The presented results were obtained for an isotropic pitch-angle scattering coefficient but for an arbitrary initial pitch-angle cosine
$\unicode[STIX]{x1D707}_{0}$
. Previous formulas derived for the moments (see, e.g. Shalchi Reference Shalchi2006; Malkov Reference Malkov2017) can be obtained by considering the initial pitch-angle cosine average of the formulas derived in the present article.
To find moments which depend on the parameter
$\unicode[STIX]{x1D707}_{0}$
is important for applications such as the formulation of nonlinear theories for perpendicular transport (see, e.g. Shalchi Reference Shalchi2010, Reference Shalchi2017). In the current paper we, therefore, considered characteristic functions as an example and have tested different ad hoc assumptions used previously in nonlinear diffusion theories. Further applications of the moments calculated in the present article will be considered in the future.
Acknowledgements
A.S. acknowledges support by the Natural Sciences and Engineering Research Council (NSERC) of Canada.