5.7 Polarization density with the velocity integration performed

Since δΦ is independent of the velocity in the particle coordinates, the first term (adiabatic term) in expression (182) is trivial and the velocity integration can be readily performed (assume F0 is Maxwellian), giving

      ∫
        -q    ∂F0-
δnad =   m (δΦ) ∂𝜀 dv.
      q     ∫ (  m    )
    = m-(δΦ)   − T-fM  dv.
        qδΦ
    = − ---n0,                                  (184)
        T
which is called adiabatic response. Next, let us perform the gyro-averaging and the velocity integration of the second term in expression (182), i.e.,
  ∫  q     ∂F0
−   m-⟨δΦ⟩α-∂𝜀-dv,
(185)

Gyro-averaging of δΦ in guiding-center coordinates

In order to perform the gyro-averaging of δΦ, we expand δΦ in wave-number space as

       ∫
δΦ(x) =   δΦ exp(ik ⋅x)-dk--,
            k         (2π)3
(186)

and then express x in terms of the guiding center variables (X,v) since the gyro-averaging is taken by holding X rather than x constant. The guiding-center transformation gives

x = X + ρ(x,v ) ≈ X − v× e∥(X-).
                        Ω(X )
(187)

Using expressions (186) and (187), the gyro-average of δΦ is written as

       ⟨∫                   ⟩
⟨δΦ ⟩ =     δΦ exp(ik ⋅x)-dk--
   α         k         (2π)3 α
       ⟨∫        (    (        e∥(X)) )  dk ⟩
     =     δΦkexp  ik ⋅ X − v × Ω-(X-)-   (2π)3-
       ∫              ⟨    (              )⟩  α
     =   δΦk exp (ik ⋅X )  exp  − ik ⋅v × e∥(X-)-   --dk-.         (188)
                                     Ω(X )   α(2π)3
When doing the gyro-averaging, X is hold constant and thus e(X) is also constant. Then it is straightforward to define the gyro-angle α. Let k define one of the perpendicular direction ˆe1, i.e., k = kˆe1. Then another perpendicular basis vector is defined by ˆe2 = e׈e1. Then v is written as v = v(ˆe1 cosα + ˆe2 sinα), which defines the gyro-angle α. Then the blue expression in Eq. (188) is written as
         e∥(X-)-                           e∥(X-)-
− ik ⋅v×  Ω(X ) = − ik ⋅v⊥(ˆe1cosα + ˆe2sinα )× Ω (X )
                     -v⊥--
              = − ik ⋅Ω (X)(− ˆe2 cosα + ˆe1sin α)
                   k⊥v⊥
              = − i-Ω---sinα.                               (189)
Then the gyro-averaging in expression (188) is written as
⟨    (              )⟩    ⟨    (            )⟩
  exp  − ik ⋅v×  e∥(X-)-   =   exp − ik⊥v⊥-sinα
               Ω(X )   α            Ω          α
                           1 ∫ 2π   (   k⊥v⊥     )
                        =  2π-   exp  − i-Ω--sinα  dα
                             (0    )
                        = J0  k⊥v⊥-  .                        (190)
                                Ω
where use has been made of the definition of the zeroth Bessel function of the first kind. Then δΦα in expression (188) is written as
       ∫                (     )
                          k⊥v⊥- --dk-
⟨δΦ ⟩α =   δΦk exp (ik ⋅X )J0   Ω    (2π)3.
(191)

Gryo-angle integration in particle coordinates

Next, we need to perform the integration in velocity space, which is done by holding x (rather than X) constant. Therefore, it is convenient to transform back to particle coordinates. Using X = x + v ×eΩ∥(x(x)), expression (191) is written as

        ∫               ( k v  )    (       e )  dk
⟨δΦ⟩α =   δΦkexp(ik⋅x)J0  -⊥-⊥- exp  ik ⋅v × -∥  ---3.
                           Ω                Ω   (2π)
(192)

Then the velocity integration is written as

                              [    (      )                     ]
∫      ∂F0-    ∫               ∫     k⊥v⊥-     (       e∥) ∂F0    -dk--
  ⟨δΦ⟩α ∂𝜀 dv =  δΦk exp(ik ⋅x)   J0   Ω    exp  ik ⋅v×  Ω   ∂𝜀 dv  (2π)3.(193)
Similar to Eq. (189), except for now at x rather than X, ik v ×e∥
Ω is written as
       e∥   k⊥v⊥
ik ⋅v×  Ω-= i--Ω--sin α.
(194)

Since this is at x rather than X, k, v, and Ω are different from those appearing in expression (189). However, since this difference is due to the variation of the equilibrium quantity e∕Ω in a Larmor radius, and thus is small and is ignored in the following.

Plugging expression (194) into expression (193) and using dv = vdvdv, we get

∫      ∂F      ∫             [∫   ( k v  )    ( k v      ) ∂F            ] dk
  ⟨δΦ ⟩α --0dv =   δΦkexp(ik⋅x)   J0  -⊥-⊥- exp  i-⊥-⊥-sin α  --0v⊥dv⊥dv ∥dα  ----3.
       ∂𝜀                             Ω          Ω         ∂ 𝜀            (2π)
(195)

Note that ∂F0∕∂𝜀 is independent of the gyro-angle α in terms of guiding-center variables. When transformed back to particle coordinates, X contained in ∂F0∕∂𝜀 will introduce α dependence via X = x + v ×e∥-
Ω. This dependence on α is weak since the equilibrium quantities can be considered constant over a Larmor radius distance evaluated at the thermal velocity. Therefore this dependence can be ignored when performing the integration over α, i.e., in terms of particle coordinates, ∂F0∕∂𝜀 is approximately independent of the gyro-angle α. Then the integration over α in Eq. (195) can be performed, yielding

∫              ∫              ∫ ∫   (      )[∫       (          )   ]
       ∂F0-                           k⊥v⊥-    2π      k⊥v⊥-         ∂F0-        -dk--
  ⟨δΦ ⟩α ∂𝜀 dv =   δΦkexp(ik⋅x)     J0   Ω      0  exp  i Ω   sinα  dα   ∂𝜀 v⊥dv⊥dv∥(2π)3
               ∫              [∫ ∫   ( k⊥v⊥ )     (k⊥v⊥ ) ∂F0        ]  dk
             =   δΦkexp(ik⋅x)      J0  -Ω--- 2πJ0  --Ω--  ∂𝜀-v⊥dv⊥dv∥  (2π-)3,     (196)
where again use has been made of the definition of the Bessel function.
The remaining velocity integration can be performed analytically if F0 is Maxwellian

In order to perform the remaining velocity integration in expression (196), we assume that F0 is a Maxwellian distribution given by

                           (      )
          ----n0(X-)-----    −-mv2-
F0 = fM = (2πT (X)∕m )3∕2 exp 2T (X )                   (197)
       n        ( − v2)
  = ----30∕23 exp  --2- ,                             (198)
    (2π)  vt      2vt
where vt = ∘ ----
  T∕m, then
∂F0-= − m-fM .
 ∂𝜀     T
(199)

Again we will ignore the weak dependence of n0(X) and T(X) on v introduced by X = x + v × e∕Ω when transformed back to particle coordinates. (For sufficiently large velocity, the corresponding Larmor radius will be large enough to make the equilibrium undergo substantial variation. Since the velocity integration limit is to infinite, this will definitely occur. However, F0 is exponentially decreasing with velocity, making those particles with velocity much larger than the thermal velocity negligibly few and thus can be neglected.)

Parallel integration Using Eq. (199), the expression in the square brackets of Eq. (196) is written as

  ∫ ∫    (     )
2π     J20  k⊥v⊥- ∂F0-v⊥dv⊥dv∥
            Ω     ∂𝜀             (         )
   m   n0   ∫ ∫   2( k⊥v⊥)  1       v2∥ + v2⊥
= −-T(2π)1∕2    J 0  -Ω--- v3 exp  − --2v2-- v⊥dv ⊥dv∥        (200)
            ∫ ∫    (     )  t (  -    - t)
   m---n0--       2  k⊥v⊥-       v2∥-+-v2⊥  -  -  -
= − T(2π)1∕2    J 0   Ω    exp  −   2     v⊥dv⊥dv∥,          (201)
where v = v∕vt, v = v∕vt. Using
∫      (     )
  ∞        x2      √ ---
 −∞ exp  − 2  dx =   2π,
(202)

the integration over v in expression (201) can be performed, yielding

  m   ∫ ∞    (k  v )    (  v2 )
− --n0    J20  -⊥-⊥-  exp − -⊥- v⊥dv-⊥
  T    0        Ω           2
(203)

Perpendicular integration Using (I verified this by using Sympy)

∫ ∞          (  x2)
    J20(ax)exp  −-2  xdx = exp(− a2)I0(a2),
 0
(204)

where I0(a) is the zeroth modified Bessel function of the first kind, expression (203) is written

  m
− T-n0exp(− b)I0(b)
(205)

where b = k2vt2∕Ω2 = k2ρt2. Then the corresponding density (185) is written as

  q-∫      ∂F0-    qn0 ∫                        -dk--
− m   ⟨δΦ ⟩α ∂𝜀 dv =  T    δΦkexp(ik ⋅x)exp(− b)I0(b)(2π)3.
(206)

Final form of polarization density

In Fourier space, the adiabatic term in expression (184) is written as

∫  q    ∂F        qn        qn ∫               dk
   -(δΦ)---0dv = −--0δΦ = − --0  δΦk exp(ik ⋅x)---3-.
   m     ∂𝜀        T         T                (2π)
(207)

Plugging expression (206) and (207) into expression (182), the polarization density np is written as

       qn0∫                              dk
np = − T--  δΦk exp(ik ⋅x)[1− exp(− b)I0(b)](2π-)3.            (208)
Define
Γ 0 = exp(− b)I0(b),
(209)

then Eq. (208) is written as

         ∫
n = − qn0   δΦ exp(ik ⋅x)[1 − Γ ]-dk-,
 p     T      k              0(2π)3
(210)

Expression (210) agrees with the result given in Yang Chen’s notes. Note that the dependence on species mass enters the formula through the Larmor radius ρt in Γ0.