Campos escalares diferenciables
Sea F: D , con D n
y sea x 0 punto interior de D
F diferenciable en x 0 si y sólo si existe una transformación lineal T : n tal que:
F ( x) F ( x0 ) T ( x x0 ) ( x x 0 ). x x 0 con lím ( x x0 ) 0
x x0
Propiedades de los campos escalares diferenciables.
Sea F: D , con D n
diferenciable en x 0 , punto interior del abierto D
Continuidad
Si F es diferenciable en x 0 entonces F es continua en x 0 .
D) F diferenciable en x 0
T : n
/ F ( x) F ( x 0 ) T ( x x 0 ) ( x x 0). x x 0
(T es transformación lineal ) con lim ( x x 0 ) 0
x x0
* lim [ F ( x) F ( x 0)] lim [ T ( x x 0 ) ( x x 0 ). x x 0 ]
x x0 x x0
n
Como las transformaciones lineales de en son funciones continuas, entonces
lim T ( x x0 ) = T ( 0 ) = 0 (por prop. de las T.L.)
x x0
Reemplazando en (* ) se tiene:
lím F( x ) F( x 0 ) 0 lím F ( x) F ( x0 )
x x0 x x0
F continua en x 0
Derivabilidad
Existencia de las derivadas parciales
Si F: D , con D n es diferenciable en x 0 entonces tienen derivadas parciales
en x 0 y la matriz asociada a la transformación lineal es el gradiente en dicho punto.
D)
F diferenciable en x 0 T : n
/ T es transformación lineal
F ( x ) F ( x 0) T ( x x 0) ( x x 0). x x 0 lim ( x x 0 ) 0 *
x x0
Sea x x0 H H h 1 ; h 2 ; h3 ;... ; h n.
Si M es la matriz asociada a la transformación lineal T en la base canónica, entonces
debe ser de dimensión 1x n:
M a11 a12 ... a1n .
Entonces: T x x 0 = M. x x 0
h1
T H = a11
a12 ... a1n
h
n
T x x 0 a11 h1 a12 h2 a1n hn
F
xk x
Para ver si existen derivadas parciales, intentaremos calcular por definición
o
n
Sea e k el k-simo versor de la base canónica de ,
F F( x 0 h k e k ) F( x 0 )
= hlím (*)
xk xo
k
0 hk
Si hacemos: x x 0 hk e k , se tiene: x x 0 h k e k x x 0 hk e k
x x0 | h k | .1
Reemplazando en * resulta
F ( x 0 h k ek ) F ( x 0) T (h k e k ) (hk e k ).| h k | lím ( h k ek ) 0
h 0
x x0 , se tiene que h k 0 . Reemplazamos en (*)
F F( x 0 h k ek ) F( x 0 ) T (h k ek ) |h |
= lím lím lím (h k ek ) k
xk x h 0 hk h 0 hk h 0 hk
0 k
infinitésimo x func acotada
Por def. de transf. lineal:
T (h k e k ) h k. T (e k )
T (h k e k ) h k.(a11 .0 a12 .0 a1k .1 ... a1n .0)
F
= lím
h. a1k
0 a1k
xk x0
h 0 h
F
a1k con k { 1, 2, ... , n}
xk x0
Entonces F tiene derivadas parciales en x 0 y la matriz asociada a la transformación
lineal es :
F F F
M=
x1 x2 xn
x0 x0 x0
T x x F x .( x x
0 0 0 )
O bien
T H F x 0 .( H )
Nota: De acuerdo con lo que se ha probado se puede afirmar que:
F diferenciable en x 0 F ( x ) F ( x 0 ) F x 0 .( x x 0 ) ( x x 0). x x 0
lím ( x x0 ) 0
x x0
de otra forma
F diferenciable en x 0 F ( x0 H ) F ( x 0 ) F x 0 .( H ) ( H ). H
lím ( H ) 0
H0
Ejercicios
1) Demostrar que f x ; y 2 x 2 3xy es diferenciable en el punto 1 ;0
2) Analizar diferenciabilidad en el origen
xy
2 si x ; y 0;0
f x; y x y
2
0 si x ; y 0;0
Actividad 1
Analizar si f x ; y 5x 2 3 y 2 es diferenciable en cualquier punto de su dominio
Existencia de derivadas direccionales
Si F: D , con D n es diferenciable en x 0 y entonces tiene derivadas
direccionales para cualquier versor v de n .
D) Como F es diferenciable en x 0 , resulta:
F ( x ) F ( x0 ) T ( x x 0 ) ( x x 0). x x 0 lim ( x x 0 ) 0
x x0
Si hacemos x x0 t.v (o bien: x x 0 t v ), se tiene que cuando x x 0 resulta
t 0, y por lo tanto:
F ( x0 t.v ) F ( x 0) T (t. v ) (t. v ). t. v lim (t. v ) 0
t 0
Teniendo en cuenta que t. v | t | . v | t | .1 y que por ser T una transformación
lineal es: T (t.v ) t.T (v )
se tiene:
F ( x 0 t.v ) F ( x 0) t T (v ) ( t. v ).| t | lim ( t. v ) 0
t 0
Si reemplazamos en (*), resulta:
F( x 0 t v ) F( x 0 )
F x 0 ; v lím
t 0 t
t.T (v ) (t. v ). | t |
F x 0 ; v lím
t 0 t
F x 0 ; v T (v )
F x 0 ; v F x 0 . v
Si F es diferenciable en un punto, en él existe la derivada direccional con respecto
a cualquier v versor de n y se puede calcular mediante la fórmula
F x 0 ; v F x 0 . v
Observación
La derivada direccional de F en x o es la proyeccción del F ( x 0 ) sobre v .
Proy v ( F ( x 0 ) F ( x 0) . v )
(proyectar un vector sobre otro significa
multiplicarlo escalarmente por el versor)
correspondiente)
Actividad 2
Sabiendo que
x2 y
si x ; y 0;0
f x ; y x4 y 2 (Función de Genochi-Peano)
0 si x ; y 0;0
a) Analizar si f es derivable en 0;0
b) Analizar diferenciabilidad en 0;0
Condición suficiente para que un campo escalar sea diferenciable
Si F: D , con D n tiene derivadas parciales continuas (o es C1) en un entorno
de X 0 , entonces F es diferenciable en X 0 .
Relación entre el gradiente y la derivada direccional
Si F: D , con D n
es diferenciable en x 0 , entonces:
F x0 ; v F x0 . v
F x 0 ; v F x 0 . v . cos
F x 0 ; v F x 0 1 . cos
F x0 ; v F x 0 . cos
Si cos 1
F x0 ; v F x 0 máx
La derivada direccional de un campo escalar diferenciable es máxima en la
dirección y sentido del vector gradiente y su valor es el del módulo del gradiente
F
en dicho punto. máx. ( x0 ) F ( x0 )
v
Si cos 1
F x0 ; v F x 0 mín
La derivada direccional de un campo escalar diferenciable es mínima en la
dirección del vector gradiente pero en sentido opuesto. Como en ese caso
cos 1 , resulta que el valor de la mínima derivada direccional en un punto
es menos el módulo del gradiente en dicho punto.
F
mín. ( x0 ) F ( x0 )
v
Si cos 0
F x0 ; v 0
La derivada direccional de un campo escalar diferenciable en un punto, es cero
en la dirección perpendicular a la del vector gradiente en dicho punto.
(Las direcciones son perpendiculares si y sólo si el producto escalar es nulo).
Gráficamente si F: D , con D 2
Diferencial total de un campo escalar
Siendo F: D , con D n y x 0 punto interior del abierto D,
Si F es diferenciable en x 0 , se cumple que:
T : n / F ( x) F ( x 0 ) T ( x x 0 ) ( x x 0 ). x x 0 lim ( x x 0 ) 0
x x0
La matriz asociada a la transformación lineal T es la matriz jacobiana de F en el punto
x0 .
Definición
Se llama diferencial total de F en x 0 a la transformación lineal T ( x x0 )
Es decir:
dF x0 T x x 0 o
dF x0 T H
dF x0 T H
h1
F F
dF x 0
F
...
x1 x2 xn
hn
Si F: D , con D 2
y x0 x0 ; y0 punto interior del abierto D
dF x0 ; y0 Fx x0 ; y0 h1 Fy x0 ; y0 h2
o bien si H h ; k
dF x0 ; y0 Fx x0 ; y0 h Fy x0 ; y0 k
x y
dx dy
dF x0 ; y0 Fx x0 ; y0 dx Fy x0 ; y0 dy
Ejercicio
Si F x ; y 3xy x 2 Hallar F y dF en el punto 1; 2 respecto de los valores
a) dx 0,01 y dx 0,02
b) dx 1 y dx 2
Comparar los valores obtenidos en cada caso
Ecuación del plano tangente a una superficie definida en forma explícita
Consideremos F: D , con D 2
diferenciable en x0 ; y0 punto interior del
conjunto abierto D.
Se denomina plano tangente a la superficie definida explícitamente por z F x ; y en
el punto P0 x0 ; y0 ; F x0 ; y0 , al lugar geométrico de las rectas tangentes a todas las
curvas a las que pertenece dicho punto y están incluidas en la superficie.
Como F tiene derivadas parciales Fx x0 ; y0 y Fy x0 ; y0 podemos hacer uso de la
interpretación geométrica de las derivadas parciales:
Fx x0 ; y0 es la pendiente de la recta tangente a la curva, intersección de la superficie
con el plano y = y0 ; análogamente sucede con Fy x0 ; y0 en el plano x x0 .
En primer lugar hallaremos la ecuación del plano determinado por dos de esas rectas.
Consideremos la curva C1 determinada por la intersección de la superficie con el plano
x x0 . Llamaremos t1 a la recta tangente a C1 en P0 .
Un vector paralelo a t1 es v1 (0 ;1; F ' y ( xo ; yo ) )
z z z
t2
t1 v1 F’y (x0;y0)
v2
F’x (x0;y0)
C2 C1
1 y 1
x
Si C2 es la curva intersección entre la
y0
superficie y el plano y y0 , y t2 es la recta
y
x0 tangente a C2 en P0 , un vector paralelo a t2
x es v2 (1; 0 ; F 'x ( x0 ; y0 ) )
La ecuación del plano que pasa por Po y es paralelo a los vectores v1 y v 2 es:
x x0 y y0 z F( x 0 ; y 0 )
0 1 F' y ( x 0 ; y 0 ) 0 , es decir:
1 0 F' x ( x 0 ; y 0 )
Fx x0 ; y0 x x0 Fy x0 ; y0 y y0 z F x0 ; y0 0
Probaremos, además que cualquier otra recta tangente en P o a una curva sobre la
superficie, está incluida en ese plano.
Sea C3 la curva intersección de la superficie con un plano que pasa por P o, es
perpendicular al plano (x,y) , tal que la traza sobre dicho plano forma un ángulo con
el semieje positivo de las x. Si t3 es la tangente a dicha curva en Po , un vector paralelo
a t3 es v3 cos i sen j F' u ( x0 ; y0 ) k
u
z
z
t3
v3
y y
c3
x
x u
Para probar que t3 está incluida en el plano determinado por t1 y t2 , debemos probar
que el producto mixto entre v1 , v 2 y v 3 es cero.
En efecto:
0 1 F' y ( x0 ; y0 )
1 0 F' x ( x0 ; y0 ) F' x ( x0 ; y0 ).cos F' y ( x0 ; y0 ).sen F' u ( x0 ; y0 ) =0
cos sen F' u ( x0 ; y0 )
pues si F(x;y) es diferenciable en x0 ; y0 , los dos primeros términos permiten calcular
la derivada direccional de F en x0 ; y0 con respecto a la dirección que forma un ángulo
con el semieje positivo de las x, por lo tanto:
(x ;y ) = 0,
F’x(x0;y0) cos + F’y(x0;y0) sen - F’ u 0 0
por lo tanto queda probado que las rectas tangentes en P o, a las curvas que están sobre la
superficie son coplanares.
En síntesis, resulta:
Ecuación del plano tangente a la superficie definida por z F x ; y , en
x ; y ; F x ; y }
0 0 0 0
z F x0 ; y0 Fx x0 ; y0 x x0 Fy x0 ; y0 y y0
Recta normal a una superficie definida en forma explícita
Si la superficie correspondiente a z F x ; y admite plano tangente en P0, entonces
definimos recta normal a la superficie en P0 a la recta perpendicular al plano tangente en
dicho punto.
la ecuación de la recta normal a la superficie definida por z F x ; y , en
(x0;y0;F(x0;y0))
r ( x0 ; y0 ; F ( x0 ; y0 )) ( F´x ( x0 ; y0 ) ; F´y ( x0 ; y0 ); 1)
de donde, si las derivadas parciales en el punto no se anulan resulta:
x x0 y y0 z F (x0 ; y 0 )
F' x (x0 ; y 0 ) F' y (x0 ; y 0 ) 1
Interpretación geométrica del diferencial
Por otra parte, observemos que el segundo miembro en la ecuación del plano tangente
es igual a la diferencial del campo.
z F x0 ; y0 Fx x0 ; y0 x x0 Fy x0 ; y0 y y0
Esto significa que el diferencial de la función en (x0;y0) representa la variación que
experimenta la “z” del plano tangente a la superficie representativa de z = F(x;y) en
(x0;y0;F(x0;y0)) cuando se pasa de (x0;y0) a otro punto (x;y).
Ejemplos
1) Hallar la ecuación del plano tangente a la superficie dada por F ( x; y) 3 x 2 2 x y
en el punto 2 ; 3; F 2;3
y
2) Hallar la ecuación de la recta normal a la superficie dada por F ( x; y ) 3x 2 y 3
x
en el punto 1 ; 2; F 1 ; 2
Superficies definidas paramétricamente
Una superficie parametrizada es el conjunto imagen de un campo vectorial
continuo: : D R 2 R 3 . =Im[ D ]
u; v x u; v ; y u; v ; z u; v
Si C , es decir sus componentes tienen derivadas parciales continuas, se dice que
1
es una superficie C 1
Curvas coordenadas
Dada una superficie parametrizada u; v , se llaman curvas o líneas coordenadas a
las que se obtienen al mantener constante uno de los parámetros.
Los vectores tangentes a las curvas coordenadas, si existen, son los vectores derivados
de , es decir : 'u ux; uy; uz y 'v vx; vy; vz
Plano tangente
Consideremos una superficie C 1 dada por el campo u; v tal que 'u y 'v son
tales que su producto vectorial no es el vector nulo (es decir, no son nulos ni paralelos),
estos vectores generan el plano tangente a la superficie ( ya que éste contiene a todas
las rectas tangentes a curvas sobre la superficie). Esto significa que un vector normal al
plano tangente es perpendicular a ambos. Resulta: N 'u 'v
Resulta que la ecuación del plano tangente a la superficie , imagen de
u; v diferenciable en P0(x0;y0;z0) es:
P P0 ' u u 0 ; v 0 ' v u 0 ; v 0 0
Una superficie imagen de :A R 3 con A R 2 es regular si y sólo si C1
' u ' v 0, (u; v) A . Significa que tiene vector normal no nulo y continuo en todos
sus puntos.
Diferenciabilidad de un campo vectorial
Sea F : S m
, con S n
y sea x 0 punto interior de S.
Decimos que es F diferenciable en x 0 si y sólo si existe una transformación lineal
T : n m tal que:
F ( x) F ( x o ) T ( x x o ) ( x x o ) . x x o lím ( x x o ) 0
x xo
Propiedades
Consideremos F : S m
, con S n
y x 0 punto interior del abierto S, entonces:
a) Si F es diferenciable en x 0 , se cumple:
F es continua en x 0
F tiene derivadas parciales en x 0
F tiene derivadas direccionales en x 0 , para cualquier versor de Rn.
b) Si F tiene derivadas parciales continuas en un entorno de x 0 , F es diferenciable en x 0 .
