Universidad de los Andes

Departamento de Fsica

todos Matema
ticos
Me

llez
Gabriel Te

ii

c 2002 Gabriel Tellez Acosta.

Todos los derechos reservados por el autor. Se autoriza el uso para estudio
personal e individual. Toda otra utilizacion, en particular comercial, requiere la
autorizacion escrita del autor. Prohibida la venta sin la autorizacion escrita del
autor.

Indice general
Prefacio

VII

I. Funciones de una variable compleja

1.
Funciones analticas y funciones holomorfas .
1.1.
Definiciones . . . . . . . . . . . . . . .
1.2.
Condiciones de CauchyRiemann . . .
1.3.
Funciones trascendentales elementales.
2.
Representaciones geometricas . . . . . . . . .
3.
Integraci
on compleja . . . . . . . . . . . . . .
3.1.
Integral de linea . . . . . . . . . . . .
3.2.
Teorema de Cauchy . . . . . . . . . .
4.
Serie de Taylor y serie de Laurent . . . . . . .
4.1.
Serie de Taylor, funciones enteras . . .
4.2.
Serie de Laurent . . . . . . . . . . . .
4.3.
Ceros, polos y singularidades . . . . .
4.4.
Prolongaci
on analtica . . . . . . . . .
5.
Teorema y c
alculo de residuos . . . . . . . . .
5.1.
Teorema de los residuos . . . . . . . .
5.2.
C
alculo de residuos . . . . . . . . . . .
5.3.
Ejemplos y aplicaciones . . . . . . . .
6.
Ejercicios y problemas . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

1
1
1
3
6
9
10
10
11
18
18
18
20
22
23
23
24
25
32

II. Distribuciones
1.
La distribuci
on de Dirac . . . . . . . . . . . . . . . . . .
1.1.
Un ejemplo sacado del electromagnetismo . . . .
1.2.
Primeras propiedades . . . . . . . . . . . . . . .
1.3.
Secuencias de funciones convergiendo hacia (x)
1.4.
Primitivas y derivadas . . . . . . . . . . . . . . .
1.5.
Otras propiedades . . . . . . . . . . . . . . . . .
2.
La teora de las distribuciones . . . . . . . . . . . . . . .
2.1.
Los espacios D(R) y D0 (R) . . . . . . . . . . . .
2.2.
Ejemplos de distribuciones . . . . . . . . . . . .
2.3.
Operaciones en D0 . . . . . . . . . . . . . . . . .
2.4.
Otras distribuciones y ejemplos . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

37
37
37
39
39
42
43
45
45
46
47
50

iii

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

INDICE GENERAL

iv

3.

4.

2.5.
Distribuciones en Rn . . . . . . . . . . . . . . . . . . . . .
2.6.
Soporte de una distribucion . . . . . . . . . . . . . . . . .
Producto de convolucion . . . . . . . . . . . . . . . . . . . . . . .
3.1.
Producto de convolucion de dos funciones . . . . . . . . .
3.2.
Producto de convolucion de dos distribuciones . . . . . .
3.3.
Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4.
La distribucion (1/r) . . . . . . . . . . . . . . . . . . . .
3.5.
Continuidad, regularizacion . . . . . . . . . . . . . . . . .
3.6.
Asociatividad . . . . . . . . . . . . . . . . . . . . . . . . .

3.7.
Algebras
de convolucion . . . . . . . . . . . . . . . . . . .
3.8.
Aplicacion a la solucion de ecuaciones diferenciales. Funciones de Green . . . . . . . . . . . . . . . . . . . . . . . .
3.9.
Se
nales y sistemas lineales . . . . . . . . . . . . . . . . . .
Ejercicios y problemas . . . . . . . . . . . . . . . . . . . . . . . .

III.Series de Fourier
1.
Introducci
on historica . . . . . . . . . . . . . . . . . . . .
2.
Serie de Fourier de una funcion periodica . . . . . . . . .
2.1.
Coeficientes de Fourier . . . . . . . . . . . . . . . .
2.2.
Convergencia para funciones de variacion acotada .
2.3.
Coeficientes de las derivadas de f . . . . . . . . . .
2.4.
Ejemplos y ejercicios . . . . . . . . . . . . . . . . .
3.
Convergencia en L2 (T ). Interpretacion geometrica. . . . .
3.1.
Interludio: Espacios de Hilbert . . . . . . . . . . .
3.2.
Series de Fourier y el espacio L2 (T ) . . . . . . . .
4.
Serie de Fourier de una distribucion periodica . . . . . . .
4.1.
Introduccion . . . . . . . . . . . . . . . . . . . . .
4.2.
Distribuciones periodicas . . . . . . . . . . . . . .
4.3.
Coeficientes de Fourier . . . . . . . . . . . . . . . .
4.4.
Convolucion . . . . . . . . . . . . . . . . . . . . . .
5.
Ejercicios y problemas . . . . . . . . . . . . . . . . . . . .

52
54
55
55
55
57
58
60
62
62
64
66
66

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

73
73
76
76
78
80
81
82
82
86
88
88
88
89
90
92

IV.Transformada de Fourier
1.
Introducci
on: de la serie de Fourier a la transformada de Fourier
2.
Definiciones y primeras propiedades . . . . . . . . . . . . . . . .
2.1.
Transformada y cotransformada de Fourier . . . . . . . .
2.2.
Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . .
3.
Transformada de Fourier de distribuciones . . . . . . . . . . . . .
3.1.
El espacio S(R) . . . . . . . . . . . . . . . . . . . . . . . .
3.2.
El espacio S 0 (R) de las distribuciones templadas . . . .
3.3.
Transformacion de Fourier de distribuciones templadas . .
4.
Propiedades y aplicaciones varias . . . . . . . . . . . . . . . . . .
4.1.
F
ormula de Plancherel-Parseval . . . . . . . . . . . . . . .
4.2.
Convolucion . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.
Funciones y distribuciones periodicas . . . . . . . . . . . .
5.
Funciones de varias variables . . . . . . . . . . . . . . . . . . . .

95
96
97
97
98
101
101
102
104
106
106
106
107
108

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

INDICE GENERAL

6.

5.1.
Funciones y distribuciones radiales . . . . . . . . . . . . . 110
Ejercicios y problemas . . . . . . . . . . . . . . . . . . . . . . . . 113

V. Transformada de Laplace
1.
Transformada de Laplace de funciones . . . . . . .
1.1.
Definiciones . . . . . . . . . . . . . . . . . .
1.2.
Propiedades . . . . . . . . . . . . . . . . . .
2.
Transformada de Laplace de distribuciones . . . .
2.1.
Definiciones y propiedades . . . . . . . . . .
2.2.
Tabla de transformadas de Laplace . . . . .
3.
F
ormula de inversi
on . . . . . . . . . . . . . . . . .
4.
Convoluci
on y aplicaci
on a ecuaciones diferenciales
5.
Ejercicios y problemas . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

119
119
119
120
124
124
125
125
130
133

VI.Ecuaciones diferenciales de la Fsica

1.
Introducci
on . . . . . . . . . . . . . . . . . . . . . . . .
2.
Algunos casos sin fronteras . . . . . . . . . . . . . . .
2.1.
Ecuaci
on de Poisson . . . . . . . . . . . . . . .
2.2.
Ecuaci
on de onda no homogenea . . . . . . . .
3.
Separaci
on de variables . . . . . . . . . . . . . . . . .
4.
Funciones y polinomios de Legendre . . . . . . . . . .
4.1.
Ecuaci
on de Legendre . . . . . . . . . . . . . .
4.2.
Funci
on generatriz . . . . . . . . . . . . . . . .
4.3.
Relaciones de recurrencia . . . . . . . . . . . .
4.4.
Ortogonalidad . . . . . . . . . . . . . . . . . .
4.5.
Funciones asociadas de Legendre . . . . . . . .
4.6.
Funciones esfericas armonicas . . . . . . . . . .
5.
Funciones de Bessel . . . . . . . . . . . . . . . . . . . .
5.1.
Ecuaci
on de Laplace en coordenadas cilndricas
5.2.
Funci
on generatriz . . . . . . . . . . . . . . . .
5.3.
Relaciones de recurrencia . . . . . . . . . . . .
5.4.
Representaci
on integral . . . . . . . . . . . . .
5.5.
Comportamientos asintoticos . . . . . . . . . .
5.6.
Ortogonalidad y series de FourierBessel . . . .
5.7.
Ejemplo de aplicacion . . . . . . . . . . . . . .
5.8.
Transformada de Hankel . . . . . . . . . . . . .
6.
Funciones de Green . . . . . . . . . . . . . . . . . . . .
6.1.
Coordenadas esfericas . . . . . . . . . . . . . .
6.2.
Coordenadas cilndricas . . . . . . . . . . . . .
7.
Ejercicios y problemas . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

135
135
137
137
138
141
143
143
146
147
149
152
153
156
156
158
159
160
160
161
163
165
166
167
169
171

.
.
.
.
.
.
.
.
.

Ap
endice

175

Bibliografa

177

Smbolos utilizados

179

vi

Indice alfab
etico

INDICE GENERAL
183

Prefacio

ste libro nace de unas notas de clase del curso Metodos Matematicos
para estudiantes de la carrera de Fsica de la Universidad de los Andes
que dicte en el segundo semestre del a
no 2000 y en el primer semestre del a
no
2002. Este trata los conceptos b
asicos de matematicas que todo fsico debe conocer. Para abordar este libro el lector debe tener conocimientos elementales de
calculo diferencial, integral y vectorial, as como nociones de algebra lineal correspondientes a los cursos universitarios de primeros semestres de toda carrera
cientfica. El contenido de este libro esta orientado principalmente a estudiantes
de pregrado en fsica aunque puede ser provechoso para estudiantes de otras
carreras cientficas como matem
aticos e ingenieros. A pesar de esta orientacion
hacia la fsica se trat
o de mantener un cierto rigor matematico.
El libro est
a dividido en seis captulos. Cada captulo presenta la teora
ilustrada con ejercicios, algunos de ellos resueltos, otros no. Al final de cada
captulo hay ejercicios y problemas adicionales.
El primer captulo trata sobre funciones de variable compleja. No se trato de
presentar un compendio sobre este vasto tema sino solo lo esencial. En particular
se da enfasis en las aplicaciones del teorema de residuos al calculo de integrales
definidas. La principal bibliografa utilizada para esta parte es [Spi67, Arf66,
But68, Kah91].
El segundo captulo trata sobre las distribuciones o funciones generalizadas.
Se presentan primero de manera intuitiva con la distribucion de Dirac y luego se
dan algunos elementos de la teora de Schwartz de las distribuciones, mostrando
as el fundamento matem
atico de esta herramienta. La principal referencia para
este captulo es naturalmente el libro de Schwartz [Sch66] as como [Sch98,
Kah91].
Los captulos III, IV y V tratan del analisis de Fourier y la transformada de Laplace. Aqu se abordan las nociones basicas de estas transformaciones
para funciones y distribuciones as como sus aplicaciones. Se presentan algunos ejemplos de c
omo aparece en fenomenos fsicos la transformada de Fourier,
por ejemplo en
optica, pero tambien su utilidad como herramienta matematica
para resolver ecuaciones diferenciales. La bibliografa en este tema es amplia.
Podemos citar [Arf66, Sne51, Kah91, Sch98, Spi70] entre otros.
El u
ltimo captulo aborda el tema de las ecuaciones diferenciales que mas
com
unmente aparecen en fsica. Es la ocasion para presentar en detalle el metodo de las funciones de Green, y resolver la ecuacion de Laplace en diferenvii

viii

INDICE GENERAL

tes sistemas de coordenadas. Naturalmente se presenta entonces el estudio de

las funciones especiales que aparecen en la solucion de la ecuacion de Laplace, a saber los polinomios y funciones asociadas de Legendre y las funciones
esfericas arm
onicas para los problemas con simetra esferica, y las funciones
de Bessel para los problemas con simetra cilndrica. Para las propiedades de
estas funciones especiales el lector encontrara muy u
til consultar libros tales
como [GR94, Wat44, WW27].
llez
Gabriel Te
Bogot
a, febrero 2003

Captulo I

Funciones de una variable

compleja

n este captulo estudiaremos las propiedades de las funciones de una

variable compleja con valores complejos. En particular nos interesa estudiar las funciones derivables (tambien llamadas holomorfas o analticas). Estas
tienen una propiedad muy particular: una funcion de variable compleja derivable una vez lo es autom
aticamente una infinidad de veces. Esto es algo nuevo
con respecto a la funciones de una variable real en que una funcion puede ser
derivable una vez pero no dos o mas veces. Esta propiedad tiene consecuencias muy especiales, una de ellas se conoce como la formula de Cauchy que nos
permitira entre otros calcular muchas integrales definidas muy facilmente.

1.
1.1.

Funciones analticas y funciones holomorfas

Definiciones

En todo este captulo, salvo mencion de lo contrario, f es una funcion de

una variable compleja que toma valores complejos:
f:

CC
z 7 f (z) .

(I-1.1)

Definici
on I.1.1. La funci
on f es analtica en z0 C si existe > 0 tal que
para todo z que cumple |z z0 | < tenemos
f (z) =

an (z z0 )n ,

(I-1.2)

n=0

con (an ) una secuencia de n

umeros complejos.
Decimos que f es analtica en un abierto G de C si es analtica en todo punto
de G.
1

CAPITULO I. FUNCIONES DE UNA VARIABLE COMPLEJA

En otras palabras f es analtica en z0 si posee un desarrollo en serie de Taylor

en la vecindad de z0 .
Definici
on I.1.2. Una funcion f es holomorfa o derivable en z0 si f esta definida en la vecindad de z0 y el lmite
lm

h0

f (z0 + h) f (z0 ) def 0

= f (z0 ) ,
h

(I-1.3)

existe.
Decimos que f es holomorfa en un abierto G de C si es holomorfa en todo
punto de G.
Se trata de la misma definicion que para funciones de variable real. Pero hay
que caer en cuenta de un punto importante: h es un n
umero complejo. El lmite
debe existir y ser u
nico independientemente de como h se acerque a cero. Esto
tendr
a consecuencias importantes como lo veremos en la siguiente seccion.
Teorema I.1.1. Toda funcion analtica es holomorfa y recprocamente.
PEs bastante nevidente que toda funcion analtica es derivable. Si f (z) =
n=0 an (z z0 ) entonces:
!

1 X
f (z0 + h) f (z0 )
n
=
an h a0
(I-1.4)
h
h n=0
=

a1 +

an hn1

n=2

h0

a1 .

Tenemos adem
as f 0 (z0 ) = a1 .
La recproca, toda funcion holomorfa es analtica, es tambien cierta (aunque
no es evidente). Veremos su demostracion mas adelante. Notemos que esto es
completamente nuevo y es una propiedad muy fuerte. Para las funciones de una
variable real esto no es cierto: una funcion de variable real puede ser derivable
sin ser analtica.
Finalmente, para funciones de una variable compleja, los terminos holomorfa
y analtica son sin
onimos.
Ejemplo I.1.1. La funcion f (z) = z es holomorfa en todo C. La funcion f (z) =
z, en donde z es el complejo conjugado de z, no es derivable en ning
un punto.
Ejercicio I.1.1. Mostrarlo.
Algunas propiedades bastante evidentes para mostrar que una funcion es
derivable:
Teorema I.1.2.
1.

La suma de dos funciones derivables es derivable.

1. FUNCIONES ANALITICAS Y FUNCIONES HOLOMORFAS

2.

El producto de dos funciones derivables es derivable.

3.

El cociente de dos funciones derivables es derivable si el denominador no

se anula.

4.

Si f y g son derivables entonces f g es derivable. f g(z) = f (g(z)) y

df
df dg
(f g)0 (z) = f 0 (g(z))g 0 (z). Es la regla de la cadena: dz
= dg
dz .

5.

Si f es derivable y su derivada f 0 no se anula y f es uno-a-uno de un abierto

G hacia un abierto H, entonces la funcion recproca f 1 que aplica de H
hacia G es derivable. Su derivada es: (f 1 )0 () = 1/f 0 (f 1 ()). O escrito
d
d
de otra forma: = f (z), z = f 1 (), f 0 (z) = dz
y (f 1 )0 () = dz
d = 1/ dz .

def

Son las mismas propiedades b

asicas que para las funciones de una variable
real y se demuestran de la misma forma.

1.2.

Condiciones de CauchyRiemann

Como mencionamos anteriormente el lmite (I-1.3) que define la derivada

no debe depender de c
omo h tiende hacia cero. Eso impone varias condiciones
sobre las derivadas parciales de la parte real e imaginaria de f con respecto a
la parte real e imaginaria de z. Pongamos que z = x + iy con (x, y) R2 y
f (z) = u(x, y) + iv(x, y) con u y v parte real e imaginaria de f . Supongamos
que f es holomorfa en z y que las derivadas parciales de u y v en z existan.
Pongamos h = x + iy. Tenemos
u(x + x, y + y) u(x, y) + i (v(x + x, y + y) v(x, y))
.
x + iy
(I-1.5)
Ahora escojamos y = 0 y miremos el lmite cuando x 0.
f 0 (z) = lm

x0
y0

f 0 (z)
f 0 (z)

u(x + x, y) u(x, y) + i (v(x + x, y) v(x, y))

x0
x
u
v
=
+i
.
(I-1.6)
x
x
=

lm

De manera similar, tomando primero x = 0 podemos mostrar que

f 0 (z) =

v
u
i
.
y
y

(I-1.7)

Comparando las dos ecuaciones (I-1.6) y (I-1.7) deducimos las condiciones de

CauchyRiemann:
v
y
v
x
Acabamos de demostrar que:

u
,
x
u
=
.
y
=

(I-1.8a)
(I-1.8b)

CAPITULO I. FUNCIONES DE UNA VARIABLE COMPLEJA

Teorema I.1.3. Si f es derivable y las derivadas parciales de u y v existen

entonces se cumplen las condiciones de CauchyRiemann. En otras palabras las
condiciones de CauchyRiemann son una condicion necesaria para que f sea
holomorfa.
Recprocamente, si las derivadas parciales de u y v son continuas, las condiciones de CauchyRiemann son una condicion suficiente para que f sea holomorfa.
Ejercicio I.1.2. Demostrar la recproca.
El siguiente ejercicio contiene varios resultados importantes. Antes es tal vez
u
til recordar la noci
on de convergencia simple y convergencia uniforme.
Definici
on I.1.3 (Convergencia simple). Una secuencia de funciones (fn )
definidas en un conjunto X (de C o de R) converge simplemente hacia una
funci
on f si y solamente si para todo z X,
lm fn (z) = f (z) .

(I-1.9)

Definici
on I.1.4 (Convergencia uniforme). Una secuencia de funciones (fn )
converge uniformemente en un conjunto X hacia una funcion f si y solamente
si
lm sup |fn (x) f (x)| = 0
(I-1.10)
n xX

Ejercicio I.1.3. Sea f (z) =

de convergencia R.

n=0

an z n una serie de potencias de z con radio

1.

Mostrar que la serie converge uniformemente dentro de todo disco de radio

r < R.
P
2. Mostrar que la serie de derivadas n=0 nan z n1 converge uniformemente
dentro de todo disco de radio r < R.
3.

Mostrar que f es holomorfa dentro de su radio de convergencia.

4.

Mostrar que f es derivable una infinidad de veces y que f (n) (0) = n! an .

Soluci
on.
1.

Podemos usar el criterio de convergencia uniforme de Weierstrass que dice

que si en un conjunto R, existe una cota
P Mn para una secuencia
Pun (z),
|un (z)| < Mn para todo z R y que
Mn converge entonces
un (z)
converge uniformemente en R.
P
Sea M tal que r < M < R. Tenemos n |an |M n < y para todo z tal
n
que |z| < r, |an z n | < |an M n |. Cada termino de
P la secuencia (|an z |) tiene
n
una cota
superior
M
=
|a
|M
y
la
serie
M
converge,
entonces
la
n
n
n
P
serie
an z n converge uniformemente.

1. FUNCIONES ANALITICAS Y FUNCIONES HOLOMORFAS

2.

P
Primero probemos que la serie
nan z n1 tiene mismo radio de convergencia
R. Sea |z| < R y sea |z0 | tal que |z| < |z0 | < R. Como la serie
P
an z0n converge entonces lmn an z0n = 0 y deducimos que existe un
N > 0 tal que para todo n > N , |an z0n | < 1. Para n > N , los terminos de
n1
la
| < n|z n1 |/|z0n | = un . Pero vemos que
P serie derivada |an nz
Pla serie
un converge pues lmn un+1 /un = |z|/|z0 | < 1. As la serie nan z n
converge para todo |z| < R.

Por otro lado si

|an nz n1 | > |an z n |/|z0 | y
P
P|z| >nR, sea |z0 | > |z|. Tenemos
|nan z n1 | diverge. Pero como
como la serie
|an z | diverge entonces
toda serie de potencias converge
absolutamente dentro de su disco de
P
convergencia
deducimos
que
na
z n1 P
diverge. El radio de convergencia
n
P
n1
de
an nz
es R, el mismo que para
an z n .
P
Aplicando los resultados del punto
la serie
bn z n con bn = (n +
P 1 para
1) an+1 concluimos que la serie
an nz n1 es uniformemente convergente
dentro de todo disco incluido en el disco de convergencia.
P
n1
3. Por la convergencia uniforme
y conPde lan serie de derivadas n nan z
vergencia simple de la serie
an z podemos intercambiar lmite y sumatoria y deducir que f es derivable en todo punto z al interior del disco de
convergencia.
4.

Adem
as
f 0 (z) =

an nz n1 .

(I-1.11)

n=1

M
as generalmente tenemos
f (p) (z) =

n(n 1) (n p + 1)an z np .

(I-1.12)

n=p

De este resultado deducimos que f (p) (0) = p!ap .

Ejercicio I.1.4. Sea f (x, y) = u(x, y) + iv(x, y) una funcion compleja de dos
variables reales. Definimos las nuevas variables z = x + iy y z = x iy. Podemos
ver a f como una funci
on de z y z, f (z, z).
1.

Mostrar que



1

i
,
2 x
y


1

=
+i
,
2 x
y

=
+
,
z
z

= i
i
.
z
z
=

(I-1.13a)
(I-1.13b)
(I-1.13c)
(I-1.13d)

CAPITULO I. FUNCIONES DE UNA VARIABLE COMPLEJA

6
2.

Mostrar que f es una funcion analtica (holomorfa) de la variable z si y

f
f
solamente si
= 0 y que ademas f 0 (z) =
.
z
z

3.

De manera similar, mostrar que f es una funcion analtica (holomorfa) de

f
f
= 0 y que ademas f 0 (
z) =
. En este
la variable z si y solamente si
z
z
caso decimos que f es una funcion anti-analtica de la variable z.

Usaremos muy a menudo esas derivadas parciales. Algunas notaciones usuales:

z =

z = =

,
z

.
z

(I-1.14a)
(I-1.14b)

Ejercicio I.1.5. Pongamos z = rei y sea f (z) = R(r, )ei(r,) . Mostrar que
las condiciones de CauchyRiemann en coordenadas polares se escriben
R
r
R
r

R
,
r

= R
.
r
=

(I-1.15a)
(I-1.15b)

Ejercicio I.1.6. Funciones arm

onicas.
Decimos que una funcion es armonica en un abierto G si su laplaciano es
nulo en ese abierto. Sea f (x, y) = u(x, y) + iv(x, y) una funcion de dos variables.
1.

Mostrar, usando las condiciones de CauchyRiemann, que si f es holomorfa entonces u y v son armonicas.

2.

Mostrar que el laplaciano

def

2

2
+
=4
.
x2
y 2
z z

(I-1.16)

Y deducir usando los resultados del ejercicio I.1.4 otra demostracion para
el punto 1.
Ejercicio I.1.7. Sea u(x, y) = ex (x sin y y cos y).
1.

Mostrar que u es armonica.

2.

Encontrar v tal que f (z) = u + iv sea analtica.

1.3.

Funciones trascendentales elementales.

Definimos la funcion exponencial por la serie

X
zn
e =
,
n!
n=0
z def

(I-1.17)

1. FUNCIONES ANALITICAS Y FUNCIONES HOLOMORFAS

y las funciones trigonometricas e hiperbolicas

eiz + eiz
,
2
z
z
def e + e
cosh z =
,
2
def

cos z =

eiz eiz
,
2i
z
z
def e e
sinh z =
.
2
def

sin z =

(I-1.18)
(I-1.19)

La funci
on exponencial tiene radio de convergencia infinito. Por los resultados
del ejercicio I.1.3 deducimos que la funcion exponencial es analtica en todo C.
Ejercicio I.1.8. Mostrar usando la definicion (I-1.17) que (ez )0 = ez y deducir
que ez+h = ez eh .
Ejercicio I.1.9. Mostrar que cos iz = cosh z, sin iz = i sinh z, cos z = cosh iz y
sinh iz = i sin z. Encuentre un z tal que | cos z| > 1.
La siguiente funci
on a estudiar es la funcion logaritmo. Sin embargo su definicion pone problemas porque la funcion exponencial es periodica en la direccion
del eje imaginario. Si = ez decimos que z es el logaritmo natural de . Pero como ez+i2 = ez vemos que z + 2i tambien es el logaritmo de . Mas
generalmente todos los z + i2n con n Z son logaritmos de .
Esto nos lleva a introducir la nocion de funciones multivaluadas o multivocas.
Estas funciones pueden tomar varios valores para un valor fijo del argumento.
Esto por oposici
on a las funciones unvocas que toman un solo valor.
Empezemos por poner por definicion ln 1 = 0. Para definir el logaritmo en
otro punto z empezamos en 1 y nos movemos por el plano complejo sin el origen,
C\{0}, (puesto que el logaritmo de 0 no esta definido) hasta llegar a z, pero con
la convenci
on siguiente: si le damos una vuelta al origen en el sentido positivo no
volvemos al punto 1 sino a un punto por encima de este (ei2 ) que tiene por
logaritmo 2i. Igualmente si damos la vuelta en el sentido negativo llegamos a
un punto por debajo de 1 (e2i ). Podramos seguir dando vueltas y cada vez
llegar a un punto diferente e2in al dar |n| vueltas en el sentido positivo si n > 0
o negativo si n < 0. Este punto tiene logaritmo 2in. Hemos as definido un
nuevo conjunto que puede visualizarse como una superficie en espiral, tambien
llamada superficie de Riemann, y que se conoce como el recubrimiento universal
de C\{0}. As encima y abajo de cada punto de C\{0} hay una infinidad de
puntos que corresponden a hojas (hojas de Riemann) una encima de otra y
pegadas.
Ejercicio I.1.10. Para tener una mejor idea del recubrimiento universal de
C\{0} construya un modelo en papel de esta superficie.
Para calcular el logaritmo ln z hay que saber como se va de 1 hasta z (en
especial cuantas vueltas se dan alrededor del origen). El punto 0 centro de la
helice decimos que es un punto de ramificacion. En la practica lo mas sencillo
es poner z = |z|ei en forma polar, con [0, 2[. Si no se ha dado ninguna
vuelta alrededor del origen entonces ln z = ln |z| + i. Si se han dado n vueltas
alrededor del origen entonces ln z = ln |z| + i + i2n.

CAPITULO I. FUNCIONES DE UNA VARIABLE COMPLEJA

En ocasiones nos limitaremos a trabajar en una sola hoja de Riemann, conviniendo que nunca daremos una vuelta alrededor del origen. Para esto escogemos
un corte en el plano complejo (por ejemplo la media linea ], 0]) que no atravesaremos y consideraremos que la funcion logaritmo no est
a definida ah. As la
funci
on se vuelve unvoca y ademas holomorfa.
Ejercicio I.1.11. Calcular la derivada de ln z para z C\ ], 0].
Podemos ahora definir la funcion potencia. Para cualquier a C, la funcion
def
potencia a est
a definida as: z a = ea ln z . Por la presencia del logaritmo en la definici
on, esta funci
on es, en general, multivaluada y definida en el recubrimiento
universal de C\{0}. Pero hay casos particulares:
Si a es entero positivo, se trata de la funcion potencia usual: z a = z z z
(a veces) y es una funcion unvoca.
Si a = p/q es racional consideremos dos puntos uno encima de otro separados por q hojas de Riemann: z = |z|ei y z 0 = |z|ei+2iq . Claramente
tenemos z 0a = |z|a eip/q+2ip = z a . No tiene utilidad distinguir la hoja 0
y la hoja q puesto que tienen mismas imagenes. As para definir la funcion
potencia nos podemos limitar a q hojas.

Ejemplo I.1.2. f (z) = z = z 1/2 esta definida sobre dos hojas de Riemann.
e0 = 1,
e2i ,
e4i ,

f (e0 ) = e0/2 = 1 ,
f (e2i ) = ei = 1 ,
f (e4i ) = e2i = 1 .

(I-1.20a)
(I-1.20b)
(I-1.20c)

Podemos identificar los puntos e0 y e4i .

Tambien puede haber recubrimientos

universales de cualquier abierto. Por ejemplo para la funci

on f (z) = z z1 z z2 tendramos dos puntos de ramificaci
on y espirales de dos hojas alrededor de cada punto z1 y z2 .
Ejemplo I.1.3.
b

a
c

El camino de la figura es cerrado en el recubrimiento universal de C\{b}

pero no lo es para los recubrimientos universales de C\{a}, C\{c}, C\{a, b, c}.

Ejercicio I.1.12. Para la funcion f (z) = z z1 z z2 con z1 6= z2 , construya la superficie de Riemann sobre la cual esta definida. Muestre que con dos
cortes uno que empiece en z1 y vaya hacia el infinito y el otro en z2 y vaya hacia
el infinito sin cruzarse, la funcion f es unvoca. Muestre tambien que con un
solo corte [z1 , z2 ] basta para que la funcion sea unvoca.


2. REPRESENTACIONES GEOMETRICAS

Ejercicio I.1.13. Funciones hiperbolicas y trigonometricas inversas.

Mostrar que


p
sinh1 = ln 2 + 1 ,
(I-1.21a)


p
cosh1 = ln 2 1 ,
(I-1.21b)


1
+1
tanh1 =
ln
.
(I-1.21c)
2
1
Encontrar f
ormulas similares para las funciones trigonometricas inversas.

2.

Representaciones geom
etricas

Como es bien sabido un n

umero complejo z = x + iy puede representarse
en el plano por un vector r = (x, y). Usando las notaciones del ejercicio I.1.4
podemos encontrar representaciones de los operadores diferenciales usuales en
el plano en terminos de derivadas complejas.
Gradiente: Sea (x, y) una funcion escalar. El gradiente de es

(I-2.1)
F = =
,

y
y se puede representar por la funcion compleja
F =

+i
=2
x
y
z

(I-2.2)

Recordemos que F es perpendicular a las curvas constante.

Divergencia: A todo campo vectorial A(r) = (Ax (r), Ay (r)) podemos
asociar una funci
on compleja A = Ax + iAy . La divergencia es A =
x Ax + y Ay . En terminos de la funcion compleja A se expresa as
A = <e(2z A) =

A A
+
.
z
z

(I-2.3)

Rotacional: Trabajando en el plano el rotacional no es un vector sino un

(pseudo) escalar: Rot A = x Ay y Ax . Con complejos se representa as


1 A A
Rot A = =m(2z A) =

.
(I-2.4)
i z
z
Ejercicio I.2.1. Verificar las f
ormulas anteriores.

CAPITULO I. FUNCIONES DE UNA VARIABLE COMPLEJA

10

3.

Integraci
on compleja

3.1.

Integral de linea

Sea un camino C en el plano parametrizado por dos funciones (X(t), Y (t)).

Es decir que un punto corriente M (t) del camino tiene coordenadas (X(t), Y (t)).
El par
ametro t [, ] y M () = A y M () = B son los extremos del camino.
B

M(t)=( X(t), Y(t) )

A

Para dos funciones P (x, y) y Q(x, y) podemos definir la integral de linea o

integral de camino
Z
Z
def
[P (x, y)dx + Q(x, y)dy] =
[P (X(t), Y (t))X 0 (t) + Q(X(t), Y (t))Y 0 (t)] dt .
C

(I-3.1)
Para una funci
on f (z) de una variable compleja tambien podemos definir
una integral de linea. Supongamos que los puntos A y B estan representados
por los n
umeros complejos a y b, la integral de linea de f sobre C esta definida
por suma de Riemann
b

Z
f (z) dz =
C

def

f (z) dz =
a

lm

N
X

N
zk 0

zk f (k ) ,

(I-3.2)

k=1

en donde hemos dividido el camino C en peque

nos segmentos zk = zk zk1
y k est
a en el segmento [zk1 , zk ].
b=z N
zk
z2

zk1

zk

z1
a=z 0

Si f (z) = u(x, y) + iv(x, y) la relacion entre las dos integrales de linea es

Z
Z
f (z)dz =
(u + iv)(dx + idy)
C
C
Z
Z
=
(u dx v dy) + i (u dy + v dx) .
(I-3.3)
C

Si el punto corriente M (t) de la curva C esta representado por el n

umero complejo (t) (es decir que la curva esta parametrizada por la funcion compleja

 COMPLEJA
3. INTEGRACION

11

de una variable real t) entonces podemos calcular la integral de f por la formula

Z

f (z) dz =
C

f ((t)) d(t) =

f ((t)) 0 (t) dt .

(I-3.4)

Esta es una de las f

ormulas que mas usaremos para calcular integrales de linea
complejas.
R
Ejemplo I.3.1. Sea la funci
on f (z) = z n con n Z. Calculemos C f (z) dz
para C un crculo de radio 1 centrado en 0. La curva se puede parametrizar con
la funci
on (t) = eit con t [0, 2]. Tenemos
Z
Z 2
Z 2
z n dz =
(eit )n d(eit ) =
eint ieit dt
C
0
0
(
 i(n+1)t 2
1
e
= 0, si n 6= 1
n+1
0
(I-3.5)
=
2i,
si n = 1
Teorema I.3.1. Si f (z) = F 0 (z) en un abierto que contiene C entonces
Z b
f (z) dz = F (b) F (a) .
(I-3.6)
a

Notar que en este caso la integral no depende del camino, solamente

de los
R
puntos inicial y final. Caso particular: si el camino es cerrado C f (z) dz = 0.
Demostraci
on.
Z b
Z
F 0 (z) dz =
a

F 0 ((t)) 0 (t) dt =

d
[F ((t))] dt = F (a)F (b) . (I-3.7)
dt

Con respecto al ejemplo I.3.1 podemos notar que si n 6= 1, z n = (z n+1 /(n+

1)) y se aplica el teorema I.3.1 que nos dice que la integral sobre un camino
cerrado es cero. Pero para n = 1, 1/z = (ln z)0 . La funcion logaritmo esta definida sobre el recubrimiento universal de C\{0} y el camino considerado en el
ejemplo I.3.1 no es cerrado sobre esta superficie de Riemann: al dar una vuelta
llegamos a un punto sobre otra hoja de Riemann. De ah que el resultado de la
integral no sea necesariamente cero.
0

3.2.

Teorema de Cauchy

Presentamos ahora un teorema muy importante del analisis complejo.

Teorema I.3.2 (Teorema de Cauchy). Si f es holomorfa en una region
abierta R simplemente conexa entonces para todo camino cerrado C R
Z
f (z) dz = 0 .
(I-3.8)
C

Si la regi
on R es m
ultiplemente conexa se aplica el teorema a todo camino C
hom
otopo a un punto.

CAPITULO I. FUNCIONES DE UNA VARIABLE COMPLEJA

12

Expliquemos primero la terminologa. Una region simplemente conexa es

una regi
on en que todo camino cerrado de esta envuelve solo puntos de esta
regi
on. Una regi
on es m
ultiplemente conexa si no es simplemente conexa. Por
ejemplo un disco es simplemente conexo mientras que un anillo es m
ultiplemente
conexo. El plano entero es simplemente conexo mientras que el plano sin un
punto es m
ultiplemente conexo. Un camino cerrado homotopo a un punto es
un camino que puede deformarse continuamente hasta volverse un punto. En la
figura siguiente el camino 1 es homotopo a un punto mientras que el camino 2
no lo es.
Camino 1











































































































































































































































































































































































































































Camino 2

Demostraci
on. Si suponemos ademas que las derivadas de u y v (parte real e
imaginaria) de f son continuas podemos demostrar facilmente el teorema usando
la f
ormula de Stokes
I
ZZ
(P dx + Qdy) =
(x Q y P ) dxdy .
(I-3.9)
C

En efecto, tenemos
I

I
f (z) dz

(udx vdy) + i (vdx + udy)

C
ZZ
ZZ
=
(x v + y u)dxdy + i
(x u y v)dxdy
=

= 0.

(I-3.10)

El paso a la segunda linea se hace usando la formula de Stokes y en el paso a la

u
ltima linea usamos las condiciones de CauchyRiemann (I-1.8).
Sin embargo la demostracion se puede hacer sin suponer que f 0 es continua.
Esto es m
as interesante puesto que veremos posteriormente que el teorema de
Cauchy implica que f es infintamente derivable (y en particular f 0 continua).
Ejercicio I.3.1. Demostrar el teorema de Cauchy sin suponer que f 0 es continua
para un camino triangular.

 COMPLEJA
3. INTEGRACION

13

II

III

IV

Soluci
on. Podemos descomponer el triaRngulo
triangulos
R grande
R en cuatro
R
R
peque
nos I , II , III y IV . Tenemos f = I f + II f + III f + IV f
R
R
R
R
R
R
por lo tanto | f | | I f | + | II f | + | III f | + | IV f | 4| 1 f | en donde
1 es el tri
angulo peque
no en Rdonde la integral
es mayor en modulo. Repitiendo
R
el proceso n veces tenemos | f | 4n | n f |, para triangulos cada vez mas
peque
nos que tienden hacia un punto z0 .
Como f es derivable tenemos para z cerca a z0 , f (z) = f (z0 )+(zz0 )f 0 (z0 )+
(z z0 )(z) = a + bz + (z z0 )(z) con lmzz0 (z) = 0 y a = f (z0 ) z0 f 0 (z0 ),
b = f 0 (z0 ) son constantes (no dependen de z). Ahora como
a + bz es la derivada
R
de az + bz 2 /2 su integral en un camino cerrado es cero n (a + bz) dz = 0 seg
un
R
R
n
el teorema I.3.1. Queda pues | f | 4 | n (z)(z z0 ) dz|.
Llamemos P el permetro de , claramente el permetro de n es P/2n . Por
otro lado lmzz0 (z) = 0 quiere decir que para cualquier > 0 existe > 0 tal
que si |z z0 | < entonces |(z)| < . Escojamos n suficientemente grande de
manera que P/2n < . As tenemos |z z0 | < P/2n y entonces se cumple que
|(z)| < . Obtenemos
Z

Z


P2
P P


(I-3.11)
(z)(z

z
)dz

|z z0 ||dz| n n = n .
0


2 2
4
n
n
Finalmente

Z 
Z



 f  4n 






(z)(z z0 )dz  P 2 .

Y esto para cualquier > 0, concluimos pues que

(I-3.12)

f = 0.

Algunas consecuencias directas del teorema de Cauchy. Si dos caminos C1

y C2 son hom
otopos
R (es decir seR pueden transformar continuamente el uno en
el otro) entonces C1 f (z) dz = C2 f (z) dz. Si f es holomorfa en todo el plano
Rb
complejo la integral a f (z)dz no depende del camino para ir de a a b.






 

Las integrales son iguales.

Las integrales son diferentes.

14

CAPITULO I. FUNCIONES DE UNA VARIABLE COMPLEJA

Ejercicio I.3.2. Mostrar explcitamente que la integral de una funcion holomorfa es igual para los dos caminos mostrados a continuacion.
C

Como consecuencia del teorema de Cauchy podemos deducir una formula

fundamental del an
alisis complejo conocida como formula de Cauchy.
Teorema I.3.3 (F
ormula de Cauchy). Sea f una funcion holomorfa en un
abierto G de C y sea z0 G. Sea un camino C G que encierre el punto z0
dando una sola vuelta en el sentido positivo alrededor de este punto. Entonces
Z
1
f (z)
f (z0 ) =
dz .
(I-3.13)
2i C z z0
Demostraci
on. Notemos primero que la funcion f (z)/(z z0 ) es holomorfa en
G excepto en el punto z0 en donde tiene un polo simple. Entonces el teorema
de Cauchy no se aplica y la integral no es nula.
Sea un crculo centrado en z0 de radio suficientemente peque
no para que
G y que
encierre
z
en
el
sentido
positivo.
Los
caminos

y
C
son
homotopos
0
R
R
por tanto C f (z)/(z z0 ) dz = f (z)/(z z0 ) dz.
C

z0

Parametrizando por z = z0 + eit con t [0, 2] tenemos

Z
Z
f (z)
f (z)
dz
=
dz
z

z
z
z0
0
C

Z 2
f (z0 + eit ) it
=
ie dt
eit
0
Z 2
=
if (z0 + eit )dt
0

2if (z0 ) .
0

(I-3.14)

Como es arbitrario tomamos el lmite 0, de ah se deduce la formula de

Cauchy.

 COMPLEJA
3. INTEGRACION

15

Armados de la f
ormula de Cauchy podemos ahora por fin demostrar que
analtica y holomorfa son sin
onimos.
Teorema I.3.4. Si f es holomorfa en G entonces f es analtica en G. Mas
precisamente para todo z0 G tenemos
f (z) =

an (z z0 )n ,

(I-3.15)

n=0

para todo z en un disco centrado en z0 y de radio igual a la distancia de z0 a la

frontera de G. Este disco se muestra en la figura.

Disco de
convergencia

z0

Adem
as los coeficientes
1
an =
2i

f ()
d ,
( z0 )n+1

(I-3.16)

con G un crculo centrado en z0 , orientado en el sentido positivo, tal que z

este al interior del crculo.

z0

Demostraci
on. Tenemos z = z0 + z0 z = ( z0 )(1
|(z z0 )/( z0 )| < 1 podemos escribir
1
z

z z0
1
z0

1
z0

(z z0 )n
.
( z0 )n+1

1

zz0
z0 ).

Y como

n

1 X z z0
=
z0 n=0 z0
(I-3.17)

16

CAPITULO I. FUNCIONES DE UNA VARIABLE COMPLEJA

Apliquemos ahora la formula de Cauchy

Z
f ()d
1
f (z) =
2i z
Z

X
1
(z z0 )n
=
f ()
dz .
2i
( z0 )n+1
n=0

(I-3.18)

La integral y la sumatoria se pueden permutar porque la serie es uniformemente

convergente en todo disco de radio a centrado en z0 y dentro de . P
Ya que
|z z0 | a < | z0 | tenemos |z z0 |n /| z0 |n an < 1 y la serie
an =
1
(1 a) < converge. As tenemos finalmente
f (z)

1 X
f ()
dz .
(z z0 )n
2i n=0
(

z0 )n+1

(I-3.19)

Corolario I.3.1. Si f es holomorfa (derivable una vez) es derivable una infinidad de veces y adem
as
Z
n!
f ()
f (n) (z0 ) =
d .
(I-3.20)
2i ( z0 )n+1
Corolario I.3.2.
|an |

M (r)
,
rn

(I-3.21)

con M (r) = sup |f (z0 + reit )| y r menor que la distancia de z0 a la frontera de

t

G. En otras palabras M (r) = sup |f (z)| para z en el crculo centrado en z0 de

radio r e incluido dentro de G.
Demostraci
on. Con = z0 + reit en la formula (I-3.16) tenemos


Z 2
 1
f (z0 + reit ) it 

|an | = 
ire dt
2i 0
(reit )n+1
Z 2
1
|f (z0 + reit )|
M (r)

dt
.
2 0
rn
rn

(I-3.22)

Corolario I.3.3 (Teorema de Liouville). Si f es holomorfa en todo el plano

C y acotada entonces f es constante.
Demostraci
on. Por hipotesis |f | M , entonces para todo r, |an | M/rn .
Tomando r deducimos que an = 0 para n 1. Conclusion f (z) = a0 es
constante.

 COMPLEJA
3. INTEGRACION

17

Corolario I.3.4 (Teorema de dAlembert o Teorema fundamental del

algebra). Todo polinomio no constante P (z) admite por lo menos una raz en
C.
Demostraci
on. Si no fuese as la funcion 1/P (z) seria holomorfa en todo C,
adem
as es acotada puesto que lm|z| 1/P (z) = 0, entonces por el teorema de
Liouville es constante: contradiccion.
Corolario I.3.5. Todo polinomio P (z) de grado n se puede factorizar
P (z) = a

n
Y

(z zk ) .

(I-3.23)

k=1

Ejercicio I.3.3. Sea f analtica en un abierto G y z0 G. Mostrar que f (z0 ) es

igual al promedio de f sobre un crculo de centro z0 y radio r arbitrario incluido
en G:
Z 2
1
f (z0 + reit ) dt
(I-3.24)
f (z0 ) =
2 0
Ejercicio I.3.4. Sea f analtica en un abierto G que incluye 0. Sea C un camino
de G cerrado que encierra el origen 0 en el sentido positivo, empezando en un
punto z0 y volviendo a z0 . Mostrar que
I
(ln z)f 0 (z) dz = 2i (f (z0 ) f (0))
(I-3.25)
C

Indicaci
on. Integraci
on por partes.
La recproca del teorema de Cauchy es tambien cierta:
Teorema I.3.5 (Morera). Si f es continua en un abierto
G simplemente
R
conexo y para toda curva simple cerrada C de G tenemos C f (z) dz = 0 entonces
f es analtica en G.
Demostraci
on. De la hip
otesis que la integral sobre un camino cerrado es cero
se deduce que la integral sobre un camino de extremos z0 y z no depende del
camino s
olo de los puntos z0 y z. Para z0 fijo podemos entonces definir la funcion
F (z) de la variable z
Z
z

F (z) =

f () d .

(I-3.26)

z0

Probemos que F 0 (z) = f (z), en otras palabras que F es una primitiva o integral
(indefinida) de f . Tenemos
!
Z z
Z z+h
F (z + h) F (z)
1
f (z) =
f ()d
f ()d f (z)
h
h
z0
z0
Z
1 z+h
=
f ()d f (z)
h z
Z
1 z+h
=
(f () f (z))d .
(I-3.27)
h z

18

CAPITULO I. FUNCIONES DE UNA VARIABLE COMPLEJA

Por hip
otesis todas estas integrales no dependen del camino. Escojamos en la
u
ltima integral un camino recto [z, z + h]. La continuidad de f nos dice que
para todo > 0, existe > 0 tal que si | z| < entonces |f (z) f ()| .
Escojamos ahora h tal que |h| < , entonces en la integral anterior los puntos z
y cumplen |z | |h| < y


Z z+h
 F (z + h) F (z)


 1

f
(z)
|f () f (z)| |dz|


h
|h| z
1
|h| = .
(I-3.28)

|h|
Queda pues demostrado que lmh0 (F (z + h) F (z))/h = f (z) es decir F 0 (z) =
f (z).
Adem
as mostramos que F es holomorfa y entonces analtica, por consecuencia F 0 = f tambien es analtica.

174

CAPITULO I. FUNCIONES DE UNA VARIABLE COMPLEJA

176

CAPITULO I. FUNCIONES DE UNA VARIABLE COMPLEJA

Bibliografa
[AF88]

J. M. Arnaudi`es y H. Fraysse. Cours de Mathematiques - 2: Analyse.

Dunod Universite, 1988.

[Arf66]

George Arfken. Mathematical Methods for Physicists. Academic

Press, 1966. (document)

[But68]

Eugene Butkov. Mathematical Physics. Addison-Wesley, 1968. (document)

[BW64]

Max Born y Emil Wolf. Principles of optics. Pergammon Press,

Macmillian, 1964. IV.2.2

[CCTL77] Bernard Diu Claude Cohen-Tannoudji y Franck Laloe. Mecanique

Quantique. Hermann, 1977.
[GR94]

Izrail Solomonovich Gradshteyn y Iosif Moiseevich Ryzhik. Table

of Integrals, Series, and Products. Academic Press, Quinta edicion,
1994. (document)

[Jac99]

John David Jackson. Classical Electrodynamics. John Wiley & Sons,

Inc., Tercera edici
on, 1999.

[Kah91]

Jean-Pierre Kahane. Mathematiques: Cours et Exercices. Orsay PubLications Universitaires Scientifiques, 1991. (document)

[Sch66]

Laurent Schwartz. Theorie des distributions. Hermann, 1966. (document)

[Sch98]

Laurent Schwartz. Methodes mathematiques pour les sciences physiques. Hermann, 1998. (document)

[Sne51]

Ian N. Sneddon. Fourier Transforms. McGraw-Hill, 1951. (document)

[Spi67]

Murray R. Spiegel. Variable Compleja. McGraw-Hill, 1967. (document)

[Spi70]

Murray R. Spiegel. Transformadas de Laplace. McGraw-Hill, 1970.

(document)
177

178

BIBLIOGRAFIA

[Wat44]

G. N. Watson. A treatise on the theory of Bessel functions. Cambridge University Press, Segunda edicion, 1944. (document)

[WW27]

E. T. Whittaker y G. N. Watson. A course of Modern Analisys.

Cambridge University Press, Cuarta edicion, 1927. (document)

182

BIBLIOGRAFIA

Indice alfab
etico
abscisa de sumabilidad, 120
analtica
funci
on, 1, 15
expansi
on en producto infinito, 32
parte analtica de una serie de
Laurent, 18
prolongaci
on, 2123
arm
onica
funci
on, 6

simple, 4
uniforme, 4
convolucion
de dos distribuciones, 55
de dos funciones, 55
corte, 7
criterio de convergencia
de Cauchy, 145
de Raabe-Duhamel, 145
uniforme de Weierstrass, 4

base hilberciana, 85
Bessel
ecuaci
on diferencial de, 157
ecuaci
on diferencial de modificada, 158
funci
on generatriz de las funciones de , 158
funciones de, 156
funciones de esfericas, 173
funciones de modificadas, 158
Bromwich
integral de, 126

dAlembert
teorema de, 16
delta
distribucion, 37
secuencias, 39
desigualdad
de Schwarz, 84
triangular, 84
difusion
ecuacion de, 73, 114
Dirac
distribucion de, 37
Dirichlet
condiciones de frontera, 166
divergencia, 9
dual, 46
topologico, 46

Cauchy
criterio de convergencia de, 145
f
ormula de, 14
secuencia de, 83
Teorema, 11
CauchyRiemann
condiciones de, 3
cero, 20
completo
espacio, 83
condiciones de frontera
de Dirichlet, 166
convergencia

entera
funcion, 18
esfericas armonicas, 153
teorema de adicion, 169
espacio completo, 83
espacio dual, 46
espectroscopa, 116
estados coherentes, 114
183

INDICE ALFABETICO

184
Euler
constante de, 113, 161
exponencial
funci
on, 6
f
ormula
de Plancherel-Parseval, 106
de Rodrigues, 152
sumatoria de Poisson, 108
Fourier
coeficientes de, 76
cotransformada, 97
series de, 73
transformada, 26, 95, 97
Fourier-Bessel
serie de, 163
Frobenius
metodo de, 144
funci
on generatriz, 146, 158
funciones esfericas armonicas, 153
teorema de adici
on, 169
funciones test, 45
Gamma
funci
on, 33
gaussiana
funci
on, 57, 102, 114
transformada de Fourier de una,
102
generatriz
funci
on, 146, 158
gradiente, 9
Green
funci
on de, 60, 64, 137, 166
Hankel
funciones de, 157
funciones de esfericas, 173
representaci
on integral de, 35,
36
transformada, 95, 165
Hilbert
espacio de, 82
hiperb
olicas
funciones hiperbolicas, 7
inversas, 9

holomorfa
funcion, 1, 15, 120
homotopo, 12, 14, 19
ndice
de una curva cerrada con respecto a un punto, 23
integral
de camino, 10
de linea, 10
de linea compleja, 10
integral de Bromwich, 126
isometra, 85
Kronecker
smbolo de, 75
Laplace
ecuacion de, 73
transformada, 95, 119
laplaciano, 6
en coordenadas esfericas, 59
Laurent
serie de, 1820
parte analtica, 18
parte principal, 18
Legendre
ecuacion de, 143
ecuacion de asociada, 143
funcion de, 143
funcion de asociada, 153
funcion generatriz de las funciones de , 146
Liouville
teorema de, 16
metodo de imagenes, 166
Mellin
transformada, 95
Morera
teorema de, 17
multivaluadas
funciones, 7
multivocas
funciones, 7
Neumann

INDICE ALFABETICO

funci
on de, 157
ortogonalidad
de funciones, 75
Parseval
f
ormula de, 87
peri
odica
distribuci
on, 88
funci
on, 76
Plancheral-Parseval
f
ormula de, 106
Poisson
f
ormula sumatoria de, 108
polo, 20
potencia
funci
on, 8
producto escalar, 83
producto tensorial
de distribuciones, 53
de funciones, 53
punto
aislado, 22
de acumulaci
on, 22
Raabe-Duhamel
criterio de convergencia de, 145
ramificaci
on
punto de, 7
relaci
on de incertidumbre de Heisenberg, 113
residuos
c
alculo de, 24
definici
on, 23
teorema de los, 24
respuesta impulsional, 70, 131
Riemann
funci
on zeta de, 36
hojas de, 7
ramas de, 7
superficie de, 7
Rodrigues
f
ormula de, 152
rotacional, 9
Schwartz, 37

185
Schwarz
desigualdad de, 84
secuencia de Cauchy, 83
separacion de variables, 74
singularidad, 20
esencial, 21
soporte
de una distribucion, 54
de una funcion, 45
Taylor
serie de, 2, 18
teora analtica del calor, 73
teorema de fundamental del algebra,
16
transformada
de Fourier, 95
de Fourier en coseno, 95
de Fourier en seno, 95
de Hankel, 95, 165
de Laplace, 95, 119
de Mellin, 95
transformada de Fourier
de 1, 105
de la distribucion de Dirac, 104
trigonometricas
funciones trigonometricas, 7
inversas, 9
unvocas
funciones, 7
Weierstrass
criterio de convergencia uniforme de, 4
producto infinito de, 32