Como siempre, ta ola vive la vida de una ola y simultd- neamente la vida det agua Tich Nhat Hanh 2. SERIES DE FOURIER, POLINOMIOS Y SUS DERIVADAS Los métodos de colocacién se basan en ajustar una serie o un polinomio a una funcién definida en los puntos de la malla de clculo; en este capitulo se presentan las nociones necesarias de series de Fourier. La presentacién se hace para variables discretas que son las que se emplean en el trabajo; sin embargo, debido a que gran parte de la teoria esté desarrollada para variables continuas, se resume dicha teorfa en el Apéndice A. 2.1 Transformada de Fourier discreta Sea la funcién u(x) una variable de una ecuacién diferencial con condiciones de frontera periddicas. E] dominio, en el intervalo 0, 2] se divide en N nudos que definen la malla de célculo; Ia coordenada de estos puntos, lamada puntos de colocacién esté definida por 2nj N G2 0;.0., M1 (2.1) Esta es una malla uniforme (espaciamiento constante); aunque la malla dada por la ec 2.1 es la més comin (pues si N es potencia de 2 permite el uso de la transformada répida de Fourier, TRF) existen otras mallas posibles [ver Gotlieb er al (1984)]:anj *5° Quer Je Oy.ey 20 (2.2a) Para los puntos de colocacién dados por la ec 2.1, los coeficientes de Fourier discretos son (ver ec a.1 del Apéndice A) 1E six, x r ulx,e Esk st (2.3) ale Estos coeficientes dependen tinicamente de los valores nodales de u. La transformada de Fourier inversa es (ver ec a.2, Apéndice A): M21 ae u(x) = Yue J+ 0,...., M1 (2.4) sae Se conoce como transformada de Fourier discreta a la transformacién de los N valores (reales 0 complejos) ufc), j- N-1, enlos N néimeros complejos dy, k= -N/2,...N/2-1. Mientras que la ec 2.3 es la transformada de Fourier discreta, ta ec 2.4 es conocida como la transformada inversa; estas ecuaciones son equivalentes a las ecs a.1 y a.2 (del Apéndice A) en el caso continuo. En lugar de hacer las sumas indicadas en estas ecuaciones, ambas transformadas pueden calcularse de manera muy eficiente empleando la transformada répida de Fourier, TRF (en inglés es comin en las referencias encontrar se abreviatura FFT). Existen distintas versiones de la TRF; en general, se requiere que N sea resultado de IY donde / = 2, 3, 4, etc; las versiones més comunes emplean J = 2, aunque Temperton (1983) discute que si / > 2 se logra un ahorro computacional del 10 por ciento (a cambio de que el mimero de puntos sea mayor). Si N = 2, ylafunci6n u es compleja, el mémero de operaciones para calcular la transformada es SN log.N - ON (y la mitad, si u es real). Se define con: man, Tytte) » Ya, et (2.5) ata al polinomio trigonométrico de grado N/2, que ademés cumple la condicién de que Iy u(t,) = u(e) en cada uno de los nudos dados por la ec 2.1. Este polinomio corresponde a la serie de Fourier discreta de 4, ver ec a.18. Si se emplean relaciones trigonométricas, la ec 2.5 puede escribirse como:1H Tytlad = > x u(x,) 9,04) (2.6) donde 1 ex Ts (4) + sen INU 3) Leot (I (2.7) La relaci6n entre cada uno de los coeficientes de Fourier discretos y continuos es: tL See (m0) keyed (2.8) es decir, el k-€simo coeficiente del polinomio trigonométrico depende también de todos los términos de las frecuencias relativas a los nimeros de onda de los elementos de la malla; esto es lo que se conoce como enmascaramiento (aliasing, en inglés). La (k-+N/m)-Gsima frecuencia enmascara 0 es el alias de la k-ésima frecuencia en ia maila. Una manera sencilla de entender este fenémeno es la siguiente: por los N puntos de una malla pasa una senoide con una frecuencia dada (la minima necesaria para describir adecuadamente la funci6n que pasa por los puntos); sin embargo, otras senoides de alta frecuencia pueden pasar también por los puntos y no dejan ver la correcta, El enmascaramiento puede interpretarse como un error en el potinomio: Tye + Py + Rye (2.9) donde P,, es el polinomio de la serie de Fourier truncada (ec a.28) y a ayaa R, se le conoce como error por enmascaramiento; si se emplea la norma L* es posible demostrar [Kreis y Oliger(1979)] que Lu-Tyud? = [u-Pyut? + Rud? (2.11) es decir, el error por la interpolaci6n es mayor que el error de truncado; aforunadamente, este error y el de truncado decaen asintéticamente conforme aumenta N; por tanto, el enmascaramiento es poco importante en la mayoria de las situaciones. De cualquier forma, existen distintas formas de eliminar este error; como puede verse por ejemplo en Canuto et al (1988). Los coeficientes de Fourier discretos tienen las mismas propiedades de convergencia que los continuos, por ello, los polinomios convergen de la misma manera que las series de Fourier conforme N - = Por8 tanto es posible establecer también en este caso que: a) si u es continua, periédica y acotada en el intervalo [0, 22), Iy converge uniformemente a u; b) si esté acotada en el intervalo, el polinomio Iy es uniformemente acotado y converge puntualmente a u en cualquier punto en que w sea continua; c) en el caso de funciones discontinuas, es valida la versién discreta de la integral de Riemmann o de Fourier (ec a.7 del Apéndice A), esto es, en funciones discontinuas, Jy converge a la media de los valores de u a ambos lados de la discontinuidad; d) si u es infinitamente suave y con todas sus derivadas periédicas, el médulo de los coeficientes discretos de Fourier decae més que algebraicamente; en general, si u cumple los mismos requisitos revisados en el Apéndice A, los coeficientes discretos convergen también con un orden O(k"), ver ec 4.24. 2.2 Derivacién del polinomio de Fourier Enel teorema a.6 del Apéndice A puede verse la forma de la derivaci6n de la transformada de Fourier, y laderivada de la serie de Fourier se da en la ec a.25. En el caso discreto, para obtener la derivada de una funcién u, los coeficientes de Fourier discretos obtenides con la ec 2.3, se multiplican por ik (la unidad imaginaria por el nimero de onda); ia derivada es la antitransformada del resultado: Ngan (D8) y yao (120, ..-2F1) (2.12) Kot donde et ae Yu, en (2.13) 3 Este procedimiento equivale a calcular los valores de la derivada de la serie de Fourier discreta en los nudos, es decir (Dyud = (Zyu)! (2.14) A la funci6n Dy u se le conoce como la derivada de colocacién de Fourier. En general, la derivada de colocaci6n difiere del polinomio de la derivada de u: (Dya) + Pye! y ademds, ahora, la interpolacién y la derivaci6n no son conmutativas, es decir (Zyu'# Ty (a!) Sin embargo, Canuto et al (1988) prueban que Ja diferencia entre estas es del mismo orden del error de9 truncado de la derivada (que es u'-Pyu"). Por tanto, se conserva la precisiOn espectral en la derivacién, ver también Tadmor (1986). En lugar de a representacion con transformadas de Fourier, la derivada puede obtenerse también a partir de la ec 2.6: 1k # (Dye) = GH ely ary =D (My) a5 8 donde M, es la siguiente matriz: (-1)74 cot| lei 22] (8) ay * 7 o NE tej (2.15) (2,16) Gotlieb et al (1984) presentan las expresiones de la matriz de la segunda derivada; en general, le m-ésima derivada es (M,)". Las derivadas impares resultan en matrices antisimétricas y las pares en simétricas. En general, a menos que N < 8 es preferible calcular la derivada con Ia transformada de Fourier pues al emplear matrices se requieren mucho més operaciones. Por ello, en este trabajo se emplean siempre las ecs 2.12 y 2.13. 1.8 38.54 T 2.20 2.25 2.5 xA2 0 FIG 2.1 FUNCION GAUSSIANA10 En Gotlieb er al (1984) se presentan las expresiones para el polinomio de interpolacién y su derivada, si Jos puntos de colocacién son los de la malla de la ec 2.2a; no es posible emplear la TRF pues el niimero de puntos no puede ser potencia de 2. Si se emplea la malla de la ec 2.2, las expresiones det polinomio yy sus derivadas son iguales a los de la malla dada por la ec 2.1. En el cap 4 se estudia la forma de aplicar los métodos espectrales a la solucién de ecuaciones diferenciales parciales; a continuacién se discute un ejemplo para concretar ideas sobre lo expuesto. 2.3 Ejemplo Sea la siguiente funcién peri6dica definida en el intervalo /0, 2x): u(x) - exp] xx)? (exe) (2.17) 207 donde x, y o son parémetros de la distribucién (que corresponden al centro de masa y a su desviacién esténdar); a estos pardmetros se dan los valores x, = x y o = 0.2 x, ver fig 2.1. Se desea calcular la derivada de la funcién, 1.88 XAC «xxe®DE 2° ORDEN xxxxx DE 4° ORDEN 444% FOURIER 8.20 du 7 dx -1,88 2.20 8.25 8.50 8.75 1.88 x/C2 7) FIG 2.2 DERIVADA DE LA FUNCION DE GAUSSu En la fig 2.2 se muestra la derivada analitica (-u(x-x,)/(o’)). Como puede apreciarse, la derivada es muy suave. Se comparan la derivada analitica con la calculada con el método de colocacién de Fourier y con diferencias finitas de segundo y cuarto orden (en las fronteras se obtiene con un esquema de tercer orden); se consideran dos casos, variando en cada uno de ellos el ntimero de puntos en direccién x. Caso 1: N = 16. En la fig 2.2 se comparan las derivadas numéricas con ta analitica y en la fig 2.3 puede verse el error normalizado definido como: (ag (8) Uae ld) ERROR = east (2.18) Uoyac (XH) Los errores méximos son de 0.134, 0.033 y 6x 10° con diferencias finitas de segundo orden (diferencias centradas), cuarto orden y de colocacién de Fourier, respectivamente Caso 2: N = 64. Como era de esperarse, al aumentar el nimero de puntos mejora radicalmente la solucion con diferencias finitas; los errores mAximos (fig 2.4) son 9 x 10°, 2x 10*y 2.x 10°, con diferencias finitas de segundo orden, cuarto orden y colocacién de Fourier, respectivamente. 2.2 x z & -2.0 WwW a -e.14 soem DF 2° ORDEN vd xoexx DF 4° ORDEN 7 seers FOURTER -@.2 T T Tr 8.82 8.25 8.58 8.75 1,08 x2 7 FIG 2.3 ERROR NORMALIZADO. N = 16ERROR 2.0 FIG sores DF 2° ORDEN xxxx DF 4° ORDEN +++++ FOURIER 8.25 2.50 8.75 x/C2 7) 2.4 ERROR NORMALIZADO. CASO 2 1.00