Binary alloy Stefan similarity solution 2026-10-14
A two-phase diffusion model with constant properties has similarity solutions built from the complementary error function in each half-line. Equilibrium gives and . The Stefan condition and interfacial solute balance determine and ; finite diffusion on both sides must be retained when constructing the narrow transition near .
For an ice layer between freshwater and cold brine, set and use solutal similarity positions , . A linear ice temperature, two Stefan conditions and interfacial salt conservation determine both negative interface constants. As with fixed latent-to-sensible heat ratio , but . Freezing above occurs over the thermal diffusion scale, while dilution-driven melting below has the much shorter solutal scale.
Diffusive glacier-ablation interface law 2026-10-14
In a constant-thickness laminar boundary layer at an ablating glacier, approximate fluxes by and . Neglect solid diffusion and sensible heating relative to latent heat. With ablation speed , solute balance gives , so , . The liquidus and Stefan condition then give the displayed law, where . Its positive root exists when the ocean is above its own freezing point. In the small- regime, interface salinity approaches ocean salinity; in the large- regime it approaches the ice composition.
Freezing 2026-10-07
Freezing is a liquid-to-solid phase transition. A moving phase boundary releases latent heat; its rate is constrained by heat transport and the Stefan condition. In a solution the liquidus depends on composition, so being below the pure solvent's melting temperature does not imply that the solution must freeze.
Retaining perturbation thermal diffusion givesThe displaced interfacial temperature and Stefan condition give the displayed implicit dispersion relation. In the capillarity-free limit its growing branch is exactly , which checks the limits of the small-wavelength thermal approximation for a solidification front.
Combine the full quasi-steady Stefan condition above with , and the Darcy flow law to obtain an implicit pressure-growth system. Even when latent heat is negligible, a conductivity ratio changes the leading molecular driving pressure by . Thus a reduced equal-conductivity formula requires an explicit material and rate approximation.
Ice layer between freshwater and cold brine 2026-10-07
In a planar no-flow model with pure ice, a stable cold brine below freshwater can support an ice layer whose upper phase boundary freezes freshwater while its lower boundary melts into diluted brine. Heat conduction and salt diffusion obey different similarity scales. Local liquidus equilibrium, salt conservation and two Stefan conditions determine both boundary positions. The heat lost into the brine supports net ice growth even while some basal ice melts.
Icicle ripple 2026-09-28
An icicle ripple is a corrugation of the ice-water interface produced while a thin flowing water film freezes. Coupling lubrication theory, surface tension, thermal conduction, and the Stefan condition determines its growth and migration.
Maykut-Untersteiner model 2026-10-14
The Maykut-Untersteiner model is a seasonally forced one-dimensional sea ice thermodynamics model with snow and saline ice layers. It couples radiative and turbulent surface fluxes, heat conduction, interior shortwave absorption, brine-dependent effective heat capacity and conductivity, snowfall, and a basal Stefan condition driven by prescribed ocean heat flux. Its annual sea-ice thermodynamic equilibrium is a periodic cycle with zero net yearly thickness change. The snow insulation and summer ice protection mechanisms compete, so additional snow need not reduce annual equilibrium thickness. The transient temperature profile need not be linear.
Melting-source gravity-current equation 2026-10-07
A shallow current receiving meltwater over its wetted area obeys , with . The source is zero ahead of the advancing front. The Stefan condition determines normal ice-retreat speed ; the water-volume source is , or simply in the equal-density approximation. Water volume and geometric excavation must be distinguished if densities differ.
Neumann solution of the Stefan problem Created 2026-09-24 Updated 2026-09-24
The Neumann solution places a planar phase boundary at . Similarity reduction of the heat equation gives temperature profiles in terms of the error function, while the Stefan condition determines implicitly.
One-sided kinetic solidification dispersion 2026-10-14
Use undercooling , solidification attachment mobility , velocity scale , length and time . Let be the latent-to-sensible heat ratio, , and . In the one-sided liquid-diffusion model, a travelling planar front has and . For a corrugation , the decaying thermal perturbation is , with and the branch . The displaced kinetic condition gives . The displaced Stefan condition gives . Eliminating proves the displayed dispersion relation. Neglect of solid-side perturbation heat flux is part of this model.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 55 1 Solution Created 2026-10-03 Updated 2026-10-14
Write , and . The requested model neglects density differences and uses the same thermal transport coefficients in the interfacial balances. Let and . With no imposed heat gradient in the fresh liquid, its temperature remains . The prescribed linear temperature in the ice isThe salt and temperature fields in the lower liquid satisfy diffusion equations, and . For constant interfacial values and the proposed similarity solution, their decaying solutions areThese follow by substituting a variable into the diffusion equation, which gives ; integrating gives the complementary error function. Their values at and at infinity give the required boundary data.
For the upward-moving fresh-water/ice boundary, the Stefan condition is : negative means fresh water freezes. At the lower boundary the signed heat balance isSalt cannot enter the pure ice. With no bulk liquid motion its interfacial conservation law isThe derivatives and interface velocities areDefine . Substitution into all three balances givesTogether with , these determine the interfacial constants. In particular .
The physical branch has . Since is negative at negative arguments, the salt relation gives : lower-surface melting dilutes the brine. Combining the two heat balances eliminates the ice gradient and givesThus . The interface is at local liquidus equilibrium with diluted brine, while the undiluted far-field brine remains above its own liquidus. The similarity model describes a layer starting with zero thickness, or the long-time limit when an initial finite thickness no longer sets the dominant scale.
For the small-diffusivity-ratio limit, put and , keeping and the imposed concentrations fixed. Seek and . Then and . The upper heat balance givesIn the lower balance the two terms of order must cancel, givingConsequentlyand . Adding the two temperature differences yields . The negative root isThe resulting lies strictly between zero and . The salt relation therefore determines a finite negative , confirming its scaling. The top interface travels on the thermal scale , whereas the lower melting interface travels on the shorter solutal scale . This is the brine-ice sandwich with disparate diffusion scales; is the latent-to-sensible heat ratio, the reciprocal of the usual sensible-to-latent Stefan number convention.
The sketches show constant fresh-water temperature, a declining linear ice temperature, and a much broader thermal than solutal boundary layer in the brine. Concentration is zero in freshwater and pure ice, jumps to across the lower interface, and rises to . Accordingly the local liquidus is on the salt-free side, jumps to and falls rapidly to . In the phase diagram, the brine starts on the liquidus at and ends above it at ; the pure ice has concentration zero, and the interface tie-line joins it to the diluted brine.
Physically, the cold saline liquid permits freshwater to freeze above, but salt lowers the liquidus and allows the existing ice to melt into brine below even though that brine is colder than . Dilution raises the lower interfacial freezing temperature. Heat released by upper freezing supplies the lower melting and the conductive loss to the colder deep brine. With , upper freezing exceeds lower melting and the ice layer thickens as .
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 55 2 Solution Created 2026-10-03 Updated 2026-10-14
Let the surface advance downwards at speed . Ice is stationary in the laboratory, so in the surface frame its velocity is . The steady heat equation with volumetric heating is thereforeTake the atmospheric heat flux to be negligible in the stated model. The upward conductive flux at the ice surface supplies the latent heat of sublimation, giving the Stefan condition .
Write and . For , solve the constant-coefficient equation to obtainFor the resonant case , its continuous limit isAn especially transparent way to find is to integrate the heat equation over the half-space. Its far-field gradient vanishes, soUsing the surface heat balance givesAbsorbed radiation supplies both the latent heat and the sensible heat needed to bring incoming cold ice to the surface temperature. This is the radiatively heated sublimation profile.
The surface gradient isThus temperature first rises into the solid, but ultimately falls to the colder far field: it has a subsurface maximum. For a useful dimensionless form, set , and . Thenwith limit when . The maximum is at , or at .
Melting begins below the surface if the interior maximum reaches . The surface remains constrained to the lower value , and the remote ice is cold. Increasing absorbed heating can raise the interior maximum to the melting point, after which an all-solid steady solution is no longer valid and an internal melt region must be modeled. The maximum, rather than the far-field temperature or surface temperature alone, decides onset.
For the linear stability analysis, perturb the mean surface by , with ice on . Approximate the base temperature locally by . The prescribed radiative source has no perturbation, so the perturbation heat equation is homogeneous. Choose outward curvature , so the Gibbs-Thomson effect gives local equilibrium temperature . If the perturbation temperature is , its surface condition isIn the quasi-static thermal limit, , henceLinearizing the Stefan condition, with the base gradient taken constant, gives . ThereforePositive amplifies long-wave shape perturbations, while capillarity suppresses sufficiently short waves. The unstable band is , and the approximate fastest mode is . This is the sublimation-front capillary instability.
The qualifications on wavelength matter. Retaining the perturbation's time dependence and mean recession giveswhose decay constant is . Replacing it by requiresWriting , the second condition becomes under the approximate dispersion relation. A simple sufficient range is ; for unstable modes the lower inequality already controls thermal time dependence. Large alone does not justify arbitrarily small .
Finally the local linear background is appropriate only if the perturbation penetration depth is shorter than its curvature length: . From the steady equation this ratio is . Thus for the actual exponentially heated profile, a sufficient local range at large is also . Otherwise evaluation of the base gradient at the displaced surface contributes an omitted term , and the simple quoted dispersion relation need not describe those long waves.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 55 3 Solution Created 2026-10-03 Updated 2026-10-14
Measure upwards from the inlet and let now denote the specific latent heat of melting of the crust. Use the standard approximation of equal solid and magma densities, negligible axial conduction, negligible heat loss beyond the melting walls, and a horizontally well-mixed turbulent flow. The wall is at , so newly added wall melt enters with zero excess temperature .
For a slice of dike, total magma mass per unit height and out-of-plane length is . Both melting walls add mass at rate . Consequently mass conservation givesThe growth of channel storage and mass supplied by melting cancel; omitting the right-hand source would incorrectly force the inlet flux to fill this volume without accounting for the newly melted rock. Unequal densities would instead give and change the similarity model.
Let be heat transfer to each wall. As the original crust is already at , no sensible heating of unmelted crust is needed. Each wall moves outwards at speed , so its Stefan condition isExcess sensible-heat conservation, including both walls, isCombining these equations, with , givesThe term is the heat used to warm freshly melted wall material. It cannot simply be dropped from a conservative balance. This is melt-dilution heat balance in a dike.
At the inlet and . The wall balance there gives , where . At late times neglect in the widened basal region and setThe basal width and the vertical scale both grow as . Substituting into the wall condition givesConservative heat balance first gives . Eliminating with the wall equation yieldsThe boundary conditions are , , with in the outer idealized limit; the physical cooled branch also has . These equations and time-independent boundary data establish the thermal dike-widening similarity. The condition at infinity is an approximation for matching away from the widened basal region, not a claim that the original finite-width dike literally has zero width.
The inlet is a regular singular point of the first equation. Differentiating it and evaluating the second givesA regular expansion can still contain an undetermined higher-order coefficient, for example in ; the outer matching condition selects it. Thus specifying the inlet values does not eliminate the boundary-value aspect of the problem. If a computed branch reaches at finite similarity coordinate, that endpoint is treated as the edge of the widened inner region and matched to the unneglected original-width channel. One must not continue through zero width as a physical flow.
For numerical solution, formulate this as a nonlinear two-point boundary-value problem: start from a regular inlet expansion and adjust its free coefficient to meet the outer decay/matching condition, or solve for the profiles and boundary data together on a truncated or compactified similarity interval. Enforce nonnegative width and temperature excess, check any apparent singularity at , and refine the outer matching location until the basal profiles are insensitive to it. No specific algorithm is required.
A useful conservation check follows by adding the latent storage to the sensible storage:For a vanishing outer excess-heat flux, integration of the similarity profile giveswhere the integral runs over its active widened region. This checks the heat admitted at the base against latent and sensible storage. All factors of two refer to the two channel walls; is the full width.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 75 2 Solution Created 2026-10-03 Updated 2026-10-14
Work in the frame of the steadily advancing mush, so the rigid primary-crystal skeleton moves with . Let be solid fraction, the pore-liquid concentration, the Darcy flux relative to that skeleton, and the common thermal conductivity. Set , the thermal diffusivity. The actual pore velocity is . Primary crystals are taken to exclude solute; the residual pore liquid freezes into a two-solid eutectic product at the bottom. These are the standard binary mushy layer assumptions implicit in using a single liquidus and an eutectic floor.
It is convenient to use hydraulic pressure , absorbing the constant-density gravitational term. With equal phase properties, no solute diffusion, negligible fluid inertia and local liquidus equilibrium, a complete mush model isThe last equation follows from conservation of energy with mixture specific enthalpy . Sensible heat is transported by the total volume flux ; the primary solid carries the latent-enthalpy flux . In particular the sign of the latent-heat term is fixed by the downward-moving skeleton.
At the liquid roof, imposeHere . The gradient condition matches heat flux into the imposed liquid field, since there is no phase-fraction jump at this roof and the phase conductivities are equal. The pore velocity there equals the relative Darcy velocity. At the floor,There is no liquid penetration into fully solid material. The unspecified solid fraction at the floor is determined by the solute balance, not set to one: remaining eutectic liquid freezes as it crosses the floor. If denotes the bulk concentration of the final solid product, the floor solute balance and Stefan condition areMaintaining the floor at permits the solid-side bath to remove this final latent heat. Equivalently its required gradient is . No additional imposed solid-side gradient is specified. Laterally we take the quadratic-pressure strain solution, without sidewalls; finite sidewalls would require additional flow conditions and generally break this horizontal invariance.
For uniform permeability of a porous medium, incompressible flow gives . The roof pressure and zero normal flow at the floor are satisfied byHorizontal outflow is balanced by downward inflow. The parameter is an inverse time; in the printed pressure condition already has dimensions of pressure divided by length squared, so no extra density factor belongs in this definition.
With , and , the -dependence disappears from both scalar balances. Although is nonzero, its horizontal divergence cancels in . The exact strain-driven steady mush equations becomeTogether with , , and , they determine the scalar fields and the unknown thickness. This reduction proves that the equations admit horizontally invariant scalar solutions despite the imposed straining flow. An equivalent useful form, obtained by differentiating the solute equation, isThis exact form also shows why one must not silently discard latent heat in an arbitrary strong-flow calculation.
Define , and . For the stated regular ordering , strain transport dominates skeleton transport and the bounded phase-change enthalpy contribution. More precisely, at fixed finite thermal strain number , the dimensionless energy equation isso its skeleton and integrated latent-heat corrections are small in and respectively. The leading strain-dominated mush temperature profile obeys . Put and . Integrating first for and then for givesThe error function profile follows from integrating a Gaussian, with . Matching the roof gradient gives the requested transcendental thickness relationFor prescribed and the right side decreases continuously from infinity to zero as increases, so it fixes one positive leading-order thickness. The resulting must still satisfy the assumed ordering and the phase-fraction constraints.
To find the product composition, integrate the exact solute balance from the roof to an arbitrary depth. With ,At , the exact floor composition is thereforeThe minus sign has a direct physical meaning: the horizontal outflow removes more salt than arrives at the same depth from a uniform- liquid, leaving a depleted solid product. Using the leading error function profile andyieldsThe full solid fraction follows by substituting this same profile into the preceding integral formula for . It has and . A physical branch requires and . In this monotone profile, ensures a nonnegative liquid fraction everywhere; it is not permissible to interpret a negative formal result as a material composition.
The error-function reduction is a regular leading approximation, not a uniform statement for every possible scaling of the thermal strain number. If becomes singularly large along the ordering limit, a thin basal layer can amplify the discarded terms. The printed two inequalities alone do not specify that extra scaling. In such a regime the displayed exact scalar equations and boundary conditions, rather than an unqualified zero-latent-heat profile, provide the appropriate thickness and composition calculation.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 89 2 Solution Created 2026-10-03 Updated 2026-10-14
Let denote ice and snow thickness, let increase downwards, and count external atmospheric fluxes as positive into the surface. The Maykut-Untersteiner model is a time-dependent column model, rather than a single thickness formula: heat conduction, heat storage, internal absorption of sunlight and moving freezing/melting boundaries must be solved together. In an ice-following description its energy equation can be writtenwhere is specific enthalpy, is the prescribed ice salinity, and is the downward penetrating shortwave flux. The material derivative includes coordinate motion if a moving numerical grid is used. A common attenuation form is within a homogeneous ice layer, with the origin taken at that layer's top. The corresponding source is . Snow-covered cases have much less penetration; absorbed surface radiation must not also be counted as internal heating.
The liquid brine fraction contributes latent heat to the effective specific heat capacity: for the illustrative liquidus approximation with Celsius in the mixed-phase range , . The precise ice conductivity and heat capacity are salinity- and temperature-dependent. This is why the full transient temperature profile need not be linear. At the snow-ice interface impose continuity of temperature and conductive heat flux; at the ice bottom impose the seawater freezing temperature .
Write and define the atmospheric input absorbed at the surface byHere is the surface albedo, is the Stefan-Boltzmann constant, and are signed sensible and latent turbulent heat fluxes. With upward conductive flux , the cold, nonmelting surface satisfies . Once the surface reaches its melting temperature, constrain it there and use excess energy for ablation:The mass-loss rate first removes snow at thickness rate ; after the snow is gone it removes ice at rate . Snow thickness also changes through prescribed snowfall and any separately represented compaction or sublimation.
At the bottom, the Stefan condition equates latent heat released by growth to upward conductive removal minus upward ocean heat flux :Here is positive for basal freezing and negative for basal melting, and is the appropriate effective latent heat. These equations, the incident fluxes and snowfall determine the seasonal thickness trajectory. Annual sea-ice thermodynamic equilibrium means a periodic temperature field and , soWith constant , this is equivalently . An “equilibrium thickness” must refer to the mean or a specified phase of this seasonal cycle.
A useful winter reduction neglects heat storage and solar penetration and treats each conductivity as constant. The two layers act as thermal resistances in series:This displays the dependence on snow and ice thickness, but is not a replacement for the full seasonally forced Maykut-Untersteiner model.
Increasing ocean heat flux subtracts directly from basal growth and increases bottom ablation. On a stable perennial branch it lowers annual equilibrium thickness, and sufficiently large input can eliminate a year-round ice cover. With zero oceanic input, removing this heat sink can allow much thicker thermodynamic ice; it does not remove the seasonal surface energy balance.
Additional annual snowfall has competing effects. Larger suppresses winter heat conduction and basal growth, favoring thinner ice. But persistent bright snow raises albedo, consumes energy when it melts and delays exposure of dark bare ice, suppressing summer ice ablation. The original column calculations show near compensation for moderate snowfall and substantial thickening when much more snow survives into summer. Thus annual equilibrium thickness need not decrease with snowfall, even though greater snow thickness at fixed winter temperatures always reduces the conductive growth rate. The balance also depends on snowfall timing and the treatment of snow-to-ice conversion. These seasonal responses are illustrated by the original model calculations.
Reducing surface albedo increases absorbed shortwave radiation. It promotes surface ablation, internal heating and, where sunlight reaches the ocean, basal ablation; the ice-albedo feedback reinforces the reduction in equilibrium ice thickness. Increasing albedo has the opposite effect. This sensitivity is strongest when sunlight is available and dark surfaces are exposed, rather than during polar night.
For the observed bottom melt, use , and approximately 122 days. The basal melt heat flux equivalent isThe integrated latent heat is about . This is energy used for melting, not automatically the complete ocean-to-ice heat input: the basal balance gives , with sensible heat and salinity corrections if needed.
A likely major source is solar heating of an unusually large open-water fraction. Dark water absorbs much more sunlight than snow-covered ice, and warm water transfers that stored heat to floe bottoms by mixing and lateral transport. Thin or ponded ice also transmits more sunlight. Wind-driven divergence and export expose additional water, while advection of warm Pacific or Atlantic water and mixing of subsurface heat can contribute regionally. The supplied melt amount alone cannot partition these sources. The 2007 Beaufort Sea heat-budget analysis found that locally absorbed solar heat was sufficient to account for the enhanced basal melt. The latent-heat equivalent is about ; increased solar absorption by exposed ocean is a well-supported principal explanation.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 80 4 Solution Created 2026-10-03 Updated 2026-10-14
Let be the particle radius and the supercooling. Use spherical symmetry, constant thermal properties, equal phase densities , and negligible fluid advection. Let be latent heat per unit mass, the liquid specific heat, its thermal conductivity and its thermal diffusivity. The exterior temperature satisfies the radial heat equationwith for , and as .
The Gibbs-Thomson effect gives curvature-induced melting-temperature depression. For a spherical interface writewhere is solid-liquid interfacial energy per area and the factor two is the sphere's curvature . Here in the thermodynamic formula is an absolute temperature. The notation also permits a given measured capillary coefficient without requiring its microscopic derivation.
In the one-phase Stefan problem, the solid has no internal heat flux and the Stefan condition isThe sign follows from heat balance: positive outward liquid heat flux releases latent heat as the solid grows. If the solid's thermal storage is retained, its temperature instead satisfies its own radial heat equation, , and . The two-phase condition is . It reduces to the one-phase condition in the quasistatic limit because a regular harmonic temperature inside a sphere is spatially constant. An initial solid temperature profile is additional data for a fully time-dependent two-phase problem.
Two reciprocal Stefan number conventions are common. The large parameter appropriate to the requested slow-interface limit is the latent-to-sensible heat ratioIt measures the energy required for phase change relative to cooling or heating by the supercooling. The often-used sensible-to-latent definition is . Thus “large Stefan number” here means large , not large in that other convention.
The thermal diffusion time for scale is , whereas the interface time is . More explicitly, with , and slow time , the liquid equation isFor , temperature therefore equilibrates before the radius changes appreciably. The quasistatic spherical Stefan problem with capillarity has a harmonic exterior temperature, fixed by its interface and far-field values:The small initial diffusion adjustment is omitted at this order. Inserting into the Stefan condition givesThis is the critical radius for a supercooled spherical seed. For , the interface is warmer than the liquid and loses heat, driving growth. For , its curvature-depressed interface temperature is colder than the liquid, so heat enters and the solid melts. At , the uniform temperature supplies an equilibrium radius. It is unstable, since the radius-velocity derivative there is . For a growing particle with , increases asymptotically as .
For a subcritical particle the radius decreases monotonically and remains below . HenceIt cannot remain positive beyond , proving finite-time extinction of a subcritical spherical seed. The exact extinction time in the reduced model is obtained by separating variables:With , this isNear disappearance, the capillary term dominates and , so . For , the lifetime is ; it diverges logarithmically as , consistently with the unstable equilibrium. The threshold and lifetime above are conclusions of the specified large- quasistatic continuum model, rather than an assertion that its approximation is uniform through every finite- shrinking-interface transient.

