Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Geométricamente: Los máximos y mínimos de una función de dos variables miden altitudes
máximas y mínimas sobre la superficie que constituye la gráfica de la función (son como las
cotas del punto más elevado de una colina ó del punto más profundo de una hondonada). No
tienen porqué existir, sin embargo, lo mismo que el teorema de Weierstrass nos garantizaba
puede demostrarse que z = f(x,y) continua alcanza su valor máximo y su valor mínimo
absolutos en una región D cerrada (incluye el borde) y acotada del plano.
Consideramos ahora los desarrollos de Taylor en x=a de f(x,b), fy (x,b), fyy (x, b) , fyyy (x, d) .
f (a, b) f (c , b)
f(x,b)=f(a,b)+ f (a,b)(x-a)+ xx (x a)2 xxx 1 (x a)3 con c (a, x) ó (x,a).
x 1
2! 3!
fxxy (c2 , b)
f (x,b)= f (a,b)+ f (a, b)(x a) (x a)2 con c (a, x) ó (x,a).
y y xy 2
2!
fyy (x, b) = fyy (a, b) + fxyy (c3, b)(x a) con c3 (a, x) ó (x,a).
fyyy (x, d) = fyyy (a, d) . Sustituyendo en (1):
fxx (a, b) f (c , b)
f(x,y) = f(a,b) + fx (a,b)(x-a) + (x a)2 xxx 1 (x a)3 + f (a,b) + f (a, b)(x a)
2! 3! y xy
fxxy (c2 , b)
(x a)2 (y-b)+ f (a, b) + f (c , b)(x a) (y-b)2 + f (a, d) (y-b)3.
yy xyy 3 yyy
2!
fxx (x o , yo) f xy (x o , yo )
4º) Si 0 , entonces no podemos asegurar que exista o no extremo
fxy (x o , yo) fyy (x o , yo )
en f. Será preciso realizar un estudio más detallado.
Demostración:
Para analizar si f presenta, o no, un extremo en P(xo,yo) debemos estudiar si permanece
constante, o no, el signo de f(x,y) - f(xo,yo), siendo (x,y) E(xo,yo) D.
f xx
(x o , yo )h f xy (x o , yo )k + f xx (x o , yo )f yy (x o , yo ) f xy (x o , yo ) k 2 =
2 2
f + f
2 fxx (x o, yo ) f xy (x o , yo ) 2
xx (x o , yo )h fxy (x o, yo)k k , entonces:
xy (x o , yo ) fyy (x o, yo )
fxx (x o , yo ) f xy (x o, yo )
1º) Si f (x ,y )<0 y 0 , entonces ha de ser
xx oo
fxy (x o, yo) fyy(x o , yo )
signo(f(x,y) - f(xo,yo))<0, luego f tiene un máximo relativo en P.
fxx (x o , yo ) f xy (x o, yo )
2º) Si f (x ,y )>0 y 0 , ha de ser signo(f(x,y) - f(x ,y ))>0, luego f
xx oo oo
fxy (x o, yo) fyy(x o , yo )
tiene un mínimo relativo en P.
fxx (x o , yo) f xy (x o , yo )
3º) Si 0 , la función crece en unas direcciones y decrece en otras.
fxy (x o , yo) fyy (x o , yo )
Por ejemplo si fxx (xo,yo)>0, la función f crece a lo largo de la recta k=0, y decrece a lo largo
de la recta fxx (xo, yo)h fxy (xo, yo )k =0, (análogamente si fxx (xo,yo)<0).
fxx (x o , yo) f xy (x o , yo )
4º) Si 0 , no podemos obtener conclusiones generales acerca del
fxy (x o , yo) fyy (x o , yo )
signo de f pues en este caso, por ser el signo de fxx (xo,yo) (f(x,y) - f(xo,yo)) igual al signo de
cabe la posibilidad de que la expresión f xx(x o, y o )h2 2f xy(x o,y o)hk f yy(x o,y )k
o
2
=0 y no
se puede deducir nada acerca del signo(f(x,y)-f(xo,yo))
Ejemplos:
f(x,y) = 5-x2-y2 f(x,y) = x2+y2
Proposición
Sea z = f(x,y) una función continuamente diferenciable en un abierto U de R2 .
Sea r (t) ((x(t),y(t)) la ecuación de una curva plana C enteramente contenida en U que
posee en cada punto vector tangente r(t) (x(t), y(t)) .
Si el punto (x0 , y0 ) r hace máxima ó mínima f(x,y) sobre C, entonces
f (x0 , y0 ) (fx , fy)( x0 ,y0 ) es perpendicular a dicha curva en (x0 , y0 ) .
Demostración:
Sea t0 R tal que r (t0 ) (x0 , y0 ) .
y
La función compuesta:
(f x , fy )(x0 , y 0 ) ( x' ( t ), y' ( t ))
0 0
c x t
z f ( r (t)) , que tiene como
y0 y t
Puesto que g(x0 , y0 ) es también perpendicular a C en (x0 , y0 ) (ya que en todo punto el
gradiente es perpendicular a la curva de nivel que pasa por dicho punto), los dos gradientes
han de ser colineales.
Nota
El recíproco no es cierto. Hay que estudiar lo que ocurre en un entorno del punto.
Nota
Toda la teoría anterior puede extenderse (sin más que añadir una coordenada) a funciones de
tres variables f(x,y,z).
En este caso, tiene sentido plantearse el problema de hallar máximos ó mínimos de f
condicionados por dos restricciones g(x,y,z) = 0 y h(x,y,z) = 0.
Se localizan los puntos P(x,y,z) que satisfagan simultáneamente las ecuaciones :
f g h
g(x,y,z) = 0
h(x,y,z) = 0
Se requiere que las funciones f, g y h tengan derivadas parciales primeras continuas.
La interpretación geométrica de las ecuaciones anteriores es sencilla:
Sea C la curva diferenciable intersección de las dos superficies
g
h g = 0 y h = 0.
90 A lo largo de esta curva buscamos los puntos donde f alcanza
90 Superficie g=0
máximos ó mínimos relativos respecto a sus otros valores sobre
Superficie h=0
la curva.
Estos son los puntos donde f es perpendicular a C, como
vimos anteriormente. Pero también g y h son perpendiculares a C en estos puntos, ya que
C está en las superficies g = 0 y h = 0. Por tanto, f está en el plano determinado por g y
h , es decir, f g h para ciertos y .
Como los puntos que buscamos están además en ambas superficies, sus coordenadas han de
satisfacer las ecuaciones g(x,y,z) = 0 y h(x,y,z) = 0, que son los dos últimos requisitos que
habíamos escrito.
Supongamos que se quiere establecer una relación funcional, y = f(x), entre dos variables x e
y (ó bien z = f(x,y)), y que se conocen experimentalmente n valores de la función y
(y1, y2 ,...yn ) para los valores correspondientes de x (x1, x2 ,...xn ) .(ó bien se conocen
(z1, z2 ,...zn ) para los correspondientes ( (x1, y1) , (x2 , y2 ) ,..., (xn , yn ) )).
y
sería natural buscar una función de la forma
z f (x) aebx c .
x1 x2 x3 x4 x5 x6 x
Una vez que, a la vista del gráfico, se ha elegido la forma de la función y = f(x,a,b,c,...) (ó
bien z = f(x,y,a,b,c...)), el método de los mínimos cuadrados consiste en buscar los
parámetros a, b, c, ... de forma que sea mínima la suma de los cuadrados de las diferencias
entre los valores yi experimentales y los valores f (xi, a, b, c,...) (ó bien entre los valores zi y
los valores f (xi, yi, a, b, c,...) ) de la función en los puntos f (xi) correspondientes (ó bien en
f (xi, yi) ). Es decir, han de elegirse a, b, c, ... para los cuales la función de varias variables
n
i1
i1 a
n
f (x , a, b, c,...)
[yi f (x i , a, b, c,...)] 0
i
i1 b
...
Del mismo modo se procedería para el caso S(a, b, c,...) [z i f (xi , yi , a, b, c,...)] .
2
i1