Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema3 PDF
Tema3 PDF
DERIVABILIDAD
x
x= x=+x
Figura 1
y f( + x) - f( )
lim lim
x 0 x x
y en el limite
x 0
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
1
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.
Considerando el limite de estos cocientes incrementales cuando los incrementos de las variables x e y
tienden a cero tendremos :
x z f(a + x, b) - f(a , b)
lim lim
x0 x x0 x
y z f(a, b + y) - f(a, b)
lim lim
y0 y y0 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 :
que son nmeros, ya que (a , b) es un punto fijo. Si se considera un punto genrico (x ,y) tendremos :
x z f( x + x, y) - f( x, y) f(x, y)
lim lim fx(x, y) Zx(x, y)
x 0 x x 0 x x
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.
2
INTERPRETACION GEOMTRICA
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
La interpretacin geomtrica de la derivada parcial con respecto a y, es la misma que en el caso
anterior, donde las curvas que se obtienen son las intersecciones de la superficie z = f (x , y) con los
puntos x = Cte.
jy
f ( x1; x2;... xj hj;... xn) f ( x1; x2;... xn) y f ( x)
lim lim
hj 0 hj hj0 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.
4
RELACION ENTRE LA DERIVABILIDAD Y LA CONTINUIDAD
Demostraremos un teorema que relaciona la continuidad de una funcin con su derivabilidad. Para
demostrarlo, es conveniente recordar el teorema del valor medio o de Lagrange o del incremento
finito, para funciones de una variable.
interior , /
f (b) f ( a) f(b)
f () (Lagrange)
ba
f ( )
f(a)
)
a b
f (a h) f (a)
f (a h) con 0 < < 1 ya que est comprendido entre a y b.
h
TEOREMA
Si la funcin y f (x) es derivable en un recinto S y adems las f xi ( x ) derivadas parciales
primeras son acotadas en S, entonces y f ( x ) es continua en S.
Aclaracin : Una funcin y f ( x ) es acotada en un recinto S, cuando es posible hallar un nmero
M no nulo y finito, tal que el valor absoluto de la funcin se mantenga en ese recinto, siempre menor
que 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:
5
Reemplazando estas ecuaciones en (2) se tiene :
f k f (x h, y k) hf (x ' h; y) {con 0 1
y x 0 ' 1
o sea, considerando valor absoluto:
f k fy ( x h; y k ) h fx ( x h; y)
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.
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 0 h
f ( x; y) f ( x; y k ) f ( x ; y )
lim fy ( x; y) Zy( x; y)
y h 0 k
que son en general nuevas funciones de x , y.
Si estas funciones admiten a su vez derivadas, las nuevas funciones as definidas se llaman
DERIVADAS SEGUNDAS de f(x , y); las derivadas de las derivadas segundas se llaman derivadas
terceras de f(x , y) ;etc. Dada la funcin Z = f(x , y) tenemos cuatro derivadas parciales segundas:
2 f ( x ; y) f
f x x ( x ; y) Z x x Z x 2
x 2
x x
2 f ( x; y) f
f x y ( x; y) Z x y
xy y x
2 f ( x; y) f ( x; y)
f y x ( x; y) Z y x
yx x y
2 f ( x; y) 2 f ( x , y)
f y y ( x; y) Z y 2
y 2 yy
6
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
; ; ; ; ; ; ;
x 3 x 2 y xy 2 xyx yx 2 y 2 x xyx y 3
r
En general para una funcin Z = f(x , y) de dos variables independientes hay 2 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.
7
DIFERENCIABILIDAD
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:
y
de y =A.x + .x = (A + ) x o sea que A + en el lmite para x0 ser:
x
y
lim lim (A ) lim A lim A 0 ya que A no depende de x
x 0 x x 0 x 0 x 0
y dy
y 0 cuando x 0 o sea lim
x 0 x
A f (x ) y o sea dy f (x ) .x
dx
8
xf f ( x; y)
lim A f x ( x; y ) Z x ( x ; y )
x 0 x x
Hacemos ahora x = 0 con lo cual obtenemos el incremento parcial de la funcin
cuando se incrementa la variable y, es decir:
yf By 2 y (B 2 )y
y f y f
B 2 lim lim B lim 2 B o sea:
y y0 y y0 y0
f ( x; y)
B f y ( x; y) Z y ( x; y) reemplazando los valores en (1) tendremos:
y
f ( x; y) f ( x; y)
f .x .y 1x 2 y
x y
f ( x; y) f ( x; y)
df ( x , y) .x .y (2)
x y
f ( x; y) f ( x; y)
df ( x, y) .dx .dy Z x .dx Z y .dy f x ( x; y).dx f y ( x; y).dy (3)
x y
Definicin:
9
f ( x; y; z) f ( x; y; z) f ( x; y; z; )
Se demuestra que A ;B ;C o sea:
x y z
f ( x; y; z) f ( x; y; z) f ( x; y; z; )
df ( x, y, z) .dx .dy .dz
x y z
10
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) (5) donde: 0 1
0 1
Pero por hiptesis f y f x son continuas en x ;y por lo tanto se puede escribir:
f y (x x; y .y) f y (x; y) 2 con 20 si y0
f x (x .x; y) f x ( x; y) 1 con 10 si x0 reemplazando en (5) ser:
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.
Diferenciales Sucesivas
11
d 2 f ( x , y) d[df ( x , y)] d[f x ( x; y).dx f y ( x; y).dy]
d[f x ( x; y).dx ] d[f y ( x; y).dy]
x y x x y xy2 y
En general si f ( x; y) C ser:
k
dkf ( .dx .dy) k .f ( x; y)
x y
12
Para Funciones de Tres Variables.
f f f
Sea u f (x; y; z) la du .dx .dy .dz el operador diferenciacin ser:
x y z
d .dx .dy .dz
x y z
Suponiendo u C ser:
k
dku ( .dx .dy .dz) k .f ( x; y; z)
x y z
Para n variables ser: y=f(x1;x2;.....;xn)
n
d( . 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 f ( x ) [
k
.dx i ]k .f ( x1 ; x 2 ;...; x n )
i 1 x i
DERIVADA DIRECCIONAL
f ( x 0 ; y 0 ) f ( x 0 x; y 0 ) f ( x 0 ; y 0 )
lim
x x 0 x
f ( x 0 ; y 0 ) f ( x; y 0 y) f ( x 0 ; y 0 )
lim
y y 0 y
13
f f x ( x 0 ; y 0 ).x f y ( x 0 ; y 0 ).y 1.x 2 .y
f x y x y
f x ( x 0 ; y 0 ). f y ( x 0 ; y 0 ). 1 . 2 .
x y
pero cos 1 ; cos 2
f
luego: f x ( x 0 ; y 0 ). cos 1 f y ( x 0 ; y 0 ). cos 2 1 . cos 1 2 . cos 2
f
en el lm 0: lim lim [f x cos 1 f y cos 2 1 . cos 1 2 . cos 2 ]
0 0
14
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
derivadas direccionales. En efecto si 1 =0 ser 2 luego:
2
f ( x 0 ; y 0 ) f ( x 0 ; y 0 )
f x ( x 0 ; y 0 ). cos 0 o 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 )
x
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 )
x
y f f f f
. cos 1 . cos 2 . . . . . . cos n
x 1 x 2 x n
y n
f
. cos i
i 1 x i
z z 0 f x ( x 0; y 0 ).(x x 0 ) f y ( x 0; y 0 ).( y y 0 )
Geomtricamente se caracteriza por el hecho que en el entorno de (x0;y0) las ordenadas de z de dicho
plano difieren de las de la superficie en un infinitsimo de orden superior a x 2 y 2 .
1) 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
15
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 f ( x 0 ; y 0 )
Tg() 2 2 H2. T2 Tg(). dy H 2 . T2 Tg(). dy . dy
P. H2 dy y
H 1 .T1 H .T f ( x 0 ; y0 )
Tg().dx 1 1 H 1 .T1 Tg().dx H1T1 Tg().dx .dx
H 1 .P dx x
f ( x 0 ; y0 ) f ( x 0 y 0 )
HM .dx .dy dz
x y
16