Introduccin a la teora de series de Fourier

Conferencias explicadas en la Ctedra de la Fundacin

Conde de Cartagena

por

Sixto Ros'*)

[. I N T R O D U C C I N

1. 1. Generalidades.
i. Se llama serie trigonomtrica, una serie de la forma
00

-|-- /1 (am cos m x -\- bm sen m x) [i J

fH = 1

en que los coeficientes am y b, son reales y x es una variable real.

Estas series, cuyo origen ha sido el problema de la representacin analtica de
funciones reales, tienen numerosas aplicaciones en Astronomia, Tcnica, Fsica
matemtica y en Matemtica pura.
Los problemas planteados en el desarrollo de la teora de series trigonom-
tricas han contribuido de modo decisivo al progreso del Anlisis matemtico.
Basta citar como ejemplos el concepto moderno de funcin, las definiciones de
integral a partir de Riemann y la teora de conjuntos de Cantor.
Sustituyendo en [i] sen m x y cos m x por sus valores dados por las frmu-
las de Euler:
i m x ! _ g tmx gimx g ttnx
cos m x = ; sen in x =
2 21

resulta
00

-~ao + ^ \(am-i>meimx + ("m + il>m)e-i"'*)\

ntl

(*) Redactadas cou la colaboracin de M.a E. Ros, j. Bjar y T. Iglesias.

 44

Si ponemos a-m = -}-am y b , bm rsulta

+m

7 a> + -2- tta>- "' <) eimx + (a- -i6_m)e-'""]-- v

/>. cm'im*
tn

en que 2 c, am ibm siendo adems _ OT el conjugado de cm.

Esta es la forma exponencial de las series trigonomtricas, que se utilizan
frecuentemente en la teora de funciones cuasiperidicas que vienen representa-
das por series trigonomtricas ms generales:
-t- ->

2>-x
00

en que los >. son nmeros reales.

1. 2. La cuerda vibrante.
El problema que ha dado origen a la teora de las series trigonomtricas es
el de la cuerda vibrante, resuelto primeramente por D'Alembert.

Fig. i.

Consideremos en un plano cartesiano (*-,y} el segmento o<.r< i,jp = o

y sobre l una cuerda homognea tensa.
Se trata de determinar la funcin elongacin y (x, i) que da la ordenada de
cada punto de la cuerda en el instante , con las condiciones siguientes:
y(o,i)=y(i,t) = o 10
y(x,o)/(x); y't (x,o)g (x) [l
La fsica matemtica ensea que (prescindiendo del rozamiento) esta funcin
satisface a la ecuacin en derivadas parciales de segundo orden siguiente:

&y ^ . <52j^ 3)
d f a" "x"
 45 -

en que a2 es una constante positiva que depende de la cuerda y es igual al

cociente de la tensin por la densidad de la cuerda.
Es inmediato comprobar que son soluciones particulares de-la ecuacin [3]
las llamadas vibraciones propias de la cuerda, cuyas expresiones son:

y (x, ) = sen k - x sen a k z t

y (x, t) = sen k T: x cos a k-z t (k entero) [4]

que verifican las condiciones en los limites:

f (x) -- o, g (.v) = a k - sen k T. x

/(x) = sen &r. x, g (x) o

que se obtienen haciendo t = o en [4] y en su derivada respecto a ,

, \ cos a /f TU
v, vIx;
J ) a A- x sen K - x '.
' ' ' j sen a k r. t

Observa adems Bernoulli que cualquier suma finita o infinita de soluciones

particulares
v (x, 1} - X sen k r x (a k cos a k~ t -j- b k sen a k z f) [5 J

es una solucin que verifica las condiciones en los lmites siguientes:

f (x) = S a/f sen k T: .v g (.v) -~ a - S k b k sen k z x [6]

Es esta solucin la ms general?

Admitido esto, queda implcitamente probado que cualquier funcin f (x), tal
ue /(o) =/(t) o, adoptada como posicin inicial de la cuerda es represen-
ble por una serie de senos y corno la posicin inicial de la cuerda es comple-
tamente arbitraria si la solucin [6] fuese la solucin ms general se tendra la
consecuencia de que toda curva puede ser representada por una serie trigono-
mtrica.
Esta afirmacin de Bernoulli parecia absurda a Euler y sus contemporneos
ya que para ellos existan dos ciases de curvas, geomtricas esto es, reprsent-
tes analticamente, y arbitrarias que no tenan representacin analtica. Por
a
to la afirmacin de Bernoulli venia a destruir esta clasificacin y Euler su-
US
P O, para evitar sto, que la solucin [6] no era la ms general.
La misma cuestin de la representacin de funciones arbitrarias mediante
nes
trigonomtricas se le present ms tarde a Fourier al tratar un problema
e
Distribucin del calor en una placa.
 _ 46 -

He aqu el problema: Consideremos una placa plana, homognea e istropa

7C
indefinida como indica la figura. Las dos semirrectas r > o , x= + son
2
mantenidas a o y el segmento

(-T. + T)
lo est a unas ciertas temperaturas constantes dadas. Se trata de ver la distri-
i

_7l

bucin de temperaturas en la placa, una vez logrado el equilibrio trmico,

Fourier obtiene la ecuacin en derivadas parciales:
T , (5 2 T
X-z +-*-*
d y* =

y da como solucin
T = 'Lape (if i)j> eos ( z f i)*-

y si sta es la solucin general, haciendo y = o se podr representar mediante

esta frmula una funcin arbitraria.
Para el caso ms sencillo de T = c t <?, Fourier obtiene la serie
i , i
cos x cos 3 .v H cos x

para la cual demuestra que para valores de x comprendidos entre

/ t ic\ - * 3 TCj X
suma ypara suma
(~T'T/ T T < *<'T 4
 47

Y con este ejemplo echa por tierra las ideas de Euler sobre las curvas geom-
tricas y arbitrarias, ya que con una misma expresin analtica se representan
varias porciones de curvas geomtricas distintas (*).

Fg. 3-

Fourier se plante entonces la cuestin de la determinacin para cada fun-

cin f ( x ) de su correspondiente desarrollo trigonomtrico. He aqu un primer
resultado relativo a .este problema.
TEOREMA.Si la serie

----- af -(- Z (j cos n .r -{- /; sen n .v)

converge uniformemente en (O, 2 -'), y es f (x) su suma xe tiene

a = ~- I f (x) cos n.\- dx, />=- I f (x) senti .v d x [7]

ii D

Podemos multiplicar todos los trminos de la srie por cos w x (n entero y

Positivo) e integrar trmino a trmino.
Los trminos que resultan son integrales de los tres tipos siguientes
- r.

I cos .v cos i .\' d x = / [cos (m -j- n) x -j- cos (m ;/) x\ d x = o

u u

/ cos w .r sen m .v d x = o [SJ

o
o

cos2 n .vd*-:----
, T.

(*) De este modo, Fourier puso fin a la famossima discusin entre D'Alernbert, Euler,
Bernoulli y Lagrange, presentando en 1807 su Memoria, que, segn se dice, dej asombrado
a
-agrange.
de donde resulta
r. -~
am = / f (x) cos m x d x y anlogamente bm = / f (x) sen m x d x

que son las llamadas frmulas de Ruler-Fourier.

1. 3. Problemas principales.
La hiptesis de la convergencia uniforme nos conduce a la continuidad de
la- funcin f (x). Si f (x) no es continua, este proceso nos sugiere otro punto
de vista.
Dada una funcin cualquiera f (x) definida en el intervalo (o, 2 z) tal que
/ (x) cos n .r, / (x) sen u x sean integrables en dicho intervalo formemos me-
diante las frmulas [i] las constantes a, b llamadas constantes de Fourier
de f (x) y escribamos
co
/ (x) ~ a0 -f- /: (a cos n x -j- bn sen n x)

en que el signo ~ no es de igualdad, sino solamente expresa que el segundo

miembro es la serie de Fourier de la funcin f ( x ) .
Se plantean entonces los siguientes problemas, alrededor de las cuales se
agrupa toda la teora.
i. Obtenido el desarrollo en serie de Fourier de una funcin f ( x ) cuando
es convergente dicho desarrollo Converger siempre hacia /(#)?
2. Unicidad del desarrollo en serie de Fourier de una funcin.
3. Convergencia y suma de una serie trigonomtrica de la que no se sepa
que es una serie de Fourier.
Naturalmente segn el concepto de integral que utilicemos en el estudio de
estas series obtendremos resultados diferentes.
En la primera parte de esta exposicin nos limitamos a considerar funciones
parcialmente continuas (continuas salvo en puntos aislados en nmero finito,
en los cuales tiene discontinuidades de primera especie, con salto finito) y uti-
lizaremos el concepto de integral de Cauchy, generalizada con el paso al lmite
clsico en los puntos de discontinuidad. En la segunda parte de esta exposicin
hacemos el estudio utilizando la integral de Lebesgue (*).

(*) La utilizacin de la integral de Riemann da lugar a complicaciones no proporcio-

nadas a la generalidad de los resultados obtenidos. Una exposicin excelente de la teors
de series de Fourier con este concepto de integral puede verse en Rogosinski, Fouricrscke
Intgrale,
 49

1. 4. Ejemplos de series de senos.

Si la funcin f (.r) es impar la srie de Fourier correspondiente es una serie
de senos. Para elio basta ver que los coeficientes an son todos nulos.
Por ser f ( x ) impar se verifica f( x) f(x), luego
3 r. O ic
1
/ f (x) cos n x d x I/ (x) cos n x d x = i f (x) cos n x d x -f- t f (x) cos x d x =
i) r ic o
O ic T 1C

= / /( v) cos v d y -f- / /~(.r) cos A- r/.j: / f (y) oos jy d y -j- / /"(*) cos n x d x = o
TC O 0 0

Del mismo modo se ve que los coeficientes bn se pueden escribir en la forma

siguiente:
X

J f (x) sen n x d x
o
EJEMPLOS:
i. Desarrollar en srie de Fourier la funcin peridica tal que y = (n x) en
el intervalo [o,2 T.]
It

2 r i
a. = o b,
- T j T f r ^,-)senj?3?jr=

luego
i sen 2 x sen 3 AT
(a) ( * * ) ~ sen x -\ h h

obter:'emos por tanto una serie de senos ya estudiada y sumada por Bernoulli. Ms ade-
lanti
*[uc examinaremos para este y para los ejemplos siguientes la convergencia de la serie de
Fo ur'er obtenida.
^Ev- DE LA RE\L ACADEMIA DE CIENCIAS.1!H7.
 5

2. Desarrollar en serie de Fourier la funcin

y para o - x < i:, v = para -x.<^x <^2-

4 " 4

2 i' r.
='o, b. = I sen .v a x =
- J 4

luego
T. sen 3 .r , sen s .r
T~en* + 3+ +

en el intervalo (o, -), y en el intervalo (r, 2 i:)

r. sen 3 x, . . sen 5 .v .
sen .r -^ f- -f
4 3 5

?n !77 U/,

F'g- S-

3- Desarrollar en serie de senos la funcin

jV = x para o 5, x < , v = - .\- para < x <, r..

Fig. 6.
 S'

Los coeficientes de Fourier son:

-- y J x sen n x d x - ( - l (r .r) sen n x d x = 4 x

r- sen n
TC 2 2

y por tanto para el intervalo o < r < se tiene:

4 , sen 'i, x sen S x

x ^
~
( S en v
v
-t2
U - -> 5
'

y para el
2
4 , ^en 3 .r
- (sen .\- ~ \-
5"

! 5. Ejemplos de series de cosenos.

Al desarrollar una funcin par en serie de Fourier se obtiene una serie de
cosenos ya que los coeficientes b son nulos. La demostracin es anloga a Ia
dada anteriormente para Ias funciones impares.
Los coeficientes de Ia serie de Fourier sern por tanto:

: O O ~-
1
/ f .r) cos x d x
(
./

EJEMPLOS:

- Desarrollar eu serie de cosenos la funcin

r
,_ t - TC
jy -- par i o-s .r ^ . v = para < .r < ir
4 2 " 4 2

azr

Fig- 7.
 52

Tenemos en efecto:

i ir
t = o. 0 = o, a = < I cos n x d x -j- / ( -I cos n x d x sen.
n \J 4 J \ 4 / n 2

para > o. Por esto si o < < se tiene

r. cos T,: x cos 5 x

~ cos x H
4 3 ^ 5

y para < x <, - el desarrollo es el siguiente:

2

r cos 3 .v cos 5 *
~ cos x
4 3 5

2." Desarrollo de la funcin y = ( .v) en el intervalo (o, r.).

2 \ 2 /
Tenemos: b = o fl0 = o y para ;/ > o

tf = / I-11 -v) cos nxdx (i ( O")

- ./ 2 \ 2 / r n*

Fig. 8.

por tanto Ia serie buscada ser

i / -K \ 2 . cos T, x , cos 5_r

7(7-*)~7 ( c o s x '+ -ir- + __ 3 + )

1. 6. Ejemplos de series completas.

i. Desarrollo en serie de Fourier de la funcin y x en el intervalo (o, 2 '
 ^^ F -l
OJ

Los coeficientes sern:

<J0 = / .v d x = 2 z a / x cos tt x x = o
KJ ' J

b, = / .r sen u x d x =
' = -?*
* ./

Luego el desarrollo en srie de Fourier de la funcin dada es:

sen 2 * sen 3 *
.r - T. 2 (sen * -\ 1 ^ \- )

tm *

Fig. 9.

2. Desarrollo en serie de Fourier de la funcin y = o en el intervalo

TC,o) e _7 = A- en (o, :c).

-ir in 3/r

Fig. io.
 .54

1t
Los coeficientes son 0 = y para n > r
2

i /
a = l a; cos n x d x =
. ( i)"^-r2 i
(-)"-' ,
_
b
i r
i lf....
= JL- sen r av*=
_ , (-D-+1
TC J TC c ./
0

y por lo tanto para T < ;r < o la serie de Fourier de la funcin dada es la

siguiente
o ^ ir .L (. 2 .
cos ^- _L sen x)
sen i x L I l 2
cos 7 A- J seu: -5 x 1 \
4 ic 2 \ 'le 3 a ' ) : '3'" ' /

y para o < JT <| 7t ser:

ic . . 2 sen 2 ^ / 2 sen 3 x \
x ~ f- ( cos ;r -f- sen a:) \- I cos x -\ J

OBSERVACIN.Si la funcin f (x) est definida en el intervalo ( /, -j- /)

podemos obtener su desarrollo de Fourier en este intervalo mediante la serie

f (x) ~ Z \a cos n ic -- + bn sen n T. -^-j [r]

siendo
/ / /
a n = j-
i c
lf(x)dx,
i r
a = i f(x) cos TC dx.
x \ r
bn = -j- f (x) sen n'ic-r-d x
x
i t t

pues haciendo el cambio de variable

e- ** *-
x *
*-~ " ~~^
queda
/(*)=/.(4r) = F <>

al variar *- en ( /, -(- /) varia en el ( ic, -f- x) y hallando el desarrollo de

Fourier de F () y deshaciendo el cambio de variable anterior obtendramos el
desarrollo [i].
Cuando f (x) se da definida en el intervalo (o, /) aplicando el procedimiento
anterior se puede hallar el desarrollo de Fourier en (o, /) mediante el de un
funcin par o impar que coincida con f ( x ) en este intervalo

1. 7. Bibliografa.,
Como indica su ttulo, esta exposicin no pretende ms que ser introduccin
al estudio de obras ms completas. De la parte elemental contiene un dsarroi!0
 55

sumamente claro la obra de Carslaw, Fourier's series and integrals (London,

1930). Como obras de tipo enciclopdico sealaremos las de Tonelli y Hobson
(Theory of functions of a real variable, Cambridge, 1926) y de carcter ms
sistemtico las obras modernas de Zygmund (Trigonometrical Seres, Varsvia,
1935) Y Kazcmarz y Steinhaus (Ortogonalreihen, Varsvia, 1935), sumamente
bellas y completas ambas. Citemos tambin los libros de Lebesgue, Hardy-
Rogosinski, Schlessinger y Plessner, Sansone, etc.

II.SUMACON DE SERIES TRIGONOMTRICAS

2. 1. Mtodo de Euler-Lagrange.
Dada una serie trigonomtrica es un problema difcil saber si es convergente
y an ms calcular su suma. Tienen inters ciertos.artificios que permiten lo-
grar fcilmente sto en algunos casos.
Vamos a sumar la serie trigonomtrica,
eos 3 x , eos 5 .v ,.
eos .v 1 {ij

con la cual Fourier hizo ver que la clasificacin de las curvas en geomtricas y
arbitrarias carecia de fundamento. Se observa que la serie [i] es la parte real de
la serie potencial
Z5
7 4-
+ l2l
l
3 T~
para Z e".
La derivada de la serie [2] es la serie
i-?>+/<-- [3l

cuya suma es: ^TT^a

Por tanto la [2] tiene como suma
x
T <*-
J ^r = a r e t t ; /

e
n el crculo |Z|<j, o mejor dicho, como esta funcin es multiforme aquella
de sus determinaciones que es o para Z = o.
Esta funcin puede ponerse en.la forma siguiente:

/ :
arc lg Z = /
i ' d t,"- -f- i // d^- -.-..
-^- \
t log
i 4- Z
./ l -)- 2 J l -f- t ' 2 J l 2
I)

log
.-z. ^v'M-SD+'" I
c
orno ha de ser la rama que es nula para Z = o se ha de tomar k = o.
 - S* -

Haciendo ahora la sustitucin antes indicada Z == <<"'*, en virtud de! teorema

de Abel (*) el valor que se obtiene es la suma de la serie potencial supuesta
convergente en dicho punto. Se puede demostrar fcilmente que la serie [2] es
convergente en todos los puntos de la circunferencia de convergencia salvo en
los puntos
.37C

z= e 2 = 2 , Z = '

Hagamos la sustitucin indicada:

i ~|- j Z i sen x -f- cos x (i + sen x -f- i cos x) (i sen x -f- / cos x] . cos x
iz Z i -f~ sen 3: i cos x (i -f- sen .r -(-z'cos ar) ( i -{-sen x - z'cos x) i-j-sen .r

luego
1 / I - M 2 \ I <
arg I 1 = are
2 b
\ I Z / 2 -f-
I -f sen x
T
-j si cos x > o, es decir .<* ^ x
< *<
4 2 2
ya que -)- sen x > o
si cosar<Co, es decir <^ x 'f
4 2 - 2

Luego
_ .1 < r<
<T
cos 3 .* 2 - 2
cos a: f-
t . it . . 3'
KI
-7 T< r < -

Resumiendo, el mtodo consta de las siguientes partes:

i. Determinacin de la serie potencial cuya parte real (o imaginaria) coin-
cide sobre la circunferencia de radio i con la serie trigonomtrica dada.
2. Sumacin de la serie potencial, 3. Determinar en qu puntos de la cir-
cunferencia JZ| = i , es convergente la serie de potencias (claro est, en el caso
de ser el radio de convergencia i, el problema es en general difcil), (**) 4. Deter-
minar la parte real (o la parte imaginaria) de la suma de la serie potencial en los
puntos considerados.
YA mtodo tiene principalmente un valor euristico pues nos hace llegar r-
pidamente a la funcin /(#) que debe estar representada por la serie dada y
despus se puede comprobar mediante el clculo que los coeficientes de la serie
de Fourier de la funcin obtenida son los dados.

(*) Si la serie / (z) = X an z^ es convergente en un punto ro de la circunferencia <1

convergencia, se verifica S on r"o = lim / (~) cuando z tiende hacia s por el radio.
(**) Un teorema de Fatou es muy til para la demostracin de la convergencia, a W"
ber : Si / (z) = S "n'2*1 es convergente para | z \ <^ 1 y an ^ O, la serie de potencias es
convergente en todos los puntos regulares de / () situados en la circunferencia \s\ = 1-
 57

Hay que tener precaucin en la aplicacin del mtodo, pues prescindiendo

de la convergencia, Lagrange lleg a la igualdad errnea:

(- COS X -f- COS 2 .V -f-

con el siguiente razonamiento: La serie anterior es la parte real de la serie de

potencias
z
4+z f z 2 + . . . . = JL +
2 ' I Z

y como es:

'(T + T^-)"
resulta la afirmacin de Lagrange.
Sumada una serie trigonomtrica mediante integraciones o derivaciones su-
cesivas se pueden deducir de ella otras series y tambin sus sumas. Este proce-
dimiento fue practicado por Fourier pero necesita una larga justificacin.

lli. CK1TEK1OS DE CONVERGENCIA

3- 1. Criterios de convergencia.
Vamos a dar algunas sencillas condiciones suficientes de convergencia que
son de utilidad en la prctica.
La serie

- (eos .v -(- sen .v) -j (eos -2 x -|- sen 2 x) -)-

e
s convergente cualquiera que sea _r real, ya que tiene como mayorante

_L ( [ + I ) + 1 L ( | + I) +

La serie i -j- cos x -f- cos 2 .r -j- -f~ cos /e .r -j- no es convergen-
te pues es la parte real de i -f- c'* -f- e''1" -f- -f- e1'* -f- es decir su
suma sima si .r no es congruente con o (md. 2 ~) tiene como valor:

_ 1i ;z= j^ iI i cos n x /' sen .v 1i -_

_K lf i ""
| i e'* J l i cos x sen .r J
i - cos .v cos n x -}- sen .v sen w .v -f- cos .v cos x i cos x cos n x -f- cos ( i ) x
2 2 COS .V 2 (l COS .v)

2 I A"
i cos .v + 2 sen .v sen -
2 2
2 (I COS X)
 - 58

que carece de lmite cuando n co . Para los valores x ^= o (md. 2 T:) Ia se-
rie se reduce a i-|-i + I + luego es divergente para todo valor de x,
Anlogamente se v que Ia serie sen x ~\- sen 2 x -\- es convergente
para todos los valores x^^o (md. /it) y no para los dems.
Desde luego la codicin a > o, b-o es necesaria para la convergencia
de una serie trigonomtrica en un intervalo por pequeo que sea en virtud de
un teorema de Cantor (1870); pero esta condicin no es suficiente como ha de-
mostrado Steinhaus (C. R. Varsvia, 1912).
Una condicin suficiente inmediata es suponer la convergencia absoluta de
S a y 11Z>. Con esta hiptesis se puede afirmar la convergencia absoluta y
uniforme en todo intervalo de la serie trigonomtrica, en virtud de la acotacin:

[ an cos n x -\- bn sen n x \ < | a* \ -f- |. bn \

Tal condicin se aplica p. e. a la serie

sen x sen 3 x sen 5 x

i* ~~7~+ ~T2
pero como es demasiado restrictiva vamos a dar otros criterios ms amplios.
Comencemos probando la convergencia de la serie de cosenos:

-J- a cos x + a2 cos z x -)-' + an cos n x -\-

Fig. i t .

en un punto x = 6 (o <[ 0 <C 2 it), suponiendo que a^ > a a >an >

y que ax >o.
 - 59

'Tomemos sobre el eje O u el segmento O A = 2- y tracemos la semirrec-

ta A,, i tal que ul At-n = 6 y determinemos el punto A 2 , tal que A A 3 a^
por A 2 tracemos A 2 u^ t a l q u e u<> A 2 u^ = 6 y tomemos A 2 A 3 = ' 2 , etc. La
abscisa del punto A + i obtenido mediante este proceso, tiene como expresin

- -f- .^i eos O -f- a j cos 2 t -}~ -\- a cos 6

Consideremos los crculos C 1( C 2 , C s , , determinados del siguiente

modo: el (^ por los puntos A , , su simtrico A 0 respecto a O y por A' situa-
do sobre , y tal que A L A'. = a0; C2 es tangente a Ct en A, y pasa por A 2
C3 es tangente a C2 en A., y pasa por A 3 , etc. El radio de C es
a-^i
O
2 sen
2

ya que la cuerda A_i A = a^l corresponde al ngulo central 9 como fcil-

mente se ve en la figura.
Si suponemos que, a > o y que o < O < 2 u resulta que r -> o y adems
suponemos que a ^ a.2> > a est cada crculo contenido en el
anterior y, por tanto, las "coordenadas de un pulito perteneciente a C tienen
lmites, es decir, bajo estas hiptesis es convergente la serie [ i ] , ya que es el
lmite de la abscisa de A_J..I cuando n >'oo .
Veamos ahora la convergencia uniforme. El valor absoluto del resto de
dicha serie:
R = a 4-1 cos (n -f i ) x -j- a-\- - cos (n -f- z) r -%-

es menor que el dimetro de dicho circulo C ya que tanto la suma de la serie

como la suma de los n -j- i primeros trminos, son las abscisas de puntos
pertenecientes a C es decir

R " < -^
sen

Ahora bien, si consideramos un intervalo (a, ) parcial de (o, 2 x) esto es,,

.r
que en todos los puntos del mismo es sen > X >- o podemos asegurar que
2
e
l resto de la serie es | R (.v) | << " es decir, tiende a cero independiente-
A.

niente del valor de .v con. tal que o.<C < ^ < < 2 ; r.
leemos, pues, probada Ax convergencia uniforme de la serie\\\ bajo la hi-
ptesis de que sea a n montona decreciente y tienda a cero.
Volvamos a la convergencia ordinaria. Si en la demostracin de que las
 6o

sumas parciales de [i] para que un cierto valor de x = 9 tienen un punto lmite,
prescindimos de que la sucesin a sea montona, ya no est cada crculo
contenido en el anterior, pero si en sustitucin de dicha hiptesis suponemos
que la serie
00

J I a a_1 |
l

es convergente, se puede probar tambin la convergencia de la serie de cosenos

para el valor 6 fijado.
En efecto, como los crculos C-i y C son tangentes interiores, la distan-
cia de los centros es igual a la diferencia de los radios:

O^.O^ I r^-rn | = i^-J--^

2 sen
2
Si la serie
A
Z^ I -i I
i

es convergente, la sucesin de centros tiene un punto lmite, ya que

oo = oo, -f o7ba + 4- oIt o

luego

lim | 00. | < | 00, |+ T I-.--.!

r
n> 00 ' . U
l 2 sen
2

Como el radio de C tiende a cero, resulta que todo punto de C tiene l-

mite, y en particular, la sucesin de puntos A tiene lmite y, por tanto es con-
vergente la serie [ ) ] bajo las hiptesis de que a n > o y que sea convergente la
oo
^-1
2 I a a_} \

La convergencia uniforme en todo intervalo interior al (0,2 ic) resulta como

en el caso anterior.
Anlogamente se demuestra la convergencia de la serie [i] excluyendo un
entorno de x = x bajo la hiptesis de la convergencia de la serie
UM

2" | +*-!
 6i

Igualmente resultan los criterios para series de senos y de unos y otros los cri-
terios para series trigonomtricas generales.

IV.SISTEMAS ORTOGONALES

4. 1. Definiciones.
La teora de series ortogonales, que puede considerarse como una generali-
zacin de la de series trigonomtricas, tiene su origen en los trabajos sobre
series de polinomios de Legendre, Bessel, etc., en los de Hubert, Fredholm,
etc. sobre ecuaciones integrales y tambin en los de los estadsticos (Gram,
Thiele, etc.) relativos al problema de la representacin de una funcin arbitraria
por una combinacin lineal de otras funciones de un sistema fijo.
Fijados-tres vectores ortogonales-fundamentales t , z , 3 . todo vector del
espacio R;i se representa como combinacin lineal de aquellos:
X = : !/t X -j- t X -j- :j X

Los nmeros xi r a , x3 miden las proyecciones del vector X sobre los vectores
fundamentales y pueden tambin considerarse como coordenadas cartesianas
del extremo del vector.

.,

Fig. 12.

Se define segn sabemos el producto escalar de dos vectores X, Y por la

relacin (X, Y) ^x^y^ -f- xy -\~ x3y3 y como caso particular el mdulo del

vector es |X| = ( X , X ) * .
i _
Como el producto escalar es tambin: (X, Y) = | X | * | Y j 3 eos fl siendo fi el
ngulo de los vectores resulta:
c o sn < X ' Y> '
" ,-
[=1
(X, X)V (Y, Y) 3
 62

El problema de'ta representacin analtica de funciones arbitrarias (del que

es caso particular la representacin por series trigonomtricas de Fourier) es
una generalizacin del anterior.
Se trata aqu de representar una funcin dada como combinacin lineal de
otras de un sistema fijo. Nos limitaremos por ahora a considerar como dijimos
anteriormente/M;/<7?.y llamadas parcialmente continuas. Si f ( x ) y g(x) son dos
funciones parcialmente continuas definidas en el intervalo (a, ), por analoga
con los vectores en R 3) llamaremos producto escalar dlas funciones o vectores
funcionales f^ g a la expresin:
b

lf,g) = ff(xig(*)x [3l

Anlogamente al mdulo de un vector en R. definiremos la norma de un vec-

tor funcional:

= /( )2 2 > 1
w
11/11 = (/,/ [/ * H
y el coseno del ngulo de los dos vectores viene dado por la expresin:

(/
eos O = - r)
15)
(f,fr(g,s)
que es tambin < i (*) anlogamente a los vectores del espacio R 8 .
Si es eos O = o las funciones se llaman ortogonales. Entonces se verifica
f/,^) = o.
i_
Una funcin <o tal que (<p, tp) 2 = i se llama una direccin.

(*) Esto es una consecuencia de la desigualdad de Schwarz

(/, S-)2 <(/,/) (g,g) (/,tf)^ U / H ||*-|| ,, | ( f , g ) \ <l|/ II \\g II
En efecto, siendo A una constante cualquiera positiva, tenemos
* /> h b
o<\(f-\-\sydx= (fZdx- + 2\ (fgdx + K r- 2 rf* = A + 2XB + X 2 C
" a a a
:
y como el segundo miembro de la igualdad es--una' expresin cuadrtica en A, para que sea
constantemente positiva habr de ser su discriminante B3. A C <, O, , es ..decir,
O D t)

\jfgdx^<^jf*dxjg*dx
 _ 63 -

Si en el intervalo (o, 2 it) consideramos la funciones:

i cos x sen x cos n x sen n x
[6J
l/TT'l/T'l/T' ~~/7~'~7^'
las frmulas i. 2 [8] prueban que estos vectores son direcciones ortogonales, es
decir, forman un sistema de ejes rectangulares en el espacio funcional consi-
derado prosiguiendo la analoga con la Geometra analtica llamaremos a (/,. cp) cp
proyeccin de f sobre la direccin cp y as las frmulas de Euler ( 1 . 2 ) que
ahora se escriben:
/ i \ an 1,- I cosnx\ ,- / sena-\ ,
/-7=- = 2 V : . /. --^ = a * V r c , /. =nVir
\ j/21: / \ yr / \ yK /

expresan que los coeficientes del desarrollo en serie de Fourier (supuesto exis-
tente) de la funcin / son las proyecciones ortogonales de / sobre el sistema
de ejes o direcciones [6]. As podemos decir que el estudio de las series de Fou-
rier es el de un espacio funcional en que se ha introducido un sistema de ejes
cartesianos rectangulares.

4. 2. Series ortogonales.
I'or generalizacin natural de las series trigonomtricas se pasa a las
series ortogonales. Una sucesin de f u n c i o n e s p a r c i a l m e n t e continuas
'ri (-i'), '._, (.r), , cp(-t), definidas en el intervalo (, b) y tales que

'(, o) o. Si n 4= m
l ]
i \
(<& , <5) = / , >-,
O '

se llama un sistema ortogonal (*): Si adems es ^ = i el sistema se dice orto-

normal.
Si el sistema j tp ! es ortogonal, evidentemente el de las

^i
IX.T
es
ortonormal.
Sea f , , cp,, , <p un sistema ortogonal y supongamos que es po-
sible desarrollar una funcin parcialmente continua en serie uniformemente con-
vergente
f(x) = C() <p0 -f Cj , -f- -f C tp -f-

(*.) A veces ,-c consideran sistemas ortogonales formados por conjuntos no numera
''C de funciones.
 64 -

Si multiplicamos los dos miembros por cp e integramos tendremos en virtud

de[i]
A

C = ~ f/> dX = ~ (/, 9) [2
' J /.

que es la generalizacin de las frmulas de Euler ( 1 . 2 ) . .

Si el sistema j tp | es ortonormal, la frmula [2] se reduce a [3] C = (/, y,),
es decir, los coeficientes C son las proyecciones de / sobre el sistema de di-
recciones | <p j .

4. 3. Dependencia lineal.
Las funciones de un sistema ortogonal son linealmente independientes, es
decir, que si se verifica
i <Pi (*) -f <* t (*) + + a <p (.r) = o
se tendr:
j = CE2 = = O, = O

Basta multiplicar por <o e integrar, con lo que resulta a x = o. Anlogamente

se obtiene aa = 3 = = a = o.
Ms interesante es una propiedad que viene a ser en cierto modo recproca.
De una sucesin infinita de funciones v t , v 2 , v, tales que r cual-
quiera de ellas son linealmente independientes, se puede obtener mediante combina-
ciones lineales un sistema tp j , cp2, , cp, ortonormal.
Si en el espacio ordinario nos dan dos vectores que designamos con las

Fig- 13-

mismas letras que las funciones t\, v2 para construir otros dos combinacin
lineal de aquellos y ortonormales se procede del siguiente modo: i. normaliza-
mos j con lo que obtenemos
"\
n - L
(i,i)
 - 65 -

2. Restamos a v., su proyeccin sobre vt con lo que obtenemos:

?a* = "2 CPi-^a)'-?!

3. Normalizamos * con lo que resulta:

fe*. ?2*)- J

Supuestos obtenidos estos vectores orto normales <p t , -f2 si tuviramos un

tercer vector v.A que no fuera combinacin lineal de aquellos, para construir
un vector combinacin lineal de los tres y que sea ortonormal a los cp t , cp, pro-
cederemos del siguiente modo: i. restamos a vs su proyeccin sobre el plano
determinado por tpn <p, con lo que obtenemos:

<?3* = 3 ('?! 3> l (?2 ' ^3) <Pa

el cual no es nulo porque v.A no es combinacin lineal de cp lt 'f2. 2. normali-

zamos cp* con lo que obtenemos:

-3 - - - ^
(?3*.?3*) 2

Fig. 14.

Si en vez de tratarse de vectores se trata de funciones, las frmulas anterio-

rs son completamente vlidas y en general se obtiene:

<* = 0 (c?l i VH)'?I (?2- *)?S (?-!. VK) 'f"-l

1>*. ?-') '-'

-Ey. DE LA REAL ACADEMIA DE CIENCIAS.l'.UT.

 66

Si prescindimos de la condicin de independencia lineal y, p. e., el vector z>.

depende Hnealmente de los ' ' l 5 A 2 , , z/B, tambin depender linealmente
de-los <PI, '-a <? i y ser es* = o ya que para obtener este restamos a VK.
su componente segn el sistema /j, cp 2 , , cp A _i.
Vemos, pues, que este mtodo, debido a E. Schmidt, permite al mismo tiem-
po descubrir si hav vectores que dependen linealmente de los anteriores.

4. 4. Sistemas ortogonales particulares.

El mtodo de E. Schmidt, que se utiliza en la teora de ecuaciones integrales,,
permite engendrar de un modo uniforme diversos tipos de sistemas ortogonales.
Si se aplica dicho mtodo a l a s potencias J , J T , ^ 2 , en el intervalo
( i, i) se obtienen, salvo factores constantes, los llamados polinomios de
L egendre:
P0 ( * ) = ; , P, (.r) = .v, P2 (.r) =-- -1 x"- _ ~ , P3 (x) = -i *s - -2- a-, P4 (.r) =

35 X" - *+*-
1
P,(*) = " 3 (2
" - ' ) U - *i-'Lg.- +
>l
|
4 1 - 3 \ 2 ( 2 i) ]

Demuestre el lector como ejercicio, el siguiente teorema de Rodrigues

T /y
P (.r)
2" ! d X'

Si / (JT) es una funcin no negativa en (a ) y se aplica el proceso de orto-

gonalizacin al sistema linealmente independiente:

V p (x) , x VfW, -* Vp(x)

resultan diversos sistemas ortogonales:

Acabamos de ver que si a j , b = i, p (x) = i se obtienen los polino-
mios de Legendre.
.Si
a
= 'i > i, p (x)
\/ 1 .*'-

se obtienen los polinomios de Tchebyschef

T,, (,r) . - - eos ( are eos x)

introducidos para la resolucin del problema siguiente. Entre todos los polino-
mios de grado </ cuyo coeficiente del trmino de mayor grado es i, determinar
aquel tal que
Max | ,v" + a!.*"- -f- . 4- j | = Mnimo
1 ^ Y^ 1
 - 67 -

Si
a = o, =i, p(x) = x(i x)f~9 (p g> , f > t)

resultan los polinomios hipergeome'tricos de Jacob

-V-1 < ? T v:\4~P dn
G (p,q, x) = - , x > 2 to + -i (i *)/ + -]
l J
tfte+l) (?+!) *"

Analogamente.se obtienen los polinomios de Hermite, Laguerre, etc.

V.PROPIEDADES DE LOS SISTEMAS ORTOGONALES

5. 1. Desigualdad de Bessel.
Sea jtpJ un sistema ortonormal en (a, ), / una funcin parcialmente conti-
nua en (<2, ) y cv = f/tp v ) los coeficiente de Fourier de / respecto a j<p j
Evidentemente se tiene

J[/-\(?v ] 2 * > o
v= l

ya que el integrando es un cuadrado y por tanto es positivo

Desarrollando este cuadrado resulta:

o;?J/rf*-2y v r/cpv rf*+J>V= U / H * -2J^ V 2+^ V 2= ll/ll*-^^ 1 -

o V= l a v=1 V=l V =l V= l

de donde se deduce que

n
^v< l i / I l *
v= l

y como esto vale cualquiera que sea n, ser tambin

y,cv*<\\f\\*
00

v= 1

^ue es la llamada, desigualdad de Bessel.

De aqu se deduce que la serie de trminos positivos

z
oo
 68

es convergente, y por tanto c2 > o; luego tambin c., > o, es decir

->
2r ~

l f (x) sen n x d x --> o, I /"(*) cos n x d x-* o

o o

Ests relaciones son caso particular del llamado teorema de Riemann-Lebes-

gue que ms adelante demostraremos en general.

5. 2. Propiedad de mnimo de las sumas parciales.

Si
n
S (X> = ^ :?.,
l

j la suma parcial ii-sima del desarrollo de Fourier de la funcin f (x) segn el

sistema ortonotmal jcp n j y
n
T, (x) = ^T 7v -sv .
i

^ or combinacin lineal de las funciones cpv ^ verifica:

fc-S^'.fa-ZT.*?'.
a ' i

Es decir las sumas de Fourier dan en este sentido la aproximacin ptima.

En efecto se tiene:
* * 6 b

N = (/-'l'm(x)Y'ix= lf*x+ Tm?<X-2 j/Tmx= f/z<x +

a ti it a

+ ^ Tv'-2 ^Tv'v
l l

Y restando el valor de
b
* H

f (f - J/v ?v J' dx=l/*ds- c,, *

l
a ,; '

queda:

V - 2 v S -f 2 V - (,v - Tv)*

l i l i
 - 6g -

Por tanto el valor de N es mnimo cuando cv = f v como se quera demos-

trar.
Esta propiedad del mnimo error cuadrtico de las sucesiones parciales de
un desarrollo ortonormal tiene gran importancia prctica y puede tomarse
como definicin y a partir de ella obtener las mismas expresiones ya encontra-
das para los coeficientes de Fourier.
Dado el sistema ortonormal StpJ y la funcin parcialmente continua f ir)
diremos que
n
S = > f v av
v= l

es una suma parcial n-sima de Fourier de f ( x ) si la

I (f-$n)*dx

es mnima.
El mnimo de la funcin

Ki.T ,7) = /[/-S] 2 ^

se obtiene, si existe, derivando bajo el signo integral e igualando a cero las

derivadas

t
ai / [/ S] <v dx = o. : Tv = //'fv dx = (ffv
TV

que son las expresiones de Euler ya obtenidas.

Que estos valores corresponden a un mnimo, lo hemos demostrado ante-
riormente.

> 3. Convergencia en media. Sistemas cerrados.

Se dice que la sucesin

S (.*) = JV Cv <sv (.r)

v= l
 70

converge en media hacia la funcin / (x) en el intervalo (a, b) si se verifica que

r
lim / (/(*)- y^^dx--= o (*) [i]
n > QO J ^7^
x
d

Si cada funcin f (x) de un cierto conjunto R es aproximable en media por

una sucesin de sumas
K

S (x) = ~S^ Cv cpv (x),

v= 1

el sistema ortonormal Sep j se llama cerrado respecto de las funciones del con-
junto R.
Limitndonos al caso de sistemas cerrados respecto de las funciones parcial-
mente continuas hemos visto al establecer la desigualdad de Bessel que se ve-
rifica que:
* *
f [/(*) - y, 'v 9vP dx = f/(*)rf-cS
-- V
a l a

y como por definicin es:

Hm / I f (x) 'S?1 fv\ dx = o

-oo ' L ^r J
a 1

ser tambin
*
fft(x)dx-2?cv* =o
a 1

y por tanto:
b
00
V~I
\\f\\*= f/*(x)dX: c*
i
I

Esta es la llamada relacin de Parseval la cual expresa la condicin necesa-

ria y suficiente para que la funcin f ( x ) parcialmente continua sea aproxima-
ble en media por una sucesin S (x).
Geomtricamente expresa esta relacin que en los sistemas cerrados vale
una propiedad anloga a la de que el cuadrado del mdulo de un vector en Rj
es la suma de los cuadrados de sus componentes

(*) Obsrvese que la convergencia en media no implica la conve gencia uniforme de

/n (*)> en ("' *) Por ejemplo, la funcin /n (x) = x* converge en media hacia cero en el
intervalo (O, 1), pero no converge uniformemente.
 yi

Esta relacin de Parseval nos plantea el siguiente importante problema. Dado

un sistema ortonormal cerrado jcpj respecto a las funciones parcialmente con-
tinuas y dada una serie

%<f
X

convergente, existir una funcin f (x} parcialmente continua tal que las cv sean
sus constantes de Fourier respecto del sistema ortonormal cerrado j < p * j ? La con-
testacin es negativa y la determinacin de la clase de funciones para la cual el
problema tiene solucin afirmativa requiere el empleo de la integral de Lebesgue
como veremos ms adelante (*).

5. 4. Relacin de Parseval general.

Sea
/ - X Cv tfv , f S dv !6V

Si en la relacin 5. 3 [2] sustitumos/ por/-)-^ resulta

//(f+g-)2x= y (c.-v + rfv)3

/
o Sea

,.* ~ ~ OT <X> O

/ / *d x -f- f* d x + 2 lfgdx=y ry* '+ V"rfv + 2 y cv dv

a a / 1 1 1

y restando de sta la [2] y la anloga para g se tendr:

\f*RdX^yCvdv [ti
a 1

que es la relacin de Parseval general.

Esta relacin justifica la definicin que dimos de producto escalar de dos
funciones.
T E O R E M A . Si el sistema ortonormal jcp, j es cerrado respecto de las funci-
n
?s continuas lo es respecto de las funciones parcialmente continuas.

(*) Veremos que la clase de funciones en que tiene solucin el problema es la clase
e
'as funciones de cuadrado integrable en el sentido de Lebesgue y que constiuyen el
amado espacio funcional de Hubert. He aqu cmo un problema completamente natural
lft
ipone la introduccin de la integral de Lebesgue.
 En efecto dada una funcin parcialmente continua ff .se puede determinar
una funcin contnua f tal que se verifique que

J(g-/i*tx<*

Sean
r-Sv^./^Sr.,^

y suponiendo que la relacin de Parseval se verifica para la funcin f(.v) vamos

a demostrar que se verifica para la g (x).
Como
W

<**
es la serie de Fourier de la funcin g (x) se verifica ( 5 . 2 )
l> b

M = j " | s - W - v ? v f ' ' * < j ' | * - 2 I v 'fvj" X

a a '

y basta demostrar que el segundo miembro de la desigualdad tiende a o.

En efecto se tiene:
b
* n
f J
/[f- v?v] rf* = _ / [ ( f - / ) + (/-v?v]rf*=||/||* +
a 1 a 1
n n

+ II/-2'vTvll 1 + *(*-//-^'v?,)^ II r-/!! +

i

+ H/-"'v TV II*+ 2 l lls-/ll-l!/-^v- f v ||

(esta ltima resulta de la desigualdad de Schwarz) y como todos los sumandos

tienden a cero, M > o.
TEOREMA.En un sistema cerrado cada funcin continua est caracteriza^1
por sus coeficientes de Fourier.
Dos funciones continuas cuyos coeficientes de Fourier son iguales son idn-
ticas. Como su diferencia ff\ tiene todos los coeficientes de Fourier iguale
a o ser:
b

j (f-f^dx = -Za =0
a

luego//j SE o.
 73

l'or tanto dos funciones continuas distintas no pueden tener los mismos
coeficientes de Fourier pues si los tuvieran iguales seran, idnticas.

5. 5. Sistemas completos.
l'n sistema ortogonal (o', se dice completo respecto a las funciones de un
conjunto R, si toda funcin de R ortogonal a todas las tp es idnticamente
nula.
Un sistema cerrado respecto a las funciones continuas es completo respecto a
las f unciones continuas ya que no puede existir ninguna funcin continua no
idnticamente nula ortogonal a dtdas las jcp| , puesto que todos los coeficien-
tes de Fourier de tal funcin seran nulos y por ser el sistema cerrado se-
ra f(.r) ^E o
Introduciendo la integral de Lebesgue veremos ms adelante como este teo-
rema se generaliza y se demuestra el recproco.

VI.CONVERGENCIA DE LA SERIE DE FOURIER

6. 1. Orden de magnitud de los coeficientes de Fourier.

Supongamos que la funcin parcialmente continua f (x) es de variacin
acotada y que por tanto es la diferencia de dos funciones montonas acotadas
de signo constante tpj y cp 2 .
Se tiene evidentemente
P
, sen rS sen n a
/ cos .v d x

Por tanto (*) se tendr

- TT
2
( , cos n x d x < M] siendo M, = max | cpj |

del mismo modo se ve que

I xdx
2 COS J < M,

( l Utilizamos aqui el llamado segundo teorema de la media: Si la funcin u es po-

s
'tiva decreciente, se verifica:

.
/ u v d x = u (a] I v d x (a <_ < b)
 74

siendo
2Tt

M 2 = mx I 'rp, luego co s n y: d yc < - ( M 1 + M2) = -

I/'

Una acotacin anloga vale para el seno; luego los coeficientes de Fourier
^ siendo. A un nmero con-
de la funcin / (x) de variacin acotada son <i
veniente.

6. 2. Teorema de la representacin en un intervalo.

En las aplicaciones interesa que la serie de Fourier converja uniformemente
hacia la funcin. Vamos a establecer una extensa clase de funciones que pueden
ser representables en este sentido por sus desarrollos de Fourier. En ella se
comprenden todas las que se suelen presentar en las aplicaciones.
Sea la funcin /'(x) continua en el intervalo (0,2 ~) y sea/' (x) de variacin
.acotada, siendo an y bn los coeficientes de Fourier de f (x). Se tendr:
" "- "- LK
i f /sen n x \ f , \ C ,
an = \ f (x) cos n x d x = I / (x) sen n x a x = I / seu t ds
x J mt n 7t J n i ./
O O O

2~ 2T 2~

H= I f (x) sen nxdx f -) / /' (.r) cos .r d x

T: J . n-K "T. J
D o

/(+o)-/(2 ir - o) , i r"
T//"-cos // .v d .v

Supongamos una funcin

/(+o) - / ( - o ) V7 sen x
?(*)- - - - -,. -Z, ;,
y consideremos la funcin R (x) =f(x) y (x] cuyos coeficientes a y sern
2E

I /' (x) sen nxdx = ^ | /' (.v) cos// jr / .v

'zij irj

Como consecuencia resulta:

dx .UV
f"
siendo
?
V el mx | | en ( a , b ) y V el mx / vdx

siendo a y puntos cualesquiera de (u, 6).

 75 -

y como la funcin/' (x) es de variacin acotada,, segn el teorema anterior se

tendr

i-K-e- y IP.K-5-
Luego la serie de Fourier de la funcin R (x) es decir
00
^ (in cos n x -j- sen AT)
l

converge uniformemente hacia R (*) en todo intervalo.

La serie de Fourier de la funcin f (x] converge uniformemente ( 3. i) en
todo intervalo interior al (o, 2 ~). Luego: la serie de Fourier de la funcin f (x)
converge uniformemente en todo intervalo interior al (0,2 n); luego representa a
la funcin f (x} en todo el intervalo salvo quiz en los extremos. Vamos a ver
el valor de f (x) en los extremos del intervalo.
En x ^ o (md. 2 x) (*) la serie de Fourier de cp (x) converge hacia o, luego
la de/(jr) converge hacia el mismo valor R (o) a que converge la de R (x),
Calculemos R (o). Para x =/= o (md. 2 T) es f (x) = cp (*) + R (.r) y como R (.r)
es una funcin continua se tendr

/(+ o) = ? (+ o) + R (o) |
/(-o) = ? (-o) + R ( o ) i

Y sumando estas dos igualdades resulta:

t/o)n >__/(+o)+/(-)
R - ?H-Q) +
- ?(-) __ /(+H-A-Q)
_

;
ya que cp (*) es i mpa r.
ks decir f/ valor R (o), hacia el cual converge la serie de Fourier de f (x) en
e
punto o, fj la semisuma de los valores f (-j- o) jj/ f ( o).
1 or un cambio de variable conveniente se reduce inmediatamente a este
as
i el de una funcin que no tenga ms discontinuidades que los puntos con-
tentes con x0 (md. 2 ic)
^11 los puntos de discontinuidad de la funcin en el intervalo (o, 2 T) son los
P^tos ^ ^
Pongamos
f W + A (X) [/ (*, + o) -/ (.r, - o) ] + . . . . +/, (.r) [/ (Xf + o) -/ (.v, - o] = -f (X)

(*} A '
> Asi representamos los puntos O, ^ ir, 4,T, ...
 _ 76 -

Siendo f (x) una funcin peridica de perodo 2 ~ igual a

(* a:,-) entre (.r;, ;*-,- -|- 2 r) igual a para x = .Y,-,

2 7C 2

Se ve enseguida que los nicos puntos de discontinuidad de cp pueden ser

Jos x Xi. En xl son continuas f2,fa, ff, luego basta ver si lo es
/ (*) +/, (x) [/(*-, + o) -/ (x, - o)) = F ^)

Teniendo en cuenta que

/1 (*1 + ) = O, /1 (*1 O) = I

resulta
F (x, + o) = /(*, + o) +/, (^ + o) [/(r, + o) -f(Xl - o)] =/(*, + o)
F (ar, - o) =/(*, - o) + /, (*, _ o) [/(*, + o) _/(*, - o)] =/(*, + o)

?/!+ X,

Kg- '5-

es decir F (xt -f- o) == F (*-, o) y la funcin F y tambin la <p es continua efl

^TJ. Anlogamente se ve en los otros puntos x2, .. . xp. Luego tp (x) es una fr"1"
cin representable por su serie de Fourier asi como las f , luego tambin />
como queramos demostrar.
Hemos pues probado el siguiente teorema (debido a Lebesgue y Kneser).
Si f (x) es parcialmente continua en (o, 2iC) y en cada uno de los intervalos
continuidad f (x) admite una derivada de variacin acotada, la serie de Foni'ie
de la funcin f (x) es convergente en todo el intervalo y uniformemente converge1'
en todo intervalo interior a un intervalo de continuidad. En los puntos de ditt
 77

tiniidad la serie converge hacia la media aritmtica de los lmites a que tiende f (x)
cuando x tiende al punto por uno y otro lado.
Este teorema permite reemplazar el signo -^ por,el = en los ejemplos de
la leccin II.

6, 3. Teorema de Weierstrass.

Sea / (.r) una funcin continua en. el intervalo (0,21:).

2 Tu Tu
Dividamos el intervalo (o, 2 r.) en k partes por los puntos xn -
k

Fig. 16.

consideremos la poligonal y = cp (x) correspondiente a estos puntos de la cur-

va; tomando k suficientemente grande se tiene

I/(*)-?*(*) I < T

La funcin cp (x) es continua de periodo 2 K y adems su derivada es cons-

tante en cada intervalo y por tanto de variacin acotada, Aplicando a cp (x) el
Dorema anterior se obtiene

I o* (x) ^ (a^ cos v x _|_ v setl > * ) ! . < siendo ^ (av cos v x -f- /;v sen v x)

na Sl
"na parcial de la serie de Fourier de la funcin yk (x).. De donde se de-
duce que

\ / ( x ) / , (v cos v .r -f- v sen v ,r) | <:.

l
 - 78 -

es decir que: una funcin continua en (o. 2 z) es aproximadle uniformemente poi

una sucesin de polinomios trigonomtricos (i. er teorema de Weierstrass).
Con esto est probada la completitud del sistema trigonomtrico respecto a
las funciones continuas, ya que si una sucesin converge uniformemente hacia
una funcin, tambin converge en media.
Teniendo en cuenta el Teorema del 5. 4 tambin es completo el sistema
trigonomtrico respecto alas funciones parcialmente continuas y para toda fun-
cin parcialmente continua se verificar
2 TU
o 0
2 T *
0^- + ^ (a2 + A2) = / f(x)"- dx (relacin de completitud)
=i

Adems si se tienen dos funciones parcialmente continuas ser

^
"" a " + X, (ak ak' + bk
*') = ~T / /(*)# W
T (relacin de Parseval)
2 J
! - */
1
U

Si se quiere probar la posibilidad de aproximacin uniforme por polinomios

enteros de la funcin continua f (t) en (a, ) (a. Teorema de Weierstrass) pon-

f- O u lip n

Fig. 17.

(T/l
sea continua en un intervalo contenido en (o, 2 T) y completemos <p (.r) f ueia
de aquel de modo que sea continua. El teorema anterior permite obtener un
suma trigonomtrica. Si se desarrolla dicha suma en serie de Taylor y se tom*
una suma parcial
V a* x*
 79

tal que, en dicho intervalo sea

n "
% (7v cos v.r -f- /\, sen v i-) ^ A& x^ <, ser: Va*** <2
J
o

tendremos probado el teorema.

Hemos pues probado la- completitud del sistema de funciones

Como los polinomios de Legendre resultan de estos por combinacin lineal;

forman tambin un sistema completo.
EJERCICIOProbar que en el intervalo (o, x) forman un sistema cerrado:

sen x, sen 2 .v, . . . . , sen n x,

dem
, CO-i .V. COS 2 .V COS t/A',

N O T A S

' COMPLETITUD DEL SISTEMA TRIGONOMTRICO.Hemos dicho que la convergencia'

uniJornie implica la convergencia en media, luego para probar que el sistema trigonomtrico'
tS cer
rado, es suficiente demostrar el siguiente teorema de Weierstrass.
I- Toda funcin continua en el intervalo (o, 2 K) se puede aproximar uniformemen-
te poi polinomios trigonomtricos:

- -j- ^ (a.j cos v .r -j- b,, sen v x)

2 /

Vamos a dar una demostracin directa de este teorema reducindolo al que hemos lla-
mad
o segundo teorema de Weierstrass.
" Toda fundn continua cu el intervalo (a, b) puede aproximarse uniformemente-
for polinomios enteros.
Comencemos por la siguiente demostracin de Lebesgue de este teorema II.
r* *
n-n virtud de la continuidad podemos determinar una poligonal tal que sus ordenadas-
ran de las de la curva dada menos de un nmero prefijado E.
Sean
.v,, Vjl, (.v,, v2) (x, \'}

los
tices de la poligonal.
^a funcin

ik (X) -^\X- Xk 1 -f- (X - .V)

 Bo

es igual a cero x 5j x k y es igual a

2 (x x/c) para x > *>
La funcin
i
F (x) a0 + "V ak ifk (x)
LJ
k=i

x*

Fig. 18.

es por tanto lineal entre cada dos abscisas consecutivas xt x + i ; uego representa una po-
ligonal y para que coincida con la que tenemos basta que coincidan los vrtices de ambas,
es decir es preciso que se veriliquen las siguientes n condiciones:
y\ =a
yi = ao + 2 flt (xi *'i)
y = o + 2 ai (X3 xi) + 2 ai (*"3 x->
y = a0 + 2al(.rx xl)-t- + 2 _ , (,V A ' _ | )

-l H

Fig. 19.

Como F (Ur) es una suma de funciones c (.f) se sabr aproximar uniformemente P ('/
por polinomios si se sabe aproximar tp (.v) y la aproximacin de sta se reduce a l *e
[A' ^ l , ya que el sumando .v Xk es un polinomio.
 Si

Todo se reduce pues, a aproximar \x\ por una serie de polinomios uniformemente
convergente en (a, b). Basta considerar a y b de signos contrarios, pues si son por ejem-
plo ambos negativos es \x\ = x que ya es un polinomio y no hay problema. Siempre
podemos suponer el intervalo simtrico: ( >, -j- b) Y con el cambio de variable .r = b,
basta saber representar \ t\ en el intervalo ( \, -f- i.)
En la serie binmica

+ ]/ I -- a = i a a! _ J j 3_
2 4 2-4-6

que converge uniformemente en el intervalo ( i , + i) hagamos a = i i 2 y tendremos

+ )/> -,\t\ = i _ ( i -/*)-

que es el desarrollo buscado.

Fig. 20.

Demostremos ahora el teorema 1.

ea
/ (x) una funcin continua de periodo 2 u, y vamos a aproximarla por un po-
lin'Omio trigonomtrico,
-as funciones
[/>> +/( - A')] y [/>) -/(- x\] sen r,
s
n funciones pares de perodo 2 r: y por tanto son funciones uniformes de la variable
cos x en el intervalo ( i, -f- i) como se deduce inmediatamente de la consideracin
a
''gura. Designemos dichas funciones por (K) y tji () y vamos a demostrar que
miniar trigonomtricamente f(x) se reduce a aproximar por polinomios o (li), i (u)
y otr
as funciones anlogas.
REV DE LA REAL ACAPEMIA DE CIENCIAS.l!>tT.
 8a

Tenemos en virtud del teorema anterior las siguientes igualdades aproximadas:

<p()~P(); <M)~Q()

P(), Q(I) son polinomios enteros.

Pasando a la variable x y multiplicando los dos miembros de estas igualdades apro-
ximadas por sen 2 x y por sen x respectivamente resultan las siguientes

[/{*) +/( *)] sen 2a- ~ P (cos x) sen 2 x )

\f(x) f ( x-)] sen2 x ^_ O (cos x) sen x )

que sumadas miembro a miembro dan:

2/(x) sen2 a; ~ P (cos x) sen 2 .r -f- Q (cos *) sen .v.

Si en lugar de la funcin J (x) consideramos la f (x -)J tendremos haciendo an-

logamente para esta funcin lo hecho para f (x) la siguiente igualdad aproximada.

2f\x-\ 1 sen 2 x __ R (cos x) sen 2 .r -j- S (cos x) sen .r

y cambiando x en .r se tendra:

2 f (x) cos2 x ^ R (sen r) cos2 ar -j- S (sen ar) cos a-

y sumando

2 f (x) ~ R (sen jc ) cos51 x S (sen x) cos x -j- P (cos .r) sen2 x -)- O (cos .v) sen .v

en la que, pasando de las potencias de los senos y cosenos a las mismas funciones de
mltiplos del arco por las conocidas frmulas (*)

22*-j cos 2 * .r I l cos 2 k x 4- l 'l cos (2 k 2) .v 4- . . . . -f l M etc.

J
\ O/ \ ' / 2 \ ^ /

se tiene la aproximacin trigonomtrica buscada.

2. Hemos visto (i; 5. 5) que probado, que un sistema ortonormal es cerrado resulta
como consecuencia inmediata que es completo. Tiene sin embargo inters la siguiente de'
mostracin directa debida a Lebesgue de que e! sistema trigonomtrico es completo.
Teorema.Si la funcin <p (x) continua tiene nulos iodos sus coeficientes de Four'ei
es id'cnlicaine/i/c n n I a.

(*) Anlogamente, todo polinomio trigonomtrico ce orden n se puede poner en f" r "
ma de polinomio de grado n en cos x y sen x mediante las frmulas

eos - .r = | ' | eos .v I ) eos* " x sen 2 x -)-

\ o

*en X'.v = ( I eos*"1 ac sen a; - I I eos*"3 sr sen 3 x 4-

\ i / \3/
 - 83 -

Supongamos, por ejemplo, que

E) = f >o.

Por ser < (x) continua en un entorno

( - , + ) $<r.) es , (.r) :> -^

Por hiptesis es:

E. + - +K
/ te (.r) sen .r d .v == o ; / y, (.v) cos * .v = o

T;

para todo valor entero de X", y por consiguiente, si T, (.r) es un polinomio trigonomtrico
cualquiera se verificar:
S-K
f <f(jc)Tm(x)i.v = o. [i]
6-r
Hagamos
T, (ar) = [i -f cos (.r _) cos S]' (*)

Entonces T, (x) > I en el intervalo (i , 4- 5);

|TM(a:)|<i enei ( r , E . ) y en el (E + , t; + T)

Si descomponemos la integral [i] en la forma

+ T. - +a E +r
+
/ - /
g-: C _
+ / /
_ g +S
r

s
ulta que la segunda integral [i] aumenta infinitamente puesto que T, (.r) -* oo al tender

^ a infinito y p (r) > -

tn cambio la suma de la 1.a y 3. a es menor que M (2TC 28) (suponiendo que

M*)I < M), luego es imposible que

/ tp(.v)T,(.r) rf.v
o

a nu ' a cualquiera que sea ///, con lo cual est demostrada la imposibilidad de que todos

i (* r
\ > ''.sta es una suma trigonomtrica puesto que es de la forma 1 + A cosh (x ) + ...,
a
jj que las potencias cosh (x |) se pueden reducir a cos x, cos'1 2 x ... sen x ... por
"" 'rumias ames indicadas.
los coeficientes de Fourier de 9(4.-) sean nulos; es decir, (x) tiene que ser idnticamente
nula si sus coeficientes de Fourier son nulos, afirmacin que equivale a decir que el siste-
ma trigonomtrico es completo respecto a las funciones continuas.

VilALGUNAS APLICACIONES

7. 1. Problema de los isopermetros.

(Solucin de Hurwitz).
Este problema de clculo de variaciones (estudiado ya por Euler) consiste
en hallar entre todas las curvas cerradas de Jordn sin puntos dobles que tie-
nen la misma longitud L la que encierra mayor rea.
Vamos a demostrar que la curva que resuelve el problema es la circunfe-
rencia. Para ello nos limitaremos a considerar curvas tales que si sus ecuacio-
nes paramtricas son
* = *(/) i ... ,,
. i _; -r i r - t'l
v v() )

en que el arco s es el parmetro, las funciones x (s) e y (s) tengan derivada

salvo a lo suino en un nmero finito de puntos y que estas derivadas sean
parcialmente continuas.
2 TC C
S hacemos el cambio de variable / = - las ecuaciones [ i ] se transfor-
marn en las

- ? v> I
O <! / ---' 2 7C
Lf\ 1
V V -i (O \
- \2T. ' ]

Si las constantes de Fourier de las funciones .r = -j> ({), y = -o () son a v , ^v

/.v /j' .
c v , </v respectivamente, las de y sern v> v , vav y vrf, v <
( 6. 2).
Partiendo de la frmula
/ IX\Z ldv\i
=I
(rf-r) +(77)
que por el cambio de variable de s en t se transforma en

rr+(r-(7r)' i
 - 85 -

dx . dy
y teniendo en cuenta la relacin de completitucl para las funciones ,
Cl i d t

se tendra

T/|(4ff + (^)l''= J>.'^.'+ --,' +O

y, en virtud de [2]

nm+(m*> -/(^"--fter-^
21C

O
27!

de donde

L2=27cS V v>(av24-V + ^2-f<V) [3]

A_
v =J

que nos da la longitud L de la curva en funcin de los coeficientes de Fourier

de las funciones * e y.
Para hallar una expresin del rea tambin en funcin de los coeficientes de
Fourier tengamos en cuenta la frmula de Parseval, aplicada a las funciones

*,-.
dt
K
j <
X dt =
^\ ~/t ' '^V (OV /V
~~ VCV) W
1
O

y como el rea es:

*-/*"-
o
mu
ltipHcando por 4 T? los dos miembros de [4] se tendra
00

4 TU A = 4 r2 y v (a v rfv v f v )
1

y restando de la [3] sta, quedar

00 00
I-2 - 4 TC A = 2 ic2 v" K* + V + V* + v) - 2 r? ^ 2 v K v - v t-v) =
v=-i v=i
oo
= 2 K* [(v av - drf + (v v + f v )' + (vt - 1) (f/ + v2))
v=l

y como v > i esta expresin es siempre mayor o igual a cero:

 86

El rea mxima corresponder al caso en que sea cero dicha expresin.

Ser igual a cero solamente si son cero los tres sumados o sea si se verifican
simultneamente las siguientes condiciones:
Si v = i : a = /j. 6 c^
S v > i : f v = d., = o y a.t = v = o

Es decir, las funciones x e j' sern

x = a eos / -f- > sen ^
y = j cos -(- a( sen 5

ecuaciones que representan una circunferencia como queramos demostrar.

7. 2. Problema de Dirichlet. Integral de Poisson.

Dada la ecuacin en derivadas parciales
2
A. ,u, = J U , dHJ
. o
dx* ^ d y*

el problema Dirichlet consiste en determinar una funcin que verifica dicha

ecuacin A U = o armnica en el interior de un contorno cerrado C que se re-
duzca sobre este contorno a una funcin continua dada.
Nos vamos a referir al caso de un crculo ya que en virtud del teorema fun-
damental de la representacin conforme el caso general se reduce a este tenien-
do en cuenta que la ecuacin A U = o es invariante en las transformaciones
conformes.
Observamos que las partes real e imaginaria de todo polinomio en jsonpO'
linomios armnicos y que si en el polinomio en s ponemos:
x = / eos co, y = r sen tp

cada una de aquellas da una suma trigonomtrica.

Recprocamente, toda expresin:

P = aa-\-r (a eos <p -|- , sen tp) -(- -)-;" (a cos n ca -f- bn sen n <p)

es un polinomio armnico pues es evidentemente la parte real de un polinomi 0

en z = r e ! f .
Sea/(ep) una funcin continua de periodo a x . Vamos a probar la existen-
cia de una funcin armnica en el crculo " | < i que se reduce a /(tp) sob'e
la circunferencia 3 = e1'f.
Sea
00

Z-.
una serie convergente de trminos positivos y suma e.
 - 87 -

Supongamos que

S/ (-s) = a -\- (a^ cos 3 -(- ,' sen ) + + (a'n cos " f + ' sen 1)

sea un polinomio trigonomtrico tal que |/('f) S,-(<p) | <C s,- en el intervalo
(0,2 i:) y definamos

S,- (r, a) = Z0' + N^ (a/ cos /> -|~ bp* sen / ep) rt
/>=--!

La srie
F (,-, ?) = S, (r, f) -f [S, (r, 3) - S, (r, o)] + [S3 (r, <p) - S2 (r,?)]-f

es absoluta y uniformemente convergente porque |S,-(r, ep) S/ + i(r, cp)| al-

canza su mximo sobre la circunferencia (*) y es, por tanto, menor que

1 S,- (a) - S/+1 (<p) | = \ 5; (?) -/(<p) +/(<p) - Si+i (cp) | <
< I S/ (0 -/(0 | + | Si + j (?) -/(y) ] < 3; + S.- + 1

Vamos a dar una expresin de la funcin F (r, cp). Se tiene:

ty :.- lim a/," ,, ^ -- lim ^"
* 00 CO

Como z^ y /^ son los coeficientes de Fourier de la funcin S ser:

fl/>
"~ ~~ / scos/'!"''I1
o
21:
/y< = -i / Ssen j) rfi
o

Y como S tiende uniformemente hacia /(cp) se tendr:

3
.~ Ve
/ = 4" / /('(<) eos/!<rf A ,, ^ = -^ //(')sen^c|i//(ji [r]

(*) Una funcicn armnica en un dominio D no puede tener un mximo en un punto

erior
- Sea (x, y) la parte real de / ("). Si u (x, y) tiene un mximo en un punto inte-
n r
lo mismo le ocurrira a
(.JO = | ( i , ^ ) - l - i r f j : . K) j ._: /(=) I F (s) |

'1 decir, al mdulo de la funcin analtica F (~), lo cual es imposible en virtud del princi-
P' de mdulo mximo de las funciones analticas.
 En virtud de la convergencia absoluta podemos ordenar F (r, <p) en forma
de serie de Fourier:

F (r, <p) = -f- r (al cos y --(- t sen (p) -j-

E coeficiente de cos/ es:

r/ a, = r/ [a/ + (af - af ) -f (a/ - /) -f ]

serie que es absolutamente convergente pues

21T

I ajap
-^ / (S< ~~ s <+ l)cos / <p ^ T 2 r (
' + ; + ^ = 2 (s/ + s ' + ])
LH-1 !

por tanto
I rf (apt - 3/+ ') |< r/> 2 ( e/ -f e,- +I );
>* [/+ (V - V) + ]<r#2S(e,-+e,-+1)0>4

Luego si en F (r, <p) sustitumos cada termino S,-S,-+ 1 por la sucesin finita
de Fourier que representa, obtenemos una serie cuya suma de los coeficientes
de senos y cosenos es < 4 e (i -f- r -{- r2 -j- ) que es absolutamente con-
vergente para r < i, y por tanto agrupando los trminos correspondientes a
un mismo seno o coseno resulta:

F (r, (p) - -f r (a, cos <p -(- j sen <p) -f- [2)

que prueba que F (r, <pj es la parte real de una srie entera y satisface la ecua-
cin de Laplace.
Sustituyendo en [2] las expresiones [] resulta
21 2jc 21

x F (r, ) = j J/(<I>) <!> -f r J/WO cos (i - <p) i -t- r* J/(-|) cos 2 (<{, - cp) ^^ +
0 0 0

y si suponemos r <^ i como la serie

1- r cos (<Ji y) -f- r2 cos 2 (;J) ip) -f-

es uniformemente convergente respecto a <|> podremos escribir:

2~

5rF(r ) < p ) = .^/('|; |-i + r cos (i - (p) + ;-*cos 5 (<{, - (p) + L^

La expresin
+ >' C0b ('{' '?') + > 2 cos 2 (< -) +

es la parte rea! para .: = r e'W~'f) de la srie

J . l
-1 + c +.;,! + + :" + = -

1 i.
_ _L . 'i ._. _^ _L -l :
2- 'i ). r"'(<!<<f)
-. ..-M i ~ ' i. f cos ( ,} i / sen (i ')

1 i r cus (, - -it -f~ * '" sen (^ '?)

2 i 2 > cos (i ') -)- r2

por tanto
2
r
;r J
^/^'^: )
\ 2 r cos (i ') -J- /'
^i 2

que es la integral de Poisson. Esta representacin vale si r < i.

interpretacin geomtrica. Si llamamos AI al punto (r, <p) y P al punto (i, <p)
J N es uno de los puntos en que la cuerda perpendicular a O M corta a la
circunferencia, se tiene
T2 = i ?'2, M~F2 = i 2 r cos (<y -p) -|- r~

Kig. 2 i .

le go

i 2 r cos (4> ) -j- 7,-(w) !;

r "'-^IT//^'
Si suponemos, como hasta aqu, que la funcin /Ycp) es continua esta interpre-
tacin geomtrica permite probar que si M (r, y) > P0 ( i , cp0) siendo siempre M
interior a la circunferencia, se tiene:
F (r, ?) ->/(?)

luego F (/-, (p) es continua en el interior y sobre la circunferencia y como aqu

F (r, tp) =/(cp) slo falta demostrar que F (r, tp) es armnica.
Que la solucin del problema de Dirichlet es nica resulta como consecuen-
cia inmediata del principio de mximo de las funciones armnicas; pues si
hubiera dos funciones armnicas que tomaran los mismos valores sobre la fron-
tera su diferencia sera una funcin armnica y nula sobre la frontera, luego
idnticamente nula.
Hemos supuesto aqu la continuidad de la funcin /(cj>); Schwarz ha estudia-
do la integral de Poisson en el caso de que f(fy tenga discontinuidades de pri-
mera especie. Se demuestra que si jf(cp) tiene en P0 ( i , tp0) un punto de discon-
tinuidad de primera especie, la integral de Poisson no tiene un lmite nico
cuando el punto M(r, tp) > P0 (r, cp0) (permaneciendo interior a la circunferen-
cia) y siguiendo una curva con tangente en P 0 . Tal lmite es una funcin lineal
del ngulo a que dicha tangente forma con el radio y su valor es precisamente:

y [/(<po + o) +/(<Po - o)l + -1 [/> + o) -/(?0 - o)]

En particular si a = o

F(', ?)--[/Opo
2
+ o) +/(? - o) 1

El empleo de la integral de Poisson tiene.aplicaciones importantsimas en la

teora de funciones analticas.

7. 3. Aplicaciones tcnicas de las series trigonomtricas.

En Aerodinmica juega un importante papel la ecuacin integral de nucie
singular:

~te-/<*> "'
La resolucin de esta ecuacin se hace, fcilmente como aplicacin de '*
teora de series de Fourier.
Sea f(x) una funcin dada en el intervalo a <^ x < -f- a. En la integi'8
se considra el valor principal de Cauchy.
 g

Hagamos
i = a cos i
} dt = a sen A d A
;c = a cos cp ) '

y sustituyendo en [] resulta
ir
i f v ( a cos 6)
: sen 6 d
I p =/y v( a cos rcp l [2]
2-z J cos cp cos (|i '
o
Haciendo
y ( a cos (j/) sen / = y (cjj)
( /( a: cos ?) = F (cp)
la [2] toma la forma:
-L r_-!w^i_=p()
2 ic j cos cp cos (j) r [3l

Resuelta esta ecuacin integral se obtiene inmediatamente Ja solucin de la

[i]. Vamos primero a resolverla en un caso particular y luego en el caso general.
i. Supongamos que F (<p) = y vamos a probar que la solucin
Still p

de [3] es en este caso: Y (tj>) = 2 eos cjj, es decir, que se verificar:

i:
i r cos n di sen cp
l - a i - = o, i, 2, .. . . ; o <rco <C ir u f^*]
- J cos <:> cos c}) Y sen tp ' J

Como el integrando es una funcin par se puede poner la integral en la forma:

i r
l
cos n 't 4 j,
2 1t J COS <f> COS 9

Para calcular esta integral hagamos:

1^-4-0 ''$ p'tty J_ ; r'i
cos tj; ; cos n i -- ' ; d* -- d(c'f) e 41 r

c
on lo que la integral se transforma en:

g'"'i' + g~''":i'
JT
i_ r ,(e (.., f
l4
,
~ 777 J 7?r* H~ i 2 cos cp - ei* ' '
41= it

Y haciendo e'* = , se tiene en forma de una integral de una funcin de varia-

ble
compleja
fn -i-r-"
+
2 ic jr C2 -(- -i 2 cos o - r - r f C Sl
ltxl=l
Hue vamos a calcular por el mtodo de los residuos.
 92

Los polos de esta funcin son:

Q = cos tf + "J/cos2 (p i = cos <p + z sen cp = e * "f

y adems = o y la integrat puede escribirse:

i j: e + e- ^,
2-K i y ( <!<>j ( - s-if) ^
li=i

Los dos primeros estn sobre el contorno de integracin y por tanto hay que
considerar el valor principal (*). La contribucin de estos puntos a la integral
sera:
1i f ("'9
"'V -f-
-\-e'f
e>t e '*-\-e'i?
2 I e'f e-'f ' e "f e'f

Fig. 22.

Por tanto, para tener el valor de la integral no queda ms que el residuo

en = o, pudindose prescindir del sumando

C"
(C-^HC---' 1

que es regular en = o.

(*) Aplicamos aqui la siguiente generalizacin del clsico teorema de Cauchy. ^'
/ (t) es holomorfa en el recinto limitado por la curva p y es un punto de T con tan"
gente, se verifica :

/ /w
/a
di=f(a)-Kt
 93 -

Para calcular este residuo desarrollemos en serie:

r- r-" /-S \ y -SS \

7_ .-i,_ r- = ,. ^ n ^ = - ( V C - V 9 J V rn e"1? W
(C e"P)(C e-P} (i C e - ' ? ) ( i C e'-f) \^J
W:rr()
/ I-J
I \H, = 0 /
/
J
_ N^ j-V + H n e (|L v ) t p
._J
V,|l = 0

Veamos en esta serie el coeficiente de que es el residuo.

"V .; ,,, V1 / , , / , ' e~'iniy fi(n)<f e i(n-}-L)tp

>
^
e'(ll v )? _
> e'("~l 2'')? = e>(" i)? I 219
=. I g 2itf
=
v-t-n = _ l v.= o

eintf e ny .sen tp
C'V f . - ' f sen tp

Por tanto est demostrada la igualdad [3*]

En el caso particular de = o tenemos:

1.F L_=0 [6]

l
TC / eos y eos y '
o

2. Abordemos ahora la resolucin de la ecuacin integral general [3],

Supongamos que la funcin F (cp) sen cp ^/( a eos tp) sen cp que est definida
en el intervalo o <cp <C^, es desarrollable en se rit de senos (*).
| O
1
K ('p) sen -p = "^T
x
>i, seu cp
2 x i

es decir

F ( y ) ^ _ J - V1.-sn^
2 ^J sen ?

Segn lo demostrado en i." una solucin de la ecuacin integral ser:

OD

Y ((j,) ^ -i ,, f y cos | [7 J
1

suponiendo que esta serie sea uniformemente convergente (con lo cual se puede
integrar trmino a trmino y aplicar i.)

( ) Completando a 'imcin en vi intervalo ( ,T, -j- ,T) de modo que ea impar, bastar
P'ira que admit tal desarrollo qui.1 cumpla ahora las condiciones del teorema del captulo
atl
terior.
 94

Gomse ve en esta solucin hay una constante arbitraria: > 0 ; ya que si

existiera otra solucin Yj (<jj) en virtud de [6], tendra que ser:
Y ($) - Y, (if) = cte.

Pasar a la solucin de la ecuacin primitiva [ i ] es inmediato deshaciendo

el cambio de variable:

, W = J , < _ c o 8 0 = ^ = ^ ( ^ + X* 1 ,co.i,*)-

I0 + 2*cos(M

y: p
~

Los clculos anteriores se utilizan en la integracin aproximada de la llama-

da ecuacin de Prandtl, (que es ms general que la anterior):

r (x) _ ii f d r (f)
f d V (t)
V0 K T (x) 4 TC V0 J x t

en que la funcin a determinar es T (x), y tambin el mtodo sirve para otras

interesantes ecuaciones integrales de la tcnica como, por ejemplo, la ecuacin
de Fppl (*)
+.<*
f (i) d i
/W
*-/ =

Vili.FENOMENO DE GIBBS

8. 1. Ejemplo de fenmeno de Gibbs.

El teorema fundamental del VI afirma la convergencia uniforme de la
serie de Fourier en todo intervalo interior a un intervalo de continuidad de la
funcin; pero en un entorno de un punto de discontinuidad la convergencia no
puede ser uniforme ya que los sumandos de la serie son funciones continuas y v
si la convergencia fuese uniforme el lmite ser'a una funcin contina.
Antes de estudiar el comportamiento de las sumas parciales de una serie de
Fourier en el entorno de un punto de discontinuidad de la funcin consideramos
algn ejemplo de otras sucesiones de funciones.

(*) ZAMM, t. 16.

 95 -

Sea la funcin
en o<^x <, i
f (x) ~ \ o en .r = o
' i en i <, x < o

La sucesin (fig. 231

i < x <-

t i
lineal en <^ y -^
fi W

converge uniformemente en todo intervalo interior a cada uno de los (o,i),

( i,o) hacia f(x}. Se puede considerar una sucesin de puntos xm tales que
,,,\x,,,) converge hacia cualquier nmero comprendido entre -\- ) y i (extre-
mos de f(.r) en x = o)

J-B. 23.

^ea, ahora, la misma funcin /(#) y la sucesin (fig. 24)

1.5 en
f (x) =
er
i, S >

i en i <*<

 96 -

y lineal en los intervalos

/J_, _L\ /__L., -U, (_1, _ J _ \
\ 2 ' w / ' \ 2n ' 2nj ' \ n 2/

En esta se observa que cualquier nmero del intervalo ( 1,5, 1,5) puede ser
lmite de valores /, (xm) en que xm es una sucesin conveniente que tiendes
cero. Esta propiedad de ser ms amplio el intervalo de lmites posibles de suce-
siones particulares / (xm) que el intervalo de oscilacin de f(x] en el punto de
discontinuidad considerado se llama fenmeno de Gibbs.
Vamos a estudiarlo en una serie de Fourier particular y luego veremos que
a ella se reduce el de cualquier otra serie de Fourier.

I'ig. 24.

8. 2. Fenmeno de Gibbs.
Sea la serie de Fourier

2 (sen x-\ sen 3 x -| sen 5 x -|- .

de la funcin /(#), que en el intervalo

- <[ je < o es _/"(#) =

y en el
o<*<- , /(*) = -^ y /(--) =/0:) =/(o) = o

En la fig. se han representado las curvas correspondientes a las suma 3

 97

M = S, (.r), y = S2 (.r), j' = S, (x): La aparicin del fenmeno de Gibbs est cla-
ra, ya con la curva y =S6 (x)

Fig. 25.
Curvas yv =
=2 sen x
y = 2 (sen A." -( sen 3 ar)

* = 2 (sen * -j sen 3 x -j sen 5 .v -j sen 7 ar -j sen g a,- -| sen 11 x)

3 ^ 7 Q . I l .

^n Ia figura B) se representa rayada la zona en que quedan las curvas para

Suficientemente grande.
La
suma parcial S (x) es

s,(.v) = a y S C ' U 2 r ~ l ) x
2r i

H
d sen 2 x
- S (A.-) = 2 ^> cos (2 / i)x =
~Tx sen o.'

' BE LA REAL ACADEMIA DE CtExcrAS.11)47.

 - 98 -

y por tanto
A
[' sen 2 n t
S (x) = di
J sen a

de donde

/ s e n 2 u n ' l i
S Ix) / rfa= / sen 2 w a -\dv
./ J \sena
o o

y haciendo el cambio de variable = 2 11 a. se tiene

! sen
' sen 6 ,, T et \
S / -- / = I sen 2 n et i rfa =.
. / P J se" \ /
i)

/' a l a n? \
= I sen 2 a : T-+ rfcz
J sen 7. \ 3 ! S ' /

C^uando varia de o a ,
2

sen 2

crece d e i a ya que la derivada es

sen ' '/ cos K sen a

>o en o por ser ,><*.
")
Adems en el mismo intervalo

es f a"
<^- <7- 5T + <
 99

Luego
%nx -K x
5 . M - / ' ^ i < / p | < / ' i . - L r f 0 = -!L/' a r f a <JL^ si o<*<-I
J V H J * 3- 12 J 24 2

Dado s arbitrariamente pequeo se puede determinar v tal que cualquiera

que sea n para o < x <_ t\ se verifique

s.w-JjsiL^I <:

Si elegimos ahora M suficientemente grande para que < y ser

s,/-L.\_r!lrfp < e,
\2nj J fi f
esto es;
MiVHT-p-Hh' '
Q / * \ * /- -O-I /' ""P / / H
M~^~)" ^ + I J - y - ^

Esto prueba que en las curvas y = S (#) hay puntos que se desvian de la
funcin f ( x ) = en las proximidades del origen aproximadamente en

w
O

1C

cuyo valor calculado aproximadamente es: 0,2811.

Teniendo en cuenta que
x
. . , sen 2 TZ a . dS(x) sen 2 w ar
s.(*)= /f -
S(*)= rfa
ia
y que ~=-- =
dx sen x

es
inmediato ver que el valor mximo de S (x) en el intervalo (o, I es S,, I I
\ 2/ \ 2n
y esto junto con la relacin [i] prueba que la desviacin mxima de las curvas
y
^ S (x) de la funcin f (x) = difiere tan poco como queramos de

J^l^= _o, 2 8u

Estudiado el fenmeno para la funcin f (x), que acabamos de considerar

ra
cualquier otra funcin parcialmente continua (x) en un punto de discon-
 IDO

tinuidad de i .a especie y salto H se tendr ep (x) -f (x c) =/1 (x) en que

1C
/! es continua en x =. c pues se tiene
rj

/i ( -f o) = <?( +o) - -r-/(+ )

/i (^ o) ? ( o) f ( )

y restando las dos queda

/i (c + ) /i ( o) = ? ( 4- ) ? (c o)

- |- [/<+ ) -/(- 0)1 = H _ H = o

Resulta pues que la srie de Fourier de o (x) se puede descomponer en

suma de dos, una de ellas converge uniformemente en el entomo del punto
considerado hacia 'f^ (x) (continua, y por tanto no presenta fenmeno de Gibbs)
y la otra presenta el mismo fenmeno 'de Gibbs ya estudiado en f ir) (*).

8. 3. Generalizacin.
Vamos a definir de una manera general (**) el fenmeno Gibbs para una
sucesin de funciones jy (x)\
Sea
ll
I. (h, -Vol = ext/ (x) para tu > Y 1 * *'<> I '

Cuando' crece y h > o los nmeros L (fil xlt) no crecen, luego existe

lim [lim L (/;,) I = L U',,)

A '' 00

A este nmero L (.r) le llamaremos mximo de la sucesin fn(x\ en x<}. An-

logamente se define el mnimo de fn (x) en x0.
A l a diferencia f. (x0) l ( x ) = m(x^} la llamaremos oscilacin de j'y C1') i
en ^r0. Supongamos que j/ (.r) j es convergente en todo punto de un intervalo
que contiene x0 y sean

M(/,.v 0 ), m (/,^),,(/,a- 0 )

(*) Un estudio mas detallado se encuentra en Carb!a\v. ntrodnctiot' to the .theory "^
Fourier Scries a>id Integrals.
(**). Zalckwasser, Sur U- phdiomm if Gibbs, Fund. Ma'tb.c, t. 12.
 ICI

el mximo, y el mnimo y la oscilacin de /(.r) en .r,,. Se ve fcilmente que

L
'(*o) < > (/, *o) < M/. *o) If (*<>)

Diremos que \\a.y fenmeno de Gibbs en .r0 si se verifica una al menos de las
relaciones:
L (*) > M (/, a-0) ; / (.r0) < m (f, x)

Se llama amplitud del fenmeno de Gibbs en ,r0 : la suma de diferencias:

O (*) = [L (.r0) - M (/ .r)] + \m (/, *a) - / (*)]

(T(7w?waraj.