Está en la página 1de 90

UNIVERSIDAD DISTRITAL FRANCISCO JOSE DE CALDAS

FACULTAD DE INGENIERIA

PROYECTO CURRICULAR INGENIERIA ELECTRONICA

ANALISIS DE FOURIER CONTINUO Y DISCRETO


NOTAS DE CLASE

MATEMATICAS ESPECIALES I

Por

JOSE HUMBERTO SERRANO DEVIA

Universidad Distrital
Distrital Francisco Jos De Caldas

Bogot,
Bogot, Diciembre de 2010

CONTENIDO

INTRODUCCION AL ANALISIS
ANALISIS DE FOURIER .

1. SERIES DE FOURIER..
.

2. INTEGRALES Y TRANSFORMADAS DE FOURIER..


3. TRANSFORMADA DISCRETA DE FOURIER
FOURIER ...

REFERENCIAS.

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

Introduccin al anlisis de Fourier

Muchos fenmenos naturales, tales como, el acstico y el ptico,


son de carcter peridico.
peridico Por ejemplo, se sabe que un sonido
musical se compone de oscilaciones regulares, particularmente
de un tono fundamental con una cierta frecuencia 8, y armnicos
con frecuencias 28 , 38 , 48, .La razn de la intensidad del tono
fundamental con respecto a los armnicos es decisiva en nuestra
impresin del sonido. Los sonidos, exentos de armnicos
existen, por ejemplo, en la msica electrnica, denominados
tonos sinusoidales puros.
En un oscilador electrnico, se genera una corriente cuya
intensidad en el tiempo t vara de acuerdo a la frmula
=>?@ABC D E FG

= es la amplitud de la oscilacin;

BC es la frecuencia angular, BC I 2J8 veces la frecuencia;

F es una constante que define el estado en el tiempo D I 0

En un altavoz, las variaciones de corriente son convertidas en


variaciones de presin de aire que, bajo condiciones ideales, son
descritas por la misma funcin. En la prctica, sin embargo,
siempre existe una cierta distorsin, producindose los
armnicos. Las variaciones de presin de aire que el odo puede
soportar, desde este punto de vista, puede ser descrita como una
suma de la forma
M

K =L >?@A@BC D E FL G A1G

LNO

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

La descomposicin de un fenmeno peridico en un tono


fundamental y armnicos permea no solo la acstica, sino
tambin otras reas. Esto est relacionado con un importante,
teorema matemtico, dado inicialmente por Fourier. De acuerdo
con este teorema, una funcin 8ADG peridica con periodo
2J/BC puede, bajo ciertas condiciones, ser expandida en una
serie de la forma A1G Auna funcin Ao sealG tiene periodo R
si 8AD E RG I 8ADG, para todo DG. Una formulacin ms precisa se
dar ms adelante.
Una expansin de la forma A1G puede expresarse en muchas
formas equivalentes. Si definimos
SL I =L >?@FL y TL I =L UV>FL

Entonces usando la formula de adicin para la funcin seno


podemos escribir
M

SC
E K SL cosA@BC DG E TL >?@A@BC DG
8 AD G I
2
LNO

donde SL W TL son constantes reales. Otra forma, la cual a


menudo es ms conveniente, puede obtenerse con la ayuda de la
formula de Euler,
?XYZ[\ ] I UV>\ E [>?@\

De aqu se deduce que


O

UV>\ I A?XYZ[\] E ?XYZ_[\ ]G, >?@\ I


^

Entonces

^`

A?XYZ[\ ] _ ?XYZ_[\ ]G

8ADG I K UL ?XYZ[@BC D] A2G


LNaM

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

donde

UC I SC ,
O

UL I ASL _ [TL G,

UaL I ULb I

1
AS E [TL G. @ I 1,2,
2 L

Desde ese momento se usa el trmino series de Fourier para


denotar una expansin de la forma (2). Llamaremos las sumas
parciales de stas, series de polinomios trigonomtricos.
trigonomtricos Algunas
veces el termino anlisis espectral es usado para describir los
mtodos de arriba.

Las series de Fourier son valiosas en el estudio de fenmenos


peridicos en el tiempo (vibraciones, sonido, luz, corriente
alterna, etc.) o en el espacio (ondas, estructuras de cristal, etc.).
Un rea muy importante de aplicacin ocurre con las seales
digitales y el procesamiento de imgenes, las cuales son usadas
en la interpretacin de seales sonar y de radar. Otra son las
series de tiempo, usadas en teora de comunicaciones, teora de
control y el estudio de turbulencia. Para el analista numrico, el
anlisis de Fourier es particularmente una tarea computacional
comn e importante ayuda en el anlisis de propiedades de
mtodos numricos.
Las formulas bsicas y teoremas son deducidos en la seccin ( ),
las cuales dependen de la amplia teora de la seccin( ).
Modificaciones de los mtodos de Fourier son usados como un
medio para analizar fenmenos no peridicos; ver, por ejemplo,
seccin ( ) continuacin peridica de funciones) y la seccin( )
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

(Transformada de Fourier). La aproximacin de la transformada


de Fourier usando datos muestreados y la transformada discreta
de Fourier son tratadas en la seccin A G. Los algoritmos FFT
ATransformada rpida de FourierG han tenido un enorme
impacto y han causado un completo cambio de actitud de lo que
puede realizarse usando mtodos discretos de Fourier. La
seccin A G trata los aspectos computacionales de los algoritmos
FFT bsicos.

Series de Fourier

Jean Baptiste Joseph Fourier (1768-1830), matemtico e


ingeniero Francs. El 21 de diciembre de 1807 Fourier presento
ante la academia Francesa su famoso teorema.: una funcin
arbitraria 8 (X ) poda ser representada como una serie infinita
de senos y cosenos. Lo expuso en el primer captulo de su libro
The analytic theory of heat (teora analtica del calor), las ideas
de Fourier eran polmicas y tuvo problemas para publicar su
tratado, pues sus colegas entre ellos Lagrange pensaban que el
resultado no tena sentido que era absurdo .
Sea 8 definida en el intervalo _j k X k j y supongamos por un
momento que 8 es integrable en el intervalo l j, jn . Queremos
encontrar escalares SC , SO , S^ , TO , T^ , .. tales que
aC
@JX
@JX
8AX G I E K pSL UV>(
) E TL >?@(
)q (1)
2
j
j
M

para _ j k X k j.

rNO

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

Coeficientes
Coeficientes de Fourier

Es de esperar que los coeficientes SL , W TL estn estrechamente


relacionados con 8 , para determinarlos, supongamos que la
igualdad (1) se verifica, y que la serie (1) converge
uniformemente. Por lo tanto, la funcin 8 debe ser continua (y
por lo tanto puede ser integrada) .Igualmente, la serie puede
integrarse termino a trmino.
Integrando ambos miembros de (1) entre j y j, obtenemos
u

SC j I s 8(X )tX
au

ya que,

u
@JX
@JX
s UV> v
w tX I s >?@ v
w tX I 0,
j
j
au
au
u

Relaciones de Ortogonalidad

@ I 1,2, . .

Utilizando las identidades trigonomtricas producto- suma


>?@=UV>x I

>?@=>?@x I

1
Z>?@(= E x) E >?@(= _ x)]
2
1
ZUV> (= _ x) _ UV>(= E x)]
2

1
UV>=UV>x I ZUV>(= E x ) E UV>(= _ x)]
2

Se sigue que:

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

@JX
yJX
0,
s UV> v
w UV> v
w tX I z
j,
j
j
au
u

s UV> v
au

y { @|
yI@

yJX
@JX
w >?@ v
w tX I 0
j
j

@JX
yJX
0,
s >?@ v
w >?@ v
w tX I z
j,
j
j
au
u

y { @|
yI@

Ahora, multiplicamos por UV>(yJX/j) ambos lados de (1) e


integrando entre j y j, obtenemos
u

S} j I s 8 (X )UV>(yJX/j )tX
au

De modo similar multiplicamos por UV>(yJX/j) ambos lados

de (1) e integrando entre j y j, obtenemos


u

T} j I s 8(X )UV>(yJX/j)tX
au

Cambiando y por @ obtenemos

1 u
yJX
SL I s 8(X )UV> v
w tX , @ I 0,1,2
j au
j
1 u
yJX
TL I s 8(X )>?@ v
w tX , @ I 1,2
j au
j

Una expresin en serie para el numero ~ (Ejercicio )

Ejemplos resueltos y comentarios de convergencia


puntual
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

( Simetras ) Funciones par e impar

Si la funcin 8 tiene algn tipo de simetra en el intervalo


_j k X k j el clculo de sus coeficientes de Fourier se
simplifica:

a) Si 8 es una funcin par, es decir 8(_X ) I 8(X) para todo X en


el intervalo j k X k j. Entonces TL I 0 para todo entero
positivo @.
a) Si 8 es una funcin impar, es decir 8 (_X ) I _8(X) ) para
todo X en el intervalo _j k X k j. Entonces SL I 0 para todo
entero no negativo @.
Series de Fourier de Funciones pares e impares

En algunos casos la serie de Fourier de una funcin 8 en el


intervalo j k X k j se reduce a una serie con trminos slo de
cosenos de la forma
M

@JX
SC
E K SL cos(
)
2
j
LNO

o bien a una serie nicamente de senos de la forma


M

K TL >?@(

LNO

@JX
)
j

Tales casos aparecen cuando la funcin 8 es par o impar

 1. Se dice que una funcin 8 es par si 8(_X ) I


8(X).La grafica de una funcin par es simtrica con respecto al
eje vertical.

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

10

Ejemplo 1 La funcin 8 (X ) I X es par ya que

8(_X ) I (_X) I X I 8(X)


L

Ejemplo 2 La funcin 8 (X ) I cos v


8(_X ) I cos (_

w es par, ya que

@JX
@JX
) I cos (
) I 8(X)
j
j

 2. Se dice que una funcin 8 es impar si


8(_X ) I _8(X). La grafica de una funcin impar es simtrica
respecto al origen.
Ntese que en particular 8 (_0) I _8(0). Entonces 8(0) I 0.
Ejemplo 1 La funcin 8 (X ) I X es impar, ya que
8(_X ) I _X I _8(X)

Ejemplo 2 La funcin 8 (X ) I >?@ (


8(_X ) I >? @ v

L
u

) es impar, ya que

_@JX
@JX
w I _>?@ v
w I _8(X)
j
j

Ejemplo 3.
3 Demostrar que si 8 (_X ) I 8(X) y 8 (_X ) I _8(X).
Entonces 8(X ) I 0 para todo X ( trivial)

Ejemplo 4 Demostrar que cualquier funcin definida en un


intervalo simtricamente localizado puede expresarse como la
suma de una funcin par y una funcin impar.
La funcin 8(X ) puede escribirse como
8(X ) I

1
1
1
1
8(X ) E 8(_X ) E 8(X ) _ 8(_X )
2
2
2
2

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

11

1
1
8(X ) I Z8(X ) E 8(_X )] E Z8 (X ) _ 8(_X)]
2
2

Denotemos por

8 (X ) I
8 (X ) I

1
Z8 (X ) E 8 (_X )]
2

1
Z8 (X ) _ 8(_X )]
2

Entonces 8 (X ) es una funcin par y 8 (X ) es impar, ya que


1
1
8 (_X ) I Z8(_X ) E 8(X )] I Z8 (X ) E 8 (_X )] I 8 (X )
2
2

1
1
8 (_X ) I Z8 (_X ) _ 8(X )] I _ Z8 (X ) _ 8 (_X )] I _8 (X )
2
2

Las funciones pares e impares satisfacen las siguientes


propiedades de adicin y multiplicacin ( tambin se puede
pensar en composicin )
1) La suma de dos funciones pares es una funcin par.

par EparI par

La suma de dos funciones impares es una funcin impar .


Comentario:

impar EimparIimpar
EimparI??
par EimparI

2G El producto de dos funciones pares es una funcin par .

par.parIpar

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

12

3) El producto de dos funciones impares es una funcin par .


impar. imparIpar

4) El producto de una funcin par por una funcin impar es una

funcin impar .

impar.parIpar.imparIimpar

Las demostraciones son muy


directamente de la definicin.

sencillas

se

deducen

Por ejemplo, sean 8 y funciones impares y sea AXG I


8AX GAXG . Esta funcin resulta par, ya que
A_X G I 8A_X G. A_X G I Z_8AXG]. Z_AXG] I 8AX G. AX G I AXG

Propiedades respecto a la integracin


u

5G au 8AX GtX I 0 si 8 es impar


u

6G au 8AX GtX I 2 C 8AX GtX si 8 es par

En A5G y A6G , se supone que 8 es una funcin integrable en


Z_j, j]
Demostracin de A6G
Basta observar que
u

s 8AX GtX I s 8AXG tX E s 8AXG tX


au

au

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

13
u

s 8(X )tX I _ s 8(_W) tW I s 8(W) tW


au

donde se hizo la sustitucin W I _X, para obtener la segunda


integral y se uso el hecho de que 8 es par para obtener la tercera
integral. De modo similar se demuestra A5G
Lema 2

Si 8 es una funcin integrable en Z_j, j]. Entonces

a) La serie de Fourier de una funcin par contiene nicamente


trminos en cosenos.

b) La serie de Fourier de una funcin impar contiene


nicamente trminos en senos
Conclusin

a) Si 8 es par,
par la serie de Fourier de 8 en Z_j, j] es
M

@JX
SC
E K SL cos(
)
8(X ) I
2
j
en donde

LNO

2 u
@JX
SL I s 8(X )cos (
)tX , @ I 0, 1, 2,
j C
j
TL I 0,

YSS @ I 1,2,

b) Si 8 es impar,
impar la serie de Fourier de 8 en Z_j, j] es
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

14
M

8(X ) I K TL >?@(
LNO

en donde

@JX
)
j

SL I 0 , @ I 0, 1,2,

2 u
@JX
TL I s 8(X )sen A
GtX YSS @ I 1,2,
j C
j

Ejemplo 6
Sea

@JX
@JX
SC
E K SL cosA
G E TL >?@A
G , _j k X k j
8 AX G I
2
j
j
LNO

Si 8 AX G y 8 AX G son la parte par e impar de 8 AX G. Entonces las

series de Fourier de 8 AX G y 8 AX G son respectivamente


M

LNO

LNO

SC
@JX
@JX
8 AX G I
E K SL cosA
G y 8 AX G I K TL >?@A
G
2
j
j
Ejercicio 1

Demostrar que el valor de la media cuadrtica de 8 AX G es igual a


la suma de las medias cuadrticas de su parte par e impar es
decir
1 u
1 u
1 u
^
^
s Z8AXG] tX I
s Z8 AXG] tX E
s Z8 AXG]^ tX
2j au
2j au
2j au

Ejercicio 2

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

15

Sea
8 (X ) I 8 (X ) E 8 (X), donde 8 (X ) y 8 (X ) son
componente par e impar de 8 (X ). Entonces

la

1 u
s 8(X )8(X _ D) tX
2j au
1 u
1 u
I
s 8 (X)8 (X _ D) tX E
s 8 (X )8 (X _ D)tX
2j au
2j au

Series de Fourier en cosenos y senos


Una funcin 8 en el intervalo Z0, j] puede ser representada
por mas de una serie de Fourier

En todas las series de Fourier calculadas anteriormente la


funcin 8 estaba definida en el intevalo _j k X k j. Ahora
veremos como escribir una serie de Fourier de 8 en el intervalo
Z0, j] que contenga solamente cosenos o solamente senos segn
se elija
Teorema 2. Sean 8 y 8 continuas por tramos en el
intervalo Z0, j]. Entonces 8(X ) puede ser desarrollada en el
intervalo 0 k X k j en una serie de cosenos solamente.
M

SC
@JX
E K SL UV>(
)
2
j
LNO

o bien en una serie de senos solamente


M

K TL >?@(

LNO

@JX
)
j

segn se elija.
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

16

En el primer caso, los coeficientes SL estn dados por las


expresiones:
2 u
@JX
SL I s 8(X )cos A
GtX , @ I 0, 1, 2,
j C
j

Mientras que en el segundo caso, los coeficientes TL estn dados


por las expresiones
2 u
@JX
TL I s 8AX Gsen A
GtX YSS @ I 1,2,
j C
j
Demostracin: Definimos la funcin
8 AX G,
AX G I
8A_X G,

0kXkj |
_j k X 0

(Describir la grafica de AXG)

es una funcin par, es decir, A_X G I AXG (por esta razn se


dice que es la extensin par de G . Por lo tanto, por el lema 2
la serie de Fourier de en Z_j, j] es
M

@JX
1 u
@JX
SC
AX G I
E K SL cos v
w , SL I s AX Gcos A
GtX ,
2
j
j au
j
LNO

La paridad de la funcin AX G cos v

w implica que

2 u
@JX
2 u
@JX
SL I s AX Gcos A
GtX I s 8 AX Gcos A
GtX
j C
j
j C
j

Finalmente, dado que AX G I 8AXG para 0 k X k j, se tiene que


Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

17
M

SC
@JX
8 AX G I
E K SL cosA
G,0 k X k j
j
2
LNO

Obsrvese tambin que la serie converge en X I 0 a 8A0EG y en


X I j a 8Aj_G

Para demostrar que se puede desarrollar 8AXG en una serie de


senos solamente, para lo cual , definimos la funcin
8AX G,
AX G I
_8A_X G,

0kXkj |
_j k X 0

(Describir la grafica de GAXG )

es una funcin impar (por esta razn, se denomina


(extensin impar de G . Por lo tanto , por el lema 2 la serie de
Fourier de en Z_j, j] es
M

AX G I K TL >?@A
LNO

@JX
G
j

donde ,
1 u
@JX
2 u
@JX
TL I s AX Gsen A
GtX I s AX Gsen A
GtX
j au
j
j C
j

2 u
@JX
2 u
@JX
s AX Gsen A
GtX I s 8AX Gsen A
GtX
j C
j
j C
j

Finalmente dado que AX G I 8AXG, 0 X j se concluye que


M

8AX G I K TL >?@ v
LNO

@JX
w,0 X j
j

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

18

La serie de Fourier en senos de 8 converge a cero en X I 0 y


XIj
Ejemplo 1 Desarrollar la funcin 8AX G I 1 en una serie de
senos en el intervalo A0, JG

Solucin
Por el teorema 3
M

8AX G I K TL >?@A
LNO

@JX
G
j

donde

0,
2
2
L
A1 _ A_1G G I 4
TL I s >?@ A@X GtX I
J C
@J
,
@J

@ YS

@ yYS

Por lo tanto
1I

4 >?@AXG >?@A3XG >?@A5XG


E
E
E ,

J
1
3
5

0XJ

Ejemplo 2 Desarrollar la funcin 8AX G I ? en una serie de


cosenos en el intervalo Z0, 1]

Solucin
Por el teorema 3,
M

SC
@JX
8AXG I
E K SL cosA
G
2
j
LNO

donde
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

19
O

SC I 2 C ? tX I 2A? _ 1G
y
O

SL I 2 s ? UV> A@JX GtX I 2? s ? ? `L tX


C

I 2? C ? AO`LG tX
?O`L _ 1
I 2?

1 E [@J

?cosA@JG E [>?@A@JG _ 1
I 2?

1 E [@J
?UV>A@JG _ 1
I 2?

1 E [@J

A?UV>A@JG _ 1GA1 _ [@JG


I 2?

1 E @^ J ^
I

Por lo tanto

? I 2A? _ 1G E 2 K

LNO

2A?UV>A@JG _ 1G
1 E @^ J ^

?UV>A@JG _ 1
cosA@JX G ,
1 E @^ J ^

0kXk1

Ejemplo 3 Desarrollar la funcin 8AX G I X en una serie de


senos en el intervalo Z0, J]
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

20

A_1GLO
X I2K
>?@A@X G , 0 X J
@

LNO

Ejemplo 4 Desarrollar la funcin 8AX G I X en una serie de


cosenos en el intervalo Z0, J]
1
J 4
XI _ K
UV>A2 _ 1GX , 0 k X k J
A2 _ 1G^
2 J

LNO

Ejemplo 5 Desarrollar la funcin 8AX G I X en una serie de


senos y cosenos en el intervalo Z0, J]
Definimos la funcin

8 AX G,
AX G I
0

(Describir la grafica de HAXG)

0kXkj |
_j k X 0

no es par ni impar, ( H es otra extensin de G . Por lo tanto,


por el lema 2 la serie de Fourier de en Z_j, j] es
M

SC
@JX
@JX
AX G I
E K SL cosA
G E TL >?@A
G
2
j
j
LNO

1 u
@JX
1 u
@JX
SL I s AX Gcos A
GtX I s 8AX Gcos A
GtX
j au
j
j C
j

1 u
@JX
1 u
@JX
TL I s AX Gsen A
GtX I s 8AX Gsen A
GtX
j au
j
j C
j

Por lo tanto la serie de Fourier de 8AX G I X en senos y cosenos


en el intervalo Z0, J] es
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

21

A_1GLO
J 2
1
_ K
UV>A2 _ 1GX E K
>?@A@X G
A2 _ 1G^
@
4 J

NO

LNO

Luego
A_1GLO
1
J 2
XI _ K
UV>A2 _ 1GX E K
>?@A@X G
A2 _ 1G^
4 J
@

NO

LNO

para 0 k X k J. Observese que esta expresin se puede obtener


sumando las dos series de los ejemplos 3) y 4) y dividiendo por
2.

Teoremas de convergencia de series de Fourier en


cosenos y series de Fourier en senos
Sea 8 continua por tramos en el intervalo Z0, j]

1) si 0 X j .Entonces la serie de Fourier en cosenos y la serie


de Fourier en senos de 8 en Z0, j] converge en X a

Esto es

1
Z8 AX EG E 8AX_G]
2
M

1
SC
@JX
Z8 AX EG E 8AX_G] I
E K SL UV>A
G,0 X j
2
2
j
LNO

1
@JX
Z8 AX EG E 8AX_G] I K TL >?@A
G,0 X j
2
j
LNO

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

22

2) Si 8 A0G y 8a A0G existen entonces la serie de Fourier en


cosenos de 8 en Z0, j] converge en cero a 8A0EG y converge en j
a 8Aj_G
M

SC
8A0G I
E K SL
2
LNO

SC
8Aj_G I
E K SL A_1Gr
2
LNO

3) La serie de Fourier en senos de 8 en Z0, j] converge a cero en


los extremos del intervalo.

Derivacion e integracion de series de Fourier


La serie de Fourier de la funcin 8AXG I X en el intervalo

_j k X k j es

A_1GLO
2j
@JX
K
>?@A
G
@
J
j

LNO

La derivacin termino termino da

2 K A_1GLO UV>A
LNO

@JX
G
j

Como el @-esimo termino de esta serie no tiende a cero , la serie


no converge para ningn valor de X. Es decir en este caso la
derivacin termino a termino destruye la convergencia.

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

23

Derivacion de series de Fourier

Supongamos que 8 es continua en el intervalo _j k X k j

y que 8AjG I 8A_jG. Supongamos tambien que 8 es continua


por tramos en Z_j, j].Entonces para cualquier X A_j, jG en
donde 8 es continua, se tiene que
J
@JX
@JX
8 AXG I K p_@SL >?@ v
w E @TL UV> v
wq
j
j
j

LNO

Esta es precisamente la serie que se obtiene derivando la serie


de Fourier de 8 termino a a termino.

Taller
Integracion de series de Fourier

Supongamos que 8 es continua por tramos en el intervalo


_j k X k j con serie de Fourier
M

aC
@JX
@JX
E K pSL UV>A
G E TL >?@A
Gq
2
j
j
LNO

Entonces para cualquier X Z_j, j]


M

aC
@JD
@JD
s 8ADGtD I E K SL s UV>
tD E TL s >?@A
GtD
j
j
2
C
C
C

LNO

Esta es precisamente la serie que se obtiene integrando la serie


de Fourier de 8 termino a a termino desde 0 hasta X
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

24

Dos identidades importantes

Demostraremos que si no es mltiplo entero de 2J, es decir


{ 2yJ ( y entero). Entonces
1

>?@ pv E w q _ >?@ v w
2
2
K cosA@ G I

2>?@ v w
LNO
2

A1G

De aqu se deduce que

1
>?@ pv E w q 1
2
K cosA@ G I
_

2
2>?@ v w
LNO
2

Por lo tanto,

>?@ pv E w q
1
2
E K cosA@ G I

2
2>?@ v w
LNO
2
O

Haciendo = E x I v E w W = _ x I

= I A E 1G

WxI

K cosA@ G I

LNO

, obtenemos que

. Luego
>?@ v

w UV> A E 1G
2
2
A2G

>?@ v w
2

De manera similar se demuestra que

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

25

1
UV> v w _ UV> pv E w q
2
2
K senA@ G I
A3G

2>?@ v w
LNO
2

>?@ v w >?@ A E 1G
2
2
K senA@ G I
A4G

>?@ v w
LNO
2

Demostracin de (1) y (2)

De las identidades producto- suma sabemos que

1
1
1

>?@ cosA@ G I >?@ @ E _ >?@ @ _


2
2
2
2

Haciendo @ I 1, 2, , sumando estas igualdades y


utilizando las propiedades de las sumas telescpicas obtenemos
que si no es mltiplo entero de 2J, es decir { 2yJ ( y
entero). Entonces

K cosA@ G I

LNO

1
1
K >?@ @ E _ >?@ @ _

2
2
2>?@ v w LNO
2

>?@ pv E w q _ >?@ v w
2
2
I

2>?@ v w
2

De manera similar podemos demostrar (3), y por lo tanto (4)


La sugerencia en este caso es considerar la identidad productosuma

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

26

1
1
1
>?@ senA@ G I UV> @ _ _ UV> @ E
2
2
2
2

Aplicar la propiedad de las sumas telescpicas finitas

El siguiente teorema genera rpidamente las identidades (2) y


(4). Antes recordamos la identidad de Euler
?XYZ[\ ] I UV>\ E [>?@\

1
A?XYZ[\ ] E ?XYZ_[\ ]G W
2
1
>?@\ I A?XYZ[\ ] _ ?XYZ_[\ ]G
2[

UV>\ I

1.1 Teorema. Si no es mltiplo entero de 2J, es decir


{ 2yJ ( y entero). Entonces se cumple la identidad compleja

K ?XYZ[@ ] I

LNO

>?@A/2G
?XYZ[A E 1G/2G]
>?@A/2G

Demostracin Si { 1 recordamos que la expresin para una


suma geomtrica finita es

_ 1
K I
_1

LNO

Haciendo I ?XYZ[ ] en esta expresin y como { 2yJ,


tenemos que I ?XYZ[ ] { 1, obtenemos

K ?XYZ[@ ] I ?XYZ[ ]

LNO

?XYZ[ ] _ 1
?XYZ[ ] _ 1

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

27

I ?XYZ[ ]

?XYZ[/2]?XYZ[/2] _ ?XYZ_[/2]
?XYZ[/2]?XYZ[/2] _ ?XYZ_[/2]

I ?XYZ[/2]?XYZ[/2]
I

?XYZ[/2] _ ?XYZ_[/2]
?XYZ[/2] _ ?XYZ_[/2]

?XYZ[/2] _ ?XYZ_[/2]
?XYZ[A E 1G/2]
?XYZ[/2] _ ?XYZ_[/2]
I

>?@A/2G
?XYZ[A E 1G/2]
>?@A/2G

Ahora, en virtud de la formula de Euler

LNO

LNO

K ?XYZ[@ ] I K UV>A@ G E [>?@A@ G

LNO

LNO

I K UV> A@ G E [ K >?@A@ G

LNO

LNO

K UV>A@ G E [ K >?@A@ G I

>?@A/2G
?XYZ[A E 1G/2]
>?@A/2G

>?@A/2G
UV>AA E 1G/2G E [>?@AA E 1G/2G
>?@A/2G

Igualando partes reales e imaginarias , obtenemos (2) y (4)

K cosA@ G I

LNO

>?@A/2GUV>ZA E 1G/2]
W
>?@A/2G

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

28

K senA@ G I

LNO

>?@A/2G>?@ZA E 1G/2]
>?@A/2G

Las formulas (2) y (4) son de mucha utilidad en la demostracin


del teorema de convergencia de Fourier, en el anlisis del
fenmeno de Gibbs y en general en el anlisis de Fourier.

Anlisis del fenmeno de Gibbs

Para analizar la relacin entre la serie de Fourier de una funcin


8en el intervalo Z_j, j] y la funcin 8 es til dibujar la grafica de
la _esima suma parcial de la serie de Fourier para distintos
valores de , es decir las graficas de las funciones

SC
AX G I
E K SL UV>A@JX/jG E TL >?@A@JX/jG, _j k X k j
2
LNO

Observar el comportamiento de rizado de las sumas parciales


de la serie de Fourier cerca de los puntos de discontinuidad de
salto para diferentes valores de . Esta observacin fue
realizada por primera vez en 1899 por el fsico matemtico de
Yale, Josiah Willard Gibbs. Para ilustrar el fenmeno de Gibbs
consideremos una situacin donde se presenta.
Sea

_
8AX G I 0,
,

_j k X 0
XI0 |
0kXkj

La serie de Fourier de 8 en el intervalo Z_j, j] es


Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

29
M

4
1
K
>?@ZA2@ _ 1GJX/j]
2@ _ 1
J
LNO

Segn el teorema de convergencia de Fourier esta serie


converge a
_
0,
,

_j X 0
X I 0, X I j|
0Xj

M
_
4
1
K
>?@ZA2@ _ 1GJX/j] I 0,
J
2@ _ 1
,
LNO

_j X 0
X I 0, X I j|
0Xj

La serie converge a cero en X I 0, X I j ya que

1
1
Z8 A0 EG E 8A0 _G] I Z E A_G] I 0
2
2

La _esima suma parcial de la serie de Fourier es

4
1
(X ) I
K
>?@ZA2@ _ 1GJX/j]
J
2@ _ 1
LNO

Se sugiere al lector utilizar el programa MATLAB, para graficar


(X ), (X ), W O (X ) en el intervaloZ0, j]. Las graficas
muestran que cuando crece la aproximacin se hace mucho
mejor hacia la grafica de la funcin en el intervalo A0, jG, es decir
la grafica de la suma parcial aproxima a 8(X), mientras los picos
mantienen aproximadamente la misma altura, independiente del
numero de trminos que se utilicen para aproximar la funcin,
los picos se mueven cada vez ms hacia el eje vertical.
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

30

Este comportamiento es el fenmeno de Gibbs ocurre en las


sumas parciales de la serie de Fourier de toda seal que tenga
discontinuidad de salto, verificaremos que el valor del rizado es
aproximadamente un 9% mayor que la amplitud del salto en el
punto de discontinuidad. Los matemticos creyeron que cuando
el comportamiento mejorara, pero no fue as!!

Primero encontremos los puntos en el intervalo Z0, j] donde


ocurren los mximos y mnimos de las sumas parciales:

t AX G 4
I
K UV>ZA2@ _ 1GJX/j] I 0
tX
j
LNO

UV>ZA2@ _ 1GJX/j] I cos A2@JX/j _ JX/jG

LNO

LNO

JX
2@JX
UV> AJX/jG K UV>A2@JX/jG E >?@A G K >?@A
G
j
j

Haciendo

Obtenemos

WI

2JX
j

LNO

LNO

UV>AW/2G K UV>A@WG E >?@AW/2G K >?@AWG I 0


utilizando las identidades A2G y A4G

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

31

cos AW/2G

>?@AW/2GUV>ZA E 1GW/2]
>?@AW/2G
>?@AW/2G>?@ZA E 1GW/2]
E >?@AW/2G
I0
>?@AW/2G

Factorizando >?@AW/2G obtenemos

>?@AW/2G
lcos AW/2GUV>ZA E 1GW/2]
>?@AW/2G
E >?@AW/2G>?@ZA E 1GW/2]n I 0

>?@AW/2G
>?@AW/2G
UV>ZA E 1GW/2 _ W/2] I
UV>AW/2G I 0
>?@AW/2G
>?@AW/2G
>?@AWG
I0
2>?@AW/2G

Por lo tanto

>?@AWG I 0 implica que W I J A entero G, luego


W I

XI

2JX
I J
j

j
, tV@t? I 1,2, , 2 _ 1, 2
2

Demostraremos que los valores mximos de AX Gen el


intervalo 0 k X k j ocurren en
j/2 W A2 _ 1Gj/2

Veamos que la derivada

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

32

t AX G
0 YSS 0 X j/2
tX

>?@AWG
>?@A2JX/jG
I
0 YSS 0 X j/2
2>?@AW/2G
2>?@AJX/jG

De manera similar, se demuestra que

t AX G
0 YSS j/2 X 2j/2
tX

A continuacin se presenta una tabla donde se analiza el


comportamiento de los picos, donde hemos tomado I
100 W j I J

1
2
3
4
5
6

Mximo valor de
AX G
127.3240
120.0421
118.8357
118.4225
1182328
118.1302

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

El valor
mximo
ocurre en
J/2
J/ 4 y 3J/4
J/ 6 y 5J/6
J/ 8 y 3J/8
J/ 10 y 9J/10
J/12 y
11J/12

33

Taller No 1 . MATEMATICAS ESPECIALES I

1) Usar la serie de Fourier de la funcin definida por cos(X ), en

el intervalo _J k X k J, donde { 0, para demostrar que


cuando no es un entero se tiene que
M
1 1
2
cot(J) I _ K ^
,
J
@ _ ^
LNO

SOLUCION: Primero calculamos los coeficientes de Fourier de la


funcin dada en el intervalo dado
Como8 (X ) I) cos(X ) es una funcin par, entonces
TL I 0, @ I 1,2,

2
2 >?@(X )
2>?@(J)
SC I s cos(X ) tX I
I
J C
J

J
C

2
SL I s cos(X ) cos(@X)tX
J C
2 1
I s (cos(X E @X ) E cos (X _ @X))tX
J C 2
1
1
SL I s cosZ( E @)X ]tX E s cos Z( _ @)X]tX
J C
J C

1 >?@Z( E @)X ] >?@Z( _ @)X]


SL I
E

J
E@
_@
C

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

34

SL I

1 >?@ZA E @GJ] >?@ZA _ @GJ]

J
E@
_@
1 >?@ZA E @G0] >?@ZA _ @G0]
_
E

J
E@
_@

1 >?@ZA E @GJ] >?@ZA _ @GJ]


SL I
E

J
E@
_@

1 >?@AJG cosA@JG E >?@A@JG cosAJG


SL I
J
E@
>?@AJG cosA@JG _ >?@A@JG cosAJG

E
_@
1 >?@AJG cosA@JG >?@AJG cosA@JG

J
E@
_@
1 >?@AJGA_1GL >?@AJGA_1GL
E

SL I
J
E@
_@

SL I

SL I

1
1
1
E

>?@AJGA_1GL
J
E@ _@

SL I

1
2
Z>?@AJGA_1GL ]
^
^
J _@

2
>?@(J)
(_1GL
SL I ^

^
_@
J

La serie de Fourier de cosAX G, en el intervalo _J k X k J es

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

35
M

>?@AJG
2
>?@AJG
E K ^

cosA@X G A_1GL
^
J
_@
J
LNO

Por el teorema de convergencia de Fourier tenemos que para


Z_J, J]
M

>?@AJG
2
>?@AJG
cosAX G I
E K ^

cosA@X G A_1GL
^
J
_@
J

Si X I J tenemos:

LNO

2
>?@AJG
>?@AJG
E K ^

cosA@JG A_1GL
cosAJG I
^
_@
J
J
LNO

>?@AJG
2
>?@AJG
A_1GL A_1GL
cosAJ G I
E K ^

^
J
_@
J
LNO

>?@AJG
>?@AJG
2
cosAJ G I
EK
^

J
J
_ @^
LNO

>?@AJG 1
2
A
G
EK ^

cos J I
J

_ @^
LNO
M

>?@AJG 1
2
cosAJG I
_K ^

@ _ ^
LNO

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

36
M

cosAJG 1 1
2
I _K ^

>?@AJG J
@ _ ^
LNO

1 1
2
cotAJG I _ K ^

@ _ ^
J
LNO

2) a) Cuales son las relaciones entre los coeficientes de Fourier


de 8AX) en l j, jn y los de la funcin gAX ) I 8AX ) E ) en l j, jn

b). Cuales son las relaciones entre los coeficientes de Fourier de


las funciones AX ) W 8AX) en l j, jn con los de 8 AX ) E AX ),
donde y son constantes ?
SOLUCION:

a). Los coeficientes de 8AX) en l j, jn son:


1 u
SC I s 8AX )tX
j au

1 u
@JX
SL I s 8AX ) cos v
w tX
j au
j

1 u
@JX
TL I s 8 AX ) sen v
w tX
j au
j

Los coeficientes de AX) en l j, jn son:

1 u
1 u
C I s AX )tX I s A8AX ) E )tX I SC E 2
j au
j au

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

37

1 u
@JX
1 u
@JX
L I s AX G cos v
w tX I s A8AX G E G cos v
w tX
j au
j
j au
j
1 u
@JX
1 u
@JX
w tX E s cos v
w tX
L I s 8AX G cos v
j au
j
j au
j
L I SL E

>?@(@J) _
>?@(_@J) I SL
@J
@J

1 u
@JX
1 u
@JX
L I s AX G sen v
w tX I s A8AX G E G sen v
w tX
j au
j
j au
j
1 u
@JX
1 u
@JX
w tX E s sen v
w tX
L I s 8 AX G sen v
j au
j
j au
j

La segunda integral es 0, pues la funcin es impar, entonces:


1 u
@JX
L I s 8AX G sen v
w tX I TL
j au
j

bG. Los coeficientes de 8AXG en l j, jn son:


1 u
SC I s 8AX GtX
j au

1 u
@JX
w tX
SL I s 8AX G cos v
j au
j

1 u
@JX
TL I s 8 AX G sen v
w tX
j au
j

Los coeficientes de AXG en l j, jn son

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

38

S
T

1 u
I s AX GtX
j au

1 u
@JX
I s AX G cos v
w tX
j au
j

1 u
@JX
I s AX G sen v
w tX
j au
j

Los coeficientes de 8 AX G E AX G son:

1 u
u
u
C I s 8 AX G E AX GtX I s 8AX GtX E s AX GtX
j au
j au
j au
C I SC E Sb C

1 u
@JX
L I s 8 AX G E AX G cos v
w tX
j au
j
u
@JX
u
@JX
I s 8 AX G cos v
w tX E s AX G cos v
w tX
j au
j
j au
j
L I SL E S b L

1 u
@JX
L I s 8AX G E AX G sen v
w tX
j au
j
u
@JX
u
@JX
I s 8AX G sen v
w tX E s AX G sen v
w tX
j au
j
j au
j
L I TL E T b L

CONCLUSIN:
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

39

aG.

C I SC E 2

L I SL , @ I 1,2, ..

L I TL , @ I 1,2,

bG.

C I SC E Sb C

L I SL E S b L ,

L I TL E T b L ,

@ I 1,2,

@ I 1,2,

3G Encontrar el valor de la suma de la serie:


M

(_1GL
K ^
4@ _ 1

LNO

Sugerencia: Desarrollar >?@(X) en una serie de Fourier en


cosenos en Z0, J] y elejir un valor apropiado de X
SOLUCION:

La serie de serie de Fourier en cosenos de 8(X ) I >?@(X ) en


Z0, J] es:

2
_ 2cos(X )
4
SC I s >?@(X )tX I
I
J C
J
J
C

2
SL I s >?@AX Gcos (@X)tX
J C
2 1
I s >?@AX E @X G E >?@AX _ @X GtX
J C 2

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

40

1
SL I s >?@AZ1 E @]X G E >?@AZ1 _ @]X GtX
J C

1
cosZA1 E @GX ] cosZA1 _ @GX ]
SL I _
_

1E@
1_@
J
C
SL I

@ { 1, @ I 2,3,

1 cosZA1 E @GJ] cosZA1 _ @GJ]


1
1
_
_
E
E

1E@
1_@
J
1E@ 1_@
{ 1, @ I 2,3,

SL I

SL I

1 cosAJG cosA@JG _ >?@AJG>?@A@JG


_
1E@
J
cosAJG cosA@JG E >?@AJG>?@A@JG
2

_
E
1_@
1 _ @^
1 cosAJG cosA@JG cosAJG cosA@JG
2
_
_
E
,
J
1E@
1_@
1 _ @^
@ { 1, @ I 2,3,

1 cosA@JG cosA@JG
2
SL I
E
E
, @ { 1, @ I 2,3,
J 1E@
1_@
1 _ @^
1 A_1Gr A_1Gr
2
E
E
, @ { 1, @ I 2,3,
SL I
J 1E@
1 _ @ 1 _ @^

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

41

SL I
SL I

1
1
1
2
E
E
A_1Gr
, @ { 1, @ I 2,3,
J
1E@ 1_@
1 _ @^

1
2
2
1
2
ZA_1Gr E 1] , @

E
I

A_1Gr

^
^
^
J
1_@
1_@
J 1_@
{ 1, @ I 2,3,
0 US@tV @ I 2 _ 1, I 1,2,
|
1
SL I 4

US@tV
@
I
2,

I
1,2,

J 1 _ @^
4
1
4
|I

S^ I |
J 1 _ A2G^
JA1 _ 4 ^ G
1
SO I s >?@AX G cosAX G tX I 0.
J a

Entonces la serie de Fourier es


M

2
4
EK
cos A2@XG , YSS Z0, J]
JA1 _ 4@^ G
J
LNO

Por el teorema de convergencia de Fourier tenemos que:


Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

42

2
4
>?@AXG I E K
cos A2@XG
J
JA1 _ 4@^ G
LNO

, YSS Z0, J]

4
2
cos A2@XG , YSS Z0, J]
>?@AX G I _ K
J
JA4@^ _ 1G

Si X I

LNO

tenemos:

2
4
@J
J
cos
v2
w
>?@ v w I _ K
J
JA4@^ _ 1G
2
2
LNO

2
4
A_1GL
1I _K
^
J
JA4@ _ 1G
LNO

LNO

_4
2
L
A
G
_1
I
1
_

JA4@^ _ 1G
J
M

A_1GL
4
2
_ K

I
1
_
A4@^ _ 1G
J
J
LNO

A_1GL
J 2
J 2_J
1 J
K ^
I _ 1 I
I _
4@ _ 1 4 J
4
J
2 4

LNO

A_1GL
1
J
K ^
I v1 _ w
4@ _ 1 2
2

LNO

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

43

4). Desarrollar UV> (D) en serie de Fourier en el intervalo l , n


SOLUCION:

A) Primera forma (Usando exponenciales complejas y la formula


de Euler )

UV> (D) I

UV> ADG I
UV> ADG I

? ` E ? a`
( )

UV> D I
2

1 `
? E 5? ` ? a` E 10? ` ? a^` E 10? ^` ? a`
32
E 5? ` ? a` E ? a` G

1 `
? E 5? ` E 10? ` E 10? a` E 5? a` E ? a`
32

1
A? ` E ? a` G E 5A? ` E ? a` G E 10A? ` E ? a` G
32

UV> ADG I

1
Z2 UV>A5DG E 5A2 UV> A3DGG E 10A2 UV>ADGG]
32

UV> ADG I

1
A2 UV>A5DG E 10 UV>A3DG E 20 UV> ADGG
32

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

44

UV> ADG I

1
5
5
UV> A5DG E
UV> A3DG E UV>ADG
16
16
8

La serie de Fourier es
UV> ADG I

5
1
5
UV>ADG E
UV>A3DG E
UV>A5DG RSS Z J, J]
8
16
16

BG. Segunda Forma AidentidadesG:


UV> ADG I UV> ^ ADG UV> ADG
1 1
3
1
UV> ADG I E UV> A2DG UV>ADG E UV> A3DG
4
4
2 2
3
1
3
UV> ADG I UV>ADG E UV> A3DG E UV>A2DG UV>AD G
8
8
8
1
E UV>A2DG UV> A3DG
8
3
1
3 UV>A3DG E UV> ADG
UV> AD G I UV>ADG E UV>A3DG E

8
8
8
2
1 UV> A5DG E UV> A_DG
E

2
8

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

45

3
1
3
3
UV> ADG I UV>ADG E UV> A3DG E
UV>A3DG E
UV>ADG
8
8
16
16
1
1
E
UV>A5DG E
UV> A_DG
16
16

Si aplicamos la propiedad cosA_DG I cosADG tenemos:

1
3
3
3
UV>A3DG E
UV>ADG
UV> ADG I UV>ADG E UV> A3DG E
8
16
16
8
1
1
E
UV>A5DG E
UV> ADG
16
16
3 3
1
1 3
UV> ADG I E
E UV> ADG E E UV>A3DG
8 16 16
8 16
1
UV> A5DG
E
16
5
5
1
UV> ADG I UV>ADG E
UV>A3DG E
UV>A5DG
8
16
16

La serie de Fourier es
UV> ADG I

5
5
1
UV>ADG E
UV>A3DG E
UV>A5DG RSS Z J, J]
8
16
16

CG. Tercera Forma AIntegrandoG:


Como cos AtG es una funcin par, entonces br I 0, n I 1,2,

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

46

2 ? ` E ? a`
2
A G
SC I s UV> D tD I s
tD
J C
J C
2

En el inciso (A) de este punto demostramos que:

? ` E ? a`
5
5
1

I UV>(D) E
UV> A3DG E
UV>A5DG
2
8
16
16
2 5
5
1
SC I s UV> ADG E
UV>A3DG E
UV>A5DG tD
J C 8
16
16

2 5
2 5
2 1
SC I s UV>AD G tD E s
UV>A3DG tD E s
UV>A5DG tD
J C 8
J C 16
J C 16

2 1
5
5
SC I >?@A5DG E
>?@A3DG E >?@ADG
J 80
48
8
C
2 1
5
5
I >?@A5JG E
>?@A3JG E >?@AJG I 0
J 80
48
8

2
SL I s UV> ADGUV> A@DGtD
J C
2 5
5
I s UV>ADG E
UV> A3DG
J C 8
16
1
E
UV> A5DG UV> A@DGtD
16

2 5
2 5
SC I s UV>ADGUV> A@DG tD E s
UV>A3DG UV> A@DG tD
J C 8
J C 16
2 1
E s
UV>A5DGUV> A@DG tD
J C 16
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

47

Por las relaciones de ortogonalidad tenemos:

10
0 > @ { 1 |
s UV>ADG UV> A@DG tD I
58 > @ I 1
8J C

5
0 > @ { 3 |
s UV>A3DGUV> A@DG tD I
516 > @ I 3
8J C
1
0 > @ { 5 |
s UV>A5DGUV> A@DG tD I
116 > @ I 5
8J C

La serie de Fourier es

UV> (D) I

5
5
1
UV>(D) E
UV>A3DG E
UV>A5DG RSS Z J, J]
16
16
8

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

48

Similitudes entre el espacio y las series de Fourier

Funciones Ortogonales

En esta seccin mostraremos la forma en que los conceptos


vectoriales de producto interno, o producto escalar, y el de
ortogonalidad de vectores pueden extenderse fcilmente a
espacios de funciones. Es decir, una funcin se considerara
como una generalizacin de vector.

Preliminares de algebra lineal

aG Producto interno
interno:
no Si F I AFO , F^ , F G y I AO , ^ , G son
vectores de , definimos su producto punto, producto interno o
producto escalar como

F. I FO O E F^ ^ E F I K F
NO

El producto punto a veces se escribe F,

Recordemos que el producto interno o producto escalar tiene las


siguientes propiedades:
1) , F I F,

2) , F I , F,
f3) , 0 si { 0

, I 0 > W >VV > I 0

4) E F , I , F E ,

Por que el producto interno es un concepto clave ?

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

49

bG Vectores ortogonales:
ortogonales Dos vectores diferentes de cero son
perpendiculares u ortogonales, si y slo si F, I 0
c)La
La norma o longitud de un vector : La longitud de un vector F
esta dada por
F I F. F

d)Angulo
Angulo entre dos vectores El ngulo entre dos vectores F y
esta dado por
UV>\ I

F.
F

Una de las grandes ideas de los matemticos del siglo XX fue


dotar otros espacios diferentes de L de un producto interno de
tal manera que fuera posible una geometra en dicho espacio.
e) Espacio Vectorial:
Vectorial Decimos que un conjunto no vacio es un
espacio vectorial si esta provisto de:

i) Una operacin de suma: La cual es conmutativa, asociativa,


existe elemento neutro e inverso aditivo nicos.
ii) Una operacin de multiplicacin por escalar que cumple las
siguientes propiedades para 8, y , nmeros reales
arbitrarios:
(8 E ) I 8 E
( E )8 I 8 E 8
( )8 I (8)
18 I 8

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

50

Ejemplo 1

El espacio I ZS, T] I 8: ZS, T] ; 8 ?> UV@D@S es un


espacio vectorial con las operaciones usuales de suma de
funciones y multiplicacin por escalar

f) Decimos que se encuentra equipado de un producto interno


que representamos por , , si existe una funcin
tal que

1) 8, I , 8

2) 8, I 8 , ,
3G 8 , 8 0, 8 { 0

8 , 8 I 0 > W >VV > 8 I 0

4) 8 E , I 8 , E ,

g) Norma :El producto interno da origen al concepto de longitud


o norma ( la norma inducida por el producto interno ) definida
por
8 I 8, 8

La norma 8 tiene las siguientes propiedades:

1) 8 0 y 8 I 0 si y solo si 8 I 0
2) 8 I | |8

3) (Desigualdad triangular ) 8 E k 8 E
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

51

En este caso se dice . es una norma y que es un espacio


ectorial normado.
h) Propiedades del producto interno y la norma

Sea un espacio vectorial y , un producto interno en dicho


espacio. Sea la norma inducida por ,

h1) Desigualdad de Cauchy Schwarz- Bunyakovski: Si 8,


, entonces
|8, | k 8

h2) Desigualdad triangular:


triangular Si 8, , entonces 8 E k
8 E
Demostracion de h2

8 E ^ I 8 E , 8 E

I 8, 8 E 8, E , 8 E ,

I 8^ E 28, E ^

k8^ E 28 E ^
I (8 E )^

Producto interno entre funciones Sea I ZS, T] definamos


un producto interno en este espacio por

, F I (X )F (X )tX ,

para cualquier 8,

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

52

i) Funciones ortogonales Dos funciones y F son ortogonales en

un intervalo ZS, T] si y slo si , F I (X )F(X )tX I 0

Ejemplo 2 Las funciones 8 (X ) I X ^ y g(X ) I X son ortogonales


en el intervalo Z_1,1], ya que
O

8, I s X X tX I s X tX I 0

8^

X ^ ^

8 I

2
5

aO

aO

I s X X tX I s X tX I
aO

^ ^

aO

2
5

j) Angulo entre dos funciones:


funciones El ngulo entre dos funciones 8
y g est dado por
UV>\ I

8,
8

k) Norma La longitud o norma (la norma inducida por el


producto interno) de un elemento 8 esta dada por
8 I 8, 8

En el caso del ejemplo 2, la norma inducida es :

El espacio

O/^

8 I 8, 8 I s Z8(X)]^ tX

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

53

En el estudio de las series de Fourier, el espacio con producto


interno mas importante es el se denomina j^ (Z_j, j]G. Este es el
espacio de funciones definidas en el intervalo l j, jn tales que
u

s Z8AXG]^ tX
au

Es decir el conjunto de las funciones definidas en el intervalo


l j, jn de cuadrado integrable en l j, jn

El producto interno en este espacio es obviamente


u

, F I s AX GF AX GtX
au

La desigualdad de Cauchy Schwarz- Bunyakovski en j^ : >i 8,


j^ , entonces

s 8(X )(X )tX k (s Z8(X

Notese

que en virtud de la

)]^

tX)

O/^

(s Z(X )]^ tX)O/^

desigualdad anterior,
u

si

8,

j^ Z_j, j] entonces la integral au 8(X )(X )tX existe y es


finita ( luego el producto interior esta bien definido )

Otro espacio vectorial ( espacio de Hilbert ) muy importante en


el anlisis de Fourier discreto es el espacio ^

El espacio

^
Ejemplo 4 Sea I ^ I XL ; XL , M
LNO|XL | UV@F??

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

54

es un espacio vectorial con las operaciones usuales de suma


de sucesiones y multiplicacin por escalar. Definimos el
producto interno como
M

XL , WL I K XL WL
LNO

Conjuntos Ortogonales de funciones

Un conjunto de funciones L (X)M


LNC definidas en el intervalo
(S, T) se denomina ortogonal en dicho intervalo cuando

, I s (X) (X)tX , YSS { >

} , } I }

Conjuntos ortonormales

I s Z} (X)]^ tX 0

Un conjunto ortogonal de funciones L (X)M


LNC definidas en el
intervalo (S, T) se denomina ortonormal en el intervalo cuando
L (X) I 1, para @ I 0,1,2, Es decir
L (X) I ZL (X)]^ tX I 1

Cualquier conjunto I L (X)M


LNC ortogonal de funciones
diferentes de la funcin cero puede normalizarse dividiendo
cada funcin de entre su norma .
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

55

Es decir, un conjunto de funciones b I L (X)M


LNC se dice que
es ortonormal en un intervalo (S, T) cuando

1) b es un conjunto de funciones mutuamente ortogonales en


(S, TG y
2G

L AXG I 1,

Escriba aqu la ecuacin.

En este caso

Ejercicios

L AX ) I

para

toda

b y

para

todo

L AX )
, YSS UStS @ I 1,2,
L AX )

1) a) Demostrar que el conjunto de funciones


I C AX) L AX), L AX)M
LNO
@JX
w , @ I 0,1,2, . ..
j
@JX
L AX ) I >?@ v
w , @ I 1,2,
j

L AX ) I cos v

@JX
@JX M
I 1 zUV> v
w , >?@ v
w
j
j
LNO

1, UV> v

JX
JX
2JX
2JX
3JX
3JX
w , >?@ v w , UV>
, >?@
, UV>
, >?@
,
j
j
j
j
j
j

Forma un conjunto ortogonal en el intervalo l j, jn. Este


conjunto ortogonal fue introducido por Fourier en 1822 en su
obra THEORIE ANALYTIQUE DE LA CHALEUR

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

56

(Sugerencia: Utilizar las identidades trigonomtricas producto


suma )
Las normas son:
L

C ^ I 1^ I 2j,

@JX ^
I UV> v
w I j,
j

@JX ^
I >?@ v
w I j
j

Para determinar las correspondientes constantes de


normalizacin del conjunto dado en a) dividimos cada elemento
del conjunto por su correspondiente norma, de modo que el
conjunto sea ortonormal en j, j.
1

2j j

UV> v

JX 1
JX 1
2JX 1
2JX
w,
>?@ v w ,
UV>
,
>?@
,
j j
j j
j
j
j

Ejercicio: a) Demostrar que el conjunto de funciones


1, UV>AX G, UV> A2X G, UV>A3X G,

Forma un conjunto ortogonal en el intervalo l J, Jn . Encontrar


la norma de cada funcin en el conjunto.

bG Determinar las correspondientes constantes de


normalizacin del conjunto dado en a), de modo que el conjunto
sea ortonormal en l J, Jn.

Una analoga entre vectores


vectores y funciones

Sea I FO, , F^, , F, un conjunto de tres vectores diferentes de


cero y mutuamente ortogonales en . Luego es una base
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

57

para . Esto es, cualquier vector se puede expresar


como combinacin lineal de los elementos de la base
I UO FO E U^ F^ E U F

Donde los U , I 1, 2, 3 son escalares reales llamados


componentes del vector

Formando el producto interior de cada miembro de la expresin


anterior con FO y aplicando propiedades del producto interior ,
obtenemos
, FO I UO FO E U^ F^ E U F , FO

, FO I UO FO , FO E UO F^ , FO E U F , FO

Ahora, puesto que F^ , FO I F , FO I 0 y FO , FO I FO ^


Tenemos que

UO I
De manera analoga
U^ I
Por lo tanto

, FO , FO
I
FO , FO FO ^

, F^
, F^
, F
, F
I
W
U
I
I

F^ , F^ F^ ^
F , F F ^

, F^
, F
, F
, F^
I
F
E
F
E
F
I
K
F
F^ ^ O F^ ^ ^ F ^
F ^
NO

En Particular si es una base ortonormal, cada U I , F .


Luego

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

58

I K , F F
NO

En general si I FO, , F^, , , FL, es una base ortogonal de .


Cualquier esta escrito como combinacin lineal de los
elementos de la base.
L

I UO FO E U^ F^ E E UL FL I K U F
NO

Entoces sus componentes relativas a la base son


U I

, F
, F
I
, I 1, 2, , @
F , F F ^
L

I UO FO E U^ F^ E E UL FL I K

NO

, F
F
F ^

En particular si si es una base ortonormal, cada U I , F .


Luego

I K , F F
NO

Serie generalizada de Fourier

Sea I L (X)M
mutuamente
LNC un conjunto de funciones
ortogonales en el intervalo ZS, T]. Si W I 8AXG es una funcin de
cuadrado integrable definida en ZS, T] Existen escalares
UC , UO , U^ , , U} , .. tales que
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

59
M

8AX G I UC C AX G E UO O AX G E E U} } AX G E K U} } AX G?
}NC

Demostrar , que si M
}NO U} } (X) converge uniformemente a
8(X ) en (S, T). Entonces
8AXG, L AXG
UL I
, @ I 1,2,
L ^

En efecto:

Multiplicando ambos miembros de


M

8 AX G I K UL L AXG
LNC

Por L AXG e integrando de S a T, obtenemos


M

s 8 AX GL AX G tX I K UL s } AXG L AXGtX

}NC

Donde el intercambio de integracin y sumatoria se justifica


porque la serie de funciones converge uniformemente a 8AXG.
Ahora , como las funciones del conjunto son mutuamente
ortogonales en el intervalo AS, T G, se tiene que
0,
y{@ |
s } AXGL AX GtX I
} ^ ,
yI@

Por lo tanto

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

60

o bien

s 8 AX GL AX G tX I UL L ^

8, L I UC C , L E UO O , L E U^ ^ , L E E U} } , L
E
Puesto que L (X)M
LNC es un conjunto ortogonal } , L I
0 > y { @ Esto implica que
Luego
La serie

8 (X ), L (X ) I UL L , L I UL L ^
UL I

8(X), L (X)
, @ I 0, 1,2,
L ^
M

8(X ) I K

LNC

8(X), L (X)
L (X)
L ^

Es la serie generalizada de Fourier de 8(X) respecto al conjunto


ortogonal I L (X)M
LNO en el intervalo ZS, T ].

Si el conjunto I L (X)M
LNO es ortonormal en (S, T ). Entonces
UL I 8(X), L (X) , @ I 0, 1,2,

En este caso la serie generalizada de Fourier de 8(X) respecto al


conjunto ortonormal I L (X)M
LNO es
M

8(X ) I K 8(X), L (X) L (X)


LNC

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

61

Ejemplo. El conjunto

C AXG L AXG, L AXGM


LNO
C (X ) I 1

@JX
L (X) I UV> v
w
j
@JX
L (X) I >?@ v
w
j

Es ortogonal en el intervalo l j, jn.


L ^ I UV> v

C ^ I 1^ I 2j,

@JX ^
w I j,
j

Supongamos que

@JX ^
L ^ I >?@ v
w I j
j

yJX
yJX
aC
G E T} >?@A
Gq
8(X ) I E K pS} UV>A
j
j
2
NO

SC
8, L I C , C E K ZS} } , L E T} } , L G]
2
}NO

Utilizando las relaciones de ortogonalidad


Obtenemos que

SL I

8(X), L (X)
, @ I 0, 1,2,
L ^

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

62

TL I
Luego

8AXG, L AXG
, @ I 1,2,
L ^

1 u
yJX
SL I s 8AX GUV> v
w tX , @ I 0,1,2
j au
j
1 u
yJX
TL I s 8AX G>?@ v
w tX , @ I 1,2
j au
j

Conjuntos ortogonales y funcin peso

En el espacio vectorial I ZS, T] definimos el producto


interior:

8, I AXG8AX GAX GtX ,

donde AX G es una funcin positiva fija en ZS, T]. La funcin


se denomina funcin peso.
El conjunto

@JX
@JX M
1 zUV> v
w , >?@ v
w
j
j
LNO

Es ortogonal respecto a la funcin peso AX G I 1.

Ortogonalidad respecto a una funcin peso

Un conjunto de funciones L AXGM


LNC definidas en el intervalo
AS, TG se denomina ortogonal respecto a una funcin de peso
AX G en el intervalo AS, TG cuando

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

63

, I s AXG AXG AXGtX , YSS { >


y

} , } I } ^ I AX GZ} AXG]^ tX 0

Sea L AXGM
LNC un conjunto de funciones definidas que son
mutuamente ortogonales respecto a la funcin peso AX G en el
intervalo AS, TG. Podemos demostrar fcilmente que si

M
LNC UL L AXG converge uniformemente a 8 AX G en AS, T G,
entonces
UL I

8 AX G AX GL AX GtX

AX GZL AXG]^ tX

8AXG, L AXG
, @ I 0, 1,2,
L ^

Conjuntos ortogonales completos

Para desarrollar 8 en una serie de funciones ortogonales, es


necesario suponer que 8 no es ortogonal a cada elemento del
conjunto ortogonal I L AXGM
LNC . Si fuera as , entonces
8AXG, L AXG I 0 implica que UL I 0 para n=0,1,2,y 8 = 0.
Para evitar esta dificultad suponemos que el conjunto es
completo
Sea = L AXGM
LNC un conjunto ortogonal de funciones
definidas en el intevalo AS, TG se denomina completo si la nica
funcin de ZS, T] ortogonal a cada funcin del conjunto es la
funcin cero.
Definicion
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

64

Un sistema ortonormal I L (X)M


LNC es completo si para
cualquier 8 j^ Z_j, j ] tal que 8, L I 0 entonces 8 I 0

(Nota: obsrvese nuevamente que si 8 es ortogonal a cada L .


entonces UL I 0)

Ejemplo
Ejemplo

I L (X)M
LNO donde L (X ) I >?@(@X) es ortogonal en el
intervalo l J, Jn pero no es completo
Ejercicios

1) Sea L (X)M
LNO un conjunto ortonormal en (S, T ). Demostrar
que
^

s 8AX G _ K UL L AXG tX

LNC

Es un mnimo cuando UL I 8AX GL AX G tX

2) Si 8(X) es aproximada por la suma de los primeros


trminos de una serie de Fourier

(X ) I K UL L (X)
LNC

Donde las funciones L (X)M


LNO son ortonormales en (S, T )
a) Demostrar que

s Z8(X ) _ (X )]^ tX I s Z8(X)]^ tX _ K UL ^

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

LNO

65

b) Tomando

1
I
s Z8 AX G _ AX G]^ tX
T_S

Como el error cuadrtico medio. Establecer la desigualdad de


Bessel
M

K UL k s Z8AXG]^ tX
^

LNC

cG Demostrar que si UL son los coeficientes de Fourier de


8AX G respecto al conjunto ortonormal L AXGM
LNO , entonces
M

s Z8AXG]^ tX I K UL ^

LNC

Este resultado se conoce como formula o identidad de Parseval

Conjuntos Ortogonales de funciones complejas


Un conjunto de funciones de valores complejos
L ADGM
LNaM definidas en el intervalo A0, G se denomina
ortogonal en dicho intervalo si

b A G
L , } I s L ADG}
D tD , YSS @ { y
C

} I } , } I } ^ I C |} ADG|^ tD 0

Conjuntos ortonormales de funciones complejas


Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

66

Un conjunto ortogonal de funciones de valores complejos


L ADGM
LNaM definidas en el intervalo A0, G se denomina
ortonormal en dicho intervalo cuando L ADG I 1, para
@ I 0, 1, 2, ?s decir

L ADG I C |L ADG|^ tD I 1

Cualquier conjunto I L ADGM


LNaM ortogonal de funciones
complejas diferentes de la funcin cero puede normalizarse.
Para funciones (o seales ) peridicas es conveniente escoger
como base ortogonal el conjunto de las exponenciales complejas
armnicamente relacionadas. Esta eleccin es adecuada ya que
las exponenciales complejas ?XYZ[@BC D ] son funciones
peridicas de periodo .

Veamos que el conjunto de funciones complejas L ADG I


?XYZ[@BC D] para @ I 0, 1, 2, forma un conjunto ortogonal
en el intervalo A0, G
s

b A G
L ADG}
D tD

I s ?XYZ[@BC D]?XYZ_[yBC D] I
C

Iz

,
0,

@ I y|
@{y

Por lo tanto, el conjunto 1/ ?XYZ[@BC D] donde


@ I 0, 1, 2, forma un conjunto ortonormal en el intervalo
A0, G.
Los conjuntos ortonormales son de utilidad ya que los
desarrollos en serie de Fourier son ms sencillos.
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

67

Podemos utilizar la ortogonalidad del conjunto de exponenciales


complejas armnicamente relacionadas ?XYZ[@BC D] para
determinar los coeficientes del desarrollo en serie de Fourier de
exponenciales complejas: Sea XADG una seal peridica con
periodo T, y sea el desarrollo en serie de Fourier en
exponenciales complejas
M

X ADG I K UL ?XYZ[@BC D]
LNaM

donde
BC I

2J

Multiplicando ambos lados por ?XYZ_[yBC D], e integrando en el


intervalo A0, G, obtenemos

s X ADG?XYZ_[yBC D]tD
C

I K UL s ?XYZ[@BC D] ?XYZ_[yBC D]tD


LNaM

I U}

Por lo tanto,
1
UL I s X ADG?XYZ_[yBC D]tD
C
Debido a la periodicidad el intervalo de integracin A0, G en
esta ecuacin puede sustituirse por , donde representa
cualquier intervalo de longitud .
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

68

El producto interno de dos funciones 8 y de periodo 2J y de


valor complejo se define en la siguiente forma ( donde la barra
sobre indica conjugacin compleja )

8, I a 8(X ) (X )tX , ( )

Debido a la periodicidad el valor del producto interno no


cambia si usamos un intervalo de longitud 2J en la integral.

Con frecuencia la funcin 8 se conoce solo en los puntos


equidistantes X I 2J/ , I 0, 1, 2, , _ 1. En este caso
definimos
aO

8, I K 8AX G AX G, X I
NC

2J
( )

Como la norma usual de la funcin 8 esta definida por


8 I 8, 8

Se pueden hacer clculos con este producto interno en la


misma forma como con el producto interno definido en L , con
ciertas obvias modificaciones. Ntese especialmente que en el
caso continuo tenemos que
8, I 
, 8

, 8 es el complejo conjugado de 8, . En particular


Donde 
8, I 
, 8 I  
, 8 I  8,

Relaciones de ortogonalidad
ortogonalidad para las exponenciales
complejas armnicamente relacionadas
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

69

L AX G: I ?XYZ[@X ] , @ I 0, 1, 2,

Caso continuo:

L , } I z

Caso discreto

L , } I

Demostracion

,
0,

2J,
0,

@ I y|
@{y

A@ _ yG/ ?> @ ?@D?V |


?@ US>V UV@DSV

En el caso continuo , si @ { y se tiene que


L , } I s

b ( )
X tD
L (X )}

I s ?XYZ[@X ]?XYZ_[yX ] tX I
a

(_1GLa} _ A_1GLa}
exp ([(@ _ y)X)
I
I 0,

[(@ _ y)
[A@
_
yG
a

con lo cual la ortogonalidad esta probada.


Ahora, para @ I y
L , L I s

L AX GLb AX GtD

I s ?XYZ[@X ]?XYZ_[@X ] tX I 2J
a

En el caso discreto,
discreto sea I 2J/ , luego X I ,
aO

aO

NC

NC

b A G
L , } I K L AX G}
X I K ?XYZ[@X ]?XYZ_[yX ]

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

70
aO

aO

NC

NC

K ?XYZ[A@ _ yGX ] I K ?XYZ[A@ _ yG]

Esta es una suma geomtrica finita con razn  I ?XYZ[A@ _


yG]. Si A@ _ yG/ es un entero. Entonces  I 1 y la suma es
igual a . De otra forma si  { 1 . Entonces  I ?XYZ[A@ _
yG2J] I 1. Aplicando la frmula para la suma de un serie
geomtrica finita tenemos que
A1 _  G
L , } I
I0
A1 _ G

Si sabemos que la funcin 8AXG tiene una expansin de la forma

8 I K UL L
LN

Donde S I _ , T I en el caso continuo y S I 0 , T I _ 1


en el caso discreto. Entonces formalmente se sigue que

8, } I K UL L , } I U} } , } ,
LN

akykT

Como L , } I 0 para @ { y. Por lo tanto, cambiando y por


@, tenemos
Caso continuo

8, L
1
UL I
I
s 8(X G?XYZ_[@X] tX
L , L 2J a

Caso discreto

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

71
aO

8, L
1
UL I
I K 8AX G ?XYZ_[@X ]
L , L
NC

Estos coeficientes se denominan coeficientes de Fourier.


Fourier El
tratamiento puramente formal se puede justificar fcilmente en
el caso discreto. Para caso continuo, se requieren mtodos
avanzados que se escapan del objetivo de este curso.

Las matematicas son el alfabeto con el cual Dios ha escrito el


universo

Formulas de Fourier

Si una funcin 8(DG tiene periodo . Entonces la sustitucin


X I 2JD/ transforma la funcin 8(DG a una funcin de X con
periodo 2J. Por lo tanto estudiaremos solamente funciones de
periodo 2J. Es decir, la funcin 8(DG en /2, /2G se
transforma en una nueva funcin
8(X G I 8

X , _J k X k J
2J

Suponemos que la funcin puede tener valores complejos,


puesto que la funcin exponencial compleja es conveniente para
manipulaciones

Analisis de Fourier . Caso continuo

Un resultado importante en el caso continuo es que


L

8 _ K } }  ,
}NaL

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

72

es minimo si se escoge
Por otra parte,

} I U},

SL I 2?UL I UL E UaL , W

_ @ k y k @.
TL I _2 yUL I [AUL _ UaL G

Entonces con SC I 2UC , tenemos que

1
1
SL I s 8 AX G cosA@X G tX , TL I s 8AX G senA@X G tX,
J a
J a

A1G

K UL ?XYZ[@X ] I

LNa

I UC E KUL AcosA@X G E >?@A@X G E UaL Acos A@XG _ >?@A@X G


LNO

SC
I
E KASL cosA@X G E TL >?@A@XGG
2
LNO

Una funcin 8 continua por tramos y periodica con periodo 2J


puede ser asociada con una serie de Fourier en las siguientes
formas
M

SC
E KASL cosA@X G E TL >?@A@XGG
2
LNO

K UL ?XYZ[@X ]

LNaM

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

73

Los coeficientes SL , TL W UL se pueden calcular usando (2) en el


primer caso y (1) en el segundo caso. Si 8 y su primera derivada
son continuas . Entonces la serie de Fourier converge a 8(X), es
decir al valor de la funcin en cada punto X. Si 8 y 8 tiene un
numero finito de discontinuidades de salto en cada periodo.
Entonces la serie de Fourier converge a
1
(8 (X E) E 8(X_))
2

Si 8 es discontinua en X. Las sumas parciales de las expansiones


dan la mejor aproximacin posible a 8AXG por polinomios
trigonomtricos, en el sentido del cuadrado medio.

Nota: Una funcin es la mas regular, la serie de Fourier converge


mas rpidamente

Teorema de acotacin para los coeficientes de Fourier

Si una funcin periodica 8 tiene derivadas continuas hasta de


orden inclusive y derivadas continua por tramos de orden
E 1 . Entonces existe una constante x, que depende solo de 8 y
tal que
donde

|UL | k

x I
8

@O

(O)

x I @a(O)
8 (O)
M

M I s 8 (O) (X) tX
a

Este resultado se obtiene relativamente fcil integrando por


partes E 1 veces.

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

74

Teorema

aG Si 8 es una funcin par , es decir 8A_X G I 8AXG, para todo X


Entonces TL I 0 para todo entero positivo @.

aG Si 8 es una funcin impar , es decir 8A_X G I _8AXG, para


todo X
Entonces SL I 0 para todo entero no negativo @.
La demostracion es trivial.

Funciones peridicas
Definicin Se dice que una funcin 8 es peridica de periodo
si esta definida para toda X, y si 8AX E G I 8AXG, para todo X

Ejemplo 1: I 4J es un periodo de 8AX G I >?@AXG, ya que


8AX E 4JG I >?@AX E 4JG I >?@AX G I 8AXG.

Ejemplo 2: La funcin 8 AX G I X _ ZX ], donde ZX ] representa el


mayor entero k X, es peridica de periodo I 1

El valor ms pequeo (positivo) de para el que 8AX E G I


8AXG es valida se denomina periodo fundamental de 8. Por
ejemplo el periodo fundamental 8AX G I >?@AXG, es 2J ya que
8AX E 2JG I >?@AX E 2JG I >?@AX G I 8AXG.
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

75

Ejemplos de funciones peridicas sin periodo fundamental son


1) 8AX G I UV@>DS@D?

0,
2) 8AX G I
1,

X |
X

La grafica de una funcin peridica se obtiene mediante la


repeticin peridica de su propia grafica comprendida en
cualquier intervalo de longitud .

Si es un periodo para una funcin 8 .Entonces 2 tambin es


un periodo ya que
8AX E 2 G I 8AX E E G I 8 AX E G I 8AXG, para todo X

En general, @ es un periodo, donde @ es un entero.


es decir, si @ es un entero cualquiera. Entonces

8AX E @G I 8AXG, para todo X

De donde se deduce que , 2, 3, 4, tambin son


periodos de 8 . En conclusin cualquier mltiplo entero de un
periodo es tambin un periodo de 8AXG

cul es el periodo de la funcin 8ADG I =|>?@ABC DG| ?

Teorema 1
Si 8AXG es una funcin peridica de periodo . Entonces la
funcin AX G I 8AXG, donde es una constante positiva es una
funcin peridica de periodo /.( La funcin es un escalado
de la funcin 8 por el factor )
Demostracion
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

76

AX E /G I 8AAX E /GG I 8AX E G I 8AX G I AX G.

Teorema 2
Si 8 y son funciones peridicas de periodo , entonces su
producto 8 y cualquier combinacin lineal 8 E es tambin
periodica de periodo
Demostracin
Sea AX G I 8 AX G E AXG. Entonces para cualquier X

AX E G I 8 AX E G E AX E G I 8 AX G E AX G I AXG .
Adems, es fcil extender este resultado a la suma de un nmero
finito, o incluso la suma de una serie infinita convergente, de
funciones peridicas de periodo es tambin pardica de
periodo .
En particular cada una de las funciones del conjunto

yJX
yJX M
I 1 zUV> v
w , >?@ v
w
I
j
j
}NO

JX
JX
2JX
2JX
3JX
3JX |
1, UV> v w , >?@ v w , UV>
, >?@
, UV>
, >?@
,
j
j
j
j
j
j
Es peridica de periodo I 2j/y, y I 1,2,

Para ver esto recordemos que cosAX G y >?@AX G son peridicas


de periodo fundamental 2J Entonces segn el teorema 1
cosAX G y >?@AX G tienen periodo fundamental 2J/.
Si hacemos : I yJ/j. Entonces el periodo denotado de
L AX G I UV> AyJX/jG W } AX G I >?@ v

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

yJX
w
j

77

es igual a 2j/y.
Ntese ahora que como cada mltiplo entero positivo de un
periodo es tambin un periodo, cada una de las funciones del
conjunto
@JX
@JX M
I 1 zUV> v
w , >?@ v
w
j
j
LNO

tiene periodo comn 2j.

Otra forma de encontrar el periodo fundamental de cada una


de las funciones
yJX
} AX G I >?@ v
w
j

es argumentando de la siguiente manera. Debemos tener que


yJX
yJAX E G
w , YSS DVtV X
>?@
I >?@ v
j
j
yJX
yJ
yJX
yJ
yJX
>?@ v
w UV>
E UV> v
w >?@
I >?@ v
w
j
j
j
j
j
Para X I j/2y obtenemos

J
yJ
J
>?@ v w UV>
I >?@ v w I 1
2
j
2

Lo que implica que


UV>

yJ
I1
j

De aqu, usando la identidad >?@^ \ E UV> ^ \ I 1, obtenemos

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

78

>?@

yJ
I0
j

Como estamos interesados en el menor valor positivo que


satisfaga simultneamente
UV>

yJ
yJ
I 1 W >?@
I0
j
j

obtenemos que
yJ
I 2J
j

Luego el periodo fundamental de la funcin } AX G es 2j/y

El periodo fundamental de L AX G I UV> AyJX/jG es tambin


2j/y. Ntese nuevamente que como cada mltiplo entero
positivo de un periodo es tambin un periodo, entonces cada
una de las funciones perteneciente al conjunto tiene periodo
comn 2j.
Ejercicios Cual es el periodo fundamental de cada una de las
siguientes funciones (o seales) ?
1) 8AX G I cos A2JXG

2) 8AX G I sen A4X/jG

3) 8AX G I >? @AX G E >?@A2XG

4) 8AX G I >? @A2X G E cos A4XG

5) 8AX G I >? @A3X G E cos A2XG.

6)

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

79

aC
@JX
@JX
AX G I E K pSL UV>A
G E TL >?@A
Gq
j
j
2
M

rNO

En consecuencia el lado derecho de 6) tiene periodo 2j; de


hecho 2j es el periodo fundamental de la suma Concluimos que
una serie de Fourier no solo representa la funcin en el intervalo
_j X j sino que proporciona la extensin peridica de

fuera del intervalo l j, jn .

Podemos aplicar el teorema de convergencia a la extensin


peridica de 8

Periodicidad de la serie de Fourier


Ya vimos que cada una de las funciones del conjunto
@JX
@JX M
1 zUV> v
w , >?@ v
w
j
j
LNO

tiene periodo comn 2j. Es decir las funciones repiten sus


valores en intervalos de longitud 2j, ya que

@J
@JX
@JX
cos p AX E 2jGq I cos v
E 2@Jw I cos v
w
j
j
j

@J
@JX
@JX
sen p AX E 2jGq I sen v
E 2@Jw I sen v
w
j
j
j

Por lo tanto, la serie de Fourier

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

80

SC
@JX
@JX
E K pvSL cosA
G E TL sinA
wq
j
j
2
LNO

Converge para todo X a una funcin peridica AXG. Esta funcin


se denomina extensin peridica de AG y esta definida por
las siguientes expresiones
AX G I 8AX G , _ j X j

 AX G I ^ Z8 Aj _G E 8A_j EG] , X I j|
O

AX E 2jG I AXG

Ejercicio
1) Dibujar la grafica de la extensin peridica de 8AX G I X, j k
Xkj
2) Dibujar la grafica de la
|X |, _j k X k j

extensin peridica de

8AX G I

La suma de dos funciones peridicas de periodos diferentes


puede ser no peridica. Por ejemplo, la funcin 8AX G I >?@AX G E
UV>AJX G no es peridica. Nos preguntamos es la funcin
8AX G I >?@ASX G E >?@ATXG periodica? En el siguiente teorema
veremos que la respuesta es afirmativa y si y solo si S/T es un
numero racional .

Teorema 3
Si 8 y son funciones peridicas con periodos fundamentales O
y ^ respectivamente con O { ^ y si existen enteros y y @
tales que yO I @^
Entonces AX G I 8AXG E AXG es
periodica de periodo I yO I @^
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

81

Demostracin

R?>DV ? 8AXG Es peridica de periodo O . Entonces


8 AX E yO G I 8AXG, para todo X

Anlogamente,
AX E @^ G I AXG, para todo X, donde y y @ son enteros .Luego
AX G I 8AX E yO G E AX E @^ G

Para que AXG sea periodica de periodo es necesario que se


cumpla que
AX E G I AX G, YSS DVtV X

8 AX E yO G E AX E @^ G I 8AX E G E AX E G
or lo tanto debemos tener que
I yO I @^
o lo que es lo mismo
O @
I
^ y
Luego la combinacin lineal de dos funciones peridicas es
peridica si y solo si el cociente de sus respectivos periodos es
un numero racional.

Ejercicio
Determinar cul de las siguientes funciones es peridica.
1) XO AtG I senA2t/3G
2) x^ AtG I senA2t/5Gcos A4t/3G

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

82

3) x AtG I senA3tG
4)
x AtG I xO AtG _ x AtG
5) x AtG I cosAt/3G E cos At/4G
6) x AtG I cosA10tG E cos A10 E G
7) x AtG I A10cos AtGG^

Integracion y diferenciacion de funciones periodicas

1) Supongamos que 8 es una funcin periodica con periodo e


integrable en cualquier intervalo
a) si 0 S . Entonces C 8ADGtD I

Sugerencia: Demostrar primero que

s 8AD GtD I s
C

8ADGtD

8AD GtD

y considerar el cambio de variable D I  _ en la segunda


integral)
En efecto: Si hacemos la sustitucin D I  _ , obtenemos

Por lo tanto

8 ADGtD I s 8A E GtD I s 8 ADGtD


C

s 8ADGtD I s 8 ADGtD E s 8ADGtD


C

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

83

Is

8 ADGtD E s 8ADGtD

Is

8ADGtD

b) Demostrar que para cualquier valor de S, no necesariamente


entre 0 y , se tiene que

s 8ADGtD I s
C

En efecto:

Definimos la funcin ADG I

8ADGtD

8AGt para todo D. En virtud

del teorema fundamental del calculo, se sigue que


t
I 8AD E G _ 8ADG I 0
tD

Lo cual implica que ADG I UV@>DS@D?. Luego ASG I A0G. Es


decir
s

8ADGtD I s 8ADGtD
C

c) Demostrar que para cualquier valor de y se tiene que


s

8ADGtD I s

8 ADGtD

En efecto: Como la funcin ADG es una funcin constante


Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

84

Se tiene que

Luego
s

d) Demostrar que

 A G I  A G .

8ADGtD I s

s 8AD GtD I s
En efecto:


8ADGtD I s

8ADGtD E s

Segn el resultado anterior




8ADGtD I s

8ADGtD E s

8 ADGtD

8ADGtD

8 ADGtD


8ADGtD I s 8 ADGtD


2) Si 8 es diferenciable y periodica de periodo . Entonces la


funcin derivada 8 ADG es tambin periodica de periodo ( es
decir, tiene el mismo periodo de 8 )
3) Demostrar que la funcin 8ADG I >?@ASDG E >?@ATDG es
periodica si y solo si S/T es un numero racional .

En efecto
Sea el periodo de la funcin 8, es decir

8AD E G I 8ADG, para todo D

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

85

Luego 8AG I 8A0G I 0. La segunda derivada

8 ADG I _S^ >?@ASDG _ T ^ >?@ATDG

Es periodica de periodo ya que 8 lo es.

8 AD E G I 8 ADG, para todo D


8 AG I 8 A0G

Luego
>?@ASG E >?@ATG I 0
y
S^ >?@ASG E T ^ >?@ATG I 0
Lo que implica que
AS^ _ T ^ G>?@ASG I 0
Lo que implica que
>?@ASG I >?@ATG I 0, para S { T

S I @J y T I yJ, donde y y @ son enteros.


I

@J yJ
I
S
T

O bien

S @
I
T y
4) Sea 8 es periodica de periodo . Demostrar que la funcin
ADG I C 8AGt es periodica ( de periodo ) si y solo si

C 8AGt I 0.

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

86

En efecto:

AD E G I s

8AGt I s 8AGt E s

8AGt

I s 8AGt E ADG I s 8AGt E A0G

Por lo tanto
s 8AGt E s 8 AGt I ADG I s 8AGt

Esto implica que


s 8AGt I 0

Comentario

ADG I A0G I A_/2G

5) Sea 8 es periodica de periodo . determinar la constante =


tal que la funcin
ADG I s 8AGt _ =D

sea periodica de periodo .

En efecto:

AD E G I s

8AGt _ =AD E G I ADG

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

87

8AGt _ =AD E G I s 8AGt _ =D

Esto implica que

AD G _ = I 0

Luego

1
1
1
= I ADG I A0G I s 8 AGt I SC

Expansion
Expansion en serie Fourier de una onda rectangular

Sea

8 (X ) I z

_1,
1,

y 8 AX E 2JG I 8AXG para todo X

_J X 0 |
0XJ

La funcin es impar , luego SL I 0 para @ I 0,1,2,

2
2
A1 _ cosA@JGG
TL I s senA@X G tX I
J C
@J

Por lo tanto TL I 0 si @ es par, y TL I 4/@J si @ es impar, y

4
>?@3X >?@5X
(>?@X E
E
EG
J
3
5
Notese que los coeficientes decrecen como @aO como lo afirma el
teorema de acotacin. La suma de la serie es cero en los puntos
donde 8 tiene una discontinuidad de salto.
8 (X ) I

Identidad de Parseval

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

88
M

2J K |UL
LNaM

|^

I 8

I s |8AXG|^ tX
a

La identidad de Parseval es de gran importancia en muchas


aplicaciones de anlisis de Fourier. La integral se puede
interpretar como la energa de la funcin 8AXG

Analisis de Fourier discreto

Aunque los datos tratados en el anlisis de Fourier son


continuos en el dominio del tiempo o espacio, para propsitos
computacionales estos datos deben estar usualmente
representados en trminos de una secuencia discreta . Por
ejemplo, una funcin 8ADG del tiempo , que se registra a
intervalos de tiempo igualmente espaciados , tales datos pueden
ser analizados por anlisis de Fourier discreto.

Espectros de frecuencias discretas o espectros de


lneas
Al representar una seal peridica XADG mediante exponenciales
complejas estamos descomponiendo la seal en sus
componentes armnicas o de frecuencia. Si la seal XADG es
peridica de periodo entonces sus componentes de frecuencia
son
BL I

2@J
I @BC , @ I 0, 1, 2, ..

La grafica de de la magnitud de los coeficientes complejos en la


serie de Fourier |UL | versus la frecuencia discreta B I @BC se
Jos Humberto Serrano D
Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

89

denomina espectro de amplitud de la seal peridica X ADG. La


unin de las puntas de las lneas de amplitud se denomina
envolvente del espectro de amplitud, anlogamente, la
representacin del angulo de fase L de UL versus B I @BC se
denomina espectro de fase de XADG.
Para seales reales ( no complejas )
1
b
UL I s X ADG?XYZ_[@BC D]tD
C

1
I
s X ADG?XYZ_[A_@GBC D]tD I UaL
C
Por lo tanto
|UaL | I |UL |

SUaL I _SUL

Lo que implica que el espectro de amplitud tiene simetra par y


la fase simetra impar

De la serie compleja a la serie trigonomtrica


aO

}NaM

}NO

X ADG I UC E K U} ?XYZ[yBC D] E K UL ?XYZ[yBC D]


M

LNO

LNO

I UC E K UaL ?XYZ[A_@GBC D] E K UL ?XYZ[@BC D]

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas

90
M

I UC E KAUaL ?XYZ_[@BC D] E UL ?XYZ[@BC D]G


LNO

I UC E M
LNO 2? UL ?XYZ[@BC D ]
M

I UC E KA2?UL UV>A@BC DG
LNO

_ 2 yUL >?@A@BC DGG

De ac que esta ecuacin se escriba como


M

SC
X ADG I
E KASL UV>A@BC DG E TL >?@A@BC DGG
2
LNO

Esta expresin se denomina forma trigonomtrica de la serie de


Fourier para la seal peridica XADG. Los coeficientes estn dados
por
SC
1
I UC I s X ADGtD
2
C

2
SL I 2? UL I s X ADGUV>A@BC DGtD
C

2
TL I _2 yUL I s X ADG>?@A@BC DGtD
C

En trminos del modulo y la fase de UL la seal XADG se puede


expresar como
M

X AD G I UC E K 2?UL ?XYZ[@BC D]
LNO

Jos Humberto Serrano D


Ing. Electrnica
Universidad Distrital Francisco Jos De Caldas