Tema 3

Derivadas Parciales y Derivadas Direccionales

En este tema y en el siguiente presentaremos los conceptos fundamentales del Clculo a Diferencial para funciones de varias variables. Comenzaremos con las deniciones y clculos de las derivadas parciales y direca cionales, presentndose el concepto de diferenciabilidad, ms complejo que el correspona a diente al Clculo en una variable real, en el tema prximo. a o

3.1

Derivadas Parciales

Presentaremos en primer lugar la denicin de derivadas parciales para una funcin o o escalar de dos variables. Sea f (x, y) una funcin escalar de dos variables reales denida al menos en un entorno o del punto (x0 , y0 ). Se dene la derivada parcial de f (x, y) con respecto a x en el punto (x0 , y0 ) como el siguiente l mite (si existe): f f (x0 + h, y0 ) f (x0 , y0 ) (x0 , y0 ) = lim h0 x h De manera anloga, deniremos la derivada parcial con respecto a y: a f (x0 , y0 + h) f (x0 , y0 ) f (x0 , y0 ) = lim h0 y h De estas deniciones se deduce fcilmente que el clculo efectivo de una derivada parcial a a con respecto a a una variable es idntico al de las derivadas ordinarias, sin ms que e a considerar el resto de las variables involucradas como constantes. Desde el punto de vista geomtrico, y teniendo en cuenta que la grca de una funcin e a o f (x, y) se visualiza como la supercie de ecuacin: z = f (x, y), las derivadas parciales f o x 19

20

CALCULO / INGENIERO GEOLOGO / TEMA 3

y f en (x0 , y0 ) representan las pendientes de las rectas tangentes a las curvas interseccin o y entre dicha supercie y los planos y = y0 y x = x0 , respectivamente, en el punto (x0 , y0 , z0 ), siendo z0 = f (x0 , y0 ). De esta manera, si las derivadas parciales existen en el punto, la ecuacin del plano o 1 ser tangente a: z = z0 + f f (x0 , y0 )(x x0 ) + (x0 , y0 ) (y y0 ) x y
y y0

f x,y

x x0 y x

Figura 1: (izquierda) Curvas sobre la supercie z = f (x, y), obtenidas al cortarla con los planos x = x0 e y = y0 . (derecha) Plano tangente a la supercie en el punto (x0 , y0 , f (x0 , y0 )).

Como vemos, la derivabilidad de una funcin f (x, y) se va a relacionar de manera o directa con la existencia y correcto comportamiento del plano tangente a su grca. a Resulta evidente, en cualquier caso, que para supercies del tipo a las presentadas en la siguiente gura (con picos, o dobleces, el plano tangente no estar bien denido). a

Generalicemos la denicin de derivada parcial al caso de n variables: o Denicin: Sea f (x), f : Rn R, una funcin escalar de n variables reales, x = o o 2 de x Rn . Se dene la derivada parcial (x1 , . . . , xn ), denida al menos en un entorno 0 de f con respecto a xj en x0 como el l mite (si existe):
Suponiendo que dicho plano existe y que est bien denido, lo cual no siempre es cierto, aunque las e derivadas parciales s que existan. Aclararemos estas ideas en el prximo tema. o 2 Recordemos que un entorno de un punto x0 Rn es todo conjunto abierto que contenga una bola abierta centrada en x0 , es decir: U Br (x0 ), con: Br (x0 ) = {x Rn / x x0 < r }
1

 CALCULO / INGENIERO GEOLOGO / TEMA 3

21

f (x0 + huj ) f (x0 ) f (x0 ) = lim h0 xj h donde uj = (0, . . . , 0, 1, 0, . . . , 0) denota al vector j-simo de la base cannica de Rn . e o Si denotamos: x0 = (x0 , x0 , . . . , x0 ), podemos escribir, de forma expl cita: n 1 2 f (x0 , . . . , x0 + h, . . . , x0 ) f (x0 , . . . , x0 ) f n n 1 1 j (x0 ) = lim h0 xj h Una vez denida la derivada parcial en un punto, es directo denir la funcin derivada o parcial: Denicin: Sea f : Rn R denida en un conjunto abierto U de Rn , se dene la o f funcin derivada parcial respecto de la variable i-sima xi , Dxi f o fxi , como la funcin o e o f tal que a cada punto x0 U le asocia, cuando exista, el valor xi (x0 ). Ejemplo: Calculemos las derivadas parciales de f (x, y) = 2x3 y + cos(xy).
f = 6x2 y y sen xy x , f = 2x3 x sen xy y

Ejemplo: Calcular la ecuacin del plano tangente a la supercie: z = x2 + y 3 en el punto o

P (3, 1, 10). Evidentemente: f (x, y) = x2 + y 3 , y f (3, 1) = 10. z = 2x , x z = 3y 2 y ; z (3, 1) = 6 x z (3, 1) = 3 y

De esta forma, el plano tangente ser: a z = 10 + 6(x 3) + 3(y 1)

3.2

Derivadas direccionales

Teniendo en cuenta la denicin anterior, se puede considerar la posibilidad de derivar o con respecto a una direccin diferente a las de los ejes coordenados, tenemos entonces el o concepto de derivada direccional: Denicin: Sea f : Rn R denida al menos en un entorno de x0 , y sea v un vector o n tal que v = 1. Se dene entonces la derivada direccional de f en la direccin3 de R o de v en el punto x0 Domf como el l mite: Dv f (x0 ) = lim
3

f (x0 + hv) f (x0 ) h0 h

Se produce aqu un evidente abuso del lenguaje, pues lo correcto ser decir: en la direccin y a o sentido de v.

22

CALCULO / INGENIERO GEOLOGO / TEMA 3

Alternativamente, esta denicin puede escribirse de la siguiente forma, con frecuencia o ms util en los clculos: a a Dv f (x0 ) = d f (x0 + t v) dt

t=0

La equivalencia entre ambas expresiones es trivial si recordamos la denicin de derivada o ordinaria. Una vez denido el concepto de derivada direccional, poemod comprobar con facilidad que las derivadas parciales no son ms que las derivadas direccionales en la direccin de a o n . En particular, para el caso de una funcin de los vactores uj de la base cannica de R o o tres variables f (x, y, z), tendremos: f = Di f x , f = Dj f y , f = Dk f z

donde se ha denotado, como es tradicional, por {i, j, k}, a la base cannica de R3 . o Ejemplo: Encontrar la derivada direccional de la funcin f (x, y) = x2 + y + 1 en la direccin o o
1 1 de v = ( 2 , 2 ) en el punto (0, 0). Utilizando la denicin de derivada direccional como un l o mite tendremos: 1 1 f [(0, 0) + h( 2 , 2 )] f (0, 0)

Dv f (0, 0) = lim = lim

h0

h = lim
h 2
2

= 1 = 2

h h f ( 2 , 2 ) f (0, 0)

h 2

+11

h0

h0

Alternativamente, usando la denicin como una derivada ordinaria: o 1 1 t2 t d f [(0, 0) + t( , )] = + +1 2 dt 2 2 2 y as : Dv f (0, 0) = 1 t+ 2

t=0

t2 t + +1 2 2 1 = 2

1 = t+ 2

Veremos en el prximo tema cmo es posible calcular las derivadas direccionales de una tercera o o forma, ms fcil y operativa. a a

3.3

Matriz Jacobiana

Dada una funcin vectorial f : A Rn Rm , con f (x) = (f1 (x), f2 (x), ..., fm (x)), es o posible derivar parcialmente (o direccionalmente) dicha funcin en x0 si las correspono dientes funciones escalares componentes fi (i = 1, 2, ..., m) tienen derivadas parciales o direccionales en dicho punto x0 .

 CALCULO / INGENIERO GEOLOGO / TEMA 3

23

Si existen las derivadas parciales de las funciones componentes de f en el punto x0 , entonces se dene la matriz de derivadas parciales o matriz Jacobiana de f en el punto x0 de la forma siguiente: f1 f1 f1 f1 x1 (x0 ) x2 (x0 ) x3 (x0 ) xn (x0 ) f2 f f f x (x0 ) x2 (x0 ) x2 (x0 ) x2 (x0 ) fi n 1 2 3 J(f )(x0 ) = (x0 ) = xj fm fm fm fm x1 (x0 ) x2 (x0 ) x3 (x0 ) xn (x0 ) A veces se utiliza la notacin: o J(f )(x0 ) D(f )(x0 ) Finalmente, se utiliza tambin el trmino matriz Jacobiana de f para referirse a la e e funcin matricial J(f ) que asigna de manera directa la matriz J(f )(x) a cada punto o concreto x Rn . Ejemplo: Calcular la matriz Jacobiana de la funcin f (x, y, z) = (x2 + yz 2 , sen(x2 + y 2 )) en el o
punto (1, 1, 1). Las funciones componentes de esta funcin vectorial son: f1 (x, y, z) = x2 + yz 2 , f2 (x, y, z) = o sen(x2 + y 2 ), y por tanto la matriz Jacobiana de f en un punto cualquiera ser: a J(f ) = fi xj =
f1 x f2 x f1 y f2 y f1 z f2 z

2x 2x cos(x2 + y 2 )

z2 2yz 2 2 2y cos(x + y ) 0

Para el caso particular del punto (x0 , y0 , z0 ) = (1, 1, 1), tendremos: fi xj (1, 1, 1) = 2 2 cos(2) 1 2 2 cos(2) 0