Ampliación de Matemáticas (Ingeniería de Telecomunicación) – Curso 2009/10 1

Curso 2o. Ingeniero de Telecomunicación.

Ampliación de Matemáticas.

Lección 8.

INTEGRACIÓN COMPLEJA.

Curso 2009-10

Un aspecto esencial de la teoría de las funciones analíticas 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 teoría de la integración
compleja y la utilizaron para demostrar que la analiticidad de una función en un dominio implica
la existencia de todas las derivadas superiores en un entorno de dicho dominio.
Definiremos la integral de una función compleja continua sobre una curva del plano, mostrando
su relación con las integrales de línea en R2 estudiadas en la asignatura “Cálculo” del curso ante-
rior. En este contexto y haciendo uso del teorema de Green probaremos el resultado fundamental
de esta lección: el Teorema de la Integral de Cauchy para funciones analíticas que nos dice que
si f es analítica 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 lección serán, esencialmente,
consecuencias de éste.
Esta lección es muy teórica, pero los resultados que presentaremos son esenciales en las
aplicaciones que estudiaremos en las siguientes lecciones.

1 Integrales de funciones de variable compleja.

Si Ω es un dominio en el plano complejo y f : Ω → C es una función de variable R z2 compleja, ¿cómo
podríamos 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 función de variable real, nos valemos de la
noción intuitiva de área construyendo aproximaciones cada vez mejores del área de la región
comprendida entre la curva P de ecuación 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 partición 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 noción 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 podría proporcionar (tras el proceso de hacer particiones, construir las sumas y
tomar límites) un valor diferente de la integral.
2 Lección 8. Integración Compleja

Sabemos que la integral de línea 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 sólo dependan de los puntos entre los que integremos, y no del camino
usado para ir de uno a otro, cuando, al realizar la identificación de una función de variable
compleja con un par de funciones reales de dos variables, el campo vectorial que aparezca en la
integral de línea sea conservativo. Fueron C. F. Gauss y A. L. Cauchy quienes descubrieron que
las funciones de variable compleja que cumplen esta condición son, precisamente, las funciones
analíticas.
Curvas en el plano complejo. Una curva parametrizada en el plano complejo C es la imagen
de una función 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 función z(t) se llama parámetro de
la curva y la propia función z(t) recibe el nombre de parametrización 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, quizás, 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 número finito de valores
del parámetro que corresponden a esquinas de la curva) o curva de Jordan (una curva regular a
trozos, cerrada y simple).
Definición. Sea Ω un dominio en el plano complejo y sea f : Ω → C una función 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 Z t2
f(z) dz = f (z(t)) z 0 (t) dt.
C t1
H
Cuando la curva C es cerrada entonces habitualmente se escribe C
f(z) dz.
Una propiedad importante que utilizaremos a menudo es la siguiente.
Proposición. Sea Ω un dominio en el plano complejo y sea f : Ω → C una función 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.
¯ ¯
C

Observación. Si no imponemos condiciones adicionales a la función f, entonces la integral

definida anteriormente sí puede depender del camino C que hayamos
R fijado; en otras palabras,
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
Ampliación de Matemáticas (Ingeniería de Telecomunicación) – Curso 2009/10 3

para 0 ≤ t ≤ 1 que une z1 con z2 , entonces

Z Z 1 Z 1
0 1
f (z) dz = f (z(t)) z (t) dt = t dt = ,
C1 0 0 2

1
Mientras que si C2 es el arco de circunferencia z(t) = (1 + ejt ) para −π ≤ t ≤ 0 que también
2
une z1 con z2 , entonces

Z Z Z
0
0
0
1¡ ¢j 1 π
f(z) dz = f (z(t) z (t) dt = 1 + e−jt ejt dt = + j .
C2 −π −π 2 2 2 4

Independencia del camino. Sea Ω un dominio en el plano complejo. Se dice que las integrales
de una función 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, notación que pone el énfasis en el hecho de que la
integral sólo depende de los puntos z1 y z2 y no del camino usado para ir de uno a otro dentro
de Ω.
Es fácil ver que las integrales de una función continua f son independientes del camino seguido
en Ω si, y sólo si, la integral de f sobre cualquier curva de Jordan contenida en Ω es cero.
Primitivas. Se sabe que la condición necesaria y suficiente para que las integrales de línea de
un campo vectorial real sean independientes del camino es que dicho campo admita una función
potencial. En el caso de las funciones de variable compleja, esto se traduce en el concepto más
familiar de función primitiva. Se dice que F es una función primitiva de f en un dominio Ω si
F es analítica 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 función continua que tiene una función 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 Cálculo para integrales complejas. Sea Ω un dominio en
C y sea f : Ω → C una función continua cuyas integrales son independientes del camino seguido
en Ω. Entonces f tiene una función primitiva F en Ω.

2 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 expresión de la integral de f sobre una curva C como un par de integrales de línea en R2 (las
4 Lección 8. Integración Compleja

R
parte real e imaginaria del número C f(z) dz):
Z Z t2
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 C

En resumen, usando la notación habitual para integrales de línea de campos vectoriales, si r(t) =
(x(t), y(t)) denota una parametrización de la curva C como curva en R2 , entonces tenemos
µZ ¶ Z
Re f (z) dz = (u, −v) · d−
→r,
C C
µZ ¶ Z
Im f (z) dz = (v, u) · d−
→
r.
C C

Ahora, usando el Teorema de Green, estudiado en la asignatura “Cálculo”, y las ecuaciones

de Cauchy-Riemann obtenemos el resultado fundamental de esta lección.
Teorema de la Integral de Cauchy. Sea Ω un dominio en C y sea f : Ω → C una función
analítica en Ω tal que f 0 es continua en Ω. Sea C una curva de Jordan tal que ella y su región
interior están contenidas en Ω. Entonces
I
f(z) dz = 0.
C

Corolario 1. Sean Ω un dominio simplemente conexo y f una función analítica 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 función analítica en Ω tal que f 0
es continua en Ω. Entonces f tiene funciones primitivas en Ω.
La hipótesis de que la derivada de la función 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
demostración es mucho más complicada).
La hipótesis de que Hla región interior a la curva C esté contenida en Ω sí es esencial. En
principio, para calcular C f(z) dz sólo necesitamos que f esté definida y sea continua en C, por
lo que los valores de f en la región interior a C no desempeñan un papel visible; éste se pone
de manifiesto cuando, al usar el Teorema de Green, escribimos las integrales de línea reales que
aparecen como integrales dobles sobre dicha región. Veamos un ejemplo de que dicha hipótesis
no puede eliminarse.
Ampliación de Matemáticas (Ingeniería de Telecomunicación) – Curso 2009/10 5

Ejemplo. La función f (z) = 1/z es analítica en Ω = C r {0}. Para calcular su integral sobre la
circunferencia unidad C usamos la parametrización 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 = z (t) dt = e je dt = j 1 dt = 2πj.
C 0 z(t) 0 0

Sin embargo, el que la región 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 situación.
Ejemplo. Para n = 2, 3, 4, . . . , la función f (z) = 1/z n es analítica en Ω = Cr{0}. Para calcular
su integral sobre la circunferencia unidad C usamos otra vez la parametrización z(t) = ejt con
0 ≤ t ≤ 2π obteniendo
I Z 2π Z 2π
−n 0
f (z) dz = (z(t)) z (t) dt = e−jnt jejt dt
C 0 0
Z 2π
1 ¡ j(n−1)2π ¢
= j ej(1−n)t dt = e − e0 = 0.
0 1−n

Observación. El dominio Ω = C r {0} de f (z) = 1/z, visto en el ejemplo anterior, no es

simplemente conexo. Podemos restringir el dominio de definición dando un corte a lo largo,
por ejemplo, del eje real negativo. De esa manera f (z) = 1/z es una función analítica en
C r {ejeZ real negativo} que sí es simplemente conexo y, por tanto, en este dominio sí podemos
z2
1
definir dz, obteniendo
z1 z
Z z2
1
dz = Log(z2 ) − Log(z1 ).
z1 z

Esto nos muestra, entonces, que la elección 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 Múltiplemente Conexos. Sea Ω un
dominio en el plano complejo y sea f : Ω → C una función analítica 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 región que es interior a C0 y exterior a todas las curvas C1 , C2 , . . . , Cn está contenida en
Ω.

Entonces se verifica I n I
X
f (z) dz = f(z) dz
C0 k=1 Ck

cuando todas las curvas se recorren en el mismo sentido.

6 Lección 8. Integración 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 conclusión, 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 = 2πj.
C

3 Las Fórmulas Integrales de Cauchy.

La Fórmula Integral de Cauchy para una función analítica muestra que el valor de dicha función
en una región está determinada en toda ella por los valores sobre su frontera.
La Fórmula Integral de Cauchy. Sea Ω un dominio en el plano complejo y sea f : Ω → C
una función analítica en Ω. Sean z0 un punto de Ω y C una curva de Jordan que rodea a z0 y
tal que ella y su región interior están contenidas en Ω. Entonces
I
1 f (z)
f(z0 ) = dz,
2πj 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π
1 f (z) 1
f (z0 ) = dz = f(z0 + rejt ) dt
2πj |z−z0 |=r z − z0 2π 0

fórmula que se conoce como Teorema del Valor Medio de Gauss.

La integral de la fórmula anterior
I
1 f (z)
f(z0 ) = dz,
2πj C z − z0
podemos interpretarla como una integral que depende de un parámetro z0 . Puesto que el inte-
grando 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
0 1 f(z)
f (z0 ) = dz,
2πj C (z − z0 )2
I
00 1 2f(z)
f (z0 ) = dz,
2πj C (z − z0 )3
I
000 1 6f(z)
f (z0 ) = dz,
2πj C (z − z0 )4
Ampliación de Matemáticas (Ingeniería de Telecomunicación) – Curso 2009/10 7

y así sucesivamente. Esto garantiza que f es derivable de todos los órdenes y nos proporciona
fórmulas para calcular sus derivadas seucesivas en z0 .
La Fórmula Integral de Cauchy para las Derivadas. Sea Ω un dominio en el plano complejo
y sea f : Ω → C una función analítica en Ω. Entonces f admite derivadas de todos los órdenes
en Ω que, a su vez, serán funciones analíticas. Además, sean z0 un punto de Ω y C una curva
de Jordan que rodea a z0 y tal que ella y su región interior están contenidas en Ω. Entonces la
derivada de orden n de f en z0 viene dada por
I
(n) n! f(z)
f (z0 ) = dz,
2πj 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 .

4 Funciones analíticas y funciones armónicas.

Ya sabemos que si una función f es analítica en un dominio Ω, entonces su derivada f 0 también
es analítica en Ω. En particular, esto implica que f 00 existe y es analítica en Ω o, en otros
términos, 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 ∂2u ∂2v
= , =− 2
∂x2 ∂x∂y ∂x∂y ∂x
∂2u ∂2v 2
∂ u ∂2v
= 2, = −
∂x∂y ∂y ∂y 2 ∂x∂y
con lo cual
∂2u ∂2u ∂2v ∂2v
+ =0 y + = 0;
∂x2 ∂y 2 ∂x2 ∂y 2
es decir, u y v son funciones armónicas en Ω. Como hemos comentado antes, este hecho pro-
porciona una conexión muy importante entre el estudio de las funciones de variable compleja
y la resolución de la ecuación de Laplace. Naturalmente, en coordenadas polares f(rejθ ) =
u(r, θ) + jv(r, θ), las funciones u y v verifican la ecuación 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 relación estrecha entre las partes real e imaginaria de una función
analítica f (x + jy) = u(x, y) + jv(x, y) y se dice que v es la función armónica conjugada de u.
Dos advertencias: primera, la palabra conjugada no tiene relación con la conjugación de números
complejos; segunda, que v sea armónica conjugada de u no quiere decir que u sea armónica
8 Lección 8. Integración Compleja

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

cumple es que −u es armónica conjugada de v porque la función definida por −jf(x + jy) =
v(x, y) − ju(x, y) es analítica.
Dada una función armónica u, para encontrar una función v que sea armónica 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
v(x, y) = dy + φ(x)
∂x
donde φ(x) es una constante de la integración con respecto a y que puede depender de x. Para
∂u ∂v
hallar φ(x) usamos la otra ecuación = − , a partir de la cual obtenemos una ecuación
∂y ∂x
diferencial de primer orden para φ(x) que debemos resolver. Veamos un ejemplo.
Ejemplo. La función u(x, y) = y 3 − 3x2 y es armónica en todo el plano. Para hallar la armónica
∂v ∂u
conjugada de u integramos la ecuación = = −6xy con respecto a y
∂y ∂x
Z
v(x, y) = (−6xy) dy = −3xy 2 + φ(x).

∂u ∂v
Como debe cumplirse = − , 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 integración. En definitiva
v(x, y) = −3xy 2 + x3 + c es la armónica 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 función analítica compleja correspondiente.
Resolución del problema de Dirichlet en el círculo unidad mediante la teoría de
funciones analíticas. Vamos a empezar construyendo la Fórmula Integral de Poisson para
funciones analíticas en el disco unidad. Esta fórmula es una extensión de la que vimos en la
Lección 6, en el sentido de que la fórmula para funciones armónicas se obtendrá tomando parte
real en la versión para funciones analíticas, y se deduce a partir de la Fórmula Integral de Cauchy.
Si f es una función analítica en un dominio que contiene al círculo unidad, entonces la Fórmula
Integral de Cauchy nos dice que para un punto de dicho círculo z0 6= 0 se tiene
Z
1 f (z)
f(z0 ) = dz.
2πj C z − z0
Sea r = |z0 | y consideremos el punto z1 = 1/z0 = z0 /r2 exterior al círculo unidad. El Teorema
de la Integral de Cauchy nos dice que
Z
1 f(z)
dz = 0.
2πj C z − z1
Ampliación de Matemáticas (Ingeniería de Telecomunicación) – Curso 2009/10 9

Restando estas expresiones obtenemos

Z µ ¶
1 1 1
f(z0 ) = − f (z) dz.
2πj C z − z0 z − z1

Ahora parametrizamos C mediante z(t) = ejt con 0 ≤ t ≤ 2π, con lo que obtenemos
Z 2π µ ¶
1 ejt ejt
f (z0 ) = − f(ejt ) dt.
2π 0 ejt − z0 ejt − z1

Ahora, escribiendo z0 = rejθ , z1 = r−1 ejθ y operando, nos queda

Z 2π
jθ 1 (1 − r2 )f (ejt )
f(re ) = dt,
2π 0 |ejt − rejθ |2

fórmula que también es válida para r = 0 (que es el Teorema del Valor Medio de Gauss). Final-
mente, separando en partes real e imaginaria obtenemos, como hemos dicho antes, la Fórmula
Integral de Poisson para funciones armónicas que vimos antes
Z 2π
1 (1 − r2 )u(1, t)
u(r, θ) = dt.
2π 0 1 − 2r cos(θ − t) + r2

5 Transformaciones de regiones.
Otra propiedad de las funciones analíticas es que cuando son transformaciones conformes, es
decir, con derivada no nula, conservan la ecuación de Laplace. Concretamente, supongamos que
w = f (z) = u(x, y) + jv(x, y) es una función analítica en un dominio Ω1 que se transforma
mediante f de manera conforme y biyectiva sobre el dominio Ω2 . Si φ(u, v) es una función
armónica en Ω2 , entonces la composición ψ(x, y) = φ (u(x, y), v(x, y)) es también una función
armónica en Ω1 . En efecto, usando la regla de la cadena y las ecuaciones de Cauchy-Riemann,
o bien pasando a las correspondientes funciones analíticas y tomando parte real, es fácil probar
que µ 2 ¶
∂2ψ ∂2ψ ∂ φ ∂2φ 2
+ 2 = + |f 0 (z)| = 0,
∂x2 ∂y ∂u2 ∂v 2
de manera que ψ es armónica en Ω2 .
En la práctica, 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 solución obtenida en Ω2 se convierte, mediante la
transformación conforme, en una solución del problema original.
Ejemplo. La circunferencia C1 de ecuación |z − 1/4| = 1/4 se mantiene a 100◦ mientras que
la circunferencia C2 de ecuación |z − 1/2| = 1/2 se mantiene a cero grados. Para hallar la
distribución estacionaria de temperaturas en la región comprendida entre ambas circunferencias,
debemos calcular una función armónica φ(x, y) tal que φ = 100 en C1 y φ = 0 en C2 . Si
1−z
usamos la transformación conforme bilineal w = , podemos comprobar que transforma
z
10 Lección 8. Integración 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 función armónica ψ(u, v) en la banda comprendida
entre estas dos rectas tal que ψ = 0 en Re(w) = 0 y ψ = 100 en Re(w) = 1. Es fácil ver que
1−z
ψ(u, v) = 100u = Re(100w) es la solución. Haciendo los cálculos en la transformación w = ,
z
obtenemos
x −y
u= 2 − 1 y v =
x + y2 x2 + y 2
µ ¶
x
con lo que la solución del problema buscado es φ(x, y) = 100 −1 .
x2 + y 2
j−z
El problema de Dirichlet en el semiplano superior. La función 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 círculo unidad del plano
w. Si queremos hallar una función u(x, y) armónica en el semiplano superior a partir de sus
valores u(x, 0) en el eje real, podemos usar la transformación bilineal para llevarnos el problema
al círculo unidad, usar ahí la fórmula de Poisson y deshacer la transformación. Haciendo las
operaciones con cuidado se obtiene la solución, que además es acotada,
Z ∞
y u(s, 0)
u(x, y) = 2 2
ds,
π −∞ (x − s) + y

expresión que se conoce como Fórmula Integral de Schwartz.

Aplicaciones a la Electrostática. Cuando tenemos un dominio plano Ω simplemente conexo
→
−
(sin agujeros) en el que no existen cargas eléctricas, las ecuaciones del campo eléctrico E =
(Ex , Ey ) se reducen a
³−
→´ →
− ³−
→´ →
−
div E = ∇ · E = 0 y rot E = ∇ ∧ E = 0

→
− →
−
de las que se deduce que E admite un potencial escalar Φ en Ω, es decir grad(Φ) = ∇Φ = E ,
que es armónico, o sea ∆(Φ) = 0. Sea Ψ la función armónica conjugada de Φ en Ω. La función
→
−
analítica 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 función Ψ, que se llama función de Stokes,
verifica grad(Ψ) = (−Ey , Ex ).
Las curvas de nivel Φ(x, y) = c se llaman líneas equipotenciales y forman una familia uni-
paramétrica de curvas cuya familia ortogonal viene dada, según hemos visto, por las curvas de
→
−
nivel Ψ(x, y) = c de la función de Stokes. Puesto que el campo E es tangente a estas curvas,
reciben el nombre de líneas de corriente del campo eléctrico.
Según lo que acabamos de describir, los problemas de cálculo de potenciales y campos eléc-
tricos planos se reducen a la determinación 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 superposición y las transfor-
maciones conformes, para estudiar casos más generales.
Ampliación de Matemáticas (Ingeniería de Telecomunicación) – Curso 2009/10 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 líneas de corriente son la familia de rectas de pendiente tan(α) y las líneas equipoten-
ciales son la familia de rectas de pendiente −1/ tan(α).
Ejemplo. Para calcular el potencial de una línea cargada perpendicular al plano en el origen
se observa que las líneas equipotenciales sólo dependen de la distancia r de un punto z = rejθ
al origen, es decir Φ = Φ(r). Como Φ debe ser armónica, se cumple ∆(Φ) = 0, con lo que
d
(rΦ0 (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

función 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 función logaritmo (salvo la constante de proporcionalidad k que,

q
como puede probarse es k = , siendo q la densidad lineal de carga y ε0 la constante dieléctrica
2πε0
del medio). Las líneas de corriente son la familia de rectas que pasan por el origen y las líneas
equipotenciales son la familia de las circunferencias con centro en el origen.
Ejemplo. Si tenemos una línea 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 líneas son, respectivamente,
q q
W1 (z) = Log(z − a) y W2 (z) = − Log(z + a),
2πε0 2πε0
así que el potencial complejo total es
µ ¶
q z+a
W (z) = W1 (z) + W2 (z) = − Log (±2πj) .
2πε0 z−a
En este caso, las líneas 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).

6 Ejercicios.
Notación. En lo que sigue, denotaremos por [z1 , z2 ] el segmento rectilíneo 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 Lección 8. Integración 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.

R
Ejercicio 4. Calcula la integral C
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 perímetro del triángulo formado por los vértices de la quebrada anterior.

Ejercicio 5. Calcula las integrales

Z Z Z
dz √
2
, Log(z) dz y z dz
C z C C

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

e−jt , con 0 ≤ t ≤ π en ambos casos.
H
Ejercicio 6. Calcula C Log(z) dz, siendo C la circunferencia unidad.
Ejercicio 7. Sea α un número 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 límites de
integración:
Z j/2 Z π+2j Z 3
πz
e dz, cos(z/2) dz, (z − 2)3 dz.
j 0 1

Ejercicio 9. En los siguientes casos, comprueba la igualdad, e indica qué hipótesis del Teorema
de la Integral de Cauchy no se verifica:
I I
dz
= 2πj, Re(z) dz = r2 πj.
C(0,r) z C(0,r)
Ampliación de Matemáticas (Ingeniería de Telecomunicación) – Curso 2009/10 13

Ejercicio 10. Calcula las siguientes integrales usando, en cada caso, alguno de los teoremas
sobre integrales de funciones analíticas:
I I I
ez ezt ez
2
dz, 2
dz, 3
dz,
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)
3
dz, 2
dz, 2
dz,
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, 2
, 4
dz (r > 0),
C(0,1) z C(0,2) z + 1 C(0,r) z − 1
I I I
ez dz cos(z)
2 2
dz (r > 0), 2
, dz,
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)
2
dz, 2
dz, dz,
C(1,2) z + 1 C(1,2) z − z C(π,π) z − π
I I I
ez sen (z) sen (z)
2
dz, 3
dz, dz,
C(1,2) z C(1,2) (z − 1) C(0,1) z2
I I I
ez 1
2
dz, Log(z + 6) dz, 2 3
dz.
|x|+|y|=2 1 + z C(0,4) C(j,2) (z + 4)

Ejercicio 11. Integra la función exp(−z 2 ) en la frontera del rectángulo dado por las desigual-
dades |Re(z)| ≤ a y 0 ≤ Im(z) ≤ b y toma límite cuando a → ∞ para deducir
Z ∞
2 √ 2
e−x cos(2bx)dx = πe−b .
−∞

R+z
Ejercicio 12. Integrando la función f(z) = sobre la circunferencia C(0, r), siendo
z(R − z)
0 < r < R, deduce que Z 2π
R2 − r 2
dθ = 2π.
0 R2 − 2Rr cos(θ) + r2
√
Ejercicio 13. Sea z una rama de la función raíz cuadrada analítica en el semiplano superior
Im(z) ≥ 0 (salvo en z = 0).

1. Calcula I √
z
2
dz
C 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 límites cuando r → 0 y R → ∞, calcular el valor

de Z ∞ √
x
2
dx.
0 x +1
14 Lección 8. Integración Compleja

Ejercicio 14. Calcula, según los valores de a, la integral

I
z(ez − 1)
2
dz.
C(1,2) (z − a)

Ejercicio 15. Demuestra la Desigualdad de Cauchy, que afirma lo siguiente: Sea f una función
analítica en un dominio que contiene el círculo D con centro z0 y radio r. Sea M tal que
|f(z)| ≤ M para cada z ∈ D. Entonces
M
|f 0 (z0 )| ≤ .
r
(Indicación: Usa la Fórmula Integral de Cauchy para la derivada primera.)
Ejercicio 16. Demuestra el Teorema de Liouville, que afirma lo siguiente: Si f es una función
entera y acotada, entonces f es constante. (Indicación: 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 , con-
tados tantas veces como indica su multiplicidad. (Indicación: Supón que p(z) no se anula en
ningún punto y aplica el Teorema de Liouville a 1/p(z).)
Ejercicio 18. Sea u(x, y) una función armónica y acotada en todo el plano R2 . Prueba que u
debe ser constante.
Ejercicio 19. Dada u(x, y) = e−x (xsen (y) − y cos(y)) prueba que es armónica y encuentra su
armónica conjugada.
Ejercicio 20. Sea f(z) la función 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 función analítica 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:
∂2u ∂2u
la ecuación de Laplace : + = 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
con las condiciones de contorno :
u(0, y) = 0 para 0 ≤ y ≤ 2
u(4, y) = sen (πy) para 0 ≤ y ≤ 2.

(2) Halla la función entera f(z) cuya parte real es la solución u(x, y) del problema de Dirichlet
anterior y tal que I
f(z)
dz = 0,
C z
siendo C la circunferencia unidad del plano complejo.
(3) Para dicha función calcula I
f (z)
dz,
R (z − 2 − j)2
Ampliación de Matemáticas (Ingeniería de Telecomunicación) – Curso 2009/10 15

siendo R la frontera del rectángulo del apartado (1) recorrida en sentido positivo.
Ejercicio 23. Resuelve el problema de Dirichlet en el semiplano superior para la función 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 círculo unidad.
(1) Prueba que la función f(z) = z + z −1 transforma Ω en el semiplano superior de forma
biyectiva, halla su inversa y estudia si dicha función inversa es analítica.
(2) Usa la transformación dada y la Fórmula Integral de Schwartz para resolver el problema
de Dirichlet en Ω si los valores de la función armónica u que se busca están dados en la frontera
por u = 0 sobre el eje real y u(ejθ ) = cos(θ) para 0 ≤ θ ≤ π.
Ejercicio 25. La función w = Log(z) transforma el primer cuadrante en la banda definida por
0 < Im(w) < π/2. Utiliza esta transformación para resolver el problema de Dirichlet en el primer
cuadrante para la función dada que vale 0 en el eje real y 1 en el eje imaginario.
Ejercicio 26. (1) Determina la correspondiente fórmula de Schwartz que resuelve el problema
z−1
de Dirichlet en el semiplano derecho Re(z) > 0 usando la transformación w = .
z+1
(2) Usa esta fórmula 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 función dada
en la frontera por φ(0, y) = −sen (y 2 ) y φ(x, 0) = sen (x2 ). Indicación: utiliza la transformación
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 función dada en la frontera por

φ(−π/2, y) = φ(π/2, y) = 0 (y > 0); φ(x, 0) = 1, (|x| < π/2

).

Para ello utiliza la transformación w = sen (z) que lleva dicha semibanda de forma biyectiva
sobre el semiplano superior.
Ejercicio 29. La función 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 función φ
que vale αr en la circunferencia interior y αR en la circunferencia exterior.
Ejercicios y cuestiones de exámenes de cursos anteriores.
Ejercicio 30. Enuncia y demuestra el Teorema de la Integral de Cauchy.
Ejercicio 31. Enuncia y demuestra la Fórmula Integral de Cauchy.
I
1
Ejercicio 32. Calcula 2 2
dz siendo C la circunferencia con centro en el punto j y
C (z + 4)
radio igual a 2.
Ejercicio 33. Prueba que si f = u + jv es una función analítica en un dominio Ω, entonces la
16 Lección 8. Integración Compleja

función u verifica
∂2u ∂2u
+ =0 en Ω.
∂x2 ∂y 2

Ejercicio 34. Determina la función 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 función armónica v(x, y) = x3 − 3xy 2 , halla una función analítica f de
manera que v = Im(f).
Ejercicio 36. Encuentra la función f(z) = u(x, y) + iv(x, y) (con z = x + iy) sabiendo que es
una función entera tal que u = v 2 y f(i) = 4 − 2i.
Ejercicio 37. Halla la función analítica 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 método de separación de variables para hallar la función u que es armónica en Ω

y verifica las siguientes condiciones:

u(x, 0) = 0 para x > 0,

u(x, π) = 0 para x > 0,
u(0, y) = sen (y) + sen (2y) para 0 < y < π,
lim u(x, y) = 0 para 0 < y < π.
x→∞

2. Halla la función v que es armónica conjugada de u en Ω y cumple v(0, 0) = 2.

3. Haz un dibujo aproximado de la imagen del dominio Ω por la función f = u + jv.

Ejercicio 39. (1) Halla la función u(r, θ) que es armónica en el interior del círculo 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 función f que es analítica en el círculo unidad, cuya parte real es u y tal que
f (0) = j.
Ampliación de Matemáticas (Ingeniería de Telecomunicación) – Curso 2009/10 17

7 Bibliografía
Para desarrollar esta lección pueden consultarse los siguientes textos, principalmente el de Churchill
y Brown que, además, es un libro excelente para complementar las explicaciones teóricas.
[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.