In a charge-free and current-free vacuum, Maxwell equations give
Take the curl of Faraday's law and use the curl of the curl identity . The divergence term vanishes by Gauss's law, while the time derivative of the magnetic curl supplies . Thus
This is the transverse electromagnetic wave equation.
Use the fully developed flow branch of Hartmann flow. Translation invariance along the walls makes the velocity and induced magnetic field functions of alone. Incompressible flow and zero normal velocity at the walls give and hence . The zero divergence of the magnetic field makes constant, equal to the imposed . There is no forcing in ; the homogeneous -components obey the same coupled viscous-resistive equations as the -components, with zero boundary data. Multiplying them by and , integrating by parts and adding gives
Thus , establishing the asserted forms on this fully developed flow branch. This is a symmetry reduction of the steady channel model, rather than a claim that every possible flow in a channel is translation invariant.
The current density and Lorentz force density are
The advective acceleration vanishes because acts on fields independent of . The -component of the magnetohydrodynamic momentum equation therefore gives
The -component must also balance: it requires . Hence a compatible pressure is ; the specified streamwise pressure gradient does not require the ordinary pressure to be uniform in . This accounts for the magnetic pressure of the induced field.
The resistive induction equation with constant magnetic diffusivity gives . Since , its curl has -component . Steadiness consequently gives
Finally the no-slip boundary condition gives , and the normal magnetic field boundary condition gives . The coupled equations and all wall conditions follow directly from momentum balance and magnetic induction.
Use the usual setting of a continuously differentiable solenoidal vector field defined on all radial segments from the origin, including the origin. More generally an open star-shaped set containing zero suffices. Differentiation under the integral sign gives
Apply divergence and curl of a cross product with the second field , using and :
The scaling identity in part (a) now converts the last expression to a one-variable derivative:
Continuity at the origin ensures the lower endpoint is zero. Hence the radial vector potential of a solenoidal vector field is
The order of the cross product matters: would produce . This construction is not valid on every punctured or multiply connected domain. For example is solenoidal away from zero, but its radial integral diverges at zero and it has nonzero flux through a surrounding sphere. The stated formula therefore implicitly needs the regular radial-domain hypothesis, rather than just local zero divergence.
Here both the divergence and vorticity vanish:
The flow is incompressible and irrotational. With and ,
The streamlines are the level sets . To determine the arrows, put and . A particle satisfies , . Thus the separatrix approaches the stagnation point at the origin, whereas leaves it; the other streamlines are hyperbolas following those asymptotes. The origin itself is a stationary particle.
Figure 1.
Streamlines and directions for the incompressible irrotational flow
.
The divergence and scalar vorticity are
Thus the flow is irrotational but not incompressible on the plane. A velocity potential satisfying is
Indeed its two partial derivatives are the two velocity components. A usual two-dimensional stream function would satisfy , and hence have identically zero divergence. No such stream function exists on an open region where this divergence is not identically zero; the line is not a two-dimensional flow domain.
Write and , so the PDF's vector potential vorticity is . The local TeX loses some of this boldface. Taking the vertical curl of the momentum equation gives , while mass conservation gives . Thus
This is the linear perturbation of shallow-water potential vorticity, scaled by ; it should not be confused with the full nonlinear conserved ratio .
Since , taking the divergence of momentum gives . Differentiate mass conservation and use to obtain
For , substitution of the stated plane wave gives the linear rotating shallow-water dispersion relation, with :
The two even branches approach at large and have values at . The original dispersion diagram below also compares the speed magnitudes.
Figure 1. . Rotating shallow-water frequency branches and magnitudes of phase velocities and group velocities, with dimensionless wavenumber.
For , the phase velocity and group velocity magnitudes are
The printed convention means the signed phase velocity is and the signed group velocity is . The speed magnitudes above are independent of that sign convention.
For , longer wavelengths have greater phase velocity but smaller group velocity: individual crests and wave packets therefore answer “faster or slower” differently. At long wavelength, , the frequency is nearly the inertial frequency , , and . Rotation has its largest relative effect here, and the waves are strongly dispersive. At short wavelength, , both speeds tend to and rotation gives only a small, weakly dispersive correction. If , the gravity waves are nondispersive, with speed ; at the phase velocity formula is undefined.
The Jacobian determinant of is , while every coordinate and every coordinate differential is multiplied by under . Hence the pullback of a differential form operation gives
To compare directly with Cartan's magic formula, note and compute
The first two differentiated terms vanish because their coordinate differentials repeat; the last contributes . Also
Their sum is , as required. Equivalently the divergence of relative to the standard volume form is one.
Let the constant mass density be and put , the Alfvén velocity. Since both the velocity and the magnetic field have zero divergence, the magnetic tension and magnetic pressure decomposition of the Lorentz force gives
The Newtonian gravitational potential remains in ; uniform mass density does not justify dropping a prescribed gravitational acceleration. Adding and subtracting the two equations proves the Elsässer variable equations
Here ; each Elsässer variable is transported by the other.
Define . Taking the dot product with gives the Elsässer energy invariant balance
The divergence theorem proves whenever the net boundary flux vanishes. In particular, makes , so both fluxes vanish pointwise. Periodic boundary conditions or decay at infinity are also sufficient. These boundary conditions matter: fixed volume alone gives no conservation.
The kinetic energy plus magnetic energy is
Expanding and using the cross-helicity definition yields
Both energy and cross-helicity therefore follow from the two Elsässer energy invariants. The quantity here is exactly the requested kinetic energy plus magnetic energy, without an additional gravitational term.
Write for the constant isothermal sound speed squared and for the constant Alfvén speed squared. The horizontal magnetic field has no vertical magnetic tension; magnetostatic equilibrium is
Consequently the magnetized isothermal atmosphere has
The sign of specifies the orientation of the magnetic field. The adiabatic sound speed is , also constant.
For the proposed normal mode, let , , and temporarily write for its constant complex amplitude. The divergence amplitude is . Using and , the Eulerian and Lagrangian fluid perturbations give
Since , the magnetohydrodynamic total pressure amplitude is
The vertical derivative of is . For the magnetic tension perturbation, the terms proportional to from and cancel, leaving
Thus the linearization really reduces to the constant-coefficient eigenvalue problem
For a static ideal magnetohydrodynamics equilibrium with conservative gravitational acceleration, the magnetohydrodynamic energy principle gives a Hermitian operator for the restoring force in the mass density weighted inner product, provided the surface terms vanish. The factor removes the exponential mass density weight. This can be checked directly, without assuming stability: set , , and . Then , where
This is a Hermitian matrix for real and real positive . Therefore every squared frequency is real; negative values give exponential growth, rather than an oscillation with a complex squared frequency. In an infinite atmosphere these are generalized plane waves, not finite-total-energy global modes.
At and , the equation, after cancelling its magnetic terms, gives . For nonzero magnetic field, the equation also gives . Substituting and then yields
For a nontrivial mode ; otherwise these equations and force every component to vanish. Substitution in the vertical equation gives
For example, the determinant provides an independent check:
To prove the claimed “if and only if”, rather than merely locating a zero eigenvalue, use the magnetic buoyancy energy criterion
If , every term is nonnegative, so all eigenvalues are nonnegative for every wavevector, including . If , choose , any fixed , and , , . The first two squares vanish; the remaining value is
which is negative for sufficiently small nonzero . The Rayleigh quotient of this displacement is therefore negative, proving a negative eigenvalue and an unstable normal mode. This uses precisely the assumption that boundary conditions do not exclude the chosen wavelengths. Equality is a neutral threshold, not exponential growth.
Finally the plasma beta is . Hence
The magnetic field is assumed nonzero in the marginal-mode elimination and in the finite expression. The positive-sound-speed, nonmagnetic limit remains covered by the energy identity; for the usual it is stable. Parker instability occurs because magnetic pressure supports part of the atmosphere's weight while the gas can drain along gently bent magnetic field lines. The resulting buoyant displacement can release Newtonian gravitational potential energy; choosing long wavelengths along the magnetic field makes the stabilizing magnetic tension small. The completed-square calculation quantifies this competition, including the adiabatic process restoring force.
Let the free surface be at and take the Newtonian gravitational potential to vanish at infinity. Mass conservation fixes . The enclosed mass is , and hydrostatic equilibrium requires . With vacuum outside, , giving
The pressure is zero outside. A prescribed constant external pressure would simply add that constant to .
The bulk Eulerian and Lagrangian fluid perturbations obey because the mass density is uniform and the Lagrangian displacement has zero divergence. The linearized Euler momentum equation in the interior is
Taking the curl gives . Thus every nonzero-frequency normal mode has an irrotational flow displacement; the simply connected space formed by the interior admits and incompressibility gives the Laplace equation . For a regular center, one spherical harmonic component is , with .
It is essential to retain the surface gravity perturbation of a uniform-density sphere. Although the bulk mass density perturbation is zero, the displaced density discontinuity gives
The Poisson equation implies that is continuous and its outward radial derivative has the jump
Using regularity at the center and decay at infinity, write
The derivative jump is , so .
Integrating the bulk Euler momentum equation gives for . At the free surface the Lagrangian pressure perturbation vanishes:
Combining these relations yields the Kelvin stellar mode frequency
The choices of are degenerate because of spherical symmetry. For , is a linear combination of coordinates in a Cartesian coordinate system, so is a constant displacement: the zero frequency is rigid translation of the whole isolated body. Such a translation has no restoring force. The constant potential generates no displacement; a radial breathing motion is excluded by incompressibility and a regular center.
The printed irrotational assertion needs the nonzero-frequency qualification, or restriction to the potential incompressible stellar surface modes. It is false for all neutral displacements: has zero divergence, zero normal displacement at the surface, and , so it is a zero-frequency displacement, but . This does not change the Kelvin stellar mode spectrum just derived.
Let be the uniform dust background and put . The linearized continuity equation is because background shear has no divergence or axisymmetric advection. Using the late entrained velocity gives
Thus the coherent travelling wave has maximum fractional excess , and its crest density is when the stationary part is absent. This is the density contrast of an entrained dust wave, and requires in the present linear approximation. Its fractional oscillating density amplitude is the same as the gas's long-wavelength amplitude, so the coherent wave produces no additional dust-to-gas concentration ratio at this order.
Velocity damping alone does not erase the time-independent ; initial density and the history of the forcing are needed to fix it. The printed data therefore determine the travelling-wave contrast, rather than a unique total late-time concentration for arbitrary initial histories. As an explicit example, switch on the prescribed gas epicycle at with initially uniform dust and . The corrected velocity pair gives . Integrating continuity then leaves
at late times. It is smaller by order in the stipulated weak-coupling regime, and confirms the stated leading wave-crest estimate while showing why arbitrary stationary density structure is not removed by the velocity transient.
Take upwards and write , so that the unperturbed interface is , with carbon dioxide above and water below. Use the sharp-interface, incompressible flow version of Darcy's law, with constant porosity and permeability of a porous medium, no capillary pressure, and effectively unbounded layers. The distinction between Darcy flux and interface speed matters: the base flux is , since the printed is the speed of the interface. Thus the base pressure gradients satisfy
The mass density ordering is stabilizing, whereas injection of the less viscous fluid into the more viscous fluid produces the Saffman–Taylor instability.
For linear stability analysis, displace the interface by . Taking the divergence of Darcy's law shows that the perturbation pressure satisfies the Laplace equation. Decay away from the interface gives, for ,
The kinematic boundary condition and continuity of normal Darcy flux give
Meanwhile pressure continuity, evaluated on the displaced interface, gives
Eliminating yields the buoyancy-modified Darcy fingering dispersion relation:
Every nonzero wavenumber decays when , grows when , and is neutral at equality, where
The zero wavenumber is a uniform displacement and is neutral. Without a short-scale regularization such as surface tension, this model has no fastest-growing finite wavenumber: on the unstable side its growth rate increases without bound as increases. Finite layer depths would change the dispersion relation; none are specified here.
Taking and a year of days, the data give
The numerical paragraph supplies no porosity, so it cannot determine a unique numerical interface speed. If were instead intended to mean Darcy velocity, the numerical critical value would be , and the interface would move at . These two velocity conventions must not be conflated.
Take and . Taking the divergence of the Stokes flow momentum equation gives ; applying the Laplacian to its vertical component then eliminates pressure and gives . The forced velocity and temperature are , so their advection product is and drops out at leading order. The steady heat equation reduces to .
Consequently the boundary value problem for the forced profiles is
Its six boundary conditions are
The horizontal velocity field is , which directly verifies the incompressible flow and stress-free boundary condition. In the detuning used subsequently, may be replaced by in this leading problem, since its correction enters at order . The vertical profiles depend linearly on .
For reference, the unforced free-slip convection neutral curve is , with and . At the neutral curve has , so the forced second horizontal harmonic is noncritical at , and the stated linear problem has no critical-mode resonance.
Take the layer depth as the length unit, its thermal diffusion time as the time unit, and its imposed temperature difference as the temperature unit. Then is the velocity field, the pressure after the conductive hydrostatic pressure has been subtracted, the departure from the conductive temperature , the upward unit vector, and the Rayleigh number. Here is the dimensional depth, the kinematic viscosity, the thermal diffusivity and the thermal expansion coefficient. The gradient, divergence and Laplacian act on the dimensionless coordinates. The term in the heat equation is advection of the background gradient, since . Mass density variations enter only the buoyancy term under the Boussinesq approximation; the incompressible flow constraint is .
For fixed, impermeable, stress-free plates, the no-penetration boundary condition, stress-free boundary condition and perfectly conducting thermal boundary condition are
For a nonzero horizontal Fourier mode, incompressibility gives , so the velocity conditions are equivalently on both plates. A uniform horizontal velocity is not fixed by these boundary conditions; take its mean to be zero when discussing the stationary forced pattern.
The printed small-Prandtl-number label does not generally justify these equations. In thermal-time units the full momentum equation contains , where the Prandtl number is . Dropping that term gives infinite-Prandtl-number convection or another explicitly justified Stokes flow approximation. It is not the general limit. For example the horizontal shear , , satisfies the full linear momentum equation and the plate conditions, and persists at fixed as . The printed inertia-free equation would instead require this shear to vanish. The following parts solve the equations actually displayed; applying them at small Prandtl number needs an additional slaving or creeping-flow ordering.
For a scalar , the displayed basis identities give
Taking the divergence and differentiating the basis vectors yields the Laplacian in polar coordinates
Consequently,
The regular harmonic mode with angular dependence is . Its radial derivative at is , so . A constant is invisible to the Neumann boundary condition, giving
If two solutions existed, their difference would satisfy and . Green's first identity gives , so and is constant. Thus these are all the solutions.
Taking the divergence of the Ampère-Maxwell equation and using the Gauss's law gives
which is charge conservation from Maxwell equations .
By Ohm's law, , so . Therefore
with charge-relaxation rate and time .
Let be the polar molecular field, with the positive functional derivative convention used in the paper. During a pure advective displacement , the polar order parameter changes by
The free energy change is . Assume periodic boundaries, or boundary conditions that eliminate the surface work, and incompressibility . Integration by parts in the advective term gives
Relabelling the dummy indices in the rotational and flow alignment of a polar order parameter terms gives
Therefore , with the reversible stress of a polar liquid crystal
For a local free-energy density , an explicit choice is
Its divergence is exactly , by the Euler-Lagrange equation for . A pressure term can be reassigned in an incompressible flow; the chosen representative realizes the printed divergence without that ambiguity. The force density has mechanical power , the negative of the advective free energy rate, which checks the stress sign.