You are on page 1of 39

Matemticas

1
1 RESUMEN TEORA:
Funciones de varias variables

Elena lvarez Siz

Dpto. Matemtica Aplicada y C. Computacin

Universidad de Cantabria
Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

Objetivos
1. Comprensin del concepto de lmite, continuidad y diferenciabilidad de una
funcin de dos variables.

2. Conocimiento del concepto de derivada parcial de una funcin de dos


variables y comprensin de su interpretacin geomtrica.

3. Destreza en el clculo de derivadas y diferenciales.

Contenidos

1. Derivadas direccionales. Derivadas parciales.

2. Diferencial. Regla de la cadena y derivacin implcita.

3. Gradiente. Plano tangente.

4. Extremos de funciones de varias variables.

Ejemplos de funciones de varias variables

Dados dos nmeros cualesquiera x e y, su media aritmtica es el nmero


x +y
comprendido entre ambos es decir f ( x , y ) = . En general si se tienen n
2
x + x 2 + ... + x n
nmeros su media aritmtica es: f ( x1, x 2 ,..., xn ) = 1
n

Dados dos nmeros positivos x e y, su media geomtrica es el nmero


comprendido entre ambos es decir f ( x, y ) = xy . En general si se tienen n
nmeros su media geomtrica es: f ( x1, x 2 ,..., x n ) = n x1x 2 ...x n

Un sistema de fiabilidad (o bien en circuitos elctricos) funciona (la corriente


pasa) si hay algn camino activado para ir des el principio (A) hasta el final
(B) del sistema (circuito). As pues, en una estructura en serie como sta:

La funcin de varias variables que describe el sistema es: f ( x1, x 2 , x 3 , x 4 ) = x1x 2x 3x 4 ,


donde el componente i funciona si x i = 1 y no lo hace si x i = 0 . De este modo, el

2 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

sistema funciona si los cuatro componentes lo hacen es decir, si


x1 = x 2 = x 3 = x 4 = 1 . En caso de que alguno de los componentes no funcione x i = 0
la corriente no pasa de A a B.

Un sistema paralelo como por ejemplo:

Se puede describir mediante la funcin de varias variables:

f ( x1, x 2 , x 3 .x 4 .x 5 ) = 1 ( 1 x1 )( 1 x 2 )( 1 x 3 )( 1 x 4 )

Un sistema estreo hi-fi tiene los cinco componentes que presentamos a


continuacin: (1) amplificador, (2) sintonizador de FM, (3) sintetizador de
onda media, (4) altavoz A y (5) altavoz B. Se considera que el sistema
funciona si podemos obtener sonido por medio de la FM o bien mediante la
onda media. La funcin que modeliza este sistema es:

f ( x1, x 2 , x 3 .x 4 .x 5 ) = x1 1 ( 1 x 2 )( 1 x 3 ) 1 ( 1 x 4 )( 1 x 5 )

Esta es una representacin esquemtica del sistema

Funciones de dos variables

Una funcin real de dos variables, f , no es ms que una correspondencia que


asigna a cada pareja ( x, y ) de nmeros reales otro nmero real nico f ( x, y ) .

Profesora: Elena lvarez Siz 3


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

Se define el dominio de la funcin f como el conjunto de pares reales en los


que la funcin est definida. El rango es el conjunto de nmeros reales dado
por

Im f = { z  / ( x , y ) D }

Ejemplos:

Consideremos las siguientes funciones y determinemos su dominio:

1) h ( x, y ) = 2x 3y + 4

Es el semiplano inferior determinado por la recta 2x


3y+4=0
incluyendo los puntos de la recta

2) f ( x , y ) = log ( 4x + y 5 )

Se trata del semiplano superior determinado por la recta


4x+y
5=0 sin incluir los puntos de la recta

1
3) g ( x , y, z ) =
2x 3y + 4z 6

Se trata de la regin del espacio determinada por el plano


2x
3y+4z=6 que queda del otro lado del origen sin incluir los
puntos del plano.

4) K ( x , y, z ) = log ( 1 x 2 y 2 )
Consta del interior de la circunferencia x +y =1 sin incluir la
2 2

frontera.

5) T ( x, y, z ) = x 2 + y 2 4

Son todos los puntos del plano externos a la circunferencia x +y =4.


2 2

6) Q ( x, y, z ) = log ( 4 x 2 y 2 z 2 )

4 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

Es el interior de la esfera con centro en el origen y radio 4 sin


incluir los puntos de la esfera.

La grfica de una funcin de dos variables z = f ( x , y ) es la representacin en el


espacio  3 de todas las combinaciones posibles de valores (x, y, z) siendo z la
imagen de (x, y) por la funcin f.

Como no es sencillo representar una funcin de dos variables, ya que su grfica es


una superficie en R , pueden usarse conjuntos bidimensionales para obtener
3

informacin tridimensional a travs de los conceptos de trazas y de curvas de nivel.

Dada una superficie S en R y un plano P cualquiera, la traza de S determinada por


3

P se define como la curva obtenida de S


P.

Las trazas ms utilizadas adems de las curvas de nivel para el anlisis de


una superficie son los planos coordenados x=0 y y=0 planos paralelos a
ellos x=c y y=c.

Curvas de nivel

Para una funcin de dos variables, z = f ( x , y ) , la curva de nivel para z = k es el


conjunto de todos los pares de valores (x, y) tales que su imagen es el valor k .

Profesora: Elena lvarez Siz 5


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

Lineas de contorno

1
0 1
0
-1
-1
-2 -2

x 2 y2
Ejemplo: Observa las curvas de nivel de f ( x, y ) = xy en las figuras siguientes.
x 2 + y2

6 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

Profesora: Elena lvarez Siz 7


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

Superficies de nivel

Para el caso de funciones de tres variables, como ya lo comentamos, es imposible


hacer su grfica por lo que siguiendo la idea anterior buscamos obtener informacin
de un conjunto de dimensin cuatro a partir de conjuntos tridimensionales, las
superficies de nivel, que son una generalizacin de las curvas de nivel por lo que
podemos dar la siguiente definicin:

Dada la funcin w=f(x,y,z), sus superficies de nivel se definen como los conjuntos

S={(x,y,z)/ f(x,y,z)=c}

Observa que los conjuntos definidos son superficies y al igual que para las curvas de
nivel, una funcin de tres variables tiene un nmero infinito de superficies de nivel
por lo que en la prctica (otra vez) slo se toman algunas que sean representativas.

As como las curvas de nivel sirven para sealar los puntos con la misma altitud,
misma presin, etc., las superficies de nivel tambin tienen aplicaciones fsicas.

Por ejemplo, si V(x,y,z) representa el voltaje (o potencial) de un campo elctrico en


el punto (x,y,z), entonces las superficies de nivel V(x,y,z)=c se dicen superficies
equipotenciales y representan a todos los puntos en el espacio con el mismo
potencial.

Por otra parte, cualquier grfica de una funcin z=f(x,y), es una superficie de nivel,
basta considerar g(x,y,z)=zf(x,y) y entonces la superficie de nivel g(x,y,z)=0 es la
grfica de z=f(x,y). Es por esto que a las grficas de este tipo de funciones o de las
ecuaciones de tres variables se les llama superficies.

8 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

Para trazar una superficie de nivel se usan sus trazas con planos de la forma x=c,
y=c y z=c.

Las superficies de nivel ms importantes son las llamadas superficies cuadrticas y


es muy conveniente que las repases en cualquier libro de Geometra Analtica o de
Clculo. Dichas superficies son elipsoides, conos elpticos, paraboloides elpticos,
paraboloides hiperblicos, hiperboloides de uno y dos mantos, cilindros (o sbanas)
elpticos, parablicos e hiperblicos.

Profesora: Elena lvarez Siz 9


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

Ecuaciones
Ecuaciones implcitas Grfica
paramtricas

x = xo + ua1 + vb1
Plano y = yo + ua2 + vb2 Ax + By + Cz + D = 0
z = zo + ua 3 + vb3

x = r cos u
Cilindro y = rsenu x 2 + y2 = r 2
z =v

10 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

Ecuaciones
Ecuaciones implcitas Grfica
paramtricas

Cono x = u cos v
(recto de seccin y = usenv z 2 = x 2 + y2
circular) z =u

x = r sen u cos v
Esfera (centrado en
y = r sen u senv x 2 + y2 + z 2 = r 2
(0,0,0) y radio r z = r cos u
Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

Ecuaciones
Ecuaciones implcitas Grfica
paramtricas

x = a sen u cos v
x2 y2 z2
Elipsoide y = b sen u senv
2
+
2
+ =1
z = c cos u a b c2

x = u c os v
Paraboloide
y = u senv z = x 2 + y2
(de seccin circular) z =u 2

12 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

Ecuaciones
Ecuaciones implcitas Grfica
paramtricas

x = Chu c os v
Hiperboloide y = Shu senv z 2 = x 2 + y2 1
z = Shu
Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

Derivada direccional

Definicin (Direccin).- Una direccin en 2 es cualquier vector de norma 1.

Su u es una direccin en el plano entonces se puede expresar como u = ( cos , sen )


siendo el ngulo que forma el vector con el eje positivo de las X.

Definicin (Derivada direccional en un punto): Sea f una funcin de dos variables y


u una direccin. Se define la derivada direccional de f en el punto xo ( a, b ) en la

direccin de u como el valor del siguiente lmite en el caso de que exista:

(
f xo + tu f xo ) ( )=D f
lim
t 0 t u ( xo ) = fu' ( xo )

( z ) (a,b) = tg

z = f (x, y)

Y

(a, b)

En el caso de que u = ( cos , sen ) la derivada direccional se puede expresar


como:

f ( a + t cos , b + tsen ) f ( a, b )
lim
t 0 t
( )
= Du f xo = fu' xo ( )

14 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

INTERPRETACIN GEOMTRICA: es la pendiente de la recta tangente a


la curva interseccin de la superficie con el plano vertical que contiene a la
direccin dada.

Derivada parcial

Las derivadas parciales son derivadas direccionales segn las direcciones e1 = ( 1, 0 ) y


e2 = ( 0,1 ) representan la razn de cambio de una funcin f con respecto a una de sus
variables independientes manteniendo constantes las dems. Este proceso es conocido
con el nombre de derivacin parcial.

Definicin (Derivadas parciales).- Si z = f ( x , y ) es una funcin de dos variables se


define la derivada parcial de f en el punto ( a, b )

 con respecto a x como  con respecto a y como

f ( a + x , b ) f ( a, b ) f ( a, b + y ) f ( a, b )
fx' ( a, b ) = lim fy' ( a, b ) = lim
x 0 x y 0 y

siempre que los lmites anteriores existan.

INTERPRETACIN GEOMTRICA de las derivadas parciales.- Las


derivadas parciales no son ms que derivadas de una funcin de una variable:
la funcin cuya grfica se obtiene como interseccin de la superficie con los
planos verticales x = a , y = b en los casos de derivada parcial en la
direccin de y y en la direccin de x , respectivamente.

Profesora: Elena lvarez Siz S 15


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

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

b
Y
a
(a, b)

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

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

Interpretacin de la derivada Parcial respecto a x y respecto a y

NOTACIN: Para hacer referencia a la derivada parcial de la funcin z = f ( x , y )


respecto a la variable x e y se suelen utilizar las siguientes notaciones:

16 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

z z
fx' ( a, b ) = (a,b ) = zx' (a, b ) fy' ( a, b ) = (a,b ) = zy' (a,b )
x y
Ejemplo:

DERIVADA PARCIAL DERIVADA PARCIAL


 
2 2
z = x +y Punto: P ( 1,1 ) u = ( 0,1 ) z = x 2 + y2 Punto: P ( 1,1 ) u = ( 1, 0 )

x =1 y =1

DERIVADA DIRECCIONAL
 1 1
z = x 2 + y2 Punto: P ( 1,1 ) u = ,
2 2

Profesora: Elena lvarez Siz S 17


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

IMPORTANTE:
Una funcin de dos variables puede ser continua en un punto y no ser
derivable parcialmente en l.
La existencia de derivadas parciales para las funciones de varias variables no
implica la continuidad de la funcin en el punto.

DERIVADAS PARCIALES de segundo orden:


x 2z '' '
z x' ( x + x, y ) z x' ( x , y )
= = z ( ) xx ( ) x 0
x , y = f x , y = lim
x x x 2 xx
x
x 2z z x' ( x , y + y ) z x' ( x, y )
= = z '' ( x, y ) = fxy ( x , y ) = lim
y x x y xy y 0 y
z 2z ''
zy' ( x, y + y ) zy' ( x , y )
= = z ( ) yy ( ) y 0
x , y = f x , y = lim
y y y 2 yy
y

x 2z zy' ( x + x , y ) zy' ( x , y )
= = z '' ( x, y ) = fyx ( x, y ) = lim
x y y x yx x 0 x

TEOREMA DE SCHWARZ.- Sea z = f ( x , y ) es una funcin de dos variables. Si se


verifica que existen f , fx , fy , fxy , fyx y adems fxy es continua en una regin
abierta D entonces se cumple que en dicha regin se da la igualdad de las
derivadas cruzadas de segundo orden.

Funciones diferenciables. Diferencial de una funcin de dos variables

Definicin (Diferenciable y diferencial).- Sea z = f ( x , y ) una funcin definida y


acotada en un dominio D al cual pertenece xo = ( a, b ) y que tiene derivadas parciales
en dicho punto. Se dice que es diferenciable en xo si el incremento total:

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

18 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

correspondiente a los incrementos arbitrarios de x e y se puede expresar como

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

cumpliendo que:

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

A la parte lineal en x e y se le llama diferencial de z = f ( x , y ) en xo = ( a, b ) y se


le denota,

z z
dz = dx + dy .
x y

TEOREMA (Condicin necesaria de diferenciabilidad).- Si la funcin z = f ( x , y ) es


diferenciable en el punto ( a, b ) entonces es continua en ( a, b ) .

TEOREMA.- Si la funcin z = f ( x , y ) y una o las dos derivadas parciales primeras


son continuas en un entorno del punto (a,b ) entonces la funcin es
diferenciable en dicho punto.

Plano tangente. Aproximacin de la funcin por la diferencial

Sea S una superficie de ecuacin z=f(x,y) diferenciable en (a,b) se puede


calcular el plano tangente a la superficie en el punto P(a, b, f(a,b)) como el
plano que pasa por P y sus vectores directores son los directores de las rectas:


x = a + t x = a

r1 y = b r2 y = b + t

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

Profesora: Elena lvarez Siz S 19


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

f f
v1 = 1, 0, ( a, b ) v2 = 0,1, ( a, b )
x y

Por lo tanto un vector normal al plano tangente es:

i j k
f f  f  
n = 1 0 (a, b ) = (a, b ) i + (a,b ) j k
x x y
f
0 1 ( a, b )
y

La ecuacin del plano tangente es entonces:

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

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

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

Si f es diferenciable
f f
z = f (a + x, b + y ) f ( a, b ) (a,b ) x + (a,b ) y
x y

para ( x , y ) ( 0, 0 )

20 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

Relacin entre la diferenciabilidad y la derivada direccional

TEOREMA: Si una funcin es diferenciable existe la derivada direccional en


cualquier direccin.

TEOREMA.- Si z = f ( x , y ) es una funcin diferenciable en (a,b ) entonces la


derivada direccional de f en la direccin del vector unitario u = ( cos , sen ) es
Du f ( a, b ) = fx ( a, b ) cos + fy ( a, b ) sen

Gradiente

Definicin.- Si z = f ( x , y ) es una funcin de dos variables se define el gradiente de


f en el punto xo = ( a, b ) como el vector:

Profesora: Elena lvarez Siz S 21


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

f ( a, b ) = fx (a, b ) i + fy ( a, b ) j

PROPIEDADES DEL GRADIENTE: Sea f una funcin diferenciable en el punto


(a,b ) . Se cumplen las siguientes propiedades:

(a) Si el gradiente de f en ( a, b ) es el vector nulo entonces la derivada direccional


de f en cualquier direccin es cero.

(b) La direccin de mximo crecimiento de f viene dada por f ( x , y ) . El valor


mximo de la derivada direccional es f ( x , y ) .

(c) La direccin de mnimo crecimiento de f viene dada por f ( x, y ) . El valor


mnimo de la derivada direccional es f ( x , y ) .

(d) El vector gradiente es normal a las curvas de nivel.

2.5

2
7 3 6
1.5 4
6

2 5
4
5

1 1
3
3
2

0.5
1

0
1
4

-0.5

2
3

1
4

-1
3
5

2
5

-1.5
6 4
3
7 6 7
-2 4

-2.5
-2.5 -2 -1.5 -1 -0.5 0 0.5 1 1.5 2 2.5

Curvas de nivel de la superficie z = x 2 + y 2

22 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

Regla de la cadena

REGLA DE LA CADENA.- Sea z = f ( x , y ) una funcin definida en un dominio D


siendo cada una de las variables x e y una funcin de la variable t
x = ( t ) , y = ( t ) , to < t < t1

Si en el punto t existen las derivadas


dx dy
= ' (t ) = ' (t )
dt dt
y para cada una de las variables x = ( t ), y = ( t ) la funcin z = f ( x , y ) es
diferenciable entonces se tiene:

dz z dx z dy
= +
dt x dt y dt

DERIVACIN COMPUESTA DE DOS VARIABLES.- Sea z = f ( x , y ) una


funcin definida en un dominio D siendo cada una de las variables x e y una
funcin de dos variables u y v
x = ( u, v ) , y = ( u, v )

Profesora: Elena lvarez Siz S 23


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

Si en el punto ( u, v ) existen las derivadas parciales continuas


x x y y
, , ,
u v u v
y en el punto ( x, y ) la funcin es diferenciable entonces se tiene:

z z x z y
= +
u x u y v

Derivacin implcita

TEOREMA FUNCION IMPLCITA: Sea la ecuacin F ( x , y ) = 0 . Dicha ecuacin


define en un entorno del punto P (a, b ) a la variable y como funcin implcita de x ,
es decir, y = f ( x ) si:
 El punto ( a, b ) pertenece a la curva de ecuacin F ( x , y ) = 0
 Las derivadas parciales Fx' ( x , y ) y Fy' ( x, y ) son funciones continuas en un
entorno del punto ( a, b )
 Fy' ( x , y ) 0

NOTA: En el caso de que se cumplan los dos primeros puntos y el tercero se


sustituya por Fx' ( x , y ) 0 entonces es la x la que se define como funcin
implcita de y , es decir, x = h ( y ) .

24 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

En trazo continuo: En trazo discontinuo:

2 2
(x 2 + y2 ) = x 2 y2 ( x 2 + y2 ) = 2xy

TEOREMA.- Si la ecuacin F ( x , y ) = 0 define a y como funcin derivable de


x entonces:
dy Fx ( x , y )
= , Fy ( x, y ) 0
dx Fy ( x , y )

Demostracin: Basta derivar F ( x , y ) = 0 respecto a x aplicando la regla de la


cadena:
dy
Fx + Fy =0
dx

TEOREMA FUNCION IMPLCITA: Sea la ecuacin F ( x , y, z ) = 0 . Dicha ecuacin


define en un entorno del punto P ( a, b, c ) a la variable z como funcin
implcita de x e y es decir, z = f ( x , y ) si:
 El punto ( a, b, c ) pertenece a la superficie de ecuacin F ( x , y, z ) = 0
 Las derivadas parciales Fx' ( x , y, z ) , Fy' ( x , y, z ) y Fz' ( x , y, z ) son funciones
continuas en un entorno del punto ( a, b, c )
 Fz' ( a, b, c ) 0

Profesora: Elena lvarez Siz S 25


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

TEOREMA.- Si la ecuacin F ( x , y, z ) = 0 define a z como funcin diferenciable


de x e y entonces:
z Fx ( x, y, z ) z Fy ( x, y, z )
= , Fz ( x , y, z ) 0 = , Fz ( x, y, z ) 0
x Fz ( x , y, z ) y Fz ( x, y, z )

Superficie implcita de ecuacin: xy yz zx y = 1

OTROS EJEMPLOS:

2
z2 + ( x 2 + y2 2 ) =1

0.8z 2 log ( 0.8 ( z 2 + 0.3 ) ) = x 2 + y 2

26 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

5 ( x 2y + x 2z + y 2x + y 2z + z 2y + z 2x ) + 2 ( xy + xz + yz ) = 0

Superficies implcitas: Plano tangente: Sea S una superficie de ecuacin


F ( x , y, z ) = C y sea Po un punto de S donde F es diferenciable. La ecuacin del
plano tangente a S en Po ( xo , yo , zo ) es:

Fx ( xo , yo , zo )( x xo ) + Fx ( xo , yo , zo )( y yo ) + Fz ( xo , yo , zo )( z zo ) = 0

y las ecuaciones paramtricas de la recta normal a S en Po ( xo , yo , zo ) son


x = xo + Fx ( xo , yo , zo ) t



y = yo + Fy ( xo , yo , zo ) t



z = zo + Fz ( xo , yo , zo ) t

siempre y cuando no sean simultneamente cero todas las derivadas parciales en el


punto.

Frmula de Taylor

En este apartado generalizamos la frmula de Taylor vista para funciones de una


variable. Como es sabido si y = f ( x ) es una funcin de una variable con derivadas
de cualquier orden en un entorno del punto x = a , la frmula de Taylor en este
punto viene dada por:

Profesora: Elena lvarez Siz S 27


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

f '' ( a ) 2 f (n ( a ) n
f ( x ) = f (a ) + f ' ( a )( x a ) + (x a ) + ... + (x a ) + Rn
2! n!

n
donde Rn es un infinitsimo de orden superior a ( x a ) , es decir,

Rn
lim =0
x a n
(x a )

Utilizando la expresin del resto de Lagrange se tiene que

f (n +1 ( c ) n +1
Rn = (x a )
( n + 1) !

siendo c un punto intermedio entre a y x .

La generalizacin de la frmula anterior para una funcin de dos variables,


z = f ( x , y ) , que admite derivadas parciales de cualquier orden en un entorno de

(a,b ) viene dada por : 1

f ( x, y ) = f (a, b ) + fx (a, b )( x a ) + fy ( a, b )( y b ) +
1 2 2
+ fxx ( a, b )( x a ) + fyy ( a, b )( y b ) + 2 fxy ( a, b )( x a )( y b ) + R2
2!

donde R2 es un infinitsimo verificando:

R2
lim =0
( x ,y )(a,b ) 2
( x a, y b )
Haciendo

x = a + x x a = x
y = b + y y b = y

1
Con objeto de no complicar la notacin se ha considerado nicamente la frmula de Taylor
de orden 2 pudiendo generalizarse fcilmente a cualquier orden.

28 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

la expresin de la frmula de Taylor es:

f ( a + x, b + y ) = f ( a, b ) + fx ( a, b ) x + fy (a, b ) y +
1 2 2
+ fxx ( a, b )( x ) + fyy ( a, b )( y ) + 2 fxy ( a, b ) x y + R2
2!

Esta expresin puede escribirse de la manera siguiente:


x = ( a + x, b + y )

x o = ( a, b )
     1   T   
() ( ) ( )
f x = f xo + f xo , x xo + x xo
2
( ) ( )(
Hf xo x xo + R2 )
donde

2 f  2 f   




(x )
2 o ( )
x
y x o fxx ( x ) ( )
fxy xo
( )
Hf xo = x  =
2 f  f
o

2 f
( )
x o ( )
xo yx

(x )o ( )
fyy xo
x y y 2

se llama matriz hessiana. El trmino entre corchetes se le denomina diferencial


segunda y escribiendo dx = x, dy = y se tendr:

d 2 f = fxx ( a, b )dx 2 + fyy ( a, b )dy 2 + 2 fxy ( a, b ) dxdy =

f ( a, b ) fxy ( a, b ) dx
= ( dx dy ) xx

fxy ( a, b ) fyy ( a, b ) dy

Definicin de extremos. Puntos crticos

Definicin (Extremos absolutos).- Sea z = f ( x , y ) una funcin definida en una regin


D y sea ( a, b ) D se dice que

(a) f (a, b ) es un valor mximo absoluto de f en D si

f ( a, b ) f ( x , y ) ( x , y ) D

(b) f (a, b ) es un valor mnimo absoluto de f en D si

f ( a, b ) f ( x , y ) ( x , y ) D

Profesora: Elena lvarez Siz S 29


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

Definicin (Extremos relativos).- Sea z = f ( x , y ) una funcin definida en una regin


D y sea ( a, b ) D se dice que

(a) f (a, b ) es un valor mximo relativo de f en D si existe un entorno B ( a, b ) tal


que

f ( a, b ) f ( x , y ) ( x , y ) B

(b) f (a, b ) es un valor mnimo relativo de f en D si existe un entorno B ( a, b )


tal que

f ( a, b ) f ( x , y ) ( x , y ) B

30 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

TEOREMA DE WEIERSTRASS.- Si z = f ( x , y ) una funcin continua en un


subconjunto de D de 2 acotado y que contiene a su frontera entonces la funcin f
tiene mximo y mnimo en D .

Definicin (Punto crtico).- Sea z = f ( x , y ) una funcin definida en una regin D y


sea ( a, b ) D se dice que es un punto crtico si se cumple una de las afirmaciones
siguientes:

(1) (a,b ) est situado en el contorno de D. A estos puntos se les llama puntos
frontera.

(2) fx (a, b ) = fy ( a, b ) = 0 , es decir, f (a, b ) = 0 . A estos puntos se les llama


estacionarios.

Profesora: Elena lvarez Siz S 31


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

(3) no existe fx (a, b ) fy ( a, b ) . A estos puntos se les llama singulares.

TEOREMA.- Si f (a, b ) es un extremo relativo de f en una regin abierta de D


entonces el punto ( a, b ) es un punto crtico de f .

Condicin necesaria para la existencia de extremo de funciones diferenciables

TEOREMA.- Sea z = f ( x , y ) una funcin diferenciable en D. Es condicin necesaria


para la existencia de un extremo relativo de f en ( a, b ) D que se verifique

fx (a, b ) = fy ( a, b ) = 0

32 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

IMPORTANTE.- Es condicin necesaria pero no suficiente. Basta tomar como


ejemplo la funcin f ( x, y ) = y 2 x 2 que cumple que ( 0, 0 ) es un punto estacionario y
sin embargo no es extremo relativo (ni mximo ni mnimo).

En efecto, se cumple

fx ( x , y ) = 2x fx ( 0, 0 ) = 0

fy ( x , y ) = 2y fy ( 0, 0 ) = 0

y sin embargo el punto (0,0) no es ni mximo ni mnimo.

f ( 0, 0 ) = 0 f ( x, 0 ) = x 2 < 0 f ( 0, y ) = y 2 > 0

Luego en todo entorno del punto (0, 0) existen puntos (x, y) cumpliendo
f ( x, y ) > f ( 0, 0 ) y puntos (x, y) cumpliendo f ( x, y ) < f ( 0, 0 ) . La siguiente imagen
muestra la grfica de la funcin

Profesora: Elena lvarez Siz S 33


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

Clculo de los extremos relativos de una funcin de dos variables z=f(x,y)

Teniendo en cuenta la frmula de Taylor

f ( a + x, b + y ) = f ( a, b ) + fx ( a, b ) x + fy (a, b ) y +
1 2 2
+ fxx ( a, b )( x ) + fyy ( a, b )( y ) + 2 fxy ( a, b ) x y + R2
2!

si (a, b) es un punto cumpliendo fx (a, b ) = fy ( a, b ) = 0 se tendr que:

f ( a + x, b + y ) f ( a, b ) =
1 2 2
+ fxx ( a, b )( x ) + fyy ( a, b )( y ) + 2 fxy ( a, b ) x y + R2
2!

Considerando x e x suficientemente pequeos se cumple que:

signo ( f ( a + x , b + y ) f ( a, b ) ) =
2 2
= signo fxx ( a, b )( x ) + fyy ( a, b )( y ) + 2 fxy ( a, b ) x y

y como

d 2 f = fxx ( a, b )dx 2 + fyy ( a, b )dy 2 + 2 fxy ( a, b ) dxdy =

f ( a, b ) fxy ( a, b ) dx
= ( dx dy ) xx
fxy ( a, b ) fyy ( a, b ) dy

34 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

se trata de determinar el signo de la diferencial segunda o equivalentemente si la


matriz hessiana es definida positiva o negativa

Mtodo prctico: Los pasos a seguir son:

(1) Clculo de los puntos crticos como solucin del sistema

fx ( x , y ) = 0

fy ( x, y ) = 0

(b) Si (a, b) es un punto crtico el estudio del hessiano

fxx ( a, b ) fxy ( a, b )
H =
fyx ( a, b ) fyy ( a, b )

nos permitir concluir:

H > 0 fxx ( a, b ) > 0 ( a, b ) mnimo relativo


H > 0 fxx ( a, b ) < 0 ( a, b ) mximo relativo
H <0 ( a, b ) punto de silla

Clculo de los extremos relativos de una funcin de n variables

Los pasos a seguir son:

(1) Clculo de los puntos crticos como solucin del sistema

Profesora: Elena lvarez Siz S 35


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

fx ( x1, x 2 ,..., xn ) = 0

1

fx ( x1, x 2 ,..., xn ) = 0

2

....................................


fx ( x1, x 2 ,..., x n ) = 0
n

(2) Si (a , a ,...,a ) es un punto crtico construimos


1 2 n

fx x fx x ... fx x
1 1 1 2 1 n
f
fx x ... fx x
d 2 f = x 2x1 2 2 2 n

... ... ... ...

fx x fx ... fx x
n 1 nx2 n n

 si d 2 f es definida positiva el punto (a , a ,...,a ) es un mnimo


1 2 n

relativo
 si d 2 f es definida negativa entonces el punto (a , a ,...,a ) es 1 2 n

un mximo relativo
 si d 2 f no es definida ni semidefinida en el punto de
coordenadas (a , a ,...,a ) no hay punto extremo.
1 2 n

2
 si d f es semidefinida no puede afirmarse nada y hay que
recurrir a la definicin.

a11 a12 ... a1n



a a ... a2n
Sea A = 21 22 se definen las submatrices siguientes obtenidas a
... ... ... ...

an 1 a n 2 ... ann

partir de la matriz A

a11 a12 a11 a12 a13


A1 = ( a1 ) , A2 = , A3 = a21 a22 a23 ,... ,
a21 a22
a 31 a 31 a 33
a11 a12 ... a1n

a
21 a22 ... a2n

An = = A
... ... ... ...

an 1 an 2 ... ann

Llamamos n = det ( An ) y estudiamos el signo de estos determinantes:


1, 2 , 3 ,..., n , entonces:

36 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

[+,+,+,+,,+] MNIMO RELATIVO


[+, - ,+, - ,] MXIMO RELATIVO

Extremos condicionados

Hasta este momento se han calculado los extremos locales de funciones cuyas
variables no estn ligadas por ninguna condicin. Sin embargo, muchos
problemas de optimizacin presentan restricciones o condiciones que debe
verificar la solucin.

Un extremo (mximo o mnimo) de la funcin f ( x, y ) cuando ( x, y ) est sobre una


curva del plano contenida en el dominio de f , cuya ecuacin es g ( x , y ) = 0 , se dice
que es un extremo condicionado a la condicin o restriccin g ( x , y ) = 0 .

Por ejemplo:

Profesora: Elena lvarez Siz S 37


Ingeniera de Telecomunicacin
Teora: Funciones varias variable
Fundamentos Matemticos I

El mtodo de Lagrange i2
permite hallar analticamente los puntos extremos
condicionados de una funcin suave, es decir, con derivadas parciales continuas.

Sea F(x,y) la funcin objetivo. Supongamos que (x,y) estn condicionadas


por la ecuacin g(x,y) = K. Las funciones F y g son suaves.

TEOREMA (Mtodo de Lagrange para funciones de dos variables y una condicin).-


Sean f y g dos funciones con derivadas parciales continuas tal que f tiene un
mximo o mnimo sujeto a la restriccin dada por g ( x , y ) = 0 entonces dicho
extremo se producir en uno de los puntos crticos de la funcin F dada por
F ( x , y, ) = f ( x , y ) + g ( x , y )

Al nmero (lambda) se le llama "multiplicador de Lagrange".

OBSERVACIN.- Segn este teorema, los extremos libres de F coinciden con los
extremos condicionados de f .

2
El mtodo lo realiz uno de los matemticos ms grandes del siglo XVIII, Joseph Lagrange,
cuando tena 19 aos.

38 Profesora: Elena lvarez Siz


Teora: Funciones varias variables Ingeniera de Telecomunicacin
Fundamentos Matemticos I

Para analizar si el punto crtico ( a, b, o ) obtenido del sistema

Fx = 0

fx + gx = 0


Fy = 0 fy + gy = 0


F = 0

g ( x , y ) = 0


es mximo o mnimo se analiza el signo de la diferencial segunda de F en el


punto ( a, b )

signo d 2F = signo ( Fxx dx 2 + Fyydy 2 + 2Fxydxdy )


(a,b )

estando ligadas dx y dy por la condicin:

gx dx + gydy = 0

Nota: Si detectas algn error o errata ponte en contacto con la profesora para su
correccin.

Profesora: Elena lvarez Siz S 39

You might also like