Let be the water thermal conductivity, the latent heat of fusion per unit ice mass, and the ice density. Define as the normal ice-retreat speed that enlarges the cavity. With the water thermal boundary layer at on its warm side and at the melting interface, the heat supply per unit interface area is approximately
The ice is specified to be uniformly at , so no leading sensible-heat flux into colder ice must be subtracted. The Stefan condition is therefore , giving
Equivalently expresses the heat flux in terms of water thermal diffusivity. The imposed temperatures and constant boundary-layer thickness make this melt rate uniform and constant over the wetted interface. Melting adds latent energy demand to the flow; for an isolated finite pulse, maintaining indefinitely would require heat replenishment. The constant-temperature model is consequently an imposed closure, not a prediction of a permanently hot finite water volume.
Use a planar saline Stefan problem with upward coordinate , the initial contact at , and phase boundaries and enclosing pure ice, where . Fresh liquid occupies and brine occupies . We assume negligible bulk flow, equal constant mass density , specific heat capacity and thermal diffusivity in all regions, and zero salt content and salt transport in the ice. Equal densities remove phase-change volume flow; suppressing convection isolates the molecular-transport mechanism. Different material properties would change the numerical coefficients. Set for the common thermal conductivity and . Denote the brine salt diffusion coefficient by .
Use a linear ice liquidus, , with and the salt mass fraction. Assume the initial brine is a stable liquid, , and all concentrations considered are below the eutectic composition. Thus . These assumptions exclude independent nucleation in a supercooled brine or an eutectic system event, neither of which is specified by the initial data alone. Start with a negligible seed of ice and use local phase equilibrium without interfacial kinetics or curvature. Temperature differences may be in Celsius, since only differences enter this calculation.
Write
The paper calls a Stefan number; it is the latent-to-sensible heat ratio, reciprocal to another common Stefan number convention. At the lower phase boundary, define and let
The liquidus relation is .
A similarity solution gives an explicit calculation of the two positions. Put
and use , . The temperatures and salinities are
These error function and complementary error function profiles satisfy the heat equation and the salt diffusion equation, their far-field conditions, and the interfacial temperature conditions. The fresh-water temperature is constant because the interface and the far field are both at .
Salt conservation at the moving lower phase boundary requires
For upward motion this is dilution by melting salt-free ice, rather than salt rejection by freezing brine. Substitution gives the dilution function for a melting saline Stefan front:
For , , so the interfacial brine is fresher than the remote liquid.
The Stefan condition at the upper boundary is , since the fresh liquid has no temperature gradient. At the lower boundary it is
These signs follow from the jump in enthalpy: the upper front freezes liquid while a positive melts solid. With , they reduce to
Together with , these equations determine , and hence both positions, without discarding the salt-diffusion correction.
For the stated large latent-to-sensible heat ratio, the layer is thin relative to the thermal diffusion length. Expanding the thermal equations for gives
Consequently a useful leading calculation is
where the positive is obtained from
The left side decreases with while the right side increases, and their values at zero and infinity guarantee a unique positive root for large . Thus this leading calculation includes the translation of the lower boundary as well as the increasing thickness.
If the scale separation also obeys , the familiar simpler result is
with
This last simplification needs the logarithmic refinement . The algebraic ordering alone should not be used to discard an arbitrarily large logarithmic correction; the preceding coupled equations remain the appropriate calculation when that refinement is unavailable. This distinction is captured by large latent heat in a freezing and melting ice layer.
Figure 1.
Fresh-water freezing and basal ice melting with the temperature and salinity profiles on their distinct diffusion scales
.
The illustration uses , and . Solving the full equations gives , and . It shows the ice layer between freshwater and cold brine, with both fronts advancing upward and a strongly diluted lower liquid boundary.
Figure 2.
Temperature-salinity trajectory from cold bulk brine to the ice liquidus and through salt-free ice to fresh water
.
The phase diagram shows the spatial path from remote brine to the lower interface: temperature first changes over at almost unchanged salinity, then salinity changes over its much smaller diffusion scale at nearly constant temperature. The liquid path ends on the liquidus at ; the solid has and its temperature rises from to . The eutectic position is schematic, with in the illustration, and is not used in the calculation. A point initially in the fresh layer freezes when reaches it, cools in the ice, and later melts when reaches it. The inset indicates this temporal path in the opposite direction through the solid branch and into the liquid.
The mechanism is simultaneous upper freezing and lower melting, with net growth of the ice thickness. Cold brine accepts most of the latent heat released by upper freezing. Salt reaching the lower contact lowers its equilibrium melting temperature, and melting freshens that liquid until its liquidus is close to . The heat delivered through the ice supplies the much smaller melting demand there. The remote brine remains liquid even though it is below the pure-water melting temperature, because it lies above its own saline liquidus. Thus “cold” does not by itself decide which phase is stable. These conclusions apply while the layers remain effectively deep and the stated no-convection, pure-ice and phase-equilibrium assumptions hold.
Let increase into the liquid, with the planar solidification front at . Denote the common thermal conductivity by . A bounded travelling temperature profile satisfies . In the solid, boundedness as forces ; in the liquid,
The Stefan condition then gives
Thus the travelling solidification front in a pure supercooled melt releases just enough latent heat to warm the initially supercooled liquid to . There is no separate imposed heat flux at infinity in this bounded travelling-wave problem.
For the interface perturbation write . Use the Gibbs--Thomson relation for curvature-induced melting-temperature depression
Here is the solid-liquid surface energy, in this expression is absolute temperature in kelvin, and is the sum of principal curvatures, positive for solid convex into liquid. For this graph, . If mean curvature is defined as half this sum, ; this fixes the capillary factor unambiguously.
Under the small-wavelength thermal approximation for a solidification front, take harmonic perturbation temperatures that decay away from the interface:
This approximates their temperature equation by Laplace's equation, neglecting perturbation time dependence and the moving-frame advection. Expanding the interfacial temperature at the displaced surface gives
The second expression includes displacement through the negative base liquid gradient. Linearizing the Stefan condition also requires evaluation of the base gradient at the displaced surface:
Using gives the requested reduced dispersion relation:
or
The destabilizing term describes a protrusion entering colder liquid. The cubic term expresses stabilization by the curvature-induced temperature decrease.
There is an important accuracy qualification. The harmonic approximation gives the leading short-wave thermal exponents, but the retained constant term is not a uniformly controlled next-order correction to the full moving-boundary problem. If perturbation diffusion is retained, its exponents are
Substitution into exactly the same linearized boundary balances gives the full thermal stability of a travelling solidification front:
For example, with capillarity removed, solves this relation exactly, whereas the harmonic reduction gives . The difference is smaller than the leading term when , but demonstrates why the reduced formula should not be asserted as an exact dispersion law or a precise onset calculation. To neglect perturbation time dependence one also needs ; extremely large capillary damping is outside that approximation.
To analyse the displayed cubic, define
Then . It is negative at zero and at sufficiently large . Its positive stationary point is the unique maximum:
Thus the capillary threshold of a reduced solidification dispersion is
with equality giving a neutral maximum and strict inequality giving a band of unstable positive wavenumbers. At equality, however, , not . The number is therefore the threshold of the stated reduced cubic, not a controlled threshold of the full thermal problem under the stated short-wave ordering. Far above this threshold its fastest-growing scale does satisfy , making the short-wave mechanism meaningful.
The analogy for a snowflake is dendritic growth of a snowflake. A protrusion has better access to the driving supersaturation or undercooling and grows faster than a sheltered region; this amplifies tips and promotes branching into crystal dendrites. Interfacial capillarity suppresses arbitrarily fine tips. In an actual snowflake, the main growth is deposition from water vapour, so the diffusion field and its driving variable differ from this pure-melt thermal example. The hexagonal ice crystal anisotropy supplies six equivalent preferred arm directions; an isotropic planar stability calculation alone cannot predict six arms. Nonlinear tip selection, vapour transport and side branching are needed for the later detailed morphology. The analysis explains the competition between diffusion-driven protrusion growth and capillary smoothing, with this physically necessary qualification.
Use historical changes up to 2012 rather than the present-day Arctic state, and separate extent, actual ice-covered area, thickness and age composition. They do not have interchangeable rates.
For summer horizontal coverage, September minimum extent fell from roughly million square kilometres around 1980 to million in 2012: about half the earlier extent. The fitted September monthly-mean trend through 2012 was about , or per decade relative to the 1979–2000 mean. Extent includes the whole area of grid cells above the specified ice-concentration threshold; actual covered area additionally weights fractional cover. A separate concentration-weighted September ice-area analysis for 1979–2012 gives a decline of roughly per decade, or ; this retrospective historical-period estimate is reported in an observational-area comparison. It should not be confused with the extent trend, even though these two absolute slopes are similar. These figures and definitions are documented in the 2012 Arctic sea-ice observations.
For thickness, the submarine and satellite record in the declassified submarine-data region, covering about of the Arctic Ocean, gives a winter mean of in 1980 versus in 2008: a reduction, averaging about . It is a regional winter comparison, not a basin-wide summer measurement. The same combined analysis reported recent 2003–2008 declines around in winter and in summer. The summer record is shorter and cannot justify extrapolating one constant summer-thickness slope back to 1980. See the original thickness analysis.
For composition, repeated summer loss and export depleted the thick multi-year sea ice reservoir and increased the relative importance of young and first-year sea ice. A directly comparable age indicator is the March fraction aged at least four years: about in 1988, in 2005 and only in 2012. This winter age measure records the loss of ice that had survived earlier summers; it is not the fraction of surviving September ice that is first-year ice. The youngest ice disproportionately melts in summer, so the age mix of survivors differs from that of the preceding winter cover. Overall, summer cover became smaller, thinner and supported by a much depleted reservoir of older ice.
Several mechanisms can accelerate Arctic sea ice decline. The ice-albedo feedback increases solar absorption as dark water replaces bright ice. Additional ocean heat content delays autumn freeze-up, leaving less time for winter growth. Thinner ice needs less latent heat to disappear, and fractured mobile ice is more easily exported or redistributed by wind stress and currents. Melt ponds lower surface albedo; increased open-water fetch permits waves that break the ice further. Persistent atmospheric warming and warmer incoming water act on this weakened cover.
However, strict irreversibility is not implied by these positive feedbacks. Winter open water loses heat, and thin ice grows rapidly because its conductive resistance is low. As a concrete counterexample to an unavoidable one-way transition, a 2011 coupled-model experiment imposed an ice-free summer and found recovery of ice extent typically within two years. This establishes a physically consistent recovery mechanism, not a guarantee that every real loss reverses on that timescale.
Under continued warming, rebuilding the former multi-year sea ice cover is unlikely; loss of one summer's cover is nevertheless not intrinsically irreversible. Sustained greenhouse gas forcing changes the climatic state towards which ice recovers, and rebuilding several age classes takes multiple summers of survival. The qualified conclusion is persistence or worsening under the continuing forcing, not a proved thermodynamic prohibition of recovery at fixed or reduced forcing.
Use seawater specific heat capacity , which is an additional standard material approximation: the paper supplies the ice heat capacity, not the seawater heat capacity. Relative to freezing, the assumed uniform column has . Its ocean heat content per horizontal area is
This is heat above the reference freezing state, not the absolute internal energy of seawater.
If all this heat reaches ice already at its fusion temperature, divide by the supplied latent heat:
For a chosen ice mass density , this corresponds to about of ice. Density was not specified for this conversion, so the mass per area is the result that needs no further ice-density assumption.
Cold ice must first be warmed. If its initial temperature is , the corresponding ideal melt mass is , using the supplied ice specific heat capacity . No initial ice temperature or salinity-dependent fusion temperature is supplied. The latent-only result is therefore an upper bound; actual melting is smaller when sensible warming, ocean or atmospheric losses and incomplete heat transfer matter.
Take positive downwards from the roof. Write , , and . The cooled magma follows the decreasing liquidus from towards ; the initially superheated liquid starts at above that liquidus. The solid has zero solute concentration. At each temperature in the mushy layer, a horizontal tie line joins the pure solid to the residual liquid on the liquidus. The lever rule gives the liquid fraction from the bulk concentration. Since , this path stops before the eutectic temperature and does not cross the eutectic composition.
Figure 1.
Liquid cooling, residual-liquid enrichment and a solid–liquid tie line in the stagnant magma mush
.
The porosity denotes the liquid fraction, so is the solid fraction. Equal phase mass densities remove volume-change flow; the stable density stratification suppresses convection. In the stagnant mushy-layer model, define bulk specific enthalpy and bulk solute concentration by
The arbitrary reference of specific enthalpy has been omitted. The two conservation laws in are
Here is the thermal diffusivity, with the thermal conductivity. The positive term records increased specific enthalpy on melting; during freezing it supplies latent heat. In the liquid , the heat equation and solute diffusion equation are
where is the solutal diffusivity. Neglecting solute diffusion inside the mushy layer does not permit dropping in the liquid at this stage.
Use , liquid and as , and initially , , for . These are the half-space boundary conditions appropriate before cooling reaches the bottom of the chamber. For a closed chamber of finite depth , replace the far-field conditions by the specified bottom conditions, for example at an insulated impermeable floor; the half-space similarity solution then ceases to apply when the thermal penetration depth approaches .
At , let and be the common liquid concentration and temperature, and let be the limiting porosity on the mush side. Continuity of , the Rankine-Hugoniot condition for solute, and the interfacial conservation of energy give
The first condition has the sign of solute rejection into the liquid. For the sharp-edge stagnant mushy-layer model with nonzero liquid solutal diffusivity, close the free-boundary problem by marginal equilibrium at a mush-liquid boundary:
This prevents constitutional supercooling immediately ahead of the mushy layer. A small solid fraction jump at its edge is allowed: imposing as well as these finite- conditions would generally overdetermine the reduced model. At the roof, follows from the liquidus, and no additional solute-flux boundary condition is needed in the diffusion-free mush.
To obtain the large-concentration similarity solution, put
The positive superheat specifies the physically intended liquid initial state. On a similarity solution, are constant, so every newly incorporated level leaves the same constant . Write and . Then throughout the mushy layer
For , , and , the effective heat capacity is constant to relative error . Thus set
Integration of the similarity solution ordinary differential equation gives the leading analytical profiles
The temperature is . In the mushy layer, the concentration and porosity are the displayed ; in the liquid,
These retain the liquid solutal boundary layer. For completeness, finite- values of are determined analytically, to the same large- order, by setting
and solving
The solute jump gives exactly; replacing by on the right of the last equation retains that jump's next-order factor, but does not make the linearized thermal profiles exact at finite . The branch has , . All these profiles are leading asymptotic expressions, not exact solutions of the nonlinear finite- heat equation.
For at fixed positive , the complementary error function asymptotic gives , hence , , , and . The result simplifies to
In particular, and . There is no finite interfacial latent heat jump in this limit: the latent heat is released continuously throughout the mushy layer. Matching the two temperature gradients gives
The printed final equation is missing the square on in the exponential. The corrected exponent follows directly from differentiating and is consistent with . The positive root is unique: the mush-side gradient decreases from infinity to zero with , whereas increases. The zero-superheat limit is singular and is not described by a finite positive in this two-region construction.