You are on page 1of 21

Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1.

Primer cuatrimestre 2014


Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

1


MATEMATICA D1
MODULO 1: SERIE GENERALIZADA DE FOURIER- SERIE DE FOURIER

INTRODUCCIN
La representacin de una funcin mediante una serie es una prctica bastante comn en matemtica e
importantsima en Ingeniera.
Ya se ha visto en asignaturas anteriores la representacin de una funcin f(x) alrededor de un punto c, con
la serie de potencias de la forma
( )
( ) ( ) ( ) ( )
{ }
n
n
n=0
2 3 n
a x - c
en donde el conjunto base es 1, x - c , x - c , x - c ,..., x - c ,... .


Son bien conocidas las ventajas de desarrollar una funcin en tales series; con pocos trminos se logra
una aproximacin sencilla, dado que es un polinomio. Tambin son bien conocidas las restricciones para
que eso sea posible; la funcin 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 tambin 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.

Definicin 1: Una funcin f: [a, b] C se llama seccionalmente continua en [a, b] si es continua
salvo en un nmero finito de discontinuidades finitas en [a, b].

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


Definicin 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
a
(f, g) = f(t) g (t)dt donde g (t) es la funcin conjugada de g(t).


Definicin 3: Se define la norma de f como f = (f, f) .

Observacin: Si f y g tienen codominio R, de las definiciones 2 y 3 resulta que el producto escalar de f
y g es ( )
b b
2
a a
(f, g) = f(t) g(t)dt y la norma de f = f = f(t) dt .


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

Definicin 5: Un conjunto { }
n
f de funciones de E[a, b] se llama conjunto ortogonal, si todo par de
funciones
i j
f , f son ortogonales cuando i y j son distintos.
Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

2
Definicin 6: 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.

Nota: Si p(t) es una funcin continua, se puede definir un espacio vectorial con el producto interno de f y
g dado por
b
a
f(t) g (t) p(t)dt

y la norma de f es
b
a
f(t) f (t) p(t)dt

. Se dice que dos funciones f y g de


E[a, b] son ortogonales con respecto a la funcin de peso p(t) si
b
a
f(t) g (t) p(t)dt =0




ACTIVIDAD 1

{ } [ ]
[ ]
n
n
n
1
f
a) Si f es un conjunto ortogonal de E a, b , demostrar que el conjunto
f
es un conjunto ortonormal de E a, b .
n

=


`

)

Este resultado permite encontrar un conjunto ortonormal a partir de un conjunto ortogonal dado.

b) ( )
n = 1
1
Demostrar que el conjunto sen nx [I] es ortonormal en [- , ] .


`
)


n =1
nx nx
p p
1 1 1
c) Demostrar que el conjunto , cos , sen [II]
2p p p
es ortonormal en [a, a + 2.p] para todo a real (utilizar propiedades de las funciones peridicas).



| | | |
| |`
\ \

)


n n =1
b
n n n n 2
n =1
a
n
d) Sean f en E[a, b] y { } un conjunto ortogonal de funciones reales.
1
Si f(x) = c (x) y se puede integrar trmino a trmino, demostrar que c = f(x) (x) dx
(multiplicar ambos mie


m
mbros de la igualdad por (x) e integrar).


b
n n=1 n n
a
Si { } es un conjunto ortonormal entonces c = f(x) (x) dx.





SERIE GENERALIZADA DE FOURIER. Representacin de funciones mediante
conjuntos ortonormales de E[a, b].


n n =1
n n =1
n n
n =1
Sea f en E[a, b] y { } 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 { }
a la serie c (x) donde

b
n n
a
c = f(x) (x) dx ,
los coeficientes se denominan coeficientes generalizados de Fourier.

Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014


Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

3
Determinaremos condiciones para que esta serie aproxime a la funcin f que la define y que esa
aproximacin sea la mejor.
Para esto definiremos convergencia en media cuadrtica y conjunto ortonormal total.


Definicin 7: Una familia
n n =1
{ }

de funciones de E[a, b] converge a f de E[a, b] en media cuadrtica


si
0 0 n
dado > 0 existe n N tal que para todo n n , - f < .
n
n
O equivalentemente lim - f = 0.



Definicin 8: Una serie converge a f de E[a, b] en media cuadrtica si la sucesin de sumas parciales
converge a f en media cuadrtica.


Proposicin 1:
Sea
n n =1
{ }

un conjunto ortonormal en E[a, b] y la serie


n n
n = 1
a

.
Si la serie converge en media cuadrtica a f de E[a, b], entonces la serie, es la Serie generalizada de
Fourier de la funcin f respecto del conjunto ortonormal dado.


La recproca 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 funcin f(x) = x
2
con respecto al conjunto ortonormal [I] en
[-, ] (tener en cuenta que f es par). La serie representa a f ?



Definicin 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 combinacin finita R de
elementos de
n n =1
{ }

que satisface f - R < .




Proposicin 2:

Si
n n =1
{ }

es un conjunto ortonormal total en E[a, b], entonces la serie generalizada de Fourier de la


funcin f de E[a, b] respecto de dicho conjunto, converge a f en media cuadrtica.

Corolario: Sea
n n =1
{ }

un conjunto ortonormal total en E[a, b] y la serie


n n
n = 1
a

.
La serie converge en media cuadrtica a f de E[a, b] si y solo si la serie es la serie generalizada de Fourier
de la funcin f respecto del conjunto ortonormal dado.
Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

4
Proposicin 3 (mejor aproximacin en media cuadrtica):

i i =1
n
n i i i i =1
i =1
n
n i i
i =1
Sea f en E[a, b] y { } un conjunto ortonormal en E[a, b].
Sea S c (x) la n-sima suma parcial de Fourier de f asociada a { }
y R a (x) una combinacin lineal

=
=

i i=1
n n
m n
cualquiera de los n primeros elementos de { } .
Entonces S es mejor aproximacin a f que R
y si m > n, S es mejor aproximacin a f que S .




La convergencia de una sucesin de funciones en media cuadrtica difiere de la convergencia
uniforme o puntual:

La convergencia uniforme en un intervalo finito [a, b] implica la convergencia en media
cuadrtica.
La convergencia uniforme en un intervalo semi-ifinito no implica la convergencia en media
cuadrtica.
La convergencia en media cuadrtica no implica convergencia puntual en cualquier punto del
intervalo.
La convergencia puntual no implica convergencia en media cuadrtica.


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


SERIE DE FOURIER

El conjunto
1
1 1 1
nx nx
, cos , sen
p p
2p p p
n

=

| | | |
` | |
\ \

)
[II] es ortonormal en [a, a + 2.p] (demostrado
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 trigonomtrica de f(x) o serie de Fourier de f(x) y tiene la forma :

a
0 nx nx
+ a cos + b sen
n n p p
2
n=1 n=1

| | | |

| |
\ \

donde

Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

5
p
0
-p
1
a = f(x)dx
p

,
p p
1 1
nx nx
a = f(x) cos dx para n 1 y b = f(x) sen dx para n 1
n n p p
p p
-p -p
| | | |

| |
\ \
,

los coeficientes se llaman coeficientes de Fourier.
En particular,
0
a se denomina componente de continua (observar que
0
a
2
es el valor medio de f(x) en el
intervalo [-p, p] ),
1
a y b
1
se llaman componentes armnicas fundamentales y
n
a y b
n
para n 2 son
las componentes armnicas de orden superior.

La serie de Fourier surgi originalmente como una herramienta para resolver un tipo de ecuaciones
diferenciales parciales, las cuales estudiaremos ms adelante.



ACTIVIDAD 3

A partir de la definicin de los coeficientes generalizados de Fourier, deducir las frmulas de los
coeficientes de Fourier.

ACTIVIDAD 4

Verificar:
a) Si f E[-p, p], su serie trigonomtrica converge en media cuadrtica a f. (Usar proposicin 2)
b) Si una serie trigonomtrica converge uniformemente a f en [-p, p], es su serie de Fourier. (Usar
proposicin 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 cuadrtica).

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 elctrico es conocido como rectificador
de media onda, y es utilizado para obtener una seal con valor medio no nulo, a partir de una seal con
valor medio nulo.


Figura 1

Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

6
El dispositivo denominado Vd es un diodo; dicho dispositivo acta, idealmente, como una llave, solo que
en lugar de conmutar mecnicamente lo hace elctricamente.

El diodo se comporta como una llave cerrada cuando la tensin en el borne A es mayor que en el borne K.
En este caso se dice que el diodo est funcionando en directa:


Figura 2 V
0
= V
i


El diodo se comporta como una llave abierta cuando el borne denominado A tiene una tensin menor que
la del borne K. En este caso se dice que el diodo est funcionando en inversa:


Figura 3 V
0
= 0


V
i
+
-
V
o


Figura 4

Si la entrada del circuito es vi(t)=220.sen(2. .50t) , a la salida nos queda la siguiente seal:
1
220.sen(2. .50t) 0 < t <
1
100
v(t) = , v(t + ) = v(t)
1 50
0 - < t < 0
100


Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

7
-0.04 -0.03 -0.02 -0.01 0 0.01 0.02 0.03 0.04
-50
0
50
100
150
200
250
Funcion v(t)

Figura 5

Las grficas de la suma de los primeros 10 trminos de la serie de Fourier de v(t) y de v(t)-S
10
(t) son:

-0.04 -0.03 -0.02 -0.01 0 0.01 0.02 0.03 0.04
-50
0
50
100
150
200
250
S
10
(t) = Suma de los primeros 10 armonicos de v(t)

-0.04 -0.03 -0.02 -0.01 0 0.01 0.02 0.03 0.04
-7
-6
-5
-4
-3
-2
-1
0
1
2
3
4
v(t) - S
10
(t)

Figura 6 Figura 7
Las grficas de la suma de los primeros 20 trminos de la serie de Fourier de v(t) y de v(t)-S
20
(t) son:
-0.04 -0.03 -0.02 -0.01 0 0.01 0.02 0.03 0.04
-50
0
50
100
150
200
250
S
20
(t) = Suma de los primeros 20 armonicos de v(t)

-0.04 -0.03 -0.02 -0.01 0 0.01 0.02 0.03 0.04
-7
-6
-5
-4
-3
-2
-1
0
1
2
3
4
f(t) - S
20
(t)

Figura 8 Figura 9
Se puede ver que las sumas parciales de la serie de Fourier se aproximan a la funcin v(t). Adems,
en este caso, al sumar pocos trminos se obtiene una buena aproximacin.

EJEMPLO 2 Onda cuadrada.
-1 si -1 x 0
f(x)
1 si 0 x 1
< <
=

< <

, f(x + 2) = f(x)
Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

8
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
-1.5
-1
-0.5
0
0.5
1
1.5
Funcion f(x)


Las grficas de la suma de los primeros 5 trminos de la serie de Fourier de f(x) y de f(x)-S
5
(x) son:
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
-1.5
-1
-0.5
0
0.5
1
1.5
S
5
(x) = Suma de los primeros 5 armonicos

-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
-1
-0.5
0
0.5
1
1.5
f(x) - S
5
(x)

Figura 11 Figura 12
Las grficas de la suma de los primeros 20 trminos de la serie de Fourier de f(x) y de f(x)-S
20
(x) son:

-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
-1.5
-1
-0.5
0
0.5
1
1.5
S
20
(x) = Suma de los primeros 20 armonicos

-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
-1
-0.5
0
0.5
1
1.5
f(x) - S
20
(x)

Figura 13 Figura 14

Las grficas de la suma de los primeros 100 trminos de la serie de Fourier de f(x) y de f(x)-S
100
(x) son:

Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

9
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
-1.5
-1
-0.5
0
0.5
1
1.5
S
100
(x) = Suma de los primeros 100 armonicos

-2 -1.5 -1 -0.5 0 0.5 1 1.5 2
-1
-0.5
0
0.5
1
1.5
f(x) - S
100
(x)

Figura 15 Figura 16

Nuevamente, las sumas parciales de la serie de Fourier se aproximan a la funcin f(x) pero slo en
los puntos x donde f es continua; notar que en los puntos x de discontinuidad, las sumas parciales se
acercan al promedio
+ -
a x a x
lim f(a)+ limf(a)
2

.
Notar que en este caso se necesitan ms trminos para obtener una buena aproximacin.

Usando la notacin
+ -
+ -
a x a x
f(x ) lim f(a) y f(x ) = limf(a)

= se puede observar que en los dos ejemplos
anteriores las sumas parciales de la serie de Fourier se aproximan a
+ -
f(x ) + f(x )
2
para todo x real,
ya que si la funcin es continua en un punto x entonces f(x
+
) = f(x
-
) = f(x).


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

Teorema 1: TEOREMA DE FOURIER

Si f(x) y f (x) pertenecen a E[-p, p] (condiciones de Dirichlet) y f es peridica de perodo 2p,
entonces la serie de Fourier de f converge al valor
+ -
f(x ) + f(x )
2
para todo x real.
Es decir
( ) ( )
+ -
0
n n
n=1 n=1
nx nx
p p
a f(x ) + f(x )
+ a cos + b sen
2 2

=

para todo x real
donde
p
0
-p
1
a = f(x)dx
p

y
( ) ( )
p p
n n
-p -p
nx nx
p p
1 1
a = f(x) cos dx , b = f(x) sen dx para n 1
p p


.

Teorema 2: DERIVACIN DE LA SERIE DE FOURIER

Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

10
Si f(x) y f (x) pertenecen a E[-p, p] y f es peridica de perodo 2p, entonces su derivada f (x), siempre
que exista, puede encontrarse por derivacin trmino a trmino de la serie de Fourier de f(x ) si y slo si
la funcin f(x) es continua en todas partes y la funcin f (x) tiene desarrollo en serie de Fourier.


Volviendo al EJEMPLO 1:

1
220sen(2 .50t) si 0 < t <
1
100
v(t) = , v(t + ) = v(t)
1 50
0 si - < t < 0
100



se tiene que
1
220.2 .50cos(2 .50t) si 0 < t <
1
100
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 peridica de perodo 1/ 50, luego
se verifican las hiptesis del teorema 1.

Clculo de a
0
:


( )
1 1
1
p
100 100
100
0
1 0 -p 0 -
100
0
1 1 220
a = v(t)dt = v(t)dt = 100 220sen(2.50t) dt = -100 cos (2.50t)
1
p 100
100
a 220 220 220
- - 1 -1 = 2. , y = .
2
=
=



Clculo de a
n
para n 1 :

Utilizando la propiedad senA.cosB = 1/2([sen(A+B) + sen(A-B)] se obtiene analticamente:
( )
( )
( )
( )
( ) ( )
( )
( ) ( )
( ) ( )
1 1
p
100 100
n
1 -p 0 -
100
n
1
100
nt nt
p
1 1
a = v(t) cos dt = v(t)cos dt = 100 220sen(2.50t)cos 100nt dt =
1
p
100
- 440
-220 - 1 1
si n es par -220 cos n 1
n + 1 n - 1 = = =
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 vlido para n > 1 y se debe hacer el clculo por separado para n = 1.

En efecto, utilizando el mtodo de sustitucin se obtiene:
( )
( )
( )
1 1
p
100 100
1
1 -p 0 -
100
1t
p 1
100
t
1 1
a = v(t) cos dt = v(t)cos dt = 100 220sen(2.50t)cos 100t dt = 0.
1
p
100


Clculo de b
n
para n 1

Utilizando la propiedad senA.senB = 1/2([cos(A-B) - cos(A+B)] se obtiene analticamente:
Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

11

( )
( )
( )
( )( )
( ) ( )
1 1
p
100 100
n
1 -p 0 -
100
nt nt
p 1
100
1 1
b = v(t) sen dt = v(t)sen dt = 100 220sen(2.50t)sen 100nt dt =
1
p
100
-220 sen n
= = 0 para n > 1 factor n - 1 en el denominador .
n + 1 n - 1
| |
|
\



Usando la identidad
2
1 cos 2
sen
2


=
( ) ( )
1 1
p
100 100
1
1 -p 0 -
100
1t
p
t
1
100
1 1
b = v(t) sen dt = v(t)sen dt = 100 220sen(2.50t)sen 100t dt = 110 .
1
p
100
| |
|
\



Entonces

( ) ( )
( ) ( )
( )
( )( )
( ) ( )
( )( )
+ -
0 0
n n n n
n=1 n=1 n=1 n=1
n
n=2
nt nt
1 1
100 100
nt nt
p p
a a v(t ) + v(t )
= + a cos + b sen = + a cos + b sen =
2 2 2
-220 - 1 1
220
+ cos 100nt + 110.sen 100.1.t =
n + 1 n - 1
220 - 440
= +
2k + 1 2k - 1

(
+

=

[ ] ( )
k=2
cos 100.2kt + 110.sen 100t , para todo t r . eal



Como v(t) es continua en los reales, v y v pertenecen a E[-1/ 100 , 1/ 100 ] y ves peridica de perodo
1/ 50; por el teorema 2, derivando trmino a trmino se obtiene el desarrollo que representa a v(t)
( ) ( )
[ ] ( )
+ -
k=2
v'(t ) + v'(t ) 440.100.2k
= sen 100.2kt + 110.100.cos 100t , para todo t real.
2 2k + 1 2k - 1





ACTIVIDAD 5
Considerar la funcin del EJEMPLO 2:
-1 si -1 x 0
f(x)
1 si 0 x 1
< <
=

< <

, f(x + 2) = f(x)
a) Verificar que f satisface las condiciones de Dirichlet.
b) Encontrar analticamente la serie de Fourier de f(x) y graficar la funcin a la cual converge la
serie.
c) Encontrar los coeficientes de la serie de Fourier de f(x) y graficar las sumas parciales S
5
(x), S
20
(x)
y S
100
(x) usando algn software matemtico.


EJEMPLO 3:
0 si - < x 0
f(x)
2 x si 0 < x <

=

, f(x + 2) = f(x)


Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

12
La derivada es
0 si - < x < 0
f '(x)
2 si 0 < x <

, f(x + 2) = f(x), entonces es evidente que f y f


pertenecen a E[- , ]; como adems f es peridica de perodo 2, f verifica las condiciones de
Dirichlet para p = .

Luego

p 2
0
-p - 0 0
1 1 1 x
a = f(x)dx = f(x)dx = 2x dx = =
p

,

utilizando el mtodo de integracin por partes se obtienen
n
a y
n
b para n 1:

( ) ( ) ( ) [ ]
( )
p
n 2
-p - 0
n
2
2
nx nx
p
1 1 1 2
a = f(x) cos dx = f(x) cos dx = 2x cos nx dx = cos(n) -1 =
p n
0 si n es par
2
= -1 -1 = ,
- 4
n si n es impar
n




( ) ( ) ( )
( )
p
n
-p - 0
n
nx nx
p
1 1 1 - 2
b = f(x) sen dx = f(x) sen dx = 2x sen nx dx = cos(n) =
p n
- 2
si n es par
- 2
n
= - 1 = .
2 n
si n es impar
n




Entonces para todo x real

( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( )
( )
+ -
0 0
n n n n
n=1 n=1 n=1 n=1
n n
2
n=1 n=1
2
k=1
nx nx nx nx
p p
a a f(x ) + f(x )
= + a cos + b sen = + a cos + b sen =
2 2 2
2 - 2
+ -1 -1 cos nx + - 1 sen nx =
2 n n
- 4 - 2
= + cos 2k - 1 x +
2 2k
2k - 1

(
=

(


( ) ( )
k=1
- 2
sen 2kx sen 2k - 1 x .
2k - 1


+ (
`

)



Usando el desarrollo anterior se puede obtener, por ejemplo, la suma de la serie
( )
2
k=1
1
2k - 1

:

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

Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

13
( )
( ) ( ) ( )
2
k=1 k=1
- 4 - 2 - 2
f(0) = + cos 2k - 1 0 + sen 2k 0 sen 2k - 1 0 ,
2 2k 2k - 1
2k - 1



+ ( (
`

)


por lo tanto
( )
2
k=1
- 4 1
0
2
2k - 1

= +

y despejando se concluye que
( )
2
2
k=1
1

8
2k - 1

.


ACTIVIDAD 6

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

a) Encontrar analticamente la serie de Fourier de f(x) y graficar la funcin a la cual converge la serie
(tener cuidado con el intervalo de integracin y la funcin que integran).
b) Encontrar los coeficientes de la serie de Fourier de f(x) y graficar las sumas parciales S
5
(x), S
20
(x)
y S
100
(x) usando algn software matemtico.


DESARROLLO DE FOURIER COSENOIDAL O SENOIDAL

Si f(x) satisface las condiciones de Dirichlet, es peridica de perodo 2p y es una funcin par en [ ] -p, p ,
entonces los coeficientes de Fourier de f(x) son
( )
( )
p p
0 n n
0 0
+ -
0
n
n=1
nx
p
nx
p
2 2
a = f(x) dx , a = f(x) cos dx para n 1 y b 0 para n 1,
p p
a f(x ) + f(x )
luego resulta = + a cos para todo x real.
2 2


Si f(x) satisface las condiciones de Dirichlet, es peridica de perodo 2p y es una funcin impar
en[ ] -p, p , entonces los coeficientes de Fourier de f(x) son
( )
( )
p
0 n n
0
+ -
n
n=1
nx
p
nx
p
2
a = 0, a = 0 para n 1 y b = f(x) sen dx para n 1,
p
f(x ) + f(x )
luego resulta = b sen para todo x real.
2




ACTIVIDAD 7

Demostrar los resultados anteriores (tener en cuenta las propiedades de la integracin de funciones pares
o impares sobre intervalos simtricos con respecto al origen).

ACTIVIDAD 8
Sea f(x) = senx

a) Encontrar analticamente la serie de Fourier de f(x) y graficar la funcin a la cual converge la
serie.
Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

14
b) Encontrar los coeficientes de la serie de Fourier de f(x) y graficar las sumas parciales S
5
(x), S
10
(x)
y S
20
(x) usando algn software matemtico.
c) Demostrar que
2
1
) 1 4 (
1
1
2
=

= n
n
.
d) Encontrar analticamente la serie de Fourier que representa a f (x) (para los valores de x que
exista) y graficar la funcin a la cual converge la serie.


FUNCIONES DEFINIDAS EN UN INTERVALO FINITO

Si la funcin 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 resolucin de ecuaciones diferenciales parciales.

Grfica de una funcin f(x) con tales condiciones
-3 -2 -1 0 1 2 3
0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
1.8
2
f(x)

Se encuentra un desarrollo completo (con trminos cosenos y senos) considerando la extensin
peridica de f(x):

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

( ) ( )
+ -
a
g(x ) + g(x )
0 nx nx
+ a cos + b sen para todo x
n n L/2 L/2
2 2
n=1 n=1

= R,
donde
L
0
0
1
a = f(x)dx
L/2

y
( ) ( )
L L
1 1
nx nx
a = f(x) cos dx , b = f(x) sen dx para n 1.
n n L/2 L/2
L/2 L/2
0 0




Grfica de g(x) Grfica de la funcin a la cual converge la serie

Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

15
-3 -2 -1 0 1 2 3
0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
1.8
2
g(x)
-3 -2 -1 0 1 2 3
0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
1.8
2
[ g(x
+
)+g(x
-
) ]/2


Como g(x) = f(x) si x (0, L), resulta
( ) ( )
( )
+ -
a
f(x ) + f(x )
0 nx nx
+ a cos + b sen para x 0, L
n n L/2 L/2
2 2
n=1 n=1

= .


Se encuentra un desarrollo de cosenos considerando una extensin peridica par de f(x):

Sea
f(x) si 0 < x < L
h(x) =
f(-x) si - L < x < 0

y h(x + 2L) = h(x) para todo x R, luego h(x)


satisface las condiciones de Dirichlet para p = L y entonces:

( )
( )
+ -
0
L
0 n
0
a h(x ) + h(x )
nx
= + a cos para todo x
n L
2 2
n=1
L
2 2
nx
donde a = f(x) dx y a = f(x) cos dx para n 1.
L
L L
0

R



Grfica de h(x) Grfica de la funcin a la cual converge la serie
-3 -2 -1 0 1 2 3
0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
1.8
2
h(x)
-3 -2 -1 0 1 2 3
0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
1.8
2
[ h(x
+
) + h(x
-
) ] /2

Como h(x) = f(x) si x (0, L), resulta
( ) ( )
+ -
0 nx
n L
n=1
a f(x ) + f(x )
= + a cos para todo x 0, L
2 2

.
Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

16


Se encuentra un desarrollo de senos considerando una extensin peridica impar de f(x):

Sea
f(x) si 0 < x < L
k(x) =
- f(-x) si - L < x < 0

y k(x + 2L) = k(x) para todo x R, luego k(x)


satisface las condiciones de Dirichlet para p = L y entonces:


( )
( )
+ -
L
n
0
k(x ) + k(x )
nx
= b sen para todo x
n L
2
n=1
2
nx
donde b = f(x) sen dx para n 1.
L
L

R







Grfica de k(x) Grfica de la funcin a la cual converge la serie

-3 -2 -1 0 1 2 3
-2
-1.5
-1
-0.5
0
0.5
1
1.5
2
k(x)

-3 -2 -1 0 1 2 3
-2
-1.5
-1
-0.5
0
0.5
1
1.5
2
[ k(x
+
) + k(x
-
) ] /2


Como k(x) = f(x) si x (0, L), resulta
( )
( )
+ -
n
n=1
nx
L
f(x ) + f(x )
= b sen para todo x 0, L
2

.


ACTIVIDAD 9

Sea f(x)=x
2
, 0< x< 2
a) Encontrar analticamente un desarrollo de Fourier completo que represente a f(x) en (0, 2) y
hacer la grfica de la funcin a la cual converge la serie en dos perodos.
b) Encontrar analticamente un desarrollo de Fourier cosenoidal que represente a f(x) en (0, 2) y
hacer la grfica de la funcin a la cual converge la serie en dos perodos.
c) Encontrar analticamente un desarrollo de Fourier senoidal que represente a f(x) en (0, 2) y
hacer la grfica de la funcin a la cual converge la serie en dos perodos.
Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

17

ACTIVIDAD 10

Sea f(x) una funcin definida en un intervalo finito (0, L), f y f seccionalmente continuas.

a) Si
f(x) si 0 < x < L
F(x) =
f(2L-x) si L < x < 2L

(F(x) impar en (-2L, 2L) y simtrica con respecto a la recta


x= L), demostrar que


[ ]
+ -
(2k-1)
L
(2k-1)
0
(2k-1)x
2L
(2k-1)x
2L
F(x ) + F(x )
= b sen para todo x 0, 2
2
k=1
2
donde b = f(x) sen dx para k 1.
L
L

| |

|
\
| |

|
\





En particular
[ ]
+ -
(2k-1)
L
(2k-1)
0
(2k-1)x
2L
(2k-1)x
2L
f(x ) + f(x )
= b sen para todo x 0,
2
k=1
2
donde b = f(x) sen dx para k 1.
L
L

| |

|
\
| |

|
\

.

b) Si
f(x) si 0 < x < L
G(x) =
- f(2L-x) si L < x < 2L

(G(x) par en (-2L, 2L)), demostrar que



[ ]
+ -
(2k-1)
(2k-1)
(2k-1)x
2L
(2k-1)x
2L
G(x ) + G(x )
= a cos para todo x 0, 2
2
k=1
L
2
donde a = f(x) cos dx para k 1.
L
0
L

| |

|
\
| |

|
\

En particular
[ ]
( )
+ -
(2k-1)
k=1
L
(2k-1)
0
(2k-1)x
2L
(2k-1)x
2L
f(x ) + f(x )
= a cos para todo x 0,
2
2
donde a = f(x) cos dx para k 1.
L
L

| |

|
\

.


FORMA COMPLEJA O EXPONENCIAL DE LA SERIE DE FOURIER

Si f(x) se puede representar mediante

( ) ( )
+ -
0
n n
n=1 n=1
nx
p
nx
p
a f(x ) + f(x )
+ a cos + b sen
2 2

=


Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

18
donde
p
0
-p
1
a = f(x)dx
p


y
( ) ( )
p p
n n
-p -p
nx
p
nx
p
1 1
a = f(x) cos dx , b = f(x) sen dx para n 1
p p


,

escribiendo
( ) ( )
nx nx nx nx
p p p p
- i i i -i
nx nx
p p
e + e e - e
cos = y sen =
2 2

resulta
nx nx
p p
p
+ -
i -i
n n
n=-
-p
f(x ) + f(x ) 1
c e donde c f(x)e dx .
2 2p

= =





ACTIVIDAD 11
-1 si -1 x 0
f(x)
1 si 0 x 1
< <
=

< <

, f(x + 2) = f(x)
a) Encontrar analticamente la serie compleja de Fourier de f(x) y graficar la funcin 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 S
5
(x), S
20
(x) y S
100
(x) .


Otros ejemplos de conjuntos ortogonales que se usan en la prctica 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 peridicas. Funciones ortogonales. Series de Fourier.

I. Funciones Peridicas

1- Dada ) (x f integrable y peridica de perodo T, probar que:

a)

+
=
a T
a
T
dx x f dx x f ) ( ) (
0
siendo a real
b)


=
2 /
2 / 0
) ( ) (
T
T
T
dx x f dx x f
c)

=
b
a
T
T
dx x f dx x f ) ( ) (
2 /
2 /
cuando a b T =
d) ) ( ) ( x f T x f = + implica ) ( ) ( T x f x f =
e) Si T es el perodo de ) (x f , tambin lo es kT, con k entero.
f) Si ) (x f es peridica con perodo T, ) (ax f es peridica con perodo T/a.

II. Funciones Ortogonales.
Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

19
1- Probar que
x
e x f = ) (
1
y
x x
e xe x f

= ) (
2
son ortogonales en (0,2).

2- Dada las funciones x x f = ) (
1
y
2
2
3 1 ) ( x x f =
a) Probar que son ortogonales en (-1,1)
b) Determinar el valor de las constantes
1
c y
2
c para que
3
2 1 3
) ( x c x c x f + = forme con ) (
1
x f y con
) (
2
x f un conjunto ortogonal en (-1,1).
c) Obtener a partir del conjunto { }
3 2 1
, , f f f un conjunto ortonormal de funciones en (-1,1).
d) Hallar la mejor aproximacin a 1 3 3 ) (
2 3
+ + = x x x x g con el conjunto ortonormal anterior.

3- Sea { }
,... 2 , 1 =

n n
un conjunto ortonormal de funciones en b x a < < tal que 1 ) (
1
= x y x x = ) (
2
.
Demostrar que

= +
b
a
n
dx x x 0 ) ( ) ( para ,... 5 , 4 , 3 = n donde y son constantes cualesquiera.

4 Dado el conjunto de funciones
N n
nix ix ix
e e e

)
`

,...
2
,...,
2
,
2
,
2
1
2


a) Mostrar que es ortonormal en ) 2 , 0 ( .
b) A partir del conjunto dado encontrar un conjunto ortonormal en (0, 2 ) p .


III. Series de Fourier

5- Para cada una de las funciones

=
< <
< <
=

2
0
0 1
) ( T
x x
x
x f ( ) 2 0 g x x x T = < < =
sen( ) 0 1
( ) 2
0 1 2
x x
h x T
x
< <
= =

< <


1 1 0
( ) 0 0 2 5
2 2 4
x x
v x x T
x
+ < <

= < < =

< <


a) Verificar que satisface las condiciones de Dirichlet.
b) Encontrar analticamente su serie de Fourier y graficar la funcin 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 algn software matemtico.

6-a) Dada la serie [ ]

=
+ +
1
0
) sen( ) cos(
2
n
n n
x n b x n a
a
, hacer un grfico en (-4,4) de la funcin a la cual
converge dicha serie cuando:

=
1
1
) cos( ) 1 ( 2 dx x n x a
n

=
1
1
) sen( ) 1 ( 2 dx x n x b
n

b)Dada la serie

=
(

\
|
+ |

\
|
+
1
0
3
sen
3
cos
2
n
n n
x n
b
x n
a
a
, hacer un grfico en (-9,9) de la funcin a la
cual converge dicha serie cuando:
Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

20
2
0
2 cos
3
n
n x
a x dx
| |
=
|
\


2
0
2 sen
3
n
n x
b x dx
| |
=
|
\



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

a)
2 0 1
( ) 1 1 2 , ( 3) ( )
1 2 3
x x
f x x f x f x
x x
< <

= < < + =

< <


b)
3 1 0 1
( ) 0 1 2 , ( 3) ( )
3 10 2 3
x x
f x x f x f x
x x
+ < <

= < < + =

< <


8- Deducir el desarrollo de Fourier de la funcin a partir de la grfica.










IV. Representacin 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 funcin ( ) f x en el intervalo dado. Graficar en cada caso, la funcin a
la cual converge la serie.

a) < < = x x x f 0 ) 4 / cos( ) ( b) 2 0 ) ( < < + = x x x f
a) 2 0
4
) (
2
< < = x
x
x f

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

\
|
+ + =
|

\
|
+ + + = ...
2
4 cos
2 cos
6
...
5
5 sen
3
3 sen
sen
8
) (
2
2
3 3
x
x
x x
x x x


y de all probar que:
32 ) 1 2 (
) 1 (
3
1
3
!

=
+
n
n
n
y
6
1
2
1
2

= n
n


V. Serie compleja de Fourier.

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

a)

< <
< <
=
1 0
0 1 1
) (
x x
x x
x f c)

< <
< < +
=
1 0 1
0 1 1
) (
x
x x
x f
a
-2a -a a 2a 3a 0
1
3
2 4 -2 -4
Facultad de Ingeniera, UNLP. Matemtica D1. Mdulo 1. Primer cuatrimestre 2014
Aeronutica, Computacin, Electromecnica, Materiales, Mecnica, Qumica.

21
b) 1 1 ) cos( ) ( < < = x x x f d) 1 1 ) (
3
< < = x x x f


BIBLIOGRAFA
[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 edicin.
[3] Churchill - Brown: Variable Compleja y Aplicaciones, Mc Graw Hill , quinta edicin.
[4] Wunsch D.: Variable Compleja con Aplicaciones Addisson Wesley, segunda edicin.
[5] C.H.Edwards,Jr. - David E. Penney : Ecuaciones Diferenciales Elementales y Problemas con
Condiciones en la Frontera, Prentice-Hall Hispanoamericana, S.A., tercera edicin.
[6] Dennis G. Zill: Ecuaciones Diferenciales con aplicaciones, Grupo editorial Iberoamrica, segunda
edicin.