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

Subndices
IR
MC
R

vc

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

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

cc

Otros
D

a
v

V.

delta
nabla
nabla
Por
idntico
aprox.
rombo

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

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

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 nrectivo

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:

(relacin de derivacin intermedia)

- --

ax , axI

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:

Formas de Pfaff

Holnomas
(NO

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.

593

Apndice 2: SIMBOLOS Y AYUDAS MATEMATICAS

El teorema de Pfaff demuestra que cualquier f o m ~ abinaria, 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
y no slo para formas binarias) existen
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 es la trrinsformada de Legendre @=y-px.
funcin buscada es @=@(p)

Fig. A2.1. Esqucmas para inosuar quc y=y(x) cs cquivalcn~ca @=@(o),

pcro no a y=y(o).

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 Xi tal
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<=.En ausencia de ms informacin, pero asumiendo que

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,

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

j-mP(x)&

=1
',

j-_x P(x)& = P
j-;x2p(X)&

= 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
x , que integrada
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)

599

Apndice 2: SIMBOLOS Y AYUDAS MATEMATICAS

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
derivada es nula en algn punto prxin~o,y 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

C [ Y ( X ~ , P ~ > -=
Ymnima
~]
-> ~
i=o

= O Vj

(- y

i = ~

apj

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

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:

(A2.26)

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:

Xi+i

(hacia ;idelante)

- 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.