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.
Title
Existence for a Stationary Model of Binary Alloy Solidification
Published in
Rairo-Mathematical Modelling and Numerical Analysis-Modelisation Mathematique Et Analyse Numerique
Volume
29
Issue
6
Pages
687-699
Date
1995
ISSN
0764-583X
Note
Ecole polytech fed lausanne,dept math,ch-1015 lausanne,switzerland. Blanc, p, ecole ingn etat vaud,route cheseaux 1,ch-1400 yverdon,switzerland.
ISI Document Delivery No.: TE496
Cited Reference Count: 9
Record creation date
2006-08-24