UNIVERSIDAD DE CONCEPCION

DEPARTAMENTO DE MATEMATICA
Prof. Jorge Ruiz Castillo
1 CALCULO DIFERENCIAL
1.1 ESPACIO EUCLIDIANO n-DIMENSIONAL
Recordemos que R
n
est provisto de dos operaciones
+ : R
n
R
n
R
n
, (r, j) r +j y : R R
n
R
n
, (c, r) cr,
donde: (r
1
, r
2
, ......, r
n
) + (j
1
, j
2
, ......, j
n
) = (r
1
+j
1
, r
2
+j
2
, ......, r
n
+j
n
),
y c(r
1
, r
2
, ......, r
n
) = (cr
1
, cr
2
, ......, cr
n
)
(R
n
, +, ) es un espacio vectorial real.
Nociones topolgicas en R
n
El producto interior en R
n
est denido por:
: R
n
R
n
R
n
, r j =
n

i=1
r
i
j
i
, donde r = (r
1
, r
2
, ......, r
n
)
j = (j
1
, j
2
, ......, j
n
)
Este producto interior en R
n
satisface las siguientes propiedades
1. (\r R
n
) r r _ 0
2. (\r R
n
) r r = 0 = r = 0
3. (\r, j, . R
n
) (\c, , R) (cr +,j) . = c(r .) +, (j .)
4. (\r, j R
n
) r j = j r
5. (\r R
n
) r 0 = 0
.
La norma en R
n
est denida por:
_
_
_
_
: R
n
R, |r| =
_
r r
Si r = (r
1
, r
2
, ......, r
n
), entonces |r| =
_
r
2
1
+r
2
2
+...... +r
2
n
1
Algunas propiedades de la norma son las siguientes:
1. (\r R
n
) |r| _ 0
2. (\r R
n
) |r| = 0 = r = 0
3. (\r R
n
) (\c R) |cr| = [c[ |r|
4. (\r, j R
n
) |r +j| _ |r| +|j| (desigualdad triangular)
5. (\r, j R
n
) [r j[ _ |r| |j| (desigualdad de Cauchy-Schwarz)
.
La distancia en R
n
est denida por:
d : R
n
R
n
R, d (r, j) = |r j|
Si r = (r
1
, r
2
, ......, r
n
) , j = (j
1
, j
2
, ......, j
n
), entonces
d (r, j) =
_
(r
1
j
1
)
2
+ (r
2
j
2
)
2
+...... + (r
n
j
n
)
2
Entre sus propiedades podemos mencionar:
1. (\r, j R
n
) d (r, j) _ 0
2. (\r, j R
n
) d (r, j) = d (j, r)
3. (\r, j R
n
) d (r, j) = 0 = r = j
4. (\r, j R
n
) d (r, .) _ d (r, j) +d (j, .) (desigualdad triangular)
.
Denicin.- Sean r
0
R
n
y r 0. Llamamos bola abierta con centro en r
0
y-
radio r al conjunto 1(r
0
, r) = r R
n
: |r r
0
| < r
En R
2
, 1(r
0
, r) es una circunferencia con centro en r
0
y radio r.
En R
3
, 1(r
0
, r) es una esfera con centro en r
0
y radio r.
Denicin.- Sean G _ R
n
y r
0
R
n
. Diremos que:
a) r
0
es un punto interior de G si existe r 0 tal que 1(r
0
, r) _ G.
Notacin.- i:t (G) o G
o
es el conjunto de los puntos interiores de G (inte-
rior de G).
b) r
0
es un punto adherente de G si (\r 0) 1(r
0
, r) G ,= c
Notacin.- ad/(G) o G es el conjunto de los puntos adherentes a G (adh-
ernecia o clausura de G).
c) r
0
es un punto de acumulacin de G si (\r 0) 1(r
0
, r) Gr
0
, = c
d) r
0
es un punto de frontera de G si es un punto adherente a G y al com-
plemento de G.
2
Notacin.- 1r (G) es el conjunto de los puntos de frontera de G (Frontera
de G).
Observacin.-
1. 1) r
0
1r (G) == (\r 0) [1(r
0
, r) G ,= c . 1(r
0
, r) G
c
,= c].
2) 1r (G) = G G
c
.
e) r
0
es un punto aislado de G si existe r 0 tal que 1(r
0
, r) G = r
0
.
.
Denicin.- Sea G _ R
n
. diremos que:
a) G es un conjunto abierto en R
n
si G = G
o
b) G es un conjunto cerrado en R
n
si G
c
es un conjunto abierto.
.
Observacin.-
1. G es abierto== (\r G) (r
x
0) 1(r, r
x
) _ G.
2. G es cerrado== G = ad/(G).
.
Ejemplo.- Decidir si los siguientes conjuntos son abiertos o cerrados, indicar su
adherencia, interior y frontera.
a) 1((0, 0) , 1) y 1((0, 0) , 1)
b) G =
_
(r, j) R
2
: 0 < r < 1, j = 1
_
c) J =
_
(r, j) R
2
: 0 < r < 2
_
d) 1 =
_
(r, j) R
2
: 0 _ r < 3
_
.
Denicin.- Sea G _ R
n
. diremos que:
1. G es acotado si existe ' 0 tal que (\r G) |r| _ '.
2. G es compacto si es cerrado y acotado
.
Observacin.- G es acotado si est includo en alguna bola abierta.
3
1.2 LIMITE Y CONTINUIDAD
Denicin.- Sean 1 _ R
n
un conjunto abierto, ) : 1 _ R
n
R y r
0
un punto
de acumulacin de 1. Diremos que 1 R es el lmite de ) cuando r tiende a
r
0
si,
(\- 0) (c 0) 0 < |r r
0
| < c == [) (r) 1[ < -
Observacin.-
1. Cuando el lmite anterior existe, es nico. En este caso lo denotamos por
1 = lim
r r
0
r 1
) (r) o 1 = lim
x!x0
) (r) si no hay lugar a confusin.
2. Si lim
r r
0
r 1
) (r) = 1, 1
0
_ 1 y r
0
es un punto de acumulacin de 1
0
,
entonces lim
r r
0
r 1
0
) (r) = 1.
3. Sean 1
0
, 1
1
_ 1 tales que r
0
es un punto de acumulacin de 1
0
y 1
1
,
tenemos:
lim
r r
0
r 1
0
) (r) ,= lim
r r
0
r 1
1
) (r) == lim
r r
0
r 1
) (r) no existe
4. lim
x!a
) (r) = 1 == lim
x!a
[) (r) 1] = 0.
5. Si lim
x!a
q (r) = 0 y [) (r) 1[ _ q (r), entonces lim
x!a
) (r) = 1.
.
Ejemplos.-
1. Calcule lim
(x;y)!(0;0)
) (r, j) si existe, donde:
(a) ) : R
2
(0, 0) R, ) (r, j) =
_
j +r
2
_
r
2
j
2
r
2
+j
2
(b) ) : R
2
(0, 0) R, ) (r, j) =
c
x+y
2
r
4
+j
4
2. Sean ), q : 1 _ R
n
R, 1 abierto y r
0
1. Si lim
x!a
) (r) = 0 y q es
acotada, entonces lim
x!a
) (r) q (r) = 0.
Nota.- Se dice que una funcin es acotada si su recorrido es un conjunto
acotado.
4
3. Considere ) (r, j) =
_

_
sin(r +j)
r +j
, j ,= r
r
2
cos
c
x
1 +r
2
, j = r
.
Calcule si existe lim
(x;y)!(0;0)
) (r, j)
4. Evalue usando el algebra de lmites, lim
(x;y)!(1;0)
_
r
3
3r
2
j
3
+j
4
1
_
5. Evalue usando el algebra de lmites, lim
(x;y)!(1;0)
sin
_
r
2
+j
2
1
_
r
2
+j
2
1
.
Ejercicios.-
1. Calcule lim
(x;y)!(0;0)
) (r, j) si existe, donde:
(a) ) : R
2
(0, 0) R, ) (r, j) =
r
2
j
2
r
2
+j
2
Indicacin.-
lim
(r, j) (0, 0)
j = r
) (r, j) = 0, lim
(r, j) (0, 0)
j = 2r
2
) (r, j) = 1
(b) ) : R
2
R, ) (r, j) =
_
_
_
r
r
2
j
2
r
2
+j
2
, (r, j) ,= (0, 0)
1 , (r, j) = (0, 0)
(c) ) : R
2
(0, 0) R, ) (r, j) =
2j
3
r
2
+j
2
(d) ) : R
2
(r, r) : r R R, ) (r, j) =
sin
_
r
2
j
2
_
r j
Indicacin.- [sint[ _ [t[
2. Calcular si existe
(a) lim
(x;y)!(1;2)
) (r, j) si (j + 2)
(r 1)
2
(j + 2)
2
(r 1)
2
+ (j + 2)
2
(b) lim
(x;y)!(1;0)
) (r, j) si ) (r, j) =
c
x+y
3
1
(r 1)
2
+j
4
.
Teorema.- (Algebra de lmites) Sean ), q1 _ R
n
R y r
0
un punto de acumu-
lacin de 1. Si lim
x!x0
) (r) y lim
x!x0
q (r) existen, se tiene:
1. lim
x!x0
[) (r) +q (r)] = lim
x!x0
) (r) + lim
x!x0
q (r)
2. lim
x!x0
c) (r) = c lim
x!x0
) (r), con c R
5
3. lim
x!x0
[) (r) q (r)] = lim
x!x0
) (r) lim
x!x0
q (r)
4. lim
x!x0
f(x)
g(x)
=
lim
x!x
0
f(x)
lim
x!x
0
g(x)
, si lim
x!x0
q (r) ,= 0
Demostracin.- Anloga al caso de una variable. Queda como ejercicio.
.
Denicin.- Sean ) : 1 _ R
n
R, 1 abierto y r
0
1. Diremos que ) es
continua en r
0
si lim
x!x0
) (r) = ) (r
0
).
Observacin.-
1. ) es continua en r
0
ssi
(\- 0) (c 0) 0 < |r r
0
| < c == [) (r) ) (r
0
)[ < -
2. Sean ) : 1 _ R
n
R y r
0
1. ).no es continua en r
0
ssi lim
x!x0
) (r) no
existe o lim
x!x0
) (r) ,= ) (r
0
).
.
Denicin.- Sea ) : 1 _ R
n
R, 1 abierto y r
0
1. Diremos que ) es
continua si lo es en cada punto de 1.
Ejemplos.- Estudie la continuidad de:
1. ) : R
2
R denida por
(a) ) (r, j) =
_
_
_
_
j +r
2
_
r
2
j
2
r
2
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
(b) ) (r, j) =
_
r
3
sin
j
r
j
2
sin
r
j
, rj ,= 0
0 , rj = 0
2. ) : R
2
(0, 0) R, ) (r, j) =
_
j +r
2
_
r
2
j
2
r
2
+j
2
.
Teorema.- Sean ), q : 1 _ R
n
R, 1 abierto de R
n
y r
0
1 un punto de
acumulacin.
a) Si ) y q son continuas en r
0
, entonces c) +,q es continuas en r
0
.
b) Si ) y q son continuas en 1, entonces c) +,q es continua en 1.
6
Demostracin.-
a) Inmediata del teorema lgebra de lmites.
b) Inmediata de a).
.
Teorema.- Sean ) : 1 _ R
n
R, q : R R. Si ) y q son continuas sobre el
abierto 1, entonces q ) : 1 _ R
n
R es continua.
Demostracin.- Sea r
0
1. Sea - 0, entonces existe c 0 tal que (q es
continua en ) (r
0
))
[j ) (r
0
)[ < c == [q (j) q () (r
0
))[ < -..... (+)
Dado que ) es continua en r
0
y c 0, existe c
0
0 tal que
|r r
0
| < c
0
== [) (r) ) (r
0
)[ < c..... (++)
De . (+) y (++);
|r r
0
| < c
0
== [q () (r)) q () (r
0
))[ = [(q )) (r) (q )) (r
0
)[
Se tiene:
(\- 0)
_
c
0
0
_
|r r
0
| < c
0
== [(q )) (r) (q )) (r
0
)[ < -
Por lo tanto, lim
x!x0
(q )) (r) = (q )) (r
0
), lo que prueba que q ) es continua
en r
0
. En consecuencia q ) es continua sobre 1.
Denicin.- Sean ) : 1 _ R
n
R
m
, ) = ()
1
, )
2
, ......, )
n
) y r
0
1. Se
dice que ) es continua en r
0
si (\i = 1, 2, ...., :) )
i
es continua en r
0
.
Ejemplo.- Estudiar la continuidad de la funcin denida por:
1. ) (r, j) =
j
3
r + 1
r
4
+r
2
+ 1
2. ) (r, j) =
_
r
sinr
+rj
2
3 , r ,= :, para todo : Z
2 , r = :, para algn : Z
3. ) (r, j) =
_
_
_
(rj)
4
(rj)
4
+ (r j)
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
4. ) (r, j) =
_
_
_
r
3
j
[r[
3
+[j[
3
, (r, j) ,= (0, 0)
1 , (r, j) = (0, 0)
7
.
Ejercicios.-
1. Encontrar el lmite en cada punto de discontinuidad de las funciones del
ejemplo anterior, si este existe.
2. Estudiar la continuidad de las funciones denidas por:
(a) ) (r, j) =
_
_
_
(r 1)
4
(j + 2)
4
(r 1)
4
(j + 2)
4
+ (r j 3)
2
, (r, j) ,= (1, 2)
0 , (r, j) = (1, 2)
(b) ) (r, j) =
_
_
_
(r 8)
3
j
[r 8[
3
+[j[
, (r, j) ,= (0, 0)
1 , (r, j) = (0, 0)
(c) ) (r, j) =
_
_
_
r
3
j
4
[r[
3
+j
12
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
3. Calcular los siguientes lmites si existen:
(a) lim
(r, j) (0, 0)
(r, j) o
rj
r
2
+j
2
(b) lim
(r, j) (0, 0)
(r, j) o
r
2
j
2
r
2
+j
2
cuando o es uno de los siguientes subconjuntos de R
2
.
i. o = (r, j) : j = ar, a ,= 0
ii. o =
_
(r, j) : j
2
= ar
_
, a ,= 0
iii. o = (r, j) : r 0, j 0, j < r
iv. o = R
2
4. En que puntos no son continuas las funciones denidas por
(a) ) (r, j) =
_
_
_
r
2
j
2
r
2
+j
2
1
, r
2
+j
2
,= 1
0 , r
2
+j
2
= 1
(b) ) (r, j) =
_
_
_
sin
_
r
2
+j
2
_
r
2
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
(c) ) (r, j) =
_
_
_
2rj
(r
2
+j
2
)
1
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
8
(d) ) (r, j) =
_
_
_
r
3
j
3
r j
, r ,= j
0 , r = j
.
Denicin.- Sea ) : 1 _ R
n
R y sea r
0
un punto de acumulacin de 1.
Diremos que
1. lim
x!x0
) (r) = + si \' 0, c 0 : 0 < |r r
0
| < c == ) (r) '.
2. lim
x!x0
) (r) = si \' < 0, c 0 : 0 < |r r
0
| < c == ) (r) < '.
3. lim
kxk!+1
) (r) = 1 si (\c 0) (' 0) |r| ' == [) (r) 1[ < -.
.
Observacin.- Valen las reglas dadas para funciones de una variable. Basta
conocer el algebra en R.
Ejemplos.-
1. lim
(x;y)!(1;0)
1
[r 1[ +j
2
= +
2. lim
(x;y)!(0;0)
tan
_
r
2
+j
2

2
_
=
3. lim
(x;y)!(1;1)
sin(r j)
r j
c
tan

2
x
no existe.
1.3 DIFERENCIACION
1.3.1 DERIVADAS PARCIALES
Denicin.- Sean ) : 1 _ R
n
R, 1 abierto y sea r
0
1. \i = 1, 2, ...., :,
llamamos derivada parcial de ) c/r a r
i
, en el punto r
0
, al lmite
lim
h!0
) (r
0
+/c
i
) ) (r
0
)
/
, si existe
E = c
1
, c
2
, ......, c
n
es la base cannica de R
n
.
Notacin.-
0)
0r
i
(r
0
) o )
xi
(r
0
)
Denicin.- Sea ) : 1 _ R
n
R, 1 abierto y supongamos que ) admite
derivada parcial c/r a r
i
en cada punto de 1. Llamamos derivada parcial de )
c/r a r
i
a la funcin
0)
0r
i
: 1 _ R
n
R, r
0)
0r
i
(r) = lim
h!0
) (r
1
, .., r
i
+/, ..., r
n
) ) (r
1
, ...., r
n
)
/
9
Observacin.-
1. Si : = 1, la derivada parcial de ) coincide con la derivada total u ordinaria
de )
2. De acuerdo con la denicin de derivadas parciales, dado r R
n
, obtener
0)
0r
i
(r) consiste en derivar a ) como si slo dependiera de una sola variable
r
i
, considerando al resto de ellas como constantes. Por esto siguen valiendo
las reglas de derivacin del clculo de funciones de una variable. En par-
ticular, si ) : 1 _ R
n
R y q : R R,
0)
0r
i
(r) existe y
dq
dn
() (r)) existe,
entonces
0 (q ))
0r
i
(r) existe y adems,
0 (q ))
0r
i
(r) =
dq
dn
() (r))
0)
0r
i
(r).
.
Ejemplos.-
1. Sea ) : R
3
R, ) (r, j, .) = r
3
j
2
+ rj
2
c
z
3
+ 2r 5j + 1. Encontrar
0)
0r
,
0)
0j
y
0)
0.
en el punto (1, 2, 0).
2. Sea ) : R
2
R, ) (r, j) =
_
_
_
r
_
r
r
2
j
2
r
2
+j
2
+ 1
_
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
.
Encontrar
0)
0r
(r, j) ,
0)
0j
(r, j) si existe.
3. Sea ) : R
2
R, ) (r, j) =
_
j
r
2
+j
, j ,= r
2
0 , j = r
2
.
Encontrar
0)
0r
(r, j) ,
0)
0j
(r, j) si existe.
.
Ejercicio.- Calcule las derivadas parciales si existen. Estudie adems la con-
tinuidad de las derivadas parciales.
1. ) : R
3
R, ) (r, j, .) = j
2
c
x
2
+y+2z
cos
_
j +.
3
_
2. ) : 1 _ R
2
R, ) (r, j) = ln(j
x
+ 1), donde 1 = (r, j) : j 0
3. ) : R
2
R, ) (r, j) = sin cos n
4. ) : R
3
R, ) (r, j, .) =
_
r
3
+ 3j
3
+
z
3
_
5
_
1 + cos
_
r
2
+j.
3
_
3
_
5
5. ) : 1 _ R
2
R, ) (r, j) = log
y
r, donde 1 = (r, j) : r 0, j 0
6. ) : R
4
R, ) (r, j, ., n) =
_
_
_
r
2
j
2
.
2
+n
2
, (., n) ,= (0, 0)
0 , (., n) = (0, 0)
10
7. ) : R
2
R, ) (r, j) =
_
r
2
j sin
1
r
, r ,= 0
0 , r = 0
.
Denicin.- Sean ) : 1 _ R
n
R y r
0
1. Supongamos que la derivada par-
cial
0)
0r
i
: 1 _ R
n
R existe. Dado , = 1, ....., :; llamamos derivada parcial de-
orden 2 de ) c/r r
i
primero y c/r a r
j
despus, evaluada en el punto r
0
a la
derivada parcial de la funcin
0)
0r
i
c/r a r
j
en el punto r
0
, si existe.
En forma anloga se denen las derivadas de ) de orden mayor o igual a 3.
Ejemplos.-
1. Sea ) : R
3
R, ) (r, j, .) = .
2
rj. Encontrar
0
2
)
0r
2
,
0
2
)
0r0.
,
0
3
)
0r0j0.
,
0
3
)
0j
2
0.
etc.
2. Sea ) : R
2
R, ) (r, j) =
_
_
_
r
2
j
2
, j ,= 0
r , j = 0
. Encontrar
0
2
)
0r
2
(a, 0) y
0
3
)
0r
3
(a, 0) si existe con a R.
.
Teorema(de Schwarz).- Consideremos ) : 1 _ R
n
R con 1 abierto de R
n
.
Supongamos que
0)
0r
i
,
0)
0r
j
,
0
2
)
0r
i
0r
j
existen y son continuas, entonces
0
2
)
0r
j
0r
i
existe y
0
2
)
0r
j
0r
i
=
0
2
)
0r
i
0r
j
.
Demostracin.- Ver Clculo de Funciones Vectoriales de Willianson, Crowell
y Trotter, pgina 221.
Observacin.- Sin la hiptesis de continuidad para )
xy
(o )
yx
) el teorema ante-
rior no es necesariamente vlido.
Ejemplo.- Sea ) : R
2
R, ) (r, j) =
_
_
_
rj
r
2
j
2
r
2
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
.
Se tiene:

0)
0r
(r, j) =
_
_
_
j
_
r
4
j
4
+ 4r
2
j
2
_
(r
2
+j
2
)
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)

0)
0j
(r, j) =
_
_
_
r
_
j
4
r
4
+ 4r
2
j
2
_
(r
2
+j
2
)
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
11

r
4
j
4
+ 4r
2
j
2

_ r
4
+j
4
+4r
2
j
2
_ 2r
4
+2j
4
+4r
2
j
2
= 2
_
r
2
+j
2
_
2
........ (+)

0)
0r
(r, j) 0

= [j[

r
4
j
4
+ 4r
2
j
2

r
2
+j
2
_

2 [j[ 0, cuando (r, j) (0, 0).

Esto muestra la continuidad de
0)
0r
en (0, 0).
En forma anloga se muestra la continuidad de
0)
0j
en (0, 0).
.
0
2
)
0j0r
(r, j) =
r
6
j
6
+ 9r
4
j
2
9r
2
j
4
(r
2
+j
2
)
3
, (r, j) ,= (0, 0), y
0
2
)
0j0r
(0, 0) = 1.
lim
(r, j) (0, 0)
j = r
0
2
)
0j0r
(r, j) = 0
Por lo tanto
0
2
)
0j0r
no es continua en (0, 0).
En forma anloga se prueba que
0
2
)
0r0j
no es continua en (0, 0).
Ejercicios.-
1. Sea q : R
2
R, q (r, j) =
_
r
3
sin
j
r
j
2
sin
r
j
, rj ,= 0
0 , rj = 0
. demuestre
que
0
2
q
0j0r
y
0
2
q
0r0j
no son continuas.
2. Sea ) : R
3
R, ) (r, j, .) =
1
|(r, j, .)|
. Muestre que: )
xx
+)
yy
+)
zz
= 0.
.
Denicin.- Sea ) : 1 _ R
n
R, 1 abierto. Si ) posee derivadas parciales
hasta el orden :, : N y estas son continuas sobre 1, diremos que ) es una
funcin de clase (
m
sobre 1, se escribe ) (
m
(1). se dice que ) (
1
(1) si
(\: N) ) (
m
(1).
Observacin.-
1. Se dice que ) es continuamente diferenciable sobre 1 si (
1
(1).
2. Se dice que ) es : veces continuamente diferenciable sobre 1 si (
m
(1).
3. ) (
0
(1) == ) es continua sobre 1.
4. Para funciones de una variable ) : G _ R R, la existencia de la derivada
de ) en un punto implica la continuidad de ) en ese punto. Este no es el
caso pra funciones ) : 1 _ R
n
R ya que la existencia de las derivadas
(parciales primeras) no implica la continuidad de ). Por ejemplo verique
que
) : R
2
R, ) (r, j) =
_
rj
r
2
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
12
tiene derivadas parciales (primeras) en todo punto, sin embargo ) no es
continua en el origen.
5. Se prueba que si ) tiene derivadas parciales (primeras) continuas en un
abierto 1 _ R
n
, entonces ) es continua sobre 1.
6. Sea ) : 1 _ R
2
R continua. sea o la supere denida por
. = ) (r, j) .
0)
0r
(a, /) es la pendiente de la curva de ecuacin . = ) (r, /) en el punto
(a, /, c), es decir, la pendiente de la supercie o en la direccin del eje r.
1.3.2 LA DIFERENCIAL
Sea ) : 1 _ R
n
R tal que
0)
0r
i
(r
0
) existe para i = 1, 2, ....., :. Consideremos
la aplicacin lineal 1 : R
n
R denida por 1(r) =
0)
0r
1
(r
0
) r
1
+
0)
0r
2
(r
0
) r
2
+
............ +
0)
0r
n
(r
0
) r
n
, donde A = (r
1
, ...., r
n
).
Denicin.- Sea ) : 1 _ R
n
R, 1 abierto y sea r
0
1. Se dice que )
es diferenciable en r
0
si
lim
x!x0
) (r) ) (r
0
) 1(r r
0
)
|r r
0
|
= 0
Si ) es diferenciable en r
0
, entonces a la aplicacin lineal 1 se la llama la
diferencial de ) en r
0
y se le denota por 1 = d
x0
).
Ejemplo.- Sea ) : R
2
R, ) (r, j) = r
2
+ 2rj. Muestre que ) es dife-
renciable en (2, 1).
Observacin.-
1. Consideremos ) diferenciable en r
0
. se tiene:
) (r) ) (r
0
) = 1(r r
0
) +- (r) (|r r
0
|), donde lim
x!x0
- (r) = 0.
13
Por lo tanto,
) (r) ) (r
0
) - 1(r r
0
), para r cercano a r
0
.
) (r) ) (r
0
) - (r), para r cercano a r con (r) = 1(r) 1(r
0
).
2. La diferencial 1 = d
x0
) cuando existe es nica.
.
Teorema.- Si ) : 1 _ R
n
R es diferenciable en r
0
, entonces ) es continua en
r
0
.
Demostracin.- [1(r r
0
)[ _ ' |r r
0
| (ya que ) es lineal).
[) (r) ) (r
0
)[ =
Obs:1:
[1(r r
0
) +- (r) (|r r
0
|)[ _
_ (' +- (r)) |r r
0
|
x!x0
0.
Por lo tanto lim
x!x0
) (r) = ) (r
0
).
Esto prueba que ) es continua en r
0
.
Ejemplo.- ) : R
2
R, ) (r, j) =
_
rj
r
2
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
, no es con-
tinua en (0, 0), luego no es ,diferenciable en (0, 0).
Observe que en este caso
0)
0r
(0, 0) =
0)
0j
(0, 0) = 0.
Observacin.- Sea ) : 1 _ R
n
R diferenciable en r
0
.
1. d
x0
) : R
n
R, d
x0
) (r) =
0)
0r
1
(r
0
) r
1
+
0)
0r
2
(r
0
) r
2
+............+
0)
0r
n
(r
0
) r
n
.
2. Notacin.- dr
i
(r) = r
i
.
3. d
x0
) =
0)
0r
1
(r
0
) dr
1
+
0)
0r
2
(r
0
) dr
2
+............ +
0)
0r
n
(r
0
) dr
n
.
Si no hay lugar a confusin escribimos
d) =
0)
0r
1
dr
1
+
0)
0r
2
dr
2
+............ +
0)
0r
n
dr
n
.
.
Ejemplo.- Se puede ver que ) : R
2
R, ) (r, j) = r
2
+ 2rj es diferenciable
sobre todo punto de R
2
. En este caso
d) = (2r + 2j) dr + 2rdj
d
(1;2)
) = 6dr + 2dj
1.3.3 PROPIEDADES DE FUNCIONES DIFERENCIABLES
Y EJEMPLOS
Teorema.- (Algebra de las funciones diferenciables)
Sean ), q : 1 _ R
n
R diferenciables en r
0
1, entonces ) + q, )q son
14
diferenciables en r
0
, y si q (r
0
) ,= 0, tambin lo es
)
q
. Adems:
d
x0
() +q) = d
x0
) +d
x0
q
d
x0
()q) = ) (r
0
) d
x0
q +q (r
0
) d
x0
)
d
x0
_
)
q
_
=
q (r
0
) d
x0
) ) (r
0
) d
x0
q
[q (r
0
)]
2
Demostracin.- Ejercicio
Observacin.-
1. Si ) : 1 _ R
n
R es constante, entonces (\r 1) d
x
) = 0.
2. En las condiciones de hiptesis del teorema, y si c es constante, entonces
d
x0
(c)) = cd
x0
()).
Demostracin.- 1. y 2. ejercicio.
.
Teorema.- Supongamos que )
x1
, )
x2
, ......, )
xn
existen en una vecindad de r
0
=
(c
1
, c
2
, ........, c
n
) y son continuas en r
0
. Entonces ) es diferenciable en r
0
.
Demostracin.- Ver Trench, pgina 344.
Observacin.-
1. Diremos que ) es continuamente diferenciable sobre el abierto 1 _ R
n
si
) (
1
(1).
2. Si ) (
1
(1), entonces ) es diferenciable sobre el abierto 1.
.
Ejemplos.-
1. Sea ) : R
3
R, ) (r, j, .) =
_
_
_
sin(rj.)
r
2
+j
2
+[.[
, (r, j, .) ,= (0, 0, 0)
0 , (r, j, .) = (0, 0, 0)
.
(a) Muestre que ) es diferenciable en (0, 0, 0).
(b) Muestre que ) es diferenciable en (1, 2, 1).
(c) Encuentre la (buena) aproximacin de ) en alguna vecindad del punto
(1, 0, 1).
2. Sea ) : R
2
R, ) (r, j) =
_
_
_
(r j)
2
sin
1
r j
, r ,= j
0 , r = j
. Se tiene:
15
(a)
0)
0r
(r, j) = 2 (r j) sin
1
r j
cos
1
r j
; r ,= j.
(b)
0)
0r
(r, r) = lim
h!0
) (r +/, r) ) (r, r)
/
= lim
h!0
/
2
sin
1
/
= 0.
(c) De la misma manera:
0)
0j
(r, j) =
_
_
_
2 (r j) sin
1
r j
+ cos
1
r j
, r ,= j
0 , r = j
(d) lim
(r, j) (a, a)
j = a
0)
0r
(r, j) =
= lim
(r, j) (a, a)
j = a
_
2 (r j) sin
1
r j
cos
1
r j
_
=
= lim
x!a
_
2 (r a) sin
1
r a
cos
1
r j
_
: No existe
(e) Por lo tanto
0)
0r
es discontinua en (a, a) con a R.
(f) De la misma manera se muestra que
0)
0j
es discontinua en (a, a) con
a R.
(g) En particular
0)
0r
y
0)
0j
son discontinuas en (0, 0). Sin embargo ) es
diferenciable en (0, 0) ya que:
lim
(x;y)!(0;0)
) (r, j) ) (0, 0) )
x
(0, 0) r )
y
(0, 0) j
_
r
2
+j
2
=
= lim
(x;y)!(0;0)
) (r, j)
_
r
2
+j
2
,

) (r, j)
_
r
2
+j
2

_
(r j)
2

sin
1
r j

_
r
2
+j
2
_
(r j)
2
_
r
2
+j
2
_
_
r
2
+j
2
2rj
_
r
2
+j
2
_
r
2
+j
2
+r
2
+j
2
_
r
2
+j
2
_
_ 2
_
r
2
+j
2

(x;y)!(0;0)
0.
.
Observacin.- Esto muestra que las hiptesis del teorema anterior son sucientes
pero no necesarias (es decir,el recproco no es vlido).
16
1.3.4 FUNCIONES DIFERENCIABLES DE R
m
en R
n
Denicin.- Dada una funcin vectorial
) : 1 _ R
m
R
n
, ) = ()
1
, )
2
, ......., )
n
)
y r
0
un punto de acumulacin de 1 , se dene
lim
x!x0
) (r) =
_
lim
x!x0
)
1
(r) , lim
x!x0
)
2
(r) , ......., lim
x!x0
)
n
(r)
_
Se dice que ) es continua en un punto r
0
1 si cada funcin componente es
continua en r
0
. Se dice que ) es continua en 1 si cada funcin componente es
continua en 1.
Ejemplos.- Sea ) : R
3
R
2
, ) (r, j, .) =
_
r
2
+ 1
j
2
.
2
+ 3
, rj .
2
_
. Se tiene:
1. lim
(x;y;z)!(1;0;2)
) (r, j, .) =
_
2
3
, 4
_
2. )
1
: R
3
R, )
1
(r, j, .) =
r
2
+ 1
j
2
.
2
+ 3
y )
2
R
3
R, )
2
(r, j, .) = rj .
2
son
las funciones componentes de ).
3. ) es continua ya que sus funciones componentes lo son.
.
Denicin.- Sea ) : 1 _ R
m
R
n
, 1 abierto y sea r
0
1. Se dice que )
es diferenciable en r
0
si cada funcin componente lo es. En tal caso d
x0
) =
_
d
x
0
)
1
, d
x
0
)
2
, ......, d
x
0
)
n
_
.
Observacin.-
1. ) es diferenciable en r
0
si existe una aplicacin lineal 1 : R
m
R
n
tal
que
lim
x!x0
) (r) ) (r
0
) 1(r r
0
)
|r r
0
|
= 0.
2. d
x0
) es nica, cuando existe.
3. Si ) es diferenciable en r
0
, entonces ) es continua en r
0
.
4. Una aplicacin T : R
m
R
n
se dice afn si existe 1 : R
m
R
n
lineal y
existe

R
n
jo tal que(\r R
m
) T (r) = 1(r) +

.
.
Observacin.- Si ) : 1 _ R
m
R
n
es diferenciable en r
0
, entonces ) tiene una
aproximacin afn en una vecindad de r
0
.
Demostracin.- ) = ()
1
, )
2
, ......, )
n
) y cada funcin componente de ) puede
aproximarse por una funcin afn en una vecindad de r
0
(ya que cada )
i
es
diferenciable en r
0
).
17
1.3.5 PROPIEDADES DE FUNCIONES DIFERENCIABLES
1. Si ) : 1 _ R
m
R
n
, ) (r) = /; con / R
n
constante, entonces ) es
diferenciable en todo punto r
0
de 1 y adems:
d
x0
) = 0 (aplicacin lineal nula)
2. Si ) : 1 _ R
m
R
n
, ) (r) = 1(r) +

(aplicacin afn) entonces ) es

diferenciable en todo punto r
0
de R
m
, y adems:
d
x0
) = 1.
3. Si ) : R
m
R
m
R
n
es bilineal, entonces ) es diferenciable en todo punto
(r
0
, j
0
) de R
m
R
m
, y adems
d
(x0;y0)
) : R
m
R
m
R
n
, d
(x0;y0)
) (r, j) = ) ((r
0
, j) +) (r, j
0
))
.
Ejemplo.- ) : R
2
R
2
R, ) (r, j, n, ) = (2r j) (n 3) es bilineal sobre R
2
.
) es diferenciable sobre todo punto de R
2
R
2
, en particular ) es diferenciable
en (1, 0, 0, 1) y adems:
d
(1;0;0;1)
) : R
2
R
2
R, d
(1;0;0;1)
) (r, j, n, ) =
= ) (1, 0, n, .) +) (r, j, 0, 1) =
= 2n 6 6r + 3j
Observacin.- Vale tambin el lgebra de funciones diferenciables dada para
funciones ) : 1 _ R
n
R.
Nota.-
1. ) : 1 _ R
m
R
n
(
r
(1) == (\i = 1, 2, ......, :) )
i
(
r
(1).
2. Para ) : ]a, /[ R
n
, se tiene:
) = ()
1
, )
2
, ......, )
n
)
)
0
(t) = ()
0
1
(t) , )
0
2
(t) , ......, )
0
n
(t))
d
t0
)
i
: R R, d
t0
)
i
(t) = )
0
i
(t
0
) t
d
t0
) : R R
n
, d
t0
) (t) = )
0
(t
0
) t =
= (d
t0
)
1
(t) , d
t0
)
2
(t) , ..........., d
t0
)
n
(t))
18
1.3.6 MATRIZ JACOBIANA
Denicin.- Si ) : 1 _ R
m
R
n
es diferenciable en r
0
1, se llama
Matriz Jacobiana de ) en r
0
, a la matriz
J (), r
0
) =
_
_
_
_
_
_
_
_
_
_
_
_
_
0)
1
0r
1
(r
0
)
0)
1
0r
2
(r
0
) . . .
0)
1
0r
m
(r
0
)
0)
2
0r
1
(r
0
)
0)
2
0r
2
(r
0
) . . .
0)
2
0r
m
(r
0
)
.
.
.
.
.
.
.
.
.
.
.
.
0)
n
0r
1
(r
0
)
0)
n
0r
2
(r
0
) . . .
0)
n
0r
m
(r
0
)
_
_
_
_
_
_
_
_
_
_
_
_
_
donde ) = ()
1
, )
2
, ......, )
n
).
Observacin.-
1. J (), r
0
) = [d
x0
)], es decir, la matriz Jacobiana de ) en r
0
es la matriz de
la aplicacin lineal d
x0
) : R
m
R
n
en las bases cannicas de R
m
y R
n
.
2. Se obtiene:
d
x0
) (r) = J (), r
0
) r
t
.
Ejemplo.- Si T : R
2
R
2
, T (r, 0) = (r cos 0, r sin0), entonces
J (T, (r, 0)) =
_
_
_
0T
1
0r
(r, 0)
0T
1
00
(r, 0)
0T
2
0r
(r, 0)
0T
2
00
(r, 0)
_
_
_ =
_
cos 0 r sin0
sin0 r cos 0
_
1.3.7 REGLA DE LA CADENA
(diferencial de la compuesta)
Teorema (Regla de la cadena).- Sea q : R
k
R
n
diferenciable en r
0
. Sea
) : R
n
R
m
diferenciable en q (r
0
). Entonces / = ) q : R
k
R
m
es
diferenciable en r
0
y se tiene que:
d
x0
/ = d
g(x0)
) d
x0
q
Observacin.- J (/, r
0
) = J (), q (r
0
)) J (q, r
0
).
Ejemplo.- Sea / : R
2
R, /(r, j) =
_
_
_
r
2
j
2
sin
1
rj
, rj ,= 0
0 , rj = 0
. Decida si /
es diferenciable en (0, 0).
19
Solucin.- / = ) q, con ) (t) =
_
t
2
sin
1
t
, t ,= 0
0 , t = 0
y q (r, j) = rj.
Note que / es diferenciable en todo punto (a, 0) y (0, /) con a, / R.
Observacin.- Si ) : 1 _ R
n
1 _ R
n
es biyectiva y diferenciable en r
0
,
entonces J
_
)
1
, ) (r
0
)
_
= J (), r
0
)
1
.
Regla de la cadena para derivadas parciales
Notacin.-
0 (/
1
, /
2
, ........, /
p
)
0 (:
1
, :
2
, ........, :
q
)
denota la matriz Jacobiana
_
0/
i
0:
j
_
i = 1, 2, ......, j
, = 1, 2, ......,
, es decir
0 (/
1
, /
2
, ........, /
p
)
0 (:
1
, :
2
, ........, :
q
)
=
_
_
_
_
_
_
_
_
_
0/
1
0:
1
0/
1
0:
2
. . .
0/
1
0:
q
. . . .
. . . .
. . . .
0/
p
0:
1
0/
p
0:
2
. . .
0/
p
0:
q
_
_
_
_
_
_
_
_
_
Teorema.- Si n
1
= )
1
(r
1
, ....., r
n
) , ................, n
m
= )
m
(r
1
, ....., r
n
) denen a
: funciones diferenciables; y si r
1
= q
1
(t
1
, ...., t
k
) , ..........., r
n
= q
n
(t
1
, ...., t
k
),
entonces
0 (n
1
, ......, n
m
)
0 (t
1
, ......., t
k
)
=
0 (n
1
, ......, n
m
)
0 (r
1
, ......., r
n
)

0 (r
1
, ......., r
n
)
0 (t
1
, ......., t
k
)
(+)
.
Observacin.- Comparando coecientes de las matrices Jacobianas en (+) ten-
emos:
0n
i
0t
j
=
0n
i
0r
1
0r
1
0t
j
+
0n
i
0r
2
0r
2
0t
j
+............ +
0n
i
0r
n
0r
n
0t
j
Ejemplos.-
1. Encontrar
0n
0r
y
0n
00
si n = /(r, j); r e j en coordenadas polares.
2. (derivacin implcita) Dada la relacin .
2
r
3
j +r
2
3 = .
3
j +j
4
, suponga
que . = ) (r, j); r = n
2
, j =
3
. Encontrar
0.
0n
,
0.
0
y
0
2
.
00n
.
Indicacin.-
0.
0n
=
0.
0r
0r
0n
+
0.
0j
0j
0n
.
20
.
Ejercicio.- Demuestre que en coordenadas polares la ecuacin
0
2
n
0r
2
+
0
2
n
0j
2
= 0
se convierte en
0
2
n
0r
2
+
1
r
2
0
2
n
00
2
+
1
r
0n
0r
= 0.
1.3.8 DERIVADAS DIRECCIONALES
Denicin.- Sean ) : 1 _ R
n
R y r R
n
. Llamamos derivada de ) en r
0
segn el vector r, a la derivada si existe de la funcin
q : _ R R, q (t) = ) (r
0
+tr) en t = 0.
.
Notacin.- 1
x
) (r
0
) = lim
t!0
) (r
0
+tr) ) (r
0
)
t
Denicin.- Sea ) : 1 _ R
n
R diferenciable en el abierto 1. Se dene el
gradiente de ) como el campo vectorial
qrad) : 1 _ R
n
R
n
, qrad) (r) =
_
0)
0r
1
(r) ,
0)
0r
2
(r) , ........,
0)
0r
n
(r)
_
.
Notacin.- qrad) (r) = \) (r).
Teorema.- Sea ) : 1 _ R
n
R, 1 abierto y sea r
0
1. Si ) es diferenciable
en r
0
, entonces: (\r R
n
) 1
x
) (r
0
) existe y
1
x
) (r
0
) = d
x0
) (r) = \) (r
0
) r
.
Observacin.- La demostracin de la 1
a
igualdad es anloga al caso
0)
0r
i
(r
0
) = d
x0
) (c
i
) .
.
Denicin.- Sea R
n
, diremos que es una direccin en R
n
si || = 1.
Observacin.-
1. Para : = 1, las nicas direcciones son
1
= 1 y
2
= 1.
2. Para : = 2, toda direccin se puede denir por = (cos 0, sin0), 0 _ 0 <
2. (0 deterrmina la direccin).
3. Para : _ 2, las componentes de una direccin satisfacen las relaciones

i
= cos 0
i
; i = 1, 2, ...., :
0
i
es el ngulo formado por y c
i
, donde c
i

n
i=1
es la base cannica de
R
n
.
21
.
Denicin.- Dados un punto r
0
y una direccin en R
n
, la recta que pasa por
r
0
+ y r
0
se llama recta que pasa por r
0
con direccin . Esta viene dada
por:
r R
n
: r = r
0
+t, t R
.
Denicin.- Sea ) : 1 _ R
n
R, 1 abierto.Sean r
0
1 y una direccin.
Llamamos Derivada de ) en r
0
en la direccin a
0)
0
(r
0
) = lim
t!0
) (r
0
+t) ) (r
0
)
t
, si existe
.
Observacin.-
1. Ms simplemente llamamos a
0)
0
(r
0
) derivada direccional de ) en r
0
.
2.
0)
0r
i
(r
0
) es un caso particular de derivada direccional
0)
0r
i
(r
0
) =
0)
0c
i
(r
0
) .
3. La recta que pasa por r
0
y direccin , es la misma que pasa por r
0
y
direccin , sin embargo los sentidos son opuestos, luego resulta natural
que
0)
0 ()
(r
0
) =
0)
0
(r
0
)
.
Ejemplo.- Para ) : R
2
R, ) (r, j) =
_
_
_
r
2
j
, j ,= 0
0 , j = 0
. Pruebe que:
_
\

= (a, /) : a
2
+/
2
= 1
_
;
0)
0
(0, 0) =
_
_
_
a
2
/
, / ,= 0
0 , / = 0
.
Sin embargo ) no es continua en (0, 0).
Ejercicio.- Sea ) : R
2
R, ) (r, j) =
_
_
_
2r
2
j
r
4
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
. Pruebe
que:
1 !
X
(0, 0) =
_
_
_
2a
2
/
, / ,= 0
0 , / = 0
; con

A = (a, /) .
22
Sin embargo ) no es diferenciable en (0, 0).
Observacin.- Sea

= (cos 0
1
, cos 0
2
, ......., cos 0
n
) una direccin en R
n
. en-
tonces si ) es diferenciable en r
0
,
0)
0
(r
0
) = \) (r
0
)

,
es decir,
0)
0
(r
0
) =
0)
0r
1
(r
0
) cos 0
1
+
0)
0r
2
(r
0
) cos 0
2
+........... +
0)
0r
n
(r
0
) cos 0
n
.
En particular para : = 2;
0)
0
(r
0
, j
0
) =
0)
0r
(r
0
, j
0
) cos 0 +
0)
0j
(r
0
, j
0
) sin0, con

= (cos 0, sin0)
.
Ejemplo.- Sea ) : R
3
R, ) (r, j, .) = r
2
+ 2j
2
+ 3.
2
. Encontrar la derivada
direccional de ) en el punto (r
0
, j
0
, .
0
) = (1, 1, 1), en la direccin de

1
= (1, 1, 1).
DERIVADA DIRECCIONAL MAXIMA
Teorema.- Sean 1 _ R
n
abierto, ) : 1 _ R
n
R diferenciable en r
0
. La
derivada direccional de ) en r
0
es mxima en la direccin del vector gradiente
n =
\) (r
0
)
|\) (r
0
)|
.
Observacin.- Segn el teorema:
(\ R
n
: |

| = 1)

0)
0
(r
0
)

_
0)
0n
(r
0
) , donde n =
\) (r
0
)
|\) (r
0
)|
.
.
Demostracin de teorema.-
0)
0
(r
0
) = \) (r
0
)

0)
0
(r
0
)

= [\) (r
0
)

[ _ |\) (r
0
)|
Si n =
\) (r
0
)
|\) (r
0
)|
, entonces
0)
0n
(r
0
) = \) (r
0
)
\) (r
0
)
|\) (r
0
)|
= |\) (r
0
)| .
23
.
Ejemplo.- En el anterior, cul es el valor mximo de la derivada direccional en
(1, 1, 1) y cul es su direccin?.
Ejercicio.- Hallar los puntos (r, j) y las direcciones para las que la derivada
direccional de la funcin denida por ) (r, j) = 3r
2
+j
2
tiene el valor mximo
si (r, j) est en la circunferencia r
2
+j
2
= 1.
Indicacin.-
0)
0n
(r, j) es mxima si n(r, j) =
\) (r, j)
|\) (r, j)|
\) (r, j) = (6r, 2j); |\) (r, j)| = 2
_
9r
2
+j
2
;
n =
_
3r
_
9r
2
+j
2
,
j
_
9r
2
+j
2
_
0)
0n
(r, j) = |\) (r, j)| = 2
_
9r
2
+j
2
: es el valor de la derivada direccional
mxima en la direccin de n(r, j).
Sea q (r, j) = 2
_
9r
2
+j
2
; con r = cos 0, j = sin0 queda
q (0) = 2
_
1 + 8 cos
2
0.
Considere /(0) = q (0)
2
y encuentre los extremos de / con 0 _ 0 _ 2.
1.4 Aplicaciones
Teorema de la funcin inversa
Teorema.- Sea ) : o _ R
n
R
n
, o abierto, ) = ()
1
, )
2
, ....., )
n
) de clase
(
1
y sea T = ) (o).
Supongamos que el Jacobiano [J (), r
0
)[ , = 0, en algn punto r
0
de o.
Entonces existen una nica funcin q y dos conjuntos abiertos A _ o e 1 _ T
tales que
i) r
0
A y ) (r
0
) 1
ii) 1 = ) (A)
iii) ) es inyectiva sobre A
iv) q est denida sobre 1 , q (1 ) = A y
(\r A) q () (r)) = r
v) q (
1
(1 )
24
Ejemplo.- Dada la funcin denida por ) (r, j) =
_
r
_
j, j
_
r
_
; r _ 0, j _ 0.
a) Admite ) una inversa en una vecindad l de (4, 4)?.
b) Si ) admite una inversa en una vecindad de (4, 4), determine la aproxi-
macin afn de )
1
en el punto (8, 8).
Solucin.- Consideramos
. ) : o _ R
2
R
2
, ) (r, j) =
_
r
_
j, j
_
r
_
con
o =
_
(r, j) R
2
: r 0, j 0
_
. o es abierto, ) (
1
(o) y [J (), (4, 4))[ = 3 ,= 0.
Por lo tanto,
a) ) admite una inversa local de clase (
1
denida en una vecindad l de
(4, 4).
b) ) (4, 4) = (8, 8)
La aproximacin afn de )
1
en el punto (8, 8) tiene ecuacin:
1(n, ) = )
1
(8, 8) +d
(8;8)
)
1
(n 8, 8)
= (4, 4) +J
_
)
1
, (8, 8)
_
_
n 8
8
_
= (4, 4) +J (), (4, 4))
1
_
n 8
8
_
= (4, 4) +
_
2 1
1 2
_
1
_
n 8
8
_
1(n, ) =
_
2n + 4
3
,
2 n + 4
3
_
.
Ejercicio.- Sea ) denida por
) (r, 0) = (r cos 0, r sin0, .) ; 0 < r, 0 < 0 < 2, . R.
a) Calcule (si existe) la diferencial de ) en
_
1,

3
, 0
_
.
b) Existe inversa local de ) cerca de
_
1,

2
, 0
_
?.
c) Calcule la aproximacin afn de )
1
en (1, 0, 0).
.
Notacin.- Sea r R
n
, t R
k
; (r, t) R
n+k
.
Teorema de la funcin implcita
Teorema.- Sea 1 : o _ R
n+m
R
m
(
1
(o), o abierto, tal que (r
0
, n
0
) o.
Suponemos que:
25
i) 1 (r
0
, n
0
) = 0
ii) 1
u
(r
0
, n
0
) es no singular, es decir,
det 1
u
(r
0
, n
0
) =

0)
1
0n
1
.. ..
0)
1
0n
m
: :
: :
0)
m
0n
1
.. ..
0)
m
0n
m

,= 0.
Entonces, existe una vecindad abierta ' de (r
0
, n
0
) contenida en o, y
una vecindad abierta de r
0
en R
n
sobre la cual est denida una nica
transformacin G : _ R
n
R
m
tal que:
I) (r, G(r)) ', r
II) G(r
0
) = n
0
III) 1 (r, G(r)) = 0, r
Ms an, G es continuamente diferenciable sobre y
J
x
G = [1
u
(r, n)]
1
1
x
(r, G(r))
.
Corolario.- Sea ) : R
n+1
R de clase (
1
sobre el abierto o, tal que (r
0
, n
0
) o.
Suponemos que:
i) ) (r
0
, n
0
) = 0
ii) )
u
(r
0
, n
0
) ,= 0.
Entonces, existe una vecindad ' de (r
0
, n
0
) contenida en o, y una vecin-
dad de r
0
en R
n
sobre la cual est denida una nica funcin q : _
R
n
R tal que:
I) (r, q (r)) ', r
II) q (r
0
) = n
0
III) ) (r, q (r)) = 0, r
Adems: q (
1
() y
q
xi
(r) =
)
xi
(r, q (r))
)
u
(r, q (r))
, 1 _ i _ :.
26
Ejemplo.-
1. Sea ) : R
3
R, ) (r, j, .) = (j +.) cos r. Pruebe que ) dene una
funcin implcita diferenciable . = /(r, j) en una vecindad de (0, 0, 0).
Halle d
(0;0)
/.
Solucin.-
. ) : o _ R
3
R, ) (r, j, .) = (j +.) cos r con o = R
3
. o es abierto, (0, 0, 0) o, ) (
1
(o)
. ) (0, 0, 0) = 0 y
0)
0.
(0, 0, 0) = 1 ,= 0.
Por lo tanto, ) dene una funcin implcita diferenciable . = /(r, j) en
una vecindad de (0, 0, 0) y adems:
0/
0r
(r, j) =
0)
0r
(r, j, .)
0)
0.
(r, j, .)
= (j +.) tanr
0/
0j
(r, j) =
0)
0j
(r, j, .)
0)
0.
(r, j, .)
= 1
De esta manera
J (/, (0, 0)) =
_
0/
0r
(0, 0) ,
0/
0j
(0, 0)
_
= (0, 1)
J (/, (0, 0))
_
r
j
_
= (0, 1)
_
r
j
_
= (j) = j,
d
(0;0)
/ : R
2
R, d
(0;0)
/(r, j) = j.
2. Suponga que las variables r, j, n, estn relacionadas por el sistema de
ecuaciones:
r
2
j
2
= 2n 15
r + 2rj = n
2

2
+ 10
Sea 1
0
(1, 2, 2, 3).
(a) Pruebe que este sistema dene a n y como funciones diferenciables
de (r, j) en una vecindad del punto (1, 2).
(b) Determine
0
0j
(1, 2) ,
0
2
n
0r
2
(1, 2)
(c) Sean n = /(r, j) , = q (r, j) las funciones implcitas cuya existen-
cia se prob en i). Muestre que ) = (/, q) admite funcin inversa
diferenciable en una vecindad del punto (1, 2).
(d) Determine la transformacin afn que aproxima )
1
en una vecindad
del punto (2, 3).
27
Indicacin.- 1 : R
4
R
2
,
1 (r, j, n, ) =
_
r
2
j
2
+ 2n + 15, r + 2rj n
2
+
2
10
_
1 (
1
_
R
4
_
, 1 (1, 2, 2, 3) = (0, 0) y [1
U
(A
0
, l
0
)[ = 52 ,= 0.
Por lo tanto:
(a) Existe ) : _ R
2
R diferenciable tal que
) (r, j) = (/(r, j) , q (r, j)) = (n, )
(b) J (), (1, 2)) = (J
U0
1)
1
(J
X0
1) =
1
52
_
6 4
4 6
__
2 4
5 2
_
=
. =
_
_
_

8
13
4
13

11
26

7
13
_
_
_ =
_
_
_
0n
0r
(1, 2)
0n
0j
(1, 2)
0
0r
(1, 2)
0
0j
(1, 2)
_
_
_
(c) ) es de clase (
1
(del T. de la F. Implcita), [J (), (1, 2))[ =
6
13
,= 0. Por el
T. de la F. Inversa, ) es localmente invertible.
(d) J
_
)
1
, (2, 3)
_
= J (), (1, 2))
1
=
1
12
_
14 8
11 16
_
La aproximacin afn de )
1
en una vecindad de (2, 3) est denida por:
1(n, ) = )
1
(2, 3) +d
(2;3)
)
1
(n + 2, 3) = (r, j)
Nota.-
0
0j
(1, 2) ,
0
2
n
0r
2
(1, 2) de la parte (b) se pueden obtener derivando
implcitamente en el sisitema dado. Se obtiene
0
2
n
0r
2
(1, 2) =
64
13
.
.
Ejercicios.-
1. En el ejemplo 1. anterior determine adems la ecuacin del espacio (plano)
tangente a la supercie o =
_
(r, j) R
2
: /(r, j) = 0
_
en (0, 0).
2. Pruebe que la ecuacin
rj. + sin(. 6) 2
_
r +j +r
2
j
2
_
= 0
dene en una vecindad del punto 1
0
(1, 1, 6) a . como funcin implcita de
r e j; es decir, . = ,(r, j).
Determine ,
x
(1, 1) , ,
y
(1, 1) , ,
xy
(1, 1) , ,
yy
(1, 1) , ,
xx
(1, 1).
.
28
Propiedades del gradiente. Curvas y supercies de nivel
Si c : 1 _ R
n
R, 1 abierto, y c diferenciable, entonces
qradc : 1 _ R
n
R
n
, qradc(r) = \c(r) =
_
0c
0r
1
,
0c
0r
2
, ......,
0c
0r
n
_
Si c y c : 1 _ R
n
R son diferenciables, entonces:
a) \(c +c) = \c +\c b) \(cc) = c\c +c\c
c) \(c,c) =
1
c
2
(c\c c\c), para r 1 tal que c (r) ,= 0.
Demostracin.- Son consecuencia inmediata de la denicin de \) y de
las propiedades de las derivadas.
.
Interpretacin geomtrica.- Consideremos : = 3, c=cte. y sea
1
c
=

r 1 : c(

r ) = c
1
c
es una supercie en R
3
si di:1
c
= 2. Si este es el caso entonces, 1
c
tiene
un plano tangente en el punto

a = (a
1
, a
2
, a
3
) de ella y la ecuacin del plano
tangente es:
\c(

a ) (

a ) = 0,
es decir
0c
0r
(

a ) (r a
1
) +
0c
0j
(

a ) (j a
2
) +
0c
0.
(

a ) (. a
3
) = 0.
Esto es el vector \c(

a ) es normal al plano tangente, luego es normal a la

supercie 1
c
denida por la ecuacin c(

r ) = c en el punto

a .
. \c(

a )
Plano tangente
.

a c(

r ) = c
. supercie equipotencial
29
Observacin.-
1. Dicho plano tangente existe en todo punto

a tal que c(

r ) ,=

0 .
2. Si c(r, j, .) = ) (r, j) ., entonces
\c(r, j, .) =
_
0)
0r
(r, j) ,
0)
0j
(r, j) , 1
_
l1
c
.
.
Consideremos ahora : = 2, entonces 1
c
=

r 1 : c(

r ) = c es una curva
en R
2
. Si \c(

a ) ,=

0 ,

a = (a
1
, a
2
), entonces la recta tangente a la curva G
c
en el punto

a tiene ecuacin
0c
0r
(

a ) (r a
1
) +
0c
0j
(

a ) (j a
2
) = 0
y \c(

a ) es normal a dicha tangente, y luego lo es a la curva G

c
en el punto

a .
. \c(

a )
.

a c(

r ) = c
curva equipotencial
Denicin.- El campo escalar c cuyo gradiente es \c se llama funcin poten-
cial del campo vectorial \c.
Las correspondientes supercies 1
c
, denidas por c(

r ) = c, r 1, se llaman
supercies equipotenciales o supercies de nivel si : 2. Si : = 2 se habla de
curvas equipotenciales o de nivel.
.
Clculo III - 521227
1 de Marzo de 2007
JRC
30