APUNTES DE MATEMÁTICA II: NÚMEROS COMPLEJOS

APUNTES DE
MATEMTICA II

Tecnicaturas en Diagnstico por Imgenes
y en Electromedicina

Escuela de Ciencia y Tecnologa
UNSAM

Alicia Denis
Matemtica II Nmeros complejos
Nmeros complejos

Al estudiar los nmeros reales vimos que hay ecuaciones que no tienen solucin en ese
campo. Por ejemplo, , ya que 0 1
2
= + x x R es . En general, ecuaciones del tipo
con R no tienen solucin en R si . Se hace necesario
ampliar el conjunto de los nmeros a otro en el que estas ecuaciones puedan resolverse. Dicho
conjunto es el de los nmeros complejos.
0
2
x
0
2
= + + c bx ax c b a , , 0 4
2
< ac b

Los nmeros complejos se definen como pares ordenados (a,b) de nmeros reales. La
primera componente se denomina componente real y la segunda, componente imaginaria. En
la representacin cartesiana, el eje horizontal es el eje real y el vertical, el eje imaginario.
Existe una correspondencia biunvoca entre los puntos del plano y el conjunto de los nmeros
complejos.

eje imaginario
b (a,b)

a eje real

El conjunto de los nmeros complejos se simboliza con C. En notacin simblica, la
definicin que dimos ms arriba se expresa:

C R} , / ) , {( = b a b a

Se suele indicar y tambin ) , ( b a z = z C. Para identificar a sus componentes, escribimos
y ) Re(z a = ) Im(z b =

-
(-2,2)

(1,0)

(-1,0)
(0,1) (1,1)

(3,-1)
Ejemplo 1: Representar
los nmeros complejos (1,0),
(1,1), (0,1), (3,-1), (-1,0), (-2,2)

Los nmeros reales son aquellos pares ordenados cuya segunda componente es nula: (a,0), y
los nmeros imaginarios, aquellos pares con primera componente nula: (0,b).

1
UNSAM Escuela de Ciencia y Tecnologa
Tecnicaturas en Electromedicina y en Diagnstico por Imgenes Alicia Denis
El par ordenado (1,0) es la unidad real y se indica tambin como

(1,0)=1;

el par ordenado (0,1) es la unidad imaginaria y se indica tambin como

(0,1)=i.

Definimos en el conjunto de los nmeros complejos la relacin de equivalencia:

(a,b)=(c,d) a=c b=d

Suma

Sean (a,b) y (c,d) dos nmeros complejos. Definimos la operacin de suma segn:

(a,b)+(c,d)=(a+c,b+d)

que es similar a la de suma de vectores en R
2
.

La suma de nmeros complejos satisface las propiedades asociativa y conmutativa:

[(a,b)+(c,d)]+(e,f)=(a,b)+[(c,d)+(e,f)] es decir, ) ( ) (
3 2 1 3 2 1
z z z z z z + + = + +
(a,b)+(c,d)= (c,d)+ (a,b) es decir,
1 2 2 1
z z z z + = +

donde z
1
=(a,b) , z
2
=(c,d) y z
3
=(e,f). Ambas se demuestran fcilmente a partir de la definicin
de suma en y de la validez de esas propiedades en los nmeros reales.

El elemento neutro para la suma es el complejo (0,0):

(a,b)+(0,0)=(a,b)

Como consecuencia de la definicin de suma en C, la suma de dos nmeros reales es otro
nmero real y la suma de dos nmeros imaginarios es otro imaginario:

(a,0)+(c,0)=(a+c,0)
(0,b)+(0,d)=(0,b+d)

Cualquiera sea (a,b) C, existe (-a,-b) C que satisface

(a,b)+(-a,-b)=(0,0)

El complejo (-a, -b) se denomina inverso aditivo de z=(a,b) y se indica z. Ahora podemos
definir la resta de dos complejos (a,b) y (c,d) como la suma de (a,b) con el inverso aditivo de
(c,d):

) , ( ) , ( ) , ( ) , ( ) , ( d b c a d c b a d c b a = + = es decir, ) (
2 1 2 1
z z z z + =

2
La suma y la resta de complejos son similares a las de vectores en R
2
. Grficamente, se
interpretan como se muestra en los esquemas:

z
1
+ z
2

z
2
z
1
z
1

z
1
-z
2 z
1
-z
2
=
z
1
+(-z
2
)
-z
2
z
2

La suma est dada por el complejo que se representa segn la diagonal del paralelogramo que
contiene al origen de coordenadas (esquema de la derecha). La resta est dada por la otra
diagonal del paralelogramo trasladada hasta el origen de coordenadas. Tambin podemos
pensarla como la suma de z
1
con z
2
(esquema de la izquierda).

Ejemplo 2: Efectuar la suma entre (2,4) y (-3,3):
(2,4)+(-3,3)=(2-3,4+3)=(-1,7)

Producto de un nmero complejo por un nmero real

Sean (a,b)C y r R. Su producto se define como:

r.(a,b)=(r.a,r.b)

Nuevamente, esta propiedad es similar a la de vectores en R
2
.

Ejemplo 3: Calcular el producto 2.(-3, 1):
2.(-3, 1)=(2.(-3),2.1)=(-6,2)

Cuadrado de la unidad imaginaria

Presentamos ahora una propiedad de los nmeros complejos que no tiene su equivalente entre
los vectores en el plano. Definimos el cuadrado de la unidad imaginaria i en la forma

1
2
= i

Esta propiedad confiere al conjunto C su estructura particular y lo distingue del espacio
eucldeo de dos dimensiones. Por lo pronto, comprobamos que i es solucin de la ecuacin
que planteamos al comienzo. Pero tambin i es solucin pues (-i)
2
=(-i)(-i)=i
2
=-1.
Las soluciones de esa ecuacin son .
0 1
2
= + x
i

Forma binmica de un nmero complejo

Todo nmero complejo puede descomponerse como suma de un nmero real ms un
imaginario, en la forma:
3

(a,b)=(a,0)+(0,b)

Pero, usando la definicin de producto de un nmero complejo por un nmero real, tenemos:

(a,b)=a(1,0)+b(0,1)

donde se pueden reemplazar las unidades real e imaginaria y se llega a:

(a,b)=a+bi

que es la forma binmica de un nmero complejo. En particular,
indican respectivamente a un nmero real y a uno imaginario.
a a = ) 0 , ( y bi b = ) , 0 (

Producto de nmeros complejos
Sean z
1
=(a,b) y z
2
=(c,d)C. Escritos en la forma binmica son z
1
=a+bi y z
2
=c+di. Esta
notacin es ventajosa desde el punto de vista operativo ya que el producto en C se reduce a
una mecnica conocida, donde basta recordar que i
2
=-1. As,

i bc ad bd ac bdi bci adi ac di c bi a d c b a z z ) ( ) ( ) ( ) ( ) , ( ) , (
2
2 1
+ + = + + + = + + = =
) , (
2 1
bc ad bd ac z z + =

Ejemplo 4: Calcular el producto entre (-2,3) y (1,-3):
(-2,3) . (1,-3)=((-2).1-3.(-3), (-2).(-3)+3.1)=(7,-3)

Se puede demostrar que el producto de nmeros complejos satisface las propiedades
conmutativa y asociativa. Las operaciones de suma y producto cumplen con la propiedad
distributiva.

(a,b).(c,d)= (c,d). (a,b) , es decir,
1 2 2 1
z z z z =
[(a,b).(c,d)].(e,f)=(a,b).[(c,d).(e,f)] , es decir, ) ( ) (
3 2 1 3 2 1
z z z z z z =
[(a,b)+(c,d)].(e,f)=(a,b) .(e,f)+(c,d).(e,f) , es decir,
3 2 3 1 3 2 1
) ( z z z z z z z + = +

El elemento neutro para el producto es el complejo (1,0) pues

) ( 1 ) ( ) 0 1 ( ) ( ) 0 , 1 ( ) , ( bi a bi a i bi a b a + = + = + + = =(a,b)

El inverso multiplicativo de un complejo no nulo dado (a,b) es otro complejo (c,d) que
cumple que

es decir, ) 0 , 1 ( ) , ( ) , ( = d c b a ) 0 , 1 ( ) , ( = + bd ad bd ac

Esta igualdad da lugar al sistema de ecuaciones cuya solucin nica es
= +
=
0
1
bc ad
bd ac
2 2
b a
a
c
+
= ,
2 2
b a
b
d
+
= . Por lo tanto el inverso multiplicativo de (a,b) es
4

2 2 2 2 2 2 2 2 2 2
) , ( ) , (
) , (
1
b a
bi a
i
b a
b
b a
a
b a
b
b a
a
d c
b a
+
=
+
+
=
+
+
= = ( 1)

El producto en C cumple que

) 0 , ( 0 ) 0 ( ) 0 ( ) 0 , ( ) 0 , ( ac ac i ac i c i a c a = = + = + + =

es decir, el producto de dos nmeros reales es otro nmero real. Asimismo, se obtiene que

) 0 , ( ) 0 ( ) 0 ( ) , 0 ( ) , 0 (
2
bd bd bdi di bi d b = = = + + =

o sea que el producto de dos nmeros imaginarios es un nmeros real.

Ejemplo 5: Transformar a la forma binmica y efectuar el producto: (-2, 4).(-1,3).
(-2, 4).(-1,3)=(-2+4i).(-1+3i)=2-6i-4i+12i
2
=2-6i-4i-12=-10-10i.

Conjugado de un nmero complejo

Cualquiera sea (a,b)C, existe (a,-b)C, que se denomina complejo conjugado de (a,b). Si
designamos a un nmero complejo como bi a b a z + = = ) , ( , su conjugado suele designarse
como z :

bi a b a z = = ) , (

Tambin expresamos

) Re( ) Re( z z = ; ) Im( ) Im( z z = .

El producto de dos complejos conjugados es el nmero real que se obtiene como suma de los
cuadrados de sus partes real e imaginaria:

2 2 2 2 2
) )( ( b a i b abi abi a bi a bi a z z + = + = + = ( 2)

Los complejos conjugados satisfacen, adems, que su suma es tambin un nmero real, igual
al duplo de la parte real:
5

) Re( 2 2 ) ( ) ( z a bi a bi a z z = = + + = +

En su representacin grfica, dos complejos
conjugados aparecen como se muestra en la
figura

Ejemplo 6: El complejo conjugado
de z=(2,-1)=2-i es i z + = = 2 ) 1 , 2 (
= z a-bi
z=a+bi
a
-b
b

Cociente de nmeros complejos

Para efectuar el cociente de dos nmeros complejos (a+bi)/(c+di) suele multiplicarse el
numerador y el denominador por el complejo conjugado del denominador, con lo que, al
hacer los productos, se obtiene un nmero real en el denominador:

i
d c
bc-ad
d c
ac+bd
d c
i bc-ad + ac+bd
c-di c+di
c-di a+bi
c+di
a+bi
2 2 2 2 2 2
) ( ) (
) ( ) (
) ( ) (
+
+
+
=
+
= =

Mediante este procedimiento, podemos separar las componentes real e imaginaria del
complejo cociente.

Ejemplo 7: Calcular (3-6i)/(-2+i):
i
i i i i
i i
i i
i
i
5
9
5
12
5
9 12
1 4
) 6 12 3 6 (
) 2 )( 2 (
) 2 )( 6 3 (
) 2 (
) 6 3 (
2
+ =
+
=
+
+ +
=
+

=
+

Forma trigonomtrica de un complejo

A todo nmero complejo z=a+bi le asociamos su distancia al origen, que llamamos mdulo y
simbolizamos z , y un ngulo medido en sentido antihorario a partir del eje real positivo,
que designamos argumento.

El mdulo y el argumento de un complejo
constituyen sus coordenadas polares. A partir de
la figura, resulta claro que
a
z=a+bi
b

z

a= z cos ; b= z sin

Por lo tanto, el complejo z tambin se puede escribir en la forma:

z=a+ib= z cos + i z sin

z= z (cos + i sin )

Esta expresin se conoce como forma trigonomtrica de un complejo.

Dado que las funciones seno y coseno son peridicas, esto es, los valores de ambas funciones
se repiten cclicamente cada vez que el ngulo vara en 2, si un valor particular de es
reemplazado por +2 por -2 , en general, por +2k, con cualquier k entero, los
valores de a y de b no se ven modificados. Esto indica que el punto del plano, o sea el nmero
complejo que l representa no cambia cuando al argumento se le suma un mltiplo entero de
2. Concluimos que no existe un argumento nico sino una familia de argumentos, todos
igualmente vlidos. Por lo tanto

z= z (cos + i sin )= z [cos (+2k) + i sin (+2k)]
6

De todos los argumentos, hay slo uno que pertenece al intervalo [0,2). A este valor del
argumento lo llamamos argumento principal de z, lo indicamos Arg(z) y cumple que 0
Arg(z)<2. Los dems argumentos de z se indicarn arg(z) y estn relacionados con el
principal en la forma arg(z)= Arg(z) +2k, con kZ.

Dados dos nmeros complejos escritos en forma trigonomtrica:

) sin (cos
1 1 1 1
+ = i z z y ) sin (cos
2 2 2 2
+ = i z z

la igualdad entre ellos significa que
=
2 1
z z
+ =
=
k
z z
2
2 1
2 1
, con kZ. ( 3)

pues todos lo argumentos que difieran en un mltiplo entero de 2 conducen a un mismo
punto en el plano, supuesto que los mdulos son iguales.

Pasaje de la forma cartesiana a la trigonomtrica

Las tres representaciones de los nmeros complejos mostradas hasta aqu: de par ordenado,
binmica y trigonomtrica, son equivalentes y se puede pasar fcilmente de una a otra. En
efecto, dado el complejo en su forma de par ordenado, el paso a la forma binmica es sencillo.
El pasaje de la forma trigonomtrica a las de par ordenado y binomio se efecta a partir de las
relaciones a= z cos y b= z sin .

Para obtener la forma trigonomtrica a partir de las coordenadas cartesianas es necesario
calcular z y un valor de . De la figura surge que

2 2
b a z + = ( 4)

Para calcular el ngulo, podemos recurrir a las funciones trigonomtricas seno, coseno o
tangente. Si empleamos el seno, tenemos

z
b

z
b
arcsin sin = =

Teniendo en cuenta que la funcin seno es positiva en el primero y segundo cuadrantes y
negativa en el tercero y cuarto, la determinacin de un valor del argumento requiere que se
considere el signo de cada una de las componentes.

Por ejemplo, si se quiere calcular las coordenadas polares de 3 3
1
i z + = , determinamos
primero su mdulo: 3 2 12 ) 3 ( 3
2 2
1
= = + = z . Una representacin grfica nos
mostrara que el complejo se encuentra en el primer cuadrante. Su argumento es tal que
7
2
1
3 2
3
sin
1
= = y por lo tanto, el argumento principal es
6
30
1
= .

Consideremos ahora el ejemplo 3 3
2
i z = . Si lo representamos, vemos que se encuentra
en el tercer cuadrante. Su mdulo es tambin
3 2
2
= z ; para encontrar un valor de su argumento,
calculamos
2
1
3 2
3
sin
2
=
= . La calculadora nos
dir que . Sin embargo, la representacin
nos indica que esto no es correcto pues este ngulo o
cualquiera que difiera de l en un mltiplo entero de
2, nos sita en el cuarto cuadrante. Esta
ambigedad proviene de que la funcin seno es
negativa tanto en el tercero como en cuarto cuadrante y la calculadora da por respuesta slo
una de ellas. La figura nos ayuda a encontrar el valor correcto. El ngulo que se seala es de
30 y el argumento principal de es
= 30
2
2
z
6
7
30 180
2
+ = .

2
z
2

Dos complejos conjugados: z=a+bi y bi a z = tienen igual mdulo:

2 2
b a z z + = =

y argumentos de signo contrario:
z
z

-

arg(z)=
a
b
=arctan y
arg( z )= arctg ) ( arctg = =
a
b
a
-b

La escritura en forma trigonomtrica pone en evidencia la relacin que existe entre los
mdulos y argumentos de dos complejos conjugados. Dado ) sin (cos i z z + = , su
conjugado se escribe en forma polar como )) sin( ) (cos( + = i z z . Pero, puesto que
(el coseno es una funcin par) y que cos ) cos( = sin ) sin( = (el seno es una funcin
impar), resulta

z = z (cos - i sin )

Inverso multiplicativo de un complejo no nulo

Retomemos las expresiones (2) y (4). De ellas resulta

2
z z z =

8
que concuerda con la expresin (1), ya que sta puede escribirse en la forma

2
1
z
z
z
=

suponiendo que z0. Dado que los complejos y
1
z z estn relacionados a travs de una
constante real y positiva, z
2
, sus mdulos sern en general diferentes pero tendrn el mismo
argumento. En particular, si z =1, entonces z z =
1
.

Ejemplo 8: Calcular el inverso multiplicativo de z=(-1,4):
17 16 1 = + = z ; i z
17
4
17
1
17
) 4 , 1 (
1
=

=

Producto de complejos en forma trigonomtrica

Sean ahora dos complejos z y w escritos segn la notacin trigonomtrica:

) sin (cos + = i z z y ) sin (cos + = i w w

Su producto es:

) sin (cos ) sin (cos + + = i i w z w z =
= + + + = ) sin sin sin cos cos sin cos (cos
2
i i i w z
= + + = )] sin cos cos (sin ) sin - cos [(cos i sen w z

)] sin( ) [cos( + + + = i w z w z ( 5)

donde hemos usado las frmulas para el coseno y el seno de la suma de dos ngulos. Esta
expresin nos indica que el producto de dos complejos da otro complejo cuyo mdulo es igual
al producto de los mdulos de los complejos dados y su argumento es igual a la suma de los
argumentos de los complejos dados.

En particular, si uno de los complejos tiene mdulo 1, su producto por otro complejo tiene el
efecto de una rotacin pura. La escritura de los complejos mediante sus coordenadas polares
nos permite obtener una interpretacin geomtrica para la operacin producto.

Vale aclarar que el argumento que se obtiene para el complejo producto no necesariamente es
el argumento principal, an cuando hayamos tomado los argumentos principales de los dos
complejos que estamos multiplicando, ya que el resultado de la suma puede caer fuera del
intervalo [0,2).

En forma anloga, efectuemos el cociente entre z y w:

9
=
+
+
=
+
+
=
) sin )(cos sin (cos
) sin )(cos sin (cos
) sin (cos
) sin (cos
i i w
i i z
i w
i z
w
z

) sin (cos
) sin cos - cos (sin + ) sin sen cos (cos
2 2
+
+
=
i
w
z

)] - sin( ) [cos( + = i
w
z
w
z

10

Es decir, el cociente de dos complejos es otro complejo cuyo mdulo es igual al cociente de
los mdulos de los complejos dados y su argumento es igual a la diferencia de los argumentos
de los complejos dados.

Como aplicacin de (5), calculemos el cuadrado de un complejo z (como producto de z.z)

z
2
= = z z [cos ( + ) + i sin ( + )]
z
2
= = z
2
(cos 2 + i sin 2)

de donde se concluye que elevar un complejo al cuadrado equivale a elevar su mdulo al
cuadrado y duplicar su argumento. Teniendo presente (5), el resultado anterior se puede
extender fcilmente a cualquier potencia de exponente natural:
) sin (cos + = n i n z z
n
n
( 6)
Esta igualdad vale trivialmente para n=0. Pero adems, como ya vimos,
[ ]
[ ) sin( ) cos(
) sin( ) cos(
1
2 2
1
+ =
+
= =

i z
z
i z
z
z
z ], de modo que la frmula (6)
vale tambin para n=-1. Si a z
-1
lo dividimos por potencias naturales sucesivas de z, aplicando
lo visto para el cociente, veremos que la frmula contina siendo vlida para exponentes
enteros negativos de z. Luego,

) sin (cos + = n i n z z
n
n
, nZ (6)

Si z es un complejo de mdulo 1, o sea + = sin cos i z , la expresin anterior da lugar a la
frmula de De Moivre:

+ = + n i n i
n
sin cos ) sin (cos

Ejemplo 9: Calcular las siguientes potencias y escribir los resultados en las formas
trigonomtrica y binmica:
a) z
2
para z de mdulo 2 y argumento /4:
) 4 / sin 4 / (cos 2 i z + = ; i i i z 4 ) 1 . 0 ( 4 ) 4 / 2 sin 4 / 2 (cos 2
2 2
= + = + =
b) para
4
z i z + = 3 :
el mdulo de z es 2 1 3 = + = z y su argumento es 6 / ) 2 / 1 arcsin( = = , de modo
que ; luego, ) 6 / sin 6 / (cos 2 i z + = = + = ) 6 / 4 sin 6 / 4 (cos 2
4 4
i z
) 3 / 2 sin 3 / 2 (cos 16 + = i 3 8 8 ) 2 / 3 2 / 1 ( 16 i i + = + = .

Potencias de i

Las definiciones de potencias de exponente 0 y 1 indican que:

i
0
= 1 ; i
1
= i

Como aplicacin de la regla de potenciacin de un complejo, calculemos las potencias
naturales de la unidad imaginaria. Su expresin trigonomtrica es:
)
2
sen
2
(cos 1 i i + =
de donde:
i
2
= 1(cos +i sen ) = -1
i
3
= 1(cos 3/2+i sin 3/2) = -i
i
4
= 1(cos 2+i sin 2) = 1

Debido a la periodicidad de las funciones seno y coseno, las potencias enteras sucesivas de i
darn en forma secuencial los resultados 1, i, -1 y -i. Ms precisamente, si el exponente n es
un mltiplo de 4, esto es si n se puede escribir como 4k, donde k es algn nmero entero, se
tendr . Si, en cambio, n es el consecutivo de un mltiplo de 4, es decir,
, se tendr . Para
1
0 4
= = i i
k
1 4 + = k n i i i
k
= =
+ 1 1 4
2 4 + = k n , ser y para 1
2 2 4
= =
+
i i
k
3 4 + = k n ,
. En resumen: i i i
k
= =
+ 3 3 4

=
3 4
2 4 1
1 4
4 1
k+ = -i si n
k+ si n= -
k+ = i si n
k si n=
i
n
; kZ

Regiones en el plano complejo

Dado que, como se defini ms arriba, el mdulo de un complejo representa su distancia al
origen de coordenadas, el conjunto de todos los complejos que tienen un mdulo dado
constituye una circunferencia de radio igual a dicho mdulo. El conjunto } / { r z z A = = es el
del esquema de la izquierda

A B C D
11

r
z
0
r
r

Si, en cambio, nos interesa representar el conjunto } / { r z z B = , obtendremos los puntos de
la circunferencia y los de su interior, pues todos ellos se encuentran a una distancia del origen
a lo sumo igual a r.

Para representar a aquellos complejos que distan r de un cierto z
0
, debemos tener presente la
interpretacin grfica que dimos antes de la resta de dos complejos: es un complejo
que trazamos desde z
0
hasta z
1
; la distancia entre z
0
y z
1
est dada por
0 1
z z
r z z =
0 1
. Luego,
todos los complejos que estn a igual distancia (r) de z
0
, es decir, los puntos de la
circunferencia de radio r centrada en z
0
, son los que pertenecen al conjunto definido como
} / {
0
r z z z C = = .

Como otro ejemplo, consideremos la regin definida como } ) ( Arg / { = = z z D . Estos son
aquellos complejos ubicados sobre la semirrecta con origen en el origen de coordenadas y
ngulo de inclinacin respecto del eje real, como se ve en el esquema de la derecha.

12
Ejemplo 10: El conjunto definido por } 2 1 / { < z z = M
es el de aquellos complejos que a la vez cumplen que 2 z
y que 1 > z , es decir los que pertenecen al anillo mostrado
en el grfico. Ntese la diferencia entre el crculo de lnea
continua, que representa a los complejos tales que 2 = z ,
que estn incluidos en el conjunto, y el crculo en lnea de
puntos que indica que aquellos nmeros con 1 = z no
pertenecen al conjunto.

Ejemplo 11: El conjunto definido por
} 6 / 11 ) arg( 3 / 2 0 / { < = z z z N est dado por la
porcin sombreada de crculo de radio 2 con argumentos en
la franja indicada. Obsrvese que est eliminado el origen
pues el conjunto contiene complejos con 0 > z .

Races de un complejo

Calculemos
3
) 3 ( i + ,
3
) 3 ( i + , y comprobemos que en los tres casos se obtiene 8i.
Si tuviramos que resolver la ecuacin , es decir encontrar todos los nmeros
complejos tales que su cubo es 8i, tendramos varias soluciones diferentes. Cuntas son en
total? Hasta ahora conocemos tres. Cmo sabemos si hay o no ms soluciones?
3
) 2 ( i
i z 8
3
=

Dado que la frmula (6) nos ensea que para elevar al cubo, debemos elevar el mdulo al
cubo y multiplicar el argumento por tres, podramos pensar que para sacar la raz cbica de un
complejo debemos tomar la raz cbica de su mdulo y dividir su argumento por tres.
Rpidamente veremos que en este razonamiento hay un error. Pensemos en el ejemplo de
encontrar las races cbicas de 8i: su mdulo es 8 y su argumento es /2, de modo que si
buscamos sus races cbicas mediante ese razonamiento obtendremos un complejo de mdulo
2 y argumento /6, que no es otro que ) 3 ( i + . Este complejo es solucin del problema, pero
sabemos que no es la nica y el razonamiento anterior no nos permite encontrar las otras.

Para encontrar todas las soluciones de la ecuacin nos valemos de la notacin
trigonomtrica de los nmeros complejos. La representacin grfica del complejo conocido 8i
nos ayuda a ver rpidamente que su mdulo es 8 y su argumento principal es /2. Entonces,
i z 8
3
=
)
2
sin
2
(cos 8 8

+
= i i .

Del nmero complejo desconocido, z, tendremos que determinar su mdulo z y su
argumento . En la notacin trigonomtrica z es:

) sin (cos + = i z z

De acuerdo con la frmula (6), es

) 3 sin 3 (cos
3
3
+ = i z z

Para que se cumpla la ecuacin , como ya enunciamos en (3), los complejos y
deben cumplir simultneamente que
i z 8
3
=
3
z i 8

=
=
k
z
2
2
3
8
3
, con kZ.
La primera es una igualdad entre nmeros reales positivos. Su solucin, nica, es 2 = z . La
segunda, que nos dar los valores del argumento , tiene la particularidad de contener un
entero arbitrario k. Al asignarle diferentes valores a k, obtendremos diferentes valores de , y
por lo tanto, diferentes soluciones complejas de la ecuacin planteada, es decir, un nmero
complejo z por cada valor de , todos ellos con mdulo 2. Esto es, en

3 / ) 2
2
( +
= k
si tomamos k =0, resulta
6
0

=
6
5
1
=
2
3
6
9
2

= =
Pero, si tomamos k =3, resulta
6
13
3
= . Este argumento, que es mayor que 2, es
equivalente a /6 pues, por ser + = 2
6
6
13
, las funciones seno y coseno de
6
13
toman los
mismos valores que las de /6. En otras palabras, el argumento da lugar a la misma
3
13
solucin compleja que el argumento . Algo similar ocurre al tomar k=4, ya que se obtiene
un argumento
0
6
17
4

= que resulta equivalente a
6
5
1
= . Vemos que para esta ecuacin,
hay slo tres valores de k (0, 1 y 2) que dan lugar a tres argumentos distintos y de cada uno de
ellos se obtiene un nmero complejo z que es solucin de la ecuacin. Tenemos as,

i i i z + = + =
= 3 )
2
1
2
3
( 2 )
6
sin
6
(cos 2
0

i i i z + = + = + = 3 )
2
1
2
3
( 2 )
6
5
sin
6
5
(cos 2
1
i i i z 2 )) 1 ( 0 ( 2 )
2
3
sin
2
3
(cos 2
2
= + = + =
14

y stas son todas las soluciones del problema. En la
representacin en el plano complejo, vemos que
aparecen distribuidas sobre una circunferencia de radio 2
(el mdulo de los tres complejos solucin) y que sus
argumentos difieren en 120 (la tercera parte del ngulo de un giro).
- i + 3 i + 3

-2i

Enunciamos sin demostracin el siguiente resultado general: el nmero total de soluciones
coincide con el orden de la ecuacin. En el ejemplo que desarrollamos obtuvimos tres
soluciones por tratarse de una ecuacin de tercer grado. En general, las soluciones aparecen
como los vrtices de un polgono regular cuyo nmero de lados coincide con el orden n de la
ecuacin, si . Si n=2, las dos soluciones tienen argumentos que difieren en y, por lo
tanto, aparecen en los extremos de un dimetro. En otras palabras, las dos soluciones z
0
y z
1

cumplen que z
0
=- z
1
.
3 n

Ejemplo 12: Encontrar las races cuartas complejas de la unidad (resolver 1
4
= z ) y
graficar los complejos obtenidos.
Para esto, escribimos al nmero real 1 como un complejo de mdulo 1, argumento
principal 0 y argumento genrico 0+2k. Las cuatro races tendrn entonces mdulo 1
y argumentos que se obtienen de (0+2k)/4, esto es: 0, /2, y 3/2. Se comprueba
fcilmente que estos cuatro complejos son 1, i, -1, -i. Si resolviramos el mismo
problema en el campo real, obtendramos slo 1 y 1. Estas soluciones, naturalmente,
tambin aparecen en la resolucin en el campo complejo, pero a las dos races i y i no
las vemos si trabajamos en el campo real.

Ejemplo 13: Calcular las races cuadradas complejas de 16, es decir, resolver la
ecuacin . 16
2
= z
En forma anloga, tenemos un complejo de mdulo 16 y argumento genrico +2k.
Sus dos races cuadradas tendrn mdulo 4 y argumentos que resultan de hacer
(+2k)/2, es decir /2 y 3/2. Estos complejos son entonces 4i y 4i. Notamos que la
ltima ecuacin no tiene solucin en el campo de los nmeros reales.

Ejemplo 14: Resolver la ecuacin cuadrtica s
2
-2s+5=0.
Al aplicar la frmula para resolver las ecuaciones de segundo grado, nos aparece la
raz cuadrada de -16. Si trabajamos en el campo real, decimos que esta ecuacin no
tiene solucin. En el campo complejo, empleando el resultado del ejemplo anterior,
obtenemos s=(24i)/2=12i, es decir, dos complejos conjugados.

Notacin exponencial

Presentamos por ltimo la notacin exponencial de un complejo. Para ello definimos la
exponencial compleja mediante la identidad

+ =
sin cos i e
i

15

Emplearemos la exponencial compleja para escribir de otra forma los nmeros complejos. Sea
z de mdulo z y argumento ; en notacin trigonomtrica lo escribimos como
) sin + (cos = i z z . Introduciendo la exponencial compleja, resulta

=
i
e z z

Antes observamos que, dos complejos conjugados tienen igual mdulo y argumentos de
signos opuestos. En la notacin exponencial, tenemos:

)) sin( ) (cos( + = i z z = z e
-i

donde

=

sin cos i e
i

Ejemplo 15:
a) Dado )
3
sin
3
(cos 3

+
= i z , en forma trigonomtrica, su forma exponencial es

.
3 /
3

=
i
e z

b) Dado i z + =1 , obtenemos su mdulo ( 2 ) y su argumento ( ) y lo escribimos
en forma trigonomtrica
4 /
)
4
sin
4
(cos 2

+
= i z o en forma exponencial
4 /
2

=
i
e z .

c) De i z = 3 obtenemos )
6
11
sin
6
11
(cos 2 i z + = ; .
6 / 11
2
i
e z =

La forma exponencial resulta muy compacta pero para conocer las partes real e imaginaria del
complejo, debemos pasar a la forma de seno y coseno.

Ejemplo 16:
a) ; b) 1 sen cos
= + = i e
i
i i e
i
= + = /2 sen /2 cos
/2

Por el momento la exponencial compleja es slo una notacin. Su justificacin requiere del
empleo de elementos de funciones de variable compleja que escapan a los contenidos de este
curso. Slo mostraremos aqu que esta notacin es consistente con las propiedades de los
nmeros complejos vistas hasta ahora.

Sabemos que el producto de ) sin + (cos =
1 1 1 1
i z z y ) sin + (cos =
2 2 2 2
i z z es
)] + sin( + ) + [cos( = .
2 1 2 1 2 1 2 1
i z z z z . Llevado cada complejo a la notacin exponencial
es
) (
2 1
1 2 1
2 1 2 1
+
= =
i i i
e z z e z e z z z

de donde

) (
2 1 2 1

+
=
i i i
e e e
16

es decir, la notacin exponencial respeta la propiedad conocida para exponentes reales
referida al producto de potencias de la misma base, que da lugar a la suma de los exponentes.
Tambin sabemos que, dado ) sin (cos i z z + = , es ) sin (cos n i n z z
n
n
+ = . En la
notacin exponencial, esta igualdad dice:

) (
in
n
n i n
e z e z z = =

de donde

) (
in n i
e e =

es decir, la notacin exponencial tambin respeta la propiedad conocida para los exponentes
reales, referida a la potencia de potencia.
Matemtica II Sucesiones y series numricas.
Sucesiones y series numricas

Sucesiones

Si se nos presentan listas ordenadas de nmeros como los que damos en estos ejemplos:

1,3,5,7,...; 2,4,8,16,...; L ,
4
3
,
3
2
,
2
1
, ....; 2,-5,8,-11,...

nos resulta bastante simple inferir cul es en cada caso el nmero siguiente. Esto es as porque
estas secuencias ordenadas de nmeros tienen alguna ley de formacin, de modo que, una vez
que descubrimos cul es esa ley, podemos decir qu valor toma el trmino que ocupa cada
posicin en la lista.

A estas secuencias de nmeros las llamamos sucesiones. Vamos a limitarnos a las sucesiones
de nmeros reales y a dar sobre ellas slo una idea somera.

Emplearemos la siguiente notacin: por un lado, numeramos la posicin que ocupa cada
trmino en la sucesin mediante un nmero natural n. Esto significa que para n=1 tenemos el
primer trmino, para n=2 el segundo, etc. Dado que el valor de cada trmino est relacionado
con su ubicacin en la sucesin, empleamos el smbolo para representar al trmino general,
es decir a aqul que ocupa el lugar n-simo. Ms concretamente, simboliza al primer
trmino, al segundo, etc. La ley de formacin o trmino general al que hacamos
referencia ser una expresin matemtica de mediante la cual podremos determinar el
valor del trmino que ocupa cada posicin particular. Por ejemplo: dado
n
a
1
a
2
a
n
a
2
1
n
a
n
= ,
construimos la sucesin ,...
16
1
,
9
1
,
4
1
, 1 Otro ejemplo: dado
1 2
) 1 (
=
n
a
n
n
, construimos
,...
7
1
,
5
1
,
3
1
, 1 Los puntos suspensivos indican que la secuencia de nmeros contina
indefinidamente. Notemos que en el ltimo ejemplo, la alternancia de signos proviene del
factor .
n
) 1 (

Enunciamos la definicin:

Una sucesin infinita es una funcin f : NR cuyo dominio son los nmeros naturales y su
recorrido es el conjunto de nmeros reales {f(1), f(2), f(3),...} que tambin se escribe
{ , , , ...}. El valor se llama trmino n-simo o trmino general de la
sucesin.
1
a
2
a
3
a
n
a n f = ) (

Recordemos el significado del factorial de un nmero natural, que indicamos en la forma .
Comenzamos con algunos ejemplos: 4!=4.3.2.1=24; 7!=7.6.5.4.3.2.1=5040. En general,
! n

17

definimos

n!=n.(n-1).(n-2)....3.2.1

18

Notamos que, a medida que n crece, su factorial n! crece muy rpidamente. El clculo del
factorial de un nmero puede hacerse mediante la calculadora (hay una tecla con el signo !).

Notamos, asimismo, que 4!=4.3! ; 7!=7.6!. En general, vale la propiedad

n!=n.(n-1)!

Veamos un ejemplo de una sucesin en la que interviene el factorial en la expresin de su
trmino general. Dado
n
n
n
a
2
!
= , construimos ,...
32
120
,
16
24
,
8
6
,
4
2
,
2
1
.

Si la expresin del trmino general est dada, encontrar la lista de trminos de la sucesin es
similar a encontrar los valores de una funcin, asignando a la variable independiente los
valores naturales consecutivos. Resulta un poco ms complicado encontrar la expresin del
trmino general de la sucesin cuando partimos de los valores de sus primeros trminos. Es
necesario poner un poco de ingenio para descubrir cul es la ley de formacin. Nos
proponemos, por ejemplo, encontrar el trmino general en las sucesiones dadas al principio.

En el primer caso, vemos que se trata de los nmeros naturales impares. Sabemos que los
nmeros pares son aquellos que resultan de multiplicar por 2 a cualquier nmero natural, o
sea, tienen la forma 2n. Sabemos tambin que cada dos nmeros pares consecutivos hay un
nmero impar. Esto es, si a un nmero par le sumamos 1 le restamos 1, obtenemos un
nmero impar. Por lo tanto, 2n-1 y tambin 2n+1 expresan a nmeros impares y elegiremos a
una u otra segn cul sea el primer trmino de la sucesin y cul sea el primer valor de n. En
nuestro ejemplo, el trmino general tiene la forma 1 2 = n a
n
para n=1,2,3,. Podemos
verificar que esto es as asignando a n dichos valores naturales y viendo que obtenemos el 1,
2, 3, ... trminos de la sucesin. Los trminos de la segunda sucesin son las potencias
naturales de 2, de modo que escribimos para el trmino general con n=1,2,3,. Si la
sucesin fuera 1,2,4,8,16,... , escribiramos con n=1,2,3,., pues el primer trmino
corresponde a 2
0
. En el tercer ejemplo tenemos fracciones en las que el denominador es una
unidad ms que el numerador, y los numeradores siguen la secuencia de los nmeros
naturales. Por lo tanto, el trmino general se expresa como
n
n
a 2 =
1
2

=
n
n
a
1 +
=
n
n
a
n
con n=1,2,3,. . En el
cuarto ejemplo, los valores absolutos de los trminos se obtienen sumando 3 al trmino
anterior. La secuencia 3n, es decir los mltiplos de 3, sigue una ley similar, pero los trminos
de la sucesin del ejemplo son una unidad menos que los que resultan de calcular 3n. Luego,
los valores absolutos que nos interesa evaluar son de la forma 3n-1. La alternancia de signos
se puede expresar mediante las potencias naturales de (-1). Dado que el primer trmino es
positivo, el segundo, negativo, etc., escribimos para el trmino general
con n=1,2,3,.
) 1 3 ( ) 1 (
1
=

n a
n
n

Miremos la sucesin de trmino general
n
n
n
a )
1
1 ( + = . Sus primeros trminos son 2
1
= a ,
, , ,
, etc. Recordemos que
25 . 2 4 / 9 ) 2 / 3 (
2
2
= = = a 37 . 2 27 / 64 ) 3 / 4 (
3
3
= = a 44 . 2 256 / 625 ) 4 / 5 (
4
4
= = a
704 2 01 1
100
100
. . a = ... 718281828 . 2 )
1
1 ( + =

n
n n
lim e . Este es un
ejemplo de una sucesin convergente, es decir, su lmite es un nmero real (irracional)
perfectamente definido. En forma similar a lo que sabemos sobre el lmite de una funcin,
decimos que el lmite de esta sucesin es e para n tendiendo a infinito porque el valor absoluto
de la diferencia entre un trmino cualquiera de la sucesin y el nmero e, puede hacerse tan
pequea como se quiera, con tal que tomemos un trmino suficientemente avanzado de la
sucesin.

Existen sucesiones en las cuales, al hacer , el valor de se hace infinito. Tal es el
caso de la sucesin de trmino general
n
n
a
n
n
n
a
2
!
= en la que el numerador tiende a infinito ms
rpido que el denominador. El caso de
1
) 1 (
+
=
n
n
a
n
n
es diferente pues, si bien el valor absoluto
de los trminos tiende a 1 cuando , la alternancia de signos hace que los trminos pares
formen una subsucesin con lmite 1, mientras que la de los trminos impares tiende a -1.
Aqu decimos que la sucesin completa no tiene lmite. En ambos tipos de situaciones
hablamos de sucesiones que no convergen.
n

Consideremos ahora los siguientes ejemplos:

3,6,12,24,...; L ,
27
40
,
9
20
,
3
10
, 5 .

Vemos que en ambos, cada trmino puede obtenerse a partir del anterior multiplicndolo por
una constante. En el primer ejemplo esa constante es 2 y en el segundo es 2/3. Las sucesiones
de este tipo se llaman geomtricas. A esa constante multiplicativa la llamamos razn y la
indicamos con q. As, tenemos que
1 2
a q a = ;

2 3
a q a = ;
3 4
a q a = , etc. Generalizando,

1
=
n n
a q a .

Tambin podemos expresar a partir de en la forma y anlogamente
, etc. En general, resulta
3
a
1
a
2
1 3
q a a =
3
1 4
q a a =
(1)
1
1

=
n
n
q a a

Series numricas

Tomemos ahora una sucesin infinita a
1
, a
2
, a
3
, a
4
,...,a
n
,... y construyamos con sus trminos lo
que se conoce como sumas parciales, esto es

19
S
1
=a
1


S
2
=a
1
+a
2

S
3
=a
1
+a
2
+a
3

...
S
n
=a
1
+a
2
+a
3
+...+a
n

Como la sucesin a
1
, a
2
, a
3
, a
4
,...,a
n
,... tiene infinitos trminos, podemos construir a partir de
las sumas parciales una nueva sucesin infinita: S
1
, S
2
, S
3
, S
4
,...,S
n
,.... Si esta nueva sucesin
tiene lmite, a dicho lmite lo llamamos serie y lo indicamos con S. Formulamos la siguiente
definicin:

Dada una sucesin infinita a
1
, a
2
, a
3
, a
4
,...,a
n
,..., se denomina serie numrica a la expresin
n
n
S S

= lim
= + + + =
1 =
3 2 1
n
n
a a a a L

Hemos introducido una notacin abreviada mediante el signo de "sumatoria". Indica que a n
debemos asignarle valores naturales sucesivos, comenzando en 1 y continuando
indefinidamente, y por cada valor de n obtenemos un trmino de la suma.

Aclaremos que no se trata de una suma en el sentido habitual, ya que tiene infinitos trminos.
Por esta razn, el clculo de la suma no puede hacerse trmino a trmino y habr que
encontrar algn otro mtodo para obtener el resultado, si es que existe. Nos preguntamos si
una suma de infinitos trminos puede dar por resultado un nmero finito. Parecera que, si
sumamos infinitos sumandos, el resultado debera ser siempre infinito. Veremos que no
siempre es as.

1/8
1/4
1/2
Tomemos como ejemplo la sucesin geomtrica 1/2, 1/4, 1/8, 1/16,...,
formemos la sucesin de las sumas parciales 1/2, 1/2+1/4,
1/2+1/4+1/8,... y representemos sus trminos como porciones de rea
de un cuadrado de lado 1. Vemos grficamente que a medida que el
nmero de trminos aumenta, el resultado de las sumas parciales tiende
a cubrir toda el rea del cuadrado. Es decir, 1/2+1/4+1/8+1/16+...=1.
Concluimos que esta serie converge a 1.

En el caso que representamos, partimos de una sucesin geomtrica (de razn ) y
construimos con ellos una suma de infinitos trminos que llamamos serie geomtrica. Este
ejemplo basta para ver que una suma de infinitos trminos puede dar un resultado finito.
Vamos a tratar de generalizar esta idea.

Consideremos una sucesin geomtrica cualquiera pero supongamos que la razn q es distinta
de 1 y de 1. (Estos casos los analizaremos aparte). Escribamos la suma parcial de los
primeros n trminos:

S
n
=a
1
+ a
2
+ a
3
+ a
4
+...+a
n

Por lo dicho en (1):

S
n
=a
1
+ a
1
.q+ a
1
.q
2
+ a
1
.q
3
+...+a
1
.q
n-1

20

Multiplicamos ambos miembros por q:

S
n
.q=a
1
.q+ a
1
.q
2
+ a
1
.q
3
+ a
1
.q
4
+...+a
1
.q
n

y restamos las dos ltimas:

S
n
-S
n
.q=a
1
-a
1
.q
n

de donde se obtiene:

q
q
a S
n
n
=
1
1
1
(2)

21

Esta expresin nos da el valor de la suma de los primeros n trminos de una sucesin
geomtrica, sabiendo los valores del primer trmino, el nmero de ellos y su razn.

Tomemos en esta expresin el lmite para n. Si q es tal que q<1, es y
. Decimos que la serie geomtrica converge a a
1
/(1-q).
0 lim =

n
n
q
) 1 /( lim
1
q a S S
n
n
= =

1 si
1
1
<
= q
q
a
S (3)

En el ejemplo del cuadrado es a
1
=1/2, q=1/2, S=1/2/(1-1/2)=1.

Si q es tal que q>1, es y =

n
n
q lim =

n
n
S lim . Decimos que la serie geomtrica
diverge. Si q=1, la serie es S=a
1
+ a
1
+ a
1
+...=. Si q=-1, la serie es S=a
1
- a
1
+ a
1
- .... La
sucesin de las sumas parciales toma los valores a
1
y 0, alternativamente, de modo que no
tiende a un lmite nico. En ninguno de estos dos casos la serie converge (en uno tiende a
infinito y en el otro no tiene lmite). En resumen,

1 si converge no
1 si
1
a converge
razn de geomtrica serie la
1
<
q
q
q
a
q

Ejemplo 1: El nmero peridico 0,4141... puede escribirse como serie: 0,414141...
=0,41+0,0041+0,000041+...= 41/100+41/10000+41/1000000+... Es una serie
geomtrica de razn q=1/100. Por ser q<1, la serie converge a S= a
1
/(1-q)
=0,41/(1-0,01)=0,41/0,99=41/99.

Ejemplo 2: Consideremos las races quintas complejas de -1, o sea resolvamos la
ecuacin -1: =
5
z

+ = + =
= =
+ = + =
+ =
5
2
5
2 5
1 1

) 5 sin 5 (cos ) sin (cos
) sin (cos 1 1
5
5
5 k
k
z z
i z z i z z
i

z
0
=1(cos /5+ i sen /5)= e
i/5

z
1
=1[cos (/5+2/5)+ i sen (/5+2/5)]= e
i3/5
= e
i/5
.e
i2/5

z
2
=1[cos (/5+4/5)+ i sen (/5+4/5)]= e
i5/5
= e
i/5
.(e
i2/5
)
2

z
3
=1[cos (/5+6/5)+ i sen (/5+6/5)]= e
i7/5
= e
i/5
.(e
i2/5
)
3

z
4
=1[cos (/5+8/5)+ i sen (/5+8/5)]= e
i9/5
= e
i/5
.(e
i2/5
)
4

Las soluciones forman una progresin geomtrica de 5 trminos, cuya razn es
y su primer trmino es .

Aclaremos que no es una serie ya que
tiene un nmero finito de trminos. Usando (2), su suma es
5 / 2
=
i
e q
5 /
1

=
i
e a

0
1
) 1 (
1
) ) ( 1 (
1
) 1 (
5 / 2
2 5 /
5 / 2
5 5 / 2 5 / 5
1
4 3 2 1 0 5
=
= + + + + =

i
i i
i
i i
e
e e
e
e e
q
q a
z z z z z S

Este resultado se podra haber anticipado si hubiramos representado las soluciones en
el plano complejo.

Series alternadas

Se trata de series cuyos trminos son alternadamente positivos y negativos. Una serie
alternada es de la forma a
1
- a
2
+ a
3
a
4
+ ... , donde a
1
, a
2
, a
3
, ... es una sucesin de nmeros
positivos. (Esta condicin es para garantizar que los trminos realmente alternan en signos).
Vamos a mostrar, mediante un argumento geomtrico, bajo qu condiciones una serie
alternada converge.

Consideremos el caso en que los trminos de la serie alternada decrecen en valor absoluto, a
1

> a
2
> a
3
> ... y cumplen que 0 lim =

n
n
a . Formemos la sucesin de sumas parciales:
S
1
=a
1
; S
2
=a
1
-a
2
; S
3
=a
1
-a
2
+a
3
; ....y representmoslas grficamente:

22

0 S
2
S
3
S
1

a
3
-a
2
a
1

Intuitivamente comprendemos que la secuencia de intervalos encajados que se forma al
representar las sumas parciales, converge a un lmite y que ese lmite se encuentra en el
intervalo comprendido entre 0 y a
1
. Enunciamos el teorema de Leibniz:

Si una serie alternada de la forma a
1
- a
2
+ a
3
a
4
+ ..., con a
n
> 0, es tal que: 1) sus trminos
decrecen en valor absoluto, a
1
> a
2
> a
3
> ... y cumplen que 2) 0 lim =

n
n
a , entonces la serie
alternada converge a un valor S en el rango 0<S<a
1
.

Vale la pena comentar que la condicin a
1
> a
2
> a
3
> ... no basta para asegurar la
convergencia pues el trmino general podra tender a una constante no nula y en ese caso la
serie sera oscilante. Para asegurar la convergencia hay que exigir adems que . 0 lim =

n
n
a
Ejemplo 3: Analicemos, desde el punto de vista de las condiciones de Leibniz, la
convergencia de: 1-1/2+1/3-1/4+..., llamada serie armnica alternada. El trmino
general es (-1)
n+1
/n. Su valor absoluto, que se expresa a
n
=1/n, es decreciente y su
lmite es 0. La serie armnica alternada cumple las condiciones del teorema de
Leibniz. Por lo tanto, converge a algn valor entre 0 y 1, pero no podemos por el
momento encontrar a qu valor converge la serie.
Ejemplo 4: Sea la serie 2 -3/2 + 4/3 -5/4,... El trmino general es .
Para ver que sus valores absolutos son decrecientes (2>3/2>4/3>5/4>...), comparemos
dos trminos consecutivos:
n n
n
/ ) 1 ( ) 1 (
1
+
+
n n a
n
/ ) 1 ( + = con . Al calcular
, vemos que pues . Pero la serie no cumple
todas las condiciones del teorema de Leibniz pues
) 1 + /( ) 2 + ( =
1 +
n n a
n
1 +
/
n n
a a
1 +
>
n n
a a ) 2 + ( > ) 1 + (
2
n n n
1 / ) 1 ( lim lim = + =

n n a
n
n
n
. Por lo
tanto esta serie alternada no converge.

En lneas generales, cuando trabajamos con series numricas, nos interesa determinar si la
serie es convergente o no. Slo en unos pocos casos podremos calcular, en caso de ser
convergente, a qu valor converge.

Si se trata de una serie geomtrica y si su razn es en valor absoluto menor que 1, sabemos
que converge a
q
a
1
. Si se trata de una serie alternada que cumple las condiciones del
teorema de Leibniz, podemos calcular en forma aproximada el valor de la suma de la serie,
tomando unos cuantos trminos (suma parcial). La aproximacin ser tanto mejor cuantos
ms trminos tomemos.

Ms adelante veremos que, mediante las series de potencias y las de Fourier, podremos
calcular la suma de algunas series numricas.

Establecemos, sin demostracin, un criterio general para la convergencia de las series
numricas.

Para que una serie numrica converja es necesario que su trmino general tienda a cero.

23

Este enunciado indica que no alcanza con comprobar que el trmino general tiende a cero para
garantizar la convergencia de la serie. En otras palabras, se trata de una condicin necesaria
pero no suficiente. Sin embargo, el criterio resulta sumamente til pues garantiza que

si el trmino general no tiende a cero, entonces la serie no converge.



Series de trminos positivos

Es intuitivamente evidente que, dada una serie de trminos positivos, si estos no decrecen
hasta hacerse infinitamente pequeos, la suma de los infinitos trminos ser infinita. Con esto
queremos significar que resulta clara la necesidad de la condicin para que la
serie sea convergente. En cambio, no es evidente que esta condicin no baste para garantizar
la convergencia. Para comprender esto ltimo, vamos a mostrar series en las cuales se cumple
la condicin
0 lim =

n
n
a
0 lim =

n
n
a y a la vez son divergentes.

Existen diversos mtodos para efectuar el anlisis de convergencia en series de trminos
positivos. En particular, mostraremos ahora el que se conoce como criterio de la integral. Para
esto, consideremos la funcin de variable real f(x) definida de manera que f(1)=a
1
, f(2)=a
2
,
f(3)=a
3
, , es decir que adopta los mismos valores que los trminos de la serie cuando x toma
valores naturales. La curva de la figura representa a la funcin f(x) y los segmentos gruesos, a
los trminos a
n
de la sucesin que
conforma la serie S. El primer rectngulo
tiene altura a
1
y base 1, de modo que el
rea del rectngulo es a
1
. Anlogamente,
el segundo rectngulo tiene rea a
2
, etc.
La suma de las reas de todos los
rectngulos representa el valor de la serie
. Por otra parte, la integral de
la funcin est representada por el rea
bajo la curva. Enunciamos aqu, sin demostracin, un principio general, que afirma que si
bien la integral impropia de la funcin evaluada entre 1 e infinito y la suma de la serie no
producen el mismo resultado, se puede asegurar que
=
=
1 n
n
a S
1 2 3.. n n+1 x
a
2

a
1

si la integral converge, tambin converge la serie y si la integral diverge, tambin
diverge la serie. Esto se conoce como criterio de la integral.

Aplicaremos ahora este principio a series de la forma
=1
1
n
p
n
. Si p<0, el trmino general
tiende a infinito para n, de modo que no cumple con la condicin necesaria
para la convergencia de la serie. Con p=0, todos los trminos de la serie son 1, de manera que
la serie tambin diverge pues es la suma de infinitos unos. Nos centraremos, entonces, en los
casos en que p>0, en los cuales se cumple que
p
n
n a / 1 =
0 lim =

n
n
a , y comprobaremos que esta
condicin no es suficiente para asegurar la convergencia.

Consideremos para empezar el caso p=1 que da lugar a la serie

1+1/2+1/3+1/4+... llamada serie armnica.

24

Sus trminos conforman la sucesin a
n
=1/n y para aplicar el criterio de la integral tomamos la
funcin f(x)=1/x. La integral impropia se evala en la forma:

= = =

] 1 ln [ln lim
1
lim ) (
1 1
Q dx
x
dx x f
Q
Q
Q

Concluimos que, como la integral diverge, tambin diverge la serie armnica,
=1
1
n
n
.
Analicemos ahora de manera similar el comportamiento asinttico de series de la forma
=1
1
n
p
n
con p1 y positivo. Definimos
p
x
x f
1
) ( = y calculamos
>
+
<
=
+

=
+
= =
+

+

1 ,
1
1
1 ,
1
1
lim ]
1
[ lim
1
lim ) (
1
1
1
1 1
p
p
p
p
Q
p
x
dx
x
dx x f
p
Q
Q
p
Q
Q
p
Q

Generalizamos los resultados anteriores enunciando que, para cualquier valor real de p,

1 si diverge
1 si converge

1
1
p
p
n
p
n
>
=
.

Subrayemos que, si bien para 0<p<1, es 0 =
1
lim

p
n
n
, las suma de infinitos trminos de esta
forma se hace infinita. En otras palabras, los trminos que conforman la serie, aunque son
cada vez ms pequeos a medida que avanzamos en la serie, no decrecen suficientemente
rpido. Recalcamos que el resultado de la integracin para p>1 no representa en modo alguno
al valor de la suma de la serie. De sta ltima slo sabemos que toma algn valor finito.

Ejemplo 5:
a) La serie

=
=
1
2 / 1
1
1 1
n
n
n
diverge pues p=1/2<1.
b) La serie
1 =
3 / 4
1 =
3
7
n n n
n
n
converge pues p=4/3>1.

Existen adems otros criterios que son de utilidad para analizar el comportamiento de las
series de trminos positivos. Uno de ellos es el criterio del cociente. Se basa en la
comparacin entre dos trminos sucesivos de la serie, simbolizados genricamente como a
n
y
a
n+1
, mediante el cociente entre ellos cuando se encuentran muy avanzados en la serie, es
decir
n
n
n a
a
1
lim
+

. El criterio afirma que

25


si 1 lim
1
<
+

n
n
n a
a
, la serie converge
si 1 lim
1
>
+

n
n
n a
a
, la serie diverge
si 1 lim
1
=
+

n
n
n a
a
, no hay diagnstico

26

Otra herramienta til es el criterio de la raz, cuya expresin es

si 1 lim <

n
n
n
a , la serie converge
si 1 lim >

n
n
n
a , la serie diverge
si 1 lim =

n
n
n
a , no hay diagnstico

Ejemplo 6: Para analizar la convergencia de
=1
!
2
n
n
n
, empleemos el criterio del
cociente. El trmino general es y entonces es .
Entonces,
! / 2 n a
n
n
= )! 1 /( 2
1
1
+ =
+
+
n a
n
n
n
n
n
a
a
1 +

lim =
+

=
+

n
n
n
n
n
2 )! 1 (
! 2
lim
1
1 0
) 1 (
2
lim < =
+ n n
. Luego, la serie
=1
!
2
n
n
n

converge.

Ejemplo 7: Para analizar la convergencia de
=1
2
3
n
n
n
, resulta sencillo emplear el
criterio de la raz. El trmino general es . Entonces, ( )
n n n
n
a 2 / 3 2 / 3 = = =
n
n
n
a

lim
( )
n n
n
2 / 3 lim

1
2
3
2
3
lim > = =
n
. Por lo tanto, la serie
=1
2
3
n
n
n
es divergente.

Existen otros criterios, que no abordaremos aqu, que permiten establecer la convergencia de
una serie mediante su comparacin con otra de comportamiento conocido.

La descripcin expuesta en este captulo sobre las series numricas no es en absoluto
completa. En lneas generales, ellas representan un campo bastante ms amplio que lo
presentado aqu, cuyo tratamiento riguroso demandara mucho ms tiempo y profundizacin.
El propsito de esta introduccin es facilitar las herramientas para abordar en los prximos
captulos otro tipo de series, como las de Fourier.

Matemtica II Series de potencias.

Series de potencias

Series de funciones

Se llaman as aquellas series en las que los trminos son funciones de x. Pongamos como
ejemplos:

L + + + + =
+
=
4 3 2
1
1
3 2
0
x x x
n
x
n
n

L + + + + + + = +
=
) 1 3 ( 3 ) 1 2 ( 2 ) 1 ( ) 1 (
2 2 2
1
2
x x x nx n
n

L + + + =
=
x x x nx n
n
3 sen 3 2 sen 2 sen ) sen(
1

El primero es un ejemplo de las llamadas series de potencias y el tercero, es una serie
trigonomtrica. A lo largo de este curso vamos a estudiar en especial estos dos tipos de series
de funciones.

Cuando en una serie de funciones se asigna a x un valor numrico particular, se obtiene una
serie numrica. As, en el primer ejemplo,

para x=2 se obtiene L +
4
8
+
3
4
+
2
2
+ 1 . En esta serie los trminos son crecientes, es decir, el
trmino general no tiende a cero cuando n tiende a infinito. Por lo tanto, no cumple con la
condicin necesaria para la convergencia.
para x=1 se obtiene L + + + +
4
1
3
1
2
1
1 . sta es la serie armnica, que, como ya sabemos, es
divergente.
para x=-1 se obtiene L + +
4
1
3
1
2
1
1 . sta es la serie armnica alternada, cuyos trminos
decrecen en valor absoluto y cuyo trmino general tiende a cero y es, por lo tanto,
convergente.
para x=-1/2 se obtiene L + +
32
1
12
1
4
1
1 . sta es una serie alternada que, como la anterior,
tiene trminos decrecientes en valor absoluto, y su trmino general tiende a cero. La serie es,
por lo tanto, convergente.

Vemos que el carcter de la serie puede cambiar segn cul sea el valor que se le asigne a x.
Determinar cul es el conjunto de valores de x que hace que la serie resulte convergente es
encontrar su intervalo de convergencia. Nos vamos a ocupar ahora de estudiar las series de
potencias y de determinar su intervalo de convergencia.

27

Series de potencias de x

Son series de funciones de la forma

L + + + + =
=
3
3
2
2 1 0
0
x c x c x c c x c
n
n
n
, ( 1)

donde todos los trminos contienen potencias enteras no negativas de x. Con c
n
se indican los
coeficientes de la serie y vienen dados por una expresin que depende de n (como en las
series numricas). En particular, a c
0
se lo designa trmino independiente, c
1
x es el trmino
lineal, c
1
x
2
es el trmino cuadrtico, etc.

No debemos confundir a una serie de potencias con un polinomio, ya que la serie tiene
infinitos trminos. Pero, si a partir de la serie, tomamos la suma parcial de sus primeros N+1
trminos: , obtenemos un polinomio de grado N, que indicamos P
N
(x)
=
N
n
n
n
x c
0
N
N
N
n
n
n N
x c x c x c x c c x c x P + + + + + = =

=
L
3
3
2
2 1 0
0
) (

Para encontrar para qu valores de x converge una serie de potencias, comencemos
observando que si en la serie general (1) tomamos x=0, obtenemos c
0
, es decir, la serie
converge a c
0
. Esto nos dice que, al menos para x=0, cualquier serie de potencias es
convergente. Veamos cmo determinar el conjunto de valores de x para los cuales la serie
numrica resultante es convergente. Se demuestra (no lo haremos aqu) que esos valores
forman un intervalo centrado en 0 que se denomina intervalo de convergencia de la serie de
potencias. Dicho intervalo es en todos los casos simtrico alrededor del origen, a excepcin de
lo que pudiera suceder en los extremos. En particular, el intervalo puede reducirse a un punto
(el cero) o extenderse a toda la recta real. Por su carcter simtrico, el intervalo de
convergencia tiene en general la forma R x < , donde R representa el radio de convergencia.
Dejando aparte la consideracin de los bordes, R x = , esta propiedad asegura que la serie no
converge para ni para . El problema consiste, entonces en determinar el valor
de R y, para esto, en lugar de la serie (1),
R x > R x <

L + + + +
3
3
2
2 1 0
x c x c x c c

consideramos la que construimos mediante los valores absolutos de sus trminos:

L + + + +
3
3
2
2 1 0
x c x c x c c

Por ser sta una serie de trminos positivos, podemos emplear alguno de los criterios que
vimos para las series numricas de trminos positivos, como por ejemplo, el criterio del
cociente. As, designando

n
n n
x c a = y
1
1 1
+
+ +
=
n
n n
x c a , calculamos
28

= =
+

n
n
n a
a
L
1
lim x
c
c
x c
x c
n
n
n
n
n
n
n
n
1
1
1
lim lim
+

+
+

= .

Diremos que la serie es convergente para aquellos valores de x para los cuales 1 < L y
divergente para los que resulte 1 > L . Deberemos analizar por separado qu ocurre
cuando 1 = L , ya que en ese caso el criterio del cociente no puede diagnosticar la
convergencia. Esto ltimo suceder para un cierto valor de x , o sea, para los dos valores de x
que representan los bordes del intervalo de convergencia.

Si resolvemos el problema aplicando el criterio de la raz, calculamos

x c x c a L
n
n
n
n
n
n
n
n
n
n
= = = lim lim lim

y diremos que la serie converge para los valores de x para los cuales 1 < L y diverge para los
que es 1 > L . Tambin con este mtodo deberemos analizar en forma separada qu ocurre en
los valores de x para los cuales 1 = L , ya que en ese caso el criterio de la raz no da
diagnstico.

La conveniencia de elegir uno u otro procedimiento en cada caso particular depende de la
expresin del trmino general de la serie de potencias.

Veamos cmo se aplica el criterio del cociente.
Ejemplo 1: Determinar el intervalo de convergencia de L + + + =
+
=
3 2
1
1
2
0
x x
n
x
n
n

Definamos
1 +
=
n
x
a
n
n
y
2
1
1
+
=
+
+
n
x
a
n
n
y calculemos
x x
n
n
n x
n x
a
a
L
n
n
n
n
n
n
n
=
+
+
=
+
+
= =

+

+
2
1
lim
) 1 /(
) 2 /(
lim lim
1
1

La serie es convergente para aquellos x para los que 1 < L , es decir, para |x|<1. La
serie es divergente donde 1 > L , es decir, para |x|>1. Esto indica que si en la serie de
potencias se reemplaza x por algn valor comprendido entre 1 y 1, se obtendr una
serie numrica convergente. Por el contrario, si el valor de x es menor que 1 mayor
que 1, la serie numrica resultante ser divergente. Hemos obtenido un intervalo de
convergencia centrado en 0, de amplitud 1. En forma equivalente, decimos que el
radio de convergencia es R=1.

An no sabemos qu ocurre en los extremos del intervalo de convergencia, es decir en
x=-1 y en x=1. Para averiguarlo reemplazamos cada uno de estos valores en la serie
original. As,
29

para x=-1 obtenemos L + +
4
1
3
1
2
1
1 . sta es la serie armnica alternada,
que ya sabemos que converge.
para x=1 obtenemos L + + + +
4
1
3
1
2
1
1 que es la serie armnica, que ya
sabemos que diverge.

Luego, el intervalo de convergencia de la serie dada es [-1,1).

Ejemplo 2: Determinar el intervalo de convergencia de
0
2
2 3
n
n
n
x
n
.
En este caso es
n
n
n
x
n
a
2
2 3
= y entonces, x x
n
x
n
a
n
n
n
n
n

+
=
+
=
+
+
+
2 2
1 3
2
2 ) 1 ( 3
1
1
1
,
de modo que
2 ) 2 3 ( 2
1 3
lim lim
1
x
x
n
n
a
a
L
n
n
n
n
=
+
= =

+

. La serie es convergente para
aquellos x para los que |x|/2<1, es decir para |x|<2, y es divergente para |x|>2. Para
conocer el comportamiento en los bordes, donde |x|=2, analizamos la serie de origen
en x=2 y x=-2. En el primer caso, resulta y en el segundo ;
ambas series son no convergentes pues sus respectivos trminos generales no tienden a
cero al tender n a infinito. Luego, el intervalo de convergencia de esta serie es (-2,2).
=

0
2 3
n
n

=

0
) 1 )( 2 3 (
n
n
n

Series de potencias de (x-a)

Las series de funciones de la forma

L + + + + =
=
3
3
2
2 1 0
0
) ( ) ( ) ( ) ( a x c a x c a x c c a x c
n
n
n

se denominan series de potencias de (x-a).

Haciendo el cambio de variable w=x-a, tenemos L + + + + =
=
3
3
2
2 1 0
0
w c w c w c c w c
n
n
n
, es
decir, una serie de potencias de w. Si R es el radio de convergencia de esta serie, ser porque
la serie converge en el intervalo R<w<R. Pero entonces, -R<x-a<R, es decir, a-R<x<a+R.
Esto representa un intervalo de amplitud R con centro a. El anlisis se completa con el estudio
de los bordes, x=a-R y x=a+R.

Ejemplo 3: Determinar el intervalo de convergencia de
L +
+
+
+
+
8
) 2 (
4
) 2 (
2
2
1
3 2
x x x

30

El trmino general de la serie es
n
n n
x
2
) 2 ( ) 1 ( +
con n=0,1,2, y el de la serie de
valores absolutos es
n
n
n
x
a
2
2 +
= . Si definimos w=x+2, tenemos
n
n
n
w
a
2
= .
Apliquemos el criterio de la raz: = = = =

2 / lim 2 / lim lim w w a L
n
n
n
n
n
n
n
n

2 / w . Luego, la serie converge si 1 2 / < w , o sea, 2 < 2 + x . Entonces, la serie
converge en el interior del intervalo 0 4 < < x . Para analizar los bordes,
consideremos en primer lugar x=-4. En ese punto tenemos
+
+
+
4
) 2 4 (
2
2 4
1
2

= + + + + = +
+
L L 1 1 1 1
8
) 2 4 (
3
. En el otro extremo, x=0, es = + + L
8
2
4
2
2
2
1
3 2

, que no tiene lmite. Por lo tanto, como no converge en ninguno de los
dos extremos, el intervalo de convergencia es
L + + 1 1 1 1
0 4 < < x .

Desarrollo de funciones en series de potencias de x.

Como se vio, dada una serie de potencias, al asignarle a x algn valor numrico perteneciente
al intervalo de convergencia, la serie numrica resultante converge a un nmero. Esto
significa que cada serie de potencias, en su intervalo de convergencia, hace corresponder un
nmero a cada valor de x, es decir, define una funcin . Se
puede demostrar que esta funcin es nica, que es derivable, que la derivada se obtiene
derivando trmino a trmino la serie de potencias y que la nueva serie que as resulta
converge en el interior del mismo intervalo en que converge la serie primitiva.
L + + + + =
3
3
2
2 1 0
) ( x c x c x c c x

Consideremos, como ejemplo particular, la serie de potencias

L + + + + =
=
3 2
0
1 x x x x
n
n
.

Podemos pensarla como una serie geomtrica de razn x. Esto indica que, si x es tal que
x<1, la serie converge a 1/(1-x). (Recordemos que si la razn q es tal que |q|<1, la serie
geomtrica converge a a
1
/(1-q), donde a
1
indica al primer trmino). Luego,

x
x x x x
n
n
= + + + + =
=
1
1
1
3 2
0
L para x<1.

El conjunto definido porx<1 representa al intervalo de convergencia de esta serie. Podemos
indicarlo tambin como el intervalo (-1,1).

Los grficos que se muestran a continuacin nos ayudarn a obtener una idea intuitiva del
significado de la convergencia de una serie de potencias hacia una funcin. Tomemos, a modo
de ejemplo, a partir de la serie 1+x+x
2
+x
3
+... sumas parciales de dos, tres y cuatro trminos.
31

Construimos as los polinomios 1+x, 1+x+x
2
y 1+x+x
2
+x
3
, respectivamente. En las figuras los
hemos representado en lneas de trazos, superpuestos con la funcin 1/(1-x), en lnea llena.

- 0. 8 - 0. 6 -0. 4 - 0. 2 0. 2 0. 4 0. 6
0. 5
1
1. 5
2
2. 5
3
3. 5

32

- 0. 8 - 0. 6 -0. 4 - 0. 2 0. 2 0. 4 0. 6
0. 5
1
1. 5
2
2. 5
3
3. 5

- 0. 8 -0. 6 - 0. 4 -0. 2 0. 2 0. 4 0. 6
0. 5
1
1. 5
2
2. 5
3
3. 5
1/(1-x)
1/(1-x) 1/(1-x)
Vemos que, a medida que aumenta el grado del polinomio, aumenta el contacto entre las
curvas representativas del polinomio y de la funcin. Inferimos, y siempre desde un punto de
vista intuitivo, que si aumentamos an ms el grado del polinomio, lograremos que la curva
correspondiente "se pegue" ms a la de la funcin 1/(1-x). Dicho en otras palabras, si
tomamos algn valor particular de x cercano a 0 y calculamos all la funcin y los diversos
polinomios, veremos que cuanto mayor sea el grado ms parecido ser el valor que da el
polinomio al que da la funcin. Si aumentamos en forma indefinida el nmero de trminos,
lograremos la igualdad con la funcin. Naturalmente, esto ocurre slo si el valor de x se
encuentra dentro del intervalo de convergencia, que para el ejemplo que nos ocupa es (-1,1).
Fuera de l, si bien existen, tanto la funcin como la serie, sta no converge a la funcin, o sea
los valores de las sumas parciales no tienden a parecerse a los de la funcin cuando
aumentamos el grado del polinomio.

En este ejemplo, partiendo de una serie geomtrica, fuimos capaces de encontrar la funcin a
la cual converge y el intervalo en que esto ocurre, empleando propiedades que ya conocamos
de las series geomtricas. La misma igualdad entre la serie y la funcin admite otra lectura:
podemos decir que la funcin 1/(1-x) tiene un desarrollo en serie de potencias de x de la forma
1+x+x
2
+x
3
+..., vlido en el intervalo (-1,1).

Polinomio y serie de Mac Laurin.

Dado que los polinomios son funciones comparativamente sencillas de manejar, para muchas
aplicaciones prcticas puede resultar muy til sustituir una funcin complicada por un
polinomio, an cuando el polinomio represente slo una aproximacin a la funcin. Nos
preguntamos si, dada una funcin cualquiera, seremos capaces de encontrar un polinomio que
la represente, aunque slo sea en forma aproximada, bajo qu condiciones esto es posible,
dnde es vlido hacerlo y cul es la magnitud del error que cometemos.

Para responder a esta pregunta, nos planteamos el problema en forma general: dada una cierta
funcin f(x), a la que le pedimos que sea continua, con derivadas continuas hasta el orden n
(ms adelante pediremos que esta condicin se cumpla para las derivadas de todos los
rdenes), queremos encontrar un polinomio P
n
(x) de grado n que se aproxime a f(x) cuando x
sea prximo a 0. Para que este requisito se cumpla, exigimos que la funcin dada y sus
derivadas sucesivas hasta el orden n, evaluadas en 0, coincidan respectivamente con el
polinomio y sus derivadas sucesivas tambin evaluados en 0. Si el polinomio es

n
n n
x c x c x c x c c x P + + + + + = ) (
3
3
2
2 1 0
L
1+x+x
2
1+x
1+x+x
2
+x
3


sus derivadas sucesivas son

1 2
3 2 1
'
3 2 ) (

+ + + + =
n
n n
x nc x c x c c x P L

2 2
3 2
' '
) 1 ( 3 . 4 2 . 3 2 ) (

+ + + + =
n
n n
x c n n x x c c x P L
3
3
' ' '
) 2 )( 1 ( 2 . 3 . 4 2 . 3 ) (

+ + + =
n
n n
x c n n n x c x P L
...................
n
n
n
c n x P ! ) (
) (
=

Entonces, debe ocurrir que

; ) 0 ( = 2 = ) 0 ( ; ) 0 ( = = ) 0 ( ; ) 0 ( = = ) 0 (
' '
2
' ' '
1
'
0
f c P f c P f c P
n n n

) 0 ( ! ) 0 ( ; ; ) 0 ( 2 . 3 ) 0 (
) ( ) ( ' ' '
3
' ' ' n
n
n
n n
f c n P f c P = = = = L

de donde pueden obtenerse los coeficientes del polinomio:

! / ) 0 ( ; ) 2 . 3 /( ) 0 ( ; 2 / ) 0 ( ; ) 0 ( ; ) 0 (
) ( ' ' '
3
' '
2
'
1 0
n f c f c f c f c f c
n
n
= = = = = L

El polinomio que cumple con todas estas condiciones tiene la forma

n
n
n
x
n
f
x
f
x
f
x f f x P + + + + + =
!
) 0 (
! 3
) 0 ( ' ' '
! 2
) 0 ( ' '
) 0 ( ' ) 0 ( ) (
) (
3 2
L (2)

y se denomina polinomio de Mac Laurin.

Este polinomio coincide exactamente con la funcin slo en x=0. Para valores de x0, el
polinomio difiere de la funcin, pero esa diferencia es pequea si el valor de x es prximo a 0.
Decimos que es una aproximacin polinmica de orden n a . ) (x P
n
) (x f

Como ejemplo, calculemos en forma aproximada el valor de . Para esto, tomemos la
funcin y su correspondiente polinomio de Mac Laurin. Busquemos, en este caso,
una aproximacin de orden 3. Segn lo requerido por la frmula (2), evaluemos la funcin y
sus derivadas, hasta el tercer orden, en x=0. Como en este caso es
1 . 0
e
x
e x f = ) (
= = = ) ( ' ' ) ( ' ) ( x f x f x f
y ) ( ' ' ' x f = 1 ) 0 ( ' ' ' ) 0 ( ' ' ) 0 ( ' ) 0 ( = = = = f f f f , tenemos

3 2
3
! 3
1
! 2
1
1 1 ) ( x x x x P e
x
+ + + = .

Luego, evaluando en (que es "suficientemente" cercano a 0), tenemos 1 . 0 = x

3 2
3
1 . 0
1 . 0
! 3
1
1 . 0
! 2
1
1 . 0 1 ) 1 . 0 ( + =
P e
33

(Ntese que empleamos el signo "" para relacionar a con P
3
(x)). La calidad de la
aproximacin depende de la cantidad de trminos, o sea, del grado del polinomio, y de la
cercana a 0 de x. La evaluacin del error encierra algunas dificultades que no abordaremos en
este curso. Nos limitaremos a dar algunos argumentos que nos permitirn adquirir una idea
intuitiva de problema. Para esto, observemos que para un dado x (cercano a 0), los sucesivos
trminos del polinomio son cada vez ms pequeos en valor absoluto, de modo que el
agregado de trminos de orden superior no puede afectar a las primeras cifras del resultado.
Por ejemplo, cuando calculamos P
3
(-0.1), el primer trmino es 1, el segundo, -0.1, el tercero
(segundo orden), 0.005 y el cuarto (tercer orden), . La calculadora nos da para
P
3
(-0.1) el valor 0.904833333. Sin embargo, no es correcto escribir el resultado con tantas
cifras decimales ya que algunas de ellas, desde una posicin decimal en adelante pueden estar
afectadas de error. Como los trminos son decrecientes en valor absoluto, de todos los que no
incluimos, el mayor es el de cuarto orden (el primero no incluido). Su valor es:
; los trminos posteriores sern an menores que ste en mdulo, de
manera que al tomar una aproximacin de tercer orden el error que cometemos es (al menos)
del tamao del trmino de cuarto orden. Esto significa que en el clculo de la aproximacin de
tercer orden para es ms correcto escribir 0.9048330.000004, donde hemos truncado
la cola decimal en el sexto lugar, previo redondeo. Queda claro que para mejorar la precisin
del resultado, basta con agregar ms trminos en el desarrollo. (Si en la calculadora
computamos obtenemos 0.904837418. Nuestro resultado coincide perfectamente con
ste hasta la quinta cifra decimal. La calculadora opera internamente de esta manera, tomando
muchos trminos).
x
e
4
10 67 . 1

6 4
10 16 . 4 ! 4 / ) 1 . 0 (

=
1 . 0
e
1 . 0
e

Si el problema es ahora calcular , podemos proceder de la misma manera. Consideremos
como antes una aproximacin de tercer orden:
5 . 0
e

3 2
3
5 . 0
5 . 0
! 3
1
5 . 0
! 2
1
5 . 0 1 ) 5 . 0 ( + + + = P e

La calculadora nos da 1.645833333 y el trmino de cuarto orden es 0.5
4
/4!=2.6x10
-3
. Esto
indica que del resultado anterior no podemos tomar ms all de la segunda cifra decimal,
previo redondeo. Esto nos da . El valor dado por la calculadora es 1.648721271.
Vemos que nuestro resultado es correcto hasta la segunda cifra decimal, pero la aproximacin
resulta en este caso bastante ms pobre que en el caso anterior. Esto se debe a que el valor 0.5
de x est considerablemente ms alejado de 0 que en el ejemplo anterior. Para lograr aqu una
aproximacin de igual calidad que la anterior deberamos incluir ms trminos en el
desarrollo.
65 . 1
5 . 0
e

Dado que el polinomio de Mac Laurin representa una mejor aproximacin a la funcin
cuantos ms trminos tomemos, inferimos que si tomamos infinitos trminos, el acuerdo entre
el desarrollo y la funcin ser perfecto. Esto significa pasar del polinomio a una serie.
Naturalmente, este pasaje requiere de una justificacin rigurosa, que no haremos aqu. Se
llama serie de Mac Laurin a la expresin

L L + + + + + + =
n
n
x
n
f
x
f
x
f
x f f x f
!
) 0 (
! 3
) 0 ( ' '
! 2
) 0 ( '
) 0 ( ' ) 0 ( ) (
) (
3 2
(3)
34

Cuando podamos encontrar una expresin para el trmino general de la suma, escribiremos

=
=
0
) (
!
) 0 (
) (
n
n
n
x
n
f
x f (3')

La expresin (3) requiere que la funcin f admita derivadas de todos los rdenes. En
particular, para la funcin , cuyas derivadas de todos los rdenes son todas iguales a , el
desarrollo en serie de Mac Laurin es
x
e
x
e
35

=
= + + + + + + =
0
3 2
! !
1
! 3
1
! 2
1
1
n
n
n x
n
x
x
n
x x x e L L

sta es una serie de potencias de x de la que ahora debemos encontrar el intervalo de
convergencia para saber en qu regin es vale la igualdad entre la funcin y la serie. Para esto,
definimos ! / = n x a
n
n
y )! 1 + /( =
1 +
1 +
n x a
n
n
y calculamos

=
+
=
+
=
+
=

+

+

x
n n
n
x
n
n
n x
n x
a
a
n n
n
n
n
n
n
n ! ). 1 (
!
lim
)! 1 (
!
lim
! /
)! 1 /(
lim lim
1
1

0 . 0
) 1 (
1
lim = =
+
=

x x
n n

El valor del lmite es <1 para cualquiera que sea el valor de x. Concluimos que esta serie
converge a la funcin para todo x real. En otras palabras, el intervalo de convergencia es
todo el eje real, desde - hasta +.
x
e

Ejemplo 4: Calcular los desarrollos de Mac Laurin de sin x y de cos x.
Comencemos por . Sus derivadas son , ,
, , que se repiten cclicamente cada cuatro. Por
lo tanto, existen las derivadas de todos los rdenes y podemos inferir la ley que siguen.
Las evaluamos en x=0 y obtenemos , , , , etc.
Al reemplazar en la frmula (3), resulta
x x f sin = ) ( x x f cos ) (
'
= x x f sin ) (
' '
=
x x f cos ) (
' ' '
= ) ( sin ) ( x f x x f
IV
= =
0 = ) 0 ( f 1 = ) 0 (
'
f 0 = ) 0 (
' '
f 1 = ) 0 (
' ' '
f

=
+
+
= + + =
0
1 2 7 5 3
)! 1 2 (
) 1 (
! 7 ! 5 ! 3
sin
n
n n
n
x x x x
x x L

donde slo estn presentes las potencias impares de x (el seno es una funcin impar de
x). En forma anloga se obtiene el desarrollo de cos x:


= + + =
0
2 6 4 2
)! 2 (
) 1 (
! 6 ! 4 ! 2
1 cos
n
n n
n
x x x x
x L

donde slo estn presentes las potencias pares de x (el coseno es una funcin par de x).
Se deja como ejercicio verificar que ambos desarrollos son vlidos en todo el eje real.
36

Desarrollo de funciones en serie de potencias de x-a. Polinomio y serie de Taylor.

El polinomio de Taylor da una aproximacin mediante un polinomio de grado n, a una
funcin f(x) en las cercanas de un punto a. El polinomio se construye, en forma anloga al
polinomio de Mac Laurin, pero exigiendo que el valor del polinomio y el de sus primeras n
derivadas coincidan con los correspondientes valores de la funcin y sus derivadas en el punto
a. El polinomio de Taylor se expresa:

n
n
n
a x
n
a f
a x
a f
a x
a f
a x a f a f x P ) (
!
) (
) (
! 3
) ( ' ' '
) (
! 2
) ( ' '
) ( ) ( ' ) ( ) (
) (
3 2
+ + + + + = L

Este es un polinomio en potencias de x-a. Se comprueba fcilmente que coincide con la
funcin en el punto a, esto es ) ( ) ( a f a P
n
= y tambin , , etc.
Para otros valores de x, el polinomio representa una aproximacin a la funcin, que es mejor
cuanto ms prximo a a se encuentre x. Tambin podemos afirmar que, para un dado x la
aproximacin mejora al tomar un mayor nmero de trminos. Si, en particular a=0,
obtenemos nuevamente la expresin del polinomio de Mac Laurin.
) ( = ) (
' '
a f a P
n
) ( = ) (
' ' ' '
a f a P
n

Veamos una aplicacin, calculando 5 mediante una aproximacin de tercer orden. Para
esto, tomamos x x f = ) ( y hacemos el desarrollo alrededor del punto a=4. Una razn de
esta eleccin es que este valor tiene raz cuadrada entera, lo que permitir evaluar fcilmente
la funcin y sus derivadas en dicho punto. Otra razn es que se trata de un valor
razonablemente cercano a 5, lo que har posible que el error sea pequeo con la aproximacin
elegida.

= = ) (
2 / 1
x x x f ;
2 = 4 = ) (a f

2
1
=
2
1
= ) ( '
2 / 1
x
x x f ;
4
1
=
4 2
1
= ) ( ' a f

4
1
=
4
1
= ) ( ' '
3
2 / 3
x
x x f ;
32
1
=
4 4
1
= ) ( ' '
3
a f

8
3
=
8
3
= ) ( ' ' '
5
2 / 5
x
x x f ;
32 8
3
=
4 8
3
= ) ( ' ' '
5
a f

Construimos la aproximacin de tercer orden

3 2
3
) (
! 3
) ( ' ' '
) (
! 2
) ( ' '
) ( ) ( ' ) ( ) ( ) ( a x
a f
a x
a f
a x a f a f x P x f + + + =

3 2
3
) 4 (
! 3
) 32 8 /( 3
) 4 (
! 2
32 / 1
) 4 (
4
1
2 ) (
+ + = x x x x P x
236328125 . 2 ) 4 5 (
512
1
) 4 5 (
64
1
) 4 5 (
4
1
2 ) 5 ( 5
3 2
3
= + + = P

Para decidir dnde interrumpimos la cola decimal, evaluamos el trmino siguiente, el de
cuarto orden

4
14 7 7
7
2 / 7
10 3
2
5
8 2 16
5
24 4 16
15
! 4
) (
;
16
15
16
15
) (
= =

=
=
= =
x
a f
x
x x f
IV
IV

Este trmino, del que slo nos interesa su valor absoluto, afecta al resultado desde el cuarto
decimal en adelante, de modo que expresamos 0003 . 0 2363 . 2 5 = , o bien, mediante las
tres primeras cifras decimales, que son exactas, para lo cual redondeamos el resultado:
236 . 2 5 . El valor de 5 que da la calculadora es 2.236067977. Comprobamos que
nuestra aproximacin coincide con sta hasta el tercer decimal.

Si ahora, en el polinomio de Taylor, hacemos n, y suponemos que f admite infinitas
derivadas sucesivas, obtenemos una serie de potencias de ) ( a x llamada serie de Taylor:

= + + + + + = L L
n
n
a x
n
a f
a x
a f
a x a f a f x f ) (
!
) (
) (
! 2
) ( ' '
) ( ) ( ' ) ( ) (
) (
2
( 1)
=
=
0
) (
) (
!
) (
) (
n
n
n
a x
n
a f
x f

Tambin se la designa desarrollo en serie de Taylor alrededor de a, o en un entorno de a.
Comparando (3) con (4), vemos que la serie de Mac Laurin es un caso particular de la serie de
Taylor, cuando hacemos a=0. Por lo tanto, cuando se pida encontrar el desarrollo de una dada
funcin en potencias de x, entenderemos que se trata del desarrollo alrededor de 0, es decir,
del desarrollo de Mac Laurin.

Empleo de desarrollos de ciertas funciones para obtener los de otras

Vimos que L + + + + = =
=
3 2
0
1
1
1
x x x x
x
n
n
para 1 < x . A partir de este desarrollo en
serie podemos, con muy poco esfuerzo, obtener, por ejemplo el de 1/(1+x) sin recurrir a la
serie de McLaurin. En efecto, si reescribimos la funcin como 1/[1-(-x)], su desarrollo en
serie surge del anterior con slo sustituir x por x en la expresin de la serie y en el intervalo
de convergencia

37

L + + = = =

=
+

=
=
3 2
0 0
1 ) 1 ( ) (
) ( 1
1
1
1
x x x x x
x x
n
n n
n
n
para 1 < x

Ntese que el intervalo de convergencia no ha variado pues x x = . Mediante un
razonamiento anlogo, sustituyendo x por x
2
en la serie de referencia, podemos obtener el
desarrollo de

L + + + + = = =
=
6 4 2
0
2
0
2
2
1 ) (
1
1
x x x x x
x
n
n
n
n
para 1 < x

donde hemos tenido en cuenta para el intervalo de convergencia, que 1 < 1 <
2
x x .

Ejemplo 5: Calcular el desarrollo de Mac Laurin de
3 + 2x
x
.
Escribamos esta funcin en la forma
) 1 3 / 2 (
1
3 +
x
x
. El segundo factor es la funcin a
la cual converge la serie geomtrica de razn -2x/3 y lo hace si 1 3 / 2 < x , es decir,
en el intervalo 2 / 3 < x . Luego,
=

=

=

=
+

=
+
+
= 0
1
1
0 3
2 ) 1 (
3
2 ) 1 (
3 ) 3 / 2 ( 1
1
3 3 2
n
n
n n n
n
n
n n n
x x x
x
x
x
x

2 / 3 para
81
8
27
4
9
2
3
4 3 2
< + + = x
x x x x
L

Del mismo modo, partiendo del desarrollo de L L + + + + + + = =

=
! ! 3 ! 2
1
!
3 2
0
n
x x x
x
n
x
e
n
n
n
x
,
vlido , obtenemos, por ejemplo, x

L L +
+ + + =
!
) 1 (
! 3 ! 2
1
!
) 1 (
!
) (
3 2
0 0
n
x x x
x
n
x
n
x
e
n n
n n
n n n
x

En particular, resultan interesantes los desarrollos de las exponenciales complejas, si
aceptamos como vlidas las mismas reglas que para las de exponente real.

..
! 4 ! 3 ! 2
1 ..
! 4 ! 3 ! 2
1
! !
) (
4 3 2 4 4 3 3 2 2
0 0
+ + + = + + + + + = = =

=
x ix x
ix
x i x i x i
ix
n
x i
n
ix
e
n n
n n n
ix

+ +
+ = L L
! 5 ! 3 ! 4 ! 2
1
5 3 4 2
x x
x i
x x
e
ix

38

L
L
+ +
= + + =
! 4 ! 3 ! 2
1
! 4 ! 3 ! 2
1
!
) 1 (
!
) (
4 3 2
4 4 3 3 2 2
0 0
x ix x
ix
x i x i x i
ix
n
x i
n
ix
e
n n
n n n n
ix

+ =
L L
! 5 ! 3 ! 4 ! 2
1
5 3 4 2
x x
x i
x x
e
ix

Recordemos los desarrollos de las funciones cos x y sin x. Vemos que coinciden
respectivamente con las partes real e imaginaria de estos dos desarrollos, de modo que

x i x e
ix
sen cos + = ; x i x e
ix
sen cos =

o bien

x
x
x
e e
ix ix
cos
! 4 ! 2
1
2
4
2
= + =
+

L ; x
x
x
x
i
e e
ix ix
sen
! 5
! 3
2
5
3
= + =

L

Nuevamente, la notacin exponencial de los complejos resulta consistente con las propiedades
de las funciones trigonomtricas seno y coseno.

Hemos dicho que la funcin definida mediante una serie de potencias es derivable y que la
expresin en serie de la funcin derivada se obtiene derivando trmino a trmino la serie
primitiva. Ambas series convergen en el interior del mismo intervalo. Como ejemplo,
partamos de la serie , que sabemos que converge a 1/(1-x) en el intervalo
(-1,1). Por un lado, la derivada de esta funcin es
L + + + +
3 2
1 x x x

2
) 1 (
1
1
1
x
x dx
d

Por otro lado, la derivada del desarrollo es

=
+ = + + + + = + + + +
0
3 2 3 2
) 1 ( 4 3 2 1 ) 1 (
n
n
x n x x x x x x
dx
d
L L

Igualando, obtenemos

=
+ =
0
2
) 1 (
) 1 (
1
n
n
x n
x
, vlido en el intervalo (-1,1)

Se puede proceder en forma anloga respecto a la integracin de una funcin y de su serie de
potencias asociada. Consideremos la funcin ln (1-x). Su derivada es 1/(1-x). Por lo tanto,
39

=
=
+ + + +
=
+ + + + = + + + + =
=
1
4 3 2
0
0 0
4 3 2
3 2
4 3 2

4 3 2
) 1 (
1
1
) 1 ln(
n
n
x
x x
n
x x x x
x
t t t
t dt t t t dt
t
x
L
L L

Obtenemos as el desarrollo de la funcin ln (1-x) partiendo del de 1/(1-x). El intervalo de
convergencia de ambas series es el mismo.

=
=
1
) 1 ln(
n
n
n
x
x , vlido en el intervalo (-1,1)

Resolucin aproximada de ecuaciones trascendentes

Aquellas ecuaciones en las que la incgnita aparece como argumento de alguna funcin
trascendente (funcin trigonomtrica, exponencial, logaritmo, etc.) no pueden en general ser
resueltas en forma exacta. Existen diversos recursos para obtener soluciones aproximadas
(mtodos grficos, computacionales, etc.). Veremos ahora uno que apela a las aproximaciones
polinmicas de funciones. Sea, por ejemplo, la ecuacin

0 ln 6 5 = + x x .

Escrita en la forma , indica la interseccin entre la curva representativa de ln x
con la recta 5+6x. Si representamos ambas funciones, vemos que la interseccin se produce
razonablemente cerca de 1, que es un valor para el cual resulta sencillo calcular la funcin
logaritmo y sus derivadas.
x x 6 5 ln + =

Esto sugiere que hagamos un desarrollo de Taylor
ln x en un entorno de 1. (Se deja como ejercicio
verificar que dicho desarrollo es vlido en el
intervalo de radio 1 y centro 1, es decir, en (0,2)).
Para que el clculo posterior resulte simple,
truncamos la serie en el trmino de segundo
grado:
40
2
) 1 (
) 1 ( ln
2

x
x x
y consideramos, en lugar de la ecuacin
planteada, esta otra:
2
) 1 (
) 1 ( 6 5
2
+
x
x x , de la que, ordenando y agrupando, resulta
0
2
7
4
2
2
= + x
x
. Luego, =
+
=

=
1
7 16 4
) 2 / 1 ( 2
) 2 / 7 ( ) 2 / 1 ( 4 16 4
x
7958 . 8
7958 . 0

0. 2 0. 4 0. 6 0. 8 1 1. 2 1. 4
-4
-2
2
4

Estos dos valores corresponden a los dos puntos de interseccin entre la funcin de segundo
grado y la recta. Pero la parbola es una buena aproximacin a la funcin logaritmo slo en
un entorno de 1. Por lo tanto, el valor -8.7958 resulta completamente ajeno al problema
planteado de la interseccin entre el logaritmo y la recta. En cambio, el valor 0.7958, si bien

representa una interseccin entre la parbola y la recta, da un valor aproximado de la
coordenada x del punto de interseccin entre el logaritmo y la recta.

La eleccin del orden 2, y no otro mayor, para la aproximacin est determinada por la
imposibilidad de resolver ecuaciones algebraicas de ms alto grado sin el auxilio de una
computadora.
41
Matemtica II Series de Fourier.

Series de Fourier de funciones peridicas de
variable continua

Funciones peridicas

Una funcin se dice peridica si cumple que f(t)=f(t+T) para todo t. La constante T se
llama perodo de la funcin. En forma iterativa se obtiene f(t)=f(t+kT) con k=0, 1, 2, ...
) (t f

T
f(t)

42

t
a a+T

Las funciones trigonomtricas seno, coseno y sus inversas, las funciones cosecante y secante
tienen perodo 2. En cambio, la tangente y la cotangente tienen perodo . En el caso de la
funcin coseno, la periodicidad se expresa en la forma ) 2 cos( cos + = t t o, en forma ms
general, donde k es cualquier nmero entero. ) 2 cos( cos + = k t t

Determinar el perodo de la funcin es hallar el mnimo valor de T tal que f(t)=f(t+T).
Consideremos como ejemplo la funcin
) (t f
) 3 / cos( ) ( t t f = . Para encontrar su perodo, pedimos
que )
3
cos( )
3
cos(
T t t +
= . Escrita la igualdad en la forma )
3 3
cos( )
3
cos(
T t t
+ = , se pone en
evidencia que ella se cumple si . Por lo
tanto, el perodo de
= 2 3 / T
) 3 / cos( ) ( t t f = es 6. En las
grficas de las funciones cos t (lnea llena) y
cos(t/3) (lnea de trazos), vemos que, mientras
cos t recorre tres ciclos, cos(t/3) recorre slo
uno. (En el eje horizontal, la variable t toma los
valores comprendidos entre -3 y +3).
-7. 5 - 5 - 2. 5 2. 5 5 7. 5
- 1
-0. 5
0. 5
1

En general, razonando de igual modo con una funcin de la forma , diremos que
, de donde inferimos que su perodo T es tal que
) cos( t
[ ] ) cos( ) ( cos ) cos( T t T t t + = + =

= 2 T

Al parmetro lo denominamos frecuencia. En el ejemplo, para la funcin cos t es =1 y
, en tanto que para cos(t/3) es =1/3 y = 2 T = 6 T .

Tecnicturas en Electromedicina y en Diagnstico por Imgenes Alicia Denis

Comparemos las grficas de las funciones sen t y
sen(3t). (En el eje horizontal, la variable t toma los
valores comprendidos entre - y +). Vemos que,
mientras la funcin sen t (lnea llena) recorre un
ciclo, es decir, un intervalo de = 2 T , la funcin
sen(3t) (lnea de trazos) recorre tres ciclos, es decir,
su frecuencia es =3 y su perodo es T=2/3.
- 3 - 2 -1 1 2 3
- 1
-0. 5
0. 5
1

- 6 - 4 - 2 2 4 6
- 1. 5
- 1
- 0. 5
0. 5
1
1. 5
Representemos la funcin cos t + sen(3t). (El
grfico est trazado para t entre -2 y +2). Vemos
que se obtiene una nueva funcin tambin
peridica. El primer trmino tiene perodo 2 y el
segundo, 2/3. El perodo de la funcin suma es
2, que es el menor mltiplo comn de 2 y 2/3.

-15 - 10 - 5 5 10 15
- 2
- 1
1
2

Si ahora representamos la funcin cos t + cos(t/3),
vemos que la nueva funcin tiene perodo 6, que
es el menor mltiplo comn entre 2 (perodo de
cos t) y 6 (perodo de cos t/3). Esta grfica est
trazada para t entre -6 y +6, de modo que se
representan dos ciclos completos de la funcin
suma.

- 10 - 5 5 10
- 2
- 1
1
2
Algo diferente sucede con la funcin
) cos( ) 2 sin( t t . Cada trmino tomado por
separado es una funcin peridica, el primero de
perodo y el segundo de perodo 2. Dado que no
es posible encontrar un mltiplo comn de y 2,
la funcin dada resulta no peridica.

Veamos qu efecto tiene una constante
multiplicativa. Como ejemplos, comparemos las
grficas de 2cost (lnea punteada), cos t (lnea
llena) y cos t (lnea de trazos).
- 6 - 4 -2 2 4 6
- 2
- 1
1
2

En general, en una funcin de la forma
, la constante multiplicativa A representa la
amplitud de la onda.
t cos A
t Asin

Consideremos ahora la familia de funciones ) cos( ) (
o 1
t t f = , ,
, etc., que en general indicamos
) 2 cos( ) (
o 2
t t f =
) 3 cos( ) (
o 3
t t f = ) cos( ) (
o
t k t f
k
= , con k. En la
primera, de frecuencia
0
, el perodo es

0 1
/ 2 = T . En la segunda, la frecuencia es 2
0
y el
43

perodo es
0
2
2
2
= T . En general, para la de frecuencia k
0
el perodo es
0
2
k
T
k
= .
Diremos que
0
representa la frecuencia fundamental y sus mltiplos naturales, k
0
, son sus
armnicas. La primera armnica, que corresponde a k=1, coincide con la frecuencia
fundamental. La segunda, tercera, etc. armnicas, corresponden a k=2,3,

Diremos tambin que las funciones de la familia f
k
estn armnicamente relacionadas.
Tienen la particularidad de que cualquier combinacin lineal entre ellas dar por resultado una
funcin de perodo T , que es el
menor mltiplo comn de los perodos de las
componentes. Para ilustrar esta idea citamos
algunos de los ejemplos dados ms arriba: cos t
+ sen(3t), cos t + cos(t/3), y el que mostramos
en esta figura, que corresponde a la funcin
0
/ 2 =
t t t t f 4 sen
5
2
2 cos
2
1
sen 2 ) ( + = .
44

Resulta natural preguntarse a esta altura si,
dada una funcin peridica cualquiera, ser posible encontrar una combinacin lineal
apropiada de senos y cosenos que la represente. La respuesta a esta pregunta es afirmativa, al
menos para funciones peridicas que representan sistemas reales. J.B.Fourier fue un fsico y
matemtico francs que a principios del siglo XIX formul el concepto general de que
cualquier funcin peridica se puede representar mediante series de senoides relacionadas
armnicamente y fue el primero en emplear tales series para resolver un problema de
difusin del calor. En su honor, se las conoce como series de Fourier, si bien la
fundamentacin rigurosa de estas ideas fue realizada posteriormente por Dirichlet. Para
encontrar la representacin de una funcin peridica dada mediante una serie de funciones
trigonomtricas relacionadas armnicamente se debe determinar cules son las armnicas que
intervienen en la serie y cul es el peso, es decir, la amplitud de cada componente.
-6 - 4 -2 2 4 6
-2
-1
1
2

Antes de presentar la expresin de esta serie, enunciaremos sin demostracin algunas
propiedades de las funciones peridicas frente a la integracin.

La integral definida de una funcin de perodo T, en la que el intervalo de integracin
tiene una longitud de un perodo, toma siempre el mismo valor, independientemente del punto
en que empieza a contarse el intervalo.

+
= = =
T T
T
T a
T a
T a
a
dt t f dt t f dt t f dt t f
0
2 /
2 /
2 /
2 /
) ( ) ( ) ( ) (

La integral definida de una funcin de perodo T a lo largo de un intervalo cualquiera
(a,b), no cambia su valor si se desplaza el intervalo en una distancia que sea un mltiplo
entero cualquiera de un perodo.

+
+
+
+
= =
nT b
nT a
T b
T a
b
a
dt t f dt t f dt t f ) ( ) ( ) (

Serie de Fourier

Vamos a aceptar sin demostracin que cualquier funcin de variable continua f(t) de perodo
T puede representarse mediante una serie trigonomtrica de la forma:

L L + + + + + + + = t b t b t a t a t a
a
t f
o 2 o 1 o 3 o 2 o 1
o
2 sin sin 3 cos 2 cos cos
2
) (
=
+ + =
1
o o
o
)] ( ) cos( [
2
) (
k
k k
t k sen b t k a
a
t f (1)
45

donde . En este desarrollo, conocido como serie de Fourier, aparecen infinitas
armnicas de la frecuencia fundamental
0
. Se puede demostrar, aunque no lo haremos aqu,
que esta serie es convergente para cada valor de t donde la funcin f(t) sea continua. Ms
adelante se discutir el comportamiento de la serie de Fourier en los puntos de discontinuidad
de la funcin.
T / 2
o
=

Dada una funcin peridica particular, para hallar su desarrollo trigonomtrico habr que
encontrar los valores de sus coeficientes a
0
, a
1
, a
2
, ..., b
1
, b
2
, ..., que representan la amplitud de
cada armnica. Para esto calculemos, para empezar, la integral de la funcin de perodo T a lo
largo de un perodo.

+ + + + + + =
T T T T T T
dt t b dt t b dt t a dt t a dt
a
dt t f
0 0 0
0 2 0 1 0 2
0 0
0 1
0
0
2 sin sin 2 cos cos
2
) (
= + + + = L L
T T T T
t
b
t
b
t
a
t
a T
a
0
0
0
2
0
0
0
1
0
0
0
2
0
0
0
1
0
2
2 cos
cos
2
2 sen
sen
2

pero
= = = =
= = =
=
1 0 cos 2 cos cos
0 2 sen sen
2
0 0
0 0
0
L
L
T T
T T
T T
a
dt t f
T
=
2
) (
0
0

=
T
dt t f
T
a
0
0
) (
1
2
(2)

De este modo vemos cmo evaluar el trmino independiente del desarrollo trigonomtrico de
Fourier. Recordemos que el teorema del valor medio afirma que la integral definida de una
funcin continua dividida por la extensin del intervalo de integracin, da el valor medio de la
funcin en dicho intervalo. Vemos entonces que

a
0
/2 representa el valor medio de la funcin en un perodo.

Calculemos ahora

+ + + =
T T T T
dt t t a dt t a dt t
a
dt t t f
0
0 0 2
0 0
0
2
1 0
0
0
0
cos 2 cos cos cos
2
cos ) (

+ + + +
T T
tdt t b tdt t b
0 0
0 0 2 0 0 1
cos 2 sin cos sin L L
Se puede comprobar que, en el segundo miembro, se anulan todas las integrales definidas
excepto la segunda, que da por resultado . Resulta as que 2 /
1
T a

cos ) (
2
=
0
0 1
T
dt t t f
T
a

Mediante procedimientos similares se encuentra que los dems coeficientes estn dados por

=
T
k
dt t k t f
T
a
0
0
) cos( ) (
2
;
=
T
k
dt t k t f
T
b
0
0
) sin( ) (
2
para k=1, 2, 3, ...
(3)

Veamos en el siguiente caso cmo utilizamos estas expresiones para obtener el desarrollo en
serie trigonomtrica de una funcin peridica dada. Sea con

< <
< <
=
t
t
t f
0 para 1
0 para 1
) (
) ( ) 2 ( t f t f = +

46

1
-2 - 2
t
-1

Destaquemos que la funcin est definida t pues, si bien la primera parte de la
definicin se refiere al intervalo (-,), la segunda parte, ) ( ) 2 ( t f t f = + , indica que
incrementar la variable independiente en 2 deja al valor de la funcin inalterado. En
trminos ms precisos, indica que la funcin tiene perodo T=2. Por lo tanto,
. Calculemos los coeficientes de la serie: 1 / 2
0
= = T

[ ] ) 0 ( ) 0 (
2
1
2
1
1 1
2
1
) (
2
1
2

0
0
0
0
0
+ + =
+ =
+ = =

t t dt dt dt t f
a

0
2
0
=
a

Podramos haber obtenido este resultado sin resolver la integral, recordando que a
0
/2

representa el valor medio de la funcin en un perodo. El grfico revela que dicho valor medio
es nulo. Para calcular los restantes coeficientes:

+ =
+ = =

0
0
0
0
sin sin
1
) cos( ) cos(
1
) cos( ) (
2
2
k
kt
k
kt
dt kt dt kt dt kt t f a
k

,... 2 , 1 , 0 = = k a
k

+ =
+ = =

0
0
0
0
cos cos
1
) sin( ) sin(
1
) sin( ) (
2
2
k
kt
k
kt
dt kt dt kt dt kt t f b
k

Calculemos cos(k). Para esto veamos que, para k=0 es cos0=1, para k=1 es cos=-1, para
k=2 es cos2=1, para k=3 es cos3=-1, etc. Generalizando, como para k par es cos(k)=1 y
para k impar es cos(k)=-1, escribimos . Dado que la funcin coseno es par,
es cos(-k)= cos(k). Luego,
k
k ) 1 ( ) cos( =

[ ] [ ] = = + =

=
k k k
k k
k
k k k k
b ) 1 ( 2 2
1
1 ) 1 ( ) 1 ( 1
1 1 ) 1 ( ) 1 ( 1
1

[ ]
k
k
k
b ) 1 ( 1
2
=

Cuando k toma un valor par, es y entonces 1 ) 1 ( =
k
0 =
k
b , pero cuando k es impar, es
y entonces 1 ) 1 ( =
k
=
k
b
k
4
. Expresamos estos coeficientes en la forma

=
impar si ,
4
par si , 0
k
k
k
b
k

Reemplazando en (1) los coeficientes hallados, podemos escribir la serie trigonomtrica para
la funcin dada:

=
= + + + = + + + =
1
1 2
] ) 1 2 sin[(
4
) 5 sin
5
1
3 sin
3
1
(sin
4
5 sin
5
4
3 sin
3
4
sin
4
) (
n
k
t k
t t t t t t t f L L

Analicemos esta suma trmino a trmino, graficando los primeros de ellos y viendo cul es la
tendencia. El primero es una oscilacin de perodo 2 y amplitud 4/. En el segundo, el
perodo es 2/3, o sea, la frecuencia es 3 veces la anterior, y su amplitud es la tercera parte de
la primera. La tercera tiene la frecuencia multiplicada por 5 y la amplitud dividida por 5
respecto de la primera.
47

- 6 - 4 - 2 2 4 6
- 1. 5
- 1
- 0. 5
0. 5
1
1. 5

- 6 - 4 - 2 2 4 6
- 1. 5
- 1
- 0. 5
0. 5
1
1. 5

- 6 - 4 - 2 2 4 6
- 1. 5
- 1
- 0. 5
0. 5
1
1. 5

La suma de estos primeros tres trminos da la curva que se muestra en la figura, donde
comienza a insinuarse el parecido con la sucesin de escalones que representan a f(t).

-6 -4 - 2 2 4 6
- 1. 5
- 1
- 0. 5
0. 5
1
1. 5

La grfica siguiente representa una suma finita de Fourier en la que se incluyeron los 10
primeros trminos y donde el parecido con los escalones es an mayor, particularmente en los
tramos donde f es constante.

-6 -4 - 2 2 4 6
- 1. 5
- 1
- 0. 5
0. 5
1
1. 5

Funciones pares e impares

Una funcin f:R R (no necesariamente peridica) se dice
par si satisface que f(t)=f(-t)
impar si satisface que f(t)=-f(-t)

Como ejemplos, digamos que funciones como cos t, t
2
, 3t
4
-7t
2
-4, y, en general los polinomios
que slo contienen trminos con exponentes pares, son funciones pares. Sus grficas son
simtricas respecto del eje vertical, como si colocramos all un espejo.

Ejemplos de funciones impares son sen t y los polinomios que slo contienen grados impares.
Las grficas de las funciones impares son curvas simtricas respecto del origen de
coordenadas; los valores que toma la funcin para los valores positivos de t, cambian de signo
pero no de valor absoluto al cambiar t por -t.
48

Existen, naturalmente, funciones que no son pares ni impares, es decir, que no tienen paridad
definida. Un ejemplo es la funcin exponencial e
t
.

Cualquier funcin f(t) puede expresarse como suma de una funcin par y otra impar. Esto es
) ( ) ( ) ( t f t f t f
i p
+ = con [ ] 2 / ) ( ) ( ) ( t f t f t f
p
+ = y [ ] 2 / ) ( ) ( ) ( t f t f t f
i
= .

Para la funcin exponencial, su componente par es , llamada
coseno hiperblico, y su componente impar es , llamada seno
hiperblico. Sus grficas son:
t e e t f
t t
p
cosh 2 / ) ( ) ( = + =

t e e t f
t t
i
sinh 2 / ) ( ) ( = =

cosh t sinh t
- 2 - 1. 5 - 1 - 0. 5 0. 5 1 1. 5 2
0. 5
1
1. 5
2
2. 5
3
3. 5
4

- 2 - 1 1 2
- 3
- 2
- 1
1
2
3

Resulta evidente que, si f(t) es par, su componente impar es nula y si es impar, es nula su
componente par.

Damos a continuacin algunas caractersticas de las funciones pares e impares que surgen de
la definicin. Las aceptaremos como geomtricamente evidentes, si bien pueden ser
rigurosamente demostradas.

Si f(t) es par y continua en t=0, entonces tiene un mximo o un mnimo relativo en t=0.
Si f(t) es impar y continua en t=0, entonces f(0)=0.
El producto de dos funciones pares es otra funcin par.
El producto de dos funciones impares es otra funcin par.
El producto de una funcin par por una funcin impar es otra funcin impar.
Si f(t) es par, para cualquier a>0 se cumple que .

=
a
a
a
dt t f dt t f
0
) ( 2 ) (
Si f(t) es impar, para cualquier a>0 se cumple que .
=
a
a
dt t f 0 ) (
Estas propiedades nos resultarn de gran utilidad a la hora de evaluar los coeficientes de la
serie de Fourier de una funcin particular, cuando sta tiene paridad definida.

Coeficientes de Fourier de funciones pares e impares

Las expresiones de los coeficientes de la serie de Fourier fueron dadas mediante integrales en
el intervalo [0,T]. Pero, como ya dijimos, dichas integrales tambin pueden evaluarse en el
49

intervalo [-T/2,T/2] o en cualquier otro intervalo de longitud T.

Consideremos una funcin par f(t) y analicemos sus coeficientes b
k
con k=1,2,... En la integral
=
2 /
2 /
0
) sin( ) (
2
T
T
k
dt t k t f
T
b , el integrando resulta impar por ser el producto de la funcin par
f(t) por la funcin impar sin(k
0
t). Por lo tanto, la integral entre T/2 y T/2 (intervalo
simtrico respecto del origen) se anula. Luego,

Si f(t) es par, entonces para k=1,2,3,.... 0 =
k
b

Consideremos ahora una funcin impar y analicemos los coeficientes a
k
con k=0,1,2,... En la
integral
=
2 /
2 /
0
) (
1
2
T
T
dt t f
T
a
el integrando es impar y el intervalo es simtrico, por lo tanto, la
integral es nula. En
=
2 /
2 /
0
) cos( ) (
2
T
T
k
dt t k t f
T
a para k=1,2,... , el integrando es impar por ser
el producto de la funcin impar f(t) por la funcin par cos(k
0
t). Luego la integral se anula.
Tenemos entonces que

Si f(t) es impar, entonces 0 =
k
a para k=0,1,2,....

Ntese que en esta ltima regla est incluido el trmino independiente.

La utilidad de estos resultados generales reside en que nos permiten hacer una importante
economa de clculos. Cuando se nos presente una funcin peridica a desarrollar en serie de
Fourier, nos convendr representarla grficamente para identificar fcilmente su paridad. Si la
funcin es par, sabemos de antemano que son nulos todos los coeficientes de los senos (b
k
=0,
k=1,2,...). El desarrollo contendr slo trminos con cosenos y posiblemente un trmino
independiente. Por el contrario, si la funcin es impar, sabemos para empezar que el trmino
independiente es nulo y tambin lo son todos los coeficientes de los cosenos (a
k
=0, k=1,2,...).
El desarrollo contendr slo trminos con senos.

Frecuentemente la simetra de una funcin peridica no es evidente debido a la presencia de
un trmino constante. El siguiente ejemplo servir para ilustrar esta idea.

Ejemplo 1: Desarrollar f(t)=1-t/2 si
0<t<2, con f(t+2)= f(t) en serie
trigonomtrica.
Esta funcin no tiene paridad definida, de
modo que, en principio podramos
suponer que su desarrollo contiene tanto
trminos con seno como con coseno, as
como un trmino independiente. Sin
embargo, con slo desplazar f
- 2 -1 1 2 3 4
0. 2
0. 4
0. 6
0. 8
1
f(t)
50

verticalmente hacia abajo en 1/2, obtenemos otra funcin, g(t)=f(t)-1/2, cuya grfica es
una funcin peridica impar. El desarrollo de g contendr, por lo tanto, slo trminos
con seno. Expresamos esta ltima funcin como

) ( ) 2 ( con , 2 0 si 2 / 2 / 1 ) ( t g t g t t t g = + < < = .

Ambas funciones tienen perodo 2, de modo
que la frecuencia fundamental es
0
= .
Para encontrar el desarrollo de f, resulta
ms fcil encontrar primero el desarrollo de
g, pues slo hay que evaluar los
coeficientes b
n
, y luego hacer uso de la
relacin entre ambas funciones. As:
51

= = =
2
0 0
0
) sin( )
2 2
1
( ) sin( ) (
2
dt t k
t
dt t k t g
T
b
T
k

=
2
0
2
0
)
2
1
(
cos
)
cos
)(
2 2
1
( dt
k
t k
k
t k t
b
k

- 2 - 1 1 2 3 4
- 0. 4
- 0. 2
0. 2
0. 4
g(t)
1
2
1
2
1
sin
2
1
)
0 cos
(
2
1
)
) 2 cos(
(
2
1
2
0
k k k k
t k
k k k
k
b
k
= + =
=
) 3 sin
3
1
2 sin
2
1
(sin
1
) sin(
1
) (
1
L + + + = =

=
t t t t k
k
t g
k

2 / 1 ) ( ) ( + = t g t f
) + 3 sin
3
1
+ 2 sin
2
1
+ (sin
1
+
2
1
= ) sin(
1
+
2
1
= ) (

1 =
L t t t t k
k
t f
k

Resulta claro que este ltimo desarrollo no es el de una funcin impar pues, si lo fuera,
slo debera contener trminos con seno. Sin embargo, el nico trmino que escapa a
esta regla es la constante 1/2 y esto se corresponde de manera evidente con la
representacin grfica de la funcin f(t), que al ser desplazada verticalmente hacia
abajo en una distancia de 1/2, se convierte en una funcin impar. Esta caracterstica se
describe como simetra escondida.

Naturalmente, si hubiramos buscado los coeficientes de Fourier de f(t) sin reconocer
la simetra escondida, habramos encontrado , y para
, pero con un esfuerzo mayor.
2 / 1 = 2 /
0
a 0 =
k
a ) /( 1 = k b
k
L , 3 , 2 , 1 = k

Ejemplo 2: Desarrollar con .
< <
< <
=
2 / 3 2 / para 1
2 / 2 / para 1
) (
t
t
t h ) ( ) 2 ( t h t h = +
Observando su grfica resulta evidente que esta funcin es par, de modo que sus
coeficientes b
k
deben ser todos nulos. Tambin debe anularse el trmino independiente

a
0
/2, ya que el valor medio de la funcin en un perodo es cero. El clculo se reduce,
entonces, a encontrar los coeficientes a
k
.

h(t)

1
52

-

-/2 /2 3/2 t

Tambin podemos encontrar el desarrollo de h(t) partiendo del de la funcin

< <
< <
=
t
t
t f
0 para 1
0 para 1
) ( con ) ( ) 2 ( t f t f = + , que ya encontramos antes.

Previamente debemos determinar la relacin entre ambas funciones. Vemos
grficamente que h resulta de desplazar f horizontalmente hacia la derecha en /2. Por
lo tanto, . Dado que ) 2 / ( ) ( = t f t h

= + + + =
1
1 2
) 1 2 sin(
4
) 5 sin
5
1
3 sin
3
1
(sin
4
) (
k
k
t k
t t t t f L , reemplazando t por t-/2:
=

=
1
1 2
)] 2 / )( 1 2 sin[(
4
)
2
(
k
k
t k
t f

Usando la frmula del seno de una diferencia de dos ngulos:
= sin cos cos sin ) sin( , tenemos
[ ] [ ] [ ] [ 2 / ) 1 2 ( sin ) 1 2 ( cos 2 / ) 1 2 ( cos ) 1 2 ( sin
] 2 / ) 1 2 ( ) 1 2 sin[( )] 2 / )( 1 2 sin[(
= ]
= =
k t k k t k
k t k t k

Pero el coseno de los mltiplos impares de /2 se anula: [ ] 0 2 / ) 1 2 ( cos = k y el seno
de esos ngulos vale 1 1, dependiendo de que el valor de k sea par o impar. Se
comprueba fcilmente que [ ]
1
) 1 ( 2 / ) 1 2 ( sin

=
k
k . Luego,

k k
t k t k t k ) 1 ( ] ) 1 2 cos[( ) 1 ( ] ) 1 2 cos[( )] 2 / )( 1 2 sin[(
1
= =

Tenemos as que

[ ]
)
5
5 cos
3
3 cos
cos (
4
1 2
) 1 2 ( cos ) 1 (
4
) (
1
L + + =
=
t t
t
k
t k
t h
k
k

Forma compleja de la serie de Fourier

Recordemos la relacin de Euler entre la exponencial compleja y las funciones
trigonomtricas

sin cos
i e
i
+ =

y su conjugada

sin - cos
i e
i
=
.
Sumndolas obtenemos
2
cos
i i
e e

+
= y restndolas,
i
e e
i i
2
sin

=

Vamos a emplear estas expresiones para pasar de la forma trigonomtrica de la serie de
Fourier a su forma compleja. En la expresin
=
+ + =
1
o o
o
)] sin( ) cos( [
2
) (
k
k k
t k b t k a
a
t f , con
0
=2/T, reemplazamos
2
cos
o o

o
t ik t ik
e e
t k
+
= y
i
e e
t k
t ik t ik
2
sin
o o

o

= :

=

+
+
+ =
1

o
]
2 2
[
2
) (
o o o o
k
t ik t ik
k
t ik t ik
k
i
e e
b
e e
a
a
t f

y agrupamos los trminos segn su factor exponencial:

+ + + =
1
o
] )
2 2
( )
2 2
[(
2
) (
o o
k
t ik k k t ik k k
e
i
b a
e
i
b a a
t f

Pero
2 2 2
i b
i i
i b
i
b
k k k

=
= . Luego,

+
+
+ =
1
o
] )
2
( )
2
[(
2
) (
o o
k
t ik k k t ik k k
e
ib a
e
ib a a
t f

=
=
+
+
+ =
1
1
o
] )
2
[( ] )
2
[(
2
) (
o o
k
t ik k k
k
t ik k k
e
ib a
e
ib a a
t f (4)
Ahora, en las expresiones que definen a los coeficientes a
k
y b
k
, permitamos que k tome
valores negativos. Si en
=
T
k
dt t k t f
T
a
0
o
) cos( ) (
2
, reemplazamos k por -k, obtenemos
T
k
dt t k t f
T
a
0
o
) cos( ) (
2
. Por ser el coseno una funcin par, es cos(-k
0
t)=cos(k
0
t).
Entonces,
T
k
dt t k t f
T
a
0
o
) cos( ) (
2
. Por lo tanto,

k k
a a

= (5)
53

En forma anloga, partiendo de
=
T
k
dt t k t f
T
b
0
o
) sin( ) (
2
, tenemos
T
k
dt t k t f
T
b
0
o
) sin( ) (
2
. Por ser el seno una funcin impar, es sin(-k
0
t)=-sin(k
0
t).
Entonces,
T
k
dt t k t f
T
b
0
o
) sin( ) (
2
. Por lo tanto,

k k
b b

= (6)

Sustituyamos estas igualdades en la segunda sumatoria de (4),

=
=
+
1
1
) (
1
0 0 0
)
2
( )
2
( )
2
(
k
t ik k k
k
t k i k k
k
t ik k k
e
ib a
e
ib a
e
ib a

donde, en la ltima sumatoria hemos cambiado k por k y a la vez extendido la suma a valores
negativos de k. Ahora esta sumatoria tiene la misma forma que la primera, salvo el rango de
valores enteros (aqu negativos) que recorre el ndice k. Al reemplazar en (4) tenemos

=
+ =
1
1
o
] )
2
[( ] )
2
[(
2
) (
o o
k
t ik k k
k
t ik k k
e
ib a
e
ib a a
t f (7)
La exponencial compleja es la misma en ambas sumatorias: , y aparece multiplicada
por el mismo coeficiente complejo:
t ik
e
0
2 / ) (
k k
ib a . Podramos reunirlas en una sola sumatoria,
pero para L , 3 , 2 , 1 = k . Veamos si podemos incluir en ella tambin el trmino
independiente. Para esto, analicemos qu ocurre cuando k=0. Si en la expresin (3) para a
k

reemplazamos k=0, obtenemos la de a
0
(2) y, si hacemos lo mismo en la expresin para b
k
,
obtenemos b
0
=0. Entonces, el trmino independiente de (7), puede escribirse como
2
o o
ib a
,
pues restamos el trmino nulo ib
0
. Pero tambin puede ponerse en la forma
t i
e
ib a
o
0 o o
)
2
(

,
pues multiplicamos por el factor . Ahora este trmino tiene la misma forma que los
dems. Al reconstruir la expresin (7), obtenemos:
1
0
0
=
t i
e

=
=
1
1
0 o o
o o o
)
2
( )
2
( )
2
( ) (
k
t ik k k
k
t ik k k t i
e
ib a
e
ib a
e
ib a
t f ,

Ya podemos reunir a todos los trminos en una nica suma, permitiendo que el ndice k
adopte todos los valores enteros desde - hasta +, pasando inclusive por 0.

=
k
t ik k k
e
ib a
t f
0
)
2
( ) (
54

Si definimos

2
k k
k
ib a
c

= (8)

la serie se escribe en la forma simple

=
=
k
t ik
n
e c t f
0
) (

Esta ltima expresin se conoce como serie compleja de Fourier.

Al igual que en la serie trigonomtrica, es necesario determinar los coeficientes c
k
para cada
funcin particular f(t). Para esto reemplazamos las frmulas (3) en (8)

=

T T
k k
k
dt t k t f
T
i dt t k t f
T
ib a
c
0
o
0
o
) sin( ) (
2
) cos( ) (
2
2
1
2
=
[ ]

=
=
T T T
k
dt t k i t k t f
T
dt t k t f i dt t k t f
T
c
0
o o
0
o
0
o
) sin( ) cos( ) (
1
) sin( ) ( ) cos( ) (
2
2
1

=
T
t ik
k
dt e t f
T
c
0
0
) (
1
(9)
En particular,

= = =

T T
t i
a
dt t f
T
dt e t f
T
c
0
o
0
0
o
2
) (
1
) (
1
o
, es decir, c
0
representa el valor medio
de la funcin en un perodo.

Ambas expresiones de la serie de Fourier, la trigonomtrica y la compleja, son dos formas
equivalentes de describir un mismo problema y, dada una de ellas, podemos obtener la otra.
Observando la expresin (6), vemos que c
k
es un nmero complejo cuya parte real es a
k
/2 y su
parte imaginaria es b
k
/2.

Si es una funcin real, los coeficientes a
k
y b
k
tambin lo son. De las relaciones
y , resulta que
) (t f
k k
a a

=
k k
b b

=
k
k k k k k k
k
c
ib a ib a ib a
c =
=
+
=
2 2 2
. Luego,

k k
c c =
(10)

Las propiedades de simetra de una dada funcin peridica tienen un efecto visible en los
coeficientes complejos de Fourier:

Si la funcin peridica es par, vimos que los coeficientes b
k
de la serie trigonomtrica son
todos nulos. Esto se traduce en que los coeficientes complejos c
k
carecen de componente
55

imaginaria y son, por lo tanto, nmeros reales de la forma 2 /
k k
a c = para L , 3 , 2 , 1 = k .
Si, en particular, fuera a
0
=0, entonces resultara c
0
=0.

Vimos que si la funcin peridica es impar, los coeficientes a
k
de la serie trigonomtrica
son todos nulos, incluido a
0
. Esto indica que los coeficientes complejos c
k
carecen de
componente real y son, por lo tanto, nmeros imaginarios puros de la forma
para . Como en una funcin peridica impar, el valor medio en un perodo es
cero, resulta siempre c
0
=0.
2 /
k k
ib c =
L , 3 , 2 , 1 = k

Queda claro que, si la funcin no tiene paridad definida, sus coeficientes c
k
son nmeros
complejos (con componentes real e imaginaria no nulas). Esto est evidentemente conectado
con el hecho de que la serie trigonomtrica contiene es ese caso trminos con seno y con
coseno. Si la funcin tiene alguna simetra escondida, algunos coeficientes complejos pueden
tener slo una de las componentes, real o imaginaria.

Veremos en seguida algunos ejemplos en los que c
0
toma un valor que no responde a la ley de
formacin de los dems coeficientes c
k
para L , 3 , 2 , 1 = k . All se hace necesario separar
de la suma general al trmino correspondiente a k=0 y adoptar una notacin levemente
diferente para la suma: en lugar de , usaremos para denotar que el ndice de suma
toma todos los valores enteros excepto el cero. La serie de Fourier queda expresada entonces
como:
= k
=
0 k
k

=
+ =
0
0
0
) (
k
k
t ik
k
e c c t f

donde se ha separado de la suma al trmino
0
0
0
0
c e c
t i
=

Convergencia de la serie de Fourier

Para cualquier seal peridica podemos intentar obtener el conjunto de los coeficientes dados
por la expresin para . Sin embargo, en algunos casos, la integral puede divergir, es decir,
algunos coeficientes pueden resultar infinitos. Pero adems, an cuando los coeficientes
resulten finitos, puede suceder que la serie infinita no converja a la funcin .
Afortunadamente, para las seales peridicas que representan fenmenos fsicos, no hay
problemas de convergencia. En general se puede afirmar (aunque no lo demostraremos) que si
la seal tiene energa finita en un perodo, esto es,
k
c
) (t f
<
T
dt t f
2
) ( , entonces la serie converge
a la funcin. Esta afirmacin equivale a decir que el error que se comete al tomar un nmero
finito de trminos en la suma , es menor cuanto mayor es K.
=
K
K k
t ik
k
e c
0

Adems de la condicin de energa finita, que se satisface en los problemas fsicos reales,
56

Dirichlet elabor un conjunto de condiciones que debe cumplir la funcin peridica para
garantizar la existencia de la serie de Fourier:
) (t f

debe ser absolutamente integrable sobre cualquier intervalo de un perodo de
duracin, esto es
) (t f
<
T
dt t f ) ( . Esta condicin asegura que los coeficientes son todos
finitos. Como ejemplo, una seal que viola esta condicin es
k
c
1 0 , / 1 ) ( < = t t t f , con
perodo 1.
debe tener un nmero finito de mximos y mnimos en un perodo. Para aclarar la
idea, mostremos un caso donde esta condicin no se cumple:
) (t f
1 0 , ) / 2 sin( ) ( < = t t t f , con
perodo 1.
debe tener un nmero finito de discontinuidades en un perodo y esas
discontinuidades deben ser finitas.
) (t f

Si t
0
es un punto de discontinuidad finita de f, se cumple que los lmites para por
derecha y por izquierda existen y son ambos finitos. Se demuestra que el valor que da la serie
de Fourier para es igual al promedio de los dos lmites laterales.
0
t t
0
= t t

Ejemplo 3: Calcular la serie compleja de f(t)=t para 0<t<1, con f(t+1)=f(t).

f(t)
1
57

-2 -1 1 2 t

El perodo es T=1 y la frecuencia fundamental es
0
=2. Calculamos los coeficientes
de la serie compleja:
= = =

1
0
2
0
0
) (
1
dt te dt e t f
T
c
t ik
T
t ik
k

1
0
2 2
1
0
2
1
0
2
2 2
1
2 2 2 ik
e
ik ik
e
dt
ik
e
ik
e
t c
ik ik ik ik
k

2 2
1
2
1
2
1
2
k
i
ik
e
ik ik
c
ik
k
=
=

para L , 3 , 2 , 1 = k

Esta expresin no puede emplearse para k=0 y habr que calcular aparte c
0
.

2
1
2
) (
1
1
0
2
1
0 0
0
= = = =

t
tdt dt t f
T
c
T

La serie compleja de Fourier para esta funcin es

=
+ =
0
2
2 2
1
) (
k
k
t ik
e
k
i
t f

Vemos que, salvo el trmino independiente, que es real, todos los dems coeficientes
son imaginarios puros. En otras palabras, la funcin f(t)-1/2 es impar pues tiene un
desarrollo en el cual los coeficientes son imaginarios puros.

f(t)-1/2
58

1/2

-2 -1 1 2 t
-1/2

Tal como comentamos al hablar de los desarrollos trigonomtricos, resulta conveniente
descubrir la simetra escondida que pudiera tener la funcin para conocer de antemano las
caractersticas que tenemos que esperar de sus coeficientes complejos.

Si conocemos los coeficientes c
k
, con L , 3 , 2 , 1 , 0 = k , resulta sencillo determinar los de la
serie trigonomtrica. Para el Ejemplo 3, es
2
1
2
o
=
a
pues
o
o
2
c
a
= ; de
2k
i
c
k
= y de
2
k k
k
ib a
c

= concluimos que para 0 =
k
a L , 3 , 2 , 1 , 0 = k pues
2
k
a
representa la parte
real de c
k
, que en este caso es nula; luego, de
2 2 k
i ib
c
k
k
= = extraemos
1
k
b
k
= . La
serie trigonomtrica es entonces

)
3
6 sin
2
4 sin
2 (sin
1
2
1 2 sin
1
2
1
2 sin
1
2
1
) (
1 1
L + +
+ = =
+ =

=
=
t t
t
k
t k
t k
k
t f
k k

Espectros discretos

Al hacer el desarrollo de Fourier de una seal peridica, estamos descomponindola en
trminos de una base de funciones exponenciales complejas relacionadas armnicamente,
cuyas frecuencias son los mltiplos enteros de la frecuencia fundamental. (Salvando las
diferencias, es como si descompusiramos un color en los colores primarios y diramos la
proporcin en que cada uno interviene). En cualquier serie compleja de Fourier, cada c
k
es el
coeficiente de una exponencial compleja , de manera que cada coeficiente tomado en
valor absoluto indica cul es el peso relativo de cada armnica dentro de la descomposicin
espectral de la seal. La representacin grfica de
t ik
e
o
k
c en funcin de la frecuencia
o
k =
ayuda a interpretar cules son las armnicas presentes en la seal y cul es su importancia
relativa. Esta representacin se denomina espectro de amplitud. Dado que los coeficientes c
k

son nmeros complejos, que se expresan mediante su mdulo y su argumento en la forma

k
i
k k
e c c

= , la representacin se completa mediante el espectro de fase, que es el grfico
del argumento o fase
k
de cada coeficiente c
k
en funcin de
o
k = . Como esta nueva
variable est definida slo para los mltiplos enteros de la frecuencia fundamental, los
espectros de amplitud y de fase no son grficas continuas sino discretas, que se representan
mediante puntos o mediante lneas verticales levantadas sobre dichos mltiplos de
0
.

A partir de (10) vemos que
k k
c c =
. Pero, adems,
k k
c c = . Luego,
k k
c c =
, lo que
indica que
k
c es funcin par de k. Para obtener el argumento de hacemos
k
c = =
k k
c arg
k
k
k
k
a
b
c
c
= arctan
) Re(
) Im(
arctan y para el de ,
k
c
k
k
k
k
k k
a
b
c
c
c

= = = arctan
) Re(
) Im(
arctan arg
k
k
k
a
b
= = arctan ; esto dice que el argumento es funcin impar de k.
Ejemplo 4: Representemos los espectros discretos de amplitud y de fase
correspondientes a la funcin f(t) del Ejemplo 3 que desarrollamos antes. Para eso,
calculamos el valor absoluto de cada coeficiente:
2
1
0
= c ;
o
1
=
2
1
=
2
=
k k k
i
c
k
para L , 3 , 2 , 1 = k

En particular, para las primeras armnicas:

159 . 0
2
1
1 1
= =

c c ; 0796 . 0
4
1
2 2
= =

c c ; 0531 . 0
6
1
3 3
= =

c c ; etc.

Dado que
2k
i
c
k
= para , para k>0 tenemos 0 k
2 /
= =
i
k k k
e c i c c y, para k<0,
2 /
) (

= =
i
k k k
e c i c c , en tanto que
0
0 0
2 / 1
i
e c c = = . La fase es entonces /2
para k>0, 0 para k=0 y -/2 para k<0.

0,0
0,1
0,2
0,3
0,4
0,5
-4

Ic
k
I
-2 4 2
(=k2)

k
-4 -2 4 2
/2
/2
(=k2)

Consideremos ahora la funcin g(t)=t para -1/2<t<1/2, con g(t+1)=g(t). Podemos obtener el
desarrollo de esta funcin resolviendo las integrales, o bien relacionndola con f(t) del
Ejemplo 3. Las grficas de f y de g nos ayudarn a encontrar esta relacin. Si a partir de la
definicin de f(t) hacemos un corrimiento horizontal en , tenemos f(t+1/2)=t+1/2 para
0<t+1/2<1, es decir para 1/2<t<1/2. Si en esta funcin hacemos ahora un corrimiento vertical
en , llegamos a 2 / 1 ) 2 / 1 ( ) ( + = t f t g .
59

g(t)
60

1/2

-1/2 1/2 t

Para obtener su desarrollo, sustituimos en f su argumento t por t+1/2 y restamos 1/2 al
resultado:

=
+
=
+
= = + =
0
2
0
) 2 / 1 ( 2
0
) 2 / 1 ( 2
) 1 (
2 2 2
1
2 2
1
) (
k
k
k t ik
k
k
t ik
k
k
t ik
e
k
i
e
k
i
e
k
i
t g

Vemos que este desarrollo tiene la forma que
esperbamos, es decir, su coeficiente c
0
=0 (ya
que el valor medio de g en un perodo es cero) y
que los restantes coeficientes
son imaginarios puros (ya que la funcin g es
impar). El espectro de amplitudes de la funcin g
es muy similar al de f; slo difieren en el valor
del trmino independiente. El corrimiento en el
tiempo tiene un efecto marcado sobre el espectro
de fases, como se aprecia en la figura.
) 2 /( ) 1 ( k i c
k
k
=
-4

-/2
/2
-2 4 2
k
(=k2)

Teorema de Parseval

Este teorema da una relacin entre el valor cuadrtico medio de la funcin en un perodo y los
coeficientes del desarrollo complejo. Esa relacin es:

+
=
=
k
k
T
c dt t f
T
2
2
) (
1

La integral se ha indicado con un subndice T para sealar que slo interesa que la longitud
del intervalo de integracin sea de un perodo, pero no a partir de qu valor particular de t se
lo computa.
Si representa a una seal fsica, la cantidad ) (t f dt t f
T
T
2
) (
1
da la potencia media de la seal

en un perodo. La relacin de Parseval expresa entonces esta potencia en trminos de las
amplitudes de todas las armnicas que describen a dicha seal.

Para demostrarlo, supongamos el caso ms general en que la funcin es compleja, si bien
en todos los ejemplos mostrados hasta aqu hemos considerado funciones reales, y escribamos
) (t f


) ( ) ( ) (
2
t f t f t f = .
Dado que , entonces es
=
=
k
t ik
k
e c t f
0
) (

=
k
t ik
k
e c t f
0
) ( .
Si en =
T
dt t f
2
) (

T
dt t f t f ) ( ) ( reemplazamos ) (t f , obtenemos
=
T
dt t f t f ) ( ) (
T
k
t ik
k
dt e c t f ) ( ) (
0
. Como multiplica a cada trmino de la suma,

podemos reescribir la anterior en la forma
) (t f
T
k
t ik
k
dt e t f c ) ) ( (
0
. Pero, como la integral de

una suma es la suma de las integrales, podemos intercambiar los signos de integracin y de
suma: dt e t f c
k
T
t ik
k

) ( . Las constantes pueden salir de la integral y tenemos

dt e t f c
k
T
t ik
k

) ( . Recordemos que

=
T
t ik
k
dt e t f
T
c
0
0
) (
1
, de modo que hasta aqu
tenemos que

=
=
n
k k
T
c T c dt t f ) (
2
y, por lo tanto,
+
=
=
n
k
T
c T dt t f
2
2
) ( con lo que
queda probada la relacin de Parseval.

Cuando no se ajusta a la expresin general para los restantes , se debe separar de la suma
el trmino
0
c
k
c
2
0
c . As, la expresin del teorema de Parseval queda:

=
+ =
0
2 2
0
2
) (
1
k
k
k
T
c c dt t f
T

Ejemplo 5: Aplicar la frmula de Parseval a la funcin f(t)=t para 0<t<1, con T=1.
Esta funcin ya fue analizada en el Ejemplo 3 y obtuvimos los coeficientes
2
1
0
= c
y
2k
i
c
k
= para . Al reemplazar en la frmula de Parseval, tenemos L , 3 , 2 , 1 = k
3
1
3
) (
1
1
0
3 1
0
2
2
= = =

t
t d t dt t f
T
T

+
=
+
=
+
=
+
=
+ = + = + = +
0
2 2
0
2 2
0
2
0
2 2
0
1
4
1
4
1
4
1
4
1
2 4
1
k
k
k
k
k
k
k
k
k
k k
k
i
c c
Igualando, resulta
61

=
+ =
0
2 2
1
4
1
4
1
3
1
k
k
k

Como los trminos de la suma adoptan los mismos valores para los k positivos y
negativos, podemos reescribir la anterior en la forma

+
=
=
1
2 2
1
4
2
4
1
3
1
k
k
, de donde
6
1
2
1
2
=
+
= k
k

Cuando estudiamos las series numricas, nos bastaba saber si una serie dada converge o no.
En particular, de la serie que aparece aqu, sabamos que converge pues es de la forma
+
=1
1
n
p
n

con p>1. El resultado que acabamos de encontrar nos dice que la serie numrica
+
=1
2
1
n
n

converge al nmero
6
2
. Esto agrega una utilidad adicional a las series de Fourier, junto con
el teorema de Parseval, que es la de permitir el clculo de la suma de ciertas series
convergentes.

Ejemplos de clculo de series de Fourier

Desarrollaremos a continuacin tres ejemplos de funciones escaln, compararemos sus
respectivas series y espectros de amplitud y de fase.

Ejemplo 6: con f(t+4)=f(t) T=4
0
=/2
< <
< <
=
3 1 , 0
1 1 , 1
) (
t
t
t f
f(t)
62

1

-5 -4 -3 -2 -1 1 2 3 4 5 t

)]
2
sin( 2 [
2
1

2
1
2
4
1
0 1
4
1
2
1
1
2
1
1
3
1
2
k
i
ki
e e
ki
ik
e
dt dt e c
ik ik
t ik
t ik
k
=
=
+ =

0 ,
2
)
2
sin(
2
1
= )
2
sin(
1
= k
k
k
k
k
c
k
;
2
1
4
1
4
1
1
1
1
1
o
= = =

t dt c

Los coeficientes son todos reales, como era de esperar, pues la funcin es par.
Calculemos algunos de ellos y representemos su mdulo y argumento principal.
Vemos que para cualquier k par, es c
k
=0; para ellos, el mdulo es 0 y, por lo tanto, no
est definido el argumento.

0 ) arg( ,
2
1
0 0
= = c c
0 ) ( Arg ) ( Arg , 3183 . 0
1
c ,
1
)
2
sin(
1
1 1 1 1 1 1
= = = = = = =

c c c c c
) ( Arg ) ( Arg , 1061 . 0
3
1
c ,
3
1
)
2
3
sin(
3
1
3 3 3 3 3 3
= = = = = = =

c c c c c
0 ) ( Arg ) ( Arg , 06366 . 0
5
1
c ,
5
1
)
2
5
sin(
5
1
5 5 5 - 5 5 5
= = = = = = =

c c c c c
0,0
0,1
0,2
0,3
0,4
0,5
/2
Ic
k
I
(=k/2)

0
1
2
3
-2 -
/2
Arg(c
k
)
(=k/2)

Ejemplo 7: con g(t+6)=g(t) T=6
0
=/3
< <
< <
=
5 1 , 0
1 1 , 1
) (
t
t
t g

g(t)
63

1

-6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 t

Calculamos los coeficientes en este caso y los representamos en valor absoluto y
argumento principal.

3
1
6
1
6
1
1
1
1
1
o
= = =

t dt c ; 0 ,
3
)
3
sin(
3
1
)
3
sin(
1
= = k
k
k
k
k
c
k


0,0
0,1
0,2
0,3
0,4
0,5
-
IcnI
(=k/3)

0
1
2
3

-
Arg(c
k
)
(=k/3)

Ejemplo 8: con h(t+12)=h(t) T=12
o
=/6
< <
< <
=
11 1 , 0
1 1 , 1
) (
t
t
t h
h(t)
1
64

-1 1 6 12 t

6
1
12
1
12
1
1
1
1
1
o
= = =

t dt c ; 0 ,
6
)
6
sin(
6
1
= )
6
sin(
1
= k
k
k
k
k
c
k

0,0
0,1
0,2
0,3
0,4
0,5
-
Ic
k
I
(=k/6)
0
1
2
3
-
Arg(c
k
)
(=k/6)

Los tres ltimos ejemplos elegidos corresponden a funciones escaln en las que se ha
modificado el perodo, dejando las restantes caractersticas iguales. La forma general del
espectro es la misma en los tres casos pero el espaciado entre las lneas disminuye en relacin
inversa al perodo, a la vez que disminuye la amplitud de todas las armnicas. Podemos inferir
que si el perodo se hiciera infinitamente grande, la distancia entre las lneas del espectro sera
infinitesimal, de modo que dejaramos de tener un espectro discreto para pasar a tener un
espectro continuo. En esto precisamente consiste el clculo de la transformada de Fourier, que
ser nuestro prximo tema.
Matemtica II Transformada de Fourier
Transformada de Fourier

Vimos que las series de Fourier constituyen una herramienta poderosa para estudiar
problemas peridicos y obtener su representacin en frecuencias. En muchos problemas
prcticos que involucran a funciones no peridicas, se hace tambin necesario obtener
representaciones en frecuencias. Este anlisis es el denominado integral o transformada de
Fourier.

Revisemos las caractersticas salientes de la serie de Fourier. Dada una funcin de la variable
continua t, de perodo T, su desarrollo en serie de Fourier, que escribimos en la forma
, contiene los infinitos mltiplos enteros de la frecuencia fundamental
. Cada seal compleja de la forma con k entero, corresponde a una
armnica, k
0
. Cada coeficiente complejo en el desarrollo de la funcin peridica
representa el peso que la armnica respectiva tiene en la descomposicin de . La
representacin de en funcin de la frecuencia da lugar a un conjunto de infinitas lneas que
se levantan en cada mltiplo entero de la frecuencia fundamental (k
0
). Esto equivale a decir
que estas lneas tienen un espaciado regular en frecuencia, igual a
0
. Dado el carcter
complejo de , su representacin requiere dos grficos, ya sean su parte real y su parte
imaginaria, o bien su mdulo y su argumento, en funcin de la frecuencia. Si consideramos a
la frecuencia como una nueva variable real , los coeficientes resultan ser funciones de
que existen slo para los valores de la forma k
0
. Estas representaciones discretas o espectros
pueden pensarse como muestras tomadas sobre una funcin de la variable continua ,
elegidas para valores k
0
con k entero. A esa funcin de variable continua la llamamos
envolvente.
=

=
k
t ik
k
e c t f
0
) (
T / 2
0
=
t ik
e
0
k
c
) (t f
k
c
k
c
k
c

Al final del captulo anterior obtuvimos, como ejemplos, los espectros correspondientes a
diversos pulsos rectangulares peridicos, consistentes en un tramo de seal constante, de igual
duracin en todos los casos, seguido de un tramo de seal nula, de duracin diferente en cada
caso, lo que da lugar a un perodo distinto en cada uno. Observamos que el espectro tiene en
todos ellos una forma caracterstica; la diferencia en el perodo se manifiesta en la separacin
en frecuencia entre una y otra lnea del espectro. Dicho espaciado es, como vimos,
T
2
0
= .
A medida que el perodo aumenta, es decir, a medida que aumenta la espera entre uno y otro
tramo de seal encendida, la representacin en frecuencias muestra lneas cada vez ms
prximas. Inferimos que si permitimos que T se haga infinitamente grande, las lneas del
espectro estarn tan prximas entre s que el espectro ya no podr ser considerado discreto
sino continuo, a la vez que la seal dejar de ser peridica para convertirse en no peridica.

Basndonos en la idea de los ejemplos mencionados, haremos un artificio que nos permitir
obtener la descripcin en frecuencias de una funcin genrica no peridica, valindonos
de lo que aprendimos para las funciones peridicas. Como requisito inicial, supongamos que
) (t f
65
) (t f tiene duracin finita, es decir, que es nula fuera de un cierto intervalo , como
en la figura.
2 1
t t t < <

f(t)

t

t
2
-t
1

Definamos una funcin peridica , de perodo T, de modo que . Por
simplicidad, elijamos T de modo que , como en la figura.
) (
~
t f
2 1
t t T + >
) , max( 2 /
2 1
t t T >

66

Ambas funciones, y , son idnticas en el intervalo [-T/2,T/2]. ) (t f ) (
~
t f
T/2

-T/2

) (
~
t f
T

t

t
2
-t
1
Al hacer que T aumente sin modificar y , aumentan los tramos donde es nula, si bien
sigue siendo peridica, pero de perodo mayor. Esta idea est ejemplificada en la figura que
sigue, que ha de ser comparada con la anterior.
1
t
2
t ) (
~
t f

-T/2

) (
~
t f
-T
1
T
2
t

T

T/2

Dado que el incremento del perodo implica la disminucin de la frecuencia fundamental, la
representacin de los coeficientes de Fourier en funcin de la frecuencia mostrar las lneas
con un espaciado ms pequeo. Cuando T , por un lado, ambas funciones y
se vuelven idnticas. Por otro lado, las lneas del espectro se habrn acercado tanto entre s
que el espaciado se habr vuelto infinitesimal y, en lugar de un espectro discreto, se obtiene
una representacin continua en funcin de la frecuencia. El desarrollo en serie de Fourier de
se convierte en lo que llamaremos la transformada de Fourier de
) (t f ) (
~
t f
) (
~
t f ) (t f .

Veamos cmo se expresa esta idea en forma matemtica. Comencemos con la serie compleja
de Fourier de la funcin de perodo T: ) (
~
t f
=

=
k
t ik
k
e c t f
0
) (
~
( 1)
donde los coeficientes se calculan mediante

=
2 /
2 /
~
0
) (
1
T
T
t ik
k
dt e t f
T
c
Dado que para ) ( ) (
~
t f t f = 2 / T t < , podemos escribir la expresin para en la forma:
k
c

=
2 /
2 /
0
) (
1
T
T
t ik
k
dt e t f
T
c

Pero como, adems, fuera de ese intervalo, podemos escribirla en la forma 0 ) ( = t f

= dt e t f
T
c
t ik
k
0
) (
1
. ( 2)
Definimos ahora la funcin
= dt e t f F
t i
) ( ) ( ( 3)
que depende de la nueva variable continua . Si la comparamos (2) con (3), vemos que
) (
1
0
= k F
T
c
k
( 4)
En palabras, ) (
1
F
T
tendr como representacin grfica una cierta curva y sobre ella se
podrn marcar, como puntos aislados, los valores correspondientes a . Dicho a la inversa,
la curva representativa de
k
c
) (
1
F
T
es la envolvente de los puntos que representan a .
k
c

Volvamos ahora a (1) y reemplacemos all la expresin (4):
=

=
k
t ik
e k F
T
t f
0
) (
1
) (
0
~

Dado que
2
0
1
=
T
, tenemos
0 0
~
0
) (
2
1
) (
=

k
t ik
e k F t f ( 5)

Cada trmino de la sumatoria puede pensarse como la superficie de un rectngulo de altura
y base
t ik
e k F
0
) (
0

0
, como el que se muestra sombreado en la figura. Para cada valor de
67
k (es decir, para cada uno de los armnicos de
frecuencia
0
k ) se obtiene un trmino de la
suma, o sea, el rea de un rectngulo. La
distancia en frecuencia entre dos armnicos
sucesivos es . A medida que T aumenta,
disminuye, de modo que los segmentos
verticales que representan a
aparecen cada vez ms prximos entre s.
Cuando T tiende a infinito, se hace
infinitesimal y en lugar de podemos
escribir . Al mismo tiempo, el argumento
de puede pensarse como la variable continua . La sumatoria de (5) se
convierte, por lo tanto, en una integracin en frecuencia de la funcin . Pero,
adems, como ya dijimos, cuando
0
t
0
0
0
) (
ik
e k F ) (
0
d
0
k
t ik
e k F
0
) (
0

t i
e F
T , y se vuelven idnticas. En resumen, la
expresin (5) adopta la forma
) (t f ) (
~
t f
0
0,0
0
k
0
F(k
0
)e
ik
0
t
F()e
it

= ) (
2
1
) (

d e F t f
t i
( 6)

A la funcin de la frecuencia definida en (3):

= dt e t f F
t i
) ( ) (

la designamos transformada de Fourier de . Ntese que la integral da lugar a una funcin
que, en general, es compleja. Ntese, asimismo, que la integracin se realiza sobre la variable
real t. Para que esta integral no diverja es necesario que la funcin satisfaga alguna
condicin. Se puede demostrar (pero no lo haremos aqu) que la condicin
) (t f
) (t f

< dt t f ) ( es
suficiente para garantizar la existencia de la transformada de Fourier.

Recprocamente, la funcin est relacionada con , y puede obtenerse a partir de
ella mediante la expresin (6), que se designa transformada inversa o antitransformada de
Fourier de .
) (t f ) ( F
) ( F

Las funciones y forman un par de funciones que describen un mismo fenmeno;
una lo describe en el tiempo y la otra en frecuencias. Cada una de ellas contiene toda la
informacin del proceso y de cada una se puede obtener la otra.
) (t f ) ( F

Suele emplearse la notacin: )] ( [ ) ( t f F = o bien para indicar el
) (t f ) ( F
68
procedimiento de calcular la transformada de Fourier. representa el espectro de
frecuencias asociado a un dado fenmeno que ocurre en el tiempo segn la ley .
) ( F
) (t f

El procedimiento inverso se indica: o bien , donde
indica a la transformada inversa. A partir del espectro de frecuencias, genera la secuencia
temporal del proceso.
)] ( [ ) (
1
=

F t f ) ( ) (
1
t f F

t
1
Ejemplo 1: Encontrar el espectro de frecuencias
correspondiente a la funcin
<
>
=

0 0
0
) (
t
t e
t f
at
, con a>0.

Si bien es cierto que esta funcin no cumple con la condicin que postulamos al inicio
de ser nula fuera de un dado intervalo, s cumple con la condicin

< dt t f ) ( , que
enunciamos como suficiente para garantizar la existencia de la transformada.
Calculamos:
=
+
= = = =

+
+

0
0
) (
) (
0
) (
) ( ) (
i a
e
dt e dt e e dt e t f F
t i a
t i a t i at t i

=
+
+

Q
t i a
Q i a
e
0
) (
) (
lim
) (
1
lim
) (
i a
e
Q i a
Q +

+

Calculamos aparte . Por un
lado, no existe pues las funciones seno y
coseno oscilan a medida que su argumento vara, pero sus valores estn acotados entre
+1 y 1. Por otro lado, pues a>0. Por lo tanto, como el producto de
una funcin acotada por otra que tiende a cero es cero, obtenemos
Q i aQ
Q
Q i aQ
Q
Q i a
Q
e e e e
) (
lim lim lim

+

= =
) sin (cos lim lim

Q i Q e
Q
Q i
Q
=

0 lim =

aQ
Q
e

1
) (
i a
F
+
=

El mdulo de esta funcin es

2 2

1
) (
+
=
a
F

Para encontrar el argumento, es conveniente escribirla como:

2 2

1
) (
+
=
+
=
a
i a
i a
F y luego,
69
a F
F
F

= = arctan
)) ( Re(
)) ( Im(
) ( Arg
1/(2
1/2
a)
-a a
1/a
IF()I

Arg(F())
-/2
/2

Propiedades de la transformada de Fourier

Linealidad

La transformada de la combinacin lineal de dos funciones es la combinacin lineal de las
transformadas. Para demostrarlo, consideremos dos funciones y , con
transformadas y . Construyamos una combinacin lineal de ellas:
, donde a y b son dos constantes arbitrarias y calculemos su transformada
mediante la definicin:
) (
1
t f ) (
2
t f
[ ) (
1
t f ] ] [ ) (
2
t f
) ( ) (
2 1
t bf t af +

+ = + = + dt e t f b dt e t f a dt e t bf t af t f b t f a
t i t i t i
2
2 1 2 1
) ( ) ( )] ( ) ( [ )] ( ) ( [

Luego:
)] ( [ )] ( [ )] ( ) ( [
2 1 2 1
t f b t f a t f b t f a + = +
70

Escalamiento

Si es la transformada de ,veremos que ) ( F ) (t f

) (
1
)] ( [
a
F
a
at f

= para 0 a .
Para esto, en introducimos el cambio de variable at=u de donde
. Consideremos primero el caso a>0:
= dt e at f at f
t i
) ( )] ( [
a du dt / =

) (
1
) (
1
) ( )] ( [
) / ( /
a
F
a
du e u f
a a
du
e u f at f
u a i a u i

= = =

Consideremos ahora el caso a<0, es decir a a = . Al efectuar el cambio de variable, es
necesario invertir los lmites de integracin pues cuando t , u y viceversa.

)
(
1
) (
1
) ( )] ( [
) / ( /
a
F
a
du e u f
a a
du
e u f at f
u a i a u i
= =

Dado que cuando a>0, es a a = , ambos resultados pueden unificarse en la expresin de
arriba. En particular, si a=-1, resulta

) ( )] ( [ = F t f

Desplazamiento en el tiempo

Encontraremos la transformada de ) (
0
t t f , sabiendo que es la transformada de . ) ( F ) (t f
Para esto, en introducimos el cambio de variable t-t
0
=u de
donde t=u+t
0
y . Tenemos entonces que
= dt e t t f t t f
t i
0 0
) ( )] ( [
du dt =
) ( ) ( ) ( )] ( [
0 0 0
) (
o
F e du e u f e du e u f t t f
t i u i t i t u i

+
= = =

. Entonces,

) ( )] ( [
0
o
F e t t f
t i
=

Desplazamiento en frecuencia

Calculemos la transformada del producto , sabiendo que es la transformada de
. En efecto,
t i
e t f
0
) ( ) ( F
) (t f ) - ( ) ( ) ( ] ) ( [
0
) - (
0 0 0
F dt e t f dt e e t f e t f
t i t i t i t i

= = = . Luego,
la multiplicacin de una dada funcin de t por una exponencial compleja da lugar a un
corrimiento en frecuencia de la transformada:

) - ( ] ) ( [
0
0
= F e t f
t i

Simetra

Hemos dicho que las funciones y forman un par de funciones que encierran, cada
una de ellas, toda la informacin relativa a la seal considerada, una la da en el tiempo y la
otra en el dominio de las frecuencias. Tomemos ahora la forma funcional F y construyamos
con ella una funcin del tiempo (cambiando por t) y calculemos su transformada. Para
verlo, en la expresin (6) para la transformada inversa, cambiemos t por -t:
) (t f ) ( F
71

= ) (
2
1
) (

d e F t f
t i

Si ahora intercambiamos t con , obtenemos

= dt e t F f
t i
) (
2
1
) (

Esta ltima integral tiene la forma de la expresin (3) con la que definimos la transformada,
pero aplicada a la funcin . Por lo tanto ) (t F

si , entonces ) ( )] ( [ F t f = ) ( 2 )] ( [ = f t F

Veremos que al transformar a la funcin F, obtenemos nuevamente la funcin f pero
multiplicada por la constante 2 y con argumento -.
72

Transformada de la derivada

Veamos cmo obtener la transformada de a partir de la transformada de f(t). ) ( ' t f

+ = =
-

-
) ( ) ( ) ( ' )] ( ' [ dt e t f i e t f dt e t f t f
t i t i t i

donde hemos aplicado la frmula de integracin por partes. Dado que para
, el primer trmino se anula y resulta que
0 ) ( t f
t

)] ( [ )] ( ' [ t f i t f =

Ejemplo 2: Encontrar la transformada de Fourier de
t a
e t g

= ) ( , con a>0.

Podemos resolver este problema, ya sea
aplicando la definicin, o bien empleando las
propiedades que acabamos de enunciar, junto
con el resultado del Ejemplo 1. En efecto,
la funcin puede escribirse como funcin
partida: .
<
=

0
0
) (
t e
t e
t g
at
at
1
at
e
e
-at
t
La primera rama coincide con la funcin del Ejemplo 1 y su
transformada, , ya fue obtenida; la segunda rama puede escribirse como
) (t f
) ( F ) ( t f y
su transformada es . La funcin puede descomponerse como
. Aplicando la linealidad de la transformada, tenemos que
) ( F ) (t g
) ( ) ( ) ( t f t f t g + =
+ = + = ) ( ) ( )] ( [ )] ( [ )] ( [ F F t f t f t g

=
2/a
2
F()

2 2
2 1 1
)] ( [
+
=

+
+
=
a
a
i a i a
t g .

Esta funcin es real y positiva para todo
valor de la frecuencia. Por lo tanto, su
argumento es siempre 0. Para representarla,
basta con un nico grfico.

Ejemplo 3: Encontrar la transformada del
pulso rectangular de ancho d:
<
=
valor otro para , 0
2 / , 1
) (
d t
t p
d

Apliquemos la definicin de transformada:

= = = =
2 /
2 /

) ( ) ( )] ( [
d
d
t i t i
d d
dt e dt e p F t p =

/2 /2
2 /
2 /
i
e e
i
e
d i d i
d
d
t i
2 /
) 2 / sin(
)
2
2
2
2
/2 /2
d
d
d
d
sen
i
e e
d i d i
= =
=

En este ejemplo, result ser
una funcin real de la frecuencia.
(Su grfica tiene la forma de la
funcin
) ( F
x
x
x f
sen
) ( = . Recordemos
que esta funcin es par, vale 1 para
x=0 y se anula en los dems
mltiplos enteros de . Las
oscilaciones que introduce la
funcin seno tienen una amplitud
que disminuye con x debido al
factor 1/x que acta como la
amplitud del seno).
d F()
2/d
73

Es habitual representar el espectro
de frecuencias mediante el mdulo y argumento de ) ( F . En el caso presente, por ser
una funcin real, puede representarse mediante un nico grfico; se muestra,
adems
) ( F
) ( F .

F()

Ejemplo 4: Encontrar la transformada de Fourier de
t
at
t f
) sin(
) ( =
Comparando esta funcin con la transformada del pulso rectangular, vemos que ambas
tienen formas funcionales similares. Sabemos que
74
) 2 / sin(
2 ) (
d
t p
d

La propiedad de simetra nos dice
que, si en la expresin de la
transformada, cambiamos la
variable por t, la transformada de
la nueva funcin de t que as resulta se obtiene cambiando en la funcin de partida t
por - y multiplicando por 2. Esto es:
f(t)
t /a 2/a
a

) ( 2
) 2 / sin(
2
d
p
t
td

F()
a -a

Esto nos da un escaln de ancho d en el espacio
de las frecuencias. Como sta es una funcin
par, . Si ahora elegimos
a=d/2, tenemos que
) ( 2 ) ( 2
d d
p p =

) ( 2
) sin(
2
2a
p
t
at

Luego, la transformada de
t
at
t f
) sin(
) ( = es ) ( ) (
2a
p F =

Componentes real e imaginaria de la transformada de Fourier

Recordando que , vemos que es, en general, una funcin
compleja de . En particular, si es una funcin real de t, y descomponemos en sus
partes real e imaginaria,
t i t e
t i
sen cos
) ( F
) (t f ) ( F
( )

= = dt t i t t f dt e t f F
i
sin cos ) ( ) ( ) (
t

= dt t t f i dt t t f F sin ) ( cos ) ( ) (

vemos que la parte real de es ) ( F

= dt t t f R cos ) ( ) (

y su parte imaginaria es

= dt t t f J sin ) ( ) (
de modo que

) ( ) ( ) ( iJ R F + =
Dado que interviene en a travs del coseno, resulta que es una funcin par de ,
es decir, . En cambio, en la parte imaginaria, interviene en , de modo
) ( R ) ( R
) ( ) ( R R = t sen
que es una funcin impar de , es decir, ) ( J ) ( ) ( J J = . Esto significa que

) ( ) ( R ) ( ) ( ) ( iJ iJ R F = + =

Suponiendo, como antes, que es real, el complejo conjugado de es ) (t f ) ( F

) ( ) ( ) ( iJ R F =

por lo tanto,

) ( ) ( F F =

Encontramos una relacin similar a sta entre los coeficientes complejos de la serie de Fourier
(
k k
c c =
) correspondiente a una funcin peridica real.

De la igualdad de estos complejos, surge la igualdad de sus mdulos: ) ( ) ( F F = . Por
otra parte, como dos complejos conjugados tienen igual mdulo, es ) ( ) ( F F = . En
consecuencia:

) ( ) ( F F =
75

Esto indica que ) ( F es una funcin par de que se denomina espectro de amplitud de . ) (t f
Atencin que estas propiedades valen slo si es una funcin real de t. ) (t f

Relacin entre la paridad de la funcin de t y las componentes de su transformada

Si , adems de real, es una funcin par de t, entonces ) (t f

0 sin ) ( =

dt t t f

por ser el integrando impar (pues es el producto de una funcin par por otra impar) y por ser
el intervalo de integracin simtrico respecto del origen. En este caso, es , es decir,
la parte imaginaria de es nula y se expresa como
0 ) ( = J
) ( F ) ( ) ( R F = , que es una funcin real y
par de . Concluimos que

si es real y par, su transformada es real y par ) (t f ) ( F

Si, en cambio, es una funcin real e impar de t, entonces ) (t f
0 cos ) ( =

dt t t f

por ser el integrando impar (pues es el producto de una funcin impar por otra par) y por ser
el intervalo de integracin simtrico respecto del origen. En este caso, es , es decir,
la parte real de es nula y se expresa como
0 ) ( = R
) ( F ) ( ) ( iJ F = , que es una funcin imaginaria
pura, donde es real e impar en . Concluimos que ) ( J

si es real e impar, su transformada es imaginaria pura e impar ) (t f ) ( F

Si no tiene paridad definida, puede descomponerse como la suma de una funcin par
ms otra funcin impar:
) (t f

) ( ) ( ) ( t f t f t f
i p
+ =

Debido a la linealidad de la transformada,

)] ( [ )] ( [ )] ( [ t f t f t f
i p
+ =

El primer trmino es real y par en , en tanto que el segundo es imaginario e impar en .
Sabemos que ) ( ) ( )] ( [ ) ( + = = iJ R t f F . Dada la unicidad de la transformada, podemos
identificar a la transformada de la componente par de f con la parte real de la transformada de
f, esto es: y anlogamente, a la transformada de la componente impar de f
con la componente imaginaria de la transformada:
) ( )] ( [ = R t f
p
) ( )] ( [ = iJ t f
i
. Concluimos que

la parte real de la transformada de f es la transformada de la parte par de f.
la parte imaginaria de la transformada de f es la transformada de la parte impar de f.

Funciones generalizadas: impulso y escaln unitario

Definimos la funcin

>

<
=
, 1
0 ,
1
0 , 0
) (
t
t t
t
t u
t
1
) (
t u

Es una funcin continua pero su derivada no lo es. Dicha derivada es

>

<
=
, 0
0 ,
1
0 , 0
) (
t
t
t
t
) (
t
t

1/

y representa un pulso rectangular de duracin e intensidad 1/ . El rea debajo de es
1.
) (
t
76

Si ahora disminuimos el valor de , la recta oblicua en aumenta su pendiente a
medida que la duracin de la rampa disminuye. Tambin disminuye la duracin del pulso
a la vez que su intensidad aumenta, de modo que el rea se mantiene igual a 1. En el
lmite, cuando , tenemos
) (
t u
) (
t
0

>
<
= =
0 , 1
0 , 0
) ( ) ( lim
0 t
t
t u t u ;
=

= =
0 ,
0 , 0
) ( ) ( lim

0 t
t
t t

) (t u representa un salto instantneo. Su valor no est definido en t=0. Se denomina escaln
unitario o funcin de Heaviside.

( ) t es un pulso sin duracin. Se denomina impulso unitario o delta de Dirac.

El impulso unitario es una idealizacin. Toda seal, por ms breve que sea, tiene alguna
duracin. Sin embargo, que esa duracin sea apreciable o no, depende del sistema que recibe
a la seal. En efecto, todo sistema fsico tiene alguna inercia de modo que su respuesta nunca
es rigurosamente instantnea. Que un pulso corto pueda ser considerado como un impulso
instantneo depende de cmo resulte la comparacin entre la duracin del pulso y el tiempo
propio de respuesta del sistema. Naturalmente, para cada sistema se podr encontrar un pulso
suficientemente corto como para poder considerarlo como instantneo. Desde este punto de
vista, representa a un pulso que puede considerarse instantneo para cualquier sistema
imaginable.
( ) t

Ms all de esta consideracin, cuando un pulso corto ingresa a un sistema, la inercia del
mismo impide ver los detalles de la seal que constituye al pulso. De l slo interesa su efecto
integrado, es decir el rea bajo la curva que lo representa. De acuerdo al modo en que
definimos el impulso ideal , este rea es finita y su valor es 1: ( ) t

1
1
lim
1
lim ) ( lim ) ( lim ) (
0
0
0
0

0
0
= = = = =

dx dx x dx x dx x

Veamos algunas propiedades de las funciones generalizadas:
) (
) (
t
dt
t du
=
) ( ) ( t u dx x
t
=

) ( t k es un impulso localizado en t=0, de rea k.
) ( x t es un impulso de rea 1, localizado en t=x.
Si es una funcin continua cualquiera, que se anula fuera de algn intervalo finito, se
cumple que, . En particular,
) ( t
) ( ) ( ) ( x dt x t t =

) 0 ( ) ( ) ( =

dt t t .

Estas funciones generalizadas resultarn de utilidad para representar pulsos idealmente cortos
o saltos instantneos ideales.
77

Transformada de Fourier de las funciones generalizadas impulso y escaln unitario

Si aplicamos la definicin de transformada y la propiedad integral de la funcin impulso,
tenemos que:

= = = 1 ) ( )] ( [
0 i t i
e dt e t t

A partir de esta igualdad y de la propiedad de simetra,

) ( 2 ) ( 2 ] 1 [ = =

Si intentamos aplicar el mismo procedimiento para calcular la transformada de la funcin
, encontramos que no cumple la condicin se ser absolutamente integrable: ) (t u

< dt t f ) (
que, como dijimos asegura la existencia de la transformada. Sin embargo, su transformada
existe en el sentido de una funcin generalizada de la frecuencia. Si hiciramos uso de
) (
) (
t
dt
t du
= , de la relacin entre las transformadas de una funcin y de su derivada
( ) y de la transformada del impulso que acabamos de hallar,
obtendramos, por un lado,
)] ( [ )] ( ' [ t f i t f =
1 )] ( [ )] ( ' [ = =
= t
dt
du
t f y, por otro, [ ] ) ( )] ( [ t u i t f i = ,
de donde, al igualar, resultara
=
i
t u
1
)] ( [ . Pero esta expresin no puede ser correcta ya que,
por ser una funcin imaginaria pura en , debe representar a la transformada de una funcin
impar de t y no lo es (
1
). Lamentablemente, la deduccin rigurosa de la expresin
correcta requiere el uso de recursos que estn fuera de los objetivos de este curso.
Enunciamos entonces:
) (t u

) (
1
)] ( [ +
=
i
t u

Retomemos las relaciones 1 )] ( [ = t y ) ( 2 ] 1 [ = pues nos permitirn extraer una
conclusin importante. Dijimos antes que la funcin impulso representa una seal ideal
instantnea, concentrada en un nico punto, tal que la integral de la funcin tiene el valor 1.
Acabamos de encontrar que el espectro de frecuencias asociado a esta seal es constante (su
valor es 1) lo que indica que todas las frecuencias estn presentes con igual peso, desde las
bajas hasta las altas frecuencias.

Por el contrario, a una seal constante (la de variacin ms lenta imaginable pues nunca vara)
le est asociado un espectro de frecuencias representado por un impulso en el espacio de las
frecuencias y ese impulso se localiza en =0.

78
1
El procedimiento aqu indicado de calcular la transformada de una cierta funcin f a partir de la de su derivada,
en la forma )] ( ' [
1
)] ( [ ) ( t f
i
t f F
= = , es aplicable siempre que )] ( ' [ t f se anule en . 0 =


Pensemos ahora en un fenmeno que presenta una variacin suave (en el tiempo, si se trata,
por ejemplo, de la cada de tensin sobre un componente de un circuito elctrico, o en el
espacio, si se trata, por ejemplo, del brillo de una imagen). En general, los fenmenos que
varan en forma suave tienen asociado un espectro de amplitud con fuerte predominio de las
bajas frecuencias, cercanas a =0. Como caso lmite, en una seal elctrica de corriente
continua slo est presente la frecuencia cero. Lo mismo sucede con una imagen con brillo
uniforme.

En el otro extremo, a las seales que presentan variaciones bruscas en el tiempo o en el
espacio, dependiendo del fenmeno del que se trate, les corresponden espectros donde las
altas frecuencias tienen una presencia importante.

Estas caractersticas generales son las que dan lugar a la utilizacin de dispositivos conocidos
como filtros selectivos en frecuencia para efectuar el procesamiento de seales. A modo de
ejemplo, supongamos que tenemos una imagen en la que queremos hacer ms visibles los
contornos de los objetos que all aparecen. Los contornos son curvas en las que la imagen
cambia bruscamente, por lo tanto, estn caracterizados por altas frecuencias. Si intercalamos
un filtro que atene o elimine las bajas frecuencias, lograremos el efecto que buscamos. Pero
esto ser tema de cursos futuros.

Transformada inversa de Fourier

As como, a partir de la representacin en el tiempo de un fenmeno ( ), podemos obtener
su representacin en el dominio de las frecuencias mediante la aplicacin de la expresin
, tambin podemos efectuar la operacin contraria, es decir, obtener la
representacin en el tiempo partiendo de su expresin en frecuencias ( ) y aplicando
) (t f

= dt e t f F
t i
) ( ) (
) ( F

= ) (
2
1
) (

d e F t f
t i
. Como ya dijimos, el primer procedimiento es el que conocemos
como efectuar la transformada de Fourier de y nos da por resultado ; en el segundo
caso hablamos de efectuar la antitransformada o transformada inversa de Fourier de
) (t f ) ( F
) ( F y
obtenemos . ) (t f

A primera vista, el clculo de la antitransformada se reduce a una integracin similar a la que
resolvemos para obtener la transformada. Sin embargo, debemos tener presente que ) ( F es,
en general, una funcin compleja, an cuando sea una funcin real. Si escribimos
en la forma
) (t f
) ( F ) ( ) ( ) ( + = iJ R F , el clculo de consiste en resolver dos integrales: ) (t f
[ ]
= ) ( + ) (
2
1
= ) (
2
1
= ) (

d e iJ R d e F t f
t i t i

+ = ) (
2
1
) (
2
1
) (

d e J i d e R t f
t i t i

Tambin podemos escribir mediante su mdulo ) ( F ) ( F y su argumento = ) (
79
) (
) (
arctan )) ( ( Arg
=
R
J
F , esto es
) (
) ( ) (

=
i
e F F , y obtener resolviendo la integral ) (t f
[ ]

+

= = = d ) (
2
1
) (
2
1
) (
2
1
) (
) ( ) ( t i t i i t i
e F d e e F d e F t f

Ejemplo 5: Encontrar la antitransformada de la funcin cuyo mdulo y
argumento se dan en los grficos siguientes:
) ( F

-3
Arg F()
- 1
) ( F

-1 1

Los grficos nos indican que
<
< <
= = =

1 0 ,
0 1 - ,
) ( ) ( ) (
3
3
) 3 ( ) (
i
i
i i
e
e
e F e F F .
Entonces
+ = =

1
0
3
0
1
3

2
1
) (
2
1
) ( d e e d e e d e F t f
t i i t i i t i

+ =

1
0
) 3 (
0
1
) 3 (

2
1
) ( d e d e t f
t i t i

Resolvemos cada integral por el mtodo de integracin por partes

1
0
) 3 (
1
0
) 3 (
0
1
) 3 (
0
1
) 3 (
) 3 (
1
) 3 (
) 3 (
) 1 (
) 3 ( 2
1
) ( d
i t
e
i t
e
d
i t
e
i t
e
t f
t i t i t i t i
=
+

+
+ =

1
0
) 3 ( ) 3 (
0
1
) 3 ( ) 3 (
) 3 ( ) 3 (
1
0
) 3 (
1
) 3 ( ) 3 (
1
) 3 (
) 1 ( 0
2
1
) (
i t
e
i t i t
e
i t
e
i t i t
e
t f
t i t i t i t i

=
=

2
) 3 ( ) 3 (
2
) 3 ( ) 3 (
) 3 (
1
) 3 (
) 3 (
1
) 3 ( 2
1
) (
t
e
i t
e
t
e
i t
e
t f
t i t i t i t i

=
=

2
) 3 ( ) 3 ( ) 3 ( ) 3 (
) 3 (
) 1 ( 1
) 3 ( 2
1
) (
t
e e
i t
e e
t f
t i t i t i t i

=
2 2
) 3 (
) 1 ) 3 cos(
) 3 (
) 3 sin(
1
) 3 (
) 2 ) 3 cos( 2
) 3 (
) 3 sin( 2
2
1
) (
t
t
t
t
t
t
i t
t i
t f

Siempre que resulte posible, recurriremos a un procedimiento alternativo que consiste
en utilizar resultados ya obtenidos de transformadas de ciertas funciones y aplicar las
80
propiedades de la transformada, en particular la de simetra, como veremos a
continuacin.

Ejemplo 6: Encontrar la antitransformada de
81

=
de valor otro para , 0
2 0 , 2
) ( G
En el Ejemplo 4 vimos que la transformada
de
t
at
) sin(
es el pulso rectangular de ancho 2a
en el espacio de la frecuencia, ) (
2

a
p , simtrico respecto del origen. En el caso
actual, tenemos un pulso rectangular de ancho 2 que no est centrado. Podemos pensar
a como el resultado de un desplazamiento en frecuencia en una unidad:
, donde a=1. Sabemos que un desplazamiento de este tipo se debe a
una exponencial del tiempo: . Por lo tanto,
) ( G
) 1 ( ) (
2
= p G
) - ( ] ) ( [
0
0
= F e t f
t i
=
]
sin
[
it
e
t
t

o bien = ) 1 - (
2
p ) ( G

G()
2
2
[ ] =
= =

i
t
e
i
i
t i
e
e
t i
e e
e
t
t
G
it it
it
it it
it
2
1
2
1
2
sin
) (
2 2
1

[ ] ) (
2
2 cos 1
2
2 sin
2
1 2 sin 2 cos
) (
1
t g i
t
t
t
t
i
t
t i t
G =
+ =
+
=

Naturalmente, podramos haber arribado al mismo resultado resolviendo

) (
2
1

d e G
t i
.

APUNTES DE MATEMÁTICA II: NÚMEROS COMPLEJOS

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

APUNTES DE MATEMÁTICA II: NÚMEROS COMPLEJOS

Transféré par

Droits d'auteur :

Formats disponibles

APUNTES DE

= i z , en forma trigonomtrica, su forma exponencial es

da la potencia media de la seal

. Como multiplica a cada trmino de la suma,

. Pero, como la integral de

) ( . Las constantes pueden salir de la integral y tenemos

) correspondiente a una funcin peridica real.

= = , es aplicable siempre que )] ( ' [ t f se anule en . 0 =

Vous aimerez peut-être aussi