Notas Funciones Periodicas
Notas Funciones Periodicas
w
w
.
t
e
c
n
u
n
.
e
s
Estudio de funciones periodicas
(
k=1
a
k
cos
_
2kx
T
_
+
n
k=1
b
k
sin
_
2kx
T
_
(20)
Para determinar a
0
, a
k
, b
k
, k = 1 . . . n, el error cuadratico medio E(a
0
, a
k
, b
k
) ha
de ser mnimo, es decir
E(a
0
, a
k
, b
k
) =
_
T
0
(f(x) q(x))
2
dx : mnimo
E
a
0
= 0
E
a
k
= 0, k = 1 . . . n
E
b
k
= 0, k = 1 . . . n
(21)
Con ello se generan 2n + 1 ecuaciones para determinar 2n + 1 incognitas:
E
a
0
= 0 = 2
_
T
0
(f(x) g(x))
1
2
dx
a
0
=
2
T
_
T
0
f(x)dx
(22)
c _ 2009 Tecnun (University of Navarra) 3
w
w
w
.
t
e
c
n
u
n
.
e
s
E
a
r
= 0 = 2
_
T
0
(f(x) g(x)) cos(
2rx
T
)dx
a
r
=
2
T
_
T
0
f(x) cos
_
2rx
T
_
dx
(23)
E
b
r
= 0 = 2
_
T
0
(f(x) g(x)) sin(
2rx
T
)dx
b
r
=
2
T
_
T
0
f(x) sin
_
2rx
T
_
dx
(24)
Se va a proceder ahora al estudio del comportamiento de los coecientes a
0
,
a
k
y b
k
, k N. a
0
/2 representa el valor medio de la funcion f(x) en el intervalo
[0, T] y en toda la recta real (teorema del valor medio):
a
0
2
=
1
T
_
T
0
f(x)dx (25)
Para estudiar el comportamiento de a
k
, se plantea la siguiente integral:
_
T/2
T/2
f
_
x
T
2k
_
cos
_
2kx
T
_
dx (26)
Haciendo el cambio de variable x T/2k = u:
_
T/2T/2k
T/2T/2k
f (u) cos
_
2ku
T
+
_
du (27)
y dandose cuenta de que desplazamientos de igual magnitud en los lmites infe-
rior y superior de la integral (en un ciclo) de una funcion periodica no alteran
el resultado de la integral, se llega a que
_
T/2
T/2
f (u) cos
_
2ku
T
_
du = a
k
T
2
(28)
Es decir:
a
k
=
2
T
_
T/2
T/2
f(x) cos
_
2kx
T
_
dx
=
2
T
_
T/2
T/2
f
_
x
T
2k
_
cos
_
2kx
T
_
dx
(29)
Sumando:
2a
k
=
2
T
_
T/2
T/2
_
f(x) f
_
x
T
2k
__
cos
_
2kx
T
_
dx (30)
c _ 2009 Tecnun (University of Navarra) 4
w
w
w
.
t
e
c
n
u
n
.
e
s
Cuando k , f(x T/2k) f(x), es decir, el modulo de continuidad,
w(, x
0
), de la funcion, denida como
w(x
0
, ) = sup
|xx0|<
[f(x) f(x
0
)[ (31)
tiende a 0. Por tanto, cuando k , a
k
0. Analogamente, cuando k ,
b
k
0.
Finalmente, se aceptara sin demostracion que cuando n , f(x) q(x):
f(x) =
a
0
2
+
k=1
a
k
cos
_
2kx
T
_
+
k=1
b
k
sin
_
2kx
T
_
(32)
k=1
(a
2
k
+ b
2
k
)
_
(36)
Si se plantea ahora
_
T
0
f(x)q(x)dx (37)
y considerando la denicion de a
0
, a
k
y b
k
, se llega a que
_
T
0
f(x)q(x)dx =
T
2
_
a
2
0
2
+
n
k=1
(a
2
k
+ b
2
k
)
_
_
T
0
q
2
(x)dx (38)
c _ 2009 Tecnun (University of Navarra) 5
w
w
w
.
t
e
c
n
u
n
.
e
s
Por tanto:
_
T
0
(f(x) q(x))
2
dx =
=
_
T
0
f
2
(x)dx 2
_
T
0
f(x)q(x)dx +
_
T
0
q
2
(x)dx =
=
_
T
0
f
2
(x)dx
_
T
0
q
2
(x)dx 0
(39)
La desigualdad de Bessel establece que
_
T
0
f
2
(x)dx
T
2
_
a
2
0
2
+
n
k=1
(a
2
k
+ b
2
k
)
_
(40)
Como se ha deducido que a
k
0, b
k
0 cuando k , se puede obetener
un valor de n para que la desigualdad sea lo menor posible (tolerancia) y se
obtenga una aproximacion de f(x) mediante q(x) mejor.
Forma exponencial compleja de una funci on periodica.
Antes que nada, unos conceptos necesarios: T es el periodo; f = 1/T, la
frecuencia;
0
= 2/T = 2f, la pulsacion natural, que coincide con el primer
armonico; 2
0
es el segundo armonico y k
0
es el k-esimo armonico. De acuerdo
con esto, la expresion de q(x) es
q(x) =
a
0
2
+
n
k=1
a
k
cos(k
0
x) +
n
k=1
b
k
sin(k
0
x) (41)
Cuanto mayor es el orden del armonico, menor es el valor del coeciente asociado
a ese armonico (a
k
, b
k
0 si k ).
Es conocido que
cos(k
0
x) =
1
2
_
e
ik0x
+ e
ik0x
_
(42)
sin(k
0
x) =
1
2i
_
e
ik0x
e
ik0x
_
(43)
Sustituyendo en la expresion de q(x) y agrupando terminos, se tiene que
q(x) =
a
0
2
+
n
k=1
e
ik0x
a
k
ib
k
2
+
n
k=1
e
ik0x
a
k
+ ib
k
2
(44)
Llamando
c
k
=
a
k
ib
k
2
(45)
c _ 2009 Tecnun (University of Navarra) 6
w
w
w
.
t
e
c
n
u
n
.
e
s
se tiene que
c
k
=
a
k
+ ib
k
2
(46)
Por tanto
q(x) =
a
0
2
+
n
k=1
c
k
e
ik0x
+
n
k=1
c
k
e
ik0x
(47)
Ademas, a
k
= a
k
y b
k
= b
k
, con lo que c
k
= c
k
, lo que permite hacer lo
siguiente:
q(x) =
n
k=n
c
k
exp(ik
0
x) (48)
con c
0
= a
0
/2. La anterior es la forma compacta de la forma exponencial com-
pleja de una funcion periodica. Ademas, los coecientes se calculan como
c
k
=
1
T
_
T
0
f(x)e
ik0x
dx (49)
Se puede demostrar que, si f(x) es par, c
k
' (b
k
= 0), mientras que si
f(x) es impar, c
k
(a
0
= a
k
= 0).
Teorema de Fourier
Sea f(x) una funcion periodica y acotada (es decir, puede ser discontinua)
en [0, T]. Entonces, existe una serie de la forma
h(x) =
a
0
2
+
k=1
a
k
cos
_
2kx
T
_
+
k=1
b
k
sin
_
2kx
T
_
(50)
que converge a los valores de f(x) donde la funcion es continua y a (f(x
+
0
) +
f(x
0
))/2 en los puntos donde la funcion es discontinua.
Como ya se ha mencionado, si una funcion es par tendra un desarrollo en
cosenos; si es impar tendra un desarrollo en senos. Si la funcion es periodica de
periodo T y ademas verica que f(x) = f(x + T/2), x, entonces
h(x) =
n=1
a
2n1
cos
_
2 (2n 1) x
T
_
+
n=1
b
2n1
sin
_
2 (2n 1) x
T
_
(51)
Espectro de potencia y relaci on de Parseval
A partir de la desigualdad de Bessel, se puede obtener que
1
T
_
T
0
f
2
(x)dx
a
2
0
4
+
n
k=1
a
2
k
+ b
2
k
2
(52)
El termino a
2
0
/4 proporciona la potencia media de la funcion. La potencia del
primer armonico sera (a
2
1
+b
2
1
)/2 y as sucesivamente. Como a
k
, b
k
0 cuando
c _ 2009 Tecnun (University of Navarra) 7
w
w
w
.
t
e
c
n
u
n
.
e
s
k , la potencia de armonicos sucesivos va decreciendo. El espectro de
potencia es una representacion graca de la potencia asociada a un armonico
en funcion del orden de dicho armonico. Con el es mas sencillo elegir el orden
de armonico con el que la funcion esta mejor representada (tolerancia).
Si el desarrollo de f(x) se hace hasta el innito, la desigualdad de Bessel se
convierte en la relacion de Parseval:
1
T
_
T
0
f
2
(x)dx
a
2
0
4
+
k=1
a
2
k
+ b
2
k
2
=
k=
[c
k
[
2
(53)
c _ 2009 Tecnun (University of Navarra) 8