Professional Documents
Culture Documents
Funciones peridicas
El nmero p es un perodo de f si para todo x; f (x + p) = f (x). Es claro que 0
es perodo de cualquier funcin, de modo que reservaremos la calicacin de peridicas
para aquellas funciones que admitan un perodo p 6= 0: An hecho esto, todava queda
un caso trivial: las funciones constantes son peridicas y cualquier nmero es un perodo.
Es fcil vericar que si p es un perodo de f entonces np tambin lo es para
todo entero n. De modo que, excluidas las constantes, uno se imagina a los perodos
de una funcin como una sucesin doblemente innita de puntos igualmente espaciados,
de los cuales es posible seleccionar al primero de ellos que sea positivo, digamos p0 y
llamarlo perodo fundamental. En los casos en que esto sea cierto (que no son todos),
as lo haremos. Ms precisamente, si existe p0 = min fp 2 R+ : p es perodo de f g,
llamaremos a p0 el perodo fundamental de f . en este caso, todo perodo ser de la
forma np0 , con n entero.
Las funciones seno y coseno son peridicas con perodo fundamental 2 . La tangente
tiene perodo fundamental .
Algunas propiedades evidentes de las funciones peridicas cuya prueba se deja para
solaz del lector
(1) El conjunto de las funciones que admiten a p como perodo (funciones p-peridicas)
es un espacio vectorial.
(2) Si f es p-peridica, una traslacin, horizontal o vertical de f (f (t
tambin lo es.
a) ; f (t) + b)
Series de Fourier
y
2
x
2
g. 1.
La misma familia biparamtrica de funciones se puede obtener como respuesta de
otro fenmeno fsico: un movimiento circular uniforme con velocidad angular (ngulo
barrido por unidad de tiempo) ! y radio C. Si la posicin inicial del punto, sobre la
circunferencia con radio C centrada en el origen se determina con un ngulo
respecto
del semieje positivo de abscisas, las coordenadas del punto responden a las ecuaciones
x = C cos (!t + ) ;
y = C sen (!t + ) :
(4)
Ambos son movimientos armnicos simples. El diccionario llama fase a cada uno de
los distintos estados sucesivos de un fenmeno. Aqu
determina el estado inicial del
sistema y se llama la fase inicial o simplemente fase.
2
Series de Fourier
kr;
para alguna constante positiva k, ecuacin que se convierte en una versin bidimensional
de (1) si llamamos ! 2 = k=m.
A las funciones denidas por las ecuaciones (2) o, lo que es lo mismo, (3), las llamaremos funciones senoidales. Cada una de ellas est caracterizada por tres elementos:
frecuencia, fase y amplitud. En cierta forma, toda funcin peridica es una suma (superposicin) de funciones sinoidales. Esta armacin brutal es, por supuesto, falsa. Una
funcin discontinua,
y
g. 2
mal podra ser suma de un nmero nito de funcions de clase C 1 . Pero ser verdadera
en un sentido aproximativo.
Mejor aproximacin
Para hablar de aproximacin de funciones hay que tener una nocin de distancia entre
dos funciones. Esto se puede hacer de muchas maneras. Una de ellas es copiar la distancia
de vectores en Rn .
En Rn la distancia viene dada a partir de la norma que a su vez proviene del producto
interior (producto escalar, producto punto): Si x = (x1 ; :::; xn ), y = (y1 ; :::; yn ),
(x; y) = x y =
n
X
i=1
1
2
kxk = (x; x) =
dist (x; y) = kx
yk :
n
X
x2i
i=1
(5)
xi yi ;
! 12
Series de Fourier
(x; y) + (x; z) ; ( x + y; z) =
0; (x; x) = 0 si y slo si x = 0:
N1. kxk
(x; z) + (y; z)
0; kxk = 0 si y slo si x = 0:
N2. k xk = j j kxk :
La desigualdad de Cauchy-Schwarz,
j(x; y)j
kxk kyk ;
kxk + kyk :
Intentamos ahora denir distancia entre funciones sobre una clase sucientemente
amplia que incluya a las funciones que admiten determinada periodicidad, digamos
2p peridicas. Como toda funcin 2p peridica queda determinada por su comportamiento en cualquier intervalo de longitud 2p, bastar considerar funciones denidas
en el intervalo [ p; p], sabiendo que estn extendidas peridicamente a toda la recta.
Elegimos para trabajar la clase de funciones integrables Riemann en ese intervalo. Se
sabe que, por ejemplo, pertenecen a esta clase las funciones acotadas con una cantidad
numerable de discontinuidades. Las discontinuidades son frecuentes en la prctica. Debe
adems tenerse en cuenta que la regularidad en el intervalo elegido no se propaga a la
funcin extendida por periodicidad si no se toman recaudos en los extremos del intervalo.
Una funcin f , continua en [ p; p] debe adems vericar f ( p) = f (p) para que su
extensin 2p peridica sea continua.
Sea entonces R [ p; p] el espacio de las funciones integrables Riemann en el intervalo
[ p; p]. Se sabe que R [ p; p] es un espacio vectorial. Los valores f (t) de f en cada
punto t del intervalo juegan el papel de las coordenadas xi de un vector x. De manera
que una copia adecuada a esta circunstancia de la denicin de producto interno en Rn ,
sugiere para el producto interno en R [ p; p] la siguiente denicin:
Z
1 p
(f; g) =
f (t) g (t) dt
(6)
p p
(la consante p1 en la denicin simplicar algunas expresiones en el futuro). Es bastante
fcil probar que se verican las propiedades PI 1, PI 2, y la primera parte de PI 3,
cambiando x,y,z, por f; g; h: La segunda parte de PI 3, (f; f ) = 0 si y slo si f = 0;
4
Series de Fourier
Para funciones continuas, nada cambia. f = g sii f (t) = g (t) para todo t: Pero
consideraremos iguales a funciones que dieren en algunos puntos aislados. Con esta
interpretacin, la operacin denida por (6) y la norma y distancia denidas a partir de
ellas como en (5), gozan de las propiedades de producto interno, norma y distancia que
conocemos para vectores de Rn . Me permito reiterar que copiar el procedimiento (5)
para denir norma y distancia signica que
kf k =
1
p
dist (f; g) = kf
p
p
1
2
jf (t)j dt
1
p
gk =
;
p
p
jf (t)
g (t)j dt
1
2
p
p-q
g. 3
La existencia de producto interno en R [ p; p] permite denir perpendicularidad y
repetir esta misma idea.
En Rn , el teorema de Pitgoras establece que dos vectores son perpendiculares si y
slo si
kx + yk2 = kxk2 + kyk2 :
5
Series de Fourier
n
X
l;
k k;
k=1
n; se tiene
k l k2 )
= 0:
n
X
k=1
k=1
2
kk
Demostracin:
n
X
2
k
k=1
n
X
k=1
n
X
k;
n
X
j=1
k;
k)
+0=
k=1
k=j
n
X
k=1
k;
k;
k6=j
kk
1
p
2
; ]:
:
(7)
Series de Fourier
n
X
ck
k:
k=1
Pn
0
k=1 ck k ,
sn k
kf
gk
m entonces kf
sm k
kf
sn k :
= cl
n
X
ck
k=1
kl
= cl
cl = 0:
k=1
gk2 = kf
sn + sn
gk2 = kf
sn k2 + ksn
gk2 ;
Series de Fourier
k = 1; 2; :::
k = 1; 2; :::
(8)
1
a00 p
n
X
(9)
ak cos kx + bk sen kx =
k=1
n
X
a0
+
ak cos kx + bk sen kx:
2
k=1
4a X sen (2k + 1) x
2k + 1
k=0
n
Si nos quedamos con cinco trminos y comparamos con la funcin original para a = 1;
obtenemos lo siguiente:
y
1
Series de Fourier
Funciones de perodo p = 2L
Si f (x) es 2L peridica, f
f
es 2
(x + 2 ) = f
Si f k (x)g1
k=1 es un s.o.n. en R [
para el producto interior
; ];
1
(f; g) =
L
peridica. En efecto,
x + 2L
k
=f
x
1
k=1
x :
ser un s.o.n. en R [ L; L]
kj :
Para funciones pares e impares las frmulas de Euler se simplican de manera obvia.
Si f es par,
Z
k
2 L
f (x) cos
x dx;
bk = 0
ak =
L 0
L
y si f es impar,
Z
2 L
k
ak = 0;
bk =
f (x) sen
x dx:
L 0
L
Series de Fourier
Por supuesto, el teorema de mejor aproximacin invita a considerar lmites de las
sumas parciales de Fourier convirtindolas en series innitas.
a0 X
+
ak cos kx + bk sen kx:
2
k=1
1
Se usa la notacin
f (x) s
a0 X
+
ak cos kx + bk sen kx:
2
k=1
1
(10)
(11)
Series de Fourier
sn k = 0:
n!1
Convergencia puntual:
lim sn (x) = f (x) :
n!1
Convergencia uniforme:
8"9N = N (") : (n
N ) jf (x)
h)
f (x+) = lim+ f (x + h)
DR f (x) = lim+
h!0
f (x + h) f (x )
h
h!0
f (x + h) f (x+)
;
h
10