Next Article in Journal
Incorporating Symmetric Smooth Regularizations into Sparse Logistic Regression for Classification and Feature Extraction
Previous Article in Journal
Trajectory Tracking Control Based on Deep Reinforcement Learning for a Robotic Manipulator with an Input Deadzone
Previous Article in Special Issue
Exploring the Multiplication of Resonant Modes in Off-Center-Driven Chladni Plates from Maximum Entropy States
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Classical Waves and Instabilities Using the Minimalist Approach

by
Nektarios Vlahakis
Department of Physics, National and Kapodistrian University of Athens, University Campus, Zografos, GR-157 84 Athens, Greece
Symmetry 2025, 17(2), 150; https://doi.org/10.3390/sym17020150
Submission received: 2 December 2024 / Revised: 16 January 2025 / Accepted: 18 January 2025 / Published: 21 January 2025
(This article belongs to the Special Issue Feature Papers in 'Physics' Section 2024)

Abstract

:
The minimalist approach in the study of perturbations in fluid dynamics and magnetohydrodynamics involves describing their evolution in the linear regime using a single first-order ordinary differential equation, dubbed the principal equation.The dispersion relation is determined by requiring that the solution of the principal equation be continuous and satisfy specific boundary conditions for each problem. The formalism is presented for flows in Cartesian geometry and applied to classical cases such as the magnetosonic and gravity waves, the Rayleigh–Taylor instability, and the Kelvin–Helmholtz instability. For the latter, we discuss the influence of compressibility and the magnetic field, and also derive analytical expressions for the growth rates and the range of instability in the case of two fluids with the same characteristics.

1. Introduction

The study of perturbations in any physical system sheds light on the mechanisms responsible for maintaining equilibrium and offers a way to predict temporal behavior in response to variations. Although this task is generally difficult, simplifying each case and focusing on the most critical ingredients determining its evolution is essential. Classical waves and instabilities represent such simplified structures. For example, acoustic compressible perturbations, attributed to sound or magnetosonic waves, can be identified even in systems with complex dynamics. Alfvén waves play a significant role in magnetized plasmas. When gravity or buoyancy forces are important, differences in density drive gravity waves. By “gravity” we may also refer to fictitious forces in non-inertial frames, such as the effective gravity in a decelerating system or centrifugal forces. In cases of heavy-over-light fluid stratifications, the Rayleigh–Taylor instability comes to mind. Similarly, a relative velocity between two fluids triggers the Kelvin–Helmholtz instability. These are only a few examples of simplified structures that are crucial for understanding more complicated and realistic settings. They are often connected to temporal behaviors in laboratory experiments or specific features observed in astrophysical systems.
The full study of perturbation evolution in most cases can only be achieved through numerical simulations. Linearizing the system of equations is a simpler way to understand the conditions under which the system is unstable, although it does not cover nonlinear evolution. Normal mode analysis is a further simplification, allowed only in symmetric unperturbed states, and can be used to find wave frequencies or instability growth rates. This approach allows for simpler parametric studies or even the derivation of analytic expressions that directly reveal the physics of the mechanisms involved.
Since we are discussing classical problems, there are many books, e.g., [1,2,3,4,5], that provide the most basic information. There have also been a plethora of related works in the literature over the years, e.g., [6,7,8,9,10,11], to name but a few. Nevertheless, these problems continue to be an active area of research, e.g., [12,13,14], and there is always room—and need—to improve our understanding.
The goal of this paper is to present the methodology to determine the dispersion relation in each case, following the minimalist approach introduced in Ref. [15]. This novel approach simplifies the procedure as much as possible by using a single first-order ordinary differential equation, dubbed the principal equation. Firstly, we derive this equation through linearization and discuss the necessary boundary conditions (Section 2). Next, we apply the method to determine the dispersion relation for magnetohydrodynamic (MHD) waves (Section 3), gravity waves and the Rayleigh–Taylor instability (Section 4), gravito-acoustic waves (Section 5), and the Kelvin–Helmholtz instability (Section 6). We provide a more extensive analysis of the Kelvin–Helmholtz instability, deriving analytical expressions for the growth rate in the magnetized case and discussing the factors that most significantly affect the results.

2. Linear Analysis, the Principal Equation, and Boundary Conditions

Fluid dynamics is governed by the conservation laws of mass, momentum, and energy. To include cases of a conducting magnetized fluid (plasma), we combine these laws with Maxwell’s equations to obtain the system of magnetohydrodynamic equations. In the non-relativistic limit, and neglecting non-ideal effects such as viscosity, resistivity, and surface tension while using Lorentz–Heaviside units, these equations are as follows:
ρ t + · ρ V = 0 ,
t + V · P = c s 2 t + V · ρ ,
ρ t + V · V = P + × B × B + ρ g ,
B t = × V × B ,
· B = 0 .
We are interested in exploring the perturbations of a steady state that depends only on one spatial Cartesian coordinate. In particular, we assume that the unperturbed state has density ρ 0 ( x ) , pressure P ( x ) , bulk velocity V 0 = V 0 z ( x ) z ^ + V 0 y ( x ) y ^ , magnetic field B 0 = B 0 z ( x ) z ^ + B 0 y ( x ) y ^ , and the acceleration of gravity is g = g ( x ) x ^ . Introducing the total pressure
Π = P + B 2 2 ,
the zeroth-order equations are satisfied provided that
Π 0 = ρ 0 g .
Adding perturbations of the form
V = V 0 + V 1 z ( x ) z ^ + V 1 x ( x ) x ^ + V 1 y ( x ) y ^ e i ( k y y + k z z ω t ) ,
B = B 0 + B 1 z ( x ) z ^ + B 1 x ( x ) x ^ + B 1 y ( x ) y ^ e i ( k y y + k z z ω t ) ,
ρ = ρ 0 ( x ) + ρ 1 ( x ) e i ( k y y + k z z ω t ) ,
Π = Π 0 ( x ) + Π 1 ( x ) e i ( k y y + k z z ω t ) ,
defining the wavevector in the y z plane
k 0 = k y y ^ + k z z ^ ,
and the Doppler-shifted frequency
ω 0 = ω k 0 · V 0 ,
we linearize the equations as shown in Appendix A; the main steps and related comments follow.
The linearized system reduces to two differential equations for the perturbations of the velocity in the x ^ direction and the total pressure (there are algebraic relations for all the other perturbations, connecting them to V 1 x , Π 1 , and their derivatives). Instead of V 1 x and Π 1 , it is more convenient to use two other quantities.
The first, replacing V 1 x , is the Lagrangian displacement in the x ^ direction. The relation between the Lagrangian displacement ξ and the velocity perturbation results from the expression of the velocity in the perturbed location of each fluid element V + ( ξ · ) V V 0 + δ V + ( ξ · ) V 0 , which equals V 0 + d ξ d t V 0 + ξ t + ( V 0 · ) ξ , yielding δ V = ξ t + ( V 0 · ) ξ ( ξ · ) V 0 = i ω 0 ξ ξ x d V 0 d x . The x ^ component gives ξ x = y 1 ( x ) e i ( k y y + k z z ω t ) , with V 1 x = i ω 0 y 1 .
The second quantity, replacing Π 1 , is the perturbation of the total pressure in the perturbed location of each fluid element y 2 = Π 1 + y 1 Π 0 = Π 1 ρ 0 g y 1 .
The advantage of these replacements is that the new functions y 1 and y 2 are everywhere continuous, even at locations where the unperturbed state has contact discontinuities.

2.1. The System for y 1 , y 2

The resulting 2 × 2 system is
d d x y 1 y 2 + f 11 f 12 f 21 f 11 y 1 y 2 = 0 ,
f 11 = ρ 0 g A ρ 0 ω 0 2 F 2 S k 0 2 , f 12 = κ ˜ 2 A , f 21 = A ρ 0 2 g 2 A F 4 S k 0 2 + ρ 0 g ,
F = k 0 · B 0 , A = ρ 0 ω 0 2 F 2 , S = ρ 0 ( A c s 2 + ω 0 2 B 0 2 ) , κ ˜ 2 = ρ 0 2 ω 0 4 S k 0 2 .
To simplify the expressions we define the following quantities that have important physical meanings and effects in the resulting dispersion relations through their appearance in the array elements f i j .
The F = k 0 · B 0 is connected to the angle between the wavevector and the unperturbed magnetic field. Its presence in a dispersion relation represents the influence of the magnetic tension, which acts like a spring with restoring force per mass F 2 ρ 0 y 1 . This is evident in the pure Alfvén waves (in a static homogeneous plasma without gravity), for which the displacement satisfies y ¨ 1 = ω 2 y 1 , with ω = k 0 · B 0 ρ 0 = F ρ 0 .
The A = ρ 0 ω 0 2 F 2 ρ 0 appears in the denominator of the resulting system of differential equations, and its zeros correspond to the Alfvén waves.
The S = ρ 0 2 B 0 2 ρ 0 + c s 2 ω 0 2 F 2 ρ 0 c s 2 is related to the density perturbation in the perturbed location of each fluid element ρ 1 + y 1 ρ 0 = ρ 0 2 ω 0 2 y 2 + g F 2 y 1 S . It is interesting to note that the incompressible limit corresponds to S .
The κ ˜ defined through κ ˜ 2 = ρ 0 2 ω 0 4 S k 0 2 represents the local wavenumber in the x ^ direction. Indeed, the latter equation is equivalent to the dispersion relation of the slow/fast magnetosonic waves ω 0 2 k t 2 2 ω 0 2 k t 2 B 0 2 ρ 0 + c s 2 + B 0 2 ρ 0 c s 2 cos 2 θ 0 = 0 if we define the total wavevector k t = k 0 + κ ˜ x ^ and the angle θ 0 between k t and B 0 through cos θ 0 = F | k t | B 0 .
Another way to see the connection between κ ˜ and the wavenumber in the x ^ direction is to consider the homogeneous fluid case without gravity. In this scenario, system (14) with constant coefficients has solutions y 1 y 1 = y 2 y 2 = i κ ˜ . The equation κ ˜ 2 = ρ 0 2 ω 0 4 S k 0 2 gives two opposite solutions for κ ˜ , corresponding to oppositely moving waves in the ± x ^ direction. Note that, in general, κ ˜ is complex, and its imaginary part corresponds to exponential variation of the eigenfunctions, since e i κ ˜ x = e κ ˜ x e i κ ˜ x . In the incompressible limit, where S and κ ˜ 2 k 0 2 , it simplifies to purely exponential dependence e | k 0 x | , without sinusoidal dependence on x. More details on these waves will be discussed later; they offer a way to understand the physics of the solutions even in non-homogeneous fluids and are directly related to the boundary conditions when the fluid extends up to large distances x + or .
The cases A = 0 , S = 0 , and ω 0 = 0 need to be studied separately, something that can be easily achieved since they lead to simplified equations. These cases correspond to waves and are not necessary for instability studies in which k 0 is real and ω complex.

2.2. The Principal Equation

Since the system (14) is linear, only the ratio Y = y 1 y 2 is uniquely defined. Using the equations of the system we directly find that Y satisfies the principal equation
Y = f 21 Y 2 2 f 11 Y f 12 .
Following the minimalist approach [15], it is sufficient to work with the ratio Y and solve the principal equation in order to find the dispersion relation of the wave or instability. We just need to integrate this single, first-order differential equation, requiring Y to be everywhere continuous and satisfying the correct boundary conditions at the extreme values of x.
Knowing Y, we can find all the other perturbations from
y 2 y 2 = f 21 Y + f 11 , y 1 = Y y 2
and the relations (A20)–(A27) given in Appendix A. We emphasize though that these are not needed to find the dispersion relation.

2.3. Boundary Conditions

The linearization was based on the functions y 1 and y 2 , which are everywhere continuous. The same holds for their ratio. Therefore, in the case of discontinuities in the unperturbed state, we simply continue the integration of the principal equation when passing from one medium to another, keeping Y continuous.
In cases where the fluid ends at some extreme value of x, we always know the value of Y at that boundary and use it as a boundary condition. One example is the case of a solid wall at the boundary; here, Y vanishes on the wall since the Lagrangian displacement y 1 vanishes. Another example is when a medium with constant total pressure exists outside the fluid, such as a hydrodynamic atmosphere with negligible density. In this case, 1 / Y vanishes at the interface since the perturbation of the total pressure y 2 vanishes. (We arrive at the same result if we consider a nonzero perturbation in the atmosphere, solve the problem on both sides while requiring the continuity of Y, and ultimately take the limit of zero density outside.)
The nontrivial boundary conditions that need closer examination correspond to cases where the fluid extends to theoretically infinite distances x + or x . At these distances the unperturbed fluid is homogeneous, and the solutions of the principal equation are given in Appendix B. These solutions correspond to two waves moving oppositely in the x ^ direction, with one wave’s amplitude increasing exponentially with x and the other’s decreasing. To avoid the wave with the diverging amplitude (there is a way to automatically find the non-diverging solution following the Schwarzian approach of Ref. [16]; to obtain analytical expressions though, as we attempt here, we can directly find the asymptotic solutions), the solution of the principal equation should approach one of the constant values Y ± = f 11 ± f 11 2 + f 12 f 21 f 21 = f 12 f 11 ± f 11 2 + f 12 f 21 that correspond to complex wavenumbers ± K = ± i f 11 2 + f 12 f 21 , respectively. Assuming that f 11 2 + f 12 f 21 is the principal value of the root (with positive real part), we choose the upper sign at x + and the lower sign at x .
In the case that K = 0 (i.e., f 11 2 + f 12 f 21 is a negative real number), the wave’s amplitude remains constant at infinity, and we can choose the solution whose sign of ± K corresponds to the desired propagation.
Note that f 11 2 + f 12 f 21 = κ ˜ 2 + ρ 0 g A κ ˜ 2 + ρ 0 2 g 2 k 0 2 S . In the presence of gravity, this is not constant since the unperturbed total pressure is variable, with its gradient balancing gravity. However, in cases where the fluid extends to theoretically infinite distances (in which S since the total pressure also reaches theoretically infinite values), and uniform gravity, it approaches a constant f 11 2 + f 12 f 21 | k 0 | corresponding to the incompressible limit.
In the absence of gravity, f 11 2 + f 12 f 21 = κ ˜ 2 and without loss of generality we can choose the sign such that κ ˜ = ± K = ± i κ ˜ 2 (taking the principal value of the root and the upper/lower sign at x ± , respectively).

Summary of Equations and Boundary Conditions

The equations needed to apply the minimalist approach are summarized in Table 1.
In addition, the following forms of the principal equation may be useful, especially if one looks for analytical solutions:
d Y d x = f 21 Y f 11 f 21 2 f 11 2 + f 12 f 21 f 21 d d x 1 Y = f 12 1 Y + f 11 f 12 2 f 11 2 + f 12 f 21 f 12 ,
with
f 11 2 + f 12 f 21 = κ ˜ 2 + κ ˜ 2 A ρ 0 g + ρ 0 2 g 2 k 0 2 S .
Note that in cases with real oscillating eigenfunctions the Y is real and becomes infinite at some points; this problem can be easily handled numerically by working with an angular variable arctan Y instead of Y (or more generally with arctan Y Y 2 Y 1 , where Y 1 , 2 are given functions of our choice), as described in Section 2 of Ref. [16].

3. MHD Waves

A simple case of disturbances inside a homogeneous magnetized plasma involves magnetohydrodynamic waves, which are analyzed in most plasma textbooks, e.g., Ref. [2].

3.1. Slow/Fast Magnetosonic Waves

For a homogeneous unperturbed state and zero gravity f 11 = 0 , f 12 = κ ˜ 2 A , f 21 = A , the principal equation becomes Y = A Y 2 κ ˜ 2 A .
Its constant solutions are Y = i κ ˜ A (both signs are allowed). According to Equation (18) y 2 y 2 = i κ ˜ , i.e., κ ˜ is the x ^ wavenumber. The solutions correspond to the continuous spectrum of the slow/fast magnetosonic waves and, as already stated, the equation κ ˜ 2 = ρ 0 2 ω 0 4 S k 0 2 is equivalent to the dispersion relation of these waves ω 0 4 k 0 2 + κ ˜ 2 ω 0 2 B 0 2 ρ 0 + c s 2 + c s 2 F 2 ρ 0 = 0 .
The variable solution of the principal equation Y = κ ˜ A cot ( κ ˜ x + ϕ 0 ) corresponds to a superposition of waves, as discussed in Appendix B.

3.2. Alfvén Waves

The continuous spectrum of Alfvén waves ω 0 2 = F 2 / ρ 0 corresponds to the singular case of the principal equation A = 0 . In that case, y 1 could be any function of x, y 2 = 0 (and Y ), with finite y 2 A = y 1 κ ˜ 2 and 1 A Y = y 1 κ ˜ 2 y 1 . (Note that for Alfvén waves κ ˜ is given by κ ˜ 2 = ( k 0 · B 0 / B 0 ) 2 k 0 2 = ( k 0 × B 0 / B 0 ) 2 , and does not represent a wavenumber.)

3.3. Two Semi-Infinite Incompressible Plasmas

As another example on how to use the minimalist approach, let us consider two semi-infinite incompressible, homogeneous, static, magnetized plasmas in the regimes x > 0 (subscript “1”) and x < 0 (subscript “2”), and zero gravity.
With S in both regimes, we have f 11 = 0 , f 12 = k 0 2 A , f 21 = A . The principal equation is Y = k 0 2 A A Y 2 and has constant solutions Y = f 11 ± f 11 2 + f 12 f 21 f 21 = k 0 A . According to the boundary conditions given in Table 1 (or directly checking the sign of y 2 y 2 = f 21 Y + f 11 = k 0 ) the upper sign should be used for x > 0 and the lower for x < 0 . Thus, Y = k 0 ρ 1 ω 2 F 1 2 for x > 0 and Y = + k 0 ρ 2 ω 2 F 2 2 for x < 0 .
The continuity of Y gives the dispersion relation ω 2 = F 1 2 + F 2 2 ρ 1 + ρ 2 , representing a stable Alfvén wave whose amplitude drops exponentially as we move away from the contact discontinuity at x = 0 . (We recall that F 1 = k 0 · B 01 , F 2 = k 0 · B 02 , and that all the unperturbed states considered in the paper have the form described in Section 2.)

3.4. Effect of Finite Depth

Following the previous example, suppose now that the bottom plasma has finite depth H (there is a solid wall at x = H ). Then, in the bottom part the solution of the principal equation Y = k 0 2 A 2 A 2 Y 2 that vanishes at x = H is Y = k 0 A 2 tanh [ k 0 ( x + H ) ] . (In the upper part, the accepted solution corresponding to vanishing amplitude at x + continues to be Y = k 0 A 1 as before.)
The continuity of Y at x = 0 gives the dispersion relation ω 2 = F 1 2 + F 2 2 coth ( k 0 H ) ρ 1 + ρ 2 coth ( k 0 H ) . Evidently the relation describes a stable Alfvén wave, modified by the presence of the wall at x = H and the reflections from that wall.

4. Gravity Waves and Rayleigh–Taylor Instability

Density discontinuities in fluids within a gravitational field can drive gravity waves. These include disturbances at the interface between two fluids, such as between the atmosphere and the ocean. When a heavier fluid lies above a lighter fluid, the perturbation becomes unstable, leading to what is known as the Rayleigh–Taylor instability. This phenomenon was first described in the pioneering research papers by Rayleigh [17] and Taylor [18].
Consider two semi-infinite incompressible, static, magnetized plasmas, the first (subscript “1”) in the region x > 0 and the second (subscript “2”) in the region x < 0 , inside uniform gravity g x ^ , as in the left panel of Figure 1.
With S in both regimes, we have f 11 = g ρ 0 k 0 2 A , f 12 = k 0 2 A , f 21 = A + g 2 ρ 0 2 k 0 2 A . The principal equation is Y = k 0 2 ( 1 + g ρ 0 Y ) 2 A A Y 2 and has constant solutions Y = f 12 f 11 ± f 11 2 + f 12 f 21 = k 0 ρ 0 g k 0 ± A . (Although these parts are not homogeneous, since there must be a gradient of the total pressure balancing gravity, the incompressibility assumption allows them to have constant solutions, provided that ρ 0 and A are constant in both parts.)
Choosing the correct sign in each part following Table 1 (or directly using y 2 y 2 = f 21 Y + f 11 = k 0 ), we conclude that Y = k 0 ρ 1 ω 2 F 1 2 + ρ 1 g k 0 for x > 0 and Y = k 0 ρ 2 ω 2 + F 2 2 + ρ 2 g k 0 for x < 0 .
The continuity of Y gives the dispersion relation ω 2 = ρ 1 ρ 2 ρ 1 + ρ 2 g k 0 + F 1 2 + F 2 2 ρ 1 + ρ 2 , a result derived in Ref. [1].
This relation includes as subcases the surface gravity waves corresponding to zero magnetic fields and ρ 1 ρ 2 , for which ω 2 = g k 0 , and the classical Rayleigh–Taylor instability corresponding to zero magnetic fields and heavier fluid on top of lighter, for which the growth rate is ω = i ρ 1 ρ 2 ρ 1 + ρ 2 g k 0 . It also shows the stabilizing effect of the magnetic field through its magnetic tension manifest in the dispersion relation in the presence of F 1 2 and F 2 2 . It always reduces the growth rate, and if it is sufficiently strong it makes ω 2 positive, converting the disturbance from an instability to an Alfvén wave.

Effect of Finite Depth

If the bottom plasma has finite depth H (there is a solid wall at x = H ; see the right panel of Figure 1), we need to consider the variable solution of the principal equation Y = f 12 f 11 K cot ( K x + ϕ 0 ) with K = i f 11 2 + f 12 f 21 = i k 0 (given in Appendix B). Requiring Y to vanish at x = H , we find Y = k 0 ρ 2 g k 0 A 2 coth ( k 0 x + k 0 H ) for x < 0 .
As a specific example, suppose the upper part is a hydrodynamic medium with negligible density. In that case Y = for x > 0 and the continuity of Y gives the dispersion relation for gravity waves ω 2 = g k 0 tanh ( k 0 H ) + F 2 2 ρ 2 , modified by the presence of the magnetic field. (The same can be found considering the constant solution Y = k 0 ρ 1 ω 2 + ρ 1 g k 0 in the upper part, requiring the continuity of Y at x = 0 , and then taking the limit ρ 1 / ρ 2 0 .) In the shallow water approximation k 0 H 1 , we obtain ω 2 = g H k 0 2 + F 2 ρ 2 .

5. Gravito-Acoustic Waves

In the examples presented up to now, the fluids were homogeneous, at least partially, allowing us to easily solve the principal equation. In inhomogeneous cases, we rely on the numerical integration of the principal equation. An exception to that, where it is possible to analytically solve the differential equation although the fluid is not homogeneous, is the case of gravito-acoustic waves, analyzed, e.g., in Ref. [5]. In addition, this case serves as a nice example showing the interplay between acoustic and gravity waves.
For a hydrodynamic fluid between two solid walls at x = 0 and x = H , inside homogeneous gravity g = g x ^ , with unperturbed density ρ 0 = ρ 00 e α x , pressure P 0 = ρ 0 g α satisfying the hydrostatic equilibrium condition P 0 = ρ 0 g , and 1 α = c s 2 γ g the constant scale height, we obtain f 11 = g k 0 2 ω 2 , f 12 = 1 / c s 2 k 0 2 / ω 2 ρ 00 e α x , f 21 = ρ 00 ( g 2 k 0 2 / ω 2 ω 2 ) e α x , and the principal equation can be written as
d ( Y ρ 00 ω 2 e α x ) d x = g 2 k 0 2 ω 4 1 ( Y ρ 00 ω 2 e α x ) 2 + 2 g k 0 2 ω 2 α ( Y ρ 00 ω 2 e α x ) + k 0 2 ω 2 c s 2 .
Its general solution is g 2 k 0 2 ω 4 1 Y ρ 00 ω 2 e α x = α 2 g k 0 2 ω 2 + q tan ( q x + C ) with q = α 2 4 + ω 2 c s 2 k 0 2 + k 0 2 N 2 ω 2 , and N 2 = g 1 γ P d P d x 1 ρ d ρ d x = α g g 2 c s 2 = γ 1 γ α g the square of the Brunt–Väisälä (or buoyancy) frequency. The boundary condition Y | x = 0 = 0 specifies C and gives g 2 k 0 2 ω 4 1 Y ρ 00 ω 2 e α x = q 2 + α 2 g k 0 2 ω 2 2 q cot ( q x ) + α 2 g k 0 2 ω 2 = g 2 k 0 2 ω 4 1 k 0 2 ω 2 c s 2 q cot ( q x ) + α 2 g k 0 2 ω 2 . The boundary condition Y | x = H = 0 requires q H = n π , n = ± 1 , ± 2 , and the dispersion relation is α 2 4 + ω 2 c s 2 k 0 2 + k 0 2 N 2 ω 2 = q 2 ω 4 c s 2 k 0 2 + q 2 + α 2 4 ω 2 + k 0 2 N 2 = 0 .
The equation for y 1 is y 1 y 1 = g k 0 2 ω 2 + k 0 2 ω 2 / c s 2 Y ρ 00 ω 2 e α x = α 2 + q cot ( q x ) , with solution y 1 e α x / 2 sin ( q x ) . (The cases ω 2 = k 0 2 c s 2 and ω 4 = k 0 2 g 2 need to be examined separately. The former gives q 2 = ( α / 2 g / c s 2 ) 2 and the latter gives 2 g k 0 2 ω 2 α ( Y ρ 00 ω 2 e α x ) + k 0 2 ω 2 / c s 2 exp 2 g k 0 2 ω 2 α x . Neither can satisfy the boundary conditions, so they cannot be accepted.)

6. Kelvin–Helmholtz Instability

Relative motion between two fluids induces an instability known as Kelvin–Helmholtz, as first described in the seminal papers by Lord Kelvin [19] and Hermann von Helmholtz [20].

6.1. Incompressible Limit

For the incompressible case and two semi-infinite plasmas, similarly to the Rayleigh–Taylor instability (Section 4) we find that Y = k 0 ρ 1 g k 0 + A 1 for x > 0 and Y = k 0 ρ 2 g k 0 A 2 for x < 0 . The only difference is that A 1 = ρ 1 ( ω k 0 · V 01 ) 2 F 1 2 and A 2 = ρ 2 ( ω k 0 · V 02 ) 2 F 2 2 now depend on the velocities.
The continuity of Y gives the dispersion relation ρ 1 ( ω k 0 · V 01 ) 2 + ρ 2 ( ω k 0 · V 02 ) 2 = F 1 2 + F 2 2 ( ρ 1 ρ 2 ) g k 0 with solutions
ω = ρ 1 V 01 + ρ 2 V 02 ρ 1 + ρ 2 · k 0 ± i ρ 1 ρ 2 ( V 01 V 02 ) · k 0 2 ( ρ 1 + ρ 2 ) 2 + ρ 1 ρ 2 ρ 1 + ρ 2 g k 0 ( k 0 · B 01 ) 2 + ( k 0 · B 02 ) 2 ρ 1 + ρ 2 ,
a result derived in Ref. [1]. The three terms within the square root have obvious physical meaning. The first is due to relative velocity and always leads to instability. The second is due to gravity and leads to stability/instability in the case of stable/unstable stratification (lighter fluid above heavier or the opposite). The third term is due to the magnetic field stress and is always stabilizing.

6.2. Compressible Kelvin–Helmholtz Instability

Taking into account compressibility and neglecting gravity, we have f 11 = 0 , f 12 = κ ˜ 2 A , f 21 = A , and the constant solutions of the principal equation are Y = f 11 ± f 11 2 + f 12 f 21 f 21 = i κ ˜ A with κ ˜ = ± i κ ˜ 2 . According to Table 1 we need to choose the upper sign for x > 0 and the lower for x < 0 . Thus, κ ˜ 1 = i κ ˜ 1 2 and Y = i κ ˜ 1 A 1 = κ ˜ 1 2 A 1 for x > 0 , κ ˜ 2 = i κ ˜ 2 2 and Y = i κ ˜ 2 A 2 = κ ˜ 2 2 A 2 for x < 0 . The dispersion relation is κ ˜ 1 A 1 = κ ˜ 2 A 2 or
k 0 2 ρ 1 ( ω k 0 · V 01 ) 4 ( ρ 1 c s 1 2 + B 01 2 ) ( ω k 0 · V 01 ) 2 ( k 0 · B 01 ) 2 c s 1 2 ρ 1 ( ω k 0 · V 01 ) 2 + ( k 0 · B 01 ) 2 = k 0 2 ρ 2 ( ω k 0 · V 02 ) 4 ( ρ 2 c s 2 2 + B 02 2 ) ( ω k 0 · V 02 ) 2 ( k 0 · B 02 ) 2 c s 2 2 ρ 2 ( ω k 0 · V 02 ) 2 ( k 0 · B 02 ) 2 .
We recall that we need to take the principal values of both square roots, i.e., the ones with positive real parts.

6.3. On the Physics of the Kelvin–Helmholtz Instability

A relatively simple case for which we can find analytical results will help to understand the physics of the instability. We consider two hydrodynamic fluids with the same unperturbed characteristics (same density ρ 0 , same pressure P 0 as required from the equilibrium at the contact discontinuity, and same sound velocity c s ) and work in the frame where the two fluids move with opposite velocities ± V 0 z ^ (with positive V 0 and the upper sign corresponding to x > 0 ).
The dispersion relation becomes 1 M 2 ω k z V 0 1 2 ω k z V 0 1 2 = 1 M 2 ω k z V 0 + 1 2 ω k z V 0 + 1 2 , where M = V 0 k z / k 0 c s . Unstable modes (with ω > 0 ) exist for M < 2 , with purely imaginary ω = i k z V 0 2 M 2 1 + M 2 + 1 + 4 M 2 . One way to find this result is to substitute ω = i k z V 0 tan μ 2 when the dispersion relation reduces to cos 2 μ + cos μ = M 2 with solutions cos μ = 1 + 4 M 2 1 2 . Actually, the angle μ has an important meaning connected to the argument of the resulting complex wavenumbers in the x ^ direction, which are κ ˜ 1 , 2 = k 0 e i μ = k 0 1 + 4 M 2 1 2 ± i k 0 1 + 4 M 2 + 1 2 M 2 2 .
Although the results apply for any angle between k 0 and V 0 , to simplify the expressions, from now on we restrict ourselves to the case k 0 V 0 , i.e., we consider a disturbance with k 0 = k 0 z ^ (with positive k 0 ). The characteristics of the unstable mode, the Lagrangian displacement, and the perturbations of the pressure, density, and velocity (written in a way to show the phase difference between each quantity with y 1 ) are
ω = i k 0 V 0 tan μ 2 , κ ˜ 1 , 2 = k 0 e i μ , μ = arccos 1 + 4 M 2 1 2 , M = V 0 c s ,
y 1 e i ( k z z ω t ) e k 0 V 0 t tan ( μ / 2 ) e ± k 0 x sin μ e i k 0 ( z x cos μ ) ,
P 1 = y 2 = ρ 0 k 0 V 0 2 cos 2 ( μ / 2 ) e i π / 2 y 1 , ρ 1 = P 1 c s 2 ,
V 1 x = k 0 V 0 cos ( μ / 2 ) e ± i ( π / 2 μ / 2 ) y 1 , V 1 z = k 0 V 0 cos ( μ / 2 ) e i ( π / 2 μ / 2 ) y 1 .
Suppose we initially disturb the interface between the two fluids by Δ x | x = 0 , t = 0 = D e i k 0 z . The Lagrangian displacement along x ^ at any later time and for any other fluid element has the form ξ x = y 1 e i ( k 0 z ω t ) = D e i ( k 0 z + κ ˜ 1 , 2 x ω t ) ; the goal is to find ω and κ ˜ 1 , 2 . Using the Lagrangian displacement ξ and the Lagrangian perturbations of the velocity, pressure, density, which are Δ V = ξ ˙ , Δ P , and Δ ρ = Δ P c s 2 , respectively, the equations that lead to that goal are the momentum ρ 0 ξ ¨ = ( Δ P ) and the continuity · ξ = Δ ρ ρ 0 (coming from · V = ρ ˙ ρ ). Since all perturbations are proportional to e i ( k 0 z + κ ˜ x ω t ) , a time derivative has the meaning t + V 0 · = i ( ω k 0 V 0 ) , and the divergence = i k t 1 , 2 , with k t 1 , 2 = κ ˜ 1 , 2 x ^ + k 0 the total wavenumber in the two fluids (their z ^ components are the same, but the x ^ components differ).
The momentum equation along x ^ connects the displacement with the pressure perturbation Δ P = ρ 0 ( ω k 0 V 0 ) 2 i κ ˜ 1 , 2 y 1 . Requiring Δ P and y 1 to be continuous at the interface between the two fluids, we arrive at a first relation between the unknowns κ ˜ 1 A 1 = κ ˜ 2 A 2 .
The pressure gradient along the interface is connected to the corresponding Lagrangian displacement ξ z through the momentum equation along z ^ , which gives ξ z = k 0 κ ˜ y 1 . (The latter means that ξ k t , a characteristic of longitudinal waves.)
The continuity also connects the two components of the displacement. It gives k 0 ξ z + κ ˜ y 1 = i Δ P ρ 0 c s 2 . Substituting Δ P = ρ 0 ( ω k 0 V 0 ) 2 i κ ˜ 1 , 2 y 1 and ξ z = k 0 κ ˜ y 1 , we arrive at the second relation between the unknowns (one for each fluid) κ ˜ 1 , 2 2 = ( ω k 0 V 0 ) 2 c s 2 k 0 2 .
The perturbation essentially consists of two sound waves in the two fluids, with wavenumbers k t 1 , 2 = κ ˜ 1 , 2 x ^ + k 0 . In the fluid rest frames, the two waves move with different velocities, satisfying ( ω k 0 · V 0 ) 2 = c s 2 κ ˜ 1 , 2 2 , a relation equivalent to κ ˜ 2 = ρ 0 2 ω 0 4 S k 0 2 , with S = ρ 0 2 c s 2 ω 0 2 . The two waves meet at the contact discontinuity and as a consequence they have the same k 0 and ω such that their phases k t · ( r V 0 t ) ( ω k 0 · V 0 ) t = k t · r ω t are continuous at the interface. As already presented, for the case of fluids with the same density, in a frame in which they move with opposite velocities ± V 0 z ^ , and k 0 = k 0 z ^ is parallel to the relative velocity, the resulting unstable mode has ω = i k 0 V 0 tan μ 2 and κ ˜ 1 , 2 = k 0 e i μ , with μ = arccos 1 + 4 M 2 1 2 , M = V 0 c s .
The value of the complex wavenumber κ ˜ (in each part) is directly connected to compressibility through S. In the incompressible limit S it is purely imaginary, since in that limit M = 0 , μ = π / 2 , and κ ˜ = ± i k 0 . (Note that in the incompressible limit the continuity · ξ = 0 gives k t · ξ = 0 . Since the two vectors are complex, this does not mean k t ξ . It rather means k t 2 = 0 , using k t ξ from the momentum equation. In addition, the relation k t 2 = 0 does not mean that the vector k t is zero.) If we consider cases with decreasing S, i.e., decreasing c s keeping V 0 the same, in which the compressibility becomes more and more important, the first part of the expression of κ ˜ 2 = ρ 0 2 ω 0 4 S k 0 2 affects the value of κ ˜ in two ways. Firstly, the imaginary part decreases, meaning that the perturbation survives at longer distances from the interface. Secondly, the κ ˜ increases, contributing more to the phase of the perturbation, which is k 0 ( z x cos μ ) . Both effects are expressed through the angle μ , which decreases with decreasing S (increasing M). The growth rate is also connected to S through μ . It decreases as the result of compressibility, from k 0 V 0 in the limit S to zero when M = 2 , corresponding to the minimum S for which the perturbation is unstable.
The vorticity is a key quantity in the Kelvin–Helmholtz instability. Its undisturbed value ζ 0 = 2 V 0 δ ( x ) y ^ is the reason behind the development of the instability. Even with the perturbation included it is nonzero only in the interface between the two fluids. Nevertheless, the motion of the fluids along the interface redistributes the vorticity compared to the unperturbed state. The related velocity inside the upper/lower fluid, just above/below the interface ξ x | x = 0 = y 1 | x = 0 e i ( k z z ω t ) , is V 1 z | x = 0 ± = k 0 V 0 [ tan ( μ / 2 ) i ] ξ x | x = 0 . The mean value k 0 V 0 tan ( μ / 2 ) ξ x | x = 0 shows that fluid accumulates near the positions of lower pressure, where the vorticity increases (in the y ^ direction) by i k 0 ξ x | x = 0 ζ 0 . This accumulation of vorticity further increases the displacement ξ x | x = 0 , leading to instability. It becomes stronger for larger μ , i.e., smaller M, since the mean value of V 1 z increases with μ .
Three example solutions are shown in Figure 2. The upper panel corresponds to an incompressible case with M 1 , for which ω i ( 1 M 2 ) k 0 V 0 and κ ˜ 1 , 2 ( M 2 ± i ) k 0 . (For M 1 the approximate expression for μ is μ π 2 M 2 .) The exponential decrease in the perturbation as we move away from the interface is evident. The perturbed interface is shown, along with the circulation around points of minimum pressure (the mean velocity of the fluids on the interface points toward these minimum pressure points).
The two other panels correspond to cases in which compressibility is important. The solution in the middle panel has M = 1 , ω = i 0.486 k 0 V 0 , and κ ˜ 1 , 2 = ( 0.618 ± i 0.786 ) k 0 , and in the lower panel M = 1.4 , ω = i 0.082 k 0 V 0 , and κ ˜ 1 , 2 = ( 0.987 ± i 0.163 ) k 0 . The k t = κ ˜ x ^ + k 0 z ^ now has a nonnegligible x ^ part and as a result the iso-phase planes are z x cos μ = constant, tilted as shown in the panels.
For cases approaching the maximum value of M for which the perturbation is unstable (the M = 2 ), the values of μ , ω , and κ ˜ approach zero, and the perturbation practically consists of two standing sound waves (one in each fluid) with real wavenumbers. (For M 2 2 0 the approximate expression for μ is μ 4 2 M 2 3 .)

6.4. Influence of Magnetic Field

For simplicity we consider again two homogeneous fluids with the same unperturbed characteristics, and work in the frame where the fluids move with opposite velocities ± V 0 z ^ . Now, there is also a constant magnetic field B 0 = B 0 y y ^ + B 0 z z ^ in the unperturbed state, the same in both fluids.
Inspecting the dispersion relation (22), we see that the magnetic field enters in two ways. Firstly, through its pressure B 0 2 / 2 , or equivalently the square of the Alfvén velocity v A = B 0 ρ 0 . Secondly, through its tension, manifest in the terms k 0 · B 0 , i.e., its component parallel to k 0 , or equivalently the component of the Alfvén velocity v A = B 0 · k 0 / k 0 ρ 0 .
The magnetic pressure B 0 2 / 2 enters in the expression of S and increases its value. Thus, it moves the dynamics toward the incompressible limit and, according to the discussion of the previous section, destabilizes (the second terms inside the square roots equal ρ 0 2 ω 0 4 k 0 2 S , so an increase in v A 2 leads to the square roots being closer to unity). Actually, if we include magnetic field normal to k 0 only, the dispersion relation is exactly equivalent to its hydrodynamic analogue, with the only difference that M now represents the fast magnetosonic Mach number M = V 0 k z / k 0 c s 2 + v A 2 . Figure 3 shows the resulting growth rates. Notably it includes as subcases the purely hydrodynamic case ( V A = 0 ) considered in the previous section, and the cold case ( c s = 0 ), with only the B 0 y component of the magnetic field.
The magnetic tension enters in the dispersion relation through F = k 0 · B 0 (essentially the component of the magnetic field along k 0 ) in two places: inside A and S. It always has a stabilizing effect since the tension is a restoring force; we have seen that in the previous examples of Alfvén waves and the Rayleigh–Taylor instability, even in the incompressible limit. It also affects incompressibility through its appearance inside S. Since it decreases S, it moves the dynamics away from the incompressible limit, something that also, in general, stabilizes.
Another related connection is that the magnetic tension affects the perturbation of the vorticity inside each fluid, which, using the expressions of the velocity perturbations given in Appendix A, can be expressed as Δ ζ = i ω 0 F k t × B 0 ρ 0 A Δ ρ .
In the following, we present the methodology to find numerical results.
The dispersion relation (22) in the case under consideration can be written as
1 V 0 2 k z 2 / k 0 2 c s 2 + v A 2 ω k z V 0 1 4 ω k z V 0 1 2 c s 2 c s 2 + v A 2 v A 2 k 0 2 V 0 2 k z 2 ω k z V 0 1 2 + v A 2 k 0 2 V 0 2 k z 2 = 1 V 0 2 k z 2 / k 0 2 c s 2 + v A 2 ω k z V 0 + 1 4 ω k z V 0 + 1 2 c s 2 c s 2 + v A 2 v A 2 k 0 2 V 0 2 k z 2 ω k z V 0 + 1 2 v A 2 k 0 2 V 0 2 k z 2 ,
and can be solved numerically. However, for the case of fluids with the same characteristics considered here it is possible to proceed analytically. As shown in Appendix C, the dispersion relation can be transformed to the following quartic polynomial equation for the square of the growth rate, ( ω ) 2 k 0 2 ( c s 2 + v A 2 ) = M 2 tan 2 Λ 2
M 8 tan 8 Λ 2 + 2 ( 1 + 2 M 2 ) M 6 tan 6 Λ 2 + [ 2 M 2 ( 1 + 3 M 2 ) + 2 ( 2 cos 2 H + 1 ) cos 2 Θ ( 2 cos 2 H + 1 ) cos 4 Θ ] M 4 tan 4 Λ 2 + 2 M 4 ( 2 M 2 1 ) 4 M 2 ( 2 cos 2 H 1 ) cos 2 Θ + 2 cos 4 H 2 ( M 2 1 ) cos 2 H M 2 cos 4 Θ 2 cos 2 H cos 6 Θ M 2 tan 2 Λ 2 + M 6 ( M 2 2 ) + 2 M 4 ( 2 cos 2 H + 1 ) cos 2 Θ M 2 [ 2 cos 4 H + 2 ( M 2 + 2 ) cos 2 H + M 2 ] cos 4 Θ + 2 ( M 2 + cos 2 H ) cos 2 H cos 6 Θ = 0 ,
using the parametrization
ω = i k z V 0 tan Λ 2 , M = V 0 k z / k 0 c s 2 + v A 2 , v A c s = tan H , v A c s 2 + v A 2 = cos Θ .
Note that the angle Θ is connected to the angle between the magnetic field and the wavenumber since cos Θ = B 0 · k 0 B 0 k 0 sin H .
The left panel of Figure 4 shows the growth rate for cases where the magnetic field has only component along k 0 . In general, the field decreases the growth rate, and if it is sufficiently strong it completely suppresses the instability. Similar behavior is shown in the right panel of Figure 4 for the cold case. For all strengths of the magnetic field, if its orientation is sufficiently close to the wavevector, the magnetic tension completely suppresses the instability.

6.5. Range of Instability

It is interesting to explore the regions of M for which the Kelvin–Helmholtz instability is present, as shown in Figure 4. The question is: Under what conditions does the dispersion relation (27) have purely imaginary roots? For simplicity, we consider a disturbance with k 0 = k 0 z ^ parallel to the velocities. The results can be easily generalized.
One might naively think that the extreme values of these instability regions can be found by setting ω = 0 in the dispersion relation (27) and requiring both numerators to vanish (since the denominators are opposite real numbers). However, this implies k ˜ = 0 , resulting in no x-dependence of the disturbance. This case corresponds to magnetosonic waves in the frame of each fluid with total wavevectors k t = k 0 z ^ and ω 0 = k 0 V 0 , with V 0 4 V 0 2 ( v A 2 + c s 2 ) + c s 2 v A 2 = 0 (see Section 3.1). The absence of x-dependence makes these cases unrelated to the unstable modes.
However, there are two other possibilities. The vanishing of both denominators in the dispersion relation (27) for ω = 0 needs to be considered as a possible limiting case. This corresponds to Alfvén waves with ω 0 = k 0 V 0 , with V 0 2 = v A 2 (see Section 3.2). Note that κ ˜ does not appear in the dispersion relation. Nevertheless, its value is nonzero, given by κ ˜ 2 = k 0 2 1 v A 2 v A 2 . The x-dependence of the disturbance allows for a possible connection with unstable modes.
A third possibility is that the limiting values may correspond to bifurcations of the dispersion relation. It is actually evident from inspecting Figure 3 that the slope ω M becomes infinity when ω = 0 . In general, a dispersion relation depends on various parameters, and the slope is defined as the derivative with respect to one of these parameters, while keeping all others constant. For a dispersion relation of the form f ( ω , p 1 , p 2 , ) = constant, its differential f ω d ω + n f p n d p n = 0 shows that bifurcation corresponds to f ω = 0 . Thus, extreme values of the instability regions may be connected to the condition f ω ω = 0 = 0 .
In our case, there are three parameters, and we can choose p 1 = M 2 = V 0 2 c s 2 + v A 2 , p 2 = c s 2 c s 2 + v A 2 , p 3 = v A 2 V 0 2 . The algebra gives that f ω ω = 0 = 0 leads to p 1 2 + p 1 p 3 2 p 1 p 2 p 3 2 2 p 2 2 p 3 2 + 4 p 2 p 3 = 0 or the following cubic for V 0 2 :
V 0 6 ( 2 c s 2 + 2 v A 2 v A 2 ) V 0 4 + 2 c s 2 v A 2 c s 2 + v A 2 ( 2 c s 2 + 2 v A 2 v A 2 ) V 0 2 2 c s 4 v A 4 c s 2 + v A 2 = 0 ,
or M 6 + ( cos 2 Θ 2 ) ( M 4 2 cos 2 H cos 2 Θ M 2 ) = 2 cos 4 H cos 4 Θ .
For the left panel of Figure 4 we have cos Θ = sin H , v A c s = tan H , and the extreme values of M are given by M 6 ( 2 sin 2 H ) M 4 + 2 cos 2 H sin 2 H ( 2 sin 2 H ) M 2 2 cos 4 H sin 4 H = 0 . The roots of this cubic are M = sin H , M = cos H 1 cos ( 2 H ) , M = cos H 1 + cos ( 2 H ) , and the corresponding wavenumbers κ ˜ 2 = 0 , k 0 2 cos ( 2 H ) , k 0 2 cos ( 2 H ) , respectively. Thus, the value M = sin H corresponds to a magnetosonic wave without x-dependence (unrelated to instability), while the other two solutions M = cos H 1 cos ( 2 H ) , M = cos H 1 + cos ( 2 H ) are the extreme values of M related to the unstable modes.
The result is that for B 0 k 0 the Kelvin–Helmholtz instability occurs only if v A < c s and for velocities in the interval c s 1 c s 2 v A 2 c s 2 + v A 2 < V 0 < c s 1 + c s 2 v A 2 c s 2 + v A 2 . As we approach the limits, the wavenumbers κ ˜ approach real values and the instability is transformed to magnetosonic waves with constant amplitudes and wavenumbers k t = k 0 z ^ ± k 0 c s 2 v A 2 c s 2 + v A 2 x ^ .
For the right panel of Figure 4 we have H = π / 2 and B 0 z B 0 y = cot Θ and the maximum value of M corresponds to bifurcation for which M 6 ( 1 + sin 2 Θ ) M 4 = 0 . The nontrivial root is M = 2 B 0 z 2 B 0 2 , and the corresponding wavenumbers κ ˜ 2 = k 0 2 1 B 0 z 2 B 0 2 .
The lower limit of the instability region corresponds to Alfvén waves V 0 2 = v A 2 , so M = | B 0 z | B 0 .
The result is that for the cold case c s = 0 the Kelvin–Helmholtz instability occurs only if | B 0 z | ρ 0 < V 0 < 2 B 0 2 B 0 z 2 ρ 0 . As we approach the limits, the wavenumbers κ ˜ approach real values and the instability is transformed to waves (Alfvén waves in the lower limit and magnetosonic in the upper) with constant amplitudes and wavenumbers k t = k 0 z ^ ± k 0 1 B 0 z 2 B 0 2 x ^ .

6.6. Bifurcations in the General Case

The dispersion relation in the general case is f = A 2 κ ˜ 1 A 1 κ ˜ 2 = 1 , and taking its logarithmic derivative we conclude that bifurcations occur when κ ˜ 2 κ ˜ 2 ω 2 A A ω is continuous at the interface. Equivalently, since κ ˜ A is also continuous, κ ˜ 2 A 2 ω 2 κ ˜ 2 A A 3 ω is continuous. Substituting S and A = ρ 0 ω 0 2 F 2 , this quantity equals
4 ρ 0 ω 0 A 3 k 0 2 4 ρ 0 ω 0 3 F 2 A 3 ( A c s 2 + ω 0 2 B 0 2 ) 2 ρ 0 ω 0 5 ( ρ 0 c s 2 + B 0 2 ) A 2 ( A c s 2 + ω 0 2 B 0 2 ) 2 .
In the hydrodynamic case, the latter simplifies to 2 2 k 0 2 c s 2 ω 0 2 ρ 0 2 c s 2 ω 0 5 , while in the cold case to 2 ω 0 2 k 0 2 v A 2 k 0 2 v A 2 ω 0 2 ρ 0 2 v A 2 ( ω 0 2 k 0 2 v A 2 ) 3 .

7. Summary

The primary objective of this paper is to illustrate how the minimalist approach, as introduced in Ref. [15], can be applied to stability problems in planar geometry using Cartesian coordinates. This method highlights the approach’s efficacy in determining the dispersion relation by integrating a single first-order differential equation, the principal equation.
Although the mathematical formalism is quite cumbersome, it can be simplified by defining intermediate quantities with important physical meanings. For example, the complex κ ˜ has a direct connection to wave propagation and simultaneous amplitude variation. The function S is related to compressibility, which depends on both thermal and magnetic pressure, and shows how the wave propagation and the growth rate of the instability depend on these factors. The function F signifies the stabilizing nature of magnetic tension. All these aspects are discussed and reviewed when applying the method to classical instabilities.
A more extensive analysis was conducted on the Kelvin–Helmholtz instability, resulting in new findings. Specifically, analytical solutions of the dispersion relation in certain cases were derived, along with a study of bifurcations and their connection to the ranges of instability. These tools facilitate parametric studies, which are far from being considered complete even in classical instabilities.
Detailed studies of specific problems in hydrodynamics or magnetohydrodynamics will benefit from the examples and formalism presented, as well as from the ideas on how to explore the possible existence of analytical solutions and specify the range of instability. Applications in other geometries and more general theoretical frameworks are also possible and will be presented in future works.

Funding

This research received no external funding.

Data Availability Statement

This research is analytical; no new data were generated or analyzed. If needed, more details on the study and the numerical results will be shared on reasonable request to the author.

Conflicts of Interest

The author declares no conflicts of interest.

Appendix A. Linearization

The linearized Equations (1)–(4) are (for ω 0 0 ) as follows:
ω 0 Δ ρ ρ 0 = i V 1 x + k z V 1 z + k y V 1 y ,
P 1 c s 2 Δ ρ + i V 1 x ω 0 P 0 = 0 ,
i ω 0 ρ 0 V 1 x = Π 1 + i F B 1 x ρ 1 g
i ω 0 ρ 0 V 1 y + ρ 0 V 1 x V 0 y = i k y Π 1 + i F B 1 y + B 1 x B 0 y
i ω 0 ρ 0 V 1 z + ρ 0 V 1 x V 0 z = i k z Π 1 + i F B 1 z + B 1 x B 0 z
ω 0 B 1 x = F V 1 x ,
ω 0 B 1 y = ω 0 B 0 y Δ ρ ρ 0 F V 1 y i V 1 x B 0 y + i B 1 x V 0 y ,
ω 0 B 1 z = ω 0 B 0 z Δ ρ ρ 0 F V 1 z i V 1 x B 0 z + i B 1 x V 0 z ,
with F = k 0 · B 0 , c s the sound velocity (only the unperturbed is needed and is assumed to be a known function of x), P 0 = Π 0 B 0 2 2 , P 1 = Π 1 B 0 y B 1 y B 0 z B 1 z , and Δ ρ = ρ 1 + i V 1 x ω 0 ρ 0 . In the above expressions, the relation · B = 0 was used. This can be seen as a consequence of the induction Equation (4), but shows more directly that the relation B 1 x + i k y B 1 y + i k z B 1 z = 0 holds.
We can use Equations (A4)–(A8) of the system, together with the definitions of Δ ρ = ρ 1 + i V 1 x ω 0 ρ 0 and y 1 = i V 1 x ω 0 , to express the perturbations of the density, velocity, and the magnetic field as functions of Δ ρ , y 1 , and Π 1 :
ρ 1 = ρ 0 y 1 + Δ ρ ,
V 1 x = i ω 0 y 1 ,
A V 1 y = A V 0 y y 1 + k y ω 0 Π 1 F ω 0 B 0 y Δ ρ ρ 0 ,
A V 1 z = A V 0 z y 1 + k z ω 0 Π 1 F ω 0 B 0 z Δ ρ ρ 0 ,
B 1 x = i F y 1 ,
A B 1 y = A B 0 y y 1 F k y Π 1 + ω 0 2 B 0 y Δ ρ ,
A B 1 z = A B 0 z y 1 F k z Π 1 + ω 0 2 B 0 z Δ ρ ,
where A = ρ 0 ω 0 2 F 2 .
The substitution of V 1 y , V 1 z in Equation (A1) gives
ω 0 2 Δ ρ = A y 1 + k y 2 + k z 2 Π 1 ,
while the remaining Equations (A2) and (A3) are
Π 1 c s 2 Δ ρ + y 1 P 0 = B 0 y B 1 y + B 0 z B 1 z ,
0 = Π 1 ρ 1 g + A y 1 .
We introduce the perturbation of the total pressure in the perturbed position y 2 = Π 1 + y 1 Π 0 = Π 1 ρ 0 g y 1 , a quantity that is continuous everywhere (similarly to y 1 ).
The substitution of B 1 y , B 1 z in Equation (A17), also using the equilibrium of the unperturbed state P 0 + B 0 y B 0 y + B 0 z B 0 z = ρ 0 g , gives
Δ ρ = ρ 0 2 ω 0 2 y 2 + g F 2 y 1 S ,
where S = ρ 0 ( A c s 2 + ω 0 2 B 0 2 ) .
Substituting this Δ ρ and ρ 1 = Δ ρ y 1 ρ 0 into Equations (A16) and (A18), we arrive at system (14).
After solving this system and finding y 1 , y 2 we return to the rest of the equations and find all other perturbations. We summarize the expressions below (in which the left-hand sides represent the Lagrangian perturbation of each quantity, i.e., the perturbation in the perturbed position).
V 1 x = i ω 0 y 1 ,
V 1 y + V 0 y y 1 = ω 0 k y y 2 + ρ 0 g y 1 A ρ 0 ω 0 F B 0 y ω 0 2 y 2 + g F 2 y 1 A S ,
V 1 z + V 0 z y 1 = ω 0 k z y 2 + ρ 0 g y 1 A ρ 0 ω 0 F B 0 z ω 0 2 y 2 + g F 2 y 1 A S ,
B 1 x = i F y 1 ,
B 1 y + B 0 y y 1 = F k y y 2 + ρ 0 g y 1 A + ρ 0 2 ω 0 2 B 0 y ω 0 2 y 2 + g F 2 y 1 A S ,
B 1 z + B 0 z y 1 = F k z y 2 + ρ 0 g y 1 A + ρ 0 2 ω 0 2 B 0 z ω 0 2 y 2 + g F 2 y 1 A S ,
ρ 1 + ρ 0 y 1 = ρ 0 2 ω 0 2 y 2 + g F 2 y 1 S ,
P 1 + P 0 y 1 = c s 2 ρ 0 2 ω 0 2 y 2 + g F 2 y 1 S .

Appendix B. Solutions of the Principal Equation in the Homogeneous Case

If the array elements f i j are constants, the principal equation has two kinds of solutions. Either constants Y ± , satisfying 0 = f 21 Y ± 2 2 f 11 Y ± f 12 Y ± = f 11 i K f 21 with K = i f 11 2 + f 12 f 21 , or variable Y = f 11 K cot ( K x + ϕ 0 ) f 21 , with ϕ 0 a constant of integration.
Each of the former corresponds to one-way wave propagation in the x ^ (or x ^ )-direction and the latter to a superposition of these two waves. This becomes clear if we find y 2 and y 1 using Equations (18). It is even simpler to look for solutions of the system (14), which is linear with constant coefficients in this case and admits solutions of the form y 1 , 2 e ± i K x with y 1 y 2 = Y ± . The general solution is y 2 = C + e i K x + C e i K x , y 1 = C + Y + e i K x + C Y e i K x = f 11 f 21 y 2 i K f 21 C + e i K x + i K f 21 C e i K x .
We can simplify the expressions of the eigenfunctions to y 2 = 2 i D sin ( K x + ϕ 0 ) , y 1 = 2 i D f 11 sin ( K x + ϕ 0 ) K cos ( K x + ϕ 0 ) f 21 , substituting C ± = ± D e ± i ϕ 0 , and their ratio agrees with the solution of the principal equation given above Y = y 1 y 2 = f 11 K cot ( K x + ϕ 0 ) f 21 . Note that the last expression for Y can also be written as 1 Y = y 2 y 1 = f 11 K cot ( K x + ϕ 0 ) f 12 with C ± Y ± = ± D e ± i ϕ 0 Y + Y = e 2 i ( ϕ 0 ϕ 0 ) , and we obtain the equivalent expressions of the eigenfunctions y 1 = 2 i D sin ( K x + ϕ 0 ) , y 2 = 2 i D f 11 sin ( K x + ϕ 0 ) K cos ( K x + ϕ 0 ) f 12 .
The constant Y solutions correspond to C = 0 ϕ 0 = i , giving y 2 e ± i K x , Y = f 11 i K f 21 = f 12 f 11 ± i K .
The complex wavenumbers of the two waves are ± K = ± i f 11 2 + f 12 f 21 . Taking the principal value of the square root (with positive real part), the upper/lower sign corresponds to a wave whose amplitude decreases with increasing/decreasing x.

Appendix C. Analytical Solutions of the Magnetized Kelvin–Helmholtz Instability

With the parametrization ω = i k z V 0 tan Λ 2 , V 0 k z / k 0 c s 2 + v A 2 = M , v A c s 2 + v A 2 = sin H , c s c s 2 + v A 2 = cos H , v A c s 2 + v A 2 = cos Θ , the dispersion relation (27) becomes
i 1 M 4 e 2 i Λ / cos 2 Λ 2 M 2 e i Λ cos 2 Λ 2 cos 2 H cos 2 Θ M 2 e i Λ cos 2 Λ 2 cos 2 Θ = i 1 M 4 e 2 i Λ / cos 2 Λ 2 M 2 e i Λ cos 2 Λ 2 cos 2 H cos 2 Θ M 2 e i Λ cos 2 Λ 2 cos 2 Θ .
We can analytically find purely imaginary solutions of that equation, which is the continuity of the ratio κ ˜ 1 A 1 = κ ˜ 2 A 2 . First, we observe that if the fluid characteristics are the same in the two parts and the velocities opposite, for purely imaginary ω , i.e., real Λ ( 0 , π ) , the relations κ ˜ 2 = κ ˜ 1 and A 2 = A 1 hold. This means that the dispersion relation is equivalent to the requirement that the ratio κ ˜ 1 A 1 is real.
We can write the numerator as κ ˜ 1 = | κ ˜ | e i μ , with 0 < μ < π such that the amplitude vanishes at x + . In order for the ratio κ ˜ 1 A 1 to be real, A 1 e i μ should be real.
  • Substituting the expressions of κ ˜ and A, the previous two relations mean that the imaginary parts of 1 M 4 e 2 i Λ / cos 2 Λ 2 M 2 e i Λ cos 2 Λ 2 cos 2 H cos 2 Θ e 2 i μ and M 2 e i Λ cos 2 Λ 2 cos 2 Θ e i μ are zero.
Thus we arrive at the two relations that give Λ in parametric form, with parameter μ
tan ( 2 μ ) = sin ( 2 Λ ) cos 2 H cos 2 Θ 2 M 2 tan Λ 2 1 M 2 cos Λ cos 2 Λ 2 + cos ( 2 Λ ) 1 + cos Λ M 2 cos Λ cos 2 H cos 2 Θ + cos 4 Λ 2 cos 4 H cos 4 Θ M 4 ,
cot μ = cot Λ cos 2 Θ 2 M 2 tan Λ 2 .
Eliminating μ , we find a single relation for the growth rate, the quartic polynomial Equation (28).
Note that Equation (28) can also be derived by squaring Equation (A28), since the substitution ω = i k z V 0 tan Λ 2 helps to exclude the trivial solutions of the resulting polynomial. This proves that indeed the solution is purely imaginary and verifies the above derivation, which has the advantage of connecting the solution with the correct sign of κ ˜ and its argument μ .

References

  1. Chandrasekhar, S. Hydrodynamic and Hydromagnetic Stability; Clarendon Press: Oxford, UK, 1961. [Google Scholar]
  2. Bateman, G. MHD Instabilities; MIT Press: Cambridge, MA, USA, 1978. [Google Scholar]
  3. Boyd, T.J.M.; Sanderson, J.J. The Physics of Plasmas; Cambridge University Press: Cambridge, UK, 2003. [Google Scholar]
  4. Freidberg, J.P. Ideal MHD; Cambridge University Press: Cambridge, UK, 2014. [Google Scholar] [CrossRef]
  5. Goedbloed, H.; Keppens, R.; Poedts, S. Magnetohydrodynamics of Laboratory and Astrophysical Plasmas; Cambridge University Press: Cambridge, UK, 2019. [Google Scholar]
  6. Ferrari, A.; Trussoni, E.; Zaninetti, L. Relativistic Kelvin-Helmholtz instabilities in extragalactic radio sources. Astron. Astrophys. 1978, 64, 43. [Google Scholar]
  7. Hardee, P.E.; Norman, M.L. Spatial Stability of the Slab Jet. I. Linearized Stability Analysis. Astrophys. J. 1988, 334, 70. [Google Scholar] [CrossRef]
  8. Osmanov, Z.; Mignone, A.; Massaglia, S.; Bodo, G.; Ferrari, A. On the linear theory of Kelvin-Helmholtz instabilities of relativistic magnetohydrodynamic planar flows. Astron. Astrophys. 2008, 490, 493–500. [Google Scholar] [CrossRef]
  9. Matsumoto, J.; Aloy, M.A.; Perucho, M. Linear theory of the Rayleigh-Taylor instability at a discontinuous surface of a relativistic flow. Mon. Not. R. Astron. Soc. 2017, 472, 1421–1431. [Google Scholar] [CrossRef]
  10. Papadopoulos, D.B.; Contopoulos, I. The magnetic Rayleigh-Taylor instability around astrophysical black holes. Mon. Not. R. Astron. Soc. 2019, 483, 2325–2336. [Google Scholar] [CrossRef]
  11. Gourgouliatos, K.N.; Komissarov, S.S. Relativistic centrifugal instability. Mon. Not. R. Astron. Soc. 2018, 475, L125–L129. [Google Scholar] [CrossRef]
  12. Chow, A.; Rowan, M.E.; Sironi, L.; Davelaar, J.; Bodo, G.; Narayan, R. Linear analysis of the Kelvin-Helmholtz instability in relativistic magnetized symmetric flows. Mon. Not. R. Astron. Soc. 2023, 524, 90–99. [Google Scholar] [CrossRef]
  13. Karampelas, K.; Van Doorsselaere, T.; Guo, M.; Duckenfield, T.; Pelouze, G. Kelvin-Helmholtz instability and heating in oscillating loops perturbed by power-law transverse wave drivers. Astron. Astrophys. 2024, 688, A80. [Google Scholar] [CrossRef]
  14. Nykyri, K. Giant Kelvin-Helmholtz (KH) Waves at the Boundary Layer of the Coronal Mass Ejections (CMEs) Responsible for the Largest Geomagnetic Storm in 20 Years. Geophys. Res. Lett. 2024, 51, e2024GL110477. [Google Scholar] [CrossRef]
  15. Vlahakis, N. Linear Stability Analysis of Relativistic Magnetized Jets: The Minimalist Approach. Universe 2024, 10, 183. [Google Scholar] [CrossRef]
  16. Vlahakis, N. The Schwarzian Approach in Sturm-Liouville Problems. Symmetry 2024, 16, 648. [Google Scholar] [CrossRef]
  17. Rayleigh. Investigation of the Character of the Equilibrium of an Incompressible Heavy Fluid of Variable Density. Proc. Lond. Math. Soc. 1882, s1-14, 170–177. [Google Scholar] [CrossRef]
  18. Taylor, G.I. The instability of liquid surfaces when accelerated in a direction perpendicular to their planes. I. Proc. R. Soc. Lond. Ser. A Math. Phys. Sci. 1950, 201, 192–196. [Google Scholar] [CrossRef]
  19. Thomson, W. XLVI. Hydrokinetic solutions and observations. Lond. Edinb. Dublin Philos. Mag. J. Sci. 1871, 42, 362–377. [Google Scholar] [CrossRef]
  20. Helmholtz. XLIII. On discontinuous movements of fluids. Lond. Edinb. Dublin Philos. Mag. J. Sci. 1868, 36, 337–346. [Google Scholar] [CrossRef]
Figure 1. The unperturbed state of two fluids in contact at x = 0 . Left panel: semi-infinite fluids. Right panel: the bottom part has finite depth H.
Figure 1. The unperturbed state of two fluids in contact at x = 0 . Left panel: semi-infinite fluids. Right panel: the bottom part has finite depth H.
Symmetry 17 00150 g001
Figure 2. The streamlines and the pressure perturbation for three cases: M = 0.1 (upper panel), M = 1 (middle panel), and M = 1.4 (lower panel).
Figure 2. The streamlines and the pressure perturbation for three cases: M = 0.1 (upper panel), M = 1 (middle panel), and M = 1.4 (lower panel).
Symmetry 17 00150 g002
Figure 3. The growth rate (normalized to k 0 V 0 ) of the Kelvin–Helmholtz instability for two homogeneous fluids moving with ± V 0 z ^ , with the same unperturbed density ρ 0 , sound velocity c s , magnetic field B 0 y y ^ , and disturbance with k 0 = k 0 z ^ .
Figure 3. The growth rate (normalized to k 0 V 0 ) of the Kelvin–Helmholtz instability for two homogeneous fluids moving with ± V 0 z ^ , with the same unperturbed density ρ 0 , sound velocity c s , magnetic field B 0 y y ^ , and disturbance with k 0 = k 0 z ^ .
Symmetry 17 00150 g003
Figure 4. Same as Figure 3, but in the left panel for magnetic field B 0 = B 0 z z ^ along k 0 = k 0 z ^ with various strengths corresponding to the shown values of the ratio v A / c s , and in the right panel for cold cases ( c s = 0 ) and magnetic field with various strengths and orientations corresponding to the shown values of the ratio B 0 z / B 0 y (in all cases k 0 = k 0 z ^ ).
Figure 4. Same as Figure 3, but in the left panel for magnetic field B 0 = B 0 z z ^ along k 0 = k 0 z ^ with various strengths corresponding to the shown values of the ratio v A / c s , and in the right panel for cold cases ( c s = 0 ) and magnetic field with various strengths and orientations corresponding to the shown values of the ratio B 0 z / B 0 y (in all cases k 0 = k 0 z ^ ).
Symmetry 17 00150 g004
Table 1. Minimalist approach equations and boundary conditions.
Table 1. Minimalist approach equations and boundary conditions.
Principal equation: Y = f 21 Y 2 2 f 11 Y f 12
with f 11 = ρ 0 g A ρ 0 ω 0 2 F 2 S k 0 2 , f 12 = κ ˜ 2 A ,
f 21 = A ρ 0 2 g 2 A F 4 S k 0 2 + ρ 0 g ,
ω 0 = ω k 0 · V 0 , F = k 0 · B 0 , A = ρ 0 ω 0 2 F 2 / ρ 0 ,
S / ρ 0 2 = c s 2 + B 0 2 / ρ 0 ω 0 2 c s 2 F 2 / ρ 0 , κ ˜ 2 = ω 0 4 S / ρ 0 2 k 0 2 , Π 0 = ρ 0 g , Π 0 = ρ 0 c s 2 Γ + B 0 2 2 .
Boundary conditions:Y continuous everywhere, asymptotically Y | x = ± = f 11 ± f 11 2 + f 12 f 21 f 21 .
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Vlahakis, N. Classical Waves and Instabilities Using the Minimalist Approach. Symmetry 2025, 17, 150. https://doi.org/10.3390/sym17020150

AMA Style

Vlahakis N. Classical Waves and Instabilities Using the Minimalist Approach. Symmetry. 2025; 17(2):150. https://doi.org/10.3390/sym17020150

Chicago/Turabian Style

Vlahakis, Nektarios. 2025. "Classical Waves and Instabilities Using the Minimalist Approach" Symmetry 17, no. 2: 150. https://doi.org/10.3390/sym17020150

APA Style

Vlahakis, N. (2025). Classical Waves and Instabilities Using the Minimalist Approach. Symmetry, 17(2), 150. https://doi.org/10.3390/sym17020150

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop