Vous êtes sur la page 1sur 20

Facultad de Ingeniería, UNLP. Matemática D. Módulo III.

Segundo cuatrimestre 2015

MATEMATICA D1
SERIE GENERALIZADA DE FOURIER- SERIE DE FOURIER

INTRODUCCIÓN
La representación de una función mediante una serie es una práctica bastante común en matemática e
importantísima en Ingeniería.
Ya se ha visto en asignaturas anteriores la representación de una función f(x) alrededor de un punto c, con
la serie de potencias de la forma

 a  x - c
n
n
n=0


en donde el conjunto base es 1,  x - c  ,  x - c  ,  x - c  ,...,  x - c  ,... .
2 3 n

Son bien conocidas las ventajas de desarrollar una función en tales series; con pocos términos se logra
una aproximación sencilla, dado que es un polinomio. También son bien conocidas las restricciones para
que eso sea posible; la función debe tener derivadas de todos los órdenes en un intervalo que contenga a c
y el residuo de Taylor en c debe tender a 0 cuando n tiende a infinito.

Veremos que es posible también representar funciones mediante otros conjuntos base, con sus respectivas
ventajas, restricciones y utilidades. Con este objetivo comenzamos recordando algunas definiciones.

Espacio vectorial E[a, b]. Conjuntos ortonormales.


Definición 1: Una función f: [a, b]  se llama seccionalmente continua en [a, b] si es continua
salvo en un número finito de discontinuidades finitas en [a, b].

El conjunto de las funciones seccionalmente continuas en [a, b], constituyen un espacio vectorial
sobre con producto interno, que se denomina E[a, b].

Definición 2: Dados dos elementos f y g de E[a, b], el producto interno se llama producto escalar de f y
g y se define mediante
b
(f, g) =  f(t) g (t)dt donde g (t) es la función conjugada de g(t).
a

Definición 3: Se define la norma de f como f = (f, f) .

Observación: Si f y g tienen codominio , de las definiciones 2 y 3 resulta que el producto escalar de f


b b
y g es (f, g) =  f(t) g(t)dt   f(t) 
2
y la norma de f = f = dt .
a a

Definición 4: Se dice que dos funciones f y g de E[a, b] son ortogonales si (f, g) = 0.


Definición 5: Se dice que dos funciones f y g de E[a, b] son ortonormales si f y g son ortogonales y
f(t) = g(t) = 1 .

Definición 6: Un conjunto f n n=1 de funciones de E[a, b] se llama conjunto ortogonal, si todo par de

funciones fi , f j son ortogonales cuando i  j .

1
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

Un conjunto f n n=1 de funciones de E[a, b] se llama conjunto ortonormal, si todo par de funciones

0 si i  j
fi , f j cumple que  fi , f j    .
1 si i=j

Nota: Si p(t) es una función continua, se puede definir un espacio vectorial con el producto interno de f y
b b

 f(t) g (t) p(t)dt y la norma de f es  f(t) f


 
g dado por (t) p(t)dt . Se dice que dos funciones f y g de
a a
b

 f(t) g (t) p(t)dt =0



E[a, b] son ortogonales con respecto a la función de peso p(t) si
a

ACTIVIDAD 1


f  
a) Si f n n=1 es un conjunto ortogonal de E  a, b  , demostrar que el conjunto  n 


 fn 
n 1
es un conjunto ortonormal de E  a, b .
Este resultado permite encontrar un conjunto ortonormal a partir de un conjunto ortogonal dado.


 1 
b) Demostrar que el conjunto  sen  nx  [I] es ortonormal en [- π, π] .
 π n = 1



 1 

cos  nπx  , sen  nπx 
1 1
c) Demostrar que el conjunto  , [II]

 2p p  p  p  p 
n =1
es ortonormal en [a, a + 2.p] para todo a real (utilizar propiedades de las funciones periódicas).

d) Sean f en E[a, b] y { n }n =1 un conjunto ortogonal de funciones reales contenido en E[a, b].
 b
1
Si f(x) =  c n  n (x) y se puede integrar término a término, demostrar que cn =  f(x)  n (x) dx
n
2
n =1 a

(multiplicar ambos miembros de la igualdad por  m (x) e integrar).

b
Si { n }n=1 es un conjunto ortonormal entonces cn =  f(x)  n (x) dx.
a

SERIE GENERALIZADA DE FOURIER. Representación de funciones mediante


conjuntos ortonormales de E[a, b].

Sea f en E[a, b] y { n }n =1 un conjunto ortonormal en E[a, b].


Se llama s erie generalizada de Fourier de f en E[a, b] con respecto al conjunto ortonormal { n }n =1
 b
a la serie  cn  n (x) donde cn =  f(x)  n (x) dx ,
n =1 a

los coeficientes se denominan coeficientes generalizados de Fourier.


2
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

Determinaremos condiciones para que esta serie aproxime a la función f que la define y que esa
aproximación sea la mejor.
Para esto definiremos convergencia en media cuadrática y conjunto ortonormal total.

Definición 7: Una familia { n }n =1 de funciones de E[a, b] converge a f de E[a, b] en media cuadrática
si dado ε > 0 existe n 0  N tal que para todo n  n 0 , n - f < ε.
O equivalentemente lim n - f = 0.
n 

Definición 8: Una serie converge a f de E[a, b] en media cuadrática si la sucesión de sumas parciales
converge a f en media cuadrática.

Proposición 1:

Sea { n }n =1 un conjunto ortonormal en E[a, b] y la serie  a n  n .
n=1
Si la serie converge en media cuadrática a f de E[a, b], entonces la serie, es la Serie generalizada de
Fourier de la función f respecto del conjunto ortonormal dado.

La recíproca no es cierta en general, veremos en la actividad siguiente que no siempre la serie


generalizada de Fourier de f representa a f.

ACTIVIDAD 2

Hallar la serie generalizada de Fourier de la función f(x) = x2 con respecto al conjunto ortonormal [I] en
[-, ] (tener en cuenta que f es par). ¿La serie representa a f ?

Definición 9: Un conjunto ortonormal { n }n =1 de funciones de E[a, b] se llama total (o cerrado o


completo) en E[a, b] si para cada f de E[a, b] y para todo ε > 0, existe una combinación finita R de
elementos de { n }n =1 que satisface f - R  ε .

Proposición 2:
Si { n }n =1 es un conjunto ortonormal total en E[a, b], entonces la serie generalizada de Fourier de la
función f de E[a, b] respecto de dicho conjunto, converge a f en media cuadrática.


Corolario: Sea { n }n =1 un conjunto ortonormal total en E[a, b] y la serie  a n  n .
n=1
La serie converge en media cuadrática a f de E[a, b] si y solo si la serie es la serie generalizada de Fourier
de la función f respecto del conjunto ortonormal dado.

3
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

Proposición 3 (mejor aproximación en media cuadrática):


Sea f en E[a, b] y {i }i=1 un conjunto ortonormal en E[a, b].
n
Sea Sn   ci i (x) la n-ésima suma parcial de Fourier de f asociada a {Φi }i=1
i =1
n
y R n   a i  i (x) una combinación lineal cualquiera de los n primeros elementos de {Φi }i=1

.
i =1

Entonces Sn es mejor aproximación a f que R n


y si m > n, Sm es mejor aproximación a f que Sn .

La convergencia de una sucesión de funciones en media cuadrática difiere de la convergencia


uniforme o puntual:

 La convergencia uniforme en un intervalo finito [a, b] implica la convergencia en media


cuadrática.
 La convergencia uniforme en un intervalo semi-ifinito no implica la convergencia en media
cuadrática.
 La convergencia en media cuadrática no implica convergencia puntual en cualquier punto del
intervalo.
 La convergencia puntual no implica convergencia en media cuadrática.

Para profundizar el tema, ver demostraciones, ejemplos y contraejemplos, en las referencias [1] y [2].

SERIE DE FOURIER


 1 1   1  
El conjunto  , cos  nπx  , sen  nπx   [II] es ortonormal en [a, a + 2.p] (demostrado

 2p p  p  p  p n 1
en la actividad 1) y total en E[a, a + 2.p], para todo a  R.
En particular:
 Si a = -p, el conjunto es ortonormal en [-p, p] y total en E[-p, p].
 Si a = 0, el conjunto es ortonormal en [0, 2p] y total en E[0, 2p].
Consideraremos el espacio vectorial E[-p, p], teniendo en cuenta que todos los resultados se pueden
extender a E[a, a + 2p].
Si f pertenece a E[-p, p], su desarrollo en serie generalizada de Fourier respecto del conjunto [II],
recibe el nombre de serie trigonométrica de f(x) o serie de Fourier de f(x) y tiene la forma :

a  
0 +  a cos  nπx  +  b sen  nπx 
   p 
2 n=1 n  p  n=1 n  
donde

1p 1p
p
1    
a =  f(x) cos  nπx  dx para n  1 y b =  f(x) sen  nπx  dx para n  1 ,
p -p
a0 = f(x)dx ,
n p
-p  p  n p -p  p 

4
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

los coeficientes se llaman coeficientes de Fourier.


a0
En particular, a 0 se denomina componente de continua (observar que es el valor medio de f(x) en el
2
intervalo [-p, p] ), a1 y b1 se llaman componentes armónicas fundamentales y a n y bn para n ≥ 2 son
las componentes armónicas de orden superior.
La serie de Fourier surgió originalmente como una herramienta para resolver un tipo de ecuaciones
diferenciales parciales, las cuales estudiaremos más adelante.

ACTIVIDAD 3

A partir de la definición de los coeficientes generalizados de Fourier, deducir las fórmulas de los
coeficientes de Fourier.

ACTIVIDAD 4

Verificar:
a) Si f  E[-p, p], su serie trigonométrica converge en media cuadrática a f. (Usar proposición 2)
b) Si una serie trigonométrica converge uniformemente a f en [-p, p], es su serie de Fourier. (Usar
proposición 1)

Nos interesa ahora:

 Determinar en que condiciones la serie de Fourier de f(x) es puntualmente convergente en [-p, p]


(lo hace a f en media cuadrática).

 Determinar si la serie al converger en x perteneciente a [-p, p], lo hace a f(x).

Veamos primero algunos ejemplos:

EJEMPLO 1: Rectificador de media onda. El siguiente circuito eléctrico es conocido como rectificador
de media onda, y es utilizado para obtener una señal con valor medio no nulo, a partir de una señal con
valor medio nulo.

Figura 1

El dispositivo denominado Vd es un diodo; dicho dispositivo actúa, idealmente, como una llave, solo que
en lugar de conmutar mecánicamente lo hace eléctricamente.
El diodo se comporta como una llave cerrada cuando la tensión en el borne A es mayor que en el borne K.
En este caso se dice que el diodo está funcionando en directa:

5
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

Figura 2 V0 = Vi
El diodo se comporta como una llave abierta cuando el borne denominado A tiene una tensión menor que
la del borne K. En este caso se dice que el diodo está funcionando en inversa:

Figura 3 V0 = 0

Vi Vo

Figura 4

Si la entrada del circuito es vi(t)=220.sen(2.π .50t) , a la salida nos queda la siguiente señal:
 1
 220.sen(2.π .50t) 0<t<
100 1
v(t) =  , v(t + ) = v(t)
 1 50
0 - <t<0
 100
Funcion v(t)
250

200

150

100

50

-50
-0.04 -0.03 -0.02 -0.01 0 0.01 0.02 0.03 0.04

Figura 5

6
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

Las gráficas de la suma de los primeros 10 términos de la serie de Fourier de v(t) y de v(t)-S10(t)
S10(t) = Suma de los primeros 10 armonicos de v(t) v(t) - S 10(t)
250 4

200 2

1
150
0

-1
100
-2

-3
50
-4

0 -5

-6

-50 -7
-0.04 -0.03 -0.02 -0.01 0 0.01 0.02 0.03 0.04 -0.04 -0.03 -0.02 -0.01 0 0.01 0.02 0.03 0.04

son:
Figura 6 Figura 7
Las gráficas de la suma de los primeros 20 términos de la serie de Fourier de v(t) y de v(t)-S20(t) son:
S (t) = Suma de los primeros 20 armonicos de v(t) f(t) - S 20(t)
20
250 4

3
200 2

1
150
0

-1
100
-2

-3
50
-4

0 -5

-6

-50 -7
-0.04 -0.03 -0.02 -0.01 0 0.01 0.02 0.03 0.04 -0.04 -0.03 -0.02 -0.01 0 0.01 0.02 0.03 0.04

Figura 8 Figura 9
Se puede ver que las sumas parciales de la serie de Fourier se aproximan a la función v(t). Además,
en este caso, al sumar pocos términos se obtiene una buena aproximación.

 -1 si -1  x  0
EJEMPLO 2 Onda cuadrada. f(x)   , f(x + 2) = f(x)
 1 si 0  x  1

Funcion f(x)
1.5

0.5

-0.5

-1

-1.5
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2

Las gráficas de la suma de los primeros 5 términos de la serie de Fourier de f(x) y de f(x)-S5(x) son:

7
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

S5(x) = Suma de los primeros 5 armonicos f(x) - S 5(x)


1.5 1.5

1
1

0.5
0.5

0
-0.5

-0.5
-1

-1.5 -1
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2 -2 -1.5 -1 -0.5 0 0.5 1 1.5 2

Figura 11 Figura 12
Las gráficas de la suma de los primeros 20 términos de la serie de Fourier de f(x) y de f(x)-S20(x) son:
S20(x) = Suma de los primeros 20 armonicos f(x) - S 20(x)
1.5 1.5

1
1

0.5
0.5

0
-0.5

-0.5
-1

-1.5 -1
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2 -2 -1.5 -1 -0.5 0 0.5 1 1.5 2

Figura 13 Figura 14

Las gráficas de la suma de los primeros 100 términos de la serie de Fourier de f(x) y de f(x)-S100(x) son:
S100(x) = Suma de los primeros 100 armonicos f(x) - S 100(x)
1.5 1.5

1
1

0.5
0.5

0
-0.5

-0.5
-1

-1.5 -1
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2 -2 -1.5 -1 -0.5 0 0.5 1 1.5 2

Figura 15 Figura 16

Nuevamente, las sumas parciales de la serie de Fourier se aproximan a la función f(x) pero sólo en
los puntos x donde f es continua; notar que en los puntos x de discontinuidad, las sumas parciales se
lim+ f(a)+ lim- f(a)
acercan al promedio a x a x
.
2

8
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

Notar que en este caso se necesitan más términos para obtener una buena aproximación.

Usando la notación f(x + )  lim+ f(a) y f(x - ) = lim- f(a) se puede observar que en los dos ejemplos
a x a x

f(x + ) + f(x - )
anteriores las sumas parciales de la serie de Fourier se aproximan a para todo x real,
2
ya que si la función es continua en un punto x entonces f(x +) = f(x -) = f(x).

Veremos a continuación un teorema que da las condiciones suficientes para que la serie de Fourier de
f(x + ) + f(x - )
una función f(x) converja puntualmente a .
2

Teorema 1: TEOREMA DE FOURIER


Sea f periódica de período 2p, si f(x) y f ´(x) pertenecen a E[-p, p] (condiciones de Dirichlet)
f(x + ) + f(x - )
entonces la serie de Fourier de f converge al valor para todo x real.
2
f(x + ) + f(x - ) a 0  
Es decir
2
 + a n cos nπx
2 n=1 n=1
 
p + b n sen p
nπx
 
para todo x real
p
1
donde a 0 =  f(x)dx y
p -p
p p

an =
1
p -p
f(x) cos  
nπx
p dx , bn =
1
p -p
f(x) sen  nπxp  dx para n  1 .

Teorema 2: DERIVACIÓN DE LA SERIE DE FOURIER


Sea f periódica de período 2p, si f(x) y f ´(x) pertenecen a E[-p, p] entonces su derivada f ´(x),
siempre que exista, puede encontrarse por derivación término a término de la serie de Fourier de f(x ) si y
sólo si la función f(x) es continua en todas partes y la función f ´(x) tiene desarrollo en serie de Fourier.

Volviendo al EJEMPLO 1:
 1
 220sen(2π .50t) si 0 < t <
 100 1
v(t) =  , v(t + ) = v(t)
 1 50
0 si - <t<0

 100

 1
 220.2π .50cos(2π .50t) si 0 < t <
 100 1
se tiene que v '(t) =  , v(t + ) = v(t)
 1 50
0 si - <t<0

 100
de donde es evidente que v y v’ pertenecen a E[-1/ 100 , 1/ 100 ] y f es periódica de período 1/ 50, luego
se verifican las hipótesis del teorema 1.

9
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

Cálculo de a0:

1 1 1
p
1 1 100 100
220 100
a 0 =  v(t)dt =  v(t)dt = 100  220sen(2π.50t) dt = -100 cos (2π.50t) 
p -p 1 -1 0
100π 0
100 100
220 220 a0 220
 -  - 1 -1  = 2. , y = .
π π 2 π

Cálculo de an para n  1 :

Utilizando la propiedad senA.cosB = 1/2([sen(A+B) + sen(A-B)] se obtiene analíticamente:

  dt = 100  220sen(2π.50t)cos 100nπt  dt =


1 1
p

 nπtp  dt =
100 100
1 1
a n =  v(t) cos  v(t)cos nπt
1
p -p 1 100
100 - 1100 0

-220  - 1  1  - 440
-220 cos  nπ   1
n
   π n+1 n-1 si n es par, n  1
= = =     .
π  n + 1 n - 1 π  n + 1 n - 1 
 0 si n es impar

Es muy importante observar que el desarrollo anterior contiene el factor (n - 1) en el denominador,


entonces es válido para n > 1 y se debe hacer el cálculo por separado para n = 1.

En efecto, utilizando el método de sustitución se obtiene:

  dt = 100  220sen(2π.50t)cos 100πt  dt = 0.


1 1
p
1 100 100
a1 =  v(t) cos  p  dt =
1
p -p
1πt
1 1
 v(t)cos 1
πt
100 0
100 100
-

Cálculo de bn para n  1

Utilizando la propiedad senA.senB = 1/2([cos(A-B) - cos(A+B)] se obtiene analíticamente:

1 1
p

 nπtp  dt = v(t)sen  1nπt  dt = 100


100 100
1 1
b n =  v(t) sen   220sen(2π.50t)sen 100nπt  dt =
p -p 1  100 
100 - 1100 0

-220 sen  nπ 
=
π  n + 1 n - 1
=0 para n > 1  factor  n - 1 en el denominador  .

1  cos 2
Usando la identidad sen 2 
2
1 1
p
1 100 100
b1 =  v(t) sen  1πt
p  v(t)sen  1πt  dt = 100
1
p -p
dt =
1   100   220sen(2π.50t)sen 100πt  dt = 110 .
100 - 1100 0

Entonces

10
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

   b sen  1nπt100  =
   
v(t + ) + v(t - )
2
a
= 0 +
2
 a n cos
n=1
  nπt
p + b n sen
n=1
  nπt
p =
a0
2
+  a n cos
n=1
1
nπt
100
+
n=1
n

-220  - 1  1
n


220
+   cos 100nπt  + 110.sen 100.1.πt  =
π n=2 π  n + 1 
n - 1

220 - 440
= + cos 100.2kπt  + 110.sen 100πt  , para todo t real.
π k=2 π  2k + 1 2k - 1

Como v(t) es continua en los reales, v’ y v’’ pertenecen a E[-1/ 100 , 1/ 100 ] y v’es periódica de período
1/ 50; por el teorema 2, derivando término a término se obtiene el desarrollo que representa a v’(t)

v'(t + ) + v'(t - ) 440.100.2kπ
=  sen 100.2kπt  + 110.100π.cos 100πt  , para todo t real.
2 k=2 π  2k + 1 2k - 1

ACTIVIDAD 5
 -1 si -1  x  0
Considerar la función del EJEMPLO 2: f(x)   , f(x + 2) = f(x)
 1 si 0  x  1
a) Verificar que f satisface las condiciones de Dirichlet.
b) Encontrar analíticamente la serie de Fourier de f(x) y graficar la función a la cual converge la
serie.
c) Encontrar los coeficientes de la serie de Fourier de f(x) y graficar las sumas parciales S5(x), S20(x)
y S100(x) usando algún software matemático.

 0 si -π < x  0
EJEMPLO 3: f(x)   , f(x + 2π) = f(x)
2 x si 0 < x < π

 0 si -π < x < 0
La derivada es f '(x)   , f(x + 2π) = f(x), entonces es evidente que f y f ´
 2 si 0 < x < π
pertenecen a E[-π , π ]; como además f es periódica de período 2π, f verifica las condiciones de
Dirichlet para p = π.

Luego
p π π π
1 1 1 x2
a 0 =  f(x)dx =  f(x)dx =  2x dx = =π ,
p -p π -π π0 π 0

utilizando el método de integración por partes se obtienen a n y b n para n ≥ 1:


p π π
f(x) cos  nπx
p  dx =
1 1 1 2
an =   f(x) cos  nπx
π  dx =  2x cos  nx  dx = cos(nπ) -1 =
p -p π -π π0 πn 2
0 si n es par
2  
2  
=
n

-1 -1 =  - 4 ,
πn  si n es impar
 πn 2

11
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

p π π
b n =  f(x) sen  nπx
p  dx =
1 1 1 -2
 f(x) sen  nπx
π  dx =  2x sen  nx  dx = cos(nπ) =
p -p π -π π0 n
- 2
 si n es par
 - 1 =  n
-2 n
= .
n  2 si n es impar
 n

Entonces para todo x real

   
f(x + ) + f(x - )
= 0 +  a n cos  nπx p   n  p 
a nπx = a 0 +
+ b sen  a n cos  nπx
π  +  b sen  nπxπ  =
n
2 2 n=1 n=1 2 n=1 n=1
 
π 2   cos  nx  +  - 2  - 1n sen  nx  =
 +  
n
-1 -1
2 n=1 πn 2   n=1 n
 
π -4  -2 -2 
= + cos  2k - 1 x  +   sen  2kx   sen  2k - 1 x   .
2 k=1 π  2k - 12 k=1 2k 2k - 1 


1
Usando el desarrollo anterior se puede obtener, por ejemplo, la suma de la serie  :
 2k - 1
2
k=1

Para el valor x = 0 y teniendo en cuenta que f es continua en ese punto, el desarrollo anterior queda

 
π -4 - 2 -2 
f(0) = + cos  2k - 1  0 +   2k sen  2k  0   sen  2k - 1  0 ,
2 k=1 π  2k - 12 k=1 2k - 1 

π -4  1 
1 π2
por lo tanto 0    y despejando se concluye que   .
2 π k=1  2k - 12  2k - 1
2
k=1 8

ACTIVIDAD 6

Sea f(x) = x 2 , 0< x < 2, f(x + 2) = f(x)

a) Encontrar analíticamente la serie de Fourier de f(x) y graficar la función a la cual converge la serie
(tener cuidado con el intervalo de integración y la función que integran).
b) Encontrar los coeficientes de la serie de Fourier de f(x) y graficar las sumas parciales S5(x), S20(x)
y S100(x) usando algún software matemático.

12
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

DESARROLLO DE FOURIER COSENOIDAL O SENOIDAL

Si f(x) satisface las condiciones de Dirichlet, es periódica de período 2p y es una función par en  -p, p ,
entonces los coeficientes de Fourier de f(x) son
p p

a 0 =  f(x) dx , a n =  f(x) cos  nπx


p  dx para n  1 y b n  0 para n  1,
2 2
p0 p0

f(x + ) + f(x - )
= 0 +  a n cos  nπx
p  para todo x real.
a
luego resulta
2 2 n=1
Si f(x) satisface las condiciones de Dirichlet, es periódica de período 2p y es una función impar
en  -p, p  , entonces los coeficientes de Fourier de f(x) son
p

a 0 = 0, a n = 0 para n  1 y b n =  f(x) sen  nπx


p  dx
2
para n  1,
p0

f(x + ) + f(x - )
luego resulta
2
=  b sen  nπxp 
n=1
n para todo x real.

ACTIVIDAD 7

Demostrar los resultados anteriores (tener en cuenta las propiedades de la integración de funciones pares
o impares sobre intervalos simétricos con respecto al origen).

ACTIVIDAD 8
Sea f(x) = senx

a) Encontrar analíticamente la serie de Fourier de f(x) y graficar la función a la cual converge la


serie.
b) Encontrar los coeficientes de la serie de Fourier de f(x) y graficar las sumas parciales S5(x), S10(x)
y S20(x) usando algún software matemático.

1 1
c) Demostrar que   .
n 1 ( 4n  1)
2
2
d) Encontrar analíticamente la serie de Fourier que representa a f ‘(x) (para los valores de x que
exista) y graficar la función a la cual converge la serie.

FUNCIONES DEFINIDAS EN UN INTERVALO FINITO


Si la función f(x) es tal que f y f ’ son seccionalmente continuas y está definida en un intervalo finito
(0, L), se pueden encontrar desarrollos en serie de Fourier que representen a f(x) en (0, L). Esto es de gran
utilidad en la resolución de ecuaciones diferenciales parciales.

Gráfica de una función f(x) con tales condiciones

13
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

f(x)
2

1.8

1.6

1.4

1.2

0.8

0.6

0.4

0.2

0
-3 -2 -1 0 1 2 3

 Se encuentra un desarrollo completo (con términos cosenos y senos) considerando la extensión


periódica de f(x):

Sea g(x) = f(x) si x  (0, L) y g(x + L) = g(x) para todo x  , luego g(x) satisface las
condiciones de Dirichlet para p = L/2 y entonces

g(x + ) + g(x - ) a 0 
   

 +  a cos nπx +  b sen nπx para todo x  ,
2 2 n=1 n L/2
n=1
n L/2
L
1
L/2 0
donde a0 = f(x)dx y

a =
1 L
n L/2 
0
f(x) cos nπx dx , b =
L/2
1 L
n L/2 
0
 
f(x) sen nπx dx
L/2   para n  1.

Gráfica de g(x) Gráfica de la función a la cual converge la serie

g(x) [ g(x+)+g(x-) ]/2


2 2

1.8 1.8

1.6 1.6

1.4 1.4

1.2 1.2

1 1

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

0 0
-3 -2 -1 0 1 2 3 -3 -2 -1 0 1 2 3

Como g(x) = f(x) si x  (0, L), resulta


f(x + ) + f(x - ) a 0 
   

 +  a cos nπx +  b sen nπx para x   0, L  .
2 2 n=1 n L/2
n=1
n L/2

14
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

 Se encuentra un desarrollo de cosenos considerando una extensión periódica par de f(x):

f(x) si 0 < x < L


Sea h(x) =  y h(x + 2L) = h(x) para todo x  , luego h(x)
f(-x) si - L < x < 0
satisface las condiciones de Dirichlet para p = L y entonces:

 
h(x + ) + h(x - ) a 
= 0 +  a cos nπx para todo x 
2 2 n L
n=1
2L
 
L
2
L 0
nπx para n  1.
donde a0 = f(x) dx y an =  f(x) cos L dx
L0

Gráfica de h(x) Gráfica de la función a la cual converge la serie


h(x) [ h(x+) + h(x-) ] /2
2 2

1.8 1.8

1.6 1.6

1.4 1.4

1.2 1.2

1 1

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

0 0
-3 -2 -1 0 1 2 3 -3 -2 -1 0 1 2 3

Como h(x) = f(x) si x  (0, L), resulta



f(x + ) + f(x - ) a
= 0 +  a n cos  nπx
L  para todo x   0, L  .
2 2 n=1

 Se encuentra un desarrollo de senos considerando una extensión periódica impar de f(x):

f(x) si 0 < x < L


Sea k(x) =  y k(x + 2L) = k(x) para todo x  , luego k(x)
- f(-x) si - L < x < 0
satisface las condiciones de Dirichlet para p = L y entonces:

 
k(x + ) + k(x - ) 
=  b sen nπx para todo x 
2 n L
n=1

 
L
2
donde bn =  f(x) sen nπx dx para n  1.
L0 L

15
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

Gráfica de k(x) Gráfica de la función a la cual converge la serie

k(x) [ k(x+) + k(x-) ] /2


2 2

1.5 1.5

1 1

0.5 0.5

0 0

-0.5 -0.5

-1 -1

-1.5 -1.5

-2 -2
-3 -2 -1 0 1 2 3 -3 -2 -1 0 1 2 3

Como k(x) = f(x) si x  (0, L), resulta

 

f(x + ) + f(x - )
=  bn sen nπx para todo x   0, L  .
2 n=1
L

ACTIVIDAD 9

Sea f(x)=x2, 0< x< 2


a) Encontrar analíticamente un desarrollo de Fourier completo que represente a f(x) en (0, 2) y
hacer la gráfica de la función a la cual converge la serie en dos períodos.
b) Encontrar analíticamente un desarrollo de Fourier cosenoidal que represente a f(x) en (0, 2) y
hacer la gráfica de la función a la cual converge la serie en dos períodos.
c) Encontrar analíticamente un desarrollo de Fourier senoidal que represente a f(x) en (0, 2) y
hacer la gráfica de la función a la cual converge la serie en dos períodos.

ACTIVIDAD 10

Sea f(x) una función definida en un intervalo finito (0, L), f y f ’ seccionalmente continuas.

f(x) si 0 < x < L


a) Si F(x) =  (F(x) impar en (-2L, 2L) y simétrica con respecto a la recta
f(2L-x) si L < x < 2L
x= L), demostrar que

F(x + ) + F(x - ) 
=  b(2k-1)sen 
(2k-1)πx 
 para todo x  0, 2 L 
2 k=1  2L 
L
donde b(2k-1) =  f(x) sen 
2 (2k-1)πx 
 dx para k  1.
L0  2L 

En particular

16
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

f(x + ) + f(x - ) 
=  b(2k-1)sen 
(2k-1)πx 
 para todo x  0, L 
2 k=1  2L 
.
L
donde b(2k-1) =  f(x) sen 
2 (2k-1)πx 
 dx para k  1.
L0  2L 

f(x) si 0 < x < L


b) Si G(x) =  (G(x) par en (-2L, 2L)), demostrar que
- f(2L-x) si L < x < 2L
G(x + ) + G(x - ) 
=  a (2k-1) cos 
(2k-1)πx 
 para todo x  0, 2 L 
2 k=1  2L 

2L
donde a (2k-1) =  f(x) cos 
(2k-1)πx 
 dx para k  1.
L0  2L 
En particular

f(x + ) + f(x - )
=  a (2k-1)cos 
(2k-1)πx 
 para todo x  0, L 
2 k=1  2L 

 
L
.
2
donde a (2k-1) =  f(x) cos
(2k-1)πx
dx para k  1.
L0 2L

FORMA COMPLEJA O EXPONENCIAL DE LA SERIE DE FOURIER

Si f(x) se puede representar mediante

f(x + ) + f(x - ) a 0 
   

 + a n cos nπx
+ b n sen nπx
2 2 n=1 p n=1
p
p
1
p -p
donde a0 = f(x)dx

p p

y an =
1

p -p
f(x) cos  nπx
p  dx , bn =
1
p -p
f(x) sen  nπxp  dx para n  1 ,

i nπx -i nπx i nπx -i nπx

 nπxp  =  nπxp  =
p p p p
e +e e -e
escribiendo cos y sen
2 2i
 p
f(x + ) + f(x - ) 1 -i nπx
 cn e
i nπx
resulta  cn  
p
donde f(x)e p dx .
2 n=- 2p -p

ACTIVIDAD 11
 -1 si -1  x  0
f(x)   , f(x + 2) = f(x)
 1 si 0  x  1

17
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

a) Encontrar analíticamente la serie compleja de Fourier de f(x) y graficar la función a la cual converge la
serie.
b) Encontrar los coeficientes de la serie compleja de Fourier de f(x) usando MATLAB.
c) Graficar las sumas parciales S5(x), S20(x) y S100(x).

Otros ejemplos de conjuntos ortogonales que se usan en la práctica son los polinomios de Legendre, las
funciones de Bessel, los polinomios de Hermite, los polinomios de Laguerre, los polinomios de Jacobi,
los polinomios de Chebychev y las funciones de Walsh.
_____________________________________________________________________________________

ACTIVIDAD 12
Funciones periódicas. Funciones ortogonales. Series de Fourier.

I. Funciones Periódicas

1- Dada f (x) integrable y periódica de período T, probar que:

T T a
a)  0
f ( x)dx 
a
f ( x)dx siendo a real
T T /2
b)  f ( x)dx  f ( x)dx
0 T / 2
T /2 b
c)  f ( x)dx  f ( x)dx cuando T  b  a
T / 2 a
d) f ( x  T )  f ( x) implica f ( x)  f ( x  T )
e) Si T es el período de f (x) , también lo es kT, con k entero.
f) Si f (x) es periódica con período T, f (ax) es periódica con período T/a.

II. Funciones Ortogonales.


1- Probar que f1 ( x)  e x y f 2 ( x)  xe  x  e  x son ortogonales en (0,2).

2- Dada las funciones f1 ( x)  x y f 2 ( x)  1  3x 2


a) Probar que son ortogonales en (-1,1)
b) Determinar el valor de las constantes c1 y c 2 para que f 3 ( x)  c1 x  c2 x 3 forme con f1 ( x) y con
f 2 ( x) un conjunto ortogonal en (-1,1).
c) Obtener a partir del conjunto  f1 , f 2 , f 3  un conjunto ortonormal de funciones en (-1,1).

3- Sea  n n1, 2,... un conjunto ortonormal de funciones en a  x  b tal que 1 ( x)  1 y  2 ( x)  x .


b
Demostrar que  ( x   )
a
n ( x)dx  0 para n  3,4,5,... donde  y  son constantes cualesquiera.

 1 e ix e 2ix e nix 
4 Dado el conjunto de funciones  , , ,..., ,...
 2 2 2 2  nN
Mostrar que es ortonormal en (0,2 ) .

18
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

III. Series de Fourier

5- Para cada una de las funciones


1    x  0
f ( x)   T  2 g ( x)  2 x 0  x   T 
 x 0  x  
1  x  1  x  0
sen( x) 0  x  1 
h( x )   T 2 v( x)  0 0 x2 T 5
0 1 x  2 2
 2 x4
a) Verificar que satisface las condiciones de Dirichlet.
b) Encontrar analíticamente su serie de Fourier y graficar la función a la cual converge la serie.
Para el caso particular de h(x), hallar el desarrollo de la serie de Fourier de h’(x) a partir del
desarrollo de h(x) si es posible.
c) Encontrar los coeficientes de la serie de Fourier y graficar las sumas parciales de la serie de
Fourier para diferentes valores de n usando algún software matemático.

a0 
6-a) Dada la serie   a n cos(nx)  bn sen(nx) , hacer un gráfico en (-4,4) de la función a la cual
2 n 1
converge dicha serie cuando:
1 1
an   2( x  1) cos(nx)dx bn   2( x  1) sen(nx)dx
1 1

a 
  nx   nx 
b)Dada la serie 0   a n cos   bn sen  , hacer un gráfico en (-9,9) de la función a la
2 n1   3   3 
cual converge dicha serie cuando:
2  n x  2  n x 
an  2 x cos   dx bn  2 x sen   dx
0
 3  0
 3 

7- Estudiar la paridad de las siguientes funciones, efectuar el desarrollo correspondiente y graficar.

 2 x 0  x 1

a) f ( x)  1 1  x  2 , f ( x  3)  f ( x)
 x 1 2  x  3

 3x  1 0  x  1

b) f ( x)   0 1  x  2 , f ( x  3)  f ( x)
3x  10 2  x  3

8- Deducir el desarrollo de Fourier de la función a partir de la gráfica.

3
a
1
-2a -a a 2a 3a -4 -2 0 2 4

19
Facultad de Ingeniería, UNLP. Matemática D. Módulo III. Segundo cuatrimestre 2015

IV. Representación de funciones definidas en intervalos finitos.

9- Encontrar un desarrollo completo en serie de Fourier, un desarrollo en serie cosenoidal y un desarrollo


en serie senoidal que converja a la función f ( x) en el intervalo dado. Graficar en cada caso, la función a
la cual converge la serie.

a) f ( x)  cos( x / 4) 0  x   b) f ( x)  x   0  x  2
x2
a) f ( x)  0 x2
4

13- Probar que en (0,  ) es:


8    
2
sen 3x sen 5 x cos 4 x
x(  x)   sen x    ...    cos 2 x   ...
 3 3
5 3
 6  2 2

y de allí probar que:

(1) n ! 3 
1 2

n 1 ( 2n  1)
3

32
y 
n 1 n
2

6

V. Serie compleja de Fourier.

10- Hallar la serie compleja de Fourier de las siguientes funciones

1  x  1  x  0 1  x  1  x  0
a) f ( x)   c) f ( x)  
x 0  x 1 1 0  x 1
b) f ( x)  cos(x)  1  x  1 d) f ( x)  x 3  1  x  1

BIBLIOGRAFÍA
[1] S. Salvioli: Ecuaciones diferenciales, editado por el C.E.I.L.P.
[2] Churchill R.: Series de Fourier y Problemas de Contorno, McGraw Hill , segunda edición.
[3] C.H.Edwards,Jr. - David E. Penney : Ecuaciones Diferenciales Elementales y Problemas con
Condiciones en la Frontera, Prentice-Hall Hispanoamericana, S.A., tercera edición.
[4] Dennis G. Zill: Ecuaciones Diferenciales con aplicaciones, Grupo editorial Iberoamérica, segunda
edición.

20