Estudio de funciones periódicas

(Ésta es una versión preliminar de la teorı́a del tema.)

Una función f (x) se dice que es periódica de periodo T 6= 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 prefiere trabajar en el intervalo [0, 2π]. Para ello hay que realizar
un cambio de escala tal que t = 2πx/T . Con este cambio de escala, todas las
funciones periódicas pueden tener un periodo 2π.
R a+T
Sea f (x) integrable en [a, a + T ]. Se verifica entonces que a f (x)dx =

.es
RT
0
f (x)dx, basta descomponer la primera integral en dos:
Z a+T Z T Z a+T
f (x)dx = f (x)dx + f (x)dx (1)
a a T

un
y hacer el cambio de variable x = T + t en la segunda integral:
Z T Z a Z T Z a Z T
f (x)dx + f (t + T )dt = f (x)dx + f (t)dt = f (x)dx (2)
a 0
cn a 0 0

Si, particularmente, a = −T /2, se tiene que:

Z T Z T /2
f (x)dx = f (x)dx (3)
.te
0 −T /2

Independientemente deR la periodicidad, si una función es impar (f (x) =

a
−f (−x), ∀x), cumple que −a f (x)dx ≡ 0, basta con descomponer la integral en
dos:
w

Z Z a Z 0 a
f (x)dx = f (x)dx + f (x)dx (4)
−a −a 0
ww

y hacer el cambio de variable x = −t en la segunda integral:

Z 0 Z −a Z 0 Z 0
f (x)dx − f (−t)dt = f (x)dx + f (t)dt = 0 (5)
−a 0 −a −a

Esto implica que la integral de una función impar en un intervalo simétrico es

nula. Esto no ocurre con una función par (f (x) = f (−x), ∀x).
Sin embargo, sı́ se cumple si f (x) es impar y periódica:
Z T /2 Z T
f (x)dx = 0 = f (x)dx (6)
−T /2 0

c 2009 Tecnun (University of Navarra) 1
Estudio de funciones trigonométricas.
Se estudiarán ahora las funciones cos(2kπx/T ) (función par) y sin(2kπx/T )
(función impar), con k ∈ N . El periodo A de estas funciones será una magnitud
no nula tal que    
2kπ 2kπ
cos (x + A) = cos x , ∀x (7)
T T
Desarrollando el primer término e igualando los coeficientes de cos(2kπx/T ) y
sin(2kπx/T ), se llega a que A = T . Análogamente para sin(2kπx/T ), se llega a
que A = T .
Algunas propiedades interesantes de estas funciones son que

.es
Z T
sin(2kπx/T )dx = 0 (8)
0

por ser sin(2kπx/T ) una función periódica impar y que

un
Z T
cos(2kπx/T )dx = 0 (9)
0
cn
lo cual no ocurre como norma general en las funciones pares.
Además Z T
2kπx 2rπx
sin( ) cos( )dx = 0, ∀k, r (10)
0 T T
.te
por resultar una función impar el producto de una función par y otra impar.
El producto de dos senos:
Z T
2kπx 2rπx
sin( ) sin( )dx = 0, k 6= r (11)
T T
w

Y si k = r Z T
2kπx T
sin2 (
ww

)dx = , ∀k ∈ N (12)
0 T 2
El producto de dos cosenos:
Z T
2kπx 2rπx
cos( ) cos( )dx = 0, k 6= r (13)
0 T T

Y si k = r Z T
2kπx T
cos2 ( )dx = , ∀k ∈ N (14)
0 T 2
Con ello, se ha conseguido generar el siguiente conjunto de funciones
       
2πx 2πx 4πx 4πx
{1, cos , sin , cos , sin ,...} (15)
T T T T

c 2009 Tecnun (University of Navarra) 2
Definiendo el producto escalar como
Z T
hf, gi = f (x)g(x)dx (16)
0

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) 6= g(x), da 0 y

h1, 1i = T (17)
    
2kπx 2kπx T

.es
cos , cos = (18)
T T 2
    
2kπx 2kπx T
sin , sin = (19)
T T 2

un
Polinomio trigonométrico.
Sea f (x) una función periódica de periodo T . Se pretende definir un “poli-
nomio trigonométrico” q(x) de n términos, que aproxime a f (x):
cn
n   n  
a0 X 2kπx X 2kπx
f (x) ≈ q(x) = + ak cos + bk sin (20)
2 T T
k=1 k=1
.te
Para determinar a0 , ak , bk , k = 1 . . . n, el error cuadrático medio E(a0 , ak , bk ) ha
de ser mı́nimo, es decir
Z T
2
E(a0 , ak , bk ) = (f (x) − q(x)) dx : mı́nimo ⇔
w

∂E
=0
ww

∂a0
(21)
∂E
= 0, k = 1 . . . n
∂ak

∂E
= 0, k = 1 . . . n
∂bk

Con ello se generan 2n + 1 ecuaciones para determinar 2n + 1 incógnitas:

Z T
∂E 1
= 0 = −2 (f (x) − g(x)) dx
∂a0 0 2
(22)
Z T
2
⇒ a0 = f (x)dx
T 0

c 2009 Tecnun (University of Navarra) 3
 Z T
∂E 2rπx
= 0 = −2 (f (x) − g(x)) cos( )dx
∂ar 0 T
(23)
2 T
Z  
2rπx
⇒ ar = f (x) cos dx
T 0 T
Z T
∂E 2rπx
= 0 = −2 (f (x) − g(x)) sin( )dx
∂br 0 T
(24)
Z T  
2 2rπx
⇒ br = f (x) sin dx
T 0 T

.es
Se va a proceder ahora al estudio del comportamiento de los coeficientes a0 ,
ak y bk , k ∈ N . a0 /2 representa el valor medio de la función f (x) en el intervalo
[0, T ] y en toda la recta real (teorema del valor medio):

un
Z T
a0 1
= f (x)dx (25)
2 T 0

Para estudiar el comportamiento de ak , se plantea la siguiente integral:

cn
Z T /2    
T 2kπx
f x− cos dx (26)
−T /2 2k T

Haciendo el cambio de variable x − T /2k = u:

.te

Z T /2−T /2k  
2kπu
f (u) cos + π du (27)
−T /2−T /2k T
w

y dándose cuenta de que desplazamientos de igual magnitud en los lı́mites infe-

rior y superior de la integral (en un ciclo) de una función periódica no alteran
el resultado de la integral, se llega a que
ww

Z T /2  
2kπu T
− f (u) cos du = −ak (28)
−T /2 T 2

Es decir: Z T /2  
2 2kπx
ak = f (x) cos dx
T −T /2 T
(29)
Z T /2    
2 T 2kπx
=− f x− cos dx
T −T /2 2k T
Sumando:
Z T /2
    
2 T 2kπx
2ak = f (x) − f x − cos dx (30)
T −T /2 2k T

c 2009 Tecnun (University of Navarra) 4
Cuando k → ∞, f (x − T /2k) → f (x), es decir, el módulo de continuidad,
w(δ, x0 ), de la función, definida como

w(x0 , δ) = sup |f (x) − f (x0 )| (31)

|x−x0 |<δ

tiende a 0. Por tanto, cuando k → ∞, ak → 0. Análogamente, cuando k → ∞,

bk → 0.
Finalmente, se aceptará sin demostración que cuando n → ∞, f (x) ≡ q(x):
∞   ∞  
a0 X 2kπx X 2kπx
f (x) = + ak cos + bk sin (32)
2 T T

.es
k=1 k=1

Éste serı́a el desarrollo en serie de Fourier de una función periódica, como se

verá más adelante. Volviendo al error cuadrático medio:

un
Z T
(f (x) − q(x))2 dx ≡ 0 (33)
0

si n → ∞.
Como peculiaridad, cabe señalar que las funciones periódicas pares sólo tie-
cn
nen términos en cosenos (a0 6= 0, ak 6= 0, bk = 0), mientras que las funciones
periódicas impares sólo tienen términos en senos (bk 6= 0, a0 = ak = 0).
Si se plantea
Z T
.te
q 2 (x)dx (34)
0
y considerando que
   
2kπx 2kπx
w

{1, cos , sin , k = 1, 2, . . . } (35)

T T

forman una base ortogonal respecto del producto escalar de funciones tal y como
ww

se habı́a definido anteriormente, se llega a que

Z T n
!
2 T a20 X 2 2
q (x)dx = + (ak + bk ) (36)
0 2 2
k=1

Si se plantea ahora
Z T
f (x)q(x)dx (37)
0
y considerando la definición de a0 , ak y bk , se llega a que
Z T n
! Z
T
T a20 X 2
f (x)q(x)dx = + (ak + b2k ) ≡ q 2 (x)dx (38)
0 2 2 0
k=1

c 2009 Tecnun (University of Navarra) 5
Por tanto:
Z T
2
(f (x) − q(x)) dx =
0

Z T Z T Z T
= f 2 (x)dx − 2 f (x)q(x)dx + q 2 (x)dx = (39)
0 0 0

Z T Z T
= f 2 (x)dx − q 2 (x)dx ≥ 0
0 0

.es
La desigualdad de Bessel establece que
n
!
T
a20 X 2
Z
T
f 2 (x)dx ≥ + (ak + b2k ) (40)
0 2 2
k=1

un
Como se ha deducido que ak → 0, bk → 0 cuando k → ∞, se puede obetener
un valor de n para que la desigualdad sea lo menor posible (tolerancia) y se
obtenga una aproximación de f (x) mediante q(x) mejor.
cn
Forma exponencial compleja de una función periódica.
Antes que nada, unos conceptos necesarios: T es el periodo; f = 1/T , la
frecuencia; ω0 = 2π/T = 2πf , la pulsación natural, que coincide con el primer
.te
armónico; 2ω0 es el segundo armónico y kω0 es el k-ésimo armónico. De acuerdo
con esto, la expresión de q(x) es
n n
a0 X X
q(x) = + ak cos(kω0 x) + bk sin(kω0 x) (41)
2
w

k=1 k=1

Cuanto mayor es el orden del armónico, menor es el valor del coeficiente asociado
ww

a ese armónico (ak , bk → 0 si k → ∞).

Es conocido que
1 ikω0 x
+ e−ikω0 x


cos(kω0 x) = e (42)
2
1 ikω0 x
− e−ikω0 x


sin(kω0 x) =
e (43)
2i
Sustituyendo en la expresión de q(x) y agrupando términos, se tiene que
n n
a0 X ikω0 x ak − ibk X −ikω0 x ak + ibk
q(x) = + e + e (44)
2 2 2
k=1 k=1

Llamando
ak − ibk
ck = (45)
2

c 2009 Tecnun (University of Navarra) 6
se tiene que
ak + ibk
ck = (46)
2
Por tanto
n n
a0 X X
q(x) = + ck eikω0 x + ck e−ikω0 x (47)
2
k=1 k=1

Además, ak = a−k y bk = −b−k , con lo que ck = c−k , lo que permite hacer lo

siguiente:
Xn
q(x) = ck exp(ikω0 x) (48)

.es
k=−n

con c0 = a0 /2. La anterior es la forma compacta de la forma exponencial com-

pleja de una función periódica. Además, los coeficientes se calculan como

1 T
Z
f (x)e−ikω0 x dx

un
ck = (49)
T 0
Se puede demostrar que, si f (x) es par, ck ∈ < (bk = 0), mientras que si
f (x) es impar, ck ∈ = (a0 = ak = 0).
cn
Teorema de Fourier
Sea f (x) una función periódica y acotada (es decir, puede ser discontinua)
en [0, T ]. Entonces, existe una serie de la forma
.te

∞   X ∞  
a0 X 2kπx 2kπx
h(x) = + ak cos + bk sin (50)
2 T T
k=1 k=1
w

que converge a los valores de f (x) donde la función es continua y a (f (x+ 0)+
f (x−
0 ))/2 en los puntos donde la función es discontinua.
Como ya se ha mencionado, si una función es par tendrá un desarrollo en
ww

cosenos; si es impar tendrá un desarrollo en senos. Si la función es periódica de

periodo T y además verifica que f (x) = −f (x + T /2), ∀x, entonces
∞   X ∞  
X 2 (2n − 1) πx 2 (2n − 1) πx
h(x) = a2n−1 cos + b2n−1 sin (51)
n=1
T n=1
T

Espectro de potencia y relación de Parseval

A partir de la desigualdad de Bessel, se puede obtener que
n
1 T 2 a2 X a2k + b2k
Z
f (x)dx ≥ 0 + (52)
T 0 4 2
k=1

El término a20 /4 proporciona la potencia media de la función. La potencia del

primer armónico será (a21 + b21 )/2 y ası́ sucesivamente. Como ak , bk → 0 cuando

c 2009 Tecnun (University of Navarra) 7
k → ∞, la potencia de armónicos sucesivos va decreciendo. El espectro de
potencia es una representación gráfica de la potencia asociada a un armónico
en función del orden de dicho armónico. Con él es más sencillo elegir el orden
de armónico con el que la función está mejor representada (tolerancia).
Si el desarrollo de f (x) se hace hasta el infinito, la desigualdad de Bessel se
convierte en la relación de Parseval:
∞ ∞
1 T 2 a2 X a2k + b2k
Z X
f (x)dx ≡ 0 + = |ck |2 (53)
T 0 4 2
k=1 k=−∞

.es
un
cn
w .te
ww

c 2009 Tecnun (University of Navarra) 8