Existence for a Stationary Model of Binary Alloy Solidification

A proof of existence is given for a stationary model of alloy solidification. The system is composed of heat equation, solute equation and Navier-Stokes equations. In rite latter Carman-Kozeny penalization of porous medium models the mushy zone. The problem is first regularized and a sequence of regularized solutions is built thanks to Leray-Schauder's fixed point Theorem. A solution is then extracted by compactness argument.