Pub . Mat . UAB No 22 Nov .

1980 Actes VII JMHL

MODELOS MATEMATICOS EN SOLIDIFICACION : APLICACIONES EN METALURGIA . Alfredo Bermdez de Castro Dpto . d e Ecuaciones Funcionales

Universidad de Santiago de Compostela

Ab strac t .- In this paper mathematical models for heat transfer with melting or sol~dification are considered . These models are variants of the well-known Stefan's problem which are of considerable interest in many fields as metal casting, nuclear reactor safety, purificacin of materials, etc . INTROD000ION .Los procesos de transmisin de calor con cambio de estado aparecen en numerosos campos de las ciencias aplicadas y la tecnologa . A modo de ejemplo citemos la solidificacin de coladas en metalurgia, la fusin del hielo y solidificacin del agua, la purificacin de materiales, la congelacin de alimentos, el almacenamiento de la energa, etc . Desde un punto de vista fsico los fenmenos de transmisin de calor con cambio de estado difieren de los ordinarios por el he cho de que, mientras que en estos la entalpa es una funcin continua, en aquellos presenta una discontinuidad de salto en la superficie de se paracin de ambas fases . Desde un punto de vista matemtico, la dificultad fundame_n tal estriba en que no se conoce a priori la evolucin de esta superficie a lo largo del tiempo ; se trata de un problema de "frontera libre" . Las diferentes formulaciones que se conocen responden al mismo objetivo : transformar las ecuaciones de partida, vlidas en cada fase por separado, en una sola ecuacin que tenga validez en la totali dad de la regin ocupada por el cuerpo, con independencia de la posicin de las fases . Mayor dificultad se presenta cuando la temperatura de cambio de fase es variable y constituye una incgnita adicional del proble

ma . As por ejemplo, en la solidificacin de ciertas aleaciones dicha temperatura depende fuertemente de la concentracin de soluto,cuya evolucin est regida a su vez por otro conjunto de ecuaciones en derivadas parciales . Por si fuera poco en el momento de la solidificacin tiene lugar un rechazo de soluto ( a veces de disolvente) de la fase slida hacia la lquida . Por consiguiente la concentracin no es continua y esto es fuente de nuevas dificultades como se ver ms adelante . En este artculo se presentan algunos modelos para la sim_u lacin (desde un punto de vista trmico) de procesos de cambio de estado . Asimismo se dan formulaciones que permiten el anlisis matemtico de los mismos y su resolucin numrica . El plan es el siguiente : 1 .2 .3 .4 .El modelo de Stefan El modelo de Stefan con conveccin Problemas con dos materiales La solidifcacin de una aleacin .

1 .- El modelo de Stefan . Con objeto de facilitar la comprensin vamos a considerar un ejemplo concreto : la solidificacin del acero en colada continua (ver SAGUEZ-LARRECQ[1 ] ) . La figura 1 es una representacin esquemtica de una planta de colada continua . Si 0 S y 0 L designan la temperatura en las fases - slida y lquida, respectiva= mente, el modelo de Stefan establece que : En el slido

(1 .1) p(9 )c(e ) aT S S

+p(0 S )c(0 S ) U En el lquido (1 .2) p(0L)c(OL)

a6 S

- E i=1 ae S ax 3

a 9S)+ (k(e ) ax, S _ ax .

= o

ae

x)+ a i i aTL i 1 ax (k(0 S )

30 ax3 = 0

ae

Fig . 1 En la superficie de separacin (1 .3)

(1 .4)

+P(e L )c(0 L ) U

e s= e L = e

(temperatura de solidificacin) .
a -~ t

k(0 S ) grad 0 S *N-k(0 L ) grad e L *N= p(0)L V~N

21 4

Siendo U la velocidad de .de5cer,so de la colada, L el calar latente de fusin, V la velocidad de avance de la interfase y N un ve .2tor unitario normal a sta . A las ecuaciones (1 .1)-(1 .4) habra que aadir las condici_o nes de contorno y la condicin-inicial . Si suponemos que el proceso se encuentra en estado estacionario los trminos con derivadas temporales desaparecen . Adems la tran_s misin de calor por conduccin en la direccin de avance x 3 puede despr_e ciarse frente a la que tiene lugar por conveccin de manera que las ecu_a ciones (1 .1) (1 .2) se reducen a En el slido (1 .5) En el lquido (1 .6) p(e L )c(o L ) U aeL 3 -iE1 (k(6L) )= O p(es)c(es)U ax 3 iE1 ax (k(es) ax . i )= 0

ax . i

a8L i

Ntese que (1 .5) (1 .6) son ecuaciones de tipo parablico, por consiguie'_n te tomando como condicin inicial (en x 3 = 0) la temperatura de vertido del acero, podemos integrarlas paso a paso y seguir la evolucin de la temperatura de una seccin en su descenso . La ecuacin (1 .4) deber sustituirse por De De S (1 .7) k(e ) E :n-k(e ) L n .= p(e)c(9)L Uv- S i=1 ax . i L i=1 1 ax . donde v es la velocidad de avance de la interfase en el plano x 1 x 2 respecto a x 3 y = (n 1 ,n 2 ) es un vector unitario en la direccin (N 1 ,N2 ) . Existen fundamentalmente tres formulaciones del problema de Stefan (1 .5)-(1 .7) que comentamos brevemente a continuacin . Por las razones apuntadas ms arriba escribiremos t en lugar de x 3 y x= (x 1 ,x 2 ) . i) Formulacin en temperatura .- Sea R el abierto de R n ocu pado por el material y Q= SIx]O,T[ . Para te]O,T[ se denotan 52S(t), a L (t) los subconjuntos de 2 ocupados por las fases slida y lquida respectiva mente y se define en Q una funcin 9 del siguiente modo : 0 S(x,t) (1 .8) e(x,t)= (x,t) si si xeg S (t)
XC2 L (t)

Entonces, bajo ciertas hiptesis de regularidad y mediante frmulas de Green no es difcil probar (ver LIONS [2]) que e verifica

(1 .9)

aHa~e)

-div (k(e)grad 6)= 0 R . si e p(Y)c(y)dy+p()L] si 0<0

-

Siendo H el operador maximal montono en p(y)c(y)dy 0 e p(y)c(y)dy, ~O p(e)L+

e

(1 .10)

H(0)- [

0=0

lo

p(y)c(y)dy

si

e>e

H(0(x,t)) representa la entalpa local del puto x en el instante t, de modo que (1 .9) expresa algo evidente desde el punto de vista fsico : la variacin de entalpa local por unidad de tiempo es igual al calor que se transmite por conduccin . Es bien conocido que cuando el nmero de variables espaciales es superior a uno, la existencia de solucin clsica del problema de Stefan es una cuestin abierta . Por este motivo numerosos autores han considerado una formulacin dbil obtenida a partir de (1 .9), para la que prueban resultados de existencia y unicidad (ver OLEINIK [31 , KAMENOMOTSKAYA [41 , LADYZENSKAi'A-SOLONNIKOV-URALTCEVA [5] , FRIEDMANN [6]) . Un problema ms difcil es el di la regularidad de la sol_u cin dbil y de la frontera libre . Aqu de nuevo los resultados obtenidos dependen-de la dimensin espacial . Si es uno y no hay fuentes .-sta de calor distribuidas (esto lLimu ocurre en (1 .9  , -MIED~ J.., [ 7 ] ha probado la continuidad de la solucin dbil, y el mismo autor en [81 la analiticidad de la frontera libre . En dimensin superior a uno los resultados que se conocen en este sentido, lo son para el llamado problema con una fase, que consiste en considerar que la temperatura en una de las fases es constante e igual a la temperatura de cambio de estado . En este caso FRIEDMANNKINDERLEHRER [91 han demostrado un resultado de regularidad para la frontera libre y ms recientemente CAFFARELLI-FRIEDMANN [101 la continuidad de la solucin dbil . En cuanto a los mtodos numricos existen varios que parten de la formulacin en temperatura . Dejando a un lado el caso unidimensional para el cual existe una abundante bibliografa, merece desta carse en primer lugar el artculo de KAMENOMOSTKAYA [41 donde se prueba la convergencia del esquema explcito . Por su parte MEYER [111 consid_e ra un problema regularizado (obtenido al aproximar H por una familia de funciones contnuas) para el que prueba la convergencia del esquema implcito . Tambin SAGUEZ-LARRECO [11 discretizan en tiempo el proble ma mediante un esquema implcito, aunque sin regularizacin previa de la funcin H . En cada paso de tiempo resuelven la ecuacin obtenida con un algoritmo de multiplicadores de BERMUDEZ-MORENO [121 .
21 6

(1 .9) el. cambio de variable : u= H(0) . Si pasa por el origen se tiene : (1 .11) Esta ha

iil

rmulacin en en ; .e.l_pa .- Es _Fo

1>, que resulta de hace-t, e,: !.a primi .tiv .t r)v '', c;, :,

K (lenOta

U a t -.,(K H i )u- 0
formulacin la uti .LL :a pc,, , BREZIS [14] ves_ ;iii.uir, ra SREZIS [13J

(ver tambin LIONS [2j

considerado condiciones de contorno irs generales y obteni .i o mayor re son aplicaciones de numrica de (1 .11) la teora de semigrupos . los artcuetc .

) . Ms recierrtementc: A .DA;1LAJ31AM [15]

gularidad . Sus resultados los de CIAVALDINI [16 iii) La resolucin

1,

DEGUEIL [171BREZS-ROGERS-BERGER (181

se abo .^da en

troducida por DUVAUT [191 para el problema con una fase y por DUVAUT [20] y FREDMOND [211 , separadamente, para el problema. con dos fases . En ambos casos se define en tiempo de la temperatura) una nueva incgnita ("grosso modo" la la cual es solucin de una inecuacin

Formulacin con inecuaciones

variacionales - Ha sido in

integral nmero va-

de fases sea uno o dos . en AGUIRRE-FREMOND [221

riacional de evolucin de Resultados

primera o segunda especie segn que el

numricos sobre esta formulacin pueden , SAGUEZ [231 .

verse

2 .- El modelo de Stefan con conveccin . El modelo

(ve^ BERMUDEZ-SAGUEZ i24 ]) . transmisin de calor

en las direcciones x 1 x 2 se realiza solamente por conduccin . Ahora bien existen casos (como el de la colada continua a nivel de la lingo tera),

(1 .1)-(1 .4) supone que la

en los que tienen lugar movimientos en la fase lquida que obl_i gan a considerar la transmisin por conveccin, introduciendo en (1 .2) un trmino suplementario . Procediendo de este se obtiene la ecuacin : [J B~O) modo,en lugar de (1 .9)

(2 .1)

-div

(k(0) grad

0)+p(6)c(0)W .grad (6-6) += O existen-

cia y unidad de solucin para una ecuacin de incluye a (2 .1) como caso particular . 3 .- Problemas con dos materiales .

En BERMUDEZ-SAGUEZ [241

se prueban resultados de

evolucin no lineal que

parte que solidifica en ltimo lugar sufre una contraccin debido al aumento de densidad, originndose una cavidad llamada "rechupe" (ver p . ej . RUDDLE con objeto de (251 evitarlo ) . Es d: gran o al menos desplazarlo a otro lugar, lo cual

Cuando una masa de metal fundido se

enfra

en un molde,

la

inters predecir la situacin del rechupe del

puede realizarse modificando el poder enfriador de ciertas partes

molde 6 disponiendo "mazarotas" que alimenten de metal lquido las partes que solidifican en ltimo lugar .

217

Veamos como el modelo de Stefan puede adaptarse para simuproceso . Primeramente ntese que ahora nos interesa el fenmedel l, no transitorio, as que no se podrn hacer las simplificaciones (p . ej . en y por tanto, salvo casos especiales con ciertas simetras piezas cilndricas), el dominio 52 ser tridimensional . lar este el molde, respectivamente, Sean 21 y S2 2 las regiones ocupadas por el metal fundido y y 52= 12 1 U S2 2 (ver fig . 2) .

La diferencia con los problemas en los que interviene un solo material temperatura sino mente : Fig . 1 xe52 1 : H(x,e)= 0 p 1 (y)c 1 (y)dy p1(y)c1(y)dy, p1 (y)c 1 (y)dy+p(e) L] ahora la ntalpa depende no slo de

es que

la

tambin de x . Concrpt_a

e<a 0=0 e>e

[Jo

p(e)L-

fe f 0 p1 (y)c1(y)dy

fo

~~

H(x,0)= (3 .2) si x52 2

10

p2(y)c2(y)dy -,urge en es el el egt .din a

de reactores nucleares travs de

Gtro . Problema con dos materiales ; giie

(ver EL GENK-CRONENBERG [26]),

siguiente :

es ms bajo que el

de

de solidificacin del lquido . Se comprende que la regin interior de la tubera va a fundirse, al tiempo que una capa de lquido en contacto con ella se solidifica . Para evitar la fusin total la tube ra, sta se refrigera en su exterior con un lquido fro . Como en el ejemplo anterior, la diferencia con el problema la funcin entalpa que ahora viene dada por : e< .

una tubera construida con otro material cuyo punto de fusin

Se trata de transportar un lquido a alta temperatura,

clsico de Stefan est en

e pi (y)c i (y)dy 0

(3 .3)

x62 . H(x,e)= 1 0 0

p i (y)c -_ (y)dy

p i (y)c i (y)dy+p i (B i )L ile=e

p (y) c i (y)dy +p (o ) L i i i i designan, respectivamente,

e>e . i la temperatura de

donde 0i , L i , St i (i= 1,2) fusin, el

transporta (i=1) y la tubera (i=2) .

calor latente y las regiones ocupadas por el lquido que se

21 8

4 .- Solidificacin de

una aleacin .

Como se ha dicho en la introduccin, en este caso la temp_e ratura de solidificacin depende de la concentracin de soluto (ver CHALMERS [2']) . Denotando por C s (resp . C L ) dicha concentracin en la fa se slida .(resp . lquida), se tendr : En el slido
(4 .1) ac s at

-DS 4CS = O

(D S :

coef . d e difusin)

En el lquido
aC

(4 .2)

at

-D L AC L = O

(D L :

coef . de difusin)

Adems la concentracin no es una funcin contnua en la interfase : la composicin del slido que se forma difiere de la del lquido en equil_i brio con l, cmo muestra el siguiente diagrama . Su interpretacin es sencilla . Sea C la concentracin de un A e punto de la aleacin en estado lquido, que se enfra progresivamente . Cuando se alcance la temperatura ~, dicho punto se solidificar y, en ese momento, rechazar soluto hacia la zona lquida hasta que su concentracin sea C B . 1 1 Si - y - son las pendientes de las ~S aL rectas de la figura, la ley de conserva cin de la masa impone la siguiente ecuacin en la interfase : Fig . 3 (4 .3) D S grad C S N - D L grad C L " N= (a S -a L ) (g-6 d )V " N B CA

donde 6 d es la temperatura de solidificacin del disolvente y g la temperatura a la que solidificar cada punto de 51 . FIX [28] sugiere la introducPara resolver (4 .1)-(4 .3), cin de la nueva funcin incgnita : C S +e 6V= S en la fase slida (4 .4) W=
os

en la fase lquida

que tiene un significado fsico preciso "W(x,t) es la temperatura a la que cambiara de estado el punto x a la vista de la concentracin que tiene en el tiempo t" . Por consiguiente, la interfase en el tiempo t se r :

(4 .5)

Il(t)= {XCS2 :

6(x,t)= W(x,t)}

y la funcin g vendr dada por : (4 .6) g(x)= W(x,t) A partir de cin de la ecuacin (4 .7)  G (W) 8 at -div(M 0 (W)grad W)= 0 (4 .1)-(4 .3) si no xcR(t) Ps difcil probar que W es solu

donde Ge y Me vienen dadas por : -0 L (6"-ed ) (4 .8) G (W)= 0 si W<e si w=e

1 [-aL(e-ed),
-a S(W-e d )

(6-1 0

si W>e

- L DL (4 .9) M e (W)=

si W<e

Por otra parte la peratura contina siendo es ahora funcin de W : fe 0

(1 .9) (2 .1)

ecuacin que rige (con U=1)

la

pero la entalpa local

evolucin de

la tem

P(y)c(y)dy p(W)L+ W p(y)c(y)dy]

si

e<W

(4 .10)

HW(e)=

W 0 p(y)c(y)dy,

p(W)L+l0 p(y)c(y)dy

fo

si e=W si e>W

La existencia de una solucin para las ecuaciones (4 .8) y con H definida por (4 .10), as como el desarrollo de mtodos numricos para su resolucin con justificacin matemtica, parecen cues (1 .9) tiones abiertas . No obstante, con respecto a este ltimo tema, las ideas contenidas en el artculo de FIX [28] junto con el algoritmo de BERMUDEZ-MORENO [12] goritmos convergentes como parecen indicar algunas experiencias [29]) .

para resolver problemas multivocos conducen a alrealiza_

das con ordenador (BERMUDEZ-SAGUEZ

BIBLIOGRAFIA C .SAGUEZ, M .LARRECQ . Controle de systmes frontire l .ibru : Appli cation la coule continue d'acier . 4eme Cvl . ir,- . sur, les Mthodes de Calcul Sc . e t Technique . Versailles (1979) . [2] [3] [4] [5] J .L .LIONS . Quelques mthodes de resolution de problines aux limi tes nonlinaires . Dunod . Paris (1969) . O .OLEINIK . A method of solution of the general Stefan problem . Soviet Math . Dokl . 1 (1960) p . 1350-1354 . S .L .KAMENOMOSTKAYA . On Stefan's problem . Math . Sb . 53 (1965) p . 485-514 . O .LADIZENSKAYA, V .SOLONNIKOV, N .URALTCEVA . Linear and quasilinear equations of parabolic type . Transl . Math . Monographs, vol . 23, A .M .S . Providence (1968) . A .FRIEDMANN . The Stefan problem in several space variables . Trans . Amer . Math . Soc . 13 3 (1968), p . 51-87 . [7] [8] [9] A .FRIEDMANN . One dimensional Stefan problems with nonmonotone free boundary . Trans . Amer . Math . Soc . 13 3 (1968),p . 89-114 . A .FRIEDMANN . Analiticiy of the free boundary for the Stefan problem . Arch . Rat . Mech .'and Analysis . 61 (1976), p . 97-125 . A .FRIEDMANN, D .KINDERLEHRER . A one phase Stefan problem . Ind . Univ . Math . J . 2 4 (1975), p . 1005-1035 .

[101 L .CAFFARELLI, A .FRIEDMANN . Continuity of the temperature in the Ste fan problem . Ind .Uriiv .Math .J . 2 8 (1979), p . 53-70 . [11] G .H .MEYER . Multidimensional Stefan oroblems . SIAM J . Num . Anal . 10 (1973), p . 522-538 . [12] A .BERMUDEZ, C .MORENO . Duality methods for solving variational inequalities . Comp . and Math . with . Appl . (1980) . [13] H .BREZIS . On some degenerate parabolic equations . Proc .Symp . on non linear functional analysis . Chicago (1968) de Proc . Symp . Pure Math . AMS (1970) . [14] H .BREZIS . Monotonicity methods in Hilbert spaces and some applications to nonlinear partial differential equations . En _Contributions to nonlinear functional analysis . Ed . E .H .Z A RANTONELLO, Academic Press (1971) . [15] A .DAMLAMIAN . Some results on the multi-phase Stefan problem . Commun . Partial Differ . Eq . 2 (1977), p . 1017-1044 . [16] J .CIAVALDINI . Analyse numrique d'un problime de Stefan deux phases par une methode d'lments finis . SIAM J . Num . Anal . 12 (1977) .

[17] A .DEGUEIL . Resolution par une methode d'elements finis d'un problme ele Stefan en termes de temperature et tenur en materian non gl . Tesis S er ciclo . Univ . Bordeaux I (1977) . [18] HAREZIS, J .CA .ROGERS, A .E .BERGER . A numerical method for solving the problem u t -4f(u)=0 . [19] G .DUVAUT . Resolution d'un problme de Stefan . C .R . Acad . Sci . Paris, 276 (1973), p . 1461-1463 . [20] G .DUVAUT . Problmes frontire libre en thorie des milieux continus . Rapport du LABORIA n- 185 (1976) . [21] M .FREMOND . Frost propagation in porous media . Int . Conf . en Comp . Methods in nonlinear Mechanics . Austin (1974) . [22] J .AGUIRRE, M .FREMOND . Frostpropagation in wet porous media en Applications of Methods of Functional Analysis in Mechanics . Lecture Notes in Mathematics n- 503 . Springer . [23] C .SAGUEZ . Estudio de problemas con frontera libre : Simulacin y control ptimo . Publicaciones del Dpto . d e Ecuaciones Funcionales . Universidad de Santiago (1980) . [24] A .BERMUDEZ, C .SAGUEZ . Une quation non-linaire intervenant en solidificati .on . (De prxima aparicin) . [25] RA .RUDDLE . The solidification of cas tings . The Institute of Me. tals . London (19571 . [26] M .S . EL-GENK, A .W .CRONENBERG . Stefan-like problems in finite geometry . AICHE Symp . Series . Heat Transfer-San Diego (1979) . [27] B .CHALMERS . Principles of solidification . John Wiley New York (1964) . [28] G .J .FIX . Numerical methods for alloy solidification problems . En Moving boundary problems . Ed . D .G .WILSON, A .D .SALOMON, P .T .BOGGS . Academic Press, New York (1978) . [29] A .BERMUDEZ, C .SAGUEZ . Trabajo sin publicar .