APLICACIÓN DE UN MÉTODO ESPECTRAL EN LA SOLUCIÓN DE

ECUACIONES DIFERENCIALES
¿Por qué usar los métodos espectrales? Una de las razones más importantes es el mayor grado
de precisión de sus soluciones que las logradas con otros métodos. ¿Pero los muchos
decimales de precisión de los ME se requieren realmente en la práctica? La respuesta es: a
veces. En algunos problemas de fusión, en los pronósticos del clima, en problemas de
aerodinámica, en inestabilidades hidrodinámicas y transiciones a la turbulencia, por citar
algunos ejemplos, si se necesita un grado de precisión elevado.

¿Entonces los ME son útiles solo cuando se necesita una gran precisión? La respuesta es no,
porque también los ME minimizan el uso de memoria, debido a la economía del número de
grados de libertad. Dada una precisión numérica se requieren menos grados de libertad que en
el caso de diferencias finitas. Específicamente, podemos decir que los MS el número de puntos
de la red se reduce por un factor de 5 por cada dimensión espacial. De modo que en el caso 3-
D el número de puntos de la red se reducir a por un factor de 53 = 125. Si uno considera un
problema dinámico donde el paso de tiempo de integración se escala por lo menos como N,
donde N es el número de grados de libertad, la ventaja se torna obvia.

En los métodos espectrales se buscan soluciones aproximadas u(x) a un sistema de ecuaciones

diferenciales en términos de series (truncadas) de funciones ortogonales conocidas

así que las incógnitas aquí son los coeficientes de la expansión a n. La forma en que estos se
encuentran da lugar a los diferentes métodos espectrales que se encuentran en la literatura.
Los más conocidos son: el método de colocación, de Galerkin y de Tau.

Ejemplo simple:

dy
+2 y=0, 0 ≤ x ≤ 1, y (0)=1.
dx
La solución exacta es y (x)=e−2 x
N
Construyamos una solución de la forma yN (x )=∑ ¿ an T n (x)
n=0

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

T 0( x)=1 , T 1(x)=x , T 2(x )=2 x 2 – 1

T 3( x )=4 x 3−3 x , T 4(x )=8 x 4−8 x 2+1, ...
En el método de Colocación se seleccionan N + 1 puntos en el dominio para generar N + 1
ecuaciones para los coeficientes an. Una elección adecuada de estos puntos para la base de
funciones de Chebyshev es

πj
x j=cos ⁡( ), j=0, ..., N
N
Así que Tn(xj) = cos(nπj/N). {xj} se usan para colocar la función en esos puntos,

yN (x j)= y (x j)
Es decir, se requiere que la ecuación diferencial se satisfaga exactamente en los puntos de
colocación {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
dx
Sustituya yN en la ecuación a resolver, y evalúe en los puntos de colocación. Elegimos N = 4

Puntos de colocación xj = cos(πj/N) con N = 4

N N

∑ an d dx ˜ Tn (˜ xj)+∑ a n Tn(˜ xj)=0, j=0,1, ..., N – 1

n=0 n=0

d
Tn (˜ x ) y Tn(˜ x)son conocidas.
dx
(6) junto con la condición yN (−1) = 1, esto es
N
y N (−1)=∑ an Tn(−1)=1
n=0

constituyen un sistema de N + 1 ecuaciones para los N + 1 coeficientes a n. Con N = 4 el sistema

específicamente es

Cuya solución es: a0 =0.466129, a1 = -0.41612, a2 =0.1, a3 = -0.016129, a4 =0.001613 La solución

está dada en todo el dominio [−1, 1] y no solo en los puntos de colocación y esta es
4
y 4 (˜ x )=∑ a n T n (˜ x)
n=0

y la solución en el dominio original se encuentra mapeando a x la solución (˜x = 2x − 1).

La serie de Fourier de una función general es

donde los coeficientes se calculan con

También puede tenerse la serie de Fourier en el intervalo [0, 2π] y los coeficientes se calculan
con (11) cambiando los límites de integración de 0 a 2π. En la forma compleja, la serie de
Fourier se escribe

donde los coeficientes se calculan con

Por supuesto que los coeficientes de las dos formas de la serie están relacionados

Algunos casos de interés

1. Si la función u(x) es real, los coeficientes a n y bn son números reales, consecuentemente ˆu −n

= ˆun.

2. Si u(x) es real y par (u(x) = u(−x)), b n = 0 para todo n y se tiene una serie coseno

3. Si u(x) es real e impar (u(x) = −u(−x)), a n = 0 para todo n y se tiene una serie seno

Desde el punto de vista de los métodos espectrales, la pregunta relevante es cuan bien la serie
truncada de Fourier

aproxima a la función u(x). PN u(x) es una proyección al espacio de dimensión finita

EJEMPLO
Considere la función antisimétrica f (x) = x

Figura: Función diente de sierra, antisimétrica y discontinua en ±π.

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