Put the fixed outer centre at the origin, and let the moving inner centre be . This reverses the sign of the vertical offset used in the previous parts: now . At concentricity rotation produces no force and translation has isotropic resistance . Balancing the external load gives
There is no inertial acceleration in this Stokes flow model; velocity is determined instantaneously by force balance.
For the subsequent motion, the full-film journal bearing assumption matters: pressure is single-valued around the whole annulus, with no specified cavitation boundary. Let , , , and be its radial and tangential unit vectors. The squeeze resistance of an eccentric journal bearing has radial and tangential coefficients
For completeness, rotate coordinates until points along , so . Radial translation gives squeezing flux and resistance proportional to . Tangential translation gives ; the constant enforces periodic pressure. Its resistance uses
These expressions supply both translation directions; retaining only the vertical squeezing formula would miss the moving axle's horizontal dynamics.
The rotational fluid force from the earlier calculation points along , with magnitude . Superposing rotation and translation by Linearity of Stokes flow, and resolving the load, gives
For positive the axle initially moves down, then to the right because the rotation-generated force is perpendicular to the downward eccentricity. The equilibrium is displaced horizontally to the right, at the same height as the outer axis. Its eccentricity is the unique solution
The rotational force then points upwards and balances the load. For negative the displacement is to the left, using in the magnitude equation. Uniqueness follows because the logarithmic derivative of has positive numerator after a common positive denominator. If and , no separated static equilibrium exists in this ideal model. If , concentricity remains a solution.
One should not assert that this full-film model necessarily settles to the equilibrium. It predicts full-film journal-bearing whirl. For , eliminate time from the two boxed evolution equations and put . The orbit starting at concentricity obeys
so, with its zero initial horizontal displacement,
The orbit begins on the lower branch, turns at before contact, and returns along the upper branch, forming a closed orbit through concentricity. The ratio of the right-hand side to increases from zero to infinity, giving a unique turning eccentricity below one. Linearizing at equilibrium likewise gives and with : the eigenvalues are imaginary, not damped. Thus the equilibrium position exists, but the initially concentric axle circulates around it in the stated ideal full-film approximation. Cavitation or additional mechanical constraints would change the model; none were specified.
The normalized centre trajectory below illustrates the full-film prediction for . The dashed circle is the contact locus of the axle centre, not either cylinder wall.
Let . The interface is a material surface for both fluids: its material derivative vanishes on . With and , this gives
Thus the kinematic boundary condition says that particles stay on the moving interface. The tangential velocities can differ; each side has its own material derivative. Replacing both derivatives by one background speed would be incorrect.
The dynamic boundary condition for an inviscid interface is pressure continuity, because the fluids have no viscous normal stress and there is no surface tension. The unsteady Bernoulli equation in each layer of irrotational flow reads
Equating these pressures at gives the required dynamic boundary condition for an inviscid interface. Choose the potential gauges so that , or set both constants to zero relative to a common reference pressure. For example, removes the distinct uniform-stream Bernoulli constants without changing either velocity. Material-interface kinematics and pressure continuity supply the two matching conditions, with the Bernoulli gauge understood.
Write and let be the displacement amplitudes at . Use subscripts for the jet interior and for the adjoining exterior. Each interface is a material vortex sheet, so its linearized kinematic boundary conditions are
The equal mass densities make the hydrostatic displacement terms cancel. The dynamic boundary condition for an inviscid interface therefore gives
The division form assumes ; the preceding undivided equations remain the proper conditions in those exceptional cases. Potentials themselves need not be continuous, and their vertical derivatives need not be equal: the same material displacement is advected by different tangential base velocities. At infinity the exterior potentials decay. These displacement and pressure conditions, rather than continuity of and , determine the equal-density top-hat planar-jet dispersion relation.
The temporal integration by parts terms are
The terminal states are free and the objective has no explicit terminal-velocity dependence. Therefore
The factor two follows from the displayed objective without a prefactor. The initial scalar field perturbation is fixed, so and there is no independently prescribed adjoint-scalar condition at . Its value there is obtained by backward integration. Independent variation of the initial velocity state gives .
Variation of the candidate in the energy-augmented functional gives the fixed-energy initial-condition optimality condition. For the usual divergence-free no-slip control space , write for its orthogonal projection, the Leray-Helmholtz projection in the usual incompressible velocity space. This is the standard formal control condition when pressure is determined by incompressible flow and normal momentum. If the independently imposed direct pressure flux is retained as an additional constraint, the admissible control variations must also satisfy its compatibility conditions along the trajectory; they need not fill the usual space . The standard projection formula alone does not prove stationarity for that more restricted problem. Then
For the natural solenoidal adjoint space, . Equivalently, its component tangent to the sphere in a normed vector space of fixed kinetic energy vanishes:
Here is needed for the sphere in a normed vector space to be regular and for division by . The multiplier is real and can have either sign; normalizing the initial adjoint with a prescribed positive sign is not a general necessary condition for minimization. If , the only feasible initial velocity is zero and this tangent formula for the sphere in a normed vector space is inapplicable. First-order stationarity alone also allows maxima or saddles; a local minimum requires the appropriate nonnegative constrained second variation.
The spatial boundary terms vanish with periodic adjoints in , homogeneous no-slip boundary conditions at , and there. To see this, velocity variations vanish at the wall while their normal derivatives need not, so the viscous boundary term forces the adjoint velocity to vanish. Scalar variations have zero normal derivative but free values, forcing the adjoint scalar's normal derivative to vanish. Pressure variation gives adjoint incompressible flow; no independent terminal or initial datum is assigned to . Its additive time-dependent constant may be fixed by a zero spatial mean.
In particular, a homogeneous Neumann condition for the direct pressure does not by variational transposition require . For a smooth adjoint solution, the wall-normal adjoint momentum equation instead supplies
at the flat walls, because the direct scalar normal derivative is zero there. A zero adjoint-pressure derivative would be an additional compatibility choice, valid only when this right-hand side vanishes.
There are also literal direct-data compatibility qualifications in the printed setup. The initial total scalar field is , whose wall derivative is . It is extraordinarily small but mathematically not zero. Thus exact initial scalar data and exact zero wall flux are incompatible for a classical solution smooth at . One may use a parabolic mild solution of an abstract Cauchy problem with the boundary condition enforced for , or replace the initial profile by an exactly compatible smooth one; these are conventions, not an equality . The reference scalar field is also not a stationary profile of the diffusion equation at finite : the full term must be retained.
The pressure compatibility at a no-slip wall is similarly important. Direct normal momentum gives . The separately imposed zero pressure derivative requires this right side to vanish. It is not automatic for arbitrary fixed-energy initial velocities. For example, the divergence-free no-slip field generated by the periodic stream function with has , and , while . With adjusted to any positive energy, no classical solution smooth up to the initial wall can satisfy that extra pressure condition. The displayed adjoints are the formal necessary equations along admissible smooth trajectories; a well-posed physical formulation normally determines pressure from incompressible flow and normal momentum, rather than imposing independent homogeneous pressure flux for every control.
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.
Let increase upwards, so the bed is at , the surface is at , and . In the shallow-shelf approximation the incompressible flow has nearly depth-uniform horizontal speed and vertical strain . The Newtonian fluid stress tensor, together with the hydrostatic approximation, then gives
The factor four includes both horizontal extension and the pressure correction required by vertical compression. Integrating horizontal force balance over depth, using zero surface shear and the bed traction, gives the membrane-stress derivative and the gravitational driving force . The thin subglacial till layer is idealized by Newtonian till lubrication and undergoes Couette flow, with resisting basal stress . Hence force balance and mass conservation yield
Since is fixed, . No accumulation or ablation is included.
At the grounding line, the first boundary condition is ice-sheet flotation:
For an unbuttressed ice shelf, the second is the extensional stress required to balance the difference between the integrated ice and seawater hydrostatic pressures. The ice contribution is , while the water contribution is . On using ice-sheet flotation, their difference is , with . Equivalently, shelf force balance integrates to ; absence of a buttressing force sets this constant to zero. Thus the unbuttressed Newtonian grounding-line stress condition is
Here is kinematic viscosity; it appears in the printed target formula without an explicit definition.
The ratio of longitudinal stress divergence to till drag is of order . The given small-parameter limit therefore yields the friction-dominated bulk relation
The coefficient depends on the basal lubrication, and gives seaward motion. This is a bulk reduction: longitudinal stress has been neglected in the differential equation but its boundary traction remains specified. A complete uniformly valid approximation close to the grounding line could require a membrane-stress boundary layer. In the remainder, use the pointwise friction closure and retain the shelf stress condition as the boundary data, as requested in the paper.
Differentiate the ice-sheet flotation condition along the moving grounding line:
Now . Substitution of the friction-dominated speed and the shelf stress boundary condition gives the friction-dominated grounding-line evolution law:
The coefficient of is the spatial derivative of the flotation deficit, up to sign. If it vanishes, the implicit equation remains the correct compatibility condition but division to determine a finite speed is invalid; tangential contact needs separate analysis.
In a steady state, volume flux per unit width is constant: . The friction relation gives
Differentiating and using at the grounding line gives
Put , and . Substitution and cancellation of yield the steady friction-dominated grounding-line thickness relation:
For and a bed deepening seaward (), the polynomial is strictly increasing for , starts negative and tends to infinity, so it has exactly one positive root. At that root and , as required by steady outward extension. The relation belongs to the specified friction closure; it is not a flux law for arbitrary till rheology or arbitrary membrane-stress matching.
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.
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.
The field is a compositional order parameter in a binary fluid mixture. Its spatial integral is conserved in a closed sample, so advection and diffusion enter a continuity equation; the material derivative follows the incompressible fluid. The diffusive current , with positive order-parameter mobility , moves material down the chemical potential gradient. The chemical potential of a composition field is the functional derivative of the symmetric quartic Landau free energy
so . Positive stabilize large amplitudes and penalize sharp interfaces; permits phase separation.
The momentum equation is the Navier-Stokes equation with dynamic viscosity , constant mass density , and the Korteweg force arising from composition stresses. The pressure enforces incompressible flow, , and can absorb pure gradient contributions to that thermodynamic force. For example, gives an equivalent force after redefining the pressure. These equations constitute deterministic Model H dynamics.
Their dissipative signs can be checked by the energy dissipation identity for Model H. Under periodic or no-flux, no-work boundary conditions, composition advection and capillary work cancel between and the kinetic energy, giving
Thus diffusion and viscosity dissipate energy, while the reversible advective coupling transfers it between composition and motion. Thermal noises are omitted at this deterministic hydrodynamic level.
The dynamical scaling of binary-fluid coarsening assumes a statistically self-similar bicontinuous morphology with one growing length , thin interfaces, curvature of order , and typical fluid speed of order . Inertial acceleration then scales as and , viscous force density as , and capillary force density as . The pressure is eliminated or estimated together with the interfacial force. The numerical coefficients summarize geometry and projected force directions; this is a scaling closure, not a spatially exact momentum equation.
The approximation further neglects diffusive growth relative to advective growth, assumes fixed volume fraction and material parameters, no external forcing, and no additional relevant macroscopic length. A finite initial domain size, interface width or finite container would introduce further ratios outside the asymptotic scaling regime. Velocity gradients need not stay on the domain scale in a genuinely multiscale turbulent flow, so this single-length argument is not a proof for every hydrodynamic morphology.
With , and , dimensional analysis gives the unique scales
Thus, within the stated asymptotic single-scale hypothesis, the hydrodynamic coarsening crossover scales give , . All four force-density terms have the same dimensional prefactor . Dividing by it yields
Primes denote . The PDF includes ; the TeX drops . The PDF expression is dimensionally consistent. For a positive growth branch, a resisting viscous term and a driving capillary term have opposite signed coefficients; one may set , . The question calls these coefficients order one, not positive. Treating every term on the printed right-hand side as positive would lose the viscous-capillary balance.
For noninteracting fermions, each single-particle level has occupation by the Pauli exclusion principle. A microstate has , , so its grand-canonical weight is the product of its independent level weights. The grand potential is ; the particle number, entropy and pressure follow from , and . This occupation description is the basis for the product, continuum and adiabatic calculations.
Summing separately over the two allowed occupations of every level gives
Thus
The factorization uses the absence of interactions; each level, including any degeneracy labels, is counted separately.