3 Problemas extremales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.1 Extremos de funciones suaves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.2 Extremos condicionados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
3.3 Multiplicadores de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
3.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
Indice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
1
Espacios metricos y normados
Se verica que E/F con las operaciones anteriores es un espacio lineal. A E/F
se le llama el espacio lineal cociente (de E segun F ).
Denamos una funcion : E E/F mediante la regla: (x) = A(x).
Como cada punto x E pertenece a un unico conjunto en E/Y , la funcion
anterior esta bien denida y es lineal. A se le denomina el homomorsmo
canonico de E sobre E/F . Notese que Ker() = F .
1.3 Espacios lineales y normados 5
x =| | x. (1.1)
x + y x + y. (1.2)
Una funcion que cumpla las tres propiedades anteriores se llama una norma.
Si cumple solo las propiedades (ii) y (iii) diremos que es una seminorma.
Para un espacio normado, cuando no sea necesario destacar la norma, es-
cribiremos simplemente E en lugar de (E, ). Es claro que si E es un espacio
normado y F es un subespacio lineal de E, entonces F , con la norma inducida
por E, es un espacio normado.
A todo espacio normado (E, . ) se asocia de manera natural un espacio
metrico deniendo d(x, y) = x y.
Teorema 1.1 (Espacio normado cociente) Sea E un espacio lineal y . : E
R+ una funcion que satisface (1.1) y (1.2). Si R es la relacion de equivalencia
x R y si y solo si x y = 0, entonces la funcion
xR = inf{ x : x R y },
0 x x xn + xn = xn 0.
Luego x R 0 y x = 0.
Teorema 1.2 Sean E y F dos espacios normados sobre el mismo campo K y
T : E F un operador lineal. Las armaciones siguientes son equivalentes:
(i) T es continuo.
(ii) T es continuo en un punto x0 E.
(iii) T es continuo en 0.
(iv) Existe una constante M > 0 tal que, para todo x E,
T (x)F M xE . (1.3)
Esto es
T (x0 ) T (y)F = T (x0 y)F C < .
2C
Debido a la condicion (v) a los operadotes lineales y continuous entre es-
pacios normados se les suelen llamar operadores acotados. Considerando la
expresion (1.3), se dene
dene una norma. Este ejemplo es un caso particular del anterior. Hemos
tomado X = [a, b].
Ejemplo 1.3 El espacio C2 . Denotemos por C2 al espacio de todas las
funciones reales y continuas y 2-periodicas denidas en R.
Antes de presentar otros ejemplos veamos previamente algunas desigual-
dades clasicas del analisis.
Denicion 1.18 Sea M un conjunto convexo de un espacio lineal E y f :
M R una funcion. Se dice que f es convexa si, para cada x, y M y
t (0, 1)
( )p/2
a2 b2 1
= + (| a |p + | b |p ).
2 2 2
1.4 Espacios clasicos 9
n
n
n
basta demostrar | xk yk | 1. Notese que | xk |p = | yk |q = 1.
k=1 k=1 k=1
Considerando el lema anterior | xk yk | |xk |p /p
+ |yk | /q. Luego q
n n ( )
n | xk |p | yk |q
1 1
x k k
y | x y
k k | + = + = 1. (1.10)
p q p q
k=1 k=1 k=1
n
Dividiendo ahora por | ak + bk |p = 0, se obtiene la desigualdad anunciada.
k=1
La discusion sobre la unicidad se realiza de forma similar a como se hizo en
la prueba de la desigualdad de Holder.
Ejemplo 1.4 Para 1 p < , en el espacio lineal Rn (Cn ) la funcion
( )1/p
n
xp = | xk | p
(x = (x1 , . . . , xn )),
k=1
El espacio pequeno de Lipschitz, lip [a, b], esta compuesto por las f
Lip [a, b], para las cuales
lim (f, t) = 0.
t0+
se tiene que
n
| f (xk1 ) f (xk ) | K.
k=1
Entonces, f es continua.
Demostracion. Sea B un subconjunto abierto en R y denotemos A =
f 1 (B). Veriquemos que A es abierto. Podemos suponer que A = . Fi-
jemos x A y > 0 tal que C = {z R :| f (x) z |< } B.
Sea n N tal que f fn < /2. Como fn es continua, el conjunto
An = {y X :| fn (y) f (x) |< /2} es un abierto no vaco de X (x An ) y
fn (An ) C. Por otro lado, si y An ,
| f (y) f (x) || f (y) fn (y) | + | fn (y) f (x) |< .
Esto dice que An A, luego A es abierto en X.
Teorema 1.5 Si X es un espacio topologico, Cb (X) con la norma del supremo
es un espacio de Banach.
Demostracion. Basta demostrar que Cb (X) es cerrado en Bb (X). Pero,
segun el teorema anterior, el lmite de toda sucesion convergente en Cb (X),
compuesta por funciones continuas, es una funcion continua.
Del teorema anterior se sigue que los espacios C[a, b] son completos. Nos
falta considerar el espacio de las funciones periodicas.
Teorema 1.6 Es espacio C2 de las funciones continuas y 2-periodicas so-
bre R es de Banach.
Demostracion. Se tiene que C2 C[0, 2]. Luego basta ver que C2 es
un subespacio cerrado de C[0, 2]. Pero si {fn } es una sucesion de funciones
periodicas que converge uniformemente a una funcion f , entonces
f (0) = lim fn (0) = lim fn (2) = f (2).
n n
+ xn p .
De forma similar se verica que xn y en la norma de lp .
Teorema 1.8 Si (0, 1], el espacio Lip [a, b] es un espacio de Banach.
Demostracion. Sea {fn } una sucesion de Cauchy en Lip [a, b] y M una
constante tal que fn M , para n N.
Como {fn } es de Cauchy en C[a, b], existe f C[a, b] tal que f fn 0
(norma uniforme). Sea > 0. Para cada x, y [a, b], x = y, jemos enteros
positivos n(x) y n(y) tales que
| x y | | x y |
| f (x) fn(x) (x) |< y | f (y) fn(y) (y) |<
4 4
y
| x y |
fn(x) fn(y) < .
4
Se sigue de la desigualdad triangular que
| x y | | x y |
| f (x) fn(x) (x) |< , | f (y) fn(y) (y) |<
4 4
y
| x y |
fn(x) fn(y) < .
4
Se sigue de la desigualdad triangular que
lim fn f = 0 y lim fn g = 0.
n n
Como ( x )
f (x) = lim fn (x) = lim fn (a) + fn (s)ds
n n a
x x
= lim fn (a) + lim fn (s)ds = f (a) + g(s)ds
n a n a
A + B A + B.
C D CD.
Ejemplo 1.13 Sea fn : [0, 1] R denida por fn (x) = nx(1 x)n . Es facil
vericar que fn (x) converge puntualmente en [0, 1] a la funcion nula. Veamos
que no hay convergencia uniforme. Notese que fn tiene un maximo en el punto
1/(n + 1), ya que f (1/(n + 1)) = 0. Pero
( ) ( )n+1
1 n
lim fn = lim = e1 = 0.
n n+1 n n+1
sup fn < .
nN
Ejemplo 1.15 Para cada n N y x [0, 1], sea fn (x) = n2 x(1 x)n . Se
puede vericar que la sucesion {fn } converge puntualmente a la funcion nula
y ( ) ( )n
1 n2 1
f = fn = 1 .
n+1 n n+1
Luego no hay convergencia uniforme.
Ejemplo 1.16 Para cada n N y x R, sea
x2n
fn (x) = .
1 + x2n
Si
0, | x |< 1,
f (x) = 1/2, | x |= 1,
1, | x |> 1,
entonces {fn } converge puntualmente a f . Cada una de las funciones fn es
continua. Como de la convergencia uniforme en R se sigue la convergencia
uniforme en [2, 2], concluimos que no se tiene convergencia uniforme.
Ejemplo 1.17 Para cada n N y x R, sea
nx
fn (x) = .
1 + n2 x2
Se verica que {fn } converge puntualmente a la funcion nula, pero no hay
convergencia uniforme (ya que fn (1/n) = 1/2).
Ejemplo 1.18 Sea fn : [0, 1) R denida por fn (x) = xn . Como
( ) ( )n
1 1 1
fn 1 = 1 = 0,
n n e
la sucesion no converge uniformemente a cero.
para el caso de series funcionales se conocen algunos criterios que aseguran
la convergencia uniforme.
Teorema 1.13 (Criterio de las M de Weierstrass) Sea I un intervalo de la
recta real, {fn } (fn : I R) una sucesion de funciones y {Mn } una sucesion
de numeros no negativos. Si
sup | fn (x) | Mn y Mn < ,
nI n=1
entonces la serie fn (x) converge uniformemente en I.
n=1
1.5 Espacios metricos completos 21
| xn | An
.
n! n!
y la serie
An
= eA
n=1
n!
converge.
n
Ejemplo 1.21 Si 0 < r < 1, la serie
n=1 x converge uniformenete en
[r, r]. De hecho | xn |=| x |n rn y la serie n=1 rn es convergente.
Ejemplo 1.22 La serie n=1 xn enx /n! converge uniformemente en [0, 1].
Basta ver que, para x [0, 1] y n N,
xn enx 1
.
n! n!
Teorema 1.14 (Criterio de Leibnitz) Sea I un intervalo de la recta real y
{fn } (fn : I R) una sucesion de funciones. Si para toda x I y n N,
converge uniformemente en I.
Ejemplo 1.23 Si A > 0 y x [0, A], la serie funcional
x+n
(1)n
n=1
n2
(el lector puede vericar que se trata realmente de una relacion de equiva-
lencia). Denotemos por Y al conjunto cociente correspondiente y por {xn }
a la clase del elemento {xn }. Observemos que, si {xn }, {yn } Z entonces
{d(xn , yn )} es una sucesion de Cauchy en R. En efecto, si consideramos las
desigualdades
y
d(xn+m , yn+m ) d(xn+m , xn ) + d(xn , yn ) + d(yn , yn+m ),
1.5 Espacios metricos completos 23
se tiene que
donde {xn } y {yn } son elementos abitrarios de las clases {xn } y {yn } respec-
tivamente.
b) Veamos que r es una metrica. Si r({xn }, {yn }) = 0 se tiene, segun (1.20),
que {xn }R{yn }. Ademas, para cada {xn } Z, r({xn }, {xn }) = 0. Por otro
lado, si {xn }, {yn } y {zn } son elementos arbitrarios en Z entonces
r({xn }, {yn } lim d(xn , zn ) + lim d(zn , yn ) = r({xn }, {zn }) + r({zn }, {yn })
Luego, podemos jar una sucesion creciente de enteros {q(n)} tal que, si
p q(n)
1 2
/3 + d(cnn0 ,n0 , ck,n0 ) < /3 + n
< .
2 0 3
Esto es limk d(xk , ck,n0 ) < 2/3.
Los resultados anteriores nos permiten armar que, para q > n0 ,
b
d(f, g) = | f (x) g(x) | dx.
a
c(1/n) c
c(1/n)
Ahora, si en Y denimos
En resumen,
1.5 Espacios metricos completos 27
1 Km
d(xn+m , xn ) K n d(x1 , x0 ).
1K
Como la sucesion {K n } converge a cero en R, se tiene que {xn } satisface
la condicion de Cauchy. Luego, existe un punto a X tal que xn a. Si
consideramos que f es continua y xn+1 = f (xn ), se tiene que
a = lim xn+1 = lim f (xn ) = f (a).
n n
b
| | sup | K(x, y) | sup |f1 (y) f2 (y)| dy
x[a,b] y[a,b]
a
| | M (b a)f1 f2 .
Cauchy fue el primero en demostrar la existencia de soluciones para ecua-
ciones diferenciales en los que la parte derecha en la eacuacion (1.26) se rep-
resenta mediante series de potencias. Al desarrollo de estas ideas se le suele
28 1 Espacios metricos y normados
Para f, g C(A) y x A,
| L(f, x) L(g, x) | M f g | x x0 |< f g.
Por lo tanto, L es un operador contractante en C(A). Luego tiene un y solo
un punto jo.
1.6 Compacidad 29
1.6 Compacidad
Denicion 1.23 Dado un conjunto no vaco X, una cubierta de X es una
coleccion (U )I de subconjuntos de X tales que X = I U . Si J I y
X = J U , se dice que (U )J , es una subcubierta (de la cubierta original).
Si el conjunto J es nito, se dice que la subcubierta es nita. Si cada conjunto
A es abierto, se dice que la cubierta es abierta.
Observacion 1.3 El recproco del teorema anterior es falso. Esto es, existen
espacios topologicos no compactos en los cuales toda funcion continua esta
acotada (ver [2]). Bajo las hipotesis del teorema anterior se puede demostrar
que existe un punto x0 X tal que | f (x0 ) |= supxX | f (x) |.
(i) X es compacto.
(ii) (Hausdor) X es totalmente acotado y completo.
(iii) (Frechet, [1] ) El espacio X es completo y para cada > 0 existe un
compacto K con la propiedad siguiente: cualquiera sea x X, existe y K
tal que d(x, y) < .
(iv) Todo conjunto innito de X tiene un punto de acumulacion.
(v) Toda sucesion en X tiene un punto lmite.
(vi) Toda cubierta abierta numerable de X contiene una subcubierta nita.
Demostracion. (i) = (ii) Supongamos que X es compacto. Fijemos > 0
y, para cada x X, consideremos la bola abierta B(x, ). La coleccion de
estas bolas forma una cubierta abierta de X. Por compacidad existe puntos
n
x1 , . . . , xn tales que X = B(xk , ). Luego, la coleccion {x1 , . . . , xn } forma
k=1
una -red nita de X.
Por otro lado, supongamos que X no es completo y sea {xn } una sucesion de
Cauchy en X sin puntos lmites. Sea Y el espacio metrico completo asociado a
X en el teorema (1.15) y L : X Y la isometra correspondiente. Sea y0 Y
el lmite de la sucesion {L(xn )}. Para p Z, denotemos Cp := Y \ B(y0 , 2p ),
La coleccion (L1 (Cp ))pZ es una cubierta abierta de X de la cual no se puede
extraer una subcubierta nita. Esto es una contradiccion.
(ii) (iii) Es evidente, pues todo conjunto nito es compacto.
(iii) (ii) Fijemos > 0 y sea K un compacto asociado a X y /2. Existe
un conjunto nito de puntos {x1 , . . . , xn } tal que las bolas con centros en estos
puntos y radio /2 cubren a K. Este conjunto es una -red nita.
(ii) = (iv) Sea M un conjunto innito y, para cada n, jemos una 2n -red
An . Como M es innito, existe un punto x1 A1 y un subconjunto innito
M1 M tal que M1 B(x1 , 21 ). Existe un punto x2 A2 y subconjunto
innito M2 M1 , tal que M2 B(x2 , 22 ). De esta forma se construye una
sucesion de puntos {xn }, xn An y una coleccion de conjuntos innitos Mn ,
tal que Mn+1 Mn M y Mn B(xn , 2n ). Como los conjuntos Mn son
innitos, podemos jar, para cada n, un punto yn Mn de forma que, para
n = m, yn = ym . Segun esta construccion, si m, n N,
2
d(yn , ym+n ) d(yn , xn ) + d(xn , yn+m ) < .
2n
Lo cual dice que {yn } es una sucesion de Cauchy. Como el espacio es completo,
{yn } converge a un punto y0 del espacio. Se tiene que y0 es un punto lmite
del conjunto M .
(iv) = (v) Esta implicacion es evidente.
(v) = (vi) Supongamos que no se cumple (vi), esto es, existe una sucesion
(Vn ) de abiertos cuya union cubre a X y tales que ninguna subcoleccion nita
cubre a X. Denamos ( n )
Fn = X \ Vk .
k=1
1.6 Compacidad 31
(F
n ) es una coleccion decreciente de conjunto cerrados no vacos de X tal que
Fn = . Para cada n jemos un punto xn Fn . Se tiene que el conjunto
A = {xn : n N} es innito. Veamos que A no tiene puntos lmites en X (lo
cual sera una contradiccion). Si x X, existe un k tal que x / Fk . Denotemos
Bk = {xj = x : j = 1, 2, . .. , k 1}. Se tiene que el conjunto V = (X \ Fk ) \ Bk
es una vecindad de x y V A {x}. Esto es, hemos encontrado una vecindad
de x que no contiene puntos de A (salvo quizas el propio punto x).
(vi) = (i) Veamos, inicialmente que si X satisface (vi), entonces X es
totalmente acotado. Fijemos > 0 y supongamos que no exista una -red nita
n
en X. En tal caso existe una sucesion {xn } en X tal que xn+1 / B(xi , )
i=1
(la sucesion se puede construir por induccion). De aqu se inere que, para
n = m, d(xn , xm ) . Segun esto {xn } no tiene puntos lmites, lo cual es una
contradiccion.
Sea (U )I una cubierta abierta de X. Veriquemos que existe > 0 tal
que, cualquiera sea x X, existe un ndice I de modo que B(x, ) U .
Si esto no fuese cierto, para cada n existe un punto xn X tal que la bola
B(xn , 2n ) no esta contenida completamente en ninguno de los elementos
de la cubierta. Sea x0 un punto lmite de la sucesion anterior {xn }. Existe
un ndice 0 y un entero k tal que B(x0 , 2k ) U0 . Si y B(x0 , 21k ),
entonces B(y, 21k ) B(x0 , 2k ). Como existen puntos xp (p > n) de la
sucesion anterior tales que d(xp , xn ) < 21k se tiene que
( ) ( ) ( )
1 1 1
B xp , p B xp , k+1 B x0 , k U0 .
2 2 2
A lim A(fn ) = 2.
n
Teorema 1.23 (Helly) Si {fn } es una sucesion en V A[a, b] tal que, V T (fn )
C (para toda n N) y fn (x) f (x) (puntualmente), entonces f V A[a, b]
y para toda g C[a, b]
b b
lim g(x)dfn (x) = g(x)df (x). (1.30)
n a a
Luego, f V A[a, b] y V T (f ) C. m
Sea {xk } un particion como la anterior y h(x) = k=1 hk [xk1 ,xk ] (x),
donde A es la funcion caracterstica del conjunto A. En tal caso
b
m
h(x)df (x) = hk (f (xk ) f (xk1 ))
a k=1
m b
lim hk (fn (xk ) fn (xk1 ) = lim h(x)dfn (x).
n n a
k=1
De aqu se sigue (1.30) para cualquier g C[a, b]. Para ello basta aproximar
a g por una sucesion de funciones h del tipo anterior.
Teorema 1.24 (Helly) Sean C1 y C2 dos constantes y K V A[a, b] tal que,
cualquiera sea f K y x [a, b], | f (x) | C1 y V T (f ) C2 . Entonces, K
contiene una sucesion {fn } que converge puntualmente a una funcion f .
Demostracion. Supongamos previamente que las funciones en K sean
monotonas. para abreviar, supongamos que las funciones son crecientes. Pong-
amos los numeros racionales en el intervalo [a, b] en una sucesion {xn }. Como
el conjunto {f (x1 ) : f K} esta acotado, se puede tomar una sucesion
{f1,k } en K tal que la sucesion f1,k (x1 )} es convergente. Ahora conjunto
{f1,k (x2 ) : k N} esta acotado. Luego se puede tomar una subsucesion {f2,k }
de {f1,k } tal que la sucesion f2,k (x2 )} es convergente. Este proceso lo pode-
mos repetir para cada uno de los puntos de la sucesion {xn }. La sucesion
compuesta por la diagonal {fk,k } converge sobre todos los numeros racionales
a una funcion f es creciente. Para x [a, b] no racional denamos
1.7 Separabilidad
Denicion 1.27 Dado un espacio topologico X, se dice que Y X es denso
(en X), si su clausura coincide con X (Y = X). Se dira que Y es nunca denso
o raro si su clausura tiene interior vaco.
Denicion 1.28 Un espacio metrico X se dice separable si contiene un con-
junto numerable denso.
Teorema 1.26 (Weierstrass) Para toda funcion f C[a, b], existe una
sucesion {Pn } de polinomios algebraicos que converge uniformente a f .
donde ( )
n n!
= .
k k!(n k)!
Cuando [a, b] = [0, 1] escribiremos simplemente Bn (f, x).
Para cada n, Bn asocia a cada funcion f C[a, b] un polinomio de grado no
mayor que n ademas, Bn es un operador positivo o monotono. Esto es, si para
toda x [a, b], f (x) 0 entonces, Bn (f, x) 0. Los operadores anteriores se
denominan operadores de Bernstein.
Si denotamos f0 (x) 1, f1 (x) = x y f2 (x) = x2 y, para k = 1, . . . , n,
j = 2, 3, . . . n, consideramos las identidades
( ) ( ) ( ) ( )( )
k n n1 k k1 n 1 n2
= , = 1 ,
n k k1 n n k n k2
mediante un calculo directo se obtiene que
xa
Bn f0 (x) = f0 (x), Bn (f1 , x) = (1.31)
ba
y
( )
1 1 1 (x a)2 1 xa
Bn (f2 , x) = Bn (f2 (f2 ), x) + Bn (f2 , x) = 1 + .
n n n (b a)2 n ba
1.7 Separabilidad 37
n
( ) ( )
g(x) g k n xk (1 x)nk
n k
k=0
( ) ( )
n
k n k
g, x x (1 x)nk .
n k
k=0
( )[ n ( ) ]
1 k n k
g,
x n k x (1 x)
nk
1+ n .
n
k=0
Corolario 1.1 Cualesquiera sean los numeros reales a, b (a < b), el espacio
C[a, b] es separable.
Demostracion. Como los polinomios son densos en C[a, b], basta vericar
que todo polinomio con coecientes reales es el lmite uniforme de una sucesion
de polinomios con coecientes racionales.
El teorema de Weierstrass se ha generalizado en diferentes direcciones.
En (f ) = dist(f, Pn ).
Demostracion. Basta demostrar que existe una constante C > 0 tal que
cualquiera sea p H los coecientes de p no superan a C. Supongamos que
tal constante C no existe. Entonces existe una sucesion (ym ) en H tal que
| m | , donde m es uno de los coecientes de ym de modulo maximo.
Como cada ym tiene a lo sumo n coecientes, se puede suponer (pasando
a subsucesiones si es necesario) que, para cada ym el coeciente de modulo
maximo se alcanza en la misma coordenada. Denotemos por zm al vector que
se obtiene al dividir a ym por el modulo maximo de sus coecientes. Se tiene
que zm 0 y esto no es posible, pues los vectores x1 , . . . , xn son linealmente
independientes y uno de ellos tiene coeciente 1 en zm .
Teorema 1.31 Para cada entero no negativo n y cada f C[0, 1], existe
P Pn de la mejor aproximacion para f .
Demostracion. Notese que no podemos aplicar directamente el Teorema
1.30, pues Pn no es un subconjunto compacto de C[0, 1]. Pero podemos en-
contrar un subconjunto compacto K de Pn tal que dist(f, Pn ) = dist(f, K).
Como el polinomio nulo esta en Pn , se tiene que dist(f, Pn ) f . Sea K la
coleccion de todos los polinomios en P Pn tales que d(f, P ) f . Esta
coleccion es no vaca y compacta. Ademas dist(f, K) = dist(f, Pn ).
Las ideas en C[a, b] la podemos extender a espacios de Banach generales.
Esto nos ayudara a ver como la compacidad y la completitud nos pueden
ayudar a resolver problemas muy diversos.
1.8 Aplicaciones de la compacidad 41
donde
N (g) = {x [a, b] : | g(x) | = g }. (1.33)
Demostracion. (i) (ii). Denotemos A = En (f ) y supongamos que P es de
la mejor aproximacion para f . Si la condicion (ii) no se cumple, existe Q Pn
y > 0, tal que
max [f (x) P (x)]Q(x) = 2.
xN (f P )
< A2 2 + 2 M 2 < A2 .
Por otro lado, para x [a, b] \ G
1
| f (x) P1 (x) || f (x) P (x) | + | Q(x) | A .
2
42 1 Espacios metricos y normados
(x a0 ) (a a0 ) 0,
P (x) P (x) x y.
Luego
(u v) (P (x) P (y) 0.
De aqu se deduce que
x y2 = (u v) + (P (x) P (y)2
= u v2 + 2(u v) (P (x) P (y)) + P (x) P (y)2
P (x) P (y)2 .
44 1 Espacios metricos y normados
lim H(t) = .
t
f = a1 y Ek (f ) = ak , k = 1, . . . , n.
Esto es
| En (f + xg) En (f + yg) || x y | gE .
Lo cual dice que H(t) es una funcion continua.
Ahora, si x, y R y (0, 1), entonces
Por otro lado, como la funcion H(t) = En1 (cn+1 xn+1 + txn ) es con-
tinua en t, H(0) an1 y H(+) = +, existe una constante cn tal que
En1 (cn+1 xn+1 + cn xn ) = an1 .
n+1
Tomando ahora c1 de forma que ck xk = a1 , se tiene el resultado
j=1
anunciado.
En (f ) = an .
fn+1 = a1 y Ek (fn+1 ) = ak , k = 1, . . . , n.
fq fp fq gp + gp fp 4ap .
f gk = lim fn gn,k = ak .
n
1.11 Ejercicios
Ejercicio 1.1 Pruebe que la topologa inducida es una topologa.
|xy |
d(x, y) = .
1+ | x y |
Ejercicio 1.8 Verique que en los espacios metricos las sucesiones conver-
gentes tienen un unico punto lmite. Ademas, una sucesion es convergente si y
solo si todas sus subsucesiones son convergentes y convergen al mismo lmite.
Ejercicio 1.9 Dado un espacio metrico (X, d), pruebe que un conjunto Y
X es cerrado si y solo si Y contiene a todos sus puntos lmites.
1.11 Ejercicios 49
Ejercicio 1.10 Sea X un espacio metrico. Pruebe que, para cada pareja
(A, B) de subconjuntos cerrados y disjuntos (no vacos) de X, existe una
funcion continua f : X [0, 1] tal que
n2 (x2 + 1) nx x2
fn (x) = .
2n2 + 1
Pruebe que la sucesion {fn } converge puntualmente en R y la convergencia es
uniforme en todo intervalo de la forma [A, A], con A > 0. Es la convergencia
uniforme en [0, )?
Ejercicio 1.13 Para cada una de las sucesiones siguientes diga si tiene lmite
puntual y si la convergencia es uniforme en los dominios dados:
a) fn (x) = (sin x)n , para x [0, ].
b) fn (x) = (sin x)1/n , para x [0, ].
c) fn (x) = en x /n, para x R.
2 2
xn
, x [0, 1],
n=1
n2
1
, xR
n=1
x2 + n2
xn
, x R+ ,
n=1
n2 (1+ xn
(1)n ( n)
sin 1 + , xR
n=1
n x
50 1 Espacios metricos y normados
xn nx
e , x [0, 1],
n=1
n!
(1)n xn
, x [0, 1],
n=1
n
(1)n
, x R+ ,
n=1
n+x
sin(nx) nx
e , x R+ ,
n=1
n
nxn , x [0, 1).
n=1
conv(int(A)) int(conv(A)),
Ejercicio 1.69 Dado un espacio metrico (X, d), pruebe que un conjunto Y
X es cerrado si y solo si Y contiene a todos sus puntos lmites y Y es denso en
X si y solo si, cualquiera sea x X y > 0, existe y Y tal que d(x, y) < .
Ejercicio 1.72 Dado (0, 1], pruebe que el espacio de Lipschitz Lip [0, 1]
es denso en C[0, 1] y la bola cerrada unitaria en Lip [0, 1] es compacta en
C[0, 1].
Ejercicio 1.73 Pruebe que (c) es nunca denso en (m).
f (x + tv) f (x)
Dv (f, x) = lim . (2.2)
t0 t
58 2 Funciones de varias variables
y, para todo x R , n
v
u n
u
| f (x) | t a2k x.
k=1
1
lim f (h, h) = = f (0, 0).
h0,h=0 2
Pero las derivadas parciales existen en (0, 0):
f f (t, 0) f (0, 0)
(0, 0) = lim = lim 0 = 0
x t0 t t0
y
f f (0, t) f (0, 0)
(0, 0) = lim = lim 0 = 0
y t0 t t0
Reglas de calculo.
n
= vj Dj f (z).
j=1
=| h1 | Dx f (a1 + 1 h1 , a2 + h2 ) Dx f (a1 , a2 )
+ | h2 | Dy f (a1 , a2 + 2 h2 ) Dy f (a1 , a2 ) |
h | Dx f (a1 + 1 h1 , a2 + h2 ) Dx f (a1 , a2 ) |
+h | Dy f (a1 , a2 + 2 h2 ) Dy f (a1 , a2 ) | .
Si denimos
+ | Dy f (a1 , a2 + 2 h2 ) Dy f (a1 , a2 ) |,
se tiene que esta funcion tiene la propiedad (2.3) (ya que las funciones Dx f y
Dy f son continuas en el punto z) y se cumple (2.4).
n
Caso general. Si f = i=1 fi ei , se tiene que
p
f (z + h) f (z) hj Dj f (z)Rp
j=i
p
p max | fi (z + h) fi (z) hj Dj fi (z) |
1ip
j=i
( ) ( )
p max h i (h) = h sup i (h) .
1ip 1ip
2.2 Diferenciales
En lo que sigue, dados dos espacios normados E y F , denotaremos por L(E, F )
a la coleccion de todos los operadores lineales y continuos de E en F .
Una funcion f : [a, b] R es diferenciable en el punto x0 (a, b) si existe
el lmite
f (x0 + h) f (x0 )
lim . (2.5)
h0 h
Si este lmite existe, se le denota por f (x0 ) y se le llama la derivada de f en
el punto x0 .
La denicion anterior se puede extender al caso f : [a, b] E, donde E es
un espacio normado. El tal caso, necesitamos un punto f (x0 ) E tal que
f (x0 + h) f (x0 )
lim f (x0 ) = 0. (2.6)
h0 h E
La condicion (2.6) puede ser escrita en los terminos siguientes: existe una
vecindad V del zero en R y una funcion (x0 , ) : V E tal que
62 2 Funciones de varias variables
y
(x0 , h)E
lim = 0. (2.8)
h0 h
Notese que la expresion
f (x0 )h
es una funcion lineal en la variable h. Esta propiedad motiva la denicion que
sigue.
Denicion 2.4 Sean E y F espacios normados, U un subconjunto abierto
no vaco de E y f : U F una aplicacion. Diremos que f es diferenciable en
el sentido fuerte en un punto x U , si existe un operador df (x) L(E, F )
tal que
f (x + h) = f (x) + df (x)(h) + (x, h), (2.9)
y
(x0 , h)F
lim = 0. (2.10)
h0 hE
Diremos que f es diferenciable en el sentido fuerte sobre U si lo es en cada
punto x U .
A la aplicacion lineal df (x) se le llama la diferencial fuerte (o de Frechet)
de f en el punto x0 . Por analoga con (2.5) utilizamos tambien la notacion
f (x0 ) = df (x).
= df (x)(h) + (h),
( )
donde (h) = 1 (h), . . . , m (h) . Como
(h)
lim = 0,
h0 h
se tiene que f es diferenciable.
El recproco se verica de manera similar.
Como una consecuencia del teorema anterior tenemos la diferenciabilidad
de las funciones lineales.
Teorema 2.5 Toda funcion lineal L : Rn Rm es diferenciable. Ademas,
existe una constante C tal que, para todo x Rn
L(x)Rm C xRn .
En particular, cara cada t [0, 1], se sigue del Teorema del Valor Medio que
si h C[0, 1] y h < , entonces
g(t, f (t) + h(t)) g(t, f (t)) g(t, f (t))h(t)
y
( )
= g(t, f (t) + (t)) g(t, f (t)) h(t) < h.
y y
Luego
1
L(f + h) L(f ) g(t, f (t))h(t)dt
0 y
1 ( )
= g(t, f (t) + h(t)) g(t, f (t)) g(t, f (t))h(t) dt < h.
0 y
Esto prueba que L es diferenciable y
1
L (f, h) = g(t, f (t)) h(t) dt.
0 y
donde h = (h1 , . . . , hn ).
Demostracion. Si h = (h1 , . . . , hn ) Rn , considerando la linealidad de la
diferencial, se tiene que
n
df (x, h) = df (x, ek )hk .
k=1
2.2 Diferenciales 65
f (x + hek ) f (x)
lim = df (x)(ek ).
h0 h
Denotaremos mediante D(U, F ) al conjunto de todas las funciones deri-
vables en sentido fuerte de U en F . D(U, F ) es un espacio lineal y la aplicacion
L : D(E, F ) L(E, F )E , denida por L(f ) = f es un operador lineal.
Observacion 2.1 A diferencia de (2.7), cuando consideramos dos espacios
normados arbitrarios, puede ocurrir que el incremento f (x0 + h) f (x0 ) sea
una funcion lineal pero no continua con respecto a h o tambien que dicho
incremento no sea lineal en h.
Como consecuencia del Teorema 2.3 tenemos el resultado siguiente.
Teorema 2.7 Si U Rn es abierto no vaco y f C 1 (U, R), entonces f es
diferenciable (f D(U, R)).
h( + s) h() f (x + ( + s)u) f (x + u)
lim = lim ,
s0 s s0 s
1
= Du f (x + u) = f (x + u) u = f (x + u) (y x).
Esto prueba que h es derivable en (0, ). Como podemos utilizar el Teorema
del Valor Medio para funciones de una variable real, existe (0, ) tal que
1
h() h(0) = h () = f (x + y) (y x) = f (x + y) (y x).
Tomando z = x + u se tiene el resultado.
| f (x) f (y) | M x y.
| f (x + h) f (x) | | Df (x)(h) | +h
( )
n n
| Dk f (x) | | hk | +h 1 + | Dk f (x) | h,
k=1 k=1
donde
fk
Ck,j = .
xj D
Demostracion. Pongamos f = (f1 , . . . , fm ), donde cada funcion fk es de
clase C 1 . Como D es un compacto, se tiene que todas las derivadas parciales
de la funciones fk estan acotadas sobre Br (x0 ). De aqu, segun el Teorema
del Valor Medio (Teorema 2.8), para x, y Br (x0 ),
v
u ( )
u n fk (z) 2
| fk (y) fk (x) |=| f (z) (y x) | t y xRn
j=1
xj
v v
u u
u n fk 2 u n 2
t t
xj y xRn = C k,j y xRn .
j=1 D j=1
Ahora
v v
um u
u um
n
=t (fk (x) fk (y)) t
2
f (x)f (y)Rm 2
Ck,j yxRn .
k=1 k=1 j=1
f = (f1 , . . . , fn ) : S Rn y g:U R
Por otro lado, segun el Teorema 2.9, existe una constante M y > 0 de
forma que, si z + w B (z),
| fk (z + w) fk (z) | M w, 1 k n.
De aqu que
n
g(f (z)) (f (z + w) f (z)) Dk g(f (z))fk (z) w
k=1
n
= Dk g(f (z)){fk (z + w) fk (z) fk (z) w}
k=1
n
| Dk g(f (z)) | | fk (z + w) fk (z) fk (z) w |
k=1
n
w | Dk g(f (z)) | = C w. (2.17)
k=1
n M w + Cw = w,
donde tomamos = (nM + C).
El calculo de la diferencial de la funcion compuesta se realiza con mayor
facilidad con la ayuda de las matrices jacobianas.
Sean S Rm abierto no vaco, f = (f1 , . . . , fn ) : S Rn una funcion y
x S. Si todas las funciones fi tienen derivadas parciales en el punto x, la
matriz jacobiana de f en x se dene como
f (x) f1 (x) f1 (x)
x1 1 x2 xm
f2 (x) f2 (x) f2 (x)
Jf (x) = x1 x2 xm . (2.18)
fn (x) fn (x) fn (x)
x1 x2 xm
Cuando n = 1, Jf (x) es una matriz la que podemos identicar con f (x).
Teorema 2.12 Bajo las condiciones del Teorema (2.11), si h = gf , entonces
n ( )
= g(f (z)) fk (z), . . . , fk (z)
xk x1 xm
k=1
n
= g(f (z))fk (z).
xk
k=1
D1,2 = D2,1 .
para | s |, | t |< r.
Del Teorema del Valor Medio se inere que existen v (x, x + s) y w
(y, y + t) tales que
g1 (x + s) g1 (x) = g1 (v)s
= (D1 f (v, y + t) D1 f (v, y)]s = D2 D1 f (v, w) s t.
De forma analoga, existen a (x, x + s) y b (y, y + t) tales que
g2 (y + t) g2 (y) = D1 D2 f (a, b) s t.
Como
g1 (x + s) g1 (x) = g2 (y + t) g2 (y),
se tiene que
D2 D1 f (v, w) = D1 D2 f (a, b).
Haciendo s y t tender a cero se obtiene el resultado.
El teorema anterior es valido en Rn con n > 2. En tal caso se verica que la
derivada Dr1 ,r2 ,...,rk f no vara cuando la coleccion de ndices {r1 , r2 , . . . , rk }
se cambia por una permutacion suya. Por ejemplo,
6f 6f 6f 6f
= = = .
x21 x32 , x3 x1 x32 x23 x31 x2 x23 x1 x22 x33
La clase C p (A) esta formada por todas las funciones de valores reales tales
que todas las derivadas parciales de orden menor o igual que p existen y son
continuas.
72 2 Funciones de varias variables
= h21 D12 f (x) + h22 D22 f (x) + h23 D32 f (x) + 2h1 h2 D1 D2 f (x)
+2h1 h3 D1 D3 (x) + 2h2 h3 D2 D3 (x).
Teorema 2.14 Sean r N, U Rn un abierto no vaco y f C r (U ). Si
x U y t Rn son tales que [x, x + t] U , existe (0, 1) tal que
Se tiene que h C r [0, 1]. Luego podemos aplicar el Teorema de Taylor para
funciones de una variable real. Con ello obtenemos
h (0) h(r1) (0) h(r) ()
h(1) = h(0) + + ... + + , 0 < < 1. (2.20)
1! (r 1)! r!
dk
h() = (t )k h(), 1 k r. (2.21)
dk
Para k = 1, aplicando el Teorema de la Funcion Compuesta obtenemos
2.3 Derivadas parciales de orden superior 73
n
h () = Di f (x + t)ti = t f (x + y) = (t )f (x + y).
i=1
f 1 : W (f (x0 )) V (x0 ).
(iii) f 1 es de clase C 1 .
(iv) Para y W (f (x0 )), df 1 (y) = [df (f 1 (y))]1 .
Demostracion. La aplicacion lineal h = df (x0 ) tiene inversa lineal h1 .
Como h1 es lineal, es diferenciable y dh1 (y) = h1 (y).
Consideremos la funcion g = h1 f : U Rn . Se tiene g es diferenciable
en x0 y
dg(x0 ) = d(h1 )(f (x0 )) df (x0 ) = h1 h = I.
Demostremos que la armacion del teorema es cierta para g = (g1 , . . . , gn ).
Previamente, veamos que existe r > 0 con las propiedades siguientes
Br (x0 ) U, (2.23)
n
Gy (x) = y g(x) = (yi gi (x))2 .
2
i=1
Dj Gy (x) = 0, 1 j n.
Como det (Jg (x)) = 0, este sistema tiene solucion unica. Luego
yi = gi (x), 1 j n.
y
(x1 x)
lim = 0. (2.30)
x1 x x1 x
Como dg(x) = 0, esta funcion lineal tiene inversa, que denotaremos por H.
Aplicando H en la igualdad anterior, obtenemos
(g 1 (y1 ) g 1 (y))
2 ,
g 1 (y1 ) g 1 (y)
y, segun (2.30) el ultimo termino tiene a cero cuando y1 y, ya que g 1 (y1 )
g 1 (y), por ser g 1 continua.
Hemos demostrado que g 1 es diferenciable y dg 1 (y) = H, donde H es la
funcion inversa de dg(x). Esto es
Observacion 2.6 Bajo las hipotesis del Teorema de la Funcion Inversa, como
x = f 1 (f (x)), del Teorema de la Funcion Compuesta se sigue que
I = df 1 (f (x)) df (x), xV
y
I = df (f 1 (y)) df 1 (y), y W.
se tiene que
x = h1 (g1 (x, y), g2 (x, y)) y y = h2 (g1 (x, y), g2 (x, y)).
Como det (Jf (z)) = 0, los dos sistemas anteriores tienen solucion unica.
Ademas
1 1
D1 h1 (f (z)) = D2 g2 (z), D2 h1 (f (z)) = D2 g1 (z),
det(Jf (z)) det(Jf (z))
1 1
D1 h2 (f (z)) = D1 g2 (z) y D2 h2 (f (z)) = D1 g1 (z).
det(Jf (z)) det(Jf (z))
Veamos un ejemplo concreto.
Ejemplo 2.7 Sea f : R2 R2 dada por f (x, y) = (x2 y 2 , 2xy). En este
caso g1 (x, y) = x2 y 2 y g2 (x, y) = 2xy.
La matriz jacobiana y su determinante son
2x 2y 2x 2y
y = 4(x2 + y 2 ).
2y 2x 2y 2x
2.5 Teorema de la Funcion Implcita 79
es distinto de cero.
Existen vecindades abiertas V (x0 ) Rn y W (y0 ) Rm y una unica
funcion de clase C r
g:V W
con las propiedades siguientes:
(i) V (x0 ) W (y0 ) U .
(ii) g(x0 ) = y0 .
(iii) Para todo x V , f (x, g(x)) = 0.
= (G G1 )(x, y) = (x, y) = y,
y se tiene que F (x, K(x, 0)) = 0. Tomando g(x) = K(x, 0) se tiene la funcion
buscada.
Ejemplo 2.8 Supongamos que el teorema anterior U R2 . Aplicando el
teorema de la diferencial de la funcion compuesta a la identidad F (x, g(x)) = 0
(x R) obtenemos
Esto es
D1 F (x, g(x))
g (x) = .
D2 F (x, g(x))
2.6 Ejercicios
Ejercicio 2.1 Sea f (x, y) = x2 + sin xy. Calcular las derivadas direccionales de f ,
segun la direccion dada por los vectores (1, 1) y (0, 1).
Ejercicio 2.2 Calcule (si existen) las derivadas parciales en el origen de las fun-
ciones siguientes:
x3 y y(x2 + y 2 )3/2
f (x, y) = , f (x, y) = ,
x4 + y 2 (x2 + y 2 )2 + y 2
xy xy
f (x, y) = y f (x, y) = .
x2 + y 2 x2 + y 2
2.6 Ejercicios 81
xy 2
f (x, y) = , x2 + y 2 = 0.
x2 + y 2
b) f (0, 0) = 0 y
x2 y 2
f (x, y) = , x2 + y 2 = 0.
x2 + y 2
c) f (0, 0) = 0 y
x2 y 2
f (x, y) = , x2 + y 2 = 0.
x2 + y 4
Ejercicio 2.6 Analice la diferenciabilidad en (0, 0) de las funciones siguientes:
a)
1, si x = 0 y y = 0,
f (x, y) =
2, si x = 0 o y = 0.
b) f (0, 0) = 0 y
x2 y 2
f (x, y) = x2 + y 2 = 0,
x2 + y 2
2f 2f
=
xy yx
para las funciones
siguentes:
a) f (x, y) = 2y + y 2 , para xy + y 2 > 0.
b) f (x, y) = xy , para x > 0.
Ejercicio 2.14 Sea f (x, y) = (1 + x)m (1 + y)n , para n, m N. Calcule los terminos
del desarrollo de Taylor de f que involucran a las derivadas de orden no mayor que
dos.
Ejercicio 2.18 Sea f (x, y) = x2 + 2xy + y 3 . Pruebe que si p > q 4, los desar-
rollos de Taylor de f (en cualquier punto) de orden p y q coinciden.
Ejercicio 2.19 Pruebe que la funcion f (x, y) = | xy | no es diferenciable en el
origen.
Ejercicio 2.21 Sea g : R R una funcion continua. Calcule las derivadas parciales
de las funcionessiguientes:
x+y
a) f (x, y) = 0 g(t)dt.
xy
b) f (x, y) = 0 g(t)dt.
y
c) f (x, y) = x g(t)dt.
y f (0, 0) = 0. Pruebe que f es diferenciable en (0, 0), pero las primeras derivadas
parciales no son continuas en (0, 0).
f (x, y) = (x, (y 2
x2
)/x2
), si 0 y x2 ,
f (x, y), si y 0.
Ejercicio 2.25 Supongase que la funcion y(x) esta denida mediante la ecuacion
(x2 + y 2 )3 3(x2 + y 2 ) + 1 = 0. Hallar y y y
y
lim (ht) = 0.
h0
lim () = lim () = 0.
0 0
2 2
1 + 2 = f (x0 ) + f (x0 ) y 1 2 = .
x2 y 2
Si suponemos que > 0, los valores propios tiene el mismo signo y, por lo
tanto, las parciales no cruzadas tienen el mismo signo. Estas ultimas tienen el
3.1 Extremos de funciones suaves 89
mismo signo que las races. De aqu que (i) y (ii) se sigan de la Observacion
3.4.
Si suponemos que < 0, entonces los valores propios tienen signos distintos
y f no tiene extremos en x0 .
Ejemplo 3.1 Sea
U = {(x, y) R2 : | x | + | y | 1}.
B = {(x, y) R2 : | x | + | y |= 1}
es la frontera de U . Pongamos
C = U \ B.
x=y=0
x=0 y 2x + y = 1
y=0 y x + 2y = 1
y
2x + y = 1 y x + 2y = 1.
Luego, los unicos puntos estacionarios posibles son
Pero (0, 1)
/ C y (1, 0)
/ C. Concluimos que los unicos puntos estacionarios
son los dos ultimos y
1
f (0, 0) = 0 y f (1/3, 1/3) = .
27
90 3 Problemas extremales
Si (x, y) B2 ,
Luego
8
f (2/3, 1/3) = f (x, 1 x) 0 = f (0, 1) = f (1, 0).
27
Si (x, y) B3 ,
En este caso
1
f (0, 1) = f (1, 0) = 0 f (x, 1 x) = f (1/2, 1/2).
2
Finalmente, si (x, y) B4 ,
y
8
f (1/3, 2/3) = f (x, x 1) 0 = f (0, 1) = f (1, 0).
27
De los calculos anteriores tenemos
8 1
min f (x, y) = y max f (x, y) = .
(x,y)A 27 (x,y)A 2
3.2 Extremos condicionados 91
S = {x U : gi (x) = 0, 1 i m }
es no vaco.
Dada una funcion f : U R y un punto x0 S, diremos que f alcanza un
maximo condicionado por el sistema de ecuaciones gi (x) = 0 (1 i m), si
existe una vecindad V (x0 ) A del punto x0 tal que, para todo x V (x0 ) S,
f (x) f (x0 ).
El maximo condicionado es estricto, si f (x) < f (x0 ), para x = x0 .
Las nociones de mnimo condicionado y mnimo condicionado estricto se
denen de manera similar.
Veamos inicialmente algunas condiciones necesarias para que un punto sea
un extremo condicionado.
Para simplicar. en el teorema siguiente representamos los puntos z Rn+m
en la forma z = (v, w) con v Rn y w Rm .
Una de las dicultades que encontramos al estudiar extremos condiciona-
dos esta relacionada con el conjunto S anterior. Dicho conjunto esta denido
por un sistema de ecuaciones que, en general, no podemos resolver. Un caso
especial es cuando las ultimas m variables pueden ser escritas en terminos de
las primeras n variables.
Podemos considerar una funcion G : U Rm denida por
Se tiene que
S = {x U : G(x) = 0 }.
Si las funciones gi son de clase C 1 , entonces G es de clase C 1 . Para poder
aplicar el Teorema de la Funcion Implcita necesitamos una condicion adi-
cional. Supongamos que en el punto (v0 , w0 ) S el determinante de la matriz
= (1 , . . . , m ) : V (v0 ) W (w0 )
(ii) (v0 ) = w0 .
(iii) Para todo y V (v0 ), G(y, (y)) = 0.
Convengamos en llamarle a = (1 , . . . , m ) la funcion implcita asociada
a G sobre la vecindad V (v0 ) W (w0 ).
Teorema 3.3 Sea U Rn+m un abierto no vaco y z0 = (v0 , w0 ) U . Para
cada 1 i m, sea
gi : U R,
un funcion de clase C 1 tal que gi (v0 , w0 ) = 0. Supongamos que la matriz
cuadrada ( )
gi
(x0 ) , 1 i m, n + 1 j n + m,
xj
es de rango m y sea = (1 , . . . , m ) la funcion implcita asociada a G =
(g1 , . . . , gm ) sobre la vecindad V (v0 ) W (w0 ).
Una funcion f : U R tiene un maximo (mnimo) condicionado en
(v0 , w0 ) con respecto al sistema G(x) = 0 si y solo si la funcion
y
f2 (x) = x + 2 9 x2 , x [3, 3],
Primera solucion. Si la funcion f1 tiene un extremo en el interior del
intervalo [3, 3], entonces
2x 9 x2 + 2x
f1 (x) = 1 + = = 0.
9 x2 9 x2
Pero esto ocurre si y solo si x < 0 y 5x2 = 9. En tal caso debemos tomar
9
x0 = .
5
Considerando que 9 x20 = 2x0 , se tiene que
f1 (x0 ) = x0 + 4x0 = 5x0 = 3 5.
Ademas
3.2 Extremos condicionados 93
3 5 < 3 = f (3) = 3 < 3 = f (3).
De forma similar vericamos que
3 = f2 (3) f2 (x) f2 (x0 ) = 3 5.
para x2 + y 2 = 9.
Segunda solucion. Considerando las notaciones del ultimo teorema pone-
mos
La matriz ( )
g g
M (G) = , = (2x, 2y).
x y
tiene rango uno siempre que (x, y) = (0, 0). Para y = 0, podemos escribir a y
como una funcion de x y u(x) = f (x, y) = f (x, y(x)). Si u tiene un extremo
en un punto x0 , entonces u (x0 ) = 0. Pero
f f
u (x0 ) = (x0 , y(x0 )) + (x0 , y(x0 ))y (x0 ) = 1 2y (x0 ).
x y
Ejemplo 3.3 Veamos un caso en que las restricciones vienen dadas por una
sola funcion. Sea g : R3 R dada por
94 3 Problemas extremales
g(x, y, z) = x2 + y 2 + z 2 9.
S = {(x, y, z) R3 : g(x, y, z) = 0 }.
y ( )
g g g
M (G) = , , = (2x, 2y, 2z).
x y z
Este matriz tiene rango uno siempre que (x, y, z) = (0, 0, 0).
Sea f : R3 R dada por
f (x, y, z) = x 2y + 2z.
Esto es
z = 2x0 z = y0 y x20 + y02 + z 2 = 9.
En tal caso x20 + 4x20 + 4x20 = 9x20 = 9. Luego x0 = 1 y las unicas soluciones
posibles son (1, 2, 2) y (1, 2, 2).
Por otro lado, cuando z = 0, estamos buscando los extremos de la funcion
f (x, y) = x 2y bajo las restriccion x2 + y 2 = 9. Este problema fue resuelto
en el Ejemplo 3.2.
Como
f (1, 2, 2) = 9 y f (1, 2, 2) = 9,
concluimos que si x2 + y 2 + z 2 = 9, entonces
ya que
9 < 3 5 < 3 5 < 9.
es de rango m.
Si funcion f : U R de clase C 1 tiene un extremo condicionado en v0 con
respecto a las condiciones
gi (v) = 0, 1 i m, v U, (3.3)
y la funcion de Lagrange es
v0 = (x0 , y0 , s0 , y0 )
y supongamos que
g1 (v0 ) = 0 y g2 (v0 ) = 0. (3.5)
Como la matriz
g (v ) g (v ) g (v ) g (v )
1 0 1 0 1 0 1 0
x y s t
g2 (v0 ) g2 (v0 ) g2 (v0 ) g2 (v0 )
x y s t
es de rango 2, sin perder generalidad supongamos que el determinante
g (v ) g (v )
s 1 0 t 1 0
(3.6)
g2 (v0 ) g2 (v0 )
s t
es distinto de cero. Como g1 (v0 ) = g2 (v0 ) = 0, podemos aplicar el Teorema
de la Funcion Implcita y considerar a s y t como funciones de x e y. En tal
caso las condiciones (3.3) se escriben en la forma
( ) ( )
g1 x, y, s(x, y), t(x, y) = 0, g2 x, y, s(x, y), t(x, y) = 0,
en una vecindad V (v0 ) del punto v0 . Por lo tanto, en V (v0 ), dg1 (v0 ) =
dg2 (v0 ) = 0. Estas ultimas ecuaciones se pueden escribir en la forma
g1 g1 g1 g1
(v0 )dx + (v0 )dy + (v0 )ds + (v0 )dt = 0 (3.7)
x y s t
y
g2 g2 g2 g2
(v0 )dx + (v0 )dy + (v0 )ds + (v0 )dt = 0. (3.8)
x y s t
3.3 Multiplicadores de Lagrange 97
f f f f
(v0 )dx + (v0 )dy + (v0 )ds + (v0 )dt = 0. (3.9)
x y s t
f g1 g2
(v0 ) + 1 (v0 ) + 2 (v0 ) = 0 (3.11)
s s s
f g1 g2
(v0 ) + 1 (v0 ) + 2 (v0 ) = 0 (3.12)
t t t
tiene solucion, ya que el determinante (3.6) es distinto de cero. Si denotamos
sus soluciones por 1 y 2 respectivamente y consideramos estos valores en la
ecuacion (3.10), tendremos
( ) ( )
f g1 g2 f g1 g2
+ 1 + 2 (v0 )dx + + 1 + 2 (v0 )dy = 0.
x x x y y y
W0 = (x0 , y0 , s0 , t0 , 1 , 2 ) = (v0 , ).
L f g1 g2
(W0 ) = (v0 ) + 1 (v0 ) + 2 (v0 ) = 0,
x x x x
y segun (3.14)
L f g1 g2
(W0 ) = (v0 ) + 1 (v0 ) + 2 (v0 ) = 0.
y y y y
Por otro lado, como 1 y 2 son las soluciones del sistema (3.11)-(3.12),
tenemos
L f g1 g2
(W0 ) = (v0 ) + 1 (v0 ) + 2 (v0 ) = 0
s s s s
y
L f g1 g2
(W0 ) = (v0 ) + 1 (v0 ) + 2 (v0 ) = 0
t t t t
Finalmente
L L
(W0 ) = g1 (v0 ) = 0 y (W0 ) = g2 (v0 ) = 0
1 2
Ejemplo 3.4 Busquemos la solucion del Ejemplo 3.3 utilizando los multipli-
cadores de Lagrange.
Sea g : R3 R dada por
g(x, y, z) = x2 + y 2 + z 2 9
y
S = {(x, y, z) R3 : g(x, y, z) = 0 }.
Sea f : R3 R dada por
f (x, y, z) = x 2y + 2z.
Necesitamos encontrar los puntos (x, y, z, ) donde todas las derivadas par-
ciales de L se anulan simultaneamente. Tenemos
L
= 1 + 2x = 0,
x
3.4 Ejercicios 99
L
= 2 + 2y = 0,
y
L
= 2 + 2z = 0,
z
L
= x2 + y 2 + z 2 9 = 0,
De las tres primeras ecuaciones se sigue que xyz = 0. Luego
1 1 1
x= , y= , z= .
2
Sustituyendo estos valores en la ultima ecuacion obtenemos
1 9
92 = 2 + = .
4 4
Esto es = 1/2 y obtenemos los soluciones
3.4 Ejercicios
Ejercicio 3.1 Calcule el maximo y el mnimo de la funcion f (x, y) = x + y sobre
el cuadrado [1, 1] [1, 1].
Ejercicio 3.7 Encuentre los extremos absolutos (si existen) de las funciones sigu-
ientes en las regiones que se indican:
a) f (x, y) = x 2y 3, para 0 y 1 y 0 x + y 1.
b) f (x, y) = x2 + y 2 + 4x + 4y, para x2 + y 2 8.
2 2
c) f (x, y) = (x2 + y 2 )e(x +y ) , para 4(x2 + y 2 ) 1.
2f 2f
2
+ = 0.
x y 2
Pruebe que si f tiene un maximo local estricto en un punto (x0 , y0 ), entonces todas
las derivadas segundas de f se anulan en dicho punto
Ejercicio 3.11 Sea A = {(x, y, s, t) R4 : x > 0, y > 0, s > 0, t > 0}. Sea
f : A R denida por f (x, y, s, t) = xyst. Encuentre los extremos de f bajo la
condicion x + y + s + t = 4c, donde c > 0 esta jo.
Ejercicio 3.14 Halle las distancias maxima y mnima desde el origen a la curva
5x2 + 6xy + 5y 2 = 8.
Ejercicio 3.15 Halle los valores extremos de la funcion f (x, y) = cos2 x + cos2 y,
bajo la condicion x y = /4.
4
Funciones analticas
z = x + iy = rei
se sigue que y
r= x2 + y 2 y = arctan .
x
f (x) f (t)
lim .
xt xt
Es claro que f admite derivada en un punto t si y solo si las funciones u y v
(f = u + iv) admiten derivada en dicho punto.
En lo que sigue D denotara siempre a un subconjunto del plano complejo.
102 4 Funciones analticas
f (wn ) f (w)
f (w) = lim = u(x0 , y0 ) + i v(x0 , y0 ).
n wn w x x
Igualando partes reales e imaginarias se obtiene el resultado anunciado.
Uno de los hechos mas importantes de la teora de las funciones de variable
compleja es que el recproco del teorema anterior es cierto, bajo la condicion
adicional de que la funcion sea analtica.
v(x, y) v(x0 , y0 )
[ ]
v v v v
= y (x0 , y0 ) + x (x0 , y0 ) + x (2 , y0 ) (x0 , y0 )
x x x x
[ ]
v v
+y (x0 + x, 2 ) (x0 , y0 )
y y
donde 2 (2 ) es un punto intermedio entre x0 (y0 ) y x (y).
Considerando las dos igualdades obtenidas anteriormente y las condiciones
de Cauchy-Riemann se obtiene la igualdad
f (x, y) f (x0 , y0 ) u v
(x0 , y0 ) i (x0 , y0 )
z z0 x x
[ ]
x u u
= (1 , y0 + y) (x0 , y0 )
x + iy x x
[ ]
y u u
+ (x0 , 1 ) (x0 , y0 )
x + iy y y
[ ]
x v v
+ (2 , y0 ) (x0 , y0 )
x + iy x x
[ ]
y v v
+ (x0 + x, 2 ) (x0 , y0 ) .
x + iy y y
Ahora, considerando que | x || x + iy | y | y || x + iy | se tiene
que
f (x, y) f (x0 , y0 ) u v
(x0 , y0 ) i (x0 , y0 )
z z0 x x
[ ]
x u u
(1 , y0 + y) (x0 , y0 )
x + iy x x
[ ]
y u u
+ (x0 , 1 ) (x0 , y0 )
x + iy y y
[ ]
x v v
+ (2 , y0 ) (x0 , y0 )
x + iy x x
[ ]
y v v
+ (x0 + x, 2 ) (x0 , y0 )
x + iy y y
u u u u
(1 , y0 + y)
(x0 , y0 ) + (x0 , 1 ) (x0 , y0 )
x x y y
4.3 Funciones elementales 105
v v v v
+ (2 , y0 )
(x0 , y0 ) + (x0 + x, 2 ) (x0 , y0 ) .
x x y y
Segun la continuidad de las derivadas parciales los cuatro ultimos terminos
tienden a cero cuando z tiende a z0 .
eiz + eiz
cos z =
2
y
eiz eiz
sin z = .
2i
Dado dos numeros complejos z y w diremos que w es un logaritmo de z si
ew = z. Al conjunto de todos los logaritmos de z lo denotamos por Log(z).
La funcion exponencial compleja, a diferencia de la exponencial real no tiene
inversa. Notese que, si k es un entero, entonces ez = ez+2ki , luego podemos
considerar distintas funciones logaritmo mediante la formula (z = 0)
Cuando se quiere trabajar con una funcion logaritmo debe jarse el rango
donde se considerara el argumento de la variable. Fijado esto, a la funcion
obtenida se la llama una rama de la funcion logaritmo. En particular, para la
106 4 Funciones analticas
[ (t)] + [ (t)] = 0;
2 2
= nk=1 k .
Notese que las curvas regulares pueden ser parametrizadas con respecto a
la longitud de arco, para ello basta considerar a las parametrizaciones de los
arcos que la forman.
Una curva cerrada (como la circunferencia) se dice que esta orientada si se
ha indicado un modo de recorrerla. Cuando se recorre en sentido contrario a
108 4 Funciones analticas
las manecillas del reloj diremos que se recorre en sentido positivo. Esto es solo
un convenio cuya utilidad se vera mas tarde.
Antes de continuar con la teora de las funciones de variable compleja
veamos algunos hechos relacionados con las integrales curvilneas. Notese que
en la denicion que damos mas abajo se repite el proceso de construccion
de la integral de Riemann. Como es usual, es este texto, identicamos al
plano complejo con R2 , luego la deniciones de curvas que hemos presentado
anteriormente podemos considerarlas en R2 . Como suponemos al lector famil-
iarizado con la integral de Riemann no presentamos la denicion que sigue
con todo el rigor necesario.
Denicion 4.6 Sea una curva regular en (R2 ) y (t) = ((t), (t)) su
representacion parametrica en terminos de la longitud de arco. Sea f : R
una funcion real. La integral de lnea de f a lo largo de la curva se dene
como el lmite (siempre que dicho lmite exista) de las sumas
n
f ((xk ), (xk ))zk ,
k=1
donde
0 = z0 < z1 < < zn < zn+1 = l( )
es una particion de [0, l( )] con norma
max {zk+1 zk : 1 k n} ,
Se verica que, al igual que con la integral de Riemann, para las funciones
continuas las integrales de lnea siempre existen.
En la denicion anterior hemos considerados las diferencias zk+1 zk rela-
cionadas con la longitud de arco. Con las mismas ideas podemos denir dos
nuevas integrales. Si en lugar utilizar las diferencias zk consideramos sumas
del tipo
n
f ((xk ), (xk ))xk
k=1
Otro resultado que nos sera de utilidad mas adelante, relacionado con las
integrales curvilneas, es el siguiente.
Teorema 4.4 Sea una region de R2 y P, Q : R dos funciones con
derivadas parciales continuas. Sean (a, b) y (p, q) puntos de y H la familia
de todas las curvas regulares contenidas en con inicio en (a, b) y punto nal
en (p, q). Una condicion necesaria y suciente para que, cualesquieras sea
y elementos de H se cumpla que
(P (x, y)dx + Q(x, y)dy) = (P (x, y)dx + Q(x, y)dy)
n1
V () = sup sup |(xk ) (xk+1 )| .
n P n
k=0
Se verica que, para ja, el espacio R() de las funciones integrales con
respecto a es un espacio vectorial. La demostracion se deja como ejercicio
al lector.
Si la funcion admite derivada en todos los puntos y f es integrable con
respecto a
b b
f ((t))d(t) = f ((t)) (t)dt,
a a
donde la ultima integral se entiende en el sentido de Riemann. Notese que
si tiene derivadas continuas ( = + i) y f toma solo valores reales,
entonces podemos relacionar las integrales anteriores con las integrales de
lneas consideradas para el caso de las funciones reales.
Demostracion. Basta observar que, cualquiera sea a = t0 < t1 < < tn <
tn+1 = b una particion de [a, b], con tk [tk , tk+1 ], se tiene que
n
n
f ((tk )) ((tk+1 ) (tk )) |f ((tk ))| |(tk+1 ) (tk )|
k=0 k=0
n
| f ((tk )) | V (tk , tk+1 ) f ([a,b]) V (),
k=0
donde V (tk , tk+1 ) es la longitud del arco comprendido entre los puntos tk y
tk+1 .
Con frecuencia, al estimar integrales tendremos que utilizar la primera de
las desigualdades de la proposicion anterior. Para mantener una notacion mas
coherente en lugar del diferencial ds escribiremos |dz|. Esto es
|f (z)| ds = |f (z)| |dz| ,
b
d
= F ((t))dt = F ((b)) F ((a)).
a dt
Luego, el valor de la integral depende solamente de los extremos de la curva.
0 < |a b| |z1 z2 | .
Tales puntos existen (se esta considerando la distancia entre dos compactos del
plano complejo). Denotemos por P1 al segmento de recta que une a los puntos
a y b recorrido desde a hasta b y, mediante P2 denotemos al mismo segmento
recorrido desde b hasta a. Ahora podemos considerar una curva cerrada L
formada de la forma siguiente: se recorre (en sentido positivo) comenzando
en a, al regresar al punto a se recorre la curva P1 , ahora se recorre en sentido
negativo (desde el punto b hasta regresar a b) y nalmente se regresa al punto
a de recorriendo P2 . Como L es una curva cerrada contenida en el dominio
donde f es analtica, se sigue del teorema integral de Cauchy que
0= f (z)dz = f (z)dz + f (z)dz f (z)dz + f (z)dz
L P1 P2
= f (z)dz f (z)dz.
4.6 Teorema integral de Cauchy 115
|z | |z w| + |w | < + |w | ,
luego
1 1
< .
|w |
De aqu que
F (z) F (w)
1 f ()
d =
zw 2i ( z)2
( )
1
1 1 1 f ()
= f () d
2i zw z w ( z)
2
( )
1
1 1
= f () d
2i ( z) ( w) ( z)2
1 1 wz
= f () d
2 ( z) ( w) ( z)
|w z| f 1
2 |d|
2 | z| | w|
|w z| f 1
|d|
( )
2 2
1
= |w z| f 2 |d| < .
( )
Para nalizar esta seccion presentemos un resultado que anunciamos an-
teriormente sin demostracion: la derivada de toda funcion analtica es una
funcion analtica.
Teorema 4.12 (de Morera) Sea f C(). Si para cada curva regular ce-
rrada contenida en se tiene que
f (z)dz = 0,
entonces f H().
Demostracion. Fijemos un punto z0 . Para cada punto z , z = z0
jemos una arco regular (z) con inicio en el punto z0 y extremo en el punto
z y denamos
F (z) = f ()d.
(z)
Segun las hipotesis, cada una de las integrales anteriores existe y no depende
de la curva prejada. Veriquemos que la funcion anterior tiene derivada en
todos los puntos, mas aun F () = f (). Fijemos y sea = dist(, ).
Si |w| < , entonces el segmento de recta que une a con + w es una
curva regular L() contenida en . Sea > 0 y jemos (0, ) tal que si
| | < , entonces |f () f ()| < . Se sigue que si |w| < , entonces
F ( + ) F (w) 1
f ()= [f () f ()] d
L()
1
|f () f ()| |d|
|| L()
< |d| = .
|| L()
Esto prueba que F () = f (), lo cual dice que F es una funcion analtica.
Pero, como ya vericamos, la derivada de una funcion analtica es una funcion
analtica.
4.7 Funciones analticas: propiedades locales 119
valida para todo punto z en el interior de C siempre que z = a. Por otro lado,
la expresion anterior es un integral de tipo Cauchy y, por lo tanto, dene
una funcion analtica F sobre el interior de la circunferencia. Claramente,
F (z) = f (z) para los puntos distintos de a.
Para muchos calculos es bueno contar una expresion nita que describa
en comportamiento de una funcion analtica en una vecindad de punto. Este
problema se resuelve, en parte, con la formula de Taylor con resto.
Como es habitual utilizaremos el smbolo f (n) (a) para referirnos a la
derivada n-esima de la funcion f en el punto a.
Esto da la representacion
Para z = a,
1 1 1 1
G1 (z) = d = d = 0.
2i ( z)2 2i z
C C
( )n
M 2r |za| Mr
| z a |
n
= .
2 r (r | z a |)
n r r | z a |
Podemos utilizar el resultado anterior para vericar que los ceros de las
funciones analticas se comportan, en cierto sentido, como los ceros de los
polinomios. De forma mas concreta, los ceros de las funciones analticas son
puntos aislados en el dominio. El resultado tambien se puede interpretar como
un teorema de unicidad: si dos funciones analticas coinciden en un conjunto
innito de puntos que tenga un punto de acumulacion en la region, entonces
ambas funciones son iguales.
Este resultado dice que el valor absoluto de f en no puede ser mayor que
el maximo valor que alcanza sobre la circunferencia. Queremos vericar un
resultado mas fuerte. Si f no es constante, entonce la desigualdad anterior es
estricta.
Recordemos que si f es una funcion real continua en un intervalo [a, b] y,
para cada x [a, b] se cumple que f (x) 0, entonces
b
f (x)dx = 0
a
| f (z0 ) | .
Luego
2
1
| f (z0 ) |= | f (z0 + rei ) | d.
2
0
Esto dice que
2
1 ( )
| f (z0 ) | | f (z0 + rei ) | d = 0.
2
0
124 4 Funciones analticas
Como |f (z0 )| f (z0 + rei ) 0, se concluye que |f (z0 )| = f (z0 + rei ) ,
para cada [0, 2] .
Los argumentos anteriores prueba que la funcion |f | es constante sobre C.
Haciendo variar a r, se tiene que |f | es constante en una vecindad de z0 . Ahora
el teorema se sigue de la Proposicion 4.6.
y
| f (z0 ) |= f .
M
| g(z) | .
r
4.10 Espacios metricos de funciones analticas 125
M
| g(z) | |z| .
r
Haciendo r tender a innito se concluye que g(z) = 0. Luego g es la funcion
nula. Esto dice que f es constante.
Consideremos el caso en que M = r.
|f (0)| 1.
Demostracion. Segun el lema de Schwarz se tiene que, para 0 < |z| < r,
f (z) f (0) r
z 0 r = 1.
entonces existe una funcion f C(X) tal que {fn } converge uniformente a f
en X.
128 4 Funciones analticas
Teorema 4.19 Sea un dominio del plano complejo y {Kn } una sucesion
de conjuntos representativa para , se tiene que la funcion
1 f gKn
d(f, g) =
2n 1 + f gKn
k=1
dene una metrica sobre H(). Ademas, con esta metrica H() es un espacio
completo.
Demostracion. El hecho de que la funcion es una metrica se deduce de las
proposiciones anteriores. Veamos la completitud.
Sea {fn } una sucesion de funciones analticas que cumple la condicion de
Cauchy con respecto a la metrica dada en el teorema. En particular se cumple
que, para cada m jo, dicha sucesion cumple la condicion de Cauchy con
respecto a la metrica
f gKm
dm (f, g) = .
1 + f gKm
Pero esto ocurre si y solo la sucesion {fn } cumple la condicion de Cauchy con
respecto a la metrica
m (f, g) = f gKm .
Aplicando el teorema de Weierstrass sobre el compacto Km , se tiene que
existe una funcion gm C(Km ) de forma que {fn } converge uniformemente
sobre Km a gm .
Como {Kn } es una sucesion admisible, se sigue de la unicidad del lmite
que si p > q, entonces la restriccion de la funcion gp a Kq coincide con la
funcion gq . Luego, podemos construir una funcion f C() mediante la
regla siguiente: si z Km entonces
g(z) = gm (z).
Es claro que esta funcion es continua. En efecto, cara cada z podemos
encontrar un m y una vecindad V de z de forma que V Km . Luego, la
continuidad de f en el punto z se deriva de la continuidad de fm .
Notese que, como la sucesion {Kn } es admisible para , se tiene que la
sucesion {fn } converge uniformemente a f sobre cualquier subconjunto com-
pacto de . Luego la prueba naliza si vericamos que, si una sucesion de
funciones {fn } (fn H()) converge uniformemente a una funcion f sobre
cada subconjunto compacto de , entonces la funcion lmite es analtica en
. Esto es un hecho importante para toda la teora que vericaremos en la
proxima seccion.
n
bn = ak .
k=0
n
Fn (z) = fk (z).
k=1
Segun el teorema de Weierstrass existe una funcion f C(K) tal que {Fn }
converge uniformemente a f. Fijemos > 0. Existe N tal que, para n > N ,
Fn f K < /(4). Para cualquier entero m > N + 1 y n > N se tiene que
n+m n+m
f (z)dz = f (z)dz
k k
k=n+1 k=n+1
= [Fn+m (z) Fn (z)] dz Fn+m Fn K
130 4 Funciones analticas
De aqu
que, para n > N,
f (z)dz f (z)dz
k
k=1
n
fk (z)dz + fk (z)dz f (z)dz
k=n+1 k=1
[ ]
n
+ fk (z) f (z) dz
2
k=1
+ Fn f < .
2
Esto prueba el resultado deseado.
La proposicion que acabamos de demostrar nos ayudara a completar la
demostracion del ultimo teorema de la seccion anterior.
Teorema 4.20 Si {fn } es una sucesion de funciones analticas en y
f : C una funcion. Si sobre cada conjunto compacto K , la sucesion
{fn } converge uniformemente a f , entonces f H() y {fn } converge uni-
formemente sobre los compactos de a f .
Demostracion. Fijemos a . Veamos que f tiene derivada en el punto
a. Sea r > 0 tal que la circunferencia Cr (a) con centro en a y radio r esta
contenida en . Para cada n y z en interior de Cr (a) se tiene que
1 fn ()
fn (z) = d.
2i z
Cr
Apliquemos los resultados de esta seccion para obtener una propiedad nueva
relacionada con los ceros de las funciones analticas. Recordemos que Z(f )
denota al conjunto de los ceros de la funcion f.
Teorema 4.22 (Hurwitz) Sea {fn } una sucesion de funciones analticas en
y supongamos que, para cada n, Z(fn ) = . Si la sucesion converge uni-
formemente sobre los compactos de a una funcion f , entonces f es la
funcion nula o f no tiene ceros en .
132 4 Funciones analticas
f (n) ()
f (z) = (z )n ,
n=0
n!
n
|z | |f ()|
n |d|
2 C | | | z|
( )n
tn 1 s f C t
f C n 2s = .
2 s (s t) (s t) s
Como t < s, se tiene la convergencia uniforme de la serie a f sobre el compacto
K.
El lmite superior de una sucesion puede ser innito. Esto ocurre si y solo
si la sucesion no esta acotada. Luego, si el lmite superior de {an } es innito,
existe una subsucesion {ank } tal que lim ank = . Es claro que, si una sucesion
tiene lmite, entonces el lmite
superior coincide con el lmite de la sucesion.
Recordemos que la serie an converge absolutamente si la serie |an | es
convergente.
Teorema 4.24 (Cauchy-Hadamard) Sea {an } una sucesion numerica y
f (n) (z0 )
an = .
n!
Teorema 4.28 (de unicidad del desarrollo) Si las series de potencia
an (z z0 )n y bn (z z0 )n
n=0 n=0
coinciden en una vecindad del punto z0 entonces, para cada n, se cumple que
an = bn .
Demostracion. Si las series coinciden en una vecindad del punto z0 , entonces
denen la misma funcion analtica. Pero como las series de potencia son las
series de Taylor, los coecientes coinciden.
136 4 Funciones analticas
Luego
z 2n1
sin z = (1)n+1 .
n=1
(2n 1)!
De forma similar se verica que
z 2n
cos z = (1)n .
n=0
(2n)!
Denicion 4.13 Sea {pk } una sucesion de numeros complejos, se dice que
el producto
{ innito }k=1 pk es convergente si existe un entero N tal que la
N +n
sucesion k=N +1 pk converge a un valor q distinto de cero y se dene
N
pk = q pk
k=1 k=1
14365 2n + 2 1 2n + 2
= =
23456 2n + 1 2 2n + 1
y
(1)k 14365 2n + 2 2n + 1 1
2n+1
k=1 (1 + )= = .
k+1 23456 2n + 1 2n + 2 2
Luego, el producto converge a 1/2.
Una condicion necesaria para la convergencia de una serie numerica es que
el termino general tienda a cero. Veamos el resultado analogo para el caso de
los productos innitos.
Proposicion 4.11 Si el producto innito k=1 pk es convergente, entonces
la sucesion {pk } converge a 1.
Demostracion. Fijemos N y p = 0 tal que limn k=N
N +n
+1 pk = p. Se tiene
que
N +n+1
k=N pk p
lim pn = lim = = 1.
n n N +n pk p
k=N
n
n
1 1 n
(1 ak ) log = log
ak ak
k=1 k=1 k=1
n
1 ak 1
n
(1 ak ).
ak a1
k=1 k=1
n
= lim (1 + ak ).
n
k=1
arctan(x) 1
lim = lim = 1,
x0+ x x0+ 1 x2
se sigue que, existe N tal que, para n > N
arctan(1/n) 1
1 < .
1/n 2
Ahora
i 1 1 1
arg(1 + )= arctan( ) .
n n 2 n
k=N +1 k=N +1 k=N +1
se obtiene que
| an | 3 | an | (1)n
=
2 4 n=0
2n
( )
3 | an | 1 1 1
= 1 + 2 3 + <| log(1 + an ) |
4 2 2 2
( )
1 1 3
<| an | 1 + 2 + 3 + = | an | .
2 2 2
4.13 Producto innitos 141
De aqu se sigue que las series | log(1+ak ) | y | ak | convergen o divergen
simultaneamente.
Veamos como obtener funciones analticas a partir de productos innitos.
Proposicion 4.14 Sea ak una serie convergente de terminos positivos.
Sea {fn } una sucesion de funciones analticas en la region y supongamos
que existe una constante N tal que, para n > N y todo z se cumple que
| fn (z) |< an . Si para cada n y todo z , fn (z) = 1. Entonces el producto
(1 + fn (z)) dene una funcion f H().
Demostracion. Bajo las condiciones anteriores la serie fn (z) converge
absoluta
y uniformemente. Luego, tambien converge absolutamente la serie
log(1 + fn (z)) y, por lotanto, esta ultima serie dene una funcion analtica.
De aqu que f (z) = exp{ log(1 + fn (z))} H().
Veamos que el producto (1+fn (z)) converge uniformemente a f sobre los
compacto de .Fijemos un compacto K . Sea M = f K y (0, M ).
Como la serie log(1 + fn (z)) converge uniformemente, existe N tal que,
para n > N ,
| log(1 + fn (z) |< .
2M
k=n
Ahora,
para n > N ,
n
f (z) (1 + fk (z)) =
k=1
( ) ( n )
= exp log(1 + fn (z)) exp log(1 + fk (z))
k=1 k=1
( ) ( )
= exp log(1 + fk (z)) 1 exp log(1 + fk (z)
k=1 k=n+1
( )j
1
M (1)j log(1 + fk (z))
j=1 j! k=n+1
1 ( )k
1
M < = .
k! 2M 2 2k
k=1 k=0
y
fn (z)
f (z) = f (z) .
f (z)
n=1 n
dene una funcion analtica en el disco unitario D, que tiene un cero de orden
k en el origen, se anula en los puntos n , no tiene otros zeros en D y, para
todo z D, | B(z) |< 1.
| ein + rei |
qn (z) = (1 | n |)
| 1 rrn ei(n ) |
1 + r2 + 2r cos( n )
= (1 | n |)
1 + r2 rn2 2rrn cos( n )
1+r 1+r
(1 | n |) < (1 | n |) .
1 rrn 1r
Luego, se tiene que el producto dene una funcion analtica con los ceros
indicados.
Por otro lado
n z | n | n z n ei
= < sup = 1.
1 n z n 1 n z i
[0,2] 1 n e
4.14 Ejercicios
|| z | | w || | z w | .
144 4 Funciones analticas
Ejercicio 4.10 Determine los subconjuntos del plano complejo en los cuales
la funcion f (z) = x3 + i(1 y)3 es analtica.
Pruebe que
4 5
f (z)dz = + i.
L 15 4
Verique
f (z)dz = f (z)dz
M L
donde M es el segmento de recta que une a los puntos a y b.
Ejercicio
4.26 Sea (t) = sin t + i cos t, t [0, 2]. Calcule la integral
(1/z)dz.
Ejercicio 4.27 Sea C una curva que une a los puntos 0 y + 2i. Calcular
(z )
cos dz.
C 2
Ejercicio 4.28 Sea un dominio, a, b y una curva regular con inicio
en a y entremo en b. Pruebe que
b a
f (z)dz = f (z)dz.
a b
y
1
n
sin(n + 1)t/2
+ cos(kt) = .
2 2 sin t/2
k=1
Ejercicio 4.32 Use las propiedades de integral de Cauchy para calcular las
integrales
sin(z) dz
dz, ,
z2 z 2 (z 1)
|z|=1 |z|=2
y
cos(z)
.
z3
|z|=1
Ejercicio 4.34 Utilice el principio del modulo maximo para vericar que
todo polinomio no constant tiene al menos un cero.
Ejercicio 4.35 Calcule la integral
2
dt
.
2 + sin t
0
y
3 32n + 3 z 2n
cos z = (1)n .
n=0
4 (2n)!
zn
(b) ,
n=0
ln2 n
2
(c) k z k , C
n=0
(d) nk z n , k N,
n=0
(e) z n! ,
n=0
y
(1)n n(n+1)
(f) z .
n=0
n
A0 = 1, A1 = 1, An+2 = An+1 + An , (n N0 ).
Pruebe que
1
An z n =
n=0
1 z z2
y (
)n+1 ( )n+1
1 1+ 5 1 5 .
An =
5 2 2
4.14 Ejercicios 149
Ejercicio 4.52 Sea R > 0 y {cn } una sucesion tal que lim sup | cn |1/n 1/R.
Pruebe que la funcion
cn1
F (z) = (z a)n + const
n=1
n
en la region | z a |< R.
Ejercicio 4.53 Verique que las funciones f (z) = 1/z, 0 <| z |< y g(z) =
z/(1 + z 2 ) (1 <| z |< ) no tienen primitivas en las regiones indicadas.
Ejercicio 4.54 Sea f analtica en el crculo | z a |< R y continua en
| z a | R. Verique el teorema de la media
2
1
f (a + Reit )dt = f (a).
2i 0
Ejercicio 4.55 Sea f analtica en el crculo | z |< R y continua en | z | R.
Demostrar que si | z |< R y n N, entonces
(n)
f (z) MR
n! (R | z |)n+1 ,
(ii) Si 0 < r < , la serie converge sobre la region de los puntos z tales
que
|z z0 | > r.
Ademas, la convergencia es absoluta y uniforme sobre los compactos K con-
tenidos en .
(iii) Si r = 0, la serie converge para todo punto z tal que z = z0 . Ademas, la
convergencia es absoluta y uniforme sobre los compactos K del plano complejo
que no contiene al punto z0 .
Del teorema de Weierstrass se sigue que, cuando r < , la serie dene una
funcion analtica sobre la region de convergencia.
Consideremos ahora series que contiene tanto potencias positivas como neg-
ativas.
Denicion 5.1 Dada una sucesion numerica {an }n= a una expresion del
tipo
an (z z0 )n (5.3)
n=
Teorema 5.2 Dada una serie de Laurent (5.3) y los numeros (nitos o no)
R y r denidos por (5.1) y (5.2) respectivamente, si r < R, se tiene que la
serie dene una funcion analtica en la region r < |z z0 | < R.
Veamos que una funcion analtica en una region del tipo r < |z z0 | < R,
admite un desarrollo de Laurent en dicha region.
Teorema 5.3 (Laurent) Sea r < R y = {z : r < |z z0 | < R} . Si f
H(), entonces f puede ser escrita en la forma
f (z) = an (z z0 )n . (5.4)
n=
Ademas, si r1 son R1 son tales que r < r1 < R1 < R y r1 < |z z0 | < R1 se
tiene que
f ()
1
2i C (z)n+1 d, para n = 0, 1, 2,
an =
1
2i C f ()( z) d, para n = 1, 2,
n1
1 = {z : r1 < |z z0 | < R1 } .
Luego
1 f () 1 f ()
f (z) = d d.
2i D z 2i C z
Desarrollemos a cada una de las dos ultimas integrales para obtener los
desarrollos en series de potencias positivas y negativas respectivamente. De-
notemos = |z z0 | /R1 . Notese que < 1,
Si C, se tiene que
1 1
=
z z0 (z z0 )
1 1 (z z0 )n
= = .
( z0 ) 1 (z z0 )/( z0 ) n=0 ( z0 )n+1
Notese que la serie en la parte derecha de la ecuacion anterior converge ab-
soluta y uniformente en . En efecto, como |z z0 | / | z0 | = < 1, la
armacion se sigue de la desigualdad
(z z0 )n
1 n .
( z0 )n+1 R1
n=0 n=0
donde
1 f ()
an = n+1 d. (5.5)
2i C ( z)
Para obtener el desarrollo de la segunda integral, notese que, como <
|z z0 |, si denotamos = / |z z0 |, se tiene que, para D,
154 5 Series de Laurent
| z0 | r1
= < = < 1.
|z z0 | |z z0 | |z z0 |
De aqu que
1 1
=
z z0 (z z0 )
1 1 ( z0 )n
= =
(z z0 ) 1 ( z0 )/(z z0 ) n=0 (z z0 )n+1
y la serie converge absoluta y uniformemente en ya que
( z0 )n 1
n.
(z z0 )n+1 |z z0 |
n=0 n=1
= {z : 0 < |z z0 | < R} .
M = sup |f (z)| .
zU
Haciendo tender a cero, se concluye que an = 0. Esto es, todos los coe-
centes correspondientes a las potencias negativas en el desarrollo de Laurent
son cero. Se tiene entonces que la serie de Laurent es una serie de Taylor y,
por la tanto, f admite extension analtica al punto z0 .
Observacion 5.1 Si z0 es un punto singular de f se pueden considerar
dos situaciones distinas: o el lmite de f (z), cuando z tiende a z0 es innito
o dicho lmite no existe. Ambas situaciones pueden ocurrir. Por ejemplo, la
primera se tiene si
1
f (z) =
z z0
y, la segunda, si ( )
1
f (x) = exp .
z z0
Esta observacion motiva la denicion siguiente.
156 5 Series de Laurent
es continua.
De aqu que
1
f (z) = j (z z0 ) j
= an (z z0 )n ,
(z z0 )k j=0
n=k
donde
an = n+k .
Por otro lado, si f admite un desarrollo del tipo indicado,
f (z) = an (z z0 )n ,
n=k
entonces
1
f (z) = ank (z z0 )n .
(z z0 )k n=0
|f (z) | > .
1
(z) =
f (z)
Como
5.1 Puntos singulares aislados 159
{ }
R
sup |fnk (z)| = sup |fnk (z)| : |z| = n M,
|z|= 2 k
se sigue del principio del modulo maximo que, para 0 < |z| < , |f (z)| < M.
Esto contradice el hecho de que 0 es un punto singular de f.
Si F fuera inifnito en todos los puntos, entonces la sucesion nk =
1/(fnk ) converge uniformente a 0 en 0 . Esto implica, razonando como
antes, que la funcion 1/(f (z) ) esta acotada en 0 < |z| . Luego, nueva-
mente z0 no es una singularidad esencial.
Teorema 5.8 (Pequeno de Picard) Si f es analtica en el plano complejo
salvo un conjunto (numerable) innito de puntos en los cuales tiene singuar-
idades, entonces, cualquiera sea un numero complejo (salvo quizas uno de
ellos) existe un conjunto innito de puntos de C en los cuales f toma el valor
.
Corolario 5.1 Toda funcion entera no constante toma cualquier valor com-
plejo nito salvo quizas uno.
5.2 Residuos
Teorema 5.9 (De los residuos) Sea f H( \ {a1 , . . . , an }), con singular-
idades aisladas en los puntos {a1 , . . . , an } y sea una curva regular cerrada
contenida en que contiene a los puntos {a1 , , an } en su interior. Para
j {1, n} sea j el residuo de f en punto aj . Se cumple que
1
f (z)dz = 1 + + n .
2i
5.2 Residuos 161
Demostracion. Sea
1
= min dis(aj , ).
2 1jn
Sea j (j {1, n}) una circunferencia con centro en aj y radio . Notese
que cada circunferencia j esta contenida en el interior de . Ademas, para
j = k, j esta en el exterior de k . Segun el teorema integral de Cauchy para
una familia de curvas, se tiene que
n
1 1
f (z)dz = f (z)dz.
2i j=1
2i j
De hecho, si
f (z) = + g(z)
za
donde g(z) es analtica en una vecindad de a, entonces
De aqu que
d ( )
(z a)2 f (z) = + 2(z a)g(z) + (z a)2 g (z).
dz
Luego
d ( )
Resf (a) = = (z a) f (z)
2
.
dz z=a
El lector puede vericar que si f tiene un polo de orden m en z = a,
entonces
1 dm1
Resf (a) = lim m1 ((z a)m f (z)) .
(m 1)! za dz
Ejemplo 5.2 Apliquemos las ideas anteriores para calcular algunas inte-
grales.
1.- La funcion f (z) = 1/(1 + 4z 2 ) tiene polos simples en los puntos i/2 y
i/2 (donde el denominador se anula). Ademas
( )
i i 1 1
Resf ( ) = lim z =
2 zi/2 2 (1 + 4z 2 ) 4i
y ( )
i i 1 1
Resf ( ) = lim z = .
2 zi/2 2 (1 + 4z 2 ) 4i
Luego, si es la circunfencia unitaria con centro en 0, entonces
( )
1 1 1
2
dz = 2i = 0.
1 + 4z 4i 4i
d z
(e ) = ez ,
dz
se tiene que Resf (0) = 1. Si g(z) = ez /z 4 , entonces
1 d3 1
Resg(0) = lim 3 (z 4 g(z)) = .
3! z0 dz 6
Si C es la circunferencia del ejemplo anterior, entonces
( z ) ( )
e ez 1 7i
(f (z) + g(z)dz = 2
+ 4 dz = 2i 1 + = .
z z 6 3
5.3 El principio del argumento 163
ck f1 (z)
f (z) = + .
(z zk ) k (z zk )k 1
De la ultima ecuacion se deduce que
ck f (z)(z zk )k k (z zk )k 1 f1 (z)
f (z) = k + 1
(z zk ) k
+1 (z zk )k
ck f1 (z)
= k + f1 (z) k .
(z zk ) k +1 (z zk )
Como f tiene un polo de orden k en zk , la funcion 1/( f (z) q) tiene un
cero de orden k en zk . Luego existe f2 H() tal f2 (zk ) = 0 y
1
= (z zk )k f2 (z).
f (z) q
Notese que
164 5 Series de Laurent
1
= lim (z zk )k (f (z) q) = lim (z zk )k f (z)
f2 (zk ) zzk zzk
De aqu que
( )
f (z) ck f1 (z)
= k + f1 (z) k (z zk )k f2 (z).
f (z) q (z zk ) k +1 (z zk )
f2 (z)
= k ck + f1 (z)(z zk )k f2 (z) k (z zk )k 1 f1 (z)f2 (z)
(z zk )
Como k 1, si denotamos
f (z)
Resg(zk ) = lim (z zk )(z)
zzk f (z) q
( )
f2 (z)
= (zk ) lim (z zk ) k c1 + f3 (z)
zzk (z zk )
= (zk )k ck f2 (zk ) = (zk )k .
Si (zk ) = 0, entonces g es analtica en zk y, por denicion su residuo es cero
en dicho punto. De aqu que la formula anterior tambien es valida.
Veamos un analisis similar en los puntos wj . Como f (z)q tiene un cero de
orden k en wj , se tienen representaciones de las formas siguientes (2 , F2
H())
(z) = (wj ) + (z wj )2 (z)
y
f (z) q = (z wj )j F (z),
donde F (wj ) = 0. Luego
y
f (z) j F (z)
= +
f (z) q (z wj ) F (z)
donde
f (z)
Res g(wj ) = (wj ) lim (z wj ) = (wj )j .
zzk f (z) q
Considerando las ecuaciones anteriores, el resultado anunciado se obtiene
al aplicar a g el teorema de los residuos.
5.3 El principio del argumento 165
f (z) = (y 4 + 2y 2 + 4) + i(2y y 3 ).
Luego tiene parte real positiva. De aqu que, para R lo sucientemente grande,
la variacion del argumento de f sobre 3 se puede escribir mediante una
funcion (R) que tiene lmite cero cuando R tiende a . Considerando que
sobre una curva regular cerrada la variacion del argumento es un numero
entero, se tiene que
V ar(f ) = 2.
Del principio del argumento se sigue que f tiene un y solo un cero sobre el
primer cuadrante.
El resultado que sigue presenta una forma general del uso del principio del
argumento para determinar la cantidad de ceros de una funcion analtica en
una region.
Teorema 5.12 (de Rouche) Sean f, g H() y una curva regular
cerrada. Si para z se tiene que |g(z)| < |f (z)| , entonces las funciones f
y f + g tienen la misma cantidad de ceros en el interior de .
Demostracion. Utilicemos el principio del argumento. Sobre , |f (z)/g(z)|
< 1, luego la funcion 1 + g(z)/f (z) no tiene ceros sobre . De aqu que
( )
g(z)
V ar(f (z) + g(z)) = V ar(f (z)) + V ar 1 + = V ar(f (z)) .
f (z)
Como para z , |f (z)| = 2, se tiene que |g(z)| < |f (z)| . Segun el teorema
de Rouche f + g tiene un y solo un cero en el interior de .
Teorema 5.13 Sea f H(), w y k un entero no negativo. Si f tiene
un cero de orden k en w, entonces existen > 0 y > 0 tal que para cada
con 0 <| |< , el conjunto
tine k elementos.
Demostracion. Fijemos R > 0 de forma que D(R) = {z C :| z w |} .
Existe (0, R) tal que las funciones f y f no se anulan sobre el conjunto
M = {z C : 0 <| z w | } y denamos = min{| f () |:| w |= }.
Veamos que estos valores de y resuelven el problema.
Fijemos tal que 0 <| |< y denamos g(z) = f (z) . Notese que, si
| z w |= , entonces
Pongamos p = a + a2 1 y q = a a2 1. Notese que pq = 1 y |q| > 1
(a > 1) Luego |p| < 1. De aqu que la funcion f (z) = 1/(z 2 + 2az + 1) tenga
un polo simple en el punto p y su residuo en dicho punto es
1 1
Re (f (p)) = lim (z p)f (z) = lim = .
zp zp zq 2 a2 1
Se concluye entonces que
dt 1
= i(2i) = .
0 a + cos t 2 a 1
2 a 1
2
Por un lado
1 d2 ( ) i
Re f (ia) = lim 2
(z ia)3 f (z) =
2 zia dz 16a3
y, por otro,
R2
f (z)dz R.
C(R) (R2 a2 )3
Como la ultima expresion tiende a cero cuando R tiende a , se obtiene que
R
x2 dx x2 dx
3 = lim 3
(x2 + a2 ) R R (x2 + a2 )
( ) ( )
= lim f (z) f (z) = lim f (z) = .
R (R) C(R) R 8a3 C(R) 8a3
Para algunos calculos el ejemplo siguiente es muy util.
{ }
Ejemplo 5.8 (Jordan) Sea R > 0 y C(R) = z : z = Reit , t [0, ] . Se
tiene que
iz
e |dz| < .
C(R)
/2
=R eR sin t dt = 2R eR sin t dt.
0 0
La F (z) = eiz /(z 2 + a2 ) tiene polos simples en los puntos z = ia. Con-
sideremos las curvas (R) = L(R) + C(R) como en el ejemplo 2, con R > a.
Segun el teorema de los residuos
F (z) = F (z) + F (z) = 2i Re F (ia).
(R) L(R) C(R)
Por un lado
( ) eiz ea
Re F (ia) = lim (z ia)3 F (z) = lim =
zia zia z + ia 2ia
y, por otro,
iz
1 e |dz| <
f (z)dz 2 .
C(R) R a2 C(R) R2 a2
Teorema 5.16 (De Hurwitz) Sea {fn } es una sucesion de funciones analticas
en el dominio que converge sobre los subconjuntos compactos de a una
funcion f no identicamente nula. Si es una curva regular cerrada contenida
en que no contiene ceros de f, entonces existe N tal que, para n > N, las
funciones fn y f tienen el mismo numero de ceros en el interior de .
Demostracion. Sea
m = min |f (z)| .
z
5.5 Ejercicios
Ejercicio 5.1 Sea el disco {z : 0 < |z z0 | < r} y sea f analtica en .
Pruebe que f tiene un polo de orden n en z0 si y solo si existe una funcion
g H() tal que g(z) = (z z0 )f (z).
Ejercicio 5.2 Enuncie y demuestre un resultado que caracterize a las fun-
ciones analticas en una vecindad del innito que tiene un cero de orden n o
un polo de oden n.
Ejercicio 5.3 Encuentre los polos de las funciones
1 cos z
y g(z) =
sin z z2
y determine su orden.
Ejercicio 5.4 Pruebe que si f H() tiene un cero de orden k (k 2) en
un punto z0 H(), entonces f tiene un cero de orden k 1.
Ejercicio 5.5 Pruebe que la funcion
2
f (z) = z 2 (ez 1)
tiene un cero de orden 4 en z = 0.
Ejercicio 5.6 Verique las identidades
( )
1 1
= 1 zn, | z |< 1
z 2 3z + 2 n=0
2n+1
y
1 zn
= z n
, 1 <| z |< 2.
z 2 3z + 2 n=1 n=0
2n+1
172 5 Series de Laurent
| f (z) | M | z |n .
1 z2 + z 1
f (z) = y g(z) =
z3 z5 z 2 (1 z)
Ejercicio 5.25 Emplee el teorema de Rouche para vericar que todas las
races del ecuacion 2z 5 + 8z 1 = 0 estan el disco {z : |z| < 2} . (Sugerencia,
considere las funciones ( f (z) = 2z 5 y g(z) = 8z 1). Luego considere las
funciones f (z) = 8z 1 y g(z) = 2z 5 para ver que la ecuacion tiene una y
solo una solucion en el disco {z : |z| < 1} .
Ejercicio 5.26 Verique que
x2 + 3 5
4 2
= .
x + 5x + 4 6
Ejercicio 5.27 Para a > 0 y b > 9 , a = b, verique la igualdad siguiente
x3 sin x (a2 ea b2 eb )
= .
2 2 2
(x + a )(x + b )
2 a2 b2
Ejercicio 5.28 Pruebe que
sin x
= .
x
(a) Considere primero rectangulos. Fijar R, r, s > 0 y cuatro segmentos.
L1 = L1 (r, R) es el arco que va desde r hasta R, L2 = L2 (r, R) es el
segmento de recta desde R hasta R + is, L3 = L3 (R, r, s) es el segmento de
recta desde R + is a r + is y L4 = L4 (r, s) es el segmento desde r + is a
r.
(b) Obtenga otra prueba rodeando al cero. Fije R, r > 0 y construya
una curva de la forma siguiente. Se toma{ el segmento de recta } desde R
a r, luego el arco de circunferencia z = reis : s 2 , despues el
segmento
{ de recta desde
} r hasta R y, nalmente el arco de circunferencia
z = Reis : 0 s .
Ejercicio 5.29 Sea a > 0. Verique que
cos x sin a
= .
a x
2 2 a
(Siga las ideas de la parte (b) del ejercicio anterior considerando que ahora se
tienen singularidades en los puntos z = ia).
Ejercicio 5.30 Verique las igualdades siguientes
ln2 x 3 ln x
2
dx = , dx = 0,
0 1+x 8 0 1 + x2
dx 2 dx
= , = ,
0 2 + sin x 3 0 1 + x6 3
cos x
2 + 1)2
dx = .
(x e
5.5 Ejercicios 175
Ejercicio 5.31 Sea f (x, y) una funcion racional real. Pruebe que
2 ( ( ) ( ))
1 1 1 1 dz
f (cos , sin )d = i f z+ , z ,
2 z 2i z z
0 C
lp , 11 caracterizacion, 41
lip [a, b], 12 denicion, 39
elemento, 39
Formula existencia, 40
de Taylor, 119 unicidad, 42
integral de Cauchy, 116 Modulo de continuidad
Funciones en C[a, b], 35
H(D), 102
meromorf a, 156 Norma
acotadas, 29 norma, 5
analticas, 102 seminorma, 5
ceros, 156
continua en un punto, 3 Puntos
continuas, 2 de acumulacion, 2
contractantes, 26 de adherencia, 2
enteras, 102 jo, 26
exponencial, 105
homeomorsmo, 2 relacion
homomorsmo canonico, 4 de equivalencia, 4
isometra, 3
lineales, 4 Sucesiones
logaritmo, 106 acotadas, 3
Mobius, 106 convergentes, 3
polos, 156 de Cauchy, 13
uniformemente continua, 3
variacion acotada, 110 Teorema
de Morera, 118
Integral eliminacion de sigularidades, 119
de tipo Cauchy, 115 integral de Cauchy, 114
Topologa
Mejor aproximacion inducida, 1