Gua de Deniciones y Teoremas estudiados en el

curso de Funciones de Variable Compleja.

Prof. Guillermo Calandrini
2do. cuatrimestre 2012
....
1
Funciones de Variable Compleja.
Esta gua cubre esencialmente gran parte de las deniciones, lemas y teoremas
estudiados en el curso de Funciones de Variable Compleja. Se denomina Gua y no
Notas de Curso pues se espera que sus lectores recurran a los textos citados en la
bibliografa.
Para la primer parte de la materia se puede utilizar cualquier libro de Clculo,
como por ejemplo:
Introduccin al clculo y al anlisis matemtico. Courant, Richard; John,
Fritz. Vol. 1 y 2. (517. C833)
Mtodos Matemticos de la fsica. Moretti, Gino. (530. M818)
Matemtica superior para ingenieros y fsicos. Sokolniko, Ivan S. (517.
So39ma5)
Series
Denicin 1 Dada una sucesin a
1
, a
2
, ..., a
n
, ... de nmeros. La expresin
a
1
+a
2
+ +a
n
+ =

X
n=1
a
n
se llama serie numrica. Los a
n
se llaman trminos de la serie.
Sucesin de sumas parciales
Denicin 2 La sucesin de sumas parciales es la suma de los N primeros trminos
de la serie.
S
N
= a
1
+ +a
N
=
N
X
n=1
a
n
2
Nota: el smbolo
P
signica la suma de o la serie de, si no se aclaran los
extremos, inferior y superior signica que podran ser cualesquiera.
Denicin 3 Si existe el lmite nito S = lim
N
S
N
se dice que la serie converge y
el lmite S es la suma de la serie. Si el lmite no existe entonces se dice que la serie
diverge y no tiene suma.
La convergencia no depende de los primeros trminos. Por ser un lmite im-
porta lo que suceda a partir de un N sucientemente grande.
Condicin necesaria
Teorema 1 Si una serie converge su n-simo trmino tiende a cero cuando n tiende
a innito.
Corolario: Si el n-simo trmino de una serie no tiende a cero cuando n tiende
a innito, la serie diverge.
Series con trminos positivos
Criterio de comparacin
Sea 0 a
n
b
n
, n N, entonces:
Si
P
b
n
converge entonces
P
a
n
converge.
Si
P
a
n
diverge entonces
P
b
n
diverge.
Criterio de DAlambert
Si para la serie
P
a
n
, con a
n
> 0, lim
n
a
n+1
a
n
= L entonces:
si L < 1 la serie converge.
si L > 1 la serie diverge.
3
Criterio de Cauchy
Si para la serie
P
a
n
, con a
n
0, lim
n
n

a
n
= L entonces:
si L < 1 la serie converge.
si L > 1 la serie diverge.
Criterio de comparacin con lmite del cociente
Teorema 2 Sean a
n
0 y b
n
> 0, n N; y sea A = lim
n
a
n
b
n
, entonces
1) Si A 6= 0 y A 6= , las series
P
b
n
y
P
a
n
tienen la misma naturaleza (ambas
convergen o ambas divergen).
2) Si A = 0 y
P
b
n
converge entonces
P
a
n
converge.
3) Si A = y
P
b
n
diverge entonces
P
a
n
diverge.
Series alternantes
Las series alternantes son aquellas cuyos trminos son alternativamente positivos y
negativos,es decir
P
(1)
n
a
n
con a
n
> 0.
Teorema de Leibniz
Teorema 3 Si una serie alternante

P
n=0
(1)
n
a
n
, es tal que sus trminos a
n
son
estrictamente decrecientes, y lim
n
a
n
= 0, entonces la serie converge, su suma es
positiva y no supera el primer trmino a
0
.
Series con trminos positivos y negativos. Convergencia ab-
soluta y condicional
Denicin 4 La serie
P
a
n
converge absolutamente si converge la serie
P
|a
n
| .
Teorema 4 Si la serie
P
|a
n
| converge entonces la serie
P
a
n
tambin converge.
4
Denicin 5 Si la serie
P
a
n
converge y la serie
P
|a
n
| diverge entonces se dice
que la serie
P
a
n
converge condicionalmente.
La suma de una serie absolutamente convergente no depende del orden de sus
trminos.
Anlisis de Convergencia
Conviene proceder en el anlisis utilizando los criterios en el siguiente orden:
1. Condicin necesaria.
2. Convergencia absoluta: criterios de series de trminos positivos (comparacin,
DAlambert, Cauchy).
3. Convergencia condicional: Leibniz, sumas parciales.
Propiedades
Si
P
a
n
y
P
b
n
son series convergentes con suma A y B respectivamente, entonces:

P
(a
n
+b
n
) converge y su suma es A+B.
Si c es un nmero real,
P
c a
n
converge y su suma es c A.
Integrales impropias
Denicin 6 Dada una integral
Z
b
a
f(x)dx
en cualquiera de los casos donde:
a) el intervalo de integracin no tiene longuitud nita,
b) la funcin f(x) no es acotada en (a, b),
5
c) una combinacin de los dos casos anteriores,
diremos que la integral es una integral impropia.
Denicin 7 Decimos que f(x) es seccionalmente continua, o continua a tramos,
en el intervalo [a, b] si tiene a lo sumo un nmero nito de discontinuidades tipo
salto (existen los lmites laterales).
Denicin 8 Si f(x) es continua a tramos en [a, R], R > a y existe el siguiente
lmite
L = lim
R
Z
R
a
f(x) dx
diremos que la integral
R

a
f(x) dx es convergente y que L es su valor y escribimos
R

a
f(x) dx = L. En caso contrario se dir que la integral es divergente.
Teorema 5 Una condicin necesaria y suciente para que converja
R

a
f(x) dx es
que: para todo > 0 existe un nmero positivo N tal que

Z
q
p
f(x) dx

< p, q > N.
Criterio de la integral
Teorema 6 Sean los trminos de la serie
P
a
n
positivos y no crecientes,es decir
a
1
a
2
, y sea f(x) una funcin continua montona decreciente tal que:
f(1) = a
1
, f(2) = a
2
, . . . f(n) = a
n
, . . .
a) Si la integral impropia
R

1
f(x) dx converge, es convergente tambin la serie.
b) Si la integral impropia
R

1
f(x) dx diverge, es divergente tambin la serie.
Denicin 9 Se dice que la integral impropia
R
b

f(x) dx es convergente si existe

y es nito el lmite
lim
R
Z
b
R
f(x) dx
6
Denicin 10 Se dice que la integral impropia
R
+

f(x) dx es convergente si existe

y es nito el lmite doble
lim
P,R
Z
R
P
f(x) dx
lo cual es equivalente a pedir que las dos integrales impropias siguientes sean con-
vergentes
Z

a
f(x) dx y
Z
a

f(x) dx,
donde a es un nmero real cualquiera.
Denicin 11 La expresin lim
R
R
R
R
f(x) dx se llama Valor Principal de Cauchy
de la integral
R
+

f(x) dx y lo notaremos como V.P.C.

R
+

f(x) dx.
Este valor puede existir an cuando la integral impropia es divergente (Ej.
R
+

xdx).
Integrales impropias en las que el integrando no es acotado
Supondremos ahora que c [a, b] y que lim
xc
|f(x)| = .
Denicin 12 Se dir que
R
b
a
f(x) dx es convergente si existen y son nitos los
siguientes lmites.
1) c = a,
R
b
a
f(x) dx = lim
0
+
R
b
a+
f(x) dx
2) c = b,
R
b
a
f(x) dx = lim
0
+
R
b
a
f(x) dx
3) c (a, b),
R
b
a
f(x) dx = lim

1
0
+
R
c
1
a
f(x) dx+ lim

2
0
+
R
b
c+
2
f(x) dx
Denicin 13 En el tercer caso de la denicin anterior tambin se denomina
Valor Principal de Cachy al lmite
V.P.C.
Z
b
a
f(x) dx = lim
0
+
Z
c
a
f(x) dx +
Z
b
c+
f(x) dx

7
Operaciones vlidas con integrales impropias
En las siguientes integrales debe considerarse que alguno de los extremos puede ser
innito o que el integrando no est acotado, es decir vale para cualquier tipo de
integral impropia.
1. Vale la frmula
Z
b
a
f(x) dx =
Z
b
a
f(x) dx
2. La ecuacin
Z
b
a
(f
1
(x) +f
2
(x)) dx =
Z
b
a
f
1
(x) dx +
Z
b
a
f
2
(x) dx
no siempre es cierta. Es claro que si las integrales de la derecha convergen, la
de la izquierda tambin y vale la igualdad.
3. Frmula de integracin por partes
Z
b
a
f
1
(x) f
0
2
(x) dx = f
1
(x) f
2
(x)|
b
a

Z
b
a
f
2
(x) f
0
1
(x) dx
Esta ecuacin es vlida si cualquier par de estas expresiones existen
Denicin 14 Si
R
b
a
|f(x)| dx es convergente se dice que f(x) es absolutamente
integrable en ese intervalo y que
R
b
a
f(x) dx converge absolutamente.
Criterio de comparacin
Teorema 7 Sean f y g dos funciones integrables sobre todo intervalo cerrado y
acotado en [a, ) tales que
0 f(x) g(x) para x a.
Se tiene:
1) Si
R

a
g(x) dx converge entonces
R

a
f(x) dx converge.
8
2) Si
R

a
f(x) dx diverge entonces
R

a
g(x) dx diverge.
Teorema 8 Sean f y g dos funciones integrables sobre todo intervalo cerrado y
acotado en [a, ) tales que f(x) 0 y g(x) > 0 para x a. Sea A = lim
x
f(x)
g(x)
,
entonces
1) Si A 6= 0 y A 6= , las integrales
R

a
f(x) dx y
R

a
g(x) dx tienen la misma
naturaleza.
2) Si A = 0 y
R

a
g(x) dx converge entonces
R

a
f(x) dx converge.
3) Si A = y
R

a
g(x) dx diverge entonces
R

a
f(x) dx diverge.
Aclaracin: El criterio de comparacin y el teorema anterior (comparacin
por limite del cociente) tambin valen para integrales impropias del segundo tipo
(integrandos no acotados). En ese caso el lmite se calcula en el punto del intervalo
de integracin en el cual el integrando no es acotado.
Ejercicio 1 Demostrar el teorema anterior (utilice denicin de lmite y criterio de
comparacin).
En el siguiente teorema y denicin debe considerarse que alguno de los extremos
puede ser innito o que el integrando no est acotado.
Teorema 9 Si
R
b
a
|f(x)| dx es convergente entonces
R
b
a
f(x) dx tambin es conver-
gente.
Denicin 15 Si
R
b
a
|f(x)| dx es divergente y
R
b
a
f(x) dx es convergente se dice que
R
b
a
f(x) dx converge condicionalmente.
9
Series de funciones
Denicin 16 Una serie se llama serie de funciones si sus trminos son funciones
de una variable o parmetro, que lo indicaremos con la letra x, es decir:
f
1
(x) +f
2
(x) + +f
n
(x) + =

X
n=1
f
n
(x),
es una serie de funciones. Dndole valores a x, obtenemos diferentes series numri-
cas que pueden ser convergentes o divergentes.
Denicin 17 El conjunto de valores de x para los cuales una serie de funciones

P
n=1
f
n
(x) converge se llama dominio de convergencia de esa serie. En el dominio
de convergencia su suma es una cierta funcin de x, S(x).
Denicin 18 En el dominio de convergencia S(x) = S
N
(x) + r
N
(x), donde
r
N
(x) =

P
n=N+1
f
n
(x) se llama resto de la serie.
Teorema 10 En el dominio de convergencia el resto r
N
(x) de una serie convergente
tiende a cero cuando N tiende a innito.
Convergencia puntual
Denicin 19 La serie
P
f
n
(x) se llama convergente (o puntualmente conver-
gente) en un intervalo o conjunto de puntos P R, si en cada x P, a todo
nmero positivo > 0, arbitrariamente pequeo, corresponde un nmero N(, x) tal
que para todos los n > N se cumple que
|S(x) S
n
(x)| < .
10
Convergencia uniforme.
Denicin 20 Sea P un intervalo o un conjunto de puntos en R. La serie
P
f
n
(x)
se llama uniformemente convergente en el conjunto P, si a todo nmero positivo
> 0 arbitrariamente pequeo corresponde un nmero N() tal que para todos los
n > N y x P se cumple que
|S(x) S
n
(x)| < .
Test de Weierstrass
Teorema 11 Sea una serie de funciones
P
f
n
(x). Si existe una serie numrica
convergente,
P
a
n
, con trminos positivos, tales que
|f
n
(x)| a
n
para todos los valores de x P, entonces la serie de funciones converge absoluta y
uniformemente en P.
Teorema 12 La suma de una serie de funciones continuas que converge uniforme-
mente en un cierto intervalo [a, b] es una funcin continua en ese intervalo.
11
Integrales impropias paramtricas
Sea S

= {(x, t), x P R, t [c, +)}. Sea f : S

R y supongamos que
para cada x P la integral impropia
R

c
f(x, t) dt es convergente, entonces sobre el
conjunto P se puede denir la siguiente funcin
F(x) =
Z

c
f(x, t) dt
Convergencia puntual
Denicin 21 La integral
R

c
f(x, t) dt converge puntualmente sobre un conjunto
P R, a la funcin F(x), si en cada x P y para todo > 0, existe un R
0
(, x) > c
tal que

F(x)
Z
R
c
f(x, t) dt

< R > R
0
.
Convergencia uniforme
Denicin 22 Supongamos que
R

c
f(x, t) dt converge puntualmente a F(x) en el
conjunto de puntos P. La integral converge uniformemente sobre el conjunto P si
para todo > o existe un R
0
() > c tal que

F(x)
Z
R
c
f(x, t) dt

< x P y R > R
0
.
Criterio M de Weierstrass
Teorema 13 Supongamos que existe
R
R
c
f(x, t) dt para todo R c y todo x P. Si
existe una funcin positiva M(t) 0 cuando t c tal que
|f(x, t)| M(t) para x P y todo t c
con
R

c
M(t) dt convergente, entonces la integral
R

c
f(x, t) dt es absoluta y unifor-
memente convergente sobre el conjunto P.
12
Este criterio tambin es aplicable en integrales impropias del segundo tipo (in-
tegrandos no acotados).
Aplicaciones de la convergencia uniforme
Sea F(x) =
R

c
f(x, t) dt una integral impropia y S

= {(x, t), x [a, b], t

[c, +)}, se tienen los siguientes tres teoremas:
Teorema 14 Sea f continua en S

y supongamos que la integral

R

c
f(x, t) dt con-
verge uniformemente en [a, b]. Entonces F es continua en [a, b].
Teorema 15 Si f es continua en la banda S

y
R

c
f(x, t) dt converge uniforme-
mente en [a, b], entonces
Z
b
a
Z

c
f(x, t) dtdx =
Z

c
Z
b
a
f(x, t) dxdt
es decir podemos intercambiar el orden.
Teorema 16 Si
1) f y
f
x
son continuas en la banda S

.
2)
R

c
f(x, t) dt converge puntualmente sobre [a, b].
3)
R

c
f(x, t)
x
dt converge uniformemente sobre [a, b].
Entonces F(x) =
R

c
f(x, t) dt es diferenciable sobre [a, b] y
F
0
(x) =
d
dx
Z

c
f(x, t) dt =
Z

c
f(x, t)
x
dt
Estos tres ltimos teoremas siguen valiendo con condiciones ms generales so-
bre la continuidad de los integrandos, por ejemplo se puede demostar que f(x, t)
y
f(x, t)
x
pueden no ser continuas en todo S

, si tienen la forma
(x, t)(t)
donde es (x, t) continua en S

y (t) es acotada e integrable (por ej. continua a

tramos) en todo intervalo cerrado contenido en [c, +), los tres teoremas se siguen
13
vericando, es decir F(x) es continua y se puede intercambiar el orden de integracin
y tambin derivar la integral impropia.
Algunos ejemplos de integrales impropias y series.
La integral impropia
R

a
f(x) dx puede ser convergente an cuando el inte-
grando no tienda cero. La integral
R

a
senx
2
dx converge condicionalmente y
el integrando no tiene lmite.
Series no uniformemente convergentes con funciones sumas discontinua:
La serie

X
n=0
x
2
(x
2
+ 1)
n
converge sobre toda la recta real. Su suma es
discontinua en x = 0.
La serie x +x(x 1) +x
2
(x 1) + +x
n
(x 1) + converge a la
funcin
f(x) =
_
_
_
0 0 x < 1
1 x = 1
La serie

X
n=0

ne
nx
2
x

n + 1 e
(n+1)x
2

es un ejemplo de serie no uniformemente convergente en el intervalo 0 x 1,

cuya suma sin embargo es una funcin continua.
La serie

X
n=1
(1)
n+1
x
2
+n
no es absolutamente convergente pero es uniformemente convergente. (Notar
que este resultado no se puede obtener del criterio de Weierstrass).
14
Ejercicio 2 Estudie la convergencia uniforme de las siguientes integrales impropias
en el intervalo [2, 5]. La funcin a la cual convergen all es continua? Es
posible ampliar dicho intervalo?
a)
Z

1
dx
x

b)
Z

0
e
x
dx c)
Z

0
e
x
senxdx
Ejercicio 3 Sea F(s) una funcin denida por medio de una integral paramtrica,
de la siguiente manera:
F(s) =
Z

0
e
st
f(t)dt
donde f(t) es una funcin continua a tramos y se sabe adems que |f(t)| e
3t
t [0, +).
1. Encuentre el dominio de denicin de la funcin F(s), es decir para qu valores
de s queda bien denida dicha funcin por medio de la integral impropia.
2. Encuentre un intervalo donde F(s) sea continua.
3. Encuentre un intervalo donde se verique:
F
0
(s) =
Z

0
e
st
tf(t)dt.
Funciones de Variable Compleja
Bibliografa
Matemticas Avanzadas para Ingeniera. James, G.,Pearson Educacin
Variables complejas y sus aplicaciones. Churchill, Ruel V.; Brown, James W.;
Verhey, Roger F. McGraw-Hill. Mxico (517.8. C473-2).
Teora de funciones de variable compleja. Churchill, Ruel V. McGraw-Hill.
New York. (517.8. C473-1a2).
Matemticas avanzadas para ingeniera. 2. Kreyszig, Erwin. Limusa. Mxico.
(517. K889-2 / 517. K889-1/ 517. K889).
Regiones en el plano complejo
Denicin 23 Un entorno de radio de un punto z
0
, es el conjunto de puntos
z C que verica
|z z
0
| < .
Denicin 24 Un entorno reducido de radio de un punto dado z
0
, es el conjunto
de puntos z C que verica
0 < |z z
0
| < .
15
16
Denicin 25 Dado un conjunto de puntos S C, un punto z
0
C es un punto:
interior del conjunto S siempre que exista algn entorno de z
0
cuyos puntos
sean todos de S.
exterior del conjunto S, cuando existe un entorno suyo que no contiene pun-
tos de S.
frontera del conjunto S, cuando cuyos entornos contienen tanto puntos de S
como puntos que no estn en S.
de acumulacin del conjunto S, si cada entorno reducido de z
0
contiene al
menos un punto de S.
Denicin 26 Un conjunto es abierto cuando todos sus puntos son interiores.
Denicin 27 Un conjunto es cerrado si su complemento es abierto (contiene
todos sus puntos frontera).
Denicin 28 Un conjunto abierto S es conexo si cada par de puntos z
1
y z
2
en l
se pueden unir por una lnea poligonal, consistente de un nmero nito de segmentos
sucesivos, que est enteramente contenida en S.
Denicin 29 Un conjunto abierto y conexo se llama dominio.
Denicin 30 Un dominio unido a algunos, todos o ninguno de sus puntos frontera
se llama regin.
Denicin 31 Un conjunto S es acotado si todo punto de S est dentro de un
crculo (|z| R, z S).
17
Funciones
Denicin 32 Sea S un conjunto de nmero complejos. Una funcin f denida
sobre S es una regla que asigna a cada z en S un nmero complejo w. Es decir
dado S C, sobre el cual denimos la funcin f : S C, y dicha asignacin la
expresamos as:
w = f(z).
El conjunto S se llama dominio de denicin de f .
Lmites
Denicin 33 Se dice que el lmite de f(z) cuando z tiende a z
0
es w
0
, o sea
lim
zz
0
f(z) = w
0
, cuando para cada nmero > 0, un nmero > 0 tal que:
|f(z) w
0
| < siempre que 0 < |z z
0
| < .
Teorema 17 Supongamos que f(z) = u(x, y) + i v(x, y), z
0
= x
0
+ i y
0,
y w
0
=
u
0
+i v
0
. Entonces
lim
zz
0
f(z) = w
0

_

_
lim
(x,y)(x
0
,y
0
)
u(x, y) = u
0
lim
(x,y)(x
0
,y
0
)
v(x, y) = v
0
.
Teorema 18 Supongamos que lim
zz
0
f(z) = w
0
y lim
zz
0
g(z) = h
0
.
Entonces
lim
zz
0
[f(z) +g(z)] = w
0
+h
0
.
lim
zz
0
[f(z) g(z)] = w
0
h
0
.
Si h
0
6= 0, lim
zz
0
f(z)
g(z)
=
w
0
h
0
.
18
Propiedades
1. lim
zz
0
f(z) = w
0
lim
zz
0
|f(z)| = |w
0
| .
2. lim
zz
0
f(z) = 0 lim
zz
0
|f(z)| = 0.
3. lim
z0
f(z) = w
0
lim
r0
f(r e
i
) = w
0
uniformemente en .
4. Si lim
zz
0
f(z) = 0 y |g(z)| < M en un entorno de z
0
=lim
zz
0
f(z) g(z) = 0.
5. Si lim
zz
0
f(z) = w
0
y lim
ww
0
g(w) = h
0
lim
zz
0
g(f(z)) = lim
ww
0
g(w) = h
0
Ejercicio 4 Sea f(z) = u(x, y) +i v(x, y), z
0
= x
0
+i y
0
, y w
0
= u
0
+i v
0
.
1. Muestre que:
(a) |u(x, y) u
0
| |f(z) w
0
|.
(b) |v(x, y) v
0
| |f(z) w
0
|.
(c) |f(z) w
0
| |u(x, y) u
0
| + |v(x, y) v
0
|.
(d) Un entorno circular en R
2
en el punto (x
0
, y
0
) [utilizado en funciones de
variables reales] es equivalente a un entorno de z
0
en el plano complejo
C.
2. Usando (1.) pruebe el teorema 17.
3. Pruebe el teorema 18 usando el teorema 17 y propiedades de lmites de fun-
ciones de variables reales.
4. Pruebe las propiedades de la pgina anterior utilizando la denicn de lmite.
19
Lmites y el punto del Innito
Muchas veces es necesario considerar junto con el plano complejo el concepto o
punto del innito. A este conjunto C {} se le llama plano complejo extendido.
Para incorporar la nocin del punto del innito es conveniente utilizar la esfera de
Riemann como se detalla a continuacin:
Esfera de Riemann
El plano complejo pasa por el ecuador de una esfera unidad centrada en z = 0. A
cada punto z del plano le corresponde exactamente un punto P en la supercie de
la esfera. se determina por la interseccin de la recta que pasa por el polo Norte y
el punto z con la supercie de la esfera. A cada punto P de la esfera le corresponde
un punto z del plano, excepto al polo Norte. Haciendo corresponder al polo Norte
el punto del innito, obtenemos una correspondencia 1 1 entre los puntos de la
esfera y los del plano extendido
Esfera de RiemannC {}
Para cada > 0, pequeo, los puntos del plano complejo exteriores al crculo
|z| > 1/ corresponden a puntos de la esfera prximos al polo Norte.
Llamaremos al conjunto |z| > 1/ un entorno de .
Denicin 34 La armacin lim
zz
0
f(z) = signica que para cada > 0, > 0
tal que |f(z)| > 1/, siempre que 0 < |z z
0
| < . Es decir
lim
zz
0
f(z) = lim
zz
0
1
f(z)
= 0.
Ejercicio 5 En forma anloga a la denicin anterior muestre que:
i) lim
z
f(z) = w
0
lim
z0
f(
1
z
) = w
0
. ii) lim
z
f(z) = lim
z0
1
f(
1
z
)
= 0.
20
Continuidad
Denicin 35 Una funcin es continua en un punto z
0
si satisface las siguientes
tres condiciones
existe lim
zz
0
f(z)
existe f(z
0
)
lim
zz
0
f(z) = f(z
0
)
Es decir para cada > 0, > 0 tal que |f(z) f(z
0
)| < , siempre que
|z z
0
| < .
Denicin 36 Una funcin se dice que es continua en una regin R si lo es en
todos sus puntos.
Teorema 19 Una funcin f(z) = u(x, y) +i v(x, y) es continua en un punto z
0
=
x
0
+i y
0
si solo si sus funciones componentes u y v son funciones continuas.
Propiedades
Si dos funciones son continuas en un punto, su suma y su producto tambin
lo son, su cociente es continuo siempre que el denominador no se anule.
Un polinomio es continuo en todo el plano.
La composicin de funciones continuas es continua.
Si una funcin f(z) es continua y no se anula en un punto z
0
f(z) 6= 0 en
algn entorno de ese punto.
Una funcin f(z) continua en una regin cerrada y acotada R, es acotada en R
y |f(z)| alcanza su mximo en ella. Es decir existe M R tal que |f(z)| M
z R.
21
Ejercicio 6 Demuestre el teorema 19 [sugerencia: utilice el teorema 17].
Derivadas
Denicin 37 Sea f una funcin cuyo dominio de denicin contiene un entorno
de z
0
. La derivada de f en z
0
, f
0
(z
0
), se dene por:
f
0
(z
0
) =lim
zz
0
f(z) f(z
0
)
z z
0
supuesto que el lmite existe. La funcin f se dice diferenciable en z
0
cuando
existe su derivada.
Si z = z z
0
, se obtiene una expresin equivalente:
f
0
(z
0
) = lim
z0
f(z
0
+z) f(z
0
)
z
.
En forma similar si w = f(z) y llamando w = f(z +z) f(z),
f
0
(z) =
dw
dz
= lim
z0
w
z
.
Teorema 20 Si una funcin f es derivable en un punto z
0
entonces dicha funcin
es continua en ese punto. Es decir si f
0
(z
0
) lim
zz
0
f(z) = f(z
0
).
Ejercicio 7 Muestre que:
i) lim
zz
0
f(z) = f(z
0
) lim
zz
0
(f(z) f(z
0
)) = 0.
ii) lim
zz
0
(f(z) f(z
0
)) =lim
zz
0

f(z)f(z
0
)
zz
0
(z z
0
)

.
iii) Usando i) y ii) muestre el teorema 20.
22
Frmulas de derivacin

d
dz
c = 0, c es una constante compleja.

d
dz
z = 1.

d
dz
cf(z) = cf
0
(z).

d
dz
[f(z) +g(z)] = f
0
(z) +g
0
(z).

d
dz
[f(z).g(z)] = f(z)g
0
(z) +f
0
(z)g(z).
Cuando g(z) 6= 0,
d
dz

f(z)
g(z)

=
f
0
(z)g(z) f(z)g
0
(z)
g(z)
2
.
Si w = f(z) y h = g(w),
dh
dz
=
dh
dw
dw
dz
.

d
dz
z
n
= nz
n1
(n entero positivo, vale para negativo si z 6= 0).
Ecuaciones de Cauchy-Riemann
Teorema 21 (Condiciones necesarias) Supongamos que f(z) = u(x, y)+i v(x, y)
y que existe f
0
(z) en el punto z
0
= x
0
+i y
0
. Entonces las derivadas parciales primeras
de u y v existen en (x
0
, y
0
) y satisfacen las ecuaciones de Cauchy-Riemann en l.
u
x
= v
y
u
y
= v
x
_
_
_
en z = z
0
.
Adems f
0
(z
0)
se puede expresar como f
0
(z
0
) = u
x
(x
0
, y
0
) +i v
x
(x
0
, y
0
).
Teorema 22 (Condiciones sucientes) Sea la funcin f(z) = u(x, y) +i v(x, y)
denida en un entorno de un punto z
0
= x
0
+ i y
0
. Supongamos que las deriva-
das parciales primeras de las funciones u y v con respecto a x e y existen en todo
punto del entorno y son continuas en (x
0
, y
0
). Entonces si esas derivadas parciales
satisfacen las ecuaciones de Cauchy-Riemann en (x
0
, y
0
), existe la derivada de f en
z
0
.
23
Teorema 23 (Condiciones necesarias y sucientes) Sea la funcin f(z) =
u(x, y) + i v(x, y) denida en un entorno de un punto z
0
= x
0
+ i y
0
. Existe la
derivada de f en z
0
, si y slo si u y v son diferenciables en (x
0
, y
0
) y satisfacen las
ecuaciones de Cauchy-Riemann en (x
0
, y
0
).
Ejercicio 8 Sea f(z) = u(x, y) + i v(x, y) una funcin denida en un entorno del
punto z
0
= x
0
+i y
0
.
1. Sabiendo que f(z) es derivable en z
0
,calcule las derivadas direccionales de f(z)
en z
0
, segn las direcciones:
(a) x = 0 y y 0
(b) y = 0 y x 0
2. Usando el punto anterior pruebe el teorema 21.
3. Sean u(x, y) y v(x, y) dos funciones diferenciables en (x
0
, y
0
) [recuerde que:
u(x
0
, y
0
) = u
x
(x
0
, y
0
)x +u
y
(x
0
, y
0
)y +
1
p
x
2
+y
2
v(x
0
, y
0
) = v
x
(x
0
, y
0
)x +v
y
(x
0
, y
0
)y +
2
p
x
2
+y
2
donde
1
y
2
0 cuando(x, y) (0, 0)]. Adems sea w = f(z).
Muestre que:
(a) w = f(z
0
+z) f(z
0
) = u(x
0
, y
0
) +i v(x
0
, y
0
)
(b) w = (u
x
+i v
x
)x+(v
y
i u
y
)iy+(
1
+i
2
)|z| [en el punto (x
0
, y
0
)].
(c) Si adems se verican las ecuaciones de Cauchy-Riemann, entonces
existe lim
z0
w
z
en el punto z
0
.
24
Ecuaciones de Cauchy Riemann en Coordenadas polares
u
x
= v
y
u
y
= v
x
_
_
_
en z = z
0

r u
r
= v

= r v
r
_
_
_
en z = z
0
.
Adems u
x
+i v
x
= e
i
(u
r
+i v
r
).
Funciones Analticas (Holomorfas)
Denicin 38 Una funcin de variable compleja se dice analtica (o holomorfa) en
un punto si es derivable en el punto y en el entorno.
Denicin 39 Una funcin de variable compleja se dice analtica en un conjunto
abierto si tiene derivada en todo punto de ese abierto.
Denicin 40 Si una funcin f no es analtica en un punto z
0
pero es analtica
en algn punto de todo entorno de z
0
, se dice que z
0
es un punto singular o una
singularidad de f.
Teorema 24 Si dos funciones continuas u(x, y) y v(x, y) tienen derivadas parcia-
les primeras continuas que satisfacen las ecuaciones de Cauchy-Riemann en algn
dominio D, entonces la funcin compleja f(z) = u(x, y) + i v(x, y) es analtica en
D.
Observacin: Dada una funcin f(z) = u(x, y) +i v(x, y), si las ecuaciones de
Cauchy Riemman se verican en un punto, esto no alcanza para asegurar que exista
la derivada de f en ese punto (teoremas 21 y 22). Si estas ecuaciones se verican en
todo un dominio D, se podr asegurar que es analtica en D? J.D. Gray y A. Morris
demostraron que si f es continua en un dominio D, existen las derivadas parciales
u
x
, u
y
, v
x
, v
y
en D, y verican las ecuacioes de Cauchy-Riemann en D, entonces f
es analitica en D.
25
Propiedades de funciones analticas
Si dos funciones son analticas en un dominio, su suma y su producto tambin
lo son, su cociente es analtico siempre que el denominador no se anule.
La composicin de funciones analticas es analtica.
Un polinomio es analtico en todo el plano.
Teorema 25 Si una funcin f tiene derivada nula en todo punto de un dominio
D, entonces f es constante en D.
Ejercicio 9 Sea f(z) = u(x, y) +i v(x, y) una funcin denida en un dominio D.
1. Pruebe el teorema 24 [sugerencia: use el teorema 22].
2. Si f(z) tiene derivada nula en todo punto del dominio D (=abierto y conexo).
Muestre que:
(a) f es analtica en D.
(b) u
x
= u
y
= v
x
= v
y
= 0 en D.
(c) u y v son constantes en D.
Teorema 26 Si una funcin f(z) = u(x, y) + i v(x, y) es analtica en un dominio
D, sus funciones componentes u y v son armnicas en D.
En el caso que se verique el teorema anterior, las funciones u y v se llaman
armnicas conjugadas.
Recordar que una funcin real h de dos variables x e y se dice armnica en un
dominio del plano xy, si sobre ese dominio tiene derivadas parciales continuas de
primer y segundo orden y satisface la ecuacin de Laplace: h
xx
+h
yy
= 0.
26
Ejercicio 10 Sea f(z) = u(x, y) +i v(x, y) una funcin analtica en un dominio D.
a) Sean u(x, y) y v(x, y) dos funciones con derivadas parciales continuas de
primer y segundo orden en todo D. Muestre que en todo punto de D se verica que:
(a) u
xx
= v
yx
(c) v
xx
= u
yx
(e) u
xx
+u
yy
= 0
(b) u
yy
= v
xy
(d) v
yy
= u
xy
(f ) v
xx
+v
yy
= 0
b) Pruebe la equivalencia entre las condiciones de Cauchy Riemann en coorde-
nadas polares y cartesianas.
Funciones Elementales
Vamos a estudiar funciones de una variable compleja que se reducen a las funciones
elementales del clculo real cuando z = x +i 0.
Funcin exponencial
e
z
= e
x+i y
= e
x
(cos y +i sen y)
La funcin exponencial es analtica en todo el plano.
Cuando y = 0, e
x+i 0
= e
x
.
Cuando x = 0, e
i y
= (cos y +i sen y), frmula de Euler.
e
z
= e
x+i y
= e
x
e
i y
.
e
z
1
+z
2
= e
z
1
e
z
2
.
|e
z
| = e
x
.
27
arg(e
z
) = y + 2k, k Z.
e
z
6= 0 z C.
e
z+2 i
= e
z
. La funcin exponencial es peridica con periodo imaginario puro
de 2 i.
Logaritmo general
log(z) = ln |z| +i Arg(z) + 2k i, k Z.
Es una funcin multivaluada, su valor principal es para k = 0
Logaritmo principal
Log(z) = ln |z| +i Arg(z)
Si Arg(z) se restringe al intervalo (, + 2), es decir < Arg(z) < + 2,
la funcin Log z es univaluada y continua. (en = es discontinua)
En el dominio |z| > 0 y < Arg(z) < + 2 es analtica y
d
dz
(Log z) =
1
z
.
Nota: En algunos textos se considera que la funcin argumento principal (Arg())
toma valores nicamente en el intervalo (, ], en este curso se deja libertad pa-
ra denirlo en la forma ms adecuada para cada caso particular. Esto requiere
especicar su denicin cada vez que se lo utilice. La funcin argumento general
(arg())es una funcin multivaluada (ntese que la escribimos en minscula), que
la podemos expresar a partir de cualquier denicin de un argumento principal:
arg(z) = Arg(z) + 2k, donde k Z.
28
Funciones Trigonomtricas e Hiperblicas
sen z =
e
i z
e
i z
2 i
senh z =
e
z
e
z
2
cos z =
e
i z
+e
i z
2
cosh z =
e
z
+e
z
2
Son funciones enteras
d
dz
(senz) = cos z
d
dz
(senh z) = coshz
d
dz
(cos z) = sen z
d
dz
(cosh z) = senhz
Algunas propiedades
sen(z) = senz sen(i z) = i senh z
cos(z) = cos z cos(i z) = coshz
Son funciones peridicas
sen(z + 2) = senz senh(z + 2 i) = senhz
cos(z + 2) = cos z cosh(z + 2 i) = coshz
Funciones tangente y tangente hiperblica:
tan z =
sen z
cos z
tanh z =
senhz
cosh z
Funciones multivaluadas
Denicin 41 Una rama o determinacin de una funcin multivaluada f es cual-
quier funcin univaluada F, que sea analtica en algn dominio donde en cada punto
29
z, el valor de F(z) es uno de los valores de f(z).
la funcin Log z es una rama de log z (la que llamamos principal, pero existen
otras innitas determinaciones particulares o ramas).
Denicin 42 Un corte de una funcin multivaluada f es una porcin de curva
(o recta) que se escoge con el objeto de denir una rama F. Los puntos sobre el corte
de f son puntos singulares de F, y cualquier punto que es comn a todos los cortes
posibles de f se llama punto de ramicacin.
el rayo = es un corte de log z, con < Arg(z) < + 2.
el origen y el son puntos de ramicacin del log z.
si recorremos una curva cerrada simple que contenga un punto de ramicacin,
y en cada punto elegimos una rama de tal manera que la variacin de la funcin
sobre la curva sea en forma continua, cuando se regresa al punto inicial, el valor
de la funcin es diferente, est en otra rama.
Exponentes complejos
z
c
= e
c log z
Funciones trigonomtricas inversas
arcsenz =
1
i
log

iz +

1 z
2

arccos z =
1
i
log

z +

z
2
1

arctanz =
i
2
log
1 iz
1 +iz
=
i
2
log
i +z
i z
30
Ejercicio 11 Funciones multivaluadas.
1. Encuentre una rama log z que sea analtica en Im(z) < 0 y tal que Log(1) =
4 i.
2. Encuentre dos ramas de

z que sean iguales en el primer cuadrante y tomen
diferentes valores en el tercer cuadrante.
3. Cules son los puntos de ramicacin de arctanz?
31
Integrales de Funciones de Variable Compleja
Con el objeto de introducir integrales de f(z) de modo sencillo, consideremos primero
derivadas e integrales de funciones complejas w(t) de una variable real t.
w = w(t) w : R C (0.1)
w(t) = u(t) +i v(t)
u y v son funciones reales R R.
Denicin 43 La derivada w
0
(t) o
dw
dt
de la funcin (0.1) se dene como
w
0
(t) = u
0
(t) +i v
0
(t)
supuesto que existe cada una de las derivadas u
0
y v
0
en t.
Contornos
Denicin 44 Un conjunto C de puntos z = (x, y) en el plano complejo se dice que
constituye un arco si x = x(t), y = y(t), a t b, donde x(t) e y(t) son funciones
continuas del parmetro t
z = z(t) = x(t) +i y(t) t [a, b].
El arco C es un arco simple, o arco de Jordan, si no se corta a s mismo.
z(t
1
) 6= z(t
2
) cuando t
1
6= t
2
, t
1
, t
2
(a, b).
Cuando z(a) = z(b), decimos que C es una curva cerrada. (Si en los extremos
es el nico punto que se repite decimos que C es una curva cerrada simple).
Si x(t) e y(t) son diferenciables en el intervalo [a, b] se llama arco diferencia-
ble. Si x
0
(t) e y
0
(t) son continuas y no valen ambas cero para el mismo valor
32
de t, se llama arco suave. La derivada de z(t) es
z
0
(t) = x
0
(t) +i y
0
(t).
Si z
0
(t) 6= 0, z
0
(t) representa un vector tangente a la curva en el punto z(t).
La funcin |z
0
(t)| =
p
x
0
(t)
2
+y
0
(t)
2
es integrable sobre el intervalo [a, b], sien-
do la longitud de arco L =
b
R
a
|z
0
(t)| dt.
La representacin paramtrica para C no es nica.
El nmero L es invariante.
Denicin 45 Un contorno, o arco suave a tramos, es un arco que consiste
en un nmero nito de arcos suaves unidos por sus extremos. z(t) es continua y su
derivada z
0
(t) es continua a tramos.
Cuando slo coinciden los valores inicial y nal de z(t), el contorno se llama
contorno cerrado simple.
La longitud de un contorno cerrado simple es la suma de las longitudes de los
arcos suaves.
Denicin 46 Las integrales de funciones denidas como en (0.1) sobre intervalos
[a, b] se denen como
Z
b
a
w(t)dt =
Z
b
a
u(t)dt +i
Z
b
a
v(t)dt
cuando las integrales de la derecha existen, es decir Im(
R
b
a
w(t)dt) =
R
b
a
Im(w(t))dt,
y Re(
R
b
a
w(t)dt) =
R
b
a
Re(w(t))dt.
Lema 1 Sean w(t) = u(t) +i v(t) y W(t) = U(t) +i V (t) continuas en el intervalo
[a, b] y W
0
(t) = w(t), entonces
R
b
a
w(t)dt = W(b) W(a)
33
Lema 2 Supongamos que una funcin f(z) es derivable en todo punto de un arco
diferenciable z(t), a t b. Si w(t) = f(z(t)), entonces w
0
(t) = f
0
(z(t))z
0
(t).
Ejercicio 12 Demuestre los dos lemas anteriores.
Integral de contorno
Z
C
f(z)dz
Denicin 47 Sea
C : contorno z(t), t [a, b].
f(z) = u+i v continua a tramos sobre C (es decir f(z(t)) es continua a tramos
en el intervalo [a, b]).
Z
C
f(z)dz =
b
Z
a
f(z(t)) z
0
(t)dt
=
b
Z
a
(ux
0
v y
0
)dt +i
b
Z
a
(uy
0
+v x
0
)dt
=
(x(b),y(b))
Z
(x(a),y(a))
(udx v dy) +i
(x(b),y(b))
Z
(x(a),y(a))
(udy +v dx)
Propiedades

R
C
f(z)dz =
R
C
f(z)dz.
Sea C = C
1
+C
2
,
R
C
f(z)dz =
R
C
1
f(z)dz +
R
C
2
f(z)dz.
34

R
C
f(z)dz =
R
C
f(z)dz.

R
C
[f(z) +g(z)]dz =
R
C
f(z)dz +
R
C
g(z)dz.

R
C
f(z)dz

b
R
a
|f(z(t)) z
0
(t)| dt M L donde |f(z)| M sobre la curva C y
L es la longitud de C.
Ejercicio 13 Integrales de contornos.
1. Calcular las siguientes integrales utilizando la denicin:
(a)
R
|zz
0
|=R
dz
zz
0
,
(b)
R
C
1.dz donde C es el segmento que une los puntos z
1
y z
2
.
2. Sea f una funcin continua a tramos sobre un contorno C : z = z(t), t [a, b].
Sea R =

R
C
f(z)dz

y = Arg

R
C
f(z)dz

, es decir:
R
C
f(z)dz = R.e
i
.
Muestre que:
(a) R =
R
C
e
i
f(z)dz
(b) Im

R
C
e
i
f(z)dz

= 0
(c) Re

R
C
e
i
f(z)dz

=
b
R
a
Re

e
i
f(z(t))z
0
(t)

dt = R
(d) 0 R =

R
C
f(z)dz

b
R
a
|f(z(t))| |z
0
(t)| dt M.L
donde M =max
t[a,b]
|f(z(t))| y L =
b
R
a
|z
0
(t)| dt
Denicin 48 Un dominio simplemente conexo D, es un dominio tal que todo
contorno cerrado simple dentro de l, encierra slo puntos de D.
Denicin 49 Un dominio que no es simplemente conexo se llama mltiplemente
conexo.
35
Teorema de la Integral de Cauchy
Teorema 27 Si f(z) es analtica y f
0
(z) es continua en un dominio D simplemente
conexo y acotado, entonces para toda curva cerrada simple en D,
Z
C
f(z)dz = 0
Teorema de Cauchy-Goursat
Teorema 28 Si una funcin f es analtica en todos los puntos interiores de un
contorno cerrado simple C y sobre los puntos de C entonces
Z
C
f(z)dz = 0
Ejercicio 14 Teorema de Cauchy.
1. Demuestre el Teorema de Cauchy (27) [sug. utilice el teorema de Green y las
ecuaciones de Cauchy-Riemann].
2. Sea D un dominio simplemente conexo y f una funcin analtica en D. Sean
C
1
y C
2
dos curvas contenidas en D que unen dos puntos cualesquiera z
1
y z
2
en D. Como indica la gura:
z
1
z
2
D
Muestre que:
R
C
1
f(z)dz =
R
C
2
f(z)dz =
R
z
2
z
1
f(z)dz.
3. Use el ejercicio anterior y el ejercicio 13 para probar que si f(z) = 1
Z
C
1
dz =
Z
C
2
dz =
Z
z
2
z
1
dz = z
2
z
1
36
4. Sea f una funcin analtica en la regin comprendida entre las curvas cerradas
simples C
1
y C
2
y sobre las mismas, como indica la gura:
C
1
C
2
Muestre a partir del Teorema de Cachy que
R
C
1
f(z)dz =
R
C
2
f(z)dz.
[Sug. considere las curvas , o
1
y
2
como muestran las guras].


2

1
5. Sea C una curva cerrada simple que encierra al punto z
0
en sentido positivo.
Calcule
R
C
dz
zz
0
, [recuerde el resultado del ejercicio 13].
6. De manera similar al ejercicio anterior muestre que si f es analtica en la regin
comprendida entre las curvas C, C
1
y C
2
, y sobre las mismas (como indica la
regin sombreada de la gura)
Z
C
f(z)dz =
Z
C
1
f(z)dz +
Z
C
2
f(z)dz
C
1
C
2
C
37
Teorema de Cauchy para dominios mltiplemente conexos
Teorema 29 Supongamos que
C es un contorno cerrado simple con orientacin positiva.
C
k
(k = 1, 2, ..., n) denota un nmero nito de contornos cerrados simples
orientados positivamente, interiores a C y cuyos interiores no tienen puntos
en comn.
Si una funcin f es analtica en la regin cerrada formada por los puntos inte-
riores a C o del propio C, excepto en los puntos interiores a cada C
k
, entonces
Z
C
f(z)dz =
k=n
X
k=1
Z
C
k
f(z)dz
Primitivas
Teorema 30 Sea f(z) una funcin continua en un dominio D (puede ser mult.
conexo). Si cualquiera de estas armaciones es verdadera, lo son tambin las dems:
f(z) tiene una primitiva F en D.
las integrales de f a lo largo de contornos contenidos en D que unen dos puntos
jos z
1
y z
2
tienen todas el mismo valor (F(z
2
) F(z
1
)).
las integrales de f a lo largo de cualquier contorno cerrado contenido en D
tienen todas el mismo valor (cero).
Teorema 31 Si f(z) es analtica en un dominio simplemente conexo D, entonces:

R
z
2
z
1
f(z)dz es independiente del contorno de integracin en el dominio D.
f(z) tiene primitiva en D.
una primitiva de f es F(z) =
R
z
z
0
f(z)dz.
38

R
z
2
z
1
f(z)dz = F(z
2
) F(z
1
).
Ejercicio 15 Sea f una funcin continua en un dominio D.
1. Muestre que si existe una primitiva F de f en D entonces
Z
z
2
z
1
f(z)dz = F(z
2
) F(z
1
)
[este es un resultado muy prctico para el clculo de integrales por primitivas].
2. Sea la integral de f independiente del contorno en D, es decir si C
1
y C
2
son dos curvas cualesquieras, que unen dos puntos z
1
y z
2
en D, entonces
R
C
1
f(z)dz =
R
C
2
f(z)dz =
R
z
2
z
1
f(z)dz. Muestre que
(a) Para un z
0
dado en D, el valor de
R
z
z
0
f(s)ds es nico para cada z D.
(b) F(z) =
R
z
z
0
f(s)ds es una funcin denida en D.
(c) W = F(z +z) F(z) =
R
z+z
z
f(s)ds.
(d) z =
R
z+z
z
ds [use ejercicio 13].
(e)
W
z
f(z) =
1
z
h
R
z+z
z
f(s)ds f(z)z
i
=
1
z
h
R
z+z
z
f(s)ds
R
z+z
z
f(z)ds
i
(f)
W
z
f(z) =
R
z+z
z
(f(s)f(z))ds
z
(g) Dado > 0, siempre existe un () > 0 tal que:
i. |f(s) f(z)| < siempre que |s z| <
ii.

W
z
f(z)

< siempre que |z| <

(h) lim
z0
W
z
= f(z) F
0
(z) = f(z) z D(F es una primitiva de f en
D).
3. Si adems D es simplemente conexo y f es analtica en D, probar el teorema
31 utilizando el teorema de Cauchy y el 30.
39
Frmula Integral de Cauchy
Teorema 32 Sea f analtica en el interior y en los puntos de un contorno cerrado
simple C, orientado positivamente. Si z
0
es un punto interior a C, entonces
f(z
0
) =
1
2i
Z
C
f(z)
z z
0
dz
f
(n)
(z
0
) =
n!
2i
Z
C
f(z)
(z z
0
)
n+1
dz n = 1, 2, ...
Teorema 33 Una funcin analtica tiene derivadas de todo orden y son todas ana-
lticas.
Ejercicio 16 Sea D un dominio simplemente conexo y f analtica en D. Sea C un
contorno cerrado simple, con orientacin positiva, contenido en D, que encierra un
punto z
0
en su interior. Sea C
0
un crculo centrado en z
0
de radio sucientemente
pequeo para quedar contenido ntegramente dentro del contorno C. Muestre que:
1.
R
C
f(z)
zz
0
dz =
R
C
0
f(z)
zz
0
dz.
2.
R
C
0
1
zz
0
dz = 2i.
3.
R
C
f(z)
zz
0
dz 2i f(z
0
) =
R
C
0
f(z)
zz
0
dz f(z
0
)
R
C
0
dz
zz
0
.
4.
R
C
f(z)
zz
0
dz 2i f(z
0
) =
R
C
0
f(z)f(z
0
)
zz
0
dz.
5. 0

R
C
f(z)
zz
0
dz 2i f(z
0
)

, donde es un nmero arbitrariamente pe-

queo.
6.
R
C
f(z)
zz
0
dz = 2i f(z
0
)
40
Teorema de Morera
Teorema 34 Si una funcin f es continua en un dominio D simplemente conexo
y si
R
C
f(z)dz = 0 para todo contorno cerrado C contenido en D, entonces f es
analtica en D.
Teorema de Liuville
Teorema 35 Si f es analtica y acotada en mdulo para toda z del plano complejo,
entonces f(z) es constante.
Ejercicio 17 Derivadas de funciones analticas, teorema de Morera, principio del
mdulo mximo.
1. A partir de la Frmula Integral de Cauchy para las derivadas demuestre el
teorema 33.
2. Demuestre el teorema de Morera, utilice los teoremas 30 y 33.
3. Sea f analtica en un entorno de un punto z
0
, |z z
0
| < .
(a) Muestre que si una funcin es analtica dentro y sobre un crculo dado,
su valor en el centro es la media aritmtica de sus valores sobre el crculo
(teorema del valor medio de Gauss), es decir
f(z
0
) =
1
2
2
R
0
f(z
0
+ e
i
) d, donde < .
x
y
z
0

[sug. utilice la frmula integral de Cauchy].

41
(b) Sea z
0
un punto tal que |f(z)| |f(z
0
)|, para todo z en ese entorno.
Muestre:
i. |f(z
0
)|
1
2
2
R
0

f(z
0
+ e
i
)

d.
ii. |f(z
0
)|
1
2
2
R
0

f(z
0
+ e
i
)

d.
iii.
2
R
0

|f(z
0
)|

f(z
0
+ e
i
)

d = 0.
iv. |f(z)| = |f(z
0
)| para todo punto del crculo |z z
0
| = .
v. |f(z)| = |f(z
0
)| para todo punto del entorno.
vi. Si f es analtica en un dominio D, y |f(z)| = c es constante en
D, entonces f es constante. (usar ecuaciones de Cauchy-Riemann y
notar que f(z) = c
2
/f(z)).
vii. Lema: Sea f una funcin analtica en un entorno de un punto z
0
,
|z z
0
| < , si |f(z)| |f(z
0
)|, para todo z en ese entorno, entonces
f es constante.
4. Use el lema anterior para probar el principio del mdulo mximo:
Si una funcin f es analtica y no constante en un dominio D, |f(z)| no tiene
valor mximo en D.
42
Sucesiones y series
Denicin 50 Una sucesin de nmeros complejos es una funcin de N C.
Denicin 51 Una sucesin z
n
es convergente si tiene lmite z, es decir para cada
> 0, existe un nmero natural N
0
tal que |z
n
z| < n > N
0
,
lim
n
z
n
= z z
n
z.
Teorema 36 Supongamos que z
n
= x
n
+i y
n
, y z = x +i y. Entonces
lim
n
z
n
= z
_
_
_
lim
n
x
n
= x
lim
n
y
n
= y
Propiedades de lmites de sucesiones:
1. Sean z
n
y w
n
dos suceciones convergentes tales que z
n
z y w
n
w. Enton-
ces:
(a) a
n
= z
n
+ w
n
tambin es convergente y a
n
z + w.
(b) b
n
= z
n
w
n
tambin es convergente b
n
z w.
(c) Si z
n
6= 0 para todo n, y z 6= 0; c
n
=
1
z
n
tambin es convergente y c
n

1
z
.
(d) Toda subsucesin de z
n
tiene lmite z.
2. Toda sucesin convergente es acotada.
3. lim
n
z
n
= z lim
n
|z
n
| = |z| .
4. lim
n
z
n
= 0 lim
n
|z
n
| = 0.
5. lim
n
z
n
= 0 y |w
n
| < M para todo n =lim
n
z
n
w
n
= 0.
6. Si lim
n
z
n
= z y lim
wz
f(w) = c lim
n
f(z
n
) = c.
43
Denicin 52 Una serie de nmeros complejos

P
n=1
z
n
= z
1
+ z
2
+ + z
n
+ ,
converge con suma S, si la sucesin
S
N
=
N
X
n=1
z
n
= z
1
+z
2
+ +z
N
de sumas parciales converge a S.
Teorema 37 Supongamos que z
n
= x
n
+i y
n
, y S = X +i Y

X
n=1
z
n
= S
_

P
n=1
x
n
= X

P
n=1
y
n
= Y
En consecuencia una condicin necesaria para la convergencia de la serie es que
lim
n
z
n
= 0.
Denicin 53 Una serie

P
n=1
z
n
es absolutamente convergente si la serie

P
n=1
|z
n
|de
nmeros reales es convergente.
Teorema 38 Si

P
n=1
|z
n
| es convergente entonces

P
n=1
z
n
tambin es convergente.
Si la serie
P
|a
n
| converge se dice que la serie
P
a
n
converge absolutamente.
Si la serie
P
a
n
converge y la serie
P
|a
n
| diverge entonces se dice que la serie
P
a
n
converge condicionalmente.
La suma de una serie absolutamente convergente no depende del orden de sus
trminos.
Si
P
a
n
y
P
b
n
son series convergentes con suma A y B respectivamente,
entonces:

P
(a
n
+b
n
) converge y su suma es A+B.
Si c es un nmero complejo,
P
c a
n
converge y su suma es c A.
44
Criterio de Dirichlet.
Si la sucesin de nmeros reales a
1
, a
2
, . . . , a
n
, . . . tiende montonamente a cero y
P
z
n
tiene sumas parciales acotadas (z
n
es una sucesin compleja,

P
N
1
z
n

k,
independiente de N), entonces la serie

P
n=1
a
n
z
n
es convergente.
Series de funciones
Denicin 54 Una serie de funciones es una serie cuyos trminos son funciones
de una variable compleja denida en una regin D del plano complejo

X
n=1
f
n
(z).
f
n
: D C
Sucesin de funciones de sumas parciales: S
N
(z) =
N
P
n=1
f
n
(z).
Regin de convergencia: es el conjunto de puntos RC D, para los cuales la
serie converge, es decir donde S
N
(z) tiene lmite.
Funcin suma: S(z) = lim
n
S
N
(z), en la regin de convergencia.
Resto de la serie: R
N
(z) = S(z) S
N
(z), en la regin de convergencia.
Convergencia uniforme.
Denicin 55 Se dice que la serie
P
f
n
(z) converge uniformemente en la regin
M, si dado > 0, existe un nmero natural N(), tal que n > N y z M
|R
n
(z)| < .
45
Criterio de Weierstrass
Si existen nmeros positivos a
1
, a
2
, . . . , a
n
, . . . tales que para todos los z de un
subconjunto M de la regin de convergencia RC de la serie
P
f
n
(z),
|f
n
(z)| a
n
n yz M RC,
y

P
n=1
a
n
es convergente, entonces la serie
P
f
n
(z) es absoluta y uniformemente
convergente en M.
Teorema 39 Si los trminos de una serie de funciones
P
f
n
(z) son continuos en
un dominio y la serie converge uniformemente en ese dominio, entonces la suma de
la serie es una funcin continua de z en ese dominio.
Series de Potencias
Denicin 56 Una serie de potencias es una serie de funciones con la siguiente
estructura:

X
n=0
a
n
(z z
0
)
n
= a
0
+a
1
(z z
0
) + +a
n
(z z
0
)
n
+
donde z
0
y los coecientes c
n
son constantes complejas y z cualquier punto del plano
complejo.
Si a
n
6= 0 n N, y existe lim
n
|a
n+1
|
|a
n
|
=
1
R
, la serie de potencias converge abso-
lutamente en el crculo |z z
0
| < R y diverge absolutamente cuando|z z
0
| >
R.
Radio de convergencia: Frmula de Cauchy-Hadamard:
1
R
= limsup |a
n
|
n
1/n
.
46
Ejercicio 18 Sea f una funcin analtica en un disco abierto centrado en z
0
y de
radio R
0
, y C : s(t) = z
0
+ r
0
e
it
, 0 t 2, con r
0
< R
0
. Sea z un punto interior
al crculo C, es decir |z z
0
| < r
0
, muestre que:
1. f(z) =
1
2i
Z
C
f(s)
s z
ds.
2. f(z) =
1
2i
Z
C
f(s)
s z
0
_
_
_
1
1
z z
0
s z
0
_
_
_
ds.
3.
1
1 w
= 1 +w + +w
N
+
w
N+1
1 w
4. f(z) =
1
2i
Z
C
f(s)
s z
0
_
_
_
1 +
z z
0
s z
0
+ +

z z
0
s z
0

N
+

z z
0
s z
0
!N+1
1
z z
0
s z
0
_
_
_
ds.
5. f(z) = f(z
0
) +f
0
(z
0
)(z z
0
) + +
f
(N)
(z
0
)
(N)!
(z z
0
)
N
+
N
(z),
con
N
(z) =
(zz
0
)
N+1
2i
Z
C
f(s)
(s z)(s z
0
)
N+1
ds.
6. lim
N

N
(z) = 0.
7. f(z) =

P
n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
.
Teorema de Taylor
Teorema 40 Sea f una funcin analtica en un disco abierto |z z
0
| < R
0
. En-
tonces en todo punto z de ese disco f(z) admite la representancin en serie de
potencias:
f(z) =

X
n=0
a
n
(z z
0
)
n
47
donde a
n
=
f
(n)
(z
0
)
n!
.
La serie de potencias converge a f(z) cuando |z z
0
| < R
0
.
Cuando z
0
= 0 se llama serie de Maclaurin.
La serie converge a f(z) dentro del crculo centrado en z
0
cuyo radio es la
distancia de z
0
al punto z
1
ms prximo en el que f deje de ser analtica.
Convergencia absoluta y uniforme de las series de potencias
Teorema 41 Si una serie de potencias

P
n=0
a
n
z
n
converge cuando z = z
1,
(z
1
6= 0)
es absolutamente convergente en todo punto del disco abierto |z| < |z
1
| .
El conjunto de puntos interiores a algn crculo en torno al origen es la regin
de convergencia.
El mayor crculo centrado en el origen tal que la serie converge en todos los
puntos interiores se llama crculo de convergencia.
La serie no puede converger en ningn punto z
2
exterior a ese crculo pues si
lo fuera sera convergente dentro de un crculo mayor.
Teorema 42 Si z
1
es un punto interior al crculo de convergencia |z| = R, de una
serie de potencias

P
n=0
a
n
z
n
, entonces esa serie es uniformemente convergente en el
disco cerrado |z| R
1
, donde R
1
= |z
1
| < R.
La suma de la serie es una funcin continua en todo punto interior al crculo
de convergencia.
48
Integracin y derivacin de series de potencias
Ejercicio 19 Sea

P
n=0
a
n
z
n
una serie de potencias con crculo de convergencia |z| <
R, y funcin suma S(z). Muestre que:
(a) La serie converge uniformemente en todo crculo cerrado interior al crculo
de convergencia.
(b) S(z) es una funcin continua en el crculo de convergencia.
(c) Sea C un contorno contenido en el crculo de convergencia, entonces:
i.
Z
c
S(z)dz =
Z
c

N
P
n=0
a
n
z
n

dz +
Z
c

P
n=N+1
a
n
z
n

dz.
ii.
Z
c
S(z)dz =
N
P
n=0
a
n
Z
c
z
n
dz +
N
, con
N
=
Z
c

P
n=N+1
a
n
z
n

dz.
iii. lim
N

N
= 0.
iv.
Z
c
S(z)dz =

P
n=0
a
n
Z
c
z
n
dz.
v. Si C es un contorno cerrado,
Z
c
S(z)dz = 0.
(d) S(z) es analtica dentro del crculo de convergencia [sug. usar T. de
Morera].
(e) Sea z un punto interior al crculo de convergencia y sea C un contorno
cerrado simple que rodea a z, contenido tambin dentro del crculo de
convergencia, entonces:
i. S
0
(z) =
1
2i
Z
C
S(w)
(w z)
2
dw.
ii. S
0
(z) =
1
2i
Z
C
N
P
n=0
a
n
w
n
(w z)
2
dw +
1
2i
Z
C

P
n=N+1
a
n
w
n
(w z)
2
dw.
49
iii. S
0
(z) =
N
P
n=0
na
n
z
n1
+
N
(z), con
N
(z) =
1
2i
Z
C

P
n=N+1
a
n
w
n
(w z)
2
dw.
iv. lim
N

N
(z) = 0.
v. S
0
(z) =

P
n=1
na
n
z
n1
.
Teorema 43 Sea C cualquier contorno interior al crculo de convergencia de la
serie de potencias

P
n=0
a
n
z
n
= S(z). La serie puede ser integrada trmino a trmino
sobre C, esto es
Z
c
S(z)dz =

X
n=0
a
n
Z
c
z
n
dz.
Teorema 44 La serie de potencias representa una funcin analtica en todo punto
interior a su crculo de convergencia.
Teorema 45 La serie de potencias

P
n=0
a
n
z
n
puede ser derivada trmino a trmino.
Esto es
S
0
(z) =

X
n=1
na
n
z
n1
en todo punto interior al crculo de convergencia.
Ejercicio 20 Series de potencias
1. Sabiendo que

P
n=0
a
n
z
n
representa una funcin analtica en |z| < R probar que:
(a)

P
n=0
a
n
(z z
0
)
n
representa una funcin analtica en |z z
0
| < R.
(b)

P
n=0
an
(zz
0
)
n
representa una funcin analtica en |z z
0
| >
1
R
.
50
2. Extienda los teoremas 41, 42, 43 y 45 para el caso general de z
0
6= 0.
Unicidad de las representaciones en series de Potencias
Teorema 46 Si una serie

P
n=0
a
n
(z z
0
)
n
converge a f(z) en todo punto interior a
algn crculo, entonces es la serie de Taylor de f en potencias de z z
0
.
Series de Laurent
Teorema 47 Sea f una funcin analtica en un dominio anular R
1
< |z z
0
| <
R
2
, y sea C cualquier contorno cerrado simple, orientado positivo, en torno a z
0
y
contenido en ese dominio. Entonces, en todo punto z de ese dominio, f(z) admite
la representacin en serie
f(z) =

X
n=0
a
n
(z z
0
)
n
+

X
n=1
b
n
(z z
0
)
n
donde
a
n
=
1
2i
Z
C
f(z)
(z z
0
)
n+1
dz n = 0, 1, 2, ...
b
n
=
1
2i
Z
C
f(z)
(z z
0
)
n+1
dz n = 1, 2, ...
Se suele escribir f(z) =
+
P
n=
c
n
(z z
0
)
n
en R
1
< |z z
0
| < R
2
, donde
c
n
=
1
2i
R
C
f(z)
(zz
0
)
n+1
dz, n = 0, 1, 2, ...
Ejercicio 21 Sea f una funcin analtica en un dominio D, anular R
1
< |z| < R
2
,
y sea C cualquier contorno cerrado simple, orientado positivo, en torno al origen y
contenido en ese dominio D. Sea z D, R
1
< r
1
< r
2
< R
2
y r
3
< min(r
2
|z|, |z|
51
r
1
),considere los siguientes crculos: C
1
: w(t) = r
1
e
it
, 0 t 2, C
2
: w(t) = r
2
e
it
,
0 t 2, C
3
: w(t) = z +r
3
e
it
, 0 t 2.
1. Realice un grco esquemtico del dominio D con los crculos C
1
, C
2
, el punto
z y el crculo C
3
.
2. Muestre las siguientes igualdades:
f(z) =
1
2i
Z
C
3
f(w)
w z
dw.

Z
C
2
f(w)
w z
dw =
Z
C
1
f(w)
w z
dw +
Z
C
3
f(w)
w z
dw.
f(z) =
1
2i
Z
C
2
f(w)
w z
dw
1
2i
Z
C
1
f(w)
w z
dw.

1
w z
=
1
w
+
1
w
2
z + +
1
w
N+1
z
N
+
1
(w z)w
N+1
z
N+1
.

1
w z
=
1
z
+
1
z
2
w
1
+ +
1
z
N+1
w
N
+
1
(z w)z
N+1
w
N+1
.
f(z) =
N
P
n=0
a
n
z
n
+
N
(z)+
N
P
n=1
b
n
z
n
+
N
(z),
donde: a
n
=
1
2i
Z
C
2
f(w)
w
n+1
dw,
b
n
=
1
2i
Z
C
1
f(w)
w
n+1
dw,

N
(z) =
z
N+1
2i
Z
C
2
f(w)
(w z)w
N+1
dw, y

N
(z) =
1
z
N+1
2i
Z
C
1
f(w)w
N+1
(z w)
dw.
lim
N

N
(z) = 0 y lim
N

N
(z) = 0.
f(z) =

P
n=0
a
n
z
n
+

P
n=1
b
n
z
n
.
3. Sea C cualquier contorno cerrado simple, orientado positivo, en torno al origen
y contenido en ese dominio D. Incluya a C en el grco 1 y vea que a
n
=
1
2i
R
C
f(w)
w
n+1
dw y b
n
=
1
2i
R
C
f(w)
w
n+1
dw.
52
4. Extienda la demostracin para z
0
6= 0.
Punto singular aislado - Residuo
Denicin 57 Un punto singular z
0
de una funcin f es aislado si existe un en-
torno reducido de z
0
, 0 < |z z
0
| < , en el que f es analtica.
Denicin 58 Sea z
0
un punto singular aislado de f. Esta funcin puede represen-
tarse por una serie de Laurent en un entorno reducido de z
0
, 0 < |z z
0
| < R
2
.
f(z) =

X
n=0
a
n
(z z
0
)
n
+
b
1
z z
0
+
b
2
(z z
0
)
2
+ +
b
n
(z z
0
)
n
+
La porcin de la serie de potencias negativas de z z
0
, se llama parte principal
de f en z
0
.
El coeciente b
1
de ese desarrollo se llama residuo de f en el punto z
0
.
b
1
=Res
z=z
0
f(z)
Por teorema de Laurent,el residuo Res
z=z
0
f(z) =
1
2i
R
C
f(z)dz , donde C es
una curva cerrada simple, orientada positiva, que encierra a un nico punto
singular z = z
0
.
Denicin 59 Existen tres tipos de puntos singulares aislados:
1. Si la parte principal de f en un punto singular z
0
contiene un nmero nito
de trminos no nulos, b
m
6= 0 y b
n
= 0 n > m, el punto singular aislado se
llama polo de orden m. Si m = 1 se llama polo simple.
2. Si la parte principal de f en z
0
tiene innitos trminos no nulos, se llama
punto singular esencial.
53
3. Si todos los coecientes b
n
de la parte principal de f en son cero, el punto z
0
se llama punto singular evitable. Si se dene f(z
0
) = a
0
la funcin pasa a
ser analtica en z
0
.
Teorema de los residuos
Teorema 48 Si C es un contorno cerrado simple, positivamnete orientado, sobre y
dentro del cual una funcin f es analtica a excepcin de un nmero nito de puntos
singulares z
k
(k = 1, 2, . . . , n) interiores a C, entonces
Z
C
f(z)dz = 2 i
n
X
k=1
Res
z=z
k
f(z).
Ejercicio 22 Demuestre el teorema de los residuos [sug. utilice teorema 29]
Ceros y polos de orden m
Denicin 60 Si f es analtica en z
0
, f(z
0
) = 0, y existe un entero positivo m, tal
que f
(m)
(z
0
) 6= 0 y todas las derivadas de orden inferiores a m se anulan en z
0
, se
dice que f tiene un cero de orden m en z
0.
Adems se puede expresar
f(z) = (z z
0
)
m
g(z)
donde g es analtica en z
0
y g(z
0
) 6= 0.
Lema 3 f tiene un polo de orden m en z
0
, si y slo si, puede expresarse como
f(z) =
(z)
(z z
0
)
m
,
54
donde es analtica en z
0
y (z
0
) 6= 0. Los coecientes de la parte principal en z
0
verican
b
k
=

(mk)
(z
0
)
(mk)!
.
Esta frmula es de gran utilidad en el clculo de residuo en polos pues
b
1
=

(m1)
(z
0
)
(m1)!
=
1
(m1)!
lim
zz
0
d
m1
dz
m1
((z z
0
)
m
f(z)) ,
si m = 1, b
1
=lim
zz
0
(z z
0
)f(z).
Tambin es muy til en la descomposicin en fracciones parciales de una fun-
cin racional R(z) =
P(z)
Q(z)
,
R(z) =
r
X
j=1
m
j
X
k=1
b
k
(z
j
)
(z z
j
)
k
=
b
1
(z
1
)
z z
1
+
b
2
(z
1
)
(z z
1
)
2
+ +
b
1
(z
r
)
z z
r
+
b
2
(z
r
)
(z z
r
)
2
+ +
b
m
r
(z
r
)
(z z
r
)
m
r
,
donde P y Q son polinomios y el grado de P es menor que el grado de Q,
Q tiene r ceros distintos z
j
de orden m
j
y no tiene ceros en comn con P.
Los coecientes de las fracciones se pueden calcular utilizando la frmula de
la denicin anterior, sea
j
(z) = (z z
j
)
m
j
R(z) para z 6= z
j
y
j
(z
j
) =lim
zz
j
(z z
j
)
m
j
R(z)
b
k
(z
j
) =

(m
j
k)
j
(z
j
)
(m
j
k)!
=
1
(m
j
k)!
lim
zz
j
d
m
j
k
dz
m
j
k
((z z
j
)
m
j
R(z))
55
Teorema de Picard
Teorema 49 En todo entorno de un punto singular esencial, una funcin alcanza
todo valor nito, con una nica posible excepcin, un nmero innito de veces.
Ejercicio 23 Sea z
0
un punto singular aislado de f.
1. Probar que:
(a) lim
zz
0
f (z) existe z
0
es punto singular evitable de f.
(b) lim
zz
0
f (z) = z
0
es polo de f.
(c) lim
zz
0
f (z) no existe z
0
es punto singular esencial de f.
2. Sea k un entero, k 0, usando el Lema 3 muestre que:
z
0
es polo de orden m de f lim
zz
0
(z z
0
)
k
f (z) =
_

_
k < m
(z
0
) 6= 0 k = m
0 k > m
Teorema 50 Los ceros de una funcin analtica (no nula) son aislados.
Lema 4 Si f(z) = 0 en todo punto z de un dominio o arco que contiene un punto
z
0
, entonces f(z) 0 en cualquier entorno N
0
de z
0
, en el que f sea analtica. Esto
es f(z) = 0 en todo punto de N
0
.
Teorema 51 Si una funcin f es analtica en un dominio D y f(z) = 0 en todo
punto de un dominio o arco interior a D, entonces f(z) 0 en D.
Prolongacin Analtica
Denicin 61 Dos funciones analticas: f
1
denida en el dominio D
1
y f
2
denida
en el dominio D
2
se dicen que son prolongaciones analticas una de la otra si
D
1
D
2
6= y f
1
(z) = f
2
(z) en D
1
D
2
.
56
Ejercicio 24 Ceros - Regla de Lhopital - residuos - descomposicin en
fracciones parciales
1. Sean f(z) y g(z) funciones analticas en un dominio D. Muestre que si f(z) =
g(z) en todo punto de un dominio o arco interior a D, entonces f(z) g(z)
en D.
2. Sean f(z) y g(z) funciones analticas ambas con un cero en z
0
. Analizar la
singularidad que presentan las funciones
f(z)
g(z)
y
f
0
(z)
g0(z)
en el punto z
0
y probar
que lim
zz
0
f(z)
g(z)
=lim
zz
0
f
0
(z)
g0(z)
, si este ltimo existe.
3. Sea C un contorno cerrado simple que encierra un nico polo de una fun-
cin f(z) en sentido antihorario. Comparar la forma de resolver la integral
R
C
f(z)dz utilizando la Frmula Integral de Cauchy y el Teorema de los Resi-
duos.
4. Descomponer en fracciones parciales utilizando residuos:
(a)
z + 12
z
2
+ 4z
(b)
2
z
2
(z + 1)
(c)
10 4z
(z 2)
2
(d)
z + 2
z
2
+ 1
57
Transformada de Laplace
Bibliografa:
Matemticas Avanzadas para Ingeniera. James, G.,Pearson Educacin
Matemticas avanzadas para ingeniera 1. Kreyszig, Erwin. (517. K889-1/
517. K889).
Transformadas de Laplace. Spiegel, Murray R. (517.7 Sp43-1)
Teora y problemas de matemticas superiores para ingenieros y cientcos.
Spiegel, Murray R.(510 Sp43)
Modern operational mathematics in engineering. Churchill, Ruel V. (517.7
C473 / 517.7 C473-1a2)
Functions of a complex variable. Moretti, Gino.(517.8 M818)
Denicin 62 Sea f : R
+
R, es decir una funcin real denida para t 0. Si
la integral
R

0
e
st
f(t)dt, existe donde s puede ser real o complejo, se dene una
funcin de s
F(s) =
Z

0
e
st
f(t)dt.
La funcin F(s) se llama transformada de Laplace de la funcin original f(t) y se
denota por L{f(t)}, entonces
F(s) = L{f(t)} =
Z

0
e
st
f(t)dt.
La funcin original f(t) se conoce como transformada inversa o inversa de F(s),
es decir
f(t) = L
1
{F(s)}.
58
La funcin original tambin puede ser una funcin compleja de variable real, es
decir f : R
+
C , f(t) = f
r
(t) + i f
i
(t). La transformada de Laplace en este caso
se dene del mismo modo
F(s) =
Z

0
e
st
f(t)dt =
Z

0
e
st
(f
r
(t) +i f
i
(t)) dt.
Notacin: las funciones originales se denotan mediante letras minsculas y sus
transformadas por las mismas letras en mayscula.
Teorema 52 Si la integral
R

0
e
st
f(t)dt converge absolutamente para s =
0
en-
tonces la integral converge absoluta y uniformemente para todo Re(s)
0
.
Abscisa de convergencia
Denicin 63 El nmero es la abscisa de convergencia absoluta si la integral
de Laplace converge absolutamente para Re(s) > y diverge absolutamente para
Re(s) < .
Denicin 64 El nmero
0
es la abscisa de convergencia si la integral de Laplace
converge para Re(s) >
0
y diverge para Re(s) <
0
.
Orden Exponencial
Denicin 65 Sea f : R R y R diremos que f es de orden exponencial
cuando t si existen constantes positivas M y T tales que
|f(t)| Me
t
t > T

e
t
|f(t)| M t > T
y escribimos f = O(e
t
).
59
Lema 5 Si lim
t
e
t
f(t) existe entonces f = O(e
t
).
Ejercicio 25 Probar que 1, t, t
n
, sen t, cos t, e
at
, e
it
, son de orden exponencial y e
t
2
no es de orden exponencial.
Condiciones para la existencia de la Transformada de Laplace
Teorema 53 Si
f(t) es continua a tramos en 0 t < .
f(t) es de orden exponencial, f = O(e
t
).
Entonces F(s) existe para Re(s) > . Es decir la abscisa de convergencia
0
es
menor o igual a .
Analiticidad de la Transformada de Laplace
Lema 6 Si f(t) es de orden exponencial f = O(e

0
t
) entonces tf(t) = O(e
t
) para
todo >
0
.
Teorema 54 Si f(t) es continua a tramos y de orden exponencial f = O(e

0
t
),
entonces F(s) = L{f(t)} es analtica y converge absoluta y uniformemente con
respecto a s en el semiplano Re(s) >
0
. Adems F
0
(s) = L{tf(t)}.
Funcin de Heaviside o escaln unitario
h(t) =
_
_
_
0 si t < 0
1 si t > 0
60
Conjunto de funciones transformables segn Laplace
T L = {f(t) : f continua a tramos y de orden exponencial, f(t) = 0t < 0}.
Ejercicio 26 La funcin f(t) = e
t
sen(e
t
) es continua a tramos y de orden expo-
nencial (
0
= 1)).Su abscisa de convergencia absoluta es = 1, y la abscisa de
convergencia es
0
= 0 [para probar esto ltimo haga y = e
t
y analice
R

1
sen y
y
s
dy].
Transformada Inversa. Teorema de Lerch
Teorema 55 Si dos funciones f y g tienen la misma transformada de Laplace,
entonces f g = N, donde N es una funcin nula,
R
T
0
N(t)dt = 0 T > 0.
Si dos funciones f(t) y g(t) tienen la misma transformada de Laplace, entonces
f y g toman los mismos valores en todo los puntos t > 0 donde ambas sean
continuas.
Teorema 56 Si f(t) es de orden exponencial O(e
t
) y continua a tramos, entonces
lim
Re(s)+
Im(s)=0
F(s) = 0
y |sF(s)| K cuando Im(s) = 0 y Re(s) .
Ejercicio 27 Pruebe los siguientes items:
1. Lema 6, Teoremas 53, 54, y 56.
2. L{h(t)} = L{1}.
61
3. Sobre el conjunto de funciones T L
C
= {f(t) : f continua y de orden exponen-
cial, f(t) = 0t < 0}, la transformada de Laplace tiene inversa nica.
Propiedades
Consideremos el siguiente par de transformadas de Laplace con su correspondiente
regiones de convergencia:
f(t) F(s) Re(s) > p
g(t) G(s) Re(s) > q
Linealidad
Para , C:
f(t) + g(t) F(s) + G(s) Re(s) > max(p, q)
Traslacin
Para C:
e
t
f(t) F(s ) Re(s) > p + Re()
Para a > 0:
h(t a)f(t a) e
as
F(s) Re(s) > p
Cambio de escala
Para a > 0:
f(at)
1
a
F(
s
a
) Re(s) > a p
Derivadas
f
(n)
(t) s
n
F(s) s
n1
f(0) f
(n1)
(0) Re(s) > p
(1)
n
t
n
f(t) F
(n)
(s) Re(s) > p
Integrales
R
t
0
f(t)dt
1
s
F(s) Re(s) > max(p, 0)
Si lim
t0
f(t)
t

f(t)
t

R

s
F(u)du Re(s) > p
62
Ejercicio 28 Pruebe las propiedades anteriores para valores de s que estn sobre
una semirecta en el eje real y luego extindalas por prolongacin analtica sobre todo
el semiplano de la regin de convergencia.
Funciones Peridicas
Teorema 57 Sea f(t) peridica, de periodo T, es decir f(t + T) = f(t), t > 0. Si
f es continua a tramos en el periodo 0 t T, su transformada existe y podemos
escribir
F(s) =
1
1 e
sT
Z
T
0
e
s t
f(t)dt.
Propiedades asintticas
Teorema 58 Teorema del Valor Inicial. Si f y f
0
son continuas a tramos y de
orden exponencial, L{f(t)} = F(s) y existe el lim
Re(s)+
Im(s)=0
sF(s), entonces
f(0) = lim
Re(s)+
Im(s)=0
sF(s).
Teorema 59 Teorema del Valor Final. Si f y f
0
admiten transformada de
Laplace para Re(s) > 0 y L{f(t)} = F(s), si existe lim
t
f(t), entonces
lim
s0
sF(s) =lim
t
f(t).
63
Producto de Convolucin
Denicin 66 El producto de convolucin entre dos funciones f(t) y g(t) (cuya
notacin es f g) se dene mediante la integral
R
+

f(u)g(t u)du, sin embargo

en el caso de utilizarse en aplicaciones junto a la transformada de Laplace, o bien
porque se considera que f(t), g(t) y (f g)
(t)
son nulas para t < 0, o estn slo
denidas en (0, +), la integral resulta con los siguientes extremos:
(f g)
(t)
=
Z
t
0
f(u)g(t u)du t > 0.
Propiedades
f g = g f
(f g) v = f (g v)
f (g
1
+g
2
) = f g
1
+f g
2
Teorema de Convolucin
Teorema 60 Si f(t) y g(t) son las transformadas inversas de F(s) y G(s) respec-
tivamente, la transformada inversa del producto F(s)G(s) es la convolucin de f(t)
y g(t).
Resolucin de ecuaciones diferenciales.
La transformada de Laplace provee un mtodo para resolver ecuaciones diferenciales
(lineales con coecientes constantes) y los correspondientes problemas con condicio-
nes iniciales o con valores en la frontera. El proceso de resolucin consta de tres
pasos principales:
1. El problema complejo de resolver una ecuacin diferencal o un sistema de
ecuaciones diferenciales se transforma, utilizando la propiedad de las derivadas,
en un problema ms sencillo de resolver una ecuacin algebraica o un sistema
algebraico lineal.
64
2. Se resuelve el problema haciendo manipulaciones algebraicas.
3. La solucin del sistema algebraico se transforma en sentido inverso para obte-
ner la solucin del problema dado.
En la mayora de las aplicaciones consideradas en este curso se obtienne una
solucin de la forma Y (s) =
P(s)
Q(s)
,donde P y Q son polinomios en s. En tal caso
es posible determinar la solucin y(t) = L
1
{Y (s)}, expresando primero Y (s) en
trminos de fracciones parciales, y luego antitransformando. A este mtodo se lo
llama: Desarrollo de Heaviside.
65
Series de Fourier
Bibliografa
Matemticas Avanzadas para Ingeniera. James, G.,Pearson Educacin
Series de Fourier y problemas de contorno. Churchill, Ruel V. (517.2. C473-
1).
Introduccin al clculo y al anlisis matemtico. Courant, Richard; John,
Fritz., vol. 1 (517. C833).
Matemticas avanzadas para ingeniera. 2. Kreyszig, Erwin. Limusa. Mxico.
(517. K889-2 / 517. K889-1/ 517. K889).
Denicin 67 Una funcin real, f : R R es peridica, de periodo T, si verica
f(x) = f(x +T), x R, y el valor =
2
T
se denomina frecuencia.
Ejercicio 29 Muestre que:
1. Las funciones senx y cos x son funciones peridicas de periodo T = 2, y las
funciones cos
nx
L
y sen
nx
L
tienen periodo T = 2L y frecuencia =

L
.
2. Si f(x) es una funcin peridica de periodo T, para cualquier constante arbi-
traria a
Z
T
0
f(x)dx =
Z
a+T
a
f(x)dx =
Z
T/2
T/2
f(x)dx
Denicin 68 Una funcin real, f : R R es par, si verica f(x) = f(x),
x R.
66
Denicin 69 Una funcin real, f : R R es impar, si verica f(x) = f(x),
x R.
Denicin 70 Sea f una funcin cuyo lmite a derecha f(x
+
0
) existe en el punto
x
0
. La derivada a derecha se dene como sigue:
f
0
D
(x
0
) = lim
0
+
f(x
0
+) f(x
+
0
)

cuando el lmite existe.

Denicin 71 Sea f una funcin cuyo lmite a izquierda f(x

0
) existe en el punto
x
0
. La derivada a izquierda se dene como sigue:
f
0
I
(x
0
) = lim
0
+
f(x

0
) f(x
0
)

cuando el lmite existe.

Si existe f
0
(x
0
), entonces existen ambas derivadas laterales y son iguales,
f
0
(x
0
) = f
0
D
(x
0
) = f
0
I
(x
0
).
Series de Fourier
Denicin 72 La serie trigonomtrica
1
2
a
0
+

X
n=1
(a
n
cos nx +b
n
sen nx)
o bien en notacin compleja

X
n=

n
e
inx
es la serie de Fourier de una funcin f(x) si sus coecientes vienen dados por las
frmulas
a
0
=
1

f(x) dx,
67
a
n
=
1

f(x) cos nxdx n = 1, 2, ...

b
n
=
1

f(x) sen nxdx n = 1, 2, ...

n
=
1
2
Z

f(x)e
inx
dx n = 0, 1, 2, ...
donde f es alguna funcin denida en el intervalo (, ).
El trmino
a
0
2
=
0
es el valor medio de f(x) en el intervalo (, ).
Cada uno de los trminos de la serie es peridico en x con periodo T = 2.

n
=
a
n
i b
n
2
para n > 0.

n
=
n
.
La serie de Fourier tiene dos aplicaciones fundamentales:
1. Representar una funcin denida en el intervalo (, ).
2. Representar una funcin peridica, con periodo 2 para todos los
valores de x.
Teorema 61 Sea f una funcin continua a tramos en el intervalo [, ] y peridi-
ca de periodo 2. Entonces su serie de Fourier converge al valor
f(x
+
0
) +f(x

0
)
2
en todos los puntos x
0
donde f tenga derivada a derecha y a izquierda.
La convergencia de la serie

P
n=

n
e
inx
, signica la existencia del lmite de la
suma parcial
S
N
(x) =
N
X
n=N

n
e
inx
=
1
2
a
0
+
N
X
n=1
(a
n
cos nx +b
n
sen nx)
68
Si las extensiones peridicas de f(x) y f
0
(x) son continuas a tramos, la serie
de Fourier de f es convergente para todo x real.
Condiciones de Dirichlet
Si bien de acuerdo al teorema anterior la serie de Fourier converge si f(x) y f
0
(x)
son continuas a tramos, puede demostrarse tambin para condiciones mucho ms
generales. Sin embargo, el resultado formulado es suciente para la mayora de
las aplicaciones. Las condiciones ms generales se conocen como Condiciones de
Dirichlet.
Denicin 73 Una funcin f(x) se dice que satisface las condiciones de Dirichlet
en un intervalo (a, b), en el cual est denida cuando satisface una de estas dos
condiciones:
1. f(x) es acotada en (a, b), y el intervalo puede ser partido en un nmero nito
de intervalos abiertos parciales, en cada uno de los cuales f(x) es montona (
f tiene un nmero nito de mximos y mnimos en (a, b) ).
2. f(x) tiene un nmero nito de puntos de discontinuidad innita en el intervalo
(a, b). Cuando se excluyen pequeos entornos alrededor de estos puntos, f(x)
es acotada en el resto del intervalo y ste puede ser partido en un nmero nito
de intervalos abiertos parciales, en cada uno de los cuales f(x) es montona.
Adems la integral
R
b
a
f(x)dx es absolutamente convergente.
Serie de Cosenos
Cuando f es una funcin par en el intervalo (, ) sus coecientes tienen valores
a
0
=
2

Z

0
f(x) dx,
a
n
=
2

Z

0
f(x) cos nxdx n = 1, 2, ...
69
b
n
= 0 n = 1, 2, ...
Por lo tanto su serie de Fourier se reduce a
a
0
2
+

X
n=1
a
n
cos nx.
Es la serie de Fourier de cosenos. Sirve para:
1. Representar funciones pares denidas en el intervalo (, ).
2. Representar funciones peridicas pares de periodo 2.
3. Representar funciones denidas en el intervalo (0, ).
Serie de Senos
Cuando f es una funcin impar en el intervalo (, ) sus coecientes tienen valores
a
0
= 0,
a
n
= 0 n = 1, 2, ...
b
n
=
2

Z

0
f(x) sennxdx n = 1, 2, ...
Por lo tanto su serie de Fourier se reduce a

X
n=1
b
n
sennx.
Es la serie de Fourier de senos. Sirve para:
1. Representar funciones impares denidas en el intervalo (, ).
2. Representar funciones peridicas impares de periodo 2.
3. Representar funciones denidas en el intervalo (0, ).
70
En consecuencia si una funcin f(x) est denida solo en el intervalo [0, ],
podemos extenderla al intervalo [, ] ya sea como una funcin par o como
una funcin impar y desarrollar en una serie de cosenos o una serie de senos
que represente a f(x) en la mitad del intervalo.
Teorema 62 Si una funcin f es peridica con periodo T = 2L, continua a tramos
en [L, L], tiene como representacin la serie
f(x) v
a
0
2
+

X
n=1

a
n
cos
nx
L
+b
n
sen
nx
L

a
0
=
1
L
Z
L
L
f(x) dx
a
n
=
1
L
Z
L
L
f(x) cos
nx
L
dx n = 1, 2, ...
b
n
=
1
L
Z
L
L
f(x) sen
nx
L
dx n = 1, 2, ...
o bien en la forma exponencial
f(x)

X

n
e
inx
L
donde

n
=
1
2L
Z
L
L
f(x)e

inx
L
.
La serie converge a
f(x
+
0
)+f(x

0
)
2
en todos los puntos x
0
donde f tenga derivada a
derecha y a izquierda.
Ejercicio 30 Muestre que:
71
1. Si f es peridica con periodo T = 2L y un nmero real cualquiera, entonces
a
0
=
1
L
Z
+2L

f(x) dx
a
n
=
1
L
Z
+2L

f(x) cos
nx
L
dx
b
n
=
1
L
Z
+2L

f(x) sen
nx
L
dx
2. Los coecientes de Fourier de una suma de funciones f
1
+f
2
son las sumas de
los coecientes correspondientes a f
1
y f
2
.
Simetras
En cualquier funcin peridica con perido T = 2L se puede demostrar que hay
condiciones de simetra que permiten establecer la existencia o no de determinados
trminos en la serie de Fourier, lo que ahorra trabajo en el clculo.
Funcin impar: f(x) = f(x), slo tienen trminos en senos, a
0
= a
n
= 0
y
b
n
=
2
L
Z
L
0
f(x) sen
nx
L
dx
para n = 1, 2, ...; es decir dos veces la integral sobre la mitad del intervalo.
Adems
n
es imaginario puro.
Funcin par: f(x) = f(x), slo tienen trminos en cosenos y la constante.
b
n
= 0 y
a
n
=
2
L
Z
L
0
f(x) cos
nx
L
dx
72
para n = 0, 1, 2, ...;es decir dos veces la integral de la mitad del intervalo.
Adems
n
es real.
Simetra de media onda: Se dice que hay simetra de media onda cuando
es f(x) = f(x L). Resulta que:
a
0
= 0,
para n par (n = 2k) :
a
2k
= b
2k
= 0,
y para n impar (n = 2k + 1) :
a
2k+1
=
2
L
Z
L
0
f(x) cos
(2k + 1)x
L
dx,
b
2k+1
=
2
L
Z
L
0
f(x) sen
(2k + 1)x
L
dx,
para k = 0, 1, 2, ...
El hecho de ser funcin par o impar nada tiene que ver con los ndices o frecuen-
cias armnicas pares o impares. Adems puede hacerse una funcin par o impar
mediante un cambio de ejes.
En resumen si una funcin es par, o impar, o tiene simetra de media onda,
ciertos coecientes son cero y el clculo de los restantes puede hacerse integrando
sobre medio perodo y multiplicando el resultado por dos. Ms an, si la onda tiene
simetra de media onda y adems es par o impar, es suciente integrar en un cuarto
del periodo y luego multiplicar por cuatro.
73
Ejemplos: Sumas parciales de la serie:

X
k=0
4
(2k+1)
sen(2k + 1)x
10 8 6 4 2 0 2 4 6 8 10
2
1
0
1
2
10 8 6 4 2 0 2 4 6 8 10
2
1
0
1
2
10 8 6 4 2 0 2 4 6 8 10
2
1
0
1
2
S
1
(x)
S
3
(x)
S
5
(x)
x
10 8 6 4 2 0 2 4 6 8 10
2
1
0
1
2
10 8 6 4 2 0 2 4 6 8 10
2
1
0
1
2
10 8 6 4 2 0 2 4 6 8 10
2
1
0
1
2
S
10
(x)
S
20
(x)
S
100
(x)
x
74
Sumas parciales de la serie:

2
+
P

k=0
4
(2k+1)
2
cos(2k + 1)x
10 8 6 4 2 0 2 4 6 8 10
0
1
2
3
10 8 6 4 2 0 2 4 6 8 10
0
1
2
3
10 8 6 4 2 0 2 4 6 8 10
0
1
2
3
4
S
1
(x)
S
3
(x)
S
5
(x)
x
Sumas parciales de la serie:
P

n=1
2(1)
n
n
sennx
10 8 6 4 2 0 2 4 6 8 10
1
0.5
0
0.5
1
x
f
(
x
)
16 14 12 10 8 6 4 2 0 2 4 6 8 10 12 14 16
0
0.5
1
M
o
d
u
l
o
16 14 12 10 8 6 4 2 0 2 4 6 8 10 12 14 16
3.14
1.57
0
1.57
3.14

F
a
s
e

[
r
a
d
]
75
Sntesis de ondas.
Las series de Fourier se pueden utilizar para sintetizar ondas peridicas como una
suma innita de senoidales y/o cosenoidales de la frecuencia fundamental =

L
y
sus multiplos (armnicos) n. Es decir dichas ondas se pueden aproximar mediante
la sumas parciales de su serie de Fourier. Por ejemplo, partiendo de la expresin de la
onda cuadrada desarrollada en serie y viendo grcamente sus sumas parciales como
muestran las guras del ejemplo anterior, se puede apreciar como la aproximacin
comienza a ser mejor a medida que se incrementa la cantidad de trminos. Sin
embargo siempre permanece una ondulacin que semejan orejas a ambos lados
de la discontinuidad (fenmeno de Gibbs). Con el aumento de los trminos las
mismas se estrechan pero no disminuyen su amplitud que se establece en un 9% del
salto de la discontinuidad. La serie innita, sin embargo, converge exactamente a la
funcin, excepto en la discontinuidad donde converge al punto medio de la misma.
Convergencia Uniforme
Teorema 63 Sea f una funcin continua en el intervalo [L, L], tal que f(L) =
f(L) cuya derivada f
0
es continua a tramos en ese intervalo. Entonces la serie
a
0
2
+

X
n=1

a
n
cos
nx
L
+b
n
sen
nx
L

y la serie

n
e
inx
L
convergen a f(x) en el intervalo [L, L] absoluta y uniformemente.
La hiptisis de este teorema es equivalente a pedir que la extensin peridica
de f sea continua para todas las x y la derivada continua a tramos.
76
Una serie de Fourier no puede converger uniformemente en un intervalo que
contenga alguna discontinuidad.
Ejercicio 31 Compare el teorma anterior (63) con el teorema (12 y 11) de conver-
gencia uniforme de serie de funciones reales y el test de Weierstrass.
Teorema 64 Si f es una funcin continua en el intervalo [L, L], tal que f(L) =
f(L) y f
0
es continua a tramos en ese intervalo, entonces la serie de Fourier de f(x)
a
0
2
+

X
n=1

a
n
cos
nx
L
+b
n
sen
nx
L

n
e
inx
L
es derivable trmino a trmino en todo punto donde f
0
(x) tenga derivada a derecha
y a izquierda, y
f
0
(x)

X
n=1

n
L
a
n
sen
nx
L
+
n
L
b
n
cos
nx
L

f
0
(x)

X

in
L

n
e
inx
L
.
Teorema 65 Si f es una funcin continua a tramos con derivada continua a tramos
en el intervalo [L, L] y desarrollo en serie de Fourier (a
0
= 0)
f(x)

X
n=1

a
n
cos
nx
L
+b
n
sen
nx
L

,
entonces
Z
x
L
f(u)du
A
0
2
+

X
n=1

La
n
n
sen
nx
L

Lb
n
n
cos
nx
L

77
con A
0
=
1
L
R
L
L
uf(u)du.
(Si a
0
6= 0 basta considerar g(x) = f(x) a
0
/2).
Identidad de Parseval
Teorema 66 Si f(x) es acotada e integrable en [L, L], a
n
y b
n
los coecientes de
Fourier de f, entonces
1
L
Z
L
L
f
2
(x)dx =
a
2
0
2
+

X
n=1

a
2
n
+b
2
n

o bien
1
2L
Z
L
L
f
2
(x)dx =

X
n=
|
n
|
2
.
De la identidad de Parseval se observa que el valor RMS (medio cuadrtico) de
la onda total es la raz cuadrada de la suma de los cuadrados de los valores RMS de
sus componentes:
RMS(f(x)) =
s
1
2L
Z
L
L
f
2
(x)dx =
v
u
u
t

a
0
2

2
+

X
n=1

a
n

2
+

b
n

2
!
Orden de decrecimiento de los trminos de la serie
Sea f una funcin contnua a tramos y considere que en todo x
0
se cumple que
f(x
0
) =
f(x
+
0
)+f(x

0
)
2
. En los puntos siguientes, considere la continuidad de las exten-
siones peridicas de f y sus derivadas.
Si f y f
0
son continuas a tramos entonces existe una constante k tal que
|a
n
| <
k
n
, |b
n
| <
k
n
y |
n
| <
k
n
.
Si f es discontinua pero f y f
0
son continuas a tramos, el orden de decreci-
miento de los coecientes no puede ser ms rpido que
1
n
.
78
Si f, f
0
, f
00
, ..., f
(p1)
son continuas y f
(p)
y f
(p+1)
continuas a tramos, entonces
los coecientes decrecen al menos como
1
n
p+1
. Si adems f
(p)
es discontinua
(pero f
(p)
y f
(p+1)
continuas a tramos), entonces los coecientes no decrecen
ms rpido que
1
n
p+1
.
Resumiendo, para conocer el rden de decrecimiento hay que encontrar la primer
derivada continua a tramos que presenta una discontinuidad de tipo salto, y quq la
siguiente derivada siga siendo continua a tramos.
Espectros en frecuencia.
Puede escribirse una serie de Fourier mediante trminos que slo contengan senos o
cosenos, independientemente de que sea o no, par o impar. Utilizando la relaciones
trigonomtricas:
a cos x +b sen x =

a
2
+b
2
2
cos[x tan
1
(
b
a
)]
entonces la serie tendr la forma:
a
0
2
+

X
n=1
c
n
cos(nx )
a
0
2
+

X
n=1
c
n
sen(nx )
con:
c
n
= 2 |
n
| =
p
a
2
n
+b
2
n
, = arg(
n
) = tan
1
(
bn
an
), y =

2
. Sin embargo
sigue siendo una forma ms compacta la serie de exponenciales:

n
e
inx
La gracacin de este desarrollo en serie es muy clara si se lo hace en funcin de la
frecuencia, lo que da lugar a representaciones denominadas Espectros en Frecuencia.
Como se deben indicar dos datos para cada componente: amplitud y fase, se
79
obtienen los espectros de Amplitud y de Fase.
En ambos casos se tiene slo valores para un nmero entero de veces la frecuencia
fundamental =

L
, lo que implica un espectro de lneas, discreto, y no una curva
continua.
Si la serie est desarrollada en funciones senos y cosenos se debe pasar primero
a la forma de solo trminos en senos, cosenos o exponenciales para que pueda ser
representada en frecuencia.
En los siguientes grcos se muestran para cada onda el espectro en frecuencia,
el mdulo y la fase de los coecientes de Fourier de sus correspondientes series de
exponenciales complejas, es decir Mdulo:|
n
| y Fase: Arg (
n
)
Onda cuadrada y su espectro en frecuencia:
+
P

2i
(2k+1)
e
i(2k+1)x
16 14 12 10 8 6 4 2 0 2 4 6 8 10 12 14 16
0.2
0
0.2
0.4
0.6
0.8
M
o
d
u
l
o
16 14 12 10 8 6 4 2 0 2 4 6 8 10 12 14 16
3.14
1.57
0
1.57
3.14

F
a
s
e

[
r
a
d
]
10 8 6 4 2 0 2 4 6 8 10
1
0.5
0
0.5
1
x
f
(
x
)
80
Onda triangular y su espectro en frecuencia:

2

+
P

2
(2k+1)
2
e
i(2k+1)x
10 8 6 4 2 0 2 4 6 8 10
0
0.5
1
x
f
(
x
)
16 14 12 10 8 6 4 2 0 2 4 6 8 10 12 14 16
0
0.5
1
1.5
2
M
o
d
u
l
o
16 14 12 10 8 6 4 2 0 2 4 6 8 10 12 14 16
1.57
0
1.57
3.14
4.71

F
a
s
e

[
r
a
d
]
Onda diente de sierra y su espectro en frecuencia:
+
P

n6=0
(1)
n
i
n
e
inx
10 8 6 4 2 0 2 4 6 8 10
1
0.5
0
0.5
1
x
f
(
x
)
16 14 12 10 8 6 4 2 0 2 4 6 8 10 12 14 16
0
0.5
1
M
o
d
u
l
o
16 14 12 10 8 6 4 2 0 2 4 6 8 10 12 14 16
3.14
1.57
0
1.57
3.14

F
a
s
e

[
r
a
d
]
81
Transformaciones en el plano complejo
Si una funcin compleja w = f(z) est denida en un dominio D del plano z,
entonces a cada punto de D le corresponde un punto en el plano w. De esta manera
se tiene un mapeo, aplicacin o transformacin de D sobre el rango de valores de
f(z) en el plano w, que se denomina imagen de D.
Este enfoque geomtrico del anlisis complejo ayuda a visualizar la naturaleza
de una funcin compleja, al considerar el modo en el que la funcin aplica ciertas
curvas y regiones.
Transformaciones lineales
Primer tipo
w = z
donde es una constante compleja.
|w| = || |z|
arg w = arg + arg z
Esta transformacin:
dilata o contrae segn || > 1 || < 1.
rota un ngulo arg .
Segundo tipo
w = z +
donde es una constante compleja.
Es una traslacin mediante el vector .
82
Transformacin lineal general
w = z +
( 6= 0) es la composicin de las transformaciones:
Z = z y w = Z +
Es una dilatacin o contraccin y una rotacin, seguida de una traslacin.
Inversin
w =
1
z
Es la composicin de dos transformaciones:
Z =
z
|z|
2
, una inversin con respecto al crculo unitario.
w =

Z, una reexin con respecto al eje real.
Si z = x +i y y w = u +i v, entonces
u =
x
x
2
+y
2
x =
u
u
2
+v
2
v =
y
x
2
+y
2
y =
v
u
2
+v
2
Ejercicio 32 Pruebe que la transformacin w =
1
z
transforma crculos y rectas en
crculos o rectas.
83
Transformacin Bilineal
w =
a z +b
c z +d
donde a, b, c y d son constantes complejas y ad bc 6= 0.
Cuando c = 0 se reduce a una transformacin lineal.
Cuando c 6= 0, la transformacin admite la expresin
w =
a
c
+
bc ad
c
1
c z +d
Es una composicin de tres transformaciones
Z
1
= c z +d, Z
2
=
1
Z
1
y Z
3
= w =
a
c
+
bc ad
c
Z
2
Por lo tanto una transformacin bilineal siempre transforma crculos y rectas en
crculos o rectas.
Existe siempre una transformacin bilineal que aplica tres puntos distintos z
1
, z
2
, z
3
sobre tres puntos distintos w
1
, w
2
, w
3
, y se verica la siguiente frmula:
w w
1
w w
3
w
2
w
3
w
2
w
1
=
z z
1
z z
3
z
2
z
3
z
2
z
1
Ejercicio 33 Halle una transformacin bilineal que aplique el crculo unitario en el
plano z sobre la mitad superior del plano w.
84
Transformaciones conformes
Denicin 74 Una transformacin w = f(z), se llama conforme en un punto z
0
,
si f es analtica en l y f
0
(z
0
) 6= 0.
Las transformaciones conformes tienen la propiedad de conservar los ngulos,
mantienen la forma localmente. Si un par de curvas se cortan en un punto z
0
donde una transformacin w = f(z) es conforme, sus curvas imgenes se cortan
en w
0
= f(z
0
) manteniendo el mismo ngulo (magnitud y sentido) entre sus rectas
tangentes que el de las curvas originales.
Teorema 67 Una transformacin w = f(z) que sea conforme en un punto z
0
tiene
una inversa local en z
0
.
El conocimiento de que f
0
(z
0
) 6= 0 es suciente para llegar a la conclusin de
que la transformacin es inyectiva (uno a uno) si se restringe a un entorno de z
0
sucientemente pequeo. Pero an cuando sea f
0
(z
0
) 6= 0 en todos los puntos de un
dominio, no se puede armar que la aplicacin sea inyectiva en ese dominio. Por eso
diferenciamos en decir cundo una aplicacin es conforme en cada uno de los puntos
de un dominio y cundo es conforme sobre todo el dominio.
Denicin 75 Una transformacin w = f(z), denida en un dominio D, se llama
conforme en cada uno de sus puntos,si f es analtica en D y su derivada no
tiene ceros en D.
Denicin 76 Una transformacin w = f(z), denida en un dominio D, se llama
conforme en todo D, si f es es inyectiva (uno a uno) y analtica en D.
Teorema 68 Supongamos que una funcin analtica w = f(z) = u(x, y) +i v(x, y)
aplica un dominio D
z
del plano z sobre un dominio D
w
del plano w. Si h(u, v) es una
funcin armnica denida sobre D
w
, entonces la funcin H(x, y) = h(u(x, y), v(x, y))
es armnica sobre D
z
.
85
Ejercicio 34 Conservacin de angulos y puntos interiores
1. Sea Ael sector angular de 60
o
(a partir del eje real positivo) del crculo unitario:
(a) Encuentre la imagen al aplicarle la transformacin w = z
3
.Se cumple la
propiedad de conservacin de ngulos?
(b) Aplique la transformacin w = z
6
. El punto z =
1
2
es un punto frontera
de A. Es la imgen de este punto tambin un punto frontera?
2. Muestre que si una transformacin y su inversa son continuas entonces la
imagen de un punto interior de un conjunto es un punto interior del conjunto
imagen.
Principio de variacin del argumento.
Sea C un contorno cerrado simple orientado positivamente en el plano z, y sea f
una funcin analtica sobre C. Supongamos que f no tiene ceros sobre C. La imagen
de C bajo la tranformacin w = f(z) es un contorno cerrado en el plano w.
Cuando un punto z recorre C en sentido positivo, su imagen w recorre en una
determinada direccin que ja una orientacin sobre . Como f no tiene ceros sobre
C, el contorno no pasa por el origen del plano w.
El cambio de arg w al describir una vez en su sentido de orientacin (inicia con
arg w =
0
y naliza en el mismo punto con arg w =
1
) es

C
arg f(z) =
1

0
,
es un mltiplo de 2 y
1
2

C
arg f(z), es el nmero de veces que el punto w gira en
torno al origen en el plano w, cuando z describe C una vez en sentido positivo.
86
Teorema 69 Sea C un contorno cerrado simple, en sentido positivo, y sea f una
funcin analtica dentro y sobre C, excepto en un nmero nito de polos interiores
a C. Supongamos adems que f no tiene ceros sobre C. Entonces
1
2

C
arg f(z) = Z P
donde Z es el nmero total de ceros de f dentro de C y P es el nmero total de
polos de f dentro de C (contando su multiplicidad, es decir un polo doble o cero
doble se cuentan como dos).
Ejercicio 35 Principio de Variacin del Argumento
1. Bajo las mismas condiciones del teorema anterior pruebe que
1
2

C
arg f(z) =
1
2i
R
C
f
0
(z)
f(z)
dz, y luego que
1
2i
R
C
f
0
(z)
f(z)
dz = Z P.
2. Sea C el crculo unidad |z| = 1 descripto en sentido positivo. Hallar el valor
de
C
arg f(z) para las funciones: (a) f(z) = z
2
, (b) f(z) =
z
3
+ 2
2z + 1
.

u
v
3. Sea f una funcin analtica dentro y sobre un contorno cerrado simple C,
excepto en un nico punto interior a C, que es un polo simple de f. Adems f
no se anula en ningn punto de C. Sea la imagen de C bajo la transformacin
w = f(z), la cual se muestra en la gura. Determinar el valor de la variacin
del agumento de f sobre C, y tambin el nmero de ceros de f interiores a C.
Espacio de funciones
y Series de Fourier
Bibliografa
Series de Fourier y problemas de contorno. Churchill, Ruel V. (517.2. C473-
1).
Matemticas avanzadas para ingeniera. Kreyszig, Erwin. Limusa. Mxico.
(517. K889-2 / 517. K889-1/ 517. K889).
Los espacios vectoriales tienen un rol muy importante en muchas ramas de la
matemtica y sus aplicaciones. En muchos problemas tericos y prcticos se trabaja
con conjuntos de elementos y operaciones que tienen propiedades anlogas al espacio
vectorial Euclideano R
n
(muy conocido en los primeros cursos de algebra). Se vern
ahora otros espacios, en especial espacios vectoriales de funciones.
Espacios Vectoriales
Denicin 77 Un espacio vectorial sobre un cuerpo K es un conjunto no-vaco X
de elementos que llamaremos vectores junto con dos operaciones algebraicas: suma
de vectores (XX X) y multiplicacin por escalares (KX X), los escalares
son los elementos de K, las cuales verican x, y, z X y , K:
87
88
1. x +y = y +x
2. x + (y +z) = (x +y) +z
3. 0 X tal que x + 0 = x
4. x X tal que x + (x) = 0
5. (x) = ()x
6. 1x = x
7. (x +y) = x +y
8. ( +)x = x +x
Generalmente K es el cuerpo de los nmeros reales (R) o el cuerpo de los nmeros
complejos (C)
Ejemplos
R
n
con las operaciones usuales de vectores es un espacio vectorial sobre R (con
escalares reales o lo que se suele decir es un R-espacio vectorial).
C
n
, el conjunto de vectores de dimensin n, cuyas componentes son nmeros
complejos, con las operaciones usuales de vectores (suma componente a com-
ponente, y multiplicacin de cada componente por el escalar) es un C-espacio
vectorial.
C[a, b], el conjunto de funciones continuas reales denidas en el intervalo [a, b],
con las operaciones usuales de suma de funciones y multiplicacin por cons-
tantes: (f +g)
(x)
= f(x) +g(x), y (f)
(x)
= f(x), es un R-espacio vectorial.
C
n
[a, b], el conjunto de funciones reales con n derivadas continuas denidas en
el intervalo [a, b], con las operaciones usuales de funciones (como en C[a, b]) es
un R-espacio vectorial.
89
El conjunto de las funciones de variable compleja enteras es un C-espacio
vectorial.
CT[a, b], el conjunto de funciones reales continuas a tramos en el intervalo
[a, b], con las operaciones usuales de funciones (como en C[a, b]) es un R-espacio
vectorial.
Independencia lineal
Denicin 78 Un conjunto nito de vectores M = {x
1
, x
2, ...
, x
n
} en un espacio
vectorial X es linealmente independiente si la ecuacin

1
x
1
+
2
x
2
+ +
n
x
n
= 0
implica que
1
=
2
= =
n
= 0. Un subconjunto arbitrario M de X es
linealmente independiente si todo subconjunto no-vaco y nito de M es linealmente
independiente. Se dice que M es linealmente dependiente si no es linealmente
independiente.
Denicin 79 Un subespacio de un espacio vectorial X es un subconjunto no vaco
Y de X tal que para todo y
1
, y
2
Y y para todos los escalares , se tiene que
y
1
+y
2
Y. Por lo tanto Y es en s mismo un espacio vectorial con las operaciones
inducidas por las operaciones de X restringidas a Y.
Ejercicio 36 Muestre que:
1. C[a, b] es un espacio vectorial
2. X = {f : [a, b] C |f(t) = u(t) + i v(t), con u, v C[a, b]} es un C-espacio
vectorial.
90
3. Las funciones senx, sen 2x, . . . , sennx son linealmente independientes en C[, ]
para cualquier nmero natural n. [Sugerencia: sea
n
P
k=1

k
sen kx; multiplicar
por sen jx donde j = 1, . . . , n; e integrar de a ].
4. El conjunto innito
{senx, sen 2x, . . . , sennx, . . .} = {sen nx, con n N}
es linealmete independiente en C[, ].
5. C[a, b] es un subespacio de CT[a, b].
6. El conjunto CP[a, b] de funciones continuas pares en el intervalo [a, b] es un
subespacio de C[a, b]
Denicin 80 Un producto escalar o producto interior sobre X es una funcin de
X X K, es decir a todo par de vectores x e y le asocia un escalar el cual se
escribe as
hx, yi
y verica las siguientes propiedades x, y, z X y K:
1. hx +y, zi = hx, zi + hy, zi
2. hx, yi = hx, yi
3. hx, yi = hy, xi
4. hx, xi 0
5. hx, xi = 0 x = 0.
(la propiedad 3 indica que hx, xi R
+
, an cuando K = C).
91
Por ejemplo par de vectores x, y en R
2
el producto escalar es
hx, yi = h(x
1
, x
2
), (y
1
, y
2
)i = x
1
y
1
+x
2
y
2
Un producto escalar en C[a, b] es:
hf(x), g(x)i =
Z
b
a
f(x)g(x)dx
Entindase que no es la nica manera de denir un producto escalar en C[a, b], por
ejemplo podra incluirse en la integral alguna funcin de peso.
Denicin 81 En un espacio vectorial X con producto escalar se dice que dos ele-
mentos x, y X son ortogonales si
hx, yi = 0.
Denicin 82 En un espacio vectorial X con producto escalar se dene a la norma
de vectores inducida por el producto escalar como:
kxk = hx, xi
1/2
x X.
En C[a, b]:
kf(x)k =
s
Z
b
a
f
2
(x)dx
En en el espacio de funciones continuas a tramos, CT[a, b], la integral
R
b
a
f(x)g(x)dx
no dene un producto escalar. No cumple la propiedad 5, pues
R
b
a
f
2
(x)dx es nula
no slo si la funcin f es la funcin cero, sino que puede ser una funcin nula (una
funcin nula toma valor cero casi en todo el intervalo, excepto en un nmero nito
de puntos). Esto se soluciona considerando que dos funciones en CT[a, b] son idn-
ticas si su diferencia es una funcin nula. Es decir si se considera que un vector de
CT[a, b] en realidad es un conjunto de funciones cuya diferencia es una funcin nula.
Por ejemplo el vector cero est identicado por el conjunto de funciones nulas, la
92
funcin constante 1 se identica con la funcin
x
x
, y con toda funcin de la forma
1 +N(x) donde N es una funcin nula. Con esta salvedad la integral
R
b
a
f(x)g(x)dx
es un producto escalar en CT[a, b].
Cuando se trabaja en espacios de funciones complejas el producto escalar se
dene as: hf, gi =
R
b
a
f(x)g(x)dx.
Un conjunto de funciones ortogonales se suele llamar sistema de funciones
ortogonales.
Denicin 83 Un conjunto de funciones {
n
(x)} se dice que es un sistema or-
tonormal si
h
n
(x),
m
(x)i =
_
_
_
0 si n 6= m
1 si n = m
.
Denicin 84 Dado un sistema ortonormal de funciones {
n
(x)} se dice que la
serie
c
0

0
(x) +c
1

1
(x) + +c
n

n
(x) + =

X
n=0
c
n

n
(x)
es la serie de Fourier generalizada de la funcin f cuando los c
n
son los coe-
cientes de Fourier c
n
= hf(x),
n
(x)i.
Ejercicio 37 Producto escalar. Polinomios ortonormales. Desigualdad de Bessel.
Identidad de Parseval.
1. Sea f(x) = x y g(x) = 1 x
2
en el espacio C[0, 1]. Calcule hf, gi. Son orto-
gonales?
2. Sea P
0
(x) = a
0
y P
1
(x) = b
0
+ b
1
x. Encuentre los nmeros a
0
, b
0
, b
1
para que
{P
0
, P
1
} sea un conjunto ortonormal en C[1, 1].
93
3. Muestre que el conjunto de funciones {
1
2
, cos x, senx, cos 2x, sen 2x, . . . , cos nx, sen nx}
es ortogonal en C[, ]. A partir de este conjunto obtenga un conjunto orto-
normal.
4. Calcular los coecientes de Fourier de la funcin e
x
en C[1, 1] para el conjunto
de polinomios ortonormales {P
0
, P
1
} encontrado en el ejercicio 9.
5. Suponer que v
1
, . . . , v
n
es un conjunto ortonormal nito en un espacio vectorial
V. Demostrar que si v es cualquier vector en V
n
X
i=1
hv, v
i
i
2
kvk
2
.
Esta desigualdad es un caso especial de la desigualdad de Bessel. [Sugerencia:
establecer y = v
P
n
i=1
hv, v
i
iv
i
y calcular kyk
2
].
6. Suponer que v
1
, . . . , v
n
es una base ortonormal de un espacio vectorial V de
dimensin nita. Si v es cualquier vector en V, muestre que
kvk
2
=
n
X
i=1
hv, v
i
i
2
.
Aproximacin de funciones en el sentido de minimizar la norma o mnimos
cuadrados
Teorema 70 Dado un sistema ortonormal {
n
(x)}, la suma parcial S
N
(x) =
P
N
n=0
c
n

n
(x)
de la serie de Fourier generalizada de una funcin f(x), es la mejor aproximacin
en el sentido de mnimos cuadrados, es decir la integral
Z
b
a
(f(x) S
N
(x))
2
dx
es mnima cuando los coecientes son los coecientes de Fourier (c
n
= hf(x),
n
(x)i).
94
El valor de

f(x)
P
N
n=0
c
n

n
(x)

nos indica una medida del error de aproxi-

macin. Cuando los coecientes son los de Fourier se tiene que
N
X
n=0
c
2
n
kf(x)k
2
de donde es fcil ver que cuando N

X
n=0
c
2
n
kf(x)k
2
que se conoce como desigualdad de Bessel. Si se cumple que el error de aproximacin
tiende a cero cuando N , se verica la igualdad

X
n=0
c
2
n
= kf(x)k
2
conocida como Identidad de Parseval. Si en un espacio de funciones se verica la
identidad de parseval para todas sus funciones, se dice que el sistema ortonormal
es completo en dicho espacio. Se puede ver que un sistema {
n
(x)} es completo
cuando en el espacio no existe una funcin que sea ortogonal a todos las funciones
del sistema.
Ejercicio 38 Compare la aproximacin de e
x
utilizando los coecientes de Fourier
calculados en el ejercicio anterior [e
x
c
0
P
0
(x) + c
1
P
1
(x)] y una aproximacin
lineal con la frmula de Taylor [e
x
f(0) + f(0) x]. Graque la funcin y las dos
aproximaciones en el intervalo [1, 1]. Calcule el error de aproximacin en ambos
casos, cul es menor?
95
Integral de Fourier y Transformada de Fourier
Bibliografa
Matemticas avanzadas para ingeniera. 2. Kreyszig, Erwin. Limusa. Mxico.
(517. K889-2 / 517. K889-1/ 517. K889).
Clculo Avanzado Kaplan, W. (517 K14-2).
The Fourier integral and its applications Papoulis, A. (517.7. P199).
The fast Fourier transform Brigham, E. O. (A-6.678. Inst. Mat.)
De la Serie a la Integral de Fourier
Sea f(x) =
_
_
_
1 si |x| < 1
0 si |x| > 1
, si bien esta funcin no es peridica se pueden
utilizar series de Fourier para realizar aproximaciones en el intervalo [L, L] por
medio de funciones peridicas de perodo T = 2L. Por ejemplo sea f
L
(x) = f(x) si
x [L, L], y f
L
(x + 2L) = f
L
(x) x. El desarrollo de Fourier es:
f
L
(x)
1
L
+

X
n=1
2
L
sen(n/L)
n/L
cos(nx/L)
o bien
f
L
(x)
+
X
n=
1
L
sen(n/L)
n/L
e
inx/L
.
La variable discreta w =
n
L
que aparece en los trminos de la serie de Fourier
se denomina frecuencia,

L
es la frecuencia fundamental, y las dems son mltiplos
(armnicos) de sta. El valor de
w
2
indica la cantidad de ciclos peridicos contenidos
en un intervalo de longitud unitaria de x. En el siguiente grco se muestran los
coecientes de Fourier de f
L
(x) en funcin de la frecuencia w.
96
20 16 12 8 4 0 4 8 12 16 20
0
0.5
1
20 16 12 8 4 0 4 8 12 16 20
0
0.5
1
0 5 10
0.5
0
0.5
1
20 16 12 8 4 0 4 8 12 16 20
0
0.5
1
20 16 12 8 4 0 4 8 12 16 20
0
0.5
1
0 5 10
0.5
0
0.5
1
0 5 10
0.5
0
0.5
1
0 5 10
0.5
0
0.5
1
f
L
(x)
L=2
w
L=
a(w) /a(0)
x
L=8
L=4
Obsrvese que lim
L
f
L
(x) = f

(x) = f(x). Como f(x) no es peridica, no se

puede desarrollar como una serie de Fourier, sin embargo es posible expresarla con
la siguiente integral:
f(x) lim
R
Z
R
0
2

senw
w
cos(wx)dw
o bien
f(x) lim
R
Z
R
R
1

senw
w
e
iwx
dw,
esto queda justicado en el siguiente teorema:
Teorema 71 Si f(x) es continua a tramos en todo intervalo nito y tiene derivada
97
a derecha y a izquierda en todo punto y la integral
R
+

|f(x)|dx existe, entonces

f(x) se puede representar mediante una integral de Fourier. En todo punto el valor
de la integral de Fourier es el promedio de los lmites laterales de f(x) en ese punto.
f(x)
Z

0
(A(w) cos(wx) +B(w) sen(wx)) dw
donde
A(w) =
1

Z
+

f(x) cos(wx) dx
B(w) =
1

Z
+

f(x) sen(wx) dx
o en forma compleja
f(x) V.P.C.
Z
+

F(w) e
iwx
dw
donde
F(w) =
1
2
Z
+

f(x) e
iwx
dx
F(w) es la transformada de Fourier de f(x).
F(w) = (f(x))
(w)
f(x) =
1
(F(w))
(x)
F(w) f(x)
Ejercicio 39 Muestre que:
1. F(w) =
A(w)iB(w)
2
.
2. Si f es par entonces B(w) = 0 (integral de cosenos).
98
3. Si f es impar entonces A(w) = 0 (integral de senos).
4. La funcin
f(x) =
_

_
0 si x < 0

2
si x = 0
e
x
si x > 0
se puede escribir como la integral

Z
0
cos xw +wsen xw
1 +w
2
dw
[sug. calcular A(w) y B(w)]
5. La integral

Z
0
w
3
sen xw
4 +w
4
dw =

2
e
x
cos x
cuando x > 0, a qu funcin converge la integral anterior cuando x 0?
6. Sea f(x) =
_
_
_
1 cuando |x| < 1
0 cuando |x| > 1
(a) encontrar la transformada de Fourier de f(x) .
[Ayuda: F(w) = (f(x))
(w)
=
1
2
R
+

f(x) e
iwx
dx]
(b) representar a f(x) como una integral compleja de Fourier.
[Ayuda: f(x) = V.P.C.
R
+

F(w) e
iwx
dw].
99
Algunas propiedades de la transformada de Fourier
1. (c
1
f
1
(x) +c
2
f
2
(x))
(w)
= c
1
(f
1
(x))
(w)
+c
2
(f
2
(x))
(w)
(Linealidad)
2. (f
(k)
(x))
(w)
= (iw)
k
(f(x))
(w)
(Derivadas)
3. (f(x c))
(w)
= e
icw
(f(x))
(w)
(Traslacin en tiempo)
4. (e
icx
f(x))
(w)
= (f(x))
(wc)
(Traslacin en frecuencia)
5. Si (f(x))
(w)
= F(w) entonces (2F(x))
(w)
= f(w) (Dualidad)
6.
1
2
R
+

|f(x)|
2
dx =
R
+

|F(w)|
2
dw (Parseval)
7. (f g)
(w)
= (f)
(w)
(g)
(w)
donde f, g, f
1
y f
2
tienen transformada de Fourier y el producto de convolu-
cin:
f(x) g(x) =
Z
+

f(u) g(x u) du.

Relaciones entre las transformadas de Fourier y Laplace.
Si la abscisa de convergencia absoluta de la transformada de Laplace de una
funcin f(x) es < 0, entonces (f(x)h(x))
(w)
=
1
2
L(f(x))
(iw)
, donde h(x)
es la funcin escaln (Heaviside).
L(f(x))
(s)
= 2(e
x
f(x)h(x))
(w)
donde s = + iw y > , la abscisa de
convergencia absoluta de f(x).
Frmula de Inversin Compleja de Laplace
f(t) =
1
2i
V.P.C.
Z
+i
i
e
st
F(s) ds
100
Si F(s) es la transformada de Laplace de una funcin f(t) la cual es continua
a tramos, de orden exponencial, O(e
t
), entonces si f
0
(t) es continua a tramos, la
integral de la frmula de inversin es convergente sobre la recta Re(s) = , donde
> . En todo punto t
0
> 0 la integral converge a (f(t
0
+) + f(t
0
))/2, en t = 0
converge a f(0+)/2 y cuando t < 0 tiene valor nulo.
Ejercicio 40 .
1. Muestre la relaciones entre las transformadas de Fourier y Laplace, y selas
para encontar (e
ax
h(x))
(w)
con a > 0.
2. Use la propiead 3 y el ejercicio anterior par encontrar la transformada de
Fourier de la funcin g(x) =
_
_
_
1 cuando |x 2| < 1
0 cuando |x 2| > 1
.
3. Sea h(x) es la funcin escaln (Heaviside), obtenga el producto de convolucin
(como se deni en las propiedades) de h(x) (xh(x))
4. Utilice la frmula de inversin Compleja de Laplace para antitransformar
F(s) =
1
s
2
+1
. Indique tambin cmo es f(t) = L
1
(F(s)) cuando t 0 [Ayu-
da: utilice el contorno de integracin de la gura, el teorema de los residuos y
luego haga b ]
R

i
i
ib
ib
R b = +
2 2

101
Funciones Impulsivas
Bibliografa
Matemticas Avanzadas para Ingeniera. James, G.,Pearson Educacin
The Fourier integral and its applications Papoulis, A. (517.7. P199).
The fast Fourier transform Brigham, E. O. (A-6.678. Inst. Mat.)
Clculo Avanzado Kaplan, W. (517 K14-2)
Ciertos problemas fsicos llevan a intentar extender el concepto de funcin de
manera que incluya nuevos objetos matemticos, llamados funciones generalizadas
o distribuciones, que dieren notablemente de las funciones tradicionales. En esta
parte del curso se dar una introduccin intuitiva. Una de las distribuciones ms
utilizada es la que lleva el nombre de Dirac, impulso o delta de Dirac, que fue quien la
utiliz en mecnica cuntica en los aos 1920. Un matemtico francs: L. Schwartz
(1915-2002), fue el creador de la Teora de Distribuciones en 1948.
Algunos sistemas mecnicos suelen estar sometidos a una fuerza externa (o a
una tensin elctrica en el caso de los circutitos elctricos) de gran magnitud, que
solamente acta durante un tiempo muy corto. Por ejemplo, una descarga eltrica
podra caer sobre el ala vibrante de un avin; a un cuerpo sujeto a un resorte podra
drsele un fuerte golpe con un martillo, una pelota (de beisbol, de golf o de tenis)
inicialmente en reposo, podra ser enviada velozmente por los aires al ser golpeada
con violencia con un objeto como una bat de beisbol, un bastn de golf o una raqueta
de tenis. La funcin impulso puede servir como un modelo para tal fuerza.
Otro ejemplo fsico sencillo es el de la densidad de la masa distribuida a lo largo
de una recta en el eje x (tambin podra considerarse la densidad de carga elctrica
distribuida sobre una recta). Si (x) es la densidad, entonces
R
b
a
(x)dx deber dar
la masa total en el intervalo [a, b]. Supngase ahora toda la masa concentrada en
102
una particula de masa igual a 1, localizada en el origen. Resulta tentador asignar a
R
b
a
(x)dx = 0 si el intervalo [a, b] no contiene al origen y
R
b
a
(x)dx = 1 si el intervalo
[a, b] contiene al origen. Esto conduce a que (x) = 0 cerca del origen y (x) no
estara acotada en x = 0. Esta particular funcin de densidad es la funcin delta de
Dirac.
Como se mencin anteriormente un ejemplo tambin sencillo es el de una partcu-
la de masa m que est inmvil y en t = 0 recibe un golpe que la pone en movimiento
a velocidad constante v
0.
La velocidad v se puede escribir en trminos de la funcin
escaln h(t) (o de Heaviside), v(t) = v
0
h(t). De la segunda ley de Newton deduci-
mos la fuerza F que se ejerce sobre la partcula, F = m
dv
dt
= mv
0
(t), donde es la
funcin de Dirac, es decir la fuerza es un impulso, es nula en todo instante, excepto
en el instante del golpe. Adems resulta natural pensar que la derivada del escaln
h(t) es (t), en el sentido de las distribuciones.
Denicin 85 La funcin delta de Dirac generalmente se dene de una de las
siguientes tres maneras:
1. Por la ecuacin
+
Z

(t) dt = 1, (t) = 0 t 6= 0
2. Como lmite de una sucesin de funciones (t) = lim
n
f
n
(t)que verican
+
Z

f
n
(t) dt = 1, lim
n
f
n
(t) = 0 t 6= 0
3. Por la propiedad
+
R

(t) f(t) dt = f(0) donde f(t) es una funcin arbitraria

continua en el origen.
Las propiedades de la primer denicin no son las usuales de una funcin ordina-
ria. En realidad hay que entender que lo importante en la denicin de la funcin de
103
Dirac son sus propiedades, y que la forma de denirla es a travs de sus propiedades
y no como uno est acostumbrado a denir una funcin ordinaria.
La teora matemtica que justica estas cuestiones es la Teora de Distribuciones
y corresponde a la tercer denicin. El concepto de distribucin o funcin generali-
zada T es un proceso de asignacin a una funcin arbitraria (t) un nmero real
o complejo. Es decir, una distribucin T, es un mapeo:
(t)
T
,
T[(t)] = ,
y este nmero puede ser un valor de (t) o de sus derivadas para algn t = t
0
,
el rea bajo (t) en algn intervalo o cualquier otra cantidad dependiente (t).
Las funciones (t) sobre las cuales se denen las distribuciones son de variable
real t y toman valores reales o complejos y pertenecen a un espacio con ciertas
propiedades como por ejemplo que tienen derivadas de todos los rdenes, y que se
anulan fuera de un intervalo acotado [a, b], o que decrecen rpidamente a cero (ms
rpido que el crecimiento de cualquier potencia t
n
) cuando t . Adems las
distribuciones deben vericar las propiedades de linealidad y continuidad. Si
bien las distribuciones se dene sobre este conjunto de funciones que se denominan
funciones de test o prueba, se puede extender su denicin a un espacio ms amplio
de funciones.
Distribucin asociada a una funcin. A cada funcin f continua a trozos
se le asocia una distribucin T
f
de la siguiente manera
(t)
T
f

+
R

f(t) (t) dt,

T
f
[(t)] =
+
R

f(t) (t) dt.

Esta distribucin se dene sobre aquellas funciones para las cuales la integral
del segundo miembro resulta convergente, como por ejemplo para el espacio
de funciones que se anulan fuera de intervelo nito [a, b]. De aqu puede verse
104
a las distribuciones como una generalizacin de las funciones. Muchas de las
propiedades de la integracin de funciones se pueden extender a las distribu-
ciones.
La funcin delta de Dirac es una distribucin que asigna a la funcin (t)
el nmero (0),
(t)

(0),
[(t)] = (0),
donde es cualquier funcin continua en t = 0. Esta es una distribucin que no se
asocia a ninguna funcin. Si bien se suele escribir con el smbolo integral:
+
Z

(t) (t) dt = (0),

no hay que pensarlo como un proceso de integracin ordinario, sin embargo como
una extensin de las distribuciones asociadas a funciones se utiliza el mismo smbolo.
Adems se pueden probar ciertas propiedades rigurosamente utilizando la teora o
de manera informal con propiedades similares a la de las integrales. De este modo
se pueden realizar cambios de variable, sustituciones e integracin por partes para
demostar las siguientes propiedades:
Propiedades
1.
+
R

(t t
0
) (t) dt = (t
0
)
2.
+
R

(t) (
1

1
(t) +
2

2
(t) ) dt =
1

1
(0) +
2

2
(0) (linealidad)
3. (at) =
1
|a|
(t)
4.
+
R

0
(t) (t) dt =
0
(0)
105
5.
+
R

(n)
(t) (t) dt = (1)
n

(n)
(0)
6.
b
R
a
(t) (t) dt =
_
_
_
(0) si 0 [a, b]
0 si 0 / [a, b]
7. (t t
1
) (t t
2
) = (t t
1
t
2
)
8.
dh(t)
dt
= (t)
9. Si g es una funcin continua en t = 0, entonces g(t)(t) = g(0)(t)
Ejercicio 41 .
1. Pruebe las propiedades 1 y 2 utilizando propiedades de integrales (cambio de
variables).
2. Muestre que si g es una funcin continua en t = 0, entonces g(t)(t) es una fun-
cin impulsiva equivalente a g(0)(t) [dos distribuciones se consideran iguales
cuando tienen el mismo efecto sobre todas las funciones de prueba].
La funcin delta se puede denir como lmite generalizado de funciones ordinarias
(corresponde al segundo punto de la denicin) como por ejemplo
(t) = lim
n
r
n
(t)
con r
n
(t) = n(h(t) h(t 1/n)).
Las propiedades tambin se pueden probar utilizando suceciones de funciones
que convergen a (t). Por ejemplo si en la sucesin anterior hacemos n =
1

, y t 6= 0,
(t) =lim
0
h(t) h(t )

,
106
por lo tanto este lmite se entiende como la derivada de h(t), y su resultado es (t).
Del mismo modo se puede decir que la funcin escaln de Heaviside h(t) es una
primitiva de la distribucin de Dirac (t).
Derivada de una distribucin. La derivada en el sentido de las distribu-
ciones se dene de la siguiente manera:
(t)
T
0
T[
0
(t)],
T
0
[(t)] = T[
0
(t)].
Esta denicin concuerda con la propiedad 3 de la funcin Delta, donde se
muestra que
0
(t) es otra distribucin que asigna a cada (t) el valor
0
(0).
Tambin concuerda con la derivacin de funciones, en el caso de distribuciones
asociadas a funciones derivables (integrando por partes): T
0
f
[(t)] = T
f
0 [(t)] =
T
f
[
0
(t)]. Sin embargo en esta denicin no es necesario que la funcin sea
derivable, por lo tanto este resultado permite extender la nocin de derivada
a funciones continuas a tramos y derivables a tramos.
Derivada de funciones continuas a tramos. Si f(t) es continua a tramos
y tiene un nico punto de discontinuidad en t
0
de tipo salto, entonces siempre
se puede escribir a f como la suma de una funcin continua g ms un escaln,
f(t) = g(t) + (f(t
+
0
) f(t

0
))h(t t
0
)
si adems g es derivable entonces
f
0
(t) = g
0
(t) + (f(t
+
0
) f(t

0
))(t t
0
),
en el sentido de las distribuciones. Si la funcin tiene ms discontinuidades se
puede generalizar fcilmente.
Por ejemplo la funcin f(t) = t h(t) es continua pero segn el Clculo Diferencial
no es derivable en t = 0, sin embargo en el sentido de las distribuciones se puede
107
decir que f
0
(t) = h(t), entendiendo a f
0
como una distribucin. Del mismo modo se
puede decir que la derivada de (1 +t)h(t) es h(t) +(t).
La sucesin de funciones que converge a (t) no es nica tambin pueden
elegirse sucesiones de funciones suaves:
r
n
(t) =
n

1
1 +n
2
t
2
r
n
(t) =
n

e
n
2
x
2
r
n
(t) =
1
n
sen
2
(nt)
t
2
que tienden a (t) cuando n .
Del mismo modo
0
(t) =lim
0
1

2
[h(t) 2h(t ) +h(t 2)] (doblete, con =
1
n
,
cuando n , 0).
De manera informal y sin justicar rigurosamente con la Teora de Distribuciones,
es posible extender las nociones de Transformada de Laplace y Fourier a las funciones
generalizadas . Hay que tener en cuenta que como no son funciones ordinarias,
continuas a tramos, de orden exponencial, algunas propiedades de Laplace no se
verican.
Transformada de Laplace de una distribucin. Si T es una distribucin y
es posible denir T[e
st
] para todo s perteneciente a una cierta regin del plano
complejo, diremos que la funcin LT(s) = L{T} = T[e
st
] es la transformada
de Laplace de la distribucin T.
De esta denicin se deduce que la transformada de Laplace de la distribu-
cin asociada a la funcin f(t)h(t) corresponde a la transformada de Laplace
(ordinaria) de f(t), es decir
LT
f.h
(s) = L{f(t)}
(s)
= F(s) =
Z

0
e
st
f(t)dt
108
Tener en cuenta que LT
f.h
(s) no es lo mismo que LT
f
(s) =
R

e
st
f(t)dt,
pues esta ltima integral puede no tener sentido y resultar divergente para
todo s. Es decir la transformada de Laplace en el sentido de las distribuciones
y la denicin de la transformada para funciones ordinarias coinciden cuando
la funcin f(t) se anula cuando t < 0.
Transformada de Laplace de un impulso unitario:
L{(t)} =
Z

e
st
(t)dt =
Z

0
e
st
(t)dt = e
0
= 1,
hay que pensarlo en el sentido de las distribuciones y no como una integral
ordinaria. Del mismo modo
L{
0
(t)} =
Z

e
st

0
(t)dt =
d
dt
e
st

t=0
= se
0
= s,
aqu no tendra sentido aplicar la propiedad de Laplace de L{f
0
(t)} = sL{f(t)}
f(0) pues no ha sido demostrada para funciones generalizadas y (0) no es-
t denido. Tampoco se verica la condicin que cumplen las transforma-
das de funciones de orden exponecial, continuas a tramos, que tienen limite
nulo cuando s tiende a sobre el eje real positivo. Se puede probar que
L{T
0
} = sL{T}.
Tabla de transformadas de Laplace (para distribuciones)
109
f(t) F(s)
e
t
f(t) F(s )
f
(n)
(t) s
n
F(s)
(t) 1
h(t)
1
s
t
n
h(t)
n!
s
n+1
e
t
h(t)
1
s
sent h(t)
1
s
2
+1
cos t h(t)
s
s
2
+1
Transformada de Fourier de las funciones escaln y impulso unitario:
En general las funciones 1, x, x
2
, ..., no tienen transformada de Fourier como se
deni para funciones ordinarias (no existe
R
+

|f|dx), sin embargo s tienen

desde el enfoque de distribuciones.
Algunos ejemplos donde intervienen funciones impulsivas:
((x))
(w)
=
1
2
pues
1
2
R
+

(x) e
iwx
dx =
1
2
[ e
iwx
] =
1
2
. Adems por la propiedad de
dualidad
1
((w))
(x)
= 2
1
2
= 1 es decir:
(1)
(w)
= (w)
Usando teora de variable compleja es posible probar que:

1
(
1
iw
)
(x)
= V.P.C.
R
+

1
iw
e
iwx
dw = 2h(x) =
_

_
x > 0
0 x = 0
x < 0
110
Luego
1
iw
= (2h(x) )
(w)
= (2h(x))
(w)
(w), por lo tanto
(h(x))
(w)
=
1
2iw
+
1
2
(w)
En forma similar
(cos(w
0
x))
(w)
=
1
2
(w w
0
) +
1
2
(w +w
0
)
(sen(w
0
x))
(w)
=
1
2i
(w w
0
)
1
2i
(w +w
0
)
111
Ejercicio 42 .
1. Sea f(t) = 0 para t < 0, f(t) = 3 t para t > 0. Sea g(t) = cos t para
< t < , g(t) = 0 para el resto. Evale utilizando funcin escaln,
funciones impulsivas, y propiedades (en el sentido de las distribuciones):
(a) 5f
0
(t) + 2g
0
(t)
(b) f
00
(t)
(c) g(t)(t 1)
(d)
R
2
1
f(t)
0
(t 1)dt
(e) L{f
00
(t))}
(s)
2. Sea f(t) = e
t
h(t). Discuta sobre diferencias entre L{f
0
(t))} segn las dis-
tribuciones y segn la denicin de transformada de Laplace para funciones
ordinarias
3. Aplique transformada de Laplace y resuelva la siguiente ecuacin diferencial:
y
0
(t) +y(t) = (t)
4. Aplique transformada de Laplace para encontrar la solucin cuando t > 0 de
la ecuacin diferencial: y
0
(t) +y(t) = 0, con y(0) = 1.
Transformada Z
Matemticas Avanzadas para Ingeniera. James, G.,Pearson Educacin
Digital signal processing. Oppenheim, Alan V. (621.381958. Op5).
Discrete-time signal processing. Oppenheim, Alan V.; Schafer, Ronald W.
(621.38043. Op5)
Signals & Systems. Oppenheim, Alan V.; Willsky, Alan S.; Nawab, S. Hamid.
(621.38043. Op5-1)
La transformada de Lapalce puede ser considerada como una generalizacin de
la transformada de Fourier, ambas se aplican sobre conjuntos de funciones que estn
denidas sobre R
+
y R respectivamente, y cumplen un rol muy importante en la
resolucin de ecuaciones diferenciales. La transformada Z, en forma similar se aplica
sobre otros objetos matemticos que son sucesiones y permite resolver ecuaciones
a diferencia. Trabajaremos con sucesiones reales y complejas cuyo dominio son los
nmeros enteros (Z), es decir x
n
es una sucesin de Z C, o de Z R.
Denicin 86 Sean x
n
e y
n
dos sucesiones y C, en base a la suma y producto
de nmeros complejos, se pueden denir las siguientes operaciones con sucesiones :
Suma: (x +y)
n
= x
n
+y
n
Producto: (x.y)
n
= x
n
.y
n
Multiplicacin por constantes: (x)
n
= .x
n
Corrimiento: x
n
= y
nn
0
, para n
0
Z
112
113
Algunos ejemplos de sucesiones comunmente utilizadas
Impulso

n
=
_
_
_
0 n 6= 0
1 n = 0
Escaln unitario
u
n
=
_
_
_
1 n 0
0 n < 0
Exponencial
x
n
= A
n
,
A y pueden ser reales o complejos.
Denicin 87 La transformada Z de una sucesin x
n
se dene como la siguiente
serie de potencias
X(z) = Z(x
n
) =

X

x
n
z
n
.
El conjunto de valores z para los cuales converge se llama regin de convergencia
(anillos centrados en el origen)
Ejercicio 43 Muestre utilizando la denicin y suma de series geomtricas que:
Z(a
n
u
n
) =
z
za
, con regin de convergencia |z| > |a| .
Z(a
n
u
n1
) =
z
za
, con regin de convergencia |z| < |a| .
114
Propiedades de la regin de convergencia
La regin de convergencia es un anillo o disco centrado en el origen
La regin de convergencia no puede contener singularidades de X(z).
Si x
n
tiene un nmero nito de trminos no nulos, la regin de convergencia
es todo el plano excepto z = 0 o z = .
Algunas propiedades de la Transformada Z
Consideremos los siguientes pares de transformadas Z con su correspondiente regio-
nes de convergencia
x
n
X(z) R
x
y
n
Y (z) R
y
1. Linealidad
x
n
+ y
n
X(z) + Y (z)
la regin de convergencia es al menos R
x
R
y
(puede ser mayor).
2. Corrimiento
x
nk
z
k
X(z)
la regin de convergencia es R
x
excepto z = 0 si k > 0,o z = si k < 0.
3. Multiplicacin por exponenciales

n
x
n
X(z/)
la regin de convergencia es || R
x
.
115
4. Diferenciacin
nx
n
z
dX(z)
dz
R
x
excepto posible inclusin o exclusin de z = 0.
5. Inversin de sentido
x
n
X(z
1
)
la regin de convergencia es 1/R
x
.
6. Convolucin de sucesiones
x
n
y
n
=
+
X
k=
x
k
y
nk
x
n
y
n
X(z) Y (z)
la regin de convergencia es por lo menos la interseccin R
x
R
y
.
Ejercicio 44 .
1. Muestre la propiedad 2.
2. Utilizando la denicin y propiedades encuentre la transformada Z de cada
una de las siguientes sucesiones, y su respectiva regin de convergencia:
(a)

1
2

n
u
n
(b)
n
(c)
n+1
116
(d)

1
2

n
u
n
u
n10
(e)
_
_
_
a
n
0 n 4
0 en caso contrario
3. Encuentre la sucesin x
n
que tenga como transformada Z :
(a) X(z) = (1 + 2z)(1 + 3z
1
)(1 z
1
) z 6= 0.
(b) X(z) = e
z
+e
1
z
z 6= 0.
Transformada Z uniltera
Denicin 88 La transformada Z uniltera de una sucesin x
n
se dene como la
siguiente serie de potencias
X(z) = Z
u
(x
n
) =

X
n=0
x
n
z
n
la regin de convergencia es el exterior de un crculo centrado en el origen, |z| > r.
El principal uso de esta transformada es el anlisis de ecuaciones a diferencias
con coecientes constantes.
La transformada Z uniltera tiene las mismas propiedades de las transformada
Z enunciadas anteriormente a excepcin de ciertos cambios en la propiedad 2 y 6
como se detalla a continuacin:
2. Corrimiento
Para k > 0
x
nk
z
k
X(z) +x
1
z
k+1
+ +x
k+1
z
1
+x
k
x
n+k
z
k
X(z) x
0
z
k
x
k2
z
2
x
k1
z
117
la regin de convergencia es R
x
excepto z = 0. Para k = 1
x
n1
z
1
X(z) +x
1
x
n+1
z X(z) x
0
z
6. Convolucin de sucesiones
x
n
y
n
=
n
X
k=0
x
k
y
nk
x
n
y
n
X(z) Y (z)
la regin de convergencia es por lo menos la interseccin R
x
R
y
.
Ejercicio 45 Muestre la propiedad 2, para el caso particular de k = 2.
Transformada inversa.
Por ser una serie de potencias, en cada regin de convergencia, la transformada
inversa es nica, pues la representacin de funciones analticas en series de potencias
es nica. La obtencin de la transformada inversa, es decir la sucesin que forman los
coecientes de la serie de potencias, puede realizarse por el mtodo de inspeccin,
aplicando propiedades y la tabla de Transformadas Z. Es muy comn tener que
antitransformar un cociente de polinomios, en este caso es conveniente realizar una
descomposicin en fracciones, expresando previamente como cociente de polinomios
de variable z
1
, pues generalmente en las tablas gura
1
1az
1
. Como
1
1az
1
=
z
za
,
resulta cmodo tambin expandir en fracciones
X(z)
z
y luego multiplicar por z. Otra
118
forma de obtener la sucecin es desarrollando la serie de Laurent. Se pueden utilizar
las expresiones integrales del teorema de Laurent y resolverlas por residuos.
Ejemplo: Sea X(z) =
z
(z 2)(z 1)
en la regin |z| > 2.
Si expandimos en fracciones
X(z)
z
=
1
z 2

1
z 1
, entonces
X(z) =
z
z 2

z
z 1
de aqu, por tabla, es fcil ver que x
n
= (2
n
1)u
n
. Tambin se puede desarrollar
en serie de Laurent (como suma de dos series gemtricas de raznes
2
z
y
1
z
)
X(z) =

X
n=0

2
z

X
n=0

1
z

n
=

X
n=0
(2
n
1) z
n
, cuando |z| > 2,
de donde se ve claramente que x
n
= (2
n
1)u
n
.
De otra manera X(z) =
z
(z 2)(z 1)
=
z
1
(1 2z
1
)(1 z
1
)
Si hacemos la sustitucin s = z
1
, y desarrollamos en fracciones:
s
(1 2s)(1 s)
=
1
2
s
(s
1
2
)(s 1)
=
1
2
s
1
2
+
1
s 1
ahora volviendo a z
1
X(z) =
1
2
z
1

1
2
+
1
z
1
1
=
1
1 2z
1

1
1 z
1
de donde nuevamente es facil ver que es la transformada Z de x
n
= (2
n
1)u
n
.
Ejercicio 46 .
1. Use desarrollo en series de potencias (Laurent) o descomposicin en fracciones
para antitransformar:
119
(a) X(z) =
1
1 +
1
2
z
1
|z| >
1
2
.
(b) X(z) =
1
1 +
1
2
z
1
|z| <
1
2
.
(c) X(z) =
1
1
2
z
1
1 +
1
4
z
2
|z| >
1
2
.
2. Resolver la siguiente ecuacin a diferencia. Es decir se debe encontrar la
sucesin y
n
para n 0, sabiendo que y
1
= 1 y que verica la siguiente
ecuacin
3.
y
n

1
2
y
n1
= 1 para n 0.
4. Dada la siguiente ecuacin a diferencia: y
n
+ 3y
n1
=
1
2
n
u
n
(a) Encuentre todas las posibles sucesiones y
n
que la verican para todo n
entero.
(b) Encuentre una solucin particular y
n
para n 0, sabiendo que y
1
= 1.
FUNCIONES DE VARIABLE COMPLEJA
Propiedades de la Transformadaz
Propiedad
Dominion Dominioz
ROC (regin de convergencia)
Notacin x[n] X(z) ROC: r
2
< |z| < r
1
x
1
[n] X
1
(z) ROC
1
x
2
[n] X
2
(z) ROC
2
Linealidad a
1
x
1
[n] + a
2
x
2
[n] a
1
X
1
(z) + a
2
X
2
(z) Por lo menos ROC
1
ROC
2
Desplazamiento
temporal
x[nk] z
k
X(z) La misma que la de X(z),
excepto z = 0, si k > 0, y z =
si k < 0.
Escalado en el
dominio z
a
n
x[n] X(a
1
z) |a|r
2
< |z| < |a|r
1
Inversin de
tiempo
x[n] X(z
1
) 1/ROC
Conjugacin x
*
[n] X
*
(z
*
) ROC
Parte Real Re{x[n]} [X(z) + X
*
(z
*
)] Incluye ROC
Parte Imaginaria Im{x[n]} [X(z) X
*
(z
*
)] Incluye ROC
Diferenciacin en
el dominio z
n x[n]
z
dX z
dz
( )
r
2
< |z| < r
1
Convolucin
x
1
[n]*x
2
[n] X
1
(z) X
2
(z) Contiene ROC
1
ROC
2
.
Correlacin
r n x n x n
x x
1 2
1 2
[ ] [ ]* [ ] =
R z X z X z
x x
1 2
1 2
1
( ) ( ) ( ) =

Por lo menos la interseccin

de las ROC de X
1
(z) y X
2
(z
1
).
Teorema del valor
inicial
Si x[n] es causal
x X z
z
[ lim ( ) 0] =

Multiplicacin x
1
[n] x
2
[n]
1
2
1 2
1
j
X v X v dv
z
v
C
( ) ( )

z
Por lo menos
r
1 mn
r
2 mn
< |z| < r
1 mx
r
2 max
Relacin de
Parseval
x n x n
j
X v X v dv
v
C
1 2 1 2
1 1
1
2
[ ] [ ] ( ) ( )
* *
=

FUNCIONES DE VARIABLE COMPLEJA

Algunos pares transformados de uso frecuente.
Sucesin Transformada Regin de convergencia
[n] 1 Todo z
u[n]
1
1
1

z
|z| > 1
u[n1]
1
1
1

z
|z| < 1
[n m] z
m
Todo z excepto 0 (si m > 0) o
(si m < 0)
a
n
u[n]
1
1
1

az
|z| > |a|
a
n
u[n1]
1
1
1

az
|z| < |a|
n a
n
u[n] az
az

1
1
2
1
d i
|z| > |a|
n a
n
u[n1]
az
az

1
1
2
1
d i
|z| < |a|
[cos
0
n] u[n]
1
1 2
0
1
0
1 2

cos
cos

z
z z
|z| > 1
[sen
0
n] u[n]
sen

0
1
0
1 2
1 2
z
z z

+ cos
|z| > 1
[r
n
cos
0
n] u[n]
1
1 2
0
1
0
1 2 2

r z
r z r z
cos
cos

|z| > r
[r
n
sen
0
n] u[n]
r z
r z r z
sen

0
1
0
1 2 2
1 2

+ cos
|z| > 1
a n N
n
,
,
0 1
0

R
S
T
en caso contrario.
1
1
1

a z
az
N N
|z| > 0