A finite rod generally contains both exponential branches. With prescribed oscillating temperature at and an insulated far end, , the exact solution is
The correction near a sensor is controlled by . The important separation is between the farther sensor and the end, not merely between the heater and the end. For a far end clamped at the mean temperature, , replace both hyperbolic cosines by hyperbolic sines; other end boundary conditions require their corresponding solution.
In the lossy Ångström method worked example, an insulated rod of length gives and . Incorrectly applying the semi-infinite formula returns , about high. At , it returns , about low. Side loss remains real in both cases; the error arises because the measured spatial response no longer has one exponential complex wavenumber.
Choose the period and sensor spacing so that the lag and attenuation are resolvable while the downstream signal remains larger than sensor noise. Keep transverse equilibration fast compared with the period; compare the transverse thermal diffusion time with and check that surface exchange does not create large transverse temperature gradients. A short period reduces far-end influence but can expose sensor response times; a long period increases penetration and finite-end bias. Calibrate both sensors together, exchange their positions to check channel bias, compare successive cycles, and repeat at several spacings and periods. In a valid single-exponential region, linear regression of against and unwrapped lag against should give consistent slopes. These are proposed diagnostic controls. If they fail, fit the finite-rod or coupled-sensor model rather than interpreting every delay as intrinsic thermal diffusivity.
Introduce specific heat capacity , latent heat per unit mass , and . Write the prescribed convective heat flux as , where
There is a dimensional convention to specify: with measured in and dimensionless , this printed expression makes a heat transfer coefficient only if is kinematic viscosity. If denotes dynamic viscosity, the numerator needs instead. The question says only “viscosity”; use the consistent kinematic interpretation, or equivalently the corrected dynamic formula. The following balances apply to either convention once has units .
For a thin lava lake crust with a linear temperature profile, Fourier's law gives the outward conductive flux . The Stefan condition balances it against upward thermal convection and freezing, while the well-mixed liquid loses the convective flux and gains radiogenic heating. To leading order in the radiogenically heated lava-lake crust model is
The fixed surface temperature already incorporates radiative cooling, so no extra radiative loss is added to the interior balance. The linear conductive profile is interpreted as a quasi-steady approximation, so sensible-heat storage within the crust is not evolved. Thinness alone does not establish this approximation: rapid thermal adjustment in the crust is also needed, for example a small Stefan number during the initial conduction-driven growth. Replacing the liquid depth by and retaining the moving liquid-volume enthalpy would introduce thin-crust corrections: the requested constant-temperature branch refers to the leading model above. A transient thermal profile in a thick or newly nucleating crust would require the full Stefan problem, rather than this linear-profile closure.
Using the thermal diffusion time , define
The three independent dimensionless parameters are the convective-conductive coefficient , the heating parameter , and the Stefan number . For positive the evolution equations become
where prime denotes . Temperature has the exact solution
Consequently the unique constant-temperature initial condition is
At this temperature, the convective flux equals the column's radiogenic heat production. Starting with no crust, the constant-temperature lava-crust growth law is obtained by separating :
The crust grows towards , or , where conduction carries all the radiogenic input. The logarithm makes reaching this equilibrium take infinite time. For an initial thickness , subtract on the same side of the equilibrium; the corresponding antiderivative uses on either branch. The thin-crust description through equilibrium requires .
For general initial temperature, the full early and intermediate history is specified by the exact temperature above and one scalar ordinary differential equation. A particularly convenient integral formulation for an initially bare surface is
This removes the infinite initial derivative of . The right-hand side points into at zero, and is decreasing in when ; two nonnegative solutions therefore cannot separate, which gives uniqueness. Its solution, together with the temperature formula, determines the entire model evolution and can be computed without a phase-boundary search. The early expansion follows by substitution:
The dimensional leading crust thickness is . Thus hotter liquid reduces the first correction to conductive crust growth, whereas colder liquid permits more rapid thickening.
If , the temperature decreases and the instantaneous stationary lava-crust thickness increases towards . Starting from zero, the crust always remains below this rising curve: at a first contact but , so it cannot cross from below. Hence hot-start crust grows monotonically. It also stays thinner than the constant-temperature solution: the early expansion puts it below, and at a proposed first crossing their derivative difference is , preventing crossing from below. If , the temperature increases and the instantaneous stationary lava-crust thickness decreases. The crust stays thicker than the constant-temperature solution by scalar comparison, but it may cross the decreasing , reach a maximum and subsequently melt back towards . Such overshoot is possible, not inevitable; the two relevant relaxation rates are and . The numerical plot uses , , , so crust adjustment is faster than temperature relaxation and the cool-start example does overshoot:
Figure 1.
Lava temperature and crust thickness
. Details.
The curves use and initially . They solve the complete reduced time-dependent equations, rather than replacing the moving stationary thickness by the actual crust. At late times, set , ; linearization gives . For ,
At equal rates the forced term is . In particular, slow warming with approaches equilibrium from a thicker crust, explaining the plotted remelting. These long-time expressions describe the linearized response; nonlinear corrections can have their own faster exponential rates. All predictions are restricted to , nonnegative liquid superheat, and the assumed vigorous-convection flux law. If crust growth violates those conditions, the reduced model must be replaced rather than extrapolated to total freezing.
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.
Treat as a signed small parameter, with , as printed in the original PDF. At , the dispersion relation factors as
Thus the two epicyclic motion modes have , while the thermal energy mode of a shearing sheet has
It decays on the thermal diffusion time . For completeness, its next correction is at fixed .
For either epicyclic motion root, the implicit function theorem applied to the dispersion relation gives
Hence
Since , the oscillations undergo overstability precisely when
The convective overstability growth rate tends to zero both for very slow diffusion and for very fast diffusion. Differentiating shows that its maximum occurs at , corresponding to . Therefore
This is the growth rate of the perturbation amplitude; a quadratic perturbation energy grows at twice that rate. The convective overstability arises when an adverse radial specific entropy gradient couples to epicyclic motion with a finite thermal conduction lag.
The difficulty is an unfavorable engineering scaling, rather than a fundamental diameter cutoff. For the same passive support concept and fixed allowed sag, the elastic plate estimate gives . Consequently
where is the thermal diffusivity. Thus increasing diameter makes the casting, annealing, transport and support progressively harder, while its long thermal diffusion time prevents the mirror following the changing ambient temperature. Temperature gradients deform the surface; a warm mirror also creates local turbulence that worsens astronomical seeing. A thinner solid disk has a shorter thermal response but is too flexible without better support.
The quoted four-metre scale is a practical rule of thumb for the simple thick passive design, not an absolute physical impossibility. The official BTA description records a 6.05-metre, 42-tonne primary already operating well before this examination. Its existence rules out interpreting the stated number as a hard bound.
Mass, gravitational deformation and thermal response make straightforward thick-disk scaling impractical.
Define the dimensionless stagnant-layer depth and time by
so is the thermal diffusion time. The maximizing interface temperature gives
Equating conductive and convective heat fluxes therefore gives the algebraic relation
Since , where is the specific heat capacity, the bulk heat balance in the convecting depth becomes
Retaining the heat capacity of the thin stagnant layer changes this only by relative order .
For and , the flux relation gives . The leading equation is consequently
Separating variables and using gives
hence
For a well-mixed lava lake of depth and a thin conductive crust of thickness , put , and use the convective flux with constant heat transfer coefficient . The Stefan condition and liquid heat balance give, to leading order in ,
Here latent heat is per unit mass and . Crust heating and changes of liquid depth are neglected. The linear conductive profile uses a quasi-steady approximation; thinness alone does not justify neglecting crust thermal storage. During initial growth, a small Stefan number supplies a sufficient rapid-adjustment regime. Define , , and . Scaling by the thermal diffusion time and gives and , where , , and is the Stefan number. Thus exactly. The reduction applies while , the conductive profile is approximately linear, and the thermal convection closure remains valid; it does not model complete freezing of a deep lake.
Thermal diffusion length 2026-10-14
The thermal diffusion length is the characteristic length over which thermal conduction changes a temperature distribution during time in the constant-thermal diffusivity model. It is a scale, not a sharp front or distance travelled at a constant speed: the heat equation has infinite propagation speed mathematically. Different definitions of penetration depth introduce numerical factors. In particular, the normalized one-dimensional heat kernel has spatial variance , so its root-mean-square width is .
Figure 1. . Original predictions for the two stipulated materials in thermal diffusivity. Left: , with four times the time needed to double length. Right: on logarithmic axes. Equal thermal conductivity with four times the volumetric heat capacity halves the reached length at a given time and quadruples the time at a given length. The scale differs from the insulated-bar decay time by the factor . Details.
At , the model materials have thermal diffusion lengths and . For their thermal diffusion times are and . These values describe the same heat equation as the thermal diffusion rate of a Fourier mode; the different numerical factors come from the definition of the scale.
Thermal diffusion time Created 2026-09-28 Updated 2026-10-14
The thermal diffusion time , with the thermal diffusivity, is a characteristic scale for smoothing a temperature variation over length . It is the thermal instance of the diffusive time scale. Rescaling and removes and from the constant-coefficient heat equation. Doubling length therefore multiplies comparable internal equilibration times by four; increasing thermal diffusivity by four divides them by four.
This scale is not a universal time of complete thermal equilibrium. A nonzero Fourier mode decays exponentially and never becomes exactly zero at finite time. The geometry, boundary conditions, initial pattern and accepted residual determine the numerical factor. For example, an insulated bar's slowest nonuniform Fourier mode has decay time , and reducing its amplitude to a fraction requires
External heat transfer can impose a longer cooling time even when internal temperature differences smooth quickly. Thermal diffusivity alone does not determine cooling to the room's temperature.