Ejercicios de Variable Compleja y Geometría Diferencial

10
0
-10
50
0
-50
0
-50
50
Ejercicios de
Funciones de Variable Compleja y
Geometra Diferencial
Martn Rivas
e-mail:martin.rivas@ehu.es
http://tp.lc.ehu.es/martin.htm
Departamento de Fsica Terica
UPV/EHU
Leioa, Febrero 2008
Captulo 1
Operaciones con nmeros complejos

Sea z C, un nmero complejo arbitrario que lo escribimos de la forma z = x+iy , con x, y R, de
tal manera que x = Re z e y = Im z , son la parte Real y parte Imaginaria de z , respectivamente.
Con los nmeros complejos podemos hacer las siguientes operaciones:
Suma
Producto
Conjugacin
Valor absoluto
Distancia entre complejos
z1 + z2 = (x1 + x2 ) + i(y1 + y2 ),
:
:
z1 z2 = (x1 x2 y1 y2 ) + i(x1 y2 + y1 x2 ).
z z, z = x iy,
z | = z z 0,
|z| = x2 + y 2 = |
d(z1 , z2 ) = |z1 z2 | = |z2 z1 | 0.
:
:
Adems, la suma y el producto son operaciones conmutativas y asociativas
z1 + z2 = z2 + z1 ,
z1 z2 = z2 z1 ,
z1 + (z2 + z3 ) = (z1 + z2 ) + z3 = z1 + z2 + z3 ,
z1 (z2 z3 ) = (z1 z2 )z3 = z1 z2 z3 ,
y satisfacen entre ellas las operaciones de distributividad:
z1 (z2 + z3 ) = z1 z2 + z1 z3 .
La conjugacin `respeta' a las dos operaciones suma y producto y al valor absoluto:
(z1 + z2 ) = z1 + z2 ,
(z1 z2 ) = z1 z2 ,
|z| = |
z | = |z|.
Las potencias enteras del complejo i son i, i2 = 1, i3 = i, i4 = 1 y las dems se reducen a stas.
Solamente existe un complejo z = 0, si y solo si x = y = 0, y los nmeros reales son precisamente
aquellos nmeros complejos que son idnticos a sus complejos conjugados.
z = z,
z R.
El valor absoluto satisface |z1 z2 | = |z1 ||z2 | y las:
desigualdades triangulares |z1 + z2 | |z1 | + |z2 |,

Frmula de Euler
|z1 z2 | ||z1 | |z2 || .
ez ex+iy = ex (cos y + i sin y)
Teorema de De Moivre
Si el complejo z se escribe como z = r(cos + i sin ), z = rei , el producto aparece como z1 z2 =
r1 r2 ei(1 +2 ) , y las potencias z n = rn ein , entonces
z n = rn (cos n + i sin n).

n
Como resulta que ei = ein , entonces (cos + i sin )n = cos n + i sin n, de donde se pueden
obtener todas las reglas trigonomtricas de los ngulos mltiples y ngulos fraccionarios.
3
CAPTULO 1. OPERACIONES CON NMEROS COMPLEJOS
Problemas
1.1 Vericar las operaciones siguientes, tanto en su forma ordinaria como usando la forma polar de
los nmeros complejos que se indican:
5i
= 1 + 2i, (1 + i)7 = 8(1 + i).
2+i

i(1 i 3)( 3 + i) = 2 + 2i 3, (1 + i 3)10 = 211 (1 + i 3),
1.2 Describir geomtricamente cada una de las regiones del plano complejo
a) < arg z < , |z| > 3;
b) 1 < |z 2i| < 2;
c) |2z + 3| > 5;
d) Im(z 2 ) > 0 y Im(z 2 ) 0;
e) Re z1 12 ;
f) |z 3| > |z|.
1.3 Indicar qu representan geomtricamente las siguientes ecuaciones y desigualdades:

{a} |z 1 i| = 1,
{b} |z 1| = |z + i|,
1.4 Si z = 6ei/3 , evaluar |eiz |. [Sol. e
{c} |z 1 + i| |z 1 i|,
3 3
{d} |z + 4i| + |z 4i| = 10.
1.5 Encontrar todas las soluciones de los sistemas de ecuaciones:

a)
|z 12|
5
= ,
|z 8i|
3
b)
[Sol. z1 = 6 + 17i,
|z + 1 + i|
= 1.
|z 1 i|
|z 2 2i| = 4,
z2 = 6 + 8i y z1 = 1 i,
|z 4|
= 1,
|z 8|
z2 = 1 + i.]
1.6 Encontrar todas las soluciones de cada una de las 8 ecuaciones:

z 2 = i;
z 7 + 1 = 0;
z 2 = 3 4i;
z 8 = 1 + i;
z 3 = 1;
z = z 3 ;
z 6 = 64;
|z| z = 1 + 2i;
1.7 Encontrar para qu valores de z se satisface la ecuacin

cos(z i) = 2.
Resolver asmismo la ecuacin
3
[Sol.z = 2k + i(1 ln(2
(z 1 + i)(z 1)2 = z.
3)), k Z y z1 = (1 i)/2 y z2 = (3 + i)/5][Parcial Abril 2004]
1.8 Demostrar las frmulas siguientes:

(1 + cos + i sin )2n
1 + i tan
1 i tan
2n in
e ,
2
1 + i tan n
,
1 i tan n
2 cos
Sugerencia: Escribir esas relaciones en trminos del ngulo mitad.
1.9 Demostrar que no hay ningn valor de z para el cual la funcin ez se anula. Asmismo, demostrar
que
|ez | = eRe z
y que
ez+2i = ez .
1.10 Encontrar todas las soluciones de la ecuacin

5i
.
3
tan z =
[Sol. zk = i ln 2 +
1
2
+ k , k Z.] [Parcial Abril 2003]
1.11 Demostrar que en el plano complejo, la ecuacin de una circunferencia que pasa por tres puntos
no alineados z1 , z2 y z3 se puede escribir en la forma del determinante
|z|2
|z1 |2
|z2 |2
|z3 |2
z
z1
z2
z3
z
z1
z2
z3
1
1
1
1
= 0.
1.12 Encontrar la ecuacin de la circunferencia que pasa por los puntos z1 = 1 i, z2 = 2i y

z3 = 1 + i.
[Sol (x + 1)2 + y 2 = 5.]
1.13 Demostrar que en el plano complejo, la ecuacin de una circunferencia que pasa por tres puntos
no alineados z1 , z2 y z3 se puede escribir en la forma:
zz1
zz2
z3 z1
z3 z2
z
z1
z
z2
z3
z1
z3
z2
1.14 Demostrar que para todo nmero real positivo k = 1 la ecuacin

|z z1 |
= k,
|z z2 |
es la ecuacin de una circunferencia. Encontrar el centro y el radio de la misma. Cmo se puede
denir entonces una circunferencia? Resolver el problema inverso, es decir, dados el centro y radio
de una circunferencia, encontrar los puntos z1 y z2 y el valor de k que lo satisface.
1.15 Demostrar que la ecuacin |z z1 | + |z z2 | = a > 0, donde z1 y z2 y a > |z1 z2 |, son dos
nmeros complejos arbitrarios, es precisamente la ecuacin de una elipse en el plano que tiene sus
focos en los puntos z1 y z2 . Qu puntos del plano representa la anterior ecuacin si a = 0? Y si
a < 0?
1.16 Probar que la forma usual de resolver las ecuaciones de segundo grado es aplicable a la ecuacin
az 2 + bz + c = 0, cuando a, b y c son nmeros complejos.
1.17 Demostrar que para todo polinomio de coecientes reales de la variable compleja z , P (z), se
verica la igualdad
P (
z ) = P (z).
1.18 Un nmero z recibe el nombre de nmero algebraico si es la solucin de una ecuacin
polinmica del tipo a0 z n + a1 z n1 + + an1 z + an = 0, con n nito y donde los a0 , . . . , an son

enteros. Los nmeros que no verican esta condicin se denominan nmeros trascendentes. En
particular e y son nmeros trascendentes, pero todavia no se ha demostrado que e e + lo sean
o no. Probar que los nmeros siguientes son nmeros algebraicos.
3
3 + 2;
b)
4 2i.
a)
1.19 En la proyeccin estereogrca de la esfera de dimetro unidad sobre el plano complejo, en la
que el polo sur de la esfera se identica con el 0, demostrar que si (, , ) son las coordenadas de un
punto de la supercie de la esfera y z = x + iy su imagen estereogrca, entonces estn relacionados
por
y
|z|2
x
,
=
,
=
,
=
1 + |z|2
1 + |z|2
1 + |z|2
x=
,
+ 2
y=
.
+ 2
1.20 Si (, , ) son las coordenadas de un punto P (z) sobre la esfera de dimetro unidad, encontrar
las coordenadas espaciales de las imgenes de los siguientes puntos
P (z),
P (
z ),
1
z
[Sol. (, , ), (, , ), (, , 1 ).]
1.21 Sean z1 , z2 y z3 tres puntos sobre una circunferencia con centro en el origen. Demostrar que
el tringulo que posee dichos puntos como vrtices es equiltero si y solo si z1 + z2 + z3 = 0.
1.22 Dados tres vrtices consecutivos de un paralelogramo z1 , z2 y z3 , encontrar el cuarto vrtice.

1.23 Demostrar que para todo z se verica la identidad:
|
z 2 1 + z| + |
z 2 1 z| = |z 1| + |z + 1|.
1.24 Demostrar que si tenemos un tringulo equiltero de vrtices z1 , z2 y z3 , entonces se cumple:

z12 + z22 + z32 = z1 z2 + z2 z3 + z3 z1 .
Asmismo
(z3 z1 )(z2 z3 ) = (z1 z2 )2 ,
(z1 z2 )(z3 z1 ) = (z2 z3 )2 .
1.25 Demostrar que cualesquiera que sean los complejos z y se verican las identidades y desigualdades:
1. |z + |2 + |z |2 = 2|z|2 + 2||2 .
2. |z + 1|2 + |z |2 = (1 + |z|2 )(1 + ||2 ).
3. |z 1|2 |z |2 = (|z|2 1)(||2 1).
4. |z + | |z| + ||.
5. |z | ||z| ||| |z| ||.
6. |z + | ||z| ||| |z| ||.
7. |z | |z| + ||.
1.26 En clculo vectorial se dene el producto escalar (o producto interior) de dos vectores u
(u1 , u2 , u3 ) y v (v1 , v2 , v3 ) mediante uv = u1 v1 +u2 v2 +u3 v3 . Se demuestra que uv = |u||v| cos ,

siendo el ngulo que forman dichos vectores. Si los complejos los consideramos como vectores
bidimensionales demostrar que su producto interior se escribe como:
z1 z2 = Re(
z1 z2 ).
1.27 En clculo vectorial se dene el producto vectorial (o producto exterior) de dos vectores
u (u1 , u2 , u3 ) y v (v1 , v2 , v3 ) como otro vector w (w1 , w2 , w3 ) mediante w = u v , cuyas componentes son w1 = u2 v3 u3 v2 , w2 = u3 v1 u1 v3 , w3 = u1 v2 u2 v1 . Se demuestra que el
mdulo de este vector vale |w| = |u||v| sin siendo el ngulo que forman dichos vectores. Si los
complejos los consideramos como vectores bidimensionales su producto vectorial sera perpendicular
al plano complejo y solamente tendra la tercera componente no nula. Demostrar que esta tercera
componente asociada al producto vectorial se calcula mediante
z1 z2 = Im(
z1 z2 ).
1.28 En clculo vectorial se demuestra que el rea del paralelogramo subtendido por los dos vectores
u (u1 , u2 , u3 ) y v (v1 , v2 , v3 ) vale rea= |u v|. Encontrar el rea del tringulo cuyos vrtices
son los puntos z1 = 2 + i, z2 = 1 i y z3 = 3.
1.29 Demostrar que el rea de un tringulo cuyos vrtices son los puntos z1 , z2 y z3 , es
(z2 z3 )|z1 |2
,
4iz1
donde el sumatorio se extiende a todas las permutaciones cclicas de 1, 2 y 3.
1.30 Probar que el conjunto de nmeros complejos z = a + ib es equivalente al conjunto de matrices

reales 2 2 de la forma:
z = a + ib
a b
b a
Z=
a, b R
Establecer la relacin entre las operaciones suma y producto de matrices con las correspondientes
operaciones con complejos. Cmo se caracteriza entre las matrices la conjugacin compleja? Y el
valor absoluto |z|. Analizar la forma general de un nmero complejo de valor absoluto 1.Tiene algo
que ver con las rotaciones del plano?
1.31 Analizar la convergencia de las sucesiones

a) un =
in
,
n
b)
(1 + i)n
.
n
un =
1.32 Probar que

n2 in
= 0;
n n3 + 1
a)
lm
b)
lm
1.33 Probar que la serie
in
n
n + 3i n + 1
= 1 i.
1 + i/3 + (i/3) + =
(i/3)n1 ,
n=1
converge y hallar su lmite.
1.34 Encontrar para qu valores del parmetro real a las siguientes series son convergentes:
na ein ,
a)
n=1
na ei/n ,
b)
n2 + 1
c)
n=1
ei/n 1 ,
n=1
d)
(a + 1)(a + 2) (a + n) n
i .
n!
n=1
1.35 Calcular, usando la frmula de De Moivre, las funciones trigonomtricas de ngulos mltiples
sin k y cos k, con k entero, en trminos de las funciones sin y cos y sus potencias. Y si k es un
nmero fraccionario de la forma k = 1/n, con n entero? Particularizar para el caso k = 5 y k = 1/2.
1.36 Encontrar las siguientes sumas en trminos de funciones ordinarias y del parmetro n:
sin x + sin 2x + + sin nx,
sin x + sin 3x + + sin(2n 1)x,
cos x + cos 2x + + cos nx,

cos x + cos 3x + + cos(2n 1)x,
sin x sin 2x + + (1)n1 sin nx.

(Se sugiere considerar sumas de progresiones geomtricas de razn eix .)
1.37 Resolver las siguientes preguntas:

1. Calcular las partes real e imaginaria de (1 i)4i .
2. Calcular las partes real e imaginaria de las soluciones de sin z = 2.

3. Determinar la imagen del rectngulo R determinado por los intervalos de los ejes real e imaginario R = [log 2, log 3] [, ], bajo la accin de la funcin exponencial f (z) = ez .
[Examen Junio 2002]

1. Hallar todas las soluciones de la ecuacin (ez + 1)3 + 8 = 0.
2. Calcular todos los valores posibles de (cos i)i .
3. Sea t (, ). Calcular el argumento principal del complejo eit + 1.
[Examen Septiembre 2002]
(a) Calcular todos los valores posibles de (1 i)1+i .

(b) Hallar todas las races de cos z = cosh z .
(c) Calcular la imagen de la regin Q ={z : 4 |z| 9, /2 Argz /2}, bajo la accin de
la rama principal de la funcin f (z) = z denida sobre el plano complejo con la lnea de corte el
semieje real (, 0]. [Examen Junio 2003]
1.40 (a) Calcular y representar grcamente en el plano complejo las soluciones de la ecuacin
4
(z 1) =
16 + 16i
(b) Calcular las partes real e imaginaria de todos los valores posibles de (ai)i si a es un nmero real
distinto de cero.
(c) Mostrar que
n
1 + i tan 2
1 + i tan (2n)
=
si n = 1, 2, 3 . . .
1 i tan 2
1 i tan (2n)
(d) Calcular la imagen de la regin
{ z C : 8 |z| 27,
bajo la accin de la rama principal de
Junio 2004]
3
arg z 0 }
4
z en la que el corte se realiza a lo largo de (, 0]. [Examen
1.41 (a) Encontrar las raices de la ecuacin

sin(ez ) =
1
,
2
z C.
(b) Sea z C tal que |z| = 1 y a C. Demostrar que
za
= 1.
1a
z
(c) Calcular la imagen del rectngulo de vrtices A = M i, B = 7/4 M i, C = 7/4 + M i y
D = M i, mediante la transformacin dada por la funcin eiz , siendo M > 0. [Examen Junio 2005]
1.42 Encontrar
todas las soluciones de las ecuaciones:
(a) 2z 4 + 1 3i = 0.
(b) cosh z sinh z = 1.
2
(c) e(z1) = 1.
(d) Sea f (z) la rama de z que es analtica en el dominio D = C {z = iy, y 0} y tal que
f (1) = 1. Calcular f (1) y f (2i).
1.43 a) Calcular las partes real e imaginaria de
(b) Demostrar que para toda funcin analtica
ii .
d
1
(Re f (z)) = f (z).
dz
2
(c) Si tenemos la regin del plano complejo, |z| 1, 0 arg z /4, de la gura, determinar cules
son la imgenes de todos estos puntos bajo la funcin analtica 1/z 2 .
[Examen Parcial Abril 2006]
1.44 (a) Encontrar todas las soluciones complejas de la siguiente ecuacin y representarlas en el
plano complejo
z 3 i = 3.
(b) Encontrar todos los nmeros complejos que satisfacen la igualdad
z 1+i = 4
(c) Probar la siguiente igualdad
cosh(z + w) = cosh z cosh w + sinh z sinh w,
z, w C.
(d) Calcular
C
dz
.
z
cuando C es la frontera del cuadrado {z C, | Re z| 1, | Im z| 1, } y cuando C es la circunferencia

|z + 2| = 1.
[Examen Junio 2006]
1.45 (a) Encontrar las raices de la ecuacin

sin z + cos z = 2.
(b) Encontrar todos los valores de
(2)
(c) Calcular la
imagen de la regin |z| 4, /4 arg(z)
/4, bajo la transformacin generada
por la funcin z donde deberemos utilizar la rama z rei(+/2) .

10
1.46 (a) Encontrar todas las soluciones de la ecuacin

2z + 3i
z = 1/
z
(b) Calcular todas las partes real e imaginaria de
ii
(c) Determinar las imgenes de los puntos de la regin 1 |z| 2, /2 Argz 3/4, bajo la
aplicacin w = 1/z 2 . Dibujar el resultado. Cul es la relacin entre las reas de la gura inicial y
de la nal?
(d) Demostrar que no existe ningn z C nito para el que cosh z = sinh z .Podemos decir lo mismo
para un z C nito tal que cosh2 z = sinh2 z ?
(e) Es posible la existencia de una funcin analtica tal que su parte real u y su parte imaginaria v ,
sean iguales? Y la posibilidad u = v ?[Examen Junio 2007]
1.47 (a) Calcular todos los valores de z C que verican

cos z = cos z.
(b) Sea f (z) la rama de 4 z denida en C [0, ) tal que f (1) = (1 i)/ 2. Calcular f (i).
i
(c) Encontrar el valor de 2 , cuyo mdulo es e.
(d) Representar grcamente la imagen del conjunto A = {z C : |z| 1, Im z 0}, mediante la
aplicacin T (z) = (z i)/(z + i).[Examen Septiembre 2007]
1.48 (a) Encontrar todas las soluciones de la ecuacin
z 4 + 8 + 8 3i = 0.
Si unimos los puntos, solucin de la ecuacin anterior, qu gura se obtiene? Cunto vale su rea?
Cul es el radio del crculo inscrito en la anterior gura?
(b) Calcular
(1 + 3i)cos
[Parcial Abril 2007]
Captulo 2
Funciones analticas
Funcin continua Una funcin compleja de variable compleja f (z) es continua en el punto z0 si se
cumple
lm f (z) = f (z0 ).
zz0
y es independiente de la forma en que z tiende a z0 . La funcin f (z) = u(x, y) + iv(x, y) es continua

en z0 = x0 + iy0 si y solo si las funciones u y v son continuas en (x0 , y0 ).
Funcin derivable Una funcin compleja de variable compleja f (z) es derivable en el punto z0 , si
existe el
f (z) f (z0 )
lm
zz0
z z0
y es independiente de la forma en que z tiende a z0 . Al valor del anterior lmite, si existe y es nico,
lo representamos por la expresin f (z0 ) y lo denominamos la derivada de f en z0 .
Funcin analtica Una funcin f (z) es analtica en un punto z0 si su derivada f (z) existe no solo
en z0 sino en cada punto z de un cierto entorno de z0 .
Condiciones de Cauchy-Riemann
Una condicin necesaria para que la funcin w = f (z) = u(x, y) + iv(x, y) sea analtica en una regin
R es que en los puntos de esa regin se satisfagan las ecuaciones
u
v
=
,
x
y
u
v
= .
y
x
(2.1)
Si las anteriores derivadas parciales son funciones continuas en R, entonces las condiciones anteriores
son tambin sucientes para que w sea analtica en R.
La derivada de una funcin analtica, expresada como f = u + iv , se puede calcular de las dos
formas
df
u(x, y)
v(x, y)
1 u(x, y) v(x, y)
=
+i
=
+
.
dz
x
x
i
y
y
Como funcin de z , f (z) se calcula mediante las reglas habituales de derivacin con respecto a z .
Funciones elementales: El lector deber determinar la regin donde son analticas las siguientes
funciones.
Polinomios:
P (z) = a0 + a1 z + a2 z 2 + + an1 z n1 + an z n .
Funciones racionales:
w=
P (z)
,
Q(z)
donde P (z) y Q(z) son polinomios.

Funcin exponencial
ez = ex+iy = ex (cos y + i sin y)
Si a es real y positivo se dene
az = ez ln a ,
donde ln a es el logaritmo `natural' de a.

11
12
CAPTULO 2. FUNCIONES ANALTICAS
Funciones trigonomtricas:
sin z =
eiz eiz
,
2i
cos z =
eiz + eiz
,
2
y las derivadas de ellas como sec z , csc z , tan z , cot z .

Funciones hiperblicas:
ez ez
ez + ez
sinh z =
, cosh z =
,
2
2
y las derivadas de ellas como tanh z , coth z , etc.
Funciones logartmicas: Si z = ew , entonces escribimos w = ln z se dice que w es el logaritmo
natural de z y resulta ser una funcin no uniforme, innitamente multivaluada y denida mediante:
w = ln z = ln r + i( + 2k),
siendo
k = 0, 1, 2, . . . ,
z = rei(+2k) .
Funciones trigonomtricas inversas:
arcsin z =
1
ln iz +
i
1 z2 ,
arc cos z =
1
ln z +
i
z2 1 ,
y otras como arctan z , etc. A veces se representan como sin1 z , cos1 z , etc., pero esta notacin se
puede prestar a errores. Son funciones multiformes debido al ln y a la raiz cuadrada.
Funciones hiperblicas inversas:
arcsinh z = ln z +
z2 + 1 ,
arccosh z = ln z +
z2 1 ,
y las derivadas de ellas como arctanh z , etc. Son tambin multiformes.

La funcin potencial
z e ln z ,
para todo C, y si f (z) y g(z) son dos funciones complejas de z ,
f (z)g(z) eg(z) ln f (z) ,

y en general son funciones multiformes o multivaluadas por su denicin a travs del logaritmo.
Funciones algebraicas: Son soluciones w de ecuaciones de la forma:
P0 (z)wn + P1 (z)wn1 + + Pn1 (z)w + Pn (z) = 0,

donde P0 (z) = 0, P1 (z), . . . Pn (z) son polinomios en z .
Funciones transcendentes (o transcendentales): Son aquellas que no sea posible expresarlas como
una funcin algebraica.
Funciones elementales: Aquellas funciones que se puedan expresar en trminos de las anteriores
(salvo las transcendentes) tras un nmero nito de operaciones del tipo sumas, restas, productos,
cocientes y raices.
Funcin entera: Es aquella que es analtica en todo el plano complejo, excluido el punto del innito.
Funcin armnica: Una funcin f (x, y), denida en una regin R de R2 , se dice que es armnica
en R si satisface la ecuacin de Laplace para todos los puntos de R:
2 f (x, y) 2 f (x, y)
+
= 0.
x2
y 2
Las partes real e imaginaria u(x, y) y v(x, y) de una funcin analtica son funciones armnicas. Se
dice en ese caso que u y v son funciones armnicas conjugadas pues por satisfacer las condiciones
(2.1), se tiene
2v
2u
=
,
2
x
xy
2u
2v
=
,
2
y
yx
y sumando
2u 2u
2v
2v
+ 2 =0=
+ 2.
2
2
x
y
x
y
13
Problemas
2.1 Encontrar la regin del plano complejo en la que la funcin |z|2 es continua. Calcular la derivada
de la funcin |z|2 en los puntos en que es continua. Es una funcin analtica?
2.2 Determinar la derivada de sin z y de e2z en un punto cualquiera z C.

2.3 Demostar que la funcin f (z) =
pero no es derivable en ese punto.
|xy| satisface las condiciones de Cauchy-Riemann en z = 0,
2.4 Decir si las siguientes funciones denidas sobre los dominios que se indican, son biunvocas:
a) w = z 2 , Re z > 0;
b) w = z2 , |z| < 1;
1
c) w =
, |z| < 1;
z1
1
1
d) w =
z+
, |z| < 2;
2
z
2
1
1
e) w =
z+
, |z| < 1,
4
z
0 < arg z < /2.
2.5 Demostrar que si f (z) es una funcin analtica de z , entonces

2
2
+
x2
y 2
|f (z)|2 = 4|f (z)|2 .
Vericar este resultado con la funcin f (z) = z 2 .
2.6 Determinar:
z 10 + 1
,
zi z 6 + 1
a) lm
b) lm
z0
1 cos z
,
z2
c) lm
z0
1 cos z
,
sin z 2
d) lm (cos z)1/z .
z0
[Sol. a) 5/3, b) 1/2, c) 1/2, d) e1/2 .]
2.7 Demostrar por qu las siguientes funciones no son analticas en ningn punto del plano complejo:
f1 (z) = xy + iy;
f2 (z) = ey (cos x + i sin x).
2.8 Demostrar que las funciones siguientes denidas sobre R2 , satisfacen la ecuacin de Laplace
y por lo tanto pueden ser interpretadas como la parte real de una funcin analtica. En este caso
determinar la correspondiente funcin f (z) de la cual son su parte real.
a) u(x, y) = x3 3xy 2 + 3x2 3y 2 + 1,
b) u(x, y) = sin x cosh y + 2 cos x sinh y + x2 y 2 + 4xy .
[Sol. a) w = z 3 + 3z 2 + C , b) w = sin z + z 2 i(2 sin z + 2z 2 ).]
2.9 a) Encontrar todas las funciones analticas de la forma f (z) = u(x) + iv(y).
b) Probar que si f (z) es analtica en C, entonces tambin lo es la funcin g(z) = f (z ). Qu se puede
decir de h(z) = f (
z )?
c) Si v es armnica conjugada de u, demostrar que uv y eu cos v son tambin funciones armnicas.
[Sol.a) f (z) = (ax + b) + i(ay + c), con a, b, c const.]
2.10 Descomponer la funcin sin z en sus partes real e imaginaria.

[Sol. sin z = sin x cosh y + i cos x sinh y ]
2.11 Demostrar que las siguientes funciones u(x, y) son armnicas en cualquier dominio del plano y
encontrar su armnica conjugada v(x, y), as como la funcin analtica f (z) de la que son su parte
real, en los ejemplos:
1. u = 2x(1 y).
2. u = 2x x3 + 3xy 2 .
14

3. u = sinh x sin y .
4. u = y/(x2 + y 2 ).
5. u = cos x sin y .
[Sol: f1 (z) = iz 2 + 2z + C ; f2 = 2z z 3 + C ; f3 = i cosh z ; f4 = i/z + C . f5 no es armnica.]
2.12 Halle la funcin analtica w = f (z) a partir de su parte real u(x, y) = 2ex cos y con la condicin
f (0) = 2.
[Sol. 2ez .]
2.13 Sean u y v (o bien ui y vi ) pares de funciones armnicas conjugadas en un dominio D. Demostrar

que los pares de funciones U y V que se indican, son asmismo funciones armnicas conjugadas en
el dominio D.
a)
b)
c)
d)
U
U
U
U
= au bv, V = bu + av, a, b C.
= au1 + bu2 , V = av1 + bv2 , a, b C.
= u1 u2 v1 v2 , V = u1 v2 + v1 u2 .
= eu cos v, V = eu sin v.
e)
U = eu
v 2
cos 2uv, V = eu v sin 2uv.

u2 v 2
v 2 u2
U = euv cos
, V = euv sin
.
2
2
f)
2.14 Encontrar (si es que existen) funciones armnicas de la forma siguiente:

a) u = (ax + by), a, b R,
b) u = (x +
c) u = (x2 + y).
x2 + y 2 ),
2.15 Encontrar (si es que existen) funciones armnicas de la forma siguiente:

a) u = (x2 + y 2 ),
b) u = (x2 y 2 ),
c) u = (y/x),
d) u =
x2 + y 2
x
[Sol. a) C ln(x2 + y 2 ) + K ; (b) C(x2 y 2 ) + K ; (c) C arctan(y/x) + K ; (d) Cx/(x2 + y 2 ) + K ]
2.16 Si en un cierto dominio la funcion compleja w = u + iv y su compleja conjugada u iv son

ambas analticas, probar que w es una funcin constante en ese dominio.
2.17 Si w es una funcin analtica en un cierto dominio, probar que su valor absoluto |w| no puede
ser constante a menos que w sea una funcin constante en el dominio.
2.18 Mostrar que f (z) = z/(1+|z|) es continua y transforma el plano complejo C en el disco |w| < 1.
Es analtica?
2.19 Determinar los puntos singulares de las siguientes funciones y razonar por qu esas funciones
son analticas en todos los puntos del plano complejo excepto en los puntos singulares:
1.
2.
2z + 1
.
z(z 2 + 1)
z2
z3 + i
.
3z + 2
3. (z + 2)1 (z 2 + 2z + 2)1 .
2.20 Comprobar que la funcin
z2
f (z) =
0z
si
z=0
si
z = 0,
satisface las condiciones de Cauchy-Riemann en el punto z = 0, pero no es analtica en dicho punto.

Es derivable en z = 0?
15
2.21 Dada la funcin f (z) = x3 i(y 1)3 u + iv , como resulta que

u
v
+i
= 3x2 ,
x
x
Por qu la funcin 3x2 solamente representa a la derivada f (z) en el punto z0 = i?
2.22 Dadas las funciones f (z) siguientes, demostrar que f (z) no existe en ningn punto:
a) 2x + xy 2 i;
b) z z;
c) ex (cos y i sin y).
2.23 Encontrar los puntos del plano complejo donde las funciones sin z , sinh z y tan z se anulan y
aquellos en los que toman valores imaginarios puros.
2.24 Demostrar que cada una de las siguientes funciones es una funcin entera:
f1 (z) = 3x + y + i(3y x);
f2 (z) = sin x cosh y + i cos x sinh y;
f3 (z) = ey (cos x + i sin x);
f4 (z) = (z 2 2)ex (cos y i sin y).
[Sol.f1 = (3 i)z ; f2 = sin z ; f3 = eiz ; f4 = (z 2 2)ez .]
2.25 Sea f (z) una funcin derivable en el punto z0 y sean u = Re f y v = Im f . Demostrar que las
frmulas siguientes son equivalentes:
1. f (z0 ) = ux (x0 , y0 ) + ivx (x0 , y0 ).

2. f (z0 ) = vy (x0 , y0 ) iuy (x0 , y0 ).
3. f (z0 ) = ux (x0 , y0 ) iuy (x0 , y0 ).
4. f (z0 ) = vy (x0 , y0 ) + ivx (x0 , y0 ).
2
5. |f (z0 )|2 = ux + uy = ux + vx = uy + vy = vx + vy .
2.26 Sea u(x, y) una funcin armnica. Demostrar que las funciones u/x y u/y son asmismo
funciones armnicas. Si tenemos dadas dos funciones armnicas u(x, y) y v(x, y), que adems son
armnicas conjugadas, resultan ser armnicas conjugadas las dos funciones u/x y v/x? Y las
dos funciones u/y y v/y ?
2.27 Sean u y v funciones armnicas conjugadas. Sus curvas de nivel son las familias de curvas sobre
R2 denidas por u(x, y) = C1 y v(x, y) = C2 . Probar que estas familias de curvas son ortogonales.
Demostrar que en cada punto (x0 , y0 ) que sea comn a una curva u = C1 y a v = C2 , las tangentes(o
normales) a las dos curvas son perpendiculares, siempre y cuando u/x y v/y no sean ambas
nulas en el punto.
2.28 Sea u(x, y)+iv(x, y) una funcin compleja de variable compleja. Si donde aparecen x e y lo sus-
tituimos por x (z + z)/2, y (z z)/2i, entonces g(z, z) = u(x(z, z), y(z, z)) + iv(x(z, z), y(z, z)).
Demostrar que la funcin g as construida no puede ser funcin explcita de z si u + iv es una funcin
analtica.
2.29 Si f (z) = u(x, y) + iv(x, y) es una funcin analtica, y conocemos su parte real u y su parte
imaginaria v , demostrar que la f (z) se puede construir mediante las dos posibilidades
f (z) = u(z, 0) + iv(z, 0),
f (z) = u(0, iz) + iv(0, iz).
2.30 Si f (z) = u(x, y) + iv(x, y) es una funcin analtica, dada u (o v ) la funcin v (o u) est
denida salvo una constante. Por lo tanto, el conocimiento de u (o v ) dene a f salvo una constante.
Demostrar (utilizando las condiciones de Cauchy-Riemann) que:
a) f (z) = 2u(z/2, iz/2)+constante,
b) f (z) = 2iv(z/2, iz/2)+constante,
y donde la constante a determinar, mediante identicacin por ejemplo, puede ser nula. De esta
manera, toda funcin analtica queda denida, salvo una constante arbitraria, por el conocimiento
de su parte real o imaginaria.
16
2.31 Si f (z) = u(x, y) + iv(x, y) es una funcin analtica, conocidas u y v , f (z) se puede calcular
mediante la sustitucin
f (z) = u(z/2, iz/2) + iv(z/2, iz/2).
2.32 De los resultados de los dos problemas anteriores, demostrar que si f (z) = u(x, y) + iv(x, y) es
una funcin analtica, entonces se cumple
u(z/2, iz/2) = iv(z/2, iz/2).
2.33 Usando el resultado del problema 2.29, encontrar f (z) para los casos:
a) u(x, y) = x4 6x2 y 2 +y 4 ,
b) v(x, y) = sinh x cos y,
c) v(x, y) = x3 2y 2 ,
d) u(x, y) = y/(x2 +y 2 ).
2.34 Si f (z) = u(x, y) + iv(x, y) es una funcin analtica, demostrar que f se obtiene conocidas u y
v en la forma f (z) = u(az, i(1 a)z) + iv(az, i(1 a)z), cualesquiera que sea el nmero complejo
a. En particular, en varios problemas anteriores hemos tomado a = 0, a = 1 y a = 1/2, pero no es
necesario que a sea real.
2.35 Sea la funcin f (z) = z 1/2 .Es multivaluada? En caso armativo, determinar sus puntos de
ramicacin y los cortes, claricando cmo es la supercie de Riemann sobre la que resulta ser una
funcin uniforme. Demuestre que con z = rei para r > 0, 0 < 2 , la funcin f (z) existe en todo
el plano complejo salvo en el origen y en el semieje real positivo y que en ese caso f (z) = 1/(2f (z)).
2.36 Sea la funcin w = z 2 + 1. Es multivaluada? En caso armativo, determinar sus puntos de

ramicacin y los cortes, claricando cmoes la supercie de Riemann sobre la que resulta ser una
funcin uniforme. Y para la funcin w = z 2 1?
2.37 Escribiendo f = u(r, ) + iv(r, ) donde z = rei , obtener las ecuaciones de Cauchy-Riemann
en coordenadas polares
1 v
v
1 u
u
=
,
=
.
r
r
r
r
Usando la forma polar de las ecuaciones de Cauchy-Riemann estudie la derivabilidad compleja de
f = z 27 , f = |z|z 2 y f = r2 + + 2ir2 .
2.38 Use el valor principal de z i para escribir las funciones armnicas conjugadas u(r, ) y v(r, ),
siendo z i = u + iv .
2.39 Halle el valor del mdulo de la funcin w = sin z en el punto z = + i log (2 + 51/2 ).
2.40 Si f (z)=
[0, +) con
z es la rama analtica de la raiz

cuadrada en C excluido el semieje real positivo
1 = i, comprobar que f (z) = 1/2 z .
2.41 Las rbitas de los planetas alrededor del sol, aunque son elpticas, son de pequea excentricidad
y en muchos casos se pueden asimilar a circunferencias. Si consideramos las rbitas circulares de la
Tierra, Marte y Jpiter, de radios RT = 2, RM = 3 y RJ = 10, respectivamente y de acuerdo con la
tercera Ley de Kepler de periodos aproximadamente iguales a TT = 1, TM = 2 y TJ = 12, se pide:
1. Escribir en el plano complejo las trayectorias de los tres planetas alrededor del sol.
2. Escribir las trayectorias de los planetas respecto de la Tierra y dibujar las mismas en el plano.
3. Decir si la aproximacin de Ptolomeo mediante epicilos y deferentes era una aproximacin razonable.
2.42 Dada la funcin de dos variables v(x, y) = x3 3axy 2 , se pide:
(1) Para qu valores del parmetro a la funcin anterior es armnica?

(2) Encontrar la funcin u(x, y) armnica conjugada de la anterior funcin armnica v(x, y).
(3) Cul es la funcin analtica f (z) = u + iv de la cual son, respectivamente, su parte real e
imaginaria?
(4) Encontrar los vectores tangentes a las curvas u = cte. y v = cte. En qu regin son estos vectores
ortogonales?En qu regin estos vectores estn denidos?
(5) Sea f (z) = u + iv . Como u y v son armnicas, tambin lo es u + v . Encontrar en trminos de
f (z) la funcin g(z) cuya parte real sea u + v .[Examen Junio 2002]
17
2.43 Sea u(x, y) = xy + (ey + ey ) cos x.
(a) Mostrar que u es armnica.

(b) Hallar todas las armnicas conjugadas de u y una funcin analtica f (z) expresada en trminos
de z y tal que Re f (z) = u(x, y) , f (0) = 2 + i. [Examen Junio 2004]

1. Encontrar todos los polinomios armnicos de la forma
u(x, y) = ax3 + bx2 y + cxy 2 + dy 3
2. Calcular una funcin v(x, y) para la que u(x, y) + iv(x, y) sea entera.
2.45 Dada la funcin
u(x, y) = x2 y 2 + 5x + y
x2
y
,
+ y2
se pide:
(a) Demostrar que u es armnica.
(b) Encontrar la armnica conjugada v de la funcin armnica u.
(c) Determinar la funcin analtica f (z) tal que f (z) = u + iv .
[Examen Junio 2003]
2.46 Encontrar todas las funciones armnicas de dos variables x e y de la forma (xy). Encontrar
la funcin analtica f (z) que tiene como su parte imaginaria a las funciones anteriormente halladas.
2.47 Encontrar el desarrollo en serie alrededor del punto z0 = 0 de la funcin f (z) que satisface
las condiciones f (0) = 0, f (0) = i y la ecuacin diferencial f (z) + i2 f (z) = 0. De qu funcin se
trata? [Examen Septiembre 2004]
2.48 Sea la funcin
u(x, y) = ex
y 2
cos(2xy)
(a) Vericar que satisface la ecuacin de Laplace 2 u = 0 en R2 .

(b) Como parte real de una funcin analtica, buscar todas sus armnicas conjugadas.
(c) Expresar en trminos de z la funcin f (z) = u + iv , tal que f (0) = 1.
2.49 Sea f = u + iv una funcin analtica en un entorno del origen, donde u(x, y) = x ey sin x.
Determinar de qu funcin f (z) se trata si debe cumplir adems la condicin
lm
z0
f (z)
= ,
zm
C,
m N.
Discutir, y determinar para cada posible valor del nmero natural m, el valor del correspondiente
lmite . [Examen Junio 2005]
2.50 Encuentra la funcin f (z) f (x+iy) = u(x, y)+iv(x, y), analtica, que cumple las condiciones:
f (0) + f (0) = i,
u + 2v = 2x(1 y + x) 2y(y 2).
2.51 Sea f (x + iy) = cos x(cosh y + a sinh y) + i sin x(cosh y + b sinh y). Encuentra para qu valores
de los parmetros a y b la funcin f (z) es analtica. Escribe f en trminos de z .
18
2.52 Hallar todas las funciones enteras f (z) : C C tales que (x, y) R2 se verica que
f (z) f (x + iy) = f (x) f (y) + 2xyi
[Examen Junio 2007]
2.53 Encontrar todos los posibles valores de a, b, c C de forma que la funcin

f (z) = az 2 + bz z + c
z2,
sea una funcin entera.
Captulo 3
Integracin en el plano complejo

La integral de una funcin compleja de variable compleja entre dos puntos z1 y z2 a lo largo de un
camino C que los une, y que puede ser abierto o cerrado en el caso de que z2 = z1 , viene dada por
z2
(x2 ,y2 )
f (z)dz =
z1
(x2 ,y2 )
(u(x, y) + iv(x, y))(dx + idy) =

(x1 ,y1 )
(x2 ,y2 )
(udx vdy) + i
(x1 ,y1 )
(vdx + udy)
(x1 ,y1 )
y se reduce al clculo de las dos integrales curvilneas reales, a lo largo de la curva continua C . Si la
curva C viene escrita en forma paramtrica {x(t), y(t)}, t [t1 , t2 ], entonces
z2
t2
f (z)dz =
z1
t2
{u(x(t), y(t))x(t)
v(x(t), y(t))y(t)}
dt+i
t1
{v(x(t), y(t))x(t)
+ u(x(t), y(t))y(t)}
dt.
t1
Si la curva C viene escrita en forma cartesiana y = y(x), entonces

z2
x2
f (z)dz =
z1
x2
{u(x, y(x)) v(x, y(x))y (x)} dx + i

x1
{v(x, y(x)) + u(x, y(x))y (x)} dx.

x1
Teorema de Cauchy-Goursat
Sea f (z) una funcin analtica en una regin R y en su contorno C . Entonces

(3.1)
f (z)dz = 0.
C
Teorema de Morera
Sea f (z) una funcin continua en una regin simplemente conexa R y supongamos que se cumple
f (z)dz = 0,
C
para toda curva cerrada simple en R. Entonces f (z) es analtica en R.

Si f (z) es analtica en una regin simplemente conexa R, entonces
b
siendo
f (z)dz = F (b) F (a),

a
F (z) = f (z)
es decir F (z) es una primitiva de f (z) (o bien f (z)dz = dF es una diferencial exacta) y la integral
entre a y b es independiente del camino que une dichos puntos.
Si la regin R es mltiplemente conexa, siendo C0 el contorno exterior y Ci , i = 1, . . . , n los
contornos de las partes interiores, entonces el teorema de Cauchy-Goursat (3.1) se escribe
f (z)dz = 0 =
C
f (z)dz +
C0
f (z)dz + +
C1
f (z)dz,
Cn
donde todos los contornos Cj , j = 0, 1, . . . , n estn recorridos de tal manera que al avanzar por ellos
dejemos siempre el interior de la regin a la izquierda.
19
20
CAPTULO 3. INTEGRACIN EN EL PLANO COMPLEJO
Teorema de Green en el plano (Teorema de Stokes)
Si P (x, y) y Q(x, y) y sus derivadas parciales son continuas en una regin R del plano y en su
contorno C , entonces
P (x, y)dx + Q(x, y)dy =

C
Q P
x
y
dxdy.
Frmula integral de Cauchy
Si f (z) es una funcin analtica en una regin simplemente conexa R y en su contorno C entonces,
para todo punto a del interior de R, se tiene
1
2i
f (a) =
f (z)
dz.
za
Como f (z) es analtica en a existe su derivada en ese punto que se obtiene de esta frmula integral
mediante derivacin con respecto a la variable a
f (a) =
1
2i
f (z)
dz.
(z a)2
Adems, si f (z) es analtica en a, entonces sus derivadas de cualquier orden f (a), f (a), . . . , son
tambin analticas en a.
Teorema del Mdulo mximo
Si f (z) es una funcin analtica sobre y en el interior de una curva cerrada C y no es una funcin
constante, entonces el valor mximo de |f (z)| tiene lugar sobre la curva C .
Teorema de Liouville
Si f (z) es una funcin analtica en todo el plano complejo y acotada, es decir |f (z)| < M z C,
para una constante ja M , entonces f (z) es una funcin constante.
Teorema fundamental del lgebra
Todo polinomio P (z) = a0 + a1 z + + an z n , con n 1 y an = 0, tiene al menos una raiz.

Si esto es cierto y z1 es esa raiz, entonces se puede factorizar P (z) = (z z1 )Q(z) con Q(z) un
polinomio de grado n 1, al cual le extendemos el anterior resultado y por lo tanto todo polinomio
P (z) de grado n posee n raices.
Teorema del Argumento
Si f (z) es una funcin analtica sobre y en el interior de una curva cerrada C , salvo tal vez en un
nmero nito de polos en el interior de C , entonces
1
2i
f (z)
dz = N P,
f (z)
donde N y P son respectivamente el nmero de ceros y polos de f (z) dentro de C .

Su demostracin se basa en que si es un cero de orden n y es un polo de orden p de f (z),
entonces la funcin se puede escribir f (z) = (z )n g(z) con g() = 0 y f (z) = h(z)/(z )p con
h() nito y = 0.
Desigualdad de Cauchy
Si f (z) es analtica dentro y sobre una circunferencia C de radio R y centro en z = a, entonces
|f (n) (a)|
M n!
,
Rn
n = 1, 2, . . .
donde M es una constante tal que |f (z)| < M sobre C , es decir M es una cota superior de |f (z)|
sobre C .
21
Problemas
3.1 Dadas las siguientes funciones f (z) en el plano complejo, determinar el valor de
f (z)dz,
C
para los circuitos que se indican:

a) f (z) = y x 3x2 i, C es el segmento desde z1 = 0 hasta z2 = 1 + i; tambin el caso de que
C sean los dos segmentos desde z1 = 0 hasta z3 = i y de ste hasta z2 = 1 + i;
b) f (z) = z 1, donde C es el arco de circunferencia z() = 1 + ei , desde z1 = 0 hasta z2 = 2.
c) f (z) = ez donde C es el segmento que va desde z1 = i hasta z2 = 1, o bien el camino que
une ambos puntos a lo largo de los ejes coordenados.
d) f (z) = 1/z y donde C es la circunferencia completa de radio R con centro en el origen.
[Sol.a) 1 i y (1 i)/2; b) 0; c) 1 + e en ambos casos; d) 2i.]
3.2 Si C es el contorno cuadrado con vrtices en los puntos z1 = 0, z2 = 1, z3 = 1 + i y z4 = i

demostrar, haciendo la integral, que
(3z 2 + 1)dz = 0,
y que
zdz = 2i.
C
3.3 Si y son dos nmeros complejos cualesquiera, demostrar que
2zdz = 2 2 ,
a lo largo de cualquier camino que une con . Qu suceder si = ?
3.4 Evaluar
(2,5)
(3x + y)dx + (2y x)dy,

(0,1)
(a) a lo largo de la curva y = x2 + 1; (b) segn la recta que une (0, 1) con (2, 5); (c) por las rectas
que van de (0, 1) a (0, 5) y luego de (0, 5) a (2, 5); (d) las rectas que van de (0, 1) a (2, 1) y de (2, 1)
a (2, 5).
[Sol.a) 88/3; b) 32; c) 40; d) 24.]
3.5 Calcular las primitivas de las siguientes integrales en las que la variable x es real, usando la
integracin en el plano complejo:
eax cos bxdx,
eax sin bxdx.
3.6 Calcular cada una de las integrales siguientes y donde el camino de integracin es un circuito
arbitrario que une los puntos lmites de integracin.
i/2
a)
ez dz,
+2i
b)
cos
0
z
dz,
2
[Sol:a) (1 + i)/ ; b) e + 1/e; c) 0.]
3.7 Calcular la integral
cuando > 0 y para < 0.

Calcular la integral de
sin x
dx
x
cos x dx
0
para el mismo rango de valores de .

c)
1
(z 2)3 dz,
22
3.8 Si C es la curva y = x3 3x2 + 4x 1 que une los puntos 1 + i y 2 + 3i del plano complejo,
determinar el valor de la integral siguiente a lo largo de dicha lnea. Calcular tambin la integral
usando una primitiva del integrando.
(12z 2 4iz)dz.
C
[Sol. 156 + 38i.]
3.9 Evaluar la integral siguiente a lo largo de los circuitos que se indican:

|z|2 dz,
C
a) siendo C1 el crculo |z| = 1,

b) siendo C2 el crculo |z 1| = 1.
[Sol. a) 0, b) 2i.]
3.10 Evaluar la siguiente integral a lo largo del arco de circunferencia de radio 1 que une los puntos
z1 = 1 y z2 = i, de las dos formas posibles. Determinar asmismo el valor de esta integral en ambos
casos utilizando su funcin primitiva. Discutir el resutado.
C
dz
3.11 Evaluar las siguientes integrales, cuyo camino de integracin C es la circunferencia |z| = 2,
utilizando la frmula integral de Cauchy
sin 3z
dz,
z + /2
eiz
dz,
z3
sin6 z
dz,
z /6
zdz
(9 z 2 )(z + i)
[Sol. 2i, i, i/32, /5.]
3.12 Demostrar que

1
2i
ezt
dz = sin t,
z2 + 1
y si C es la circunferencia |z| = 3.
3.13 Evaluar la siguiente integral a lo largo de la curva C denida por z 2 + 2z z + z2 = (2 2i)z +
(2 + 2i)
z , desde el punto z1 = 1 hasta el punto z2 = 2 + 2i.
z2 dz + z 2 d
z
C
[Sol. 248/15.]
3.14 Si C es una curva simple cerrada en el plano complejo, que encierra una regin de rea A,
demostrar que
1
zdz
A=
2i C
3.15 Si C es una curva simple cerrada en el plano complejo, que encierra una regin de rea A,
demostrar que
A=
1
2
xdy ydx.
C
Usar este resultado para encontrar el rea de una elipse de ecuaciones paramtricas x = a cos ,
y = b sin , 0 2 .
23
3.16 Si C es una curva simple cerrada en el plano que encierra una regin R de rea A, como este
rea se calcula
A=
dxdy,
R
utilizar el teorema de Green para reescribir la anterior integral en la forma
A=
dxdy =
R
P (x, y)dx + Q(x, y)dy,

C
escogiendo adecuadamente las funciones P y Q.
3.17 Calcular las raices del polinomio P (z) = z 4 z 2 2z + 2. Probar que si el coeciente de la
potencia mxima de z es 1, el producto de todas las raices es igual al trmino independiente de z .

Comprobar que al ser de coecientes reales si existe una raiz tambin existe su compleja conjugada.
[Sol. 1, 1, 1 i.]
3.18 Calcular las raices de los polinomios P3 (z) = z 3 z 2 + (3 i)z 2 2i y P4 (z) = z 4 + (1
3i)z 3 + (1 + 2i)z 2 + (1 13i)z 10 + 2i. Vericar que como los coecientes no son todos reales,
dada una raiz, su compleja conjugada no es necesariamente otra raiz.[Sol. (z i)(z + 2i)(z 1 i)
y (z i)(z + 2i)(z 1 i)(z + 2 3i).]
3.19 Sea C la circunferencia unidad z = ei y k una constante real. Calcular que

C
ekz
dz,
z
es independiente de k , vale 2i y deduzca a partir de ello la frmula
dek cos cos(k sin ) = .
3.20 Si f (z) es analtica en el interior y sobre un contorno cerrado y orientado C , tal que el punto
z0 no est sobre C , demostrar que se cumple que
C
f (z)
dz =
z z0
f (z)
dz.
(z z0 )2
3.21 Si f (z) es analtica en el interior y sobre una curva C , probar que:

a) f (a) =
1
2
ei f (a + ei )d,
b)
f (n) (a)
1
=
n!
2
eni f (a + ei )d,
siendo a un punto perteneciente a la regin R encerrada por la curva C .
3.22 Demostrar que el teorema de Green se puede generalizar en la forma:

F (z, z)dz = 2i
C
F
dA,
z
donde dA representa el elemento de rea dxdy .
3.23 Sean P (z, z) y Q(z, z) funciones continuas con derivadas parciales continuas en una regin R
y en su contorno C . Entonces, probar que
P (z, z)dz + Q(z, z)d
z = 2i
C
Q
P
z
z
dA.
3.24 A partir de la frmula integral de Cauchy se pueden obtener las frmulas integrales de Poisson
sobre un crculo, que expresan el valor de una funcin armnica de dos variables u(r, ) en trminos
de los valores que dicha funcin toma sobre la circunferencia exterior. Demostrar que
u(r, ) =
1
2
2
0
(R2 r2 )u(R, )
d,
R2 2Rr cos( ) + r2
siendo R el radio de la circunferencia, el ngulo que dene cada uno de sus puntos y (r, ) las
coordenadas polares de un punto de su interior. Vericar que u(r, ) es en efecto una funcin armnica.
24
3.25 Siendo los parmetros m y a reales y positivos, calcular la integral

+
sin (mx)
dx .
x(x2 + a2 )
[Examen Junio 2002]
3.26 Aplicar el teorema de Cauchy-Goursat a la funcin f (z) = ez en el dominio |x| R,

2
0 y 1 y calcular la integral
ex cos (2x)dx .
Para este problema es til recordar que
+ x2
e
dx
. [Sol.
/2e.] [Examen Septiembre 2002]

(a) Sea f (z) una funcin analtica en |z| < R, con R > 1. Calcular
z+2+
|z|=1
1
z
f (z)
dz
z
en trminos de f y de sus derivadas.

(b) Encontrar todas las soluciones de 1z = 2i.
(c) Calcular el anillo de convergencia de la serie
zn
n2
+
n2
(2z)n
n=1
x2 + 1
dx
x4 + 1
[Sol. / 2.] [Examen Septiembre 2003]
3.29 Calcular
x
dx,
1 + x2
R,
0 < || < 1.
Como z = e ln z siendo un nmero no entero, es una funcin multivaluada, cuyo punto de

ramicacin es el z = 0, suponer un circuito que no contenga al semieje real positivo.
[Sol. /2 cos(/2)] [Examen Junio 2005]
3.30 Determinar el valor de la integral denida en el plano complejo

2
2
(z 2
z
dz
+ 1)2
a lo largo de los siguientes caminos:

1) A lo largo de la recta sobre el eje real x que une los puntos x1 = 2 y x2 = 2.
2) A lo largo del semicrculo de radio 2 y centro el origen que une ambos puntos por la parte inferior
del plano complejo en que Im z 0.
3) Calcular los residuos del integrando en sus polos.
4) Desarrollar el integrando en serie de Laurent alrededor del punto z0 = i. Cul es el radio de
convergencia de esta serie?
[Examen Parcial Abril 2006]
3.31 Calcular la
[Examen Junio 2007]
x
dx.
x3 + x
25
3.32 Sabiendo que f (z) es una funcin analtica en la regin |z| < 10 y que f (0) = 1, f (0) = 2,
f (2) = 3 y f (2) = 4, determinar el valor de la integral
z + (z 2)2
|z|=5
3
z 2 (z 2)
f (z)dz
26
Captulo 4
Series de potencias
Serie de Taylor
Como una funcin analtica f (z) en un punto z0 admite innitas derivadas en ese punto, entonces
se puede desarrollar en serie de Taylor:
f (z) =
f (n) (z0 )
n
(z z0 ) ,
n!
n=1
donde la serie converge dentro de un crculo con centro en z0 y de radio, en general, la distancia de
z0 hasta la singularidad de f (z) ms prxima. Los valores de las sucesivas derivadas en z0 se pueden
calcular directamente o bien mediante la frmula integral de Cauchy:
f (n) (z0 ) =
n!
2i
f (z)
dz.
(z z0 )n+1
Serie de Laurent
Si el punto z0 fuera un punto singular de la funcin f (z), que es analtica sobre el contorno y en el
interior de un anillo comprendido entre los crculos C1 y C2 con centro en z0 , entonces admite un
desarrollo en la forma
f (z) =
an (z z0 ) = +
a2
a1
an
+ +
+
+a0 +a1 (z z0 )+a2 (z z0 )2 +
n
2
(z z0 )
(z z0 )
z z0
que es convergente para todo punto z perteneciente al anillo entre C1 y C2 , y donde los coecientes
se calculan mediante
an =
1
2i
Ci
f (z )
dz ,
(z z0 )n+1
(n = 0, 1, 2, . . .)
A la parte 0 que contiene las potencias positivas de (z z0 ), se le denomina la parte analtica

de f (z) y a la que contiene las potencias negativas (las potencias de 1/(z z0 )) se le denomina la
parte principal del desarrollo en serie de Laurent de la funcin f (z). La diferencia con la serie de
Taylor es que en aquel caso solamente tenemos los coecientes an con n 0 y que adems coinciden
con el valor de las derivadas an = f (n) (z0 )/n!, cosa que en el desarrollo Laurent dichas derivadas no
existen porque pudiera ser z0 un punto singular, pero el clculo de los coecientes an se puede hacer
mediante una integral denida a lo largo de un circuito que rodee a la singularidad.
Para calcular los coecientes an con n positivo, el circuito de integracin es el exterior C2 , en tanto
que los an con n negativo el circuito es el interior C1 , ambos recorridos en sentido positivo. Conviene
observar que una vez jados los circuitos C1 y C2 que limitan la regin anular, los coecientes an
son jos e independientes del punto z en el que se pretende evaluar la serie.
Progresin geomtrica: Sn = a1 + a1 r + a1 r2 + a1 rn1 = a1 (1 rn )/(1 r).
Singularidades
Si la parte principal del desarrollo en serie de Laurent de una funcin f (z), alrededor de un punto
z0 , contiene innitos trminos, se dice que f (z) tiene en z0 una singularidad esencial.
27
28
CAPTULO 4. SERIES DE POTENCIAS

Si la parte principal tiene un nmero nito de trminos
a1
a2
an
+
,
+
z z0
(z z0 )2
(z z0 )n
entonces se dice que z0 es un polo de orden n de f (z). Si n = 1, entonces se dice que el polo es
simple.
Si la funcin uniforme f (z), no est denida en z0 , pero existe el lmzz0 f (z), se dice que z0 es
una singularidad evitable (o eliminable), pues nos permite denir f (z0 ) lmzz0 f (z).
Para el anlisis de la singularidad de una funcin f (z) en el innito, se hace el cambio de variable
w = 1/z y se analiza el desarrollo en serie de Laurent de la funcin F (w) f (1/w), alrededor de
w = 0. La correspondiente singularidad se dice que es la singularidad de f (z) en el innito.
Se dice que un punto z0 es un punto de ramicacin de una funcin multivaluada f (z) si se
salta entre las distintas ramas de f (z) cada vez que z recorre un camino que rodea a z0 .
Criterios de convergencia de series: Una condicin necesaria para la convergencia de una serie
n=
zn es que lmn |zn | = 0. La serie funcional n=0 an fn (z) es absolutamente convergente para
aquellos valores de z tal que
lm
an fn (z)
< 1,
an1 fn1 (z)
lm
|an fn (z)| < 1,
y divergente si el correspondiente lmite es > 1.

Teorema Si una serie de nmeros complejos zn es absolutamente convergente (es decir converge
la
|zn |), entonces la serie es convergente.
Teorema Si una serie de potencias an z n converge para z = z1 , entonces es absolutamente convergente para todo z tal que |z| < |z1 |.
Teorema Una serie de potencias an z n = S(z) representa a una funcin analtica S(z) en todo
punto z del interior de su crculo de convergencia.
Teorema Una serie de potencias S(z) = an z n puede derivarse trmino a trmino en todo punto
interior de su crculo de convergencia. Esto es S (z) =
nan z n1 .
Teorema Si la serie an (z z0 )n converge hacia f (z) en todos los puntos interiores a cierta
circunferencia |z z0 | = R0 , entonces esa serie es el desarrollo en serie de Taylor de la funcin f (z)
en potencias de z z0 .
Teorema La serie de potencias que dene a la funcin analtica f (z) para valores de z dentro del
crculo de convergencia, es uniformemente convergente para todos los puntos interiores de su crculo
de convergencia.
Teorema Toda serie de potencias de f (z) puede derivarse trmino a trmino y dene la serie de
potencias de la funcin derivada f (z) para puntos z interiores de su regin de convergencia.
Este teorema se extiende tanto a las series de potencias positivas (parte analtica) como negativas
(parte principal).
Teorema Si dos series de potencias an z n = f (z) y bm z m = g(z) convergen respectivamente a
las funciones analticas f (z) y g(z) dentro de sus crculos de convergencia, la serie formada por las
sumas de ambas
an z n +
bm z m = a0 + b0 + (a1 + b1 )z + (a2 + b2 )z 2 +
converge hacia la funcin f (z) + g(z) para aquellos puntos z interiores a ambos crculos de convergencia.
Teorema Si dos series de potencias an z n = f (z) y bm z m = g(z) convergen respectivamente a
las funciones analticas f (z) y g(z) dentro de sus crculos de convergencia, la serie formada por los
productos de ambas
an z n
bm z m = a0 b0 + (a0 b1 + a1 b0 )z + (a0 b2 + a1 b1 + a2 b0 )z 2 +
converge hacia la funcin f (z)g(z) para aquellos puntos z interiores a ambos crculos de convergencia.
Teorema: Ceros de las funciones analticas. A menos que f sea idnticamente nula, si es analtica
en un punto z0 , existe un entorno de z0 en el cual la funcin no se anula, excepto posiblemente en el
propio punto. Por lo tanto, los ceros de una funcin analtica son puntos aislados.
29
Problemas
4.1 Encontrar el radio de convergencia de las series
(1)n1 z 2n1
,
(2n 1)!
n=1
a)
n!z n .
b)
n=1
4.2 Encontrar la serie de Laurent de las siguientes funciones y a partir del punto z0 que se indica,
determinando su radio de convergencia
a)
e2z
;
(z 1)3
z0 = 1,
z sin z
;
z3
c)
1
;
z+2
b) (z 3) sin
z0 = 0,
d)
z
;
(z + 1)(z + 2)
z0 = 2.
z0 = 2.
4.3 Encontrar los conjuntos de puntos z en los cuales las siguientes series de Laurent son convergentes.
2|n| z n ,
a)
b)
n=
zn
,
n
3 +1
n=
1
2n + 1
e)
2n (z + 1)n ,
c)
d)
n=
n=
(z a)2n ,
n=
2n z n ,
f)
2n z n .
g)
n=
zn
,
+1
n2
n=
4.4 Desarrollar la funcin 1/(z 3) en una serie de potencias de z que sea convergente: a) para
|z| < 3 y b) para |z| > 3.
4.5 Demostrar que el punto z = a es una singularidad evitable de las funciones que se indican:
a)
d)
z2 1
, (a = 1);
z1
1 cos z
(a = 0);
z2
b)
e)
ez
sin z
, (a = 0);
z
c)
1
1
, (a = 0);
1 sin z
z
, (a = 0);
tan z
f)
z2 1
, (a = ).
z3 + 1
4.6 Demostrar que el punto z = a es un polo de las funciones que se citan, indicando el orden del
polo.
a)
d)
1
, (a = 0);
z
z
(a = 0);
1 cos z
1
, (a = i);
(z 2 + 1)2
b)
e)
z
, (a = i);
ez + 1
f)
z2 + 1
, (a = );
z+1
c)
tan z, (a = 1/2, 3/2, . . .).
4.7 Demostrar que el punto z = a es una singularidad esencial de las funciones que se indican:
a) ez , (a = );
d) z 2 cos
(a = 0);
z
b)
e)
4.8 Sea la funcin de variable compleja
ez , (a = );
etan z , (a = /2);
c)
sin
f)
, (a = 0);
z2
sin ez , (a = ).
e 1z .
(a) Decir si el punto z0 = 1 es un polo simple, un polo esencial o una singularidad evitable de esa
funcin.
30
(b) Desarrollar en serie de potencias de z , alrededor del punto z0 = 0 y en la regin 1 < |z| < la
funcin
ez
z(1 z)
(c) Escribir explcitamente los coecientes del anterior desarrollo que afectan a las potencias z n para
n = 2, 1, 0, 1, 2.
4.9 Desarrollar en serie de Laurent segn potencias de z a en la corona D, las siguientes funciones.
Se indica entre parntesis el punto a y la corona D dentro de la cual la serie sea convergente.
1
, (a = 1, D : 1 < |z 1| < 2),
z(z 3)2
1
, (a = 1, D : 1 < |z 1| < 2),
(z 2 9)z 2
z+i
, (a = i, i D),
z2
z2 1
, (a = 1, 2i D),
z2 + 1
2z
, (a = 1, 1 D),
2
z 2i
1
3
, (a = 0, D).
z(z 1)(z 2)
2
a)
b)
c)
d)
e)
f)
4.10 Sea
f (z) =
cos
1
1+z
1z
(a) Determinar todos sus puntos singulares y clasicarlos.

(b) Encontrar la parte principal del desarrollo de Laurent en la regin 0 < |z ( + 2)/( 2)| < R
[Examen Junio 2007]
4.11 a) Demostrar que para todo complejo p, la funcin (1 + z)p admite el siguiente desarrollo en
serie de potencias alrededor del punto z0 = 0:
(1 + z)p = 1 +
p
p(p 1) 2
p(p 1) (p n + 1) n
z+
z + +
z +
1!
2!
n!
Cul es el radio de convergencia de esta serie?

b) Cmo ser el desarrollo en serie de esta funcin alrededor del punto z0 = 0 pero que sea convergente para |z| > 1?
c) Aplicar los resultados anteriores para encontrar sendas series convergentes en potencias de z alrededor de z0 = 0 de la funcin (2i + z)1/2 , indicando sus regiones de convergencia. [Parcial Abril
2002]
4.12 Dada la funcin compleja
z3
,
(z + 1)(z 2)
se pide:
(a) Encontrar los residuos en sus polos y en el punto del innito.
(b) Encontrar el desarrollo en serie de Laurent en potencias de (z + 1), convergente en el dominio
0 < |z + 1| < 3.
(c) Encontrar el desarrollo en serie de Laurent en potencias de (z + 1), convergente en el dominio
|z + 1| > 3.
(d) Desarrollar en serie de potencias de z alrededor del punto del innito.
31
4.13 Obtener el desarrollo en serie de la funcin 1/(1 z) alrededor del punto z0 = 0. Demostrar
que los desarrollos en serie de sus derivadas se escriben como
1
=
nz n1 ,
(1 z)2
n=1
1
n(n 1) n2
=
z
,...
(1 z)3
2
n=2
1
=
(1 z)k
n=k
n nk+1
z
k
obtenidos sin ms que derivar trmino a trmino la serie de la funcin dada. En qu dominio son
convergentes estas ltimas?
4.14 Desarrollar en serie la funcin 1/z alrededor del punto z0 = 1. Obtener el desarrollo en potencias
de z 1 de las funciones 1/z 2 y 1/z 3 indicando la regin de convergencia.
4.15 Encontrar la parte principal de la serie de Laurent para las siguientes funciones, en el entorno
del punto z0 que se indica:
z
, (z0 = 2).
(z + 2)2
z1
, (z0 = 0).
sin2 z
eiz
, (z0 = ib, b > 0).
z 2 + b2
(z 2 + 1)2
, (z0 = ).
z 2 + b2
a)
b)
c)
d)
[Sol.(a) 2/(z + 2)2 + 1/(z + 2); (b) 1/z 2 + 1/z ; (c) ieb /2b(z ib); (d) z 2 . ]
4.16 Calcular los desarrollos de Laurent de f (z) = 1/z(z 2 1) en los anillos 0 < |z 1| < 1 y
1 < |z 1| < 2. [Examen Junio 2002]

1. Calcular el desarrollo en serie de potencias centrada en z = 1 de la funcin log (1 + z) y hallar
su radio de convergencia.
2. Determinar el dominio de analiticidad y clasicar todas las singularidades de la funcin
f (z) =
(z 1)(z 2)3
.
sin3 (z)
Calcular el residuo en z = 2.
3. Hallar el desarrollo de Laurent de f (z) = 1/(z 2 1)2 en 0 < |z 1| < 2.
4.18 Clasicar las singularidades aisladas de

f (z) =
z 2i 2i
+
ez 1
z
as como el valor del lmite de f (z) en sus singularidades evitables y el residuo donde proceda.
[Examen Junio 2003]
4.19 Sea
ln(1 + z) z
, m N.
zm
Analizar el tipo de singularidad en z0 = 0 y calcular el residuo de f (z) en ese punto para cada valor
de m.
f (z) =
32
4.20 (a) Determina y clasica las posibles singularidades de f (z) =
1
z 2 sinh z
.
(b) Hallar la parte principal del desarrollo de Laurent de f en potencias de z en un anillo 0 < |z| < R.
Cul es el valor de R?.
(c) Calcular
f (z)dz
|z|=1
f (z)dz
|z|=5
[Examen Junio 2004]
4.21 (a) Encontrar la parte principal del desarrollo en serie de Laurent de la funcin
f (z) =
ez + 1
,
ez 1
alrededor de los puntos z1 = 2i y z2 = 4i.

(b) Cul ser el radio de convergencia de la correspondiente serie en el caso (z2 = 4i)?
(c) Calcular los dos primeros trminos no nulos de la parte analtica de su desarrollo en serie de
Laurent alrededor del punto z3 = 0.
(d) Clasicar las singularidades de f (z).Es el punto del innito un punto singular?
[Examen Junio 2006]
4.22 (a)Desarrollar en potencias de z , alrededor del punto del innito, la funcin

sinh 1 z1
(z 1)2 z 3
(b) Cunto vale el residuo de la funcin en el innito?
(c) Determinar las singularidades de la funcin indicando si se trata de polos de orden nito, polos
esenciales o singularidades evitables. En el caso de polos de orden nito, determinar su orden. En
todos los casos calcular los residuos en los polos. [Parcial Abril 2007]
Captulo 5
Residuos
Residuo: Se denomina Residuo de una funcin en un punto z0 , y lo representamos por Resf (z0 ),
a la magnitud
1
R0 2i
Resz=z0 f (z) = lm
f (z)dz = Res f (z0 ),

|zz0 |=R
donde R > 0 es tan pequeo como queramos. El clculo del residuo en un punto involucra el clculo
de una integral a lo largo de un circuito cerrado que rodea al punto seguida de un lmite R 0.
Si el punto z0 es un punto regular de f (z) su residuo en z0 es nulo. Para el clculo del residuo de
una funcin en el punto del innito se dene mediante:
Res f () = lm
1
2i
f (z)dz.
|z|=R
Teorema de los Residuos
Si una funcin f (z), analtica en una regin R salvo tal vez en un conjunto nito de puntos singulares
zi , i = 1, . . . , k , entonces si C es un circuito cerrado contenido en R y que encierra a los anteriores
k puntos singulares, se tiene que
k
f (z)dz = 2i
C
(Resf (zi )).

i=1
Si el punto z0 es un polo simple, entonces
Resf (z0 ) = lm (z z0 )f (z).

zz0
Si el punto z0 es un polo de orden n, entonces
Resf (z0 ) =
1
dn1
lm
((z z0 )n f (z)) .
(n 1)! zz0 dz n1
Corolario Si consideramos funciones analticas que solamente poseen puntos singulares aislados,
entonces la suma de los residuos en todos sus puntos, incluido el innito, vale 0.
Corolario Si una funcin es desarrollable en serie de Laurent alrededor de un punto singular aislado
z0 , entonces el coeciente a1 de su desarrollo en serie de Laurent, es el residuo de f (z) en z0 .
El residuo en el punto del innito, tanto si este punto es singular como si no lo es, coincide con el
coeciente cambiado de signo a1 del desarrollo en potencias de z alrededor del punto del innito.
Puede resultar que aunque el punto del innito sea un punto regular de f (z), su residuo sea diferente
de cero.
33
34
CAPTULO 5. RESIDUOS
Problemas
5.1 Para cada una de las siguientes funciones, determnense los polos y los residuos en los polos:
a)
2z + 1
;
z2 z 2
z+1
z1
b)
c)
sin z
;
z2
1
;
cosh z
d)
e)
cot z;
5.2 Evaluar
e1/z sinh(1/z)dz,
C
donde C es la circunferencia |z| = 1.
5.3 Demostrar, pasando al campo complejo, las siguientes integrales:
sin x
dx = ,
x
2
sin x2 dx =
cos x2 dx =

(z 3
1
2
,
2
sin z
dz
z)(z i)
donde C es:
a) El circuito cerrado |z 1| = 1.
b) El circuito cerrado |z| = 2.
[Sol. [(i 1) sin 1]/2 y i(sin 1 sinh 1).][Parcial Abril 2004]
5.5 Calcular
sin z
ez
, b) Resz= ei/z , c) Resz=1
,
2
z
(z 1)2
1
d) Resz= z 2 sin , e) Resz= z n ea/z , f) Resz=1 ze z1 .

z
[Sol. (a) 1; (b) i; (c) e; (d) 3 /6; (e) an+1 /(n + 1)!; (f) 3/2.]
a) Resz=
5.6 Encontrar los residuos de las funciones que se indican en todos sus puntos singulares nitos
a)
d)
1
,
z + z3
z2
,
1 + z4
b)
sin z
,
(z 1)3
e)
1
,
(z 2 + 1)3
c)
1
,
sin z 2
f)
1
.
ez + 1
5.7 Encontrar los residuos de las funciones que se indican en todos sus puntos singulares y en el
innito:
a)
1
,
6
z (z 2)
d)
b)
1 + z8
,
z 6 (z + 2)
1
sin z sin ,
z
e)
c)
1 + z 2n
,
z n (z a)
cos z
,
+ 1)2
(z 2
f)
a = 0, n = 1, 2, . . .
sin z
.
+ 1)2
(z 2
5.8 Calcular las siguientes integrales a lo largo del contorno C de la regin D que se indica:
a)
C
b)
C
c)
C
d)
C
e)
C
dz
, (D : |z 1| < 1),
1 + z4
dz
, (D : |z 1 i| < 2),
(z 1)2 (z 2 + 1)
sin z
dz, (D : x2/3 + y 2/3 < 22/3 ),
(z + 1)3
dz
, (D : 2 < |z| < 4),
(z 2 1)2 (z 3)2
z 1/3z
e
dz, (D : |z| > 4).
z+3
35
5.9 Probar que la integral en variables reales
I=
0
3
(ln u)2
du =
.
2
1+u
8
(Sugerencia: Tomar como circuito dos semicrculos centrados en el origen, de radios 0 y R ,

unidos a lo largo de los dos tramos del eje OX .)
5.10 Vericar que la integral

2
0
d
2
=
,
2
a + b sin
a b2
5.11 Vericar que la integral
2
0
a > |b|.
cos 3
d =
.
5 4 cos
12
5.12 Dada la siguiente funcin de la variable compleja z ,

f (z) =
z2
1
,
+ 2(1 i)z 2i
determinar:
a) la integral f (z)dz a lo largo de la recta que va desde el punto A, z1 = 2 hasta el punto D,
z2 = 0.
b) la integral f (z)dz entre los dos mismos puntos, pero ahora a lo largo del camino ABCD indicado
en la gura.
c) Determinar los polos de f (z) y los residuos en los mismos.
d) Calcular los polos de su funcin derivada f (z) y los residuos en los mismos.
e) Encontrar el desarrollo en serie de Laurent de la funcin f (z) alrededor del punto z0 = 1 + i.
Para qu valores de z es esta serie convergente? [Parcial Abril 2002]
5.13 Sea dada la elipse E de semiejes a y b, a > b, z() = a cos + ib sin , 0 . Si la
desplazamos un valor z0 = c, obtenemos zE () = a cos c + ib sin , 0 . Demostrar que las

integrales
2
2
a c cos
d =
H(a c),
I1 =
2
2
a + c 2ac cos
a
0
2
I2 =
0
c2
a2
cos2
2
a c cos
2 d = b H(a c),
2
2ac cos + b sin
36
CAPTULO 5. RESIDUOS
siendo H(x) la funcin escaln de Heaviside, es decir
H(x) = 0,
x < 0,
Demostrar asmismo que
H(x) = 1,
x > 1.
dz
= bI2 = 2H(a c).
z
Im
E
5.14 Calcular el valor de la integral

2
d
,
a + b cos
a > |b|.
Aplicar el resultado anterior para calcular

2
0
d
.
(5 3 cos )2
[Sol. 2/ a2 b2 y 5/32.] [Parcial Abril 2002]
5.15 Sabiendo que a > 0, calcular
[Sol. e
x sin ax
dx
x4 + 4
sin a/2.] [Examen Junio 2003]
I=
0
dx
,
(x2 + a2 )5
a > 0.
[Sol. 35/256a9 ] [Examen Septiembre 2004]
5.17 Calcular
sin x
dx .
6 + 1)
x(x
0
2
1
Sol. I =
1 cos( 3/2)
2
3e
3 e
I=
[Examen Junio 2004]
5.18 Encontrar el residuo en el punto z0 de la funcin F (z) denida mediante

F (z) =
f (z)
,
f (z)
si:
(a) La funcin f (z) es regular en z0 , pero el punto z0 es un cero de orden n de la funcin f (z).
(b) El punto z0 es un polo de orden m de la funcin f (z).
(c) Aplicar los resultados anteriores a la funcin F (z) construida a partir de f1 (z) = (z 1 + 2i)3 en
el punto z1 = 1 2i y a partir de la funcin f2 (z) = 1/(z i)4 an el punto z2 = i.
[Examen Junio 2005]
5.19 Resolver la siguiente integral denida:

+
dx
(x2 + 4x + 5)2
5.20 Calcula la siguiente integral impropia, siendo a > 0 y b > 0
[Sol. /2 + eab ]
(x2 b2 ) sin ax
dx.
(x2 + b2 )x
37
5.21 Sea
f (z) =
z8
+ z 2 sin
(z 1)4
1
z+1
Clasica sus puntos singulares nitos e innitos aislados y calcula la integral
f (z)dz
|z|=2
5.22 Calcular la
4
0
2 cos
d
5 + 4 sin(/2)
5.23 Calcular las integrales
cos2 d,
sin3 d,
utilizando tcnicas de variable compleja.[Parcial Abril 2007]
5.24 Calcular la
2
0
d
2 sin2 (/2)
38
CAPTULO 5. RESIDUOS
Captulo 6
Transformacin conforme
Cuando en un dominio R de variables x1 , . . . , xn hacemos un cambio de variables a otras y1 , . . . , yn ,
el elemento de volumen de ese espacio transforma:
dy1 dy2 dyn =
(y1 , . . . , yn )
dx1 dx2 dxn ,
(x1 , . . . , xn )
siendo |(y1 , . . . , yn )/(x1 , . . . , xn )| el determinante de la matriz Jacobiana (el Jacobiano) de la

transformacin.
Toda funcin analtica puede ser considerada como una transformacin del plano (x, y) en el
plano (u, v). El Jacobiano de la transformacin es el determinante
(u, v)
=
(x, y)
u
x
v
x
u
y
v
y
u v
u v
=
x y
y x
u
x
u
y
= |f (x, y)|2 .
Por lo tanto la transformacin es invertible en aquellos puntos en los que el Jacobiano sea distinto
de cero, es decir f (z) = 0. Los puntos en los que f (z) = 0 reciben el nombre de puntos crticos de
la transformacin.
Transformacin conforme
Si w0 = f (z0 ) es el punto transformado del z0 mediante la funcin analtica f (z), entonces un

elemento de arco en z0 , z se transforma en el elemento de arco w en w0 . Se tiene que en el
lmite w/z = f (z0 ), con lo que el arg w = arg z + arg f (z0 ). Adems de cambiar de tamao,
w aparece girado un ngulo arg f (z0 ) respecto de z , por lo que dos curvas cualesquiera que
pasen por z0 tienen por curvas transformadas otras dos curvas que en w0 forman el mismo ngulo.
Se dice que la transformacin conserva la forma local de la orientacin entre curvas, o que es una
transformacin Conforme. Como |w| = |z||f (z0 )|, entonces el rea de una gura pequea en z0
queda reescalada en el factor |f (z0 )|2 , que es precisamente el Jacobiano de la transformacin en ese
punto.
Los paralelogramos innitesimales en cada punto se transforman en paralelogramos innitesimales con su rea reescalada en el factor |f (z0 )|2 y girados un ngulo que es arg f (z0 ). Las guras
geomtricas nitas no conservarn en general su forma, ya que tanto el factor de escala como el giro
son funciones del punto z0 , por lo que en general la forma global de una gura transformada no tiene
por qu ser idntica a la gura primitiva.
Sistemas de curvas ortogonales
Si w = u + iv = f (z) f (x + iy) resulta que las curvas u(x, y) =cte. y las curvas v(x, y) =cte.
forman un sistema de curvas ortogonales dos a dos en aquellos puntos en los que f (z) = 0.
Transformacin de funciones armnicas
Si H(x, y) es una funcin armnica de las variables x e y y tenemos una funcin analtica z =
g(w) g(u + iv) que nos produce las funciones x(u, v) e y(u, v), entonces la funcin de las variables
u y v , L(u, v) = H(x(u, v), y(u, v)) es una funcin armnica de estas nuevas variables.
Adems las curvas H(x, y) = C , son transformadas en las curvas L(u, v) = C , mediante la
transformacin analtica z = f (w) en los puntos en que f (w) = 0.
39
40
CAPTULO 6. TRANSFORMACIN CONFORME
Problemas
6.1 Vericar que el elemento de rea en el plano en coordenadas cartesianas dxdy se escribe en
coordenadas polares como rdrd, siendo r el Jacobiano de la transformacin de coordenadas.
6.2 Se denomina transformacin homogrca, tambin llamada a veces transformacin bilineal o lineal fraccionaria a la
w T (z) =
z +
,
z +
= 0.
Demostrar que si no se cumple la condicin = 0, entonces la transformacin no es una

transformacin conforme.
6.3 Demostrar que la transformacin homogrca inversa es la

z=
w
w +
con lo que el conjunto de transformaciones homogrcas forma un grupo que es homomorfo al grupo
de matrices complejas 2 2 de determinante unidad, SL(2, C).
6.4 Demostrar que la transformacin homogrca se puede considerar como la combinacin de las
siguientes transformaciones: Traslacin, rotacin, homotecia y de una inversin. Caracterizar cmo
deben ser los parmetros , , y para cada una de estas operaciones.
6.5 Demostrar que una transformacin homogrca transforma crculos del plano z en crculos o
rectas del plano w. Asmismo, demostrar que la imagen de una recta es otra recta o un crculo.
6.6 Demostrar que cualquier transformacin homogrca w(z) verica la ecuacin diferencial 2w w =
3(w )2
6.7 Encontrar para las siguientes transformaciones las imgenes de los dominios que se indican:
(a) w = i
z+1
,
z1
el disco |z| < 1,
(c) w =
(b) w =
z
,
z1
z
,
z1
el sector 0 < arg z < /4,
la banda 0 < x < 1.
6.8 Encontrar los puntos jos (o invariantes) de la transformacin

w=
2z 5
z+4
[Sol. z = 1 2i.]
6.9 Encontrar los puntos simtricos (o inversos) del punto 3 + 4i con respecto a los crculos
(a) |z| = 1,
(b) |z 1| = 1,
(c) |z i| = 2.
6.10 Demostrar que la transformacin homogrca tiene las propiedades siguientes:

(a) Posee al menos un punto jo (a distancia nita o en el innito);
(b) Posee como mximo dos puntos jos (a distancia nita o en el innito).
6.11 Demostrar que una transformacin homogrca T (z) que tiene un nico punto jo a, verica
la ecuacin:
1
1
=
+ A,
T (z) a
za
si a es nito, o bien T (z) = z + A si a = y donde A es un nmero complejo constante.
41
6.12 Demostrar que una transformacin homogrca T (z) que tiene dos puntos jos nitos a y b
con a = b, verica la ecuacin:
T (z) a
za
=k
,
T (z) b
zb
donde k es un nmero complejo constante distinto de 1.
6.13 Demostrar que si z1 , z2 y z3 son tres puntos distintos nitos y w1 , w2 y w3 otros tres puntos
distintos y nitos, existe una nica transformacin homogrca que los relaciona mediante wi = f (zi )
y que esta funcin se puede obtener mediante
w w1
w w2
w3 w1
w3 w2
z z1
z z2
z3 z1
z3 z2
Cmo es la transformacin si alguno de los zi y/o de los wi es el punto del innito?
6.14 Encontrar la transformacin homogrca que lleva los puntos 1, i y 1 + i a los puntos
(a) 0, 1, ,
(b) 1, , 0,
(c) 2, 3, 4.
6.15 Encontrar la transformacin homogrca que lleva los puntos 0, 1 + i y 2i a los puntos
(a) 4, 2 + 2i, 0,
(b) 0, 2 + 2i, 4,
(c) 0, , 2i.
Encontrar la imagen del disco |z i| < 1 por las aplicaciones a que dichas transformaciones dan
lugar.
Asmismo las transformaciones que nos llevan los puntos i, , i a los puntos
(d) 2, 1 + i, 0,
(e) 0, 1, ,
(f) 2, 2i, 2,
y encontrar la imagen del semiplano Re z > 0 mediante la correspondiente transformacin.

[Sol. (a) w = 2iz + 4, |w 2| < 2,(b) w = 2zi/(iz + 1), |w 2| > 2, (c) w = (i 1)z/(z 1 i),
Re w > 0.]
6.16 Supongamos que la funcin w = f (z) posee por desarrollo en serie de Taylor alrededor del
punto a:
f (n) (a)
w = f (z) = f (a) + f (a)(z a) + +
(z a)n +
n!
Demostrar que si las derivadas f (k) = 0 para k = 1, . . . , n 1 pero f (n) = 0, entonces los ngulos
que forman las tangentes a las curvas que pasan por el punto crtico a en el plano z , se multiplican
por n para sus imgenes en el plano w.
6.17 Demostrar que si en el plano z tenemos una curva caracterizada por sus ecuaciones paramtricas
x = F (t), y = G(t), t [t1 , t2 ], entonces la transformacin al plano w dada por z = F (w) + iG(w),
transforma la curva dada en el segmento de eje real [t1 , t2 ]. Aplicarlo al caso de la elipse centrada en
el origen y de semiejes a y b.
6.18 Demostrar que si H(x, y) es una funcin armnica y z = f (w), es decir x + iy = f (u + iv) es
una funcin analtica de w, el cambio de variables denido por x = x(u, v), y = y(u, v) es tal que la
funcin F (u, v) = H(x(u, v), y(u, v)) estambin una funcin armnica en las variables u y v .
42
CAPTULO 6. TRANSFORMACIN CONFORME
Captulo 7
Aplicaciones
Teorema de la aplicacin de Riemann Sea C una curva simplemente conexa que es el contorno
de una regin R. Sea C la circunferencia unidad centrada en el origen, que es el contorno de la
regin R , llamada disco unidad. Entonces existe una aplicacin analtica 1 a 1 en R, w = f (z) que
aplica R en R y C en C .
Esta funcin depende de tres constantes arbitrarias y aunque Riemann demuestra su existencia
no suministra ningn mtodo para encontrarla.
Problema de Dirichlet en el crculo unidad Sea C la circunferencia unidad centrada en el

origen, que encierra al disco unidad R. Una funcin F (r, ) que satisface la ecuacin de Laplace en
R y que toma unos valores determinados h() F (1, ) sobre C viene dada por
F (r, ) =
1
2
2
0
(1 r2 )h()d
.
1 2r cos( ) + r2
Problema de Dirichlet en el semiplano superior complejo Una funcin armnica F (x, y) en

el semiplano superior Im(z) > 0 y que toma unos valores determinados h(x) F (x, 0) sobre el eje
real viene dada por
1
yh(t)dt
F (x, y) =
.
y 2 + (x t)2
La funcin Gama de Euler (z) es la generalizacin a variables continuas de la funcin factorial,

(n + 1) = n! y se dene como
(z) =
et tz1 dt,
(Re(z) > 0).
Para Re(z) 0 se puede extender por prolongacin analtica. Posee polos simples en z = 0, 1, 2, . . ..
La funcin Beta de Euler se dene como
1
B(r, s) =
tr1 (1 t)s1 dt,
(r > 0, s > 0).
Si r o s son enteros, estn relacionadas mediante
B(r, s) =
(r)(s)
.
(r + s)
La funcin Zeta de Riemann (z) se dene para Re(z) > 1 como
(z)
1
1
1
+ z + z + =
1z
2
3
43
k=1
1
,
kz
Re(z) > 1.
44
CAPTULO 7. APLICACIONES
Se puede ver que
(z) =
1
(z)
tz1
dt,
et + 1
(Re(z) > 0),
cuya nica singularidad es un polo simple en z = 1 y de residuo 1.
Problemas fsicos
Las ecuaciones del potencial electrosttico 2 V = / 0 son tales que en los puntos del espacio
en los que la densidad de carga elctrica se anule = 0, el potencial satisface la ecuacin de Laplace.
En el caso de problemas bidimensionales se podr representar el potencial mediante la parte real
(o imaginaria) de una funcin analtica, de tal manera que la parte imaginaria (o real) representar
a las curvas que son ortogonales a las supercies equipotenciales, es decir a las lneas del campo
elctrico. De esta manera una misma funcin analtica describe a la vez las supercies equipotenciales
y las lneas del campo. Los puntos en los que existan singularidades de la funcin analtica, estarn
relacionados con las fuentes del campo pues en ellos se deja de cumplir la ecuacin de Laplace.
Otros problemas fsicos interesantes pueden ser aquellos problemas bidimensionales en los que
existan fenmenos de transmisin de ondas, cuya ecuacin es de la forma
2 f (x, y, t) =
1 2 f (x, y, t)
,
c2
t2
y en el caso estacionario, cuando las funciones no dependan explcitamente del tiempo pues entonces
la ecuacin anterior se reduce a la ecuacin de Laplace bidimensional. La funcin f puede ser descrita por la parte real (o imaginaria) de una funcin analtica. Pueden referirse a ondas de sonido
bidimensionales, ondas de temperatura (ondas de transmisin de calor), etc.
La mecnica de uidos satisface la ecuacin de continuidad
d
+ v = 0,
dt
siendo la densidad del medio y v el campo de velocidad del uido. Si suponemos el uido incompresible, d/dt = 0 y si adems el rgimen del mismo es irrotacional, rotv = 0, con lo que el campo
de velocidad se puede derivar de una funcin potencial, v = , resulta entonces que 2 = 0.
Ejemplos bidimensionales de mecnica de uidos en rgimen irrotacional quedarn descritos por la
parte real (o imaginaria) de una funcin analtica cuya parte imaginaria (o real) describir las lneas
del campo de velocidad, esto es, las lneas de corriente.
Corriente alterna
Cuando en un circuito circula una corriente alterna I(t) = I0 cos t, la diferencia de potencial
entre los diferentes elementos del circuito depende de su naturaleza. Si se trata de una resistencia
hmica R, la diferencia de potencial entre sus extremos es V (t) = I(t)R = I0 R cos t = V0 cos t,
con V0 = I0 R. Si es un condensador de capacidad C , entonces V (t) = (I0 /C) cos(t/2), mientras
que si es un dispositivo con un coeciente de autoinducin magntica L, V (t) = (I0 L) cos(t+/2).
Existe por lo tanto una relacin lineal entre la diferencia de potencial y la intensidad y a veces un
desfase temporal. Podemos representar tanto la intensidad I(t), la diferencia de potencial entre los
diferentes puntos V (t), como los atributos de los diferentes dispositivos mediantes variables complejas,
de tal manera que la parte de la I(t) y de la V (t) que medimos sea su componente real. As, hacemos
la sustitucin:
I(t) = I0 eit ,
R R,
C XC =
i
,
C
L XL = iL,
Re I(t) = I0 cos t,
de tal manera que cada dispositivo tiene ahora una impedancia compleja Z que se obtiene de
las anteriores asignaciones mediante las reglas habituales de la teora lineal de circuitos, en que
impedancias en serie se suman y para acoplamientos en paralelo, el inverso de la impedancia total es
la suma de los inversos de las correspondientes impedancias. El clculo de la diferencia de potencial
sigue las reglas de los dispositivos hmicos V (t) = I(t)Z . Por lo tanto la intensidad I(t) viene
caracterizada por un complejo de mdulo I0 que rota con velocidad constante y por lo tanto tiene
una fase t, de tal manera que Re I(t) representa
la intensidad real en este instante t. La impedancia
Z = R + iX , es un complejo de mdulo R2 + X 2 y de fase , tal que tan = X/R. Esto hace que
V (t) = I(t)Z = I0
R2 + X 2 ei(t+) ,
Re V (t) = V0 cos(t + ),
V0 = I0
R2 + X 2 .
45
Problemas
7.1 Encontrar en el plano complejo y en coordenadas polares (r, ) una funcin armnica que sea
independiente de r. Buscar la solucin particular que sobre la recta real toma los valores u(x, 0) = 1,
para x > 0 y u(x, 0) = 0, para x < 0.
7.2 Aplicando la resolucin del problema de Dirichlet en el semiplano superior, encontrar una funcin
armnica en esta regin Im(z) > 0 y que sobre la recta real toma los valores u(x, 0) = 1, para x > 0
y u(x, 0) = 0, para x > 0.
7.3 Demostrar que si F (x, y) es una funcin continua y derivable de las variables x, y , si hacemos
el cambio de variables del plano mediante una funcin analtica w = u + iv = f (z) f (x + iy),
entonces se tiene:
2 F (x, y) 2 F (x, y)
+
= |f (z)|2
x2
y 2
2 F (x(u, v), y(u, v)) 2 F (x(u, v), y(u, v))

+
u2
v 2
y si F es una funcin armnica en las variables x, y tambin lo es en las variables u, v si es que la

transformacin f (z) cumple f (z) = 0, es decir es una transformacin conforme.
7.4 Como caso especial del problema de Dirichlet en el plano, obtener la siguiente expresin para
una funcin armnica acotada F (x, y) en el primer cuadrante
F (x, y) =
1
1
h(t)dt,
(t x)2 + y 2
(t + x)2 + y 2
y > 0, x 0,
y que satisface las condiciones de contorno F (0, y) = 0 para y > 0 y F (x, +0) = h(x), x > 0,
pudiendo ser h(x) una funcin continua a trozos.
7.5 Encontrar el potencial de un campo vectorial irrotacional que posee dos fuentes (un manantial
y un sumidero) en los puntos z = a y z = a y de la misma intensidad. Determinar asmismo las
lneas del campo. (Nota: la divergencia del campo es nula salvo en los puntos a que es de la misma
intensidad 2k .)[Sol. V (z) = log((z + a)/(z a)).]
7.6 En un uido bidimensional irrotacional, se denomina potencial complejo de velocidad a la
funcin compleja (z) = U + iV cuya parte real U es el potencial de velocidad, es decir v = U y

su parte imaginaria V =cte. representa a las lneas de corriente. Si el contorno de un obstculo C
es una de las lneas de corriente, demostrar que la fuerza que la corriente hace sobre un obstculo
pequeo F = Fx i + Fy j escrita como el complejo F = Fx + iFy , verica:
i
F = Fx iFy =
2
d(z)
dz
dz,
siendo la densidad constante del uido. (Nota: El teorema de Bernoulli establece que a lo largo
de una lnea de corriente la presin p, la velocidad v y la altura y verican p + v 2 /2 + gy =cte.
Suponer que la variacin de gy es despreciable para obstculos pequeos.)
7.7 En el circuito de la gura, compuesto por una bobina de coeciente de autoinduccin L, un
condensador de capacidad C y una resistencia hmica de valor R, se aplica una diferencia de potencial
V (t) = V0 cos t entre los puntos a y b. Se pide:
(a) Determinar la impedancia del circuito entre los puntos a y b.
(b) Determinar qu frecuencia debe tener la tensin aplicada para que el circuito no presente
ninguna impedancia.
(c) qu impedancia tendr dicho circuito si la tensin aplicada es de frecuencia doble 2 ?
(d) Determinar en este segundo caso la corriente que circula por la resistencia.
(e) qu impedancia tendr dicho circuito si la tensin aplicada es una tensin continua V0 ? Qu
corriente circular en este caso por las dos ramas?
46
CAPTULO 7. APLICACIONES
Captulo 8
Curvas en dos y tres dimensiones

Una curva en R3 se expresa en forma paramtrica como
r(t) = x1 (t)e1 + x2 (t)e2 + x3 (t)e3 x(t)i + y(t)j + z(t)k,

siendo ei tres vectores unidad ortogonales y las funciones continuas xi (t) las coordenadas de cada
punto expresadas en trminos del parmetro arbitrario t. La curva se denomina regular si existe
vector tangente dr/dt = x1 (t)e1 + x2 (t)e2 + x3 (t)e3 en cada punto. Los puntos en los que no exista
vector tangente se denominan singulares. Si alguna de las funciones xi (t), por ejemplo la x(t) es tal
que su derivada x (t) = 0 para todo t, entonces podemos expresar t = t(x) y sustituir en las otras
dos y obtener las ecuaciones
y = f (x), z = g(x)
que son las ecuaciones cartesianas de la curva. Otra manera de expresar la ecuacin de una curva,
cuando la sustitucin anterior no es tan evidente, puede ser de forma implcita, mediante dos
funciones
F1 (x, y, z) = 0, F2 (x, y, z) = 0,
que corresponde formalmente al corte de dos supercies de R3 .
La longitud del arco de curva se calcula mediante
ds =
dx2 + dy 2 + dz 2 =
1 + y (x)2 + z (x)2 dx =
x (t)2 + y (t)2 + z (t)2 dt,
Si la curva es regular entonces ds/dt = 0 y podemos usar como parmetro la longitud del arco s.
Cuando la curva se expresa de forma paramtrica en trminos de la longitud de arco s, se dice que
, es un vector unidad
es la descripcin cannica de la curva. En este caso t(s) = dr(s)/ds r(s)
tangente a la curva. Cuando usamos este parmetro, las derivadas se representan mediante un punto
superpuesto, en vez de mediante una tilde. Su vector derivado ser ortogonal a l y lo denimos
mediante t(s)
(s)n(s), con n(s) el vector unidad normal principal y donde la funcin (s) se
denomina la curvatura de la curva en ese punto. A la funcin R(s) = 1/|(s)| se le llama radio de
curvatura. A la direccin del espacio que dene el vector n en ese punto, se le denomina direccin
normal principal a la curva.
Si en cada punto de la curva regular se dene b(s) = t(s) n(s), que resulta ser otro vector
unidad perpendicular a los dos anteriores, entonces en cada punto de la curva es posible denir un
sistema de tres vectores unidad ortogonales con la misma orientacin relativa que la de los ejes de
coordenadas. Se les denomina triedro mvil y los vectores reciben el nombre de vector unidad
tangente, normal y binormal, respectivamente.
La curvatura de una curva en un punto es el cambio por unidad de longitud del ngulo que forma
la recta tangente con una direccin ja. En dos dimensiones, si llamamos al ngulo que forma el
vector tangente con el eje OX , resulta que
d
,
ds
= arctan y (x),
y (x)
(1 + y
47
2
(x) )3/2
y (t)x (t) y (t)x (t)

2
(x (t) + y (t) )3/2
48
CAPTULO 8. CURVAS EN DOS Y TRES DIMENSIONES
Las ecuaciones fundamentales de la teora de curvas son las ecuaciones dinmicas del triedro
mvil t(s), n(s), b(s), que se denominan ecuaciones de Frenet-Serret:
t(s)
= (s)n(s),
Admiten la representacin
n(s)
= (s)t(s) + (s)b(s),
t = t,
n = n,
b(s)
= (s)n(s).
b = b,
donde el vector = t+b, llamado vector de Darboux, representa la velocidad angular instantnea
(con respecto al parmetro s) expresada en el sistema de referencia del triedro instantneo. As como
mide el cambio de orientacin del vector tangente, la magnitud (s) que se denomina la torsin
de la curva, corresponde al cambio de orientacin por unidad de longitud, del vector binormal b.
|| =
|r r |
,
|r |3
(r r ) r
.
|r r |2
Ecuaciones intrnsecas de una curva

El conocimiento de la curvatura (s) y de la torsin (s) determinan la curva salvo una rotacin
y una traslacin arbitrarias. Si el sistema de ecuaciones de Frenet-Serret es integrable, calculado el
vector t(s) = dr/ds e integrado de nuevo nos dar la ecuacin de la curva. En el caso de curvas planas
(s) = 0, es siempre posible integrar la ecuacin intrnseca (s) y obtener la ecuacin de la curva
r(s). En el caso tridimensional se puede llevar el sistema a una ecuacin de Ricatti. Una solucin de
la curva plana es integrar primero d/ds = (s) y obtener (s) y as usar como parmetro el ngulo
que forma el vector tangente y de esta forma
r() =
t()ds =
(cos e1 + sin e2 )
ds
d + c =
d
(cos e1 + sin e2 )
1
d + c,
()
con c un vector constante, que representa una traslacin. La rotacin arbitraria resulta de la constante
de integracin al obtener la expresin de (s).
Movimiento de una partcula
Una partcula que se mueve en el espacio describe una curva r(t), cuya ecuacin est escrita en
forma paramtrica, siendo el tiempo t el parmetro utilizado. De esta manera, denimos las siguientes
funciones:
a) vector de posicin, r(t),
b) velocidad, r (t) = dr(t)/dt,
c) aceleracin, r (t) = d2 r(t)/dt2 ,
Como asociado a cada punto de la curva existen tres vectores unidad (el triedro intrnseco) t, n
y b, en trminos de los cuales podemos expresar los anteriores vectores asociados a la partcula. As,
si llamamos v(t) = |r (t)| = ds/dt al valor absoluto de la velocidad, resulta
r (t) =
dr
dr ds
=
= v(t)r(t)
v(t)t(t).
dt
ds dt
La aceleracin
r (t) =
2
dv(t)
= dv(t) t(t) + v(t)2 (t)n(t) = dv(t) t(t) + v(t) n(t).
t(t) + v(t)2 t(t)
dt
dt
dt
R(t)
La componente tangencial de la aceleracin aT = dv/dt y como el radio de curvatura R(t) = 1/(t),

la componente normal de la aceleracin vale aN = v 2 /R.
Curvas asociadas a otras curvas
Se denomina envolvente de una familia de curvas a una curva no perteneciente a la familia tal que
en cada uno de sus puntos es tangente a una curva de la familia. Sea r(t, ) la familia de curvas
tal que para cada valor de se singulariza una curva de la familia. Si la familia viene dada de la
forma paramtrica anterior entonces la envolvente se calcula eliminando entre la ecuacin dada
y la que se obtiene de anular el jacobiano (x, y)/(t, ) = 0. Esto implica que es posible obtener
49
para cada curva una relacin = (t), con lo que la envolvente es la curva e(t) = r(t, (t)). Si la
familia viene expresada en la forma F (x, y, ) = 0, entonces la envolvente se obtiene de eliminar
entre esta ecuacin y la F (x, y, )/ = 0, dado que la curva F (x, y, ) = 0 con jo, y la
F (x, y, +) = 0 poseen en comn los puntos (x, y) por donde pasa la envolvente luego (F (x, y, +
) F (x, y, ))/ = 0.
Recibe el nombre de evoluta de una curva plana a la curva que denen sus centros de curvatura.
Si r(t) es la curva dada, su evoluta r (t) = r(t) + R(t)n(t), siendo n(t) el vector normal de la
curva r(t) y R(t) el correspondiente radio de curvatura en cada punto. Resulta que la evoluta es
tambin la curva envolvente de la familia de rectas normales a la curva dada, que recibe el nombre
de evolvente de su evoluta. Las curvas evolventes se construyen desenrollando un hilo inextensible
sobre la evoluta, de tal manera que variando la longitud del hilo tenemos distintas evolventes con
una misma evoluta.
La circunferencia tangente a la curva en un punto y que tiene la misma curvatura que sta, recibe
el nombre de circunferencia osculatriz. Si el centro de curvatura es el punto de coordenadas
(c1 , c2 ), la ecuacin de esta circunferencia es (x c1 )2 + (y c2 )2 = R2 , que al tener con la curva
dada en el punto x el mismo valor de la y(x), y (x) y de la y (x), es decir un contacto de tercer
grado, resulta que las coordenadas del centro de curvatura y del radio de curvatura, son
2
c1 = x
1 + y (x)
y (x),
y (x)
c2 = y(x) +
1 + y (x)
,
y (x)
R=
(1 + y (x) )3/2
1
= .
y (x)
o en paramtricas
2
c1 = x(t)
(x (t) + y (t) )y (t)

(x (t) + y (t) )x (t)
(x (t) + y (t) )3/2
, c2 = y(t) +
, R=
.
y (t)x (t) y (t)x (t)
y (t)x (t) y (t)x (t)
y (t)x (t) y (t)x (t)
La recta tangente a una curva dada r(t) en un punto t0 , y parametriza por el parmetro , viene
dada por
r (, t0 ) = r(t0 ) + t(t0 )
El plano osculador a una curva dada r(t) en un punto t0 es el que contiene a los vectores t y n,
contiene a la circunferencia osculatriz, es ortogonal a b y si p (X, Y, Z) es un punto cualquiera de
este plano, su ecuacin cartesiana vendr dada por
(p r(t0 )) b(t0 ) = 0.
El plano normal a una curva dada r(t) en un punto t0 es el que contiene a los vectores n y b, y
por lo tanto es ortogonal a t y si p es un punto cualquiera de este plano, su ecuacin vendr dada
por
(p r(t0 )) t(t0 ) = 0.
El plano recticante a una curva dada r(t) en un punto t0 es el que contiene a los vectores t y b,
y por lo tanto es ortogonal a n y si p es un punto cualquiera de este plano, su ecuacin vendr dada
por
(p r(t0 )) n(t0 ) = 0.
Representacin cannica de una curva
Se trata de ver cmo se comporta una curva en las proximidades de un punto, es decir para
valores pequeos del parmetro. Como el punto es arbitrario tomamos s = 0 y desarrollamos r(s)
alrededor de ese punto tomando como ejes coordenados e1 = t, e2 = n y e3 = b. Entonces,
r(s) = r(0) + r(0)s

+ r (0)
s2 ... s3
+ r (0) + ,
2!
3!
...
que como r (s) = n, r (s) = n
+ n = 2 t + n
+ b,
...
r(0) = 0, r(0)
= e1 , r (0) = (0)e2 , r (0) = 2 (0)e1 + (0)e
2 + (0) (0)e3 ,
es decir
1
x(s) = s (0)2 s3 + o(s3 ),
6
y(s) =
1
1
3
(0)s2 + (0)s
+ o(s3 ),
2
6
z(s) =
1
(0) (0)s3 + o(s3 ).
6
50
A orden ms bajo, la forma de una curva en el entorno de cualquier punto, tiene por ecuaciones
paramtricas
1
1
x = s, y = s2 , z = s3 ,
2
6
por lo que para valores pequeos de s la proyeccin de la curva sobre el plano osculador XY es la
parbola y = x2 /2, sobre el plano recticante XZ la cbica z = x3 /6 y nalmente sobre el plano
normal Y Z es la cisoide, z 2 2 2 y 3 /9 = 0.
51
Problemas
8.1 Demostrar que si u(t) y v(t) son funciones vectoriales de la variable real t, se cumple:
d
du
dv
(u v) =
v+u
,
dt
dt
dt
d
du
dv
(u v) =
v+u
,
dt
dt
dt
du
d|u|
1 du2
u
= |u|
=
.
dt
dt
2 dt
8.2 Vericar que la cardioide x() = cos (2 cos + 1), y() = sin (2 cos + 1), 0 2 es una
curva regular. Posee puntos mltiples? Calcular su curvatura.
8.3 Hallar la longitud de un arco de epicicloide como funcin del parmetro a lo largo de la
curva. Calcular su curvatura.
x() = (r0 + r) cos r cos
r0 + r
,
r
y() = (r0 + r) sin r sin
r0 + r
.
r
8.4 La asteroide x() = cos3 (), y() = sin3 (), 0 2 es una curva regular? Calcular su
curvatura.
8.5 De qu orden es el contacto en el punto (0, 1) entre la catenaria y = cosh x y la circunferencia

x2 + (y 2)2 = 1? Comparar esta circunferencia con su circunferencia osculatriz en ese punto.
8.6 Parametrizar la espiral logartmica r(t) = (et cos t)e1 + (et sin t)e2 en trminos de la longitud
del arco.
8.7 Demostrar que si una curva plana viene dada en las formas (1) implcita F (x, y) = 0, (2) explcita
y = f (x), (3) paramtrica x = x(t), y = y(t), y (4) en coordenadas polares r = r(), la expresin de
la curvatura es, respectivamente:
Fxy
Fyy
Fy
Fx
Fy
0
(Fx + Fy
2 3/2
)
Fxx
Fyx
Fx
2
f
,
(1 + f 2 )3/2
x
y
x
y
=
,
2
(x + y 2 )3/2
r2 + 2r 2 rr
.
(r2 + r 2 )3/2
8.8 Calcular la ecuacin de la recta tangente, recta normal y circunferencia osculatriz a la elipse
r() = a cos e1 + b sin e2 en el punto = /6.
8.9 Calcular la envolvente de un segmento mvil AB de longitud constante l cuyos extremos se

apoyan en los ejes coordenados. [Sol. x2/3 + y 2/3 = l2/3 .]
8.10 Dada la espiral logartmica en coordenadas polares r = ca , qu condicin debe vericar el
parmetro a para que la evoluta coincida con la propia curva? [Sol. ln a = a/2 .]
8.11 Calcular la evoluta de las siguientes curvas:

a) Parbola y 2 = 4px,
b) Elipse x2 /a2 + y 2 /b2 = 1,
c) Cicloide r() = a( sin )e1 + a(1 cos )e2 .
la envolvente de la familia de circunferencias (x 2a)2 + y 2 = a2 . [Sol. Las rectas
8.12 Calcular
y = x/ 3.]
8.13 Calcular la curvatura de la cisoide x(t) = t2 , y(t) = t3 , en cualquier punto. Posee puntos
singulares? [Sol. = 6/t(4 + 9t2 )3/2 . El t = 0 es un punto singular.]
8.14 Hallar las ecuaciones de la recta tangente y del plano normal a la curva r(t) = (1 + t)e1
t2 e2 + (1 + t3 )e3 , en t = 1. Determinar asmismo la curvatura y torsin en dicho punto.
52
8.15 Encontrar la curvatura de la curva y = x4 en el punto (0, 0). [Sol. 0]

8.16 Demostrar que si tenemos dada la ecuacin de una curva r(s) cuyo parmetro es la longitud
del arco, y tal que r (n) = dn r/dsn , entonces se cumple:
r (1) r (2) = 0,
r (2) r (2) = 2 ,
r (1) r (3) = 2 ,
r (2) r (3) = ,
r (3) r (3) = 4 + 2 2 + 2 .
8.17 Demostrar que si una curva no posee torsin, entonces se trata de una curva plana.
8.18 Si por la notacin [a, b, c] queremos representar el valor de un determinante 3 3 cuyas las
...
2
r , r ].
(o columnas) son las componentes de los 3 vectores a, b y c, entonces demostrar que = [r,
8.19 Denir el triedro intrnseco a la curva r(t) = (3t t3 )e1 + 3t2 e2 + (3t + t3 )e3 , as como las
ecuaciones de Frenet-Serret del mismo.
8.20 Probar que las ecuaciones de Frenet-Serret se pueden escribir como

v 1 = v 1 ,
v 2 = v 2 ,
v 3 = v 3 ,
para un cierto vector , llamado vector de Darboux, que representa la velocidad angular instantnea
del punto. Determinarlo.
8.21 Determinar la curva de ecuaciones intrnsecas k(s) = (1/2as)1/2 , (s) = 0, a > 0, s > 0.
8.22 Se dene una hlice como aquella curva cuyo vector tangente forma un ngulo constante con
una direccin ja del espacio. Demostrar que para toda hlice la relacin / = constante.
8.23 Determinar que la curva de ecuaciones intrnsecas k(s) = (1/s), (s) = 0, s > 0, es una espiral
logartmica.
8.24 Demostrar que los vectores tangentes a la curva r(t) = ate1 + bt2 e2 + t3 e3 , siendo 2b2 = 3a,
forman un ngulo constante con el vector a = e1 + e3 .Qu ngulo?
8.25 Demostrar que las dos lneas siguientes

(a)
x2 = 3y, 2xy = 9z,
(b) x = 2t, y = ln t, z = t2 ,
son hlices. En el caso (b) probar que adems la hlice est sobre un cilindro cuyas generatrices son
paralelas a un vector de cosenos directores proporcionales a (0, 1, 1).
8.26 Qu condiciones debe satisfacer la curva x = at, y = bt2 , z = ct3 , para que sea una hlice
generalizada?
8.27 Conocida la curvatura (s) y la torsin (s) de una hlice de seccin circular, encontrar sus
ecuaciones paramtricas
8.28 Demostrar que si una curva de torsin distinta de cero est sobre una esfera de radio a
entonces se cumple
= a2 .
8.29 Como la torsin se obtiene a partir del producto (r r ) r , demostrar que una partcula
puntual sin estructura, sometida a fuerzas centrales, sigue necesariamente una trayectoria de torsin
nula, es decir, una trayectoria plana. Cmo es la trayectoria si la fuerza depende tambin de la
velocidad? (Suponer un trmino de la forma h(r)v en la direccin de v y en otro caso otro trmino
perpendicular a v de la forma k(r) v ).
8.30 Encontrar la ecuacin diferencial ms general que satisface una curva en el espacio tridimensional.Y en dos dimensiones? Encontrar las curvas planas de de curvatura constante, = 0.
53
8.31 Demostrar que si una curva en el espacio tridimensional viene expresada en forma paramtrica
x = x(t), y = y(t), z = z(t), la expresin de la curvatura y de la torsin es
=
r 2r
(r r )2
|r |3
1
,
2
(r r ) r .
|r |6
8.32 Dada la curva en el espacio tridimensional

r(t) = cos t e1 + sin t e2 +
t2
e3 ,
2
se pide:
1) Determinar la ecuacin cartesiana de la curva.
2) Determinar los vectores unidad tangente, normal principal y binormal en cualquier punto de la
curva. Estn siempre denidos?
3) Calcular la curvatura y la torsin en cualquier punto. Dnde es la curvatura mxima? Dnde
se anula la torsin? Cunto vale el radio de la circunferencia osculatriz en el punto en que se anula
la torsin?
4) Encontrar la ecuacin paramtrica y cartesiana de la recta tangente a la curva en el punto t = /2.
5) Expresar la ecuacin cartesiana de la familia de planos normales a la curva. [Examen Junio 2002]
8.33 Encontrar la curvatura de la elipse x(t) = a cos t, y(t) = b sin t, para todo t [0, 2], y a = b.
Encontrar los puntos en los que la curvatura es mxima o mnima. Cunto vale la curvatura mxima?
8.34 Demostrar que si la ecuacin de una elipse se escribe en forma polar r = p/(1+e cos ) entonces
la curvatura en los bsides (vrtices de curvatura mxima) vale = 1/p.
8.35 Encontrar las ecuaciones intrnsecas de las curvas:

(a) x(t) = a cosh t,
(b) x(t) = ct,
y(t) = a sinh t, z(t) = at,
y(t) = 2c ln t, z(t) = c/t,
8.36 Dada la curva en el espacio tridimensional

r(t) = 4 cos t e1 + 3t e2 4 sin t e3 ,
se pide:
1. Encontrar la ecuacin cartesiana de la curva.
2. Determinar los vectores unidad tangente, normal principal y binormal en cualquier punto de
la curva. Cules son estos vectores en el punto t = ?
3. Determinar el plano osculador en el punto t = /2.
4. Determinar la longitud de la curva entre los puntos t1 = /2 y t2 = 5/2.
5. Calcular la curvatura y la torsin en cualquier punto.
6. Determinar la ecuacin paramtrica de la supercie construida a partir de la curva y sus rectas
normales principales.
[Examen Junio 2003]
8.37 Sea r(t) la curva parametrizada r(t) = 45 cos ti + (1 sin t)j 35 cos tk.
(a) Calcular la tangente, normal, binormal, la curvatura y la torsin en cada punto.

(b) Es la curva plana?. En caso armativo, hallar la ecuacin del plano que la contiene.
(c) De qu curva se trata?
[Examen Junio 2004]
54
8.38 La curva plana
r(t) te1 + cosh te2 ,
recibe el nombre de catenaria, pues corresponde a la gura que adopta una cadena o hilo, colgada
de sus extremos y bajo la accin del campo gravitatorio. Calcular:
(a) El vector unidad tangente y el vector normal principal.
(b) Su curvatura.
(c) Dnde es su curvatura mxima?
(d) Su evoluta.
8.39 Dada la curva en R3

1
1
r(t) = (1 + t)e1 + (1 t3 )e2 + t2 e3
3
2
Determinar:
(a) Los vectores unidad tangente, normal pricipal y binormal en cualquier punto de la curva.
(b) Calcular la curvatura y la torsin en el punto t = 2.
(c) Calcular la recta tangente en el punto t = 3 y determinar el punto de corte de esta recta con el
plano XOY .
(d) Calcular la longitud de la curvadesde el punto que est situado en el plano XOY hasta el punto
en que la curva corta al plano z = 8.
(e) Encontrar la ecuacin cartesiana de la curva.
(f) Encontrar la ecuacin del plano osculador en el punto t = 0.[Examen junio 2006]
8.40 Dada la curva en R3 ,

r(t) = (3t t3 )e1 + 3t2 e2 + (3t + t3 )e3 ,
se pide:
(a) Calcular los vectores unidad del triedro de Frenet-Serret en cada punto.
(b) Calcular su curvatura y torsin en cada punto.
(c) Calcular su evoluta (La curva de sus centros de curvatura).
(d) El plano osculador en el punto t = 2.[Examen Septiembre 2006]
8.41 Dada la curva en R3 ,

r(t) = (3t t3 )e1 + 3t2 e2 + (3t + t3 )e3 ,
determinar:
(a) Los vectores unidad del triedro de Frenet-Serret en cada punto.
(b) La curvatura y la torsin en cada punto.
(c) La ecuacin cartesiana de la recta tangente en el punto t = 3.
(d) Los puntos de corte con el plano x + y + z = 0.
(e) La longitud de la curva entre esos puntos de corte.
(f) El plano normal en el punto t = 1.
[Examen Junio 2007]
Captulo 9
Supercies en tres dimensiones

Una supercie se dice que es regular si posee plano tangente en cada punto. Viene caracterizada
de forma implcita por una funcin derivable F (x, y, z) = 0, de tal manera que si podemos despejar
la variable z = f (x, y) se nos dene la ecuacin cartesiana de la supercie. De forma paramtrica
viene caracterizada por la funcin vectorial
r(u, v) = x1 (u, v)e1 + x2 (u, v)e2 + x3 (u, v)e3 x(u, v)i + y(u, v)j + z(u, v)k,
dependiente de dos parmetros reales u y v . La eliminacin de los parmetros u y v entre las tres
funciones x = x(u, v), y = y(u, v) y z = z(u, v) nos dar la ecuacin cartesiana. Si llamamos
r u r/u, r v r/v , en cada punto de la supercie denen un vector tangente a una curva
(v =cte. y u =cte., respectivamente) contenida en la supercie. La existencia del plano tangente
implica que r u y r v no son colineales y que entre ambos denen el plano tangente cuya normal
tiene la direccin del vector r u r v . Denido el vector unitario normal a la supercie en cada punto
n(u, v) = r u r v /|r u r v |, el plano tangente a la supercie en un cierto punto r 0 , viene dado por
el vector de posicin T (X, Y, Z), tal que n0 (T r 0 ) = 0. La recta normal a la supercie en ese
punto por el vector N () = r 0 + n0 .
Las rectas tangentes a una curva C generan una supercie que se denomina supercie tangente
de C . Como es una supercie construida a partir de rectas, se denomina supercie reglada. Una
curva de esta supercie que corte perpendicularmente a las rectas tangentes recibe el nombre de
involuta de C . Otras supercies regladas son las que generan las rectas normales y binormales a
una curva dada. La supercie que generan las tangentes es una supercie reglada desarrollable, en
tanto que las que generan las normales y binormales solamente son desarrollables en el caso de curvas
planas.
Primera forma cuadrtica fundamental
Se denomina as a la forma de desarrollar sobre la supercie una geometra local, susceptible de

denir en el entorno de cada punto una forma de medir longitudes, ngulos, supercies, y por lo tanto
dibujar en el entorno de cada punto guras geomtricas elementales, como tringulos, cuadrados,
crculos, etc. y establecer relaciones entre ellas.
Si r(u1 , u2 ) es la ecuacin paramtrica de una supercie, y llamamos r i r ui , se dene el tensor
mtrico mediante gij = ri rj = gji . El elemento de arco de una curva contenida en la supercie es
g11 du21 + 2g12 du1 du2 + g22 du22 ,
ds = |dr| = |r 1 du1 + r 2 du2 | =
y si la curva viene parametrizada en trminos de un parmetro t mediante {u1 (t), u2 (t)},
ds =
g11 u1 2 + 2g12 u1 u2 + g22 u2 2 dt,
por lo que la longitud de una curva contenida en una supercie, se calcula mediante
t2
l=
t2
ds =
t1
t1
g11 (t)u1 2 (t) + 2g12 (t)u1 (t)u2 (t) + g22 (t)u2 2 (t) dt.
55
56
CAPTULO 9. SUPERFICIES EN TRES DIMENSIONES
Los coecientes de la mtrica son los coecientes de la primera forma cuadrtica fundamental. Conocida la mtrica, es decir las tres funciones gij (u1 , u2 ), podemos por lo tanto medir distancias sobre
la supercie y tambin ngulos entre curvas, pues si dr = r 1 du1 + r 2 du2 y dr = r 1 dv1 + r 2 dv2 son
dos arcos innitesimales asociados a dos curvas que pasan por el mismo punto, el coseno del ngulo
que forman se obtiene de
cos =
g11 du1 dv1 + g12 du1 dv2 + g21 du2 dv1 + g22 du2 dv2
g11 du21
+ 2g12 du1 du2 + g22 du22
g11 dv12 + 2g12 dv1 dv2 + g22 dv22
Pero si podemos medir longitudes sobre la supercie tambin podremos medir reas. El elemento de
rea se expresa en funcin de los coecientes gij mediante:
dA =
2 du du .
g11 g22 g12
1
2
2
donde el radicando g11 g22 g12
= |r 1 r 2 |2 > 0, est siempre denido en una supercie regular. En
el caso del plano eucldeo, la forma de medir distancias, ngulos y reas es tambin la misma solo
que, en cada punto, los coecientes g11 = 1, g12 = g21 = 0 y g22 = 1 son siempre los mismos, y as
ds =
dx2 + dy 2 ,
dA = dxdy
Podemos considerar al tensor mtrico gij como una matriz 2 2, simtrica gij = gji y denida
positiva, g det gij > 0, por lo que puede diagonalizarse y sus valores propios son nmeros reales
positivos. La diagonalizacin de la matriz gij en cada punto es equivalente a usar sobre la supercie
una parametrizacin tal que las lneas u = cte y v = cte. son ortogonales en cada punto. En general
esto se podr hacer de forma local pero no siempre existir para una supercie una parametrizacin
global que implique que esto se cumple en todos los puntos, como ocurre para el plano eucldeo y en
coordenadas cartesianas.
Si consideramos una esfera, y parametrizamos todo punto de la esfera por el ngulo cenital /2
/2 que caracteriza a cada paralelo, y por el acimutal 0 2 que nos dene a los distintos
meridianos, vemos que las lneas = cte y = cte. se cortan de forma perpendicular en cada punto,
por lo que g = 1, g = 0, g = 1, salvo en los polos = /2 pero arbitrario, en que con esta
parametrizacin todos los puntos no estn unvocamente denidos. En los polos, aunque existe el plano
tangente puesto que la supercie es regular, sin embargo no se pueden denir los vectores tangentes a
las lneas coordenadas, ya que pasan por ellos innitas lneas = cte.
Segunda forma cuadrtica fundamental
Se denomina as a una forma de medir localmente en cada punto de una supercie conceptos
como el de curvatura de la supercie, curvaturas de sus secciones normales, etc., es decir el saber
desde el punto de vista local cunto se aparta la supercie con respecto a su plano tangente, en las
diferentes direcciones.
Analicemos el comportamiento de una supercie en un punto con respecto a su plano tangente.
Sea
r1 r2
n(u1 , u2 ) =
|r 1 r 2 |
el vector unidad perpendicular al plano tangente. Si desarrollamos r(u+du, v +dv) en serie de Taylor
hasta trminos de segundo orden
r(u + du, v + dv) = r(u, v) + r u du + r v dv +
1
r uu (du2 ) + 2r uv dudv + r vv (dv 2 ) + ,
2!
por lo que a orden ms bajo
(r(u + du, v + dv) r(u, v)) n =
1
Luu (du2 ) + 2Luv dudv + Lvv (dv 2 )
2!
que recibe el nombre de segunda forma cuadrtica fundamental y que representa la desviacin normal
de la supercie respecto del plano tangente. Los coecientes Lij = r ij n que involucran hasta las
segundas derivadas de r , dan cuenta de la curvatura de la supercie. La supercie z = L11 x2 +
2L12 xy + L22 y 2 recibe el nombre de paraboloide osculador a la supercie en el punto dado.
Si L11 L22 L212 > 0 se trata de un paraboloide elptico y se dice que el punto es elptico. Si
57
L11 L22 L212 < 0 entonces es un paraboloide hiperblico y se dice que el punto es hiperblico. Si
L11 L22 L212 = 0 pero no todos los Lij son nulos, entonces la supercie osculatriz es un cilindro
parablico y el punto se dice que es parablico. Finalmente si todos los Lij = 0, la supercie no tiene
curvatura en ese punto y se dice que el punto es plano.
Curvatura normal de una curva sobre la supercie
Se denomina a la proyeccin sobre n del vector t de la curva de la correspondiente seccin normal.
n = t n =
Luu (du/dt)2 + 2Luv (du/dt)(dv/dt) + Lvv (dv/dt)2

.
guu (du/dt)2 + 2guv (du/dt)(dv/dt) + gvv (dv/dt)2
(9.1)
En efecto, jada una direccin sobre la supercie, dando los valores de du y dv , resulta que el vector
tangente
r dt = r u du+r v dv = r
ds
ds
dt = t dt,
dt
dt
r dt2 = t
ds
dt
dt2 +t
d2 s 2
dt = r uu du2 +2r uv dudv +r vv dv 2 ,
dt2
y al proyectar sobre el vector normal a la supercie, dado que t n = 0, obtenemos (9.1).
Radios de curvatura y direcciones principales
Como en el entorno de un punto la supercie se comporta a orden ms bajo como un paraboloide

(elptico o hiperblico), como un cilindro o bien como un plano, dependiendo de la direccin u-v la
curvatura normal se escribe, con du = cos y dv = sin ,
n = Luu cos2 + 2Luv cos sin + Lvv sin2 ,

y haciendo |n | = 1/r2 , x = r cos , y = r sin , resulta la cnica Luu x2 + 2Luv xy + Lvv y 2 =
1, denominada indicatriz de Dupin, cuyos ejes determinan las direcciones de curvatura mxima y
mnima y cuya distancia al origen del punto (x, y) es el inverso de la raiz cuadrada de |n |. A los
radios de curvatura segn esas dos direcciones principales los representamos por R1 y R2 y a sus
inversos se les denomina curvaturas principales.
Si R1 = R2 el punto se llama cclico o umbilical. Si R1 y R2 tienen el mismo signo el punto
se llama elptico. Si R1 y R2 tienen signo opuesto el punto se llama hiperblico. Si R1 o R2 es
innito el punto se llama parablico.
Si establecemos que (9.1) sea mximo o mnimo, como funcin de la direccin, esto es de du y dv ,
estos valores de la curvatura reciben el nombre de curvaturas principales. Las curvaturas principales
satisfacen la ecuacin
2
(g11 g22 g12
)2 (g11 L22 + g22 L11 2g12 L12 ) + (L11 L22 L212 ) = 0,
(9.2)
que dividiendo por el primer coeciente se pone como
2 2H + K = 0.
(9.3)
En efecto, jada una direccin sobre la supercie, la curvatura normal (du, dv), es funcin de esta
direccin. Como adems satisface (9.1) que la reescribimos como
(du, dv)(guu du2 + 2guv dudv + gvv dv 2 ) (Luu du2 + 2Luv dudv + Lvv dv 2 ) = 0,
derivando esta expresin con respecto de du y dv e igualando a cero, sabiendo que en las direcciones en
que es mxima o mnima las derivadas de se deben anular, resulta un sistema de dos ecuaciones para
determinar las direcciones en que estas curvaturas son mximas o mnimas:
(Luu guu )du + (Luv guv )dv = 0,
(Luv guv )du + (Lvv gvv )dv = 0,
(9.4)
que es un sistema lineal homogneo en las incgnitas du y dv , cuyo determinante de las incgnitas se debe
anular, lo que conduce a (9.2). Las dos soluciones para , corresponden a los valores mximo y mnimo,
1 y 2 . Sustituidos esos valores en (9.4) se obtendrn las direcciones (du, dv) en que las correspondientes
secciones normales tienen esas curvaturas. El resultado general es que estas dos direcciones principales
son ortogonales.
Con los coecientes de la primera y segunda formas cuadrticas fundamentales, obtenemos dos caractersticas de la curvatura en cada punto, de una supercie:
Curvatura media
H=
1
2
g11 L22 + g22 L11 2g12 L12

2
g11 g22 g12
1
2
1
1
+
R1
R2
1
(1 + 2 ).
2
(9.5)
58
Curvatura de Gauss
K=
L11 L22 L212

1
=
= 1 2 .
2
g11 g22 g12
R1 R2
(9.6)
Una supercie reglada es desarrollable si se puede desarrollar sobre un plano, como es el caso
del cilindro y del cono. La condicin necesaria para que una supercie sea desarrollable es que la
curvatura de Gauss K = 0.
Las ecuaciones fundamentales de la teora de supercies son las que establecen cmo cambian
por unidad de cada uno de los parmetros, los vectores tangentes r 1 y r 2 y el vector normal n. Como
r 1 y r 2 no son colineales y n es ortogonal a ellos, entonces estas derivadas quedan expresadas en
trminos de estos tres vectores. Reciben el nombre de ecuaciones de Gauss-Weingarten y son
r ij
r i
= k ij r k + Lij n,
uj
ni
n
= Li k r k ,
ui
donde los coecientes k ij , y Li k , se pueden expresar exclusivamente en trminos de la mtrica gij

y de sus primeras derivadas y de los coecientes Lij de la segunda forma fundamental.
Conocido gij , se calcula g jk , tal que g jk gki = ij .
g 11 =
g22
2 ,
g11 g22 g12
k ij = g kl r ij r l =
1 kl
g
2
g 12 = g 21 =
g12
2 ,
g11 g22 g12
gil
glj
gij
+
j
i
u
u
ul
g 22 =
g11
2 .
g11 g22 g12
Lij = r ij n,
Li k = g kj Lij .
El tensor de curvatura de la supercie se dene como
Rijkl = Lik Ljl Lil Ljk ,
Ri jkl = g im Rmjkl .
La curvatura media se reescribe 2H = g ij Lij , y la curvatura de Gauss K = L1 1 L2 2 L1 2 L2 1 .
Geodsicas sobre una supercie
Dados dos puntos sobre una supercie, se dene una lnea geodsica entre ellos como la curva
contenida en la supercie que posee la menor longitud. Esta curva tiene la propiedad de que su
normal principal es siempre ortogonal a la supercie, y recprocamente. Por lo tanto, por todo punto
de una supercie, jada la direccin del vector tangente, pasa una y solo una lnea geodsica.
Si parametrizamos la curva mediante el elemento de arco, entonces la longitud entre ambos puntos
debe ser mnima, por lo que
s1
l=
gij (u1 , u2 )u i u j ds
s0
Si esta integral debe ser mnima, el clculo variacional nos lleva a que las funciones u1 (s) y u2 (s),
que denen las ecuaciones paramtricas de la curva sobre la supercie, deben satisfacer el sistema
de ecuaciones diferenciales de segundo orden:
d
gij
u i u j
(gik u i + gkj u j ) = 0,
uk
ds
resulta que
u
k + k ij u i u j = 0,
y como
d
gik
gik =
u l ,
ds
ul
k = 1, 2,
con las condiciones de contorno en s0 y s1 . Vemos, por ejemplo, que si la mtrica no es funcin de
punto, los coecientes k ij = 0 y las geodsicas se reducen a u1 (s) = as + b, u2 (s) = cs + d, que
eliminando s entre ambas, resultan ser las 'rectas' u2 = mu1 + h. Las rectas son las geodsicas del
plano eucldeo.
59
Problemas
9.1 Hallar la ecuacin de la supercie tangente a la curva r(t) = te1 + t2 e2 + t3 e3
9.2 Encontrar la ecuacin del plano tangente a la supercie x = u2 + v 2 , y = u3 , z = v 3 y que sea
paralelo al plano x + y z = 0. [Sol. x + y z = 8/27.]
9.3 Dadas las siguientes formas cuadrticas, decir cules no constituyen una forma cuadrtica vlida
para caracterizar a una supercie regular.
(a)
ds2 = du2 + 4dudv + dv 2 ;
(c) ds2 = du2 4dudv + 6dv 2 ;
(b) ds2 = du2 + 4dudv + 4dv 2 ;

ds2 = du2 + 4dudv 2dv 2 ;
(d)
9.4 Encontrar las frmulas de transformacin de los coecientes gij de la primera forma cuadrtica
fundamental cuando se realiza un cambio de parametrizacin de la supercie. Determinar asmismo
2 dudv .
como se modica el elemento de rea dA = Hdudv = guu gvv guv
9.5 Demostrar que el plano tangente a la supercie f (x az, y bz) = 0 en cualquier punto, es
paralelo a una direccin ja.
9.6 Demostrar que los planos tangentes a la supercie
z = x(y/x)
en cualquier punto, pasan todos por el origen de coordenadas.
9.7 Probar que las ecuaciones paramtricas

x=a
1 u2 v 2
,
1 + u2 + v 2
y=
2bu
,
1 + u2 + v 2
z=
2cv
,
1 + u2 + v 2
se reducen en su forma cartesiana a las ecuaciones del elipsoide
x2
y2
z2
+ 2 + 2 = 1.
2
a
b
c
9.8 Probar que las dos supercies x2 + 3y 2 + 2z 2 = 9, x2 + y 2 + z 2 8x 8y 6z + 24 = 0, son

tangentes entre s en el punto (2, 1, 1).
9.9 Dada la supercie parametrizada

x = u cos v,
y = u sin v,
z = u,
0 < u < ,
v (0, 2),
(a) Demostrar que se trata de un cono con vrtice en (0,0,0) y el semingulo con su eje es /4.
(b) Encontrar el punto del cono donde el plano tangente es paralelo al plano z x = 0 y calcular el
plano tangente en dicho punto.
(c) Calcular la curvatura media y curvatura de Gauss en cada punto de la supercie. Cules son las
curvaturas principales?
9.10 Encontrar la supercie envolvente de la familia de planos u3 3u2 x + 3uy z = 0, donde
u es el parmetro que determina cada plano de la familia. Lo mismo para la familia de planos
x sin u y cos u + kz au = 0, con a =cte.
9.11 En el elipsoide
x = a sin u cos v,
y = b sin u sin v,
z = c cos u
encontrar su ecuacin cartesiana y las curvas coordenadas u =cte y v =cte.
9.12 Encontrar la ecuacin cartesiana de la supercie construida al girar la recta x = 1, z = 2y ,

alrededor del eje OZ . [Sol. x2 + y 2 z 2 /4 = 1.]
60
9.13 Encontrar la familia formada por los planos recticantes de la hlice

r(t) = a cos te1 + a sin te2 + bte3 .
Calcular la supercie envolvente de la anterior familia.
9.14 Demostrar que

r(u, v) =
u+v
uv
e1 +
e2 + uv e3 .
2
2
es una representacin paramtrica del paraboloide hiperblico z 2 = x2 y 2 . Encontrar cmo son

las curvas u =cte y v =cte sobre dicha supercie. Encontrar tambin las curvas de corte con planos
paralelos a los coordenados.
9.15 Demostrar que si una curva est sobre la supercie de una esfera, entonces
d
ds
= 0.
9.16 Demostrar que si z = f (y) es una curva en el plano ZY entonces la supercie

r(u, v) = u cos v e1 + u sin v e2 + f (u) e3 ,
es la supercie de revolucin que genera la curva z = f (y) al girar alrededor del eje OZ .
9.17 Encontrar la ecuacin de un cono de revolucin alrededor del eje OX con vrtice en el punto
(a, 0, 0) y cuyo semingulo en el vrtice es de 30 .
9.18 Vericar que la supercie

r(, ) = (b + a sin ) cos e1 + (b + a sin ) sin e2 + a cos e3 ,
es un toro de revolucin. Analizar los parmetros utilizados. Calcular el plano tangente y la recta
normal al toro en un punto cualquiera. En qu puntos el plano tangente es paralelo al plano x
2y + z 3 = 0?
9.19 Dadas dos circunferencias de radio r, paralelas y separadas una distancia 2h, encontrar la
ecuacin paramtrica y cartesiana de un hiperboloide de una hoja construido al unir con rectas
puntos de ambas circunferencias donde cada punto de una de las circunferencias se une con el
correspondiente de la otra que se encuentra girado un ngulo respecto de l. Encontrar tambin la
ecuacin de esta supercie pero rotando cierta recta alrededor del eje OZ . Qu sucede si = 0?
9.20 Sobre una supercie r(u1 , u2 ), si llamamos ri rui , se dene el tensor mtrico mediante
gij = r i r j . Demostrar que el vector unidad normal a la supercie viene dado por
n(u1 , u2 ) =
r1 r2
2
g11 g22 g12
y donde el anterior denominador es precisamente el valor absoluto del vector que aparece en el
2 du du . De
numerador. Vericar que el rea de una supercie es precisamente A = S g11 g22 g12
1
2
la misma manera, el ngulo que forman los vectores tangentes r 1 y r 2 es
cos =
g12
.
g11 g22
9.21 Demostrar que la supercie

r(u, v) = ue1 + ve2 + (u2 + v 3 )e3 ,
es elptica si v > 0, hiperblica si v < 0 y parablica si v = 0.
9.22 Demostrar que los puntos de la supercie tangente a una curva dada son puntos parablicos.
61
9.23 La primera y segunda formas cuadrticas fundamentales se escriben:

I = dr dr,
II = d2 r n = dr dn.
La tercera forma cuadrtica fundamental se dene mediante III = dn dn. Demostrar que se
satisface:
III 2HII + KI = 0,
donde H y K son respectivamente la curvatura media y curvatura de Gauss.
9.24 Dada la curva z = y 2 + 2 en el plano Y OZ , encontrar la supercie de revolucin generada por
esta curva al girar alrededor del eje OY . Encontrar la ecuacin del plano tangente a esta supercie
en el punto (11, 3, 0).
9.25 Demostrar que si una supercie se escribe en la forma z = f (x, y), la curvatura de Gauss viene
dada por
2
fxx fyy fxy
K=
(1 + fx2 + fy2 )2
9.26 Demostrar que si tenemos dada la supercie de revolucin alrededor del eje OZ
r(t, ) = f (t) cos e1 + f (t) sin e2 + te3 ,
f (t) > 0
entonces dicha supecie es una supercie parablica (curvatura de Gauss nula) si y solo si se trata
de un cilindro con generatrices paralelas a OZ o bien de un cono de eje OZ
9.27 Si tenemos dada una curva regular parametrizada por el arco s, r(s), contruimos sobre ella una
supercie en forma de tubo, deniendo en el plano normal a la curva un crculo de radio R centrado
en la curva. Haciendo que este crculo viaje con su centro a lo largo de la curva, nos da la ecuacin
de una supercie tubular de la forma:
r (s, u) = r(s) + R(v 2 (s) cos u + v 3 (s) sin u),
R > 0,
0 u 2.
donde v 2 (s) y v 3 (s) son respectivamente el vector normal principal y el vector binormal de la curva
en el punto s. Se pide:
(a) Calcular los vectores derivados que denen al plano tangente en cada punto.
(b) Demostrar que, salvo un signo, el vector unidad normal a la supercie en cada punto n(s, u),
tiene la direccin del vector unidad u = v 2 (s) cos u + v 3 (s) sin u.
(c) En qu puntos es la supercie irregular?
(d) En el supuesto de que la curva r(s) fuese plana, en qu puntos de la supercie el plano tangente
es paralelo al plano osculador de la curva? [Examen Junio 2005]
9.28 La supercie catenoide viene dada por la siguiente parametrizacin:

r(u, v) = cosh v cos ue1 + cosh v sin ue2 + ve3 ,
u, v R.
(a) Calcular la curvatura de Gauss en todo punto.

(b) Calcular la ecuacin cartesiana de la recta normal en el punto r(0, 0).
(c) Si consideramos la curva sobre esta supercie denida por R(t) = r(t, t), determinar la curvatura
de esta curva en todo punto y su plano osculador en t = 0.
62
Algunas supercies notables

Toro
x(, ) = (b + a cos ) cos ,
y(, ) = (b + a cos ) sin ,
z(, ) = a sin .
1
0.5
0
-0.5
-1
-4
2
0
-2
-2
0
2
4 -4
Es una rosquilla de radio central b y de seccin circular de radio a < b.
r = (a sin cos , a sin sin , a cos ),
r = ((b + a cos ) sin , (b + a cos ) cos , 0),
|r r | = a(b + a cos ) = 0,
a < b.
n = ( cos cos , cos sin , sin ).

Existe por lo tanto el vector normal en todo punto de la supercie.
r = (a cos cos , a cos sin , a sin ),

r = ((b + a cos ) cos , (b + a cos ) sin , 0),
r = (a sin sin , a sin cos , 0).
Coecientes de la mtrica, o primera forma cuadrtica fundamental

g g11 = a2 ,
g g22 = (b + a cos )2 ,
g g12 = 0,
det g = a2 (b + a cos )2 = 0,
Coecientes de la segunda forma cuadrtica fundamental

L L11 = a,
L L12 = 0,
L L22 = (b + a cos ) cos
La curvatura media y la curvatura de Gauss

H=
(b + 2a cos )
,
2a(b + a cos )
K=
cos
.
a(b + a cos )
a < b.
63
Elipsoide
x2
y2
z2
+
+
=1
a2
b2
c2
x(, ) = a cos cos ,
y(, ) = b cos sin ,
z(, ) = c sin .
2
1
0
-1
-2
1
0.5
0
-0.5
-1
-1
-0.5
0
0.5
1
r = (a sin cos , b sin sin , c cos ),

|r r | =
r = (a cos sin , b cos cos , 0),
2 =
g11 g22 g12
r = (a cos cos , b cos sin , c sin ),
det g.
r = (a cos cos , b cos sin , 0),
r = (a sin sin , b sin cos , 0),

n = (bc cos cos , ac cos sin , ab sin )/ a2 b2 sin2 + c2 cos2 (a2 sin2 + b2 cos2 )

g g11 = (a2 cos2 + b2 sin2 ) sin2 + c2 cos2 ,
g g22 = (a2 sin2 + b2 cos2 ) cos2 ,
g g12 = (a2 b2 ) sin cos sin cos ,

det g = cos2 a2 b2 sin2 + c2 cos2 (a2 sin2 + b2 cos2 ) .

L L11 =
abc
a2 b2 sin2 + c2 cos2 (b2 cos2 + a2 sin2 )
L L22 =
L L12 = 0,
abc cos2
a2 b2 sin2 + c2 cos2 (b2 cos2 + a2 sin2 )

H=
abc((a2 + b2 sin2 ) sin2 + (b2 + a2 sin2 ) cos2 + c2 cos2 )

,
2(a2 b2 sin2 + c2 cos2 (b2 cos2 + a2 sin2 ))3/2
K=
a2 b2 c2
.
(a2 b2 sin + c2 cos2 (b2 cos2 + a2 sin2 ))2
2
64
Hiperboloide de una hoja

y2
z2
x2
+ 2 2 =1
2
a
b
c
x(, ) = a cosh cos , y(, ) = b cosh sin ,
z(, ) = c sinh .
2
0
-2
4
-2
-4
-2
0
2
r = (a sinh cos , b sinh sin , c cosh ) r = (a cosh sin , b cosh cos , 0),
|r r | =
det g.
r = (a cosh cos , b cosh sin , c sinh )

r = (a cosh cos , b cosh sin , 0),
r = (a sinh sin , b sinh cos , 0)
n = (bc cosh cos , ac cosh sin , ab sinh )/
c2 (a2 sin2 + b2 cos2 ) cosh2 + a2 b2 sinh2

g g11 = (a2 cos2 + b2 sin2 ) sinh2 + c2 cosh2 ,
g g22 = (a2 sin2 + b2 cos2 ) cosh2 ,
g g12 = (b2 a2 ) sinh cosh sin cos ,

det g = cosh2 c2 (a2 sin2 + b2 cos2 ) cosh2 + a2 b2 sinh2 .

L L11 =
abc
L L22 =
L L12 = 0,
abc cosh2

H=
abc a2 sin2 b2 cos2 + c2 cosh2 + (a2 cos2 + b2 sin2 ) sinh2

2 c2 (a2 sin2 + b2 cos2 ) cosh2 + a2 b2 sinh2
3/2
16a2 b2 c2
< 0.
+
+ cosh(2)) + 2a2 b2 (1 cosh(2))}2

Es una supercie en la que todos sus puntos son hiperblicos.
K=
{[a2
b2
(a2
b2 ) cos(2)]c2 (1
65
Hiperboloide de dos hojas

x2
y2
z2
+
= 1
a2
b2
c2
x(, ) = a sinh cos ,
y(, ) = b sinh sin ,
z(, ) = c cosh .
2
0
-2
-2
-2
0
2

r = (a cosh cos , b cosh sin , c sinh )
|r r | =
a2 b2 cosh2 sinh2 + c2 (a2 sin2 + b2 cos2 ) sinh4 .

g g11 = (a2 sin2 + b2 cos2 ) sinh2 ,
g g22 = (a2 cos2 + b2 sin2 ) cosh2 + c2 sinh2 ,
g g12 = (b2 a2 ) sin cos sinh cosh ,
det g = |r r |2 .

L L11 =
L L22 =
abc sinh3
a2 b2 cosh2 sinh2 + c2 (b2 cos2 + a2 sin2 ) sinh4
L L12 = 0,
abc sinh
a2 b2 cosh2 sinh2 + c2 (b2 cos2 + a2 sin2 ) sinh4

H=
abc(b2 cos2 + a2 sin2 + cosh2 (a2 cos2 + b2 sin2 ) + c2 sinh2 )

,
2(a2 b2 cosh2 + c2 (b2 cos2 + a2 sin2 ) sinh2 )3/2
K=
a2 b2 c2
a2 b2 cosh + c2 (a2 sin2 + b2 cos2 ) sinh2
2
66
Cono
x2
y2
z2
+
=0
a2
b2
c2
x(, ) = a sinh cos ,
y(, ) = b sinh sin ,
z(, ) = c sinh .
2
0
-2
-2
-2
0
2

r = (a cosh cos , b cosh sin , c cosh )
|r r | =
cosh2 sinh2 (b2 c2 cos2 + a2 (b2 + c2 sin2 )).

g g11 = (b2 cos2 + a2 sin2 ) sinh2 ,
g g22 = (c2 + a2 cos2 + b2 sin2 ) cosh2 ,
g g12 = (b2 a2 ) cos sin cosh sinh ,
det g = |r r |2 .

abc sinh
L L11 =
b2 c2
cos2
+ a2 (b2 + c2 sin2 )
L L12 = 0,
L L22 = 0.

H=
abc(c2 + a2 cos2 + b2 sin2 )

(b2 c2 + a2 (2b2 + c2 ) (a2 b2 )c2 cos 2)
K=0
(b2 c2 cos2 + a2 (b2 + c2 sin2 )) sinh2
67
Paraboloide elptico
z=
x(, ) = a cos ,
x2
y2
+
a2
b2
y(, ) = b sin ,
z(, ) = 2 .
2
1
0
-1
-2
4
2
1
0
-2
-1
0
1
2
r = (a sin , b cos , 0)
r = (a cos , b sin , 2)
|r r | =
a2 2 (b2 + 42 sin2 ) + 4b2 4 cos2 .

g g11 = (a2 sin2 + b2 cos2 )2 ,
g g22 = 42 + a2 cos2 + b2 sin2 ,
g g12 = (b2 a2 ) sin cos ,
det g = |r r |2 .

L L11 =
2ab3
4b2 4 cos2 + a2 2 (b2 + 42 sin2 )
L L12 = 0,
L L22 =
2ab
4b2 4 cos2 + a2 2 (b2 + 42 sin2 )

H=
ab(a2 + b2 + 42 )
(2b2 2 + a2 (b2 + 22 ) 2(a2 b2 )2 cos 2) 4b2 4 cos2 + a2 2 (b2 + 42 sin2 )
K=
4a2 b2
(2b2 2 + a2 (b2 + 22 ) 2(a2 b2 )2 cos 2)2
68
Paraboloide hiperblico
z=
x(, ) = a cosh ,
x2
y2
2
2
a
b
y(, ) = b sinh ,
z(, ) = 2 .
4
2
0
-2
-4
10
-10
-4
-2
0
2
4
r = (a sinh , b cosh , 0)
r = (a cosh , b sinh , 2)
|r r | =
4b2 4 cosh2 + a2 2 (b2 + 42 sinh2 ).

g g11 = 2 (b2 cosh2 + a2 sinh2 ),
g g22 = 42 + a2 cosh2 + b2 sinh2 ,
g g12 = (a2 + b2 ) cosh sinh ,
det g = |r r |2 .

L L11 =
L L22 =
2ab3
4b2 4 cosh2 + a2 2 (b2 + 42 sinh2 )
L L12 = 0,
2ab
4b2 4 cosh2 + a2 2 (b2 + 42 sinh2 )

ab(a2 b2 + 42 )
H=
(2b2 2 + a2 (b2 22 ) + 2(a2 + b2 )2 cosh 2)

K=
(2b2 2
a2 (b2
+
La curvatura de Gauss es siempre negativa.
4b2 4 cosh2 + a2 2 (b2 + 42 sinh2 )
4a2 b2
,
22 ) + 2(a2 + b2 )2 cosh 2)2
69
Cilindro parablico
z = x2
x(, ) = ,
z(, ) = 2 .
y(, ) = ,
4
2
0
-2
-4
0
-5
-10
-15
-4
-2
0
2
4
r = (1, 0, 2)
r = (0, 1, 0)
|r r | =
1 + 42 .

g g11 = 1 + 42 ,
g g22 = 1,
g g12 = 0,
det g = 1 + 42 .

L L11 =
2
,
1 + 42
L L12 = 0, L L22 = 0.

H=
1
,
(1 + 42 )3/2
K = 0.
70
Desarrollable tangencial de la hlice

Dada la hlice
r() = a cos e1 + a sin e2 + be3 ,
la supercie desarrollable tangencial es la construida con todas las rectas tangentes a esta curva,
r(, ) = r() + r ()
r(, ) = a(cos sin )e1 + a(sin + cos )e2 + b( + )e3 ,
r
r
r
r
r
= a(sin + cos )e1 + a(cos sin )e2 + be3 ,

= a sin e1 + a cos e2 + be3 ,
= a(cos sin )e1 a(sin + cos )e2 ,
= a cos e1 a sin e2 ,
= 0.
20
10
4
0
2
0
-4
-2
-2
0
2
4
n=
-4
r r
= (b sin e1 + b cos e2 ae3 ) /
|r r |
g = b2 + a2 (1 + 2 ),
L = ab/
H=
g = a2 + b2 ,
a2 + b2 ,
L = 0,
,
2a a2 + b2
a2 + b2
g = a2 + b2 .
L = 0.
K = 0.
71
Nautilus o caracol
Dada la supercie
r(u, v) = u cos u(4 + cos(u + v))e1 + u sin u(4 + cos(u + v))e2 + u sin(u + v)e3 ,
con u (0, 6), v (0, 2) se tiene la gura
10
0
-10
50
0
-50
0
-50
50
Silla de mono
Dada la supercie
r(u, v) = u cos ve1 + u sin ve2 + u3 cos(3v)e3 ,
con u R+ , v [0, 2], se denomina silla de mono, ya que posee dos zonas para las piernas y otra
para el rabo.
0.2
0.1
0
-0.1
-0.2
0.004
0.002
0
-0.002
-0.004
-0.2
-0.1
0
0.1
0.2
72
Bibliografa
[1] M.R. Spiegel, Complex variables, McGraw Hill Book CO. N.Y. (1964).
[2] M. Evgrafov et al., Recueil de problmes sur la thorie des fonctions analytiques, Mir, Moscow
(1974).
[3] R.V. Churchill, Teora de funciones de variable compleja, Ediciones del Castillo, Madrid (1970).
[4] E.G. Phillips, Funciones de variable compleja, Dossat, Madrid (1958).
[5] M. Lipschutz, Geometra Diferencial, McGraw Hill Book CO. N.Y. (1971).
[6] E. Vidal Abascal, Geometra Diferencial, Dossat, Madrid (1956).
[7] A.S. Fedenko, Problemas de Geometra diferencial, Mir, Moscow (1991).
73

Ejercicios de Variable Compleja y Geometría Diferencial

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Ejercicios de Variable Compleja y Geometría Diferencial

Enviado por

Direitos autorais:

Formatos disponíveis

10

Operaciones con nmeros complejos

Adems, la suma y el producto son operaciones conmutativas y asociativas

z1 (z2 z3 ) = (z1 z2 )z3 = z1 z2 z3 ,

y satisfacen entre ellas las operaciones de distributividad:

El valor absoluto satisface |z1 z2 | = |z1 ||z2 | y las:

desigualdades triangulares |z1 + z2 | |z1 | + |z2 |,

|z1 z2 | ||z1 | |z2 || .

ez ex+iy = ex (cos y + i sin y)

z n = rn (cos n + i sin n).

CAPTULO 1. OPERACIONES CON NMEROS COMPLEJOS

i(1 i 3)( 3 + i) = 2 + 2i 3, (1 + i 3)10 = 211 (1 + i 3),

1.3 Indicar qu representan geomtricamente las siguientes ecuaciones y desigualdades:

1.4 Si z = 6ei/3 , evaluar |eiz |. [Sol. e

{d} |z + 4i| + |z 4i| = 10.

1.5 Encontrar todas las soluciones de los sistemas de ecuaciones:

1.6 Encontrar todas las soluciones de cada una de las 8 ecuaciones:

1.7 Encontrar para qu valores de z se satisface la ecuacin

[Sol.z = 2k + i(1 ln(2

3)), k Z y z1 = (1 i)/2 y z2 = (3 + i)/5][Parcial Abril 2004]

1.8 Demostrar las frmulas siguientes:

Sugerencia: Escribir esas relaciones en trminos del ngulo mitad.

1.10 Encontrar todas las soluciones de la ecuacin

+ k , k Z.] [Parcial Abril 2003]

1.12 Encontrar la ecuacin de la circunferencia que pasa por los puntos z1 = 1 i, z2 = 2i y

1.14 Demostrar que para todo nmero real positivo k = 1 la ecuacin

1.18 Un nmero z recibe el nombre de nmero algebraico si es la solucin de una ecuacin

polinmica del tipo a0 z n + a1 z n1 + + an1 z + an = 0, con n nito y donde los a0 , . . . , an son

1.19 En la proyeccin estereogrca de la esfera de dimetro unidad sobre el plano complejo, en la

CAPTULO 1. OPERACIONES CON NMEROS COMPLEJOS

1.22 Dados tres vrtices consecutivos de un paralelogramo z1 , z2 y z3 , encontrar el cuarto vrtice.

1.24 Demostrar que si tenemos un tringulo equiltero de vrtices z1 , z2 y z3 , entonces se cumple:

(z3 z1 )(z2 z3 ) = (z1 z2 )2 ,

(z1 z2 )(z3 z1 ) = (z2 z3 )2 .

(u1 , u2 , u3 ) y v (v1 , v2 , v3 ) mediante uv = u1 v1 +u2 v2 +u3 v3 . Se demuestra que uv = |u||v| cos ,

donde el sumatorio se extiende a todas las permutaciones cclicas de 1, 2 y 3.

1.30 Probar que el conjunto de nmeros complejos z = a + ib es equivalente al conjunto de matrices

1.31 Analizar la convergencia de las sucesiones

1.32 Probar que

1.33 Probar que la serie

converge y hallar su lmite.

cos x + cos 2x + + cos nx,

sin x sin 2x + + (1)n1 sin nx.

1.37 Resolver las siguientes preguntas:

CAPTULO 1. OPERACIONES CON NMEROS COMPLEJOS

[Examen Junio 2002]

1.38 Resolver las siguientes preguntas:

1.39 Resolver las siguientes preguntas:

(a) Calcular todos los valores posibles de (1 i)1+i .

z en la que el corte se realiza a lo largo de (, 0]. [Examen

1.41 (a) Encontrar las raices de la ecuacin

(b) Sea z C tal que |z| = 1 y a C. Demostrar que

1.43 a) Calcular las partes real e imaginaria de

(b) Demostrar que para toda funcin analtica

(b) Encontrar todos los nmeros complejos que satisfacen la igualdad

cosh(z + w) = cosh z cosh w + sinh z sinh w,

cuando C es la frontera del cuadrado {z C, | Re z| 1, | Im z| 1, } y cuando C es la circunferencia

1.45 (a) Encontrar las raices de la ecuacin

por la funcin z donde deberemos utilizar la rama z rei(+/2) .

CAPTULO 1. OPERACIONES CON NMEROS COMPLEJOS

1.46 (a) Encontrar todas las soluciones de la ecuacin

1.47 (a) Calcular todos los valores de z C que verican

1.48 (a) Encontrar todas las soluciones de la ecuacin

y es independiente de la forma en que z tiende a z0 . La funcin f (z) = u(x, y) + iv(x, y) es continua

polinmica del tipo a0 z n + a1 z n1 + + an1 z + an = 0, con n nito y donde los a0 , . . . , an son

1.19 En la proyeccin estereogrca de la esfera de dimetro unidad sobre el plano complejo, en la

1.47 (a) Calcular todos los valores de z C que verican

Vericar este resultado con la funcin f (z) = z 2 .

2.36 Sea la funcin w = z 2 + 1. Es multivaluada? En caso armativo, determinar sus puntos de

(a) Vericar que satisface la ecuacin de Laplace 2 u = 0 en R2 .