REV.

DE GEOFISICA 11983) 39, 151-164

Mtodos numricos en la prediccin del tiempo

E. HERNANDEZ,
J. M. PACHECO
y R. GARCIA
Meteorologl Dinmica. Departamento de Fkica del Aire y Geofkica
Facultod de Ciencias Fkicos. Universidad Complulense, Madrid

En el presente trabajo se pasa revista a los principales mtodos que se utilizan en los clculos de la prediccin atmos-
frica. Los mtodos de diferencias finitas y espectral son tratados con cierta rapidez, por la mayor difusin y accesibilidad
que tienen. En cambio, los mtodos variacionales se exponen con cierto grado de detalle, con la intencin de poner al
lector en disposicidn de introducirse rpidamente en la literatura avanzada. El trabajo se cierra con una bibliografa amplia,
que intenta servir de base para posteriores estudios que puedan motivarse.

The present paper surveys the most usual methods employed in numerical weather prediction. Finite differences
and spectral methods are studied only in their most outstanding features, but variational methods are dealt with to a
considerable degree of detail. An extensive bibliography follows.

O. INTRODUCCION troducir correcciones y variaciones en las predicciones

Los mtodos de prediccin numrica pretenden una
descripcin lo ms ajustada posible, dentro de un
esquema matemtico, a los verdaderos campos meteo-
rolgicos cuyo comportamiento se desea predecir o si-
mular, caso este ltimo de gran inters a la hora de
plantear experimentos con los modelos para su puesta
a punto.
Un mtodo numrico ha de satisfacer un conjunto
de requisitos mnimos para ser utilizable. Esto se ver
ms adelante pero de todos modos conviene recono-
cer que la utilidad practica de un binomio modelo1
mtodo depende muy esencialmente de la velocidad
a que puede desarrollarse el calculo. Una gran velo-
cidad en la. computacin tiene inters no slo para
obtener una prediccin utilizable en los habituales
plazos cortos de 24 a 48 horas, sino para poder in-
a ms largo plazo con objeto de que el impacto psi-
colgico de los posibles aciertos predictivos haga
aumentar su fiabilidad y credibilidad.
Los primeros intentos de establecer una teora para
la prediccin del tiempo (Bjerknes, 1904) por mtodos
maternaticos corresponden a principios de este siglo
y su metodologa se basaba en la ststitucin de ecua-
ciones primitivas por sus anlogas en diferencias fini-
tas (Richardson, 1922). El fracaso de las primeras ver-
siones numricas se debi fundamentalmente a dos
factores: Primero, a un relativo desconocimiento del
comportamiento del esquema numrico y de los pa-
rametros bsicos que lo describen; segundo, a la poca
velocidad de los mtodos de clculo disponibles en la
poca (Courant y Hilbert, 1924).
Muy poco despus de estos intentos primitivos se
plantearon y resolvieron los principales problemas
152 E. HERNANDEZ. J. M. PACHECO Y R. GARCIA

relativos a la estructura interna del mttodo de dife-

rencias finitas, quedando as abierto el camino para
cuando se dispusiera de herramientas rpidas y fiables
de clculo. Esta etapa se dio poco despus del final
de la Segunda Guerra Mundial, cuando se puso en
marcha el programa meteorolgico de Von Neumann
en 1946, dando origen a una serie de trabajos (Char-
ney et al., 1950) de importancia capital para el des-
arrollo de la meteorologa numrica. En particular en
esta poca se introdujeron los modelos filtrados (Char-
ney, 1949), cuyo objetivo es doble: En primer lugar,
aislar ciertos fenmenos de inters principal, y en
segundo, eliminar las perturbaciones puramente ma-
temticas debidas al diseo del mtodo. De esta poca
procede el uso de las ecuaciones en forma de vorti- Fig. ].-Malla de diferencias finitas.
cidaddivergencia en sustitucin de las ecuaciones pri-
mitivas. Por otro lado, el estudio de este tipo de
ecuaciones no ha llegado a eliminarse (Hinkelmann, Si f (x, t ) es el campo que se estudia en coordena-
1959), sino que, al contrario, ha vuelto a centrarse das espacio-tiempo y si P (x,, t,) es una aproximacin
el inters en su estudio, debido a la precisin con que calculada en (x,, t,), la flecha (xi,t,) (xi, t,+,) pro-
+

proveen variables de inters de primera mano y al porcionara un pronzstico en t. La flecha (x,, t,) +

desarrollo de computadoras y programas que permiten (x,, , t,) dar un diagnhico en x. Ambos aspectos
el tratamiento del mayor volumen de datos que ne- pueden resultar interesantes para el meteordogo, se-
cesitan estos mtodos (Burridge, 1979). De todos mo- gn el trabajo que desee efectuar. En la prediccin,
dos, la bondad de la prediccin depende an muy naturalmente, interesa el paso t, -* t,+,
fuertemente de la calidad de las observaciones utili- Si se escribe Vn = (vector cuyas coordenadas son
zadas como condiciones de partida y de las prdidas los valores P ( x,, t,), con n fijo) entonces el problema
de valor de la informacin con el paso del tiempo, puede expresarse de modo compacto:
que limitan esencialmente la validez temporal de las vn+l=Ovn+ B
predicciones (Gandin, 1964; Lorenz, 1969). donde (3 representa un operador (generalmente se re-
ducir a una matriz) y B representara un vector que
da cuenta de las condiciones del problema (de con-
1. DIFERENCIAS FINITAS torno e iniciales).
Cmo llegar a la expresin (3 es cuestin tratada
Los mtodos de clculo numrico para las ecuacio- ampliamente en la literatura (Mesinger y Arakawa,
nes diferenciales tienen dos aspectos claramente dife- 1976; Kreiss y Oliger, 1973). Por regla general el me-
renciados: a) diseo del mtodo, que permitir tradu- todo es el siguiente:
cir las expresiones -analiticas a anlogos algebraicbs,
y b) proceso. de resolucin de estas expresiones alge- A base de desarrollos de Taylor con ms o menos
braicas. Aqu se tratar bsicamente del aspecto a). trminos se consigue encontrar expresiones para las
En las diferencias finitas la metodologa del proble- derivaciones mediante cocientes incrementales ms un
ma es la siguiente: Se discretizan los dominios de trmino de error obtenido a partir de los restos de los
definicin de las variables bsicas mediante una malla desarrollos de Taylor. Tras ese ,pbceso se sustituyen
o rejilla, y tras sustituir las expresiones diferenciales los valores exactos (desconocidos) de f por sus apro-
por otras, anlogas, discrek, se intenta calcular el ximaciones y despejando las expresiones P (x,, t, )
+

comportamiento en un nudo de la malla a partir de se llegar a Vn+, = O Vn + B (Gavurin, 1973). No

otros donde sea conocido. En la aplicaci6n a cuestio- hay inconveniente en que incorpore trminos que
nes meteorolgicas se puede resumir esto en el siguien- reflejen la historia anterior del proceso (esto es, el
te grfico representado en la figura 1: uso de P (x, t,), k 9 n). Asi en el mtodo leapfrog
o mktodo de los cuatro puntos, el calculo en (x,, t, ) + ,
recibe influencias segn el diagrama de la figura 2,
obtenindose, para el caso de la ecuacin de ondas
en dim. 1:
 METODOS NUMERICOS EN LA PREDICCION DEL TIEMPO
Fig. 2.-Diagrama del mtodo leapfrog.
P ( x , , t n + , )=PCx,, t,)-cte [pCx,.,, t,)-
- W , - I , tJ].
Todos estos mtodos estn exhaustivamente estu-
diados y existen facilidades para su uso en ordena-
dores. Conviene recordar ahora las caractersticas b-
sicas del estudio de estos mtodos.
Las soluciones de las ecuaciones diferenciales que
interesan al meteorlogo suelen tomarse como ondas
que viajan y conservan su energia. Una interpreta-
cin apropiada del concepto de energa, aplicada a
la ecuacin que se maneje, permitir llegar a la ex-
presin analoga para el esquema en diferencias fini-
tas. La conservacin de la energia E, expresada por
a E - o , se traducir4 en el caso descrito en la rela-
--
at
cin E,, + , d E,. La consecucin de esta relacin se re-
fleja en la existencia de alguna condicin que ligue los
valores de los pasos de malla espacial y temporal.
Cuando la energia aumenta en cada paso de tiempo,
se dir que el esquema es inestable. La inestabilidad
indicar que si el paso de red temporal es grande, con
relacin al espacial, pueden introducirse ondas com-
pletas en ese intervalo, dando lugar a oscilaciones
grandes en la solucin. Es lo que ocurrira de haber
continuado el mtodo de Richardson (Charney, 1950).
En la prctica las cuestiones de estabilidad se tratan
con los mtodos trigonomtricos de Von Neumann.
Este mtodo consiste en la expresin de P(x, , t,) en
serie trigonomtrica en x (generalmente reducida a un
nico armnico cuyo factor de amplificacin es p )
y a base de pasos de tiempo, llegar a otra, anloga,
P (x, , t,), que resulta ser de igual forma, pero afec-
tada de un factor p n de amplificacin. La interpre-
tacin del factor p como medida de la relacin entre
Ax y A t vuelve a dar lo conseguido antes por el m-
todo energtico.
La cuestin de la convergencia de las aproximacio-
nes obtenidas por el mtodo a las verdaderas solu-
ciones de las ecuaciones diferenciales tambin debe
ser estudiada con algn detalle. Se entender que esa
convergencia tendr lugar cuando Ax -. o, lo cual,
como se ha expresado anteriormente, determinar los
valores de A t que tambin tienden a o. En general,
escribiendo las condiciones iniciales en forma de des-
arrollo de Fourier, el esquema en diferencias permi-
tir escribir:
Imponiendo que ( p, 1 d 1 y, suponiendo conver-
gencia uniforme, se llega a que
lim P (x, ; t,) =f (x , t)
Ax-. o
Aqu lo esencial es establecer una forma manejable
del factor de amplificacin. He aqu una serie de defi-
ciones que son de inters.
Error de truncadura es el error cometido al susti-
tuir en el esquema en diferencias finitas la P por la
solucin f: Si f es diferenciable y el error de trun-
cadura tiende a O con Ax, se dir que el esquema es
consistente. Ya se ha sealado previamente qu es
un esquema estable; por lo tanto se definir como
aquel en que el factor de amplificacin cumpla 1 p 1 <
+
< 1 o (A t). Si f es una solucin analtica del pro-
blema y adems el esquema da una aproximacin que
tiende a f, se dir que es convergente. Un conocido
+
teorema (Lax + Richtmyer Morton, 1967) asegura
que ((consistente + estable~convergente.Cuando
se trabaja con ecuaciones lineales, o linealizadas (por
e! mtodo de perturbacin entre otros), las conclusio-
nes anteriores bastan para llevar a cabo un anlisis
del problema. Sin embargo, las ecuaciones no lineales
tratadas directamente por el mtodo de diferencias
pueden presentar otro tipo de inestabilidad, la llamada
no lineal producida por los alias e n los nmeros de
ondas. Esto consiste en que si existen ondas de Ion-
gitud < B x , entonces los nmeros de onda mayores
que N 4 no son detectados por el esquema en dife-
rencias y provocan inestabilidad, esto es, las solucio-
nes devienen no acotadas, pues los nmeros de onda
A > N son confundidos (alias) con A' = N -A. Este
tipo de inestabilidad puede arreglarse, bien intro-,
duciendo un filtrador que elimine esos nmeros de
onda (caso p. ej. de los A2 en la ecuacin de vortici-
dad), o bien modificando el propio esquema en dife-
 E. HERNANDEZ. J. M. PACHECO Y R. CARCIA

rencias. Ver Richtmyer + Morton (1967), Mesinger + *

8 0 l a r o sobre la zona de estudio. As las cosas,
Arakawa (1 976), Kreiss + Oliger (1973). cualquier campo meteorolgico f (o, 8, A ) admitir
Los esquemas en diferencias usados para las ecua- una representacin en serie de Fourier:
ciones primitivas linealizadas permiten el clculo de m

ondas baroclnicas inestables, cosa que conviene re- f ( ~ , e , A ) b-1

m
a, (o, 8 ) eimA
saltar por la mayor aproximacin a la realidad que
proveen los modelos baroclnicos (Burridge, 1979). Esta representacin es igual a la funcin en el caso
habitual en que f C m ,cosa que es bastante razona-
ble, al menos en un sentido generalizado (ver apar-
2. METODOS ESPECTRALES tados siguientes). Recprocamente, las condiciones que
han de cumplir los coeficientes a, (o, 8) de un desarro-
En el apartado anterior se ha pasado una rpida llo como el anterior para que originen una funcin
revista al mtodo de diferencias finitas y a algunas fC", a saber, que exista una nueva funcin i , C W ,
de sus limitaciones practicas y tericas. Los errores tal que
de alias en algunos trminos advectivos pueden ser a,, (a, 9 ) = , (a, cos 8 ) senlm19
eliminados por el mtodo espectral, esto es, sustitu-
yendo los campos meteorolgicos que intervienen en (Courant, 1924) permiten escribir cualquier campo de
ellos por series, truncadas (espectrales), de funciones inters meteorolgico a base de funciones, que en un
longitudinalmente peridicas apropiadas; adems, los instante fijo de tiempo, son de clase C" (Nikiforov +
problemas de representacin geomtrica originados Ouvarov, 1976). En la situacin recin descrita, el
por los polos en el caso de rejillas hemisfricas pue- problema ha sido trasladado a una cuestin de apro-
den desaparecer en estos mtodos debido a la propia ximacin en espacios funcionales. Las variables me-
naturaleza de los trminos usados en las representa- teorolgicas pueden Oescribirse como funciones de tipo
ciones. Sin embargo, estos mtodos, de carcter ms
directo, no han gozado hasta ahora de excesiva po- que, para el tratamiento practico, reciben una discre-
pularidad por su gran complejidad computacional. tizacin en t y o . As se podr poner
La esencia de un mtodo espectral consiste en el
cilculo de los coeficientes o amplitudes (factores de
amplificacin se han llamado antes) de la represen-
tacin truncada elegida. Las variaciones de esas am- para estudiar la fotografa en el instante t = t, del
plitudes, concebidas como funciones de la posicin campo del que se trate sobre la superficie isoo de
y del tiempo, originan las habituales de diagnstico ecuacin o = o,. Los mapas habituales responden. a
y pronstico, respectivamente. Por tanto, el volumen esta descripcin. As pues, se tratar de trabajar en
de datos necesarios para el calculo de esas amplitu- o = a, y efectuar representaciones en las variables
des, que crece con el cuadrado del nmero de trmi- 8 y A con las restricciones 8, < 9 8, , A [O, 2nJ;
nos, haca lentos los procesos de clculo. Con auxilio f (9, A ) =f (8, A + 2kn); con lo que se utilizarn ele-
de la transformada de Fourier, rpida, introducida mentos de un espacio de funciones representables en
alrededor de 1960 (Jenkins y Watts, l968), se ha vuel- la forma
m
to a poner de relieve la utilidad de estos mtodos. 1 ,, (COS e) senlmle eM
Por otra parte, ello vuelve al origen de la idea y jus- - m

tifica el nombre, pues la transformacin de Fourier para llevar a cabo la aproximacin de los campos
no es sino la representacin espectral (via al teorema cuyo estudio se desee efectuar. Como las funciones
de Gelfand) que hace corresponder a cada entero i , se determinarn a partir de%atos estadisticos en
n E Z el coeficiente c,, del desarrollo de Fourier de la cada valor de t y de o, se presenta el doble problema
funcin representada (Gelfand et al.. 1964). de seleccionar una familia { a, } apropiada de fun-
En un mtodo espectral se tratar de representar ciones y el nmero 1 m ( que haga manejable la apro-
un campo meteorolgico mediante expresiones for- ximacin desde el punto de vista del clculo (Bourke,
males, generalmente series dbles, a base de funcio- 1972 y 1974).
nes adecuadas. Se tomar para la representacin un Si se asocia a cada punto de la trama de la figura 3
sistema esfrico (r, 8 , A ) de coordenadas, pero susti- una funcin C", (cos O), tal que gm= gn para
tuyendo la coordenada vertical r por alguna funcin hacer el papel de z,, entonces se podr escribir
diferenciable o (pinsese en la presin). La condicin
de admisibilidad para una tal o es, desde luego, n
Y (9, A ) = g; (cos 9 ) senlmlee"
 METODOS NUMERICOS EN LA PREDlCClON DEL TIEMPO

de L2 es ms dCbil que la convergencia uniforme

(Orszag, 1970). La seleccin de funciones aptas para
cada problema deriva de los operadores diferenciales
que intervienen en l, y por lo general se toman va-
riaciones de las funciones propias de los tales opera-
dores. En particular, la laplaciana origina de modo
natural los armnicos esfkricos, utilizados, entre otros,
en el modelo operativo del European Center for Me-
dium-Range Weather Forecast en la actualidad.

Fig. 3.-Truncadura.
3. METODOS VARIACIONALES

E donde Y ;"
I tipo
-
=Y,", lo cual dar una representacin
Una de las ideas subyacentes en el mtodo de di-
ferencias finitas es la de la diferenciabilidad de las
cantidades involucradas. Sin embargo, en la realidad
se producen cambios bruscos en los campos meteo-
rolgicos, incluso discontinuidades, caso, por ejemplo,
En principio, n, que indica la clase de funciones de un frente, donde ocurren discontinuidades en to-
usadas para aproximar, puede ser fijo y cualquiera das las magnitudes excepto la presin, la cual presenta
en esta relacin, o bien puede utilizarse para esta- gradiente discontinuo. Esto se ve claramente en los
ble& alguna limitacin sobre las m, lo que se llamar puntos angulosos de las isobaras en los mapas que
una truncadura (fig. 3); este concepto se reservar representan frentes.
para una parte de la malla que sea simtrica respecto A la vista de lo anterior, parece razonable que las
del eje n y que sea finita. De esta forma, sert posible ecuaciones que interesan posean, en lugar de solu-
emplear expresiones?(O, A) = TR5Nc,A: Y," (que for- ciones analticas ordinarias, soluciones analiticas dbi-
les, esto es, en el sentido de las distribuciones (Miji-
man, desde luego, un subespacio del3 antes ci- lov, 1978) (Carrol, 19698. Mas an, dado que se
tado) para obtener representaciones aproximadas de pueden considerar los problemas de contorno e ini-
los campos, segn puede verse: ciales desde el punto de vista variacional, esto es,
bsqueda del extremo de una funcional, ello obligar
Si f = m =
-m
Cm (cos 8) senlm18 e"' es tal que a tratar los problemas en un marco adecuado, que
mse puede desarrollar en serie segun n: resultar ser el de los espacios de Sbolev sobre L2.
m A continuacin se expresan estas ideas con cierto
%"=,A," :g grado de detalle.
Sea la ecuacin diferencial y' =f. En principio,
entonces f es expresable en serie doble toda solucin y de esta ecuacin ser una funcin
diferenciable qpe sustituida en ella se satisfaga. Sin
embargo, en la prctica (especialmente en meteoro-
logia) la condicin de diferenciabilidad puede ser muy
que, caso de existir convergencia uniforme, dard bue- restrictiva y convendr arbitrar otros medios. Multipli-
nas representaciones, con control de error, utilizando cando ambos miembros de la ecuaciprr por una cierta
truncaduras cada vez ms extensas. Un caso apro- funcin que s sea diferenciable, e integrando sobre
piado se obtiene tomando para g," una familia de po- un intervalo [a, b]:
linomios que sean base del espacio de polinomios.
Un aspecto interesante aparece si se considera como
lgebra de Banach (Gelfand et al., 1964), diversas
normas. La norma de convergencia uniforme da al Calculando por partes el primer miembro:
anhliiis reci6n esbozado y la introducci6n de la norma
L2 da lugar a notables simplificaciones en la expresin
de productos si se seleccionan como g," funciones or-
y1cpdx=w l:-f N'dx = ! fcpdx

togonales. En todo caso, la aproximacin por medio y si se supone cp de soporte compacto en [a, b] el tr-
156 E. HERNANDEZ. J. M. PACHECO Y R. GARCIA

3.1. FORMA
VARIACIONAL DE U N A ECUACION
mino yq DIFERENCIAL

Es un hecho trivial reconocer que el polinomio

Toda funcin y que satisfaga esta ecuacin puede
ser considerada como solucin en sentido dbil de la
ecuacin diferencial dada, siempre que esta ecuacin
se cumpla para todas las (p del tipo considerado. Sea
ahora y E , un cierto espacio vectorial de funciones.
,. ,.
Si y no es variable en sentido ordinario, la regla
ax2 - 2bx posee un mnimo (si a > o) cuando
ax - b = o. Esta idea elemental es de gran fertilidad
cuando se reinterpretan adecuadamente los trminos.
Si se hace que a represente una mtrica (matriz si-
mtrica) definida en R n y que b, x sean vectores
de R " , con su habitual estructura euclidea, entonces
la forma cuadrtica Q(x) = ax2 - 2bx, representada
por la ecuacin en coordenadas Q (x) = E t a, xi xj -
i j

2 bi xi alcanzar su mnimo cuando todas las den-

i

.permite definir en sentido dbil la derivada de y, ms vadas parciales a Qbx, = O, esto es, si 2 6
J a uxj -

an, el objeto y' definido por esta expresin es pen- - bi) = o o bien ax = b. Se ve ahora, para todo vec-
sable como un elemento del dual del espacio de las cp torVER", que
pues la ley "

donde se reconoce cierta analoga formal con el desarro

110 anterior. Si se reescribe ahora Q (x) = ax x - 2 b x,
es obviamente una aplicacin lineal :ya continui- ello permite decir que las soluciones del problema de
dad es fcil establecer. En tanto, si la operacin minimizacin de o. son las soluciones dbiles del
o (e) por < o , e > (siendo o E dual de {cp} y e{.}), problema ax = b.
se puede definir la derivada y' como aquel elemento Continuando la analoga formal, sea ahora A un
del dual que satisface la ley operador diferencial y se .tratar de resolver la ecua-
cin diferencial Af = g. Multiplicando escalarmente
por una funcin apropiada v se tendr (Af, v) = g, v),
' Problemas anexos a esta definicin son los siguien- que segn lo anterior, est conectado con la funcio-
tes, entre otros: nal (Af, f ) - 2 1g, f). Ahora, si el producto escalar
1) En principio, las y' definidas as no son fun- se introduce, como es habitual, por la integracin del
ciones ordinarias, y por tanto no se puede ha- producto de funciones, teniendo en cuenta las con-
blar del valor y' (x). diciones anexas a A, algun tipo de frmula de Green
2) Las integraciones llevadas a cabo en el desarro- permitir concluir que el mnimo de la funcional ser
+
llo anterior precisan ser definidas correctamen- solucin dbil del problema [Af = g] [condicionesl.
te, y en un sentido claramente aplicable. Se tratar, ahora, de conectar la idea de dualidad
con la de producto escalar.
Si se supone resuelto el problema segundo habien-
En E se ha definido un tal producto por la regla:
do elegido el tipo de integral que haga falta, el pro- "
blema primero puede ser tratado del modo siguiente:
Se consigue que E sea un espacio denso en el dual
{ q }* (lo cual exige definir una 'topologa adecuada
en ste) y se podrn considerar los elementos de ste Obviamente, si esta frmula rJpresenta un producto
en pie de igualdad con los de E, pues seran limites f

de stos y se tendra as una aproximacin de la escalar se ha de cumplir que

realidad. J:
f 2dx'< m, y se to-
Por lo general, el espacio {cp} se s u d e describira mara como norma asociada a . la expresin:
y su dual topolgicoD"recibe el nombre de espacio
de las distribuciones sobre [a, b J .

Se dir entonces que E E LZ [a, bJ. As se tiene la

siguiente cadena:
 METODOS NUMERICOS EN LA PREDlCClON DEL TIEMPO

BCECP
donde, suponiendo B d e n s o en E , al pasar a los dua-
les se tendr:
-
De esa forma se puede definii A * : F' + E' Por
la ley w A *w = u ' , tal que < e , w ' > = <Ae, o>.
Caso de que D (A *) sea denso en F ' , entonces A * *
es un nuevo operador 2 :E F, llamado cierre de A,
BLECP
=P)C E I C ~ '
+

y que ya goza de propiedades de operador continuo.

de manera que la dualidad E -E' puede ser repre- Si A = P como ms arriba
sentada mediante la 9 -9'y el producto escalar -. PW= JP~~.~X=JUID~(, v)~x=u.&
R Q

y poniendo VED(R) y D"UEL~(9) con a, Cm(9) E

3.2. OPERAD~RES
DIFERENCIALES
DE SOBOLEV
Y ESPACIOS
u, -
se tendr:
o+iii (Pu,,v ) = lim (u,, h)= o
4

n
m

Ahora se trabajar enlRn., en particular en algn y si se denota por w = lm Pu,, entonces w = o por
D
dominio R y se supondr que en la cadena recin ser (9)denso en P .
citada E es un espacio de Hilbert. Si tal cosa ocurre, Se puede pensar, por tanto, que a un mismo ope-
E' se identificara con E mediante la ley rador le correspondern diversas realizaciones concre-
x.y=<x,yoy> tas, que dependern de las condiciones de contorno
que limitan el dominio de aplicacin del operador.
donde cp : E E' es el isormorfismo de identificacin.
+

Los espacios de Mbolev son espacios de (clases de)

En particular, en R npuede existir una variable des- funciones del tipo (Tijonov Samarski, 1972)
tacada que suele jugar el papel del tiempo, cosa que
resultr sumamente interesante en las aplicaciones
meteorolgicas. Un operador diferencial lineal sobre E con la norma
es una combinacin lineal de derivadas (distribucio-
nes) del tipo
a"1+"2+ "n
(As, en la ecuacin de vorticidad se encuentra el
+
o p e r a d o r a v i = a31ax2a t a31ay2a t , de tercer
at
orden) que se puede expresar brevemente por D" =
a n i l a xO,o sea, una expresin
P = E a , D"
donde las a, son funciones sobre R. La interpretacin
(Carroll, 1969; Lions, 1961) de este operador P de-
pender naturalmente del espacio E (R) sobre el que
se trabaje, as como de las condiciones adicionales
que deba cumplir la ecuacin Pf= g que se desee
resolver.
Los operadores diferenciales son, por lo general,
operadores no continuos (con lo que la aplicacin
e .-. < Ae, w > puede no serlo), as que la teora de-
ber organizarse sobre otras bases. Si A es un opera-
dor lineal sobre el espacio de Hilbert E , se define
el adjunto A * como aquel operador cuyo dominio
D (A *) = { o E' 1 e + < Ae, w > es continua sobre
D (A)}. Se supone, naturalmente, que D(A) es denso
en E. Si el operador acta E + F , entonces
D(A *) = { WEF' 1 e-, <Ae, w > continua}
+
<)m)
H ~ ( Q ) = c ~ E L ~ ( R ) I . D ~ ~ EsiL1 ~a(l R
Se definen tambin H," (R) = B ( Q ) , cierre topo16
gico d e 3 (9)en Hm(R).
Las realizaciones encretas de estos espacios las
dan los llamados teoremas de inmersin, que se puede
resumir as: Si la frontera r de R es buena, en-
tonces:
Hm(R] c L4 (RS)
donde fis = R n IR Qon s 9 n, siendo las relaciones
entre m, q, s las siguientes:
As pues, el valor de s es una medida de la regu-
laridad de la frontera, si sta es buena, puede ser
n - 1, que dar un valor de q = 2 (n- I)l(n - 2m),
as que para' el espacio ordinario fi = 3; con m = 1
(ver fig. 4), H' (R) c L" (R3)= (r) ; H1(Q)c
(R3)= L6(R3).
Estos hechos permiten calcular con elementos de
los espacios H como si fueran verdaderas funciones
y buscar soluciones de los problemas en estos espacios.
Los resultados anteriores pueden mejorarse, si R es
bueno, hasta el extremo de que Hm(Q) c Ck(Ti),
siendo 2k - 2m - n lo que permite trabajar hasta
con funciones continuas (Netas, 1967).
 E. HERNANDEZ. J. M. PACHECO Y R. GARClA
Fig. 4.-Sobre el teorema de inmersin.
3.3. OPERADORES
DIFERENCIALES Y FORMAS
A ELLOS ASOCIADAS
Ya se ha visto que el mtodo variacional consiste
en asociar una funcional o forma al operador dife-
rencial, y tratar de calcular el mnimo de esa forma,
el cual -ser considerado como solucin del problema.
La condicin para la existencia de mnimo es que
la forma sea convexa, condici6n que se reflejara en
la aparici6n de una parte principal elptica o caerciva.
Sea una ecuacin del tipo de Helmholtz que aparece
frecuentemente en los clculos meteorol6gico6 (Hal-
tiner, 197l), -V 'u + Au =f, con condicin de con-
torno n = O sobre r. No se supone que u sea dos
veces diferenciable, as que, utilizando la fbrmula
de Green formalmente:
Si ha de ocurrir u E L2 (9)con las v utilizadas en
Cm (a), el problema ahora queda expresado como
a (u, v ) =f v.
Poniendo u = v en el primer miembro la idea es
ahora clara: buscar un u HL (R) tal que, para todo
v E HL (R), se satisfaga
lo que equivale a buscar el mnimo de la aplicacin
M (U) = a (u, u )-fa U. Las condiciones de contorno
ms c;omplicadas que las del problema de Dirichlet
exigen utilizar los teoremas de trazas. Para ello hay
que introducir los espacios Hm,para m fraccionario,
a travs' de la transformacin de Fourier (Lions, 1961).
En tal caso la aplicacin Tomar valores en la fron-
tera)) se representa por una aplicacin
Si j = o, y, es la restriccin de u a r , y dado que
los Hm pueden considerarse como espacios de fun-
ciones continuas, se tendr resuelto el problema.
au
As, imponiendo la condicin de contorno - ,= o
an
ello equivaldra a que ylu = o, o sea, a trabajar en
(r).
Sea a (u, v) una forma continua sobre un cierto
espacio de Hilbert V, el cual se supondr denso den-
tro de otro espacio de Hilbert H. Debido a lo dicho
antes, V se suele llamar espacio de energ? del ope-
rador A, lo cual justifica el nombre de variacional:
minimizar una energa (Mtodo de Riemann). Esta
forma va a originar dos operadores, uno sobre V y
otro sobre H. El operador sobre H resultara ser el
operador diferencial. En efecto:
Como v -a (u, v) es continua si se fija u , se
puede poner a (u, v) = t - v en V y se define
&: V V por u +&u = t .&resulta ser lineal y
+
continuo.
Sea ahora VcH, donde se trabajara con la topo-
loga de H. Entonces, para algunos UEVla aplicaci6n
v a (u, v) ser continua. Sea M ese conjunto. Para
+
uEM, a (u, v) = q v en H , as que se ha definido
A : M + H e n la ley u-. A u = q .
Sea V 2 = H 1(9)c L (R) = H y t6mesea(u, v) =
=<-VU+AU, v > e n a - D .
Aplicando la teora precedente,
a (U,V ) = A u - v en P (9)
pero como ~2 (R)LD', es < Au, V > = AU . v en la
d u a l i d a d 9 - u , de donde -vL = Au -Au e&',
luego V ~ E P(R).
Interpretando este resultado, se ve que: u E H 1(Q),
que V ~(R)Py que la condicin de contorno se ha
reflejado en la fbrmula de Green utilizando:
2
-vu- w =vu.vw
 METODOS NUMERICOS EN LA PREDICClON DEL TIEMPb
Una condicin de existencia y unicidad para el
;i problema
+
(operador condiciones)
I R c 2 , sea un rectngulo, caso que se suele dar en
t,
i..es que ( a (u, u)J 2 cte 11 u 11 condicin de coercivi-
dad que se obtiene por el teorema de Lax-Milgram,
1 de forma que en tal caso A :D(A) H resulta biun-
+
1 voco (Schaefler, 1970).
Para -Vu+Au, la forma a ( u , u ) = I l u , 1 2 +
I + A luI2 2 min (1, A) Ilu[:=min (1, A )
( u dx) +( u2 dx) 1.1
, de forma que se bus-
carn las soluciones en V = H, (R). Si se aaden las
condiciones de contorno homogneas ul, = o , la so-
: lucin se buscar en HI, (9).
El tratamiento de una ecuacin diferencial por m-
todos variacionales propicia de modo natural formas
nuevas de clculo numrico. En particular, el hecho
de que se trate de buscar un mnimo de cierta fun-
cional sugiere el utilizar, asimismo, mtodos de apro-
ximacin que minimicen algn tipo de energia. El
mtodo de los elementos finitos o funciones spline
(del ingls spline = regla elastica) que se utiliza hoy
da en las computadoras cump!e la condicin de hacer
,.
mnima la energa eistica
en las interpolaciones (Werner + Schabak, 1981). Con-
siste bbicamente en acoplar a los puntos entre los
que se busca una funcibn de interpelacin una re-
gla elstica)) (fig 5)
Fig. 5.-Regla aplinen.
macin E u (x,) w j para u , as que hay que resolver
cuya energia sea mnima. En la prctica las funcio-
el sistema:
nes spline se reducen a funciones polinmicas a
trozos, de forma que si son lineales, se hablar de
aproximaciones por elementos finitos de primer or-
den, etc.
Para un espacio funcional como el Hf,(9)donde
los anlisis meteorolgicos, se da la descomposicin
HA (9)= HA [a, b ] g Hg [c, d ] (Schaefer, 1970) (ver
figura 6).
KIr
L
Fig. 6.-Descomposicih de HA (9).
lo que permite utilizar, puesto que forman bases en
los espacios factores, aproximaciones por elementos
finitos de primer orden para la resolucin de los pro-
blemas de ecuaciones en derivadas parciales.
El metodo de Rayleigh - Ritz - Galerkin (Gawrin,
1973) (Mijailov, 1978) (Mslov) est tambin moti-
vado por el caracter variacional dado a los problemas
en derivadas parciales. Este procedimiento consiste
en que, elegido un subespacio S conveniente, cerrado,
del espacio V;se proyecta el problema sobre el y se
resuelve numricamente all. Si S es ((suficientemente
parecido)) a V, ",se tendr una solucin aproximada
que viene caracterizada por el propio problema abs-
tracto considerado.
, Cuando S es un espacio de funciones s&ne, se
tendr el mtodo de los elementosfinitos (Showalter,
1982) (Garca Rendo, 1979). La ventaja de este m-
todo a la hora de realizar clculos numricos con-
siste en 40 siguiente: 9
Si se tiene el problema Au =f, su8tituyendo u y f
por sus aproximaciones spline y efectuando el pro-
ducto escalar por las tales funciones, el problema
se traduce a la resolucibn de un sistema de ecuaciones
algebraicas. Pues los elementos finitos w, son tales
que w j(x,) = d, y
.L w, dx = 1, se tiene la aproxi-
160 E. HERNANDEZ. J. M. PAC'HEC'O Y R . GARC'IA

donde el problema es invertir la matriz a (o,, o), que
es bandeada, pues, si ( i -jJ>/ 2 los productos o j o j
son 0.
Si A es lineal, la linealidad o no del sistema resul-
tante depende def , y ello exige un tratamiento ad hoc
para linealizar el sistema. Una vez conseguido esto,
las condiciones de casi-ortogonalidad de las funciones
spline producen, como se ve, una matriz bandeada,
para la inversin de la cual hay facilidades en los
ordenadores (mtodo de Gauss-Seidel, entro otros).
El control del error en estas aplicaciones puede
efectuarse (Showalter, 1 982) mediante acotaciones
en la norma de V o, ms apropiada para la mejora
de la convergencia, en H. Las expresiones respec-
tivas son:
po, y que intervendr en forma de derivaciones con
respecto a ella, dando las tendencias, que son preci-
samente las cantidades que se calculan. Brevemente,
una ecuacin de, pronstico se escribir
y si se discretiza, lo cual ayuda a ver el papel de t con
ms claridad, el asunto se reducir a hallarX(t + At)
conocido)( (t). En la prctica, la X suele ser una
funcin complicada de las variables, tanto tiempo
como espacio, incluso puede ser, como ocurre en la
ecuacin de vorticidad, el resultado de aplicar ciertos
operadores diferenciales a otras funciones ms sen-
cillas.
En cualquier caso, las ecuaciones en derivadas par-

-
ciales donde se ha destacado una variable temporal
reciben el nombre de ecuaciones de evolucin, pues,
si se fijan las variables especiales, reflejan la evolucin
k de la cantidad que sea a lo largo del recorrido de la
(us-u!.<-- inf{(lu-v(I,}e* (S)
V E S variable t .
donde K es la cota de la forma a ( u , v ) asociada La ecuacin de vorticidad es la ms interesante
al operador A , c es la constante de coercividad y
e*.(S) es una cantidad que mide la bondad de la para este estudio: a t Vi, + J (tu, V s +f)= -f,D
aproximacin de S a V, en sentido ((geomtrico)).
Ms an, si existe una constante S (S) tal que con las condiciones de contorno habituales (o= o en
los extremos de la atmosfera), condiciones laterales
o = o, y condiciones iniciales las del mapa en el ins-
tante *inicialto del pronstico (Garcia Rendo, 1979).
se puede resumir en El estudio bsico de estas ecuaciones, en particu-
lar del caso interesante en que aparece la laplaciana
derivada respecto al tiempo, se halla en Fernndez-
la calidad de la aproximacin. Via (1968), donde se analizan los espacios necesarios
Haciendo intervenir, como es natural, el paso de y los teoremas de existencia y unicidad de solucio-
malla h para establecer la conexin entre ella y la nes. Los espacios funcionales necesarios pueden cons-
convergencia, se tiene el siguiente resultado: truirse de acuerdo con la siguiente tcnica elemental:
Si h es el paso de malla, O < h < 1 y L, = { elemen- Se toman las funciones definidas sobre el cilindro
tos finitos de primer orden de H ' asociados a esa R x [O, TI, donde R es una zona abierta, acotada y
malla}, vale la acotacin siguiente: con frontera buena del espacio (aqu bastar R R2,
siendoR2 el plano de la proyeccin estereogrfica
usado en la prediccin) y [O, T ] un intervalo de tiem-
po, as se tendrn funciones de d p variables y (x ; t).
para alguna constante apropiada M. La t puede destacarse'conside~andoty (x ; t) como
una aplicacin
0 , 1,- E(x)
4. ECUACIONES DE EVOLUCION t- w (x; t)
Conviene expresar con claridad que se entiende por donde E (x) es algn espacio apropiado de funciones
una ecuacin de pronstico. Una ecuacin de este slo de x. Concretamente, E (x) ser, para las aplica-
tipo permite decir qu ocurrir con una cierta variable ciones, un espacio de Sbolev de los introducidos
en el futuro a partir de las informaciones disponibles antes. En tal caso es posible dotar al espacio de apli-
en el presente. Por tanto en tales ecuaciones existir caciones [O, T ] -,E (x) dotado de una estructura pre-
alguna variable destacada, que har el papel del tiem- hilbertiana a base del producto escalar natural ty ox =
 METODOS NUMERICOS E N LA PREDlCClON DEL TIEMPO
=\ o
(y - Y) d t donde el producto bajo el signo in-
tegral se entiende realizado respecto de las x. As, si
las funciones y : [O, TI +H' (9)resultan ser, pen-
sadas como funciones slo de t , de cuadrado inte-
grable, se podr poner P ([O, TI; H ' (R) para indicar
; el espacio funcional recin definido (Carroll, 1969).
; La aplicacin de los mtodos variacionales a estas
ecuaciones reside en estudiar la forma a (u, v ;t), an-
5 loga a la considerada ms arriba, lo cual lleva a tener.
[ en cuenta la estructura interna de los espacios que
intervienen. En lo que sigue se supondr que E (x)
i es un espacio separable de Hilbert. Si se denota por
t @ ([O, T] ; E (x)) el espacio prehilbertiano, dotado
ya de su producto escalar, de las funciones y :[O, TI -+
+ E (x), se podr representar, poniendo @ = LZ ;
E = H 1 , la ecuacin de vorticidad:
a base de escribirla en forma variacional:
donde el primer trmino del primer miembro es pre-
cisamente la forma a (y, cp ; t), etc.
En las aplicaciones conviene utilizar ciertas descom-
posiciones de estos espacios, en particular las del tipo
@(i,E(x)F @(1)@E(x)
Si se consigue eacontrar bases en los espacios fac-
tores, esto es, conjuntos linealmente independientes
densos, ser posible encontrar espacios de dimensin
finita, tanto en @ (I) como en E (x), de forma que
(Grothendieck, 1973; Schaeffer, 1970).
De modo que podrn aplicarse tcnicas anlogas
a las descritas antes para el caso simple (-V2 +
A) U =
=f,pero teniendo en cuenta la introduccin de la
variable temporal destacada.
La ecuacin de vorticidad en su forma habitual
no es especialmente apta para su tratamiento directo.
En principio conviene expresar el trmino divergente
del segundo miembro en forma de parmetro de re-
lajacin (Haltiner, 1971) para asegurar una mejor
convergencia en la integracin y tratar, tambin, con
un problema homogneo. Ello se consigue expresando
-f. D =f a base del geopotencial, resultando
ap
en A - a y donde A incorpora trminos dependientes
at
del perfil de vientos, de la presidn, etc., y es < 1.
Efectuado este paso, queda la ecuacin
con la aadidura de las habituales condiciones'de con-
torno e iniciales sobre el rea S2 de prediccin. Para
acomodarse a los usos habituales es preferible escri-
birla
que ya es del tipo
dado que A es lineal y de coeficientes constantes. Esta
ecuacin de evolucin se integrar separadamente
en el tiempo y en el espacio. Integrando entre O y t
+
se tiene (Lions Magenes, 1968)
Ay(t)-Ay(o)=
o bien A y ( t ) =5.
IO Gdt
Suponiendo, lo cual no es muy
restrictivo, que y, sus derivadas espaciales y su lapla-
ciana sean elementos de L2 (R), se puede pasar afor-
ma variacional, manteniendo de momento que G es
conocida:
Si se pone y = cp, se observa que Ucp, cp)2o ,
luego se tiene as un verdadero produgto escalar aso-
ciado a A , por la ley :,
Poniendo A = 1 se modifica el producto escalar aso-
ciado a A , y quedar pues IVcpI2 + lcp12aIVcpl2 +
+ A 1 cp 1 que el operador A est definido en un sub-
espacio de H' (R) (cuyo producto escalar es precisa-
mente el resultante de poner A = l), subespacio que
vendr dado por la introduccin de las condiciones
de contorno. Si stas son las habituales homogneas,
el espacio V de definicin para el operador A resulta
 E. HERNANDEZ. J. M. PACHECO Y R. GARCIA

ser H: (Q), y si no lo fuesen, una traslacin de vector Denotando por primas las derivadas en las variables
yo, siendo sta la condicin de contorno, resolvera que sean, .quedar:
el problema. Resta comprobar, para aplicar el mtodo
numkrico, que A es coercivo sobre Hi, lo cual es
fu:Fw, VY)LZ+A ('Y, ~ L =(vy12 Z + A lyI2a
+
2 min (1, A) [ ( V y ( 2 ( y ( 2 ]= A ( ( y ( (as
2 , que se pue-
de aplicar el mtodo de los elementos finitos, segun
lo esquematizado en el siguiente diagrama (fig. 7).

-
= E y U k (-M: +ANLm) T: = (G, W, w,w,)
donde

O
Fig. 7.-Un
t 'T
espacio funcional. 0 ((O. T ) , E (x)).
N:=
I ~ ~ , ~ ~ w ~ w ~ w , w ~ d ~ d

Por la cuasi-ortogonalidad de los elementos finitos,

v 0 ) E L2 ((O,T) ;HA (9))2 $((O, T) g H;(Q)) -> la sumacin en el ndice queda reducida a tres tr-
H:, ([o, t i ) 8 H; (9) minos:
" N,. N"
As las cosas, se aproximar y por coyb$aciones
lineales de expresiones del tipo w (x) w j (y) w (t),
elementos finitos de primer orden, los elementos fini-
tos, al valer 1 en los nodos de la malla, dan buena
aproximacin de los verdaderos valores buscados
de y. Efectundose a continuacin los productos es-
calares:

s e g h se deduce de los clculos siguientes (ver fi-

gura 8).

Fig. 8.-Un elemento finito y su primera derivada.

 METODOS NUMERICOS EN LA PREDICCION DEL TIEMPO 163

GAVURIN, M. (1973), Conferencias sobre los mtodos de los clcu-

los. Mir, Mosc.
HALTINER, J. (1972), Numerical Weather Prediction. WWy, Nueva
York.
MAs~ov,P. (1982). Mtodos operacionales. ir, Mosc.
RICHARDSON, L. (1922), Weather Prediction by numerical pro-
cases. Cambridge, University Press.
TIJONOV,A., y SAMARSKI, A. (1972), Ecuaciones de la Flsica Ma-
temtica. Mir, Mosc.

B. Sobre el mtodo de dverencias JNlitas

esto es, se ha resuelto la ecuacin de pronstico, sin
m& que obtener la inversa de la matriz (- MI," CHARNEY,
+ J., et al. (1949), A numerical method for predicting
the perturbations of the middle latitude westerliem, Tellus, 1,
+ ANI,") y siempre que se tenga una apreciacin de pginas 347-359.
los valores de (G, w ,w ,w ,). HINKELMANN, K. (1959), Ein numerisches Exprimen: mit den
El trmino (c,
o,o, w ,), debido a la no-lineali- primitiven Gleichungen. The Rossby Memorial, vol. 1.
dad de G, que es un jacobino, debe calcularse, bien KREISS.L.,. et al. (1973), Methods for the approximate solution
of time dependent problems. GARP publ. 10.
pensndolo como constante en cada paso de tiempo,
bien linealizndolo por algn mtodo. Los detalles LORENZ, L. (1969), Three approaches to atmospheric predicta-
bility, Bull. Am. Met Soc., 50, pgs. 346-358.
pueden consultarse, as como algunas subrutinas de
L., et al. (1976), Numerical methods in atmospheric
clculo pertinentes, en Garca Rendo (1979), Ren- MESSINGER,
models. 1. GARP, publ. 17.
do y Hortal (1982).
L., et al. (1967); Dflerence rnethods for initial value
Con lo que queda expuesto se ha pretendido dar RITCHMYER,
problems. Wiley, Nueva York.
una panormica actualizada de los diversos mtodos
ms en boga en el clculo de predicciones meteoro-
lgicas, as como de los problemas y dificultades que C. Sobre mtodos espectrales
se plantean, y de sus campos de aplicacin. BOURKE,W. (1972), An efficient one-level primitive equation
spectral model ..., Mo. Wea. Rev., 9, pgs. 683-688.
- (1974). Multilevel spectral model.. . Commonwealth, Met. Res.,
numero 683, Melbourne.
JENKINS, J., et al. (1968), Spectral Analysis and its applications.
Holden Day, San Francisco.
GELFAND,I., et al. (1974), Comrnutative Normed Rings. Chelsea,
Nueva York.
NIKIFOROV, N., et al. (1976), Elments de la thorie del fonctions
spciales. Mir, MoscU.
MIJAILOV, W. (1978), Ecuaciones dgerenciales en derivah par-
cioles. Mir, Mosc.
Una bibliografa exhaustiva al respecto no es fcil de elaborar. ORSZAG,S. (1970), Transform Methods for the ealculation of
Sin embargo, una ordenacin de textos y artculos puede resultar vector coupled sums..., J. Atm. Sci., 27, pgs. 890-895.
muy recomendable.
D. Sobre rntados variacionales
A. Obras generales C
CAROLL,R. (1969), Abstract Methods in P.D.,E. Harper and Row.
BJERKNES,V. (1904), Das Problem der Wettervorhersage be- FDEZ.-VIAA, J. (19681, Ciertos problemas abstractos de contorno
trachtet vom Stanadpunkt)), Phys. MeL 2. (01, 11, III)n, Rev. Mat. Hispno Americana, XXVIII, nme-
BURRIDGE, J. (1979), Numerical Solution of PDE used in numerical ros 1, 2, 3 y 4.
forecasting systems, ECMWF Lect. Note 5. GAUC~A RENW, J. (1979), Tratamiento numrico de ciertas ecua-
CHARNEY, J.; FJORTOFT,R., and VON NEUMANN, J., Numerical ciones de evolucibn y su aplicacin a modelos de prediccin
integration of the barotropic vorticity equation~,Tellus, 2, p- numrico del tiempo. Tesis. Universidad de Murcia, Murcia.
ginas 235-248. - y HORTAL,M. (1982), Resolucin variacional de las ecuacie
COURANT.R., und HILBERT.D. 11924). Methoden der Matema- nes de evolucin ..., Rev. Acad. Ci. Ex. FF. Nat., LXXVI,
tischen Physik. Springer Verlag, Berlin. Madrid, pgs. 702-708.
GANDIN,L. (1965), Objective analysis of meteorological Jields. GROTHENDIECK, A. (1973), TopoIogical Vector Spaces. North
Israel, Programme for Scientific Translations, Jerusaln. Holland.
 E. HERNANDEZ. J. M. PACHECO Y R. GARCIA

LIONS,J. (19611, Equatiom dflrntielles operationnelles et proble- SHOWALTER, R. (1979), Hilbert space methods for P.D.E. Pitman,
mes aux limites. Springer, Berln. Nueva York.
- et al. (19681, Les problhes aux limites non homognes, l. STOER,J., et al. (1 98l), Introduction to numerical analysis. Sprin-
Dunod, Paris. ger, Berlin.

NECAS,J. (1968), Les mthodes directes en thorie des quations S~RANG J.,, et al. ( 1 973). An analysis of thejinite element method.
Masson.. Paris. Wiley, Nueva York.
- -
elbtiaues.
WERNER, H., et al. (1981), Praktische Mathematik, II. Springer,
H. (1970), Topological vector spaces. Springer, Berln.
SCHAEFFER, Berlin.