Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema 3
Tema 3
TEMA 3
DERIVABILIDAD
Recordemos el concepto de derivadas para funciones de una variable independiente y = f (x).
Para lo cual formamos el incremento de la funcin y = f (x +x ) - f (x )
El cociente incremental ser : y = f (x +x ) - f (x )
x
x
y
x
x=
x=+x
Figura 1
y en el limite
x 0 x
lim
lim
x 0
f( + x) - f( )
x
x z = f ( a +x ,b) - f (a ,b)
y z = f ( a ,b +y) - f (a ,b)
El primero es el incremento parcial que tiene la funcin cuando se incrementa la variable x, mientras
que la variable y permanece constante en y=b
El segundo es el incremento parcial que tiene la funcin cuando se incrementa la variable y, mientras
que la variable x permanece constante en x = a. Consideramos los cocientes incrementales.
y z
f(a, b + y) - f(a, b)
y
y
x z
f(a + x, b) - f(a , b)
x
x
Considerando el limite de estos cocientes incrementales cuando los incrementos de las variables x e y
tienden a cero tendremos :
lim
x z
x0
lim
y z
y0
x0
y0
lim
f( a + x,b) - f(a , b)
x
lim
f(a, b + y) - f(a, b)
y
Si estos limites existen, se llaman derivadas parciales de la funcin con respecto a x y con respecto a y
en el punto (a , b). Se representan de la siguiente manera :
x z
f(a + x,b)-f(a , b) f(a,b)
f(a,b)
fx(a,b) =
. x a
lim lim
x
x
x y b
x0 x x0
f(a,b + y) -f(a, b) f(a,b)
y z
f(a,b)
fy(a,b) =
. xa
lim lim
y 0 y y0
y
y
y yb
que son nmeros, ya que (a , b) es un punto fijo. Si se considera un punto genrico (x ,y) tendremos :
lim
x z
f( x + x, y) - f( x , y)
f(x, y)
lim
fx(x, y) Zx(x, y)
x 0
x
x
x
lim
y z
f(x, y + y) - f(x, y)
f(x, y)
lim
fy(x, y) = Zy(x, y)
y 0
y
y
y
x 0
y 0
f(x, y)
x
f(x, y)
como cocientes pues son smbolos que
y
En definitiva para calcular la derivada parcial de z = f (x,y) con respecto a x se considera a y como
una constante y se deriva como funcin de x solamente.
Para calcular la derivada parcial de z = f (x,y) con respecto a y se considera a x como una constante y
se deriva como funcin de y solamente.
INTERPRETACION GEOMTRICA
La ecuacin z = f (x , y) tiene como representacin grfica una superficie en el espacio x y z
Al mantener y = yo constante, mientras que x varia, la ecuacin z = f(x, yo) es la ecuacin de la curva
Ro que resulta de la interseccin de la superficie z = f (x, y) y el plano y = yo
Por lo tanto la derivada parcial de la funcin respecto de x nos representa la pendiente de la tangente a
la curva en el punto (x, yo ). Por ejemplo cuando x = xo la tangente de es igual a Zx ( xo ,yo)
Para otro valor constante de y y = y1 obtenemos otra curva R1 cuya ecuacin es z=f(x, y1) que se
obtiene como interseccin de la superficie z = f(x, y) con el plano y = y1.
Es decir al variar y se obtienen las distintas curvas que son paralelas al plano z x .
3
un punto de la misma.
DERIVADAS PARCIALES PARA FUNCIONES DE N VARIABLES.
y
f ( x1; x 2; ... xj hj; ... xn) f ( x1; x 2; ... xn)
hj
hj
hj 0
jy
hj
lim
hj 0
hj
xj
xj
Habr n derivadas parciales primeras, correspondientes a los n valores que puede tomar j.
DEFINICION: Una funcin es derivable cuando existen las derivadas parciales con
respecto a cada una de las variables independientes.
f(b)
f ( b ) f ( a)
f ( ) (Lagrange)
ba
f ( )
f(a)
o sea:
f ( a h) f ( a )
f ( a h )
h
TEOREMA
M, o sea f ( x ) M; ( x ) S
DEMOSTRACION
Demostraremos el teorema para funciones de dos variables independientes, dado que su generalizacin
es inmediata.
El incremento total de la funcin cuando x e y se incrementan en h y k, respectivamente es:
f ( x , y) f ( x h; y k ) f ( x; y)
Sumamos y restamos f(x + h , y) luego:
f f ( x h ; y k ) f ( x h ; y ) f ( x h ; y ) f ( x ; y )
(2)
El primer paso es considerar que:
f ( x h; y k ) f ( x h; y) k. fy ( x h; y . k )
f ( x h; y) f ( x; y) h. f x ( x h; y)
f y ( x h; y k ) h
f x ( x h; y)
o sea que
f 0
cuando
h 0
k 0
con lo que se demuestra que Z = f (x , y) es continua, ya que su incremento tiende a cero cuando los
incrementos de las variables independientes tienden a cero.
De este teorema se desprende que no basta con que una funcin f(x , y) sea derivable en un
recinto, para garantizar su continuidad, sino que adems es necesario que las derivadas parciales
sean acotadas en dicho recinto.
DERIVADAS PARCIALES DE ORDEN SUPERIOR
Consideramos una funcin Z=f(x;y) de la cual hemos definido las derivadas parciales de primer orden.
f ( x; y)
f ( x h ; y) f ( x; y)
lim
fx ( x; y) Zx ( x; y)
x
h
h 0
f ( x; y)
f ( x; y k ) f ( x; y)
lim
fy( x; y) Zy( x; y)
h
0
y
k
f xx ( x; y) Z xx Z x 2
2
x
x x
2 f ( x ; y)
f
f xy ( x; y) Z xy
xy
y x
2 f ( x ; y)
f ( x; y)
f yx ( x; y) Z yx
yx
x
y
2 f ( x; y) 2 f ( x , y)
f yy ( x; y) Z y 2
2
y
yy
Habr ocho derivadas terceras, correspondientes a la derivacin con respecto a x e y de las cuatro
derivadas segundas:
3f
3f
3f
3f
3f
3f
3f
3f
;
;
;
;
;
;
;
3
2
2
2
2
x
x y xy
xyx yx
y x xyx y 3
6
En general para una funcin Z = f(x , y) de dos variables independientes hay 2 r derivadas de orden r,
pero como veremos que bajo ciertas condiciones pueden haber algunas que son iguales entre s,
podemos afirmar que en general el nmero de derivadas de orden rdistintas, es menor que el citado.
Existe un teorema que determina las condiciones bajo las cuales f xy ( x; y) f yx ( x; y) ; nicamente
enunciaremos el mismo:
TEOREMA DE SCHWARTZ
Si f y ( x; y) f xy ( x; y) existen en un entorno del punto (x;y) y si f xy ( x; y) es continua en dicho
entorno, entonces f yx ( x; y) existe y es igual a f xy ( x; y)
COROLARIO DE BONET Si f xy ( x; y) f yx ( x; y) son continuas en un entorno del punto (x ,y)
entonces f xy ( x; y) f yx ( x; y) .Estas hiptesis incluyen a las de Schwartz, es decir son una
consecuencia de ellas.
DIFERENCIABILIDAD
Recordemos el concepto de diferenciablidad para funciones de una variable independiente; y = f(x).
Definicin: la funcin y = f(x) es diferenciable en un punto x si est definida en un entorno del punto x
y su incremento y = f(x +x)-f(x) se puede expresar de la siguiente manera:
y =A.x + .x = A.x + o(x) donde .x = o (x) es un infinitsimo de orden superior a x, es
decir que 0 cuando x 0 implica .x = o (x).
Se llama diferencial de la funcin a la parte lineal en x o sea dy=A.x.
A depende de x pero no de x. Veamos que representa A:
de
y =A.x + .x = (A + ) x
o sea que
y
lim (A ) lim A lim A 0
x 0 x
x 0
x 0
x 0
lim
y 0 cuando x 0 o sea
lim
x 0
y
A + en el lmite para x0 ser:
x
ya que A no depende de x
y
dy
A f (x ) y
x
dx
dy
o sea
dy f (x ) .x
lim
x 0
de donde
xf
xf
A 1 lim
lim A + lim 1 A
x 0 x
x 0
x 0
x
xf
f ( x; y)
A
f x ( x ; y ) Z x ( x ; y)
x
x
yf By 2 y (B 2 )y
B
yf
yf
B 2 lim
lim B lim 2 B
0
y0
y0
y
y
f ( x; y)
f y ( x; y) Z y ( x; y)
y
o sea:
f ( x; y)
f ( x; y)
.x
.y 1x 2 y
x
y
df ( x , y )
f ( x; y)
f ( x; y)
.x
.y
x
y
(2)
f ( x; y)
f ( x; y)
.dx
.dy Z x .dx Z y .dy f x ( x; y).dx f y ( x; y).dy
x
y
(3)
f ( x; y; z )
f ( x; y; z )
f ( x; y; z; )
;B
;C
x
y
z
df ( x , y, z )
o sea:
f ( x; y; z )
f ( x; y; z )
f ( x; y; z; )
.dx
.dy
.dz
x
y
z
f ( x )
dy
.dx i
x i
i 1
n
luego :
(4)
siendo
f ( x; y)
f ( x; y)
B
x
y
Por lo tanto al existir las derivadas parciales primeras la funcin es derivable con lo que
se demuestra la primera parte del teorema.
En (4) vemos que si x0 y0 f0 o sea que z=f(x;y) es continua en (x;y) ya
que su incremento f0 cuando tienden a cero los incrementos de las variables
independientes. Con esto queda demostrado este teorema.
El recproco de este teorema no es cierto, es decir que no basta que una funcin sea
continua y derivable en un punto, para garantizar que sea diferenciable.
A continuacin demostraremos un teorema que expresa las condiciones necesarias y
suficientes para que una funcin sea diferenciable.
Teorema 2
Si una funcin z = f(x;y) es continua y derivable y tiene sus derivadas parciales
continuas en un entorno del punto P (x;y), entonces es diferenciable en dicho punto.
Demostracin:
El incremento total de la funcin es: f ( x, y) f ( x x; y y) f ( x; y)
Si sumamos y restamos al segundo miembro f(x +x ;y) ser:
f f ( x x; y y) f ( x x; y) f ( x x; y) f ( x; y) Aplicando Lagrange
f y.f y ( x x; y .y) x.f x ( x .x; y)
fy fx
(5)
0 1
donde:
0 1
10
f [f x ( x; y) 1 ].x [f y ( x; y) 2 ].y
f f x ( x ; y ).x f y ( x ; y).y 1 .x 2 .y
pero esto ltimo nos indica que la funcin z =f(x , y) es diferenciable en P(x ,y) con lo
cual queda demostrado el teorema.
Convencin:
Llamaremos:
C0 al conjunto de funciones continuas.
C1 al conjunto de funciones cuyas derivadas primeras existen y son continuas.
C2 al conjunto de funciones cuyas derivadas segundas existen y son continuas.
C r al conjunto de funciones cuyas derivadas de orden r existen y son continuas.
Diferenciales Sucesivas
Consideremos el caso de funciones de dos variables :
df f x ( x; y).dx f y ( x; y).dy en la cual d f depende de x; y; dx; d y .
Si damos valores fijos a dx y dy la diferencial depender nicamente de x e y, y
considerada como una funcin de estas dos variables, podr tener a su vez una
diferencial que llamaremos diferencial segunda, la que indicamos por d 2 f d[df ]
Podemos extender estos conceptos a funciones de 2 variables, para el caso de
diferenciales de orden n, lo que indicaremos por:
d 3 f d[d 2 f ] d[d (df )]; d 4 f d[d 3 f ]......d n f d[d n 1f ]
.dx
.dy
x
y
2
2
2
.dx
.dy) 2
.dx 2 2
.dx.dy
.dy 2
2
x
y
x
xy
y 2
f ( x; y)
f ( x; y)
.dx
.dy).f ( x; y)
.dx
.dy
x
y
x
y
11
2
2
2
2
.dx
.dy ) 2 . f ( x; y )
.
dx
2
.
dx
.
dy
.dy 2
x
y
xy
x 2
y 2
3
3
3
3
.dx
.dy)3 .f ( x; y)
.dx 3 3
.dx 2 .dy 3
.dx.dy 2
.dy 3
3
2
2
x
y
x
x y
xy
y 3
En general si
ser:
f ( x; y) C k
dkf (
.dx
.dy ) k .f ( x ; y)
x
y
Sea
d
la
du
f
f
f
.dx
.dy
.dz
x
y
z
.dx
.dy
.dz
x
y
z
Suponiendo u C k ser:
dku (
.dx
.dy
.dz ) k .f ( x ; y; z )
x
y
z
y=f(x1;x2;.....;xn)
. dx1
. dx 2 ....
. dx n )
. dx i
x1
x 2
x n
i 1 x i
Si f(x1;x2;.....;xn) Ck ser:
n
d k f ( x ) [
i 1
.dx i ]k .f ( x1 ; x 2 ;...; x n )
x i
DERIVADA DIRECCIONAL
Consideremos en primer trmino el caso de una funcin Z=f(x;y) de dos variables
independientes.
Hemos definido las derivadas de f(x;y) en un punto (x 0;y0) cuando el punto (x;y) tiende
a (x0;y0) paralelamente al eje x.
12
f ( x 0 ; y 0 )
f ( x 0 x; y 0 ) f ( x 0 ; y 0 )
lim
x 0
x
x
0
y
y
13
f
lim [f x cos 1 f y cos 2 1 . cos 1 2 . cos 2 ]
en el lm 0: lim
0
0
luego:
f f
f x cos 1 f y cos 2
en
(x0;y0)
f ( x 0 ; y 0 )
f x ( x 0 ; y 0 ) cos 1 f y cos 2
Demostraremos que las derivadas parciales de f(x;y) respecto de x e y son casos particulares de las
f x ( x 0 ; y 0 ). cos 0 f y ( x 0 ; y 0 ). cos
x
2
f ( x 0 ; y 0 ) f ( x 0 ; y 0 )
f x ( x 0 ; y 0 ).1 f y ( x 0 ; y 0 ).0 f x ( x 0 ; y 0 )
Haciendo 1
ser 2=0 luego:
2
f ( x 0 ; y 0 ) f ( x 0 ; y 0 )
f x ( x 0 ; y 0 ).0 f y ( x 0 ; y 0 ).1 f y ( x 0 ; y 0 )
Para n variables:
y f
f
f
f
. cos 1
. cos 2 .....
. cos n
x 1
x 2
x n
n
y
f
. cos i
i 1 x i
La condicin necesaria y suficiente para que la superficie z=f(x;y) admita plano tangente en un
punto es que sea diferenciable en ese punto.
2) La expresin analtica de la diferencial en el punto se convierte en la ecuacin incremental
z z 0 f x ( x 0; y 0 ).( x x 0 ) f y ( x 0; y 0 ).( y y 0 ) del plano tangente sustituyendo
las diferenciales por los incrementos.
3) El plano tangente, contiene las rectas tangentes a todas las curvas planas o alabeadas de la
superficie que pasen por el punto considerado y admitan tangente en l.
H2 . T2
H .T
Tg() 2 2 H2.T2 Tg(). dy
P. H2
dy
H 1 .T1
H .T
Tg ().dx 1 1 H 1 .T1 Tg().dx
H 1 .P
dx
HM
luego
H 2 . T2 Tg(). dy
HM = H2T2 + H1T1
f ( x 0 ; y 0 )
. dy
y
H1T1 Tg ( ).dx
f ( x 0 ; y 0 )
.dx
x
f ( x 0 ; y 0 )
f ( x 0 y 0 )
.dx
.dy dz
x
y
15
16