Salt-rejection function for a saline Stefan front ($F(\lambda )=1-\sqrt{\pi }\lambda e^{{\lambda }^2}\mathrm{erfc}\lambda$)

For salt-free ice and a liquid concentration profile proportional to $\mathrm{erfc}[x/(2\sqrt{Dt})]$, salt rejection at $a=2\lambda \sqrt{Dt}$ gives $C_{i}F(\lambda )=C_0$, where $D$ is the salt diffusion coefficient, and $C_i,C_0$ are the interface and far-field concentrations. This follows from $-D{C}_x(a^{+})=\dot{a}{C}_i$. The function is positive and strictly decreasing for all real $\lambda$, since an integration by parts givesConsequently $C_i=C_0/F(\lambda )$ increases with $\lambda$, equals $C_0$ at zero, and is enriched for freezing and diluted for melting. The positivity proof also prevents spurious negative interface concentrations when using the complementary error function formula.