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 2018-B 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. F ÓRMULAS DE E ULER -F OURIER

D EFINICIÓN 7
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

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

3. C ONVERGENCIA DE S ERIES DE F OURIER

T EOREMA 1
Sea f una función continua por tramos definida en el intervalo [−π, π ], tal que f ′ es también
continua por tramos en el mismo intervalo. Si f está definida fuera del intervalo de tal manera
que sea periódica con periodo 2π , entonces la expansión en serie de Fourier
∞
a0
+ ∑ ( ak cos(kx ) + bk sen(kx ))
2 k =1

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.

4. C AMBIO DE INTERVALO

Sea p ∈ R + , es fácil probar que las funciones :

       
πx πx 2πx 2πx
1, cos , sen , cos , sen , ...
p p p p

son ortogonales, lo que sugiere una expansión en serie de Fourier para funciones definidas en el
intervalo [− p, p] con respecto de esta base. Teniendo en cuenta que:
Z p Z p   Z p  
2 kπx 2 kπx
dx = 2p y cos dx = sen dx = p,
−p −p p −p p

tenemos que una función f definida en el intervalo [− p, p] tendrá la expansión en series de Fourier:
∞     
a0 kπx kπx
f (x) = + ∑ ak cos + bk sen ,
2 k =1
p p

donde Z p   Z p  
1 kπx 1 kπx
ak = f ( x ) cos dx y bk = f ( x ) sen dx.
p −p p p −p p
Si tomamos ahora 2p = b − a, una función f definida en el intervalo [ a, b] tendrá la expansión en
serie de Fourier:
∞     
a0 2kπx 2kπx
f (x) = + ∑ ak cos + bk sen ,
2 k =1
b−a b−a

donde Z b   Z b  
2 2kπx 2 2kπx
ak = f ( x ) cos dx y bk = f ( x ) sen dx.
b−a a b−a b−a a b−a

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

5. S IMPLIFICACIONES : F UNCIONES PARES E IMPARES

Si f : [− L, L] → R es una función par, esto es, f (− x ) = f ( x ) para todo x ∈ [− L, L], la serie de

Fourier se reduce a una serie de Fourier de cosenos, es decir:
∞
a0  nπx 
f (x) = + ∑ an cos , − L ≤ x ≤ L,
2 n =1
L

donde Z L  nπx 
2
an = f ( x ) cos dx, n = 0, 1, . . . .
L 0 L
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 Fourier de senos, es decir
∞  nπx 
f (x) = ∑ bn sen
L
, − L ≤ x ≤ L,
n =1

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

6. E XPANSIÓN DE MEDIO RANGO

En muchos casos, y dependiendo de su aplicación, interesa representar mediante una serie de

Fourier una función definida en el intervalo [0, L].

Para lograrlo se podría definir a la función en el intervalo [− L, 0]. Existen muchas formas para
hacerlo, siendo las más importantes:

a) Reflejar a la función respecto del eje y en el intervalo [− L, 0]. La función es ahora par en el
intervalo [− L, L].

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

b) Reflejar la gráfica de la función respecto del origen en el intervalo [− L, 0]. La función ahora
es impar en el intervalo [− L, L].

7. 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

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

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

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 π
1 π
Z
(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.

8. 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

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

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 2
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

9. 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
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 = 2
= r ( x ) f ( x )ym ( x )dx ∀m ∈ Z +
||ym || ||ym ||2 a