Capitulo 7 La transformada de Fourier Sheradores aparecerén definidos en las especies 2'(R) y L4(R). En la definicign ae Shee Pacis se usa ln integral de Lebeague 7 se ‘entifican funciones que coincides P@={FR—-e: [* yoy ca}. Laexpresion iffy = f%, ‘define una norma en £3(R), Dotado de esta norma, ) €8 completo, ia ing a Slat ode fc gu sn ‘undrado integrable en R, es decir, PR ={p:Rc:; Evora co a otgrl dab emcee cambio deviate a eae rcoblano es || = 1. Ademés, hemos probed serge que hemos cbtenido que la funcion h(t 2) i Fubini A.26, que Je func an R de donde se deve, wizando el teoreme vee f(t (o) ex ntegrable en R para cap. t€ R. Ba tres (foal) existe en ct-p. te. wh Operadores de convolucion us La propiedad regulati eogulasizant te de la convolucién se basa en el sigui iguiente resultado: Proposicion 7.6 Sea J wna fencifn en L'(R) y sea 9 una funcion en C8 yoo ein astadn on Be Eaton fog Demostracién: Janne racién: La convolucién esté definida en todo = slendo M := sup, Healt a) ee 9. Be une funeién continua en R deduce dl teorema TA? Semis GaN aah ems wt) 2 siendo M" = endo M = S0Pen(u)], Deneve, del ten cl razonamiento se tiene el resultado a -7 Sif |e LM) y 9¢ Z°(R), entonces a. En paticulay para f@ ENG) be open TAR) — TAR) a Ie define un operador lineal acotado, Demostracién: Se tiene que wear <([~ tptartore—wyan)? (Li estos)? = (© renter) ea)? Comes ines ea (FeaP < (u) Pc (Eve Dott — wa) ( f Wea) = Ii i toP (0. wp)!” yun ween ER a ese ee Finalmente, Ife og = * [Lic-oora cin [® (luv siete.Gopitulo 7 La transformada de Fourier Z.1_Operadores de convolucién M4 donde hemes utilizado la proposicin 7.5 yo. que las funciones || lgl? pertenecen en: a LMR). 5 Proposicién 7.8 Si f,g€ I7(R), entonces suPen I +901 < Mielote- ymostracién: Aplicando la desigualdad de Cauchy-Schwarz en el espacio de Bier ‘TA(R) se tiene que [ff se-emeasf < (FL ve-wrae) (Mok) ~ -(£ epee) ( [laa = sta Por tanto, supsen (f + 9)(01 < Wftatale A Definicién 7.9 Una sucesién regularizante ¢2 wna eucesién de funciones Pr t Ru R en C*(R) cumpliendo las siguientes propicdades: 1. pore cada ne N, la funcién py > 0 para todo = ¢R 2, para cada ne N, {<,ppa(z\de = 1, ‘4 cada funcion pu se anala fuera de wn intervlo [-En.En] con jim, en —* 0. indefinidamente derivables Denotaremos por' Be) ) stcaniuntode es funones indi cae deni eo R y que se anulan fuera scotado. PR). Se puede construir una sucesinsegulrizante a partir dele Siguiente funcién p€ CHR): eer iP) sith <1, ron aif}> pasta defini, para n€ N, la funcion pa(t) = na(nt) que se ansle fuera del intervalo {-1/n,1/n]. 45 ‘Mediante el uso de sucesiones regularizantes se prueba la densidad del espacio (CCR), h) en (L*(R), J - fh) y del espacio ($5 (R), J - fa) en (£7(R), J - Ia). Teorema 7.11 Sea f € £1(R). Dado € > 0 existe una funcién ge € CH(R) tal que If ge <¢. Demostracién: Sea f una funcién en L'(R); dado ¢ > 0 existe una funcién f. € Coo(R), es decir, una Funcién continua en R que se anula fuera de un intervalo acotado, tal que If — felh <¢/2 (véase el teorema A.34 del apéndice). una sucesién regularizante {pq}. y defnimos ls funciones gn < = ‘fe * Pay las cuales pertenecen al espacio C%(R) utilizando Ia proposicién 7.6 y el ejemplo 7.4. De hecho, si fe se anula fuera del intervalo [a,b], la funcién gq. se anularé fuera del intervalo [a — 1,6 + 1] para n suficientemente grande. Por tanto, Ue~snaks= [- MeC2)—onel@lde< (0-042) sup ele) — sual Jae ‘zefa~1,b+1] Por otra parte, como la propiedad 2.) de las sucesiones regularizantes nos permite escribir 2 12) ~ malo) = [= fe ~ Oona, oe tene que Ute) ~ one

ng. Finalmente para todo n > no, se tiene WS dnl < If - fel + fe gnc 0 este wan func ge € CR) tal que If ~ gee < fin particular, ee obtiene que el espacio CZ(R), de las funciones des Toes derivables cotado, €8 tinuidad en R y que se anulan fuera de un intervalo » dere co denso de £4(R) (también de L'(R))- En este resultado nos bassremos pera defini la transformada de Fourier en el espacio £7(R). 7.2. La transformada de Fourier Tas cerica de Fourier cldsicas nos permiten escribir toda funcién f€ Z3(-™,) 7 como ln erie (oun dlcrets) i-%5 F etnyetm en L*(—,2), donde on) = def yore, Bast 2m Smo ee al de funcién no periddica f definida en todo I nos preguntamos sot Ba como tege (ss cots) aon nota, weR. 100 = Jpg [ene donde f= Fg f_ sora we Mate utllan p= 2 ff feoertae, dante Fe) = [7 10 oma 7.2_La transformada de Fourier ur 1o= [7 Foort™tcw, donde Fro) = f° 19 eta 7.2.1. La transformada de Fourier en L'(R) Como la expresién Fw) = ae $%, S(t) o-**dt es uns integral que depende del parimetro w, podemos estudiar su validez y propiedades haciendo uso de los resultados conocidas para este tipo de integrales. © Como |f(t)e*"| = |f(¢)] cualquiera que sea w € R, la integral esté bien definida, cualquiera que sea we R, para funciones f € I3(R). eel Definicién 7.13 (Transformnda de Fourier en 1*(R)) Dada una funciéa f€ L'(R), se define su transformada de Fourier f como la funcién f: R— C dada por fe) = Fe [so ema, ver. Andlogamente, se define la transformada de Fourier inversa de una funciéa 9€L(R) como 50 Fe [atu eta, te. Como [f(t] = € LA(R) y f(tje-** es una funciéni continua en we R, se cumple que f © C(R) por el teorema 7.1. Ademés, f es una funcién ‘scotada en R ya que |f(w)| < Z=1/hh para todo we R. (Gijempio 7.14] Calculemos la transformada de Fourier de la funcién carac- teristica de un intervalo f := Xa}: rn a or) iw, joy defeman | * (o-a\/VI% siw=0, En particular, Xteesy(t) > Vow SRE La funcién definida como:yurier Capitulo 7 La transformada de Fo mast site R\(O}, (ry sone (BE Ht funcién senct pertenece ‘bre de funcién seno cardinal. Nios cules (véase el eeeilo 15). recibe el nombre de final pertenece a 8 CP(R). Le funcién seno 4 0 t Figura 7.1: Gréfica de la funcién seno cardinal ANS : ea funcin f() =e“ perience » Z4(R) yo ave a erste 2 [letennf ena, , Ademés, ot) fore ae Le ‘ val. a) helt lb 12_La transformada de Fourier 19 eran 138 (Loma de Rlemann-Lebeague) Para toda funciéa Fe L4(R) se cumple que . ai, Fw) =0. Periestaciin: Por ol eomplo 7.14 el resutado ex cierto para fuanciones que son Seal aaciones Uneales Gita de funclooescaractertica deferens ‘Ahora bien, dade fe ECR) ne 28 densas en L¥(R)(véase la proposicin A 3s ey apéndice), dade £6 L'(R), existe une sucesén de fanciones (gy) al saa Wout = 0. BL resultado so deduce de las desigualdad: WA) < Lint) + [Fle — Gate) < WGn(w)] + Jeo. Fado eat iH tal quel sgundo suman menue que Plrndo este l primer sumando también seré mense que e ara |u| sufcientemente ‘grande, de donde se concluye el resultado. . a Nétese que si f ¢ L'(a,b), Ia extension de f a todo R Por 0 pertenece a £}(R), obteléndose, como caso particular del teoreina anterion lec’ 5d, in notamon Por C(R) el espacio de as funcionscontinuas J :R—« € tale ue limo f(t) = 0 dotado de la norma If ?= supiee |f(t)|, como se cumple que Hie < Ils ve obtiene el siguiente resultado: ‘Teorema 7.17 ‘La transformada de Fourier Fr ®) — eye fue & define un operador inal scotade, Moto gue fs -+fe9 nora |, implin que J, 7, uniormemeat enCapitulo 7 La transformaca oe evuses suowrumaa de Fourier 181 150 Ejemplo 7.19} Calculemos la transformada de Fourier de una ‘goussiana: ‘Proposicién 7.18 (Transformada de Fourier y derivacién) Se cumplen_ Jas siguientes: propiedades: , jecn ea B@)pen k=O cme Fe °8) Ae Gero) ae gh fe CMB) ZAR) y $0) ENR) pare B= 1Br-oots eames 4 ase a T FO0(w) = (éw)*Flw) pare k=, ise LR) 4 ve aula fur de uniter actdo, eotnees 7 ¢ " c7(R). La gaussiana e-*” uma orl gue integrable nel > fancié en LB) ya. qu : jvando la gaussiana’ one integra ‘Aplicando la transformed de ‘en 1.) aplicando el epartado 2. del teo- Demostracién: En las condiciones dadas dentro de {a integral basta el orden m ue por la proposicén 7.18 se converte (w) = ponte puede denver con respecto & © obteniendo : la funeion f verifce tae a ‘ecuacién dif 7) = Fe, f db, WER y Re Leno oo og ferencial que integramos i =-% = nfw=-Z 40 = 7 - sara demosta 2), nega por pasts a negra ust define ransom donde ts constante K = 7 eS Heo) = Kore", = HO= geet Veo de Fourier de J obteniendo 3 Ejemplo 7.20] Calculemos la transformada de Fourier de las funciones bs rey alt) = Penal (a> 0). = Fw), y por tanto ‘caso, teniendo en cuent en cuenta el ejemplo 7.1, oe tiene que: (oC) ~ 1 (#)- En nuestro que fla) = JO) + Hs Waty fe "Ademés, la existencia ae fo) poconramente ets Limite han de vole © Pt 1 Tterando el proceso se probaria 2.) k= 2,-..)M. Finalmente, atin fuera de un intervalo acotado (4,6, se ene ave thf) € Bt Ke Ni, y 3.) se deduce del apertado 1 Beai(w) = [2 2a tae 7 @rw El comportamiento raslaciones siento de la transformada i © multiplica de Fourier 1 . Proposicién cuya a iporieass ctpaeise gies tae Prueba se deja al lector: , 88 recoge en la siguient Aplicando el Jema de Riemann-Lebesgue, se tiene que FO w) = por tanto, se conel aye que, euanto més regular sea In funcion f més Beratimiento de f 2.0 cuando [tl ~* <2,je Fourier Capitulo 7 _La transformada de Fo 12 La transformada de Fourier 21a transformada de Fourier Proponiconn Pectanecen 8 L'(R). Ademés se cumple que (%. (od Proposiciones 722 y 7.21 se tiene qua we tnd m1. Por a Li Feorastupeteén LE Heis0~1, m5 Ro de contin de fe rte so ag 153 182 in 7.21 La transformada de Fourier en L(R) cumple las siguientes pro- Proposicién 7. piedades: . 1. Sia>0, Flat \(w) = 3Flw/o). uw) = Fw). Faw) « flw wo) 8. &RlE(w) = Fw wo inversién de la jo se utilizaré en Ia prueba del teorema de EI siguiente result > = FO} ” = pee swatuidu= [" Flurote) Probemos ahora que lity ac SE, Sau du = J(é) sit es un punto de conti. t L , Ban he ate ag 2 a poe oneee Como {7 Gn(ENdE = 1, podemon escribir Demostracién: Como las : i Li Heise-nau— sy « [tery Vado taore| go, We LR) 0 =) Bf lo el teorema cia, PQ) in inl) = VAR, epicando ea convergencia domina Fay of eatin on DR) es producto de des fine ff nareree= [7 100 ( Ge [7 store) ao som ' = fF ter ef stnernde)a = f° Fest , coinciden. -ya que las integrales iterades - Wc, 6+9~ Heise ce renin ce. Por lo que respects al segundo sumand, [ref ance = ] "00 Gn es decteciente en fn, +0), ge tended que ‘Teorema 7.23 (Férmula de inversién en ‘L}(R)) Si las funciones f y f pertenecen a L¥(R), se tiene que Ton gL fo ree s0 Wot SinlGs| 0, ‘ea cada punto ten donde f sea continus. * donde se deduce que existe ng € 8 tal que . as funciones gat) = i6n: Para ne N, consideramos Demostraci | Jove (E+ — soloed] <6 pare todo n > os . cuenta el ejemplo 7.15 se tiene ‘tenecen a L}(R). Teniendo en ite54 Capitulo ?_La trensformadn de Fourles 1 Como consecuenciay \E Huyin(u- Ode — 40) yga(u- du = 10 cad 8 8 a Flwye™aw = f(t). + [Lio <2e paratodon? nay deci, linge Soee cra) ieee Fe Finalmente, toman Corolario 7.24 i fe C(R)O ER) y Fe LA), se cumple ave sw gy para todo te R- On [Lie $i a> 0, se cumple la siguiente representacién integral de la funcién "exponencial: nat 20 (7 SEB to, £20- . Jo ow Aplicando el teoreme 7.23 al resultado del ejemplo 7.15 se tiene: que wes f2_o ota oe) Ve rut a [% cost + isenwt, eittdw =< we eo ‘miembros. El resultado oe obtiene iguslando las pastes reales en ambos Corolario 7.26 Si fe CR) EMR) y Fe LNB) se cumple que fo todo te R. ‘Demostracién: Silk aea= ef homan 2eR amamos 9 = f, se tiene que para todo r€R- or tanto, (2) = f(a) = J(-2) para tee 4 1.2_La transformada de Fourier 155 Teniendo en cu a wenta el corolario anterior y el ejemplo 7.15 se tiene que: Bjemplo 7.27 1 = pt Ee [Benet are RF (a>0) Calculemos la transformada de Fourier de la funciéa f(t) = (ipmpte 7.28] Tendo ca THA, Tienda en ent we 0) = rap wan Ja detaplo anterior (para a = 1) se obtiene ave Jo Ia proposiciéa 7.23 Fay sere feta [fem eae taney Et hecho de que las funciones f y 7 estén si 1 1s f y F estén simulténeamente en L' condi bstent exigent. Por eomplo afc Xtra ertenere CB) mborgo su tensformade de Fourier Vi BE no pertenece a ejercicio 15). Una condicién suficiente para que se eumpla viene dada por el siguiente én 7.29 i f © C*(R) y J,'," € LMR), se cumple que F pertencee @ Demostracién: Teniendo en evena ls hips Rlemann Lebeagua, oe cee gt tt pétest la proposiién 7.18-y elma de Pow) = -wiftw) 0. Iwi Por fo tanto existe cxiste M > 0 tal que ju'1/(u)I < 1 para ful > M. Como fs continua yA7Co)l < Foye Para jl > M, se deuce, féciimente, que Fe LR). . o Por la. proposicéa oe Adena, op Pecbosision 75 eabemas que si f.g € L'(R) entonces f+ 9 ¢ L'(R). Proposicién 7.30 (Transfor Pare 9 6 DIR) ee Cone ae Tunas de Fourier y convolucién) F9(w) = Vim Flu) dw), wer.—— EEE _ Copitulo 7__La transformada de Fourier 186 Demostracién: Se tiene que Tre) = $e fm fF seate- ends) yo jacobiano es |J| = 1, la . io de voriable (ust wu), enyo jacol nea Sai ‘wt g(y)do) = Vim fw) aw) - Tw elf [rman jvadas continuas y que se anula = con doe ae due E(B) © £'(R) 0 £4(R) y ws elementos witjefacen el teorema 7.23 de inversion de Fourier en TR). nar fF soa = {10g eee - (= (Fe ie seer) dw = [fot =GD- \Ffwje™ pertenece a L'(R?) ys ul Aes separadas, el cambio en En las igualdades anteriores, como 18 Ge nein /(ORCHIE “= el orden de interac er ando f = 9.20 cumple que Ufa = A(R) de manera que se siga cumpliendo lo anterior. oe ere el pail ) cota dor ete da © 278) vése In nok Pom Cpt) tal que Hn ~ fla ~> 0 cuando m Fla pare toda funeion f sive de eta seclin ex extender In transformeda de Fowriet todod 7.2_La transformada de Fourier 187 es de Couchy en £*(R) y como {fn — fafa = jcsién (aly tambien os de Cauchy en ZR), ier de f € L? a icin. = In one ‘F€ LR) ala funcién FF := lias Ja Lo primero que hay a sentido de que no depende d sen lon} otra sucesin en que Ia funcién Ff esté bien definida en el sucesién de partida {fn}. en Cio(R). En efecto, ‘om dn ~ fa + 0 cuando n +o. Se tiene que Ban ~ F fla = Wn ~ fa + Jn - Fle & lin ~ fale + Ufa ~ Fila = gn ~ Sal + Win ~ Fi Sgn fla + Uf ~ Sala + Win Fla 0 cuando n — «0 ‘Como consecuencia de la discusién anterior podemos enunciar la siguiente definicin: Definicién 7.31 (Transformada de Fourier en 1?(R)) Dada una funcién fe L4R), sea 1 una sucesion en C4(R) tal que [fn — fla + 0 cuando n+ e, Se define la transformada de Fourier Ff de f como Ffr= lim fy en DR) En primer lugar, probemos que en el espacio L(R) L7(R) ambas definiciones de transformada de Fourier coinciden. Para ello necesitamos el siguiente resultado: Lema 7.32 Dada una funcién f € L'(R) - L3(R) existe una sucesion {gq}%- en G(R) tal que log ~ fla 0 9 lon Shr 0 cuando n> {oolson Demostracién: Sea f € L'(R) n L%(R). Dado ¢ > O existe M > 1 tal que Olde 0, won fh ice vveremos e6mo la transformada de Hilbert I , que vale 1 si t> Oy vale Al inal de esta seccién leva a cabo esta tarea. Introducimos la funcién signo, 65m H1sit <0. Definicién 7.87 La transformada de Hilbert on A(R) se define como #:P@) PR) fro Hf = Fis) FF) rriré con su transformada de Fourier inversa. propiedades de HY se deducen # partir de les dela transformade de Fourier en L*( operador unitario en DAR). Demostracién: Ls transformada H ¢s lineal al serlo ta transformada de Fourery ‘eu inversa; también H es ‘una isometria en L7(R) puesto que si F(R) MH fla = IFN = tees FD = PF = Wla- jnversa es H~! = —H. Bn efecto, a transformada H es biyectiva y ademés, su )(-isen)Ff = -FS = FA)» FUCA) = (-isgn) FU) = (~t988) de donde, H? = ~lieqy- Si f es una funcion real de 1°(R), lo mismo ocurre con st transformed d Hilbert HJ. En efecto, como 4 HA = jim we et da, N > Fe [yen 13_La tr ransformada de Hilbert en media cusdedtica y Fa) = 7] tien y Fla) = jw) a set f rea, tone } 8 tiene que FAO = jim f a. El cambio de ‘ Oe i Jy SAT) dy, ten variable € = ~w nos eae, Permite conclu que HF = 4() para et, sel rare en . Fourier sea Ff, FeLAR), como: M* funciin real f € £3(R), respuesta ata moti otivacisa ike encontrar una funcién caja tes e® ot % define au sefinl analitica asccinda fom fi 7 Su transformada de Fourier cumple a " Fhe=Fh vila fa FS +i(isgn)Ff = 277 -u, Nétese que, ue, a pesar de su denominacién, la en el sentido usual ni 1 la funcién ela variable comple, 40 68 une fucién analtica