Tema 9. Funciones de varias variables.

9.1 Introduccin 9.2 Lmite y continuidad. 9.3 Derivadas parciales. Derivadas de orden superior. Teorema Schwartz. 9.4 Diferencial. 9.5 Regla de la cadena. Derivacin parcial implcita. 9.6 Derivada direccional y gradiente. 9.7 Plano tangente y recta normal. 9.8 Extremos de funciones de dos variables. 9.9 Mtodo de los multiplicadores de Lagrange.

E.U.Politcnica de Sevilla. Fundamentos Matemticos de la Ingeniera. Especialidades Mecnica, Electricidad y Electrnica Curso 2007-08

9.1 Introduccin
Definicin Una funcin de dos variables es una regla que asigna a cada par (x,y)D 2 un nico nmero real f (x,y). El conjunto D es el dominio de f y el conjunto de valores f (x,y) es el recorrido de f. Nota: Para una funcin f, a veces escribiremos z=f (x,y), siendo x e y las variables
independientes y z la variable dependiente. Si no se especifica lo contrario, supondremos que el dominio es el mayor conjunto de puntos del plano para el que esta frmula tiene sentido.

Grfica y curvas de nivel La grfica de f(x,y) es el conjunto de ternas (x,y,z) tales que (x,y)D y z =f(x,y), es una superficie en 3 cuya proyeccin es el dominio D. La proyeccin en el plano xy de la interseccin de la grfica de f (x,y) con el plano z=c determina una curva plana f (x,y) =c denominada curva de nivel.

0.5
2

1.5

0
0.5

-0.5 2 1 0 0 -1 y -2 -2 -1 x 1 2

-0.5

-1

-1.5

-2 -2

-1.5

-1

-0.5

0 x

0.5

1.5

Nota: Para funciones de tres variables las curvas de nivel pasan a ser superficies de nivel

Operaciones con funciones

Si f y g son funciones de dos variables con dominio D 2 , entonces:
Suma Diferencia Producto Cociente ( f + g )( x, y ) = f ( x, y ) + g ( x, y ) ( f g )( x, y ) = f ( x, y ) g ( x, y ) ( f g )( x, y ) = f ( x, y ) g ( x, y ) f f ( x, y ) = ( x , y ) , siendo g ( x, y ) 0 g g ( x, y )

Composicin de funciones: Sea h una funcin de dos variables y g una

funcin de una variable: ( g o h )( x, y ) = g ( h( x, y )) Entornos en el plano Un entorno de radio centrado en (x0,y0) es el conjunto de puntos del plano tales que ( x x0 )2 + ( y y0 )2 <
Este entorno recibe el nombre de disco abierto. Anlogamente, el conjunto
2

{( x, y)

( x x0 )

+ ( y y0 ) 2

} es un disco cerrado.

Un punto (x0,y0) es un punto interior de una regin plana R si existe un entorno de radio centrado en (x0,y0) contenido totalmente en R. Si todos los puntos de R son interiores, entonces R es una regin abierta. Un punto (x0,y0) es un punto frontera de una regin plana R si cada disco abierto centrado en (x0,y0) contiene puntos del interior de R y del exterior R. Si una regin R contiene sus puntos frontera entonces decimos que es una regin cerrada.
Nota: Para funciones de tres variables los discos pasan a ser esferas.

9.2 Lmites y continuidad

Definicin Sea f una funcin definida, con la posible excepcin de (x0,y0), en un disco abierto centrado en (x0,y0), y sea L un nmero real, entonces:
( x , y )( x0 , y0 )

lim f(x,y) = L , si para todo > 0, existe un > 0 tal que si (x,y) cumple

0<

( x x0 )

+ ( y y0 ) 2 < , entonces

f ( x, y ) L < .

Nota: ( x , ylim f(x,y) = L significa que se pueden hacer los valores de f(x,y) arbitra) ( x , y ) riamente prximos a L eligiendo un punto (x,y) suficientemente prximo a (x0,y0) pero distinto de l. Los lmites de funciones de varias variables tienen en lo que respecta a sumas, diferencias, productos y cocientes, las mismas propiedades de los lmites de funciones de una variable.
0 0

Definicin f es continua en un punto (x0,y0) de una regin abierta R si lim f ( x, y ) = f ( x0 , y0 )

( x , y )( x0 , y0 )

f es continua en una regin abierta R si es continua en todos los puntos de R. Propiedades 1) Si k es un nmero real y f, g son funciones continuas en (x0,y0), las siguientes funciones son continuas en (x0,y0) a) kf b) fg c) fg d) f/g, si g (x0,y0) 0 2) Si h es continua en (x0,y0) y g es continua en h(x0,y0), entonces la funcin compuesta g h es continua en (x0,y0). Es decir:
( x , y )( x0 , y0 )

lim

g ( h ( x, y ) = g ( h( x0 , y0 ))

Nota: Las nociones anteriores admiten una fcil extensin a funciones de tres variables.

9.3 Derivadas parciales. Derivadas de orden superior. Teorema Schwartz.

Derivadas parciales
Definicin Sea z=f (x,y), las derivadas parciales primeras de f con respecto a x e y son las funciones fx y fy definidas a continuacin:
f x ( x, y ) = lim
x 0

f ( x + x , y ) f ( x , y ) x

f y ( x, y ) = lim
y 0

f ( x , y + y ) f ( x , y ) y

Nota: Se utilizan las siguientes notaciones: f x = z x =

f ( x, y ) f z = = x ( a ,b ) x ( a ,b ) x ( a ,b )

f z = = Dx f x x Si evaluamos la derivada parcial respecto a x en ( a, b) escribiremos:

f x ( a , b) = z x ( a , b ) =

curva

z = f ( x , y0 )
superficie

recta tangente

z = f ( x, y )

P = ( x0 , y0 , f ( x0 , y0 )

plano y=y0

f x ( x0 , y0 ) es la pendiente de la recta tangente a la curva z = f ( x, y0 )

en el punto ( x0 , y0 , f ( x0 , y0 ))

Derivadas parciales orden superior

Sea z = f ( x, y ), 2 f f = = f xx x 2 x x 2 f f = = f xy yx y x 2 f f = = f yx xy x y 2 f f = y = f yy y 2 y

Teorema Schwartz
Sea f una funcin con derivadas parciales primeras y segundas continuas en una regin abierta R, entonces para todo (x0 ,y0)R se verifica fxy (x0 ,y0)= fyx (x0 ,y0).

9.4 Diferencial
Definicin
Si z = f (x,y) e x, y son incrementos de x e y, las diferenciales de las variables independientes son dx=x, dy=y , y la diferencial total de la z z variable dependiente z es: dz = dx + dy x y

Definicin
Una funcin z = f (x,y) es diferenciable en (x0,y0) si z puede expresarse en la forma: donde

z = f x ( x0 , y0 )x + f y ( x0 , y0 )y + 1x + 2 y

1 , 2 0 cuando ( x, y ) (0,0).

Una funcin f es diferenciable en una regin abierta R si es diferenciable en todos los puntos de dicha regin.

Teorema
Si f (x,y) es continua con derivadas parciales primeras continuas en una regin abierta R, entonces f es diferenciable en R. Si f es diferenciable en (x0,y0) entonces es continua en (x0,y0).

Diferencial: interpretacin geomtrica

plano tangente

z0
P
C1

T1

T2 C2

pendiente de T2 : f y ( x0 , y0 )
superficie S

z = f ( x, y )

pendiente de T1 : f x ( x0 , y0 )

y0

x0
El plano tangente a S en el punto P contiene a las rectas tangentes T1 y T2.

Diferencial: interpretacin geomtrica

plano tangente

dz representa la variacin de la altura del plano tangente a la superficie.

z0
z

dz
superficie S

z = f ( x, y )

y0 x0
dy= y

( x0 + dx, y0 + dy )

dx= x

dz z z0 = f x ( x0 , y0 )( x x0 ) + f y ( x0 , y0 )( y y0 )
ecuacin del plano tangente

9.5 Regla de la cadena. Derivacin parcial implcita.

Regla de la cadena
Teorema Sea w=f(x,y) una funcin diferenciable. Si x=g(t) e y=h(t), siendo g y h funciones derivables de t, entonces: dw w dx w dy = + dt x dt y dt Teorema Sea w=f(x,y) una funcin diferenciable de x e y. Si x=g(s,t) e y=h(s,t), y existen sus derivadas parciales primeras, entonces:

w w dx w dy = + s x ds y ds

w w dx w dy = + t x dt y dt

Derivacin parcial implcita

Teorema Si F(x,y)=0 define a y implcitamente como funcin derivable de x, entonces:

dy F ( x, y ) = x , dx Fy ( x, y )

Fy ( x, y ) 0

Si F(x,y,z)=0 define a z implcitamente como funcin diferenciable de x e y, entonces:

z F ( x, y , z ) = x , x Fz ( x, y , z )

F ( x, y , z ) z = y , y Fz ( x, y , z )

Fz ( x, y , z ) 0

9.6 Derivada direccional y gradiente.

Derivada direccional
recta tangente T

curva C P

superficie

z = f ( x, y )

y
x

r u

B
A Plano vertical que contiene a la r recta que pasa por A con direccin u r r r (ecuacin de la recta r = a + u )

r r r u = cos i + sen j,

r u =1

A = ( x, y ) B = ( x + x , y + y ) uuu r r AB = tu

P = ( x, y , z ) Q = ( x + x , y + y , z + z ) x = t cos , y = t sen

Cul es la pendiente de la recta tangente a la curva C en el punto P?

Pendiente recta secante que pasa por P y Q: msec =
f ( x + x , y + y ) f ( x , y ) t

Pendiente de la recta tangente a la curva C en el punto P:

r f ( x , y ) = lim Du t 0

f ( x + t cos , y + t sen f ( x, y ) t
r

Derivada direccional de f en la direccin de u

Derivada direccional y gradiente

Teorema Si z=f(x,y) es una funcin diferenciable, entonces la derivada direccional de f

r r r en la direccin del vector unitario u = cos i +sen j es:

Definicin

r f ( x , y ) = f ( x , y ) cos + f ( x , y )sen Du x y

Sea z=f(x,y), con derivadas parciales primeras, el gradiente de f es el vector:

r r f ( x, y ) = f x ( x, y )i + f y ( x, y ) j

Corolario Si z=f(x,y) es una funcin diferenciable, entonces ur r r r la derivada direccional de f Teorema Sea f una funcin diferenciable en (x,y).
r f ( x , y ) = 0 para todo u. 1.- Si f (x,y)=0, entonces Du

r f ( x , y ) = f ( x , y )u en la direccin del vector unitario u = cos i +sen j es: Du

2.- La direccin de mximo crecimiento de f viene dada por f (x,y), y el

r f ( x , y ) es f ( x , y ) . valor mximo de Du

3.- La direccin de mnimo crecimiento de f viene dada por -f (x,y), y el

r f ( x , y ) es f ( x , y ) . valor mnimo de Du

4.- Si f (x,y)0, entonces f (x,y) es un vector normal a la curva de nivel Que pasa por (x,y) .
Nota: Sea w= f (x,y,z), el gradiente en (x,y,z) es un vector en el espacio que es ortogonal a la superficie de nivel que pasa por dicho punto. r r r f ( x , y , z ) = f x ( x , y , z )i + f y ( x , y , z ) j + f z ( x , y , z ) k

La derivada direccional en la direccin de un vector u r u = a i + bj + ck, u =1, es:

r f ( x, y, z) = f ( x, y, z)u Du

r r

9.7 Plano tangente y recta normal.

plano tangente T recta tangente T

F ( x, y , z )

curva C superficie S

P
r r (t )

z = f ( x, y ) F ( x, y , z ) = f ( x, y ) z = 0

P = ( x0 , y0 , z0 )

C es una curva cualquiera contenida en rla superficie r S, que r pasa r por el punto P, viene descrita por la funcin vectorial r (t ) = x (t )i + y (t ) j + z (t )k . Entonces, para todo t, se verifica: F ( x (t ), y (t ), z (t )) = 0 Si F es diferenciable y existen x '(t ), y '(t ) y z '(t ) , por la regla de la cadena resulta que:

F '(t ) = Fx ( x, y , z ) x '(t ) + Fy ( x, y , z ) y '(t ) + Fz ( x, y , z ) z '(t ) = 0 r F '(t ) = F ( x, y , z ) r '(t ) = 0

En P = ( x 0 , y 0 , z 0 ), F ( x 0 , y 0 , z 0 ) r '( t0 ) = 0

r F ( x 0 , y 0 , z 0 ) r '( t0 )

El vector gradiente en P es ortogonal al vector tangente a cualquier curva Sobre S que pase por P. Por tanto, todas las rectas tangente en P estn en un plano que es normal a F ( x, y , z ) y contiene a P. Este plano se denomina plano tangente a S en P, y la recta que pasa por P y contiene a F ( x, y , z ) se llama recta normal

Plano tangente y recta normal

Teorema Si F(x,y,z)=0 es una funcin diferenciable en P=(x0,y0,z0), la ecuacin del plano tangente a la superficie dada por F en el punto P es:

Fx ( x0 , y0 , z0 )( x x0 ) + Fy ( x0 , y0 , z0 )( y y0 ) + Fz ( x0 , y0 , z0 )( z z0 ) = 0

F ( x, y , z )

plano tangente

Q
superficie S

P
r r (t )

F ( x, y , z ) = 0

P = ( x0 , y0 , z0 )
Q = ( x, y , z )

uuu r F ( x, y , z ) PQ = ( x x0 , y y0 , z z0 )

Observacin: Sea una superficie S dada por z = f(x,y), definimos F(x,y,z) = f(x,y)-z, entonces S viene dada por la superficie de nivel F(x,y,z) = 0. Se verifica:

Fx ( x0 , y0 , z0 ) = f x ( x0 , y0 ), Fy ( x0 , y0 , z0 ) = f y ( x0 , y0 ), Fz ( x0 , y0 , z0 ) = 1
Sustituyendo en la frmula del teorema anterior se tiene:

z z0 = f x ( x0 , y0 )( x x0 ) + f y ( x0 , y0 )( y y0 )

9.8 Extremos de funciones de dos variables.

mximo

mnimo

mnimo

y x
regin cerrada y acotada R Extremos absolutos

Extremos absolutos
Sea f una funcin de dos variables definida en una regin R cerrada y acotada. Los valores f(a,b) y f(c,d) tales que: f(a,b) f (x,y) f(c,d) para todo (x,y) de R, con (a,b) y (c,d) R, son el mnimo y el mximo de f en la regin R.

Teorema
Sea f una funcin continua de dos variables definida en una regin R cerrada y acotada. 1.- Existe al menos un punto en R donde f alcanza su valor mnimo. 2.- Existe al menos un punto en R donde f alcanza su valor mximo
Nota: El mximo y el mnimo se llaman tambin mximo absoluto y mnimo absoluto.

Extremos de funciones de dos variables

z z

y x
mximo relativo disco abierto

y x
mnimo relativo disco abierto

z
no estn definidas

z
f x ( x0 , y0 ) y f y ( x0 , y0 )

y x
mnimo relativo disco abierto

y x
mximo relativo disco abierto

Extremos relativos
Sea f una funcin de dos variables definida en una regin R que contiene al punto (x0,y0). 1.- La funcin f tiene un mnimo relativo en (x0,y0) si f(x,y) f(x0,y0) para todo (x,y) en un disco abierto que contiene a (x0,y0). 2.- La funcin f tiene un mximo relativo en (x0,y0) si f(x,y) f(x0,y0). para todo (x,y) en un disco abierto que contiene a (x0,y0).

Puntos crticos
Sea f una funcin de dos variables definida en una regin abierta R que contiene al punto (x0,y0). El punto (x0,y0) es un punto crtico de f si fx(x0,y0)=0 y fy(x0,y0)=0, o bien no existe alguna de estas derivadas.

Extremos de funciones de dos variables

Teorema
Si f tiene en (x0,y0) un extremo relativo en una regin abierta R, entonces (x0,y0) es un punto crtico de f.

Teorema
Sea f una funcin con derivadas parciales segundas continuas en una regin abierta que contiene al punto (x0,y0), siendo fx(x0,y0)=0 y fy(x0,y0)=0, y sea

d=

f xx ( x0 , y0 ) f xy ( x0 , y0 )

f xy ( x0 , y0 ) f yy ( x0 , y0 )

Entonces: 1.- Si d > 0 y fxx(x0,y0) > 0, entonces f tiene un mnimo relativo en (x0,y0). 2.- Si d > 0 y fxx(x0,y0) < 0, entonces f tiene un mximo relativo en (x0,y0). 3.- Si d < 0 entonces f tiene un punto de silla en (x0,y0). 4.- Si d = 0 este criterio no proporciona ninguna informacin.

z z y x
mnimo relativo disco abierto

y x
mximo relativo disco abierto

z y x
punto de silla disco abierto

Extremos de funciones de dos variables

y x
mnimo relativo

disco abierto

f x ( x0 , y0 ) y f y ( x0 , y0 ) no estn definidas

y x
mnimo relativo

disco abierto

Extremos de funciones de dos variables

mximo

mnimo

mnimo

y x
regin cerrada y acotada R Extremos absolutos

y x
mnimo relativo

disco abierto

y x
punto de silla disco abierto

y x
mximo relativo disco abierto

9.9 Mtodo de los multiplicadores de Lagrange

Ejemplo 1:
(0, 0,9)

z = 9 x2 y 2

(0,3, 0) (3, 0, 0)

z = 9 x 2 y 2 , tiene un mximo en (0,0,9).

Mtodo de los multiplicadores de Lagrange

(0, 0,9)

(1,1, 7)

z = 9 x2 y 2

x+ y =2
(0,3, 0) (3, 0, 0)

z = 9 x 2 y 2 , con la condicin x + y = 2, tiene un mximo en (1,1,7).

Cmo podemos determinarlo?
z = h( x) = 9 x 2 (2 x) 2 = 2 x 2 +4 x + 5 h '( x) = 4 x + 4 = 0 x = 1 h ''(1) = 4 < 0 mximo en (1,1,7).

Nuestro objetivo es hallar los extremos de z = f ( x, y ) con la restriccin g ( x, y ) = c. Para resolver este problema podemos proceder como en el ejemplo anterior, despejando una variable y sustituyendo. Ahora bien, esto no ser siempre posible o aconsejable.
Ejemplo 2 : Calcula los extremos de z = 9 x 2 y 2 con la restriccin xy + y 2 x 3 3 = 0.

Un procedimiento general para resolver problemas de este tipo es el denominado metodo de los multiplicadores de Lagrange.
Sea z = f ( x, y ), con la restriccion g ( x, y ) = c, los posibles extremos condicionados de z se obtienen resolviendo el sistema siguiente:

f ( x, y ) = g ( x, y ) g ( x, y ) = c

f x ( x, y ) = g x ( x, y ) f y ( x, y ) = g y ( x, y ) g ( x, y ) = c

Si se aplica este metodo al ejemplo 1: f ( x, y ) = 9 x 2 y 2 , g ( x, y ) = x + y = 2 2 x = 2 y = 2( x + y ) = 2 4 = 2 = 2 x + y = 2 de donde: x = 1, y = 1 y z = 7.

Idea del mtodo de los multiplicadores de Lagrange

Deseamos hallar el rectngulo de rea mxima que se puede x2 y 2 inscribir en la elipse 2 + 2 = 1. 4 2

x2 y2 + =1 42 22

( x, y )

El rea de un rectngulo inscrito viene dada por: f ( x, y ) = 4 xy.

Nuestro objetivo es: Optimizar la funcin f ( x, y ) = 4 xy (funcin objetivo) (ligadura ) x2 y 2 con la restriccin: g ( x, y ) = 2 + 2 = 1 4 2

x2 y2 + =1 42 22 ( x, y ) curvas de nivel de f (x, y ) = 4 xy = k

Las curvas de nivel de f representan una familia de hiprbolas: 4 xy = k Para maximizar f queremos encontrar una hiprbola que justo toque a la elipse. Dicha curva es tangente a la elipse. Dos curvas son tangentes en un punto si y slo si sus sus vectores gradiente son paralelos: f ( x, y ) = g ( x, y ) El escalar se llama multiplicador de Lagrange.

Teorema Si f y g son funciones con derivadas parciales primeras contnuas, y tales que f tiene un extremo en el punto ( x0 , y0 ) sobre la curva suave de ligadura g ( x, y ) = c. Si existe g ( x, y ) (0, 0), entonces existe un nmero real tal que f ( x0 , y0 ) = g ( x0 , y0 )

Mtodo de los multiplicadores de Lagrange.

Supongamos que f tiene un mximo o un mnimo con la ligadura g ( x, y ) = c, donde f y g cuamplen las condiciones del Teorema de Lagrange. Para hallar el mnimo o el mximo se siguen los siguientes pasos: 1) Se resuelve el sistema: f x ( x, y ) = g x ( x, y ) f y ( x, y ) = g y ( x, y ) g ( x, y ) = c 2) Se evala f en cada uno de los puntos obtenidos. El mayor de esos valores nos da el mximo de f con la ligadura g ( x, y ) = c. El menor de ellos nos da el mnimo de f con la ligadura g ( x, y ) = c.