Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 332 / 2 / Solution

Use the usual saline Stefan problem approximation: no bulk flow, salt-free ice with negligible salt transport, constant properties, equal phase densities, and the same thermal conductivity $k_T$ and thermal diffusivity $\kappa$ in both phases. Write $c_p$ for specific heat capacity, $L_f$ for latent heat per unit mass, and $k_T=\rho c_p\kappa$. These thermal symmetries are needed for the arithmetic-mean interface temperature requested in the paper; unequal phase conductivities would give a weighted balance instead.

Set $\eta =x/(2\sqrt{\kappa t})$, $\xi =x/(2\sqrt{Dt})$, $ϵ=\sqrt{D/\kappa }$ and $a(t)=2\lambda \sqrt{Dt}$. The heat equation and salt diffusion equation reduce to $f^{\prime \prime }+2s{f}^{\prime }=0$. Their similarity solutions, in terms of the complementary error function, areThese have the required interface values and far-field limits. At each fixed $x\ne 0$ they recover the initial data as $t\downarrow 0$. The liquidus condition is $T_i=-m{C}_i$.

Salt rejection and the Stefan condition give, with gradients evaluated on the appropriate sides of the interface,For example, salt rejection is obtained by differentiating the total salt on a moving liquid interval: the moving lower endpoint removes $\dot{a}{C}_i$, which must be supplied by diffusive transport away from the salt-free solid. Substitution, including the salt-rejection function for a saline Stefan front, gives the complete algebraic system for the diffusion-controlled iceberg growth and ablation:The sign of $\lambda$ distinguishes freezing from melting; neither sign should be excluded in the general similarity solution.

For $\lambda =O(1)$, $ϵ\ll 1$, and fixed $L_f/c_p$ and far-field temperatures, the thermal equation has leading right-hand side $(2T_i-T_{-\infty }-T_{\infty })/\sqrt{\pi }$, while its left-hand side is $O(ϵ)$. HenceThis is a leading-order balance, not an exact cancellation of latent heat. The resulting $C_i=-T_i/m$ and the first algebraic equation determine the leading $\lambda$. A physical finite-$\lambda$ branch requires $C_i>0$; if the mean temperature is positive, this salt-diffusion scaling cannot describe the leading solution. Likewise, a latent-to-sensible heat ratio diverging as $1/ϵ$ changes the leading thermal balance.

Define ${\theta }_{-}=-m{C}_0-T_{-\infty }$ and ${\theta }_{+}=T_{\infty }+m{C}_0$. Put $T_0=-m{C}_0$ and $\Delta \theta ={\theta }_{-}-{\theta }_{+}$. Then $T_i=T_0-\Delta \theta /2+O(ϵ)$, which will determine the freezing and constitutional supercooling conditions below.