Skip to content

MHD Stability

Equilibrium is simply a balance of forces that results in a steady state. Beyond equilibrium, stability is the tendency of a perturbation to return to equilibrium, rather than increasing. We are very interested in analyzing the stability of MHD equilibria, including the plasma dynamics, so we need to use the complete ideal MHD model. The MHD equations are non-linear, which means that any evolution/dynamics are also going to be non-linear. We can define the initial deviation from equilibrium to be a linear phenomenon. As usual, we perform this linearization by letting Q(r,t)=Q0+Q1(r,t) Q(r, t) = Q_0 + Q_1(r, t) with Q1 Q_1 being a small first-order perturbation. Since the equilibrium is both time and space independent, the general form of the perturbation is

Q1(r,t)=Q^1ei(ωtkr) Q_1(r, t) = \vu Q_1 e^{-i (\omega t - \vec k \cdot \vec r)}

p0=j0×B0 \grad p_0 = \vec j_0 \cross \vec B_0

p=p0+p1ρ=ρ0+ρ1 p = p_0 + p_1 \qquad \rho = \rho_0 + \rho_1

j=j0+j1B=B0+B1 \vec j = \vec j_0 + \vec j_1 \qquad \vec B = \vec B_0 + \vec B_1

and for a static equilibrium

v=v1 \vec v = \vec v_1

In our momentum equations of the perturbed quantities, we assume that the static equilibrium holds, so most of the equilibrium terms drop out. We can define a velocity displacement ξ=0tv1dt \vec \xi = \int_0 ^t \vec v_1 \dd t . As we integrate the field and pressure in time,

B1t=×(v1×B0) \pdv{B_1}{t} = \curl (\vec v_1 \cross \vec B_0)

B1t=B1=×v1×B0dt=×(ξ×B0) \int \pdv{B_1}{t} = \vec B_1 = \curl \int \vec v_1 \cross \vec B_0 \dd t \\ = \curl (\vec \xi \cross \vec B_0)

If we do the same for the pressure equation, we get

p1=ξp0Γp0ξ p_1 = - \vec \xi \cdot \grad p_0 - \Gamma p_0 \div \vec \xi

where Γ \Gamma is the ratio of specific heats, to avoid confusion with typical perturbation growth rate γ \gamma .

If we combine all of these together, substituting into the momentum equation, we can express the perturbation entirely in terms of ξ \vec \xi and the equilibrium properties:

ρ02ξt2=(ξp0+Γp0ξ)+1μ0[(×B0)××(ξ×B0)]+1μ0[××(ξ×B0)×B0] \rho_0 \pdv{ ^2 \vec \xi }{t^2} = \grad (\vec \xi \cdot \grad p_0 + \Gamma p_0 \div \vec \xi)\\ + \frac{1}{\mu_0} \left[(\curl \vec B_0) \cross \curl (\vec \xi \cross \vec B_0) \right] \\ + \frac{1}{\mu_0} \left[ \curl \curl ( \vec \xi \cross \vec B_0) \cross \vec B_0 \right]

We define the right-hand-side as the linearized forcing function of our equilibrium

ρ02ξt2=F(ξi,p0,B0) \rho_0 \pdv{ ^2 \vec \xi }{t^2} = \vec F(\vec \xi _i , p_0, \vec B_0)

For a linear force function, we can also write it in terms of a spring constant tensor

ρ02ξt2=F(ξ)=Kξ \rho_0 \pdv{ ^2 \vec \xi }{t^2} = \vec F(\vec \xi) = - \overline \vec K \cdot \vec \xi

We can determine the stability behavior of a configuration by specifying an initial condition

ξ(t=0)=0andξtt=0=f(r) \vec \xi (t = 0) = 0 \qquad \text{and} \qquad \left. \pdv{\xi}{t} \right| _{t = 0} = f(\vec r)

and boundary conditions. A boundary condition may be a rigid wall

ξn^wall=0 \vec \xi \cdot \vu n |_{wall} = 0

One way we can tell whether a given solution is unstable is to assume a variation of the form

ξeiωt \vec \xi \propto e^{-i \omega t}

If ω2>0 \omega^2 > 0 , the displacement will oscillate in time without growth, and if ω2<0 \omega^2 < 0 then the displacement will grow. In other words, if ω \omega is real, then the mode is stable, and if ω \omega is imaginary then the mode is unstable. The eigenvalue equation to be solved is

ω2ρ0ξ=F(ξ) - \omega ^2 \rho_0 \vec \xi = \vec F(\vec \xi)

which we can write as a matrix equation

AX=λX \overline \vec A\, \overline X = \lambda \overline X

1ρ0F(ξ)=ω2ξ \frac{1}{\rho_0} \vec F (\vec \xi) = - \omega ^2 \vec \xi

For any arbitrary linear forcing function, we might get an infinite number of eigenvalues. How do we know which ones to look at? It turns out that the linearized force function F(ξ) \vec F(\vec \xi) has the property of being self-adjoint, so

ηF(ξ)dV=ξF(η)dV \int \vec \eta \cdot \vec F(\vec \xi) \dd V = \int \xi \cdot \vec F( \vec \eta) \dd V

where η \vec \eta and ξ \vec \xi are arbitrary displacements that satisfy the same boundary conditions. If F \vec F is self-adjoint, then the system is Hermitian, which guarantees that we get real eigenvalues (ω2 \omega^2 ) , orthogonal eigenfunctions, and most importantly we are guaranteed to have an ordered spectrum of eigenvalues. That is to say ω02<ω12<ω22< \omega_0 ^2 < \omega _1 ^2 < \omega _2 ^2 < \ldots . This means that the eigenvalue of the lowest mode is guaranteed to be the most negative, and therefore dictates the stability of the system. If the lowest eigenvalue is negative, then the system is necessarily unstable, and if the lowest eigenvalue is positive, then we are guaranteed that all modes are stable.

Because F \vec F is self-adjoint, we can make use of the energy principle to write the variation in the sum of the kinetic and potential energy as:

0=ddt[12ρ0(ξt)2dV12ξF(ξ)dV] 0 = \dv{}{t} \left[ \frac{1}{2} \int \rho_0 \left( \pdv{\vec \xi}{t} \right) ^2 \dd V - \frac{1}{2} \int \vec \xi \cdot \vec F ( \vec \xi) \dd V \right]

The kinetic energy term will always be positive, so we can formulate the stability based on the potential energy, often called a δW \delta W approach

δW=12ξF(ξ)dV \delta W = - \frac{1}{2} \int \vec \xi \cdot \vec F ( \vec \xi) \dd V

is the change in potential energy due to a displacement ξ \xi . If the potential energy decreases due to a displacement ξ \xi , then the kinetic energy must necessarily increase, so δW<0 \delta W < 0 indicates instability.

We can write the change in kinetic energy for our normal mode decomposition as

δT=12ρ0(ξt)2dV=12ω2ρ0ξξdV=δW=12ξF(ξ)dV \delta T = \frac{1}{2} \int \rho _0 \left( \pdv{\xi}{t} \right) ^2 \dd V = - \frac{1}{2} \omega ^2 \int \rho _0 \vec \xi ^ \star \cdot \vec \xi \dd V \\ = - \delta W = \frac{1}{2} \int \vec \xi ^\star \cdot \vec F(\vec \xi) \dd V

ω2=ξFdVρ0ξξdV=δW12ρ0ξξdV \omega^2 = \frac{- \int \xi ^\star \cdot \vec F \dd V}{\int \rho_0 \xi ^\star \cdot \xi \dd V} = \frac{\delta W}{\frac{1}{2} \int \rho_0 \xi ^\star \cdot \xi \dd V}

The denominator is strictly positive, so the sign of ω2 \omega^2 is determined by the sign of δW \delta W

δW<0ω2<0unstableδW>0ω2>0stable \delta W < 0 \rightarrow \omega^2 < 0 \rightarrow \text{unstable} \\ \delta W > 0 \rightarrow \omega^2 > 0 \rightarrow \text{stable}

Analyzing the form of δW \delta W (within the plasma volume)

δW=12plasmadVΓp0(ξ)2+ξp0(ξ)+1μ0[×(ξ×B0)]21μ0[ξ×(×B0)][×(ξ×B0)] \delta W = \frac{1}{2} \int_{plasma} \dd V \Gamma p_0(\div \vec \xi) ^2 + \vec \xi \cdot \grad p_0 (\div \vec \xi) \qquad \qquad \\ \qquad \qquad + \frac{1}{\mu_0} \left[ \curl ( \vec \xi \cross \vec B_0) \right]^2 \\ \qquad \qquad - \frac{1}{\mu_0} \left[\vec \xi \cross ( \curl \vec B_0) \right] \cdot \left[ \curl ( \vec \xi \cross \vec B_0) \right]

Generally speaking, the plasma volume does not extend to infinity, and we care very much about the boundary. The total δW \delta W is the sum of that in the plasma volume δWF \delta W_F , the surface δWS \delta W_S , and the vacuum region δWV \delta W_V . The vacuum term looks like

δWV=12vacdV(×(ξ×B0))2μ0=vacdVB12μ0>0 \delta W_V = \frac{1}{2} \int _{vac} \dd V \frac{ (\curl ( \vec \xi \cross \vec B_0))^2}{\mu_0} = \int_{vac} \dd V \frac{\vec B_1 ^2}{\mu_0} > 0

so the vacuum term is always positive, and has a stabilizing influence. The surface contribution offsets this

δWS=12dS(n^ξ)2[[(p0+B022μ0)]]n^ \delta W_S = \frac{1}{2} \oint \dd S ( \vu n \cdot \vec \xi) ^2 \left[ \left[ \grad \left( p_0 + \frac{B_0^2}{2 \mu_0} \right) \right] \right] \cdot \vu n

Instabilities can be characterized as:

  • Internal/fixed boundary δW=δWF \delta W = \delta W_F
  • External/free boundary δW=δWF+δWS+δWV \delta W = \delta W_F + \delta W_S + \delta W_V

The plasma portion can be re-written slightly as

δWF=12dVB1,2μ0Shear Alfven+μ0B1,μ0B0ξp0B022Fast magnetosonic+Γp0ξ2Acoustic+j0B0B02(B0×ξ)B1Current-driven (kink)2(ξp0)(ξκ)pressure-driven (interchange/balooning) \delta W_F = \frac{1}{2} \int \dd V \frac{ |B_{1, \perp}|^2}{\mu_0} \quad \leftarrow \text{Shear Alfven} \\ + \mu_0 \left| \frac{B_{1, \parallel}}{\mu_0} - \frac{B_0 \xi \cdot \grad p_0}{B_0} ^2 \right|^2 \quad \leftarrow \text{Fast magnetosonic} \\ + \Gamma p_0 |\div \xi|^2 \quad \leftarrow \text{Acoustic}\\ + \frac{\vec j_0 \cdot \vec B_0}{B_0 ^2} (\vec B_0 \cross \vec \xi) \cdot \vec B_1 \quad \leftarrow \text{Current-driven (kink)} \\ - 2 ( \vec \xi \cdot \grad p_0)(\vec \xi \cdot \vec \kappa) \quad \leftarrow \text{pressure-driven (interchange/balooning)}

where κ \vec \kappa is the curvature vector e^Be^B \vu e_B \cdot \grad \vu e_B . If we look at each of these terms, the first three terms are all going to be stabilizing effects, which means that all instability is going to come from the last two terms, the current-driven instability term and the pressure-driven instability term.

Going back to the screw pinch,

dpdr=jθBzjzBθ \dv{p}{r} = j_\theta B_z - j_z B_\theta

we have current in the same direction as magnetic field (jθ j_\theta with Bθ B_\theta and jz j_z with Bz B_z ), so kink instabilities are possible. We also have a pressure gradient, so interchange instabilities are also possible.

As a concrete example, look at the pressure driven instability term in a Z-pinch.

κ=r^r \kappa = - \frac{ \vu r}{r}

ξ=ξrr^ \vec \xi = \xi _r \vu r

δWF,pressure=dVξrdp0drξrr=dV2ξr2rdp0dr \delta W_{F, pressure} = \int \dd V \xi _r \dv{p_0}{r} \frac{\xi_r}{r} \\ = \int \dd V \frac{2 \xi _r ^2}{r} \dv{p_0}{r}

In a Z-pinch, it is always the case that dp0dr<0 \dv{p_0}{r} < 0 . As shown by Kadomtsev (1965) it turns out that these modes can be stabilized by adding Bz B_z , but this also introduces kink modes.

Going back to our stabilizing quantities of wellness and shear, current-driven instabilities are generally managed through shear, and pressure-driven instabilities are stabilized by well.