5

La Diferencial.-

Denici
on 28 Sea F : A Rn ! Rm ; X
7 ! F (X), una funcion de
n variables y a valores vectoriales, denida en un conjunto abierto A y sea
X0 2 A: Se dice que F es diferenciable en X0 cuando existe una aplicacion
lineal
L : Rn ! Rm ; H 7! L(H) tal que:
F (X0 + H) F (X0) L(H)
= (vector nulo)
H!
kH k
lim

(4)

Si en la condicion 4 se reemplaza H = X X0 se obtiene:

lim

X!X0

F (X) F (X0) L(X X0)

=
kX X0k

(5)

Mirando esta ultima condicion podemos tomar la aplicacion

G(X) = (F (X0 ) L(X0)) + L(X)

(6)

que es la suma de un vector constante mas una aplicacion lineal (se llama
aplicacion afin), y escribir
F (X) G(X)
=
X!X 0
kX X0k
lim

(7)

La condicion 7 se expresa diciendo que la funcion denida en 6 es una

buena aproximaci
on de la funcion f en una vecindad del punto X0. El

limite 7 puede entenderse en el sentido que la diferencia F (X) G(X) tiende

a cero, mas rapidamente que kX X0k, cuando X ! X0 .
Por esto, cuando f es diferenciable en el punto X0; se tiene la aproximacion
F (X) G(X) = F (X0) + L(X X0)
valida para X proximo de X0.
La aplicacion lineal L de 4 se llama La Diferencial de F en el punto X 0
y se denota DF (X0 ) = L.
Observaciones.1. Se puede probar que existe a lo mas una aplicacion lineal satisfaciendo
4.
11

2. Cuando no existe una L lineal que cumpla 4, se dice que F no es

diferenciable en el punto X0 :
3. En el caso particular que F sea una aplicacion lineal, es inmediato
vericar que L = F verica la condicion 4 de la denicion. O sea,
DF (X0) = F , en cualquier punto X0 .
4. Tambien, cuando F es una aplicacion afin, es decir F (X ) = B + L(X)
(un vector constante mas una aplicacion lineal) se tiene que DF (X0) =
L, en cualquier punto X0.
Tomemos una F diferenciable en X0 y considere el j-esimo vector ^ej de la
base canonica de Rn : Podemos restringir el limite de la condicion 4 al camino
determinado por el eje xj (h 7! h ^ej ) y obtener
F (X0 + h e^j ) F (X0) L(h ^ej )
=
h!0
kh e^j k
lim

lo que lleva facilmente a:

F (X0 + h ^ej ) F (X0)
h!0
h

L(^ej ) = lim

Ahora si consideramos que F = (f1; f2; :::; fm) esta determinada por sus
funciones componentes, lo mismo que L = (L1 ; L2 ; :::; Lm ); la formula anterior da
fi(X0 + h e^j) fi(X0 )
@f
= i (X0 )
h!0
h
@xj

Li(^
e j) = lim

Esto muestra que, con respecto a las bases

codominio, la matriz de L esta dada por:
0
@f1
@f1
B @ x1 (X0 ) @x2 (X0) :::
B @f
@f2
B
2
(X0 )
(X ) :::
B
JF (X0 ) = B @ x1
@x2 0
B
:::
:::
:::
B
@ @fm
@fm
(X0)
(X0 ) :::
@ x1
@x2
llamada matriz jacobiana de f en el punto X 0:
12

canonicas en el dominio y

:::
:::
:::
:::

@f1
(X )
@xn 0
@f2
(X )
@xn 0
:::
@fm
(X0)
@xn

1
C
C
C
C
C
C
C
A

Caso particular.- n=2 y m=1.

Para f : A R2 ! R; (x; y) 7! f(x; y). diferenciable en (x0; y0) se tiene:

@f
@f
Jf(x0 ; y0 ) =
(x ; y )
(x ; y ) h
@x 0 0 @y 0 0
@f
@f
Df (x0; y0 )(h; k) =
(x0; y0) h +
(x0; y0) k
@x
@y
La buena aproximaci
on de f en una vecindad de (x0; y0) es
g(x; y) = f (x0; y0) +

@f
@f
(x0; y0) (x x0) +
(x0; y0) (y y0 )
@x
@y

cuyo graco z = g(x; y) corresponde a un plano que pasa por el punto

(x0; y0; f(x0 ; y0 )). Precisamente la condicion 4 que dene diferenciabilidad
de f en (x0; y0) hace que este plano sea tangente a la supercie graco de f
en el punto (x0; y0; f(x0 ; y0)).
Ejemplo 29 Estudie la diferenciabilidad en (0; 0) de las funciones
8
< x2 y
si (x; y) 6= (0; 0)
f(x; y) =
x2 + y 2
:
0
si (x; y) = (0; 0)
8
2 2
< xy
si (x; y) 6= (0; 0)
2 + y2
g(x; y) =
x
:
0
si (x; y) = (0; 0)

Cuando corresponda, encuentre el plano tangente a la graca de la funcion

en el origen.

5.1

Teoremas sobre diferenciabilidad.

La relacion entre diferenciabilidad y continuidad esta determinada en el siguiente teorema.

Teorema 30 F diferenciable en X0 ) F continua en X0:
Dem.- Se sigue del hecho que toda aplicacion lineal L es una funcion
continua, es decir lim L(X) = L(X0 ), y ademas F (X) F (X0) = F (X)
X!X0

13

F (X0)L(XX0)+L(X X0): Luego, kF (X) F (X0)k kF (X ) F (X0) L(X X0)k+

kL(X ) L(X0)k
(5) implica que lim kF (X) F (X0) L(X X0)k = 0 y por lo tanto
X!X0

lim F (X) = F (X0)

X!X0

En forma practica el Teorema se usa aplicando su contrareciproco: F no

continua en X0 ) F no diferenciable en X0:

14