5.6 Initial solution

5.6.1 Zero order term: the Fokker-Planck equation

Basically, the determination of the steady-state electron distribution function is an initial value problem, where the initial guess corresponds usually to the unperturbed solution of the linearized problem. For the zero-order Fokker-Planck equation, the Maxwellian distribution function is therefore by definition an eigenfunction of the collision operator, without external perturbation. Here the weakly relativistic solution corresponding to the condition on the relativistic factor γ - 1 1 is considered at time t = 0,

                           [              ]
           ---ne(ψ-)---       -----p2------
fM (ψ,p) ≃ [2πT (ψ )]3∕2 exp - (1 + γ)Te (ψ)
               e
(5.398)

where Te(ψ) and ne(ψ) are the electron temperature and density respectively. Details on the notation are given in Sec. 6.3.1. Projected on the numerical grids, as defined in Sec.5.2, the discrete form is

                       n             [        p2          ]
fM,l+1∕2,i+1∕2,j+1∕2 ≃ [---e,l+1∕2]---exp  - (------i+1∕)2------
                    2πTe,l+1∕2 3∕2        1+  γi+1∕2 Te,l+1∕2
(5.399)

When the Lower Hybrid current drive problem is addressed, it is possible to start from a guess that already incorporate the existence of a plateau region, using the formulation given in Ref. [?] in the non-relativistic limit. When relativistic corrections must be considered, the effective perpendicular temperature T in the resonance domain must be usualy multipled by 2. Though this elegant approach seems attractive in order to reduce the total number of iterations for reaching the steady-state solution, its effectiveness is usualy poor when large time step Δt are considered. Indeed, the total number of time steps is merely determined by the relaxation time of the most energetic part of the fast electron tail prodiced by the wave. Since electrons are very weakly collisional, their relaxation time is very long as compared to the thermal one. Therefore, the gain for the rate of convergence is usually very small since the distribution model does not describe accurately the region above the plateau of the momentum space. Consequently, even if this method is implemented in the code, it is almost never used.

5.6.2 Up to first order term: the Drift Kinetic equation

First order distribution function The initial distribution function for the first order drift kinetic equation is determined in the non-relativistic limit using the simplified Lorentz collision model corresponding to Zi 1 and Ti = 0, as introduced in Sec. 4.1.6. In that case, the bounce-averaged collision operator reduces to

                        ( ∘ ------     )        ( ∘ ------     )
{∇p  ⋅Sp(f1)}  = - p-∂--    1- ξ2λS^(0)   - p--∂--   1 - ξ2λS(0)
             L     λ∂ ξ0        0   ξ0,L    λ ∂ξ0         0  ξ0,L
(5.400)

and in the steady-state regime {∇p ⋅Sp (f1)}L = 0 , so that the equation to be solved is simply

 ∂  (∘  ----2-  (0) )      ∂  (∘ -----2  (0))
∂-ξ-    1- ξ0λS ξ0,L  = - ∂ξ--   1 - ξ0λ^Sξ0,L
  0                        0
(5.401)

where

         {  σξ      ( ) }
^S(ξ00),L = σ  √-----Sξ,L  f^
            Ψ ξ0
(5.402)

and

         {             }
S (0) =  σ  √σ-ξ-S ξ,L(g)
  ξ0,L        Ψξ0
(5.403)

as defined in Sec.3.5.5.

Since only pitch-angle scattering takes place in this limit, S^ ξ0,L(0) may be expressed in a very simple form

       ∘ -----2       ^(0)
^S(ξ0),L = --1---ξ0^DCξ(ξ,0)L ∂-f-
  0       p          ∂ξ0
(5.404)

since FξC = DξpC = 0 for collisions with

          {   3      }
D^C (0)= σ   σξ--DC
  ξξ,L       Ψ2ξ30  ξξ,L
(5.405)

while

       ∘ ------
 (0)     1 - ξ20  C(0)∂g (0)
Sξ0,L = ----p---D ξξ,L-∂ξ--
                       0
(5.406)

with

 C(0)  {  ξ2   C  }
Dξξ,L =   ---2D ξξ,L
         Ψ ξ0
(5.407)

where Dξξ,LC = BtL according usual notation given in Sec.4.1.6.

The differential equation to be solved is then

    (                    )        (                    )
-∂--  (    2)   C(0)∂g(0)      -∂-- (     2) ^ C(0)∂-^f(0)
∂ξ0   1 - ξ0 λD ξξ,L  ∂ξ0   = - ∂ξ0   1 - ξ0 λD ξξ,L ∂ξ0
(5.408)

starting from the known expression of ^f (0)∕∂ξ0. In the Lorentz limit, since BtL is simply set to 12, expressions of Dξξ,LC(0) and D^ξξ,LC(0) are obtained in a straightforward manner,

  C(0)   1{  ξ2 }    1λ2,-1,0
Dξξ,L =  -- ---2  =  -------
        2  Ψ ξ0     2  λ
(5.409)

and

           {   3 }     --
^DC (0)=  1σ  -σξ--  =  1λ3,-2,0
 ξξ,L    2   Ψ2 ξ30     2   λ
(5.410)

and g(0) is given by the simple equation

   (                    )        (                    )
 ∂   (     2)       ∂g(0)       ∂   (     2)--    ∂f^(0)
∂ξ--  1-  ξ0  λ2,-1,0-∂ξ--  = - ∂ξ--  1 - ξ0 λ3,- 2,0-∂ξ--
  0                   0         0                   0
(5.411)

If the solution of the zero-order Fokker-Planck equation is the Maxwellian

 (0)            ne       [  p2 ]
f0  = fM ≃  -----3∕2 exp - ----
            [2πTe ]         2Te
(5.412)

its spatial derivative is

   (0)   [         (        )       ]
∂f0-- =  d-ln-ne +  -p2-- 3-  dlnTe- f
 ∂ψ        dψ      2Te   2    dψ     M
(5.413)

and from the definition of  ^
f (0) given in Sec.3.4,

  (0)      pξ0I (ψ)∂f (00)(ψ,p,ξ0)
f^    =   -q-B--------∂ψ------
            e 0  [         (   2    )       ]
      =   pξ0I-(ψ)- dlnne-+   p---- 3- d-ln-Te  fM           (5.414)
           qeB0     dψ       2Te   2    dψ

Projected on the numerical grids, the discrete form of f^ (0) is

                     p    ξ      I     [d ln n ||
f^l(0+)1∕2,i+1∕2,j+1 ∕2  =   -i+1∕2-0,j+1∕2-l+1∕2- -----e||
                         qeB0,l+1∕2        dψ   l+1 ∕2
                       (  p2         )       ||    ]
                     +   --i+1∕2---  3- d-ln-Te||      fM,l+1∕2,i+1∕2,j+1∕2(5.415)
                         2Te,l+1∕2   2    dψ   l+1∕2
where radial derivatives are performed as discussed in Sec. 5.5.1.

Since fM is by definition independent of ξ0,

                [         (        )       ]
∂ ^f(0)    pI-(ψ)  dlnne-    p2--  3- d-ln-Te
 ∂ξ0   =   qeB0    dψ   +   2Te - 2    dψ    fM
       =  Ξ (ψ,p)f                                        (5.416)
                  M
where
         pI (ψ)[ dlnne   (  p2   3) d ln Te]
Ξ(ψ,p ) =------  ------+   ----- -- ------
          qeB0    dψ       2Te   2    dψ
(5.417)

the equation becomes

(     )       ∂g(0)              (      )--
 1- ξ20  λ2,-1,0-----= - Ξ (ψ, p)fM  1 - ξ20 λ3,- 2,0 + C
               ∂ξ0
(5.418)

Assuming ∂g(0)∕∂ξ0 is finite at |ξ0| = 1, C = 0, and

   (0)                 --
∂g---  =  - Ξ (ψ,p)fM λ3,-2,0
 ∂ξ0                  λ2,-1,0
                      λ3,-2,0
       =  - Ξ (ψ,p)fM λ2,-1,0H  (|ξ0|- ξ0T)              (5.419)
using the definition of λn,m,p given in Sec. 2.2.1. By definition, λ3,-2,0 is an even function of ξ0, and therefore g(0) must be an odd function ξ0. Since furthermore g(0) is an even function of ξ0, g(0) = 0 in the trapped region. Integrating in the region -ξ0 ξ0T ,
                             ∫ ξ0  λ-
g(0)(ψ, p,ξ0)  =   - Ξ (ψ,p)fM      -3,-2,0dξ′0
                              -ξ0T-λ2,-1,0
                           ∫ -ξ0λ3,-2,0   ′′
             =   Ξ(ψ,p )fM      λ----- dξ0              (5.420)
                            ξ0T    2,-1,0
using the relation ξ0′′ = -ξ0. Performing the same operation in the region ξ0 ξ0T , one obtains
                          ∫ ξ0λ3,-2,0
g(0)(ψ, p,ξ0) = - Ξ(ψ,p) fM     ------dξ′0
                           ξ0T λ2,-1,0
(5.421)

and gathering results

                                           ∫ |ξ0|λ-
g(0)(ψ, p,ξ0) =   - σH (|ξ0|- ξ0T)Ξ (ψ,p) fM      -3,--2,0dξ′0
                                            ξ0T  λ2,- 1,0
             =   - σH (|ξ0|- ξ0T)Ξ (ψ,p) IL (ψ,|ξ0|)fM            (5.422)
where
            ∫     --
              |ξ0| λ3,-2,0(ψ,ξ′0)- ′
IL (ψ, |ξ0|) =      λ2,-1,0(ψ,ξ′)dξ0
              ξ0T            0
(5.423)

The discrete form of g(0)(ψ,p,ξ0) is

gl+12,i+12,j+12(0) = -σ j+12H(||ξ      ||- ξ       )
  0,j+1∕2    0T,l+1∕2
× Ξl+12,i+12IL(      |       |)
 ψl+1∕2,|ξ0,j+1∕2|fM,l+12,i+12,j+12 (5.424)

with

                        j′=j- nξ0T,l+1∕2   -l+1∕2,j′+1∕2
I (ψ     ,||ξ      ||) =        ∑         λ3,-2,0-----Δ ξ  ′
 L  l+1∕2  0,j+1∕2        +             λl+1∕2,j′+1∕2   0,j+1 ∕2
                      j′=jT,l+1∕2-nξ0T,l+1∕2 2,-1,0
(5.425)

and j > jT,l+12+.

Case of circular concentric flux surfaces According to Sec. 4.1.7,

                      (              )
--       H-(|ξ0|--ξ0T)-  2   ϵ(1--ϵ∕2)-
λ3,-2,0 =   (1+ ϵ)ξ2    ξ0 -  (1 + ϵ)
                  0
(5.426)

and Sec. 4.1.6

          (    Δb )
λ2,-1,0 = λ 1 - -2-
               ξ0
(5.427)

The integral IL(ψ,ξ0) then becomes

            ∫  |ξ |( ′2                    )
I  (ψ,|ξ |) =    0 -ξ0(--ϵ-(1---ϵ∕2))∕-(1-+-ϵ)-dξ′
 L     0      ξ0T   λ 1 - Δb∕ξ′02 (1+ ϵ)ξ′02   0
(5.428)

and in the low inverse aspect ratio limit ϵ 1, one finds

              1  ∫ |ξ0|     dξ′0
IL (ψ,|ξ0|) ≃ 1-+-ϵ     --(--------′2)
                  ξ0T λ  1- Δb ∕ξ0
(5.429)

the expression that was first given in Ref. [?].

Flux surface averaged bootstrap current According to Sec. 3.6, the flux-averaged electron bootstrap current in the Lorentz model is given by the relation

⟨    ⟩      ⟨    ⟩1      ⟨    ⟩1
 J∥,L  (ψ) =  ^J∥,L  ϕ(ψ )+  J∥,L  ϕ(ψ)
(5.430)

where

⟨    ⟩1           ^qRp BT 0 ∫ ∞     ∫ 1
 J^∥,L   (ψ) = 2πqe--------     dpp3    λ2,- 2,2ξ0f^(0)dξ0
      ϕ           qR0  B0   0       - 1
(5.431)

and

                  ∫ ∞      ∫ 1
⟨J∥,L⟩1 (ψ ) = 2 πqeq    dpp3    H (|ξ0|- ξ0T)ξ0g(0)dξ0
     ϕ           q  0       -1
(5.432)

in the non-relativistic limit γ 1. Therefore,

⟨    ⟩1
  ^J∥,L   (ψ)  =  2 π^qRp-BT-0I (ψ)×
       ϕ           qR0  B20
                ∫  ∞ [dlnne   (  p2   3 ) dlnTe]        ∫ 1
                      ------+   ----- --  ------ p4fM dp    ξ20λ2,-2,2dξ0
                  0     dψ      2Te   2    dψ            - 1
                                                                      (5.433)
and
⟨   ⟩1             q I (ψ)  ∫ ∞ [d ln ne   ( p2    3) d ln Te] 4
 J∥,L ϕ (ψ )  =  - 2πq--B---×      --dψ-- +   2T--  2- --dψ-- p fM dp
               ∫  1    0     0                e
                   σH  (|ξ |- ξ  )ξ I (ψ, |ξ |)dξ                     (5.434)
                 -1      0    0T  0 L     0    0

Using relation R0BT0 = I(ψ ), one obtains

⟨ ^  ⟩1               ^qB2T0
  J∥,L  ϕ(ψ)  =  2 πRp q-B20 ×
                ∫  ∞ [        (   2     )      ]        ∫ 1
                      dlnne-+   -p--- 3-  dlnTe- p4fM dp    ξ20λ2,-2,2dξ0
                  0     dψ      2Te   2    dψ            - 1
                                                                      (5.435)
and
                              ∫ ∞ [         (  2     )       ]
⟨J  ⟩1 (ψ)  =  - 2πq-R BT-0 ×      d-ln-ne +  -p---  3- dlnTe- p4f  dp
  ∥,L ϕ             q  0 B0     0     dψ      2Te    2   d ψ      M
                ∫ 1
                   σH  (|ξ0|- ξ0T)ξ0IL (ψ, |ξ0|)dξ0                     (5.436)
                 -1

Since

       [         (        )       ]                (               )
   ∫ ∞  d ln ne     p2    3  dln Te  4        3       dlnne   d ln Te
2π      --dψ-- +   2T--  2- --dψ-- p fM dp = 2neTe   -dψ---+ --dψ--
    0                e
(5.437)

using the definite integral relation in Ref. [?],

∫ ∞        (     )   (2n - 1)!!∘  π-
    x2nexp  - px2 =  ------n--  --
 0                    2(2p)     p
(5.438)

where (2n - 1)!! = 1.3.5... ×(2n - 1),

⟨    ⟩1          ^q   B2  3    ( d ln n    dlnT  )
  ^J∥,L   (ψ)  =   -Rp -T02--neTe  -----e+  -----e  ×
      ϕ         ∫q   B 0 2        dψ      dψ
                  1  2
                    ξ0λ2,- 2,2dξ0                             (5.439)
                 - 1
and
                               (               )
⟨   ⟩1           q-  BT-03-      dlnne-  d-ln-Te
 J∥,L ϕ (ψ)  =  - qR0  B0 2neTe    dψ   +   dψ    ×
                ∫ 1
                   σH  (|ξ0|- ξ0T)ξ0IL (ψ, |ξ0|)dξ0            (5.440)
                 -1

Finally,

                            (               )
⟨^   ⟩        eff.            d-ln-ne   dlnTe-
 J∥,L  (ψ) = F t  (ψ) neTeRp    dψ   +  d ψ
(5.441)

where the flux surface function usualy named “effective trapped fraction” Fteff.(ψ) is

  eff.        3-BT-0
F t   (ψ )  =  2 B0  ×
              [      ∫ 1                   ∫ 1                             ]
               q^BT-0    ξ20λ2,-2,2dξ0 - q-R0    σH (|ξ0|- ξ0T) ξ0IL (ψ,|ξ0|)dξ0
               q  B0  - 1             q Rp  -1
                                                                         (5.442)

In the case of circular concentric flux surfaces,

R0-
Rp = 1 + ϵ
(5.443)

^q
q-= 1 + ϵ
(5.444)

and

        ∘ -----
q-= BT-0  1-+-ϵ
q    B0   1 - ϵ
(5.445)

as shown in Sec. 3.6. Therefore,

⟨    ⟩                         (               )
  ^J    (r) = F eff.(r) n T-Rp--- d-lnne + d-ln-Te
   ∥,L         t       e e|∇ψ |0    dr       dr
(5.446)

and using the relations R0BP0 = |∇ ψ|0, and R0BT0 = I(r),

⟨    ⟩      F etff.(r)     BT 0( dlnne   d ln Te)
 J^∥,L  (r) =---B----neTe B---  --dr--+ --dr--
                T         P 0
(5.447)

where RpBT = I(r). Hence,

Fteff.(r) = 3-
2(1 + ϵ)(     )
  BT0-
  B02
[ ∫ 1            ∘ ----- ∫ 1                            ]
     ξ20λ2,0,0dξ0 -   1+-ϵ-   σH  (|ξ0|- ξ0T)ξ0IL (r,|ξ0|)d ξ0
   -1               1- ϵ  -1
(5.448)

and since R0∕R = Ψ, λ2,-2,2 = λ2,0,0, as shown in Sec. 3.6. In the limit Bp BT , further simplifications may be carried out and

                      [∫               ∘ -----∫                               ]
     eff.     3-         1  2            1-+-ϵ  1
lϵ→im0 F t  (r) ≃ 2 (1 + ϵ)  - 1ξ0λ2,0,0dξ0 -  1 - ϵ - 1σH (|ξ0|- ξ0T)ξ0IL(r,|ξ0|)dξ0
(5.449)

The first term in the square bracket may be evaluated analyticaly. Indeed

∫  1               1 ∫ 1      [1 ∑  ]  ∫ 2π dθ  B  ξ ξ2
    ξ20λ2,0,0dξ0 =   --   ξ20dξ0  --          ---ϵ----0-2
  -1               ^q  -1       2  σ  T  0  2π  BP  ξξ0
                   ∫ 1    [  ∑  ]  ∫ 2π
               =       dξ0 1-          d-θξ0ξ                 (5.450)
                    -1     2  σ  T  0  2π
since B∕BP is only function of r and ^q= ϵB∕BP . The sum over trapped electrons may be dropped, since ξ0ξ is independent of σ. Therefore,
∫                  ∫      ∫
  1  2               1      2πdθ-
 - 1ξ0λ2,0,0dξ0  =    -1d ξ0  0  2π ξ0ξ
                   ∫ 2π   ∫ 1      (      ∘ ------)
               =       dθ-    ξ ξH   |ξ |-   1 - 1-  dξ        (5.451)
                    0  2π  - 1 0      0         Ψ     0
which means that only particles who reach the position θ must be considered. Since
         (        ------)
∫  1            ∘      1            ∫ 1
    ξ0ξH   |ξ0|-   1 - --  dξ0  =  2  ∘ --1-ξ0ξdξ0
  -1                  Ψ                1- Ψ-
                                    ∫ 1      ∘ -----(------)
                               =  2  ∘ --1-ξ0  1- Ψ  1 - ξ20 dξ0
                                       1- Ψ-
                                   2-1
                               =   3Ψ                             (5.452)
and
∫ 2π dθ 2 1      2∫  2π dθ 21 + ϵcosθ
    2π-3Ψ-  =   3-    2π-3---1+-ϵ--
 0                 0
            =   2--1--                              (5.453)
                31 + ϵ

Consequently,

∫ 1
    ξ20λ2,0,0dξ0 = 2--1--
 - 1            3 1+  ϵ
(5.454)

and using the

                     ∘  ------∫ 1
lim F eff.(r)  ≃  1 - 3-  --1---   σH  (|ξ |- ξ  )ξ I  (r,|ξ |)dξ
ϵ→0   t              2   1- ϵ2  -1      0    0T  0 L     0   0
                    3 ∫ 1
             ≃  1 - --   σH  (|ξ0|- ξ0T)ξ0IL (r,|ξ0|)d ξ0            (5.455)
                    2  -1

It can be shown in Appendix C after lengthly calculations, that

                √-
lim F etff.(r) ≃ K  ϵ + O (ϵ)
ϵ→0
(5.456)

where

      √ -[                                                      ]
     3--2     ∑∞ ∑∞  ∞∑    ∑∞  -----------Ci1Ci2...Cim------------
K =   2   1 -           ...    2i1+i2+...+im [2(i1 + i2 + ...+ im )- 1]
               m  i1  i2    im
(5.457)

with

                2
Cn = -----[(2n-)!]-----
     (2n - 1)23n (n!)4
(5.458)

A rather fast convergence is obtained with m, and for m = n = 6, K 1.467, the usual value found in the litterature on neoclassical theory.