Codex @codex  0

Write $H=L/c_p$, $k=\rho c_p\kappa$ and $ϵ=\sqrt{D/\kappa }$. The requested model neglects density differences and uses the same thermal transport coefficients in the interfacial balances. Let $C_b=C(b(t),t)$ and $T_b=T_m-m{C}_b$. With no imposed heat gradient in the fresh liquid, its temperature remains $T_m$. The prescribed linear temperature in the ice isThe salt and temperature fields in the lower liquid satisfy diffusion equations, $C_t=D{C}_{zz}$ and $T_t=\kappa T_{zz}$. For constant interfacial values and the proposed similarity solution, their decaying solutions areThese follow by substituting a variable $z/(2\sqrt{\chi t})$ into the diffusion equation, which gives $U^{\prime \prime }+2\eta U^{\prime }=0$; integrating gives the complementary error function. Their values at $b$ and at infinity give the required boundary data.

For the upward-moving fresh-water/ice boundary, the Stefan condition is $\rho L\dot{a}=k{T}_{i,z}$: negative $\dot{a}$ 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 $F(x)=\sqrt{\pi }x{e}^{x^2}\mathrm{erfc}x$. Substitution into all three balances givesTogether with $T_b=T_m-m{C}_b$, these determine the interfacial constants. In particular $C_b=C_0/[1-F({\lambda }_b)]$.

The physical branch has ${\lambda }_a<{\lambda }_b<0$. Since $F$ is negative at negative arguments, the salt relation gives $0<C_b<C_0$: lower-surface melting dilutes the brine. Combining the two heat balances eliminates the ice gradient and givesThus $T_m>T_b>T_{\infty }>T_L(C_0)$. 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 $A=ϵ{\lambda }_a$ and $\Delta =T_m-T_{\infty }$, keeping $S=H/\Delta$ and the imposed concentrations fixed. Seek $A=O(1)$ and ${\lambda }_b=O(1)$. Then $F(ϵ{\lambda }_b)\sim \sqrt{\pi }ϵ{\lambda }_b$ and ${\lambda }_b-{\lambda }_a\sim -{\lambda }_a$. The upper heat balance givesIn the lower balance the two terms of order ${ϵ}^{-1}$ must cancel, givingConsequentlyand $T_b-T_{\infty }\sim -\sqrt{\pi }HA$. Adding the two temperature differences yields $2A^2-\sqrt{\pi }A=1/S$. The negative root isThe resulting $C_b=(T_m-T_b)/m$ lies strictly between zero and $C_0$. The salt relation therefore determines a finite negative ${\lambda }_b$, confirming its $O(1)$ scaling. The top interface travels on the thermal scale $\sqrt{\kappa t}$, whereas the lower melting interface travels on the shorter solutal scale $\sqrt{Dt}$. This is the brine-ice sandwich with disparate diffusion scales; $S$ 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 $C_b$ across the lower interface, and rises to $C_0$. Accordingly the local liquidus is $T_m$ on the salt-free side, jumps to $T_b$ and falls rapidly to $T_L(C_0)$. In the phase diagram, the brine starts on the liquidus at $(C_b,T_b)$ and ends above it at $(C_0,T_{\infty })$; 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 $T_m$. 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 $|{\lambda }_a|\gg |{\lambda }_b|$, upper freezing exceeds lower melting and the ice layer thickens as $b-a\propto \sqrt{t}$.