General curvilinear coordinates

Here we briefly review the basic definitions of a general curvilinear coordinate system for later convenience when discussing toroidal flux coordinates and magnetic coordinates.

Coordinates and basis vectors

Let ๐ฑ be a set of euclidean coordinates on โ„3 and let (ฯˆ(๐ฑ),ฮธ(๐ฑ),ฯ•(๐ฑ)) define a change of coordinates, arbitrary for the time being. We can calculate the contravariant basis vectors as

๐ži={โˆ‡ฯˆ,โˆ‡ฮธ,โˆ‡ฯ•}

and the dual covariant basis defined as

๐ži=โˆ‚๐ฑโˆ‚uiโ†’๐žiโ‹…๐žj=ฮดijโ†’๐ži=๐žjร—๐žk|๐žiโ‹…๐žjร—๐žk|=g๐žjร—๐žk,

where (i,j,k) are cyclic permutations of (1,2,3) and we have used the notation (u1,u2,u3)=(ฯˆ,ฮธ,ฯ•). The Jacobian g is defined below.

Any vector field ๐ can be represented as

๐=(๐โ‹…๐ži)๐ži=Bi๐ži

or

๐=(๐โ‹…๐ži)๐ži=Bi๐ži.

In particular any basis vector ๐ži=(๐žiโ‹…๐žj)๐žj. The metric tensor is defined as

gij=๐žiโ‹…๐žj;gij=๐žiโ‹…๐žj;gij=๐žiโ‹…๐žj=ฮดij.

The metric tensors can be used to raise or lower indices. Take

๐=Bi๐ži=Bigij๐žj=Bj๐žj,

so that

Bj=gijBi.

Jacobian

The Jacobian of the coordinate transformation ๐ฑ(ฯˆ,ฮธ,ฯ•) is defined as

J=detโก(โˆ‚(x,y,z)โˆ‚(ฯˆ,ฮธ,ฯ•))=โˆ‚๐ฑโˆ‚ฯˆโ‹…โˆ‚๐ฑโˆ‚ฮธร—โˆ‚๐ฑโˆ‚ฯ•

and that of the inverse transformation

Jโˆ’1=detโก(โˆ‚(ฯˆ,ฮธ,ฯ•)โˆ‚(x,y,z))=โˆ‡ฯˆโ‹…โˆ‡ฮธร—โˆ‡ฯ•

It can be seen that [1] gโ‰กdetโก(gij)=J2โ‡’J=g

Some surface elements

Consider a surface defined by a constant value of ฯ•. Then, the surface element is

d๐’ฯ•=๐žฯˆร—๐žฮธdฯˆdฮธ=gโˆ‡ฯ•dฯˆdฮธ.

As for a surface defined by a constant value of ฮธ:

d๐’ฮธ=๐žฯ•ร—๐žฯˆdฯˆdฯ•=gโˆ‡ฮธdฯˆdฯ•,

or a constant ฯˆ surface:

d๐’ฯˆ=๐žฮธร—๐žฯ•dฮธdฯ•=gโˆ‡ฯˆdฮธdฯ•.

Gradient, Divergence and Curl in curvilinear coordinates

The gradient of a function f is naturally given in the contravariant basis vectors:

โˆ‡f=โˆ‚fโˆ‚uiโˆ‡ui=โˆ‚fโˆ‚ui๐ži.

The divergence of a vector ๐€ is best expressed in terms of its contravariant components

โˆ‡โ‹…๐€=1gโˆ‚โˆ‚ui(gAi),

while the curl is

โˆ‡ร—๐€=ฮตijkgโˆ‚โˆ‚ui(gAj)๐žk

given in terms of the covariant base vectors, where ฮตijk is the [[::Wikipedia:Levi-Civita symbol| Levi-Civita]] symbol.

Flux coordinates

A flux coordinate set is one that includes a flux surface label as a coordinate. A flux surface label is a function that is constant and single valued on each flux surface. In our naming of the general curvilinear coordinates we have already adopted the usual flux coordinate convention for toroidal equilibrium with nested flux surfaces, where ฯˆ is the flux surface label and ฮธ,ฯ• are 2ฯ€-periodic poloidal and toroidal-like angles.

Different flux surface labels can be chosen like toroidal (ฮจtor) or poloidal (ฮจpol) magnetic fluxes or the volume contained within the flux surface V. By single valued we mean to ensure that any flux label ฯˆ1=f(ฯˆ2) is a monotonous function of any other flux label ฯˆ2, so that the function f is invertible at least in a volume containing the region of interest. We will denote a generic flux surface label by ฯˆ.

To avoid ambiguity in the sign of line and surface integrals we impose dฯˆ(V)/dV>0, the toroidal angle increases in the clockwise direction when seen from above and the poloidal angle increases such that โˆ‡ฯˆโ‹…โˆ‡ฮธร—โˆ‡ฯ•>0.

Flux Surface Average

The Flux Surface Average (FSA) of a function ฮฆ is defined as the limit

โŸจฮฆโŸฉ=limฮด๐’ฑโ†’01ฮด๐’ฑโˆซฮด๐’ฑฮฆd๐’ฑ

where ฮด๐’ฑ is the volume confined between two flux surfaces. It is therefore a volume average over an infinitesimal spatial region rather than a surface average. To avoid confusion, we denote volume elements or domains with the calligraphic ๐’ฑ. Capital V is reserved for the flux label (coordinate) defined as the volume within a flux surface.

Introducing the differential volume element d๐’ฑ=gdฯˆdฮธdฯ•

โŸจฮฆโŸฉ=limฮด๐’ฑโ†’01ฮด๐’ฑโˆซฮด๐’ฑฮฆgdฯˆdฮธdฯ•=dฯˆdVโˆซ02ฯ€โˆซ02ฯ€ฮฆgdฮธdฯ•

or, noting that โŸจ1โŸฉ=1, we have dVdฯˆ=โˆซ02ฯ€โˆซ02ฯ€gdฮธdฯ• and we get to a more practical form of the Flux Surface Average

โŸจฮฆโŸฉ=โˆซ02ฯ€โˆซ02ฯ€ฮฆgdฮธdฯ•โˆซ02ฯ€โˆซ02ฯ€gdฮธdฯ•

Note that dS=|โˆ‡ฯˆ|gdฮธdฯ•, so the FSA is a surface integral weighted by |โˆ‡V|โˆ’1ย :

โŸจฮฆโŸฉ=dฯˆdVโˆซ02ฯ€โˆซ02ฯ€ฮฆgdฮธdฯ•=dฯˆdVโˆซS(ฯˆ)ฮฆ|โˆ‡ฯˆ|dS=โˆซS(ฯˆ)ฮฆ|โˆ‡V|dS

Applying Gauss' theorem to the definition of FSA we get to the identity

โŸจโˆ‡โ‹…ฮ“โŸฉ=limฮด๐’ฑโ†’01ฮด๐’ฑโˆซฮด๐’ฑโˆ‡โ‹…ฮ“d๐’ฑ=limฮด๐’ฑโ†’01ฮด๐’ฑโˆซS(ฮด๐’ฑ)ฮ“โ‹…โˆ‡V|โˆ‡V|dS=limฮด๐’ฑโ†’01ฮด๐’ฑ(โŸจฮ“โ‹…โˆ‡VโŸฉS(V+ฮด๐’ฑ)โˆ’โŸจฮ“โ‹…โˆ‡VโŸฉS(V))=ddVโŸจฮ“โ‹…โˆ‡VโŸฉ.

Useful properties of FSA

Some useful properties of the FSA are

  • โŸจโˆ‡โ‹…ฮ“โŸฉ=ddVโŸจฮ“โ‹…โˆ‡VโŸฉ=1Vโ€ฒddฯˆVโ€ฒโŸจฮ“โ‹…โˆ‡ฯˆโŸฉ
  • โˆซ๐’ฑโˆ‡โ‹…ฮ“d๐’ฑ=โŸจฮ“โ‹…โˆ‡VโŸฉ=Vโ€ฒโŸจฮ“โ‹…โˆ‡ฯˆโŸฉwhere๐’ฑisthevolumeenclosedbyafluxsurface.
  • โŸจ๐โ‹…โˆ‡fโŸฉ=โŸจโˆ‡โ‹…(๐f)โŸฉ=0,โˆ€singlevaluedf(๐ฑ),ifโˆ‡โ‹…๐=0andโˆ‡ฯˆโ‹…๐=0
  • โŸจโˆ‡ฯˆโ‹…โˆ‡ร—๐€โŸฉ=โˆ’โŸจโˆ‡โ‹…(โˆ‡ฯˆร—๐€)โŸฉ=0.
  • โŸจ๐โ‹…โˆ‡ฮธโŸฉ=2ฯ€dฮจpoldV(Note:ฮธ(๐ฑ)isnotsinglevalued)
  • โŸจ๐โ‹…โˆ‡ฯ•โŸฉ=2ฯ€dฮจtordV(Note:ฯ•(๐ฑ)isnotsinglevalued)
  • โŸจgโˆ’1โŸฉ=4ฯ€2Vโ€ฒ

In the above Vโ€ฒ=dVdฯˆ. Some vector identities are useful to derive the above identities.

Magnetic field representation in flux coordinates

Contravariant Form

Any solenoidal vector field ๐ can be written as ๐=โˆ‡ฮฑร—โˆ‡ฮฝ called its Clebsch representation. For a magnetic field with flux surfaces (ฯˆ=const,โˆ‡ฯˆโ‹…๐=0) we can choose, say, ฮฑ to be the flux surface label ฯˆ

๐=โˆ‡ฯˆร—โˆ‡ฮฝ

Field lines are then given as the intersection of the constant-ฯˆ and constant-ฮฝ surfaces. This form provides a general expression for ๐ in terms of the covariant basis vectors of a flux coordinate system

๐=โˆ‚ฮฝโˆ‚ฮธโˆ‡ฯˆร—โˆ‡ฮธ+โˆ‚ฮฝโˆ‚ฯ•โˆ‡ฯˆร—โˆ‡ฯ•=1gโˆ‚ฮฝโˆ‚ฮธ๐žฯ•โˆ’1gโˆ‚ฮฝโˆ‚ฯ•๐žฮธ=Bฯ•๐žฯ•+Bฮธ๐žฮธ.

in terms of the function ฮฝ, sometimes referred to as the magnetic field's stream function.

It is worthwhile to note that the Clebsch form of ๐ corresponds to a magnetic vector potential ๐€=ฮฝโˆ‡ฯˆ (or ๐€=ฯˆโˆ‡ฮฝ as they differ only by the Gauge transformation ๐€โ†’๐€โˆ’โˆ‡(ฯˆฮฝ)).

The general form of the stream function is

ฮฝ(ฯˆ,ฮธ,ฯ•)=12ฯ€(ฮจtโ€ฒorฮธโˆ’ฮจpโ€ฒolฯ•)+ฮฝ~(ฯˆ,ฮธ,ฯ•)

where ฮฝ~ is a differentiable function periodic in the two angles. This general form can be derived by using the fact that ๐ is a physical function (hence singe-valued). The specific form for the coefficients in front of the secular terms (i.e. the non-periodic terms) can be obtained from the FSA properties .

Covariant Form

If we consider an equilibrium magnetic field such that ๐ฃร—๐โˆโˆ‡ฯˆ, where ๐ฃ is the current density , then both ๐โ‹…โˆ‡ฯˆ=0 and โˆ‡ร—๐โ‹…โˆ‡ฯˆ=0 and the magnetic field can be written as

๐=โˆ‡ฯ‡โˆ’ฮทโˆ‡ฯˆ

where ฯ‡ is identified as the magnetic scalar potential. Its general form is

ฯ‡(ฯˆ,ฮธ,ฯ•)=Itor2ฯ€ฮธ+Ipold2ฯ€ฯ•+ฯ‡~(ฯˆ,ฮธ,ฯ•)
 
Sample integration circuits for the current definitions.
 
Sample surface for the definition of the current though a disc. Note that only the current of more external surfaces contribute to the flux of charge through the surface.

Note that I is not the current but ฮผ0 times the current. The functional dependence on the angular variables is again motivated by the single-valuedness of the magnetic field. The particular form of the coefficients can be obtained noting that

โˆซSฮผ0๐ฃโ‹…d๐’=โˆซโˆ‚S๐โ‹…d๐ฅ=โˆฎ(โˆ‡ฯ‡โˆ’ฮทโˆ‡ฯˆ)โ‹…d๐ฅ=โˆฎ(dฯ‡โˆ’ฮทdฯˆ)

and choosing an integration circuit contained within a flux surface (dฯˆ=0). Then we get

โˆซSฮผ0๐ฃโ‹…d๐’=ฮ”ฯ‡=Itor2ฯ€ฮ”ฮธ+Ipold2ฯ€ฮ”ฯ•.

If we now choose a toroidal circuit (ฮ”ฮธ=0,ฮ”ฯ•=2ฯ€) we get

Ipold=โˆซSฮผ0๐ฃโ‹…d๐’;withโˆ‚Ssuchthat(ฮ”ฮธ=0,ฮ”ฯ•=2ฯ€).

here the superscript d is meant to indicate the flux is computed through a disc limited by the integration line, as opposed to the ribbon limited by the integration line on one side and the magnetic axis on the other that was used for the definition of poloidal magnetic flux ฮจpol above these lines. Similarly

Itor=โˆซSฮผ0๐ฃโ‹…d๐’;withโˆ‚Ssuchthat(ฮ”ฮธ=2ฯ€,ฮ”ฯ•=0).
Contravariant Form of the current density

Taking the curl of the covariant form of ๐ the equilibrium current density ๐ฃ can be written as

ฮผ0๐ฃ=โˆ‡ฯˆร—โˆ‡ฮท.

By very similar arguments as those used for ๐ (note that both ๐ and ๐ฃ are solenoidal fields tangent to the flux surfaces) it can be shown that the general expression for ฮท is

ฮท(ฯˆ,ฮธ,ฯ•)=12ฯ€(Itโ€ฒorฮธโˆ’Ipโ€ฒolฯ•)+ฮท~(ฯˆ,ฮธ,ฯ•).

Note that the poloidal current is now defined through a ribbon and not a disc. The two currents are related as โˆ‡โ‹…๐ฃ=0 implies

Ipol+Ipold=โˆฎฯˆ=0๐โ‹…d๐ฅโ‡’Ipโ€ฒol+(Ipold)โ€ฒ=0,

where the integral is performed along the magnetic axis and therefore does not depend on ฯˆ. This can be used to show that a expanded version of ๐ is given as

๐=โˆ’ฮท~โˆ‡ฯˆ+Itor2ฯ€โˆ‡ฮธ+Ipold2ฯ€โˆ‡ฯ•+โˆ‡ฯ‡~.

Magnetic coordinates

Magnetic coordinates are a particular type of flux coordinates in which the magnetic field lines are straight lines. In mathematical terms this implies that the periodic part of the magnetic field's stream function is zero in these coordinates so the magnetic field reads

๐=โˆ‡ฯˆร—โˆ‡(ฮจtโ€ฒor2ฯ€ฮธfโˆ’ฮจpโ€ฒol2ฯ€ฯ•f)=ฮจpโ€ฒol2ฯ€g๐žฮธ+ฮจtโ€ฒor2ฯ€g๐žฯ•.

Now a field line is given by ฯˆ=ฯˆ0 and ฮจtโ€ฒorฮธfโˆ’ฮจpโ€ฒolฯ•f=2ฯ€ฮฝ0.

Note that, in general, the contravariant components of the magnetic field in a magnetic coordinate system

Bฮธf=ฮจpโ€ฒol2ฯ€g;Bฯ•f=ฮจtโ€ฒor2ฯ€g

are not flux functions, but their quotient is

BฮธfBฯ•f=ฮจpโ€ฒolฮจtโ€ฒorโ‰กฮน2ฯ€,

ฮน being the rotational transform. In a magnetic coordinate system the poloidal ๐P=Bฮธ๐žฮธ and toroidal ๐T=Bฯ•๐žฯ• components of the magnetic field are individually divergence-less.

Transforming between Magnetic coordinates systems

There are infinitely many systems of magnetic coordinates. Any transformation of the angles of the from

ฮธF=ฮธf+ฮจpโ€ฒolG(ฯˆ,ฮธf,ฯ•f);ฯ•F=ฯ•f+ฮจtโ€ฒorG(ฯˆ,ฮธf,ฯ•f)

where G is periodic in the angles, preserves the straightness of the field lines (as can be easily checked by direct substitution). The spatial function G(ฯˆ,ฮธf,ฯ•f), is called the generating function. It can be obtained from a magnetic differential equation if we know the Jacobians of the two magnetic coordinate systems gf and gF. In fact taking ๐โ‹…โˆ‡ on any of the transformation of the angles and using the known expressions for the contravariant components of ๐ in magnetic coordinates we get

2ฯ€๐โ‹…โˆ‡G=1gFโˆ’1gf.

The LHS of this equation has a particularly simple form when one uses a magnetic coordinate system. For instance, if we write ๐ in terms of the original magnetic coordinate system we get

(ฮจpโ€ฒolโˆ‚ฮธf+ฮจtโ€ฒorโˆ‚ฯ•f)G=gfgFโˆ’1.

which can be turned into an algebraic equation on the Fourier components of G

Gnm=โˆ’iฮจpโ€ฒoln+ฮจtโ€ฒorm(gfgF)nm.

where

G(ฯˆ,ฮธf,ฯ•f)=โˆ‘n,mGnm(ฯˆ)ei(nฮธf+mฯ•f)

and G00=0.


Particular choices of G can be made so as to simplify the description of other fields. The most commonly used magnetic coordinate systems are: [1]

  • Hamada coordinates. [2][3] In these coordinates, both the magnetic field lines and current lines corresponding to the MHD equilibrium are straight. Referring to the definitions above, both ฮฝ~ and ฮท~ are zero in Hamada coordinates.
  • Boozer coordinates. [4][5] In these coordinates, the magnetic field lines corresponding to the MHD equilibrium are straight and so are the diamagnetic lines , i.e. the integral lines of โˆ‡ฯˆร—๐. Referring to the definitions above, both ฮฝ~ and ฯ‡~ are zero in Boozer coordinates.

References

  1. โ†‘ 1.0 1.1 W.D. D'haeseleer, Flux coordinates and magnetic field structure: a guide to a fundamental tool of plasma theory, Springer series in computational physics, Springer-Verlag (1991) ISBN 3540524193
  2. โ†‘ S. Hamada, Nucl. Fusion 2 (1962) 23
  3. โ†‘ J.M. Greene and J.L Johnson, Stability Criterion for Arbitrary Hydromagnetic Equilibria, Phys. Fluids 5 (1962) 510
  4. โ†‘ A.H. Boozer, Plasma equilibrium with rational magnetic surfaces, Phys. Fluids 24 (1981) 1999
  5. โ†‘ A.H. Boozer, Establishment of magnetic coordinates for a given magnetic field, Phys. Fluids 25 (1982) 520