Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

Curso 2o. Ingeniero de Telecomunicacin.

Ampliacin de Matemticas.
Leccin 8.

INTEGRACIN COMPLEJA.
Curso 2010-11

Un aspecto esencial de la teora de las funciones analticas es la forma en que la integral compleja
interviene en ella. Como ya hemos comentado, fueron C. F. Gauss, que no public sus resultados,
y A. L. Cauchy quienes, a comienzos del siglo XIX, desarrollaron la teora de la integracin
compleja y la utilizaron para demostrar que la analiticidad de una funcin en un dominio implica
la existencia de todas las derivadas superiores en un entorno de dicho dominio.
Definiremos la integral de una funcin compleja continua sobre una curva del plano, mostrando
su relacin con las integrales de lnea en R2 estudiadas en la asignatura Clculo del curso anterior. En este contexto y haciendo uso del teorema de Green probaremos el resultado fundamental
de esta leccin: el Teorema de la Integral de Cauchy para funciones analticas que nos dice que
si f es analtica en un dominio simplemente conexo, entonces la integral de f sobre una curva
cerrada contenida en es cero. El resto de los resultados de esta leccin sern, esencialmente,
consecuencias de ste.
Esta leccin es muy terica, pero los resultados que presentaremos son esenciales en las
aplicaciones que estudiaremos en las siguientes lecciones.

Integrales de funciones de variable compleja.

Si es un dominio en el plano complejo y f : C es una funcin de variable

R z2 compleja, cmo
podramos definir la integral de f entre dos puntos z1 y z2 de , digamos z1 f (z) dz?
Rx
Cuando se define la integral x12 f (x) dx de una funcin de variable real, nos valemos de la
nocin intuitiva de rea construyendo aproximaciones cada vez mejores del rea de la regin
comprendida entre la curva
P de ecuacin y = f(x) y el intervalo [x1 , x2 ] del eje OX mediante
sumas finitas de la forma n f(xn )xn cada una de las cuales corresponde a una particin del
intervalo [x1 , x2 ]. Para extender este proceso a integrales de funciones complejas nos encontramos
con dos dificultades. La primera es que ahora no tenemos la nocin intuitiva de integral como
rea y la segunda es que para ir de z1 a z2 podemos seguir muchas curvas (sin salirnos del dominio
) y cada curva podra proporcionar (tras el proceso de hacer particiones, construir las sumas y
tomar lmites) un valor diferente de la integral.

Leccin 8. Integracin Compleja

Sabemos que la integral de lnea de un campo vectorial real plano F (x, y) entre dos puntos
(x1 , y1 ) y (x2 , y2 ) no depende del camino utilizado para ir desde el primer punto hasta el segundo
cuando el campo es conservativo. En consecuencia, podremos definir integrales de funciones de
variable compleja que slo dependan de los puntos entre los que integremos, y no del camino
usado para ir de uno a otro, cuando, al realizar la identificacin de una funcin de variable
compleja con un par de funciones reales de dos variables, el campo vectorial que aparezca en la
integral de lnea sea conservativo. Fueron C. F. Gauss y A. L. Cauchy quienes descubrieron que
las funciones de variable compleja que cumplen esta condicin son, precisamente, las funciones
analticas.
Curvas en el plano complejo. Una curva parametrizada en el plano complejo C es la imagen
de una funcin continua con valores complejos z(t) = x(t) + jy(t) definida para los puntos t de
un intervalo [t1 , t2 ] R. La variable independiente t de la funcin z(t) se llama parmetro de
la curva y la propia funcin z(t) recibe el nombre de parametrizacin de la curva. Los puntos
z1 = z(t1 ) y z2 = z(t2 ) se llaman extremos de la curva; z1 es el extremo de partida y z2 es el
extremo de llegada (por eso en algunos textos no se habla de curvas en el plano complejo, sino
de caminos). Naturalmente, una curva z(t) en el plano complejo C se identifica con la curva
(x(t), y(t)) en el plano real, lo que nos permite trasladar de manera obvia a curvas complejas
algunos conceptos dados para curvas planas como los de curva simple (la que no se cruza consigo
misma salvo, quizs, en los extremos), curva cerrada (cuando sus extremos coinciden), curva
regular o suave (cuando las funciones x(t) e y(t) son derivables con derivada continua en [t1 , t2 ],
en cuyo caso se define z 0 (t) = x0 (t) + jy 0 (t)), curva regular o suave a trozos (cuando las funciones
x(t) e y(t) son derivables con derivada continua en [t1 , t2 ] salvo en un nmero finito de valores
del parmetro que corresponden a esquinas de la curva) o curva de Jordan (una curva regular a
trozos, cerrada y simple).
Definicin. Sea un dominio en el plano complejo y sea f : C una funcin continua.
Sea C una curva regular a trozos contenida en y parametrizada por z(t) = x(t) + jy(t) para
t1 t t2 . Se define la integral de f sobre C como
Z t2
Z
f(z) dz =
f (z(t)) z 0 (t) dt.
C

t1

Cuando la curva C es cerrada entonces habitualmente se escribe

f(z) dz.

Una propiedad importante que utilizaremos a menudo es la siguiente.

Proposicin. Sea un dominio en el plano complejo y sea f : C una funcin continua.
Sea C una curva regular a trozos de longitud L contenida en . Sea M > 0 tal que |f (z)| M
para todo z C. Entonces
Z

f(z) dz ML.

Observacin. Si no imponemos condiciones adicionales a la funcin f, entonces la integral

definida anteriormente s puede depender del camino C que hayamos
fijado; en otras palabras,
R
si denotamos por z1 y z2 los extremos de la curva C, entonces C f(z) dz no sirve para definir la
integral de f entre z1 y z2 porque puede cambiar de valor si cambiamos el camino elegido para
ir desde z1 hasta z2 . Por ejemplo, sean z1 = 0, z2 = 1 y f(z) = z. Si C1 es el segmento z(t) = t

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

para 0 t 1 que une z1 con z2 , entonces

Z

f (z) dz =

C1

1
0

f (z(t)) z (t) dt =

1
t dt = ,
2

1
Mientras que si C2 es el arco de circunferencia z(t) = (1 + ejt ) para t 0 que tambin
2
une z1 con z2 , entonces
Z

C2

f(z) dz =

f (z(t) z (t) dt =

j
1

1
1 + ejt ejt dt = + j .
2
2
2
4

Independencia del camino. Sea un dominio en el plano complejo. Se dice que las integrales
de una funcin continua f : C son independientes del camino seguido en si dados dos
puntos cualesquiera z1 y z2 del dominio y dadas dos curvas regularesR a trozos C1 yR C2 contenidas
en y tales que ambas empiezan en z1 y terminan en z2 entonces C1 f(z) dz = C2 f(z) dz. En
Rz
ese caso dicha integral se escribe z12 f(z) dz, notacin que pone el nfasis en el hecho de que la
integral slo depende de los puntos z1 y z2 y no del camino usado para ir de uno a otro dentro
de .
Es fcil ver que las integrales de una funcin continua f son independientes del camino seguido
en si, y slo si, la integral de f sobre cualquier curva de Jordan contenida en es cero.
Primitivas. Se sabe que la condicin necesaria y suficiente para que las integrales de lnea de
un campo vectorial real sean independientes del camino es que dicho campo admita una funcin
potencial. En el caso de las funciones de variable compleja, esto se traduce en el concepto ms
familiar de funcin primitiva. Se dice que F es una funcin primitiva de f en un dominio si
F es analtica en y F 0 (z) = f(z) para cada z .
La Regla de Barrow para integrales complejas. Sea un dominio en C y sea f : C
una funcin continua que tiene una funcin primitiva
R z F en . Entonces las integrales de f son
independientes del camino seguido en y se tiene z12 f(z) dz = F (z2 ) F (z1 ) para cualesquiera
z1 , z2 .
El Teorema Fundamental del Clculo para integrales complejas. Sea un dominio en
C y sea f : C una funcin continua cuyas integrales son independientes del camino seguido
en . Entonces f tiene una funcin primitiva F en .

El Teorema de la Integral de Cauchy.

Si escribimos f(x + jy) = u(x, y) + jv(x, y) y z 0 (t) = x0 (t) + jy 0 (t), entonces podemos obtener
la expresin de la integral de f sobre una curva C como un par de integrales de lnea en R2 (las

Leccin 8. Integracin Compleja

R
parte real e imaginaria del nmero C f(z) dz):
Z t2
Z
f(z) dz =
f (z(t)) z 0 (t) dt
C
t
Z 1t2
=
[u (x(t), y(t)) + jv (x(t), y(t))] [x0 (t) + jy 0 (t)] dt
t
Z 1t2
=
[u (x(t), y(t)) x0 (t) v (x(t), y(t)) y 0 (t)] dt +
t1
Z t2
+j
[u (x(t), y(t)) y 0 (t) + v (x(t), y(t)) x0 (t)] dt
t1
Z
Z
u(x, y) dx v(x, y) dy + j
v(x, y) dx + u(x, y) dy.
=
C

En resumen, usando la notacin habitual para integrales de lnea de campos vectoriales, si r(t) =
(x(t), y(t)) denota una parametrizacin de la curva C como curva en R2 , entonces tenemos
Z

Re
f (z) dz
=
(u, v) d
r,
C
C
Z

Im
f (z) dz
=
(v, u) d
r.
C

Ahora, usando el Teorema de Green, estudiado en la asignatura Clculo, y las ecuaciones

de Cauchy-Riemann obtenemos el resultado fundamental de esta leccin.
Teorema de la Integral de Cauchy. Sea un dominio en C y sea f : C una funcin
analtica en tal que f 0 es continua en . Sea C una curva de Jordan tal que ella y su regin
interior estn contenidas en . Entonces
I
f(z) dz = 0.
C

Corolario 1. Sean un dominio simplemente conexo y f una funcin analtica en tal que f 0
es continua en . Entonces las integrales de f son independientes del camino seguido en .
Corolario 2. Sean un dominio simplemente conexo y f una funcin analtica en tal que f 0
es continua en . Entonces f tiene funciones primitivas en .
La hiptesis de que la derivada de la funcin f sea continua en , que se usa para poder
aplicar el Teorema de Green, no es realmente necesaria; basta con que f 0 exista para que la
tesis del teorema se mantenga (y entonces se conoce como Teorema de Cauchy-Goursat, cuya
demostracin es mucho ms complicada).
La hiptesis de que Hla regin interior a la curva C est contenida en s es esencial. En
principio, para calcular C f(z) dz slo necesitamos que f est definida y sea continua en C, por
lo que los valores de f en la regin interior a C no desempean un papel visible; ste se pone
de manifiesto cuando, al usar el Teorema de Green, escribimos las integrales de lnea reales que
aparecen como integrales dobles sobre dicha regin. Veamos un ejemplo de que dicha hiptesis
no puede eliminarse.

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

Ejemplo. La funcin f (z) = 1/z es analtica en = C r {0}. Para calcular su integral sobre la
circunferencia unidad C usamos la parametrizacin z(t) = ejt con 0 t 2, que la recorre en
el sentido positivo, obteniendo
I
Z 2
Z 2
Z 2
1 0
jt jt
f (z) dz =
e je dt = j
1 dt = 2j.
z (t) dt =
z(t)
0
0
0
C
Sin embargo, el que la regin interior a la curva C no est contenida en no tiene por qu
implicar que las integrales sean distintas de cero; veamos un ejemplo de esta situacin.
Ejemplo. Para n = 2, 3, 4, . . . , la funcin f (z) = 1/z n es analtica en = Cr{0}. Para calcular
su integral sobre la circunferencia unidad C usamos otra vez la parametrizacin z(t) = ejt con
0 t 2 obteniendo
Z 2
Z 2
I
n 0
f (z) dz =
(z(t)) z (t) dt =
ejnt jejt dt
0
0
C
Z 2

1 j(n1)2
= j
e
ej(1n)t dt =
e0 = 0.
1n
0
Observacin. El dominio = C r {0} de f (z) = 1/z, visto en el ejemplo anterior, no es
simplemente conexo. Podemos restringir el dominio de definicin dando un corte a lo largo,
por ejemplo, del eje real negativo. De esa manera f (z) = 1/z es una funcin analtica en
C r {eje
negativo} que s es simplemente conexo y, por tanto, en este dominio s podemos
Z real
z2
1
definir
dz, obteniendo
z1 z
Z z2
1
dz = Log(z2 ) Log(z1 ).
z1 z
Esto nos muestra, entonces, que la eleccin del dominio en el que vayamos a trabajar es esencial
a la hora de aplicar los teoremas sobre funciones de variable compleja.
Teorema de la Integral de Cauchy para Dominios Mltiplemente Conexos. Sea un
dominio en el plano complejo y sea f : C una funcin analtica en tal que f 0 es continua
en . Sean C0 , C1 , . . . , Cn una familia de curvas de Jordan contenidas en tales que
1. las curvas C1 , C2 , . . . , Cn son todas interiores a C0 ,
2. las curvas C1 , C2 , . . . , Cn son todas exteriores entre s,
3. la regin que es interior a C0 y exterior a todas las curvas C1 , C2 , . . . , Cn est contenida en
.
Entonces se verifica

C0

f (z) dz =

n I
X
k=1

f(z) dz

Ck

cuando todas las curvas se recorren en el mismo sentido.

Leccin 8. Integracin Compleja

Ejemplo. Combinando el caso en que f(z) = z n es entera (n = 0, 1, 2, . . . ) y los ejemplos

anteriores con este corolario, obtenemos la siguiente conclusin, que aplicaremos algunas veces.
Sea C una curva de Jordan que no pasa por el origen y recorremos en el sentido positivo. Entonces
I
z n dz = 0
C

para todo n = 0, 1, 2, . . . , salvo que C rodee al origen y n = 1, en cuyo caso

I
z 1 dz = 2j.
C

Las Frmulas Integrales de Cauchy.

La Frmula Integral de Cauchy para una funcin analtica muestra que el valor de dicha funcin
en una regin est determinada en toda ella por los valores sobre su frontera.
La Frmula Integral de Cauchy. Sea un dominio en el plano complejo y sea f : C
una funcin analtica en . Sean z0 un punto de y C una curva de Jordan que rodea a z0 y
tal que ella y su regin interior estn contenidas en . Entonces
I
1
f (z)
dz,
f(z0 ) =
2j C z z0
cuando la curva C se recorre en sentido positivo. En particular, si C es una circunferencia
con centro z0 y radio r parametrizada por z(t) = z0 + rejt para 0 t 2, de forma que
z 0 (t) = jrejt = j (z(t) z0 ), entonces
I
Z 2
f (z)
1
1
dz =
f(z0 + rejt ) dt
f (z0 ) =
2j |zz0 |=r z z0
2 0
frmula que se conoce como Teorema del Valor Medio de Gauss.
La integral de la frmula anterior
1
f(z0 ) =
2j

f (z)
dz,
z z0

podemos interpretarla como una integral que depende de un parmetro z0 . Puesto que el integrando es derivable con respecto a z0 en la curva C, ya que z0 no est en C, entonces podemos
derivar con respecto a z0 , obteniendo
I
f(z)
1
0
dz,
f (z0 ) =
2j C (z z0 )2
I
2f(z)
1
00
f (z0 ) =
dz,
2j C (z z0 )3
I
6f(z)
1
000
f (z0 ) =
dz,
2j C (z z0 )4

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

y as sucesivamente. Esto garantiza que f es derivable de todos los rdenes y nos proporciona
frmulas para calcular sus derivadas seucesivas en z0 .
La Frmula Integral de Cauchy para las Derivadas. Sea un dominio en el plano complejo
y sea f : C una funcin analtica en . Entonces f admite derivadas de todos los rdenes
en que, a su vez, sern funciones analticas. Adems, sean z0 un punto de y C una curva
de Jordan que rodea a z0 y tal que ella y su regin interior estn contenidas en . Entonces la
derivada de orden n de f en z0 viene dada por
I
f(z)
n!
(n)
dz,
f (z0 ) =
2j C (z z0 )n+1
cuando la curva C se recorre en sentido positivo.
Del teorema anterior se deduce que el crecimiento de las derivadas de f en un punto z0 est
controlado por el crecimiento de la propia f .

Funciones analticas y funciones armnicas.

Ya sabemos que si una funcin f es analtica en un dominio , entonces su derivada f 0 tambin

es analtica en . En particular, esto implica que f 00 existe y es analtica en o, en otros
trminos, que u(x, y) y v(x, y) son dos veces diferenciables en . Derivando en las ecuaciones
de Cauchy-Riemann y usando el teorema de Schwarz de igualdad de las derivadas cruzadas,
obtenemos
2u
2v
,
=
x2
xy
2v
2u
= 2,
xy
y
con lo cual

2u 2u
+
=0
x2 y 2

2u
2v
= 2
xy
x
2
u
2v
=

y 2
xy

2v 2v
+
= 0;
x2 y 2

es decir, u y v son funciones armnicas en . Como hemos comentado antes, este hecho proporciona una conexin muy importante entre el estudio de las funciones de variable compleja
y la resolucin de la ecuacin de Laplace. Naturalmente, en coordenadas polares f(rej ) =
u(r, ) + jv(r, ), las funciones u y v verifican la ecuacin de Laplace en coordenadas polares
2u
1 2 u 1 u
+
+
=0
r2 r2 2 r r
e igual para v.
Esto muestra que hay una relacin estrecha entre las partes real e imaginaria de una funcin
analtica f (x + jy) = u(x, y) + jv(x, y) y se dice que v es la funcin armnica conjugada de u.
Dos advertencias: primera, la palabra conjugada no tiene relacin con la conjugacin de nmeros
complejos; segunda, que v sea armnica conjugada de u no quiere decir que u sea armnica

Leccin 8. Integracin Compleja

conjugada de v porque las ecuaciones de Cauchy-Riemann no son simtricas; de hecho lo que se

cumple es que u es armnica conjugada de v porque la funcin definida por jf(x + jy) =
v(x, y) ju(x, y) es analtica.
Dada una funcin armnica u, para encontrar una funcin v que sea armnica conjugada de
u basta con resolver el sistema planteado por las ecuaciones de Cauchy-Riemann: Integrando
u
v
=
con respecto a y obtenemos
x y
Z
u
dy + (x)
v(x, y) =
x
donde (x) es una constante de la integracin con respecto a y que puede depender de x. Para
u
v
hallar (x) usamos la otra ecuacin
= , a partir de la cual obtenemos una ecuacin
y
x
diferencial de primer orden para (x) que debemos resolver. Veamos un ejemplo.
Ejemplo. La funcin u(x, y) = y 3 3x2 y es armnica en todo el plano. Para hallar la armnica
u
v
=
= 6xy con respecto a y
conjugada de u integramos la ecuacin
y
x
Z
v(x, y) = (6xy) dy = 3xy 2 + (x).
Como debe cumplirse

v
u
= , tenemos
y
x

3y 2 3x2 = 3y 2 + 0 (x)

luego 0 (x) = 3x2 y (x) = x3 + c donde c R es una constante de integracin. En definitiva

v(x, y) = 3xy 2 + x3 + c es la armnica conjugada de u y
f(z) = f(x + jy) = y 3 3x2 y + j(3xy 2 x3 + c) = j(x + jy)3 + jc = jz 3 + jc
es la funcin analtica compleja correspondiente.
Resolucin del problema de Dirichlet en el crculo unidad mediante la teora de
funciones analticas. Vamos a empezar construyendo la Frmula Integral de Poisson para
funciones analticas en el disco unidad. Esta frmula es una extensin de la que vimos en la
Leccin 6, en el sentido de que la frmula para funciones armnicas se obtendr tomando parte
real en la versin para funciones analticas, y se deduce a partir de la Frmula Integral de Cauchy.
Si f es una funcin analtica en un dominio que contiene al crculo unidad, entonces la Frmula
Integral de Cauchy nos dice que para un punto de dicho crculo z0 6= 0 se tiene
Z
f (z)
1
dz.
f(z0 ) =
2j C z z0
Sea r = |z0 | y consideremos el punto z1 = 1/z0 = z0 /r2 exterior al crculo unidad. El Teorema
de la Integral de Cauchy nos dice que
Z
1
f(z)
dz = 0.
2j C z z1

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

Restando estas expresiones obtenemos

1
f(z0 ) =
2j

Z
C

1
1

z z0 z z1

f (z) dz.

Ahora parametrizamos C mediante z(t) = ejt con 0 t 2, con lo que obtenemos

Z 2
ejt
1
ejt
f(ejt ) dt.

f (z0 ) =
2 0
ejt z0 ejt z1
Ahora, escribiendo z0 = rej , z1 = r1 ej y operando, nos queda
Z 2
1
(1 r2 )f (ejt )
j
f(re ) =
dt,
2 0
|ejt rej |2
frmula que tambin es vlida para r = 0 (que es el Teorema del Valor Medio de Gauss). Finalmente, separando en partes real e imaginaria obtenemos, como hemos dicho antes, la Frmula
Integral de Poisson para funciones armnicas que vimos antes
Z 2
1
(1 r2 )u(1, t)
u(r, ) =
dt.
2 0 1 2r cos( t) + r2

Transformaciones de regiones.

Otra propiedad de las funciones analticas es que cuando son transformaciones conformes, es
decir, con derivada no nula, conservan la ecuacin de Laplace. Concretamente, supongamos que
w = f (z) = u(x, y) + jv(x, y) es una funcin analtica en un dominio 1 que se transforma
mediante f de manera conforme y biyectiva sobre el dominio 2 . Si (u, v) es una funcin
armnica en 2 , entonces la composicin (x, y) = (u(x, y), v(x, y)) es tambin una funcin
armnica en 1 . En efecto, usando la regla de la cadena y las ecuaciones de Cauchy-Riemann,
o bien pasando a las correspondientes funciones analticas y tomando parte real, es fcil probar
que

2
2 2
2
2
|f 0 (z)| = 0,
+ 2 =
+
x2
y
u2 v 2
de manera que es armnica en 2 .

En la prctica, esto nos dice que si tenemos el problema de Dirichlet planteado en un dominio
1 y podemos transformar conformemente este dominio en un dominio 2 en el que s sabemos
resolver el problema de Dirichlet, entonces la solucin obtenida en 2 se convierte, mediante la
transformacin conforme, en una solucin del problema original.
Ejemplo. La circunferencia C1 de ecuacin |z 1/4| = 1/4 se mantiene a 100 mientras que
la circunferencia C2 de ecuacin |z 1/2| = 1/2 se mantiene a cero grados. Para hallar la
distribucin estacionaria de temperaturas en la regin comprendida entre ambas circunferencias,
debemos calcular una funcin armnica (x, y) tal que = 100 en C1 y = 0 en C2 . Si
1z
, podemos comprobar que transforma
usamos la transformacin conforme bilineal w =
z

10

Leccin 8. Integracin Compleja

la circunferencia C1 en la recta Re(w) = 1 y la circunferencia C2 en la recta Re(w) = 0, con

lo cual el problema ahora es hallar una funcin armnica (u, v) en la banda comprendida
entre estas dos rectas tal que = 0 en Re(w) = 0 y = 100 en Re(w) = 1. Es fcil ver que
1z
(u, v) = 100u = Re(100w) es la solucin. Haciendo los clculos en la transformacin w =
,
z
obtenemos
y
x

1
y
v
=
u= 2
x + y2
x2 + y 2

x
con lo que la solucin del problema buscado es (x, y) = 100
1 .
x2 + y 2
jz
El problema de Dirichlet en el semiplano superior. La funcin bilineal w =
j+z
transforma el eje real Im(z) = 0 en la circunferencia unidad |w| = 1 de forma que el semiplano
superior del plano z se transforma de manera conforme en el interior del crculo unidad del plano
w. Si queremos hallar una funcin u(x, y) armnica en el semiplano superior a partir de sus
valores u(x, 0) en el eje real, podemos usar la transformacin bilineal para llevarnos el problema
al crculo unidad, usar ah la frmula de Poisson y deshacer la transformacin. Haciendo las
operaciones con cuidado se obtiene la solucin, que adems es acotada,
y
u(x, y) =

u(s, 0)
ds,
2
2
(x s) + y

expresin que se conoce como Frmula Integral de Schwartz.

Aplicaciones a la Electrosttica. Cuando tenemos un dominio plano simplemente conexo

(sin agujeros) en el que no existen cargas elctricas, las ecuaciones del campo elctrico E =
(Ex , Ey ) se reducen a

div E = E = 0

rot E = E = 0

de las que se deduce que E admite un potencial escalar en , es decir grad() = = E ,

que es armnico, o sea () = 0. Sea la funcin armnica conjugada de en . La funcin

analtica W (z) = (x, y) + j(x, y) se llama potencial complejo de E . Observemos que de las
ecuaciones de Cauchy-Riemann se deduce que la funcin , que se llama funcin de Stokes,
verifica grad() = (Ey , Ex ).
Las curvas de nivel (x, y) = c se llaman lneas equipotenciales y forman una familia uniparamtrica de curvas cuya familia ortogonal viene dada, segn hemos visto, por las curvas de

nivel (x, y) = c de la funcin de Stokes. Puesto que el campo E es tangente a estas curvas,
reciben el nombre de lneas de corriente del campo elctrico.
Segn lo que acabamos de describir, los problemas de clculo de potenciales y campos elctricos planos se reducen a la determinacin del potencial complejo, lo que exige conocer las
componentes Ex y Ey del campo o bien una cualquiera de las funciones y . Veamos un par
de casos interesantes que pueden usarse, mediante el principio de superposicin y las transformaciones conformes, para estudiar casos ms generales.

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

11

Ejemplo. El potencial de un campo uniforme E 0 que forma un ngulo con el eje de abscisas,

o sea E 0 = (E0 cos(), E0 sen ()), viene dado, imponiendo W (0) = 0, por
W (z) = E0 ej() z
as que las lneas de corriente son la familia de rectas de pendiente tan() y las lneas equipotenciales son la familia de rectas de pendiente 1/ tan().
Ejemplo. Para calcular el potencial de una lnea cargada perpendicular al plano en el origen
se observa que las lneas equipotenciales slo dependen de la distancia r de un punto z = rej
al origen, es decir = (r). Como debe ser armnica, se cumple () = 0, con lo que
d
(r0 (r)) = 0. Con lo cual obtenemos
dr
(r) = k log(r)
para alguna constante k. Entonces, usando las ecuaciones de Cauchy-Riemann en polares, la
funcin de Stokes es, en este caso,
(rej ) = k
con lo que el potencial complejo es
W (rej ) = k log(r) + jk

W (z) = kLog(z),

o sea, la rama principal de la funcin logaritmo (salvo la constante de proporcionalidad k que,

q
, siendo q la densidad lineal de carga y 0 la constante dielctrica
como puede probarse es k =
20
del medio). Las lneas de corriente son la familia de rectas que pasan por el origen y las lneas
equipotenciales son la familia de las circunferencias con centro en el origen.
Ejemplo. Si tenemos una lnea cargada, con densidad lineal de carga q, perpendicular al plano
en el punto x = a del eje real y otra, con densidad lineal de carga q perpendicular al plano en
el punto x = a del eje real, entonces los potenciales debidos a estas lneas son, respectivamente,
W1 (z) =

q
Log(z a)
20

W2 (z) =

q
Log(z + a),
20

as que el potencial complejo total es

q
Log
W (z) = W1 (z) + W2 (z) =
20

z+a
(2j) .
za

En este caso, las lneas de corriente son arcos de circunferencias que tienen su centro en el eje de
ordenadas y pasan por los puntos (a, 0) y (a, 0).

Ejercicios.

Notacin. En lo que sigue, denotaremos por [z1 , z2 ] el segmento rectilneo que une z1 con z2 y
por C(z0 , r) la circunferencia con centro en el punto z0 del plano complejo y radio r > 0.

12

Leccin 8. Integracin Compleja

R
R
Ejercicio 1. Calcula las integrales C1 z dz y C2 z dz, donde C1 es el segmento [1, j] y C2 es la
quebrada que une estos dos puntos pasando por 1 + j.
Ejercicio 2. Calcula las integrales de las funciones z(z 1) y Re(z) a lo largo de los segmentos
[0, 1 + j], [0, 1] y [1, 1 + j].
R
Ejercicio 3. Calcula la integral C z dz, a lo largo de las siguientes curvas:
1. La semicircunferencia de radio uno, desde 1 a 1, en el semiplano superior.
2. La semicircunferencia de radio uno, desde 1 a 1, en el semiplano inferior.
3. La circunferencia C(0, 1), recorrida en sentido positivo.
Ejercicio 4. Calcula la integral

z 2 dz, a lo largo de los siguientes caminos:

1. El segmento [0, 2 + j].

2. La quebrada que pasa por los puntos 0, 2 y 2 + j.
3. El permetro del tringulo formado por los vrtices de la quebrada anterior.
Ejercicio 5. Calcula las integrales
Z
Z
dz
,
Log(z) dz
2
C z
C

z dz

para las semicircunferencias C1 y C2 parametrizadas, respectivamente, por z1 (t) = ejt y z2 (t) =

ejt , con 0 t en ambos casos.
H
Ejercicio 6. Calcula C Log(z) dz, siendo C la circunferencia unidad.

Ejercicio 7. Sea un nmero real no nulo. Tomando la rama principal del integrando, calcula
I
(z z0 ) dz.
C(z0 ,r)

Ejercicio 8. Calcula las siguientes integrales para un camino arbitrario entre los lmites de
integracin:
Z +2j
Z 3
Z j/2
z
e dz,
cos(z/2) dz,
(z 2)3 dz.
j

Ejercicio 9. En los siguientes casos, comprueba la igualdad, e indica qu hiptesis del Teorema
de la Integral de Cauchy no se verifica:
I
I
dz
Re(z) dz = r2 j.
= 2j,
C(0,r) z
C(0,r)

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

13

Ejercicio 10. Calcula las siguientes integrales usando, en cada caso, alguno de los teoremas
sobre integrales de funciones analticas:
I
I
I
ez
ezt
ez
dz,
dz,
dz,
2
2
3
C(0,1) z + 4
C(0,3) z + 1
C(0,1/2) z(1 z)
I
I
I
ez
cos(z)
z(ez 1)
dz,
dz,
dz,
3
2
2
C(1,1/2) z(1 z)
C(0,1/3) z (z 1)
C(1,2) (z a)
I
I
I
ez
dz
z
dz,
,
dz (r > 0),
2
4
C(0,1) z
C(0,2) z + 1
C(0,r) z 1
I
I
I
ez
dz
cos(z)
,
dz,
dz
(r
>
0),
2
2
2
C(0,2r) z + r
x2 +4y 2 =1 z + 1
C(1,2) z 1
I
I
I
sen (z)
sen (z)
sen (z)
dz,
dz,
dz,
2
2
C(1,2) z + 1
C(1,2) z z
C(,) z
I
I
I
ez
sen (z)
sen (z)
dz,
dz,
dz,
2
3
z2
C(1,2) z
C(1,2) (z 1)
C(0,1)
I
I
I
ez
1
dz,
Log(z + 6) dz,
dz.
2
2
3
|x|+|y|=2 1 + z
C(0,4)
C(j,2) (z + 4)
Ejercicio 11. Integra la funcin exp(z 2 ) en la frontera del rectngulo dado por las desigualdades |Re(z)| a y 0 Im(z) b y toma lmite cuando a para deducir
Z

2
2
ex cos(2bx)dx = eb .

Ejercicio 12. Integrando la funcin f(z) =

0 < r < R, deduce que

R+z
sobre la circunferencia C(0, r), siendo
z(R z)

R2 r 2
d = 2.
R2 2Rr cos() + r2

Ejercicio 13. Sea z una rama de la funcin raz cuadrada analtica en el semiplano superior
Im(z) 0 (salvo en z = 0).
1. Calcula

z
dz
2
z +1

sobre la curva C que es la frontera del semianillo contenido en el semiplano superior dado
por 0 < r < |z| < R.
2. Usa el resultado anterior para, tomando lmites cuando r 0 y R , calcular el valor
de
Z
x
dx.
2
x +1
0

14

Leccin 8. Integracin Compleja

Ejercicio 14. Calcula, segn los valores de a, la integral

I
z(ez 1)
dz.
2
C(1,2) (z a)
Ejercicio 15. Demuestra la Desigualdad de Cauchy, que afirma lo siguiente: Sea f una funcin
analtica en un dominio que contiene el crculo D con centro z0 y radio r. Sea M tal que
|f(z)| M para cada z D. Entonces
|f 0 (z0 )|

M
.
r

(Indicacin: Usa la Frmula Integral de Cauchy para la derivada primera.)

Ejercicio 16. Demuestra el Teorema de Liouville, que afirma lo siguiente: Si f es una funcin
entera y acotada, entonces f es constante. (Indicacin: Usa la Desigualdad de Cauchy.)
Ejercicio 17. Demuestra el Teorema Fundamental del lgebra, que afirma lo siguiente: Todo
polinomio complejo p(z) de grado n se anula en n puntos del plano complejo z1 , z2 , . . . , zn , contados tantas veces como indica su multiplicidad. (Indicacin: Supn que p(z) no se anula en
ningn punto y aplica el Teorema de Liouville a 1/p(z).)
Ejercicio 18. Sea u(x, y) una funcin armnica y acotada en todo el plano R2 . Prueba que u
debe ser constante.
Ejercicio 19. Dada u(x, y) = ex (xsen (y) y cos(y)) prueba que es armnica y encuentra su
armnica conjugada.
Ejercicio 20. Sea f(z) la funcin entera tal que Im (f 0 (z)) = 6x(2y 1), f(0) = 3 2j y
f (1) = 6 5j. Calcula f (1 + j).
Ejercicio 21. Halla la funcin analtica f(z) = u(x, y) + jv(x, y) cuya parte imaginaria es
v(x, y) = log(x2 + y 2 ) + x 2y y verifica f(1) = 3 + j.
Ejercicio 22. (1) Resuelve el problema de Dirichlet siguiente:
la ecuacin de Laplace :

con las condiciones de contorno :

2u 2u
+
= 0 para 0 x 4 y 0 y 2,
x2 y 2
u(x, 0) = 0 para 0 x 4
u(x, 2) = 0 para 0 x 4
u(0, y) = 0 para 0 y 2
u(4, y) = sen (y) para 0 y 2.

(2) Halla la funcin entera f(z) cuya parte real es la solucin u(x, y) del problema de Dirichlet
anterior y tal que
I
f(z)
dz = 0,
z
C
siendo C la circunferencia unidad del plano complejo.
(3) Para dicha funcin calcula

f (z)
dz,
(z 2 j)2

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

15

siendo R la frontera del rectngulo del apartado (1) recorrida en sentido positivo.
Ejercicio 23. Resuelve el problema de Dirichlet en el semiplano superior para la funcin dada
en el eje real por (x) = 1 si |x| < 1 y (x) = 0 si |x| > 1.
Ejercicio 24. Sea el dominio formado por los puntos z del semiplano superior que son
exteriores al crculo unidad.
(1) Prueba que la funcin f(z) = z + z 1 transforma en el semiplano superior de forma
biyectiva, halla su inversa y estudia si dicha funcin inversa es analtica.
(2) Usa la transformacin dada y la Frmula Integral de Schwartz para resolver el problema
de Dirichlet en si los valores de la funcin armnica u que se busca estn dados en la frontera
por u = 0 sobre el eje real y u(ej ) = cos() para 0 .
Ejercicio 25. La funcin w = Log(z) transforma el primer cuadrante en la banda definida por
0 < Im(w) < /2. Utiliza esta transformacin para resolver el problema de Dirichlet en el primer
cuadrante para la funcin dada que vale 0 en el eje real y 1 en el eje imaginario.
Ejercicio 26. (1) Determina la correspondiente frmula de Schwartz que resuelve el problema
z1
de Dirichlet en el semiplano derecho Re(z) > 0 usando la transformacin w =
.
z+1
(2) Usa esta frmula para resolver el problema de Dirichlet en dicho semiplano para los valores
inciales u(0, y) = 1 si y > 0 y u(y, 0) = 1 si y < 0.
Ejercicio 27. Resuelve el problema de Dirichlet en el primer cuadrante para la funcin dada
en la frontera por (0, y) = sen (y 2 ) y (x, 0) = sen (x2 ). Indicacin: utiliza la transformacin
w = z 2 que lleva el primer cuadrante de forma biyectiva sobre el semiplano superior.
Ejercicio 28. Resuelve el problema de Dirichlet en la semibanda dada por |x| < /2 e y > 0
para la funcin dada en la frontera por
(/2, y) = (/2, y) = 0 (y > 0);
).

(x, 0) = 1,

(|x| < /2

Para ello utiliza la transformacin w = sen (z) que lleva dicha semibanda de forma biyectiva
sobre el semiplano superior.
Ejercicio 29. La funcin w = ez transforma la banda log(r) < Re(z) < log(R) en el anillo
r < |z| < R. Utiliza esto para resolver el problema de Dirichlet en este anillo para la funcin
que vale r en la circunferencia interior y R en la circunferencia exterior.
Ejercicios y cuestiones de exmenes de cursos anteriores.
Ejercicio 30. Enuncia y demuestra el Teorema de la Integral de Cauchy.
Ejercicio 31. Enuncia y demuestra la Frmula Integral de Cauchy.
I
1
Ejercicio 32. Calcula
dz siendo C la circunferencia con centro en el punto j y
2
2
C (z + 4)
radio igual a 2.
Ejercicio 33. Prueba que si f = u + jv es una funcin analtica en un dominio , entonces la

16

Leccin 8. Integracin Compleja

funcin u verifica
2u 2u
+
=0
x2 y 2

en .

Ejercicio 34. Determina la funcin entera f = u + jv cuya parte real viene dada por u(x, y) =
y 2 x2 + 2x y y cumple f (j) = j.

Ejercicio 35. Dada la funcin armnica v(x, y) = x3 3xy 2 , halla una funcin analtica f de
manera que v = Im(f).

Ejercicio 36. Encuentra la funcin f(z) = u(x, y) + iv(x, y) (con z = x + iy) sabiendo que es
una funcin entera tal que u = v 2 y f(i) = 4 2i.
Ejercicio 37. Halla la funcin analtica f = u + jv cuya parte real es
u(x, y) = ex (x cos(y) ysen (y))
y satisface f(0) = j. Utiliza esto para resolver el problema de Dirichlet en la banda 0 < y <
de R2 con condiciones de contorno 0 en la frontera inferior y ex en la frontera superior.
Ejercicio 38. Sea la semibanda del plano definida por

:= (x, y) R2 : x > 0 y 0 < y < .

1. Aplica el mtodo de separacin de variables para hallar la funcin u que es armnica en
y verifica las siguientes condiciones:
u(x, 0)
u(x, )
u(0, y)
lim u(x, y)

=
=
=
=

0
para x > 0,
0
para x > 0,
sen (y) + sen (2y)
para 0 < y < ,
0
para 0 < y < .

2. Halla la funcin v que es armnica conjugada de u en y cumple v(0, 0) = 2.

3. Haz un dibujo aproximado de la imagen del dominio por la funcin f = u + jv.

Ejercicio 39. (1) Halla la funcin u(r, ) que es armnica en el interior del crculo unidad r < 1
(donde r y denotan las coordenadas polares) y cuyos valores en la circunferencia unidad r = 1
son
u(1, ) = 2 cos(2) sen (3),

para 0 2.

(2) Halla la funcin f que es analtica en el crculo unidad, cuya parte real es u y tal que
f (0) = j.

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11

17

Bibliografa

Para desarrollar esta leccin pueden consultarse los siguientes textos, principalmente el de Churchill
y Brown que, adems, es un libro excelente para complementar las explicaciones tericas.
[517.5/2-CHU] R.V. Churchill, J.W. Brown, Variable compleja y aplicaciones, Cap. 4, 9 y 11.
[51:62/ADV] G. James, Advanced Modern Engineering Mathematics, Cap. 1.
[517.5/WUN] W.A. Wunsch, Variable compleja con aplicaciones, Cap. 4 y 8.