Beruflich Dokumente
Kultur Dokumente
0
( ) ( )
lim
j
h
f x he f x
h
Si el lmite existe, se llama DERIVADA PARCIAL de
f
respecto de
j
x
.
Instituto de
Matemtica Universidad Austral de
Chile
En particular:
-Para
2
2
: f D
( )
( ) ( )
0
, ,
, lim
o o o o
o o
h
f x h y f x y
f
x y
x h
( )
( ) ( )
0
, ,
, lim
o o o o
o o
h
f x y h f x y
f
x y
y h
2.1 Derivadas Parciales. Diferenciabilidad
3
Instituto de
Matemtica Universidad Austral de
Chile
-Para
3
3
: f D
( )
( ) ( )
0
, , , ,
, , lim
o o o o o o
o o o
h
f x h y z f x y z
f
x y z
x h
Anlogo para
( )
, ,
o o o
f
x y z
y
,
( )
, ,
o o o
f
x y z
z
Notaciones:
1 x x
f z
f f z
x x
2 y y
f z
f f z
y y
Para :
n m
F A
1 2
( , ,..., )
m
F F F F
Se puede calcular:
, 1,..., ;
i
j
F
i m
x
1,..., . j n
Observaciones:
En general, para calcular
i
f
x
, se deriva
f
respecto de
i
x
considerando constantes las otras variables.
2.1 Derivadas Parciales. Diferenciabilidad
4
Instituto de
Matemtica Universidad Austral de
Chile
Interpretacin Geomtrica para n=2:
( , )
o o
f
x y
x
1
3
0 0
(0, ) (0, 0) 0 0
(0, 0) lim lim 0
h h
f f h f h
y h h
2.1 Derivadas Parciales. Diferenciabilidad
6
Instituto de
Matemtica Universidad Austral de
Chile
g
tiene derivada en 0,pues:
( ) (1,1) g x
As:
(0) (1,1) g
Pero:
f g
no tiene derivada en 0, pues:
( )
( ) ( )
0
( ) (0)
(0) lim
h
f g h f g
f g
h
2
3
0
0
lim
h
h
h
1
0
3
1
lim
h
h
NO EXISTE.
2.1 Derivadas Parciales. Diferenciabilidad
7
Instituto de
Matemtica Universidad Austral de
Chile
-As la diferenciabilidad de una funcin de varias variables no es equivalente a la existencia de
las derivadas parciales.
-Para
f
funcin de 2 variables, geomtricamente
f
ser DIFERENCIABLE en
( )
,
o o
x y
si
existe PLANO TANGENTE al grfico de
f
en el punto
( )
, , ( , )
o o o o
x y f x y
y esto ocurre si
f
es suave en ese punto, o sea su grfico no tiene vrtices, puntos, aristas, etc., all.
-Obtengamos intuitivamente la ecuacin del plano tangente a
( , ) z f x y
en
( , )
o o
x y
.
Sea
z ax by c + +
la ecuacin del plano tangente.
Para las trazas
o
x x ,
o
y y
las pendientes de las rectas tangentes deben ser:
( , ),
o o
f
x y
y
( )
,
o o
f
x y
x
respectivamente.
,
z
a
x
z
b
y
( , ), ( , )
o o o o
f f
a x y b x y
x y
2.1 Derivadas Parciales. Diferenciabilidad
8
Instituto de
Matemtica Universidad Austral de
Chile
Adems:
( , ) ( , )
o o o o
z x y f x y
As:
( , )
o o o o
ax by c f x y + +
( , ) ( , ) ( , )
o o o o o o o o
f f
c f x y x y x x y y
x y
As la ecuacin del plano tangente ser:
( , ) ( , ) ( , ) ( , ) ( , )
o o o o o o o o o o o o
f f f f
z x y x x y y f x y x y x x y y
x y x y
+ +
O sea:
( , ) ( , )( ) ( , )( )
o o o o o o o o
f f
z f x y x y x x x y y y
x y
+ +
2.1 Derivadas Parciales. Diferenciabilidad
9
Instituto de
Matemtica Universidad Austral de
Chile
Definicin de Diferenciabilidad en 2 Variables:
2
: , f D Dabierto,
( , )
o o
x y D
f
es DIFERENCIABLE en
( , )
o o
x y
si:
( , ),
o o
f
x y
x
( , )
o o
f
x y
y
existen y adems:
( , ) ( , )
( , ) ( , ) ( , )( ) ( , )( )
lim 0
( , ) ( , ) o o
o o o o o o o o
x y x y
o o
f f
f x y f x y x y x x x y y y
x y
x y x y
2.1 Derivadas Parciales. Diferenciabilidad
10
Instituto de
Matemtica Universidad Austral de
Chile
: ,
n m
F D Dabierto,
1
( ,..., )
m
F F F
;
Fes DIFERENCIABLE en
o x D si:
1)Existen derivadas parciales
( ), 1,...,
i
o
j
F
x i m
x
1,..., j n
2)
( ) ( ) ( )( )
lim 0
o
o o o
x x
o
F x F x DF x x x
x x
1 1 1
1 2
2 2 2
1 2
1 2
...
...
:
... ... ...
...
n
n
m m m
n
F F F
x x x
F F F
x x x donde DF
F F F
x x x
1
1
1
1
1
1
1
1
1
1
]
Diferenciabilidad paraFde
n
a
m
:
2.1 Derivadas Parciales. Diferenciabilidad
11
Instituto de
Matemtica Universidad Austral de
Chile
Se llama MATRIZ JACOBIANA de Fy es la DERIVADA deF.
(
o
x x se considera como matriz columna y
( ) ( ) o o DF x x x
es el producto de una matriz m n por otra 1 n ).
Sea
:
n
f D
, Dabierto,
f
diferenciable.
La Derivada de
f
es una matriz 1 n .
1 2
...
n
f f f
Df
x x x
1
1
]
que puede expresarse como vector de
n
.
1 2
, ,...,
n
f f f
Df
x x x
_
,
se llama VECTOR GRADIENTE de
f
y se anota:
( ) grad f
f
Gradiente:
2.1 Derivadas Parciales. Diferenciabilidad
12
Instituto de
Matemtica Universidad Austral de
Chile
Teorema:
:
n m
F D
1) Fdiferenciable en
o x F continua en
o x .
2) Existen todas las derivadas parciales de Fy son continuas en
o x
F es diferenciable en
o x .
Observaciones:
1) Los recprocos no son verdaderos.
2) Una funcin que tiene derivadas parciales continuas se dice de clase
1
C .
3) Se cumple la siguiente relacin:
Derivadas
Parciales
Continuas
Diferenciable
Existen
Derivadas
Parciales
Teorema (2)
Definicin
2.1 Derivadas Parciales. Diferenciabilidad
13
Instituto de
Matemtica Universidad Austral de
Chile
Ejemplos:
1)
2
: f
1, 0 0
( , )
0, en otro caso
x y
f x y
'
0
( , 0) (0, 0)
(0, 0) lim 0
h
f f h f
x h
0
(0, ) (0, 0)
(0, 0) lim 0
h
f f h f
y h
f
no es continua en
( )
0, 0
pues:
1.
( )
0, 0 1 f
2.
( , ) (0,0)
lim ( , )
x y
f x y
+
'
0 0
( , 0) (0, 0) 0 0
(0, 0) lim lim 0
h h
f f h f
x h h
0 0
(0, ) (0, 0) 0 0
(0, 0) lim lim 0
h h
f f h f
y h h
2.1 Derivadas Parciales. Diferenciabilidad
15
Instituto de
Matemtica Universidad Austral de
Chile
f
x
no es continua en
( )
0, 0
pues:
3
3
2 2
, ( , ) (0, 0)
( , )
0, ( , ) (0, 0)
y
x y
f
x y
x y
x
x y
' +
3
3
( , ) (0,0) ( , ) (0,0)
2 2
lim ( , ) lim
x y x y
f y
x y
x
x y
+
NO EXISTE
2.1 Derivadas Parciales. Diferenciabilidad
16
Instituto de
Matemtica Universidad Austral de
Chile
En este ejemplo se ve que la existencia de las derivadas parciales en un punto no asegura
la continuidad de stas.
(Pues para la trayectoria:
0 y
resulta
( )
3
0
2
0
lim 0
x
x
Y para la trayectoria 0 x resulta
3
3
0
lim
y
y
y
( , ) ( , , ) g x y u v w
( , , ) s f u v w
2
: f g D
( )( ) ( ( )) ( ) o
o o
D f g x Df g x Dg x
, ,
u u
x y
f f f v v
u v w x y
w w
x y
1
1
1
1 _
1
,
1
1
1
]
f u f v f w f u f v f w
u x v x w x u y v y w y
1
+ + + +
1
]
s s
x y
1
1
]
2.2 Regla de la Cadena. Derivadas
Direccionales
20
Instituto de
Matemtica Universidad Austral de
Chile
Diagrama:
s s u s v s w
x u x v x w x
s s u s v s w
y u y v y w y
+ +
+ +
(En este caso, tambin se cumple que para calcular la derivada parcial de s respecto a
una variable
(x
) y
se sigui los 3 caminos que van desde s a la variable
(x
) y
).
Derivadas Direccionales:
:
n
f D
, ,
n
o
x D v , Dabierto.
La Derivada Direccional de
f
en
o x en la direccin del vector ves:
0
( ) ( )
( ) lim
o o
o
v
h
f x hv f x
D f x
h
2.2 Regla de la Cadena. Derivadas
Direccionales
21
Instituto de
Matemtica Universidad Austral de
Chile
(Obs.: Generalmente se considera vvector unitario, o sea
1 v
.Si vno es unitario,
se normaliza dividiendo por el mdulo:
v
v
).
Interpretacin Geomtrica para n=2:
-
( , )
o o
v
D f x y
es la pendiente de la recta tangente a la curva que es traza de la
superficie con un plano vertical que pasa por
( , )
o o
x y
en direccin paralela a v.
-
( , )
o o
v
D f x y
es la razn de cambio de los valores de
f
a lo largo de la recta que pasa
por
( , )
o o
x y
y tiene la direccin v.
2.2 Regla de la Cadena. Derivadas
Direccionales
22
Instituto de
Matemtica Universidad Austral de
Chile
Derivadas Direccionales y Gradiente:
Segn la definicin tenemos que:
0
( ) ( ) o o
v
t
d
D f x f x tv
dt
+
(Pues de acuerdo a la definicin de una funcin real de una variable,
0
0
( ) ( )
( ) lim
o o
o
h
t
d f x tv f x
f x tv
dt h
+
+
As para n=3
Si
3
: g
,
( ) o g t x tv +
Entonces
( ) ( )( ) o f x tv f g t +
Luego:
0
( ) ( ) o o
v
t
df
D f x x tv
dt
+
( )(0)
d
f g
dt
( (0)) (0) Df g Dg
( ) o f x v
As:
( ) ( ) o o
v
D f x f x v
(Anlogo para n=2)
2.2 Regla de la Cadena. Derivadas
Direccionales
23
Instituto de
Matemtica Universidad Austral de
Chile
Direccin de Mximo Crecimiento (Para n=2):
( ) ( ) o o
v
D f x f x v
( ) cos o f x v
, ( ngulo entre
( ) o f x
y v ).
( ) cos o f x
, (Pues
1 v
).
As
( ) o
v
D f x
tendr valor mximo si cos 1 o sea si 0 , es decir si
( ) o f x
y
vtienen la misma direccin.
Luego:
La direccin de mximo crecimiento de una funcin
f
es en la direccin de
( ) o f x
y el valor mximo es
( )
o
f x
.
2.2 Regla de la Cadena. Derivadas
Direccionales
24
Instituto de
Matemtica Universidad Austral de
Chile
El Gradiente es Normal a las Superficies de Nivel (Para n=3):
3
: f D
, Dabierto,
f
de clase
1
. C
( , , )
o o o
x y z
un punto en una superficie de
nivel : c
{ }
2
( , , ) / ( , , ) S x y z f x y z c
Entonces:
( , , )
o o o
f x y z
es normal a la superficie Sen el siguiente sentido:
Si ves el vector tangente en 0 t de una trayectoria
( ) r t
en S, tal que
(0) ( , , )
o o o
r x y z
.
Entonces:
( , , ) 0
o o o
f x y z v
2.2 Regla de la Cadena. Derivadas
Direccionales
25
Instituto de
Matemtica Universidad Austral de
Chile
Demostracin:
( ) r t
trayectoria en S ( ( )) f r t c
Sea
(0) v r
0
( ( )) 0
t
d
f r t
dt
(Pues
( ( )) f r t c
constante)
( (0)) (0) 0 f r r
( , , ) 0
o o o
f x y z v
Plano Tangente para Superficie de Nivel:
Sea S la superficie de nivel c, de una funcin de 3 variables
( , , ) f x y z
O sea:
{ }
3
( , , ) / ( , , ) S x y z f x y z c
Sea
( , , )
o o o
x y z S
2.2 Regla de la Cadena. Derivadas
Direccionales
26
Instituto de
Matemtica Universidad Austral de
Chile
(Observaciones: Antes se haba dado la ecuacin del plano tangente a una superficie que es
grfica de una funcin de 2 variables
( , ) z f x y
).
Y era:
( , ) ( , ) ( , )
o o o o o o
f x y x x y y z f x y
El plano tangente a Sen
( , , )
o o o
x y z
es:
( , , ) ( , , ) 0
o o o o o o
f x y z x x y y z z
(Si
( , , ) 0
o o o
f x y z
)
2.3 Derivadas de Orden Superior. Teorema de
Taylor
27
Instituto de
Matemtica Universidad Austral de
Chile
Derivadas de Orden Superior:
- Sea
:
n
f D
, Dabierto,
f
de clase
1
, C o sea sus derivadas parciales existen
y son continuas.
- Si las derivadas parciales de las derivadas parciales (funciones) existen y son continuas, se
dice que
f
es de clase
2
C . Anlogamente para
3
,...,
n
C C .
Se dice que
f
es de clase C
si es de clase
n
C , . n
- Derivadas de 2 orden:
2
2
f f
x x x
_
,
,
2
f f
y x y x
_
,
2
f f
x y x y
_
,
,
2
2
f f
y y y
_
,
2.3 Derivadas de Orden Superior. Teorema de
Taylor
28
Instituto de
Matemtica Universidad Austral de
Chile
(Tambin se anotan:
, , ,
xx xy yx yy
f f f f
2 2 2 2
2 2
, , ,
z z z z
x y x x y y
, , ,
xx xy yx yy
z z z z
respectivamente).
- Derivadas de 3,4,,n orden se definen en forma anloga.
(De 2 orden o superior se llaman DERIVADAS DE ORDEN SUPERIOR).
Teorema:
- Si
f
es de clase
2
C ,entonces:
2 2
f f
x y y x
2.3 Derivadas de Orden Superior. Teorema de
Taylor
29
Instituto de
Matemtica Universidad Austral de
Chile
Teorema de Taylor:
- Recordemos que para una funcin
f
de una variable con derivadas hasta orden 1 k +
el Teorema de Taylor afirma que:
2
( ) ( )
( ) ( ) ( ) ...
2! !
k
k
o o
o o o k
f x f x
f x h f x f x h h h R
k
+ + + + + +
(
k
R
resto de ordenk )
Frmula de Taylor de 1er Orden:
:
n
f D
, Dabierto,
o
x D ,
f
de clase
1
C en .
o
x
Entonces:
1
1
( ) ( ) ( )
n
o o o
i
i
i
f
f x h f x x h R
x
+ + +
(
1
R
resto de 1er orden, 1
0
lim 0
h
R
h
)
2.3 Derivadas de Orden Superior. Teorema de
Taylor
30
Instituto de
Matemtica Universidad Austral de
Chile
O sea:
1 2
1 2
de en
Diferencial de en
( ) ( ) ( ) ( ) ... ( )
o
o
o o o o o
n
n
Incremento f x
f x
f f f
f x h f x x h x h x h
x x x
+ + + +
Esta frmula permite aproximar el valor del incremento que experimenta una funcin,
haciendo uso de sus derivadas parciales.
-La diferencial de
f
se anota:
Para n=2:
f f
df dx dy
x y
+
Para n=3:
f f f
df dx dy dz
x y z
+ +
2.3 Derivadas de Orden Superior. Teorema de
Taylor
31
Instituto de
Matemtica Universidad Austral de
Chile
Frmula de Taylor de 2do Orden:
:
n
f D
, Dabierto,
o
x D ,
f
de clase
2
C en .
o
x
Entonces:
Hessiano de en
2
2
1 , 1
Diferencial de en
1
( ) ( ) ( ) ( )
2
o
o
f x
n n
o o o o
i i j
i i j
i i j
f x
f f
f x h f x x h x hh R
x x x
+ + + +
(
2
R
resto de 2do orden, 2
2
0
lim 0
h
R
h
)
2.4 Extremos de Funciones de Varias
Variables
32
Instituto de
Matemtica Universidad Austral de
Chile
Extremos de Funciones de Varias Variables:
Extremos Relativos:
:
n
f D
, Dabierto,
o x D
o x Es punto mnimo relativo de
f
si:
( ) / ( ), o o V x x V x
( ) ( ) o f x f x
( ) o f x
Se llama valor mnimo relativo de
. f
o x Es punto mximo relativo de
f
si:
( ) / ( ), o o V x x V x
( ) ( ) o f x f x
( ) o f x
Se llama valor mximo relativo de
. f
o x Es punto extremo relativo si es punto mnimo relativo o punto mximo relativo.
Observaciones:
-
( ) o V x
es vecindad del punto
o
x
- Tambin se les denomina extremos locales.
O sea:
(0) 0 g
Pero:
( ) ( ) o g t f x tv v +
As:
(0) ( ) 0 o g f x v
Como esta relacin se cumple:
2
, v
Entonces:
( ) 0 o f x
2.4 Extremos de Funciones de Varias
Variables
33
Instituto de
Matemtica Universidad Austral de
Chile
Teorema 1:
:
n
f D
, Dabierto,
f
diferenciable.
(
o
x D
, es punto extremo relativo de
f
)
( ( ) 0) o f x
Demostracin:(Para n=2)
Supongamos que
o x es punto mximo relativo. Sea vel vector no nulo cualquiera,
o x tv + es la recta que pasa por
o x con direccin v,
( ) ( ) o g t f x tv +
es una funcin real
de una variable que tiene mximo relativo en 0 t .
2.4 Extremos de Funciones de Varias
Variables
34
Instituto de
Matemtica Universidad Austral de
Chile
Observaciones:
1) De acuerdo a este teorema tenemos:
o
x es punto extremo relativo de
f ( ) 0 o f x f
no es diferenciable.
2) Puntos Crticos de
f
son los puntos x D tales que:
( ) 0 f x f
no es
diferenciable en . x Estos son los candidatos a puntos extremos relativos.
3) Un punto crtico que no es punto extremo relativo se llama punto silla.
4) Para n=2 tenemos:
( , ) , x y D ( , ) x y
es punto crtico de
. f
Si
( , ) 0 ( , ) 0
f f
x y x y
x y
_
,
(
f
no es diferenciable en
( , ) x y
).
5) Para determinar si un punto critico es punto mnimo relativos, punto mximo relativo o
punto silla, se requiere de otro teorema, que se enunciar solo para n=2.
2.4 Extremos de Funciones de Varias
Variables
35
Instituto de
Matemtica Universidad Austral de
Chile
Teorema 2:
2
: f D
, Dabierto,
f
de clase
2
C :
( )
,
o o
x y
punto crtico de
f
.
Sea:
2 2
2
2
2 2 2
2 2
2 2
2
( , ) ( , )
( , ) ( , ) ( , )
( , ) ( , )
o o o o
o o o o o o
o o o o
f f
x y x y
x y x
f f f
x y x y x y
x y x y
f f
x y x y
x y y
_
,
Entonces:
1) 0 >
2
2
( , ) 0 ( , )
o o o o
f
x y x y
x
>
<
Entonces vecindad /
n
o U x U
vecindad
/
o
V z V
y una nica funcin:
: , ( ) g U V z g x
Que satisface:
( ) o
o
g x z
y
( , ( )) 0 F x g x
2.5 Teorema de la funcin Implcita. Teorema de la funcin
Inversa
41
Instituto de
Matemtica Universidad Austral de
Chile
Ms an:
Si , x U z V satisfacen:
( , ) 0 F x z
entonces
( ) z g x
Adems
g
es de clase
1
C y sus derivadas parciales son:
, 1,...,
i
i
F
g x
i n
F
x
z
2.5 Teorema de la funcin Implcita. Teorema de la funcin
Inversa
42
Instituto de
Matemtica Universidad Austral de
Chile
Observaciones:
1) Para 2 n , el teorema afirma que una ecuacin de la forma:
( , , ) 0 F x y z
define
una funcin:
( , ) z g x y
en la vecindad de un cierto punto
( , , )
o o o
x y z
Si:
( , , ) 0
o o o
F x y z
( , ) 0
o o
F
x y
z
Y en tal caso:
F
z
x
F
x
z
,
F
z y
F
y
z
2.5 Teorema de la funcin Implcita. Teorema de la funcin
Inversa
43
Instituto de
Matemtica Universidad Austral de
Chile
2) El Teorema de la Funcin Implcita en forma general dice que:
Si tenemos un sistema:
1 1 1
2 1 1
1 1
( ,..., , ,..., ) 0
( ,..., , ,..., ) 0
...
( ,..., , ,..., ) 0
n m
n m
m n m
F x x z z
F x x z z
F x x z z
1 2
, ,...,
m
F F F
de clase
1
. C
2.5 Teorema de la funcin Implcita. Teorema de la funcin
Inversa
44
Instituto de
Matemtica Universidad Austral de
Chile
Y en tal caso las derivadas parciales de estas funciones mplicitas son:
1
1
1
1
( ,..., )
( ,..., ,..., )
( ,..., )
( ,..., ,..., )
m
j m
i
j
m
i m
F F
z x z
z
x
F F
z z z
Y se quiere despejar
1
,...,
m
z z
como funciones de
1
,...,
n
x x
, esto se puede hacer en una
vecindad de un punto
( , ) o o
x z
si:
( , )
o o
x z
Cumple el sistema.
1
1
Determinante de la matriz Jacobiana
Jacobiano
( ,..., )
( , ) 0
( ,..., )
m
o o
m
F F
x z
z z
2.5 Teorema de la funcin Implcita. Teorema de la funcin
Inversa
45
Instituto de
Matemtica Universidad Austral de
Chile
3) Casos Particulares:
n=2, m=1:
( , , ) 0 F x y z
( , , ) 0 G x y z
Se puede expresar
, y z
en funcin de x ( O sea:
( ) y f x
,
( ) z g x
) en una
vecindad de
( , , )
o o o
x y z
( , , ) 0 ( , , ) 0
o o o o o o
F x y z G x y z
( , , ) ( , , )
( , )
( , , ) 0
( , )
( , , ) ( , , )
o o o o o o
o o o
o o o o o o
F F
x y z x y z
y z
F G
x y z
G G y z
x y z x y z
y z
2.5 Teorema de la funcin Implcita. Teorema de la funcin
Inversa
46
Instituto de
Matemtica Universidad Austral de
Chile
y las derivadas de estas funciones implcitas son:
( , )
( , )
,
( , )
( , )
F G
x z dy
dx F G
y z
( , )
( , )
,
( , )
( , )
F G
y x dz
dx F G
y z
4) Una aplicacin del Teorema de la Funcin Implicita es el Teorema de la funcin Inversa.
2.5 Teorema de la funcin Implcita. Teorema de la funcin
Inversa
47
Instituto de
Matemtica Universidad Austral de
Chile
Teorema 2: (Teorema de la Funcin Inversa)
Sea : ,
n n
F U
( ); y F x
1
( ,..., )
n
F F F
1 2
, ,... :
n
n
F F F U
de clase
1
C
Si
,
o
o
x y
son solucin del sistema:
1 1 1
2 1 2
1
( ,..., )
( ,..., )
...
( ,..., )
n
n
n n n
F x x y
F x x y
F x x y
y
1
1
( ,..., )
( ) 0
( ,..., )
n
o
n
F F
x
x x
2.5 Teorema de la funcin Implcita. Teorema de la funcin
Inversa
48
Instituto de
Matemtica Universidad Austral de
Chile
Entonces el sistema se puede resolver de manera nica para
1
,...,
n
x x
o sea:
( ) x G y
para
( )
o
x U x
y
( )
o
y V y
(Ges inversa local de F)
Adems Ges de clase
1
C y las derivadas parciales de sus componentes son:
1
1
1
1
( ,..., )
( ,..., ,..., )
( ,..., )
( ,..., ,..., )
n
j n
i
n
j
i n
F F
x y x
x
F F
y
x x x
, donde
1
1 1 1
2
2 1 2
1
( ,..., )
( ,..., )
...
( ,..., )
n
n
n
n n n
F F x x y
F F x x y
F F x x y