Beruflich Dokumente
Kultur Dokumente
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.
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
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 Ω.
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
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
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
Entonces se verifica I n I
X
f (z) dz = f(z) dz
C0 k=1 Ck
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
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
∂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
∂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
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
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
→
− →
−
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)
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:
R
Ejercicio 4. Calcula la integral C
z 2 dz, a lo largo de los siguientes caminos:
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.
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
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
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 < π .
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.