Captulo 1

Introduccin
1.1. El proceso de recticado

El proceso de recticado consiste en la eliminacin del material supercial de una pieza por un mtodo abrasivo. Esta abrasin se produce por medio de una muela, a la que se adhiere en su supercie una arenilla abrasiva, que gira a gran velocidad sobre la pieza. Los granos abrasivos actan como elementos de corte individuales, quitando pequeas limaduras de la pieza. Estos elementos abrasivos suelen consistir en granos de diamante, xido de aluminio o carburo de silicio, que permanecen sujetos a la muela con algn aglutinante resinoso o vtreo [1]. Los procesos de recticado industrial se usan fundamentalmente cuando se precisan tolerancias muy pequeas en el acabado de las piezas y/o un buen pulido supercial de las mismas. Estos procesos de recticado estn ampliamente extendidos en la industria, como por ejemplo la del automvil o la aviacin, y cualquier pequea mejora en los mismos puede resultar en un ahorro econmico bastante signicativo. Durante el proceso de recticado, la mayor parte de la energa se convierte en calor, el cual se acumula en la zona de contacto entre la pieza y la muela. Las altas temperaturas alcanzadas pueden aumentar, por un lado, la tolerancia del acabado y reducir, por otro, la calidad de la pieza, debido a las tensiones residuales generadas en la misma. El daado trmico de la pieza ocurre cuando las temperaturas generadas en el recticado superan la tempertatura de cambio de fase en la estructura metlica de la pieza [2], [3], [4] . Para reducir estos efectos adversos, se suele inyectar un lquido refrigerante sobre la zona de contacto entre la pieza y la muela. De este modo, se desminuye la generacin de energa por friccin y al mismo tiempo se refrigera la zona por conveccin. Adems, el lquido refrigerante ayuda a quitar de la zona de contacto el material extrado de la pieza. La gran desventaja de estos lquidos refrigerantes es que son altamente contaminantes, por lo que la optimizacin en su uso tiene un gran valor medioambiental. En la gura 1.1 se pueden observar los diferentes componentes

de un dispositivo real de recticado plano.

Figura 1.1: Dispositivo de recticado

Aunque se han llevado a cabo estudios del campo de temperaturas por mtodos computacionales directos [5], [6], es de un gran inters abordar el problema del daado trmico con mtodos analticos [7] por dos motivos. En primer lugar, se pueden obtener expresiones explcitas de la dependencia de la solucin con respecto a los parmetros del recticado; y en segundo lugar, la rapidez de la presentacin de resultados permite monitorizar de una manera prctica el proceso de fabricacin industrial. Resumiendo, podemos armar que tiene un gran inters industrial y medioambiental el estudio de modelos matemticos analticos de la generacin y conduccin del calor en el proceso de recticado, tanto en el caso con refrigerante como en el seco. De este modo, por un lado, se podrn minimizar los efectos trmicos adversos sobre la pieza y el consumo de refrigerante; y por otro lado, la implementacin prctica de estos modelos en la fabricacin industrial.

1.2.

Estructura y contenido

La presente memoria para optar al grado de doctor se encuadra en la lnea de investigacin de modelos matemticos trmicos del grupo de modelizacin interdisciplinar Intertech [8], [9]. En concreto, este trabajo presenta unos modelos matemticos para la transmisin de calor en el recticado industrial plano [10], [11], haciendo un extenso uso de ciertas funciones especiales de la FsicaMatemtica, como las funciones hipergeomtricas, las funciones de Hermite o las funciones de Bessel [12]. Comenzaremos con un captulo dedicado a deducir desde primeros principios la ecuacin del calor con conveccin y su equivalencia con la ecuacin del calor clsica bajo una traslacin de coordenadas [13]. Se ver tambin cmo se 2

aplica esta ecuacin del calor conveccin a la modelizacin de la transmisin de calor en el recticado plano. Se presentar en el siguiente captulo el modelo de Jaeger [14], [15] del recticado plano. Este modelo toma como fuente una banda lineal innita mvil que se desliza por la supercie de la pieza recticada. Las propiedades de las funciones de Bessel sern fundamentales para dar una expresin analtica compacta del campo de temperaturas que se obtiene en la pieza [16], [17]. En el captulo siguiente se presentar el modelo SV (Samara-Valencia) [18], [19], del recticado plano. Este modelo consiste en resolver la ecuacin del calor con conveccin con unas condiciones de contorno variables en el tiempo y en el espacio. Esta exibilidad en las condiciones de contorno har que el modelo SV sea ms general que el de Jaeger y que se pueda modelizar el recticado con aplicacin de uido refrigerante y muelas que produzcan en la pieza una friccin intermitente. Adems, permite obtener el campo de temperaturas no slo en el estado estacionario, sino tambin en el transitorio. En el siguiente captulo se comparan los modelos SV y de Jaeger en el estado estacionario para en el caso del recticado seco y friccin continua. La solucin del modelo SV constar de dos sumandos, T (0) y T (1) . En primer lugar, se deducir la equivalencia analtica de T (0) con la solucin de Jaeger para un slido innito. A partir de esta equivalencia particularizada en la supercie de la pieza, se ofrecer la resolucin de una integral impropia que no se encuentra en las tablas de integrales usuales [20]. Se comprobar numricamente que el campo de temperaturas dado por ambas soluciones son compatibles dentro del error numrico. En segundo lugar, se obtendr una expresin para T (1) , deducindose que la temperatura en la supercie para T (0) y T (1) son equivalentes. Para ello, se obtendr una representacin de la delta de Dirac que no se encuentra en las tablas de frmulas matemticas ms usuales [21]. A partir de la unicidad de la solucin del problema que resuelven ambos modelos [22], se deducir el clculo de una integral impropia que no aparece tampoco en las tablas de integrales habituales [20]. A continuacin, se presentar un mtodo sencillo y rpido para el clculo de la temperatura mxima, que se halla en la supercie de la pieza, con algunos resultados numricos. Por ltimo, se ofrecer el campo de temperaturas calculado numricamente para el recticado de una pieza de aleacin de titanio VT20 [23], [24], segn ambos modelos. Comprobaremos efectivamente que el modelo SV y el modelo de Jaeger son equivalentes. Los programas en MATLAB utilizados en esta ltima seccin se presentarn al nal a modo de apndice. En el ltimo captulo se ofrecern dos tipos de resultados a partir del modelo SV: el estado transitorio en el recticado seco y la solucin para el caso ms simple del recticado con refrigerante. Este ltimo caso supondr un coeciente constante de transmisin de calor del refrigerante sobre la supercie de la pieza. De las soluciones obtenidas se concluir que el recticado con refrigerante es una correccin al recticado seco, proporcional al coeciente de transmisin de calor. A continuacin, se mostrar un mtodo para obtener el mximo de la temperatura en el recticado con refrigerante estudiado; y as mismo, el tiempo que dura el estado transitorio, tanto en seco como con refrigerante. Por ltimo, se presentarn unas grcas de la evolucin de la temperatura en la supercie de la pieza, para el caso seco y con refrigerante; as como el campo de temper3

aturas en el recticado con refrigerante con distintos valores del coeciente de transmisin de calor. Para la obtencin de todas estas grcas se utilizarn los mismos parmetros de recticado que en el captulo anterior y unos programas elaborados en MATLAB que se detallarn al nal a modo de apndice.

Captulo 5

Comparacin de los modelos de Jaeger y SV

En este captulo vamos a comparar el estado estacionario de los modelos de Jaeger y SV para el caso de recticado seco y friccin continua. La solucin del modelo SV constar de dos sumandos, T (0) y T (1) . En primer lugar, se deducir la equivalencia analtica de T (0) con la solucin de Jaeger para un slido innito (3.30). A partir de esta equivalencia particularizada en la supercie de la pieza, se ofrecer la resolucin de una integral impropia que no se encuentra en las tablas de integrales usuales [20]. Se comprobar numricamente que el campo de temperaturas dado por ambas soluciones son compatibles dentro del error numrico. En segundo lugar, se deducir una expresin para T (1) , deducindose que la temperatura en la supercie para T (0) y T (1) son equivalentes. Para ello, se obtendr una representacin de la delta de Dirac que no se encuentra en las tablas de frmulas matemticas ms usuales [21]. A partir de la unicidad de la solucin del problema que resuelven ambos modelos, se deducir el clculo de una integral impropia que no aparece tampoco en las tablas de integrales habituales. A continuacin, se presentar un mtodo sencillo y rpido para el clculo de la temperatura mxima, que se encuentra en la supercie de la pieza, con algunos resultados numricos. Recordemos que, tal y como se coment en la introduccin, el conocimiento de la temperatura mxima es de vital importacia para evitar el daado trmico de la pieza. Por ltimo, se ofrecer el campo de temperaturas calculado numricamente para el recticado de una pieza de aleacin de titanio VT20, segn ambos modelos. Comprobaremos que, efectivamente, el modelo SV y el modelo de Jaeger son equivalentes.

5.1.

Comparacin para el caso clsico estacionario

Llamamos caso clsico de recticado cuando no tenemos refrigerante actuando sobre el proceso de recticado y la muela siempre est en contacto con la pieza, es decir no tenemos recticado pulsado. En este apartado vamos a com27

probar que la solucin que ofrece el modelo SV en el caso clsico alcanza la temperatura mxima en el estado estacionario. La solucin dada en (4.46) para el campo de temperaturas segn el modelo SV, la podemos desglosar en dos sumandos, (5.1) T (t, x, y) := T (0) (t, x, y) + T (1) (t, x, y) , donde, T (Z
(0)

(t, x, y) :=

) ! (x0 x vd s)2 d (t s, x0 ) ds 0 , exp dx 4k0 4ks s 2 Z Z t b(t s, x0 ) y 1 y exp T (1) (t, x, y) := 4 0 4ks 2ks k0 (x0 x vd s) T (t s, x0 , 0) exp 4ks
2

exp

y 2 4ks

(5.2)

dx0

(5.3)

ds . s

5.1.1.

Caso clsico estacionario

Cuando no tenemos refrigerante actuando sobre la pieza al ir recticndose, podemos considerar que la pieza est aislada del medio ambiente. Esto quiere decir que segn la ley del enfriamiento de Newton, (vase seccin 2.4.2), el ujo de calor de la pieza al medio es nulo, es decir, el coeciente de transmisin de calor h vale cero. Recordando (2.26), tenemos que, h = b (t, x) = 0. (5.4)

Cuando la friccin es continua, podemos considerar que el contacto entre pieza y muela se da en todo momento sobre la zona x (0, ) , por tanto, d (t s, x) = q H (x) H ( x) , (5.5)
2

donde q es el ujo de calor que entra en la pieza (unidades en el SI, J/ m s) y H (x) es la funcin escaln o de Heaviside. Sustituyendo (5.4) y (5.5) en (5.2) y (5.3), tenemos que, q T (0) (t, x, y) = 4k0 ) ! (5.6) 2 (Z Z t 2 y (x0 x vd s) ds 0 , exp exp dx 4ks 4ks s 0 0 2 Z t y y 1 T (1) (t, x, y) = exp 8k 0 4ks s2 (5.7) ) ! (Z 2 (x0 x vd s) T (t s, x0 , 0) exp dx0 ds. 4ks 28

A partir de las expresiones dadas en (5.6) y (5.7), podemos denir el campo de temperaturas para t , T (x, y) := T (0) (x, y) + T (1) (x, y) , donde, m T (0) (x, y) := l T (0) (t, x, y) ,
t t

(5.8) (5.9) (5.10)

T (1) (x, y) := l T (1) (t, x, y) . m

5.1.2.

Temperatura mxima en el estado estacionario

Comprobemos ahora que la temperatura mxima se alcanza cuando t . Efectivamente, reescribamos (5.6) y (5.7) de la siguiente manera, 2 Z t q y ds (0) , (5.11) F (x, s) exp T (t, x, y) = 4k0 0 4ks s 2 Z t y ds y (1) T (t, x, y) = G (t, x, s) exp , (5.12) 8k 0 4ks s2 donde hemos denido, Z

F (x, s) := Z

(x0 x vd s)2 exp 4ks

0

dx0 ,
2

(5.13)

(x0 x vd s) T (t s, x , 0) exp G (t, x, s) := 4ks

dx0 .

(5.14)

Como la integral de una funcin positiva es una cantidad positiva, la funcin F (x, s) > 0, x, s. Por tanto, el integrando dado en (5.11) es positivo, por lo que el mximo de T (0) ha de encontrase en t , 0 < T (0) (t, x, y) < T (0) (x, y) t (0, ) . (5.15)

Por otro lado, teniendo en cuenta que la temperatura en supercie es una funcin positiva (recordemos que la temperatura est medida en K), tenemos de nuevo que, como la integral de una funcin positiva es positiva, G (t, x, s) > 0. Por tanto, el integrando dado en (5.12) es positivo, por lo que el mximo de T (1) ha de encontrarse tambin en t , 0 6 T (1) (t, x, y) < T (1) (x, y) t (0, ) , (5.16)

donde la primera desigualdad es debida a que y 0. De (5.15) y (5.16), obtenemos nalmente que la temperatura mxima se alcanza en la pieza en t , 0 < T (t, x, y) < T (x, y) 29 t (0, ) . (5.17)

Para comprobar que el estado estacionario est en t , recordemos que, segn vimos en (2.10), el estado estacionario se alcanza cuando, T = 0. t (5.18)

Como, segn (5.17), T (t, x, y) alcanza un mximo en t , se verica (5.18), cuando t . Esto quiere decir que el estado estacionario se alcanza en t .

5.2.

Equivalencia de T (0) (x, y) con la solucin de Jaeger en un slido innito

Segn (5.9), podemos reescribir (5.6) para el estado estacionario, t , de la siguiente forma, T (0) (x, y) = Z

q 4k0
2

exp

y 2 4ks

(Z

(x0 x vd s) exp 4ks

dx

ds . s

(5.19)

Intercambiando el orden de integracin, podemos reescribir de nuevo (5.19) de una forma ms compacta, ! ) Z (Z 2 q y 2 + (x0 x vd s) ds T (0) (x, y) = exp dx0 . (5.20) 4k0 0 4ks s 0 Desarrollemos ahora el argumento de la funcin exponencial del integrando en (5.20), resulta, Z q vd (x x0 ) (0) T (x, y) = exp 4k0 0 2k (5.21) ! (Z ) 2 2 vd ds y 2 + (x x0 ) 0 s exp dx . 4ks 4k s 0 Haciendo el cambio, =
2 vd 4k

tenemos que (5.21) se convierte en,

s, y llamando, q |vd | 2 y 2 + (x x0 ) , z := 2k q 4k0

(5.22)

T (0) (x, y) = Z

Z 2 vd (x x0 ) z d dx0 . exp exp 2k 4 0 30

(5.23)

Teniendo en cuenta la representacin integral de K (z) , [12], Z 1 z z2 K (z) = (+1) d. exp 2 2 4 0 Podemos expresar (5.23) como, T (0) (x, y) = q 2kc Z
0

(5.24)

vd (x x0 ) K0 (z) dx0 . exp 2k

(5.25)
vd (xx0 ) , 2k

Recordando el valor de z dado en (5.22), y haciendo el cambio u = resulta nalmente, r ! Z vd (x)/2k v y 2 q d (0) u 2 du. e K0 +u T (x, y) = cvd vd x/2k 2k

(5.26)

5.2.1.

Cambio de coordenadas

El sistema de coordenadas que utiliza Jaeger para deducir su solucin no es el mismo que el que utiliza el modelo SV. Para compatibilizar ambas soluciones, tenemos que realizar un cambio de coordenadas segn el esquema de la gura 5.1. Si queremos pasar de la coordenada x en el sistema de coordenadas SV a

-b

Coordenada x de Jaeger

x 0 = 2b

Coordenada x del modelo SV

Figura 5.1: Cambio de coordenadas en x del sistema de Jaeger al modelo SV. la coordenada x0 en el sistema de coordenadas de Jaeger, tenemos que realizar el siguiente cambio, (5.27) x = x0 + b0 . Por tanto, teniendo en cuenta (5.27) y sabiendo que = 2b0 , tenemos que, x = x0 b0 . (5.28)

Adems, las coordenadas y y z se intercambian de un sistema a otro segn la gura 5.2. 31

Coordenadas del modelo SV

z x
Coordenadas de Jaeger

x y

Figura 5.2: Cambio de coordenadas tridimensional entre los sistemas del modelo SV y Jaeger. y = z 0 . (5.29)

Por otro lado, en el sistema de Jaeger, lo que consideramos que se mueve es la fuente a una velocidad vf , mientras que en el modelo SV lo que se mueve es la pieza a una velocidad vd . Segn (2.15), ambas velocidades tienen la misma magnitud, pero signo opuesto, es decir, vd = vf . (5.30)

Sustituyendo (5.27)-(5.29) en (5.26) y teniendo en cuenta (5.30), resulta, s 2 Z vf (x0 b0 )/2k vf z 0 q T (0) (x0 , z 0 ) = eu K0 + u2 du. (5.31) cvf vf (x0 +b0 )/2k 2k Finalmente, utilizando las variables adimensionales, X= vf x0 , 2k Z= vf z 0 , 2k B= vf b0 . 2k

y cambiando el orden de los lmites de integracin en (5.31), obtenemos la expresin clsica de Jaeger obtenida en (3.30), Z X+B p q (0) T (X, Z) = eu K0 Z 2 + u2 du. (5.32) cvf XB

5.3.

Temperatura T (0) en la supercie

En esta seccin vamos a deducir dos expresiones equivalentes segn el modelo SV y el de Jaeger para la distribucin de temperaturas en la supercie de 32

la pieza recticada en el caso clsico estacionario. Para ello, en primer lugar, deduciremos una expresin equivalente para T (0) segn el modelo SV. Obtendremos el resultado de una integral impropia que no se encuentra en las tablas de integrales ms habituales.

5.3.1.

Expresin equivalente para T (0) (x, y)

Segn (5.19), tenemos que la temperatura en el estado estacionario para recticado seco continuo viene dada por la expresin, T (0) (x, y) = Z
q 4k0

exp

y 2 4ks

1 s

(Z

(x0 x vd s)2 exp 4ks

dx

(5.33) ds.

Evaluemos la integral sobre la variable x0 en (5.33), ! Z (x0 x vd s)2 Ix0 = exp dx0 . 4ks 0 que se puede expresar en trminos de la funcin error como, x vd s x + vd s + erf . Ix0 = ks erf 2 ks 2 ks

(5.34)

(5.35)

Sustituyendo este resultado en (5.33), obtenemos la siguiente expresin para T (0) (x, y) , q k (0) T (x, y) = 4 k0 (5.36) 2 Z x vd s y x + vd s + erf ds. s1/2 erf exp 4ks 2 ks 2 ks 0 Haciendo ahora el cambio, s =
2 4k ,

llegamos a que (5.36) se convierte en,

q T (0) (x, y) = 4 k0 Z

y2 exp 2

x vd x vd + + d. erf erf 4k 4k

(5.37)

5.3.2.

Modelo SV

Segn (5.37) tenemos que el campo de temperaturas T (0) en supercie es, Z x vd q x vd (0) + + d. (5.38) erf T (x, 0) = erf 4 k0 0 4k 4k 33

Podemos observar las siguientes propiedades en la expresin dada en (5.38). En primer lugar, se satisface que,
x

l T (0) (x, 0) = 0, m

(5.39)

Como la integral de una funcin positiva es una cantidad positiva, y dado que q > 0, (pues es el ujo de calor que entra en la pieza debido a la friccin con la muela), podemos concluir de (5.38) y (5.40) que, T (0) (x, 0) > 0, x R. (5.41)

debido a que erf () = 1. Observemos tambin que debido a que > 0, tenemos que, x, , x vd x vd + > + . 4k 4k Como la funcin error es una funcin creciente, tenemos que, x v x vd d erf + + > 0. (5.40) erf 4k 4k

5.3.3.

Modelo de Jaeger

Considerando ahora el cambio de coordenadas del sistema de referencia de Jaeger al del modelo SV, (5.27) y (5.28), vd vf 0 (x + b0 ) = x, (5.43) 2k 2k vf 0 vd (x b0 ) = (x ) , (5.44) 2k 2k y sustituyendo (5.43) y (5.44) en (5.42), resulta que T (0) en la supercie de la pieza recticada es, v o qk n vd d ( x) Jg x . (5.45) T (0) (x, 0) = Jg k0 vd 2k 2k

Debido a la equivalencia de T (0) con la solucin de Jaeger para un slido innito (seccin 5.2), y teniendo en cuenta la expresin dada en (3.34) para la temperatura en supercie del modelo de Jaeger, resulta, v o qk n vf 0 f (x + b0 ) Jg (x0 b0 ) . (5.42) Jg T (0) (x0 , 0) = k0 vf 2k 2k

5.3.4.

Integral impropia

La expresin integral (5.38) dada para T (0) (x, 0), no est tabulada en las tablas de integrales habituales [20], sin embargo, comparando (5.38) con el resultado obtenido para T (0) (x, 0) en (5.45), podemos dar un resultado para dicha integral. Efectivamente, tomando a = x y b = vd /4k en (5.38), llegamos a, Z a q a (0) + b erf + b d . (5.46) erf T (a, 0) = 4 k0 0 34

Haciendo el mismo cambio en (5.45), obtenemos, q {Jg [2b ( a)] Jg (2ba)} . T (0) (a, 0) = 4bk0

(5.47)

Igualando ahora las expresiones dadas en (5.46) y (5.47), y despejando, concluimos que, Z a a + b erf + b d erf 0 (5.48) 1 = {Jg [2b ( a)] Jg (2ba)} , b donde la funcin Jg (x) fue denida en (3.33).

5.4.

Solucin para T (1) (x, y)

En esta seccin vamos a deducir una expresin para T (1) en el caso clsico, es decir, recticado seco y friccin continua. Segn (5.7), la expresin para T (1) en el estado clsico estacionario se puede expresar como, Z y vd (x0 x) T (1) (x, y) = T (x0 , 0) exp 8k 2k (5.49) ! ) (Z 2 2 vd ds y 2 + (x0 x) s exp dx0 . 4ks 4k s2 0 Para evaluar la integral dada en (5.49) sobre la variable s, ! Z 2 2 vd ds y 2 + (x0 x) s exp , Is := 4ks 4k s2 0

(5.50)

podemos hacer uso de la representacin integral de las funciones de Bessel de tercera especie (5.24), tomando, q |vd | y 2 + (x x0 )2 , (5.51) z := 2k llegando a, v 2 K1 (z) . (5.52) Is = d k z Sustituyendo (5.52) y (5.51), en (5.49), resulta, 2 Z yvd vd (x0 x) T (1) (x, y) = T (x0 , 0) exp 8k 2 2k K1 q 2 y 2 + (x x0 ) q dx0 . |vd | 2 + (x x0 )2 y 2k
|vd | 2k

(5.53)

35

Haciendo en (5.53) el cambio X 0 = vd x0 /2k y tomando las variables adimensionales, |vd | y |vd | x , Y = . (5.54) X= 2k 2k tenemos nalmente que, q 2 + (X X 0 )2 Z K1 Y 0 Y q T (1) (X, Y ) = T (X 0 , 0) eX X dX 0 . (5.55) 2 2 Y 2 + (X X 0 )

5.5.

Temperatura T (1) en la supercie

Segn la expresin dada en (5.55) para la temperatura T (1) , tenemos que su expresin para Y 0+ (recordemos que Y 0) es, Z 0 1 (1) m T (X 0 , 0) eX X N (X 0 , Y ) dX 0 , (5.56) T (X, 0) = l + Y 0 2 donde hemos denido la funcin ncleo de T (1) como, q Y 2 + (X X 0 )2 K1 q N (X 0 , Y ) := Y . Y 2 + (X X 0 )2

(5.57)

5.5.1.

Funcin ncleo en la supercie

Vamos a ver que la funcin ncleo se comporta como una delta de Dirac cuando Y 0+ . Efectivamente, en X 0 6= X tenemos que,
Y 0+

l N (X 0 , Y ) = 0. m

(5.58)

Sin embargo, en X 0 = X, sabiendo que K1 (0+ ) = , tenemos que,

Y 0+

m l N (X, Y ) = l + K1 (|Y |) = . m
Y 0

(5.59)

Aunque la funcin ncleo tenga un valor innito en X 0 = X cuando Y 0+ , su integral es nita. Efectivamente, denamos la siguiente integral, Z m N (X 0 , Y ) dX 0 . (5.60) IN := l +
Y 0

Haciendo el cambio = X 0 X y teniendo en cuenta la paridad del integrando que resulta, llegamos a, p Z K1 Y 2 + 2 p IN = l + 2Y m d. (5.61) Y 0 Y 2 + 2 0 36

Realizando ahora los cambios: u = IN

p Y 2 + 2 y u = Y cosh z, resulta, Z = l + 2Y m K1 (Y cosh z) dz.

Y 0 0

(5.62)

Segn la representacin de Kn dada en la bibliografa [12], tenemos que, K1 (x) = 1 1 X (x/2)2k+1 + x 2 k! (k + 1)! k=0 h x i 2 log (k + 1) (k + n + 1) , 2
x0+

por tanto,

l xK1 (x) = m

1 .

(5.63)

Aplicando (5.63) a (5.62), obtenemos, Z IN = 2

0

dz = . cosh z

(5.64)

5.5.2.

Por tanto, de acuerdo a (5.58), (5.59) y (5.64), tenemos que la funcin ncleo en la supercie se comporta como un delta de Dirac, es decir, p K1 y 2 + u2 y p = D (u) . (5.65) l m y0 y 2 + u2

Resultado para T (1) en la supercie

Sabiendo que la funcin ncleo se comporta en la supercie como una delta de Dirac, podemos sustituir (5.65) en (5.56), obteniendo, Z 0 1 T (X, 0) , T (X 0 , 0) eX X D (X X 0 ) dX 0 = T (1) (X, 0) = 2 2 es decir, T (X, 0) = 2T (1) (X, 0) . Como, por denicin, la temperatura es la suma T
(0)

(5.66) yT
(1)

, (5.8), (5.67)

T (X, 0) = T (0) (X, 0) + T (1) (X, 0) ,

sustituyendo (5.66) en (5.67), llegamos a que T (0) y T (1) son equivalentes en la supercie, (5.68) T (1) (X, 0) = T (0) (X, 0) . Ahora bien, de acuerdo a (5.68) y (5.67), queda que la temperatura en supercie es, (5.69) T (X, 0) = 2T (0) (X, 0) . 37

Debido a que el resultado obtenido para T (0) en (5.32), es equivalente al resultado obtenido en el modelo de Jaeger para un slido innito (3.30), podemos deducir, a partir de (3.35) y (5.69), que la temperatura en supercie de la pieza recticada coincide en los modelos de Jaeger y SV, TJaeger (x, 0) = TSV (x, 0) . (5.70)

5.6.

Campo de temperaturas en el modelo SV

A partir de (5.26) y teniendo en cuenta que k0 = kc, podemos obtener el campo de temperaturas en variables adimensionales (5.54) para T (0) , T
(0)

qk (X, Y ) = k0 vd

eu K0

p Y 2 + u2 du,

(5.71)

siendo := vd /2k. Para obtener una expresin del campo de temperaturas T (1) , podemos sustituir (5.69) en (5.55), y hacer el cambio u = X X 0 , con lo que obtenemos, Z Y 2 + u2 Y (1) u K1 T (X u, 0) e du, (5.72) T (X, Y ) = 2 Y 2 + u2 donde, segn (5.69), la temperatura en supercie dada en (5.45) en variables adimensionales es, T (X, 0) = 2T (0) (X, 0) 2qk {Jg ( X) Jg (X)} . = k0 vd (5.73) (5.74)

Por tanto, el campo de temperaturas en el modelo SV resulta nalmente, TSV (X, Y ) = T (0) (X, Y ) + T (1) (X, Y ) . Observemos que, de acuerdo a (5.39) y (5.69), tambin se cumple,
X

(5.75)

l T (X, 0) = 0, m

(5.76)

donde, segn (5.70), la condicin (5.76) es idntica para los modelos de Jaeger y SV.

5.7.
5.7.1.

Equivalencia del modelo de Jaeger y SV

Condiciones de contorno

Segn el modelo SV, la condicin de contorno en la supercie viene dada por (4.7). Sabiendo que en el caso clsico estacionario, el trmino de la friccin 38

viene dado por (5.5) y el de conveccin es nulo (5.4), tenemos que la condicin de contorno se expresa como, k0 y T (x, 0) = q H (x) H ( x) . (5.77)

Teniendo en cuenta el cambio de coordenadas entre el modelo SV y el de Jaeger dado en (5.27)-(5.29), obtenemos, k0 z0 T (x0 , 0) = q H (x0 + b) H (b x0 ) . (5.78)

Podemos observar que la condicin de contorno obtenida para el modelo SV en (5.78) es equivalente a la obtenida en el modelo de Jaeger dada en (3.39).

5.7.2.

Equivalencia entre T (0) y T (1)

Hasta ahora hemos visto cmo el modelo de Jaeger describe el proceso del recticado plano considerando un slido seminnito. Para ello, Jaeger resuelve la ecuacin del calor para una fuente mvil en el estado estacionario con la condicin de contorno dada en (3.39). Por otro lado, hemos desarrollado una expresin, dada en (5.75), para el campo de temperaturas segn el modelo SV en el caso clsico estacionario. Esta expresin resuelve la ecuacin del calor con conveccin segn la condicin de contorno dada en (5.77). Dado que la ecuacin del calor con conveccin es equivalente a la ecuacin del calor para una fuente mvil (vase seccin 2.3), y que las condiciones de contorno de ambos problemas son idnticas, (3.39) y (5.78), las soluciones dadas por ambos modelos resuelven el mismo problema estacionario, 2 T (x, y) = 0, k0 Ty (x, 0) = q H (x) H ( x) , con la misma condicin dada en (5.76),
x

(5.79) (5.80)

l T (x, 0) = 0. m

(5.81)

Como el problema planteado en (5.79)-(5.81), tiene solucin nica [13], concluimos que, (5.82) TSV (x, y) = TJaeger (x, y) . Teniendo en cuenta la expresin dada en el modelo de Jaeger (3.35), y la equivalencia que se mostr en la seccin 5.2, resulta que, TJaeger (x, y) = 2T (0) (x, y) . (5.83)

Por otro lado, teniendo en cuenta la expresin para el modelo SV (5.75) y la del modelo de Jaeger (5.83), si ambos modelos aportan la misma solucin (5.82), ha de cumplirse que, (5.84) T (1) (x, y) = T (0) (x, y) .

39

5.7.3.

Integral impropia

Recordando el producto de convolucin para la transformada de Fourier, podemos observar que el campo de temperaturas debido a la parte antisimtrica dado en (5.72), se puede expresar de la siguiente manera, T (1) (, y) = T (, 0) n (, y) , (5.85)

donde hemos utilizado la siguiente notacin para la transformada de Fourier, F [f (x)] () := f () , y donde hemos denido la funcin n como la transformada de Fourier de la funcin ncleo n, Z 1 n (u, y) eiu du, n (, y) = 2 habiendo denido la funcin ncleo n como, p K1 y 2 + u2 n (u, y) := yeu p . y 2 + u2

(5.86)

Teniendo en cuenta (5.69), podemos expresar (5.85) como, T (1) (, y) = 2T (0) (, 0) n (, y) . (5.87)

Por otro lado, la expresin dada en (5.71) para T (0) se puede expresar como, Z qk (0) H (x u) H (u x + ) m (u, y) du, (5.88) T (x, y) = k0 vd donde H (x) es la funcin escaln o de Heaviside y donde hemos denido, p m (u, y) := eu K0 y 2 + u2 . (5.89) Sabiendo que > 0, podemos derivar con respecto a x en (5.88), obteniendo, T (0) x = = Z qk [ D (u x + ) D (u x)] m (u, y) du k0 vd qk [m (x , y) m (x, y)] , (5.90) k0 vd

donde D (x) es la funcin delta de Dirac. Recordando ahora la propiedad para la transformada de Fourier de la derivada de una funcin, resulta que, (0) T (, y) = i T (0) (, y) . (5.91) F x 40

Tomando la transformada de Fourier en ambos miembros de (5.90), y teniendo en cuenta (5.91), llegamos a, i T (0) (, y) = qk F [m (x , y) m (x, y)] () . k0 vd (5.92)

Teniendo en cuenta las propiedades de la transformada de Fourier, llegamos a, T (0) (, y) = qk 1 ei m (, y) k0 vd i = h () m (, y) ,

(5.93)

donde hemos abreviado la notacin deniendo la funcin, h () := qk 1 ei . k0 vd i

Tomando la transformada de Fourier en (5.84), tenemos, T (1) (, y) = T (0) (, y) . Sustituyendo (5.87) y (5.93), en (5.94), obtenemos, 2T (0) (, 0) n (, y) = h () m (, y) . Volviendo a tener en cuenta (5.93), para y = 0, tenemos que, T (0) (, 0) = h () m (, 0) . Sustituyendo (5.96) en (5.95), llegamos a, 2m (, 0) n (, y) = m (, y) . (5.97) (5.96) (5.95) (5.94)

Aplicando de nuevo el producto de convolucin para la transformada de Fourier en (5.97), tenemos que, Z 1 m (x u, 0) n (u, y) du. (5.98) m (x, y) = Teniendo en cuenta las deniciones dadas en (5.89) y (5.86), y simplicando, resulta nalmente, p p |y| Z K1 y 2 + u2 p K0 x2 + y 2 = K0 (|x u|) du. (5.99) y 2 + u2

Aplicando la representacin de la delta de Dirac que se obtuvo en (5.65), se puede comprobar que (5.99) se satisface cuando y 0+ . Aunque la integral impropia ofrecida en (5.99) no se encuentra en las tablas de integrales ms habituales [20], se puede comprobar que se satisface numricamente. En las guras 5.3 y ?? se 41

Figura 5.3: Resultado numrico para ambos miembros de la ecuacin (5.99). han representado las grcas de las funciones de ambos miembros de la ecuacin (5.99). El dominio de representacin seha escogido (x, y) [, ] [, ], p x2 + y 2 tiene un valor signicativo. pues es donde la funcin K0 La diferencia entre la evaluacin de ambos miembros de (5.99) en la gura 5.3 es compatible con el error cometido en el clculo numrico, ECMrel = 5, 62 106 << 1, donde ECMrel indica el error cuadrtico medio relativo entre ambas clculos de la grca de la gura 5.3. En el Apndice A, seccin A.2.8, se detallan los programas efectuados en MATLAB para la elaboracin de las grcas presentadas en las guras de esta seccin.

5.8.

Temperatura mxima

Segn (5.79), el campo de temperaturas T (x, y) es una funcin armnica. Sabemos por el principio del mximo para funciones armnicas [22], que ste se ha de encontrar en la frontera de la regin considerada, es decir, y = 0, en nuestro caso. Teniendo en cuenta la equivalencia de los modelos de Jaeger y SV (5.82)-(5.83), tenemos que hallar, por tanto, el mximo en x de la funcin

42

T (0) (x, 0). Para ello, derivemos la expresin (5.38) con respecto a x, obteniendo, Z q x vd 2 T (0) (x, 0) = + exp (5.100) x 2k0 0 4k & 2 ') d x vd + , exp 4k donde hemos aplicado la regla de Leibniz y la derivada de la funcin error. Para operar en (5.100), por simplicidad consideraremos la funcin, Z vd 2 d + . (5.101) R () := exp 4k 0 Desarrollando el exponente del integrando en (5.101), obtenemos, v Z 2 d 2 vd 2 d R () = exp . exp 2 2k 16k 2 0
v2 2 v2

v d z= . 2k De acuerdo con la representacin integral de K0 , (5.24), podemos expresar la funcin R de la siguiente forma, v v d d R () = exp K0 . 2k 2k Por tanto, la derivada parcial dada en (5.100), queda, q T (0) (x, 0) = [R (x) R (x )] . x 2k0 (5.102)

donde hemos de tomar,

d d Realizando el cambio de variable, t = 16k2 , dt = 8k2 d, donde se cumple d dt = 2t , llegamos a, 2 v 1 Z z dt d , exp t R () = exp 2k 2 0 4t t

Teniendo en cuenta que las funciones de Bessel K (x) se hacen innito cuando x 0, [12], tenemos que, T (0) (0, 0) x T (0) (, 0) x = , = . (5.103) (5.104)

Para determinar los intervalos de crecimiento y decrecimiento de T (0) (x, 0) hemos de calcular el signo de la expresin dada en (5.102). Para ello, consideremos por simplicidad la funcin, x e K0 (x) x < 0 (5.105) r (x) := ex K0 (|x|) = x e K0 (x) x>0 43

donde se cumple que, R (x) = r v

d

2k

0 Teniendo en cuenta que K0 (x) = K1 (x), [12], podemos derivar la expresin para r dada en (5.105), obteniendo, ex [K0 (x) K1 (x)] x < 0 0 (5.107) r (x) = ex [K0 (x) + K1 (x)] x>0

x ,

R0 (x) =

vd 0 vd r x . 2k 2k

(5.106)

Podemos reescribir (5.107) de la siguiente manera,

r0 (x) = ex [K0 (|x|) + sign (x) K1 (|x|)] . Como segn [16], K1 (x) > K0 (x) > 0, x > 0, resulta que, r0 (x) > 0, r0 (x) < 0, x < 0, x > 0. (5.108) (5.109)

5.8.1.

Caso vd > 0

Debido a que k es una magnitud fsica positiva, k > 0, tenemos que, de acuerdo a (5.106) y (5.108)-(5.109), R0 (x) > 0, R0 (x) < 0, x < 0, x > 0. (5.110) (5.111)

Es decir, la funcin R es creciente en x < 0 y decreciente en x > 0. Observemos que como > 0, siempre se satisface que, x < x. Para valores negativos, x < x < 0, como la funcin R es creciente, R (x ) < R (x), y por tanto, segn (5.102), tenemos, T (0) (x, 0) > 0, x 0, (5.112) x vd >0 donde hemos tenido en cuenta (5.103). Para valores positivos, 0 < x < x, como la funcin R es decreciente, R (x ) > R (x) , y por tanto, segn (5.102), tenemos, T (0) (x, 0) < 0, x . (5.113) x vd >0

donde hemos tenido en cuenta (5.104). / Segn (5.112) y (5.113), T (0) (x, 0) no presenta ningn extremo en x (0, ) . Aplicando el teorema de Bolzano a la funcin x T (0) (x, 0) , teniendo en cuenta

44

de nuevo (5.112) y (5.113), concluimos que T (0) (x, 0) presenta al menos un extremo en c (0, ), T (0) (c, 0) = 0. (5.114) x vd >0

Podemos observar que el extremo en x = c es nico debido a que la funcin x T (0) (x, 0) es decreciente en x (0, ) . Efectivamente, derivando en (5.102), obtenemos, q 2 T (0) (x, 0) = [R0 (x) R0 (x )] . (5.115) x2 2k0

Ahora bien, para 0 < x < , tenemos, segn (5.110)-(5.111), que, R0 (x) < 0, R0 (x ) > 0, x > 0, x < . (5.116) (5.117)

Por tanto, recordando que q > 0, pues es el ujo entrante de calor en la pieza, y que k0 es una magnitud fsica positiva, k0 > 0, segn (5.115) y (5.116)-(5.117) resulta que, 2 T (0) (x, 0) < 0, x (0, ) . (5.118) x2 Como segn (5.103)-(5.104), la funcin x T (0) (x, 0) cambia de signo en el intervalo [0, ] , y segn (5.118) x T (0) (x, 0) es una funcin decreciente en x (0, ) , concluimos que, (5.119) !cx T (0) (c, 0) = 0. Teniendo ahora en cuenta (5.41), (5.39) y (5.119), concluimos que la temperatura mxima de T (0) en la supercie se halla en x = c. Tmx (x, 0) = T (0) (c, 0) , a
(0)

x R.

5.8.2.

Caso vd < 0

Aplicando que la funcin error es impar, a la expresin de T (0) (x, 0) dada en (5.38), tenemos que, Z x vd q x vd + + erf + d. erf T (0) ( x, 0) = 4k 4k 4 k0 0 vd Es decir, T (0) ( x, 0)
vd

Por tanto, calculando el mximo c (0, ) para vd > 0 segn (5.114), podemos obtener el mximo c0 = c, con c0 (0, ) , para el caso vd < 0. En la seccin 5.1.2 ya comprobamos que la temperatura mxima se alcanza en el estado estacionario. Una vez localizado ste mximo en la supercie xmx , a la temperatura mxima la podremos hallar segn la ecuacin (5.69),

= T (0) (x, 0)

vd

(5.120)

45

Tmx = 2T (0) (xmx , 0) . a a En el Apndice A, seccin A.2.6, se detalla un cdigo en MATLAB para hallar este mximo numricamente.

5.8.3.

Resultados numricos

Hemos tomado como parmetros de recticado = 2, 663 103 m, vd = 0, 53 m/s y q = 5, 89 107 W/m2 , siendo las propiedades trmicas de la pieza las de una aleacin de titanio VT20 [23], k0 = 13 W/(mK) y k = 4, 23 106 m2 /s, y una temperatura inicial T0 = 300 K (temperatura ambiente). Hace ms de cuarenta aos que empezaron a introducirse en la industria de la aviacin rusa las aleaciones de titanio para la construccin de motores. Las ventajas de estas aleaciones en trminos de resistencia a la corrosin son bien conocidas para las principales compaas del sector [24]. En la gura 5.4 se puede observar la distribucin de la temperatura en la supercie de la pieza. Aunque aparentemente la grca no parezca derivable en x = 0, , en las gura 5.5 se ofrece el comportamiento de la temperatura en el entorno de x = 0, . Para el clculo del valor de la temperatura mxima en la supercie, se ha hecho uso de la expresin para T (0) (x, 0) dada en (5.45), debido a su rapidez computacional. Tmx = 1042,23 K. a xmx a xmx a = 0, 0072 , = 0, 9928 , vd = 0, 53 m/s. vd = 0, 53 m/s. (5.121)

Estos valores estn de acuerdo con el campo de temperaturas obtenido en las guras 5.7 y 5.8. En el Apndice A, secciones A.1 y A.2, se detallan los programas elaborados en MATLAB que se han realizado para representar grcamente los resultados que se presentan en las guras de esta seccin.

46

Figura 5.4: Temperatura en la supercie de la pieza 2T (0) (x, 0) para x (3/2, 3/2) .

Figura 5.5: Temperatura en supercie en los entornos de x = 0, .

47

5.9.

Comparacin numrica de los modelos de Jaeger y SV

A continuacin vamos a presentar el campo de temperaturas dentro de la pieza calculado por las expresiones dadas por los modelos de Jaeger y SV respectivamente. En las guras de esta seccin se han usado los mismos parmetros de recticado que en la seccin 5.8.3. En la gura 5.6, se ha representado el resultado para T (1) (x, y) de acuerdo a la expresin (5.55.

Figura 5.6: Resultado obtenido para T (1) (x, y) en (x, y) [, ] [0, /10] . En la gura 5.8 se ha obtenido el campo de temperaturas completo T = T0 + T (0) + T (1) segn el modelo SV y en la gura 5.7 se ha obtenido el campo de temperaturas segn el modelo de Jaeger, T = T0 +2T (0) . Para la temperatura inicial se ha tomado una temperatura ambiente de T0 = 300K. Para comparar los resultados obtenidos por los modelos de Jaeger y SamaraValencia, (guras 5.7 y 5.8), podemos calcular el error cuadrtico medio relativo entre ambas grcas, obtenindose, ECMrel = 3, 34 107 << 1. En el Apndice A, secciones A.1 y A.2, se detallan los programas elaborados en 48

 Figura 5.7: Resultado obtenido para T (x, y) segn el modelo de Jaeger en (x, y) [, ] [0, /10] .

49

 Figura 5.8: Resultado obtenido para T (x, y) segn el modelo SV en (x, y) [, ] [0, /10] .

50

MATLAB que se han realizado para representar grcamente los resultados que se presentan en las guras de esta seccin.

51

52

Captulo 6

Recticado con refrigerante

En este captulo vamos a obtener una expresin explcita del campo de temperaturas resolviendo la ecuacin integral del modelo SV para el caso ms sencillo del recticado con refrigerante. Este caso supone tomar un coeciente de transmisin de calor constante del refrigerante sobre toda la pieza. La ecuacin integral se resolver iterativamente, partiendo de una aproximacin inicial que slo considera el trmino de friccin, T (0) , y llegando a una solucin exacta. Para ello, primero se abordar el problema en la supercie de la pieza, y luego en profundidad, utilizando frecuentemente muchas de las propiedades de ciertas funciones especiales, como las funciones hipergeomtricas conuentes o las funciones de Hermite. A partir de la solucin obtenida se ofrecer un procedimiento para hallar el mximo de la temperatura en el estado estacionario y el tiempo que dura el transitorio. Por ltimo, se presentarn unas grcas de la evolucin de la temperatura en supercie y del campo de temperatura para distintos coecientes de transmisin de calor del refrigerante.

6.1.

Expresin para T (0) (t, x, y)

La expresin que tenamos para la evolucin temporal del campo de temperaturas T (0) era, segn (5.2), la siguiente, q T (0) (t, x, y) := 4k0 ) ! (6.1) 2 (Z Z t 2 y (x0 x vd s) ds 0 . exp exp dx 4ks 4ks s 0 0 De acuerdo a (5.35), la integral sobre la variable x0 en (6.1) es, ! Z 2 (x0 x vd s) exp Ix0 = dx0 4ks 0 = ks ERF (x, s) , 53

(6.2)

donde hemos denido la funcin, vd s + x x + vd s erf . ERF (x, s) := erf 2 ks 2 ks

(6.3)

Sustituyendo (6.2) en (5.33), obtenemos la siguiente expresin para T (0) (t, x, y) , Z t 2 ds q k y ERF (x, s) 1/2 . exp (6.4) T (0) (t, x, y) = 4 k0 0 4ks s

6.2.

Expresin para T (1) (t, x, y)

En esta seccin vamos a analizar el campo de temperaturas en la pieza recticada cuando aplicamos lquido refrigerante sobre su supercie. Consideraremos que el coeciente de transmisin de calor entre la pieza y el medio ambiente es constante en todo momento y en todo punto de la supercie de la pieza, es decir, segn (5.4), b (t, x) = . (6.5) Por tanto, de acuerdo a la denicin dada para el campo de temperaturas T (1) (5.3), tenemos que, 2 Z Z t y 1 y exp T (1) (t, x, y) = 4 0 4ks 2ks k0 (6.6) ) ! 2 (x0 x vd s) ds . T (t s, x0 , 0) exp dx0 4ks s

6.2.1.

Deniciones previas

Para facilitar el manejo de las expresiones que vamos a utilizar en este caso del recticado con refrigerante, ofrecemos las siguientes deniciones, T (1) (t, x, y) = i [T (t, x, 0)] , y donde hemos denido los siguientes funcionales, i [T (t, x, 0)] := iy [T (t, x, 0)] + iy [T (t, x, 0)] , y 2 Z t y y ds s [T (t, x, 0)] , iy [T (t, x, 0)] := exp 8k 0 s2 4ks 2 Z t ds y exp s [T (t, x, 0)] , iy [T (t, x, 0)] := 4k0 0 s 4ks (x0 x vd s) dx T (t s, x , 0) exp 4ks
0 0

(6.7)

(6.8) (6.9) (6.10)

siendo el funcional s , Z s [T (t, x, 0)] :=

(6.11)

54

Debido a la linealidad de las integrales, los funcionales iy , iy s son lineales. Por otro lado, denimos la temperatura de orden p como, ! Z t Z 2 q ( x0 vd ) d d exp p (t, x) := . (6.12) 4k0 0 p 0 4k Sustituyendo (6.2) en (6.12), nos queda, Z t q k d ERF (x, ) . p (t, x) = p1/2 4 k0 0 De acuerdo a (6.4), observemos que se cumple, 1 (t, x) = T (0) (t, x, 0) .

(6.13)

(6.14)

6.2.2.

Vamos a ver cmo acta el funcional s sobre la temperatura de orden p, p . Para ello, sustituimos la denicin dada en (6.12) para p en el funcional s (6.11), y reordenamos las integrales, obteniendo, Z ts Z Z q d s [p (t, x)] = d dx0 (6.15) 4k0 0 p 0 & !' 2 2 ( x0 vd ) (x0 x vd s) + exp . 4ks 4k Desarrollando el exponente del integrando dado en (6.15), llegamos a, !Z 2 2 ts q (x + vd s) v d (6.16) exp exp d s [p (t, x)] = 4k0 4ks p 4k 0 Z vd 2 + d exp 4k 2k 0 02 Z x0 x + s x s+ 0 + . dx exp 4k s 2k s Llamando Ix0 a la ltima integral dada en (6.16), llegamos a, Ix0 = 2 r ks exp s+ x2 4ks (s + ) exp x 2s + 4k (s + ) 2k (s + ) . (6.17)

Funcional s

Sustituyendo (6.17) en (6.16), queda, ! 2 q ks (x + vd s) s [p (t, x)] = exp (6.18) 4ks 2 k0 2 Z ts v d x2 exp d exp 4k 4ks (s + ) p1/2 s + 0 Z 2 x + vd + . d exp 4k (s + ) 2k s+ 0 55

Llamando I a la ltima integral dada en (6.18), obtenemos, 2 p x2 v2x v (s + ) + + d ERF (x, s + ) . I = k (s + ) exp d 4k 4k (s + ) 2k (6.19) Sustituyendo el resultado para I dado en (6.19) en (6.18), y simplicando, nalmente llegamos al siguiente resultado, Z qk s t H ( s) d ERF (x, ) . (6.20) s [p (t, x)] = 2k0 0 ( s)p1/2

6.2.3.

Funcional i y

Veamos ahora cmo acta el funcional i sobre la temperatura de orden p, y p . Sabemos, por la denicin dada en (6.8), que, i [p (t, x)] = iy [p (t, x)] + iy [p (t, x)] . y (6.21)

Sustituyendo la expresin obtenida en (6.20) en la denicin dada para iy (6.9), y cambiando el orden de integracin, resulta, Z t qy d ERF (x, ) (6.22) iy [p (t, x)] = 16k0 0 2 Z t H ( s) y . ds exp p1/2 3/2 4ks 0 ( s) s Observemos que, dado que [0, t] , la integral dada en (6.22) sobre la variable s, se puede expresar de la siguiente manera, 2 Z y ds (6.23) exp p (y, ) := p1/2 3/2 4ks 0 ( s) s Por tanto, qy 16k0 Z
t

iy [p (t, x)] = Anlogamente,

d ERF (x, ) p (y, ) .

0

(6.24)

qk iy [p (t, x)] = 2 8k0 donde, p (y, ) := Z

d ERF (x, ) p (y, ) , ds y 2 4ks

(6.25)

. (6.26) ( s)p1/2 s1/2 Las integrales dadas en (6.23) y (6.26) se pueden calcular con ayuda de la funcin hipergeomtrica conuente de segunda especie. Efectivamente, considerando la integral, Z ds Ip,q := eA/s , (6.27) p1/2 q 0 ( s) s exp
0

56

y haciendo los cambios, s = /t y z = t 1, tenemos, Z At p+q5/2 3/2pq A/ z 1/2p (1 + z) e exp dt. Ip,q = 0

(6.28)

Teniendo en cuenta la representacin integral de la funcin hipergeomtrica conuente de segunda especie [12], 1 () Z

(, ; t) =

etz z 1 (1 + z)

dz,

Re > 0, Re t > 0.

podemos expresar (6.28) en los siguientes trminos, A A 3 3 3/2pq p p, q, . exp Ip,q = 2 2 Tomando A = y 2 /4k y q = 3/2, tenemos, 2 3 y2 y 3 3 p p, , , p (y, ) = p exp 4k 2 2 2 4k y con q = 1/2, p (y, ) :=
1p

(6.29)

(6.30)

exp

y 2 4k

1 y2 3 3 p p, , . 2 2 2 4k

(6.31)

Por tanto, sustituyendo (6.30) y (6.31), en las expresiones dadas en (6.24) y (6.25) para los funcionales iy y iy , resulta, qy 3 p (6.32) iy [p (t, x)] = 16k0 2 2 Z t 3 y2 ERF (x, ) 3 y p, , exp . d p 2 2 4k 4k 0 iy [p (t, x)] = qk 3 p (6.33) 2 8k0 2 2 Z t 1 y2 ERF (x, ) 3 y p, , exp . d p1 2 2 4k 4k 0

Finalmente, segn (6.21), podemos obtener la siguiente expresin para i acy tuando sobre p , Z t 2 q 3 ERF (x, ) y i [p (t, x)] = p (6.34) d exp y 8k0 2 p1 4k 0 3 y2 k 1 y2 y 3 3 p, , p, , . 2 2 2 4k k0 2 2 4k 57

6.2.4.

Clculo en la supercie

Cuando nos hallamos en la supercie, y = 0, el clculo del funcional i 0 sobre la temperatura de orden p, p , se simplica. Efectivamente, segn (6.24), tenemos que, Z t q i0 [p (t, x)] = d ERF (x, ) l yp (y, ) . m (6.35) y0 16k0 0 Ahora bien, podemos calcular el siguiente lmite, 2 Z y ds , m exp l yp (y, ) = l y m p1/2 3/2 y0 y0 4ks 0 ( s) s haciendo el cambio, u2 = y 2 /4ks, resultando, Z du u2 m l yp (y, ) = 4 k l m p1/2 e y0 y0 y/2 k y2 4ku2 Z 4 k 2 k u2 = e du = p1/2 . p1/2 0 Por tanto, sustituyendo (6.36) en (6.35), Z t q k ERF (x, ) d , i0 [p (t, x)] = 8 k0 0 p1/2 y teniendo en cuenta la expresin dada para p en (6.13), i0 [p (t, x)] = 1 p (t, x) . 2 (6.39)

(6.36)

(6.37)

(6.38)

Por otro lado, segn (6.25), tenemos que, Z qk t i0 [p (t, x)] = d ERF (x, ) p (0, ) , 2 8k0 0 donde, p (0, ) = Z
0

(6.40)

ds (
p1/2 1/2 s) s

(6.41)

Haciendo el cambio de variable, s = t, Z 1 1 t1/2 (1 t)1/2p dt. p (0, ) = p1 0

(6.42)

Utilizando las propiedades de la funcin Beta [12], podemos expresar (6.42), como, 3 p 2 . (6.43) p (0, ) = p1 (2 p) 58

Sustituyendo este resultado (6.43) en (6.40), llegamos a, Z t qk 3 p ERF (x, ) 2 2 i0 [p (t, x)] = d . p1 8 k0 (2 p) 0 Teniendo en cuenta la expresin de p obtenida en (6.13), 3 p 2 p1/2 (t, x) , i0 [p (t, x)] = (2 p) donde, := k . 2k0

(6.44)

(6.45)

(6.46)

6.3.

Aproximaciones sucesivas en la supercie

Segn (6.6), para hallar T (1) hemos de conocer el campo de temperaturas en la supercie, T (t, x, 0). A orden cero de aproximacin, podemos considerar que el campo de temperaturas en la supercie vendr dado slo por el trmino que conlleva la friccin, es decir, segn (5.2), T (0) . Denotemos este orden cero de aproximacin como, T0 (t, x, 0) = T (0) (t, x, 0) . (6.47)

Por tanto, el campo de temperaturas a primer orden ser,

(1)

Para obtener el primer orden de aproximacin, basta sustituir el orden cero de aproximacin (6.47), en la expresin dada en (6.7) para T (1) , i h (1) T1 (t, x, 0) = i T (0) (t, x, 0) . (6.48) 0 T1 (t, x, 0) = T (0) (t, x, 0) + T1 (t, x, 0) .

Es decir, segn (6.48), T1 (t, x, 0) = T (0) (t, x, 0) + i [T0 (t, x, 0)] . 0 En general, la aproximacin de orden n N ser, Tn (t, x, 0) := T (0) (t, x, 0) + i [Tn1 (t, x, 0)] . 0 (6.49)

Como en esta seccin vamos a trabajar en el mismo punto (t, x, 0) de la supercie, simplicamos la notacin de tal manera que la ecuacin (6.49), teniendo en cuenta (6.14) y (6.8), resulta, Tn = 1 + i0 [Tn1 ] + i0 [Tn1 ] , (6.50)

59

siendo la iteracin incial, segn (6.47) y (6.14), T0 = 1 , y las relaciones recurrentes, dadas en (6.39) y (6.45), i0 [p ] = 1 p , 2 (6.52) (6.53) (6.51)

i0 [p ] = p p1/2 , donde hemos denido, 3 p 2 p := . (2 p)

(6.54)

6.3.1.

Primeros rdenes de aproximacin

A partir de la ecuacin iterativa dada en (6.50) y de la relacin recurrente (6.35), se puede calcular fcilmente los primeros rdenes de aproximacin de la temperatura en supercie. Efectivamente, teniendo en cuenta (6.35), la ecuacin iterativa (6.50) a primer orden, resulta, T1 = donde hemos denido, T1 := i0 [1 ] . (6.56) A segundo orden, teniendo en cuenta la linealidad de los funcionales i0 y i0 , la relacin recurrente (6.35) y la denicin dada en (6.56), obtenemos, T2 = 7 3 1 + T1 + T2 , 4 2 (6.57) 3 1 + T1 , 2 (6.55)

donde, recordando la denicin i (6.8), hemos denido, y T2 := i [T1 ] . 0 Repitiendo los mismos pasos a tercer orden, llegamos a, T3 = donde hemos denido, T3 := i [T2 ] . 0 Por induccin, podemos demostrar que el orden ensimo es, Tn = X 2n+1k 1 2n+1 1 1 + Tk , 2n 2nk
k=1 n

15 7 3 1 + T1 + T2 + T3 , 8 4 2

(6.58)

(6.59)

60

donde, T1 := i0 [1 ] , Tk := i [Tk1 ] 0 k = 2, 3, . . . (6.60) (6.61)

Afortunadamente, basndonos en (6.59), podemos calcular fcilmente el orden de aproximacin innito. Efectivamente, ( ) X Tk , T = l Tn = 2 1 + m (6.62)
n k=0

donde hemos redenido, T0 := i0 [1 ] , Tk := i [Tk1 ] 0 k = 1, 2, 3, . . . (6.63) (6.64)

6.3.2.

Lema

Para obtener una expresin del orden de aproximacin innito de la temperatura en supercie, T (t, x, 0), como combinacin lineal de funciones p , vamos a demostrar el siguiente lema. Para ello, consideremos el siguiente problema, n := i [ n1 ] , 0 donde el trmino inicial es, 0 = p . (6.66) A primer orden, aplicando la linealidad de los funcionales y la relacin recurrente (6.52), tenemos, 1 (6.67) 1 = p + 1 , 2 donde hemos denido, (6.68) 1 := i0 [p ] . A segundo orden, aplicando la linealidad de los funcionales i0 y i0 y de nuevo (6.52), llegamos a, 1 1 (6.69) 2 = p + 1 + 2 , 4 2 donde nuevamente denimos, 2 := i [ 1 ] . 0 Anlogamente, a tercer orden, 3 = con, 3 := i [ 2 ] . 0 1 1 1 p + 1 + 2 + 3 , 8 4 2 (6.70) n = 1, 2, . . . (6.65)

61

A la vista de los resultados que vamos obteniendo en (6.67), (6.69) y (6.70), podemos demostrar por induccin que a orden ensimo tendremos, n = donde, k+1 := i [ k ] , 0 k = 1, 2, . . . (6.72) Observemos ahora que, sumando todos los trminos de la sucesin dados en (6.71), resulta, n X XX 1 n = 2p + k . (6.73) 2nk n=0 n=1
k=1

X 1 1 p + k , 2n 2nk
k=1

(6.71)

El doble sumatorio que tenemos en (6.73) se puede operar haciendo uso de la funcin de Heaviside discreta, Hm , 1 m0 Hm := 0 m<0 Efectivamente, cambiando el orden de los sumatorios y haciendo uso de la suma de una serie geomtrica, llegamos a,
n XX

n=0 k=1

k 2nk

= = =

n=1 k=1 X k=1 X k=1

X X Hnk

2nk

k k

X Hnk 2nk n=1 X

n=k

2nk

=2

k=1

k .

Por tanto, desplazando el ndice en el sumatorio, ( ) X X n = 2 p + n ,

n=0 n=0

(6.74)

donde, 0 = i0 [p ] , n = i 0 [ n1 ] , n = 1, 2, . . . (6.75) (6.76)

Es decir, el problema se autorreproduce, cambiando nicamente el trmino inicial en la relacin de recurencia. Por tanto, podemos enunciar el siguiente lema, Lema 1 Si tenemos la sucesin denida por la relacin de recurrencia, n = el i [ n1 ] , (n = 1, 2, . . .) dondeP trmino inicial es, 0 = p , entonces la serie 0 P de la sucesin viene dada por n = 2 {p + n } donde la sucesin n queda denida recursivamente como n = i [ n1 ] , (n = 1, 2, . . .) , y cuyo 0 trmino inicial es 0 = i0 [p ] . 62

6.3.3.

Aproximaciones de orden superior

A la luz del lema 1, podemos rescribir el resultado obtenido en (6.62) para la aproximacin de orden innito T de la siguiente manera, ) ( X (1) Tn , (6.77) T = 2 1 +
n=0

Podemos, por tanto, aplicar el lema 1 a (6.77), obteniendo, ( ) X X (1) (2) Tn = 21 1/2 + Tn ,
n=0 n=0

donde la iteracin inicial, segn (6.40) y (6.63), y la relacin de recurrencia, segn (6.64), son, (1) T0 := i0 [1 ] = 1 1/2 , h i (1) (1) n = 1, 2, 3, . . . Tn := i Tn1 , 0

siendo,
(2) Tn

T0

En general, podemos observar que se cumple la siguiente relacin de recurrencia, ( ) X X (k) (k+1) Tn = 2 3k 1 k + Tn , (6.78)
2 2

:= i0 1/2 = 1/2 0 , h i (2) := i Tn1 , n = 1, 2, 3, . . . 0

(2)

n=0

n=0

donde, T0

(k+1)

(k+1) Tn

Una vez ms podemos demostrar (6.78) por induccin. Efectivamente, aplicando lema 1, al sumatorio en la iteracin k + 1, tenemos, ( ) X X (k+1) Tn = 21 k 1k + n
2 2

h i := i0 1 k = 1 k 1k , 2 2 2 h i (k+1) := i Tn1 , n = 1, 2, 3, . . . 0

(6.79) (6.80)

n=0

= 2 3(k+1)
2

n=0

1 k+1 +
2

n=0

con las relaciones de recurrencia, h i (k+2) , 0 = i0 1k = T0

2

63

 n = i [ n1 ] , 0

n = 1, 2, . . .

como queramos demostrar. Veamos ahora el desarrollo en serie que se obtiene al aplicar iterativamente (6.78) sobre (6.77), T = 21 + 2
X (1) Tn X

n=0

= 21 + 22 1 1/2 + 22 1

(2) Tn X

n=0

= 21 + 22 1 1/2 + 23 1 1/2 0 + 23 1 1/2

(3) Tn .

n=0

En general, obtenemos el siguiente desarrollo parcial hasta orden k, T = donde, ck := 2k+1

k1 Y l=0 k X

cn 1n/2 + ck

n=0

n=0

(k+1) Tn ,

(6.81)

1l/2 .

(6.82)

Observemos que, a partir de (6.82), se cumple la relacin, 2ck 1k/2 = 2k+2 1k/2
k1 Y l=0

1l/2 = ck+1 .

(6.83)

Una vez ms, podemos demostrar (6.81) por induccin. Efectivamente, si (6.81) y (6.82) se satisfacen para un cierto orden k, tambin se satisfacen para k + 1. Basta aplicar el lema 1, al desarrollo parcial dado en (6.81), y tener en cuenta la relacin dada en (6.83), ( ) k k X X (k+2) cn 1n/2 + 2ck 1k/2 1k + Tn T =
2

n=0 k+1 X

n=0

cn 1n/2 + ck+1

n=0

n=0

k X

(k+2) Tn .

Recordando ahora la denicin dada en (6.54) para p , los coecientes ck se pueden expresar de la siguiente manera, ck = 2
k+1

( )

k1 Y l=0

1+l 2 . l 1+ 2

(6.84)

64

Observemos que el productorio dado en (6.84) se simplica enormemente, de tal manera que, (2 )k (6.85) ck = 2 1+k . 2 Observemos que, utilizando la frmula de Stirling, podemos probar que,
k

l ck = 0. m

(6.86)

Como T es la temperatura de la pieza en supercie, es obvio que debe ser una funcin acotada. Por otro lado, las funciones p y ck son tambin funciones P (k) acotadas, por tanto, segn (6.81), la serie Tn a cualquier orden k est acotada. De este modo, teniendo en cuenta (6.86), podemos tomar lmites en (6.81) cuando k , obteniendo,
X (2 )n 1n/2 (t, x) . T (t, x, 0) = 2 1+n 2 n=0

(6.87)

6.4.

Expresin para T (t, x, 0)

Afortunadamente la serie obtenida en (6.87) para la temperatura en supercie en el caso del recticado con refrigerante se puede sumar. Para ello, efectuaremos la derivada temporal de la temperatura en supercie y posteriormente recuperaremos la temperatura en supercie por integracin directa. Para realizar la derivada con respecto al tiempo de la temperatura p podemos aplicar la regla de Leibniz a la expresin dada en (6.13), obteniendo, q k p (x, t) = ERF (x, t) t1/2p . (6.88) t 4 k0 Aplicando (6.88), podemos calcular la derivada temporal de la temperatura en supercie, derivando con respecto al tiempo la expresin dada en (6.87), X (2 )n q k T (t, x, 0) 1+n t(n1)/2 . = ERF (x, t) (6.89) t 2k0 2 n=0

El resultado obtenido en (6.89), lo podemos reexpresar de la siguiente manera, i(n1)/2 h 2 1 X 4 ( ) t q k T (t, x, 0) 1+n 2 . (6.90) = ERF (x, t) t t 2k0 2 n=1 Para hallar el sumatorio que aparece en (6.90), consideremos ahora la funcin, f (x) :=
X x(n1)/2 X xn/2 1+n = 1 + 2 , 2 n n 2 n=1 n=1

(6.91)

65

de donde directamente se obtiene, f (0) = 1. (6.92)

Efectuado ahora la derivada de f (x), a partir de la expresin dada en (6.91), f 0 (x) =

X xn/21 X x(n1)/2 1 . n = + x n=1 n+1 n 2 2 n=1

(6.93)

Comparando (6.91) con (6.93), obtenemos la siguiente EDO lineal de primer orden para f (x) , 1 (6.94) f 0 (x) f (x) = . x Podemos resolver la ecuacin diferencial planteada en (6.94), obteniendo, f (x) =
X x(n1)/2 n+1 = ex 1 + erf x . 2 n=1

(6.95)

Tomando x = 4( )2 t, podemos aplicar el resultado dado en (6.95), en la expresin (6.90) para la derivada temporal de la temperatura en supercie, q k T (t, x, 0) = ERF (x, t) (6.96) t 2k0 1 . 2 exp (4 t) erfc 2 t t Integrando en (6.96), tenemos una expresin compacta para la temperatura en la supercie, Z q k t d ERF (x, ) (6.97) T (t, x, 0) = 2k0 0 1 2 exp (4 ) erfc (2 ) . Recordando (6.4), podemos reexpresar (6.97) como, (6.98) T (t, x, 0) = 2T (0) (t, x, 0) Z t q k ERF (x, ) exp (4 ) erfc (2 ) d. k0 0

6.5.

Expresin para T (t, x, y)

Recordando que hemos desglosado la temperatura T en dos sumandos, T (0) y T (1) , (5.1), y la expresin que tenemos en (6.7) para T (1) , tenemos que, T (t, x, y) = T (0) (t, x, y) + i [T (t, x, 0)] . y 66 (6.99)

Sustituyendo el resultado obtenido en (6.87) para la temperatura en supercie, y dada la linealidad del funcional i , podemos expresar la temperatura en y profundidad de la siguiente manera, T (t, x, y) = T
(0) X (2 )n 1+n i 1n/2 (t, x) . (t, x, y) + y 2 n=0

(6.100)

6.5.1.

Expresin para T (t, x, y) para el recticado seco

Cuando nos encontramos en el caso del recticado seco, las expresiones obtenidas anteriormente se simplican notablemente. Para comprobarlo, observemos que en el caso del recticado seco, segn (6.5) y (5.4), el parmetro = = 0, (6.46). Por tanto, de acuerdo a (6.10), el funcional iy es nulo, es decir, i = iy , segn (6.8). De este modo, el nico trmino que sobrevive en y la serie dada para el recticado con refrigerante (6.100), es el n = 0, resultando, Tseco (t, x, y) = T (0) (t, x, y) + 2iy [1 (t, x)] . (6.101)

Para calcular iy [1 ] podemos recordar la expresin general dada en (6.24), segn la cual, Z t qy d ERF (x, ) 1 (y, ) , (6.102) iy [1 (t, x)] = 16k0 0 donde, segn la denicin de la integral p (6.23), Z A ds , 1 (y, ) = exp s s s3/2 0 siendo, y2 . (6.104) 4k Para efectuar la integral dada en (6.103), podemos realizar los siguientes cambios: u = A/s, w = u A, z 2 = w/, llegando a, y2 2 k . (6.105) 1 (y, ) = exp y 4k A := Por tanto, sustituyendo (6.105) en (6.102), tenemos que, Z t 2 i h q k ERF (x, ) y (0) iy T (t, x, 0) = . d exp 8 k0 0 4k 1/2 Segn la expresin obtenida para T (0) en (6.4), queda nalmente, i 1 h iy T (0) (t, x, 0) = T (0) (t, x, y) . 2 67 (6.106)

(6.103)

Sustituyendo en (6.101), el resultado obtenido en (6.106), obtenemos el campo de tempertaturas en profundidad en el caso del recticado seco, Tseco (t, x, y) = 2T (0) (t, x, y) . Segn (5.11), podemos reexpresar (6.107) como, Z t 2 ds q k y ERF (x, s) 1/2 . Tseco (t, x, y) = exp 4ks 2 k0 0 s (6.107)

(6.108)

Obsrvese que el resultado que se ha alcanzado en (6.107), generaliza el resultado que se obtuvo para el estado estacionario, (5.83).

6.5.2.

Expresin para T (t, x, y) en el recticado con refrigerante

Si queremos obtener una expresin para el campo de temperaturas en el recticado con refrigerante, de acuerdo a (6.99) y (6.100) tenemos que calcular, i [T (t, x, 0)] = y
X (2 )n 1+n i 1n/2 (t, x) . y 2 n=0

(6.109)

Los trminos i 1n/2 que aparecen en (6.109) se pueden llevar a cabo segn y la frmula dada en (6.34). Efectivamente, Z t 2 q 1+n y n/2 2 (6.110) iy 1n/2 (t, x) = d ERF (x, ) exp 8k0 4k 0 k 1 + n 1 y2 y 1 + n 3 y2 , , , , . 2 2 2 4k k0 2 2 4k Intercambiando el orden de la integral con la serie, podemos entonces reescribir i [T (t, x, 0)] como, y i y q [T (t, x, 0)] = 4 k0 Z
t

d ERF (x, ) exp

y 2 4k

(, y) ,

(6.111)

donde hemos denido la funcin (, y) como, 1 + n 3 y2 , , (, y) : = (2 ) 2 2 4k n=0 2 k 1+n 1 y , , . k0 2 2 4k

n n/2 X

y 2

(6.112)

Teniendo en cuenta la siguiente propiedad de la funcin hipergeomtrica conuente de segunda especie [12], (, ; t) = t1 (1 + , 2 ; t) , 68

tenemos que, 1 + n 3 y2 , , 2 2 4k = 2 k n 1 y2 , , , y 2 2 4k (6.113)

por tanto, sustituyendo (6.113) en (6.112), y recordando la denicin dada para , (6.46), ( X n 1 y2 n (n1)/2 , , (6.114) (, y) = k (2 ) 2 2 4k n=0 ) X 1 + n 1 y2 n+1 n/2 + , , (2 ) . 2 2 4k n=0 Desplazando los ndices de los sumatorios en (6.114) y teniendo en cuenta que (0, ; t) = 1, podemos reexpresar la funcin (, y) de una forma ms compacta, s X 1 + n 1 y2 k +2 k , , . (6.115) (2 )n+1 n/2 (, y) = 2 2 4k n=0 Segn la siguiente expresin para las funciones de Hermite [12], 1 2 H (z) = 2 , ; z , 2 2 podemos expresar la funcin hipergeomtrica conuente de segunda especie en trminos de las funciones de Hermite, s ( ) X y n+1 k (4 ) H(n+1) . (6.116) 1+2 (, y) = 2 k n=0 Haciendo ahora uso de la siguiente representacin integral de las funciones de Hermite [12], Z 1 dt exp(t2 2tz)t1 , Re < 0. H (z) = () 0 la ecuacin (6.116) y resolviendo la integral que aparece, llegamos a, s 2 y 2y k 2 4 k exp + 4 + (, y) = 4k k y + 2 . erfc 2 k

(6.117)

69

Sustituyendo (6.117) en (6.111), Z t 2 q k ERF (x, ) y exp (6.118) i [T (t, x, 0)] = d y 4k 4 k0 0 Z q k t 2y d ERF (x, ) exp 4 2 + k0 k 0 y + 2 . erfc 2 k Observemos que, segn (6.108), el primer sumando de (6.118) coincide con T (0) (t, x, y) , por lo que, sustituyendo (6.118) en (6.99), podemos expresar la temperatura en profundidad para el caso del recticado con refrigerante, teniendo en cuenta (6.107), como, Z q k t d ERF (x, ) (6.119) T (t, x, y) = Tseco (t, x, y) k0 0 y 2y + 2 . erfc exp 4 + 2 k k Observemos que, efectivamente, para recuperar el caso del recticado seco, basta tomar = = 0, de acuerdo a (6.5) y (6.46), en la expresin (6.119). Por tanto, a partir de (6.119), resulta cualitativamente claro que la aplicacin del refrigerante en la supercie conlleva una disminucin de la temperatura con respecto al recticado seco. Obsrvese tambin que cuando y = 0 en (6.119), se recupera el resultado obtenido en supercie, (6.98). Por otro lado, podemos expresar (6.119) en funcin de una nica integral, de acuerdo a la siguiente expresin, Z 2 1 y q k t (6.120) d ERF (x, ) exp T (t, x, y) = 2k0 0 4k 2y y + 2 2 exp 4 2 + erfc . 2 k k

6.6.
6.6.1.

Temperatura mxima en el estado estacionario

El estado estacionario

Para comprobar que el estado estacionario se alcanza cuando t , podemos efectuar, en primer lugar, la derivada con respecto al tiempo de la solucin dada en (6.120), 2 q k 1 y T (t, x, y) = (6.121) ERF (x, t) exp t 2k0 4kt t 2y y + 2 t 2 exp 4 2 t + erfc . k 2 kt 70

El lmite cuando t de la expresin dada en (6.121), se puede llevar a cabo recordando la denicin dada para la funcin ERF (6.3). Teniendo en cuenta que erf () = 1, llegamos a, x + vd t vd t + x erf = 0. (6.122) m l ERF (x, t) = l erf m t t 2 kt 2 kt Por otro lado, aplicando el desarrollo asinttico de la funcin complementaria del error [16], tenemos que, 2y y + 2 t = 0. erfc l exp 4 t + m (6.123) t k 2 kt Segn (6.122) y (6.123), concluimos que, l m T (t, x, y) = 0. t (6.124)

Es decir, de acuerdo a la denicin que se dio de estado estacionario en (2.10), ste se alcanza cuando t .

6.6.2.

Temperatura en supercie en el estado estacionario

En primer lugar, podemos observar que el mximo de temperatura en un cierto punto (x, y) se alcanza en el estado estacionario, t . Esto es debido a que, segn (6.135), el integrando de (6.120) es positivo y 0, y en consecuencia, T (t, x, y) 6 l T (t, x, y) . m
t

En segundo lugar, tambin podemos darnos cuenta de que el mximo de la temperatura en el estado estacionario se halla en la supercie. Esto es debido a que en el estado estacionario estamos resolviendo la ecuacin de Laplace (2.11). Segn (6.124), basta sustituir t , en la solucin general dada en (6.120)), para obtener la solucin de la ecuacin de Laplace, obteniendo, Z 2 q k 1 y (6.125) d ERF (x, ) exp l T (t, x, y) = m t 2k0 0 4k 2y y + 2 2 exp 4 2 + erfc . 2 k k Como (6.125) es una funcin armnica, por el principio del mximo [22], sabemos que el mximo de dicha funcin se alcanza en la frontera, es decir, sobre la supercie de la pieza recticada. Deniendo la funcin de la temperatura en la supercie para el estado estacionario como, m Tsup (x) := l T (t, x, 0) ,
t

71

podemos saber el mximo de la temperatura en la pieza en el caso del recticado con refrigerante, hallando el mximo de la funcin Tsup (x) . De acuerdo a (6.125), expresemos esta funcin como, Z q k d ERF (x, ) () , (6.126) Tsup (x) = 2k0 0 donde hemos denido, 1 2 exp 4 2 erfc (2 ) . () := 2T (0) (x, 0) = l Tseco (t, x, 0) . m
t

(6.127)

Por otro lado, segn (6.107) y de acuerdo a la notacin introducida en (5.9), (6.128)

6.6.3.

Propiedades de la funcin

La funcin () es positiva, pues, integrando por partes en la denicin de la funcin complementaria del error, tenemos, ( Z t2 ) 1 e 1 x2 x2 e dt . e erfc (x) = x t2 x Por tanto, la siguiente funcin es positiva x,
2 1 ex ex erfc (x) = (x) := x 2

et dt > 0. t2

(6.129)

Ahora bien, como > 0, concluimos que, () = 2 (2 ) > 0. (6.130)

Por otro lado, podemos ver que la funcin () es decreciente, pues integrando dos veces por partes en la denicin de la funcin complementaria del error, tenemos que, ) ( 2 Z 2 2 1 1 3ex et 1 + dt . (6.131) ex erfc (x) = 2 t2 x 2x3 x Por tanto, la siguiente funcin es negativa x,
2 1 1 3ex 3 ex erfc (x) = (x) := x 2 x 2 2

et dt < 0. t2

(6.132)

Ahora bien, sabiendo que podemos expresar, 0 () = 4 2 (2 ) , 72

concluimos que, 0 () < 0. (6.133) Por ltimo, a partir de (6.127) y (6.131), podemos dar la siguiente expresin asinttica para , 3/2 (6.134) () . 8 2

6.6.4.

Propiedades de Tsup

Podemos comprobar que Tsup es una funcin positiva. Para verlo, en primer lugar comprobemos que la funcin ERF es una funcin positiva, observando que, segn (6.126), > 0. Como tambin > 0, se cumple que, vd + x x + vd > , 2 k 2 k y como la funcin error es una funcin creciente, tenemos que, x R, vd + x x + vd erf > 0. (6.135) ERF (x, ) = erf 2 k 2 k Fijmonos tambin que la funcin ERF slo se anula en x , pues erf () = 1, l m ERF (x, ) = 0. (6.136)
x

Integrando sobre (6.135) y teniendo en cuenta (6.130), llegamos a que la funcin Tsup es una funcin positiva, Tsup (x) > 0, que, segn (6.136), se anula en x ,
x

x R.

(6.137)

l Tsup (x) = 0. m

(6.138)

Por otro lado, al igual que el caso del recticado seco, la temperatura supercial estacionaria para el recticado con refrigerante satisface una cierta propiedad de simetra (5.120). Para verlo, podemos partir de la denicin dada para la funcin ERF, (6.3), ERF (x, )|vd = ERF ( x, )|vd . Por tanto, segn (6.126), Tsup (x)|vd = Tsup ( x)|vd . 73 (6.139)

6.6.5.

A continuacin vamos a presentar un resultado que nos ser til para efectuar la acotacin del punto mximo de la temperatura. Para ello, denamos, Z d E (x, ) 1/2 , (6.140) I (x) :=
0

Integral I (x)

y recordando la denicin de E (x, ) dada en (6.147), tenemos que, Z v2 x2 xvd d 1/2 . d exp I (x) = exp 2k 4k 4k 0 Realizando el cambio = I (x) = exp xvd 2k
2 vd 4k ,

llegamos a, (6.141)

Z 2 x2 vd 2 k 1/2 . d exp |vd | 0 16k 2

A partir de la representacin integral de la funcin K dada en (5.24), podemos expresar I (x) en trminos de las funciones de Bessel, I (x) = 2 exp xvd 2k 1/2 x K1/2 xvd , vd 2k (6.142)

y haciendo uso del resultado dado en [12], para K1/2 ,

xvd + |xvd | 2 k exp . I (x) = |vd | 2k I (x) = 2 k , |vd | x 6 0.

(6.143)

En particular,

(6.144)

6.6.6.

Expresiones para las derivadas

A partir de la expresin dada en (6.126) para la temperatura supercial estacionaria en el caso con refrigerante, tenemos que su derivada con respecto a la variable espacial x, tiene la forma, Z q EXP (x, ) Tsup (x) = () , (6.145) d x 2 k0 0 donde hemos denido, EXP (x, ) := E (x, ) E (x , ) , ! 2 (x + vd ) E (x, ) := exp > 0. 4k 74 (6.146) (6.147)

Observemos que, segn (6.146) y (6.147),

x

l m EXP (x, ) = 0,

y, por tanto, segn (6.126), Tsup (x) = 0. x x l m Por otro lado, derivando con respecto a x en (6.128) y (6.108), 2 Tseco (, x, 0) T (0) (x, 0) = x x Z q EXP (x, ) = . d 2k0 0 (6.149) (6.148)

6.6.7.

Acotacin superior para x Tsup

Observando (6.145), podemos darnos cuenta de que el signo de la funcin EXP determina el signo de x Tsup pues, segn (6.130), () > 0. Expresemos la funcin EXP como, ! 2 2 2 (x + vd ) (x + vd ) 1 exp . EXP (x, ) = exp 4k 4k Por tanto, 2 2 (x + vd ) sign [EXP (x, )] = sign 1 exp 4k = sign [ 2 (x + vd )] . Segn (6.150), concluimos que, EXP (x, )|vd >0 < 0, x> . 2 (6.151)

(6.150)

6.6.8.

Integrando sobre (6.151), teniendo en cuenta (6.130), resulta nalmente, Tsup (x) (6.152) < 0, x> . x 2 vd >0

Valor para x Tsup (0)

Sabiendo que la funcin complementaria del error est acotada entre 0 y 1, para valores positivos de la variable, tenemos que,
0 < e4
2

2 erfc (2 ) < e4 ,

> 0,

75

por tanto, 1 1 2 < () < , > 0.

Como la funcin E (x, ) es una funcin positiva (6.147), tenemos que 0, E (x, ) E (x, ) E (x, ) 1 , (6.153) 2 < () < E (x , ) E (x , ) E (x , ) 1 < () < 2 . (6.154) Sumando las inecuaciones (6.153) y (6.154), aplicando la denicin de la funcin EXP (6.146), e integrando, Z Z E (x, ) EXP (x, ) EXP (x, ) 2 < () (6.155) d d 0 0 Z E (x , ) EXP (x, ) < + 2 . d 0 Multiplicando (6.155) por 2q 0 y teniendo en cuenta, (6.145) y (6.149) y la k denicin dada en (6.140), llegamos a, 2 q Tsup (x) T (0) (x, 0) I (x) < x k0 x <2 q T (0) (x, 0) + I (x ) . x k0

En x = 0, teniendo en cuenta el resultado obtenido en (6.144), llegamos a, 2q k T (0) (0, 0) 2q k Tsup (0) T (0) (0, 0) <2 + < . (6.156) 2 x |vd | k0 x x |vd | k0 Recordando que, en el caso del recticado seco, la derivada se hace innita x = 0, (5.103), a partir de la acotacin dada en (6.156), tenemos que en el caso del recticado con refrigerante ocurre lo mismo, Tsup (0) = . x (6.157)

6.6.9.

Acotacin inferior para x Tsup

E (x, ) > 0,

Consideremos la funcin, G (x, ) := > 0. (6.158)

para hallar su mximo, con respecto a , resolvamos la ecuacin, G (x, ) E (x, ) 2 2 x 2k 2 vd = 0, = 4k5/2 76 (6.159)

donde despejando, = k

p 2 k2 + x2 vd . 2 vd x < 0. vd > 0.

Como, segn (6.158), G (x, ) > 0, y se cumple,

0+

l G (x, ) = 0, m

l G (x, ) = 0, m

tenemos que el mximo absoluto de la funcin G (x, ) se localiza en, p 2 k + k 2 + x2 vd mx (x) = . a 2 vd Deniendo ahora, Gmx (x) := G [x, mx (x)] . a a Obviamente se cumple que, Gmx (x) G (x, ) a Podemos ver que, ! p 2 xvd + k 2 + x2 vd |vd | exp Gmx (x) = q . a p 2k 2 k + k2 + x2 vd > 0. (6.161) (6.160)

Por simple derivacin, se puede comprobar que la funcin Gmx (x) es decrea ciente, cuando xvd < 0, Gmx (x) a > 0, x Eso quiere decir que, Gmx (x) > Gmx (x ) , a a Punto de corte Veamos cul es el valor > 0 que satisface, G (x, ) = G (x , ) . Operando, llegamos a que el punto de corte es nico y se halla en, = /2 x . vd xvd < 0. (6.162) xvd < 0.

77

Podemos observar que el punto de corte es nico. En el caso de vd > 0 y x < 0, tenemos que > 0. Adems, a la vista de (6.159), podemos apreciar que, G (x , ) G (x, ) 6= . (6.163)

Por tanto, en el caso de vd > 0 y x < 0, tenemos que, 0 < mx (x) < . a

Sabiendo que, xvd < 0, y teniendo en cuenta la desigualdad triangular, se puede ver fcilmente que, x mx (x) < . a vd (6.164)

Teniendo en cuenta la denicin (6.160), y las desigualdades (6.161) y (6.162), G [x, mx (x)] := Gmx (x) > Gmx (x ) G [x , mx (x)] . a a a a (6.165)

Teniendo en cuenta (6.163), (6.164), (6.165), y que el punto de corte es nico, concluimos que, G (x, ) > G (x , ) , < . (6.166) G (x, ) < G (x , ) , Como, segn (6.158) y (6.144), se cumple que, Z

> .

(6.167)

G (x, ) d =

2 k , G (x , ) d = |vd |

x < 0.

y teniendo en cuenta (6.166), (6.167), y que la funcin es decreciente (6.133), podemos darnos cuenta de que se satisface la siguiente desigualdad, Z Z E (x, ) E (x , ) () > () , vd > 0, x < 0. 0 0 Por tanto, segn (6.145), concluimos que, Tsup (x) > 0, x
vd >0

x < 0.

(6.168)

6.6.10.

Localizacin de la temperatura mxima

Teniendo en cuenta (6.168) y (6.152) observamos que el mximo de la temperatura no se puede encontrar en x (0, ) . Dado que x Tsup es una funcin / continua para x > 0, podemos aplicar el teorema de Bolzano a la funcin x Tsup para concluir que, . (6.169) c 0, c x Tsup (c)|vd >0 = 0, 2 78

Aplicando la propiedad (6.139), tenemos que, c x Tsup (c)|vd <0 = 0, c , . 2 (6.170)

Si comprobamos que c es nico, teniendo en cuenta (6.137) y (6.138), podemos concluir que, Tsup (c) = mx {Tsup (x) , x R} . a Fsicamente es bastante lgico que el mximo de la temperatura se encuentre precisamente en la zona de friccin entre la pieza y la muela (0, ) , por tanto es ah donde buscaremos el mximo, en coherencia con (6.168) y (6.152).

6.6.11.

Resultados numricos

A continuacin se presentan en las guras 6.1 y 6.2 las grcas de las funciones x Tsup (x) y Tsup (x) respectivamente, utilizando los mismos parmetros del recticado que en la seccin 5.8.3 y un valor de = 27, 29 104 J/m2 s K. Podemos observar que la gura 6.1 est en coherencia con (6.168), y con los valores hallados en x = 0, de la funcin x Tsup (x), (6.148) y (6.157). En la gura 6.2 observamos que el mximo es nico, y se halla en el punto c indicado en la gura 6.1. En el Apdice A se detalla el cdigo de un programa en MATLAB para hallar la localizacin del mximo de la temperatura y su valor. A continuacin se presentan un par de resultados para la temperatura mxima. Utilizando como refrigerante aire a presin [18], 1 = 5, 207 104 J/m2 s K, tenemos, xmx = 0, 009209 , a Tmx = 778, 9257 K. a (6.172) (6.171)

Utilizando un lquido refrigerante industrial tpico [18], con un coeciente de transmisin de calor, (6.173) 2 = 27, 29 104 J/m2 s K, tenemos, xmx = 0, 013674 , a Tmx = 477, 5875 K. a (6.174)

Comparando (6.172) y (6.174) con los resultados obtenidos para el recticado seco (5.121), podemos darnos cuenta de que la aplicacin del refrigerante apenas cambia la localizacin del mximo de la temperatura, pero s su valor notablemente.

79

Figura 6.1: Representacin grca de x Tsup (x) . En el punto x = c se seala la raz donde se encuentra el mximo de la temperatura.

80

Figura 6.2: Representacin grca de Tsup (x) en el intervalo x (, ) .

81

6.7.

Tiempo del transitorio

Segn vimos en la seccin 6.6.1, el estado estacionario se alcanza en t . Para estimar cmo de rpido se alcanza el estado estacionario, podemos resolver la siguiente ecuacin para un t (0, ) , T t, x, y = 0. (6.175) t Ahora bien, la expresin dada en (6.175) depende del punto (x, y) que se tome como referencia. Desde el punto de vista industrial, el punto ms importante se encuentra en donde se alcanza el mximo de la temperatura, que segn vimos en la seccin 6.6.2, se alcanza en la supercie, (xmx , 0) . Por tanto, podemos a denir el tiempo de relajacin del estado transitorio t (0, ) , como, T (t , xmx , 0) a = 0. t (6.176)

6.7.1.

Desarrollos asintticos

En el caso del recticado seco, sustituyendo y = 0 en (6.121), la ecuacin que hay que resolver es, q k ERF (xmx , t ) (t ) = . (6.177) a 2k0 Para el recticado seco, basta tomar = = 0, de acuerdo a (6.5) y (6.46), en la expresin (6.177), teniendo en cuenta (6.127), q k ERF (xmx , t ) a = . (6.178) 2k0 t A primer orden podemos comprobar que la funcin ERF se comporta de la siguiente manera en t , 2 v t , (6.179) ERF (x, t) exp d t 4k kt por tanto, la ecuacin (6.178), se convierte en, 2 q v t , exp d 2k0 t 4k cuya solucin es, t seco 4k 2 W vd
2 qvd 8kk0

(6.180)

donde W denota la funcin de Lambert [27]. Sustituyendo ahora los desarrollos asintticos (6.134) y (6.179) tenemos que la ecuacin (6.177) se convierte en, 2 v t qk0 , (6.182) exp d 2 4k 4k2 (t ) 82

(6.181)

cuya solucin es, t refrigerante 8k 2 W vd

2 vd 16k 3/2

qk0

(6.183)

En el Apndice A se detallan los programas en MATLAB que se han elaborado para calcular los tiempos de relajacin, tanto en el recticado seco, como en el que aplicamos refrigerante.

6.7.2.

Resultados numricos

Tomando los mismos parmetros de recticado que en la seccin 5.8.3, un parmetro = 106 , y los coecientes de transmisin de calor dados en (6.171) y (6.173), obtenemos, tanto para la resolucin de la ecuacin exacta, (6.177) y (6.178), como de las aproximaciones obtenidas, (6.183) y (6.181), los siguientes resultados, t = 8, 3013 103 s, seco t 1 = 8, 1856 103 s, t 2 = 7, 9351 103 s, t 1, 6727 103 s. seco t 1 1, 7561 103 s. t 2 1, 5700 103 s.

Podemos observar que el estado transitorio es muy corto y apenas vara con la aplicacin del refrigerante. Adems, las aproximaciones obtenidas nos ofrecen el orden de magnitud correcto en los tiempos de relajacin. En las guras 6.3, 6.4 y 6.5 se muestra la evolucin de la temperatura en la supercie, tanto en el recticado seco, como en el que aplicamos refrigerante. En ambas guras, los tiempos que se han tomado estn espaciados exponencialmente, pues el proceso es muy rpido durante el estado transitorio. Se puede tambin observar que, tanto en el recticado seco como en el que aplicamos refrigerante, la grca de la temperatura del estado estacionario y la obtenida en el tiempo de relajacin es casi idntica. La nica discrepencia est en la parte izquierda, pues la fuente, al estar movindose hacia la derecha (vd > 0), en el estado estacionario ha recorrido todos los puntos de la supercie x < 0 calentndolos, mientras que en el transitorio no ocurre lo mismo.Obsrvese que, comparando la gura 6.3 con las guras 6.4 y 6.5, la aplicacin de refrigerante en toda la supercie de la pieza hace dismininuir la temperatura en la misma. Comparando las guras 6.4 y 6.5, esta disminucin es tanto mayor cuanto mayor es el coeciente de transmisin de calor. Ms an, el gradiente de la temperatura para x < 0, es ms pronunciado cuanto mayor es , debido a que un coeciente mayor implica una mayor evacuacin del calor que se acumula en la supercie de la pieza, fuera de al zona de contacto. Por ltimo, se presentan comparativamente en las guras 6.6 , 6.7 y 6.8 el campo de temperaturas en el estado estacionario y de relajacin respectivamente. En el caso del recticado con refrigerante, se han tomado como valores del coeciente de transmisin de calor los dados en (6.171) y (6.173). Se puede 83

Figura 6.3: Evolucin temporal de la temperatura en supercie en el recticado seco, x (, ) .

84

Figura 6.4: Evolucin temporal de la temperatura en supercie en el caso del recticado hmedo, x (, ). Se ha utilizado como coeciente de transmisin de calor, 1 = 5, 207 104 J/m2 s K.

85

Figura 6.5: Evolucin temporal de la temperatura en supercie en el caso del recticado hmedo, x (, ). Se ha utilizado como coeciente de transmisin de calor, 2 = 27,29 104 J/m2 s K.

86

observar de nuevo que, entre el estado de relajacin y el estacionario, el campo de temperaturas apenas evoluciona, excepto quizs para la parte izquierda, como ya se coment anteriormente. Esta diferencia es menos acusada en el recticado con refrigerante, pues la aplicacin constante de refrigerante en la supercie atenua la temperatura de la pieza en la parte que ya ha sido recticada. Por otro lado, tambin se puede observar que cuanto mayor es el coeciente de transmisin de calor del refrigerante, ms se concentra la temperatura cerca de la fuente y menor es la temperatura que experimenta la pieza.

Figura 6.6: Comparacin del campo de temperaturas para el tiempo de relajacin y el estado estacionario en el recticado seco. En ambas grcas, (x, y) (, ) (0, /10) .

87

Figura 6.7: Comparacin del campo de temperaturas para el tiempo de relajacin y el estado estacionario tomando 1 = 5, 207 104 J/m2 s K. En ambas grcas, (x, y) (, ) (0, /10) .

Figura 6.8: Comparacin del campo de temperaturas para el tiempo de relajacin y el estado estacionario tomando 2 = 27, 29 104 J/m2 s K. En ambas grcas, (x, y) (, ) (0, /10) .

88

Captulo 7

Conclusiones
La presente memoria presenta dos modelos matemticos de transmisin de calor en el recticado plano industrial: el modelo de Jaeger y el modelo de Samara-Valencia (modelo SV). El modelo de Jaeger ofrece una solucin explcita para el campo de temperaturas de la pieza en el estado estacionario, cuando no se aplica refrigerante sobre la supercie de la misma (recticado seco), y la muela realiza una friccin continua. El modelo SV ofrece una solucin implcita (en forma de ecuacin integral) para el campo de temperaturas dependiente del tiempo, permitiendo la aplicacin de refrigerante y una friccin no constante entre la pieza y la muela. A continuacin se presentan las conclusiones de este trabajo ordenadas segn su grado de importancia como contribuciones originales al trabajo de doctorado: 1. Suponiendo un coeciente constante de transmisin de calor del refrigerante sobre toda la supercie de la pieza en el modelo SV, se ha deducido una expresin explcita para el campo de temperaturas dependiente del tiempo. 2. Aplicando el modelo SV al recticado seco, se ha deducido una expresin explcita para el campo de temperaturas en el estado transitorio. 3. Relajando las condiciones del modelo SV al caso estacionario, seco y con friccin constante, se ha demostrado matemticamente y comprobado numricamente, que ofrece la misma solucin que el modelo clsico de Jaeger. Este resultado corrobora la armacin de Jaeger de duplicar el campo de temperaturas para pasar de la solucin en una pieza innita a una pieza semi-innita. 4. Aplicando el modelo SV, se ha demostrado matemticamente que, en el caso del recticado seco y con refrigerante, el mximo de la temperatura que experimenta la pieza se alcanza en el estado estacionario sobre la supercie de la pieza, precisamente en la zona de contacto entre la muela y la pieza. Se ha elaborado un cdigo MATLAB para hallar este mximo de manera rpida y sencilla. 89

5. Para establecer la equivalencia entre ambos modelos, se ha precisado deducir una representacin de la delta de Dirac que nos se halla en la bibliografa comn. 6. Una vez demostrada la equivalencia entre ambos modelos, se han podido ofrecer dos integrales que tampoco aparecen en la bibliografa usual. 7. Se ha elaborado un programa en MATLAB para hallar el tiempo que dura el estado transitorio (tiempo de relajacin), en el recticado seco. 8. Se han elaborado unos programas en MATLAB para hallar el mximo de la temperatura y el tiempo de relajacin en el recticado con refrigerante. 9. Se han elaborado unos programas en MATLAB para representar la evolucin del campo de temperaturas, tanto en supercie como en el interior de la pieza. 10. Todas estas conclusiones han sido presentadas en los siguientes artculos de investigacin: J. L. GonzlezSantander, J. Prez, P. Fernndez de Crdoba, J. M. Isidro, Analysis of the temperature eld in grinding: avoiding thermal damage. (Enviado a Mathematical Models and Methods in Applied Sciences.) J. L. G. Santander, J. Prez, P. Fernndez de Crdoba and J. M. Isidro, Theoretical Analysis of the transient temperature eld in wet and in dry grinding. (Enviado a International Journal of Heat and Mass Transfer.)

90

Bibliografa
[1] S. Malkin, Grinding technology: theory and application of machining with abrasives, Ellis Horwood Ltd. and John Wiley and Sons (1989); C. Guo and S. Malkin, Analysis of energy partition in grinding, Journal of Engineering for Industry 117 (1995) 55; S. Malkin and R. Anderson, Thermal aspects of grinding, part I: energy partition, Journal of Engineering for Industry 06 (1974) 177. [2] A. S. Lavine, Thermal aspects of grinding: the eects of heat generation at the shear planes, Annals of CIRP 40 (1991) 343-345; An exact solution for surface temperature in down grinding, International Journal of Heat and Mass Transfer 43 (2000) 4447-4456. [3] M. D. Demetriou and A.S. Lavine, 2000, Thermal Aspects of Grinding: The Case of Upgrinding, Journal of Manufactured Science Engineering 122, (2000) 605-611. [4] A.S. Lavine and T. C. Jen, Coupled Heat Transfer to Workpiece, Wheel, and Fluid in Grinding, and the Occurrence of Workpiece Burn, International Journal of Heat and Mass Transfer, 34 (1991) 983-992; Thermal Aspects of Grinding: Heat Transfer to Workpiece, Wheel, and Fluid, International Journal of Heat and Mass Transfer, 113 (1991) 296-303. [5] M. Mahdi and Liangchi Zhang, The nite element thermal analysis of grinding processes by ADINA, Computers & Structures, 56, Issues 2-3 (1995) 313-320. Nonlinear Finite Element Analysis and ADINA Proceedings of the 10th ADINA Conference. [6] A. G. Mamalis, D. E. Manolakos, A. Markopoulos, J. Kundrk and K. Gyni, Thermal Modelling of Surface Grinding using implicit Finite Element Techniques, International Journal of Advanced Manufacturing Technology, 21 (2003) 929-934. [7] K. T. Andrews, M. Shillor and S. Wright, A model for heat transfer in grinding, Nonlinear Analysis 35 (1999) 233-246. [8] J. Prez, F. R. Villatoro, J. L. G. Santander, M. A. Borovsky, Yu. L. Ratis, E. A. Izzheurov, and P. Fernndez de Crdoba, Heat transfer between 111

a gas and an ultralow thermal conductivity porous structure, Journal of Applied Mathematics and Computation, 204, Issue 2 (2008) 687-693. [9] T. V. Bandos , . Montero, E. Fernndez, J. L. Gonzlez, J. M. Isidro, J. Prez, P. Fernndez de Crdoba and J. F. Urchuegua, Analytical studies of the vertical dependences in the solution to the nite line-source model for borehole heat exchangers, Geothermics, (Preprint). [10] J. L. GonzlezSantander, J. Prez, P. Fernndez de Crdoba and J. M. Isidro, Analysis of the temperature eld in grinding: avoiding thermal damage, Journal of Engineering Mathematics, (preprint). [11] J. L. G. Santander, J. Prez, P. Fernndez de Crdoba and J. M. Isidro, Theoretical Analysis of the transient temperature eld in wet and in dry grinding, International Journal of Heat and Mass Transfer, (preprint). [12] N. N. Lebedev, Special Functions and their applications, Dover Publications, New York, 1972. [13] A. N. Tikhonov, A. A. Samarskii, Equations of mathematical physics, Dover Publications, New York, 1990. [14] J. C. Jaeger, Moving Sources of Heat and the Temperature at Sliding Contacts, Proceedings of Royal Society of New South Wales, 76 (1942) 204-224. [15] H. S. Carslaw and J. C. Jaeger, Conduction of Heat in Solids, Clarendon Press, Oxford, 1988. [16] M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions, Dover Publications Paperback, 1972. [17] J. Luke, Some notes on integrals involving Bessel functions, Journal of Mathematical Physics, 29 (1950), 27-30. [18] D. L. Skuratov, Yu. L. Ratis, I. A. Selezneva, J. Prez, P. Fernndez de Crdoba and J. F. Urchuegua, Mathematical modelling and analytical solution for workpiece temperature in grinding, Applied Mathematical Modelling 31 (2007) 1039-1047. [19] J. Prez, S. Hoyas , D. L. Skuratov, Yu. L. Ratis, I. A. Selezneva, P. Fernndez de Crdoba and J. F.Urchuegua, Heat transfer analysis of intermittent grinding processes, International Journal of Heat and Mass Transfer, 51, Issues 15-16 (2008) 4132-4138. [20] I. S. Gradsthteyn and I. M. Ryzhik, Table of integrals, series and products. Corrected and enlarged edition, Academic Press Inc., New York, 1980. [21] Y. T. Li and R. Wong, Integral and Series Representations of the Dirac Delta Function, Communications on pure and applied analysis, 7. n. 2 (2008) 229-247. 112

[22] John B. Conway, Functions of one complex variable, Springer-Verlag, New York, 1978. [23] S. G. Glasunov, V. N. Moiseev, Constructional Titanium Alloys, Metallurgy, Moscow, 1974. [24] V. I. Muravev, A. V. Yakimov and A. V. Chernysev, Eect of deformation, welding, and electrocontact heating on the properties of titanium alloy VT20 in pressed and welded structures, Metal Science and Heat Treatment. 45 (2003) 419422. [25] C. T. OSullivan Comment on Newtons law of coolingA critical assessment, American Journal of Physics, 58 (1990) 956960. [26] R. Courant and D. Hilbert, Methods of Mathematical Physics, vol. 1-2, Wiley Classics Library, 1989. [27] R. M. Corless, D. J. Jerey, and D. E. Knuth, A Sequence of Series for the Lambert Function, in Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii. New York: ACM Press, pp. 197-204, 1997.

113