Univ. de Alcal de Henares a Clculo. Segundo parcial.

Ingenier de Telecomunicacin a o Curso 2004-2005

Aproximacin local. Plano tangente. Derivadas parciales. o 1.

1.1.

Plano tangente
El problema de la aproximacin local en una variable o

En el primer cuatrimestre hemos trabajado con funciones de una variable y hemos aprendido mucho sobre el problema de la aproximacin local (mediante polinomios) de estas funciones. o Dada una funcin y = f (x) que es derivable en un punto x0 , entonces la recta tangente o y = f (x0 ) + f (x0 )(x x0 ) es la recta que mejor aproxima a la grca de f cuando nos acercamos a x0 . Recordemos en a qu sentido decimos que es la mejor recta: si se considera cualquier recta de la forma e y = f (x0 ) + m(x x0 ) podemos considerar la diferencia (funcin en x) (recta en x) = f (x) (f (x0 ) + m(x x0 )) o Para que la recta sea una buena aproximacin de f cerca de x0 esta diferencia tiene que hacerse o ms y ms pequea a medida que x se acerque a x0 . Para garantizar que esta cantidad es pequea a a n n la comparamos con una cantidad que de antemano sabemos que es pequea: la diferencia entre n x y x0 . Estas ideas nos llevan a considerar el cociente f (x) (f (x0 ) + m(x x0 )) (funcin en x) (recta en x) o = x x0 x x0 Para que la recta sea una buena aproximacin, el numerador de este cociente debe ser ms o a pequeo que el denominador cuando nos acercamos a x0 . Por eso imponemos esta condicin n o
xx0

l m

f (x) (f (x0 ) + m(x x0 )) =0 x x0

y nos preguntamos cul es el valor de m que hace que esto se cumpla? La respuesta la obtuvimos a en el primer parcial: si f es derivable en x0 , la unica recta que hace que el anterior l mite sea 0 es la recta tangente, cuya pendiente es m = f (x0 ).

1.2.

Generalizacin a funciones de dos variables o

Ahora trataremos de generalizar la discusin anterior al caso de funciones de dos variables. o Por el camino nos encontraremos con varias dicultades que van a marcar el trabajo que hay que desarrollar en esta y en las sucesivas secciones. 1

Tenemos una funcin z = f (x, y), que puede ser bastante complicada, y queremos aproxio marla mediante una frmula muy sencilla, de manera que esa aproximacin sea muy buena cerca o o de un cierto punto dado (x0 , y0 ). Llamemos z0 = f (x0 , y0 ). En el apartado anterior utilizbamos una recta para aproximar una curva. Eso signica que a para aproximar una funcin y = f (x) cerca de x0 buscbamos rectas de la forma o a y = f (x0 ) + k(x x0 ) Y se trataba de escoger el valor de k que produce la recta que ms se parece a f cerca de x0 . Pues a bien, si tenemos una funcin de dos variables z = f (x, y), lo natural es buscar una aproximacin o o de la forma: z = f (x0 , y0 ) + A(x x0 ) + B(y y0 ) Esta ecuacin describe a un plano que pasa por el punto (x0 , y0 , f (x0 , y0 )), y que cambia su o inclinacin segn los valores de A y B. La siguiente gura muestra tres planos que pasan por o u un punto de la grca, para distintos valores de A y B. Como puede verse, hay uno entre ellos a que se aproxima a la grca cerca de ese punto mucho ms que los otros dos. a a

Parece natural por tanto buscar un plano tangente como sustituto de la recta tangente cuando pasamos a funciones de dos variables. Y para garantizar que ese plano tangente es una buena aproximacin tenemos que pedir que la diferencia entre la funcin y el plano sea pequea. o o n Pequea comparada con qu? Vamos a usar el plano para aproximar a la funcin f en un n e o punto (x, y) que est muy cerca de (x0 , y0 ). As que suponemos que (x, y) y (x0 , y0 ) no son muy a distintos, con lo que la diferencia entre ellos es una cantidad pequea. Parece natural entonces n expresar lo que queremos conseguir mediante el cociente: funcin (plano tangente) o diferencia entre (x, y) y (x0 , y0 ) 2

El primer problema con esta frmula es que (x, y) y (x0 , y0 ) son puntos del plano, y la diferencia o entre ellos es un vector, no un nmero. As que no podemos usar directamente esa diferencia u para el cociente, porque no sabemos dividir por un vector! Pero es fcil ver cul es la solucin: si a a o la diferencia entre los dos puntos es pequea, la distancia (que es el mdulo del vector diferencia) n o tambin debe ser pequea y viceversa. As que el cociente que escribimos es e n funcin (plano tangente) o distancia entre (x, y) y (x0 , y0 ) El denominador se puede escribir ahora as : distancia entre (x, y) y (x0 , y0 ) = Con lo que nalmente vemos que: funcin (plano tangente) o f (x, y) (f (x0 , y0 ) + A(x x0 ) + B(y y0 )) = distancia entre (x, y) y (x0 , y0 ) (x x0 )2 + (y y0 )2 Si este cociente tiende a 0 cuando (x, y) se acerca a (x0 , y0 ), eso signicar que el plano z = a f (x0 , y0 ) + A(x x0 ) + B(y y0 ) es una buena aproximacin a f cerca de (x0 , y0 ). Y por tanto o ser razonable decir que ese plano es el plano tangente a f en (x0 , y0 ). a El resumen de la discusin anterior es esta denicin provisional: o o Denicin 1.1 (Provisional: funcin diferenciable en un punto). Si existen unos nmeros o o u A y B tales que l m f (x, y) (f (x0 , y0 ) + A(x x0 ) + B(y y0 )) (x x0 )2 + (y y0 )2 =0 (1) (x x0 )2 + (y y0 )2

(x,y)(x0 ,y0 )

entonces diremos que el plano z = f (x0 , y0 ) + A(x x0 ) + B(y y0 ) es el plano tangente a la grca de f en (x0 , y0 ), y que la funcin es diferenciable en (x0 , y0 ). a o Naturalmente, todo depende de los nmeros A y B que controlan la inclinacin del plano. u o Si el plano est mal colocado, no podemos esperar que produzca una buena aproximacin. a o Esta denicin provisional plantea varios problemas, a los que vamos a atender en sta y en o e las prximas lecciones del curso. o 1. En la denicin aparece el l o mite de una funcin de dos variables. Tendremos que analizar o estos l mites y descubrir en qu se parecen y en que dieren de los l e mites de funciones de una variable. Volveremos sobre esta cuestin en breve. o 2. La segunda pregunta que nos debemos hacer es evidente: cmo se deben escoger los o nmeros A y B para que el plano que denen sea realmente el plano tangente? Vamos a u empezar por responder a esta pregunta en el siguiente apartado. 3. Finalmente, una vez que tengamos un plano candidato, y entendamos lo que quieren decir los l mites, nos ocuparemos de la pregunta pendiente: ese plano, una vez hallado, es realmente una buena aproximacin a la funcin? Esta cuestin nos conducir a la denicin o o o a o formal de diferenciabilidad.

2.
2.1.

Derivadas parciales
Introduccin geomtrica o e

Empezamos por la segunda de estas preguntas: cmo se deben escoger los nmeros A y B o u para que el plano z = f (x0 , y0 ) + A(x x0 ) + B(y y0 ) que denen sea un buen candidato a plano tangente? Para entender la respuesta a esta pregunta vamos a combinar las ideas que acabamos de ver con el estudio de las secciones con planos verticales. La aproximacin mediante un plano que estamos tratando de lograr se puede expresar as o : f (x, y) f (x0 , y0 ) + A(x x0 ) + B(y y0 ) cuando (x, y) est cerca de (x0 , y0 ) a En lugar de estudiar esta aproximacin para un punto (x, y) cualquiera, lo que ser tal vez o a demasiado complicado, podemos tratar de entenderla mejor estudiando un caso particular. Sustituiremos en esta aproximacin (x, y) por un punto de la forma (x, y0 ). Es decir, que dejamos o ja la coordenada y. Est claro que si x se acerca a x0 , el punto de la forma (x, y0 ) se acerca al a punto (x0 , y0 ). La ventaja de hacer sto es que, al jar la variable y, en lugar de estudiar una frmula con e o dos variables libre pasamos a estudiar una frmula con slo una variable libre, la x. o o Ejemplo 2.1. Vamos a tratar de encontrar el plano tangente a la grca de la funcin a o z = f (x, y) = 8 x2 y 2 en el punto (x0 , y0 , z0 ) = (1, 2, 3). Obsrvese que z0 = 3 = f (1, 2), de manera que (x0 , y0 ) = e (1, 2). Ese plano que buscamos ser por tanto de la forma: a z = f (x0 , y0 ) + A(x x0 ) + B(y y0 ) = 3 + A(x 1) + B(y 2) Para tratar de encontrar el nmero A sustituimos, como hab u amos dicho, y por y0 = 2: hacemos la sustitucin tanto en el plano como en la frmula z = f (x, y). Al sustituir en el plano, el o o trmino que contiene a B se anula y se obtiene: e zplano = 3 + A(x 1) Obsrvese que la frmula que hemos obtenido para zplano es un polinomio de primer grado en e o x. Es decir, que si pensamos en las variables x, z esto es la ecuacin de una recta. o Por otro lado, al sustituir en z = f (x, y) se obtiene: zfuncin = f (x, 2) = 8 x2 22 = 4 x2 o La frmula que hemos obtenido depende slo de la variable x. Para referirnos a esta frmula o o o vamos a ponerle un nombre zfuncin = f2 (x) = f (x, 2) = 4 x2 o Para acercarnos al punto (x0 , y0 ) debemos pensar que en estas frmulas el valor de x est muy o a cerca de 1. Y el problema de aproximacin queda planteado as cmo hay que escoger A para o : o que zplano se parezca mucho a zfuncin = f1 (x) cuando x est cerca de 1. a o 4

Este problema ya est resuelto: es el problema de aproximacin para funciones de una variable a o que hemos tratado al comienzo de esta seccin. Y la respuesta est clara: el valor A es la derivada o a 2 en el punto x = 1. Es decir: de la funcin f1 (x) = 4 x o f2 (1) = 2 Este es el valor que proponemos, de forma natural para A. De la misma forma, el valor para B se obtiene sustituyendo x por x0 = 1, tanto en la ecuacin del plano como en la de la funcin o o z = f (x, y), para luego aproximar y a y0 = 2. Al sustituir en el plano se obtiene zplano = 3 + B(y 2) que describe una recta cuando se piensa en las variables x e y. Si sustituimos x por 1 en la funcin se obtiene ahora: o zfuncin = f1 (y) = f (1, y) = 8 12 y 2 = 7 y 2 o Y lo que tenemos que hacer es seleccionar el valor de B para que la recta z = 3 + B(y 2) sea la recta que mejor aproxima a f1 (y) = f (1, y) = 8 12 y 2 = 7 y 2 cuando y est cerca de a 2. La respuesta, naturalmente, es que se debe tomar B = f1 (2) y como f1 (y) = 2y tomamos B = 4 As que estas cuentas nos llevan a considerar z = 3 2(x 1) 4(y 2) como un candidato razonable a ser el plano tangente a la grca de f en el punto (x0 , y0 , z0 ) = a (1, 2, 3). Este ejemplo ilustra la forma en que podemos razonar, aprovechando las enseanzas del n clculo de una variable, para obtener un candidato a ser el plano tangente. Vamos a jar la a terminolog que hemos usado en este ejemplo, y a resumir lo que hemos aprendido en unas a deniciones. Dada una funcin de dos variables z = f (x, y) y un punto (x0 , y0 ), buscamos la ecuacin del o o plano tangente en ese punto, que ser de la forma: a z = f (x0 , y0 ) + A(x x0 ) + B(y y0 ) Para determinar los nmeros A y B consideramos las funciones u fy0 (x) = f (x, y0 ) fx0 (y) = f (x0 , y) Y entonces hemos visto que lo sensato es tomar A = fy0 (x0 ), B = fx0 (y0 ), naturalmente, siempre que estas derivadas existan. La siguiente gura ilustra la geometr que hay detrs de estas ideas: a a 5

La funcin fy0 (x) aparece cuando se corta la grca de f con un plano vertical paralelo al plano o a xz que pase por (x0 , y0 , z0 ) (la ecuacin de ese plano vertical es y = y0 ). Es una funcin que o o slo depende de x puesto que hemos jado la y. Y usando el clculo de una variable medimos o a su pendiente, es decir su inclinacin, en ese punto, mediante la derivada fy0 (x0 ). Ese valor nos o permite medir la inclinacin del plano tangente en esa direccin, paralela al eje x. Si obtenemos o o tambin la inclinacin fx0 (y0 ) del plano tangente en la direccin paralela al eje y tendremos e o o suciente informacin (un punto y dos vectores directores) para determinar el plano. o

2.2.

Denicin formal (mediante l o mites) de las derivadas parciales

Pero, como hemos dicho, lo primero que se necesita es que existan las derivadas fy0 (x0 ) y fx0 (y0 ). Cmo se calculan esas derivadas? Se trata de derivadas de funciones de una variable, o y basta con usar la denicin que ya conocemos. La siguiente denicin ja la terminolog y la o o a notacin que vamos a usar: o Denicin 2.2 (Derivadas parciales, funcin derivable.). La funcin z = f (x, y) es deo o o rivable en el punto (x0 , y0 ) si existen las dos derivadas fy0 (x0 ) y fx0 (y0 ). Esas derivadas se representan con estos s mbolos fy0 (x0 ) = f x ,
(x0 ,y0 )

fx0 (y0 ) =

f y

(x0 ,y0 )

y se denominan derivadas parciales de f en (x0 , y0 ). Los l mites que las denen son stos: e f (x, y0 ) f (x0 , y0 ) f = l m x xx0 x x0 (x0 ,y0 ) f y = l m
(x0 ,y0 )

yy0

f (x0 , y) f (x0 , y0 ) y y0 6

Otra notacin comn para las derivadas parciales, aparte de la que hemos indicado en la o u denicin es sta: o e f x = D1 f (x0 , y0 ),
(x0 ,y0 )

f y

= D2 f (x0 , y0 )
(x0 ,y0 )

Esta notacin ser util sobre todo ms adelante, cuando consideremos funciones de ms de dos o a a a variables, y generalicemos todos los conceptos que estamos presentando.

2.3.

Clculo de derivadas parciales. a

a o mite de Usando l mites El clculo de una derivada parcial utilizando la denicin es un l una funcin de una variable, y por tanto es igual de fcil o de dif que una derivada de una o a cil variable. Ejemplo 2.3. (a) Sea f : R3 R dada por f (x, y, z) = x y + zy 2 y calculemos la derivada parcial: f (1, 0, 2) y usando la denicin. Ser o a: f (1, y, 2) f (1, 0, 2) f (1, 0, 2) = l m = y y0 (y0) (1 y + 2y 2 ) 1 l m = l 1 + 2y = 1 m y (y0) (y0) (b) Sea ahora f : R2 R dada por: 2 2 xy x y f (x, y) = x2 + y 2 0 Y calculemos (x, y) = (0, 0) (x, y) = (0, 0)

f (x, 0) (aqu el punto (x, 0) es cualquier punto del eje x): y f f (x, y) f (x, 0) (x, 0) = l m = y y0 (y0) x2 y 2 xy 2 x2 y 2 x2 y 2 x2 x + y2 l m = l x 2 m = l x 2 m =x 2 =x y x (y0) (y0) x + y 2 (y0) x + y 2

(Si x = 0 el resultado es el mismo aunque debe escribirse de forma ligeramente distinta; por qu?) e Como puede verse en estos ejemplos, el clculo de derivadas parciales mediante la denicin a o no presenta ms dicultades que el de una derivada normal (porque se trata de una derivada a normal!)

Usando reglas de derivacin Las buenas noticias son que en realidad el lector ya sabe o f calcular muchas derivadas parciales. Porque, segn la denicin, la derivada parcial u o se calcula x simplemente derivando la expresin que dene a f como si fuera una funcin que slo depende o o o de la variable x y tratando a la variable y como una constante. Por tanto podemos utilizar todas las reglas de derivacin que conocemos del clculo de una variable para calcular derivadas o a parciales. Ejemplo 2.4. Sea f : R2 R dada por: f (x, y) = y + xex +y y calculemos las derivadas f debemos pensar que y es una constante parciales en un punto cualquiera (x, y). Para calcular x y derivar la funcin de x resultante. Tenemos: o f 2 2 2 2 = ex +y + 2x2 ex +y x Y para calcular f tratamos ahora a x como una constante: y f 2 2 = 1 + 2xyex +y y Este es un buen momento para que el lector se dirija a la lista de ejercicios y practique el clculo de derivadas parciales, ya sea aplicando la denicin mediante l a o mites o utilizando las reglas de derivacin. o
2 2

3.

Las derivadas parciales no son sucientes

Supongamos que z = f (x, y) es una funcin derivable en el punto (x0 , y0 ). Entonces podemos o usar sus derivadas parciales para escribir la ecuacin de un plano: o z = f (x0 , y0 ) + f x (x x0 ) +
(x0 ,y0 )

f y

(y y0 )
(x0 ,y0 )

que es el unico candidato posible a ser el plano tangente a la grca de f en (x0 , y0 ). Pero, a volviendo a una de nuestras preguntas pendientes es de verdad el plano tangente? Es decir, es una aproximacin local a f de buena calidad? El siguiente ejemplo va a mostrar que no siempre o sucede as . Ejemplo 3.1. Consideremos la funcin o x + y + z = f (x, y) = 0

xy x2 + y 2

(x, y) = (0, 0) (x, y) = (0, 0)

Vamos a tratar de encontrar un plano tangente a la grca de esta funcin en el origen. Empea o zamos por calcular sus derivadas parciales Entonces f es derivable en (0, 0). Por ejemplo: f f (x, 0) f (0, 0) x0 (0, 0) = l m = l m =1 x0 x0 x x0 x 8

De la misma forma se obtiene

f (0, 0) = 1 y

Por lo tanto el unico candidato posible a ser el plano tangente es el plano: z =x+y Ahora nos preguntamos cmo de bueno es este plano para aproximar a f cerca del origen? Es o decir es esta xy x+y+ x+y (2) x2 + y 2 una buena aproximacin para (x, y) cerca de (0, 0)? o Para responder vamos a considerar una recta que pase por el origen del plano xy, por ejemplo la recta y = x, y vamos a comparar los valores de la funcin y el plano en los puntos de esa o recta. Si la aproximacin es buena entonces los dos resultados deben ser muy parecidos. Eso nos o lleva a plantear este clculo: a x2 |x| 2 2 y=x f (x, y) = x + y + xy = 2x + f (x, x) = x + x + xx+x2 = 2x + x 2 = 2x + 2 2x x2 +y 2 2|x| 2 y=x x + y 2x Al hacer esto hemos reducido el problema a un problema de aproximacin local en una variable o |x| (la x); es 2x una buena aproximacin local de 2x + en el origen? o 2 La respuesta, despus del trabajo del primer cuatrimestre, deber ser evidente. No, no lo es. e a Porque la expresin o |x| 2x + 2 no es derivable en x = 0. As que no es una buena aproximacin porque esa aproximacin no o o existe. Y eso signica que la aproximacin o x+y+ xy x2 + y 2 x+y

no puede ser correcta. El plano z = x + y no se puede considerar como plano tangente a la grca de f en el origen. a Como ilustra este ejemplo, para construir un plano que merezca el nombre de plano tangente, no basta con que existan las derivadas parciales. Se necesita que la funcin tenga una propiedad o adicional: la diferenciabilidad. Para presentar esta nocin adecuadamente necesitamos el lenguaje o de los l mites de funciones de varias variables y ese es nuestro siguiente objetivo.