Beruflich Dokumente
Kultur Dokumente
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
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.
:
:
z1 + z2 = z2 + z1 ,
z1 z2 = z2 z1 ,
z1 + (z2 + z3 ) = (z1 + z2 ) + z3 = z1 + z2 + z3 ,
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.
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
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
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
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|.
{b} |z 1| = |z + i|,
{c} |z 1 + i| |z 1 i|,
3 3
|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.]
z 2 = 3 4i;
z 8 = 1 + i;
z 3 = 1;
z = z 3 ;
z 6 = 64;
|z| z = 1 + 2i;
(z 1 + i)(z 1)2 = z.
2n in
e ,
2
1 + i tan n
,
1 i tan n
2 cos
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 .
tan z =
[Sol. zk = i ln 2 +
1
2
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.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.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).
3
3 + 2;
b)
4 2i.
a)
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.
z 2 1 + z| + |
z 2 1 z| = |z 1| + |z + 1|.
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
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
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?
in
,
n
b)
(1 + i)n
.
n
un =
a)
lm
b)
lm
in
n
n + 3i n + 1
= 1 i.
1 + i/3 + (i/3) + =
(i/3)n1 ,
n=1
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,
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
1
,
2
z C.
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).
[Examen Septiembre 2004]
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.
z 1+i = 4
(c) Probar la siguiente igualdad
z, w C.
(d) Calcular
C
dz
.
z
(2)
(c) Calcular la
imagen de la regin |z| 4, /4 arg(z)
/4, bajo la transformacin generada
10
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]
(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]
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
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)
az = ez ln a ,
12
Funciones trigonomtricas:
sin z =
eiz eiz
,
2i
cos z =
eiz + eiz
,
2
w = ln z = ln r + i( + 2k),
siendo
k = 0, 1, 2, . . . ,
z = rei(+2k) .
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 ,
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.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
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
2.7 Demostrar por qu las siguientes funciones no son analticas en ningn punto del plano complejo:
f1 (z) = xy + iy;
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.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
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 .]
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
f)
b) u = (x +
c) u = (x2 + y).
x2 + y 2 ),
b) u = (x2 y 2 ),
c) u = (y/x),
d) u =
x2 + y 2
x
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 .
z2
f (z) =
0z
si
z=0
si
z = 0,
15
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);
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:
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),
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
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 ,
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.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
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.
17
2. Calcular una funcin v(x, y) para la que u(x, y) + iv(x, y) sea entera.
[Examen Septiembre 2002]
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.
[Examen Septiembre 2003]
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)
2.49 Sea f = u + iv una funcin analtica en un entorno del origen, donde u(x, y) = x ey sin x.
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,
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 .
[Examen Septiembre 2006]
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]
Captulo 3
(x2 ,y2 )
f (z)dz =
z1
(x2 ,y2 )
(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
x2
f (z)dz =
z1
x2
Teorema de Cauchy-Goursat
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
siendo
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
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
Q P
x
y
dxdy.
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.
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.
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)
Desigualdad de Cauchy
|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
y que
zdz = 2i.
C
2zdz = 2 2 ,
3.4 Evaluar
(2,5)
(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,
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
sin x
dx
x
cos x dx
0
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
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)
ezt
dz = sin t,
z2 + 1
y si C es la circunferencia |z| = 3.
(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
A=
dxdy =
R
3.17 Calcular las raices del polinomio P (z) = z 4 z 2 2z + 2. Probar que si el coeciente de la
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).]
ekz
dz,
z
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
1
2
ei f (a + ei )d,
b)
f (n) (a)
1
=
n!
2
eni f (a + ei )d,
F
dA,
z
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
sin (mx)
dx .
x(x2 + a2 )
0 y 1 y calcular la integral
ex cos (2x)dx .
+ x2
e
dx
. [Sol.
1
z
f (z)
dz
z
zn
n2
+
n2
(2z)n
n=1
x2 + 1
dx
x4 + 1
3.29 Calcular
x
dx,
1 + x2
R,
0 < || < 1.
(z 2
z
dz
+ 1)2
3.31 Calcular la
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, . . .)
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
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 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)
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)
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.
[Parcial Abril 2003]
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
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!
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.
[Parcial Abril 2004]
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
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.
[Examen Septiembre 2002]
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
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
4.21 (a) Encontrar la parte principal del desarrollo en serie de Laurent de la funcin
f (z) =
ez + 1
,
ez 1
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
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
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 (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
sin x
dx = ,
x
2
sin x2 dx =
cos x2 dx =
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
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
I=
0
3
(ln u)2
du =
.
2
1+u
8
d
2
=
,
2
a + b sin
a b2
2
0
a > |b|.
cos 3
d =
.
5 4 cos
12
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]
I2 =
0
c2
a2
cos2
2
a c cos
2 d = b H(a c),
2
2ac cos + b sin
36
CAPTULO 5. RESIDUOS
H(x) = 0,
x < 0,
H(x) = 1,
x > 1.
dz
= bI2 = 2H(a c).
z
Im
E
d
,
a + b cos
a > |b|.
d
.
(5 3 cos )2
[Sol. e
x sin ax
dx
x4 + 4
I=
0
dx
,
(x2 + a2 )5
a > 0.
5.17 Calcular
sin x
dx .
6 + 1)
x(x
0
2
1
Sol. I =
1 cos( 3/2)
2
3e
3 e
I=
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]
dx
(x2 + 4x + 5)2
[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
f (z)dz
|z|=2
5.22 Calcular la
4
0
2 cos
d
5 + 4 sin(/2)
cos2 d,
sin3 d,
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:
(y1 , . . . , yn )
dx1 dx2 dxn ,
(x1 , . . . , xn )
(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 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.
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
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.
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
(c) w =
(b) w =
z
,
z1
z
,
z1
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.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
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
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,
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 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.
F (r, ) =
1
2
2
0
(1 r2 )h()d
.
1 2r cos( ) + r2
(z) =
et tz1 dt,
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) =
B(r, s) =
(r)(s)
.
(r + s)
(z)
1
1
1
+ z + z + =
1z
2
3
43
k=1
1
,
kz
Re(z) > 1.
44
CAPTULO 7. APLICACIONES
(z) =
1
(z)
tz1
dt,
et + 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
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
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.)
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
ds =
dx2 + dy 2 + dz 2 =
1 + y (x)2 + z (x)2 dx =
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
48
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
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).
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)
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)
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.
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,
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.
r0 + r
,
r
r0 + r
.
r
8.4 La asteroide x() = cos3 (), y() = sin3 (), 0 2 es una curva regular? Calcular su
curvatura.
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.
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
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.
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?
(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
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?
[Examen Septiembre 2002]
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.37 Sea r(t) la curva parametrizada r(t) = 45 cos ti + (1 sin t)j 35 cos tk.
54
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.
[Examen Septiembre 2004]
Captulo 9
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.
ds =
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
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
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.
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
1
r uu (du2 ) + 2r uv dudv + r vv (dv 2 ) + ,
2!
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.
n = t n =
(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
(9.2)
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,
(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
1
2
1
1
+
R1
R2
1
(1 + 2 ).
2
(9.5)
58
Curvatura de Gauss
K=
(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
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 .
Ri jkl = g im Rmjkl .
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)
(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.
1 u2 v 2
,
1 + u2 + v 2
y=
2bu
,
1 + u2 + v 2
z=
2cv
,
1 + u2 + v 2
x2
y2
z2
+ 2 + 2 = 1.
2
a
b
c
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?
[Examen Septiembre 2003]
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
60
u+v
uv
e1 +
e2 + uv e3 .
2
2
9.15 Demostrar que si una curva est sobre la supercie de una esfera, entonces
d
ds
= 0.
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.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.22 Demostrar que los puntos de la supercie tangente a una curva dada son puntos parablicos.
61
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.
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 > 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]
u, v R.
62
z(, ) = a sin .
1
0.5
0
-0.5
-1
-4
2
0
-2
-2
0
2
4 -4
|r r | = a(b + a cos ) = 0,
a < b.
g g22 = (b + a cos )2 ,
g g12 = 0,
det g = a2 (b + a cos )2 = 0,
L L12 = 0,
(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 ,
z(, ) = c sin .
2
1
0
-1
-2
1
0.5
0
-0.5
-1
-1
-0.5
0
0.5
1
2 =
g11 g22 g12
det g.
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 )
a2 b2 c2
.
(a2 b2 sin + c2 cos2 (b2 cos2 + a2 sin2 ))2
2
64
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.
abc
c2 (a2 sin2 + b2 cos2 ) cosh2 + a2 b2 sinh2
L L22 =
L L12 = 0,
abc cosh2
c2 (a2 sin2 + b2 cos2 ) cosh2 + a2 b2 sinh2
3/2
16a2 b2 c2
< 0.
+
{[a2
b2
(a2
b2 ) cos(2)]c2 (1
65
= 1
a2
b2
c2
x(, ) = a sinh cos ,
z(, ) = c cosh .
2
0
-2
-2
-2
0
2
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
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 ,
z(, ) = c sinh .
2
0
-2
-2
-2
0
2
L L11 =
b2 c2
cos2
+ a2 (b2 + c2 sin2 )
L L12 = 0,
L L22 = 0.
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 | =
2ab3
4b2 4 cos2 + a2 2 (b2 + 42 sin2 )
L L12 = 0,
L L22 =
2ab
4b2 4 cos2 + a2 2 (b2 + 42 sin2 )
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 | =
L L22 =
2ab3
4b2 4 cosh2 + a2 2 (b2 + 42 sinh2 )
L L12 = 0,
2ab
4b2 4 cosh2 + a2 2 (b2 + 42 sinh2 )
H=
(2b2 2
a2 (b2
+
La curvatura de Gauss es siempre negativa.
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 .
2
,
1 + 42
L L12 = 0, L L22 = 0.
1
,
(1 + 42 )3/2
K = 0.
70
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
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
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