Apndice 2

Smbolos y ayudas matemticas

Smbolos
Se han seguido las recomendaciones internacionales sobre nomenclatura cientfica (con la sola excepcin del potencial de Helmholtz, para el que se ha retenido la vieja forma F frente a la recomendada A). En particular, se ha usado como radix (separador decimal) la coma en lugar del punto. Adems de los smbolos que se detallan a continuacin, a veces se han introducido otros en un contexto muy concreto, conio A y B para constantes cualesquiera. Maysculas latinas A afinidad rea primera constante de radiacin ADC convetidor analgico digital B segunda constante de radiacin Bi nmero de Biot Bo nmero de Bond nmero de componentes o especies qumicas puras C constante de Wien del desplazamiento constante de Curie capacitancia elctrica D dimetro Da nmero de Darnkholer DAC convertidor digital analgico difusividad msica de la especie i en la mezcla Di DMR depsito mecnico reversible DTR depsito trmico reversible E energa total mdulo elstico de Young intensidad del campo elctrico nmero de elementos conservativos E potencial elctrico E, energa cintica E, energa mecnica

l. Martnez: TERMODlNAMlCA BASICA Y APLICADA

energa potencial fuerza potencial de Helmholtz nmero de fases (en la regla de las fases) factor de forma de radiacin nmero de Fourier potencial de Gibbs nmero de Grashof entalpa intensidad del campo magntico irreversibilidad intensidad de corriente flujo de una magnitud nmero de Jackob constante de equilibrio qumico longitud caracterstica coeficiente de acoplamiento lineal entre fuerzas y flujos inductancia elctrica nmero de Lewis masa molar nmero de Mach magnetizacin (momento magntico) momento nmero de partculas nmero de unidades de transferencia trmica (cambiadores de calor) nmero de Nusselt nmero de Avogadro potencia mecnica o elctrica polarizacin elctrica PCI poder calorfico inferior PCS poder calorfico superior nmero de Prandtl Pr calor Q carga elctrica constante de un gas o constante universal de los gases resistencia trmica resistencia elctrica nmero de reacciones qumicas RTD termmetro de resistencia constante universal de los gases Ru nmero de Rayleigh Ra nmero de Reynolds Re entropa S factor de forma de conduccin nmero de Schmidt nmero de Sherwood

Apndice 2: SIMBOLOS Y AYUDAS MATEMATICAS

Sgen

T U
V

W W,

generacin de entropa temperatura energa interna coeficiente global de transmisin de calor velocidad volumen potencial elctrico vrianza (grados de libertad en la regla de las fases) trabajo trabajo til factor de compresibilidad funcin de particin

Minsculas latinas a actividad difiisividad trmica velocidad del sonido c velocidad de la luz capacidad trmica de un slido o lquido perfecto relacin de capacidades trmicas de las corrientes en un cambiador de calor capacidad trmica a presin constante cp cSat capacidad trmica de un lquido en saturacin capacidad trmica a volumen constante c, d dimetro, distancia operador diferencial e energa total especfica o molar irradiacin emitida exceso de aire en combustin e, energa mecnica especfica f fugacidad potencial de Helmholtz especfico o molar ? aceleracin gravitatoria terrestre potencial de Gibbs especfico o molar h constante de Planck entalpa especfica o molar coeficiente de conveccin trmica h, coeficiente de conveccin nirsica entalpa total especfica o iiiolar h, i corriente elctrica irreversibilidrid especfica irradiacin recibida j exitancia o radiosidad k constante de Bo1tzm;inn constante elstica de un niiielle conductividad t~mica m masa

588

l. Martnez: TERMODINAMICA BASICA Y APLICADA

gasto msico cantidad de sustancia exponente politrpico coordenada normal a la superficie presin partes por milln calor intercambiado por unidad de masa radio radio vector coordenada radial entropa especfica o molar tiempo energa interna especfica o molar velocidad en direccin x (en cartesianas) o en direccin r (en cilndricas) volumen especfico o molar velocidad en direccin y (en cartesianas) o en direccin 8 (en cilndricas) velocidad (mdulo o vector) velocidad de difusin msica de la especie i en la mezcla trabajo especfico humedad (absoluta) velocidad en direccin z fraccin msica de vapor en una mezcla agua-vapor fraccin molar coordenada x fraccin msica coordenada y altura coordenada z carga elctrica de valencia Maysculas m i e r gamma A delta phi Il pi E sigma Y psi i2 omega ~ densidad superficial operador incremento exerga operador producto operador suma funcin de onda nmero de estados cunticos accesibles

Minsculas griegas a alpha coeficiente de expansin volumtrica isobrica coeficiente termoelctrico absortancia gamma relacin de capacidades trmicas a presin y a volumen constante Y 6 delta espesor de la capa lmite declinacin solar

Apndice 2: SIMBOLOS Y AYUDAS MATEMATICAS

epsilon

eta

theta

kappa lambda

rho sigma

tau

phi

phi psi omega

emisividad fuerza electromotriz nivel energtico microscpico rendimiento variable de semejanza rendimiento energtico rendirnien to exergtico ngulo azimutal temperatura adimensional coordenada azimutal coeficiente de compresibilidad isoterma longitud de onda distancia caracterstica atmico-molecular potencial cliimico viscosidad dinmica coeficiente de Joule-Thomson (Joule-Kelvin) coeficiente estequiomtrico o de mezcla viscosidad cinemtica frecuencia de un oscilador cuntico grado de reaccin 3,14... relacin de presiones densidad reflectancia tensin superfacial o interfacial constante de Stefan-Boltzmann seccin eficaz (choques atomico-moleculares) conductividad elctrica tensor de esfuerzos tiempo adiniensional transmitancia tensor de esfiierzos viscosos exerg especfica o molar humedad relativa funcin de disipacin variable arbitraria usada como comodn coordenada polar esfrica funcin de onda pulsacin angular ngulo slido

Subndices IR MC R

vc

infrarrojo masa de control variable reducida (respecto a los valores en el punto crtico) volumen de control

590

l. Martnez: TERMODINAMICA BASICA Y APLICADA

sat sol
t

beta lambda infinito Suprandices punto .. dos puntos igual + flecha O nivel id

aire cuerpo negro (black body) centro de masas crtico entrada formacin gas sustancia (especie qumica) estado cuntico i fase lquido mezcla valor de referencia quemado reaccin slido salida saturacin solar total vapor pared en la direccin x en la direccin y en la direccin z angular espectral muy lejos

cc

derivada respecto al tiempo derivada segunda respecto al tiempo tensor magnitud vectorial estado de referencia estndrir (en otros textos se usa el smbolo -e-) estado de referencia ideal correccin por compresibilidad

Otros D

a v

V.

delta nabla nabla Por idntico aprox. rombo

operador derivada convectiva o sustancial operador diferencial parcial operador gradiente o p e r ~ d o divergencia r producto vectorial operador promedio introduce una variable por definicin del mismo orden de magnitud, aproximadamente igual pertenece estado de transicin de ~ i n rectivo

Apndice 2: SIMBOLOS Y AYUDAS MA TEMA JICAS

Derivadas parciales
La Termodinmica del equilibrio estudia las relaciones que se deducen de la condicin de entropa mxima en el estado de equilibrio. La entropa, aun en el caso de un sistema simple compresible, es ya funcin de dos variables, S=S(U,V), e interesa conocer las relaciones entre sus derivadas primeras (T,p),sus derivadas segundas (cp,a,K), etc. El hecho adicional de que las variables independientes de inters no sean nicas (podra pensarse que T y p son las mejores, pero muchas veces interesa ms el volumen especfico, p.e.), hace que el manejo de derivadas parciales sea ms complicado en la Termodinmica del equilibrio que en otras disciplinas donde su uso suele ser ms intenso, como Mecnica de fluidos y Transmisin de calor, pero donde las variables independientes (espacio y tiempo) son obvias. Para simplificar la nomenclatura, y puesto que para sistemas simples compresibles bastan dos variables independientes para determinar el estado de equilibrio, nos limitaremos a considerar funciones de dos variables, tales como Z(X,Y). Suponiendo que la funcin es suficientemente regular, se podh establecer su forma diferencial:

donde dZlaXlYsignifica la pendiente de la superficie Z(X,Y) en el punto (X,Y) en la direccin Y=cte, y anlogamente para el otro trmino. Si la funcin es suficientemente regular, se verifica la igualdad de derivadas segundas cruzadas (teorema de Schwarz):

A diferencia de otras disciplinas donde las variables independientes son obvias, en Termodinmica hay que llevar un riguroso cuidado en especificar cules son las variables que se estn considerando como independientes, y ello se hace explcito con los subndices de particularizacin como en (A2.1). Resulta de gran ayuda establecer algunas relaciones generales entre las derivadas parciales cuando se cambia de variables independientes, lo que se hace a continuacin. Al ser Z=Z(X,Y), tambin se puede considerar X=X(Y,Z), y su forma diferencial ser anloga a la (A2.1). Combinando ambas se obtiene:

o bien

l. Marinez: TERMODINAMICA BASlCA Y APLICADA

y al considerar X e Y variables independientes se llega (a partir del primer miembro) por una parte a la relacin:

--

(relacin de derivacin inversa)

y por otra, dividiendo el segundo miembro de (A2.4) por aXIaYlz y usando (A2.5), se llega a la relacin:
(relacin de derivacin cclica) Otra relacin de inters es la de diferenciacin intermedia respecto a otra variable:

- --

ax , axI

(relacin de derivacin intermedia)

Formas de Pfaff
Se llaman formas de Pfaff (o formas pfriffi;in;is)
: i

las suniris de trnlinos del tipo:

donde las Ai son funciones de las variables Xi. Las formas de Pfaff se clasifican as: Holnomas
(NO

Formas de Pfaff

diferenciales exactas integrribles (con factor integrante)

holnomas (no son integrables)

Las formas diferenciales exactas son :ic~ull;isque verifican la ecuiiciii V x = O, donde es el vector de las funciones A i en el espacio de los Xi. Para ellas siempre existe una funcin potencial Z(Xi) tal que Ai=dZ13Xi. Las formas integrables con factor integrante son aqullas que verifican la ecuacin 2 (V x ) = O. Para ellas siempre existen dos funciones, una llamada factor integrante A(Xi) y otra llamada funcin potencial Z(Xi) tal cliie ilAi=dZldXi.

Apndice 2: SIMBOLOS Y AYUDAS MATEMATICAS

593

El teorema de Pfaff demuestra que cualquier f o m ~ a binaria, es decir, tal como A1dX1+A2dX2, es siempre integrable (en los tratados sobre ecuaciones en derivadas parciales se ensea a calcular factores integrantes). En la Termodinmica de los sistemas simples compresibles, eligiendo T y p como variables independientes, cualquier funcin F (p.e. Q o U) puede ponerse en la forma dF=AdT+Bdp (p.e. dQ=cpdT+Bdp) p m un proceso infinitesimal, y calcular su valor en un procyo finito desde un estado de equilibrio 1 hasta otro estado de equilibrio 2 como F = dF (p.e. Q = ~ c ~ ( T , ~ ) ~ + J B ( T ,Pero existen ciertas funciones, como el calor Q y el trabajo W, ~)&). cuyo valor integral depende no slo de los estados 1 y 2 sino del camino seguido para la integracin, mientras que otras funciones son funciones de estado y slo dependen de los estados inicial y final y no de los estados intermedios, como P.e. la energa interna U o la entropa S.

I,

El teorema de Pfaff bastara para demostrar que para la diferencial de calor en un sistema simple compresible, dQ=cpdT+Bdp, debe existir una funcin potencial (en este caso la entropa) y un factor integrante (en este caso 1/13, pero lo que ya no es deducible matemticamente es lri realidad fsica de que en cualquier caso, aunque dQ dependa de muchas otras variables (p.e. dQ=cpdT+Bd~+CCidni no slo para formas binarias) existen y esa funcin potencial y ese factor integrante.

Teorema de Euler de las funciones homogneas

Se dice que una funcin F de las variables Xi es una funcin homognea de grado n si, dado un escalar A, se verifica:

Para este tipo de funciones se verifica que funciones homogneas).

Xi(@ / aXi) = nF(Xi) (teorema de Euler de las

Las magnitudes aditivas que utiliza la Termodinmica son funciones homogneas de primer grado (p.e. U(U,AV,Ani)=;iU(S,V,ni)). Ello permite integrar la ecuacin energtica fundamental en forma diferencial dU=TdS-pdV+Cpidni(llamada tambin ecuacin de Gibbs) para dar simplemente U=TS-pV+Cpini,que se denomina ecuacin de Euler. Para demostrarlo basta derivar respecto a A la condicin de homogeneidad (A2.9), y elegir As1 (ha de verificarse para cualqiiier valor) y n=l (primer orden), obtenindose:

Aplicndoselo a la (/(S,\/) se obtiene U=TS-pV+Cpini puesto que aU/dS=T, etc. De igual manera podrri haberse obtenido S=(lIT)U+(pIT)V-C@ilT)ni.

l. Martnez: TERMODINAMICA BASlCA Y APLICADA

Transformadas de Legendre
En el Cap. 2 se vi que cualquiera de las funciones S(U,V,ni) o U(S,V,ni) contiene toda la informacin sobre las propiedades de un sistema en sus estados de equilibrio termodinmico, pero las variables independientes en esas funciones (la U o la S) no son cmodas de manejar. Resulta muy ventajoso disponer de otras funciones que sean tambin potenciales termodinmicos, es decir que, al igual que los potenciales de fuerza o de velocidad en Mecnica y el potencial elctrico en Electricidad, se pudiera derivar de ellos todo el detalle de las funciones de estado, fuerzas aplicadas, campo de velocidades y fuerzas elctricas, respectivamente. En nuestro caso interesara conocer otros potenciales que utilizasen la variable T en lugar de la U o la S, por ejemplo. Pero una funcin tal que U=U(T,V,n;) ya no es funcin potencial (no contiene toda la informacin) pues es fcil ver que se trata de una ecuacin diferencial parcial U=U(dUlaSlv,,;,V,ni) en cuya integracin apareceran funciones arbitrarias. La solucin a este problema matemtico es bien conocida, basta hacer una transformacin de Legendre (1789) a la funcin A para pasar a la funcin B sin prdida de informacin:

Es fcil ver que si existen n variables independientes existirn 2,-1 transformaciones posibles; P.e. para U(S,V) es n=2 y 2"-1=3, que son H=U+pV, F=U-TS y G-U+pV-TS. Para verlo mejor, consideremos u n ejemplo grrfico. Supongamos que, dada una funcin y=y(x) como la de la Fig. A2.la, queremos utilizar como variable independiente la pendiente pdyldx para describirla. Si nos cluedAsemos con y=y(p) ya no sabramos cul de las curvas de la Fig. A2.1b representara. La solucin aqu es intuitiva: la pendiente p y la ordenada en el origen @ s definen la curva, segn se muestra en la Fig. A2.1c, y se comprueba que la que funcin buscada es @=@(p) es la trrinsformada de Legendre @=y-px.

Fig. A2.1. Esqucmas para inosuar quc y=y(x) cs cquivalcn~c @=@(o), no a y=y(o). a pcro

Multiplicadores de Lagrange
Se trata de encontrar los valores extremos de una funcin F de las variables Xi dentro del intervalo de definicin (es decir, no en la frontera del dominio). Si no hay ms condicionantes, las posibles soluciones (llriniadas puntos crticos) se obtienen resolviendo la ecuacin vectorial VF(Xi)=O,o lo que es lo mismo, las I ecuaciones dFIaXi=O. Si se trata de encontrar un extremo condicionado a .J (,J<I) funciones de ligaduras Gj(Xi), las variables Xi quedan ligadas y no vale lo anterior, sino que la ecuacin vectorial a resolver pasa a ser

Apndice 2: SIMBOLOS Y AYUDAS MATEMATICAS

595

V[F(Xi)+CAjCj(Xi)l=0, o lo que es lo mismo, las 1 ecuaciones aFlaXi+CA,aGjlaXi=O, donde ahora s se pueden considerr desacoplridas las Xi a costa de haber introducido las J incgnitas Aj, que se calculan posteriormente a partir de las J ecuaciones de ligadura iniciales. El razonamiento es como sigue. El problema planteado es encontrar los I valores de las X tal i que: F(Xi) = extremo Gl(Xi) = constante

1
[

CJ (Xi) = constante] La condicin de extremo implica dF=O, pero las condiciones de ligadura hacen que slo se puedan elegir 1-J variables independientes de entre las Xi. En cualquier caso, se puede construir la funcin @=F+Ch;Ci, con ayuda de unos parmetros arbitrarios A,, y cuya forma diferencial es:

que es nula porque dF=O y dCj=O al ser G,=cte. De los 1 trminos en (A2.12), J pueden anularse eligiendo apropiadamente los 4, y los 1-J restantes tambin han de ser nulos porque ha de verificarse para cualquier conjunto de Xi y en particular para aqul en que las restantes Xi se toman como independientes. En resumen, el problema de encontrar las I incgnitas Xi en (A2.10) ha pasado a ser el de encontrar I + J incgnitas Xi+Aj con el sistema:

que queda desacoplado en dos, las primeras I ecuaciones con las incgnitas Xi, que se ; obtienen en funcin de los prirmetros A, y las otras J , que permiten determinar stos.

Funcin error de Gauss

Una de las funciones matemticas que, auncllie elemental, todava no suele venir predefinida en las calculadoras de bolsillo, es la funcin error de Gauss, erf(x), la cual aparece en muchos estadstica, la Transmisin de calor y la Metrologa desarrollos de la Tern~odinn~ica experimental. Esta funcin est basada en la distribucin de probabilidad normal, que es a la que tienden todas las funciones de distribucin de probabilidad al aumentar el nmero de casos que se consideran. A modo de ejemplo, considrese un tirador que dispara a un blanco puntual en un

596

l. Martnez: TERMODINAMICA BASICA Y APLICADA

espacio unidimensional -a<=. ausencia de ms informacin, pero asumiendo que En siempre habr ruido incontrolable, es de esperar que los impactos se repartan equiprobablemente a uno y otro lado del blanco, que supondremos situado en x=p, y con un grado de apiamiento que ser inversamente proporcional a la destreza del tirador; sea o la desviacin tpica de los impactos. El problema de determinar con esas condiciones la distribucin de probabilidad de impacto, p(x), tal que p(x)dx coincida con el lmite de la frecuencia relativa de impactos entre x y x+dx (nmero de impactos en ese tramo dividido por el nmero total de tiros), queda planteado matemticamente en las ecuaciones siguientes:

1,
m
m

>

p(x) ln p(x)& = mxima

=1
' ,

j-m P(x)&
j-;x2p(X)&

j-_x P(x)& = P
= 02-,u2

donde la primera es la condicin de mxima entropa (mxima incertidumbre sobre las perturbaciones), la segunda es la condicin de normalizacin, la tercera es la condicin de que se conoce la posicin de la media (basta con saber que est bien definida, es decir, que el tirador trata de apuntar siempre a1 mismo blanco), y la curirta la condicin de que se conoce el valor de la desviacin tpica (btistrt con saber que est bien definida, es decir, que el tirador mantiene una destreza constante durante los ensiiyos). El resultrido se obtiene con ayuda de los multiplicadores de Lagrange minimizando Q(p)sin ninguna restriccin:

donde la ltima expresin de p(x) se obtiene a partir de la anterior cuando se calculan los coeficientes Aien funcin de los datos p y o, con rtyuda de las tres condiciones en (A2.15). Cuando se reescala la variable para que el origen est en la media (en el blanco) y la desviacin tpica sea la unidad, se obtiene 11i funcin de distribucin de probabilidades de Gauss normalizada (curva a en lri Fig. A2.2):

Apndice 2: SIMBOLOS Y AYUDAS MATEMATICAS

Fig. A2.2. Funcin de distribucin dc probabilidad normal o de Gauss (curva a); funcin de probabilidad acuinulada (curva b); funcin error dc Gauss (curva c); la curva d corrcspondc a ~ x p ( - x ~ ) l x ' / ~ .

A partir de ella se define la funcin probabilidad acumulada prob(x) (curva b de la Fig. A2.2) y la funcin error de Gauss erf(x) (curva c de la Fig. A2.2) como:

Por ejemplo, el valor prob(l)=0,683 (prob(3)=0,997) indica que en una distribucin gaussiana el 68,3% (99,7%) de los sucesos estn comprendidos en el intervalo x=@a (x=@30). A veces tambin se trabttjrt con la funcin error complementaria erfc(x)zl -erf(x). Puede demostrarse de una manera sencilla que erf(=)=l crtlculando el producto erf(x)erf(y) y viendo que se llega a una integrrtl extendida a todo el primer cuadrante; esto es:

De modo anilogo se pueden calcular otras integrales que tambin aparecen en el estudio de distribucin de velocidades rnoleculares en el equilibrio, como:

El valor de estas integrales entre de ndice impar.

+o .

ser el doble para las de ndice par, y nulo para las

Aproximacin de Stirling
En la termodinmica estadstica hay que hacer uso frecuente de factoriales de nmeros muy grandes, y resulta miiy veiitrtjosa la siguiente aproxiniricin (debida a Stirling):

l. Martnez: TERMODINAMICA BASICA Y APLICADA

Puede deducirse esta aproximacin mediante la analoga grfica presentada en la Fig. A2.3, donde se aprecia que lnN!=ln(1.2.3.4.5...)=1n 1+ln2+ln3+1n4+1n5+...=~n , que integrada x por partes da lnN!=MnN-N- 1.

Fig. A2.3. Aproxiinacin de InN! por J l n ~ d ~ .

Mtodos numricos
La solucin de los problemas fsicos, o niejor dicho, de los modelos matemticos de los problemas fsicos, puede abordarse con ayuda del anlisis simblico (hoy da existen varios programas de ordenador que lo facilitan grandemente, como el Maple, Reduce, Mathematica), del anlisis niimrico (es el caso ms corriente), del anlisis grfico (actualmente en desuso), de analogas fsicas, etc., o con iinri combinacin de estos mtodos. Se va a hacer aqu un escueto resumen de los nitodos numricos usuriles, a modo de glosario de trminos que permitan dirigir mejor la bsqueda en la bibliografa especializada. Inteqolacin y extrapolacin Cuando slo se dispone de valores discretos de una funcin y se desea estimar un valor interior al intervalo definido se trata de un problema de interpolacin. Si se conoce por otro lado el tipo de funcin (p.e. se sabe que es de la forma y(x)=aexp(x)) basta determinar las constantes con ayuda de los valores conocidos y calcular el valor de la funcin en el punto deseado (vale tanto para interpolar como para extrapolar). Pero el caso ms corriente es que la funcin sea desconocida y slo se conozcan los puntos discretos dados, en cuyo caso hay que suponer que se trata de una funcin regular y suave, y se puede aproximar en el entorno de un punto por el valor en dicho punto, o por una recta entre los dos puntos ms prximos, o por una parbola entre los tres puntos mis prximos, etc., segn convenga a la precisin estimada de los datos y de la aproximacin buscada. Generalmente suele bastar una interpolacin lineal, donde lri funcin y(x) se aproxima a partir de dos puntos (xl,yl) y ( ~ 2 ~por: ) ~2

Apndice 2: SIMBOLOS Y AYUDAS MATEMATICAS

599

Si los puntos (xi,yl) y (x2,y2)estn muy prximos, hay que comprobar que su incertidumbre no enmascare el resultado, particularmente cuando los puntos se obtienen a partir de un grfico. Otras veces se conoce algn detalle de la funcin buscada, como alguna simetra, o que su y derivada es nula en algn punto prxin~o, ello ayuda a mejor ajustar la curva. Para la extrapolacin se procede igual, pero la incertidumbre puede crecer mucho al alejarse de los puntos conocidos, pues suele ocurrir que si no hay ms puntos disponibles es porque a partir de ah la funcin es ms complicada. En cualquier caso, conviene recordar el desarrollo de Taylor de una funcin y(x) en el entorno de un punto x,:

donde las derivadas pueden evaluarse numricamente por cociente incremental como se menciona ms adelante. Ajuste paramtrico Dados una serie de puntos (x,y), y deseando encontrar una funcin y(x) que los aproxime convenientemente en todo el dominio, se distingue entre interpolacin y ajuste en que la interpolacin obliga a que la funcin pase por los puntos dados (por lo que coincide el nmero de parmetros de la funcin con el nmero de datos usados), mientras que en el ajuste se usan ms datos que nmero de parmetros tiene la funcin, con lo cual sta no pasar por los puntos dados, en general. Sean (xi,yi) i=O,l, ...N el coi-ijunto de plintos dados e y=y(x,p,) j=l ...P la funcin de ajuste (tambin llamada de correlacin), con P<N+l. El problema de encontrar el valor de los p, se reduce a minimizar la desviacin tpica oy:
N
0;E i=o

C [ Y ( X ~ , P ~ > - = mnima -> ~ Y~]

(- y apj

= O Vj

i = ~

Si la dependencia de y=y(x,p,) con pj es lineal (p.e. y=a+bsenx), el sistema anterior pude resolverse explcitamente. El caso ms corriente es el de u n ajuste lineal (tambin llamado correlacin o regresin lineal), en el que se trata de encontrar la funcin y=ax+b que mejor ajuste a una serie de puntos (xi,yi),cuya solucin es:

600

l. Martnez: TERMODINAMICA BASICA Y APLICADA

P
P

2~

con

, = u

N Zx: - (Cxi )Z

(A2.26)

La bondad del ajuste puede juzgarse por la desviacin tpica asociada a la funcin, la desviacin tpica asociada a los parmetros, o, y ob, dados por1:

o-, O por

Un tema que suele ir ligado a la aproximacin de una funcin incgnita como desarrollo en serie de funciones elementales (con vistas a un ajuste o a iin anlisis), es el de las funciones ortogonales. Se dice que dos funciones fi(x) y fj(x) de una familia f,(x) son ortogonales con respecto al factor pondera1 w(x) en el intervalo [a,h], si:

Si eso ocurre para todo i y j, se dice que la familia constituye un conjunto de funciones ortogonales. Las familias ms conocidas son las de las funciones trigonomtricas sen(kx) y cos(kx). En cuanto a familias de fiinciones racionales, la de mononiios, aixi, no es ortogonal, pero existen otras combinaciones que s lo son, como los polinomios de Legendre, los de Laguerre, los de Chebychev y los de Hemite. Todas estas funciones aparecen en la solucin analtica de ecuaciones diferenciales ordinarias de segundo orden del tipo y"+f(x)y'+g(x)y=O, que tambin dan lugar a las funciones trigonomtricas antedichas y a las funciones de Bessel (stas ltimas aparecen en los problemas con simetra cilndrica). Races (soluciones) de una ecuacin Dada una ecuacin con una incgnita, y(x)=O, y no siendo despejable directamente la x en funcin de los dems parmetros, existen varios procedimientos numricos para determinar el valor o los valores de x que satisfacen dicha ecuacin. Ante todo, conviene tener in mente la solucin grfica, que consiste en dibujar la curva explcita y=y(x) y ver donde corta al eje de abscisas. El mejor mtodo nunirico suele ser el de las bisecciones, donde se selecciona un intervalo de inters (hay que asegurarse de que no haya mis de una raiz, para lo cual suele ser de gran ayuda un dibujo previo) y el punto medio del intervalo antedicho, descartando el extremo que d un valor de la funcin con el mismo signo cliie el plinto medio, y repitiendo la particin hasta el grado de aproximacin deseado.
1. Daniel, I., "Fitting equation LO data", McGraw-Hill, 1988.

Apdndice 2: SIMBOLOS Y AYUDAS MATEMATICAS

601

Otro mtodo muy elemental, pero muchas veces inestable, es el de las sustituciones sucesivas, donde se introduce un valor de prueba xi y se itera P.e. en la forma x ~ + ~ = x ~ + ~ ( x ~ ) . Si se es capaz de calcular la derivada y'(x) de la funcin a anular, y(x)=O, puede usarse el mtodo de Newton-Raphson, que, si funciona, es muy eficiente:

Sistemas de ecuaciones Si se trata de un sistema lineal de ecuaciones [a]lxl=lhl, puede encontrarse la solucin explcita kl=[a]-llhl (p.e. por el mtodo de eliminacin de Gauss-Siedel). Para los sistemas de ecuaciones no lineales suele ser fundamental el conocimiento del entorno en que se debe encontrar la solucin, y entonces se aplica el mtodo de Newton-Raphson, que se reduce a la misma ecuacin de iteracin (A2.29) pero ahora considerada matricialmente para todas las dimensiones (una ecuacin por cada incgnita). En el mtodo implcito usado en Transmisin de calor por conduccin en sistemas homogneos bidimensionales hay que resolver u n sistema de ecuaciones lineales (coeficientes constantes) cuya matriz [a] slo tiene trminos no nulos en la diagonal principal y las dos adyacentes, lo que se llama un sistema tridiagonal, cuya solucin se simplifica enormemente con respecto al caso general. Derivacin e integracin La diferenciacin (o derivacin) numricri se hace por cociente incremental, centrada o descentrada (hacia adelante o hacia atris). Por ejemplo para la derivada primera:

(hacia ;idelante)

Xi+i

- Xi

En la discretizacin espacial de las ecuaciones diferenciales suele usarse derivacin centrada, particularmente cuando los puntos de muestre0 estn equiespaciados. En cambio en la discretizacin de la variable tiempo suele usarse la derivada hacia adelante, o alguna de sus variantes, por razones obvias. En cualquier caso hay que tener presente cliie la diferenciacin numrica puede amplificar mucho la incertidumbre, como es ficil de comprobar dibujando con ordenador una funcin discretizada cualquiera como y=senx y su derivada numrica usando cualquiera de las (A2.30), para varios tamaos de salto de discretizricin, dx.

602

l. Martnez: TERMODINAMICA BASICA Y APLICADA

En cuanto a la integracin, cabe empezar diciendo todo lo contrario que para la diferenciacin en lo que respecta a la amplificacin de la incertidumbre, ya que si la incertidumbre tpica en un valor de la funcin es ayy se usan N valores para la integracin, la incertidumbre en la integral ser oi=aylN1/2. El mtodo ms sencillo de realizar una integracin numrica de la funcin y(x) discretizada en los valores yi (i=O...N) en el intervalo [xa,Xb],es el de los trapecios, que puede ponerse en la forma:

Sin embargo, si la funcin y(x) estr discretizada en intervalos iguales de tamao ~ - x ~ + y N x ~ ~es par (i=O...N), la regla de Simpson:

par

impar

da mayor aproximacin. Solucin de ecuaciones diferenciales Si se trata de calcular la funcin y(x) conociendo su derivada y' y sta es slo funcin de x, y'=y'(x), se procede a una integracin como antes se ha dicho; pero si la derivada es tambin funcin de y se trata propiamente de una ecuacin diferencial, que puede resolverse numricamente por varios procedimientos. El mis sencillo es el mtodo de Euler, donde se van calculando los valores de la funcin a partir de una condicin inicial yu(xa) y el proceso iterativo siguiente:

siendo h el intervalo de discretizacin, que se supondr constante, y que conviene que sea pequeo puesto que la y' se aproximri por el valor en el punto adyacente hacia atrs. Ntese que los errores debidos a aproximar la y' hacia atrs son acumiilativos, por lo que cada vez va siendo peor la aproximricin de la funcin (respecto a su valor exacto, P.e. obtenido analticamente si se pudiera). Aunque no hay modo de impedir ese crecimiento de la incertidumbre, el mtodo de Runge-Kutta de cuarto orden:

Apndice 2: SIMBOLOS Y AYUDAS MATEMATICAS

siendo

pl

= hyl(xi,yi)

es mucho mris preciso que el de Euler (los errores son proporcionales a h2 y a respectivamente).

h4,

Como se desprende de los algoritmos de Euler o de Runge-Kutta, es fundamental partir de unas condiciones iniciales conocidas. Pero no siempre se conocen las condiciones iniciales, o bien en la funcin y' aparecen przrrimetros de valor desconocido que estn ligados a los valores de la funcin y(x) en otro punto distinto del inicial, o a valores integrales de la funcin. Estos problemas se dice que son de condiciones de contorno, y se resuelven por iteracin en las condiciones iniciales supuestas (mtodo balstico). Este no es el nico mtodo de resolucin de los problernrzs de contorno, que tambin pueden resolverse por diferencias finitas, P.e., a partir de una funcin ficticia. Aunque aqu se ha ceido la explicacin a ecurtciones diferenciales ordinarias y de primer orden, la generalizacin ri u n sistema de ecuaciones diferenciales ordinarias de primer orden es trivial (basta considerar las relaciones anteriores como vectoriales), y es bien sabido que cualquier ecuacin diferencial de orden n se puede pasar directamente a un sistema equivalente de n ecuaciones de primer orden. Para las ecuaciones diferenciales en derivadas parciales, el mtodo ms recurrido es el de las diferencias finitas, donde Iris variables espaciales y temporales se discretizan apropiadamen te.