Documentos de Académico
Documentos de Profesional
Documentos de Cultura
14 de febrero de 2011
CALCULO
DIFERENCIAL EN VARIAS VARIABLES
1.
En general identificamos cada punto (x1 , x2 , . . . , xn ) Rn con el vector x que va desde el origen a
dicho punto: x = (x1 , x2 , . . . , xn )T .
(x1 , x2 , . . . , xn )T = (y1 , y2 , . . . , yn )T xi = yi , i = 1, . . . , n.
Aqu T es el smbolo de transposicion. En expresiones matriciales con vectores, los entendemos siempre
como vectores columna (aunque a veces escribiremos (x1 , x2 , . . . , xn ) en vez de (x1 , x2 , . . . , xn )T ).
Definici
on 1.1 Se define la base canonica en Rn como el conjunto de vectores:
e1 = (1, 0, . . . , 0)T , e2 = (0, 1, . . . , 0)T , . . . ,
en = (0, 0, . . . , 1)T .
Operaciones basicas:
1. Suma:
(x1 , x2 , . . . , xn ) + (y1 , y2 , . . . , yn ) = (x1 + y1 , x2 + y2 , . . . , xn + yn )
2. Producto por un escalar:
(x1 , x2 , . . . , xn ) = (x1 , x2 , . . . , xn ), R
Propiedades:
1. Asociativa:
()(x1 , x2 , . . . , xn ) = ((x1 , x2 , . . . , xn )), , R
2. Distributiva 1:
( + )(x1 , x2 , . . . , xn ) = (x1 , x2 , . . . , xn ) + (x1 , x2 , . . . , xn ), , R
3. Distributiva 2:
(
)
(x1 , x2 , . . . , xn ) + (y1 , y2 , . . . , yn ) = (x1 , x2 , . . . , xn ) + (y1 , y2 , . . . , yn ), R
1
4. Elemento 0:
0 (x1 , x2 , . . . , xn ) = (0, 0, . . . , 0),
(0, 0, . . . , 0) = (0, 0, . . . , 0)
xi yi .
i=1
Observaci
on 1.2 Recordemos que x, x 0, x, x = 0 x = 0
Definici
on 1.3 Se define la longitud de un vector x como su norma o m
odulo y se denota por
v
u n
u
x = < x, x > = t
x2i
i=1
Proposici
on 1.4
< x, y >= x y cos().
Como consecuencia tenemos:
1. la desigualdad de Cauchy:
x y x y
2. la desigualdad triangular:
x + y x + y
3. x, y son vectores ortogonales (xy ) si y solo si < x, y >= 0
Producto vectorial en R3 : dados x, y R3 , se
e1
x y = det x1
y1
define
e2 e3
x2 x3
y2 y3
(es un vector en R3 ; para calcularlo hay que descomponer este determinante simbolico respecto de la
primera columna).
Observaci
on 1.5 El vector x y verifica:
1. x y = x y sin() =
area del paralelogramo formado por ambos vectores
2. x y es un vector perpendicular a cada uno de ellos en el sentido del avance del tornillo.
Definici
on 1.6 La norma de un vector x = (x1 , x2 , . . . , xn ) de Rn es
2.
Lmites y continuidad
Definici
on 2.1 Sea {xk }
on de puntos en Rn . Se dice que los puntos x k tienden a un
k=1 una sucesi
k
n
punto q R cuando k ( lm x = q) si
k
x k q 0,
k .
(
1)
y k = (1)k ,
k!
en R2 . Entonces la sucesi
on {x k }
mite (0, 1) R2 , mientras que la sucesi
on {y k }
k=1 tiene l
k=1 no
k
k
tiene ning
un lmite (porque las primeras coordenadas y1 = (1) divergen).
Definici
on 2.3 Sean A un subconjunto abierto de Rn , x0 A y f : A Rm . Se dice que Rm
es el lmite de f (x) cuando x tiende a x0 , y lo escribimos lmxx0 f (x) = , si para todo > 0 existe
un > 0 tal que f (x) < si x A, 0 < x x0 < .
Se puede ver que lmxq f (x) = si y solo si f (x k ) para toda sucesion de puntos {x k }
contenida en A tales que x k = q y x k q cuando k . Esto permite extender la definicion del
lmite en un punto q a cualquier funcion, definida en un conjunto A que contiene al menos una sucesion
{x k } tal que x k = q para todo k y lmk x k = q.
Teorema 1. Sean A un subconjunto abierto de Rn , x0 A y f : A Rm . Si existe el lmite cuando
x tiende a x0 de f (x), entonces es u
nico. Es decir, si lmxx0 f (x) = 1 y lmxx0 f (x) = 2 , entonces
1 = 2 .
Corolario 2.4 Sean A un subconjunto abierto de R2 que contiene a (0, 0) y f : A R. Si los lmites
lmr0 f (r cos , r sen ) dependen de , entonces no existe el lmite lm(x,y)(0,0) f (x, y). Si los lmites
lmr0 f (r cos , r sen ) no dependen de , entonces no se puede afirmar nada sobre la existencia
del lmite.
Si el punto en el queremos estudiar el lmite es (x0 , y0 ) A, entonces se tiene un resultado
similar: Si los lmites lmr0 f (x0 + r cos , y0 + r sen ) dependen de , entonces no existe el lmite
lm(x,y)(x0 ,y0 ) f (x, y).
Proposici
on 2.5 Sean A un subconjunto abierto de Rn , x0 A y f, g : A R. Si lmxx0 f (x) = 0
y g est
a acotada en un entorno de x0 , entonces lmxx0 f (x)g(x) = 0.
Teorema 2. Sean A un subconjunto abierto de Rn , x0 A, c R y f, g : A Rm . Si existen
lmxx0 f (x) y lmxx0 g(x), entonces:
(
)
(
)
(1) lm cf (x) = c lm f (x) .
x
x0
x
x0
(
)
(2) lm f (x) + g(x) = lm f (x) + lm g(x) .
x
x0
x
x0
x
x0
(
) (
)(
)
(3) lm f (x)g(x) = lm f (x) lm g(x) , si m = 1 .
x
x0
(4)
(5)
x
x0
x
x0
lmxx0 f (x)
f (x)
=
, si m = 1, y lm g(x) = 0 .
lm
x)
lmxx0 g(x)
x
x0
x
x0 g(
(
)g(x) (
)lmxx g(x)
0
,
lm f (x)
= lm f (x)
x
x0
x
x0
Muchas veces esta caracterizacion se toma como una definicion. De esta manera uno puede definir
la continuidad de una funcion, definida sobre cualquier conjunto (no necesariamente abierto). La
restriccion de una funcion continua es siempre continua.
Teorema 5. Sean A un subconjunto abierto de Rn , x0 A, c R y f, g : A Rm . Si f y g son
continuas en x0 , entonces:
(1) cf (x) es continua en x0 .
(2) f (x) + g(x) es continua en x0 .
(3) f (x)g(x) es continua en x0 , si m = 1.
(4) f (x)/g(x) es continua en x0 , si m = 1 y g(x0 ) = 0.
(5) (f (x))g(x) es continua en x0 , si m = 1 y (f (x))g(x) esta definida en un entorno de x0 .
Teorema 6. Sean A un subconjunto abierto de Rn , x0 A y f : A Rm . Si f (x) = (f1 (x), . . . , fm (x)),
donde fi : A R, i = 1, 2, . . . , m, son las funciones componentes de f , entonces f es continua en x0
si y solo si fi es continua para cada i = 1, 2, . . . , m.
Teorema 7. Sean A un subconjunto de Rn , x0 A, f : A Rm , g : B Rk y la imagen de
un entorno de B por f se contiene en B. Si f es continua en x0 y g es continua en f (x0 ), entonces la
composicion (g f )(x) = g(f (x)) es continua en x0 .
Teorema 8. Sean A Rn y f : A R. Si A es compacto y f es continua en A, entonces f
esta acotada en A.
Teorema 9. Sean A Rn y f : A R. Si A es compacto y f es continua en A, entonces f alcanza
su maximo y su mnimo en A.
3.
Diferenciaci
on
Definici
on 3.1 Sean U Rn un conjunto abierto y f : U R. Entonces la derivada parcial
f /xj de f con respecto a la variable xj se define como
f (x1 , x2 , . . . , xj + h, . . . , xn ) f (x1 , . . . , xn )
f (x + hej ) f (x)
f
(x1 , . . . , xn ) = lm
= lm
,
h0
h0
xj
h
h
donde 1 j n y ej es el j-esimo vector de la base can
onica; es decir, la derivada parcial de f con
respecto a la variable xj es simplemente la derivada usualde f con respecto a la variable xj , si se
supone que el resto de las variables son constantes.
Si f : U Rm , entonces f (x) = (f1 (x), . . . , fm (x)), y podemos hablar de la derivada parcial
fi /xj de la componente i-esima de f con respecto a la variable xj .
Definici
on 3.2 Sean U R2 un conjunto abierto, (x0 , y0 ) U y f : U R. Decimos que f es
diferenciable en (x0 , y0 ) si f /x y f /y existen en (x0 , y0 ) y si
lm
(x,y)(x0 ,y0 )
f (x, y) f (x0 , y0 )
f
x (x0 , y0 )(x
x0 )
(x, y) (x0 , y0 )
5
f
y (x0 , y0 )(y
y0 )
= 0.
f
f
(x0 , y0 )(x x0 ) +
(x0 , y0 )(y y0 ) .
x
y
Definici
on 3.3 Sean U Rn un conjunto abierto, x0 U y f : U Rm . Decimos que f es
diferenciable en x0 si las derivadas parciales de f existen en x0 y si
lm
x
x0
f1
f1
(
x
)
(
x
)
0
0
x2
xn
f2
f2
(x0 )
(x0 )
x2
xn
T=
fm
fm
fm
(x0 )
(x0 )
(x0 )
x1
x2
xn
f1
(x0 )
x1
f2
(x0 )
x1
y1
1
1
x1 x2 . . . xn
y y
y
(y1 , . . . , ym )
2 2 . . . xn2
= x1 x2
Df (x0 ) =
.
(x1 , . . . , xn )
ym yn
ym
x1 x2 . . . xn
Definici
on 3.4 Sean U Rn un conjunto abierto y f : U R diferenciable en U . En este caso la
matriz derivada de f en x tiene 1 fila y n columnas:
Df (x) =
( f (x)
x1
, ,
f (x) )
,
xn
f (
x)
(
)T x1
grad f (x) = f (x) = Df (x) = .
f (
x)
xn
kn
mn
w
,
x
w
,
y
w
.
z
Definici
on 3.5 Sean U Rn un conjunto abierto, x0 U , v Rn y f : U Rm . La derivada
direccional de f en x0 a lo largo del vector v se define como
d
f (x0 + tv) f (x0 )
f (x0 + tv)
= lm
.
t0
dt
t
t=0
Habitualmente se elige el vector v unitario (con norma 1). En este caso se habla de la derivada
direccional de f en x0 en la direcci
on v, y representa la tasa de cambio (pendiente) de la funcion
en la direccion de dicho vector.
Este concepto generaliza a las derivadas parciales, ya que estas son derivadas direccionales en los
vectores paralelos a los ejes.
Teorema 5. Sean A, B Rn dos conjuntos abiertos. Sean
f : A B,
g:BA
funciones inversas una a otra (es decir, f g(x) = x para todo x A y g f (y) = y para todo y B).
Si p0 A, q0 = f (
p0 ) B, f es diferenciable en p0 y la matriz jacobiana Df (
p0 ) no es singular,
entonces g es diferenciable en q0 y
[
]1
Dg(q0 ) = Df (
p0 ) .
En otras palabras, si y = f (x), x A, entonces x = f (y ), y B, y
(x1 , . . . , xn ) [ (y1 , . . . , yn ) ]1
=
.
(y1 , . . . , yn )
(x1 , . . . , xn )
7