Variable Compleja

Gua de Definiciones y Teoremas estudiados en el
curso de Funciones de Variable Compleja.

Prof. Guillermo Calandrini
2do. cuatrimestre 2011
....
Funciones de Variable Compleja.

Esta gua cubre esencialmente gran parte de las definiciones, 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
Definicin 1 Dada una sucesin a1 , a2 , ..., an , ... de nmeros. La expresin
X
a1 + a2 + + an + =
an
n=1
se llama serie numrica. Los an se llaman trminos de la serie.
Sucesin de sumas parciales

Definicin 2 La sucesin de sumas parciales es la suma de los N primeros trminos
de la serie.
N
X
SN = a1 + + aN =
an
n=1
2
Nota: el smbolo
significa la suma de o la serie de, si no se aclaran los
extremos, inferior y superior significa que podran ser cualesquiera.

Definicin 3 Si existe el lmite finito S = lim SN se dice que la serie converge y
N
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 importa lo que suceda a partir de un N suficientemente grande.
Condicin necesaria
Teorema 1 Si una serie converge su n-simo trmino tiende a cero cuando n tiende
a infinito.
Corolario: Si el n-simo trmino de una serie no tiende a cero cuando n tiende
a infinito, la serie diverge.
Series con trminos positivos

Criterio de comparacin
Sea 0 an bn , n N, entonces:
Si
Si
bn converge entonces
an diverge entonces
an converge.
bn diverge.
Criterio de DAlambert
Si para la serie
an , con an > 0, lim
si L < 1 la serie converge.

si L > 1 la serie diverge.
an+1
= L entonces:
an
3
Criterio de Cauchy
Si para la serie
an , con an 0, lim
n a = L entonces:
n
si L < 1 la serie converge.

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

n
positiva y no supera el primer trmino a0 .
Series con trminos positivos y negativos. Convergencia absoluta y condicional

Definicin 4 La serie
Teorema 4 Si la serie
an converge absolutamente si converge la serie
|an | converge entonces la serie
|an | .
an tambin converge.
4
P
P
Definicin 5 Si la serie
an converge y la serie
|an | diverge entonces se dice
P
que la serie
an 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
an y
P
bn son series convergentes con suma A y B respectivamente, entonces:
(an + bn ) converge y su suma es A + B.
Si c es un nmero real,
c an converge y su suma es c A.
Integrales impropias
Definicin 6 Dada una integral
Z
f (x)dx
en cualquiera de los casos donde:

a) el intervalo de integracin no tiene longuitud finita,
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.
Definicin 7 Decimos que f (x) es seccionalmente continua, o continua a tramos,
en el intervalo [a, b] si tiene a lo sumo un nmero finito de discontinuidades tipo
salto (existen los lmites laterales).
Definicin 8 Si f (x) es continua a tramos en [a, R], R > a y existe el siguiente
lmite
L = lim
f (x) dx
R
diremos que la integral a f (x) dx es convergente y que L es su valor y escribimos
R
f (x) dx = L. En caso contrario se dir que la integral es divergente.
a
Teorema 5 Una condicin necesaria y suficiente para que converja

que: para todo > 0 existe un nmero positivo N tal que
R
a
f (x) dx es
Z q
< p, q > N.
f
(x)
dx
Criterio de la integral
Teorema 6 Sean los trminos de la serie
an positivos y no crecientes,es decir
a1 a2 , y sea f (x) una funcin continua montona decreciente tal que:

f (1) = a1 , f (2) = a2 , . . . f (n) = an , . . .
a) Si la integral impropia
b) Si la integral impropia
R
1
f (x) dx converge, es convergente tambin la serie.
f (x) dx diverge, es divergente tambin la serie.
Definicin 9 Se dice que la integral impropia

y es finito el lmite
lim
Rb
f (x) dx
f (x) dx es convergente si existe
6
R +
Definicin 10 Se dice que la integral impropia
y es finito el lmite doble

lim
P,R
f (x) dx es convergente si existe
f (x) dx
lo cual es equivalente a pedir que las dos integrales impropias siguientes sean convergentes
Z
f (x) dx y
f (x) dx,
donde a es un nmero real cualquiera.

RR
Definicin 11 La expresin lim R f (x) dx se llama Valor Principal de Cauchy
R
R +
R +
de la integral f (x) dx y lo notaremos como V.P.C. f (x) dx.
Este valor puede existir an cuando la integral impropia es divergente (Ej.
R +
x dx).
Integrales impropias en las que el integrando no es acotado

Supondremos ahora que c [a, b] y que lim |f (x)| = .
xc
Definicin 12 Se dir que
Rb
a
f (x) dx es convergente si existen y son finitos los
siguientes lmites.
Rb
Rb
1) c = a, a f (x) dx = lim+ a+ f (x) dx
0 R
Rb
b
2) c = b, a f (x) dx = lim+ a f (x) dx
0
Rb
R c
Rb
3) c (a, b), a f (x) dx = lim+ a 1 f (x) dx+ lim+ c+2 f (x) dx
1 0
2 0
Definicin 13 En el tercer caso de la definicin anterior tambin se denomina

Valor Principal de Cachy al lmite
V.P.C.
f (x) dx = lim+
0
f (x) dx +
c+
f (x) dx
Operaciones vlidas con integrales impropias

En las siguientes integrales debe considerarse que alguno de los extremos puede ser
infinito o que el integrando no est acotado, es decir vale para cualquier tipo de
integral impropia.
1. Vale la frmula
Z
f (x) dx =
f (x) dx
2. La ecuacin
Z
(f1 (x) + f2 (x)) dx =
f1 (x) dx +
f2 (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
f1 (x) f20 (x) dx
f1 (x) f2 (x)|ba
f2 (x) f10 (x) dx
Esta ecuacin es vlida si cualquier par de estas expresiones existen

Rb
|f (x)| dx es convergente se dice que f (x) es absolutamente

Rb
integrable en ese intervalo y que a f (x) dx converge absolutamente.
Definicin 14 Si
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:
R
R
1) Si a g(x) dx converge entonces 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

f (x)
,
x g(x)
acotado en [a, ) tales que f (x) 0 y g(x) > 0 para x a. Sea A = lim
entonces
1) Si A 6= 0 y A 6= , las integrales
naturaleza.
2) Si A = 0 y
3) Si A = y
R
a
g(x) dx converge entonces
R
a
g(x) dx diverge entonces
f (x) dx y
R
R
a
g(x) dx tienen la misma
f (x) dx converge.
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 definicin de lmite y criterio de

comparacin).
En el siguiente teorema y definicin debe considerarse que alguno de los extremos

puede ser infinito o que el integrando no est acotado.
Teorema 9 Si
gente.
Rb
a
|f (x)| dx es convergente entonces
Rb
a
f (x) dx tambin es conver-
Rb
Rb
Definicin 15 Si a |f (x)| dx es divergente y a f (x) dx es convergente se dice que
Rb
f (x) dx converge condicionalmente.
a
Series de funciones
Definicin 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:
X
f1 (x) + f2 (x) + + fn (x) + =
fn (x),
n=1
es una serie de funciones. Dndole valores a x, obtenemos diferentes series numricas que pueden ser convergentes o divergentes.
Definicin 17 El conjunto de valores de x para los cuales una serie de funciones
P
fn (x) converge se llama dominio de convergencia de esa serie. En el dominio
n=1
de convergencia su suma es una cierta funcin de x, S(x).
Definicin 18 En el dominio de convergencia S(x) = SN (x) + rN (x), donde
P
rN (x) =
fn (x) se llama resto de la serie.
n=N+1
Teorema 10 En el dominio de convergencia el resto rN (x) de una serie convergente

tiende a cero cuando N tiende a infinito.
Convergencia puntual
Definicin 19 La serie
fn (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) Sn (x)| < .
10
Convergencia uniforme.
Definicin 20 Sea P un intervalo o un conjunto de puntos en R. La serie
fn (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) Sn (x)| < .
Test de Weierstrass
P
Teorema 11 Sea una serie de funciones
fn (x). Si existe una serie numrica
P
convergente,
an , con trminos positivos, tales que
|fn (x)| an
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 uniformemente 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
R
para cada x P la integral impropia c f (x, t) dt es convergente, entonces sobre el
conjunto P se puede definir la siguiente funcin

F (x) =
f (x, t) dt
Convergenia puntual
R
Definicin 21 La integral
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 R0 (, x) > c

tal que
F (x)
Convergencia uniforme
Definicin 22 Supongamos que
f (x, t) dt < R > R0 .
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 R0 () > c tal que
F (x)
Criterio M de Weierstrass
f (x, t) dt < x P y R > R0 .
Teorema 13 Supongamos que existe
RR
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
memente convergente sobre el conjunto P.
R
c
f (x, t) dt es absoluta y unifor-
12
Este criterio tambin es aplicable en integrales impropias del segundo tipo (integrandos 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
verge uniformemente en [a, b]. Entonces F es continua en [a, b].
R
Teorema 15 Si f es continua en la banda S y
mente en [a, b], entonces

Z bZ
a
f (x, t) dtdx =
R
c
f (x, t) dt con-
f (x, t) dt converge uniforme-
f (x, t) dxdt
es decir podemos intercambiar el orden.

Teorema 16 Si
f
1) f y
son continuas en la banda S .
x
R
2) c f (x, t) dt converge puntualmente sobre [a, b].
R f (x, t)
3) c
dt converge uniformemente sobre [a, b].
x
R
Entonces F (x) = c f (x, t) dt es diferenciable sobre [a, b] y
d
F (x) =
dx
0
f (x, t) dt =
f (x, t)
dt
x
Estos tres ltimos teoremas siguen valiendo con condiciones ms generales sobre la continuidad de los integrandos, por ejemplo se puede demostar que f (x, t)
f (x, t)
y
pueden no ser continuas en todo S , si tienen la forma
x
(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
verificando, es decir F (x) es continua y se puede intercambiar el orden de integracin
y tambin derivadar la integral impropia.
Algunos ejemplos de integrales impropias y series.
La integral impropia
f (x) dx puede ser convergente an cuando el inteR

grando no tienda cero. La integral a sen x2 dx converge condicionalmente y
a
el integrando no tiene lmite.
Series no uniformemente convergentes con funciones sumas discontinua:
x2
converge sobre toda la recta real. Su suma es
2 + 1)n
(x
n=0
discontinua en x = 0.
La serie
La serie x + x(x 1) + x2 (x 1) + + xn (x 1) + converge a la

funcin
0
f (x) =
1
La serie
0x<1
x=1
2
2
x n enx x n + 1 e(n+1)x
n=0
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
(1)n+1
n=1
x2 + 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)
dx
x
b)
dx
c)
e x sen x dx
Ejercicio 3 Sea F (s) una funcin definida por medio de una integral paramtrica,
de la siguiente manera:
F (s) =
est f (t)dt
donde f (t) es una funcin continua a tramos y se sabe adems que |f (t)| e3t
t [0, +).
1. Encuentre el dominio de definicin de la funcin F (s), es decir para qu valores
de s queda bien definida dicha funcin por medio de la integral impropia.
2. Encuentre un intervalo donde F (s) sea continua.
3. Encuentre un intervalo donde se verifique:
0
F (s) =
est 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

Definicin 23 Un entorno de radio de un punto z0 , es el conjunto de puntos
z C que verifica
|z z0 | < .
Definicin 24 Un entorno reducido de radio de un punto dado z0 , es el conjunto
de puntos z C que verifica
0 < |z z0 | < .
15
16
Definicin 25 Dado un conjunto de puntos S C, un punto z0 C es un punto:
interior del conjunto S siempre que exista algn entorno de z0 cuyos puntos
sean todos de S.
exterior del conjunto S, cuando existe un entorno suyo que no contiene puntos 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 z0 contiene al
menos un punto de S.
Definicin 26 Un conjunto es abierto cuando todos sus puntos son interiores.
Definicin 27 Un conjunto es cerrado si su complemento es abierto (contiene
todos sus puntos frontera).
Definicin 28 Un conjunto abierto S es conexo si cada par de puntos z1 y z2 en l
se pueden unir por una lnea poligonal, consistente de un nmero finito de segmentos
sucesivos, que est enteramente contenida en S.
Definicin 29 Un conjunto abierto y conexo se llama dominio.
Definicin 30 Un dominio unido a algunos, todos o ninguno de sus puntos frontera
se llama regin.
Definicin 31 Un conjunto S es acotado si todo punto de S est dentro de un
crculo (|z| R, z S).
17
Funciones
Definicin 32 Sea S un conjunto de nmero complejos. Una funcin f definida
sobre S es una regla que asigna a cada z en S un nmero complejo w. Es decir
dado S C, sobre el cual definimos la funcin f : S C, y dicha asignacin la
expresamos as:
w = f (z).
El conjunto S se llama dominio de definicin de f .
Lmites
Definicin 33 Se dice que el lmite de f (z) cuando z tiende a z0 es w0 , o sea
lim f (z) = w0 , cuando para cada nmero > 0, un nmero > 0 tal que:
zz0
|f (z) w0 | < siempre que 0 < |z z0 | < .

Teorema 17 Supongamos que f (z) = u(x, y) + i v(x, y), z0 = x0 + i y0, y w0 =
u0 + i v0 . Entonces
lim f (z) = w0
zz0
lim
u(x, y) = u0
lim
v(x, y) = v0
(x,y)(x0 ,y0 )
(x,y)(x0 ,y0 )
Teorema 18 Supongamos que lim f (z) = w0 y lim g(z) = h0 .

zz0
Entonces
lim [f (z) + g(z)] = w0 + h0 .
zz0
lim [f (z) g(z)] = w0 h0 .

zz0
Si h0 6= 0, lim
zz0
f (z)
w0
.
=
g(z)
h0
zz0
18
Propiedades
1. lim f (z) = w0 lim |f (z)| = |w0 | .
zz0
zz0
2. lim f (z) = 0 lim |f (z)| = 0.

zz0
zz0
3. lim f (z) = w0 lim f (r ei ) = w0 uniformemente en .

z0
r0
4. Si lim f (z) = 0 y |g(z)| < M en un entorno de z0 = lim f (z) g(z) = 0.

zz0
zz0
5. Si lim f (z) = w0 y lim g(w) = h0 lim g(f (z)) = lim g(w) = h0

zz0
ww0
zz0
ww0
Ejercicio 4 Sea f (z) = u(x, y) + i v(x, y), z0 = x0 + i y0 , y w0 = u0 + i v0 .

1. Muestre que:
(a) |u(x, y) u0 | |f (z) w0 |.
(b) |v(x, y) v0 | |f (z) w0 |.
(c) |f (z) w0 | |u(x, y) u0 | + |v(x, y) v0 |.
(d) Un entorno circular en R2 en el punto (x0 , y0 ) [utilizado en funciones de
variables reales] es equivalente a un entorno de z0 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 funciones de variables reales.
4. Pruebe las propiedades de la pgina anterior utilizando la definicn de lmite.
19
Lmites y el punto del Infinito

Muchas veces es necesario considerar junto con el plano complejo el concepto o
punto del infinito. A este conjunto C {} se le llama plano complejo extendido.
Para incorporar la nocin del punto del infinito 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 superficie de
la esfera. se determina por la interseccin de la recta que pasa por el polo Norte y
el punto z con la superficie 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 infinito, obtenemos una correspondencia 1 1 entre los puntos de la
esfera y los del plano extendido
Esfera de Riemann C {}
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 .
Definicin 34 La afirmacin lim f (z) = significa que para cada > 0, > 0
zz0
tal que |f (z)| > 1/, siempre que 0 < |z z0 | < . Es decir
lim f (z) = lim
zz0
zz0
1
= 0.
f (z)
Ejercicio 5 En forma anloga a la definicin anterior muestre que:

i) lim f (z) = w0 lim f ( 1z ) = w0 .
z
z0
1
1
z0 f ( z )
ii) lim f (z) = lim

z
= 0.
20
Continuidad
Definicin 35 Una funcin es continua en un punto z0 si satisface las siguientes
tres condiciones
existe lim f (z)
zz0
existe f (z0 )
lim f (z) = f (z0 )
zz0
Es decir para cada > 0,
> 0 tal que |f (z) f (z0 )| < , siempre que
|z z0 | < .
Definicin 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 z0 =
x0 + i y0 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 z0 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
Definicin 37 Sea f una funcin cuyo dominio de definicin contiene un entorno
de z0 . La derivada de f en z0 , f 0 (z0 ), se define por:
f 0 (z0 ) = lim
zz0
f (z) f (z0 )
z z0
supuesto que el lmite existe. La funcin f se dice diferenciable en z0 cuando

existe su derivada.
Si z = z z0 , se obtiene una expresin equivalente:
f 0 (z0 ) = lim
z0
f (z0 + z) f (z0 )
.
z
En forma similar si w = f (z) y llamando w = f (z + z) f (z),

f 0 (z) =
dw
w
= lim
.
dz z0 z
Teorema 20 Si una funcin f es derivable en un punto z0 entonces dicha funcin

es continua en ese punto. Es decir si f 0 (z0 ) lim f (z) = f (z0 ).
zz0
Ejercicio 7 Muestre que:

i) lim f (z) = f (z0 ) lim (f (z) f (z0 )) = 0.
zz0
zz0
f (z)f (z0 )
ii) lim (f (z) f (z0 )) = lim
(z z0 ) .
zz0
zz0
zz0
iii) Usando i) y ii) muestre el teorema 20.
22
Frmulas de derivacin
d
c = 0,
dz
c es una constante compleja.
d
z = 1.
dz
d
cf (z) = cf 0 (z).
dz
d
[f (z) + g(z)] = f 0 (z) + g 0 (z).
dz
d
[f (z).g(z)] = f (z)g 0 (z) + f 0 (z)g(z).
dz
f 0 (z)g(z) f (z)g 0 (z)

d f (z)
=
.
Cuando g(z) 6= 0,
dz g(z)
g(z)2
Si w = f (z) y h = g(w),
dh
dh dw
=
.
dz
dw dz
d n
z = nz n1 (n entero positivo, vale para negativo si z 6= 0).
dz
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 z0 = x0 +i y0 . Entonces las derivadas parciales primeras
de u y v existen en (x0 , y0 ) y satisfacen las ecuaciones de Cauchy-Riemann en l.
ux = vy
uy = vx
en z = z0 .
Adems f 0 (z0) se puede expresar como f 0 (z0) = ux (x0 , y0 ) + i vx (x0 , y0 ).

Teorema 22 (Condiciones suficientes) Sea la funcin f (z) = u(x, y) + i v(x, y)
definida en un entorno de un punto z0 = x0 + i y0 . Supongamos que las derivadas parciales primeras de las funciones u y v con respecto a x e y existen en todo
punto del entorno y son continuas en (x0 , y0 ). Entonces si esas derivadas parciales
satisfacen las ecuaciones de Cauchy-Riemann en (x0 , y0 ), existe la derivada de f en
z0 .
23
Teorema 23 (Condiciones necesarias y suficientes) Sea la funcin f (z) =
u(x, y) + i v(x, y) definida en un entorno de un punto z0 = x0 + i y0 . Existe la
derivada de f en z0 , si y slo si u y v son diferenciables en (x0 , y0 ) y satisfacen las
ecuaciones de Cauchy-Riemann en (x0 , y0 ).
Ejercicio 8 Sea f (z) = u(x, y) + i v(x, y) una funcin definida en un entorno del
punto z0 = x0 + i y0 .
1. Sabiendo que f (z) es derivable en z0 ,calcule las derivadas direccionales de f (z)
en z0 , 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 (x0 , y0 ) [recuerde que:
u(x0 , y0 ) = ux (x0 , y0 )x + uy (x0 , y0 )y + 1
v(x0 , y0 ) = vx (x0 , y0 )x + vy (x0 , y0 )y + 2
p
x2 + y 2
p
x2 + y 2
donde 1 y 2 0 cuando(x, y) (0, 0)]. Adems sea w = f (z).

Muestre que:
(a) w = f (z0 + z) f (z0 ) = u(x0 , y0 ) + i v(x0 , y0 )
(b) w = (ux +i vx )x+(vy i uy )iy+(1 +i2 )|z| [en el punto (x0 , y0 )].
(c) Si adems se verifican las ecuaciones de Cauchy-Riemann, entonces
existe lim
z0
w
z
en el punto z0 .
24
Ecuaciones de Cauchy Riemann en Coordenadas polares

ux = vy
uy = vx
en z = z0
Adems ux + i vx = ei (ur + i vr ).
r ur = v
u = r vr
en z = z0 .
Funciones Analticas (Holomorfas)

Definicin 38 Una funcin de variable compleja se dice analtica (o holomorfa) en
un punto si es derivable en el punto y en el entorno.
Definicin 39 Una funcin de variable compleja se dice analtica en un conjunto
abierto si tiene derivada en todo punto de ese abierto.
Definicin 40 Si una funcin f no es analtica en un punto z0 pero es analtica
en algn punto de todo entorno de z0 , se dice que z0 es un punto singular o una
singularidad de f.
Teorema 24 Si dos funciones continuas u(x, y) y v(x, y) tienen derivadas parciales 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.
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.
25
Ejercicio 9 Sea f (z) = u(x, y) + i v(x, y) una funcin definida 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) ux = uy = vx = vy = 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 verifique 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 x y, si sobre ese dominio tiene derivadas parciales continuas de
primer y segundo orden y satisface la ecuacin de Laplace: hxx + hyy = 0.
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 verifica que:
(a) uxx = vyx
(c) vxx = uyx
(e) uxx + uyy = 0
(b) uyy = vxy
(d) vyy = uxy
(f ) vxx + vyy = 0
b) Pruebe la equivalencia entre las condiciones de Cauchy Riemann en coordenadas polares y cartesianas.
26
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
ez = ex+i y = ex (cos y + i sen y)
La funcin exponencial es analtica en todo el plano.
Cuando y = 0, ex+i 0 = ex .
Cuando x = 0, ei y = (cos y + i sen y), frmula de Euler.
ez = ex+i y = ex ei y .
ez1 +z2 = ez1 ez2 .
|ez | = ex .
arg(ez ) = y + 2k, k Z.
ez 6= 0
z C.
ez+2 i = ez . 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
27
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
(Log z)
dz
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 para definirlo en la forma ms adecuada para cada caso particular. Esto requiere
especificar su definicin 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 definicin de un argumento principal:
arg(z) = Arg(z) + 2k, donde k Z.
Funciones Trigonomtricas e Hiperblicas

sen z =
ei z ei z
2i
senh z =
ez ez
2
cos z =
ei z + ei z
2
cosh z =
ez + ez
2
Son funciones enteras

d
(sen z) = cos z
dz
d
(senh z) = cosh z
dz
d
(cos z) = sen z
dz
d
(cosh z) = senh z
dz
Algunas propiedades
28
sen(z) = sen z
sen(i z) = i senh z
cos(z) = cos z
cos(i z) = cosh z
Son funciones peridicas

sen(z + 2) = sen z
senh(z + 2 i) = senh z
cos(z + 2) = cos z
cosh(z + 2 i) = cosh z
Funciones tangente y tangente hiperblica:

tan z =
sen z
cos z
tanh z =
senh z
cosh z
Funciones multivaluadas
Definicin 41 Una rama o determinacin de una funcin multivaluada f es cualquier funcin univaluada F, que sea analtica en algn dominio donde en cada punto
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 infinitas determinaciones particulares o ramas).
Definicin 42 Un corte de una funcin multivaluada f es una porcin de curva
(o recta) que se escoge con el objeto de definir 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 ramificacin.
el rayo = es un corte de log z, con < Arg(z) < + 2.
el origen y el son puntos de ramificacin del log z.
29
si recorremos una curva cerrada simple que contenga un punto de ramificacin,
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 = ec log z
Funciones trigonomtricas inversas
1
2
log iz + 1 z
arcsen z =
i
1
log z + z 2 1
arccos z =
i
arctan z =
i
1 iz
i
i+z
log
= log
2
1 + iz
2
iz
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 ramificacin de arctan z?
30
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.
Definicin 43 La derivada w0 (t) o
dw
dt
de la funcin (0.1) se define como
w0 (t) = u0 (t) + i v0 (t)

supuesto que existe cada una de las derivadas u0 y v0 en t.
Contornos
Definicin 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(t1 ) 6= z(t2 ) cuando t1 6= t2 , t1 , t2 (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 x0 (t) e y 0 (t) son continuas y no valen ambas cero para el mismo valor
31
de t, se llama arco suave. La derivada de z(t) es
z 0 (t) = x0 (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).
p
x0 (t)2 + y 0 (t)2 es integrable sobre el intervalo [a, b], sienRb
do la longitud de arco L = |z 0 (t)| dt.
La funcin |z 0 (t)| =
La representacin paramtrica para C no es nica.

El nmero L es invariante.
Definicin 45 Un contorno, o arco suave a tramos, es un arco que consiste

en un nmero finito 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 final 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.
Definicin 46 Las integrales de funciones definidas como en (0.1) sobre intervalos
[a, b] se definen como
Z
w(t)dt =
u(t)dt + i
v(t)dt
Rb
Rb
cuando las integrales de la derecha existen, es decir Im( a w(t)dt) = a Im(w(t))dt,
Rb
Rb
y Re( a w(t)dt) = 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
Rb
[a, b] y W 0 (t) = w(t), entonces a w(t)dt = W (b) W (a)
32
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 w0 (t) = f 0 (z(t))z 0 (t).
Ejercicio 12 Demuestre los dos lemas anteriores.
Integral de contorno
Z
f (z)dz
Definicin 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
Zb
f (z)dz =
f (z(t)) z 0 (t)dt
Zb
(u x0 v y 0 )dt + i
(x(b),y(b))
Z
Zb
(u y 0 + v x0 )dt
(u dx v dy) + i
(x(a),y(a))
(x(b),y(b))
Z
(x(a),y(a))
Propiedades
f (z)dz =
C
Sea C = C1 + C2 ,
f (z)dz.
R
f (z)dz =
C
f (z)dz +
C1
C2
f (z)dz.
(u dy + v dx)
33
f (z)dz =
f (z)dz.
[f (z) + g(z)]dz =
C
f (z)dz +
C
g(z)dz.
R
Rb
C f (z)dz |f (z(t)) z 0 (t)| dt M L donde |f (z)| M sobre la curva C y
a
L es la longitud de C.
Ejercicio 13 Integrales de contornos.

1. Calcular las siguientes integrales utilizando la definicin:
(a)
|zz0 |=R
(b)
dz
,
zz0
donde C es el segmento que une los puntos z1 y z2 .
1.dz
2. Sea f una funcin continua

a tramos
sobre uncontorno C : z = z(t), t [a, b].
R
R
R
f (z)dz , es decir:
f (z)dz = R.ei .
Sea R = f (z)dz y = Arg
C
C
C
Muestre que:
R
(a) R = ei f (z)dz
C
R i
e f (z)dz = 0
(b) Im
C
(c) Re
f (z)dz
Rb
a
Re ei f (z(t))z 0 (t) dt = R
R
Rb
(d) 0 R = f (z)dz |f (z(t))| |z 0 (t)| dt M.L
a
donde M =max |f (z(t))| y L =

t[a,b]
Rb
a
|z 0 (t)| dt
Definicin 48 Un dominio simplemente conexo D, es un dominio tal que todo

contorno cerrado simple dentro de l, encierra slo puntos de D.
Definicin 49 Un dominio que no es simplemente conexo se llama mltiplemente
conexo.
34
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
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
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
C1 y C2 dos curvas contenidas en D que unen dos puntos cualesquiera z1 y z2
en D. Como indica la figura:
D
z2
z1
Muestre que:
C1
f (z)dz =
f (z)dz =
C2
R z2
z1
f (z)dz.
3. Use el ejercicio anterior y el ejercicio 13 para probar que si f (z) = 1

Z
C1
dz =
C2
dz =
z2
z1
dz = z2 z1
35
4. Sea f una funcin analtica en la regin comprendida entre las curvas cerradas
simples C1 y C2 y sobre las mismas, como indica la figura:
C1
C2
Muestre a partir del Teorema de Cachy que
f (z)dz =
C1
C2
f (z)dz.
[Sug. considere las curvas , o 1 y 2 como muestran las figuras].

G
G
5. Sea C una curva cerrada simple que enciera al punto z0 en sentido positivo.
R dz
Calcule C zz
, [recuerde el resultado del ejerciccio 13].
0
6. De manera similar al ejercico anterior muestre que si f es analtica en la regin

comprendida entre las curvas C, C1 y C2 , y sobre las mismas (como indica la
regin sombreada de la figura)
Z
f (z)dz =
f (z)dz +
C1
C1
C2
C2
f (z)dz
36
Teorema de Cauchy para dominios mltiplemente conexos

Teorema 29 Supongamos que
C es un contorno cerrado simple con orientacin positiva.
Ck (k = 1, 2, ..., n) denota un nmero finito 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 interiores a C o del propio C, excepto en los puntos interiores a cada Ck , entonces
Z
k=n Z
X
f (z)dz =
k=1
f (z)dz
Ck
Primitivas
Teorema 30 Sea f (z) una funcin continua en un dominio D (puede ser mult.
conexo). Si cualquiera de estas afirmaciones 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
fijos z1 y z2 tienen todas el mismo valor (F (z2 ) F (z1 )).
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 z2
z1
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) =
Rz
z0
f (z)dz.
37
R z2
z1
f (z)dz = F (z2 ) F (z1 ).
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
z2
z1
f (z)dz = F (z2 ) F (z1 )
[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 C1 y C2
son dos curvas cualesquieras, que unen dos puntos z1 y z2 en D, entonces
R
R
Rz
f (z)dz = C2 f (z)dz = z12 f (z)dz. Muestre que
C1
Rz
(a) Para un z0 dado en D, el valor de z0 f (s)ds es nico para cada z D.
Rz
(b) F (z) = z0 f (s)ds es una funcin definida en D.
R z+z
(c) W = F (z + z) F (z) = z
f (s)ds.
R z+z
(d) z = z
ds [use ejercicio 13].
hR
hR
i
i
R z+z
z+z
z+z
1
1
(e) W
f
(z)
=
f
(s)ds
f
(z)z
=
f
(s)ds
f
(z)ds
z
z
z
z
z
z
(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| <
< siempre que |z| <
f
(z)
ii. W
z
(h) lim W
= f (z)
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.
38
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 z0 es un punto interior a C, entonces
1
f (z0 ) =
2i
f
(n)
n!
(z0 ) =
2i
f (z)
dz
z z0
f (z)
dz
(z z0 )n+1
n = 1, 2, ...
Teorema 33 Una funcin analtica tiene derivadas de todo orden y son todas analticas.
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 z0 en su interior. Sea C0 un crculo centrado en z0 de radio suficientemente
pequeo para quedar contenido integramente dentro del contorno C. Muestre que:
1.
2.
3.
4.
f (z)
dz
C zz0
1
dz
C0 zz0
f (z)
dz
C zz0
f (z)
dz
C zz0
5. 0 C
R
f (z)
dz.
C0 zz0
= 2i.
2i f (z0 ) =
2i f (z0 ) =
f (z)
dz
zz0
queo.
6.
f (z)
dz
C zz0
f (z)
dz
C0 zz0
C0
f (z0 )
f (z)f (z0 )
dz.
zz0
dz
.
C0 zz0
2i f (z0 ) , donde es un nmero arbitrariamente pe-
= 2i f (z0 )
39
Teorema de Morera
Teorema 34 Si una funcin f es continua en un dominio D simplemente conexo
R
y si 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 z0 , |z z0 | < .
(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
z0
f (z0 ) =
1
2
R2
f (z0 + ei ) d, donde < .
[sug. utilice la frmula integral de Cauchy].
40
(b) Sea z0 un punto tal que |f (z)| |f (z0 )|, para todo z en ese entorno.
Muestre:
i. |f (z0 )|
ii. |f (z0 )|
1
2
1
2
R2
f (z0 + ei ) d.
0
R2
f (z0 + ei ) d.
0
R2
|f (z0 )| f (z0 + ei ) d = 0.
iii.
0
iv. |f (z)| = |f (z0 )| para todo punto del crculo |z z0 | = .

v. |f (z)| = |f (z0 )| 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) = c2 /f(z)).
vii. Lema: Sea f una funcin analtica en un entorno de un punto z0 ,
|z z0 | < , si |f (z)| |f (z0 )|, 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.
41
Sucesiones y series
Definicin 50 Una sucesin de nmeros complejos es una funcin de N C.
Definicin 51 Una sucesin zn es convergente si tiene lmite z, es decir para cada
> 0, existe un nmero natural N0 tal que |zn z| < n > N0 ,
lim zn = z
zn z.
Teorema 36 Supongamos que zn = xn + i yn , y z = x + i y. Entonces
lim zn = z
lim xn = x
n
lim y = y
n
n
Propiedades de lmites de sucesiones:
1. Sean zn y wn dos suceciones convergentes tales que zn z y wn w. Entonces:

(a) an = zn + wn tambin es convergente y an z + w.
(b) bn = zn wn tambin es convergente bn z w.
(c) Si zn 6= 0 para todo n, y z 6= 0; cn =
1
1
tambin es convergente y cn .
zn
z
(d) Toda subsucesin de zn tiene lmite z.

2. Toda sucesin convergente es acotada.
3. lim zn = z lim |zn | = |z| .
n
4. lim zn = 0 lim |zn | = 0.

n
5. lim zn = 0 y |wn | < M para todo n = lim zn wn = 0.

n
6. Si lim zn = z y lim f (w) = c lim f (zn ) = c.

n
wz
42
Definicin 52 Una serie de nmeros complejos
n=1
converge con suma S, si la sucesin
zn = z1 + z2 + + zn + ,
N
X
SN =
zn = z1 + z2 + + zN
n=1
de sumas parciales converge a S.

Teorema 37 Supongamos que zn = xn + i yn , y S = X + i Y
P
xn = X
X
n=1
zn = S
yn = Y
n=1
n=1
En consecuencia una condicin necesaria para la convergencia de la serie es que

lim zn = 0.
Definicin 53 Una serie
zn es absolutamente convergente si la serie
n=1
n=1
nmeros reales es convergente.

Teorema 38 Si
n=1
Si la serie
|zn | es convergente entonces
|an | converge se dice que la serie
|zn |de
zn tambin es convergente.
n=1
an converge absolutamente.
P
P
Si la serie an converge y la serie |an | diverge entonces se dice que la serie
P
an converge condicionalmente.
La suma de una serie absolutamente convergente no depende del orden de sus
trminos.
Si
an y
entonces:
P
bn son series convergentes con suma A y B respectivamente,
(an + bn ) converge y su suma es A + B.

P
Si c es un nmero complejo,
c an converge y su suma es c A.
43
Criterio de Dirichlet.
Si la sucesin de nmeros reales a1 , a2 , . . . , an , . . . tiende montonamente a cero y
P
P
N
zn tiene sumas parciales acotadas (zn es una sucesin compleja, 1 zn k,
P
independiente de N), entonces la serie
an zn es convergente.
n=1
Series de funciones
Definicin 54 Una serie de funciones es una serie cuyos trminos son funciones
de una variable compleja definida en una regin D del plano complejo
fn (z).
n=1
fn : D C
Sucesin de funciones de sumas parciales: SN (z) =
N
P
fn (z).
n=1
Regin de convergencia: es el conjunto de puntos RC D, para los cuales la

serie converge, es decir donde SN (z) tiene lmite.
Funcin suma: S(z) = lim SN (z), en la regin de convergencia.
n
Resto de la serie: RN (z) = S(z) SN (z), en la regin de convergencia.
Convergencia uniforme.
Definicin 55 Se dice que la serie
fn (z) converge uniformemente en la regin
M, si dado > 0, existe un nmero natural N(), tal que n > N y z M

|Rn (z)| < .
44
Criterio de Weierstrass
Si existen nmeros positivos a1 , a2 , . . . , an , . . . tales que para todos los z de un
P
subconjunto M de la regin de convergencia RC de la serie
fn (z),
|fn (z)| an
y
n y z M RC,
an es convergente, entonces la serie
n=1
convergente en M.
fn (z) es absoluta y uniformemente
Teorema 39 Si los trminos de una serie de funciones
fn (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
Definicin 56 Una serie de potencias es una serie de funciones con la siguiente
estructura:
X
n=0
an (z z0 )n = a0 + a1 (z z0 ) + + an (z z0 )n +
donde z0 y los coeficientes cn son constantes complejas y z cualquier punto del plano
complejo.
|an+1 |
= R1 , la serie de potencias converge abson |an |
lutamente en el crculo |z z0 | < R y diverge absolutamente cuando|z z0 | >
Si an 6= 0 n N, y existe lim
R.
Ejercicio 18 Sea f una funcin analtica en un disco abierto centrado en z0 y de

radio R0 , y C : s(t) = z0 + r0 eit , 0 t 2, con r0 < R0 . Sea z un punto interior
al crculo C, es decir |z z0 | < r0 , muestre que:
45
1. f (z) =
1
2i
2. f (z) =
1
2i
f (s)
ds.
sz
f (s)
ds.
s z0 1 z z0
s z0
1
wN
= 1 + w + + wN1 +
1w
1w
z z0 !N
N1
Z
z z0
f (s)
z z0
z0 ds.
1
4. f (z) = 2i
+ +
+ s
1 +
z
z0
s z0
s z0
s z0
1
C
s z0
3.
f (N1) (z0 )
5. f (z) = f (z0 ) + f 0 (z0 )(z z0 ) + +
(z z0 )N 1 + N (z),
(N 1)!
Z
f (s)
(zz0 )N
con N (z) = 2i
ds.
(s z)(s z0 )N
C
6. lim N (z) = 0.
N
7. f (z) =
f (n) (z )
P
0
(z z0 )n .
n!
n=0
Teorema de Taylor
Teorema 40 Sea f una funcin analtica en un disco abierto |z z0 | < R0 . Entonces en todo punto z de ese disco f (z) admite la representancin en serie de
potencias:
X
f (z) =
an (z z0 )n
n=0
donde an =
f (n) (z0 )
.
n!
La serie de potencias converge a f (z) cuando |z z0 | < R0 .
46
Cuando z0 = 0 se llama serie de Maclaurin.
La serie converge a f (z) dentro del crculo centrado en z0 cuyo radio es la
distancia de z0 al punto z1 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
n=0
an z n converge cuando z = z1, (z1 6= 0)
es absolutamente convergente en todo punto del disco abierto |z| < |z1 | .
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 z2 exterior a ese crculo pues si
lo fuera sera convergente dentro de un crculo mayor.
Teorema 42 Si z1 es un punto interior al crculo de convergencia |z| = R, de una
P
serie de potencias
an z n , entonces esa serie es uniformemente convergente en el
n=0
disco cerrado |z| R1 , donde R1 = |z1 | < R.
La suma de la serie es una funcin continua en todo punto interior al crculo

de convergencia.
Integracin y derivacin de series de potencias
Ejercicio 19 Sea
n=0
an z n una serie de potencias con crculo de convergencia |z| <
R, y funcin suma S(z). Muestre que:
47
(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:
Z
Z N
Z
P
P
n
n
S(z)dz =
an z dz +
an z dz.
i.
c
ii.
c
N
P
S(z)dz =
n=0
an
n=0
con N =
z dz + N ,
n=0
Z
c
iii. lim N = 0.
N
Z
Z
P
iv.
S(z)dz =
an z n dz.
c
n=N+1
v. Si C es un contorno cerrado,
an z
n=N+1
dz.
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:
Z
S(w)
1
0
dw.
i. S (z) = 2i
(w z)2
C
ii. S 0 (z) =
1
2i
iii. S 0 (z) =
N
P
n=0
N
P
an wn
n=0
(w
z)2
nan z n1 + N (z),
n=1
1
2i
an wn
n=N+1
(w z)2
con N (z) =
dw.
1
2i
iv. lim N (z) = 0.

v. S 0 (z) =
dw +
nan z n1 .
an wn
n=N+1
(w z)2
dw.
48
Teorema 43 Sea C cualquier contorno interior al crculo de convergencia de la
P
serie de potencias
an z n = S(z). La serie puede ser integrada trmino a trmino
n=0
sobre C, esto es
X
S(z)dz =
an z n dz.
n=0
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
an z n puede ser derivada trmino a trmino.
n=0
Esto es
X
S (z) =
nan z n1
0
n=1
en todo punto interior al crculo de convergencia.
Ejercicio 20 Series de potencias

1. Sabiendo que
n=0
(a)
(b)
n=0
P
n=0
an z n representa una funcin analtica en |z| < R probar que:
an (z z0 )n representa una funcin analtica en |z z0 | < R.

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

Teorema 46 Si una serie
n=0
an (z z0 )n converge a f (z) en todo punto interior a
algn crculo, entonces es la serie de Taylor de f en potencias de z z0 .
49
Series de Laurent
Teorema 47 Sea f una funcin analtica en un dominio anular R1 < |z z0 | <
R2 , y sea C cualquier contorno cerrado simple, orientado positivo, en torno a z0 y
contenido en ese dominio. Entonces, en todo punto z de ese dominio, f (z) admite
la representacin en serie
X
X
n
f (z) =
an (z z0 ) +
n=0
n=1
bn
(z z0 )n
donde
an
bn
1
=
2i
1
=
2i
f (z)
dz
(z z0 )n+1
n = 0, 1, 2, ...
f (z)
dz
(z z0 )n+1
n = 1, 2, ...
+
P
cn (z z0 )n
Se suele escribir f (z) =
n=
R
f (z)
1
cn = 2i
dz,
n
= 0, 1, 2, ...
C (zz0 )n+1
en R1 < |z z0 | < R2 , donde
Ejercicio 21 Sea f una funcin analtica en un dominio D, anular R1 < |z| < R2 ,
y sea C cualquier contorno cerrado simple, orientado positivo, en torno al origen y
contenido en ese dominio D. Sea z D, R1 < r1 < r2 < R2 y r3 < min(r2 |z|, |z|
r1 ),considere los siguientes crculos: C1 : w(t) = r1 eit , 0 t 2, C2 : w(t) = r2 eit ,

0 t 2, C3 : w(t) = z + r3 eit , 0 t 2.
1. Realice un grfico esquemtico del dominio D con los crculos C1 , C2 , el punto

z y el crculo C3 .
2. Muestre las siguientes igualdades:
f (z) =
1
2i
C3
f (w)
dw.
wz
50
Z
Z
f (w)
f (w)
f (w)
dw =
dw +
dw.
C2 w z
C1 w z
C3 w z
Z
Z
f (w)
f (w)
1
1
dw 2i
dw.
f (z) = 2i
C2 w z
C1 w z
Z
1
1
1
1
1
= + 2 z + + N+1 z N +
z N+1 .
N+1
wz
w w
w
(w z)w
1
1
1
1
1
wN +1 .
= + 2 1 + + N +1 N +
wz
z z w
z
w
(z w)z N+1
N
P
an z n + N (z)+
bn z n + N (z),
n=0
n=1
Z
f (w)
1
donde: an = 2i
dw,
n+1
w
C
2
Z
f (w)
1
dw,
bn = 2i
n+1
C1 wZ
f (w)
z N +1
N (z) =
dw, y
N+1
2i
C2Z (w z)w
f (w)wN+1
1
N (z) = N+1
dw.
z
2i C1 (z w)
f (z) =
N
P
lim N (z) = 0 y
N
f (z) =
n=0
an z n +
lim N (z) = 0.
bn z n .
n=1
3. Sea C cualquier contorno cerrado simple, orientado positivo, en torno al origen

y contenido en ese dominio D. Incluya a C en el grfico 1 y vea que an =
R f (w)
R f (w)
1
1
dw
y
b
=
dw.
n
2i C
2i C
wn+1
wn+1
4. Extienda la demostracin para z0 6= 0.
Punto singular aislado - Residuo

Definicin 57 Un punto singular z0 de una funcin f es aislado si existe un entorno reducido de z0 , 0 < |z z0 | < , en el que f es analtica.
51
Definicin 58 Sea z0 un punto singular aislado de f. Esta funcin puede representarse por una serie de Laurent en un entorno reducido de z0 , 0 < |z z0 | < R2 .
X
an (z z0 )n +
f (z) =
n=0
b1
b2
bn
+
+ +
+
2
z z0 (z z0 )
(z z0 )n
La porcin de la serie de potencias negativas de z z0 , se llama parte principal

de f en z0 .
El coeficiente b1 de ese desarrollo se llama residuo de f en el punto z0 .
b1 =Res f (z)
z=z0
Por teorema de Laurent,el residuo Res f (z) =

z=z0
1
2i
f (z)dz , donde C es
una curva cerrada simple, orientada positiva, que encierra a un nico punto
singular z = z0 .
Definicin 59 Existen tres tipos de puntos singulares aislados:
1. Si la parte principal de f en un punto singular z0 contiene un nmero finito
de trminos no nulos, bm 6= 0 y bn = 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 z0 tiene infinitos trminos no nulos, se llama
punto singular esencial.
3. Si todos los coeficientes bn de la parte principal de f en son cero, el punto z0
se llama punto singular evitable. Si se define f (z0 ) = a0 la funcin pasa a
ser analtica en z0 .
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 finito de puntos
52
singulares zk (k = 1, 2, . . . , n) interiores a C, entonces
Z
f (z)dz = 2 i
n
X
k=1
Res f (z).
z=zk
Ejercicio 22 Demuestre el teorema de los residuos [sug. utilice teorema 29]
Ceros y polos de orden m

Definicin 60 Si f es analtica en z0 , f (z0 ) = 0, y existe un entero positivo m, tal
que f (m) (z0 ) 6= 0 y todas las derivadas de orden inferiores a m se anulan en z0 , se
dice que f tiene un cero de orden m en z0. Adems se puede expresar
f (z) = (z z0 )m g(z)
donde g es analtica en z0 y g(z0 ) 6= 0.
Lema 3 Si f tiene un polo de orden m en z0 puede expresarse como
f (z) =
(z)
,
(z z0 )m
donde es analtica en z0 y (z0 ) 6= 0. Los coeficientes de la parte principal en z0

verifican
bk =
(mk) (z0 )
.
(m k)!
Esta frmula es de gran utilidad en el clculo de residuo en polos pues

b1 =
(m1) (z0 )
(m 1)!
1
lim
(m1)! zz
0
dm1
((z z0 )m f (z)) ,
m1
dz
53
si m = 1, b1 = lim (z z0 )f (z).
zz0
Tambin es muy til en la descomposicin en fracciones parciales de una funcin racional R(z) =
P (z)
,
Q(z)
mj
r X
X
R(z) =
j=1 k=1
bk j
,
(z zj )k
donde P y Q son polinomios y el grado de P es menor que el grado de Q,

Q tiene r ceros distintos zj de orden mj y no tiene ceros en comn con P.
Los coeficientes de las fracciones se pueden calcular utilizando la frmula de
la definicin anterior
bk j =
(mj k) (zj )
(mj k)!
1
lim
(mj k)! zz
j
dmj k
((z zj )mj R(z))
dz mj k
Teorema de Picard
Teorema 49 En todo entorno de un punto singular esencial, una funcin alcanza
todo valor finito, con una nica posible excepcin, un nmero infinito de veces.
Ejercicio 23 Sea z0 un punto singular aislado de f.

1. Probar que:
(a) lim f (z) existe z0 es punto singular evitable de f.
zz0
(b) lim f (z) = z0 es polo de f.

zz0
(c) lim f (z) no existe z0 es punto singular esencial de f.

zz0
54
2. Sea k un entero, k 0, usando el Lema 3 muestre que:
k<m
z0 es polo de orden m de f lim (z z0 )k f (z) =

(z0 ) 6= 0 k = m
zz0
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
z0 , entonces f (z) 0 en cualquier entorno N0 de z0 , en el que f sea analtica. Esto
es f (z) = 0 en todo punto de N0 .
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
Definicin 61 Dos funciones analticas: f1 definida en el dominio D1 y f2 definida
en el dominio D2 se dicen que son prolongaciones analticas una de la otra si
D1 D2 6= y f1 (z) = f2 (z) en D1 D2 .
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 z0 . Analizar la
singularidad que presentan las funciones
f (z)
zz0 g(z)
que lim
= lim
f 0 (z)
zz0 g0(z)
f (z)
g(z)
, si este ltimo existe.
f 0 (z)
g0(z)
en el punto z0 y probar
55
3. Sea C un contorno cerrado simple que encierra un nico polo de una funcin f (z) en sentido antihorario. Comparar la forma de resolver la integral
R
f (z)dz utilizando la Frmula Integral de Cauchy y el Teorema de los ResiC
duos.
4. Descomponer en fracciones parciales utilizando residuos:

z + 12
z 2 + 4z
2
(b) 2
z (z + 1)
10 4z
(c)
(z 2)2
z+2
(d) 2
z +1
(a)
56
Transformada de Laplace
Bibliografa:
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 cientficos.
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)
Definicin 62 Sea f : R+ R, es decir una funcin real definida para t 0. Si
R
la integral 0 est f (t)dt, existe donde s puede ser real o complejo, se define una
funcin de s
F (s) =
est 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)} =
est f (t)dt.
La funcin original f (t) se conoce como transformada inversa o inversa de F (s),

es decir
f (t) = L1 {F (s)}.
57
La funcin original tambin puede ser una funcin compleja de variable real, es
decir f : R+ C , f (t) = fr (t) + i fi (t). La transformada de Laplace en este caso
se define del mismo modo
F (s) =
st
f (t)dt =
est (fr (t) + i fi (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
est f (t)dt converge absolutamente para s = 0 en-
tonces la integral converge absoluta y uniformemente para todo Re(s) 0 .

Abscisa de convergencia
Definicin 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) < .
Definicin 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
Definicin 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)| Met
t > T
et |f (t)| M
y escribimos f = O(et ).
t > T
58
Lema 5 Si lim et f (t) existe entonces f = O(et ).
t
Ejercicio 25 Probar que 1, t, tn , sen t, cos t, eat , eit , son de orden exponencial y et
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(et ).
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(e0 t ) entonces tf (t) = O(et ) para
todo > 0 .
Teorema 54 Si f (t) es continua a tramos y de orden exponencial f = O(e0 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
0 si t < 0
h(t) =
1 si t > 0
59
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) = et sen(et ) es continua a tramos y de orden exponencial (0 = 1)).Su abscisa de convergencia absoluta es = 1, y la abscisa de
R sen y
convergencia es 0 = 0 [para probar esto ltimo haga y = et y analice 1
dy].
ys
Transformada Inversa. Teorema de Lerch

Teorema 55 Si dos funciones f y g tienen la misma transformada de Laplace,
RT
entonces f g = N, donde N es una funcin nula, 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(et ) y continua a tramos, entonces

lim
Re(s)+
F (s) = 0
Im(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}.
60
3. Sobre el conjunto de funciones T LC = {f (t) : f continua y de orden exponencial, 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:
et f (t) F (s )
Re(s) > p + Re()
Para a > 0:
h(t a)f (t a) eas F (s)
Re(s) > p
Cambio de escala
Para a > 0:
f (at)
1
a
F ( as )
Re(s) > a p
Derivadas
f (n) (t) sn F (s) sn1 f (0) f (n1) (0) Re(s) > p
(1)n tn f (t) F (n) (s)
Re(s) > p
Integrales
Rt
0
Si lim
t0
f (t)
t
f (t)dt
f (t)
t
1
F (s)
s
R
s
F (u)du
Re(s) > max(p, 0)
Re(s) > p
61
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
1
F (s) =
1 esT
es 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)+
sF (s), entonces
Im(s)=0
f (0) =
lim
Re(s)+
sF (s).
Im(s)=0
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 f (t), entonces
t
lim sF (s) = lim f (t).
s0
62
Producto de Convolucin
Definicin 66 El producto de convolucin entre dos funciones f (t) y g(t) (cuya
R +
notacin es f g) se define mediante la integral 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
definidas en (0, +), la integral resulta con los siguientes extremos:
(f g)(t) =
f (u)g(t u)du
t > 0.
Propiedades
f g =gf
(f g) v = f (g v)
f (g1 + g2 ) = f g1 + f g2
Teorema de Convolucin
Teorema 60 Si f (t) y g(t) son las transformadas inversas de F (s) y G(s) respectivamente, 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 coeficientes constantes) y los correspondientes problemas con condiciones 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.
63
2. Se resuelve el problema haciendo manipulaciones algebraicas.
3. La solucin del sistema algebraico se transforma en sentido inverso para obtener 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)
,donde
Q(s)
P y Q son polinomios en s. En tal caso
es posible determinar la solucin y(t) = L1 {Y (s)}, expresando primero Y (s) en

trminos de fracciones parciales, y luego antitransformando. A este mtodo se lo
llama: Desarrollo de Heaviside.
64
Series de Fourier
Bibliografa
Series de Fourier y problemas de contorno. Churchill, Ruel V. (517.2. C4731).
Introduccin al clculo y al anlisis matemtico. Courant, Richard; John,
Fritz., vol. 1 (517. C833).
(517. K889-2 / 517. K889-1/ 517. K889).
Definicin 67 Una funcin real, f : R R es peridica, de periodo T, si verifica
f (x) = f (x + T ), x R, y el valor =
2
T
se denomina frecuencia.

1. Las funciones sen x y cos x son funciones peridicas de periodo T = 2, y las
funciones cos nx
y sen nx
tienen periodo T = 2L y frecuencia = L .
L
L
2. Si f (x) es una funcin peridica de periodo T, para cualquier constante arbitraria a
Z
f (x)dx =
a+T
f (x)dx =
T /2
f (x)dx
T /2
Definicin 68 Una funcin real, f : R R es par, si verifica f (x) = f (x),

x R.
65
Definicin 69 Una funcin real, f : R R es impar, si verifica f (x) = f (x),
x R.
Definicin 70 Sea f una funcin cuyo lmite a derecha f (x+
0 ) existe en el punto
x0 . La derivada a derecha se define como sigue:
f (x0 + ) f (x+
0)
fD0 (x0 ) = lim+

0
cuando el lmite existe.

Definicin 71 Sea f una funcin cuyo lmite a izquierda f (x
0 ) existe en el punto
x0 . La derivada a izquierda se define como sigue:
fI0 (x0 ) = lim+
0
f (x
0 ) f (x0 )
cuando el lmite existe.

Si existe f 0 (x0 ), entonces existen ambas derivadas laterales y son iguales,
f 0 (x0 ) = fD0 (x0 ) = fI0 (x0 ).
Series de Fourier
Definicin 72 La serie trigonomtrica
X
1
(an cos nx + bn sen nx)
a0 +
2
n=1
o bien en notacin compleja
n einx
n=
es la serie de Fourier de una funcin f (x) si sus coeficientes vienen dados por las
frmulas
a0
1
=
f (x) dx,
66
an
bn
1
=
1
=
f (x) cos nx dx n = 1, 2, ...
1
=
2
f (x) sen nx dx n = 1, 2, ...
f (x)einx dx n = 0, 1, 2, ...
donde f es alguna funcin definida en el intervalo (, ).

El trmino
a0
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 =
an i bn
para n > 0.
2
n = n .
La serie de Fourier tiene dos aplicaciones fundamentales:
1. Representar una funcin definida 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 peridica de periodo 2. Entonces su serie de Fourier converge al valor
f (x+
0 ) + f (x0 )
2
en todos los puntos x0 donde f tenga derivada a derecha y a izquierda.

La convergencia de la serie
suma parcial
SN (x) =
N
X
n=
n einx , significa la existencia del lmite de la
N
X
1
n einx = a0 +
(an cos nx + bn sen nx)
2
n=1
n=N
67
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 suficiente para la mayora de
las aplicaciones. Las condiciones ms generales se conocen como Condiciones de
Dirichlet.
Definicin 73 Una funcin f (x) se dice que satisface las condiciones de Dirichlet
en un intervalo (a, b), en el cual est definida cuando satisface una de estas dos
condiciones:
1. f (x) es acotada en (a, b), y el intervalo puede ser partido en un nmero finito
de intervalos abiertos parciales, en cada uno de los cuales f (x) es montona (
f tiene un nmero finito de mximos y mnimos en (a, b) ).
2. f (x) tiene un nmero finito de puntos de discontinuidad infinita 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 finito
de intervalos abiertos parciales, en cada uno de los cuales f (x) es montona.
Rb
Adems la integral a f (x)dx es absolutamente convergente.
Serie de Cosenos
Cuando f es una funcin par en el intervalo (, ) sus coeficientes tienen valores
a0
an
2
=
2
=
f (x) dx,
f (x) cos nx dx n = 1, 2, ...
bn = 0 n = 1, 2, ...
68
Por lo tanto su serie de Fourier se reduce a
a0 X
+
an cos nx.
2
n=1
Es la serie de Fourier de cosenos. Sirve para:

1. Representar funciones pares definidas en el intervalo (, ).
2. Representar funciones peridicas pares de periodo 2.
3. Representar funciones definidas en el intervalo (0, ).
Serie de Senos
Cuando f es una funcin impar en el intervalo (, ) sus coeficientes tienen valores
a0 = 0,
an = 0 n = 1, 2, ...
bn
2
=
f (x) sen nx dx n = 1, 2, ...
Por lo tanto su serie de Fourier se reduce a
bn sen nx.
n=1
Es la serie de Fourier de senos. Sirve para:

1. Representar funciones impares definidas en el intervalo (, ).
2. Representar funciones peridicas impares de periodo 2.
3. Representar funciones definidas en el intervalo (0, ).
En consecuencia si una funcin f (x) est definida solo en el intervalo [0, ],
podemos extenderla al intervalo [, ] ya sea como una funcin par o como
69
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
a0 X
nx
nx
f (x) v
+
+ bn sen
an cos
2
L
L
n=1
a0
an
bn
1
=
L
1
=
L
1
=
L
f (x) dx
L
L
f (x) cos
nx
dx n = 1, 2, ...
L
f (x) sen
nx
dx n = 1, 2, ...
L
L
L
o bien en la forma exponencial
f (x)
ne
inx
L
donde
1
n =
2L
La serie converge a
f (x+
0 )+f (x0 )
2
f (x)e
inx
L
en todos los puntos x0 donde f tenga derivada a
derecha y a izquierda.

1. Si f es peridica con periodo T = 2L y un nmero real cualquiera, entonces
a0
1
=
L
+2L
f (x) dx
70
an
bn
1
=
L
1
=
L
+2L
f (x) cos
nx
dx
L
f (x) sen
nx
dx
L
+2L
2. Los coeficientes de Fourier de una suma de funciones f1 + f2 son las sumas de

los coeficientes correspondientes a f1 y f2 .
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, a0 = an = 0
y
2
bn =
L
f (x) sen
nx
dx
L
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.
bn = 0 y
2
an =
L
f (x) cos
nx
dx
L
para n = 0, 1, 2, ...;es decir dos veces la integral de la mitad del intervalo.

Adems n es real.
71
Simetra de media onda: Se dice que hay simetra de media onda cuando
es f (x) = f (x L). Resulta que:
a0 = 0,
para n par (n = 2k) :
a2k = b2k = 0,
y para n impar (n = 2k + 1) :
a2k+1
b2k+1
2
=
L
2
=
L
f (x) cos
(2k + 1)x
dx,
L
f (x) sen
(2k + 1)x
dx,
L
para k = 0, 1, 2, ...
El hecho de ser funcin par o impar nada tiene que ver con los ndices o frecuencias 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 coeficientes 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 suficiente integrar en un cuarto
del periodo y luego multiplicar por cuatro.
72
Ejemplos: Sumas parciales de la serie:
4
(2k+1)
sen(2k + 1)x
k=0
2
S1(x)
1
0
1
2
10
10
10
10
2
1
S3(x)
0
1
2
10
2
1
S (x)
5
0
1
2
10
2
S (x)
10
0
1
2
10
10
10
10
2
1
S20(x)
0
1
2
10
2
1
S100(x)
0
1
2
10
73
Sumas parciales de la serie:
3
S1(x)
4
k=0 (2k+1)2
cos(2k + 1)x
2
1
0
10
10
10
10
3
2
S3(x)
1
0
10
4
3
S5(x)
2
1
0
10
Sumas parciales de la serie:
n=1
2(1)n
n
sen nx
f(x)
0.5
0
0.5
1
10
10
Modulo
0.5
0
16
14
12
10
14
12
10
10
12
14
16
10
12
14
16
Fase [rad]
3.14
1.57
0
1.57
3.14
16
74
Sntesis de ondas.
Las series de Fourier se pueden utilizar para sintetizar ondas peridicas como una
suma infinita de senoidales y/o cosenoidales de la frecuencia fundamental =
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 grficamente sus sumas parciales como
muestran las figuras 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 infinita, 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
a0 X
nx
nx
+
+ bn sen
an cos
2
L
L
n=1
y la serie
ne
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.
75
Una serie de Fourier no puede converger uniformemente en un intervalo que
contenga alguna discontinuidad.
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)
a0 X
nx
nx
+
+ bn sen
an cos
2
L
L
n=1
ne
inx
L
es derivable trmino a trmino en todo punto donde f 0 (x) tenga derivada a derecha
y a izquierda, y

X
nx
f (x)
+
n
a sen
L n
L
n=1
0
f (x)
n
b
L n
nx
cos
L
inx
in
e L .
L n
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 (a0 = 0)

X
nx
nx
+ bn sen
,
an cos
f (x)
L
L
n=1
entonces

nx Lbn
nx
A0 X Lan
+
sen
cos
f (u)du
2
n
L
n
L
L
n=1
Z
con A0 = L1
RL
uf (u)du.
(Si a0 6= 0 basta considerar g(x) = f (x) a0 /2).
76
Identidad de Parseval
Teorema 66 Si f (x) es acotada e integrable en [L, L], an y bn los coeficientes de
Fourier de f, entonces
1
L
a2 X 2
f (x)dx = 0 +
an + b2n
2
L
n=1
o bien
1
2L
L
2
f (x)dx =
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)) =
u
2
2 !
u a0 2 X
1
a
b
n
n
f 2 (x)dx = t
+
+
2L L
2
2
2
n=1
Z
Orden de decrecimiento de los trminos de la serie

En los puntos siguientes considerar la continuidad de la funcin suma de la serie de
fourier sobre toda la recta real, es decir la continuidad de las extensiones peridicas
de las funciones y sus derivadas.
Si f y f 0 son continuas a tramos entonces existe una constante k tal que
|an | < nk , |bn | <
k
n
y | n | < nk .
Si f es discontinua pero f y f 0 son continuas a tramos, el orden de decrecimiento de los coeficientes no puede ser ms rpido que n1 .
Si f , f 0 , f 00 , ..., f (p1) son continuas y f (p) y f (p+1) continuas a tramos, entonces

los coeficientes decrecen al menos como
1
.
np+1
Si adems f (p) es discontinua
(pero f (p) y f (p+1) continuas a tramos), entonces los coeficientes no decrecen

ms rpido que
1
.
np+1
77
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 =
a2 +b2
2
cos[x tan1 ( ab )]
entonces la serie tendr la forma:

a0 X
cn cos(nx )
+
2
n=1
a0 X
cn sen(nx )
+
2
n=1
con:
cn = 2 | n | =
p
a2n + b2n , = arg(
n ) = tan1 ( abnn ), y = 2 . Sin embargo
sigue siendo una forma ms compacta la serie de exponenciales:
n einx
La graficacin 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
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.
78
En los siguientes grficos se muestran para cada onda el espectro en frecuencia,
el mdulo y la fase de los coeficientes de Fourier de sus correspondientes series de
exponenciales complejas, es decir Mdulo:| n | y Fase: Arg ( n )
+
P
Onda cuadrada y su espectro en frecuencia:
2i
ei(2k+1)x
(2k+1)
f(x)
0.5
0
0.5
1
10
10
x
0.8
Modulo
0.6
0.4
0.2
0
0.2
16
14
12
10
14
12
10
10
12
14
16
10
12
14
16
Fase [rad]
3.14
1.57
0
1.57
3.14
16
79
Onda triangular y su espectro en frecuencia:
+
P
2
ei(2k+1)x
(2k+1)2
f(x)
0.5
0
10
10
x
2
Modulo
1.5
1
0.5
0
16
14
12
10
14
12
10
10
12
14
16
10
12
14
16
Fase [rad]
4.71
3.14
1.57
0
1.57
16
Onda diente de sierra y su espectro en frecuencia:
+
P
n6=0
(1)n i inx
e
n
f(x)
0.5
0
0.5
1
10
10
Modulo
0.5
0
16
14
12
10
14
12
10
10
12
14
16
10
12
14
16
Fase [rad]
3.14
1.57
0
1.57
3.14
16
80
Transformaciones en el plano complejo

Si una funcin compleja w = f (x) est definida 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 .
81
Transformacin lineal general
w = z +
( 6= 0) es la composicin de las transformaciones:
Z = z
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.
una reflexin con respecto al eje real.

w = Z,
Si z = x + i y y w = u + i v, entonces
u=
x
x2 +y2
x=
u
u2 +v2
v=
y
x2 +y 2
y=
v
u2 +v 2
Ejercicio 31 Pruebe que la transformacin w =

crculos o rectas.
1
z
transforma crculos y rectas en
82
Transformacin Bilineal
w=
az + b
cz + 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 bc ad 1
+
c
c
cz + d
Es una composicin de tres transformaciones

Z1 = c z + d,
Z2 =
1
Z1
Z3 = w =
a bc ad
+
Z2
c
c
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 z1 , z2 , z3
sobre tres puntos distintos w1 , w2 , w3 , y se verifica la siguiente frmula:
w w1 w2 w3
z z1 z2 z3
=
w w3 w2 w1
z z3 z2 z1
Ejercicio 32 Halle una transformacin bilineal que aplique el crculo unitario en el

plano z sobre la mitad superior del plano w.
83
Transformaciones conformes
Definicin 74 Una transformacin w = f (z), se llama conforme en un punto z0 ,
si f es analtica en l y f 0 (z0 ) 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 z0
donde una transformacin w = f (z) es conforme, sus curvas imgenes se cortan
en w0 = f (z0 ) 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 z0 tiene
una inversa local en z0 .
El conocimiento de que f 0 (z0 ) 6= 0 es suficiente para llegar a la conclusin de
que la transformacin es inyectiva (uno a uno) si se restringe a un entorno de z0
suficientemente pequeo. Pero an cuando sea f 0 (z0 ) 6= 0 en todos los puntos de un
dominio, no se puede afirmar 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.
Definicin 75 Una transformacin w = f (z), definida 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.
Definicin 76 Una transformacin w = f (z), definida 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 Dz del plano z sobre un dominio Dw del plano w. Si h(u, v) es una
funcin armnica definida sobre Dw , entonces la funcin H(x, y) = h(u((x, y), v(x, y))
es armnica sobre Dz .
84
Ejercicio 33 Conservacin de angulos y puntos interiores

1. Sea A el sector angular de 60o (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 inetrior 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 fija 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 finaliza en el mismo punto con arg w = 1 ) es
C arg f (z) = 1 0 ,
es un mltiplo de 2 y
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.
85
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 finito de polos interiores
a C. Supongamos adems que f no tiene ceros sobre C. Entonces
1
C arg f (z) = Z P
2
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 34 Principio de Variacin del Argumento

1. Bajo las mismas condiciones del teorema anterior pruebe que
R f 0 (z)
R f 0 (z)
1
1
dz, y luego que 2i
dz = Z P .
2i C f (z)
C f (z)
2 C
arg f (z) =
2. Sea C el crculo unidad |z| = 1 descripto en sentido positivo. Hallar el valor

z3 + 2
2
de C arg f (z) para las funciones: (a) f (z) = z ,
.
(b) f (z) =
2z + 1
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 figura. 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. C4731).
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 Rn (muy conocido en los primeros cursos de algebra). Se vern
ahora otros espacios, en especial espacios vectoriales de funciones.
Espacios Vectoriales
Definicin 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 (X X X) y multiplicacin por escalares (K X X), los escalares
son los elementos de K, las cuales verifican x, y, z X y , K:
86
87
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
Rn 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).
Cn , el conjunto de vectores de dimensin n, cuyas componentes son nmeros
complejos, con las operaciones usuales de vectores (suma componente a componente, y multiplicacin de cada componente por el escalar) es un C-espacio
vectorial.
C[a, b], el conjunto de funciones continuas reales definidas en el intervalo [a, b],
con las operaciones usuales de suma de funciones y multiplicacin por constantes: (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 definidas en
el intervalo [a, b], con las operaciones usuales de funciones (como en C[a, b]) es
un R-espacio vectorial.
88
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
Definicin 78 Un conjunto finito de vectores M = {x1 , x2, ... , xn } en un espacio
vectorial X es linealmente independiente si la ecuacin
1 x1 + 2 x2 + + n xn = 0
implica que 1 = 2 = = n = 0. Un subconjunto arbitrario M de X es
linealmente independiente si todo subconjunto no-vaco y finito de M es linealmente
independiente. Se dice que M es linealmente dependiente si no es linealmente
independiente.
Definicin 79 Un subespacio de un espacio vectorial X es un subconjunto no vaco
Y de X tal que para todo y1 , y2 Y y para todos los escalares , se tiene que
y1 +y2 Y. Por lo tanto Y es en s mismo un espacio vectorial con las operaciones
inducidas por las operaciones de X restringidas a Y.

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.
89
3. Las funciones sen x, sen 2x, . . . , sen nx son linealmente independientes en C[, ]
n
P
para cualquier nmero natural n. [Sugerencia: sea
k sen kx; multiplicar
k=1
por sen jx donde j = 1, . . . , n; e integrar de a ].
4. El conjunto infinito
{sen x, sen 2x, . . . , sen nx, . . .} = {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]
Definicin 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 verifica 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).
90
Por ejemplo par de vectores x, y en R2 el producto escalar es
hx, yi = h(x1 , x2 ), (y1 , y2 )i = x1 y1 + x2 y2
Un producto escalar en C[a, b] es:
hf (x), g(x)i =
f (x)g(x)dx
Entindase que no es la nica manera de definir un producto escalar en C[a, b], por
ejemplo podra incluirse en la integral alguna funcin de peso.
Definicin 81 En un espacio vectorial X con producto escalar se dice que dos elementos x, y X son ortogonales si
hx, yi = 0.
Definicin 82 En un espacio vectorial X con producto escalar se define a la norma
de vectores inducida por el producto escalar como:
kxk = hx, xi1/2
x X.
En C[a, b]:
kf (x)k =
s
Z
f 2 (x)dx
Rb
En en el espacio de funciones continuas a tramos, CT [a, b], la integral a f (x)g(x)dx
Rb
no define un producto escalar. No cumple la propiedad 5, pues 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 finito
de puntos). Esto se soluciona considerando que dos funciones en CT [a, b] son idnticas 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 identificado por el conjunto de funciones nulas, la
91
funcin constante 1 se identifica con la funcin xx , y con toda funcin de la forma
Rb
1 + N(x) donde N es una funcin nula. Con esta salvedad la integral 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

Rb
define as: hf, gi = a f (x)g(x)dx.
Un conjunto de funciones ortogonales se suele llamar sistema de funciones
ortogonales.
Definicin 83 Un conjunto de funciones {n (x)} se dice que es un sistema ortonormal si
0 si n 6= m
hn (x), m (x)i =
.
1 si n = m
Definicin 84 Dado un sistema ortonormal de funciones {n (x)} se dice que la

serie
c0 0 (x) + c1 1 (x) + + cn n (x) + =
cn n (x)
n=0
es la serie de Fourier generalizada de la funcin f cuando los cn son los coeficientes de Fourier cn = hf (x), n (x)i.
Ejercicio 36 Producto escalar. Polinomios ortonormales. Desigualdad de Bessel.

Identidad de Parseval.
1. Sea f (x) = x y g(x) = 1 x2 en el espacio C[0, 1]. Calcule hf, gi. Son ortogonales?
2. Sea P0 (x) = a0 y P1 (x) = b0 + b1 x. Encuentre los nmeros a0 , b0 , b1 para que
{P0 , P1 } sea un conjunto ortonormal en C[1, 1].
92
3. Muestre que el conjunto de funciones { 12 , cos x, sen x, cos 2x, sen 2x, . . . , cos nx, sen nx}
es ortogonal en C[, ]. A partir de este conjunto obtenga un conjunto ortonormal.
4. Calcular los coeficientes de Fourier de la funcin ex en C[1, 1] para el conjunto
de polinomios ortonormales {P0 , P1 } encontrado en el ejercicio 9.
5. Suponer que v1 , . . . , vn es un conjunto ortonormal finito en un espacio vectorial
V. Demostrar que si v es cualquier vector en V
n
X
hv, vi i2 kvk2 .
i=1
Esta desigualdad es un caso especial de la desigualdad de Bessel. [Sugerencia:

P
establecer y = v ni=1 hv, vi ivi y calcular kyk2 ].
6. Suponer que v1 , . . . , vn es una base ortonormal de un espacio vectorial V de

dimensin finita. Si v es cualquier vector en V, muestre que
n
X
hv, vi i2 .
kvk =
2
i=1
Aproximacin de funciones en el sentido de minimizar la norma o mnimos

cuadrados
Teorema 70 Dado un sistema ortonormal {n (x)}, la suma parcial SN (x) =
PN
n=0 cn 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
(f (x) SN (x))2 dx
es mnima cuando los coeficientes son los coeficientes de Fourier (cn = hf (x), n (x)i).
93
El valor de f (x) N
c
(x)
nos indica una medida del error de aproxin
n
n=0
macin. Cuando los coeficientes son los de Fourier se tiene que

N
X
n=0
c2n kf (x)k2
de donde es fcil ver que cuando N
X
n=0
c2n kf (x)k2
que se conoce como desigualdad de Bessel. Si se cumple que el error de aproximacin

tiende a cero cuando N , se verifica la igualdad
X
n=0
c2n = kf (x)k2
conocida como Identidad de Parseval. Si en un espacio de funciones se verifica 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 37 Compare la aproximacin de ex utilizando los coeficientes de Fourier

calculados en el ejercicio anterior [ex c0 P0 (x) + c1 P1 (x)] y una aproximacin
lineal con la frmula de Taylor [ex f (0) + f(0) x]. Grafique la funcin y las dos
aproximaciones en el intervalo [1, 1]. Calcule el error de aproximacin en ambos

casos, cul es menor?
94
Integral de Fourier y Transformada de Fourier

Bibliografa
(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
1
Sea f (x) =
0
si |x| < 1
, si bien esta funcin no es peridica se pueden

si |x| > 1
utilizar series de Fourier para realizar aproximaciones en el intervalo [L, L] por
medio de funciones peridicas de perodo T = 2L. Por ejemplo sea fL (x) = f (x) si
x [L, L], y fL (x + 2L) = fL (x) x. El desarrollo de Fourier es:
1 X 2 sen(n/L)
cos(nx/L)
fL (x) +
L n=1 L n/L
o bien
+
X
1 sen(n/L) inx/L
fL (x)
.
e
L n/L
n=
La variable discreta w =
se denomina frecuencia,
n
L
que aparece en los trminos de la serie de Fourier
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 grfico se muestran los

coeficientes de Fourier de fL (x) en funcin de la frecuencia w.
95
f (x)
a(w) /a(0)
1
L=2
0.5
0.5
0
0
20 16 12 8 4
0.5
12 16 20
10
10
10
1
L=4
0.5
0.5
0
0
20 16 12 8 4
0.5
12 16 20
1
L=8
0.5
0.5
0
0
20 16 12 8 4
0.5
12 16 20
1
L=
0.5
0.5
0
0
20 16 12 8 4
0.5
12 16 20
10
w
Obsrvese que lim fL (x) = f (x) = f (x). Como f (x) no es peridica, no se

L
puede desarrollar como una serie de Fourier, sin embargo es posible expresarla con
la siguiente integral:
f (x) lim
2 sen w
cos(wx)dw
w
o bien
f (x) lim
1 sen w iwx
e dw,
w
esto queda justificado en el siguiente teorema:

Teorema 71 Si f (x) es continua a tramos en todo intervalo finito y tiene derivada
96
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)
(A(w) cos(wx) + B(w) sen(wx)) dw
donde
1
A(w) =
1
B(w) =
f (x) cos(wx) dx
f (x) sen(wx) dx
o en forma compleja
Z
f (x) V.P.C.
F(w) eiwx dw
donde
1
F(w) =
2
f (x) eiwx 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)

1. F(w) =
A(w)iB(w)
.
2
2. Si f es par entonces B(w) = 0 (integral de cosenos).
97
3. Si f es impar entonces A(w) = 0 (integral de senos).
4. La funcin
f (x) =
0 si x < 0
ex
si x = 0
si x > 0
se puede escribir como la integral

Z
cos xw + w sen xw
dw
1 + w2
[sug. calcular A(w) y B(w)]

5. La integral
Z
w3 sen xw
dw = ex cos x
4
4+w
2
cuando x > 0, a qu funcin converge la integral anterior cuando x 0?
1 cuando |x| < 1

6. Sea f (x) =
0 cuando |x| > 1
(a) encontrar la transformada de Fourier de f (x) .
R +
1
f (x) eiwx dx]
[Ayuda: F(w) = (f (x))(w) = 2
(b) representar a f (x) como una integral compleja de Fourier.

R +
[Ayuda: f (x) = V.P.C. F(w) eiwx dw].
98
Algunas propiedades de la transformada de Fourier

1. (c1 f1 (x) + c2 f2 (x))(w) = c1 (f1 (x))(w) + c2 (f2 (x))(w)
2. (f (k) (x))(w) = (iw)k (f (x))(w)
(Derivadas)
3. (f (x c))(w) = eicw (f (x))(w)
(Traslacin en tiempo)
4. (eicx f (x))(w) = (f (x))(wc)
(Traslacin en frecuencia)
5. Si (f (x))(w) = F(w) entonces (2F(x))(w) = f (w)

6.
1
2
R +
|f (x)|2 dx =
R +
(Linealidad)
|F(w)|2 dw
(Dualidad)
(Parseval)
7. (f g)(w) = (f )(w) (g)(w)

donde f, g, f1 y f2 tienen transformada de Fourier y el producto de convolucin:
f (x) g(x) =
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
L(f (x))(iw) ,
2
donde h(x)
es la funcin escaln (Heaviside).

L(f (x))(s) = 2(ex f (x)h(x))(w) donde s = + iw y > , la abscisa de
convergencia absoluta de f (x).
Frmula de Inversin Compleja de Laplace

1
V.P.C.
f (t) =
2i
+i
est F (s) ds
99
Si F (s) es la transformada de Laplace de una funcin f (t) la cual es continua
a tramos, de orden exponencial, O(et ), 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 t0 > 0 la integral converge a (f (t0 +) + f (t0 ))/2, en t = 0
converge a f (0+)/2 y cuando t < 0 tiene valor nulo.
Ejercicio 39 .
1. Muestre la relaciones entre las transformadas de Fourier y Laplace, y selas
para encontar (eax h(x))(w) con a > 0.
2. Use la propiead 3 y el ejercicio
anterior par encontrar la transformada de
1 cuando |x 2| < 1
Fourier de la funcin g(x) =
.
0 cuando |x 2| > 1
3. Sea h(x) es la funcin escaln (Heaviside), obtenga el producto de convolucin

(como se defini en las propiedades) de h(x) (xh(x))
4. Utilice la frmula de inversin Compleja de Laplace para antitransformar
F (s) =
1
.
s2 +1
Indique tambin cmo es f (t) = L1 (F (s)) cuando t 0 [Ayu-
da: utilice el contorno de integracin de la figura, el teorema de los residuos y

luego haga b ]
ib
i
i
ib
R = b2 + 2
100
Funciones Impulsivas
Bibliografa
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 difieren 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
Rb
distribuida sobre una recta). Si (x) es la densidad, entonces a (x)dx deber dar
la masa total en el intervalo [a, b]. Supngase ahora toda la masa concentrada en
101
una particula de masa igual a 1, localizada en el origen. Resulta tentador asignar a
Rb
Rb
(x)dx
=
0
si
el
intervalo
[a,
b]
no
contiene
al
origen
y
(x)dx = 1 si el intervalo
a
a
[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 v0. La velocidad v se puede escribir en trminos de la funcin
escaln h(t) (o de Heaviside), v(t) = v0 h(t). De la segunda ley de Newton deducimos la fuerza F que se ejerce sobre la partcula, F = m dv
= mv0 (t), donde es la
dt
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.
Definicin 85 La funcin delta de Dirac generalmente se define 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 fn (t)que verifican

n
Z+
fn (t) dt = 1,
lim fn (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 definicin no son las usuales de una funcin ordinaria. En realidad hay que entender que lo importante en la definicin de la funcin de
102
Dirac son sus propiedades, y que la forma de definirla es a travs de sus propiedades
y no como uno est acostumbrado a definir una funcin ordinaria.
La teora matemtica que justifica estas cuestiones es la Teora de Distribuciones
y corresponde a la tercer definicin. El concepto de distribucin o funcin generalizada 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 = t0 ,
el rea bajo (t) en algn intervalo o cualquier otra cantidad dependiente (t).
Las funciones (t) sobre las cuales se definen 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 tn ) cuando t . Adems las
distribuciones deben verificar las propiedades de linealidad y continuidad. Si
bien las distribuciones se define sobre este conjunto de funciones que se denominan
funciones de test o prueba, se puede extender su definicin a un espacio ms amplio
de funciones.
Distribucin asociada a una funcin. A cada funcin f continua a trozos
se le asocia una distribucin Tf de la siguiente manera
R
Tf +
(t)
f (t) (t) dt,
+
R
Tf [(t)] =
f (t) (t) dt.
Esta distribucin se define 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 finito [a, b]. De aqu puede verse
103
a las distribuciones como una generalizacin de las funciones. Muchas de las
propiedades de la integracin de funciones se pueden extender a las distribuciones.
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
2.
+
R
(t t0 ) (t) dt = (t0 )
(t) (1 1 (t) + 2 2 (t) ) dt = 1 1 (0) + 2 2 (0) (linealidad)
3. (at) =
4.
+
R
1
(t)
|a|
0 (t) (t) dt = 0 (0)
104
5.
+
R
(n) (t) (t) dt = (1)n (n) (0)
6.
Rb
a
(0) si 0 [a, b]
(t) (t) dt =
0
si 0
/ [a, b]
7. (t t1 ) (t t2 ) = (t t1 t2 )
8.
dh(t)
= (t)
dt
9. Si g es una funcin continua en t = 0, entonces g(t)(t) = g(0)(t)
Ejercicio 40 .
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 funcin 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 definir como lmite generalizado de funciones ordinarias

(corresponde al segundo punto de la definicin) como por ejemplo
(t) = lim rn (t)
n
con rn (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
h(t) h(t )
,
105
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 distribuciones se define de la siguiente manera:
T0
(t) T [0 (t)],
T 0 [(t)] = T [0 (t)].
Esta definicin 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): Tf0 [(t)] = Tf 0 [(t)] =
Tf [0 (t)]. Sin embargo en esta definicin 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 t0 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 (t0 ))h(t t0 )
si adems g es derivable entonces
f 0 (t) = g 0 (t) + (f (t+

0 ) f (t0 ))(t t0 ),
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
106
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:
rn (t) =
1
n
1 + n2 t2
n
2 2
rn (t) = en x
rn (t) =
1 sen2 (nt)
n
t2
que tienden a (t) cuando n .

Del mismo modo 0 (t) =lim
1
2
0
[h(t) 2h(t ) + h(t 2)] (doblete, con = n1 ,
cuando n , 0).
De manera informal y sin justificar 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
verifican.
Transformada de Laplace de una distribucin. Si T es una distribucin y
es posible definir T [est ] para todo s perteneciente a una cierta regin del plano
complejo, diremos que la funcin LT (s) = L{T } = T [est ] es la transformada
de Laplace de la distribucin T.
De esta definicin se deduce que la transformada de Laplace de la distribucin asociada a la funcin f (t)h(t) corresponde a la transformada de Laplace
(ordinaria) de f (t), es decir
LTf.h (s) = L{f (t)}(s) = F (s) =
est f (t)dt
107
Tener en cuenta que LTf.h (s) no es lo mismo que LTf (s) =
est 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 definicin 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)} =
st
(t)dt =
est (t)dt = e0 = 1,
hay que pensarlo en el sentido de las distribuciones y no como una integral

ordinaria. Del mismo modo
0
L{ (t)} =
d st
(t)dt = e = se0 = s,
dt
t=0
st 0
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 est definido. Tampoco se verifica la condicin que cumplen las transformadas 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)
108
f (t)
et f (t)
F (s)
F (s )
f (n) (t)
sn F (s)
(t)
h(t)
tn h(t)
et h(t)
sen t h(t)
cos t h(t)
1
s
n!
sn+1
1
s
1
s2 +1
s
s2 +1
Transformada de Fourier de las funciones escaln y impulso unitario:
En general las funciones 1, x, x2 , ..., no tienen transformada de Fourier como se

R +
defini para funciones ordinarias (no existe |f |dx), sin embargo s tienen
desde el enfoque de distribuciones.
Algunos ejemplos donde intervienen funciones impulsivas:
((x))(w) =
pues
1
2
R +
(x) eiwx dx =
1
[ eiwx ]
2
1
2
1
.
2
Adems por la propiedad de
1
= 1 es decir:
dualidad 1 ((w))(x) = 2 2
(1)(w) = (w)
Usando teora de variable compleja es posible probar que:
x>0
R
+ 1 iwx
1
1 ( iw
)(x) = V.P.C. iw
e dw = 2h(x) =
0
x=0
x < 0
109
Luego
1
iw
= (2h(x) )(w) = (2h(x))(w) (w), por lo tanto

(h(x))(w) =
1
1
+ (w)
2iw 2
En forma similar
(cos(w0 x))(w) =
1
1
(w w0 ) + (w + w0 )
2
2
(sen(w0 x))(w) =
1
1
(w w0 ) (w + w0 )
2i
2i
110
Ejercicio 41 .
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)
R2
(d) 1 f (t) 0 (t 1)dt
(e) L{f 00 (t))}(s)
2. Sea f (t) = et h(t). Discuta sobre diferencias entre L{f 0 (t))} segn las distribuciones y segn la definicin 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
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
definidas 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 xn es una sucesin de Z C, o de Z R.
Definicin 86 Sean xn e yn dos sucesiones y C, en base a la suma y producto
de nmeros complejos, se pueden definir las siguientes operaciones con sucesiones :
Suma: (x + y)n = xn + yn
Producto: (x.y)n = xn .yn
Multiplicacin por constantes: (x)n = .xn
Corrimiento: xn = ynn0 , para n0 Z
111
112
Algunos ejemplos de sucesiones comunmente utilizadas
Impulso
Escaln unitario
0 n 6= 0
n =
1 n=0
Exponencial
1 n0
un =
0 n<0
xn = An ,
A y pueden ser reales o complejos.
Definicin 87 La transformada Z de una sucesin xn se define como la siguiente
serie de potencias
X(z) = Z(xn ) =
xn z n .
El conjunto de valores z para los cuales converge se llama regin de convergencia

(anillos centrados en el origen)
Ejercicio 42 Muestre utilizando la definicin y suma de series geomtricas que:

Z(an un ) =
z
,
za
Z(an un1 ) =
con regin de convergencia |z| > |a| .

z
,
za
con regin de convergencia |z| < |a| .
113
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 xn tiene un nmero finito 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 regiones de convergencia
xn X(z) Rx
yn Y (z) Ry
1. Linealidad
xn + yn X(z) + Y (z)
la regin de convergencia es al menos Rx Ry (puede ser mayor).
2. Corrimiento
xnk z k X(z)
la regin de convergencia es Rx excepto z = 0 si k > 0,o z = si k < 0.
3. Multiplicacin por exponenciales
n xn X(z/)
la regin de convergencia es || Rx .
114
4. Diferenciacin
n xn z dX(z)
dz
Rx excepto posible inclusin o exclusin de z = 0.
5. Inversin de sentido
xn X(z 1 )
la regin de convergencia es 1/Rx .
6. Convolucin de sucesiones
xn yn =
+
X
xk ynk
k=
xn yn X(z) Y (z)
la regin de convergencia es por lo menos la interseccin Rx Ry .
Ejercicio 43 .
1. Muestre la propiedad 2.
2. Utilizando la definicin y propiedades encuentre la transformada Z de cada
una de las siguientes sucesiones, y su respectiva regin de convergencia:
(a)
1 n
2
(b) n
(c) n+1
un
115
(d)
1 n
un un10
2
an 0 n 4
(e)
0 en caso contrario
3. Encuentre la sucesin xn que tenga como transformada Z :

(a) X(z) = (1 + 2z)(1 + 3z 1 )(1 z 1 )
1
(b) X(z) = ez + e z
z 6= 0.
z 6= 0.
Transformada Z uniltera
Definicin 88 La transformada Z uniltera de una sucesin xn se define como la
siguiente serie de potencias
X(z) = Zu (xn ) =
xn z n
n=0
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 coeficientes 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
xnk z k X(z) + x1 z k+1 + + xk+1 z 1 + xk
xn+k z k X(z) x0 z k xk2 z 2 xk1 z
116
la regin de convergencia es Rx excepto z = 0. Para k = 1
xn1 z 1 X(z) + x1
xn+1 z X(z) x0 z
6. Convolucin de sucesiones
xn yn =
n
X
xk ynk
k=0
xn yn X(z) Y (z)
la regin de convergencia es por lo menos la interseccin Rx Ry .
Ejercicio 44 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
coeficientes 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 figura
resulta cmodo tambin expandir en fracciones
X(z)
z
1
.
1az 1
Como
1
1az 1
z
,
za
y luego multiplicar por z. Otra
117
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.
z
Ejemplo: Sea X(z) =
en la regin |z| > 2.
(z 2)(z 1)
1
1
Si expandimos en fracciones X(z)
, entonces
=
z
z2 z1
X(z) =
z
z
z2 z1
de aqu, por tabla, es fcil ver que xn = (2n 1)un . Tambin se puede desarrollar
en serie de Laurent (como suma de dos series gemtricas de raznes
X(z) =
n
X
2
n=0
n
X
1
n=0
X
n=0
2
z
y 1z )
(2n 1) z n , cuando |z| > 2,
de donde se ve claramente que xn = (2n 1)un .

z
z 1
De otra manera X(z) =
=
(z 2)(z 1)
(1 2z 1 )(1 z 1 )
1
Si hacemos la sustitucin s = z , y desarrollamos en fracciones:
1
1
s
s
2
2
=
=
(1 2s)(1 s)
(s 12 )(s 1)
s
1
2
1
s1
ahora volviendo a z 1
X(z) =
=
1
2
z 1
1
2
1
1
z 1
1
1
1
1 2z
1 z 1
de donde nuevamente es facil ver que es la transformada Z de xn = (2n 1)un .
Ejercicio 45 .
1. Use desarrollo en series de potencias (Laurent) o descomposicin en fracciones
para antitransformar:
118
(a) X(z) =
(b) X(z) =
(c) X(z) =
1
1+
1 1
z
2
1
1 + 12 z 1
1 12 z 1
1 + 14 z 2
|z| > 12 .
|z| < 12 .
|z| > 12 .
2. Resolver la siguiente ecuacin a diferencia. Es decir se debe encontrar la

sucesin yn para n 0, sabiendo que y1 = 1 y que verifica la siguiente
ecuacin
3.
1
yn yn1 = 1 para n 0.
2
4. Dada la siguiente ecuacin a diferencia: yn + 3yn1 =
1
u
2n n
(a) Encuentre todas las posibles sucesiones yn que la verifican para todo n
entero.
(b) Encuentre una solucin particular yn para n 0, sabiendo que y1 = 1.
FUNCIONES DE VARIABLE COMPLEJA
Propiedades de la Transformada
Propiedad
Dominion
Dominioz
ROC (regin de convergencia)
Notacin
x[n]
X(z)
ROC: r2 < |z| < r1
x1[n]
X1(z)
ROC1
x2[n]
X2(z)
ROC2
Linealidad
a1 x1[n] + a2 x2[n]
a1 X1(z) + a2 X2(z)
Por lo menos ROC1 ROC2
Desplazamiento
temporal
x[nk]
zk 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
an x[n]
X(a1z)
|a|r2 < |z| < |a|r1
Inversin de
tiempo
x[n]
X(z1)
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 n x[n]
el dominio z
dX ( z )
r2 < |z| < r1
dz
Contiene ROC1 ROC2.
Convolucin
x1[n]*x2[n]
X1(z) X2(z)
Correlacin
rx x [ n ] = x1[ n]* x2 [ n]
Rx x ( z ) = X 1 ( z ) X 2 ( z )
1 2
1 2
x[ 0] = lim X ( z )
Teorema del valor Si x[n] es causal

inicial
Multiplicacin
x1[n] x2[n]
Relacin de
Parseval
x1[n]x 2* [n] =
1
2 j
1
2 j
Por lo menos la interseccin

de las ROC de X1(z) y X2(z1).
z X ( v ) X ( )v
C
z X ( v ) X ( )v
C
* 1
2 v
z
2 v
dv
dv
Por lo menos
r1 mn r2 mn < |z| < r1 mx r2 max
FUNCIONES DE VARIABLE COMPLEJA

Algunos pares transformados de uso frecuente.
Sucesin
Transformada
Regin de convergencia
[n]
Todo z
u[n]
1
1 z
u[n1]
1
1 z
zm
[n m]
1 az
an u[n1]
1
1 az
az 1
n an u[n]
|z| < 1
Todo z excepto 0 (si m > 0) o
(si m < 0)
an u[n]
|z| > 1
d1 az i
|z| > |a|

|z| < |a|
|z| > |a|
1 2
n an u[n1]
az 1
d1 az i
|z| < |a|
1 2
[cos 0n] u[n]
1 cos 0 z 1
1 2 cos 0 z 1 + z 2
|z| > 1
[sen 0n] u[n]
sen 0 z 1
1 2 cos 0 z 1 + z 2
|z| > 1
[rn cos 0n] u[n]
1 r cos 0 z 1
1 2r cos 0 z 1 + r 2 z 2
|z| > r
[rn sen 0n] u[n]
r sen 0 z 1
1 2r cos 0 z 1 + r 2 z 2
|z| > 1
1 aN zN
1 az 1
|z| > 0
RSa ,
T0,
n
0 n N 1
en caso contrario.

Variable Compleja

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Variable Compleja

Enviado por

Direitos autorais:

Formatos disponíveis

Gua de Definiciones y Teoremas estudiados en el

curso de Funciones de Variable Compleja.

Funciones de Variable Compleja.

se llama serie numrica. Los an se llaman trminos de la serie.

Sucesin de sumas parciales

significa la suma de o la serie de, si no se aclaran los

extremos, inferior y superior significa que podran ser cualesquiera.

el lmite S es la suma de la serie. Si el lmite no existe entonces se dice que la serie

Series con trminos positivos

an , con an > 0, lim

si L < 1 la serie converge.

si L < 1 la serie converge.

(1)n an , es tal que sus trminos an son

estrictamente decrecientes, y lim an = 0, entonces la serie converge, su suma es

positiva y no supera el primer trmino a0 .

Series con trminos positivos y negativos. Convergencia absoluta y condicional

an converge absolutamente si converge la serie

|an | converge entonces la serie

bn son series convergentes con suma A y B respectivamente, entonces:

(an + bn ) converge y su suma es A + B.

en cualquiera de los casos donde:

Teorema 5 Una condicin necesaria y suficiente para que converja

Teorema 6 Sean los trminos de la serie

an positivos y no crecientes,es decir

a1 a2 , y sea f (x) una funcin continua montona decreciente tal que:

f (x) dx converge, es convergente tambin la serie.

f (x) dx diverge, es divergente tambin la serie.

Definicin 9 Se dice que la integral impropia

f (x) dx es convergente si existe

Definicin 10 Se dice que la integral impropia

y es finito el lmite doble

f (x) dx es convergente si existe

donde a es un nmero real cualquiera.

Integrales impropias en las que el integrando no es acotado

Definicin 12 Se dir que

f (x) dx es convergente si existen y son finitos los

Definicin 13 En el tercer caso de la definicin anterior tambin se denomina

Operaciones vlidas con integrales impropias

(f1 (x) + f2 (x)) dx =

no siempre es cierta. Es claro que si las integrales de la derecha convergen, la

f1 (x) f20 (x) dx

f2 (x) f10 (x) dx

Esta ecuacin es vlida si cualquier par de estas expresiones existen

|f (x)| dx es convergente se dice que f (x) es absolutamente

f (x) dx diverge entonces

Teorema 8 Sean f y g dos funciones integrables sobre todo intervalo cerrado y

g(x) dx converge entonces

g(x) dx diverge entonces

g(x) dx tienen la misma

Aclaracin: El criterio de comparacin y el teorema anterior (comparacin

Ejercicio 1 Demostrar el teorema anterior (utilice definicin de lmite y criterio de

En el siguiente teorema y definicin debe considerarse que alguno de los extremos

|f (x)| dx es convergente entonces

f (x) dx tambin es conver-

de convergencia su suma es una cierta funcin de x, S(x).

Definicin 18 En el dominio de convergencia S(x) = SN (x) + rN (x), donde

Teorema 10 En el dominio de convergencia el resto rN (x) de una serie convergente

fn (x) se llama convergente (o puntualmente conver-

gente) en un intervalo o conjunto de puntos P R, si en cada x P, a todo

se llama uniformemente convergente en el conjunto P, si a todo nmero positivo

Integrales impropias paramtricas

conjunto P se puede definir la siguiente funcin

f (x, t) dt converge puntualmente sobre un conjunto