 Strain-driven steady mush

A uniform-permeability mushy layer on an impermeable eutectic floor, under the quadratic roof pressure $p_0-E^2{x}^2/2$, has Darcy flux $\mathbf{q}=\alpha (x,-z)$, where $\alpha =\Pi E^2/\mu$. With pulling velocity $-V{\mathbf{e}}_z$, pure primary crystals, solid fraction $\varphi$, liquid concentration $C$ and constant phase properties, its one-dimensional balances areThe solidification product at the eutectic floor retains bulk composition $C_s=(1-\varphi (0))C_E$. Integration gives $C_s=C_0-(\alpha /V){\int }_0^h(C-C_0)dz$: horizontal strain removes solute before the material freezes. A negative predicted $C_s$ is inadmissible, and diagnoses failure of the assumed steady branch rather than a negative-composition product.