Mi Libro de Especiales I Primera Parte

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

Ing. Electrnica
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

Ing. Electrnica
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( )
Ing. Electrnica
(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

Ing. Electrnica
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 productosuma

>?@=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:

Ing. Electrnica
@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
Ing. Electrnica
( 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.

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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
Ing. Electrnica
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

Ing. Electrnica
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.
Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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
Ing. Electrnica
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]
Ing. Electrnica
20
A_1GLO
X I2K
>?@A@X G , 0 X J
@
LNO

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

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
Ing. Electrnica
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

Ing. Electrnica
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.

Ing. Electrnica
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
Ing. Electrnica
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

Ing. Electrnica
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 productosuma 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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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.
Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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:
Ing. Electrnica
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

Ing. Electrnica
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 _ @^

Ing. Electrnica
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:

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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
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,

Ing. Electrnica
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
Ing. Electrnica
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
UV> (D) I
5
5
1
UV>(D) E
UV>A3DG E
UV>A5DG RSS Z J, J]
16
16
8

Ing. Electrnica
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 ?

Ing. Electrnica
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

Ing. Electrnica
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
Ing. Electrnica
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,

Ing. Electrnica
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

Ing. Electrnica
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??

Ing. Electrnica
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 .
Ing. Electrnica
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

Ing. Electrnica
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
Ing. Electrnica
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

Ing. Electrnica
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
Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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 ^

Ing. Electrnica
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

Ing. Electrnica
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
Ing. Electrnica
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 ^

Ing. Electrnica
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

Ing. Electrnica
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.
Ing. Electrnica
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 .
Ing. Electrnica
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
Ing. Electrnica
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 ]

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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.

Ing. Electrnica
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.
Ing. Electrnica
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
Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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)

Ing. Electrnica
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

Ing. Electrnica
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 @^
Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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.

Ing. Electrnica
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

Ing. Electrnica
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

Ing. Electrnica
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
Ing. Electrnica
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]

Ing. Electrnica
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

Ing. Electrnica

Mi Libro de Especiales I Primera Parte

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Mi Libro de Especiales I Primera Parte

Загружено:

Авторское право:

Доступные форматы

UNIVERSIDAD DISTRITAL FRANCISCO JOSE DE CALDAS

PROYECTO CURRICULAR INGENIERIA ELECTRONICA

ANALISIS DE FOURIER CONTINUO Y DISCRETO

JOSE HUMBERTO SERRANO DEVIA

2. INTEGRALES Y TRANSFORMADAS DE FOURIER..

Jos Humberto Serrano D

Introduccin al anlisis de Fourier

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

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

Jos Humberto Serrano D

La descomposicin de un fenmeno peridico en un tono

Entonces usando la formula de adicin para la funcin seno

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

De aqu se deduce que

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

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

Jos Humberto Serrano D

Desde ese momento se usa el trmino series de Fourier para

Las series de Fourier son valiosas en el estudio de fenmenos

(Transformada de Fourier). La aproximacin de la transformada

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

Jos Humberto Serrano D

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

Utilizando las identidades trigonomtricas producto- suma

Jos Humberto Serrano D

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

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

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

Cambiando y por @ obtenemos

Una expresin en serie para el numero ~ (Ejercicio )

Ejemplos resueltos y comentarios de convergencia

( Simetras ) Funciones par e impar

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

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

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

o bien a una serie nicamente de senos de la forma

Tales casos aparecen cuando la funcin 8 es par o impar

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

Jos Humberto Serrano D

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

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

Ejemplo 2 La funcin 8 (X ) I cos v

 2. Se dice que una funcin 8 es impar si

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

Ejemplo 4 Demostrar que cualquier funcin definida en un

Jos Humberto Serrano D

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

Las funciones pares e impares satisfacen las siguientes

par EparI par

La suma de dos funciones impares es una funcin impar .

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

Jos Humberto Serrano D

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

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

Las demostraciones son muy

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

Propiedades respecto a la integracin

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

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

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

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

2. Se dice que una funcin 8 es impar si