Funciones de Variable Compleja Guia de D PDF

Guı́a de Definiciones y Teoremas estudiados en el curso de
Funciones de Variable Compleja.
Prof. Guillermo Calandrini
1er. cuatrimestre 2016

....
FUNCIONES DE VARIABLE COMPLEJA 1º Cuatrimestre 2016
RÉGIMEN DE CURSADO Y PROMOCIÓN -
Cursado
1 El cursado consiste en la aprobación de 2 (dos) exámenes parciales-coloquios o de un examen recuperatorio, y la entrega de
un informe de una Nota de Aplicación de FVC. Los exámenes incluyen teoría y práctica.
2 Cada examen se calificará en escala de 0 a 100 puntos (20 puntos de teoría y 80 puntos de práctica). En los puntos de teoría
se incluye la evaluación del resumen de la Nota de Aplicación de FVC ( el informe final de la Nota de Aplicación se evalúa
al completar la promoción o rendir examen final).
3 Los alumnos que obtengan un promedio mayor o igual a 60 (sesenta) puntos entre los dos exámenes parciales aprobados
individualmente con un mínimo de 50 (cincuenta) puntos, tendrán aprobado el cursado de la materia.
4 Quienes no estén en condición de cursar la materia, según el punto anterior, tendrán opción a un recuperatorio. En este
examen se recupera cada uno de los parciales que se haya desaprobado con menos de 60 puntos. La aprobación del
recuperatorio consiste en obtener un mínimo de 60 (sesenta) puntos en cada parcial recuperado.
5 En caso de inasistencia a un examen parcial se considerará justificada únicamente si se presenta un certificado médico del
departamento de sanidad, o certificado de rendir otro examen, en la clase posterior al examen parcial o se avisa por correo
electrónico (calandri@criba.edu.ar) en la misma fecha y luego se presenta el certificado. De cualquier otro modo la
inasistencia se considerará injustificada.
6 En caso de inasistencia:
x si es justificada el alumno rinde el examen ausente en la fecha del recuperatorio. La nota del examen reemplaza al del
examen ausente y luego se analizarán las condiciones de los puntos 3 y 4. Si es necesario tiene la posibilidad de recuperar
en la segunda fecha.
x si es injustificada sólo tiene una única oportunidad de rendirlo en la fecha del recuperatorio.
x Dos inasistencias injustificadas corresponde a ausente en el acta de cursados.
.
Promoción
En los exámenes parciales se incluyen ejercicios teóricos. La aprobación de cada coloquio se obtiene aprobando el ejercicio
teórico (más de 10 puntos) y juntando más de 60 puntos entre teoría y práctica.
Quienes no hayan aprobado los coloquios, pueden recuperar uno o ambos en la fecha del examen recuperatorio de promoción.
La promoción se obtiene aprobando los dos coloquios y con la entrega de un trabajo final, que se calificará con un puntaje de 0 a
10 e incluye los temas que no se alcanzaron a evaluar en los parciales y coloquios. La nota final es el promedio de las tres notas
obtenidas.
Fechas de parciales-coloquios:
Primero: 2 de mayo
Segundo: 16 de junio
Recuperatorio: 27 de junio
Rec. ausentes: 6 de julio
Nota de aplicación: Resumen 30 de mayo

Informe final 12 de agosto
Página web de la materia: http://lcr.uns.edu.ar/fvc/

Grupo Facebook: FVC.UNS (solicitar ser miembro)
PROGRAMA ANALITICO:
1. Integrales impropias
Definición. Criterios de convergencia. Integrales que dependen de un parámetro. Convergencia uniforme. Criterio de
Weierstrass. Integración y derivación de una función definida por una integral impropia.
2. Funciones de una variable compleja
Números complejos. Operaciones fundamentales. Geometría del plano complejo. Rectas y circunferencias.
Introducción del punto al infinito. Esfera de Riemann. Funciones de una variable compleja. Límites. Continuidad.
Diferenciabilidad. Funciones analíticas. Ecuaciones de Cauchy Riemann.
3. Integral en el campo complejo
Definición. Propiedades. Teoría de la integral de Cauchy. Teorema de Cauchy y consecuencias. Fórmulas integrales de
Cauchy. Estimaciones de Cauchy para el módulo de las derivadas. Teorema de Liouville. Teorema de Morera.
4. Series de Potencias
Desarrollos en series de Taylor. Círculo de convergencia. Series de Laurent. Puntos singulares de una función. Noción
de función multiforme. Singularidades aisladas. Clasificación. Residuos. Teorema de los residuos. Cálculo de
integrales.
5. Transformada de Laplace
Definición. Propiedades. Convergencia. Cálculo de transformadas. Teoremas fundamentales. Transformada inversa.
Aplicación a la resolución de ecuaciones y de sistemas de ecuaciones diferenciales ordinarias. Convolución. Funciones
impulsivas. Desarrollos de Heaveside. Transformadas de funciones periódicas. Utilización de variable compleja para
obtener transformadas inversas por fórmulas integrales.
6. Series de Fourier
Funciones ortogonales. Conjuntos de funciones ortonormales. Sistemas completos. Desarrollos en serie de Funciones
ortonormales. Coeficientes de Fourier. Aproximación en media cuadrática. Desigualdad de Bessel. Igualdad de
Parseval. Convergencia de las series de Fourier trigonométricas.
7. Transformaciones en el plano complejo
Estudio geométrico de las transformaciones elementales: lineal, inversión, bilineal, potencias, logaritmos y
trigonométricas. Transformación conforme. Invarianza de las funciones armónicas respecto a las transformaciones
conformes. Aplicaciones.
8. Integral de Fourier
Forma compleja de la serie de Fourier. Integral de Fourier. Convergencia. Transformada de Fourier. Convolución.
Aplicaciones.
9. Transformada Zeta
Definición. Propiedades. Convergencia. Cálculo de transformadas. Transformada inversa. Aplicación a la resolución
de ecuaciones en diferencias.
BIBLIOGRAFIA BÁSICA
James, G., Matemáticas Avanzadas para Ingeniería, Pearson Educación, 2002.
Churchill, R. V.; Brown, J. W. y Verhey, R. F., Variables complejas y sus aplicaciones, McGraw-Hill,
México, 1978.
Churchill, R. V., Series de Fourier y problemas de contorno, McGraw-Hill, New York, 1966.
Churchill, R. V., Operational mathematics, 2. ed., McGraw-Hill, New York, 1958.
Knopp, K., Teoría de funciones, 2. ed., Labor, Barcelona, 1946.
Kreyszig, E., Matemáticas avanzadas para ingeniería, 3a. ed., 2 vols, Limusa, México, 2004.
Markushévich, A.; Teoría de las funciones analíticas, 2. ed., 2 vols, Mir, Moscú, 1978.
Moretti, G., Métodos matemáticos de la física, Coni, Buenos Aires, 1959.
Wylie, C. R., Advanced engineering mathematics, 3. ed., McGraw-Hill, New York, 1966.
Funciones de Variable Compleja.
Esta guı́a cubre esencialmente gran parte de las definiciones, lemas y teoremas estudiados en el
curso de Funciones de Variable Compleja. Se denomina Guı́a y no Notas de Curso pues se espera
que sus lectores recurran a los textos citados en la bibliografı́a.
Para la primer parte de la materia se puede utilizar cualquier libro de Cálculo, como por
ejemplo:
Introducción al cálculo y al análisis matemático. Courant, Richard; John, Fritz. Vol. 1 y 2.

(517. C833)
Métodos Matemáticos de la fı́sica. Moretti, Gino. (530. M818)
Matemática superior para ingenieros y fı́sicos. Sokolnikoff, Ivan S. (517. So39ma5)
Series
Definición 1 Dada una sucesión a1 , a2 , ..., an , ... de números. La expresión
∞
∑
a1 + a2 + · · · + an + · · · = an
n=1
se llama serie numérica. Los an se llaman términos de la serie.
Sucesión de sumas parciales
Definición 2 La sucesión de sumas parciales es la suma de los N primeros términos de la serie.
∑
N
SN = a 1 + · · · + a N = an
n=1
∑
Nota: el sı́mbolo significa “la suma de” o “la serie de”, si no se aclaran los extremos, inferior
y superior significa que podrı́an ser cualesquiera.
Definición 3 Si existe el lı́mite finito S = lı́m SN , se dice que la serie converge y el lı́mite S
N →∞
es la suma de la serie. Si el lı́mite no existe entonces se dice que la serie diverge y no tiene suma.
La convergencia no depende de los primeros términos. Por ser un lı́mite importa lo que suceda
a partir de un N suficientemente grande.
1
Condición necesaria
Teorema 1 Si una serie converge su n-ésimo término tiende a cero cuando n tiende a infinito.
Corolario: Si el n-ésimo término de una serie no tiende a cero cuando n tiende a infinito, la
serie diverge.
Series con términos positivos
Criterio de comparación
Sea 0 ≤ an ≤ bn , ∀n ∈ N, entonces:
∑ ∑
Si bn converge entonces an converge.
∑ ∑
Si an diverge entonces bn diverge.
Criterio de D’Alambert
∑ an+1
Si para la serie an , con an > 0, lı́m = L entonces:
n→∞ an
si L < 1 la serie converge.
si L > 1 la serie diverge.
Criterio de Cauchy
∑ √
Si para la serie an , con an ≥ 0, lı́m n a
n = L entonces:
n→∞
si L < 1 la serie converge.
si L > 1 la serie diverge.
Criterio de comparación con lı́mite del cociente
Teorema 2 Sean an ≥ 0 y bn > 0, ∀n ∈ N; y sea A = lı́m an

, entonces:
n→∞ bn
∑ ∑
1) Si A ̸= 0 y A ̸= ∞, las series bn y an tienen la misma naturaleza (ambas convergen o
ambas divergen).
∑ ∑
2) Si A = 0 y bn converge entonces an converge.
∑ ∑
3) Si A = ∞ y bn diverge entonces an diverge.
2
Series alternantes
Las series alternantes son aquellas cuyos términos son alternativamente positivos y negativos,
∑
es decir (−1)n an , con an > 0.
Teorema de Leibniz
∑∞ n
Teorema 3 Si una serie alternante n=0 (−1) an , es tal que sus términos an son estrictamente
decrecientes, y lı́m an = 0, entonces la serie converge, su suma es positiva y no supera el primer
n→∞
término a0 .
Series con términos positivos y negativos.

Convergencia absoluta y condicional
∑ ∑
Definición 4 La serie an converge absolutamente si converge la serie |an | .
∑ ∑
Teorema 4 Si la serie |an | converge entonces la serie an también converge.
∑ ∑
Definición 5 Si la serie an converge y la serie |an | diverge entonces se dice que la serie
∑
an converge condicionalmente.
La suma de una serie absolutamente convergente no depende del orden de sus términos.
Análisis de Convergencia
Conviene proceder en el análisis utilizando los criterios en el siguiente orden:
1. Condición necesaria.
2. Convergencia absoluta: criterios de series de términos positivos (comparación, D’Alambert,

Cauchy).
3. Convergencia condicional: Leibniz, sumas parciales.
Propiedades
∑ ∑
Si an y bn son series convergentes con suma A y B respectivamente, entonces:
∑
(an + bn ) converge y su suma es A + B.
∑
Si c es un número real, c an converge y su suma es c A.
3
Integrales impropias
Definición 6 Dada una integral
∫ b
f (x)dx
a
en cualquiera de los casos donde:

a) el intervalo de integración no tiene longuitud finita,
b) la función f (x) no es acotada en (a, b),
c) una combinación de los dos casos anteriores,
diremos que la integral es una integral impropia.
Definición 7 Decimos que f (x) es seccionalmente continua, o continua a tramos, en el intervalo

[a, b] si tiene a lo sumo un número finito de discontinuidades tipo salto (existen los lı́mites laterales).
Definición 8 Si f (x) es continua a tramos en [a, R], ∀R > a y existe el siguiente lı́mite
∫ R
L = lı́m f (x) dx
R→∞ a
∫∞ ∫∞
diremos que la integral a
f (x) dx es convergente y que L es su valor y escribimos a
f (x) dx = L.
En caso contrario se dirá que la integral es divergente.
∫∞
Teorema 5 Una condición necesaria y suficiente para que converja a
f (x) dx es que: para todo
ε > 0 existe un número positivo N tal que
∫
q
f (x) dx < ε ∀p, q > N.

p
Criterio de la integral
∑
Teorema 6 Sean los términos de la serie an positivos y no crecientes,es decir a1 ≥ a2 ≥ · · · ,
y sea f (x) una función continua monótona decreciente tal que:
f (1) = a1 , f (2) = a2 , . . . f (n) = an , . . .
∫∞
a) Si la integral impropia 1
f (x) dx converge, es convergente también la serie.
∫∞
b) Si la integral impropia 1
f (x) dx diverge, es divergente también la serie.
4
∫b
Definición 9 Se dice que la integral impropia −∞
f (x) dx es convergente si existe y es finito el
lı́mite
∫ b
lı́m f (x) dx
R→∞ −R
∫ +∞
Definición 10 Se dice que la integral impropia −∞
f (x) dx es convergente si existe y es finito el
lı́mite doble
∫ R
lı́m f (x) dx
P,R→∞ −P
lo cual es equivalente a pedir que las dos integrales impropias siguientes sean convergentes
∫ ∞ ∫ a
f (x) dx y f (x) dx,
a −∞
donde a es un número real cualquiera.

∫R
Definición 11 La expresión lı́m −R f (x) dx se llama Valor Principal de Cauchy de la integral
∫ +∞ R→∞ ∫ +∞
−∞
f (x) dx y lo notaremos como V.P.C. −∞ f (x) dx.
∫ +∞
Este valor puede existir aún cuando la integral impropia es divergente (Ej. −∞
x dx).
Integrales impropias en las que el integrando no es acotado
Supondremos ahora que c ∈ [a, b] y que lı́m |f (x)| = ∞.

x→c
∫b
Definición 12 Se dirá que a f (x) dx es convergente si existen y son finitos los siguientes lı́mites.
∫b ∫b
1) c = a, a f (x) dx = lı́m+ a+ε f (x) dx
∫b ε→0
∫ b−ε
2) c = b, a f (x) dx = lı́m+ a f (x) dx
∫b ε→0
∫ c−ε ∫b
3) c ∈ (a, b), a f (x) dx = lı́m+ a 1 f (x) dx + lı́m+ c+ε2 f (x) dx
ε1 →0 ε2 →0
Definición 13 En el tercer caso de la definición anterior también se denomina Valor Principal

de Cachy al lı́mite
∫ (∫ ∫ )
b c−ε b
V.P.C. f (x) dx = lı́m ε → 0 +
f (x) dx + f (x) dx
a a c+ε
5
Operaciones válidas con integrales impropias
En las siguientes integrales debe considerarse que alguno de los extremos puede ser infinito o
que el integrando no esté acotado, es decir vale para cualquier tipo de integral impropia.
1. Vale la fórmula
∫ b ∫ b
λ f (x) dx = λ f (x) dx
a a
2. La ecuación
∫ b ∫ b ∫ b
(f1 (x) + f2 (x)) dx = f1 (x) dx + f2 (x) dx
a a a
no siempre es cierta. Es claro que si las integrales de la derecha convergen, la de la izquierda

también y vale la igualdad.
3. Fórmula de integración por partes

∫ b ∫ b
f1 (x) f2′ (x) dx = f1 (x) f2 (x)|a − f2 (x) f1′ (x) dx
b
a a
Esta ecuación es válida si cualquier par de estas expresiones existen

∫b
Definición 14 Si a
|f (x)| dx es convergente se dice que f (x) es absolutamente integrable en
∫b
ese intervalo y que a f (x) dx converge absolutamente.
Criterio de comparación
Teorema 7 Sean f y g dos funciones integrables sobre todo intervalo cerrado y acotado en [a, ∞)
tales que
0 ≤ f (x) ≤ g(x) para x ≥ a.
Se tiene:
∫∞ ∫∞
1) Si a g(x) dx converge entonces a f (x) dx converge.
∫∞ ∫∞
2) Si a f (x) dx diverge entonces a g(x) dx diverge.
Teorema 8 Sean f y g dos funciones integrables sobre todo intervalo cerrado y acotado en [a, ∞)
tales que f (x) ≥ 0 y g(x) > 0 para x ≥ a. Sea A = lı́m fg(x)
(x)
, entonces:
∫∞ ∫∞
x→∞
1) Si A ̸= 0 y A ̸= ∞, las integrales a f (x) dx y a g(x) dx tienen la misma naturaleza.
∫∞ ∫∞
2) Si A = 0 y a g(x) dx converge entonces a f (x) dx converge.
∫∞ ∫∞
3) Si A = ∞ y a g(x) dx diverge entonces a f (x) dx diverge.
6
Aclaración: El criterio de comparación y el teorema anterior (comparación por limite del
cociente) también valen para integrales impropias del segundo tipo (integrandos no acotados). En
ese caso el lı́mite se calcula en el punto del intervalo de integración en el cual el integrando no es
acotado.
Ejercicio 1 Demostrar el teorema anterior (utilice definición de lı́mite y criterio de comparación).
En el siguiente teorema y definición debe considerarse que alguno de los extremos puede ser
infinito o que el integrando no esté acotado.
∫b ∫b
Teorema 9 Si a
|f (x)| dx es convergente entonces a
f (x) dx también es convergente.
∫b ∫b ∫b
Definición 15 Si a
|f (x)| dx es divergente y a
f (x) dx es convergente se dice que a
f (x) dx
converge condicionalmente.
Series de funciones
Definición 16 Una serie se llama serie de funciones si sus términos son funciones de una variable
o parámetro, que lo indicaremos con la letra x, es decir:
∞
∑
f1 (x) + f2 (x) + · · · + fn (x) + · · · = fn (x),
n=1
es una serie de funciones. Dándole valores a x, obtenemos diferentes series numéricas que pueden
ser convergentes o divergentes.
∑
∞
Definición 17 El conjunto de valores de x para los cuales una serie de funciones fn (x) con-
n=1
verge se llama dominio de convergencia de esa serie. En el dominio de convergencia su suma
es una cierta función de x, S(x).
Definición 18 En el dominio de convergencia S(x) = SN (x) + rN (x), donde

∑
∞
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.
7
Convergencia puntual
∑
Definición 19 La serie fn (x) se llama convergente (o puntualmente convergente) en un inter-
valo o conjunto de puntos P ⊂ R, si en cada x ∈ P, a todo número positivo ε > 0, arbitrariamente
pequeño, corresponde un número N (ε, x) tal que para todos los n > N se cumple que
|S(x) − Sn (x)| < ε.
Convergencia uniforme.
∑
Definición 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 número positivo ε > 0 arbitrariamente
pequeño corresponde un número N (ε) tal que para todos los n > N y ∀x ∈ P se cumple que
|S(x) − Sn (x)| < ε.
Test de Weierstrass
∑ ∑
Teorema 11 Sea una serie de funciones fn (x). Si existe una serie numérica convergente, an ,
con términos positivos, tales que
|fn (x)| ≤ an
para todos los valores de x ∈ P, entonces la serie de funciones converge absoluta y uniforme-
mente en P.
Teorema 12 La suma de una serie de funciones continuas que converge uniformemente en un

cierto intervalo [a, b] es una función continua en ese intervalo.
8
Integrales impropias paramétricas
Sea S ∗ = {(x, t), x ∈ P ⊂ R, t ∈ [c, +∞)}. Sea f : S ∗ → R y supongamos que para cada x ∈ P
∫∞
la integral impropia c f (x, t) dt es convergente, entonces sobre el conjunto P se puede definir la
siguiente función
∫ ∞
F (x) = f (x, t) dt
c
Convergencia puntual
∫∞
Definición 21 La integral c
f (x, t) dt converge puntualmente sobre un conjunto P ⊂ R, a la
función F (x), si en cada x ∈ P y para todo ε > 0, existe un R0 (ε, x) > c tal que
∫ R

F (x) − f (x, t) dt < ε ∀R > R0 .
c
Convergencia uniforme
∫∞
Definición 22 Supongamos que 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
∫ R

F (x) − f (x, t) dt < ε ∀x ∈ P y ∀R > R0 .
c
Criterio M de Weierstrass
∫R
Teorema 13 Supongamos que existe c
f (x, t) dt para todo R ≥ c y todo x ∈ P. Si existe una
función positiva M (t) ≥ 0 cuando t ≥ c tal que
|f (x, t)| ≤ M (t) para x ∈ P y todo t ≥ c
∫∞ ∫∞
con c
M (t) dt convergente, entonces la integral c
f (x, t) dt es absoluta y uniformemente con-
vergente sobre el conjunto P.
Este criterio también es aplicable en integrales impropias del segundo tipo (integrandos no
acotados).
9
Aplicaciones de la convergencia uniforme
∫∞
Sea F (x) = 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 c
f (x, t) dt converge uniforme-
mente en [a, b]. Entonces F es continua en [a, b].
∫∞
Teorema 15 Si f es continua en la banda S ∗ y c
f (x, t) dt converge uniformemente en [a, b],
entonces
∫ b ∫ ∞ ∫ ∞ ∫ b
f (x, t) dtdx = f (x, t) dxdt
a c c a
es decir podemos intercambiar el orden.
Teorema 16 Si
∂f
1) f y son continuas en la banda S ∗ .
∫∞ ∂x
2) c f (x, t) dt converge puntualmente sobre [a, b].
∫ ∞ ∂f (x, t)
3) c dt converge uniformemente sobre [a, b].
∂x ∫∞
Entonces F (x) = c f (x, t) dt es diferenciable sobre [a, b] y
∫ ∞ ∫ ∞
′ d ∂f (x, t)
F (x) = f (x, t) dt = dt
dx c c ∂x
Estos tres últimos teoremas siguen valiendo con condiciones más generales sobre la continuidad
∂f (x, t)
de los integrandos, por ejemplo se puede demostar que f (x, t) y pueden no ser continuas
∂x
en todo S ∗ , si tienen la forma
ϕ(x, t)ψ(t)
donde es ϕ(x, t) continua en S ∗ y ψ(t) es acotada e integrable (por ej. continua a tramos) en todo
intervalo cerrado contenido en [c, +∞), los tres teoremas se siguen verificando, es decir F (x) es
continua y se puede intercambiar el orden de integración y también derivar la integral impropia.
10
Algunos ejemplos de integrales impropias y series.
∫∞
La integral impropia a f (x) dx puede ser convergente aún cuando el integrando no tienda
∫∞
cero. La integral a sen x2 dx converge condicionalmente y el integrando no tiene lı́mite.
Series no uniformemente convergentes con funciones sumas discontinua:
∑
∞
x2
• La serie (x2 +1)n converge sobre toda la recta real. Su suma es discontinua en x = 0.
n=0
• La serie x + x(x − 1) + x2 (x − 1) + · · · + xn (x − 1) + · · · converge a la función

 0 0≤x<1
f (x) =
 1 x=1
La serie
∞ (
∑ )
√ √
x n e−nx − x n + 1 e−(n+1)x
2 2
n=0
es un ejemplo de serie no uniformemente convergente en el intervalo 0 ≤ x ≤ 1, cuya suma

sin embargo es una función continua.
La serie
∑∞
(−1)n+1
n=1
x2 + n
no es absolutamente convergente pero es uniformemente convergente. (Notar que este resul-

tado no se puede obtener del criterio de Weierstrass).
Ejercicio 2 Estudie la convergencia uniforme de las siguientes integrales impropias en el intervalo

α ∈ [2, 5]. La función a la cual convergen allı́ ¿es continua? ¿Es posible ampliar dicho intervalo?
∫ ∞ ∫ ∞ ∫ ∞
dx −α x
a) b) e dx c) e−α x sen x dx
1 xα 0 0
11
Ejercicio 3 Sea F (s) una función definida por medio de una integral paramétrica:
∫ ∞
F (s) = e−st f (t)dt,
0
donde f (t) es una función continua a tramos y se sabe además que |f (t)| ≤ e3t ∀t ∈ [0, +∞).
1. Encuentre el dominio de definición de la función F (s), es decir para qué valores de s queda
bien definida dicha función por medio de la integral impropia.
2. Encuentre un intervalo donde F (s) sea continua.
3. Encuentre un intervalo donde se verifique:
∫ ∞
F ′ (s) = − e−st tf (t)dt.
0
12
Funciones de Variable Compleja
Bibliografı́a
Matemáticas Avanzadas para Ingenierı́a. James, G.,Pearson Educación
Variables complejas y sus aplicaciones. Churchill, Ruel V.; Brown, James W.; Verhey, Roger
F. McGraw-Hill. México (517.8. C473-2).
Teorı́a de funciones de variable compleja. Churchill, Ruel V. McGraw-Hill. New York. (517.8.
C473-1a2).
Matemáticas avanzadas para ingenierı́a. 2. Kreyszig, Erwin. Limusa. México. (517. K889-2
/ 517. K889-1/ 517. K889).
Regiones en el plano complejo

Definición 23 Un entorno de radio ε de un punto z0 , es el conjunto de puntos z ∈ C que verifica
|z − z0 | < ε.
Definición 24 Un entorno reducido de radio ε de un punto dado z0 , es el conjunto de puntos

z ∈ C que verifica
0 < |z − z0 | < ε.
Definición 25 Dado un conjunto de puntos S ⊂ C, un punto z0 ∈ C es un punto:
interior del conjunto S siempre que exista algún entorno de z0 cuyos puntos sean todos de
S.
exterior del conjunto S, cuando existe un entorno suyo que no contiene puntos de S.
13
frontera del conjunto S, cuando cuyos entornos contienen tanto puntos de S como puntos
que no están en S.
de acumulación del conjunto S, si cada entorno reducido de z0 contiene al menos un punto

de S.
Definición 26 Un conjunto es abierto cuando todos sus puntos son interiores.
Definición 27 Un conjunto es cerrado si su complemento es abierto (contiene todos sus puntos

frontera).
Definición 28 Un conjunto abierto S es conexo si cada par de puntos z1 y z2 en él se pueden

unir por una lı́nea poligonal, consistente de un número finito de segmentos sucesivos, que está en-
teramente contenida en S.
Definición 29 Un conjunto abierto y conexo se llama dominio.
Definición 30 Un dominio unido a algunos, todos o ninguno de sus puntos frontera se llama
región.
Definición 31 Un conjunto S es acotado si todo punto de S está dentro de un cı́rculo (|z| ≤ R,

∀ z ∈ S).
Funciones
Definición 32 Sea S un conjunto de número complejos. Una función f definida sobre S es una
regla que asigna a cada z en S un número complejo w. Es decir dado S ⊂ C, sobre el cual definimos
la función f : S → C, y dicha asignación la expresamos ası́:
w = f (z).
El conjunto S se llama “dominio de definición de f ”.
Lı́mites
Definición 33 Se dice que el lı́mite de f (z) cuando z tiende a z0 es w0 , o sea lı́m f (z) = w0 ,
z→z0
cuando para cada número ε > 0, ∃ un número δ > 0 tal que:
|f (z) − w0 | < ε siempre que 0 < |z − z0 | < δ.
14
Teorema 17 Supongamos que f (z) = u(x, y) + i v(x, y), z0 = x0 + i y0, y w0 = u0 + i v0 . Entonces

 lı́m
(x,y)→(x0 ,y0 ) u(x, y) = u0
lı́m f (z) = w0 ⇐⇒ .
z→z0  lı́m v(x, y) = v
(x,y)→(x0 ,y0 ) 0
Teorema 18 Supongamos que lı́m f (z) = w0 y lı́m g(z) = h0 .

z→z0 z→z0
Entonces
lı́m [f (z) + g(z)] = w0 + h0 .

z→z0
lı́m [f (z) g(z)] = w0 h0 .

z→z0
f (z) w0
Si h0 ̸= 0, lı́m = .
z→z0 g(z) h0
Propiedades
1. lı́m f (z) = w0 ⇒ lı́m |f (z)| = |w0 | .

z→z0 z→z0
2. lı́m f (z) = 0 ⇐⇒ lı́m |f (z)| = 0.

z→z0 z→z0
3. lı́m f (z) = w0 ⇐⇒ lı́m f (rei θ ) = w0 uniformemente en θ.

z→0 r→0
4. Si lı́m f (z) = 0 y |g(z)| < M en un entorno de z0 =⇒ lı́m f (z) g(z) = 0.

z→z0 z→z0
5. Si lı́m f (z) = w0 y lı́m g(w) = h0 ⇒ lı́m g(f (z)) = lı́m g(w) = h0

z→z0 w→w0 z→z0 w→w0
6. Si lı́m f (z) = w0 ⇒ por cualquier dirección que se acerque a z0 , la función f (z) tiene el
z→z0
mismo lı́mite w0 .
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.
15
3. Pruebe el teorema 18 usando el teorema 17 y propiedades de lı́mites de funciones de variables
reales.
4. Pruebe las propiedades de la página anterior utilizando la definicón de lı́mite.
Lı́mites 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 noción
del punto del infinito es conveniente utilizar la esfera de Riemann como se detalla a continuación:
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 intersección 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, pequeño, los puntos del plano complejo exteriores al cı́rculo |z| > 1/ε corres-
ponden a puntos de la esfera próximos al polo Norte.
Llamaremos al conjunto |z| > 1/ε un entorno ε de ∞.
Definición 34 La afirmación lı́m f (z) = ∞ significa que para cada ε > 0, ∃ δ > 0 tal que
z→z0
|f (z)| > 1/ε, siempre que 0 < |z − z0 | < δ. Es decir
1
lı́m f (z) = ∞ ⇔ lı́m = 0.
z→z0 z→z0 f (z)
Ejercicio 5 1. En forma análoga a la definición anterior muestre que:

i ) lı́m f (z) = w0 ⇔ lı́m f ( z1 ) = w0 . ii ) lı́m f (z) = ∞ ⇔ lı́m 1
1 = 0.
z→∞ z→0 z→∞ z→0 f ( z )
2. Muestre que: lı́m f (z) = ∞ ⇔ lı́m |f (z)| = ∞.

z→z0 z→z0
16
Continuidad
Definición 35 Una función es continua en un punto z0 si satisface las siguientes tres condiciones
existe lı́m f (z)

z→z0
existe f (z0 )
lı́m f (z) = f (z0 )

z→z0
Es decir para cada ε > 0, ∃ δ > 0 tal que |f (z) − f (z0 )| < ε, siempre que |z − z0 | < δ.
Definición 36 Una función se dice que es continua en una región R si lo es en todos sus puntos.
Teorema 19 Una función 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 también lo son, su cociente
es continuo siempre que el denominador no se anule.
Un polinomio es continuo en todo el plano.
La composición de funciones continuas es continua.
Si una función f (z) es continua y no se anula en un punto z0 ⇒ f (z) ̸= 0 en algún entorno

de ese punto.
Una función f (z) continua en una región cerrada y acotada R, es acotada en R y |f (z)|
alcanza su máximo en ella. Es decir existe M ∈ R tal que |f (z)| ≤ M ∀z ∈ R.
Ejercicio 6 Demuestre el teorema 19 [sugerencia: utilice el teorema 17].
17
Derivadas
Definición 37 Sea f una función cuyo dominio de definición contiene un entorno de z0 . La
derivada de f en z0 , f ′ (z0 ), se define por:
f (z) − f (z0 )
f ′ (z0 ) = lı́m
z→z0 z − z0
supuesto que el lı́mite existe. La función f se dice diferenciable en z0 cuando existe su derivada.
Si ∆z = z − z0 , se obtiene una expresión equivalente:
f (z0 + ∆z) − f (z0 )

f ′ (z0 ) = lı́m .
∆z→0 ∆z
En forma similar si w = f (z) y llamando ∆w = f (z + ∆z) − f (z),
dw ∆w
f ′ (z) = = lı́m .
dz ∆z→0 ∆z
Teorema 20 Si una función f es derivable en un punto z0 entonces dicha función es continua en

ese punto. Es decir si ∃ f ′ (z0 ) ⇒ lı́m f (z) = f (z0 ).
z→z0
Ejercicio 7 Muestre que:

i ) lı́m f (z) = f (z0 ) ⇔ lı́m (f (z) − f (z0 )) = 0.
z→z0 z→z0 ( )
ii ) lı́m (f (z) − f (z0 )) = lı́m f (z)−f
z−z0
(z0 )
(z − z0 ) .
z→z0 z→z0
iii ) Usando i ) y ii ) muestre el teorema 20.
Fórmulas de derivación
d
c = 0, c es una constante compleja.
dz
d
z = 1.
dz
d
cf (z) = cf ′ (z).
dz
d
[f (z) + g(z)] = f ′ (z) + g ′ (z).
dz
d
[f (z).g(z)] = f (z)g ′ (z) + f ′ (z)g(z).
dz
18
[ ]
d f (z) f ′ (z)g(z) − f (z)g ′ (z)
Cuando g(z) ̸= 0, = .
dz g(z) g(z)2
dh dh dw
Si w = f (z) y h = g(w), = .
dz dw dz
d n
z = nz n−1 (n entero positivo, vale para negativo si z ̸= 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 ′ (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 él.

ux = vy 
en z = z0 .
uy = −vx 
Además f ′ (z0) se puede expresar como f ′ (z0 ) = ux (x0 , y0 ) + i vx (x0 , y0 ).
Teorema 22 (Condiciones suficientes) Sea la función 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 .
Teorema 23 (Condiciones necesarias y suficientes) Sea la función 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 sólo 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 función 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 , según
las direcciones:
a) ∆x = 0 y ∆y → 0
b) ∆y = 0 y ∆x → 0
2. Usando el punto anterior pruebe el teorema 21.
19
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 ∆x2 + ∆y 2
√
∆v(x0 , y0 ) = vx (x0 , y0 )∆x + vy (x0 , y0 )∆y + ε2 ∆x2 + ∆y 2
donde ε1 y ε2 → 0 cuando(∆x, ∆y) → (0, 0)]. Además 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 )i∆y + (ε1 + iε2 )|∆z| [en el punto (x0 , y0 )].
c) Si además se verifican las ecuaciones de Cauchy-Riemann, entonces
∆w
existe lı́m en el punto z0 .
∆z→0 ∆z
Ecuaciones de Cauchy Riemann en Coordenadas polares
 
ux = vy  r u r = vθ 
en z = z0 ⇐⇒ en z = z0 .
uy = −vx  uθ = −r vr 
Además ux + i vx = e−iθ (ur + i vr ).
Funciones Analı́ticas (Holomorfas)
Definición 38 Una función de variable compleja se dice analı́tica (o holomorfa) en un punto si

es derivable en el punto y en el entorno.
Definición 39 Una función de variable compleja se dice analı́tica en un conjunto abierto si tiene
derivada en todo punto de ese abierto.
Definición 40 Si una función f no es analı́tica en un punto z0 pero es analı́tica en algún 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 con-
tinuas que satisfacen las ecuaciones de Cauchy-Riemann en algún dominio D, entonces la función
compleja f (z) = u(x, y) + i v(x, y) es analı́tica en D.
20
Observación: Dada una función f (z) = u(x, y)+i v(x, y), si las ecuaciones de Cauchy Riemman
se verifican en un punto, esto no alcanza para asegurar que exista la derivada de f en ese punto
(teoremas 21 y 22). ¿Si estas ecuaciones se verifican en todo un dominio D, se podrá asegurar
que es analı́tica en D? J.D. Gray y A. Morris demostraron que si f es continua en un dominio D,
existen las derivadas parciales ux , uy , vx , vy en D, y verifican las ecuacioes de Cauchy-Riemann en
D, entonces f es analñitica en D.
Propiedades de funciones analı́ticas
Si dos funciones son analı́ticas en un dominio, su suma y su producto también lo son, su

cociente es analı́tico siempre que el denominador no se anule.
La composición de funciones analı́ticas es analı́tica.
Un polinomio es analı́tico en todo el plano.
Teorema 25 Si una función f tiene derivada nula en todo punto de un dominio D, entonces f
es constante en D.
Ejercicio 9 Sea f (z) = u(x, y) + i v(x, y) una función 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 analı́tica en D.
b) ux = uy = vx = vy = 0 en D.
c) u y v son constantes en D.
Teorema 26 Si una función f (z) = u(x, y) + i v(x, y) es analı́tica en un dominio D, sus funciones
componentes u y v son armónicas en D.
En el caso que se verifique el teorema anterior, las funciones u y v se llaman armónicas

conjugadas. Recordar que una función real h de dos variables x e y se dice armónica en un
dominio del plano x y, si sobre ese dominio tiene derivadas parciales continuas de primer y segundo
orden y satisface la ecuación de Laplace: hxx + hyy = 0. Si h se expresa en coordenadas polares (r
e θ), esa misma ecuación resulta: hrr + 1r hr + 1
r 2 hθθ = 0.
21
Ejercicio 10 Sea f (z) = u(x, y) + i v(x, y) una función analı́tica 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.
Funciones Elementales
Vamos a estudiar funciones de una variable compleja que se reducen a las funciones elementales
del cálculo real cuando z = x + i 0.
Función exponencial
ez = ex+i y = ex (cos y + i sen y)
La función exponencial es analı́tica en todo el plano.
Cuando y = 0, ex+i 0 = ex .
Cuando x = 0, ei y = (cos y + i sen y), fórmula de Euler.
ez = ex+i y = ex ei y .
ez1 +z2 = ez1 ez2 .
|ez | = ex .
arg(ez ) = y + 2kπ, k ∈ Z.
ez ̸= 0 ∀z ∈ C.
ez+2π i = ez . La función exponencial es periódica con periodo imaginario puro de 2π i.
22
Logaritmo general
log(z) = ln |z| + i Arg(z) + 2kπ i, k ∈ Z.
Es una función multivaluada, su valor principal es para k = 0
Logaritmo principal
Log(z) = ln |z| + i Arg(z)
Si Arg(z) se restringe al intervalo (α, α + 2π), es decir α < Arg(z) < α + 2π, la función Logz
es univaluada y continua. (en θ = α es discontinua)
1
En el dominio |z| > 0 y α < Arg(z) < α + 2π es analı́tica y d
dz (Logz) = .
z
Nota: En algunos textos se considera que la función argumento principal (Arg()) toma valores
únicamente en el intervalo (−π, π], en este curso se deja libertad para definirlo en la forma más
adecuada para cada caso particular. Esto requiere especificar su definición cada vez que se lo
utilice. La función argumento general (arg())es una función multivaluada (nótese que la escribimos
en minúscula), que la podemos expresar a partir de cualquier definición de un argumento principal:
arg(z) = Arg(z) + 2kπ, donde k ∈ Z.
Funciones Trigonométricas e Hiperbólicas
ei z − e−i z ez − e−z
senz = senhz =
2i 2
ei z + e−i z ez + e−z
cos z = cosh z =
2 2
Son funciones enteras
23
d d
(sen z) = cos z (senhz) = cosh z
dz dz
d d
(cos z) = −senz (cosh z) = senhz
dz dz
Algunas propiedades
sen(−z) = −senz sen(i z) = isenhz

cos(−z) = cos z cos(i z) = cosh z
Son funciones periódicas
sen(z + 2π) = senz senh(z + 2π i) = senhz

cos(z + 2π) = cos z cosh(z + 2π i) = cosh z
Funciones tangente y tangente hiperbólica:
senz
tan z =
cos z
senhz
tanh z =
cosh z
Funciones multivaluadas
Definición 41 Una rama o determinación de una función multivaluada f es cualquier función
univaluada F, que sea analı́tica en algún dominio donde en cada punto z, el valor de F (z) es uno
de los valores de f (z).
la función Logz es una rama de log z (la que llamamos principal, pero existen otras infinitas
determinaciones particulares o ramas).
Definición 42 Un corte de una función multivaluada f es una porción 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 común a todos los cortes posibles de f se llama punto de ramificación.
el rayo θ = α es un corte de log z, con α < Arg(z) < α + 2π.
24
el origen y el ∞ son puntos de ramificación del log z.
si recorremos una curva cerrada simple que contenga un punto de ramificación, y en cada
punto elegimos una rama de tal manera que la variación de la función sobre la curva sea en
forma continua, cuando se regresa al punto inicial, el valor de la función es diferente, “está en
otra rama”.
Exponentes complejos
z c = ec log z
Funciones trigonométricas inversas
1 ( √ )
arcsenz = log iz + 1 − z 2
i
1 ( √ )
arc cos z = log z + z 2 − 1
i
i 1 − iz i i+z
arctan z = log = log
2 1 + iz 2 i−z
Ejercicio 11 Funciones multivaluadas.
1. Encuentre una rama log z que sea analı́tica 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. ¿Cuáles son los puntos de ramificación de arctan z?
25
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 (1)
w(t) = u(t) + i v(t)
u y v son funciones reales R → R.
Definición 43 La derivada w′ (t) o dw

dt de la función (1) se define como
w′ (t) = u′ (t) + i v ′ (t)
supuesto que existe cada una de las derivadas u′ y v ′ en t.
Contornos
Definición 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 parámetro 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 ) ̸= z(t2 )
cuando t1 ̸= t2 , t1 , t2 ∈ (a, b).
Cuando z(a) = z(b), decimos que C es una curva cerrada. (Si en los extremos es el ú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 diferenciable. Si x′ (t) e
y ′ (t) son continuas y no valen ambas cero para el mismo valor de t, se llama arco suave. La
derivada de z(t) es
z ′ (t) = x′ (t) + i y ′ (t).
Si z ′ (t) ̸= 0, z ′ (t) representa un vector tangente a la curva en el punto z(t).

√
La función |z ′ (t)| = x′ (t)2 + y ′ (t)2 es integrable sobre el intervalo [a, b], siendo la longitud
∫b
de arco L = |z ′ (t)| dt.
a
26
La representación paramétrica para C no es única.
El número L es invariante.
Definición 45 Un contorno, o arco suave a tramos, es un arco que consiste en un número

finito de arcos suaves unidos por sus extremos. z(t) es continua y su derivada z ′ (t) es continua a
tramos.
Cuando sólo 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.
Definición 46 Las integrales de funciones definidas como en (1) sobre intervalos [a, b] se definen
como
∫ b ∫ b ∫ b
w(t)dt = u(t)dt + i v(t)dt
a a a
∫b ∫b ∫b
cuando las integrales de la derecha existen, es decir Im( a w(t)dt) = a Im(w(t))dt, y Re( a w(t)dt) =
∫b
a
Re(w(t))dt.
Lema 1 Sean w(t) = u(t) + i v(t) y W (t) = U (t) + i V (t) continuas en el intervalo [a, b] y W ′ (t) =
∫b
w(t), entonces a w(t)dt = W (b) − W (a)
Lema 2 Supongamos que una función f (z) es derivable en todo punto de un arco diferenciable
z(t), a ≤ t ≤ b. Si w(t) = f (z(t)), entonces w′ (t) = f ′ (z(t))z ′ (t).
Ejercicio 12 Demuestre los dos lemas anteriores.
27
Integral de contorno
∫
f (z)dz
C
Definición 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]).
∫ ∫b
f (z)dz = f (z(t)) z ′ (t)dt
C
a
∫b ∫b
′ ′
= (u x − v y )dt + i (u y ′ + v x′ )dt
a a
∫
(x(b),y(b)) ∫
(x(b),y(b))
= (u dx − v dy) + i (u dy + v dx)
(x(a),y(a)) (x(a),y(a))
Propiedades
∫ ∫
−C
f (z)dz = − C
f (z)dz.
∫ ∫ ∫
Sea C = C1 + C2 , C
f (z)dz = C1
f (z)dz + C2
f (z)dz.
∫ ∫
C
α f (z)dz = α C
f (z)dz.
∫ ∫ ∫
C
[f (z) + g(z)]dz = C
f (z)dz + C
g(z)dz.
∫ ∫b
f (z)dz ≤ |f (z(t)) z ′ (t)| dt ≤ M L donde |f (z)| ≤ M sobre la curva C y L es la longitud
C
a
de C.
Ejercicio 13 Integrales de contornos.
1. Calcular las siguientes integrales utilizando la definición:

∫ dz
a) z−z0 ,
|z−z0 |=R
28
∫
b) 1.dz donde C es el segmento que une los puntos z1 y z2 .
C
2. Sea
f una función continua
( a tramos
) sobre un contorno C : z = z(t), t ∈ [a, b]. Sea R =
∫ ∫ ∫
f (z)dz y Θ = Arg f (z)dz , es decir: f (z)dz = R.eiΘ . Muestre que:

C C C
∫
a) R = e−iΘ f (z)dz
C
( )
∫ −iΘ
b) Im e f (z)dz =0
C
( )
∫ −iΘ
∫b ( )
c) Re e f (z)dz = Re e−iΘ f (z(t))z ′ (t) dt = R
C a

∫ ∫b
d ) 0 ≤ R = f (z)dz ≤ |f (z(t))| |z ′ (t)| dt ≤ M.L
C a
∫b
donde M = máx |f (z(t))| y L = |z ′ (t)| dt
t∈[a,b] a
Definición 48 Un dominio simplemente conexo D, es un dominio tal que todo contorno ce-
rrado simple dentro de él, encierra sólo puntos de D.
Definición 49 Un dominio que no es simplemente conexo se llama múltiplemente conexo.
Teorema de la Integral de Cauchy
Teorema 27 Si f (z) es analı́tica y f ′ (z) es continua en un dominio D simplemente conexo y

acotado, entonces para toda curva cerrada simple en D,
∫
f (z)dz = 0
C
Teorema de Cauchy-Goursat
Teorema 28 Si una función f es analı́tica en todos los puntos interiores de un contorno cerrado
simple C y sobre los puntos de C entonces
∫
f (z)dz = 0
C
29
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 función analı́tica 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
∫ ∫ ∫ z2
Muestre que: C1
f (z)dz = C2
f (z)dz = z1
f (z)dz.
3. Use el ejercicio anterior y el ejercicio 13 para probar que si f (z) = 1

∫ ∫ ∫ z2
dz = dz = dz = z2 − z1
C1 C2 z1
4. Sea f una función analı́tica en la región 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 C1
f (z)dz = C2
f (z)dz.
[Sug. considere las curvas Γ, o Γ1 y Γ2 como muestran las figuras].
G G1
G2
30
∫ dz
5. Sea C una curva cerrada simple que encierra al punto z0 en sentido positivo. Calcule C z−z0
,
[recuerde el resultado del ejercicio 13].
6. De manera similar al ejercicio anterior muestre que si f es analı́tica en la región comprendida

entre las curvas C, C1 y C2 , y sobre las mismas (como indica la región sombreada de la
figura)
∫ ∫ ∫
f (z)dz = f (z)dz + f (z)dz
C C1 C2
C1 C2
Teorema de Cauchy para dominios múltiplemente conexos
Teorema 29 Supongamos que
C es un contorno cerrado simple con orientación positiva.
Ck (k = 1, 2, ..., n) denota un número finito de contornos cerrados simples orientados positi-

vamente, interiores a C y cuyos interiores no tienen puntos en común.
Si una función f es analı́tica en la región cerrada formada por los puntos interiores a C o del
propio C, excepto en los puntos interiores a cada Ck , entonces
∫ ∑∫
k=n
f (z)dz = f (z)dz
C k=1 Ck
31
Primitivas
Teorema 30 Sea f (z) una función continua en un dominio D (puede ser mult. conexo). Si cual-
quiera de estas afirmaciones es verdadera, lo son también las demás:
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 analı́tica en un dominio simplemente conexo D, entonces:

∫ z2
z1
f (z)dz es independiente del contorno de integración en el dominio D.
f (z) tiene primitiva en D.

∫z
una primitiva de f es F (z) = z0
f (z)dz.
∫ z2
z1
f (z)dz = F (z2 ) − F (z1 ).
Ejercicio 15 Sea f una función continua en un dominio D.
1. Muestre que si existe una primitiva F de f en D entonces

∫ z2
f (z)dz = F (z2 ) − F (z1 )
z1
[este es un resultado muy práctico para el cálculo de integrales por primitivas].
2. Sea la integral de f independiente del contorno en D, es decir si C1 y C2 son dos curvas cua-
∫ ∫ ∫z
lesquieras, que unen dos puntos z1 y z2 en D, entonces C1 f (z)dz = C2 f (z)dz = z12 f (z)dz.
Muestre que
∫z
a) Para un z0 dado en D, el valor de z0 f (s)ds es único para cada z ∈ D.
∫z
b) F (z) = z0 f (s)ds es una función definida en D.
∫ z+∆z
c) ∆W = F (z + ∆z) − F (z) = z f (s)ds.
∫ z+∆z
d ) ∆z = z ds [use ejercicio 13].
[∫ ] [∫ ∫ z+∆z ]
z+∆z z+∆z
e) ∆W
∆z − f (z) = 1
∆z z
f (s)ds − f (z)∆z = 1
∆z z
f (s)ds − z
f (z)ds
32
∫ z+∆z
(f (s)−f (z))ds
f) ∆W
∆z − f (z) = z
∆z
g) Dado ε > 0, siempre existe un δ(ε) > 0 tal que:
1) |f (s) − f (z)| < ε siempre que |s − z| < δ

2) ∆W
∆z − f (z) < ε siempre que |∆z| < δ
h) lı́m ∆W
= f (z) ∴ F ′ (z) = f (z) ∀z ∈ D (F es una primitiva de f en D).
∆z→0 ∆z
3. Si además D es simplemente conexo y f es analı́tica en D, probar el teorema 31 utilizando

el teorema de Cauchy y el 30.
Fórmula Integral de Cauchy
Teorema 32 Sea f analı́tica 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 (z)
f (z0 ) = dz
2πi C z − z0
∫
n! f (z)
f (n) (z0 ) = dz n = 1, 2, ...
2πi C (z − z0 )n+1
Teorema 33 Una función analı́tica tiene derivadas de todo orden y son todas analı́ticas.
Ejercicio 16 Sea D un dominio simplemente conexo y f analı́tica en D. Sea C un contorno cerrado

simple, con orientación positiva, contenido en D, que encierra un punto z0 en su interior. Sea C0
un cı́rculo centrado en z0 de radio suficientemente pequeño para quedar contenido ı́ntegramente
dentro del contorno C. Muestre que:
∫ f (z) ∫ f (z)
1. C z−z0
dz = C0 z−z0
dz.
∫ 1
2. C0 z−z0
dz = 2πi.
∫ f (z) ∫ f (z) ∫
3. C z−z0
dz − 2πi f (z0 ) = C0 z−z0
dz − f (z0 ) dz
C0 z−z0
.
∫ f (z) ∫ f (z)−f (z0 )
4. C z−z0
dz − 2πi f (z0 ) = C0 z−z0 dz.
∫
f (z)
5. 0 ≤ C z−z0 dz − 2πi f (z0 ) ≤ ε, donde ε es un número arbitrariamente pequeño.
∫ f (z)
6. C z−z0
dz = 2πi f (z0 )
33
Teorema de Morera
∫
Teorema 34 Si una función f es continua en un dominio D simplemente conexo y si C
f (z)dz =
0 para todo contorno cerrado C contenido en D, entonces f es analı́tica en D.
Teorema de Liuville
Teorema 35 Si f es analı́tica y acotada en módulo para toda z del plano complejo, entonces f (z)
es constante.
Ejercicio 17 Derivadas de funciones analı́ticas, teorema de Morera, principio del módulo máximo.
1. A partir de la Fórmula 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 analı́tica en un entorno de un punto z0 , |z − z0 | < ε.
a) Muestre que si una función es analı́tica dentro y sobre un cı́rculo dado, su valor en el
centro es la media aritmética de sus valores sobre el cı́rculo (teorema del valor medio de
1
∫
2π
Gauss), es decir f (z0 ) = 2π f (z0 + ρ eiθ ) dθ, donde ρ < ε.
0
y
r
z0
e
[sug. utilice la fórmula integral de Cauchy].
b) Sea z0 un punto tal que |f (z)| ≤ |f (z0 )|, para todo z en ese entorno.
Muestre:
∫
2π
1) |f (z0 )| ≤ 1 f (z0 + ρ eiθ ) dθ.
2π
0
∫
2π
2) |f (z0 )| ≥ 1 f (z0 + ρ eiθ ) dθ.
2π
0
∫ (
2π )
3) |f (z0 )| − f (z0 + ρ eiθ ) dθ = 0.
0
4) |f (z)| = |f (z0 )| para todo punto del cı́rculo |z − z0 | = ρ.
5) |f (z)| = |f (z0 )| para todo punto del entorno.
34
6) Si f es analı́tica 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)).
7) Lema: Sea f una función analı́tica 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 módulo máximo:
Si una función f es analı́tica y no constante en un dominio D, |f (z)| no tiene valor máximo

en D.
Sucesiones y series
Definición 50 Una sucesión de números complejos es una función de N → C.
Definición 51 Una sucesión zn es convergente si tiene lı́mite z, es decir para cada ε > 0, existe
un número natural N0 tal que |zn − z| < ε ∀ n > N0 ,
lı́m zn = z ó zn → z.
n→∞
Teorema 36 Supongamos que zn = xn + i yn , y z = x + i y. Entonces


 lı́m xn = x
lı́m zn = z ⇐⇒ n→∞
n→∞  lı́m y = y
n
n→∞
Propiedades de lı́mites de sucesiones:
1. Sean zn y wn dos suceciones convergentes tales que zn → z y wn → w. Entonces:
a) an = α zn + β wn también es convergente y an → α z + β w.
b) bn = zn wn también es convergente bn → z w.
1 1
c) Si zn ̸= 0 para todo n, y z ̸= 0; cn = también es convergente y cn → .
zn z
d ) Toda subsucesión de zn tiene lı́mite z.
2. Toda sucesión convergente es acotada.
3. lı́m zn = z ⇒ lı́m |zn | = |z| .

n→∞ n→∞
4. lı́m zn = 0 ⇐⇒ lı́m |zn | = 0.

n→∞ n→∞
35
5. lı́m zn = 0 y |wn | < M para todo n =⇒ lı́m zn wn = 0.
n→∞ n→∞
6. Si lı́m zn = z y lı́m f (w) = c ⇒ lı́m f (zn ) = c.

n→∞ w→z n→∞
∑
∞
Definición 52 Una serie de números complejos zn = z1 + z2 + · · · + zn + · · · , converge con
n=1
suma S, si la sucesión
∑
N
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

 ∑
∞
∞
∑ 
 xn = X
zn = S ⇐⇒ ∑
∞
n=1

 yn = Y
n=1
n=1
En consecuencia una condición necesaria para la convergencia de la serie es que
lı́m zn = 0.
n→∞
∑
∞ ∑
∞
Definición 53 Una serie zn es absolutamente convergente si la serie |zn |de números reales
n=1 n=1
es convergente.
∑
∞ ∑
∞
Teorema 38 Si |zn | es convergente entonces zn también es convergente.
n=1 n=1
∑ ∑
Si la serie |an | converge se dice que la serie an converge absolutamente.
∑ ∑ ∑
Si la serie an converge y la serie |an | diverge entonces se dice que la serie an converge
condicionalmente.
La suma de una serie absolutamente convergente no depende del orden de sus términos.
∑ ∑
Si an y bn son series convergentes con suma A y B respectivamente, entonces:
∑
• (an + bn ) converge y su suma es A + B.
∑
• Si c es un número complejo, c an converge y su suma es c A.
36
Criterio de Dirichlet.
∑
Si la sucesión de números reales a1 , a2 , . . . , an , . . . tiende monótonamente a cero y zn tiene
∑
N
sumas parciales acotadas (zn es una sucesión compleja, 1 zn ≤ k, independiente de N ), entonces
∑
∞
la serie an zn es convergente.
n=1
Series de funciones
Definición 54 Una serie de funciones es una serie cuyos términos son funciones de una variable
compleja definida en una región D del plano complejo
∞
∑
fn (z).
n=1
fn : D → C
∑
N
Sucesión de funciones de sumas parciales: SN (z) = fn (z).
n=1
Región de convergencia: es el conjunto de puntos RC ⊂ D, para los cuales la serie converge,

es decir donde SN (z) tiene lı́mite.
Función suma: S(z) = lı́m SN (z), en la región de convergencia.

n→∞
Resto de la serie: RN (z) = S(z) − SN (z), en la región de convergencia.
Convergencia uniforme.
∑
Definición 55 Se dice que la serie fn (z) converge uniformemente en la región M, si dado
ε > 0, existe un número natural N (ε), tal que ∀n > N y ∀z ∈ M
|Rn (z)| < ε.
Criterio de Weierstrass
Si existen números positivos a1 , a2 , . . . , an , . . . tales que para todos los z de un subconjunto M

∑
de la región de convergencia RC de la serie fn (z),
|fn (z)| ≤ an ∀n y ∀z ∈ M ⊂ RC,
∑
∞ ∑
y an es convergente, entonces la serie fn (z) es absoluta y uniformemente convergente
n=1
en M .
37
∑
Teorema 39 Si los términos 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 función
continua de z en ese dominio.
Series de Potencias
Definición 56 Una serie de potencias es una serie de funciones con la siguiente estructura:
∞
∑
an (z − z0 )n = a0 + a1 (z − z0 ) + · · · + an (z − z0 )n + · · ·
n=0
donde z0 y los coeficientes cn son constantes complejas y z cualquier punto del plano complejo.
|an+1 |
Si an ̸= 0 ∀n ∈ N, y existe lı́m |an | = 1
R, la serie de potencias converge absolutamente en
n→∞
el cı́rculo |z − z0 | < R y diverge absolutamente cuando|z − z0 | > R.
1/n
Radio de convergencia: Fórmula de Cauchy-Hadamard: 1
R = lı́m sup |an | .
n→∞
Ejercicio 18 Sea f una función analı́tica 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 cı́rculo C, es decir
|z − z0 | < r0 , muestre que:
∫
1 f (s)
1. f (z) = 2πi ds.
s−z
C
∫ ( )
1 f (s) 1
2. f (z) = ds.
2πi s − z0 1− z−z0
s−z0
C
N +1
3. 1
1−w = 1 + w + · · · + wN + w1−w
 ( )N +1 
∫ ( )N z−z0
f (s)  z − z0 z − z0 s−z0 
1
4. f (z) = 2πi 1 + + ··· + +  ds.
s − z0 s − z0 s − z0 1 − z−z 0
s−z0
C
(N )
5. f (z) = f (z0 ) + f ′ (z0 )(z − z0 ) + · · · + f (N(z0)
)! (z − z0 ) + ρN (z),
N
∫
N +1 f (s)
con ρN (z) = (z−z2πi 0)
ds.
(s − z)(s − z0 )N +1
C
6. lı́m ρN (z) = 0.
N →∞
∑
∞
f (n) (z0 )
7. f (z) = n! (z − z 0 )n .
n=0
38
Teorema de Taylor
Teorema 40 Sea f una función analı́tica en un disco abierto |z − z0 | < R0 . Entonces en todo
punto z de ese disco f (z) admite la representanción en serie de potencias:
∞
∑
f (z) = an (z − z0 )n
n=0
f (n) (z0 )
donde an = n! .
La serie de potencias converge a f (z) cuando |z − z0 | < R0 .
Cuando z0 = 0 se llama serie de Maclaurin.
La serie converge a f (z) dentro del cı́rculo centrado en z0 cuyo radio es la distancia de z0 al
punto z1 más próximo en el que f deje de ser analı́tica.
Convergencia absoluta y uniforme de las series de potencias

∑
∞
Teorema 41 Si una serie de potencias an z n converge cuando z = z1, (z1 ̸= 0) es absoluta-
n=0
mente convergente en todo punto del disco abierto |z| < |z1 | .
El conjunto de puntos interiores a algún cı́rculo en torno al origen es la región de convergencia.
El mayor cı́rculo centrado en el origen tal que la serie converge en todos los puntos interiores
se llama cı́rculo de convergencia.
La serie no puede converger en ningún punto z2 exterior a ese cı́rculo pues si lo fuera serı́a
convergente dentro de un cı́rculo mayor.
Teorema 42 Si z1 es un punto interior al cı́rculo de convergencia |z| = R, de una serie de

∑
∞
potencias an z n , entonces esa serie es uniformemente convergente en el disco cerrado |z| ≤ R1 ,
n=0
donde R1 = |z1 | < R.
La suma de la serie es una función continua en todo punto interior al cı́rculo de convergencia.
39
Integración y derivación de series de potencias
∑
∞
Ejercicio 19 Sea an z n una serie de potencias con cı́rculo de convergencia |z| < R, y función
n=0
suma S(z). Muestre que:
1. La serie converge uniformemente en todo cı́rculo cerrado interior al cı́rculo de convergencia.
2. S(z) es una función continua en el cı́rculo de convergencia.
3. Sea C un contorno contenido en el cı́rculo de convergencia, entonces:

∫ ∫ (∑ N
) ∫ ( ∑ ∞
)
n n
a) S(z)dz = an z dz + an z dz.
c c n=0 c n=N +1
∫ ∑
N ∫ ∫ ( ∑
∞
)
n n
b) S(z)dz = an z dz + σN , con σN = an z dz.
c n=0 c c n=N +1
c) lı́m σN = 0.
N →∞
∫ ∞
∑ ∫
d) S(z)dz = an z n dz.
c n=0 c
∫
e) Si C es un contorno cerrado, S(z)dz = 0.
c
4. S(z) es analı́tica dentro del cı́rculo de convergencia [sug. usar T. de Morera].
5. Sea z un punto interior al cı́rculo de convergencia y sea C un contorno cerrado simple que
rodea a z, contenido también dentro del cı́rculo de convergencia, entonces:
∫
′ 1 S(w)
a) S (z) = 2πi dw.
(w − z)2
C
∑
N ∑
∞
∫ an w n ∫ an w n
′ 1 n=0 1 n=N +1
b) S (z) = dw + dw.
2πi (w − z) 2 2πi (w − z)2
C C
∑
∞
∫ an w n
′
∑
N
n−1 1 n=N +1
c) S (z) = nan z + ρN (z), con ρN (z) = dw.
n=0
2πi (w − z)2
C
d ) lı́m ρN (z) = 0.
N →∞
∑
∞
e) S ′ (z) = nan z n−1 .
n=1
40
Teorema 43 Sea C cualquier contorno interior al cı́rculo de convergencia de la serie de potencias
∑∞
an z n = S(z). La serie puede ser integrada término a término sobre C, esto es
n=0
∫ ∞
∑ ∫
S(z)dz = an z n dz.
c n=0 c
Teorema 44 La serie de potencias representa una función analı́tica en todo punto interior a su
cı́rculo de convergencia.
∑
∞
Teorema 45 La serie de potencias an z n puede ser derivada término a término. Esto es
n=0
∞
∑
S ′ (z) = nan z n−1
n=1
en todo punto interior al cı́rculo de convergencia.
Dada una serie de potencias con su respectiva región de convergencia, de los teoremas 43 y
45 se deduduce que tanto la serie que resulta de integrarla término a término, o de derivarla
término a término, tienen la misma región de convergencia que la serie original.
Ejercicio 20 Series de potencias
∑
∞
1. Sabiendo que an z n representa una función analı́tica en |z| < R probar que:
n=0
∑
∞
a) an (z − z0 )n representa una función analı́tica en |z − z0 | < R.
n=0
∑∞
b) an
(z−z0 )n representa una función analı́tica en |z − z0 | > 1
R.
n=0
2. Extienda los teoremas 41, 42, 43 y 45 para el caso general de z0 ̸= 0.
Unicidad de las representaciones en series de Potencias

∑
∞
Teorema 46 Si una serie an (z − z0 )n converge a f (z) en todo punto interior a algún cı́rculo,
n=0
entonces es la serie de Taylor de f en potencias de z − z0 .
41
Series de Laurent
Teorema 47 Sea f una función analı́tica 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 representación en serie
∞
∑ ∞
∑ bn
f (z) = an (z − z0 )n +
n=0 n=1
(z − z0 )n
donde
∫
1 f (z)
an = dz n = 0, 1, 2, ...
2πi C (z − z0 )n+1
∫
1 f (z)
bn = dz n = 1, 2, ...
2πi C (z − z0 )−n+1
∑
+∞ ∫ f (z)
Se suele escribir f (z) = cn (z−z0 )n en R1 < |z − z0 | < R2 , donde cn = 1
2πi C (z−z0 )n+1
dz,
n=−∞
n = 0, ±1, ±2, ...
Ejercicio 21 Sea f una función analı́tica 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 < mı́n(r2 − |z|, |z| − r1 ),considere los siguientes cı́rculos:
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 gráfico esquemático del dominio D con el punto z y los cı́rculos C1 , C2 , y C3 .
2. Muestre las siguientes igualdades:

∫
1 f (w)
f (z) = 2πi dw.
C3 w −z
∫ ∫ ∫
f (w) f (w) f (w)
dw = dw + dw.
C2 w − z C1 w − z C3 w −z
∫ ∫
f (w) 1 f (w)
1
f (z) = 2πi dw − dw.
C2 w − z 2πi C1 w −z
1
w−z = 1
w + 1
w2 z + ··· + 1
wN +1
zN + 1
(w−z)wN +1
z N +1 .
− w−z
1
= 1
z + 1
z 2 w−1 + ··· + 1
z N +1 w−N
+ 1
(z−w)z N +1
wN +1 .
∑
N ∑N
f (z) = an z n + ρN (z) + bn z −n + σN (z),
n=0 ∫ n=1
1 f (w)
donde: an = 2πi n+1
dw,
C2 w
42
∫
1 f (w)
bn = 2πi −n+1
dw,
C1 w∫
N +1 f (w)
ρN (z) = z2πi dw, y
(w − z)wN +1
C2
∫
1 f (w)wN +1
σN (z) = zN +1 dw.
2πi
C1 (z − w)
lı́m ρN (z) = 0 y lı́m σN (z) = 0.
N →∞ N →∞
∑
∞ ∑
∞
f (z) = an z n + bn z −n .
n=0 n=1
3. Sea C cualquier contorno cerrado simple, orientado positivo, en torno al origen y conte-
1
∫ f (w)
nido en ese dominio D. Incluya a C en el gráfico 1 y vea que an = 2πi C wn+1
dw y
1
∫ f (w)
bn = 2πi C w−n+1
dw.
4. Extienda la demostración para z0 ̸= 0.
Punto singular aislado - Residuo
Definición 57 Un punto singular z0 de una función f es aislado si existe un entorno reducido de

z0 , 0 < |z − z0 | < ε, en el que f es analı́tica.
Definición 58 Sea z0 un punto singular aislado de f. Esta función puede representarse por una
serie de Laurent en un entorno reducido de z0 , 0 < |z − z0 | < R2 .
∞
∑ b1 b2 bn
f (z) = an (z − z0 )n + + + ··· + + ···
n=0
z − z0 (z − z0 )2 (z − z0 )n
La porción 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
1
∫
Por teorema de Laurent,el residuo Res f (z) = 2πi C
f (z)dz , donde C es una curva cerrada
z=z0
simple, orientada positiva, que encierra a un único punto singular z = z0 .
43
Definición 59 Existen tres tipos de puntos singulares aislados:
1. Si la parte principal de f en un punto singular z0 contiene un número finito de términos no

nulos, bm ̸= 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 términos no nulos, se llama punto singular

esencial.
3. Si en la parte principal de f en z0 los coeficientes bn son todos nulos, el punto z0 se llama

punto singular evitable. Si se define f (z0 ) = a0 la función pasa a ser analı́tica en z0 .
Teorema de los residuos
Teorema 48 Si C es un contorno cerrado simple, positivamnete orientado, sobre y dentro del cual
una función f es analı́tica a excepción de un número finito de puntos singulares zk (k = 1, 2, . . . , n)
interiores a C, entonces
∫ ∑
n
f (z)dz = 2π i Res f (z).
C z=zk
k=1
Ejercicio 22 Demuestre el teorema de los residuos [sug. utilice teorema 29]
Ceros y polos de orden m
Definición 60 Si f es analı́tica en z0 , f (z0 ) = 0, y existe un entero positivo m, tal que f (m) (z0 ) ̸=
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. Además se puede expresar
f (z) = (z − z0 )m g(z)
donde g es analı́tica en z0 y g(z0 ) ̸= 0.
Lema 3 f tiene un polo de orden m en z0 , si y sólo si, puede expresarse como
Φ(z)
f (z) = ,
(z − z0 )m
44
donde Φ es analı́tica en z0 y Φ(z0 ) ̸= 0. Los coeficientes de la parte principal en z0 verifican
Φ(m−k) (z0 )
bk = .
(m − k)!
Esta fórmula es de gran utilidad en el cálculo de residuo en polos pues
Φ(m−1) (z0 )
b1 =
(m − 1)!
dm−1
= 1
lı́m
(m−1)! z→z ((z − z0 )m f (z)) ,
0 dz m−1
si m = 1, b1 = lı́m (z − z0 )f (z).
z→z0
También es muy útil en la descomposición en fracciones parciales de una función racional

P (z)
R(z) = Q(z) ,
∑r ∑mj
bk (zj )
R(z) =
j=1
(z − zj )k
k=1
b1 (z1 ) b2 (z1 ) b1 (zr ) b2 (zr ) bmr (zr )

= + + ··· + + + ··· + ,
z − z1 (z − z1 )2 z − zr (z − zr )2 (z − zr )mr
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 común con P. Los coeficientes de las fracciones
se pueden calcular utilizando la fórmula de la definición anterior, sea Φj (z) = (z − zj )mj R(z)
para z ̸= zj y Φj (zj ) = lı́m (z − zj )mj R(z)
z→zj
(m −k)
Φj j (zj )
bk (zj ) =
(mj − k)!
dmj −k
= 1
lı́m
(mj −k)! z→z ((z − zj )mj R(z))
j dz mj −k
Teorema de Picard
Teorema 49 En todo entorno de un punto singular esencial, una función alcanza todo valor finito,
con una única posible excepción, un número infinito de veces.
45
Ejercicio 23 Sea z0 un punto singular aislado de f.
1. Probar que:
a) lı́m f (z) existe ⇐⇒ z0 es punto singular evitable de f.

z→z0
b) lı́m f (z) = ∞ ⇐⇒ z0 es polo de f.

z→z0
c) lı́m f (z) no existe ⇐⇒ z0 es punto singular esencial de f.

z→z0
2. Sea k un entero, k ≥ 0, usando el Lema 3 muestre que:



 ∞


k<m
z0 es polo de orden m de f ⇐⇒ lı́m (z − z0 )k f (z) = Φ(z0 ) ̸= 0 k = m
z→z0 


 0 k>m
Teorema 50 Los ceros de una función analı́tica (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 analı́tica. Esto es f (z) = 0 en todo punto
de N0 .
Teorema 51 Si una función f es analı́tica 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.
Prolongación Analı́tica
Definición 61 Dos funciones analı́ticas: f1 definida en el dominio D1 y f2 definida en el dominio

D2 se dicen que son prolongaciones analı́ticas una de la otra si D1 ∩ D2 ̸= ϕ y f1 (z) = f2 (z)
en D1 ∩ D2 .
Ejercicio 24 Ceros - Regla de L’hopital - residuos - descomposición en fracciones par-

ciales
1. Sean f (z) y g(z) funciones analı́ticas 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.
46
2. Sean f (z) y g(z) funciones analı́ticas, ambas con un cero en z0 . Analizar la singularidad que
f (z) f ′ (z) f (z) f ′ (z)
presentan las funciones g(z) y g′(z) en el punto z0 y probar que lı́m = lı́m , si este
z→z0 g(z) z→z0 g′(z)
último existe.
3. Sea C un contorno cerrado simple que encierra un único polo de una función f (z) en sen-
∫
tido antihorario. Comparar la forma de resolver la integral C f (z)dz utilizando la Fórmula
Integral de Cauchy y el Teorema de los Residuos.
4. Descomponer en fracciones parciales utilizando residuos:
z+12
a) z 2 +4z
2
b) z 2 (z+1)
10−4z
c) (z−2)2
z+2
d) z 2 +1
47
Transformada de Laplace
Bibliografı́a:
Matemáticas avanzadas para ingenierı́a 1. Kreyszig, Erwin. (517. K889-1/ 517. K889).
Transformadas de Laplace. Spiegel, Murray R. (517.7 Sp43-1)
Teorı́a y problemas de matemáticas superiores para ingenieros y cientı́ficos. 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)
Definición 62 Sea f : R+ → R, es decir una función real definida para t ≥ 0. Si la integral

∫ ∞ −st
0
e f (t)dt, existe donde s puede ser real o complejo, se define una función de s
∫ ∞
F (s) = e−st f (t)dt.
0
La función F (s) se llama transformada de Laplace de la función original f (t) y se denota por
L{f (t)}, entonces
∫ ∞
F (s) = L{f (t)} = e−st f (t)dt.
0
La función original f (t) se conoce como transformada inversa o inversa de F (s), es decir
f (t) = L−1 {F (s)}.
La función original también puede ser una función 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) = e−st f (t)dt = e−st (fr (t) + i fi (t)) dt.
0 0
Notación: las funciones originales se denotan mediante letras minúsculas y sus transformadas
por las mismas letras en mayúscula.
48
∫∞
Teorema 52 Si la integral 0
e−st f (t)dt converge absolutamente para s = σ0 entonces la integral
converge absoluta y uniformemente para todo Re(s) ≥ σ0 .
Abscisa de convergencia
Definición 63 El número β es la abscisa de convergencia absoluta si la integral de Laplace con-

verge absolutamente para Re(s) > β y diverge absolutamente para Re(s) < β.
Definición 64 El número β ′ es la abscisa de convergencia si la integral de Laplace converge para

Re(s) > β ′ y diverge para Re(s) < β ′ .
Orden Exponencial
Definición 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)| ≤ M eαt ∀t > T
ó
e−αt |f (t)| ≤ M ∀t > T
y escribimos f = O(eαt ).
Lema 5 .
Si lı́m e−αt |f (t)| existe, entonces f = O(eαt ).

t→+∞
f es de orden exponencial si y sólo si existe una constante β tal que lı́m e−βt f (t) = 0.
t→+∞
Corolario: Si lı́m e−βt f (t) = ∞ para todo β, entonces f no es de orden exponencial.

t→+∞
2
Ejercicio 25 Probar que 1, t, tn , sent, cos t, eat , eit , son de orden exponencial y et no es de orden
exponencial.
49
Condiciones para la existencia de la Transformada de Laplace
Teorema 53 Si
f (t) es continua a tramos en 0 ≤ t < ∞.
f (t) es de orden exponencial, f = O(eαt ).
Entonces F (s) existe para Re(s) > α. Es decir la abscisa de convergencia β ′ es menor o igual
a α.
Analiticidad de la Transformada de Laplace
Lema 6 Si f (t) es de orden exponencial, f = O(eαt ), entonces tf (t) = O(eα0 t ) para todo α0 > α.
Teorema 54 Si f (t) es continua a tramos y de orden exponencial, f = O(eαt ), entonces F (s) =

L{f (t)} es analı́tica en el semiplano Re(s) > α, y converge absoluta y uniformemente en el semi-
plano Re(s) ≥ α0 > α. Además F ′ (s) = −L{tf (t)}.
Función de Heaviside o escalón unitario

 0 si t < 0
h(t) =
 1 si t > 0
Conjunto de funciones transformables según Laplace
T L = {f (t) : f continua a tramos y de orden exponencial, f (t) = 0∀t < 0}.
Ejercicio 26 La función f (t) = et sen(et ) es continua a tramos y de orden exponencial (α = 1).

Su abscisa de convergencia absoluta es β = 1, y la abscisa de convergencia es β ′ = 0 [para probar
∫∞
esto último haga y = et y analice 1 seny
y s dy].
Transformada Inversa. Teorema de Lerch
Teorema 55 Si dos funciones f y g tienen la misma transformada de Laplace, entonces f −g = N,

∫T
donde N es una función 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.
50
Teorema 56 Si f (t) es de orden exponencial O(eαt ) y continua a tramos, entonces
lı́m F (s) = 0
Im(s) = 0
Re(s) → +∞
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}.
3. Sobre el conjunto de funciones T LC = {f (t) : f continua y de orden exponencial, f (t) =

0∀t < 0}, la transformada de Laplace tiene inversa ú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) > máx(p, q)
Traslación
Para α ∈ C:
eαt f (t) ←→ F (s − α) Re(s) > p + Re(α)
Para a > 0:
h(t − a)f (t − a) ←→ e−as F (s) Re(s) > p
51
Más propiedades...
Cambio de escala
Para a > 0:
f (at) ←→ 1
a F ( as ) Re(s) > a p
Derivadas
f (n) (t) ←→ sn F (s) − sn−1 f (0) − · · · − f (n−1) (0) Re(s) > p
n n
(−1) t f (t) ←→ F (n)
(s) Re(s) > p
Integrales
∫t
0
f (t)dt ←→ 1
s F (s) Re(s) > máx(p, 0)
f (t)
Si ∃ lı́m t ⇒
t→0
f (t) ∫∞
t ←→ s
F (u)du Re(s) > p
Ejercicio 28 Pruebe las propiedades anteriores para valores de s que están sobre una semirecta
en el eje real y luego extiéndalas por prolongación analı́tica sobre todo el semiplano de la región
de convergencia.
Funciones Periódicas
Teorema 57 Sea f (t) periódica, 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
∫ T
1
F (s) = e−s t f (t)dt.
1 − e−sT 0
Propiedades asintóticas
Teorema 58 Teorema del Valor Inicial. Si f y f ′ son continuas a tramos y de orden expo-
nencial, L{f (t)} = F (s) y existe el lı́m sF (s), entonces
Im(s) = 0
Re(s) → +∞
f (0) = lı́m sF (s).

Im(s) = 0
Re(s) → +∞
Teorema 59 Teorema del Valor Final. Si f y f ′ admiten transformada de Laplace para

Re(s) > 0 y L{f (t)} = F (s), si existe lı́m f (t), entonces
t→∞
lı́m sF (s) = lı́m f (t).

s→0 t→∞
52
Producto de Convolución
Definición 66 El producto de convolución entre dos funciones f (t) y g(t) (cuya notación 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 están sólo definidas en (0, +∞), la integral resulta con los siguientes
extremos:
∫ t
(f ∗ g)(t) = f (u)g(t − u)du ∀t > 0.
0
Propiedades
f ∗g =g∗f
(f ∗ g) ∗ v = f ∗ (g ∗ v)
f ∗ (g1 + g2 ) = f ∗ g1 + f ∗ g2
Teorema de Convolución
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 convolución de f (t) y g(t).
Resolución de ecuaciones diferenciales.
La transformada de Laplace provee un método para resolver ecuaciones diferenciales (lineales

con coeficientes constantes) y los correspondientes problemas con condiciones iniciales o con valores
en la frontera. El proceso de resolución consta de tres pasos principales:
1. El problema complejo de resolver una ecuación diferencal o un sistema de ecuaciones diferen-

ciales se transforma, utilizando la propiedad de las derivadas, en un problema más sencillo
de resolver una ecuación algebraica o un sistema algebraico lineal.
2. Se resuelve el problema haciendo manipulaciones algebraicas.
3. La solución del sistema algebraico se transforma en sentido inverso para obtener la solución
del problema dado.
En la mayorı́a de las aplicaciones consideradas en este curso se obtienne una solución de la

P (s)
forma Y (s) = Q(s) ,donde P y Q son polinomios en s. En tal caso es posible determinar la so-
−1
lución y(t) = L {Y (s)}, expresando primero Y (s) en términos de fracciones parciales, y luego
antitransformando. A este método se lo llama: Desarrollo de Heaviside.
53
Series de Fourier
Bibliografı́a
Series de Fourier y problemas de contorno. Churchill, Ruel V. (517.2. C473-1).
Introducción al cálculo y al análisis matemático. Courant, Richard; John, Fritz., vol. 1 (517.
C833).
/ 517. K889-1/ 517. K889).
Definición 67 Una función real, f : R → R es periódica, de periodo T, si verifica f (x) = f (x+T ),

∀x ∈ R, y el valor ω = 2π
T se denomina frecuencia.
1. Las funciones senx y cos x son funciones periódicas de periodo T = 2π, y las funciones cos nπx
L
y sen nπx
L tienen periodo T = 2L y frecuencia ω =
π
L.
2. Si f (x) es una función periódica de periodo T, para cualquier constante arbitraria a
∫ T ∫ a+T ∫ T /2
f (x)dx = f (x)dx = f (x)dx
0 a −T /2
Definición 68 Una función real, f : R → R es par, si verifica f (x) = f (−x), ∀x ∈ R.
Definición 69 Una función real, f : R → R es impar, si verifica f (x) = −f (−x), ∀x ∈ R.
Definición 70 Sea f una función cuyo lı́mite a derecha f (x+

0 ) existe en el punto x0 . La derivada
a derecha se define como sigue:
′ f (x0 + ε) − f (x+
0)
fD (x0 ) = lı́m+
ε→0 ε
cuando el lı́mite existe.
54
Definición 71 Sea f una función cuyo lı́mite a izquierda f (x−
0 ) existe en el punto x0 . La derivada
a izquierda se define como sigue:
f (x−
0 ) − f (x0 − ε)
fI′ (x0 ) = lı́m+
ε→0 ε
cuando el lı́mite existe.
Si existe f ′ (x0 ), entonces existen ambas derivadas laterales y son iguales, f ′ (x0 ) = fD
′
(x0 ) =
fI′ (x0 ).
Series de Fourier
Definición 72 La serie trigonométrica
∑∞
1
a0 + (an cos nx + bn sennx)
2 n=1
o bien en notación compleja
∞
∑
γn einx
n=−∞
es la serie de Fourier de una función f (x) si sus coeficientes vienen dados por las fórmulas
∫ π
1
a0 = f (x) dx,
π −π
∫ π
1
an = f (x) cos nx dx n = 1, 2, ...
π −π
∫ π
1
bn = f (x)sennx dx n = 1, 2, ...
π −π
∫ π
1
γn = f (x)e−inx dx n = 0, ±1, ±2, ...
2π −π
donde f es alguna función definida en el intervalo (−π, π).
a0
El término 2 = γ0 es el valor medio de f (x) en el intervalo (−π, π).
Cada uno de los términos de la serie es periódico en x con periodo T = 2π.
an −i bn
γn = 2 para n > 0.
γ−n = γ̄n .
55
La serie de Fourier tiene dos aplicaciones fundamentales:
1. Representar una función definida en el intervalo (−π, π).
2. Representar una función periódica, con periodo 2π para todos los valores de x.
Teorema 61 Sea f una función continua a tramos en el intervalo [−π, π] y periódica 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 γn einx , significa la existencia del lı́mite de la suma parcial
n=−∞
∑
N
1 ∑N
inx
SN (x) = γn e = a0 + (an cos nx + bn sennx)
2 n=1
n=−N
Si las extensiones periódicas de f (x) y f ′ (x) son continuas a tramos, la serie de Fourier de f
es convergente para todo x real.
Condiciones de Dirichlet
Si bien de acuerdo al teorema anterior la serie de Fourier converge si f (x) y f ′ (x) son continuas
a tramos, puede demostrarse también para condiciones mucho más generales. Sin embargo, el
resultado formulado es suficiente para la mayorı́a de las aplicaciones. Las condiciones más generales
se conocen como Condiciones de Dirichlet.
Definición 73 Una función f (x) se dice que satisface las condiciones de Dirichlet en un intervalo
(a, b), en el cual está definida cuando satisface una de estas dos condiciones:
1. f (x) es acotada en (a, b), y el intervalo puede ser partido en un número finito de intervalos
abiertos parciales, en cada uno de los cuales f (x) es monótona ( f tiene un número finito de
máximos y mı́nimos en (a, b) ).
2. f (x) tiene un número finito de puntos de discontinuidad infinita en el intervalo (a, b). Cuando
se excluyen pequeños entornos alrededor de estos puntos, f (x) es acotada en el resto del
intervalo y éste puede ser partido en un número finito de intervalos abiertos parciales, en
∫b
cada uno de los cuales f (x) es monótona. Además la integral a f (x)dx es absolutamente
convergente.
56
Serie de Cosenos
Cuando f es una función par en el intervalo (−π, π) sus coeficientes tienen valores
∫ π
2
a0 = f (x) dx,
π 0
∫ π
2
an = f (x) cos nx dx n = 1, 2, ...
π 0
bn = 0 n = 1, 2, ...
Por lo tanto su serie de Fourier se reduce a

∞
a0 ∑
+ 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 periódicas pares de periodo 2π.
3. Representar funciones definidas en el intervalo (0, π).
Serie de Senos
Cuando f es una función impar en el intervalo (−π, π) sus coeficientes tienen valores
a0 = 0,
an = 0 n = 1, 2, ...
∫ π
2
bn = f (x)sennx dx n = 1, 2, ...
π 0
Por lo tanto su serie de Fourier se reduce a

∞
∑
bn sennx.
n=1
Es la serie de Fourier de senos. Sirve para:
1. Representar funciones impares definidas en el intervalo (−π, π).

2. Representar funciones periódicas impares de periodo 2π.
3. Representar funciones definidas en el intervalo (0, π).
57
En consecuencia si una función f (x) está definida solo en el intervalo [0, π], podemos exten-
derla al intervalo [−π, π] ya sea como una función par o como una función 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 función f es periódica con periodo T = 2L, continua a tramos en [−L, L],
tiene como representación la serie
a0 ∑ ( nπx )
∞
nπx
f (x) v + an cos + bn sen
2 n=1
L L
∫ L
1
a0 = f (x) dx
L −L
∫ L
1 nπx
an = f (x) cos dx n = 1, 2, ...
L −L L
∫ L
1 nπx
bn = f (x)sen dx n = 1, 2, ...
L −L L
o bien en la forma exponencial
∞
∑ inπx
f (x) ∼ γn e L
−∞
donde
∫ L
1
f (x)e−
inπx
γn = L dx.
2L −L
−
f (x+
0 )+f (x0 )
La serie converge a 2 en todos los puntos x0 donde f tenga derivada a derecha y a
izquierda.
58
1. Si f es periódica con periodo T = 2L y α un número real cualquiera, entonces

∫ α+2L
1
a0 = f (x) dx
L α
∫ α+2L
1 nπx
an = f (x) cos dx
L α L
∫ α+2L
1 nπx
bn = f (x)sen dx
L α L
2. Los coeficientes de Fourier de una suma de funciones f1 + f2 son las sumas de los coeficientes
correspondientes a f1 y f2 .
Simetrı́as
En cualquier función periódica con periódo T = 2L se puede demostrar que hay condiciones de
simetrı́a que permiten establecer la existencia o no de determinados términos en la serie de Fourier,
lo que ahorra trabajo en el cálculo.
Función impar: f (x) = −f (−x), sólo tienen términos en senos, a0 = an = 0 y
∫ L
2 nπx
bn = f (x)sen dx
L 0 L
para n = 1, 2, ...; es decir dos veces la integral sobre la mitad del intervalo. Además γn es
imaginario puro.
Función par: f (x) = f (−x), sólo tienen términos en cosenos y la constante. bn = 0 y
∫ L
2 nπx
an = f (x) cos dx
L 0 L
para n = 0, 1, 2, ...;es decir dos veces la integral de la mitad del intervalo. Además γn es real.
59
Simetrı́a de media onda: Se dice que hay simetrı́a 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) :
∫ L
2 (2k + 1)πx
a2k+1 = f (x) cos dx,
L 0 L
∫ L
2 (2k + 1)πx
b2k+1 = f (x)sen dx,
L 0 L
para k = 0, 1, 2, ...
El hecho de ser función par o impar nada tiene que ver con los ı́ndices o frecuencias armónicas
pares o impares. Además puede hacerse una función par o impar mediante un cambio de ejes.
En resumen si una función es par, o impar, o tiene simetrı́a de media onda, ciertos coeficientes
son cero y el cálculo de los restantes puede hacerse integrando sobre medio perı́odo y multiplicando
el resultado por dos. Más aún, si la onda tiene simetrı́a de media onda y además es par o impar,
es suficiente integrar en un cuarto del periodo y luego multiplicar por cuatro.
60
Ejemplos: Sumas parciales de la serie:
∞
∑
4
π(2k+1) sen(2k + 1)x
k=0
1
S1(x)
0
−1
−2
−10 −8 −6 −4 −2 0 2 4 6 8 10
1
S3(x)
0
−1
−2
−10 −8 −6 −4 −2 0 2 4 6 8 10
S5(x) 0
−1
−2
−10 −8 −6 −4 −2 0 2 4 6 8 10
1
S10(x)
0
−1
−2
−10 −8 −6 −4 −2 0 2 4 6 8 10
1
S20(x)
0
−1
−2
−10 −8 −6 −4 −2 0 2 4 6 8 10
1
S (x)
100
0
−1
−2
−10 −8 −6 −4 −2 0 2 4 6 8 10
61
π
∑∞ 4
Sumas parciales de la serie: 2 + k=0 π(2k+1)2 cos(2k + 1)x
S1(x) 2
0
−10 −8 −6 −4 −2 0 2 4 6 8 10
2
S3(x)
0
−10 −8 −6 −4 −2 0 2 4 6 8 10
S5(x) 2
0
−10 −8 −6 −4 −2 0 2 4 6 8 10
∑∞ −2(−1)n
Sumas parciales de la serie: n=1 n sennx
1
S1(x)
0
−1
−2
−10 −8 −6 −4 −2 0 2 4 6 8 10
2
S3(x)
0
−2
−4
−10 −8 −6 −4 −2 0 2 4 6 8 10
S (x) 0
100
−2
−4
−10 −8 −6 −4 −2 0 2 4 6 8 10
62
Sı́ntesis de ondas.
Las series de Fourier se pueden utilizar para sintetizar ondas periódicas como una suma infinita
π
de senoidales y/o cosenoidales de la frecuencia fundamental ω = L y sus multiplos (armónicos)
nω. Es decir dichas ondas se pueden aproximar mediante la sumas parciales de su serie de Fourier.
Por ejemplo, partiendo de la expresión de la onda cuadrada desarrollada en serie y viendo gráfica-
mente sus sumas parciales como muestran las figuras del ejemplo anterior, se puede apreciar como
la aproximación comienza a ser mejor a medida que se incrementa la cantidad de términos. Sin
embargo siempre permanece una ondulación que semejan “orejas” a ambos lados de la disconti-
nuidad (fenómeno de Gibbs). Con el aumento de los términos 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 función, excepto en la discontinuidad donde converge al
punto medio de la misma.
Convergencia Uniforme
Teorema 63 Sea f una función continua en el intervalo [−L, L], tal que f (−L) = f (L) cuya
derivada f ′ es continua a tramos en ese intervalo. Entonces la serie
a0 ∑ ( nπx )
∞
nπx
+ an cos + bn sen
2 n=1
L L
y la serie
∞
∑ inπx
γn e L
−∞
convergen a f (x) en el intervalo [−L, L] absoluta y uniformemente.
La hipótisis de este teorema es equivalente a pedir que la extensión periódica de f sea continua
para todas las x y la derivada continua a tramos.
Una serie de Fourier no puede converger uniformemente en un intervalo que contenga alguna
discontinuidad.
Ejercicio 31 Compare el teorma anterior (63) con el teorema (12 y 11) de convergencia uniforme
de serie de funciones reales y el test de Weierstrass.
63
Teorema 64 Si f es una función continua en el intervalo [−L, L], tal que f (−L) = f (L) y f ′ es
continua a tramos en ese intervalo, entonces la serie de Fourier de f (x)
a0 ∑ ( nπx )
∞
nπx
+ an cos + bn sen
2 n=1
L L
∞
∑ inπx
γn e L
−∞
es derivable término a término en todo punto donde f ′ (x) tenga derivada a derecha y a izquierda,
y
∞ (
′
∑ nπx nπx )
f (x) ∼ − nπ
L an sen + nπ
L bn cos
n=1
L L
∞
∑
′ inπx
f (x) ∼ inπ
L γn e
L .
−∞
Teorema 65 Si f es una función continua a tramos con derivada continua a tramos en el intervalo
[−L, L] y desarrollo en serie de Fourier (a0 = 0)
∞ (
∑ nπx nπx )
f (x) ∼ an cos + bn sen ,
n=1
L L
entonces
∫ ∞ ( )
x
A0 ∑ Lan nπx Lbn nπx
f (u)du ∼ + sen − cos
−L 2 n=1
nπ L nπ L
∫L
con A0 = − L1 −L
uf (u)du.
(Si a0 ̸= 0 basta considerar g(x) = f (x) − a0 /2).
64
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
a20 ∑ ( 2 )
f 2 (x)dx = + an + b2n
L −L 2 n=1
o bien
∫ L ∞
∑
1 2
f 2 (x)dx = |γn | .
2L −L n=−∞
De la identidad de Parseval se observa que el valor RMS (medio cuadrático) de la onda total
es la raı́z cuadrada de la suma de los cuadrados de los valores RMS de sus componentes:
√ v ((
∫ L
u( )
u a0 2 ∑ ∞ )2 ( )2 )
1 a b
f 2 (x)dx = t
n n
RMS(f (x)) = + √ + √
2L −L 2 n=1
2 2
Orden de decrecimiento de los términos de la serie
Sea f una función contı́nua a tramos y considere que en todo x0 se cumple que f (x0 ) =
−
f (x+
0 )+f (x0 )
2 . En los puntos siguientes, considere la continuidad de las extensiones periódicas de f
y sus derivadas.
Si f y f ′ son continuas a tramos entonces existe una constante k tal que |an | < k
n, |bn | < k
n
y |γn | < k
n.
Si f es discontinua pero f y f ′ son continuas a tramos, el orden de decrecimiento de los

1
coeficientes no puede ser más rápido que n.
Si f , f ′ , f ′′ , ..., f (p−1) son continuas y f (p) y f (p+1) continuas a tramos, entonces los coeficien-
1
tes decrecen al menos como np+1 . Si además f (p) es discontinua (pero f (p) y f (p+1) continuas
1
a tramos), entonces los coeficientes no decrecen más rápido que np+1 .
Resumiendo, para conocer el órden de decrecimiento hay que encontrar la primer derivada
continua a tramos que presenta una discontinuidad de tipo salto, y quq la siguiente derivada siga
siendo continua a tramos.
65
Espectros en frecuencia.
Puede escribirse una serie de Fourier mediante términos que sólo contengan senos o cosenos,
independientemente de que sea o no, par o impar. Utilizando la relaciones trigonométricas:
√
a cos x + bsenx = a2 +b2
2 cos[x − tan−1 ( ab )]
entonces la serie tendrá la forma:
∞
a0 ∑
+ cn cos(nωx − ϕ)
2 n=1
∞
a0 ∑
+ cn sen(nωx − θ)
2 n=1
con:
√
cn = 2 |γn | = a2n + b2n , ϕ = arg(γ̄n ) = tan−1 ( abnn ), y θ = ϕ − π2 . Sin embargo sigue siendo una
forma más compacta la serie de exponenciales:
∞
∑
γn einωx
−∞
La graficación de este desarrollo en serie es muy clara si se lo hace en función 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 sólo valores para un número entero de veces la frecuencia fundamental
π
ω= L, lo que implica un espectro de lı́neas, discreto, y no una curva continua.
Si la serie está desarrollada en funciones senos y cosenos se debe pasar primero a la forma de
solo términos en senos, cosenos o exponenciales para que pueda ser representada en frecuencia.
En los siguientes gráficos se muestran para cada onda el espectro en frecuencia, el módulo y
la fase de los coeficientes de Fourier de sus correspondientes series de exponenciales complejas, es
decir Módulo:|γn | y Fase: Arg (γn )
66
∑
+∞
−2i i(2k+1)x
Onda cuadrada y su espectro en frecuencia: π(2k+1) e
−∞
0.5
f(x)
−0.5
−1
−10 −8 −6 −4 −2 0 2 4 6 8 10
x
0.8
0.6
Modulo
0.4
0.2
−0.2
−16 −14 −12 −10 −8 −6 −4 −2 0 2 4 6 8 10 12 14 16
3.14
1.57
Fase [rad]
−1.57
−3.14
−16 −14 −12 −10 −8 −6 −4 −2 0 2 4 6 8 10 12 14 16
ω
∑
+∞
Onda triangular y su espectro en frecuencia: π
2 − 2
π(2k+1)2 e
i(2k+1)x
−∞
1
f(x)
0.5
−10 −8 −6 −4 −2 0 2 4 6 8 10
x
2
1.5
Modulo
0.5
−16 −14 −12 −10 −8 −6 −4 −2 0 2 4 6 8 10 12 14 16
4.71
Fase [rad]
3.14
1.57
−1.57
−16 −14 −12 −10 −8 −6 −4 −2 0 2 4 6 8 10 12 14 16
ω
67
∑
+∞
(−1)n i inx
Onda diente de sierra y su espectro en frecuencia: n e
−∞
n ̸= 0
0.5
f(x)
−0.5
−1
−10 −8 −6 −4 −2 0 2 4 6 8 10
x
1
Modulo
0.5
−16 −14 −12 −10 −8 −6 −4 −2 0 2 4 6 8 10 12 14 16
3.14
1.57
Fase [rad]
−1.57
−3.14
−16 −14 −12 −10 −8 −6 −4 −2 0 2 4 6 8 10 12 14 16
ω
68
Transformaciones en el plano complejo
Si una función compleja w = f (z) está 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, aplicación
o transformación de D sobre el rango de valores de f (z) en el plano w, que se denomina imagen
de D.
Este enfoque geométrico del análisis complejo ayuda a visualizar la naturaleza de una función
compleja, al considerar el modo en el que la función aplica ciertas curvas y regiones.
Transformaciones lineales
Primer tipo
w = αz
donde α es una constante compleja.
|w| = |α| |z|
arg w = arg α + arg z
Esta transformación:
dilata o contrae según |α| > 1 ó |α| < 1.
rota un ángulo arg α.
Segundo tipo
w =z+β
donde β es una constante compleja.
Es una traslación mediante el vector β.
69
Transformación lineal general
w = αz + β
(α ̸= 0) es la composición de las transformaciones:
Z = αz y w =Z +β
Es una dilatación o contracción y una rotación, seguida de una traslación.
Inversión
1
w=
z
Es la composición de dos transformaciones:
z
Z= |z|2
, una inversión con respecto al cı́rculo unitario.
w = Z̄, una reflexión con respecto al eje real.
Si z = x + i y y w = u + i v, entonces
x u
u= x2 +y 2 x= u2 +v 2
−y −v
v= x2 +y 2 y= u2 +v 2
1
Ejercicio 32 Pruebe que la transformación w = z transforma cı́rculos y rectas en cı́rculos o rectas.
70
Transformación Bilineal
az + b
w=
cz + d
donde a, b, c y d son constantes complejas y ad − bc ̸= 0.
Cuando c = 0 se reduce a una transformación lineal.
Cuando c ̸= 0, la transformación admite la expresión
a bc − ad 1
w= +
c c cz + d
Es una composición de tres transformaciones
1 a bc − ad
Z1 = c z + d, Z2 = y Z3 = w = + Z2
Z1 c c
Por lo tanto una transformación bilineal siempre transforma cı́rculos y rectas en cı́rculos o
rectas.
Existe siempre una transformación bilineal que aplica tres puntos distintos z1 , z2 , z3 sobre tres
puntos distintos w1 , w2 , w3 , y se verifica la siguiente fórmula:
w − w1 w2 − w3 z − z1 z2 − z3
=
w − w3 w2 − w1 z − z3 z2 − z1
Ejercicio 33 Halle una transformación bilineal que aplique el cı́rculo unitario en el plano z sobre
la mitad superior del plano w.
71
Transformaciones conformes
Definición 74 Una transformación w = f (z), se llama conforme en un punto z0 , si f es analı́tica

en él y f ′ (z0 ) ̸= 0.
Las transformaciones conformes tienen la propiedad de conservar los ángulos, mantienen la

forma localmente. Si un par de curvas se cortan en un punto z0 donde una transformación w = f (z)
es conforme, sus curvas imágenes se cortan en w0 = f (z0 ) manteniendo el mismo ángulo (magnitud
y sentido) entre sus rectas tangentes que el de las curvas originales.
Teorema 67 Una transformación w = f (z) que sea conforme en un punto z0 tiene una inversa
local en z0 .
El conocimiento de que f ′ (z0 ) ̸= 0 es suficiente para llegar a la conclusión de que la transforma-

ción es inyectiva (uno a uno) si se restringe a un entorno de z0 suficientemente pequeño y se puede
asegurar que para la imagen de ese pequeño entorno existe una transformación inversa. Pero aún
cuando sea f ′ (z0 ) ̸= 0 en todos los puntos de un dominio, no se puede afirmar que la aplicación
sea inyectiva en ese dominio. Por eso diferenciamos en decir cuándo una aplicación es conforme en
cada uno de los puntos de un dominio y cuándo es conforme sobre todo el dominio.
Definición 75 Una transformación w = f (z), definida en un dominio D, se llama conforme en

cada uno de sus puntos, si f es analı́tica en D y su derivada no tiene ceros en D.
Definición 76 Una transformación w = f (z), definida en un dominio D, se llama conforme en

todo D, si f es es inyectiva (uno a uno) y analı́tica en D.
Cuando la transformación es biyectiva en un dominio D, es decir tiene inversa, y además ambas

son continuas, transforma puntos interiores de un conjunto contenido en D, en puntos interiores
del conjunto imagen. Del mismo modo los puntos frontera del conjunto original se transformarán
en puntos frontera del conjunto imagen.
Teorema 68 Supongamos que una función analı́tica 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 función armónica
definida sobre Dw , entonces la función H(x, y) = h(u(x, y), v(x, y)) es armónica sobre Dz .
72
Ejercicio 34 Conservación de ángulos y puntos interiores
1. Sea A el sector angular de 60o (a partir del eje real positivo) del cı́rculo unitario:
a) Encuentre la imagen al aplicarle la transformación w = z 3 .¿Se cumple la propiedad de

conservación de ángulos?
1
b) Aplique la transformación w = z 6 . El punto z = 2 es un punto frontera de A. ¿Es la
imágen de este punto también un punto frontera?
2. Muestre que si una transformación y su inversa son continuas entonces la imagen de un punto
interior de un conjunto es un punto interior del conjunto imagen.
Principio de variación del argumento.
Sea C un contorno cerrado simple orientado positivamente en el plano z, y sea f una fun-
ción analı́tica sobre C. Supongamos que f no tiene ceros sobre C. La imagen Γ de C bajo la
tranformación 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
dirección que fija una orientación 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 orientación (inicia con arg w = ϕ0 y
finaliza en el mismo punto con arg w = ϕ1 ) es
∆C arg f (z) = ϕ1 − ϕ0 ,
1
es un múltiplo de 2π y 2π ∆C arg f (z), es el número de veces que el punto w gira en torno al origen
en el plano w, cuando z describe C una vez en sentido positivo.
Teorema 69 Sea C un contorno cerrado simple, en sentido positivo, y sea f una función analı́tica
dentro y sobre C, excepto en un número finito de polos interiores a C. Supongamos además que f
no tiene ceros sobre C. Entonces
1 ϕ1 − ϕ0
∆C arg f (z) = =Z −P
2π 2π
donde Z es el número total de ceros de f dentro de C y P es el número total de polos de f dentro

de C (contando su multiplicidad, es decir un polo doble o cero doble se cuentan como dos), ϕ0 es
73
el argumento de la imagen del punto inicial de C al aplicarle la transformacin w = f (z), y ϕ1
es el argumento de la imagen del punto final, si bien coincide con el punto inicial, el argumento
resultante tiene en cuenta su variación continua luego de recorrer toda la curva C.
Ejercicio 35 Principio de Variación del Argumento
1 1
∫ f ′ (z)
1. Bajo las mismas condiciones del teorema anterior pruebe que 2π ∆C arg f (z) = 2πi C f (z)
dz,
∫ f ′ (z)
1
y luego que 2πi C f (z)
dz = Z − P .
2. Sea C el cı́rculo unidad |z| = 1 descripto en sentido positivo. Hallar el valor de ∆C arg f (z)
z 3 +2
para las funciones: (a) f (z) = z 2 , (b) f (z) = 2z+1 .
v
G
3. Sea f una función analı́tica dentro y sobre un contorno cerrado simple C, excepto en un
único punto interior a C, que es un polo simple de f. Además f no se anula en ningún punto
de C. Sea Γ la imagen de C bajo la transformación w = f (z), la cual se muestra en la figura.
Determinar el valor de la variación del agumento de f sobre C, y también el número de ceros
de f interiores a C.
74
Espacio de funciones
y Series de Fourier
Bibliografı́a
Series de Fourier y problemas de contorno. Churchill, Ruel V. (517.2. C473-1).
Matemáticas avanzadas para ingenierı́a. Kreyszig, Erwin. Limusa. México. (517. K889-2 /
517. K889-1/ 517. K889).
Los espacios vectoriales tienen un rol muy importante en muchas ramas de la matemática y
sus aplicaciones. En muchos problemas teóricos y prácticos se trabaja con conjuntos de elementos
y operaciones que tienen propiedades análogas al espacio vectorial Euclideano Rn (muy conocido
en los primeros cursos de algebra). Se verán ahora otros espacios, en especial espacios vectoriales
de funciones.
Espacios Vectoriales
Definición 77 Un espacio vectorial sobre un cuerpo K es un conjunto no-vacı́o X de elementos
que llamaremos vectores junto con dos operaciones algebraicas: suma de vectores (X × X → X)
y multiplicación por escalares (K × X → X), los escalares son los elementos de K, las cuales
verifican ∀x, y, z ∈ X y ∀α, β ∈ K:
75
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 números reales (R) o el cuerpo de los números 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 dimensión n, cuyas componentes son números complejos, con

las operaciones usuales de vectores (suma componente a componente, y multiplicación 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 opera-
ciones usuales de suma de funciones y multiplicación 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.
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.
76
Independencia lineal
Definición 78 Un conjunto finito de vectores M = {x1 , x2, ... , xn } en un espacio vectorial X es
linealmente independiente si la ecuación
α1 x1 + α2 x2 + · · · + αn xn = 0
implica que α1 = α2 = · · · = αn = 0. Un subconjunto arbitrario M de X es linealmente indepen-

diente si todo subconjunto no-vacı́o y finito de M es linealmente independiente. Se dice que M es
linealmente dependiente si no es linealmente independiente.
Definición 79 Un subespacio de un espacio vectorial X es un subconjunto no vacı́o 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.
3. Las funciones senx, sen2x, . . . , sennx son linealmente independientes en C[−π, π] para cual-
∑n
quier número natural n. [Sugerencia: sea αk senkx; multiplicar por senjx donde j =
k=1
1, . . . , n; e integrar de −π a π].
4. El conjunto infinito
{senx, sen2x, . . . , sennx, . . .} = {sennx, 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]
77
Definición 80 Un producto escalar o producto interior sobre X es una función de X × X → K,
es decir a todo par de vectores x e y le asocia un escalar el cual se escribe ası́
⟨x, y⟩
y verifica las siguientes propiedades ∀x, y, z ∈ X y ∀α ∈ K:
1. ⟨x + y, z⟩ = ⟨x, z⟩ + ⟨y, z⟩
2. ⟨αx, y⟩ = α⟨x, y⟩
3. ⟨x, y⟩ = ⟨y, x⟩
4. ⟨x, x⟩ ≥ 0
5. ⟨x, x⟩ = 0 ⇐⇒ x = 0.
(la propiedad 3 indica que ⟨x, x⟩ ∈ R+ , aún cuando K = C).
Por ejemplo ∀ par de vectores x, y en R2 el producto escalar es
⟨x, y⟩ = ⟨(x1 , x2 ), (y1 , y2 )⟩ = x1 y1 + x2 y2
Un producto escalar en C[a, b] es:
∫ b
⟨f (x), g(x)⟩ = f (x)g(x)dx
a
Entiéndase que no es la única manera de definir un producto escalar en C[a, b], por ejemplo podrı́a
incluirse en la integral alguna función de peso.
Definición 81 En un espacio vectorial X con producto escalar se dice que dos elementos x, y ∈ X
son ortogonales si
⟨x, y⟩ = 0.
Definición 82 En un espacio vectorial X con producto escalar se define a la norma de vectores

inducida por el producto escalar como:
∥x∥ = ⟨x, x⟩1/2 ∀x ∈ X.
78
En C[a, b]:
√
∫ b
∥f (x)∥ = f 2 (x)dx
a
∫b
En en el espacio de funciones continuas a tramos, CT [a, b], la integral a f (x)g(x)dx no define
∫b
un producto escalar. No cumple la propiedad 5, pues a f 2 (x)dx es nula no sólo si la función f
es la función cero, sino que puede ser una función nula (una función nula toma valor cero casi en
todo el intervalo, excepto en un número finito de puntos). Esto se soluciona considerando que dos
funciones en CT [a, b] son idénticas si su diferencia es una función nula. Es decir si se considera que
un vector de CT [a, b] en realidad es un conjunto de funciones cuya diferencia es una función nula.
Por ejemplo el vector cero está identificado por el conjunto de funciones nulas, la función constante
x
1 se identifica con la función x,
y con toda función de la forma 1 + N (x) donde N es una función
∫b
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 define ası́: ⟨f, g⟩ =
∫b
a
f (x)g(x)dx.
Un conjunto de funciones ortogonales se suele llamar sistema de funciones ortogonales.
Definición 83 Un conjunto de funciones {ϕn (x)} se dice que es un sistema ortonormal si


 0 si n ̸= m
⟨ϕn (x), ϕm (x)⟩ = .
 1 si n = m
Definición 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 función f cuando los cn son los coeficientes de

Fourier cn = ⟨f (x), ϕn (x)⟩.
Ejercicio 37 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 ⟨f, g⟩. ¿Son ortogonales?
2. Sea P0 (x) = a0 y P1 (x) = b0 + b1 x. Encuentre los números a0 , b0 , b1 para que {P0 , P1 } sea
un conjunto ortonormal en C[−1, 1].
79
3. Muestre que el conjunto de funciones { 12 , cos x, senx, cos 2x, sen2x, . . . , cos nx, sennx} es or-
togonal en C[−π, π]. A partir de este conjunto obtenga un conjunto ortonormal.
4. Calcular los coeficientes de Fourier de la función ex en C[−1, 1] correspondientes al 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
2
⟨v, vi ⟩2 ≤ ∥v∥ .
i=1
Esta desigualdad es un caso especial de la desigualdad de Bessel. [Sugerencia: establecer

∑n 2
y = v − i=1 ⟨v, vi ⟩vi y calcular ∥y∥ ].
6. Suponer que v1 , . . . , vn es una base ortonormal de un espacio vectorial V de dimensión finita.

Si v es cualquier vector en V, muestre que
2
∑
n
∥v∥ = ⟨v, vi ⟩2 .
i=1
Aproximación de funciones en el sentido de minimizar la norma o mı́nimos cuadrados
Teorema 70 Dado un sistema ortonormal {ϕn (x)} en el intervalo [a, b],la suma parcial SN (x) =
∑N
n=0 cn ϕn (x) de la serie de Fourier generalizada de una función f (x), es la mejor aproximación
en el sentido de mı́nimos cuadrados, es decir la integral

∫ b
(f (x) − SN (x))2 dx
a
es mı́nima cuando los coeficientes son los coeficientes de Fourier (cn = ⟨f (x), ϕn (x)⟩).
∑N

El valor de f (x) − n=0 cn ϕn (x) nos indica una medida del error de aproximación. Cuando
los coeficientes son los de Fourier se tiene que
∑
N
2
c2n ≤ ∥f (x)∥
n=0
de donde es fácil ver que cuando N → ∞
∞
∑ 2
c2n ≤ ∥f (x)∥
n=0
80
que se conoce como desigualdad de Bessel. Si se cumple que el error de aproximación tiende a cero
cuando N → ∞, se verifica la igualdad
∞
∑ 2
c2n = ∥f (x)∥
n=0
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 función que
sea ortogonal a todos las funciones del sistema.
Ejercicio 38 Compare la aproximación de ex utilizando los coeficientes de Fourier calculados en

el ejercicio anterior [ex ∼ c0 P0 (x) + c1 P1 (x)] y una aproximación lineal con la fórmula de Taylor
[ex ∼ f (0) + f´(0) x]. Grafique la función y las dos aproximaciones en el intervalo [−1, 1]. Calcule
el error de aproximación en ambos casos, ¿cuál es menor?
81
Integral de Fourier y Transformada de Fourier
Bibliografı́a
/ 517. K889-1/ 517. K889).
Cálculo 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 si |x| < 1
Sea f (x) = , si bien esta función no es periódica se pueden utilizar series
 0 si |x| > 1
de Fourier para realizar aproximaciones en el intervalo [−L, L] por medio de funciones periódicas
de perı́odo 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 ∑ 2 sen(nπ/L)
fL (x) ∼ + cos(nπx/L)
L n=1 L nπ/L
o bien
∑
+∞
1 sen(nπ/L) inπx/L
fL (x) ∼ e .
n=−∞
L nπ/L
nπ
La variable discreta w = L que aparece en los términos de la serie de Fourier se denomina
π
frecuencia, L es la frecuencia fundamental, y las demás son múltiplos (armónicos) de ésta. El valor
w
de 2π indica la cantidad de ciclos periódicos contenidos en un intervalo de longitud unitaria de x.
En el siguiente gráfico se muestran los coeficientes de Fourier de fL (x) en función de la frecuencia
w.
82
fL(x) a(w) /a(0)
1 1
0.5
L=2 0.5
0
0
−0.5
−20 −16 −12 −8 −4 0 4 8 12 16 20 0 5 10
1 1
0.5
L=4 0.5
0
0
−0.5
−20 −16 −12 −8 −4 0 4 8 12 16 20 0 5 10
1 1
L=8 0.5
0.5
0
0
−0.5
−20 −16 −12 −8 −4 0 4 8 12 16 20 0 5 10
1 1
L=∞ 0.5
0.5
0
0
−0.5
−20 −16 −12 −8 −4 0 4 8 12 16 20 0 5 10
x w
Obsérvese que lı́m fL (x) = f∞ (x) = f (x). Como f (x) no es periódica, no se puede desarrollar
L→∞
como una serie de Fourier, sin embargo es posible expresarla con la siguiente integral:
∫ R
2 senw
f (x) ∼ lı́m cos(wx)dw
R→∞ 0 π w
o bien
∫ R
1 senw iwx
f (x) ∼ lı́m e dw,
R→∞ −R π w
esto queda justificado en el siguiente teorema:
83
Teorema 71 Si f (x) es continua a tramos en todo intervalo finito y tiene derivada a derecha y
∫ +∞
a izquierda en todo punto y la integral −∞ |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 lı́mites laterales de f (x) en ese punto.
∫ ∞
f (x) ∼ (A(w) cos(wx) + B(w)sen(wx)) dw
0
donde
∫ +∞
1
A(w) = f (x) cos(wx) dx
π −∞
∫ +∞
1
B(w) = f (x)sen(wx) dx
π −∞
o en forma compleja
∫ +∞
f (x) ∼ V.P.C. F(w) eiwx dw
−∞
donde
∫ +∞
1
F(w) = f (x) e−iwx dx
2π −∞
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)
84
A(w)−iB(w)
1. F(w) = 2 .
2. Si f es par entonces B(w) = 0 (integral de cosenos).
3. Si f es impar entonces A(w) = 0 (integral de senos).
4. La función





0 si x < 0
f (x) = π
si x = 0

 2

 πe−x si x > 0
se puede escribir como la integral
∫∞
cos xw + wsenxw
dw
1 + w2
0
[sug. calcular A(w) y B(w)]
5. La integral
∫∞
w3 senxw π
4
dw = e−x cos x
4+w 2
0
cuando x > 0, ¿a qué función 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) .

∫ +∞
[Ayuda: F(w) = Φ(f (x))(w) = 2π
1
−∞
f (x) e−iwx dx]
b) representar a f (x) como una integral compleja de Fourier.

∫ +∞
[Ayuda: f (x) = V.P.C. −∞ F(w) eiwx dw].
85
Algunas propiedades de la transformada de Fourier
1. Φ(c1 f1 (x) + c2 f2 (x))(w) = c1 Φ(f1 (x))(w) + c2 Φ(f2 (x))(w) (Linealidad)
2. Φ(f (k) (x))(w) = (iw)k Φ(f (x))(w) (Derivadas)
3. Φ(f (x − c))(w) = e−icw Φ(f (x))(w) (Traslación en tiempo)
4. Φ(eicx f (x))(w) = Φ(f (x))(w−c) (Traslación en frecuencia)
5. Si Φ(f (x))(w) = F(w) entonces Φ(2πF(x))(w) = f (−w) (Dualidad)

∫ +∞ 2 ∫ +∞ 2
6. 1
2π −∞
|f (x)| dx = −∞
|F(w)| dw (Parseval)
7. Φ(f ∗ g)(w) = Φ(f )(w) Φ(g)(w)
donde f, g, f1 y f2 tienen transformada de Fourier y el producto de convolución:

∫ +∞
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 función f (x) es
2π L(f (x))(iw) ,
1
α < 0, entonces Φ(f (x)h(x))(w) = donde h(x) es la función escalón (Heavisi-
de).
L(f (x))(s) = 2πΦ(e−σx f (x)h(x))(w) donde s = σ + iw y σ > α, la abscisa de convergencia

absoluta de f (x).
Fórmula de Inversión Compleja de Laplace
∫ γ+i∞
1
f (t) = V.P.C. est F (s) ds
2πi γ−i∞
Si F (s) es la transformada de Laplace de una función f (t) la cual es continua a tramos, de orden
exponencial, O(eαt ), entonces si f ′ (t) es continua a tramos, la integral de la fórmula de inversión
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.
86
Ejercicio 40 1. Muestre la relaciones entre las transformadas de Fourier y Laplace, y úselas
para encontar Φ(e−ax h(x))(w) con a > 0.
2. Use la propiead
 3 y el ejercicio anterior par encontrar la transformada de Fourier de la función
 1 cuando |x − 2| < 1
g(x) = .
 0 cuando |x − 2| > 1
3. Sea h(x) es la función escalón (Heaviside), obtenga el producto de convolución (como se

definió en las propiedades) de h(x) ∗ (xh(x))
1
4. Utilice la fórmula de inversión Compleja de Laplace para antitransformar F (s) = s2 +1 .
Indique también cómo es f (t) = L−1 (F (s)) cuando t ≤ 0 [Ayuda: utilice el contorno de
integración de la figura, el teorema de los residuos y luego haga b → ∞]
ib
R = b2 + g 2
i
-R g
-i
-ib
87
Funciones Impulsivas
Bibliografı́a
The Fourier integral and its applications Papoulis, A. (517.7. P199).
The fast Fourier transform Brigham, E. O. (A-6.678. Inst. Mat.)
Cálculo Avanzado Kaplan, W. (517 K14-2)
Ciertos problemas fı́sicos llevan a intentar extender el concepto de función de manera que
incluya nuevos objetos matemáticos, llamados funciones generalizadas o distribuciones, que difieren
notablemente de las funciones tradicionales. En esta parte del curso se dará una introducción
intuitiva. Una de las distribuciones más utilizada es la que lleva el nombre de Dirac, impulso o
delta de Dirac, que fue quien la utilizó en mecánica cuántica en los años 1920. Un matemático
francés: L. Schwartz (1915-2002), fue el creador de la Teorı́a de Distribuciones en 1948.
Algunos sistemas mecánicos suelen estar sometidos a una fuerza externa (o a una tensión
eléctrica en el caso de los circutitos eléctricos) de gran magnitud, que solamente actúa durante
un tiempo muy corto. Por ejemplo, una descarga elétrica podrı́a caer sobre el ala vibrante de un
avión; a un cuerpo sujeto a un resorte podrı́a dársele un fuerte golpe con un martillo, una pelota
(de beisbol, de golf o de tenis) inicialmente en reposo, podrı́a ser enviada velozmente por los aires
al ser golpeada con violencia con un objeto como un bate de beisbol, un bastón de golf o una
raqueta de tenis. La función impulso puede servir como un modelo para tal fuerza.
Otro ejemplo fı́sico sencillo es el de la densidad de la masa distribuida a lo largo de una recta en
el eje x (también podrı́a considerarse la densidad de carga eléctrica distribuida sobre una recta).
∫b
Si ρ(x) es la densidad, entonces a ρ(x)dx deberá dar la masa total en el intervalo [a, b]. Supóngase
ahora toda la masa concentrada en una particula de masa igual a 1, localizada en el origen. Resulta
∫b ∫b
tentador asignar a a ρ(x)dx = 0 si el intervalo [a, b] no contiene al origen y a ρ(x)dx = 1 si el
intervalo [a, b] contiene al origen. Esto conduce a que ρ(x) = 0 cerca del origen y ρ(x) no estarı́a
acotada en x = 0. Esta particular función de densidad es la función delta de Dirac.
Como se mencinó anteriormente un ejemplo también sencillo es el de una partı́cula de masa

m que está inmóvil y en t = 0 recibe un golpe que la pone en movimiento a velocidad constante
v0. La velocidad v se puede escribir en términos de la función escalón 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 partı́cula,
F = m dv
dt = mv0 δ(t), donde δ es la función de Dirac, es decir la fuerza es un impulso, es nula en
88
todo instante, excepto en el instante del golpe. Además resulta natural pensar que la derivada del
escalón h(t) es δ(t), en el sentido de las distribuciones.
Definición 85 La función delta δ de Dirac generalmente se define de una de las siguientes tres
maneras:
1. Por la ecuación
∫
+∞
δ(t) dt = 1, δ(t) = 0 ∀t ̸= 0
−∞
2. Como lı́mite de una sucesión de funciones δ(t) = lı́m fn (t) que verifican
n→∞
∫
+∞
fn (t) dt = 1, lı́m fn (t) = 0 ∀t ̸= 0

n→∞
−∞
∫
+∞
3. Por la propiedad δ(t) f (t) dt = f (0) donde f (t) es una función arbitraria continua en el
−∞
origen.
Las propiedades de la primer definición no son las usuales de una función ordinaria. En realidad
hay que entender que lo importante en la definición de la función de Dirac son sus propiedades, y
que la forma de definirla es a través de sus propiedades y no como uno está acostumbrado a definir
una función ordinaria.
La teorı́a matemática que justifica estas cuestiones es la Teorı́a de Distribuciones y corresponde

a la tercer definición. El concepto de distribución o función generalizada T es un proceso de
asignación a una función arbitraria ϕ(t) un número α real o complejo. Es decir, una distribución
T, es un mapeo:
T
ϕ(t) → α,
T [ϕ(t)] = α,
y este número α puede ser un valor de ϕ(t) o de sus derivadas para algún t = t0 , el área bajo ϕ(t)
en algún 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 órdenes,
y que se anulan fuera de un intervalo acotado [a, b], o que decrecen rápidamente a cero (más rápido
que el crecimiento de cualquier potencia tn ) cuando t → ±∞. Además las distribuciones deben
89
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
definición a un espacio más amplio de funciones.
Distribución asociada a una función. A cada función f continua a trozos se le asocia

una distribución Tf de la siguiente manera
∫
Tf +∞
ϕ(t) → f (t) ϕ(t) dt,
−∞
∫
+∞
Tf [ϕ(t)] = f (t) ϕ(t) dt.
−∞
Esta distribución 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 a las distribuciones como una generalización
de las funciones. Muchas de las propiedades de la integración de funciones se pueden extender
a las distribuciones.
La función delta de Dirac es una distribución que asigna a la función ϕ(t) el número ϕ(0),
δ
ϕ(t) → ϕ(0),
δ[ϕ(t)] = ϕ(0),
donde ϕ es cualquier función continua en t = 0. Esta es una distribución que no se asocia a ninguna
función. Si bien se suele escribir con el sı́mbolo integral:
∫
+∞
δ(t) ϕ(t) dt = ϕ(0),

−∞
no hay que pensarlo como un proceso de integración ordinario, sin embargo como una extensión
de las distribuciones asociadas a funciones se utiliza el mismo sı́mbolo. Además se pueden probar
ciertas propiedades rigurosamente utilizando la teorı́a o de manera informal con propiedades simi-
lares a la de las integrales. De este modo se pueden realizar cambios de variable, sustituciones e
integración por partes para demostar las siguientes propiedades:
90
Propiedades
∫
+∞
1. δ(t − t0 ) ϕ(t) dt = ϕ(t0 )
−∞
∫
+∞
2. δ(t) (α1 ϕ1 (t) + α2 ϕ2 (t) ) dt = α1 ϕ1 (0) + α2 ϕ2 (0) (linealidad)
−∞
1
3. δ(at) = |a| δ(t)
∫
+∞
4. δ ′ (t) ϕ(t) dt = −ϕ′ (0)
−∞
∫
+∞
5. δ (n) (t) ϕ(t) dt = (−1)n ϕ(n) (0)
−∞

∫b  ϕ(0) si 0 ∈ [a, b]
6. δ(t) ϕ(t) dt =
a  0 si 0 ∈
/ [a, b]
7. δ(t − t1 ) ∗ δ(t − t2 ) = δ(t − t1 − t2 )
dh(t)
8. dt = δ(t)
9. Si g es una función continua en t = 0, entonces g(t)δ(t) = g(0)δ(t)
Ejercicio 41 .
1. Pruebe las propiedades 1 y 2 utilizando propiedades de integrales (cambio de variables).
2. Muestre que si g es una función continua en t = 0, entonces g(t)δ(t) es una función impulsiva
equivalente a g(0)δ(t) [dos distribuciones se consideran iguales cuando tienen el mismo efecto
sobre todas las funciones de prueba].
La función delta se puede definir como lı́mite generalizado de funciones ordinarias (corresponde
al segundo punto de la definición) como por ejemplo
δ(t) = lı́m rn (t)

n→∞
con rn (t) = n(h(t) − h(t − 1/n)).

Las propiedades también se pueden probar utilizando sucesiones de funciones que convergen a
δ(t). Por ejemplo si en la sucesión anterior hacemos n = 1ε , y t ̸= 0,
h(t) − h(t − ε)
δ(t) = lı́m ,
ε→0 ε
91
por lo tanto este lı́mite se entiende como la derivada de h(t), y su resultado es δ(t). Del mismo
modo se puede decir que la función escalón de Heaviside h(t) es una primitiva de la distribución
de Dirac δ(t).
Derivada de una distribución. La derivada en el sentido de las distribuciones se define de

la siguiente manera:
T′
ϕ(t) → −T [ϕ′ (t)],
T ′ [ϕ(t)] = −T [ϕ′ (t)].
Esta definición concuerda con la propiedad 3 de la función Delta, donde se muestra que δ ′ (t) es
otra distribución que asigna a cada ϕ(t) el valor −ϕ′ (0). También concuerda con la derivación
de funciones, en el caso de distribuciones asociadas a funciones derivables (integrando por
partes): Tf′ [ϕ(t)] = Tf ′ [ϕ(t)] = −Tf [ϕ′ (t)]. Sin embargo en esta definición no es necesario que
la función sea derivable, por lo tanto este resultado permite extender la noción 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 único

punto de discontinuidad en t0 de tipo salto, entonces siempre se puede escribir a f como la
suma de una función continua g más un escalón,
−
0 ) − f (t0 ))h(t − t0 )
f (t) = g(t) + (f (t+
si además g es derivable entonces
−
f ′ (t) = g ′ (t) + (f (t+
0 ) − f (t0 ))δ(t − t0 ),
en el sentido de las distribuciones. Si la función tiene más discontinuidades se puede genera-

lizar fácilmente.
Por ejemplo la función f (t) = t h(t) es continua pero según el Cálculo Diferencial no es derivable
en t = 0, sin embargo en el sentido de las distribuciones se puede decir que f ′ (t) = h(t), entendiendo
a f ′ como una distribución. Del mismo modo se puede decir que la derivada de (1 + t)h(t) es
h(t) + δ(t).
La sucesión de funciones que converge a δ(t) no es única también pueden elegirse sucesiones
92
de funciones suaves:
n 1
rn (t) =
π 1 + n2 t 2
n
√ e−n x
2 2
rn (t) =
π
1 sen2 (nt)
rn (t) =
nπ t2
que tienden a δ(t) cuando n → ∞.
Del mismo modo δ ′ (t) = lı́m 1

2 [h(t) − 2h(t − ε) + h(t − 2ε)] (doblete, con ε = 1
n, cuando
ε→0 ε
n → ∞, ε → 0).
De manera informal y sin justificar rigurosamente con la Teorı́a 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 distribución. Si T es una distribución y es posible

definir T [e−st ] para todo s perteneciente a una cierta región del plano complejo, diremos que
la función LT (s) = L{T } = T [e−st ] es la transformada de Laplace de la distribución T.
De esta definición se deduce que la transformada de Laplace de la distribución asociada a la

función 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) = e−st f (t)dt
0
∫∞
Tener en cuenta que LTf.h (s) no es lo mismo que LTf (s) = −∞
e−st f (t)dt, pues esta ú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 definición de la transformada para funciones
ordinarias coinciden cuando la función f (t) se anula cuando t < 0.
Transformada de Laplace de un impulso unitario:

∫ ∞ ∫ ∞
−st
L{δ(t)} = e δ(t)dt = e−st δ(t)dt = e0 = 1,
−∞ 0
hay que pensarlo en el sentido de las distribuciones y no como una integral ordinaria. Del
mismo modo
∫
∞
d −st
L{δ ′ (t)} = e−st δ ′ (t)dt = − e = se0 = s,
−∞ dt t=0
93
aquı́ no tendrı́a sentido aplicar la propiedad de Laplace de L{f ′ (t)} = sL{f (t)}−f (0) pues no
ha sido demostrada para funciones generalizadas y δ(0) no está definido. Tampoco se verifica
la condición 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 ′ } = sL{T }.
Tabla de transformadas de Laplace (para distribuciones)
f (t) ↔ F (s)
eαt f (t) ↔ F (s − α)
f (n)
(t) ↔ sn F (s)
δ(t) ↔ 1
h(t) ↔ 1
s
tn h(t) ↔ n!
sn+1
eαt h(t) ↔ 1
s−α
sent h(t) ↔ 1
s2 +1
cos t h(t) ↔ s
s2 +1
Transformada de Fourier de las funciones escalón y impulso unitario: En general

las funciones 1, x, x2 , ..., no tienen transformada de Fourier como se definió para funciones
∫ +∞
ordinarias (no existe −∞ |f |dx), sin embargo sı́ tienen desde el enfoque de distribuciones.
Algunos ejemplos donde intervienen funciones impulsivas:
1
Φ(δ(x))(w) =
2π
∫ +∞
pues 1
2π −∞
δ(x) e−iwx dx = 1
2π δ[ e
−iwx
] = 1
2π . Además por la propiedad de dualidad Φ−1 (δ(w))(x) =
1
2π 2π = 1 es decir:
Φ(1)(w) = δ(w)
Usando teorı́a de variable compleja es posible probar que:
94





π x>0
−1
∫ +∞
Φ 1
( iw )(x) = V.P.C. 1
−∞ iw
e dw = 2πh(x) − π =
iwx
0 x=0



 −π x<0
Luego 1
iw = Φ(2πh(x) − π)(w) = Φ(2πh(x))(w) − πδ(w), por lo tanto
1 1
Φ(h(x))(w) = + δ(w)
2πiw 2
En forma similar
1 1
Φ(cos(w0 x))(w) = δ(w − w0 ) + δ(w + w0 )
2 2
1 1
Φ(sen(w0 x))(w) = δ(w − w0 ) − δ(w + w0 )
2i 2i
Ejercicio 42 1. Sea f (t) = 0 para t < 0, f (t) = 3 − t para t > 0. Sea g(t) = cos t para
−π < t < π, g(t) = 0 para el resto. Evalúe utilizando función escalón, funciones impulsivas,
y propiedades (en el sentido de las distribuciones):
a) 5f ′ (t) + 2g ′ (t)
b) f ′′ (t)
c) g(t)δ(t − 1)
∫2
d ) −1 f (t)δ ′ (t − 1)dt
e) L{f ′′ (t))}(s)
2. Sea f (t) = et h(t). Discuta sobre diferencias entre L{f ′ (t))} según las distribuciones y según
la definición de transformada de Laplace para funciones ordinarias
3. Aplique transformada de Laplace y resuelva la siguiente ecuación diferencial: y ′ (t) + y(t) =

δ(t)
4. Aplique transformada de Laplace para encontrar la solución cuando t > 0 de la ecuación

diferencial: y ′ (t) + y(t) = 0, con y(0) = 1.
95
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 generalización de la transformada

de Fourier, ambas se aplican sobre conjuntos de funciones que están definidas sobre R+ y R
respectivamente, y cumplen un rol muy importante en la resolución de ecuaciones diferenciales.
La transformada Z, en forma similar se aplica sobre otros objetos matemáticos que son sucesiones
y permite resolver ecuaciones a diferencia. Trabajaremos con sucesiones reales y complejas cuyo
dominio son los números enteros (Z), es decir xn es una sucesión de Z → C, o de Z → R.
Definición 86 Sean xn e yn dos sucesiones y α ∈ C, en base a la suma y producto de números

complejos, se pueden definir las siguientes operaciones con sucesiones :
Suma: (x + y)n = xn + yn
Producto: (x.y)n = xn .yn
Multiplicación por constantes: (αx)n = α.xn
Corrimiento: xn = yn−n0 , para n0 ∈ Z
96
Algunos ejemplos de sucesiones comunmente utilizadas
Impulso

 0 n ̸= 0
δn =
 1 n=0
Escalón unitario

 1 n≥0
un =
 0 n<0
Exponencial
xn = Aαn ,
A y α pueden ser reales o complejos.
Definición 87 La transformada Z de una sucesión xn se define como la siguiente serie de poten-

cias
∞
∑
X(z) = Z(xn ) = xn z −n .
−∞
El conjunto de valores z para los cuales converge se llama región de convergencia (anillos centrados
en el origen)
Ejercicio 43 Muestre utilizando la definición y suma de series geométricas que:
Z(an un ) = z
z−a , con región de convergencia |z| > |a| .
Z(−an u−n−1 ) = z
z−a , con región de convergencia |z| < |a| .
97
Propiedades de la región de convergencia
La región de convergencia es un anillo o disco centrado en el origen
La región de convergencia no puede contener singularidades de X(z).
Si xn tiene un número finito de términos no nulos, la región 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 con-

vergencia
xn ←→ X(z) Rx
yn ←→ Y (z) Ry
1. Linealidad
α xn + β yn ←→ α X(z) + β Y (z)
la región de convergencia es al menos Rx ∩ Ry (puede ser mayor).
2. Corrimiento
xn−k ←→ z −k X(z)
la región de convergencia es Rx excepto z = 0 si k > 0,o z = ∞ si k < 0.
3. Multiplicación por exponenciales
α n xn ←→ X(z/α)
la región de convergencia es |α| Rx .
98
4. Diferenciación
n xn ←→ −z dX(z)
dz
Rx excepto posible inclusión o exclusión de z = 0.
5. Inversión de sentido
x−n ←→ X(z −1 )
la región de convergencia es 1/Rx .
6. Convolución de sucesiones
∑
+∞
xn ∗ yn = xk yn−k
k=−∞
xn ∗ yn ←→ X(z) Y (z)
la región de convergencia es por lo menos la intersección Rx ∩ Ry .
Ejercicio 44 .
1. Muestre la propiedad 2.
2. Utilizando la definición y propiedades encuentre la transformada Z de cada una de las si-

guientes sucesiones, y su respectiva región de convergencia:
( 1 )n
a) 2 u−n
b) δn
c) δn+1
( )n
d ) 12 un − un−10
99

 an 0≤n≤4
e)
 0 en caso contrario
3. Encuentre la sucesión xn que tenga como transformada Z :
a) X(z) = (1 + 2z)(1 + 3z −1 )(1 − z −1 ) z ̸= 0.

1
b) X(z) = ez + e z z ̸= 0.
Transformada Z unilátera
Definición 88 La transformada Z unilátera de una sucesión xn se define como la siguiente serie
de potencias
∞
∑
X(z) = Zu (xn ) = xn z −n
n=0
la región de convergencia es el exterior de un cı́rculo centrado en el origen, |z| > r.
El principal uso de esta transformada es el análisis de ecuaciones a diferencias con coeficientes

constantes.
La transformada Z unilátera tiene las mismas propiedades de las transformada Z enunciadas
anteriormente a excepción de ciertos cambios en la propiedad 2 y 6 como se detalla a continuación:
2. Corrimiento
Para k > 0
xn−k ←→ z −k X(z) + x−1 z −k+1 + · · · + x−k+1 z −1 + x−k
xn+k ←→ z k X(z) − x0 z k − · · · − xk−2 z 2 − xk−1 z
la región de convergencia es Rx excepto z = 0. Para k = 1
xn−1 ←→ z −1 X(z) + x−1
xn+1 ←→ z X(z) − x0 z
100
6. Convolución de sucesiones
∑
n
xn ∗ yn = xk yn−k
k=0
xn ∗ yn ←→ X(z) Y (z)
la región de convergencia es por lo menos la intersección Rx ∩ Ry .
Ejercicio 45 Muestre la propiedad 2, para el caso particular de k = 2.
Transformada inversa.
Por ser una serie de potencias, en cada región de convergencia, la transformada inversa es
única, pues la representación de funciones analı́ticas en series de potencias es única. La obtención
de la transformada inversa, es decir la sucesión que forman los coeficientes de la serie de potencias,
puede realizarse por el método de inspección, aplicando propiedades y la tabla de Transformadas
Z. Es muy común tener que antitransformar un cociente de polinomios, en este caso es conveniente
realizar una descomposición en fracciones, expresando previamente como cociente de polinomios de
variable z −1 , pues generalmente en las tablas figura 1
1−az −1 . Como 1
1−az −1 = z
z−a , resulta cómodo
X(z)
también expandir en fracciones z y luego multiplicar por z. Otra forma de obtener la suceción
es desarrollando la serie de Laurent. Se pueden utilizar las expresiones integrales del teorema de
Laurent y resolverlas por residuos.
Ejemplo: Sea X(z) = z
(z−2)(z−1) en la región |z| > 2.
Si expandimos en fracciones X(z)
z = 1
z−2 − 1
z−1 , entonces
z z
X(z) = −
z−2 z−1
de aquı́, por tabla, es fácil ver que xn = (2n − 1)un . También se puede desarrollar en serie de
2
Laurent (como suma de dos series gemétricas de raznes z y z1 )
∞ ( )n
∑ ∞ ( )n
∑ ∞
∑
2 1
X(z) = − = (2n − 1) z −n , cuando |z| > 2,
n=0
z n=0
z n=0
101
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 )
Si hacemos la sustitución s = z −1 , y desarrollamos en fracciones:
1 1
s 2s 1
= = − 2
+
(1 − 2s)(1 − s) (s − 12 )(s − 1) s− 1
2
s−1
ahora volviendo a z −1
1
1
X(z) = − 2
+
z −1 − 12 z −1 − 1
1 1
= −
1 − 2z −1 1 − z −1
de donde nuevamente es facil ver que es la transformada Z de xn = (2n − 1)un .
Ejercicio 46 .
1. Use desarrollo en series de potencias (Laurent) o descomposición en fracciones para anti-

transformar:
a) X(z) = 1
1+ 12 z −1
|z| > 12 .
b) X(z) = 1
1+ 12 z −1
|z| < 12 .
1− 12 z −1
c) X(z) = 1+ 14 z −2
|z| > 21 .
2. Resolver la siguiente ecuación a diferencia. Es decir se debe encontrar la sucesión yn para

n ≥ 0, sabiendo que y−1 = 1 y que verifica la siguiente ecuación
3.
1
yn − yn−1 = 1 para n ≥ 0.
2
1
4. Dada la siguiente ecuación a diferencia: yn + 3yn−1 = 2n un
a) Encuentre todas las posibles sucesiones yn que la verifican para todo n entero.
b) Encuentre una solución particular yn para n ≥ 0, sabiendo que y−1 = 1.
102
FUNCIONES DE VARIABLE COMPLEJA
Propiedades de la Transformada− z
Propiedad Dominio−n Dominio−z ROC (región de convergencia)
Notación 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 x[n−k] z−k X(z) La misma que la de X(z),
temporal excepto z = 0, si k > 0, y z = ∞
si k < 0.
Escalado en el an x[n] X(a−1z) |a|r2 < |z| < |a|r1
dominio z
Inversión de x[−n] X(z−1) 1/ROC
tiempo
Conjugación 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
dX ( z )
Diferenciación en n x[n] −z r2 < |z| < r1
dz
el dominio z
Convolución x1[n]*x2[n] X1(z) X2(z) Contiene ROC1 ∩ ROC2.
Correlación rx x [ n ] = x1[ n]* x2 [ − n] Rx x ( z ) = X 1 ( z ) X 2 ( z )

−1
Por lo menos la intersección
1 2
1 2
de las ROC de X1(z) y X2(z−1).
Teorema del valor Si x[n] es causal x[ 0] = lim X ( z )
z →∞
inicial
Multiplicación x1[n] x2[n]

1
2 πj
z X ( v ) X ( )v
C 1
z
2 v
−1
dv Por lo menos
r1 mín r2 mín < |z| < r1 máx r2 max
Relación de
∞
¦ x1[n]x 2* [n] =
1
2 πj
z X ( v ) X ( )v
C 1
* 1
2 v
−1
dv
Parseval
FUNCIONES DE VARIABLE COMPLEJA
Algunos pares transformados de uso frecuente.
Sucesión Transformada Región de convergencia
δ[n] 1 Todo z
u[n] 1 |z| > 1
−1
1− z
−u[−n−1] 1 |z| < 1

−1
1− z
δ[n − m] z−m Todo z excepto 0 (si m > 0) o

∞ (si m < 0)
an u[n] 1 |z| > |a|
−1
1 − az
−an u[−n−1] 1 |z| < |a|

−1
1 − az
n an u[n] az −1 |z| > |a|

d1 − az i −1 2
−n an u[−n−1] az −1 |z| < |a|

d1 − az i −1 2
[cos ω0n] u[n] 1 − cos ω 0 z −1 |z| > 1

1 − 2 cos ω 0 z −1 + z −2
[sen ω0n] u[n] sen ω 0 z −1 |z| > 1

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

1 − 2r cos ω 0 z −1 + r 2 z −2
[rn sen ω0n] u[n] r sen ω 0 z −1 |z| > 1

1 − 2r cos ω 0 z −1 + r 2 z −2
RSa ,
n
0 ≤ n ≤ N −1 1 − aN z−N |z| > 0
T0, en caso contrario. 1 − az −1

Funciones de Variable Compleja Guia de D PDF

Cargado por

Copyright:

Formatos disponibles

Funciones de Variable Compleja Guia de D PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Funciones de Variable Compleja Guia de D PDF

Cargado por

Copyright:

Formatos disponibles

Guı́a de Definiciones y Teoremas estudiados en el curso de

Funciones de Variable Compleja.

Prof. Guillermo Calandrini

1er. cuatrimestre 2016

Nota de aplicación: Resumen 30 de mayo

Página web de la materia: http://lcr.uns.edu.ar/fvc/

Introducción al cálculo y al análisis matemático. Courant, Richard; John, Fritz. Vol. 1 y 2.

Métodos Matemáticos de la fı́sica. Moretti, Gino. (530. M818)

Matemática superior para ingenieros y fı́sicos. Sokolnikoﬀ, Ivan S. (517. So39ma5)

se llama serie numérica. Los an se llaman términos de la serie.

Sucesión de sumas parciales

Definición 2 La sucesión de sumas parciales es la suma de los N primeros términos de la serie.

Series con términos positivos

si L < 1 la serie converge.

si L > 1 la serie diverge.

si L < 1 la serie converge.

si L > 1 la serie diverge.

Criterio de comparación con lı́mite del cociente

Teorema 2 Sean an ≥ 0 y bn > 0, ∀n ∈ N; y sea A = lı́m an

Series con términos positivos y negativos.

Conviene proceder en el análisis utilizando los criterios en el siguiente orden:

2. Convergencia absoluta: criterios de series de términos positivos (comparación, D’Alambert,

3. Convergencia condicional: Leibniz, sumas parciales.

en cualquiera de los casos donde:

Definición 7 Decimos que f (x) es seccionalmente continua, o continua a tramos, en el intervalo

f (1) = a1 , f (2) = a2 , . . . f (n) = an , . . .

donde a es un número real cualquiera.

Integrales impropias en las que el integrando no es acotado

Supondremos ahora que c ∈ [a, b] y que lı́m |f (x)| = ∞.

Definición 13 En el tercer caso de la definición anterior también se denomina Valor Principal

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

3. Fórmula de integración por partes

Esta ecuación es válida si cualquier par de estas expresiones existen

0 ≤ f (x) ≤ g(x) para x ≥ a.

Ejercicio 1 Demostrar el teorema anterior (utilice deﬁnición de lı́mite y criterio de comparación).

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

|S(x) − Sn (x)| < ε.

|S(x) − Sn (x)| < ε.

Teorema 12 La suma de una serie de funciones continuas que converge uniformemente en un

|f (x, t)| ≤ M (t) para x ∈ P y todo t ≥ c

es decir podemos intercambiar el orden.

Series no uniformemente convergentes con funciones sumas discontinua:

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

no es absolutamente convergente pero es uniformemente convergente. (Notar que este resul-

Ejercicio 2 Estudie la convergencia uniforme de las siguientes integrales impropias en el intervalo

2. Encuentre un intervalo donde F (s) sea continua.

3. Encuentre un intervalo donde se veriﬁque:

Regiones en el plano complejo

Definición 24 Un entorno reducido de radio ε de un punto dado z0 , es el conjunto de puntos

Definición 25 Dado un conjunto de puntos S ⊂ C, un punto z0 ∈ C es un punto:

de acumulación del conjunto S, si cada entorno reducido de z0 contiene al menos un punto

Definición 26 Un conjunto es abierto cuando todos sus puntos son interiores.

Definición 27 Un conjunto es cerrado si su complemento es abierto (contiene todos sus puntos

Definición 28 Un conjunto abierto S es conexo si cada par de puntos z1 y z2 en él se pueden

Definición 29 Un conjunto abierto y conexo se llama dominio.

Definición 31 Un conjunto S es acotado si todo punto de S está dentro de un cı́rculo (|z| ≤ R,

El conjunto S se llama “dominio de deﬁnición de f ”.

|f (z) − w0 | < ε siempre que 0 < |z − z0 | < δ.

Teorema 18 Supongamos que lı́m f (z) = w0 y lı́m g(z) = h0 .