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) with Q1 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^1e−i(ωt−k⋅r)
∇p0=j0×B0
p=p0+p1ρ=ρ0+ρ1
j=j0+j1B=B0+B1
and for a static equilibrium
v=v1
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. As we integrate the field and pressure in time,
∂t∂B1=∇×(v1×B0)
∫∂t∂B1=B1=∇×∫v1×B0dt=∇×(ξ×B0)
If we do the same for the pressure equation, we get
p1=−ξ⋅∇p0−Γp0∇⋅ξ
where Γ is the ratio of specific heats, to avoid confusion with typical perturbation growth rate γ.
If we combine all of these together, substituting into the momentum equation, we can express the perturbation entirely in terms of ξ and the equilibrium properties:
We define the right-hand-side as the linearized forcing function of our equilibrium
ρ0∂t2∂2ξ=F(ξi,p0,B0)
For a linear force function, we can also write it in terms of a spring constant tensor
ρ0∂t2∂2ξ=F(ξ)=−K⋅ξ
We can determine the stability behavior of a configuration by specifying an initial condition
ξ(t=0)=0and∂t∂ξ∣∣∣∣∣t=0=f(r)
and boundary conditions. A boundary condition may be a rigid wall
ξ⋅n^∣wall=0
One way we can tell whether a given solution is unstable is to assume a variation of the form
ξ∝e−iωt
If ω2>0, the displacement will oscillate in time without growth, and if ω2<0 then the displacement will grow. In other words, if ω is real, then the mode is stable, and if ω is imaginary then the mode is unstable. The eigenvalue equation to be solved is
−ω2ρ0ξ=F(ξ)
which we can write as a matrix equation
AX=λX
ρ01F(ξ)=−ω2ξ
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(ξ) has the property of being self-adjoint, so
∫η⋅F(ξ)dV=∫ξ⋅F(η)dV
where η and ξ are arbitrary displacements that satisfy the same boundary conditions. If F is self-adjoint, then the system is Hermitian, which guarantees that we get real eigenvalues (ω2) , orthogonal eigenfunctions, and most importantly we are guaranteed to have an ordered spectrum of eigenvalues. That is to say ω02<ω12<ω22<…. 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 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=dtd[21∫ρ0(∂t∂ξ)2dV−21∫ξ⋅F(ξ)dV]
The kinetic energy term will always be positive, so we can formulate the stability based on the potential energy, often called a δW approach
δW=−21∫ξ⋅F(ξ)dV
is the change in potential energy due to a displacement ξ. If the potential energy decreases due to a displacement ξ, then the kinetic energy must necessarily increase, so δW<0 indicates instability.
We can write the change in kinetic energy for our normal mode decomposition as
Generally speaking, the plasma volume does not extend to infinity, and we care very much about the boundary. The total δW is the sum of that in the plasma volume δWF, the surface δWS, and the vacuum region δWV. The vacuum term looks like
δWV=21∫vacdVμ0(∇×(ξ×B0))2=∫vacdVμ0B12>0
so the vacuum term is always positive, and has a stabilizing influence. The surface contribution offsets this
where κ is the curvature vector e^B⋅∇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,
drdp=jθBz−jzBθ
we have current in the same direction as magnetic field (jθ with Bθ and jz with Bz), 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.
In a Z-pinch, it is always the case that drdp0<0. As shown by Kadomtsev (1965) it turns out that these modes can be stabilized by adding Bz, 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.