Ricardo1 Metodos Espectrales PDF

Estructura
Introduccion
El sistema de Fourier
Metodo Espectral Tau
Una breve introduccion a los Metodos

Espectrales
Ricardo Becerril Barcenas
Instituto de Fisica y Matematicas

Universidad Michoacana
Pachuca, Hidalgo, agosto 2009.
Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Estructura
Introduccion
Estructura
1 Introduccion
Por que usar metodos espectrales?
Ejemplo Ilustrativo
2 El sistema de Fourier
Metodo de Galerkin
Expansion Discreta de Fourier
Aliasing
Polinomios de Chebyshev
Metodo de Colocacion
3 Metodo Espectral Tau
Ecuacion de Calor
Ecuacion de Burgers
Implementacion del metodo Tau
Conveccion Marangoni

Estructura
Introduccion
Estructura
1 Introduccion
Ejemplo Ilustrativo
Metodo de Galerkin
Aliasing
Ecuacion de Calor
Ecuacion de Burgers

Estructura
Introduccion
Estructura
1 Introduccion
Ejemplo Ilustrativo
Metodo de Galerkin
Aliasing
Ecuacion de Calor
Ecuacion de Burgers

Estructura
Introduccion Por que usar metodos espectrales?
El sistema de Fourier Ejemplo Ilustrativo
Introduccion
Blinova en 1944 propuso los metodos espectrales (MS) como una
herramienta para simulaciones a gran escala en dinamica de fluidos.
Despues su uso de abandono hasta que Orszag y Eliason los hicieron
resurgir a principios de los 70s.
Los MS probaron ser particularmente utiles en estudios numericos de la
dinamica de fluidos. Se utilizaron codigos espectrales en estudios de
turbulencia, modelaje global del comportamiento climatico y en la
dinamica de los oceanos.
Con el trabajo de Gottlieb y Orszag que los condujo a la publicacion del
libro Numerical Analysis of Spectral Methods: theory and applications
se presentaban los primeros fundamentos matematicos despues de los
cuales el uso de los MS alcanzo otras areas en los 80s y entron en la
corriente principal de la computacion cientfica en los 90s.
El libro de Canto et al Spectral methods in fluid dynamics (1988) fue
un baluarte de los MS y contribuyo a su expansion. En la primera decada
del siglo XXI, han aparecido varios libros sobre MS que le han ido dando
madurez.
Estructura
Por que usar los metodos espectrales?

Una de las razones mas importantes es el mayor grado de precision de sus
soluciones que las logradas con otros metodos.
Pero los muchos decimales de precision de los ME se requieren realmente
en la practica? La respuesta es: a veces.
En algunos problemas de fusion, en los pronosticos del clima, en
problemas de aereodinamica, en inestabilidades hidrodinamicas y
transiciones a la turbulencia, por citar algunos ejemplos, s, si se necesita
un grado de precision elevado.

Estructura
Introduccion
Entonces los ME son utiles solo cuando se necesita una gran precision?
La respuesta es no, porque tambien los ME minimizan el uso de memoria,
debido a la economa del numero de grados de libertad.
Dada una precision numerica se requieren menos grados de libertad que
en el caso de diferencias finitas.
Especficamente, podemos decir que los MS el numero de puntos de la
red se reduce por un factor de 5 por cada dimension espacial. De modo
que en el caso 3-D el numero de puntos de la red se reducira por un
factor de 53 = 125. Si uno considera un problema dinamico donde el paso
de tiempo de integracion se escala por lo menos como N, donde N es el
numero de grados de libertad, la ventaja se torna obvia.

Estructura
En los metodos espectrales se buscan soluciones aproximadas u(x) a un

sistema de ecuaciones diferenciales en terminos de series (truncadas) de
funciones ortogonales conocidas
N
X
u(x) = an n (x) (1)
n=0
as que las incognitas aqu son los coeficientes de la expansion an . La

forma en que estos se encuentran da lugar a los diferentes metodos
espectrales que se encuentran en la literatura. Los mas conocidos son: el
metodo de colocacion, de Galerkin y de Tau.

Estructura
Ejemplo ilustrativo
Ejemplo simple:
dy
+ 2y = 0, 0 x 1, y (0) = 1. (2)
dx
La solucion exacta es y (x) = e 2x .
Construyamos una solucion de la forma
N
X
yN (x) = an Tn (x) (3)
n=0
Donde Tn (x) son los polinomios de Chebyshev Tn (x) = cos(ncos 1 (x)),

especificamente
T0 (x) = 1 , T1 (x) = x, T2 (x) = 2x 2 1

T3 (x) = 4x 3 3x , T4 (x) = 8x 4 8x 2 + 1, ... (4)

Estructura
En el metodo de Colocacion se seleccionan N + 1 puntos en el dominio

para generar N + 1 ecuaciones para los coeficientes an .
Una eleccion adecuada de estos puntos para la base de funciones de
Chebyshev es
j
xj = cos( ) , j = 0, ..., N
N
As que Tn (xj ) = cos(nj/N). {xj } se usan para colocar la funcion en
esos puntos,
yN (xj ) = y (xj ). (5)

Es decir, se requiere que la ecuacion diferencial se satisfaga exactamente
en los puntos de colocacion {xj }.
Como el dominio del problema es [0, 1] y el de los polinomios Tn (x) es
[1, 1] se utiliza el mapeo x = 2x 1. Con este mapeo el problema se
convierte en
dy
+ y = 0, 1 x 1, y (1) = 1
d x
Estructura
Sustituya yN en la ecuacion a resolver, y evalue en los puntos de

colocacion. Elejimos N = 4
Figura: Puntos de colocacion xj = cos(j/N) con N = 4.
N N
X d X
an Tn (xj ) + an Tn (xj ) = 0, j = 0, 1, ..., N 1. (6)
n=0
d x n=0
d
Tn (x) y d x Tn (x) son conocidas.

Estructura
(6) junto con la condicion yN (1) = 1, esto es

N
X
yN (1) = an Tn (1) = 1 (7)
n=0
constituyen un sistema de N + 1 ecuaciones para los N + 1 coeficientes

an . Con N = 4 el sistema especficamente es

1 2 5 10 17 a0 0
1 1,707 2,828 2,292 1 a1 0

1
1 1 3 1 a2 = 0
(8)
1 0,292 2,828 3,707 1 a3 0
1 1 1 1 1 a4 1

Estructura
Cuya solucion es: a0 =0.466129, a1 = -0.41612 , a2 =0.1 , a3 =

-0.016129, a4 =0.001613
La solucion esta dada en todo el dominio [1, 1] y no solo en los puntos
de colocacion y esta es
4
X
y4 (x) = an Tn (x)
n=0
y la solucion en el dominio original se encuentra mapeando a x la

solucion (x = 2x 1).

Estructura
Usando diferencias finitas, 2do orden

Mismo ejemplo dy /dx + 2y = 0, y (0) = 1 en [0, 1], con solucion exacta
y (x) = e 2x , con diferencias finitas. Para comparar con el MS, usaremos
tambien una red de 5 puntos, as que x =0.25
Figura: Puntos de colocacion xj = j/4.

dy yi+1 yi1
y0 = 1 , = i = 1, 2, 3
dx 2x
i
dy 3yi 4yi1 + yi2
= i =4
dx i 2x

Estructura
Del que se obtiene el siguiente sistema lineal

1 0 0 0 0 a0 y0
1 1 1 0 0 a1 y1

0 1 1 1 0 a2 y2
= (9)

0 0 1 1 1 a3 y3
0 0 1 4 4 a4 y4
que al resolver da la solucion en los puntos de la red y0 =1.0 , y1 =0.619,
y2 =0.3809, y3 =0.238, y4 =0.1428

Estructura
x e2x Dif. Finitas ( % error) Colocacion ( % error)

0.0 1.0 1.0 (0 %) 1.0 (0 %)
0.5 0.367879 0.380952 (3.5 %) 0.367742 (0.037 %)
1.0 0.135335 0.142857 (5.5 %) 0.135484 (0.11 %)
Cuadro: Comparacion de la precision con el mismo numero de grados de
libertad usando DF y el metodo de colocacion espectral en x = 0, 1/2, 1.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Series de Fourier
La serie de Fourier de una funcion general es

X
X
u(x) = a0 + an cos (nx) + bn sin (nx) (10)
n=1 n=1
donde los coeficientes se calculan con
Z
1
a0 = u(x)dx
2
Z
1
an = u(x) cos (nx)dx

Z
1
bn = u(x) sin (nx)dx (11)


Metodo de Galerkin
Estructura
Introduccion
Aliasing
Tambien puede tenerse la serie de Fourier en el intervalo [0, 2] y los

coeficientes se calculan con (11) cambiando los limites de integracion de
0 a 2. En la forma compleja, la serie de Fourier se escribe

X
u(x) = un e inx (12)
n=
donde los coeficientes se calculan con

Z
1
un = u(x)e inx dx (13)
2

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Por supuesto que los coeficientes de las dos formas de la serie estan
relacionados

a0 , n=0
un = (an ibn )/2 , n>0
(an + ibn )/2 , n<0


Metodo de Galerkin
Estructura
Introduccion
Aliasing
Algunos casos de interes
1. Si la funcion u(x) es real, los coeficientes an y bn son numeros reales,

consecuentemente un = un .
2. Si u(x) es real y par (u(x) = u(x)), bn = 0 para todo n y se tiene
una serie coseno
3. Si u(x) es real e impar (u(x) = u(x)), an = 0 para todo n y se
tiene una serie seno

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Desde el punto de vista de los metodos espectrales, la pregunta relevante

es cuan bien la serie truncada de Fourier
X
PN u(x) = un exp(inx) (14)
|n|N/2
aproxima a la funcion u(x). PN u(x) es una proyeccion al espacio de

dimension finita
BN+1 = span{exp(inx)||n| N/2}, dim(BN ) = N + 1. (15)

Teorema
If |n|< |un |2 < entonces la serie truncada converge en la norma L2
P
||u PN u||L2 |0,2| 0 cuando N (16)

Metodo de Galerkin
Estructura
Introduccion
Aliasing
El hecho de que la serie truncada converja implica que el error es

dominado por la cola de la serie, es decir, se tiene que el error de
truncacion es
X
||u PN u||2L2 |0,2| = 2 |un |2 (17)
|n|>N/2
De modo que el error cometido al reemplazar u(x) con la serie de Fourier

de N-esimo orden depende solamente de que tan rapido decaen los
coeficientes de la expansion de u(x).

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Teorema
Si u(x), sus primeras (m 1) derivadas y sus extensiones periodicas son
continuas y si su m-esima derivada u (m) (x) L2 [0, 2] entonces para
toda n 6= 0 los coeficientes de Fourier un de u(x) decaen como
m
|un | n1
Que pasa si u(x) C [0, 2]? En ese caso un decae mas rapido que
cualquier potencia negativa de n, esta propiedad se conoce como
convergencia espectral. Se sigue que entre mas suave sea la funcion mas
rapido converge la serie truncada.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Ejemplos
Considere la funcion antisimetrica f (x) = x
Figura: Funcion diente de sierra, antisimetrica y discontinua en .
Los coeficientes del coseno se anulan an = 0, y los coeficientes de la serie

seno son
1
Z
2
bn = xsin(nx)dx = (1)n+1 (18)
n

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Figura: Sumas parciales de la serie de Fourier uN (x) para la funcion discontinua

diente de sierra para diferentes Ns. Por claridad se han subido las graficas.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Figura: Los errores correspondientes uN (x) u(x) para diferentes Ns.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Ejemplos
Considere la funcion rectificadora de media onda f (x) = sen(x) para
0 < t < que se anula en < t < 2 que se extiende a todo t
periodicamente.
Figura: Funcion media onda, extendida periodicamente.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Esta funcion es continua en su dominio pero su primera derivada no lo es

en , 2, 3, ....
Los coeficientes de la serie de Fourier de la funcion de media onda,

especificamente son
a0 = 1/ , a2n = 2/[(4n2 1)] y a2n1 = 0

El resto son b1 = 1/2, bn = 0.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Figura: Comparacion de la funcion de media onda con u4 (t) = 0.318+ 0.5

sin(t) 0.212 cos(2t) 0.042 cos(4t) (linea negra), funcion exacta en rojo.
Las dos curvas son casi indistinguibles. Errores O(102 ).
Metodo de Galerkin
Estructura
Introduccion
Aliasing
La serie de la funcion de media onda converge mas rapidamente que la

del diente de sierra porque es mas suave. Esta ultima es de hecho no
continua y sus coeficientes decrecen como O(1/n) mientras que la
funcion de media onda en continua pero con su primera derivada
discontinua, as que sus coefcientes decaen como O(1/n2 )
Entre mas suave sea la funcion los coeficientes de Fourier decreceran

mas rapido

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Ordenes de Covergencia
Si los coeficientes de una serie son an y si para n >> 1
an O(1/nk )
entonces k es el ndice de convergencia algebraica.
Para n >> 1 se tiene los siguientes ordenes de convergencia

, supergeometrico
log (|an |)
= constante , geometrico
n
0 , subgeometrico


Metodo de Galerkin
Estructura
Introduccion
Aliasing
Figura: |an | vs n para cuatro ordenes de convergencia. Convergencia algebraica

k = 2 (crculos), convergencia subgeometrica (lineas punteadas), convergencia
geometrica (linea continua), convergencia supergeometrica (cruces).

Metodo de Galerkin
Estructura
Introduccion
Aliasing
3
Figura: Convergencia geometrica de la funcion u(x) = 54cos(x)

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Si no se conoce la solucion exacta, el error de truncacion puede estimarse

(si la serie tiene convergencia geometrica) con el siguiente criterio
|u PN u| O(|aN |)
Claro que la prueba final de una solucion numerica es repetir el calculo
con diferentes Ns y hacer comparaciones. El criterio aqu mencionado
solo tiene la intencion de proveer de una forma rapida de estimar el error
en un calculo simple: si |aN | no es pequeno comparado con la precision
deseada, entonces se necesita un N mas grande, si s lo es, y los |an |
decrecen suavemente hacia |aN |, es muy probable que la simulacion sea
correcta.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Figura: Comportamiento de an para u = 3/(5 4cos(x)), el ultimo termino de

la expansion |a32 |O 109 1010 as que el error de truncacion se espera de
ese orden.
Metodo de Galerkin
Estructura
Introduccion
Aliasing
Figura: Error de truncacion para N = 2 (negro), N = 4 (rojo), N = 8 (verde),

N = 16 (azul), para N = 32 (naranja) en efecto, el error de truncacion es
1010 . Para N 8 se observa una convergencia muy rapida.
Metodo de Galerkin
Estructura
Introduccion
Aliasing
Sobre la convergencia
Uno espera que la solucion numerica |uN u(x)| 0 a medida que

N 0, pero u(x) = uexacta no se conoce generalmente, as que uno
verifica convergencia a traves del residuo del sistema. En el caso del
ejemplo dy /dx = 2y , el residuo es
dyN
Res = + 2yN
dx
qR
y en la norma L2 : |f |2 = D
f 2 dx se verifica la convergencia cuando
|Res|2 0 N

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Figura: Comportamiento del error en el residuo en P funcion de N, que es el

ultimo termino en la truncacion espectral: uN = N
n=0 an Tn (x). En el caso del
ejemplo con N = 10 ya se tiene una solucion con una alta precision
Metodo de Galerkin
Estructura
Introduccion
Aliasing
La aplicabilidad de los ME se da mayormente en ecuaciones parabolicas y

elpticas, pero se aplican tambien en hiperbolicas si no aparecen
discontinuidades.
La aplicacion de ME en gravitacion puede verse en
Spectral methods in general relativistic astrophysics S. Bonazzola, E.

Gourgoulhon, J. Marck aiXiv:gr-qc/9811089v1.
Los textos mas conocidos son
1.Spectral methods in single domains C. Canuto ...

2.Chebyshev and Fourier Spectral Methods J. Boyd
3. Spectral methods for Time-independent problems J. Hesthaven,...
La arena en que se trabajan los aspectos teoricos son los espacios de
Sobolev.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Metodo de Galerkin
Para una funcion bien comportada generalmente su desarrollo en

terminos de una serie truncada de un conjunto ortogonal {n } los
coeficientes de la expansion decrecen muy rapidamente.
PN
Al sustituir la expansion uN (x, t) = n=0 an (t)n (x) en la ecuacion, se
tiene que el Residuo R(x, t, an ) no se anula
uN (x, t)
R= O(x, t)uN (x, t) 6= 0 (19)
t

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Esta funcion residual puede expandirse, como cualquier funcion, en

terminos de un conjunto ortogonal,

X
R(x, t, a0 , ..., aN ) = rk (a0 , ..., aN )k (x) (20)
k=0
donde, debido a la ortogonalidad de la base de funciones k (x), los

coeficientes rk se determinan por el producto interno
Z
rn = (R, n ) = Rn (x)dx. (21)

Metodo de Galerkin
Estructura
Introduccion
Aliasing
En el metodo espectral Galerkin, se pide que el residuo sea pequeno, en

el sentido de que los primeros (N + 1) terminos de la serie espectral (20)
se anulen.
Presumiblemente todos los rk para k > N seran muy pequenos para N

grandes. As que, forzar que los primeros rk sean cero, minimiza a R(x).
En el lmite en el que N R(x) 0, y por lo tanto, la
aproximacion, debe converger muy rapido a la solucion exacta. Todo esto
entonces se traduce a:
Para minimizar el residuo se pide que (R, n ) = 0 para n = 0, 1, 2, ...N.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
En el metodo Galerkin, se pide que la base (o un arreglo de esta base)

cumplan de entrada las condiciones de frontera. Por ejemplo, con
condiciones de frontera periodicas, lo natural es elegir una base de
Fourier.
Un ejemplo muy simple: considere la siguiente ecuacion hiperbolica y

lineal (ecuacion de adveccion)
u u
= (22)
t x
en el intervalo x [0, 2], condiciones periodicas, y condicion inicial
u(x, 0) = g (x).

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Se busca una solucion de la forma

X
uN (x, t) = an (t)n (x)
n
La condicion de minimizacion del residuo

N
X

R(x, t, an ) = ak (t)e ikx . (23)
t x
k=0
es en este caso
" N
#
Z 2 X
1
ak (t)e ikx
e inx dx = 0. (24)
2 0 t x
k=0

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Haciendo la derivada espacial, esta relacion se convierte en

Z 2 "XN #
1 dak
ikak e ikx e inx dx = 0. (25)
2 0 dt
k=0
Como la base es ortogonal, la integral en x es proporcional a una delta de

Kronecker, dando por resultado un conjunto de ecuaciones diferenciales
para los coeficientes ak , a saber
dak
ikak = 0 (26)
dt

Metodo de Galerkin
Estructura
Introduccion
Aliasing
PN
La condicion inicial u(x, 0) = g (x) = n=0 an (t = 0)n (x) nos da las
condiciones iniciales ak (0) para este conjunto de ecuaciones al multiplicar
por k e integrar la expansion
Z 2
ak (0) = g (x)k (x)dx (27)
0
El problema consiste en evaluar ak (0) y resolver las ecuaciones

diferenciales (26)
dak
ikak = 0
dt
para encontrar las ak (t) a todo tiempo.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Usando como condicion inicial g (x) = u(x, 0) = sin ( cos x), es posible
probar que los coeficientes tienen la forma
k
ak (t) = sin ( )Jk ()e ikt (28)
2
donde Jk (t) son las funciones de Bessel de orden k, cuyas propiedades
asintoticas implican k m ak (t) 0 cuando k para todo natural m.
Esto nos dice que la serie truncada de Fourier converge mas rapido que
cualquier potencia finita de 1/N, que es la propiedad conocida como
convergencia espectral

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Figura: Errores maximos en terminos de N para la ecuacion de adveccion en

t = 2 usando el metodo de Galerkin.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Figura: Decaimiento de |un | al tiempo t = 2.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Expansion Discreta de Fourier EDF
Las series de Fourier continuas de una funcion arbitraria u(x) requieren

de la evaluacion de los coeficientes
Z 2
1
un = u(x)e inx dx
2 0
que en general no se conocen en forma cerrada y deben aproximarse.
Tambien es necesario recuperar en el espacio fisico la informacion que se
calcula en el espacio transformado o espectral y con las no-linealidades
eso se complica.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Siendo mas precisos, si se conoce los coeficientes an y bn de las

expansiones
N
X N
X
f (x) = an n (x) y g (x) = bk k (x)
n=0 k=0
cuales son los coeficientes del producto fg ?

N
X
(fg )(x) = pn n (x)
n=0
Teoremas de convolucion no son tan eficientes, y son practicamente

imposibles con nolinealidades como
1 du
. (29)
u 2 dx
Estas inconveniencias se pueden superar con las transformadas discretas
de Fourier.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Dado N par, considere los puntos xj = 2j

N con j = 0, 1, ..., N 1
La transformada de Fourier discreta de una funcion u(x) es
N1
1 X
un = u(xj )e inxj n = N/2, ..., N/2 1 (30)
N
j=0
Se puede mostrar que la formula de inversion es

N/21
X
u(xj ) = un e inxj j = 0, 1, ..., N 1. (31)
n=N/2
En consecuencia se define en polinomio interpolante trigonometrico de

orden N/2 de u en los nodos xj como
N/21
X
IN u(x) = un e inx (32)
n=N/2
es decir IN (xj ) = u(xj ) con j = 0, ..., N 1. (32) tambien se conoce como

serie de Fourier discreta de u.
Metodo de Galerkin
Estructura
Introduccion
Aliasing
La transformada discreta de Fourier es el mapeo entre los N numeros

complejos {u(xj )}, j = 0, 1, ..., N 1 y el conjunto {uk }
k = N/2, ..., N/2 1. (30) se conoce como la transformada inversa de
Fourier.
La transformacion discreta de Fourier (TDF) (30) y (31) requiere de

O(N 2 ) operaciones, pero se realiza eficientemente con el algoritmo de la
transformada de Fourier rapida 5Nlog2 (N).
un puede considerarse como una aproximacion a un .

Metodo de Galerkin
Estructura
Introduccion
Aliasing
El fenomeno de aliasing
Como se conectan las transformadas de Fourier continuas y discretas
basadas en N par?
Notese que los modos discretos de Fourier se basan en {xj = 2j/N} para
los cuales el (n + Nm)-esimo modo es indistinguible del n-esimo modo
e i(n+Nm)xj = e inxj e i2mj = e inxj
Este fenomeno se conoce como aliasing .

P
Si la serie de Fourier de n= un e inx converge a u(x) en cada nodo xj ,
entonces (33) implica

X
uk = uk + uk+Nm k = N/2, ..., N/2 1 (33)
m=,m6=0

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Figura: Fenomeno de aliasing. Tres ondas sinusoidales que tienen la misma

interpretacion de k = 2 sobre una red con N = 8. Los puntos nodales estan
representados por crculos negros. Las ondas con k = 6 (verde) y k = 10
(azul) se confunden con la de k = 2 (roja) sobre la red.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Una formulacion equivalente de

X
uk = uk + uk+Nm k = N/2, ..., N/2 1
m=,m6=0
es IN u = PN u + RN u con

N/21
X X
RN u = uk+Nm e ikx k = N/2, ..., N/2 1
k=N/2 m=,m6=0
llamado el error aliasing. Puede probarse que es ortogonal al error de

truncacion as que
|u IN u|2 = |u PN u|2 + |RN u|2

Metodo de Galerkin
Estructura
Introduccion
Aliasing
|u IN u|2 = |u PN u|2 + |RN u|2

Aunque el error debido a interpolacion es siempre mayor que el error
debido a la truncacion de la serie de Fourier, se ha demostrado que el
error de truncacion y de interpolacion decaen al menos con la misma
razon.
Para el caso de la ecuacion de adveccion
u u
=
t x
Usando como condicion inicial g (x) = u(x, 0) = sin ( cos x), los
coeficientes calculados analticamente son
k
ak (t) = sin ()Jk ()e ikt (34)
2
Al calcular an con la TDF se tiene que la diferencia mas grande entre
an an O(109 ) aun para N moderadas.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Los polinomios de Chebyshev (PCH) de orden k, que tienen dominio en

[1, 1] se define como
Tk (x) = cos(k cos1 x) k = 0, 1, 2, ... (35)

Haciendo x = cos , se tiene que Tk (x) = cos k, de modo que los
polinomios de Chebyshev son funciones coseno. De este hecho, es facil
determinar los primeros PCH
T0 = 1, T1 = cos = x, T2 = cos 2 = 2 cos2 1 = 2x 2 1, ...

Metodo de Galerkin
Estructura
Introduccion
Aliasing
La expresion Tk = cos (k) para estos polinomios nos permite usar

relaciones trigonometricas para obtener relaciones de recurrencia para Tk .
Por ejemplo cos (k + 1) + cos (k 1) = 2 cos cos k conduce a
Tk+1 (x) 2xTk (x) + Tk1 (x) = 0, k 1, (36)

que se emplea para generar cualquier Tk (x) a partir de T0 (x) = 1 y
T1 (x) = x.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
La relacion trigonometrica 2 sin cosk = sin (k + 1) sin(k 1) tiene

su contraparte de Chebyshev
1 1
2Tk (x) = T 0 (x) T 0 (x) (37)
k + 1 k+1 k 1 k1
de la que se tiene una relacion de recurrencia muy util
(1) (1)
2kak = ck1 ak1 ak+1 , k 1 (38)

Metodo de Galerkin
Estructura
Introduccion
Aliasing
donde

2 if k = 0,
ck = (39)
1 if k 1
(1)
y ak son los coeficientes de la expansion de la derivada espacial de u(x)
N1
(1)
X
u 0 (x) = ak Tk (x) (40)
k=0

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Notese que como

N
X
u(x) = ak Tk (x) (41)
k=0
es un polinomio de grado N, entonces u 0 (x) es un polinomio de grado

N 1 por eso en su expansion k corre de 0 to N 1.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
En general, los coeficientes de la expansion de la q-esima derivada de u

pueden calcularse con
(q) (q) (q1)
ck ak = ak+2 + 2(k + 1)ak+1 (42)
(q)
Aunque hay expresiones explicitas para calcular an la forma mas
eficiente para calcularlos es usando (42).

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Los PCH son mutuamente ortogonales sobre (1, 1) con respecto al peso
R1
w = (1 x 2 )1/2 y con el producto escalar (u, v )w = 1 uvwdx:
Z 1

(Tk , Tj )w = Tk (x)Tj (x)w = (1 x 2 )1/2 dx = ck k,j . (43)
1 2
donde k,j es la delta de Kronecker. Para la implementacion de

condiciones de frontera, las siguientes relaciones son muy utiles
Tn (1) = (1)n Tk0 (1) = (1)k+1 k 2 (44)

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Metodo de Colocacion Espectral
En este metodo se asume que la solucion aproximada uN satisface la

ecuacion diferencial en cuestion en algunos puntos x1 , x2 , ..., xN , llamados
puntos de colocacion del dominio respectivo.
Es decir, se sustituye la expansion

N1
X
u(x) = ak Tk (x) (45)
k=0
en el sistema O(uN (xi )) = f (xi ), que junto con las condiciones de

frontera, forman un sistema lineal de ecuaciones (N + 1) (N + 1) para
los coeficientes an .

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Resolveremos la ecuacion de Helmholtz d 2 u/dx 2 + u = f (x), donde

> 0 es una constante con valores de frontera ( = 0 y se tiene Poisson)
u(1) = F1 u(1) = F2 (46)

La solucion la queremos de la forma
N
X
u(x) = an Tn (x) (47)
n=0
Sean {xi } un conjunto finito de puntos interiores al dominio [1, 1], a

estos puntos se les llama puntos de colocacion, La red que se utiliza para
definir estos puntos es xi = cos (i/N).

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Al sustituir (47) en la ecuacion diferencial d 2 u/dx 2 = f (x), y al evaluar

en los puntos de colocacion xi = cos(i/N) se obtiene
N
X d2
an Tn (xi ) = f (xi ) (48)
n=0
dx 2
que junto con las condiciones de frontera forman un sistema lineal de
ecuaciones (N + 1) (N + 1) para los coeficientes an .
Veamos mas de cerca. Digamos que N = 5, los puntos de colocacion son
x0 = 1, x1 = cos(/5) =0.809016, x2 = cos(2/5) =0.309,
x3 = cos(3/5) = -0.309, x4 = cos(4/5) = -0.809016,
x1 = cos() = 1 Estos valores se usan en (48) para obtener el sistema
lineal AX = b donde la primera fila corresponde a i = 0, la segunda fila a
i = 1 y asi sucesivamente. La primera y ultima fila corresponden a las
condiciones de frontera. El sistema especficamente es

Metodo de Galerkin
Estructura
Introduccion
Aliasing

T0 (1) T1 (1) T2 (1) T3 (1) T4 (1) T5 (1) a0 F2
T0 (x1 ) T1 (x1 ) T2 (x1 ) T3 (x1 ) T4 (x1 ) T5 (x1 )

a1
f (x
T0 (x2 ) T1 (x2 ) T2 (x2 ) T3 (x2 ) T4 (x2 ) T5 (x2 )

a2
= f (x
T0 (x3 ) T1 (x3 ) T2 (x3 ) T3 (x3 ) T4 (x3 ) T5 (x3 )

a3
f (x
T0 (x4 ) T1 (x4 ) T2 (x4 ) T3 (x4 ) T4 (x4 ) T5 (x4 ) a4 f (x
T0 (1) T1 (1) T2 (1) T3 (1) T4 (1) T5 (1) a5 F1
o bien, puesto que Tn (1) = 1 y Tn (1) = (1)n para toda n, se tiene

1 1 1 1 1 1 a0 F2
T0 (x1 ) T1 (x1 ) T2 (x1 ) T3 (x1 ) T4 (x1 ) T5 (x1 )

a1
f (x1 )

T0 (x2 ) T1 (x2 ) T2 (x2 ) T3 (x2 ) T4 (x2 ) T5 (x2 )

a2
= f (x2 )

T0 (x3 ) T1 (x3 ) T2 (x3 ) T3 (x3 ) T4 (x3 ) T5 (x3 )

a3
f (x3 )

T0 (x4 ) T1 (x4 ) T2 (x4 ) T3 (x4 ) T4 (x4 ) T5 (x4 ) a4 f (x4 )
1 1 1 1 1 1 a5 F1

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Al invertir la matriz A se tendran los coeficientes an , y de ese modo la

solucion (47) estara completa.
Como invertir la matriz? Notese primero que la matriz es densa (de
hecho no tiene ningun cero) Se puede utilizar el metodo de
descomposicion LU. Este consiste en escribir la matriz A como A = LU
donde L es una matriz Lower triangular, es decir, tiene solo ceros arriba
de la diagonal, y U es una matriz Upper triangular, es decir, tiene solo
ceros abajo de la diagonal. De este modo el problema original AX = b se
escribe AX = (LU)X = L(UX ) = b, y dividimos el proceso de solucion
en dos pasos. Primero se resuelve LY = b y despues UX = Y (notese
que es el mismo problema, pues la primera ecuacion b = LY al usar la
segunda Y = UX da AX = b. La ventaja de tener dos pasos en el
proceso de solucion es que en estos, se lidia con conjuntos triangulares de
ecuaciones, que son sencillitos de resolver. La descomposicion matricial la
hace la rutina ludcmp.c y la solucion la da lubksb.c.

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Buscamos una solucion de la forma

N X
X N
u(x, y ) = anm Tn (x)Tm (y ) (49)
n=0 m=0
Para encontrar los coeficientes anm , sustituimos la expansion en la

ecuacion de Poisson 2 u(x, y ) = f (x, y ), y asumimos que en los puntos
de colocacion se cumple la ecuacion, as que al sustituir la expansion y
evaluarla en los puntos de colocacion se tiene:
N X
N
d 2 Tn (xi ) d 2 Tm (yi )
X
anm Tm (yj ) + Tn (xi ) = f (xi , yj ) (50)
n=0 m=0
dx 2 dy 2

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Junto con las condiciones de frontera (que es el permetro del cuadrado

de lado 2 centrado en el origen)
u(x = 1, y = 1) (51)
2 2
se tendran (N + 1) ecuaciones lineales para las (N + 1) incognitas anm ,
~ = ~b,
asi que se tendra que resolver una ecuacion matricial del tipo AX
~ ~
donde el vector columna X tiene como elementos X = (a00 , a01 , ..., aNN ).
Parte importante de la elaboracion del codigo, sera visualizar como

arreglar en el vector X = (X1 , X2 , ..., X(N+1)2 ) los coeficientes anm , y
como escribir los elementos de la matriz A. La manera natural de arreglar
el vector es
X = (a00 , a01 , ...a0N , ..., aN0 , aN1 , ..., aNN ) (52)

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Notese que para n = 0, se tiene que en a00 , a01 , ...a0N hay N + 1

elementos que asociamos con X1 , X2 , ..., XN+1 , asi que aqu se escribira
Xm+1 = a0m para m = 0, 1, 2, ..., N
Cuando n = 1, se tiene que los N + 1 elementos a10 , a11 , ...a1N se asocian
con X(N+1)+1 , X(N+1)+2 , ..., X2(N+1) , as que escribiramos (recuerde que
n = 1) X(N+1)+(m+1) = a1m para m = 0, 1, ..., N
Cuando n = 2, se tiene que los N + 1 elementos a20 , a21 , ...a2N se asocian
con X2(N+1)+1 , X2(N+1)+2 , ..., X3(N+1) , as que escribiramos (recuerde que
n = 2) X2(N+1)+(m+1) = a2m para m = 0, 1, ..., N
Cuando se tiene un n N arbitrario, se tiene que los N + 1 elementos
an0 , an1 , ...anN se asocian con Xn(N+1)+1 , Xn(N+1)+2 , ..., X(n+1)(N+1) ,
as que escribiramos Xn(N+1)+(m+1) = anm para m = 0, 1, ..., N

Metodo de Galerkin
Estructura
Introduccion
Aliasing
Ahora veamos como a partir del sistema de ecuaciones lineales

N X
N
X
anm Tm (y j ) + Tn (x i ) = f (xi , yj )
n=0 m=0
dx 2 dy 2
junto con las condiciones de frontera u(x 1, y 1), debemos escribir los
elementos de la matriz A. La primera fila se obtiene cuando i = 0, j = 0,
la segunda cuando i = 0, j = 1, la tercera i = 0, j = 2, y
as sucesivamente. Siguiendo el mismo razonamiento para construir el
vector X , dada un valor arbitrario de i y de j, la fila correspondiente
sera = i(N + 1) + (j + 1). La columna de la matriz A se localiza
dados los valores de n y m, a saber = n(N + 1) + (m + 1). De este
modo, dados los valores de los indices i, j, n, m los elementos de matriz
son (para i,j=0,N, estamos en la frontera)
A = Ai(N+1)+(j+1),n(N+1)+(m+1) = Tm (y j ) + Tn (x i )
dx 2 dy 2
(53)
con tal de que i, j 6= 0, N.
Metodo de Galerkin
Estructura
Introduccion
Aliasing
Una vez que se tiene, la matriz, y se usa ludcmp y lubksb, se tendran los
coeficientes anm , esa es la busqueda fundamental en los metodos
espectrales: los coeficientes. Una vez obtenidos, se tiene la solucion
buscada u(x, y ) que debe guardarse en un archivo de datos para graficar.

Estructura Ecuacion de Calor
Introduccion Ecuacion de Burgers
El sistema de Fourier Implementacion del metodo Tau
Metodo Espectral Tau Conveccion Marangoni
El metodo de Tau es una version modificada del metodo de Galerkin, que

resuelve un sistema un poco diferente (al de Galerkin) para poder
incorporar eficientemente las condiciones de frontera en la solucion.
Nuevamente, se toma una base ortogonal de funciones n (x), en este
metodo se utiliza una solucion aproximada de la forma
N+K
X
uN (x, t) = an (t)n (x) (54)
n=0
donde N es el numero de terminos de la expansin y K es el numero de

condiciones de frontera del problema.

Ecuacion de Calor
Ejemplo simple para ilustrar la implementacion del metodo
u u 2
= , |x| 1 (55)
t x 2
con las condiciones de frontera
u(1, t) = 0 (56)
y condicion inicial
1
u(x, 0) = (1 x 2 ) sin 2x
2

Desarrollamos u(x, t) en terminos de N + 1 polinomios de un conjunto

ortogonal de funciones, usaremos los polinomios de Chebyshev
N
X
uN (x, t) = an (t)Tn (x) (57)
n=0
Para minimizar el residuo
uN 2 uN

R(x, t) = (58)
t x 2
uno demanda que R(x, t) sea ortogonal al espacio expandido por
{Tk (x)}N2
k=0 , es decir
Z 1
dx
R(x, t)Tk (x) =0 0k N 2 (59)
1 1 x2

debido a la ortogonalidad de los polinomios Tk (x), la integral anterior se

convierte en
(2)
ak = ak 0k N 2 (60)
(2)
donde ak = fk (an ) son los coeficientes de la expansion de la segunda
derivada de u(x, t) con respecto a la variable espacial x. Como hemos
dicho, la manera mas eficiente de calcularlos es usando la relacion de
recurrencia
(2) (2) (1)
ck ak = ak+2 + 2(k + 1)ak+1 . (61)
con

2 if k = 0,
ck = (62)
1 if k 1

Las condiciones de frontera u(x = 1, t) = u(x = 1, t) = 0 en terminos

de los coeficientes son
N
X N
X
u(1, t) = an = 0 u(1, t) = (1)n an = 0 (63)
n=0 n=0
donde se uso Tk (1) = (1)k , (63) es equivalentes al par de ecuaciones

X X
ak = 0, ak = 0. (64)
n=0 n=1
n par n impar

El sistema de ecuaciones diferenciales
an = an(2) (ak ) 0n N 2
Evoluciona a los coeficientes an 0 n N 2, y con las condiciones de
frontera
X X
ak = 0, ak = 0.
n=0 n=1
n par n impar
se encuentra aN y aN1 a cada paso temporal.

Figura: Se muestra el residuo en funcion de la N para verificar convergencia de

la solucion.
Ecuacion de Burgers
Vamos a resolver la ecuacion diferencial de Burgers usando el metodo de

Tau
u u u 2
+u = 2, |x| 1 (65)
t x x
con las condiciones de frontera
u(1, t) = 0 (66)
y condicion inicial
u(x, 0) = sin x (67)

donde es la viscosidad.

Para viscosidades pequenas, la solucion se desarrolla como una onda de

diente de sierra en el origen. La solucion teorica de este problema es
conocida, la obtuvo J. D. Cole y fue compilada por Benton y Platzmann
" P #
2 2
n=1 nan e n t sin nx
u(x, t) = 4 P , (68)
a0 + 2 n=1 an e n2 2 t cos nx
donde an = (1)n In (1/2) e In () denota las funciones de Bessel
modificadas del primer tipo. A veces se piensa que una solucion analtica
es siempre mucho mejor que una numerica, pero esto no es siempre as,
para graficarla con una computadora, la solucion (68) es intratable para
valores pequenos de t y , donde In (), cuando , se comporta
asintoticamente como e (2)1/2 independiente de n.

Una representacion manejable de la solucion es
I (x, t)
u(x, t) = (69)
J(x, t)
donde I (x, t) y J(x, t) estan definidas por
Z
I (x, t) = sin [(x )]f (x ) exp ( 2 /4t)d (70)

Z
J(x, t) = f (x ) exp ( 2 /4t)d (71)

donde f () = exp ( cos(/2)).

Esta solucion exacta nos permitira comparar nuestra solucion numerica.

Usaremos el metodo trapezoidal con limites finitos. Debido al hecho de
que los integrandos decaen muy rapidamente cuando || aumenta, la
integracion se hara en un intervalo entre [n, n] y luego en [2n, 2n] y si
no cambia el resultado dentro de una tolerancia previamente establecida
(por ejemplo 1010 ), entonces ah nos detenemos.

Como se ha dicho, empezamos desarrollando u(x, t) en terminos de los

primeros N + 1 polinomios de un conjunto ortogonal de funciones. En
este caso usamos los polinomios de Chebyshev
N
X
uN (x, t) = an (t)Tn (x) (72)
n=0
A fin de minimizar el residuo
uN uN 2 uN
R(x, t) = + uN (73)
t x x 2
uno demanda que R(x, t) sea ortogonal al espacio expandido por
{Tk (x)}N2
k=0 , es decir
Z 1
dx
R(x, t)Tk (x) =0 0k N 2 (74)
1 1 x2

esta integral, debido a la ortogonalidad de los polinomios Tk (x), nos

conduce a
(2)
ak = Nk + ak 0k N 2 (75)
(2)
donde N = (uN x uN )k , y ak
son los coeficientes de la expansion de la
segunda derivada de u(x, t) con respecto a la variable espacial x. La
manera mas eficiente de calcularlos es usando la relacion de recurrencia
(2) (2) (1)
ck ak = ak+2 + 2(k + 1)ak+1 . (76)

El sistema de ecuaciones (75) junto con las condiciones de frontera

u(x = 1, t) = u(x = 1, t) = 0, constituyen un conjunto completo para
calcular los coeficientes de la expansion a todo tiempo con la condicion
inicial dada. Las condiciones de frontera en terminos de los coeficientes
son
N
X N
X
an = (1)n an = 0 (77)
n=0 n=0
que son equivalentes al par de ecuaciones

X X
ak = 0, ak = 0. (78)
n=0 n=1
n par n impar

El sistema (75) evoluciona a los coeficientes an para 0 N 2, y con las

condiciones de frontera (78), se calculan aN1 y aN a cada paso de
tiempo.
El termino no lineal de (75) requiere de trato especial. Tanto u(x, t)
como x u(x, t) tienen su expansion en terminos de los polinomios Tn y
(1)
tienen sus coeficientes respectivos an y an . La pregunta es, cuales son
los coeficientes < uu >k = bk de la expansion del producto ux u

N
uN X
uN = bk Tk (x), (79)
x
k=0
(1)
en terminos de ak y ak . En principio podra usarse la relacion

1 X X
bk =< uu >k = ap aq(1) + ap aq(1) (80)
2
p+q=k |pq|=k
que puede demostrarse facilmente con ayuda de las propiedades de los

polinomios de Chebyshev. Sin embargo, es mucho mas eficiente utilizar
un calculo pseudo-espectral con la ayuda de las Transformadas de Fourier
Rapidas (TFR). El proceso del calculo se sistematiza a continuacion

Calculo de < ux u >k = bk dados los coeficientes ak

1. Use la relacion de recurrencia
(1) (1)
ck ak = ak+2 + 2(k + 1)ak+1 (81)
para calcular los coeficientes de la expansion de la primera
derivada con respecto a x de u(x, t)
2. Las TFR necesitan de entrada los coeficientes de la
expansion de una funcion u(x, t), y dan de salida la funcion
valuada en varios puntos (de colocacion) uN (xi ). As que,
(1)
teniendo ak y ak , utilice las TFR y obtenga uN (xi ) y
(uN /x)(xi ) (esto es, u y su derivada con respecto a x en el
espacio fsico).

uN (xi )
(1)
ak uN (xi ) ak (82)
x
3. Realice los productos en el espacio fisico:
uN
uN (xi )
(xi ) (83)
x
4. A traves de la TFR inversas, regrese al espacio espectral. La
TFR inversa tienen por entrada los valores dados por (83), y
por salida los coeficiientes < ux u >k = bk

uN (xi )
< ux u >k = bk (84)
x
Esta danza entre el espacio espectral y el fsico, se realiza a cada paso
de tiempo. La evolucion temporal se realizara usando el esquema
Adams-Bashforth para el termino no lineal, y el esquema Crank-Nicolson
para el termino lineal. De este modo se tiene el esquema ABCN

t
an (t + t) = an (t) + [bn (t t) 3bn (t)]
2
t (2)
h i
+ an (t) + an(2) (t + t) 0 n N 2 (85)
2
que puede re-escribirse como

an(2) an (t + t) = fn (an , bn , t, t t) 0 n N 2 (86)
donde = 2/t y la funcion fn es explcitamente

1
fn = an (t) [bn (t t) 3bn (t)] an(2) (t) (87)

Si usamos la ecuacion
N
(2) 1 X
ak = p(p 2 k 2 )ap (88)
ck p=k+2
(p+k)par
en 86, sta ultima se escribira como

N
1 X
p(p 2 k 2 )ap ak = fk k = 0, ..., N 2 (89)
ck p=k+2
(p+k)par

Usando (78) y (89) llegamos a un sistema de ecuaciones lineales de la

forma
LX = b (90)
donde L es una matriz triangular superior, cuya solucion requiere N 2
operaciones. Un procedimiento de solucion mas eficiente se consigue
rearreglando las ecuaciones 86 con ayuda de la relacion de recurrencia
(1) (2) (2)
2kak = ck1 ak1 ak+1 (91)
la ecuacion 86 queda
(1)
2kak = ck1 [fk1 + ak1 ] [fk+1 + ak+1 ] k = 1, ..., N 3.
(92)

Despues, usando la relacion de recurrencia (??) para la primera derivada,

en combinacion con la (92), resulta una ecuacion con solamente los
coeficientes ak , a saber

cn2 n n+2
an2 1 + an + an+2
4n(n 1) 2(n2 1) 4n(n + 1)
cn2 n n+2
= fn2 + fn fn+2 , k = 2, ..,(93)
N
4n(n 1) 2(n2 1) 4n(n + 1)
donde

1 0n N 2
n = (94)
0 n >N 2

Note que los coeficientes pares e impares estan desacoplados en 93 y en

78. El sistema de ecuaciones que surge para los coeficientes pares e
impares resulta ser uno con una matriz tridiagonal con una trenza (en
la primera fila). Un procedimiento muy eficiente (mas que el de Gauss) se
expone en el apendice, y es el que se uso para integrar en el tiempo la
ecuacion de Burgers.
Para manejar el error de aliasing explicado en el apendice A, se usla
regla de 2N/3. Es decir, en la expansion de uN (x, t) se tienen 32
terminos, realmente se usaran 21; si se tienen 64, realmente se usaran 42,
etc.


La ecuacion de evolucion para la altura de la interface h(x, t) la derivo J.

Swift y S. Van-Hook, y esta es
3D(1 + F )h2 h h3 h

h 3 h
+ h + =0 (95)
t x 2(1 + F Fh)2 x x B x
J(x,t)
O bien, h
t x donde D T 4 T /gd 2 , B g (L/2)/ y
F (1 kg /k)/(dg /d + kg /k).

Figura:
Figura:
Figura: Puntos de colocacion xj = cos(j/N) con N = 4.

Figura:
Figura:
En el protocolo experimental, para tener diferentes valores de d se

sobrellenaba o medio llenaba el contenedor que tena una altura fija, de
este modo, la superficie inicial no es plana ni aun en la ausencia de
gradientes de temperatura.
Ademas el fluido permaneca adherido a las paredes laterales del

contenedor de modo que h(x 1) = h0 . A fin de incorporar estas
caractersticas del experimento, se resuelve la ecuacion Swift-Van-Hook
con las condiciones de frontera adecuadas y partiendo de una superficie
no plana.

Figura:
Figura:
Figura:
Figura:
Figura:
Figura:

Ricardo1 Metodos Espectrales PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Ricardo1 Metodos Espectrales PDF

Încărcat de

Drepturi de autor:

Formate disponibile

Estructura

Una breve introduccion a los Metodos

Ricardo Becerril Barcenas

Instituto de Fisica y Matematicas

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Por que usar los metodos espectrales?

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

En los metodos espectrales se buscan soluciones aproximadas u(x) a un

as que las incognitas aqu son los coeficientes de la expansion an . La

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Donde Tn (x) son los polinomios de Chebyshev Tn (x) = cos(ncos 1 (x)),

T0 (x) = 1 , T1 (x) = x, T2 (x) = 2x 2 1

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

En el metodo de Colocacion se seleccionan N + 1 puntos en el dominio

yN (xj ) = y (xj ). (5)

Sustituya yN en la ecuacion a resolver, y evalue en los puntos de

Figura: Puntos de colocacion xj = cos(j/N) con N = 4.

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

(6) junto con la condicion yN (1) = 1, esto es

constituyen un sistema de N + 1 ecuaciones para los N + 1 coeficientes

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Cuya solucion es: a0 =0.466129, a1 = -0.41612 , a2 =0.1 , a3 =

y la solucion en el dominio original se encuentra mapeando a x la

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Usando diferencias finitas, 2do orden

Figura: Puntos de colocacion xj = j/4.

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Del que se obtiene el siguiente sistema lineal

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

x e2x Dif. Finitas ( % error) Colocacion ( % error)

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

La serie de Fourier de una funcion general es

donde los coeficientes se calculan con

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Tambien puede tenerse la serie de Fourier en el intervalo [0, 2] y los

donde los coeficientes se calculan con

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Algunos casos de interes

1. Si la funcion u(x) es real, los coeficientes an y bn son numeros reales,

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Desde el punto de vista de los metodos espectrales, la pregunta relevante

aproxima a la funcion u(x). PN u(x) es una proyeccion al espacio de

BN+1 = span{exp(inx)||n| N/2}, dim(BN ) = N + 1. (15)

||u PN u||L2 |0,2| 0 cuando N (16)

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

El hecho de que la serie truncada converja implica que el error es

De modo que el error cometido al reemplazar u(x) con la serie de Fourier

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Figura: Funcion diente de sierra, antisimetrica y discontinua en .

Los coeficientes del coseno se anulan an = 0, y los coeficientes de la serie

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Figura: Sumas parciales de la serie de Fourier uN (x) para la funcion discontinua

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Figura: Los errores correspondientes uN (x) u(x) para diferentes Ns.

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales

Figura: Funcion media onda, extendida periodicamente.

Ricardo Becerril Barcenas Una breve introduccion a los Metodos Espectrales