ECUACIONES DIFERENCIALES

SERIES DE FOURIER
FUNCIONES PERIDICAS
( ) ( )
F t F t T = +
( ) ( )
F t F t nT = +
0, 1, 2, 3, 4, n =
( )
F t
Grfica de la funcin
0 50 100 150 200
-3
-2
-1
0
1
2
3
t
F
(
t
)

24t
T
( )
3 4
t t
F t = cos +cos
| | | |
| |
\ . \ .
( )
3 4
t t
F t = cos +cos
| | | |
| |
\ . \ .
FUNCIONES PERIDICAS
Podramos pensar que cualquier suma de funciones seno y
coseno produce una funcin peridica.

Esto no es as, por ejemplo, consideremos la funcin


Para que sea peridica se requiere encontrar dos enteros
tales que:

De donde

Es decir, la relacin debe ser un nmero racional.
1
2
m
n
e
=
e
( ) ( ) ( )
1 2
F t =cos t +cos t e e
, m n
1 2
2 , 2 T m T n e = t e = t
1 2
e e
no es un nmero racional.
( )
1 2
3 3 no es un nmero entero, luego no es peridica e e = +t
0 5 10 15 20 25 30
-2
-1
0
1
2
t
( ) ( )
3 3 f t =cos t +cos t t+
( ) ( )
3 3 f t =cos t +cos t t+
f

(
t
)

Ejercicios de la GTP N 6
( )
1 2
3 2 ; 3 2 T k T k = t +t = t es decir
1 1
1 2
2 2
2 2 3
3 3 3
k
k k
k
e
= = =
+ t + t e
Ortogonalidad de Funciones
Se define el producto interno estndar de dos
funciones como:
( ) ( )
, f g f t g t dt
|
o
=
}
( )
en , o |
Conjunto de funciones
MUTUAMENTE
ORTOGONALES
Conjunto de todas las
funciones, tales que tomadas
de a pares,
son ortogonales.
( ) ( ) ( )
, ( ) 0
b
a
f t g t f t g t dt = =
}
| |
, a b
( ) ( )
, f t g t
Dos funciones son ortogonales en un intervalo
si:
Funciones Ortonormales
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
, ( ) 0
, ( ) 1
, ( ) 1
b
a
b
a
b
a
f t g t f t g t dt
f t f t f t f t dt
g t g t g t g t dt
= =
= =
= =
}
}
}
Dos funciones son ortonormales en un intervalo si:

| |
, a b
( ) ( )
, f t g t
Se dice que un conjunto infinito de funciones son ortogonales
en el intervalo si dos funciones cualesquiera de
dicho conjunto cumplen:



Se dice que un conjunto infinito de funciones son ortonormales
en el intervalo si dos funciones cualesquiera de
dicho conjunto cumplen:

( ) ( )
0
, ( ) ( )
b
m n m n
n
a
para m n
f t f t f t f t dt
r para m n
=

= =

=

}
( ) { }
k
f t
| |
, a b
( ) ( )
,
m n
f t f t
( ) ( )
0
, ( ) ( )
1
b
m n m n
a
para m n
f t f t f t f t dt
para m n
=

= =

=

}
( ) { }
k
f t
| |
, a b
( ) ( )
,
m n
f t f t
DESARROLLO EN SERIES ORTOGONALES
Supongamos que es un conjunto infinito de funciones
ortogonales en un intervalo , nos preguntamos si ser
posible determinar un conjunto de coeficientes , con
de modo que:

(1)
( ) { }
k
f t
| |
, a b
n
c
0,1, 2, n =
( ) ( ) ( ) ( )
0 0 1 1 k k
F t c f t c f t c f t = + + + +
Siendo definida en el mismo intervalo .


( )
F t
| |
, a b
k
c
Obtencin de los coeficientes .

Multiplicamos la expresin (1) por e integramos en .




Debido a la ortogonalidad, salvo cuando
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
0 0 1 1
b b b b
n n n k k n
a a a a
F t f t dt c f t f t dt c f t f t dt c f t f t dt = + + + +
} } } }
( )
n
f t
| |
, a b
( ) ( )
0 0 1 1
, , ,
b
n n n k k n
a
F t f t dt c f f c f f c f f = + + + +
}
, 0
n k
f f = k n =
( ) ( )
,
b
n n n n
a
F t f t dt c f f =
}
( ) ( )
( ) ( )
0,1, 2,
b
n
a
n b
n n
a
F t f t dt
c n
f t f t dt
= =
}
}
con
Luego si entonces:





Si el conjunto de funciones es ortonormal, nos queda:

( ) ( )
( ) ( )
( ) ( )
( )
( )
2
2
n
b b
n n
a a
n b b
n n n
a a
f t
F t f t dt F t f t dt
c
f t f t dt f t dt
= =
(

} }
} }
( ) ( )
0
n n
n
F t c f t

=
=

( ) ( )
( )
( )
( ) ( )
2
2
1
n
b
n b
a
n n b
a
n
a
f t
F t f t dt
c F t f t dt
f t dt
=
= =
(

}
}
}
1 0
p
p
n
cos t dt
p
t

| |
=
|
\ .
}
1 0
p
p
n
sen t dt
p
t

| |
=
|
\ .
}
Consideremos el conjunto infinito ortogonal de funciones
trigonomtricas.


que es ortogonal en , luego, las integrales entre ellas
tendrn los siguientes resultados:
2 3 2 3
1,cos t,cos t,cos t, ,sen t,sen t,sen t,
p p p p p p
t t t t t t
`
)
| |
, p p
0
0
p
p
para k n
n k
cos t cos t dt con k n
p para k n p p
t t

=
| | | |
= =

| |
= =
\ . \ .
}
0
0
p
p
para k n
n k
sen t sen t dt con k n
p para k n p p
t t

=
| | | |
= =

| |
= =
\ . \ .
}
0
p
p
n k
sen t cos t dt n k
p p
t t

| | | |
=
| |
\ . \ .
}
para cualquier y
DESARROLLO EN SERIES TRIGONOMTRICAS
Clculo de los coeficientes de la serie de FOURIER
( )
0
1
cos sin
2
n n
n
a n n
a t b t
L L
f t

=
(
| | | |
= + +
| |
(
\ . \ .

t t
( )
0
1
cos
cos cos os
c
2
c
os
L
L
L
L
L L
n
L
n
L
n
m n
b t se
m
f t t dt
n t dt
L L
a m
t d
L
m n
a t t dt
L
t
L
L

=

| |
=
|
\ .
| | | |
+ +
|
| | | |
| |
\ .
|
| |
|
. \ \
\ .
. \ .
} }

} }
t t t
t t
t
Multiplicando m.a m. por e integrando:
cos
m
t
L
t
| |
|
\ .
0
co
2
0 s
L
L
a m
t dt
L

| |
|
=
\ .
}
t
0 cos
L
n
L
m n
b t sen t dt
L L

| | | |
| |
\
=

. \ .
}
t t
Trmino
Par
Trmino
Impar
Valor
Medio de
la funcin
( )
cos cos cos
L L
n n
L L
n n n
f t t dt a t t dt a L
L L L

| | | | | |
= =
| | |
\ . \ . \ .
} }
t t t
0,
cos cos
,
L
L
m n
m t n t
dt
L m n L L
t t

=

=

}
( )
1, 2, 3....
1
cos .
L
n
L
n
a f t t dt
L L
n

| |
=
|
=
\ .
}
t
( )
1, 2, 3....
1
.
L
n
L
n
b f t sen t dt
L L
n

| |
=
|
=
\ .
}
t
Formulas de EULER-FOURIER
( )
0
1
L
L
a f t dt
L

=
}
Sea suave por parte en , entonces la Serie de
Fourier de converge a:

si es un punto de continuidad
si es un punto de discontinuidad

Por eso decimos que ,
esto es que es aproximadamente igual a la Serie de
Fourier, ya que donde la es discontnua la igualdad, no
se verifica.

TEOREMA DE CONVERGENCIA DE LA S. DE FOURIER
CONDICIONES SUFICIENTES
( )
F t
( )
, p p
( )
F t
t
( ) ( )
2
F t F t
+
+
t
( )
F t
( )
0
1 1
n n
n n
n t n t
F t a a cos b cos
p p

= =
t t
~ + +

( )
F t
( )
F t
) ( ) 4 ( ,
2 0 ,
0 2 ,
) ( x f x f
x x
x x
x f = +

< s
< s
= Ejemplo 1:
4 T =
2 L =
( ) ( )
2
0
0 2
0
1 1
1 1
2 2
2 x dx x dx a

= + = + =
} }
( ) ( )
0 2
2 0
1 1
cos cos
2 2 2 2
n
n x n x
a x dx x dx
t t

| | | |
= +
| |
\ . \ .
} }
( )
2
impar
8/ ,
par,
0,
n
n
n
a
n
t

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

| | | |
= +
| |
\ . \ .
} }
t t
0
2
2
2
2
0
1
cos
2 2 2 2 2
1
cos
2 2 2 2 2
n
n x n x n x n x
b sen
n x n x n x n x
sen

(
| | | | | | | |
=
| | | | (
\ . \ . \ . \ .

(
| | | | | | | |
+
| | | | (
\ . \ . \ . \ .

t t t t
t t t t
( ) ( ) ( ) ( ) { }
2
1
cos cos
2
0
2
n
n x
n n n n b
t
t t t t

| |
= =
|
\ .
2 2
1
imp
0
1
ar
8 1
1 co ( ) cos s
2 2
n
n
n
n
n
a n x n x n x
n
f x a b sen
L L

= =
=
(
| | | |
= + + =
| |
(
(
| |

|
(
\ . \ .

\

.

t t t
t
( )
( )
2 2
1
2 1
8 1
( ) 1 cos
2
2 1 n
n x
f x
n

=
(
| |
= (
|

( \ .

t
t
FORMA ALTERNATIVA DE LA SERIE DE FOURIER
Es posible escribir de una manera ligeramente diferente la Serie de
Fourier, si observamos que el trmino de
la Serie de Fourier se puede escribir como



Podemos encontrar una manera ms compacta para expresar
estos coeficientes pensando en un tringulo rectngulo:
cos
n n
n t n t
a b sen
p p
| | | | t t
+
| |
\ . \ .
2 2
2 2 2 2
cos
n n
n n
n n n n
a b n t n t
a b sen
p p
a b a b
| |
| | | | t t
|
+ +
| |
|
+ + \ . \ .
\ .
2 2
2 2
n
n
n n
n
n
n n
a
cos
a b
b
sen
a b
= u
+
= u
+
a
n
b
n
2 2
n n n
C a b = +
u
n
Con lo cual la expresin queda:




n n n n n
n t n t n t
C cos cos sen sen C cos
p p p
(
| | | | | | t t t
u + u = u
( | | |
\ . \ . \ .

Si adems definimos la serie de Fourier de se
puede escribir como:




As, y
0 0
2 C a =
( )
0
1
n n
n
n t
F t C C cos
p

=
(
| | t
= + u
( |
\ .

2 2
n n n
C a b = +
-1
n
n
n
b
tan
a
| |
u =
|
\ .
( )
F t
COMPONENTES Y ARMNICAS
As, una funcin peridica se puede escribir como la suma
de componentes sinusoidales de diferentes frecuencias

A la componente sinusoidal de frecuencia
se le llama la ensima armnica de

A la primera armnica se le llama la componente
fundamental y su perodo es el mismo que el de

( )
F t
0 n
n e = e
( )
0 0
: n cos n t e e
( )
F t
( )
1 n =
( )
F t
A la frecuencia se le llama frecuencia angular
fundamental.

La componente de frecuencia cero , corresponde al valor
promedio de en cada periodo.

Los coeficientes y los ngulos son las amplitudes y los
ngulos de fase de las armnicas, respectivamente.
0
2 / / T p e = t = t
0
C
( )
F t
n
C
n
u
Ejemplo:
La funcin , tiene un periodo , por
lo tanto su frecuencia fundamental es

Componente fundamental :


Tercer armnico:


Cuarto armnico:
0 50 100 150 200
-3
-2
-1
0
1
2
3
t

f

(
t
)

24t
( ) ( )
3 4
( )
t t
f t cos cos = + 24 T = t
0
2 1
/
12
rad s
T
t
e = =
( )
( )
0
, 1
/ 12
con cos n t n
cos t
e =
( )
( )
0
3
/ 4
, con cos n t n
cos t
e =
( )
( )
0
, 4
/ 3
con cos n t n
cos t
e =
( ) ( )
3 4
( )
t t
f t cos cos = +
Ejemplo: Como puede verse, la funcin anterior tiene tantas
partes positivas como negativas, por lo es cero, en cambio

0 50 100 150 200
-3
-2
-1
0
1
2
3
t
f

(
t
)

24t
( ) ( )
( ) 1 3 4 f t cos t cos t = + +
Tiene tantas partes
arriba como abajo
de 1 por lo tanto, su
valor promedio es 1.

0
C
( ) ( )
( ) 1 3 4 f t cos t cos t = + +
REPRESENTACIN GRFICA DE LA SERIE
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Componentes de la Serie de Fourier
t
C
o
m
p
o
n
e
n
t
e
s

Suma
fundamental
tercer armnico
quinto armnico
septimo armnico
FUNCIONES PARES E IMPARES
Una funcin (peridica o no) se dice funcin par (o con simetra
par) si su grfica es simtrica respecto al eje vertical, es decir, la
funcin es par si

t 2t
f (t)
t
t 2t
( ) ( ) f t f t = ( ) f t
11-FUNCIONES PARES E IMPARES
En forma similar, una funcin se dice funcin impar o con
simetra impar, si su grfica es simtrica respecto al origen, es
decir, si cumple lo siguiente:

t 2t
f (t)
t
t 2t
( ) f t
( ) ( ) f t f t =
Funciones Pares e Impares
PROPIEDADES DE LAS FUNCIONES PARES E IMPARES
( ) ( ) ( )
- 0
Si es una funcin , entonces 2 . PA R
L L
L
f x f x dx f x dx =
} }
( ) ( )
-
IMPAR Si es una funcin , entonces 0.
L
L
f x f x dx =
}
SUMA
(RESTA)
PRODUCTO
(DIVISION)
P+P = P P*P = P
I+I = I I*I = P
P+I = -- P*I = I
-L L x
f(x)
-L
L x
f(x)
Como la funcin es una funcin impar para todo
y la funcin es una funcin par para todo , es de
esperar que:

Si es par, su serie de Fourier no contendr trminos
seno, por lo tanto para todo n

Si es impar, su serie de Fourier no contendr trminos
coseno, por lo tanto para todo n
0 n =
( )
cos n t p t
( )
sen n t p t
n
( ) f t
( ) f t
0
n
b =
0
n
a =
FENMENO DE GIBBS
Si la serie de Fourier para una funcin se trunca para lograr
una aproximacin en suma finita de senos y cosenos, es natural
pensar que a medida que agreguemos ms armnicos, la
sumatoria se aproximar ms a

Esto se cumple excepto en las discontinuidades de , en
donde el error de la suma finita no tiende a cero a medida que
agregamos armnicos.

Por ejemplo, consideremos el tren de pulsos anterior:
( ) f t
( ) f t
( ) f t
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 1 armnico
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 3 armnicos
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 5 armnicos
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 7 armnicos
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 13 armnicos
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 50 armnicos
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 100 armnicos
CLCULO DE LOS COEFICIENTES DE LA SERIE
El intervalo de integracin no necesita ser simtrico respecto al
origen, pero si lo es y es par, nos queda:

( )
F t
( ) ( ) ( )
0
0 0
1 2 1
2 2
p p p
p
par
a F t dt F t dt F t dt
p p p

= = =
} } }
( ) ( )
0
1 2
p p
n
p
par
n t n t
a F t cos dt F t cos dt
p p p p

| | | | t t
= =
| |
\ . \ .
} }
( )
1
0
p
n
p
impar
n t
b F t sen dt
p p

| | t
= =
|
\ .
}
( )
0
0
1
p
a F t dt
p
=
}
( )
0
2
p
n
n t
a F t cos dt
p p
| | t
=
|
\ .
}
0
n
b =
Serie de Cosenos ( )
0
1
n
n
n t
F t a a cos dt
p

=
| | t
= +
|
\ .

11-Funciones Pares e Impares

El intervalo de integracin no necesita ser simtrico respecto al
origen, pero si lo es y es impar, nos queda:

( )
F t
0
0 a =
( )
0
2
p
n
n t
b F t sen dt
p p
| | t
=
|
\ .
}
0
n
a =
( )
0
1
0
2
p
p
impar
a F t dt
p

= =
}
( )
1
0
p
n
p
impar
n t
a F t cos dt
p p

| | t
= =
|
\ .
}
( ) ( )
0
1 2
p p
n
p
par
n t n t
b F t sen dt F t sen dt
p p p p

| | | | t t
= =
| |
\ . \ .
} }
Serie de Senos ( )
1
n
n
n t
F t b sen dt
p

=
| | t
=
|
\ .

Clculo de los coeficientes de la Serie

11-Funciones Pares e Impares
) ( ) 4 ( ,
2 0 ,
0 2 ,
) ( x f x f
x x
x x
x f = +

< s
< s
=
EJEMPLO 1:
4 T =
2 L =
( ) ( )
2
0
0 2
0
2 2
1 1
2 2
1 x dx x dx a

= + = + =
} }
( ) ( )
0 2
2 0
1 1
cos cos
2 2 2 2
n
n x n x
a x dx x dx
t t

| | | |
= +
| |
\ . \ .
} }
( )
2
impar
8/ ,
par,
0,
n
n
n
a
n
t

12-Ejemplos de resolucin
( ) ( )
0 2
2 0
1 1
2 2 2 2
n
n x n x
b x sen dx x sen dx

| | | |
= +
| |
\ . \ .
} }
t t
0
2
2
2
2
0
1
cos
2 2 2 2 2
1
cos
2 2 2 2 2
n
n x n x n x n x
b sen
n x n x n x n x
sen

(
| | | | | | | |
=
| | | | (
\ . \ . \ . \ .

(
| | | | | | | |
+
| | | | (
\ . \ . \ . \ .

t t t t
t t t t
( ) ( ) ( ) ( ) { }
2
1
cos cos
2
0
2
n
n x
n n n n b
t
t t t t

| |
= =
|
\ .
2 2
1
imp
0
1
ar
8 1
1 co ( ) cos s
2 2
n
n
n
n
n
a n x n x n x
n
f x a b sen
L L

= =
=
(
| | | |
= + + =
| |
(
(
| |

|
(
\ . \ .

\

.

t t t
t
( )
( )
2 2
1
2 1
8 1
( ) 1 cos
2
2 1 n
n x
f x
n

=
(
| |
= (
|

( \ .

t
t
EJEMPLO 2:
1
2 (2 1) /
( )
2 2 1
m
m
n
L L sen n x L
s x
n
=

= +

t
t
( )
2
m
L
s L =
1 L=
1 L=
0, 0
( ) ,
, 0
( 2 ) ( )
L x
f x
L x L
f x L f x
< <

=

< <

+ =
EXTENSIONES PARES E IMPARES
2 0 ) ( < s = x x x f
Extensin Par ) ( ) ( x f x f =

< s
< s
=
2 0
0 2
) (
x x
x x
x f
P
-2
0
2
-4 -2 0 2 4
f(x)
x
-2
0
2
-4 -2 0 2 4
f(x)
x
2 4
) ( ) 4 (
= =
= +
L T
x f x f
Serie de Cosenos
EXTENSIONES PARES E IMPARES
-2
0
2
-4 -2 0 2 4
f(x)
x
Serie de Senos
-2
0
2
-4 -2 0 2 4
f(x)
x
2 0 ) ( < s = x x x f
2 4
) ( ) 4 (
= =
= +
L T
x f x f
Extensin Impar ) ( ) ( x f x f =
1
( ) 2 2 f x x x = s <
Extensiones pares e impares
2 0 ) ( < s = x x x f
Extensin Peridica (ni par ni impar)
2 2 0
( )
0 2
P
x x
f x
x x
+ s <

=

s <

( ) ( )
4
4 2
f x f x
T L
+ =
= =
( ) ( ) ( )
min
4 2
2
f x f x f x
T
= + = +
=
( ) ( )
4 f x f x = +
-2
0
2
-4 -2 0 2 4
f(x)
x
Serie Completa -2
0
2
-4 -2 0 2 4
f(x)
x
45
Teorema: diferenciacin de la serie de FOURIER
Dado que la funcin
( )
f x es continua para toda x , peridica con perodo 2L, y que su
derivada
( )
f x ' es suave por partes para cada x .

Entonces, la serie de Fourier de
( )
f x
' es
( )
1
cos
n n
n
n n x n x
f x a sen b
L L L

=
| |
| | | |
'
= +
| | |
\ . \ .
\ .

t t t


obtenida diferenciando trmino a trmino
( )
0
1
cos
2
n n
n
a n x n x
f x a b sen
L L

=
| |
| | | |
= + +
| | |
\ . \ .
\ .

t t


En general, este teorema no garantiza ni la existencia, ni la convergencia de derivadas de orden
superior.

Para el tipo de ecuaciones diferenciales que se estudian en el curso, es posible suponer que este
teorema puede ser aplicado para obtener las derivadas de orden superior.
46
1,3,5.....
n e
n n e e = =
( ) ( )
impar
sen
p n e
n
q t b n t e =

( )
( )
2
2
4
impar
n
n e
E
b n
n L n t e e
=

( )
( )
( )
( )
2
2
impar
4
sen
p e
n
n e
E
q t n t
n L n
e
t e e
=

49
( )
mx k x F t + =
( )
( )
0
0
0
0
x x
x v
=

( ) ( ) ( )
1 0 2 0
cos
h
x t c t c sen t = + e e
SISTEMA MASA-RESORTE
( ) ( )
40
n impar
F t sen n t
n

=
=

t
t
( ) ( )
p n
n impar
x t b sen n t

=
=

t
0
k
m
e =
10
1
t
2 3 1 2 0
10
( ) F t
( )
( )
( )
2 2 2
0
40 1
p
n impar
x t sen n t
n
m n

=
=

t
t
e t
2 2 2
0
0 n e t =
m
k
( ) F t
( ) x t
SISTEMA MASA-RESORTE
( ) ( )
0 0
0
40
F t sen t = e
e
m
k
( ) F t
( ) x t
( ) ( )
0 0
2
0
20
cos
p
x t t t
m
e
e
=
2 2 2
0 0 0
si 0 n n e t t e = =
( )
0
0
40
sin mx k x t e
e
+ =
( ) ( ) ( )
0 0 0
cos
p
x t Ct t Dt sen t = + e e
( )
( )
( ) ( )
0
0
2
2 2
0
40 1 20
cos
p
n impar
n n
x t sen n t t t
m
n k mn

=
=
(
( =

t e
t e
t
52
1 m =
2
0
2
k
f
t | |
=
|
\ .
Modelo de Simulacin
Out1
f (t)
1
s
1
s
B
1/m
k
0 B =
0.04 B = 0
0.1, 0.1
F
f f = =
0 B =
0
0.1
0.1
F
f
f
=
=
( ) F t
( ) x t
k
B
m
53
Modelo de Simulacin
1 m =
Out1
f (t)
1
s
1
s
B
1/m
k
( ) F t
( ) x t
k
B
m
2
0
2
k
f
t | |
=
|
\ .
0
0.1
0.11
F
f
f
=
=
0 B =
0.105
F
f =
0
0.1 f =
0.11
F
f =
0 B =