Let the basic temperature be with , the density be , gravitational acceleration be , and thermal expansion coefficient be . Denote kinematic viscosity, thermal diffusivity and magnetic diffusivity by . Write the dimensional magnetic perturbation as , the temperature perturbation as , and use constant permeability . Linearizing the Boussinesq equations and the resistive induction equation about the static state gives
The Lorentz force identity is . Its gradient term is absorbed into , the perturbation magnetohydrodynamic total pressure. The temperature source follows from .
Choose any reference length , since no vertical boundaries are prescribed. Scale length by , time by , velocity by , temperature perturbation by , magnetic perturbation by , and total pressure by . The dimensionless parameters are
They are the Prandtl number, magnetic-to-thermal diffusivity ratio, Rayleigh number, and Chandrasekhar number, respectively. Division by the chosen scales gives
In particular , so the diffusivity convention agrees with the momentum coefficient.
For a plane wave put , , and . The induction and temperature equations imply and . The projection removes pressure. Because , its vertical momentum equation is
Thus the oblique-field plane-wave magnetoconvection dispersion relation is
If out-of-plane velocity is also allowed, its decoupled magnetic branch satisfies ; it has no buoyant driving. At stationary marginality, for ,
These are stationary thresholds; an oscillatory marginal mode, if present for particular diffusivity ratios, is a different onset calculation.
For , write , where and . Direct differentiation gives , so its two minima are , with and . For the negative sign has the smaller magnetic penalty: at every positive , because both sine and cosine of the inclination are positive. The wavenumber selection in oblique-field magnetoconvection therefore starts from . Expanding gives , where . Taylor expansion of the value then gives
This proves the small-field forms, including the order of the correction.
For large , is nonnegative and vanishes only at . The candidate has finite threshold , so a global minimizer must satisfy and hence tend to . Here . Expanding the stationarity condition at yields
The value expansion is
The leading coefficient follows from . The expansion holds at fixed .
Finally choose . Then the nonmagnetic minimizing wavevector also has , and its magnetic penalty vanishes. Since and , this is the global minimum for every nonnegative field strength:
This field-independent stationary threshold in oblique magnetoconvection has a simple physical explanation: the disturbance is constant along the imposed field, so it does not bend field lines.
Let the layer depth be , its imposed temperature drop , and its dimensional vertical field . Use length , thermal time , velocity , temperature and field as units. Write the total dimensionless field as , and temperature as the conductive profile plus . The Boussinesq equations coupled to the resistive induction equation are
The dimensionless parameters in this normalization are
Here is the thermal expansion coefficient, is kinematic viscosity, is thermal diffusivity, and is magnetic diffusivity. The first parameter is the Rayleigh number and is the Prandtl number.
The displayed dispersion relation fixes the magnetic normalization: its must be the thermal-diffusion magnetic-field parameter above. The conventional Chandrasekhar number is instead , so . If is reserved for that conventional definition, the magnetic term in the printed polynomial requires an extra factor . We keep for the printed polynomial throughout the following calculation.
Linearize about the conductive state. Absorbing linear magnetic pressure into , the magnetic force becomes . The pressure-eliminated vertical momentum equation is
The normal mode implicit in the given relation has and , as for stress-free, fixed-temperature boundaries with the corresponding vertical-field magnetic conditions. Put , and . Taking growth proportional to gives the amplitude equations
Their determinant is
This is the stated vertical-field magnetoconvection dispersion relation after accounting for its field-strength convention. The determinant derivation remains valid even at values where an intermediate division by or would not be allowed.
For steady marginality set . One obtains
For oscillatory marginality write with . Dividing the polynomial by gives a real cubic , where
Its real and imaginary parts imply and . Solving for the oscillatory convection threshold gives
and
A physical oscillatory branch therefore requires and positive frequency squared. In particular an algebraic continuation of into is not an oscillatory onset.
The steady-Hopf merger in vertical-field magnetoconvection occurs at zero frequency:
Substitution verifies . Equivalently the merged horizontal wavenumber satisfies
A finite-wavenumber intersection exists only when this expression is positive. At the intersection the growth polynomial has a double zero root: the nonzero-frequency neutral branch ends there.
For the requested merger at a magnetoconvection neutral-curve minimum, first note that a curve of the form has derivative zero exactly when
Its unique positive minimum has , because the left side increases there from zero to infinity. At this minimum .
Merger at the steady minimum. For , the stationarity condition is . Combining it with the merger equation gives
The corresponding critical Rayleigh number is . For fixed positive and large , set and retain the leading powers. Then
More generally, before taking , the steady minimum obeys .
Merger at the oscillatory minimum. Define . The stationarity condition for is
Combining it with the zero-frequency relation instead gives
Here . For fixed and , setting gives
These two merger conditions are distinct parameter surfaces, not simultaneous assertions about the same minimum. Both have the strong-field wavenumber selection in magnetoconvection scaling .
If the first subleading Rayleigh corrections are desired, let and . With parameters bounded in the above regime,
These retain the corrections, including the effect of the diffusivity deficit at a merger.
Use the flat-surface Boussinesq approximation, with small thermal expansion, constant properties, negligible surface deformation, and constant surface tension. The top is impermeable and shear-free, while the solid walls are no-slip. Temperature-dependent surface tension would introduce a separate Marangoni stress, which is not included in this buoyancy-driven model. The stated time scale requires to mean thermal diffusivity; if the material property given is a dimensional thermal conductivity , use .
Take positive downwards and define the nondimensional streamfunction by , . Velocity is scaled by , streamfunction by , and temperature is measured from the cold-end surface value. Define the Prandtl number and horizontal-length Rayleigh number by
where is the thermal expansion coefficient. Put , and let . Taking the curl of the Boussinesq equations eliminates pressure and gives the full nonlinear vorticity-temperature system
The buoyancy sign follows from the downward coordinate: warmer fluid has body acceleration .
Choose the same streamfunction constant, zero, on the connected boundary. The mechanical and thermal boundary conditions are
The upper stress-free boundary condition reduces to , since there already gives . An arbitrary additive constant in changes only the reference hydrostatic pressure.
In steady infinite-Prandtl-number convection, momentum inertia disappears but thermal advection remains:
For a shallow lake, with fixed as , the leading interior temperature is . This is an outer solution: it does not satisfy the insulated sidewall derivative right at . The leading global conductive solution, which resolves those end regions, is
It is harmonic, has , and satisfies the insulated sides and bottom. Away from sidewall layers of horizontal width it reduces to with exponentially small end corrections. These layers also turn the flow and enforce the sidewall no-slip boundary condition.
In the shallow interior the dominant momentum derivatives are vertical, so . Integrating with the surface and bottom conditions gives the shallow horizontal convection with an insulated bottom solution, with :
Surface flow is toward the colder end, with a deeper return flow. The depth-integrated volume flux is zero because . The bulk expressions apply away from the turning regions, not unchanged on the vertical walls. A useful small-advection condition in the end layers is , automatic for fixed Rayleigh number in the stated thin limit.
The heat flux in these units is . For the leading bulk temperature, the horizontal transport through a vertical section per unit out-of-plane width is
Thus leading advective horizontal transport vanishes: both layers have the same temperature at a given , and their opposing volume fluxes cancel. The leading conductive transport is from the hot end toward the cold end. In dimensional form it is per unit width. Heat enters through the warmer portion of the maintained upper surface and leaves through its colder portion, with the conductive end adjustments particularly important near the two insulated sidewalls. It cannot enter through the insulated sides or bottom.
For the advection correction in shallow horizontal convection, set in the bulk. Since and , the steady heat equation gives . The conditions and imply and hence
For example the bottom bulk temperature is . The correction makes the returning deeper fluid slightly colder. Its horizontal advective heat transport is
Thus the transport including this bulk correction is , both terms directed toward the colder end.
Vertical transport must distinguish local flux from net transport. In the leading interior , whereas the temperature correction gives a local downward conductive flux . The end circulation gives an upward advective transport: with impermeable sidewalls and , integration by parts gives . It compensates that downward conduction. More generally, steady heat conservation and insulated sides give , and the insulated impermeable bottom sets the constant to zero. Therefore
There is no net vertical heat transport through the lake, despite its local recirculating heat flux and its nonzero horizontal heat transport.
First distinguish concentration conventions. If is cell number density, the excess mixture density is . If is cell volume fraction, it is . The printed definition of is dimensionless for number density, whereas the prose calls a volume fraction. Use for mean number density and for mean volume fraction. Then the consistent Rayleigh number is
The dimensionless concentration is the same in both conventions. The extra factor must be removed if the source symbol is literally a volume fraction.
Remove the hydrostatic basic pressure and use a dilute Boussinesq approximation. With and perturbation fluid velocity , the linear incompressible Newtonian fluid equations are
The cell conservation equation linearizes to
At this order the vertical orientation perturbation is zero, because . The instantaneous-orientation approximation from the introductory calculation gives
Incompressibility implies . This identity fixes the sign of the gyrotactic term.
Apply the length, viscous-time, velocity, concentration and pressure scales in the paper. Writing , the dimensionless equations are
where and . The factor appears in the cell equation because its diffusive time differs from the viscous time used for .
For a normal mode , set . Taking the divergence of the momentum equation gives . Applying to its vertical component eliminates pressure and yields
The concentration equation becomes
These reproduce the requested modal equations, with the physically consistent sign of the orientation balance and concentration convention made explicit.
At both plates, the no-slip boundary condition gives and horizontal perturbation velocity zero. For a nonzero horizontal wavenumber, incompressibility then gives . The normal cell flux is ; the orientation correction has no vertical component at this order. Impermeability therefore gives
If orientation lag is retained rather than the given instantaneous balance, acquires the relaxation response and the modal gyrotactic term changes accordingly. The displayed equations are the quasistatic-orientation model requested here.
Use the layer depth , the thermal diffusion time , velocity , and the imposed temperature difference as scales. Let be the temperature departure from the conductive profile, the velocity, , and let pressure absorb hydrostatic terms. The dimensionless Boussinesq equations for Rayleigh-Bénard convection are
The Prandtl number and Rayleigh number are and , with kinematic viscosity , thermal diffusivity and coefficient of thermal expansion . At , the stress-free boundary condition and perfectly conducting thermal boundary condition give , , and .
For the fundamental vertical normal mode, take and . Here is the horizontal wavenumber. With , projection onto incompressible flow eliminates pressure and gives
Thus the stress-free convection growth-rate polynomial is .
For the infinite-Prandtl number limit, the finite thermal growth rate is
The other, viscously damped root tends to . For , both roots are explicit:
The plus root determines instability. A higher vertical harmonic replaces by ; the fundamental is the most favorable one.
For the large- maximum in the infinite-Prandtl number limit, put and . Differentiating gives . The unique maximum for sufficiently large therefore satisfies , whence
This is fastest growth in infinite-Prandtl convection. The large- expansion is taken after the infinite-Prandtl number limit; at finite , neglecting inertia additionally requires . It selects the fastest growing mode far above onset, rather than the neutral-curve minimum .
The Lorenz model of thermosolutal convection is a Galerkin method truncation retaining a roll velocity and the leading temperature and concentration modes. The variable measures the roll velocity; is the temperature mode correlated with the vertical motion, while is the horizontally averaged temperature-profile distortion generated by that motion. The corresponding concentration modes are and . The symbol in this model is a solute amplitude, not the dimensional layer depth. The terms and change the mean scalar profiles; and express advection of the remaining background gradients.
The positive parameters are the Prandtl number , the ratio of solutal diffusivity to thermal diffusivity, and the geometric vertical-mode decay ratio . In the usual fundamental-roll truncation with time normalized to the thermal roll-mode decay rate, ; treating it as an independently specified positive truncation parameter leaves the arguments below unchanged.
The parameter is the destabilizing thermal Rayleigh number divided by the free-slip critical-mode value, and measures stabilizing solutal buoyancy in the same thermal-diffusive normalization. For example, using a positive bottom-to-top stabilizing solute difference and density coefficient ,
If a solutal Rayleigh number is instead defined with in its denominator, the coefficient here is times that normalized number. Thermal buoyancy drives the roll; solutal buoyancy opposes it and diffuses at a different rate. This is the essential mechanism of thermosolutal convection.
Rotating Rayleigh-Bénard convection combines buoyancy-driven instability with the Coriolis force. Consider a plane layer of depth rotating uniformly about the vertical axis, heated from below. Adopt the Boussinesq approximation, fixed boundary temperatures and, for explicit formulas, impermeable stress-free boundary conditions. The conductive state of Rayleigh-Bénard convection is motionless with a linear temperature profile. The dimensionless controls are the Rayleigh number, Prandtl number and Taylor number:
Here is kinematic viscosity and thermal diffusivity. In thermal-diffusion time units, linear perturbations satisfy
Rotation does no direct mechanical work, since , but couples vertical motion to vertical vorticity and changes the damping and oscillation balance.
For horizontal wavenumber and vertical mode , put and . Use , and vertical vorticity with growth rate . Curling the momentum equation and eliminating pressure gives
Their determinant, without dividing by a possibly zero factor, is the rotating-convection growth-rate polynomial
This makes the linear stability analysis question precise: onset occurs when a root reaches zero real part and all other modes still decay.
A stationary neutral root has , giving
Rotation raises this stationary threshold. An oscillatory neutral root has with . Real-imaginary separation gives the oscillatory neutral curve of rotating convection
This branch is admissible only when , requiring and sufficiently strong rotation. The restoring Coriolis force coupling permits an inertial/thermal oscillation whose phase-lagged buoyancy can overcome dissipation. At large , temperature and momentum diffusion do not permit that overstability mechanism at primary onset, so the exchange of stabilities is stationary. The actual threshold is the minimum of the stationary and admissible oscillatory curves over all allowed modes, not an arbitrary formal value of . Rigid plates require a different vertical eigenproblem and Ekman layers, so the explicit free-slip numbers are not universal.
At large Taylor number, the first vertical mode is selected in the ideal plane layer. Let . Minimizing the stationary curve gives
Thus the stationary neutral curve of rotating convection has
The physical horizontal wavelength is , hence decreases as ; its prefactor depends on the boundary convention. Thin nearly vertical cells reconcile the strong Coriolis force constraint with viscous and thermal diffusion. The oscillatory minimization replaces the right side of the wavenumber equation by , giving the same Taylor number exponent at fixed positive . Where its frequency remains admissible,
Equality is , whose positive root is approximately . Accordingly, for sufficiently rapid rotation in this free-slip problem, selects oscillatory onset and stationary onset. The weaker condition is only necessary for an oscillatory neutral mode; it does not by itself identify the first instability. Finite Taylor number, finite lateral geometry, allowed discrete wave numbers and plate conditions change the selection.
For the counterpropagating Hopf amplitudes in rotating convection near a simple oscillatory onset, the Hopf bifurcation produces slow complex amplitudes for counterpropagating roll waves. After separating the fast carrier oscillation, symmetry permits the cubic equations
with generally complex coefficients; an term restores the fast frequency if desired. The real parts govern amplitude saturation and the imaginary parts give nonlinear frequency shifts. Write , . For a travelling wave from a supercritical bifurcation with only one amplitude nonzero, with , and the competing wave's growth rate is . It is amplitude-stable against that competitor when . A standing wave has equal intensities ; provided this is positive, its intensity-difference mode is stable when . Temporal and spatial phase symmetries leave neutral phase directions, so these are orbital/amplitude stability statements, not decay of every phase displacement.
These coefficients follow from nonlinear interactions and the Fredholm solvability condition obtained by projection onto an adjoint eigenfunction; symmetry alone cannot decide their signs. A negative saturating coefficient gives subcritical bifurcation behavior requiring higher-order terms. Spatial modulation leads to coupled complex Ginzburg–Landau equations with group velocities and diffusion; phase instabilities, mean-flow coupling and differently oriented rolls can destabilize a wave stable in the restricted two-amplitude system. A weakly nonlinear expansion of oscillations therefore predicts travelling waves or standing waves, frequency shifts, modulation and possible secondary mode competition, not a unique universal periodic state.
The Küppers–Lortz instability is a different route to time dependence: it destabilizes steady saturated rolls against oblique roll perturbations. For stationary-roll amplitudes of orientations , a leading competition system has
A pure roll has with . An infinitesimal new roll at relative angle grows at
For sufficiently strong rotation in appropriate boundary and Prandtl number regimes, some finite oblique angle has , so a steady roll is unstable arbitrarily close above its stationary onset. Rotation is handed and allows , so replacement of one roll by another can favor a definite cyclic sense. Three or more competing orientations can form a heteroclinic cycle; whether it attracts depends on contraction/expansion rates and other modes. Noise, spatially varying domains and modulation can turn this competition into repeated orientation switching and irregular patterns.
The invading rolls are three-dimensional disturbances even when the original straight roll is described by a two-dimensional section. The finite-angle Küppers–Lortz instability mechanism should also be distinguished from the small-angle instability of rotating convection rolls mediated by large-scale mean flow at finite Prandtl number. Numerical thresholds and favored angles depend on mechanical boundaries and material parameters; the essential criterion is the cross-coupling relative to self-saturation. Rotation both changes primary onset and wavelength, and can prevent the resulting steady roll pattern from remaining a stable nonlinear state.
Let measure distance inward from the surface. While , curvature is negligible and this is a planar two-phase Stefan problem. Use a common reference mass density , specific heat capacity , thermal conductivity and thermal diffusivity ; retain the mass density differences only in the subsequent buoyancy estimates. Define , , and . The paper's parameter is the latent-to-sensible heat ratio, reciprocal to the more usual Stefan number.
For superheated two-phase Stefan similarity, solving with , and gives the Neumann solution of the Stefan problem. With ,
The solid expression holds for and the liquid expression for . The interface gradients inserted in the Stefan condition determine the positive constant :
The right-hand bracket decreases from infinity and crosses zero, while the equivalent left-hand side increases, proving uniqueness. The liquid-side flux subtracts from the roof cooling: it is heat brought to the interface by the superheated interior.
For large , . Keeping the superheat term while using and yields . Hence the small-interface-parameter growth with liquid superheat approximation is
The solid temperature is approximately linear across its thin crust, while the liquid thermal boundary layer has thickness of order . For fixed superheat and , ; for , . This retains the strong suppression of growth by a very hot interior.
To estimate overturn, take local gravitational acceleration at the roof. The liquid's mass density contrast is , while the solid contrast is . A liquid thermal layer of thickness has Rayleigh number . As , it reaches its critical value after a time scaling as
In viscous overturn of a dense crust, an unstably stratified viscous crust has a Rayleigh-Taylor instability growth time of order . Setting this equal to its age, with , gives
These are formation-to-overturn times. A specified critical liquid Rayleigh number multiplies by ; logarithmic amplification and geometrical constants also affect the crust estimate. They are omitted for the requested order-of-magnitude scaling.
The given numbers yield , and . Thus
Liquid thermal overturn is enormously faster than crustal overturn throughout the stated range. Even a critical-Rayleigh prefactor of order does not change that ordering. Since is not asymptotically large, low-superheat coefficients from the permitted approximation are only approximate. At the upper end , so the linear thermal-density approximation also ceases to be quantitatively credible; that endpoint is a formal scaling estimate under the supplied constant-property model. At a common age the instantaneous viscous instability-time ratio instead scales as ; it should not be confused with the above formation-time ratio.
For a boundary-layer renewal model, the liquid layer reaches . Its cycle-averaged thermal flux is consequently
If a critical Rayleigh number is retained, insert a factor . Averaging the diffusive flux over a cycle only changes an order-one coefficient. The crust reaches
so its average solid-volume flux per roof area is the crust-removal flux
The corresponding mass flux is and latent-heat flux is . This independent-cycle estimate is a scale for a crust that reaches overturn thickness and is then renewed. Because the liquid renews much more rapidly, in a hot interior its average heat flux can limit actual crust growth: the consistent interfacial budget is . A stalled crust would not realize repeated solid cycles. In a superheated interior, detached solid may also remelt; permanent core deposition is most directly justified in the late regime requested next.
At late times , liquid thermal buoyancy vanishes and . Thus
Assuming thin renewed crust, efficient sinking and constant asteroid radius, conservation of mass gives under the permitted equal-density approximation. Therefore the asteroidal core growth by crustal sinking law is
For a self-gravitating approximately uniform sphere, , so and a zero-seed core scales as . This law applies while the thin-crust renewal model remains valid and liquid remains available; it cannot continue beyond complete solidification. The specific numerical lifetime cannot be inferred without the absolute solid viscosity and conductivity.
Introduce the thermal expansion coefficient , so the linear equation of state is . With gravity , the resting conductive state of Rayleigh-Bénard convection satisfies the steady heat equation and hydrostatic pressure balance. Consequently
and, up to an arbitrary constant,
Indeed , where .
The Boussinesq approximation retains temperature-dependent mass density in buoyancy while replacing it by in inertial coefficients; it requires . Subtracting the conductive state of Rayleigh-Bénard convection and dropping products of perturbations gives the dimensional Linearized Boussinesq equations
The minus sign in the temperature equation comes from .
Use the thermal-diffusion scaling of a convection layer
The Rayleigh number and Prandtl number are
Thus the nondimensional perturbation equations are
Here is kinematic viscosity, is thermal diffusivity, and positive denotes destabilizing heating from below for .
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.
Assume . The symbol in this part is the convection roll amplitude, not the Rayleigh number of the previous part. Set for the algebra. The periodic boundary condition requires and modulation wavenumbers . The conserved-field equation preserves the imposed zero mean of , since the integral of an derivative over a period vanishes.
Equating the coefficients after linearization of the convection amplitude coupled to a conserved field gives
The conjugate sideband is needed because the variation of couples a perturbation to its complex conjugate. Put , . The linear operator on is
Its characteristic polynomial, expressed conveniently without expanding every coefficient, is
At it has roots . The phase root is neutral; the uniform root is excluded by the prescribed zero-flux-perturbation mean. Nonzero arbitrarily long-wave modes remain allowed on a sufficiently large domain. For fixed , the two roots tending to zero have at simple limiting roots. Dividing the polynomial by yields
Repeated limiting roots may require a further expansion, but do not affect the strict instability criterion. If , the constant term is negative and the two real roots have opposite signs. The positive root gives a growing long-wave sideband instability. Using gives
This is sufficient for instability when a sufficiently small nonzero allowed is available. It is not an unconditional instability theorem for every fixed finite period. For example , , , satisfy the inequality, but the nonzero allowed obey . Their roots are and , all negative. The prescribed zero mean removes the uniform flux root and the remaining uniform phase is merely neutral. The corrected conclusion is the long-wave instability with a conserved mean field, with domain size and mode availability stated.
For Darcy-Bénard convection, the dimensionless Darcy law is , with incompressibility and a heat equation about . Here is a Darcy thermal-time Rayleigh number, with permeability replacing the squared-depth dependence in the fluid-layer Rayleigh number. The stated stream function convention gives , so . The vertical-plane curl of Darcy law gives ; omitting the quadratic perturbation advection from the heat equation gives .
On the impermeable connected square boundary, zero normal velocity makes constant along the boundary; choose that constant as zero. The prescribed conductive boundary temperature fixes on all four sides. Thus the perfect-conductor wording is interpreted through the supplied homogeneous perturbation data: the side temperatures retain the background vertical profile, rather than imposing a different isothermal side state.
At marginal stability put and . The two coupled equations imply
The gauge transformation for conducting-square Darcy onset removes the first derivative:
The square's Dirichlet Laplacian eigenfunctions are , with eigenvalues of equal to , . The first marginal value is therefore
It is genuinely the first instability threshold, not just an isolated neutral value. Eliminating gives the temperature linear operator , where is the Dirichlet realization of an elliptic operator for the Laplacian. Integration by parts shows the second term is self-adjoint and nonnegative, since its quadratic form is . Thus the spectrum is real, starts negative at , and its leading eigenvalue cannot cross into growth without a zero eigenvalue. The smallest zero value is the one found above.
Let , and . Multiplying the lowest real by independent real and imaginary constants gives two real physical eigenfunctions:
The subscripts indicate even and odd parity about . Because is even in , the first has even and odd , while the second reverses those parities. They are linearly independent and satisfy all four Dirichlet boundary conditions. The lowest complex eigenfunction is simple over the complex numbers, but its arbitrary complex multiplier supplies two independent real pairs; this explains the physical degeneracy.
Figure 1.
Neutral and oscillatory modes in porous convection
. Details.
Consider a horizontal fluid layer under the Boussinesq approximation heated from below, rotating uniformly about its vertical axis. To make the linear formulas definite, take depth one, stress-free impermeable fixed-temperature plates, a horizontally infinite or sufficiently large periodic domain, and negligible centrifugal-buoyancy modifications. Rigid plates change the vertical eigenfunctions and thresholds and require their own boundary value problem; the explicit formulas below use the free-slip model. Let be the Prandtl number, the Taylor number, and the Rayleigh number. Time is again measured on the thermal diffusion time.
The linearized rotating Rayleigh-Bénard convection equations about conduction are
The Coriolis force does no work on the fluid, but it couples vertical motion to vertical vorticity and thereby changes the balance of buoyancy and viscous damping. On the plates require and . Write . Taking a curl and a double curl removes pressure and gives
A normal mode with horizontal wavenumber , vertical index and complex growth rate has , and . Put . The three equations become , , and . Their determinant gives the rotating-convection growth-rate polynomial
This cubic includes viscous and thermal modes as well as the convective instability. It avoids excluding a root by division by . Linear stability means every root has negative real part; stationary onset has , while overstability has with nonzero angular frequency.
Setting gives the stationary neutral curve of rotating convection
For oscillatory convection, set and equate real and imaginary parts. Eliminating yields
The oscillatory neutral curve of rotating convection is physically admissible only when . Thus and sufficiently rapid rotation are necessary; a formal minimum with is not a Hopf bifurcation. Convection begins at the smaller of the stationary minimum and the admissible oscillatory minimum. The angular frequency approaches zero where a fixed-wave-number stationary and oscillatory threshold meet; that is a double-zero limit of the cubic, requiring a different slow-time reduction.
For wavenumber selection in rotating convection, the lowest vertical index is . To compare indices, set at fixed . Both neutral thresholds have a positive term proportional to and a rotation term independent of , while the admissible angular frequency squared decreases with . Their minima therefore cannot improve on . Set , . Minimizing each neutral curve gives
For the latter equation also check , or minimize over the admissible set instead. Without rotation, and . At rapid rotation, and : rotation narrows the horizontal convection rolls and raises their threshold. In a finite box only discrete wavenumbers are permitted, so the minimum must be taken over those allowed modes.
The rapid-rotation comparison has . Its equality gives , with positive root about . Below this value, sufficiently rapid rotation can make oscillatory convection the primary instability; low Prandtl number allows inertial motions to interact with the thermal field before viscosity damps them. This estimate describes the selected neutral-curve comparison in the stated free-slip asymptotic model, rather than claiming every has oscillatory primary onset at every rotation rate.
Figure 1.
Neutral curves for rotating convection
. Details.
Linear selection does not determine the nonlinear planform or its stability. A weakly nonlinear expansion with a solvability condition gives amplitude equations. A stationary convection roll amplitude has the Landau amplitude equation ; a supercritical branch requires and has , whereas requires higher-order saturation and permits subcritical behaviour. The coefficient depends on the physical parameters and boundary conditions, and should not be assumed positive merely because the linear threshold is known.
A nonzero-frequency Hopf bifurcation supplies oppositely travelling convection roll amplitudes . At a fixed orientation, a cubic normal form is
with complex and the understood symmetry exchanging propagation directions. For and , a travelling-roll branch has one nonzero amplitude, of squared modulus ; it is stable to the opposite travelling amplitude when . A standing-roll branch has equal squared moduli , and is stable within this pair when and . The imaginary parts shift angular frequencies. These conditions concern amplitude perturbations in that reduced subspace; orientation and modulation modes still have to be tested. This is the competition of travelling and standing convection rolls.
Near simultaneous stationary and oscillatory thresholds, a codimension-two bifurcation requires retaining both types of mode. After selecting an orientation and fixing a steady spatial phase, a schematic nonresonant steady–Hopf mode interaction is
Here is real, is the chosen complex oscillatory amplitude, are real, and may be complex. Assume , for a radially stable pure steady branch, and , for a radially stable pure oscillatory branch. Steady convection rolls suppress the oscillatory mode if , where ; oscillatory convection rolls suppress the steady mode if . These are transverse tests for branches whose existence and radial stability have already been checked. Mixed states have positive intensities , solving , . If , then , . For positive and the positive self-saturation coefficients above, the intensity Jacobian matrix has negative trace and determinant , so the mixed state is attracting in intensities when and is a saddle equilibrium when ; phase and other-mode perturbations remain separate tests. Depending on the cross-couplings, one obtains coexistence or competition and bistability; degeneracies or resonances require extra terms. A full travelling/standing-wave competition must retain both , not just this illustrative one-mode . If the Hopf angular frequency tends to zero, averaging over fast oscillations fails and a double-zero normal form must keep the corresponding two slow variables. A crossing of global minima at distinct wavenumbers is instead an interaction of distinct modes, not automatically the same double-zero problem.
Weakly nonlinear convection rolls can also lose stability spatially. The real Ginzburg–Landau equation , with , has detuned convection rolls with . Linear phase modulation gives diffusion coefficient , so the Eckhaus instability excludes even though convection rolls exist up to . Transverse bending and mean-flow couplings impose additional restrictions in the actual rotating layer; the scalar equation is a local longitudinal example, not its complete stability theory.
Most distinctively, rotation breaks mirror symmetry between competing convection roll orientations. For two sets of convection rolls at relative angle , write and interchange indices with for the other equation. The established convection roll is unstable to the new orientation when its linear growth rate is positive. The inequality need not be symmetric under because the imposed rotation supplies handedness. This is the Küppers–Lortz instability: sufficiently rapid rotation can destabilize steady convection rolls immediately above their stationary onset to oblique convection rolls of another orientation. Successive replacements can produce time-dependent convection roll switching or heteroclinic cycles, instead of a stable single convection roll pattern. It requires three-dimensional perturbations even when the original convection roll solution is independent of its axial coordinate.
At finite Prandtl number and stress-free plates, nearly parallel convection rolls can couple resonantly to a slowly damped large-scale Eulerian mean flow. This small-angle instability of rotating convection rolls makes a regular two-roll expansion nonuniform as the angle tends to zero; one must retain the mean-flow mode. It should not be identified automatically with the finite-angle Küppers–Lortz instability or assigned a universal threshold from a one-amplitude equation. Consequently the onset type and selected scale follow from the admissible neutral curves, while persistent convection roll patterns require a separate nonlinear and sideband stability calculation.
Set
so . Apart from material constants, the heat flux in part ii is
The derivative of its logarithm vanishes when
which gives the maximizing interface temperature
Substitution into the flux law gives
where
Thus the proportionality coefficient depends on the thermal conductivity, nonlinear thermal-expansion coefficient , kinematic viscosity, thermal diffusivity, gravity, and critical Rayleigh number. This is the maximum-flux law for penetrative convection in an ice-covered lake.
Let be the thickness of the thermal boundary layer immediately below , let be the kinematic viscosity, let be the thermal diffusivity, and let be the critical local Rayleigh number. The density contrast driving the boundary layer follows from the density anomaly of water:
A Local Rayleigh-number closure sets
and therefore
By Fourier's law, the upward heat flux through this layer is
where is the water's thermal conductivity. This expression applies while the quantity inside braces is positive.
The approximation in part v requires the dimensionless stagnant depth
to remain small. Since makes the numerator order one, this condition is
Using the solution from part v, the equivalent time range is
or, at the level of asymptotic equivalence,
The cooling becomes appreciable on the shorter scale , so these ranges overlap widely when .
The Rayleigh number based on the convecting depth is
The definition of implicit in part iii gives
It follows that
If and , then . The thermal convection therefore remains strongly supercritical throughout the range in which the thin stagnant-layer approximation is valid.
Treat the warm ice shell as a very viscous layer and estimate its Rayleigh number
The temperature-dependent ice viscosity should be evaluated carefully, because deformation is concentrated near the warm base; a useful first estimate uses a representative basal or depth-averaged viscosity. The onset time is obtained by inserting and into this expression and finding when first exceeds the critical value for the shell's mechanical boundary conditions, usually of order .
Above onset, mantle convection within the ice transports heat more efficiently than thermal conduction, increases the basal heat loss for a given thickness, and generally limits further thickening. For otherwise similar bodies, a larger planetary radius normally gives larger gravitational acceleration and hence a larger Rayleigh number. Convection is therefore more likely and begins in a thinner or younger shell, although changes in pressure-dependent melting temperature, shell thickness, and viscosity can alter that comparison.