w

w
w
.
t
e
c
n
u
n
.
e
s
Estudio de funciones periodicas
(

Esta es una version preliminar de la teora del tema.)

Una funcion f(x) se dice que es periodica de periodo T ,= 0 cuando f(x) =
f(x + T), x. Si se conoce f(x) en el intervalo [0, T] (su ciclo), se la conoce en
toda la recta real.
A veces, se preere trabajar en el intervalo [0, 2]. Para ello hay que realizar
un cambio de escala tal que t = 2x/T. Con este cambio de escala, todas las
funciones periodicas pueden tener un periodo 2.
Sea f(x) integrable en [a, a + T]. Se verica entonces que
_
a+T
a
f(x)dx =
_
T
0
f(x)dx, basta descomponer la primera integral en dos:
_
a+T
a
f(x)dx =
_
T
a
f(x)dx +
_
a+T
T
f(x)dx (1)
y hacer el cambio de variable x = T + t en la segunda integral:
_
T
a
f(x)dx +
_
a
0
f(t + T)dt =
_
T
a
f(x)dx +
_
a
0
f(t)dt =
_
T
0
f(x)dx (2)
Si, particularmente, a = T/2, se tiene que:
_
T
0
f(x)dx =
_
T/2
T/2
f(x)dx (3)
Independientemente de la periodicidad, si una funcion es impar (f(x) =
f(x), x), cumple que
_
a
a
f(x)dx 0, basta con descomponer la integral en
dos:
_
a
a
f(x)dx =
_
0
a
f(x)dx +
_
a
0
f(x)dx (4)
y hacer el cambio de variable x = t en la segunda integral:
_
0
a
f(x)dx
_
a
0
f(t)dt =
_
0
a
f(x)dx +
_
0
a
f(t)dt = 0 (5)
Esto implica que la integral de una funcion impar en un intervalo simetrico es
nula. Esto no ocurre con una funcion par (f(x) = f(x), x).
Sin embargo, s se cumple si f(x) es impar y periodica:
_
T/2
T/2
f(x)dx = 0 =
_
T
0
f(x)dx (6)
c _ 2009 Tecnun (University of Navarra) 1
w
w
w
.
t
e
c
n
u
n
.
e
s
Estudio de funciones trigonometricas.
Se estudiaran ahora las funciones cos(2kx/T) (funcion par) y sin(2kx/T)
(funcion impar), con k N. El periodo A de estas funciones sera una magnitud
no nula tal que
cos
_
2k
T
(x + A)
_
= cos
_
2k
T
x
_
, x (7)
Desarrollando el primer termino e igualando los coecientes de cos(2kx/T) y
sin(2kx/T), se llega a que A = T. Analogamente para sin(2kx/T), se llega a
que A = T.
Algunas propiedades interesantes de estas funciones son que
_
T
0
sin(2kx/T)dx = 0 (8)
por ser sin(2kx/T) una funcion periodica impar y que
_
T
0
cos(2kx/T)dx = 0 (9)
lo cual no ocurre como norma general en las funciones pares.
Ademas
_
T
0
sin(
2kx
T
) cos(
2rx
T
)dx = 0, k, r (10)
por resultar una funcion impar el producto de una funcion par y otra impar.
El producto de dos senos:
_
T
0
sin(
2kx
T
) sin(
2rx
T
)dx = 0, k ,= r (11)
Y si k = r
_
T
0
sin
2
(
2kx
T
)dx =
T
2
, k N (12)
El producto de dos cosenos:
_
T
0
cos(
2kx
T
) cos(
2rx
T
)dx = 0, k ,= r (13)
Y si k = r
_
T
0
cos
2
(
2kx
T
)dx =
T
2
, k N (14)
Con ello, se ha conseguido generar el siguiente conjunto de funciones
1, cos
_
2x
T
_
, sin
_
2x
T
_
, cos
_
4x
T
_
, sin
_
4x
T
_
, . . . (15)
c _ 2009 Tecnun (University of Navarra) 2
w
w
w
.
t
e
c
n
u
n
.
e
s
Deniendo el producto escalar como
f, g) =
_
T
0
f(x)g(x)dx (16)
se tiene que el anterior conjunto de funciones forma una base ortogonal respecto
de ese producto escalar, pues el producto escalar de cualesquiera dos funciones
f(x) y g(x), f(x) ,= g(x), da 0 y
1, 1) = T (17)
_
cos
_
2kx
T
_
, cos
_
2kx
T
__
=
T
2
(18)
_
sin
_
2kx
T
_
, sin
_
2kx
T
__
=
T
2
(19)
Polinomio trigonometrico.
Sea f(x) una funcion periodica de periodo T. Se pretende denir un poli-
nomio trigonometrico q(x) de n terminos, que aproxime a f(x):
f(x) q(x) =
a
0
2
+
n

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)

Este sera el desarrollo en serie de Fourier de una funcion periodica, como se

vera mas adelante. Volviendo al error cuadratico medio:
_
T
0
(f(x) q(x))
2
dx 0 (33)
si n .
Como peculiaridad, cabe se nalar que las funciones periodicas pares solo tie-
nen terminos en cosenos (a
0
,= 0, a
k
,= 0, b
k
= 0), mientras que las funciones
periodicas impares solo tienen terminos en senos (b
k
,= 0, a
0
= a
k
= 0).
Si se plantea
_
T
0
q
2
(x)dx (34)
y considerando que
1, cos
_
2kx
T
_
, sin
_
2kx
T
_
, k = 1, 2, . . . (35)
forman una base ortogonal respecto del producto escalar de funciones tal y como
se haba denido anteriormente, se llega a que
_
T
0
q
2
(x)dx =
T
2
_
a
2
0
2
+
n

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