TEMA 4 Funciones ortogonles y series de Fourier Ls series e integrles de Fourier constituyen un tem clásico del Análisis Mtemático. Desde su prición en el siglo XVIII en el estudio de ls vibrciones de un cuerd, ls series de Fourier se hn convertido en un instrumento indispensble en el nálisis de ciertos fenómenos periódicos de l Físic y l Ingenierí. L ide fundmentl se bs en proximr l función, no por un serie de potencis (desrrollo de Tylor), sino por un serie de funciones periódics (senos y cosenos). En lo que sigue considerremos que ls funciones con ls que se trbj son Riemnn integrbles en el intervlo correspondiente (bstrí, por ejemplo, suponer que son continus slvo en un número finito de puntos donde presentn discontinuiddes de slto). 4.. Funciones ortogonles Definición 4... El producto esclr de dos funciones f y f definids en un intervlo [, b] es el número f, f = f (x)f (x) dx Entonces l norm que induce este producto esclr de un función f definid en el intervlo [, b] es el número f = ( f (x) dx ) Definición 4... Dos funciones f y f son ortogonles en el intervlo [, b] si f, f = f (x)f (x) dx = Por ejemplo, ls funciones f (x) = x y f (x) = x 3 son ortogonles en el intervlo [, ] puesto que f, f = x x 3 dx = x 5 dx = [ 6 x6] = Definición 4..3. Se dice que un conjunto de funciones φ n } n= es ortogonl en el intervlo [, b] si φ m, φ n = φ m (x)φ n (x) dx =, m n Si φ n } n= es un conjunto ortogonl de funciones en el intervlo [, b] con l propiedd de que φ n = pr culquier n, entonces se dice que φ n } n= es un conjunto ortonorml en el intervlo [, b]. 65
4.. FUNCIONES ORTOGONALES 66 Ejemplo 4..4. El conjunto φ n (x) = cos(nx)} n= es ortogonl en el intervlo [ π, π]. En efecto, π φ, φ n = cos(nx) dx = [ π n sen(nx)] π π =, n Si m y n son mbos distintos de, π φ m, φ n = cos(mx) cos(nx) dx = π ( ) cos((m + n)x) + cos((m n)x) dx = π = [sen((m + n)x) sen((m n)x) ] π + m + n m n π =, m n En este ejemplo, si clculmos ls norms de cd función, obtenemos: π y pr n >, φ = ( π π dx ) = π φ n = ( π cos (nx) dx ) = ( π [ + cos(nx)] dx ) = π π π De est form el conjunto, cos(x), cos(x),..., } es ortonorml en [ π, π]. π π π Not 4..5. De mner nálog puede probrse que el conjunto es ortonorml en [ π, π]., cos(x) π π, cos(x) π,..., sen(x), sen(x),..., } π π Es conocido que, dd un bse ortogonl en un espcio vectoril de dimensión finit, culquier elemento de dicho espcio vectoril puede representrse como combinción linel de los elementos de es bse. Nuestro objetivo es extender est propiedd un espcio de dimensión infinit. Se φ n } n= un conjunto ortogonl de funciones en el intervlo [, b] y se f un función definid en ese intervlo. Los coeficientes c m, m =,,,..., pr los que c φ (x) + c φ (x) + + c n φ n (x) +... se clculn multiplicndo est expresión por φ m e integrndo en el intervlo [, b] f(x)φ m (x) dx = c φ (x)φ m (x) dx + c φ (x)φ m (x) dx + + c n φ n (x)φ m (x) dx +... Por ortogonlidd, cd término del ldo derecho de l últim ecución es cero, excepto cundo n = m. En este cso, se tiene Por tnto, f(x)φ n (x) dx = c n φ n (x)φ n (x) dx = c n φ n(x) dx c n φ n (x) n= donde los coeficientes c n vienen ddos por c n = f(s)φ n(s) ds φ n(s) ds = f, φ n φ n
esto es, 4.. SERIES DE FOURIER 67 n= f, φ n φ n φ n Este desrrollo se llm desrrollo en serie ortogonl de f (o tmbiã c n, serie de Fourier generlizd). Not 4..6. El procedimiento nterior es forml, es decir, no se h nlizdo si el desrrollo en serie nterior es convergente. El conjunto 4.. Series de Fourier, cos( π p x), cos(π p x),..., sen(π p x), sen(π p x),...,} es ortogonl en [, p]. Se f un función que dmite un desrrollo en serie del conjunto nterior, es decir: + ( n cos( p x) + b n sen( p x)) n= donde los coeficientes,,,..., b, b,... se determinn del modo que se comentó nteriormente, excepto en el cso de en el que, por convenienci en l notción, se escribe. Entonces L serie n = p b n = p = p f(s) cos( p f(s) sen( p f(s) ds s) ds, n =,,... s) ds, n =,,... + ( n cos( p x) + b n sen( p x)) n= se llm serie de Fourier de f, y los números reles n y b n, coeficientes de Fourier. Not 4... Est serie no converge pr culquier f. Hbrá que imponer condiciones que grnticen l convergenci de l serie de Fourier de un función dd. Ejemplo 4... En este ejemplo se clcul l serie de Fourier de l función, si π < x < π, si π x < π De cuerdo con l definición de los coeficientes de Fourier: b n = π π π n = π π π = π π cos(ns) ds = sen( ) sen(ns) ds = cos() π = + cos( ) ds = 3 = ( ) n, si n es impr, si n es pr, ( + ( ) n ), si n es impr si n es pr
4.3. DESARROLLOS DE SERIES DE FOURIER DE FUNCIONES PARES E IMPARES 68 Por tnto l serie de Fourier es 3 4 + π (cos(x) + sen(x) sen(x) 3 cos(3x) + 3 sen(3x) +... ) 4.3. Desrrollos de series de Fourier de funciones pres e impres Recordemos que un función es pr si verific f( x) = f(x) pr culquier x, y es impr si f( x) = f(x). En un intervlo simétrico como (, p) l gráfic de un función pr posee simetrí respecto l eje y, mientrs que l gráfic de un función impr posee simetrí con respecto l origen. Ests funciones verificn ls siguientes propieddes: El producto de dos funciones pres es pr. El producto de dos funciones impres es pr. El producto de un función pr y un impr es impr. L sum o l diferenci de dos funciones pres es pr. L sum o l diferenci de dos funciones impres es impr. Si f es pr, entonces Si f es impr, entonces f(x) dx = f(x) dx =. f(x) dx. Grcis ests propieddes el cálculo de los coeficientes de un serie de Fourier se simplific de mner importnte cundo f es un función pr o impr. en: Si f es un función pr en (, p), entonces los coeficientes de l serie de Fourier se convierten pues f(x) es pr. n = p pues f(x) cos( p x) es pr. = p f(s) cos( p s) ds = p b n = p pues f(x) sen( p x) es impr. f(s) ds = p f(s) sen( p f(s) cos( p f(s) ds s) ds =, n =,,... De est form l serie de Fourier de un función pr en (, p) será con los coeficientes clculdos nteriormente. + n cos( p x) n= s) ds, n =,,... Ejemplo 4.3.. L función x es pr en el intervlo (, ) y por tnto su desrrollo de Fourier será en serie de cosenos. De cuerdo con l definición de los coeficientes de Fourier: n = = s ds = 8 3 s cos( 6( )n s) ds = n π, n =,,... b n =, n =,,...
4.3. DESARROLLOS DE SERIES DE FOURIER DE FUNCIONES PARES E IMPARES 69 5 4 3 3 4 5 3 3 Figur. Simetrí pr pr x en x (, ) Entonces l serie de Fourier es 4 3 + 6 π ( ) n n cos( x) n= De mner similr, cundo f es impr en el intervlo (, p), y l serie de Fourier es b n = p n =, n =,,,... f(s) sen( p b n sen( p x) n= s) ds, n =,,... Ejemplo 4.3.. L función x es impr en el intervlo (, ) y por tnto su desrrollo de Fourier será en serie de senos. De cuerdo con l definición de los coeficientes de Fourier: b n = x sen( Entonces l serie de Fourier es n =, n =,,,... 4 π 4( )n+ s) ds =, n =,,... ( ) n+ sen( n x) n= Not 4.3.3. (Desrrollos en semi-intervlos) En todo lo nterior hemos considerdo intervlos centrdos en el origen, es decir, de l form (, p). Sin embrgo, en ocsiones serí interesnte representr un función que se define sólo pr el intervlo (, p) medinte un serie trigonométric. Esto puede hcerse de muchs forms distints, suministrndo un definición fictici de l función en el intervlo (, ). Por brevedd se presentn los tres csos más comunes. Así, si y = f(x) está definid en el intervlo (, p), podemos. (Reflexión pr) reflejr l gráfic de l función respecto l eje y, es decir, f( x) pr x (, ) (l función es hor pr en el intervlo (, p), y por tnto se tendrá un desrrollo en serie de cosenos).. (Reflexión impr) reflejr l gráfic de l función respecto l origen, es decir, f( x) pr x (, ) (l función es hor impr en el intervlo (, p), y por tnto se tendrá un desrrollo en serie de senos).
4.5. TRANSFORMADA DE FOURIER 7 5 4 3 3 4 5 3 3 Figur. Simetrí impr pr x en x (, ) 5 4 3 3 4 5 3 3 Figur 3. Trslción pr x en x (, ) 3. (Trslción) definir l función medinte f(x+p) pr x (, ), lo que drá origen un serie de Fourier generl. 4.4. Convergenci El siguiente teorem expres ls condiciones suficientes de convergenci de un serie de Fourier en un punto. Teorem 4.4.. Sen f y f continus trozos en el intervlo (, p), es decir, continus excepto en un número finito de puntos donde presentn discontinuiddes de tipo finito. Entonces l serie de Fourier de f en el intervlo converge f(x) en los puntos x en los que l función es continu. En los puntos x en los que l función es discontinu l serie de Fourier converge l promedio: f(x + ) + f(x ) donde f(x + ) y f(x ) denotn los límites de f en x por l derech y por l izquierd, respectivmente. Si l función es periódic de período p el resultdo nterior se tiene pr culquier x R, no sólo pr el intervlo (, p). 4.5. Trnsformd de Fourier Hst el momento se h utilizdo el sistem ortogonl formdo por ls funciones reles sen( p x) y cos( p x). Se puede considerr un sistem ortogonl de funciones con vlores complejos. El producto interior que se consider en este cso es: f, f C = f (x)f (x) dx
4.5. TRANSFORMADA DE FOURIER 7 El conjunto de funciones e j p x } constituyen un sistem ortogonl con respecto l producto esclr nterior, teniendo en cuent que pr cd t R, cos(t) = ejt + e jt y sen(t) = ejt e jt, j como consecuenci de l relción de Euler e jt = cos(t) + j sen(t). L serie n= c n e j p x se llm serie de Fourier complej de f, donde los coeficientes son: c n = j f(s)e p s ds p L serie de Fourier complej de un función y l serie de Fourier de un función son en relidd l mism. es decir, dos mners distints de escribir lo mismo. De l definición de c n, n y b n se tiene que, pr cd número n > y c n = n jb n, c n = n + jb n c = Ls series de Fourier representn funciones definids en un intervlo de l rect o, equivlentemente, funciones periódics en l rect. Pr representr funciones definids en tod l rect y no periódics, se sustituye por l trnsformd de Fourier. Ahor es conveniente trbjr en form complej, como hemos indicdo que se puede hcer pr ls series. Formlmente se puede deducir un expresión de l trnsformd de Fourier prtir de l serie. Supongmos que f es un función periódic de período p, entonces su serie de Fourier en form complej es Llmndo ω n = p l expresión nterior se escribe: y n= ( p h(ω) = j f(s)e p s ds)e j p x f(s)e jωs ds π n= (ω n ω n )h(ω n )e jωx que tiene el specto de un sum de Riemnn. En el límite tendrímos ( f(s)e jωs ds)e jωx dω π que contiene lo que se llm trnsformd de Fourier = F(f)(ω) = f(s) cos( ωs) ds + j f(s)e jωs ds = f(s) sen( ωs) ds =
= 4.5. TRANSFORMADA DE FOURIER 7 f(s) cos(ωs) ds j f(s) sen(ωs) ds y l fórmul de inversión que drá f prtir de l trnsformd: F(f)(ω)e jωx dω = π = ( F(f)(ω) cos(ωx) dω + j π ) F(f)(ω) sen(ωx) dω Not 4.5.. L definición vrí según los gustos en l prición de cierts constntes, por ejemplo el exponente puede ser jxπξ; en ese cso, l fórmul de inversión no llev el fctor /π multiplicndo. Además, el exponente csi siempre llev signo, pero lgunos utores usn signo +(en este cso, el signo prece en l fórmul de inversión). Not 4.5.. Un condición suficiente pr que exist l trnsformd de Fourier es que f se bsolutmente integrble en (, ) y que f y f sen continus en todo intervlo finito. Como consecuenci de l linelidd de l integrl, se tiene que F(αf + βg)(ω) = αf(f)(ω) + βf(g)(ω) Además, bjo condiciones suficientes de regulridd se obtiene que F(f (n )(ω) = (jω) n F(f)(ω) L trnsformd de Fourier de un función definid como t F(f)(ω) f(s)ds es jω. Otrs propieddes interesntes son: Escldo: L trnsformd de Fourier de f(t), es F(f)( ω ). Desplzmiento: L trnsformd de Fourier de f(t t ) es e jωt F(f)(ω). L trnsformd de Fourier de e jω t f(t) es F(f)(ω ω ). L trnsformd de Fourier de f(t) cos(ω t) es F(f)(ω ω )+F(f)(ω +ω). Convolución: L trnsformd de Fourier de f(t)g(t) es F(f)(ω)F(g)(ω u)du L trnsformd del producto de convolución f(s)g(t s)ds es F(f)(ω)F(g)(ω)
4.5. TRANSFORMADA DE FOURIER 73 Amplitud Amplitud / / t t Figur 4. Pulso rectngulr y su trnsformd Amplitud Amplitud.5.5 t.5.5 t Figur 5. L función g(x) = e π x y su trnsformd Ejemplo 4.5.3. Se f el pulso rectngulr ddo por l función crcterístic del intervlo [, ], es decir, entonces, si x, en otro cso = F(f)(ω) = F(f)(ω) = cos(ωs) ds j f(s)e jωs ds = e jωs ds = sen(ωs) ds = = ω (sen(ω ) sen( ω )) + j ω (cos(ω ) cos( ω )) = = ω sen(ω ) L función del segundo miembro se suele llmr seno crdinl y se represent por sinc. Ejemplo 4.5.4. L trnsformd de g(x) = e π x es l función 4π F(g)(ω) = 4π + ω
4.6. BOLETÍN 74 4.6. Boletín. Clcul l serie de Fourier de l función x, si x, si < x. Clcul l serie de Fourier de l función, si π x < π x, si x π 3. Clcul ls series de Fourier de ls funciones sen(x) y cos(x) en el intervlo ( π, π). 4. Se define l función x( x) pr x. Clcul l serie de Fourier de l reflexión impr de f. 5. Se define l función x pr x. Clcul l serie de Fourier de l reflexión pr de f. 6. Se define l función x pr x. Clcul l serie de Fourier de l trslción de f, definid por f( + x), pr x <. 7. Clcul medinte integrción l trnsformd de Fourier de l función triángulo definid por: x, si x, si x > 8. Clcul medinte integrción l trnsformd de Fourier de l función decimiento exponencil truncdo definid por:, si x e x, si x >