E SCUELA P OLITÉCNICA N ACIONAL

A NÁLISIS DE F OURIER Y E CUACIONES D IFERENCIALES PARCIALES

R ESUMEN N O . 2: S ERIES DE F OURIER

Semestre 2019-A Departamento de Formación Básica

1. I NTRODUCCIÓN

D EFINICIÓN 1: Función periódica

Una función f : I ⊆ R → R se dice periódica con periodo p > 0 si,

f ( x + p ) = f ( x ),

para todo x ∈ I .

Si p es el periodo de f , también lo es cualquier múltiplo entero de p, es decir:

f ( x + np) = f ( x ),

para todo n ∈ Z + . El periodo más pequeño, es decir para n = 1, se llama fundamental.

D EFINICIÓN 2: Producto de funciones periódicas

Sean f y g dos funciones periódicas de periodo p > 0, el producto de estas funciones f g o
cualquier combinación lineal de ellas c1 f + c2 g, donde c1 , c2 ∈ R, es también una función
periódica de periodo p.

D EFINICIÓN 3: Producto interno de funciones

Dadas dos funciones f y g de I ⊆ R en R, su producto interno se denota por ( f , g), y se define
como: Z b
( f , g) = f ( x ) g( x )dx,
a

para todo x ∈ I = [ a, b].

D EFINICIÓN 4: Funciones ortogonales

Dos funciones f y g de I ⊆ R en R se dicen ortogonales en el intervalo I , si el producto interno
de f y g es cero, es decir si:
Z b
( f , g) = f ( x ) g( x )dx = 0,
a

para todo x ∈ I = [ a, b].

1
Departamento de Formación Básica Resumen No. 2: Series de Fourier

D EFINICIÓN 5: Funciones mutuamente ortogonales

A un conjunto de funciones se le denomina mutuamente ortogonal, si cada diferente par de
funciones de ese conjunto son ortogonales entre sí.

D EFINICIÓN 6: Ortogonalidad de las funciones seno y coseno

Las funciones sen(mπx/L) y cos(mπx/L) constituyen una familia de funciones mutuamente
ortogonales sobre el intervalo [− L, L]. De hecho, estas satisfacen las siguientes relaciones de
ortogonalidad:

Z L  mπx   nπx   L si m = n,
cos cos dx =
−L L L 0 si m 6= n;
Z L  mπx   nπx 
cos dx = 0
sen para todo m, n;
−L L L

Z L  mπx   nπx   L si m = n,
sen sen dx =
−L L L 0 si m 6= n.

2. S ERIES DE F OURIER

D EFINICIÓN 7: Fórmulas de Euler - Fourier

Supongamos que la serie de Fourier
∞ 
a0  nπx   nπx 
+ ∑ an cos + bn sen
2 n =1
L L

converge y tiene suma f ( x ) para cada x en el intervalo [− L, L], es decir,

∞ 
a0  nπx   nπx 
f (x) = + ∑ an cos + bn sen , − L ≤ x ≤ L.
2 n =1
L L

Entonces los coeficientes de Fourier an y bn están relacionados con la función f mediante las
siguientes fórmulas de Euler-Fourier:

1 L  nπx 
Z
an = f ( x ) cos dx, n = 0, 1, . . . ;
L −L L
1 L  nπx 
Z
bn = f ( x ) sen dx, n = 1, 2, . . . .
L −L L

Obviamente esto no es válido para toda función si no para las que cumplan las características del
siguiente teorema.

2 Dr. Esteban Guevara, PHD

Resumen No. 2: Series de Fourier Departamento de Formación Básica

T EOREMA 1: Series de Fourier 1

Sea f : [− L, L] → R una función continua y periódica con periodo p = 2L. La expansión en
series de Fourier de f ( x ) está dada por:
∞ 
a0  mπx   mπx 
f (x) = + ∑ am cos + bm sen , − L ≤ x ≤ L,
2 m =1
L L

donde m = 1, 2, ... y los coeficientes de Fourier a0 , am y bm están dados por:

Z L Z L  mπx  Z L  mπx 
1 1 1
a0 = f ( x ) dx, am = f ( x ) cos dx, bm = f ( x ) sen dx.
L −L L −L L L −L L

T EOREMA 2: Convergencia de Series de Fourier

Sea f una función continua por tramos definida en el intervalo [− L, L], tal que f ′ es también
continua por tramos en el mismo intervalo y f está definida fuera del intervalo de tal manera
que sea periódica con periodo 2L, entonces la expansión en serie de Fourier:
∞
a0  nπx   nπx 
+ ∑ ( am cos + bm sen )
2 m =1
L L

converge a f ( x ) para todo x donde f es continua y converge a:

f ( x+ ) + f ( x− )
2
en todo x donde f no es continua.

3. C AMBIO DE INTERVALO

T EOREMA 3: Series de Fourier 2

Sea f : [ a, b] → R una función continua y periódica con periodo p = 2L = b − a. La expansión
en series de Fourier de f ( x ) está dada por:
∞     
a0 2mπx 2mπx
f (x) = + ∑ am cos + bm sen , a ≤ x ≤ b,
2 m =1
b−a b−a

donde m = 1, 2, ... y los coeficientes de Fourier a0 , am y bm están dados por:

Z b
2
a0 = f ( x ) dx,
b−a a
Z b  
2 2mπx
am = f ( x ) cos dx,
b−a a b−a
Z b  
2 2mπx
bm = f ( x ) sen dx.
b−a a b−a

Dr. Esteban Guevara, PHD 3

Departamento de Formación Básica Resumen No. 2: Series de Fourier

4. S IMPLIFICACIONES : F UNCIONES PARES E IMPARES

T EOREMA 4: Serie de Fourier de cosenos

Si f : [− L, L] → R es una función par, ( esto es, f (− x ) = f ( x ) para todo x ∈ [− L, L]) su serie
de Fourier se reduce a una serie de cosenos, es decir:
∞
a0  mπx 
f (x) = + ∑ am cos , − L ≤ x ≤ L,
2 m =1
L

donde Z L  mπx 
2
am = f ( x ) cos dx, m = 0, 1, . . . .
L 0 L

T EOREMA 5: Serie de Fourier de senos

Si f : [− L, L] → R es una función impar, ( esto es, f (− x ) = − f ( x ) para todo x ∈ [− L, L]) la
serie de Fourier se reduce a una serie de senos, es decir:
∞  mπx 
f (x) = ∑ bm sen
L
, − L ≤ x ≤ L,
m =1

donde Z L  mπx 
2
bm = f ( x ) sen dx, m = 1, 2, . . . .
L 0 L

5. E XPANSIÓN DE MEDIO RANGO

A partir de una función f : [0, L] → R (como se muestra en la figura)

es posible construir la extensión par de la función f es decir, f par : [− L, L] → R que estaría definida
por: 
 f ( x ) si − L < x < 0
f par ( x ) =
 f ( x ) si 0 < x < L,

4 Dr. Esteban Guevara, PHD

Resumen No. 2: Series de Fourier Departamento de Formación Básica

Gráficamente esto se hace reflejando a la función con respecto del eje y.

Del mismo modo es posible construir la extensión impar de la función f es decir, f impar : [− L, L] →
R definida por: 
 f (x) si − L < x < 0
f impar ( x ) =
− f ( x ) si 0 < x < L,

Gráficamente esto se logra reflejando la función respecto al eje x y luego respecto al eje y.

6. P ROBLEMA DE S TURM -L IOUVILLE

D EFINICIÓN 8
Dadas las funciones y1 , y2 , · · · de I ⊆ R en R se dice que estas funciones son ortogonales en
el intervalo I con respecto a la función peso r > 0, si para todo m, n ∈ N con m 6= n se tiene:
Z b
(ym , yn ) = r ( x )ym ( x )yn ( x )dx = 0, m 6= n
a

Dr. Esteban Guevara, PHD 5

Departamento de Formación Básica Resumen No. 2: Series de Fourier

para todo x ∈ I = [ a, b]. La norma de la función ym se denota por ||ym ||, y se define como:
s
q Z b
||ym || = (ym , ym ) = r ( x )y2m ( x )dx.
a

D EFINICIÓN 9
Las funciones y1 , y2 , · · · de I ⊆ R en R se llaman ortonormales (con respecto a la función peso
r) si son ortogonales en I y si todas ellas tienen norma 1. Esto se puede representar a través de
la delta de Kronecker δm,n de la siguiente manera:
Z b
(
1 if m = n
(ym , yn ) = r ( x )ym ( x )yn ( x )dx = δm,n =
a 0 if m 6= n

para todo x ∈ I = [ a, b]. Para el caso particular donde r ( x ) = 1 tenemos:

s
Z b q Z b
(ym , yn ) = ym ( x )yn ( x )dx = 0 m 6= n, ||ym || = (ym , yn ) = y2m ( x )dx.
a a

Ejemplo: Las funciones ym = sen(mx ), m = 1, 2, · · · forman un conjunto ortogonal en el intervalo

−π ≤ x ≤ π, porque para m 6= n obtenemos por integración:
Z π Z π
1
(ym , yn ) = sen(mx ) sen(nx )dx = [cos((m − n) x ) − cos((m + n) x )] dx
−π 2 −π

1 sen((m − n) x ) sen((m + n) x ) π
 
(ym , yn ) = − = 0, m 6= n.
2 m−n m+n −π

En la última expresión vemos claramente que los enteros m − n y m + n, permiten que las dos
integrales se anulen. Para la norma tenemos:

sen(mx ) π
Z π Z π  
2 2 1 1
||ym || = (ym , yn ) = sen (mx )dx = (1 − cos(2mx ))dx = x− = π,
−π 2 −π 2 2m −π

para todo m = 1, 2, · · · . En consecuencia, el conjunto ortonormal correspondiente, se obtiene de la

división de cada función para su respectiva norma:

sen( x ) sen(2x ) sen(3x )

 
√ , √ , √ ,···
π π π

El siguiente teorema demuestra que para cualquier problema de Sturm - Liouville, las funciones
propias asociadas son ortogonales. Es decir, en la práctica, si es posible formular un problema
tipo Sturm - Liouville, entonces este teorema nos garantiza la ortogonalidad de dichas funciones
propias.

6 Dr. Esteban Guevara, PHD

Resumen No. 2: Series de Fourier Departamento de Formación Básica

7. O RTOGONALIDAD DE LAS F UNCIONES P ROPIAS PARA P ROBLEMAS DE S TURM -

L IOUVILLE

D EFINICIÓN 10: Ecuación de Sturm - Liouville

Dadas las funciones p, r positivas y la función q real, la ecuación diferencial lineal de segundo
orden de la forma:
[ p( x )y′ ]′ + [q( x ) + λr ( x )]y = 0

para todo x ∈ [ a, b] con las condiciones:

(
k1 y + k2 y′ = 0 en x = a
l1 y + l2 y′ = 0 en x = b

con λ, k1 , k2 , l1 , l2 ∈ R, se conoce como problema de Sturm - Liouville.

T EOREMA 6
Supongamos que las funciones p, q, r (con r ( x ) > 0) y p′ en la ecuación de Sturm - Liouville
son contínuas y de valores reales en el intervalo I ⊆ R para todo x ∈ I = [ a, b]. Además, sean
ym ( x ) y yn ( x ) funciones propias del problema de Sturm - Liouville asociadas a los valores
propios λm y λn , respectivamente. Entonces ym ( x ) y yn ( x ) son ortogonales en ese intervalo
con respecto a la función peso r, esto es,
Z b
(ym , yn ) = r ( x )ym ( x )yn ( x )dx = 0 m 6= n.
a

8. S ERIES O RTOGONALES DE P OLINOMIOS : S ERIES DE F OURIER G ENERALIZADAS

D EFINICIÓN 11: Serie de Fourier generalizada

Sean y0 , y1 , y2 , · · · funciones ortogonales con respecto a la función peso r ( x ) en un intervalo
a ≤ x ≤ b, y sea f ( x ) una función que puede representarse por medio de la serie convergente,
∞
f (x) = ∑ a m y m ( x ) = a0 y0 ( x ) + a1 y1 ( x ) + · · · (1)
m =0

a esta se le llama serie ortogonal, expansión ortogonal, o serie de Fourier generalizada. Si las
funciones ym son funciones propias del problema de Sturm - Liouville, entonces llamamos a
esta serie expansión en funciones propias.

Dada la función f ( x ), para determinar los coeficientes de Fourier am de f ( x ) con respecto a y0 ,

y1 , · · · , multiplicamos ambos lados de la ecuación anterior por r ( x )yn ( x ) para un n fijo, y luego

Dr. Esteban Guevara, PHD 7

Departamento de Formación Básica Resumen No. 2: Series de Fourier

integramos ambos lados con respecto a x ∈ [ a, b], es decir:

!
Z b Z b ∞ ∞ Z b ∞
( f , yn ) =
a
r f yn dx =
a
r ∑ am ym yn dx = ∑ am
a
rym yn dx = ∑ am (ym , yn )
m =0 m =0 m =0

Debido a la ortogonalidad de las funciones, todas las integrales de la derecha son cero, excepto
para m = n. Entonces tenemos,

( f , yn ) = an (yn , yn ) = an ||yn ||2 .

Si asumimos que todas las funciones ym tienen normas no nulas, entonces los coeficientes de Fou-
rier toman la forma:
Z b
( f , ym ) 1
am = = r ( x ) f ( x )ym ( x )dx ∀m ∈ Z +
||ym ||2 ||ym ||2 a

CRÉDITOS

La presente hoja de resúmenes constituye una segunda versión revisada de la realizada durante
el periodo 2018-B por los miembros de la cátedra de Análisis de Fourier: Mat. Carlos Ajila, Mat.
Leonardo Montoya, Fis. Marcelo Arias, Fis. Anibal Cruz, Ing. Byron Montenegro y mi persona.

8 Dr. Esteban Guevara, PHD