CAPITULO VII SERIES DE FOURIER. INTEGRAL DE FOURIER § 55. SERIES TRIGONOMETRICAS DE FOURIER 55.1. DEFINICION DE LA SERIE DE FOURIER. PLANTEAMIENTO DE LOS PROBLEMAS FUNDAMENTALES Definicién 1. La serie de la forma Be y a, cosnx + b, sennx, (55.1) m1 donde {a,}, {b,} son sucesiones de nimeros reales, se denomina serie trigonométrica. Sus sumas parciales son combinaciones lineales de las funciones que componen el sistema 1) cosx, senx, cos 2x, sen 2x, ... , COSMX, SENNX, ... . (55.2) Definicién 2. El conjunto de las funciones (55.2) se llama sistema trigonométri- oo. Lema 1. E/ sistema trigonométrico (55.2) posee las siguientes propiedades : 1) Una integral , extendida al segmento [— x, x}, del producto de dos funciones distintas que integran el sistema es nula (esta propiedad lleva el nombre de ortogonalidad *) del sistema (55.2), es decir, J cos nx cosmxdx = 0, n # m, J senax senmxdx = 0, n#m, (55.3) J cosnxsenmxdx = 0, m,n = 0, 1,2, 2) j cos? nxdx = 5 sen’axdx =, n=1,2,... (55.4) * El origen del término “‘ortogonalidad”’ se explicaré en el p. 58.1.55.1. Definicién de la serie de Fourier 347 DEMOSTRACION. Para cualesquiera m,n enteros y no negativos, siendom #1, tenemos nin vane senmxdx = [cose — mx — cos(n + m)x}dx = _ sen@r — m)x|* _ sen(n + m)x|* 2(n — m) 2 + m) De modo andlogo se demuestran también las otras dos igualdades (55.3). Demostremos ahora (55.4): \ 1 cos*nxdx = a je + cos2nx)dx = 3, fentnvac = 2 fe — cos 2nx)dx = x. O Teorema 1. Sea ° SQ) = 2 Y a, cosnx + b, sennx (55.5) n=l y supongamos que la serie en el segundo miembro de esta igualdad converge unifor- memente en el segmento [— x, x]. Entonces n=1,2,.... (55.6) DEMOSTRACION. Por cuanto la serie, que figura en el segundo miembro de la igualdad (55.5), converge uniformemente en el segmento [— 7, x], mientras que to- dos sus términos representan funciones continuas en dicho segmento, entonces la suma f(x) de la serie es continua en el segmento [— 7, x] y la propia serie puede ser integrada término a término (véase el p. 36.4) entre los limites de — + a x: [soos = \@+ Y a, cosnx + by sens Jee = * n=l = 20 a . Y a, | ound + b, | enmcar = rap. a mal Ae tr De aqui proviene la primera de las formulas (55.6).348 § 55. Series trigonométricas de Fourier Si la serie (55.5) se multiplica, término a término, por cos ax y sennx(n = 1, 2, ... ), las series obtenidas seran también uniformemente convergentes en el seg- mento [— 7, 7] (véase la propiedad 2° en el p. 36.3). Integrando término a término estas series y utilizando la propiedad de ortogona- lidad (55.3) del sistema trigonométrico y las igualdades (55.4), tendremos J Fe)cosmxdx = | a, cos?nxdx = xa, J fo)sennxdx = { b, sen?nxdx = 1b,. De las correlaciones obtenidas se infiere directamente !a formula (55.6). 0 Hemos de notar ahora que las integrales (55.6) tienen sentido no sdlo para las funciones continuas en el segmento [— 7, a], sino también, por ejemplo, para fun- ciones, la integral de las cuales converge absolutamente en este segmento. Recordemos que el concepto de integral absolutamente convergente (como tam- bién el de integral simplemente convergente) se ha introducido sélo para las fun- ciones definidas en cierto intervalo (a,b), —- © < a 0 tal que, cualquiera que sea x pertene- ciente al dominio de definicién de la funcién f, los valoresx + T yx — T pertene- cen también a este campo y se verifica la igualdad S& + T) = fe). Las funciones de este género se llaman T-periddicas. Ejercicio 3. Muéstrese que la funcién f que es igual a cero en todo punto racional y a uno en todos los puntos irracionales, tiene como su periodo cualquier namero racional y ninguno de los nameros irracionales puede ser su periodo. Sea f absolutamente integrable en el segmento [~ x, x] y, por consiguiente, se le puede asignar una serie de Fourier. Si la serie citada converge en cierto conjunto, converge hacia una funcidn 2x-periddica, puesto que todos sus términos son 2n-periddicos. Resulta pues comodo que la propia funcién f sea “prolongada pe- riddicamente”’ con el periodo de 2x. Las comillas se deben a que en Ia realidad la funcion f puede ser prolongada periddicamente s6lo en el caso en que f(— x) = = S(x). Si esta condicién no se cumple, lamaremos prolongacién de la funcién f una funcién 2x-periddica f que se obtendra bajo el supuesto de que para cualquier pun-350 § 55. Series trigonométricas de Fourier toxe[— x, x) enel que queda definida la funcién f (recordemos que en virtud de la integrabilidad absoluta de la funcién f en el segmento [— 7, 7] ésta queda defini- da en todos los puntos del segmento, a excepcién, quizs, de su conjunto finito); te- nemos S& + 2xk) = fk), k= 0, + 1, + 2, Para el caso cuando f(— x) # f(x), tal prolongacién conduce a que los valores de las funciones f yf, parax = x, no coinciden. No obstante, por cuanto los coefi- cientes de Fourier de la funcién se determinan con ayuda de las integrales (55.6), es- to no llevar a su cambio y, por lo tanto, las series de Fourier de la funcién dada fy de la prolongada f coinciden. Diremos que en la mencionada prolongacin periédica la funcién f puede no ser continua en los puntos 2xk,k = 0, + 1, + 2,... , sila funcién f es continua para x = — wyx = x. La funcién prolongada f seré continua en los puntos 2k, si fes continua en x = — x yx = x, con la particularidad de que f(— +) = f(x). La continuidad en otros puntos se conserva cuando tiene lugar la prolongacién periédi- ca:_si f es continua en el punto xe (— x, x), f ser4 continua en cualquier punto x+krk=041 42... La funcién prolongada se denotar4 con frecuencia mediante el mismo simbolo JS que caracteriza la funcién prolongable. Si la funcién f es 2x-periddica, al calcular sus coeficientes de Fourier (véase (55.6)), la integracién puede realizarse en cualquier segmento de longitud 2x, por ejemplo, en el segmento [0, 2x]: a ag == [om 2e ait {16 cosmea, b, = x ° ale a [re sen nxdx. ° Efectivamente, si una funcién ¢ tiene periodo igual a T y para cierto nimero aeR es integrable sobre el segmento [a, a + T], entonces, cualquiera que sea be R, serd integrable también en el segmento [b, b + 7], con la particularidad de que 7 ee etodx = | ptde, | 5 ; : a+r es decir, la integral ‘i (x)dx no depende de como se elige el nimero ae R. Esta propiedad de las funciones periddicas se demuestra facilmente por cambio de va- riable de integracién y recomendamos que el mismo lector lleve a cabo la demostra- cién. En el § 58 generalizaremos el concepto de serie trigonométrica de Fourier, a sa- ber, definiremos y estudiaremos las series de Fourier referidas a un sistema ortogo- nal arbitrario de funciones. Ahora, en el parrafo presente, sdlo se estudiaran las se-55.2. Coeficientes de Fourier que tienden a cero 351 ries trigonométricas de Fourier de las funciones absolutamente integrables (véase también el p. 58.6). Ante todo se estudiara la cuestién sobre las condiciones que garantizan la con- vergencia de la serie de Fourier. En el caso de que la serie de Fourier de una funcién dada f(x) converja bajo ciertas condiciones, se aclarar4 a qué es igual su suma S(x) y, en particular, cuando coincide con la funcién f(x). Se estudiard la “‘velocidad” de convergencia de las series de Fourier y las condiciones de que ésta depende. Se mostraré que incluso en el caso cuando la serie de Fourier de una funcién continua diverge en ciertos puntos (ejemplos de tales serits existen), a base de la serie puede restablecerse la propia funcién en todos los puntos. Veremos, en fin, que desde cier- to punto de vista resulta natural considerar la convergencia de las series de Fourier no s6lo en el sentido habitual (como convergencia de una sucesién de las sumas par- ciales en un punto o convergencia uniforme), sino de manera sumamente diferente, a saber, en el sentido de la media cuadratica (véanse los pp. 55.8 y 55.9). 55.2, COEFICIENTES DE FOURIER QUE TIENDEN A CERO Es de gran importancia en la teoria de las series trigonométricas el hecho de que los coeficientes de Fourier de una funcién absolutamente integrable tienden hacia cero cuando n — oo. Se deduce el hecho de una afirmacion algo mAs general que se demuestra abajo y se emplea frecuentemente en las investigaciones concernientes a las series de Fourier y los problemas contiguos. Teorema 2 (de Riemann). Si /a funcién f es absolutamente integrable en el inter- valo (a,'b), sea éste finito o infinito , entonces . > lim j Se) cos vxdx = lim { S(x) sen vxdx = 0. Corolario. Los coeficientes de Fourier (55.6) de una funcién absolutamente in- tegrable en el segmento [— x, x] tienden hacia cero cuando n ~ ». Antes de demostrar estas afirmaciones, introduzcamos algunas nociones que en adelante seran de empleo frecuente. Definicién 4. Para cualquier funcién f, definida en todo el eje numérico, la clausura de un conjunto de puntos en los cuales f(x) # 0 lleva el nombre de porta- dor de la funcién y se designa supp f*. Definicion 5. Una funcién f , definida en todo el eje numérico , se denomina fini- ta, siempre que su portador estd contenido en cierto segmento finito. Definicién 6. Para todo conjunto X dispuesto en una recta numérica , la funcién 1, si xeX, xO) = xy) = fo si xX, recibe el nombre de funcién caractertstica del conjunto X. ” Proviene de la palabra latina supportus.352 § 55. Series trigonométricas de Fourier ’ 1 io 1 Lo 0: a 6 Fig. 230 En la fig. 230 se expone la funcién caracteristica de un semiintervalo del tipo {a, b). Definicion 7. Una funcién f , definida en todo el eje numérico, se llama escalo- nada finita , siempre que es combinacién lineal de un nimero finito de funciones caractertsticas de los semiintervalos disjuntos dos a dos (a;, b;), i = 1, 2, »m,es decir, si puede ser representada en la forma fey= LY Axe) (55.7) (fig. 231), donde x;(x) es la funcién caracteristica del intervalo {a,,b,)¥ Xi» i= 1,...,m, son ciertos nimeros reales. No es dificil convencerse de que si no se requiere que los semiintervalos [a,, b,), i = 1,2,... ,m, sean disjuntos dos a dos, se obtendr una definicién equivalente. Esto se deduce de que la interseccién de un numero finito de los semiintervalos aco- tados en consideracién es también un semiintervalo del mismo tipo. Evidentemente, toda funcién de la forma (55.7) es finita. Una funcién escalonada finita f es integrable en todo el eje numérico y, ademas, si est4 dada por la formula (55.7), entonces +o m +o m bi m J foddx = x, dy | xi@edax = x, 4 [d= Yo NG - a). A 12. mm oe ‘ai Ejercicio 4. Demuéstrese que cualquier funcién continua en un segmento es el limite de una sucesidn uniformemente convergente de las funciones escalonadas finitas cuyos portado- res pertenecen al mismo segmento.55.2. Coeficientes de Fourier que tienden a cero 353 Lema 2. Para cualquier funcién f , absolutamente integrable en un intervalo fini- to o infinito de extremosayb,- ©» ¢a 0 existen tales numeros t y que o & | veotac+ [veniar es (55.8) é ; La funcidn f es integrable segin Riemann en el segmento [£, 9] y, por consi- guiente, si designamos con s, la suma inferior de Darboux de la funcién f, corres- pondiente a cierta particién 7 del segmento [£, n], tendremos 1 ims, = | fee)dx, é donde 4, es la finura de la particién 7. Por ello, existe una particién 79 = {x; segmento [E, 7] tal que si s,, es la suma inferior de Darboux para la funcién f, correspondiente a la particion ro, es decir, si k Sip = SL mjAx;, m;= — inf — fle), Xi-1SX SX} Ax, =X; — Xj entonces 1 Ox [rede 59 < € 2 donde € es el namero fijado anteriormente. Pongamos _ (Mj, Si Xj SX < Xp . e@) = fo si x<& 6x27. (55.9)354 § 55. Series trigonométricas de Fourier Evidentemente, g(x) es la funcién escalonada finita, k ’ suppe C [én] C (@,b) y [eed = Yo mAx, = 5,. é mh Por consiguiente, . 1 1 \ [re - os) Jaw = [revue - [eee <> ; (55.10) é é é con la particularidad de que por cuanto g(x) < f(x), < x < 9, entonces Se) -— o&) = IF) -— p&)I > 0. De las desigualdades (55.8) y (55.10) tenemos: b & ” b § WF) — eGeyldx = f Lede + | FO) - eed + | erlar < e. a < é ” 1 Suponiendo, por ejemplo, e = — y denotando las correspondientes funciones es- n calonadas finitas » mediante y,,, = 1, 2, ... , obtendremos una sucesién de fun- ciones escalonadas finitas y,,, para la cual se cumple la afirmaci6n del lema. 0 DEMOSTRACION DEL TEOREMA. Sea x (x) la funcién caracteristica del semiinterva- lo [é, 7). Para todo intervalo (a, b) > [E, n] tendremos o ” lim J x(x) senvxdx = lim j senvxdx = lim re} roe) cosvé — cosrn 0 aoe = 0, pues cosvE — cosy Icosvé1 + Icosvyl — 2 cosve — cosvnl _ lcosrél + tcosval - 2 -0, y-@, y v Por cuanto cualquier funcién escalonada finita es una combinacién lineal de un numero finito de funciones caracteristicas de los semiintervalos del tipo considera- do, la afirmacién del teorema queda valida también para toda funcién escalonada finita. Ahora, si la funcion f es absolutamente integrable sobre el intervalo de extremos ayb,—- ~”<¢a 0, con arreglo al lema, existe una funcién escalonada finita ¢ tal que 6 |v = e@)ldx <¥ . Para esta funcin escalonada (por cuanto para las funciones escalonadas el teorema ya ha sido demostrado) existe tal », que con Iv! > v, 6 [reo sen vxdx & <=. 255.3. Integral de Dirichlet. Principio de localizacién 355 Por ello, al hacer uso de la identidad f(x) = [(f@) — e&)] + o(x), paralyl > », obtendremos > [ se senexde| < a . J Ye) - etlsencas| + 5 + lj etesenrxas| Esto es indicio de que lim | f(r)senyxdx = 0. De modo andlogo se demuestra que 6 lim | fox)cosrxdx = 0. 0 55.3. INTEGRAL DE DIRICHLET. PRINCIPIO DE LOCALIZACION Sea la funcién f(x) absolutamente integrable en el segmento [— 7, x]. Hallemos una expresion, comoda para investigar, de la suma parcial S,,(x; f) de la serie de Fourier de la funcién f, llamada también simplemente suma de Fourier de n-ésimo orden, i = 0,1, 2, ... ,de dicha funci6n.. Al sustituir en S,,(x;,f) la expresion para los coeficientes de Fourier (55.6), obtendremos " S05) = 2 + y ay coskx + by senkx = eal = ; \ S(t + y L \ S(@)(cosktcoskx + senkrsenkx) dt = in a ket * =t \vo [5 + Y conkte — 9 Ja (55.11) . 2 o raat Pongamos 1 in DAO=5 + Y coset, (55.12) ker entonces la férmula (55.11) se escribira en la forma S,06f) — [eae — x)f(Odt. (55.13)356 § 55. Series trigonométricas de Fourier La funci6n D, (t) se llama nticleo de Dirichlet y la integral que figura en el segundo miembro de la igualdad (55.13), integral de Dirichlet. Lema 3. El nticleo de Dirichlet: 1) es una funcién par continua 2x-periddica, con la particularidad de que 1 PO =n +53 2) satisface la condicién i J rxo oi (55.14) z 3) cuando t # 2xk,k = 0, + 1, + 2, 1 anes!) D,(t) = —~——~. (55.15) 2sen— 2 DEMOSTRACION. La continuidad, la paridad y la existencia de un periodo, igual a 2x, para el nucleo de Dirichlet D,, (t) se desprenden inmediatamente de su defini- cin, es decir, de la formula (55.12). De la misma formula se infiere también la igualdad (55.14): para obtenerla, es suficiente integrar en el segmento [— x, x] am- ‘bos miembros de la igualdad (55.12): ea | (Odt = 3 5 je + Y cosktdt = x, St er tal Se pues, cuando k = 1,2,...: | cosktdt = 0. Demostremos ahora la formula (55.15). Tenemos: n 1 Dt) = 5 + Y coskt = —_ sen + * aun! ont) = = 2sen— k= kel cu 1 . 2k+1 wk-1 sen. t— sen——— ¢ = 2 2 = sen mea) = ————_——, t #dxk, k= 0,41, 42,....55.3. Integral de Dirichlet. Principio de localizacién 357 Observemos que por ser par el niicleo de Dirichlet, ° . { D,@dt = | D,@de, a é por lo cual j D,(t)dt = A D,(t)dt. as é De aqui y de la propiedad 2° del nucleo de Dirichlet se deduce que 2 Jee = * (55.16) Indiquemos, ademds, que el segundo miembro de la igualdad (55.15) tiene senti- do sélo cuando t # 2xk, siendo k entero. Pero, como 1 += )}t sen (n +2) : t lim = lim D,(t)=n+~, take tater 2 2 sen— 2 1 sen (n+ — Jt Ja funcién \_—_/_ puede ser definida adicionalmente para t = 2xk, k = 0, 2 sen— 2 + 1, + 2, ... , considerando que su valor en cada uno de estos puntos es igual, por definicién, an + ; . Una funcién, definida adicionalmente de este modo, es conti- nua para f = 2xk, cualquiera que sea k entero. Volvamos a considerar la funcién f, absolutamente integrable en el segmento [- x, x]. Para nosotros sera de interés, en particular, el limite de la sucesién de su- mas parciales S,,(x) de su serie de Fourier. Hemos de notar que el paso directo al limite, param ~ 00, en el segundo miembro de la igualdad (55.13), es decir, el paso al limite bajo el signo de integral, no es posible, puesto que el limite del nticleo de Dirichlet para n —~ o no existe. Prolongamos la funcién f desde el semiintervalo (= x, x) en una funcién 2x-periddica y designémosla también con f (véase en el p. 55.1 la informacién mas detallada sobre la prolongacién periédica). Demostremos el siguiente lema. Lema 4. Para la suma parcial de Fourier S,,(x; f) de una funcién 2x-periédica absolutamente integrable f son vdlidas las formulas SO) =a [Pee + tdt (55.17)358 § 55. Series trigonométricas de Fourier . a 5,065) =— [2neuee+ 0+ 40 - on. (55.18) é Corolario. Para cualesquiera 5 € (0, x), x €[- ™, x] la suma parcial S,, (x; f) de la serie de Fourier de una funcién 2x-periddica absolutamente integrable f posee la siguiente representacion integral asintética: 3 1 S,05f) =— [enone +t) +f - tldt + o(1), n- &. (55.19) 7 é DEMOSTRACION DEL LEMA. Realicemos en la integral de Dirichlet (55.13) el cam- bio de variable de integracién u = ¢ — x: 1 SiON) =— [> (t- os @de = = { D, (ufo + udu = 1 | 2atare + u)du. (55.20) . 7 Aqui hemos aprovechado otra vez la circunstancia de que la integral de una funcion periddica extendida al segmento cuya longitud es igual al periodo de la funcién, no depende de la posicién de dicho segmento en el eje real (véase el p. 55.1) y hemos aplicado esta propiedad a la funcién D,,(u)f(x + u) que es 2x-periddica segan u. Asi pues, la formula (55.17) queda demostrada. Con el objeto de demostrar la formula (55.18), representemos el segundo miembro de la igualdad (55.20) en forma de una suma de dos integrales cuyos inter- valos de integracién son [— =, 0] y [0, x]; en la primera integral realicemos el cam- bio de variable u = — ¢ y hagamos uso de que el nucleo de Dirichlet es par: D,(— 4) = D,(u) (véase el lema 3). Como resultado tendremos: So.) = + | oseave + udu = { o,warees udu +2 J exsve + udu = -* 0 . *, => Jouere — tt +i | o,eare + u)du = 7 0 055.3, Integral de Dirichlet. Principio de localizacion 359 >. (OUR +) + S& — Olde. é La formula (55.18) también queda demostrada. C) DEMOSTRACION DEL COROLARIO. Fijemos un numero 5, 0 < 5 < x, y represen- temos el segundo miembro de (55.18) como una suma de dos integrales de la manera 1 ® siguiente: 3 . 1 1 S,065f) =— \ +— j. 7 (55.21) . 7 é 3 1 Por cuanto la funcién —_——— es continua y, por lo tanto, acotada en el segmen- 2 sen. a 2 1 1 fl to [5, x] (a saber, para todo t € [6, x] :0 < ———_ ¢ —-). mientras 2 sen— 2 sen— 2 2 la funcién f(x + t) + f(« — 1), para cualquier x € [— 7, 7] fijo es 2x-periddica segiin t y absolutamente integrable en el segmento [— x, x], entonces en [5, x] sera absolutamente integrable también el producto de dichas funciones t -¢ fa + + fe- 0 Por esta razon, de acuerdo con el teorema de Riemann (véase 2 sen 2 el teorema 2 en el p. 55.2), la segunda integral en el segundo miembro de la igualdad (35.21) tiende hacia cero cuando n — o, es decir, ‘fone a(n; sar = 0, ro = 2 sen. Sustituyendo esta expresion en la formula (55.21), obtendremos la (55.19). 0 De la formula (55.19) se infiere una propiedad importante de las series de Fourier, llamada principio de localizacién. Enunciémoslo en forma de un teorema. Teorema 3 (principio de localizaci6n). Si f es una funcién 2x-periédica absoluta- mente integrable , la existencia y el valor del Ifmite de la sucesién de sus sumas par- ciales de Fourier S,,(x;f) en todo punto xp €[— x, x] depende slo de la existencia y del valor del limite, para n — © de la integral 8 + Jae +1) + fo - Nat, donde 6 es un ntimero positivo tan pequeno como se quiera. Subrayemos que en la expresién subintegral de la integral citada figuran sdlo los valores de la funcién f en el segmento [xy — Xo + 4] y, de este modo, la existen-360 § 55. Series trigonométricas de Fourier cia y el valor del limite de las sumas parciales de la serie de Fourier de la funcion f solo dependen de sus propiedades en el entorno del punto x, 0, como suele decirse, de sus propiedades locales en las cercanias del punto x9. . Del principio de localizacién proviene que si en un entorno, tan pequeno como se quiera, del punto x, las funciones f y g coinciden, entonces los limites lim S(xo; no J) y lim S(&%p; g) existen o no simultaneamente con la particularidad de que si di- chos limites existen, son iguales. Es de interés particular que las series de Fourier de tales funciones son, en el caso general, diferentes, pues en las formul:s para los co- eficientes de Fourier figuran los valores de la funcién en todo el segmento [— 7, ]. 55.4. CONVERGENCIA DE LA SERIE DE FOURIER EN UN PUNTO En este punto se consideraran las funciones 2x-periddicas absolutamente .in- tegrables en un segmento de longitud 2z, las cuales tienen s6lo puntos de disconti- nuidad de primera especie, a consecuencia de lo cual en todo punto x, del eje numé- rico existen limites unilaterales: lim f(%o + h) = f&%q + 0), lim f&% — h) = f& — 0). asd anso Definicion 8 (de Lebesgue *”). Un punto x, se llama punto regular de la funcion f , si ‘K+ 0) + f&x%q — 0) F059) = L049 + Seo ~ 9) 2 Evidentemente, todo punto de continuidad de una funcién es su punto regular. Si xp es un punto de discontinuidad de primera especie, a titulo de sus derivadas unilaterales f/,(x) y f(x) intervendran los limites hy- 0) 10) = in E+ = f+, : Se -h)-fe- 9 F.0) = in . En aquel caso cuando la funcién es continua en el punto x, y, por ende, Se + 0) = fe — 0) = f(x), la definicién enunciada de las derivadas unilaterales coincide con la aducida anteriormente (véase el p. 9.1). Para que la enunciacién del teorema sobre la convergencia de la serie de Fourier sea mas cémoda, introduzcamos una designacién FOF foe + 9+ fe - 0 - fe + - Fo - 0). (55.22) Es obvio que en el punto regular x la funcidn f $(¢) tiene por expresién M0) = for +.) + fe — 0 - Fe). * H. L. Lebesgue (1875—1941), matematico francés.