Documentos de Académico
Documentos de Profesional
Documentos de Cultura
4.1. Conceptos bsicos del Clculo Diferencial para funciones de variable y valor real
4.1.1. Derivada
Sea f : A lmite
lim
x a
f ( x) f (a ) xa
En tal caso, al nmero definido por ese lmite es nico, se le denota por f(a), y se le llama derivada de f en a. La derivada de f en a se expresa tambin mediante el lmite del cociente incremental f ( x + h) f ( x ) . lim h 0 h Se dice que f es derivable en A cuando es derivable en todos los puntos de A. En este caso, se tiene una nueva funcin, f : A , llamada funcin derivada. Si, adems, f es continua en A, se dice que f es de clase C1 en A, y se denota f C 1 ( A) .
4.1.2. Diferencial
Sea f : A aplicacin lineal L : y a Ai . Se dice que f es diferenciable en a cuando existe una que verifica la siguiente condicin de lmite: f ( x) f (a) L( x a) = 0. lim xa xa
En tal caso, la aplicacin lineal L es nica y se llama diferencial de f en a. Se dice que f es diferenciable en A cuando es diferenciable en todos los puntos de A.
Teniendo en cuenta que las aplicaciones lineales de en son todas de la forma L ( x ) = x , para algn valor de , y haciendo unos sencillos clculos con los lmites, obtenemos que las siguientes condiciones para la funcin f en el punto a son equivalentes: (i) f es derivable en a, con derivada f(a) (ii) f es diferenciable en a, con diferencial L(x)= f(a) x. (iii) f admite recta tangente en a, con ecuacin r ( x ) = f (a ) + f '(a )( x a ) = f '(a ) x + ( f (a ) f '( a ) a ) .
La suma de funciones derivables en un punto es derivable en ese punto, siendo ( f + g )( a ) = f ( a ) + g( a ) . El producto de funciones derivables en un punto es derivable en ese punto, siendo ( f g )( a ) = f ( a ) g ( a ) + f ( a ) g( a ) . Toda funcin constante es derivable, con derivada nula en todos los puntos. El cociente de dos funciones derivables en un punto es derivable, siempre que la funcin del denominador no se anule en l, y ( f / g )( a ) = ( f ( a ) g ( a ) f ( a ) g( a ) ) / g ( a ) 2 .
Proposicin 4.1.5.2. - Si f es derivable en el punto a, entonces la funcin f* definida por f ( x) f (a) f * ( x) = xa se puede extender por continuidad al punto a mediante el valor f * ( a ) = f ( a ) .
Proposicin 4.1.5.3.
(i) Si f es derivable en el punto a y f ( a ) > 0 , entonces existe un entorno de a en el cual f ( x ) > f ( a ) para x > a y f ( x ) < f ( a ) para x < a . (ii) Si f es derivable en el punto a y f ( a ) < 0 , entonces existe un entorno de a en el cual f ( x ) < f ( a ) para x > a y f ( x ) > f ( a ) para x < a . (iii) Si f es derivable en el punto a y f ( a ) = 0 , no podemos deducir nada sobre el comportamiento de f en un entorno de a.
Proposicin 4.1.5.7.
(ii) Si f ( x ) < 0 para todo x ( , ) , entonces f es estrictamente decreciente en [ , ] . (iii) Si f ( x ) = 0 para todo x ( , ) , entonces f es constante en [ , ] .
dos funciones derivables en un abierto no acotado A. Si f ( x ) lim f ( x ) = lim g ( x ) = 0 lim f ( x ) = lim g ( x ) = y existe lim , entonces existe x x x x x g( x ) f ( x) f ( x ) lim = lim . x g ( x ) x g( x )
(ii) Sean f , g : A
4.1.
Ejercicios
E.4.1.1. Hallar en la forma ms simplificada posible las derivadas de las siguientes funciones: 1 a+x b) f ( x) = arctg a) f ( x ) = tg 3 x - tg x + x 3 1 ax
c) e)
f ( x) = ln
d)
f ( x) =
x2 x 2 + sin x
f ( x ) = ( x 2 + ln x )5 x
normal en el punto 3 / 2, 2 / 2 .
E.4.1.3. Determinar las rectas tangente y normal en el punto x = 1 para la figura dada por x 2 y + xy 2 = 2 . E.4.1.4. Determinar los parmetros a y b para los cuales ser continua y derivable en x0 la funcin x 2 , x x0 f ( x) = ax + b , x > x0 E.4.1.5. Determinar los valores del parmetro a para los cuales es la funcin x a sen(1/ x ) , x 0 f ( x) = 0 , x = 0 a) continua en 0, b) derivable en 0, c) derivable con derivada continua en 0. E.4.1.6. En un estudio medioambiental de cierta comunidad se deduce que, dentro de t aos, el nivel medio del monxido de carbono ser de Q(t)=0,05t2+0,1t+3,4 partes por milln. Cul es la previsin sobre el cambio de nivel en los prximos seis meses? E.4.1.7. Se arroja una piedra en un charco y origina una onda circular cuyo radio crece a una tasa constante de 0,5 m/s. Hallar la velocidad de crecimiento del rea de la onda cuando el radio es de 2 m. E.4.1.8. Una partcula de masa m se mueve a lo largo del eje x. La velocidad y la posicin 2 2 estn ligadas por la ecuacin m(v 2 v0 ) = k ( x0 x 2 ) , donde k, v0 y x0 son constantes positivas. Probar que la fuerza F que acta sobre la partcula es igual a F = kx . E.4.1.9. Probar que si f : ( a, b )
E.4.1.10. Probar que si a > 0 , la ecuacin x3 + ax 1 = 0 tiene exactamente una solucin real. E.4.1.11. Probar que la ecuacin e x = 1 + x tiene exactamente una solucin real. E.4.1.12. Probar que un polinomio de grado n tiene a lo sumo n races reales. E.4.1.13.
Localizar en intervalos disjuntos de longitud uno las races del polinomio P ( x) = 4 x 4 20 x3 + 31x 2 4 .
E.4.1.14. Estudiar los extremos relativos y los intervalos de crecimiento y decrecimiento de la funcin f ( x ) = xe x . E.4.1.15. Estudiar los extremos relativos de las funciones
(i) f ( x) = ln 2 x 3 + 3 x 2
(ii) g ( x) =
1
3
x 8 x + 17
2
E.4.1.16. Hallar los mximos y mnimos absolutos de las siguientes funciones: (i) f ( x ) = x 2 , x [ 1, 2] (ii) g ( x ) = x 3 , x [ 1,1]
(iii) h ( x ) =
x , 2 x 1 x + 3, 1 < x 2
E.4.1.17. Un circuito se compone de una pila de fuerza electromotriz E de resistencia interna r y una resistencia variable R. Calcular la relacin entre r y R para que la potencia E suministrada sea mxima. ( P = I 2 R , I = ). r+R E.4.1.18. Demostrar las desigualdades (i) sin x x , si x 0 (ii) ln(1 + x) x , si x 0 .
4.2. Conceptos bsicos del Clculo Diferencial para funciones de variable vectorial
4.2.1. Derivadas parciales
Sea f : A n m y a Ai . Se dice que f es derivable respecto de xi en el punto a (i=1,...,n) si existe y es finito el lmite f ( a1 ,..., ai + h,..., an ) f ( a1 ,..., ai ,..., an ) lim m. h0 h En tal caso, dicho lmite se llama derivada parcial de f respecto de xi en el punto a, y se f (a ) . denota xi Se dice que f es derivable en el punto a cuando es derivable respecto de xi en el punto a para todo i=1,...,n. Se dice que f es derivable en A cuando es derivable en el punto a para todo a A . En f : A n m , i=1,...,n, llamadas las derivadas este caso, se generan n funciones, xi parciales de f. Se dice que f es derivable con continuidad o de clase C1 en A, y se denota f C 1 ( A) , f : A n m , i=1,...,n, son continuas. cuando es derivable en A y las n funciones xi Observemos que, debido a la definicin de derivada parcial como un lmite (de variable real y de valores reales o vectoriales), si m>1 y f = ( f1 ,..., f m ) , se tiene que derivable (respecto de cada una de sus variables) sii lo es cada una de sus componentes. Por otra parte, las derivadas parciales son, en realidad, derivadas de funciones de variable, por lo cual mantienen las reglas habituales de derivacin de las funciones de variable. una f es una una
f x1
( a ),...,
f xn
(a)
f1 f1 x (a ) x (a) n 1 Jf ( a ) = . f m f m (a ) (a) x xn 1
4.2.3. Diferencial
Sea f : A
n
m
n
, verificando f ( a + h) f ( a ) L( h) lim = 0.
h0
Si f es diferenciable en a, entonces es continua en a. (El recproco no es cierto, es decir, que existen funciones continuas que no son diferenciables.) Si f es diferenciable en a, entonces es tambin derivable en a, y la matriz asociada a la aplicacin lineal Df(a) es la matriz jacobiana de f en a, es decir, Df ( a ) : n m , Df ( a )( x ) = Jf ( a ) x . (El recproco no es cierto, es decir, que existen funciones derivables que no son diferenciables, ni siquiera continuas.) Si f C 1 ( A) , entonces es diferenciable en A.
En tal caso, dicho lmite se llama derivada direccional de f respecto de la direccin u en el f (a) . punto a, y se denota u Si f es diferenciable en a, entonces tiene derivada direccional respecto de cualquier direccin en a, y se verifica f ( a ) = Df ( a )(u ) = Jf (a ) u . u En este caso, la direccin en la que se alcanza el valor mximo de las derivadas direccionales es la del gradiente de f en a.
4.2. Ejercicios
E.4.2.1. Estudiar la continuidad, derivabilidad y diferenciabilidad de la siguiente funcin en el origen: 1 si (x, y ) (0,0) xy sin 2 2 f ( x, y ) = x +y 0 si (x, y ) = (0,0) E.4.2.2. Estudiar la continuidad, derivabilidad y diferenciabilidad de la siguiente funcin en el origen: x2 y 2 si (x , y ) (0,0) y 2 f (x , y ) = x + y 2 0 si (x , y ) = (0,0) E.4.2.3. Estudiar la continuidad, derivabilidad y diferenciabilidad de la siguiente funcin en el origen: xy si ( x , y ) ( 0, 0) f ( x, y ) = x 2 + y 2
si ( x , y ) = ( 0, 0)
E.4.2.4. Calcular las derivadas parciales de las siguientes funciones: b) f ( x, y, z ) = x 2 z z cos y a) f ( x, y ) = x 2 y + cos x c) f ( x, y ) = x 2 e y e) f (u, v, w) = ln(u 2 + vw w2 ) . E.4.2.5. Un potencial electrosttico en un punto (x,y) del plano debido a una carga puntual 1 . Determinar la razn de unitaria en el origen est dado por u ( x, y ) = 2 x + y2 cambio de u en la direccin del eje OX y en la direccin del eje OY en el punto (3,4). E.4.2.6. La presin ejercida por un gas ideal encerrado est dada por P = k una constante, T es la temperatura y V el volumen. a) Determinar la razn de cambio de P con respecto a V. b) Determinar la razn de cambio de V con respecto a T. c) Determinar la razn de cambio de T con respecto de P. E.4.2.7. Demostrar que la funcin u ( x, y ) =
x2 y 2 satisface x+ y u u x ( x, y ) + y ( x, y ) = 3u ( x, y ) . x y T , donde k es V
d) f ( x, y ) = x 2 3 y
E.4.2.8. Calcular la matriz jacobiana en un punto arbitrario para las funciones a) f ( x, y ) = (sin x, xy, x 2 + y 2 ) b) f ( x) = ( x 2 , 2 x,sin x) .
E.4.2.9. Calcular la derivada direccional de f ( x, y ) = x 2 y + e x en (0,0) segn la direccin del vector v = (1,1) . E.4.2.10. Probar que si f es una funcin derivable y f ( x ) 0 , entonces f ( x ) apunta en la direccin a lo largo de la cual f crece ms rpido. E.4.2.11. Determinar en qu direccin desde (0,1) crece ms rpido la funcin f ( x, y ) = x 2 y 2 . E.4.2.12. Determinar la direccin respecto de la cual la derivada direccional de la funcin f ( x, y, z ) = xy 2 + yz + z 2 x 2 en el punto (1, 2,-1) tiene un valor mximo. E.4.2.13. Calcular el plano tangente a f ( x , y ) = x 2 + 2 xy en el punto (1,1).
E.4.2.14. Dada la superficie z = x e xy 2 , (i) hallar la ecuacin de su plano tangente en el punto P(2,1,2) (ii) usar el plano tangente para obtener una aproximacin del valor de la funcin en el punto Q(1.9, 1.02). E.4.2.15. Sea f :
2
xy 2 x2 + y 2
si ( x, y ) (0, 0)
y f (0, 0) = 0 . (i) Demostrar que f es continua en (0,0). (ii) Demostrar que f es derivable en (0,0). (iii) Demostrar que f admite derivada direccional en cualquier direccin en (0,0). (iv) Demostrar que f no es diferenciable en (0,0). (v) Hallar tres vectores tangentes a la superficie definida por z = f ( x, y ) en el punto
( 0, 0, f (0, 0) )
E.4.2.16.
Sea
g:
g ( x, y ) =
x4 y4 x 2 + xy + y 2
si
( x, y ) (0, 0) y g (0, 0) = 0 . (i) Demostrar que g es continua en (0,0). (ii) Demostrar que g es derivable en (0,0). (iii) Demostrar que g admite derivada direccional en cualquier direccin en (0,0). (iv) Demostrar que el conjunto de todos los vectores tangentes a la superficie definida por z = g ( x, y ) en el punto ( 0, 0, g (0, 0) ) es de
dimensin 2, es decir, que todos son coplanarios. Se puede deducir que g es diferenciable?
es diferenciable en
J (g
)( a ) = Dg ( f ( a ) ) Df ( a ) f )( a ) = Jg ( f ( a ) ) Jf ( a ) .
Desarrollando la anterior igualdad matricial, obtenemos las frmulas correspondientes a las derivadas parciales de la funcin compuesta: Si f = ( f1 ,..., f m ) , g = ( g1 ,..., g p ) y h = g f = ( h1 ,..., hm ) , hi x j (a) =
k =1 m
gi yk
( f ( a ))
f k x j
( a ) , i = 1,..., p , j = 1,..., n.
4.3. Ejercicios
E.4.3.1. Probar que la funcin f ( x, y ) = x1/ 3 y1/ 3 es derivable en el origen, a pesar de que la funcin g ( x ) = f ( x, x ) no es derivable en x = 0 . Interpretar el resultado. E.4.3.2. Hallar la matriz jacobiana de la funcin compuesta g f en el punto (2,1), siendo
g ( x, y ) = x 2 + xy y f ( s, t ) = ( s + t , sarctg (t )) .
E.4.3.3. Dada y = sin u , donde u = v 2 , v = ln(sin x) , hallar y . x E.4.3.4. Comprobar la Regla de la Cadena para las funciones f (t ) = t 2 , e t , t sin t ,
t = x + ln y .
E.4.3.6. Sea f : 2 {0} una funcin derivable. Si hacemos un cambio a coordenadas polares, x = cos , y = sin ,
(i) dar las derivadas parciales
2
f
2
en funcin de
2 2
f x
f y
1 f f f f + = + 2 . x y
E.4.3.7.
Sean
f,g :
por
derivadas de f y g.
u r
u s
y sean
f xi
:A
Se llama derivada parcial de orden 2 respecto de xi y xj de la funcin f en el punto a a la f derivada parcial respecto de xj de la funcin en el punto a, si existe. En tal caso, se denota xi
2 f xi x j
(a ) =
x j xi
2 f xi
2
(a) =
f xi xi
(a) .
Se dice que f es dos veces derivable en a (resp., en A) cuando f es derivable en A y todas sus derivadas parciales son derivables en a (resp., en A), es decir, existen las n2 derivadas 2 f parciales de orden 2 en a, ( a ) , i,j=1,...,n. xi x j Se dice que f es k+1 veces derivable en a (resp., en A) cuando f es k veces derivable en A k f y todas las derivadas parciales de orden k, , son derivables en a (resp., en A), es decir, xi1 ...xik existen las nk+1 derivadas parciales de orden k+1 en a,
k +1 f xi1 ...xik +1
( a ) , i1,...,ik+1=1,...,n.
Se dice que f es de clase Ck en A, y se denota f C k ( A) , para k 1 , cuando f es k veces derivable en A y todas sus derivadas parciales hasta el orden k son continuas en A. Se dice que f es de clase C en A, y se denota f C ( A) , cuando f C k ( A) para todo k , es decir, admite derivadas parciales de todos los rdenes y son continuas.
k f xi1 ...xik
(a)
k f x (i1 ) ...x (i
k)
( a ) , donde es una
En general, no podemos asegurar que dos derivadas cruzadas sean iguales (es decir, el orden de derivacin puede alterar el resultado), salvo en determinadas condiciones.
, a A y f : A 2 f xy
2 f xy
en un entorno de a y que 2 f
(a) y
yx En particular, si f C ( A) , entonces
2
(a) = =
(a ) .
2 f yx
2 f xy
en A.
, a A y f : A
, f C k ( A) . Entonces,
k f xi1 ...xik
k f x (i1 ) ...x (i
k)
para cualesquiera i1 ,..., ik {1,..., n} y para cualquier permutacin de los ndices i1 ,..., ik .
Notaciones de Landau
Una funcin ( x) se dice que es una o pequea de Landau de orden n cuando x ( x) tiende hacia a, y se denota ( x ) = o( x a ) n ( x a ) , si verifica lim =0. xa ( x a ) n Una funcin ( x) se dice que es una O grande de Landau de orden n cuando x ( x) est acotada en tiende hacia a, y se denota ( x) = O ( x a ) n ( x a ) , si la expresin ( x a)n un entorno de a.
Operadores diferenciales
Si f : A
n
operador lineal, Df ( a ) :
Df ( a )( x ) =
x (a) x ,
i =1 i i
x = ( x1 ,..., xn )
Si f : A
tenemos un operador cuadrtico, D 2 f ( a ) : n , definido, a partir de las derivadas parciales de orden dos de f en a por n 2 f 2 (2) D f ( a )( x ) = ( a ) xi x j , x = ( x1 ,..., xn ) n . i , j =1 xi x j
k f
, a A y
1 2!
f :A
1
k!
, f C k +1 ( A) . Entonces, para f ( k ) ( a )( x a ) k + Rk ( a, x) .
1
k!
f ( a )( x a ) +
f ( a )( x a ) 2 + ... +
1 2!
f ( a )( x a ) +
f ( a )( x a ) 2 + ... +
f ( k ) ( a )( x a ) k
se llama polinomio de Taylor de orden k de f en a . El trmino Rk (a, x ) se llama resto de orden k del desarrollo de Taylor de f en a, se puede expresar en la forma Rk ( a, x) = o bien
Rk ( a, x ) =
1 ( k + 1)!
a k ! f
x 1
( k +1)
(t )( x t ) k dt ,
f ( k +1) ( )( x a ) k +1 ,
(k )
(a) = f
(k )
1 i!
(i )
( a ) , i = 0,1, ..., k .
(ii) Dados, como antes, f, a y k, y el polinomio anterior, k 1 (i ) i Tk ( f , a )( x ) = T ( x ) = f ( a )( x a ) , i! i=0 cmo ser el resto f ( x ) T ( x ) ? Fijo x a , definimos la funcin de la variable real t por
G (t ) = f ( x )
i=0 k
1 i!
(i )
(t )( x t ) ( f ( x ) T ( x ) )
i
(x t)
k +1 k +1
( x a)
Como G es continua en el intervalo [ a, x ] , derivable en ( a , x ) , y G ( x ) = G ( a ) = 0 , el Teorema de Rolle nos garantiza la existencia de un punto x ( a , x ) tal que G '( x ) = 0 , con lo cual
f ( x) T ( x) = 1 ( k + 1)! f
( k +1)
( x )( x a )
k +1
.
= o( x a ) k , se puede
1 ( k + 1)!
( k +1)
( x )( x a )
k +1
Rk ( a , x ) si x [ a , a + ] y M es una cota de f
k +1
( k + 1) !
( k +1)
en [ a , a + ] .
, a A y f : A
1 2!
1 k!
, f C k +1 ( A) . Entonces, para D k f ( a )( x a ) k + Rk ( a, x) .
1 k!
Df ( a )( x a ) +
D 2 f ( a )( x a ) 2 + ... +
1 2!
Df ( a )( x a ) +
D 2 f ( a )( x a ) 2 + ... +
D k f ( a )( x a ) k
se llama polinomio de Taylor de orden k de f en a . El trmino Rk (a, x ) se llama resto de orden k del desarrollo de Taylor de f en a, se puede expresar en la forma
Rk ( a, x ) =
1 ( k + 1)!
D k +1 f ( )( x a ) k +1 ,
4.4. Ejercicios
E.4.4.1. Calcular las derivadas parciales segundas de la funcin
y E.4.4.2. Dada z = f (sin u , cos v ) siendo u = arctg , v = x f ( x, y ) = sin( x 2 y ) .
x 2 + y 2 . Hallar z . xy
, si ( x, y ) (0, 0) , f (0, 0) = 0 , x2 + y 2 (i) Estudiar si f es derivable en el origen. (ii) Estudiar si f es de clase C1 en su dominio. (iii) Hallar las derivadas parciales de orden dos de f en el origen. (iv) Estudiar si f es de clase C 2 .
xy 3
E.4.4.4. Dada la funcin f ( x ) = x + 1 , (i) dar el desarrollo de Taylor de orden cuatro de f en a=0 (ii) calcular un valor aproximado de 1, 02 utilizando un polinomio de segundo grado y dar una estimacin del error cometido. E.4.4.5. Obtener el polinomio de Taylor de orden tres de la funcin f ( x ) =
entorno de a=1.
2x + 1 x ( x + 1)
en un
E.4.4.7. Probar mediante desarrollos de Taylor que los infinitsimos x , sin x y ln(1 + x ) son equivalentes. E.4.4.8. Calcular mediante desarrollos de Taylor los siguientes lmites: sin x x x 3 / 3! sin x e x + 1 (i) lim (ii) lim x 0 x 0 x4 x2 x 2 esin x ln(1 + x 2 ) (sin 3 x 3sin x) 2 (iii) lim (iv) lim x 0 x 0 (cos 2 x cos x ) 3 tgx arctgx E.4.4.9. Desarrollar f ( x , y ) = x 2 y + 3 xy 2 + 2 y 3 en potencias de ( x + 1) y de ( y + 1) . E.4.4.10. Desarrollar f ( x, y ) = e x sin y en (0,0) mediante el polinomio de Taylor de segundo
orden. Aplicarlo para hallar aproximadamente e0.1 sin(0.49 ) .
4.5.
modo que f : U A
1
V = f (U )
1
:V U .
f = I ,obtenemos la derivada de f
( f ) ' ( f ( x) ) =
1
1 f '( x )
1
, x U ,
o, equivalentemente,
( f ) '( y) =
1
f '( f ( y ))
y V .
En particular, de f el punto f ( a ) : f Si
k
1
( f (a) ) = a ,
1 f '( a )
.
f
1
C (V ) , y derivando
k 1
iteradamente, obtenemos los valores de las derivadas sucesivas de f as a una aproximacin de la funcin f
en el punto a, llegando
,
k
, abiertos,
f (a) V
, tales que
f :U V
1
:V U , f
C (V ) . Adems,
Jf 1 ( f ( x ) ) = ( Jf ( x ) ) ,
para todo x U .
La ecuacin matricial Jf ( y ) Jf ( x ) = I , para y = f ( x ) V , nos proporciona n sistemas lineales con n ecuaciones y n incgnitas cada uno, todos ellos con determinante = det Jf ( x ) 0 , y por tanto con solucin nica. Dichas soluciones nos dan las derivadas parciales de las componentes de la funcin f respecto de sus variables en funcin de las derivadas parciales de las componentes de f. en un entorno de f ( a ) .
1
1
Fq ( x1 ,..., x p , y1 ,..., yq ) = 0 , del que se pretende despejar y1 ,..., yq como funciones de x1 ,..., x p . El Teorema de la Funcin Implcita nos permitir garantizar la existencia de dichas funciones y1 ( x1 ,..., x p ) ,, yq ( x1 ,..., x p ) , y tambin obtener informacin local de ellas y de sus derivadas para poder aproximarlas mediante desarrollos de Taylor.
, F C k ( A) tal
q
que F ( a, b ) = 0 y det
, tal que
F1 xi
F1 y1 y1 xi
+ ... +
F1 yq yq xi
=0
Fq Fq y1 Fq yq + + ... + =0, xi y1 xi yq xi
que, evaluado en el punto a, nos proporciona un sistema lineal de q ecuaciones con q incgnitas,
y1 xi
( a ),...,
yq xi
4.5. Ejercicios
E.4.5.1. Determinar en qu puntos es inversible la funcin y = x 2 6 x + 5 . Hallar la inversa en el punto correspondiente a x = 1 y comprobar que es derivable. E.4.5.2. Determinar si son o no globalmente inversibles, y, en su caso, en qu puntos son localmente inversibles las funciones (a) f ( x ) = x 2 b) f ( x ) = sin x 2 c) f ( x ) = x 3 x . E.4.5.3. Determinar si la funcin f ( x ) = 2e x cos x + x sin x es inversible en un entorno del origen. En caso afirmativo, aproximar su inversa mediante un desarrollo de Taylor de orden 2. E.4.5.4. Sea la funcin f ( x, y ) = x 3 , x + y . Puede definirse una inversa en un entorno
del origen? Contradice eso el Teorema de la Funcin Inversa?
E.4.5.5. Comprobar que la funcin f ( x, y ) = ( x 2 + xy y 3 , 3 xy 2 x 5 y + 1) es localmente inversible en un entorno de (1,0) y dar una aproximacin polinmica de orden 2 de su inversa. E.4.5.6. Sea f ( x, y ) = (e x + e y , e x e y ) . a) Probar que f es inversible localmente. b) Probar que f es inversible globalmente.
c) Calcular explcitamente las matrices jacobianas de f y de f 1 en puntos correspondientes y comprobar que una es inversa de la otra.
E.4.5.7. Sea f ( x, y ) = (e x cos y, e x sin y ) . a) Probar que f es localmente inversible en todos los puntos de su dominio. b) Probar que f no es inversible globalmente.
c) Calcular explcitamente las matrices jacobianas de f y de f 1 en puntos correspondientes y comprobar que una es inversa de la otra.
E.4.5.8. Comprobar que la expresin y 2 + sen ( y + z ) + sen ( x + z ) = 0 define en un entorno del origen a z como funcin implcita diferenciable de x e y . Expresar z en un entorno del origen mediante la frmula de Taylor de orden 2. E.4.5.9. Consideremos el sistema
u + v + x 2 y 2 + z 2 = 0 . 2 2 u + v + u 2 xyz = 0
a) b) Probar que define a u y v como funciones implcitas diferenciables de x , y , z en un entorno del punto (u0 , v0 , x0 , y0 , z0 ) = (0, 0, 0, 1 , 1 ) . 2 2 Si f ( x, y, z ) = (u ( x, y, z ), v( x, y, z )) , hallar Jf (0, 1 , 1 ) . 2 2
E.4.5.10. Dado el sistema xz 3 + y 2 u 3 = 1 , xy 3 + u 2 z = 0 , a) Probar que define a x e y como funciones implcitas diferenciables de z y u
en un entorno del punto ( x0 , y0 , z0 , u0 ) = (0, 1, 0, 1) . b) Probar que la funcin F ( z, u ) = ( x ( z, u ), y ( z, u )) admite inversa diferenciable en un entorno de (0, 1) .
E.4.5.11. Determinar el parmetro para que el tercer trmino del desarrollo de Taylor de 1 x3 y = f ( x) en un entorno de 0 sea , siendo f la funcin definida
2 3!
E.4.5.12. Determinar directamente dnde podemos resolver la ecuacin y 2 + y + 3 x + 1 = 0 poniendo y en funcin de x . Visualizar la situacin. Verificar la respuesta anterior mediante el Teorema de la Funcin Implcita y calcular la derivada de y respecto de x. E.4.5.13. Consideremos las funciones f ( x, y, z ) = (e x + y 2 , ae z + y ) y g (u, v ) = v 2 + ln u , donde a es un parmetro real. a) Calcular el valor de a para que la derivada direccional mxima de F = g f en el origen valga 1. b) Determinar para qu valores de a la ecuacin F ( x, y, z ) = a 2 define a z como funcin implcita de x e y en un entorno del origen. c) Si z = ( x, y ) es la funcin implcita anterior (en los casos en que exista), calcular las derivadas parciales de en el origen. E.4.5.14. Sea h( x, y ) = x 2 + y 3 + xy + x 3 + y , siendo un parmetro real. a) Determinar los valores de para los cuales la ecuacin h( x, y ) = 0 define a y como funcin implcita de x en un entorno del origen. b) Idem invirtiendo x e y . c) Sea y = f ( x) la funcin implcita del apartado a). Calcular el valor de para que el polinomio de Taylor de segundo grado de f en el origen valga 1 para x = 1. d) Sea F ( x, y ) = (e x + y + x 2 1, f ( x ) + y cos x ) . Probar que F admite inversa diferenciable en un entorno del origen. e) Probar que G = F F + F 1 es diferenciable en el origen y calcular DG ( 0 , 0 ) .
4.6. Extremos
4.6.1. Extremos relativos y extremos absolutos
Dada una funcin f : A n diremos que un punto a A es un Mximo relativo de f si existe un entorno U de a tal que f ( x ) f ( a ) para todo x U A . Mnimo relativo de f si existe un entorno U de a tal que f ( x ) f ( a ) para todo x U A . Extremo relativo de f si es un mximo o un mnimo relativo de f. Mximo relativo estricto de f si existe un entorno U de a tal que f ( x ) < f ( a ) para todo x U A distinto de a. Mnimo relativo estricto de f si existe un entorno U de a tal que f ( x ) > f ( a ) para todo x U A distinto de a. Extremo relativo estricto de f si es un mximo o un mnimo relativo estricto de f. Mximo absoluto de f en A si f ( x ) f ( a ) para todo x A . Mnimo absoluto de f en A si f ( x ) f ( a ) para todo x A . Extremo absoluto de f en A si es un mximo o un mnimo absoluto de f en A.
a es mximo relativo de f si k es par y f ( k ) ( a ) < 0 a es mnimo relativo de f si k es par y f ( k ) ( a ) > 0 a no es mximo ni mnimo relativo (es punto de inflexin) de f si k es impar.
en el caso de que la forma cuadrtica D 2 f ( a ) sea definida positiva (i.e., D 2 f ( a )( h) > 0 para todo h 0 ), a es un mnimo relativo estricto de f en el caso de que la forma cuadrtica D 2 f ( a ) sea definida negativa (i.e., D 2 f ( a )( h) < 0 para todo h 0 ), a es un mximo relativo estricto de f.
, A es abierto y f C 2 ( A) .
Los posibles extremos relativos de f se encuentran entre sus puntos estacionarios. Si en un punto estacionario a, la forma cuadrtica D 2 f ( a ) no mantiene signo constante, entonces a es un punto de silla. Si a es un punto estacionario de f, Hf ( a ) = de f en a y denotamos k = det
(3)
2 f xi x j
(a)
1i , j n
es la matriz hessiana
2 f xi x j
(a)
1i , j k
para k = 1,..., n ,
Para n = 2 , poniendo Hf ( a ) =
(3) anteriores se traducen de la siguiente forma: - cuando > 0 y > 0 , a es un mnimo relativo estricto de f - cuando > 0 y < 0 , a es un mximo relativo estricto de f - cuando < 0 , a es un punto de silla de f.
, abierto, a A , f : A
y g:A
, p<n
g C 1 ( A) , con
g ( a ) = 0 y rg ( Jg ( a ) ) = p . Diremos que el punto a es un - mnimo relativo de f condicionado a g cuando existe r > 0 tal que f ( a ) f ( x ) para todo x B ( a, r ) tal que g ( x ) = 0 . - mximo relativo de f condicionado a g cuando existe r > 0 tal que f ( a ) f ( x ) para todo x B ( a, r ) tal que g ( x ) = 0 . - extremo relativo de f condicionado a g cuando es un mnimo o un mximo relativo de f condicionado a g.
Las ecuaciones del sistema g ( x ) = 0 se llaman condiciones de ligadura, y normalmente se utilizan para describir partes de la frontera del dominio A.
( a ) = 0 , j = 1,..., n ,
sistema (S). i) Si D F ( a )( x ) > 0 para todo x tal que x 0 y Dg ( a )( x ) = 0 , entonces a es un mnimo relativo de f condicionado a g.
2 2
ii) Si D F ( a )( x ) < 0 para todo x tal que x 0 y Dg ( a )( x ) = 0 , entonces a es un mximo relativo de f condicionado a g.
2 2
4.6. Ejercicios
E.4.6.1. Determinar los extremos relativos de las siguientes funciones y decidir cundo son absolutos: a) f ( x ) = x 3 2 x
b) c) d) e) f) f ( x) = x 3 2 x , f ( x ) = ln(1 + x ) f ( x) = sin(3 x + 5)
2
x [0, 5]
f ( x) =
x2 3
f ( x) = x 1 + x 2 4
E.4.6.2. Determinar los extremos relativos de las siguientes funciones y decidir cundo son absolutos: a) f ( x, y ) = ( x 1) 4 + ( x y ) 4
b) c) d) e) f) g) h) i) j) f ( x, y ) = y 2 + x 2 y + x 4 f ( x, y ) = x 2 + y 2 + x + y + xy f ( x, y ) = 2 x 2 + y 2 + x 2 y f ( x, y ) = xye x + 2 y f ( x, y ) = y 2 x 3 f ( x, y ) = sen( x + y ) + cos( x y ) f ( x, y ) = xy (1 x 2 y 2 )
f ( x, y , z ) = ( x + z 2 ) e x ( y
2
+ z 2 +1)
f ( x, y, z ) = x 2 + y 2 + z 2 + xy x + y + z
E.4.6.3. Hallar el rectngulo de rea mxima inscrito en una elipse. E.4.6.4. Hallar el paraleleppedo de mayor volumen inscrito en un elipsoide. E.4.6.5. Hallar las distancias mxima y mnima del origen a la elipse 5 x 2 + 5 y 2 + 6 xy = 8 . E.4.6.6. Calcular los mximos y mnimos absolutos de f ( x, y, z ) = x 2 + y 2 + z 2 cuando las
variables estn ligadas por las condiciones x 2 / 4 + y 2 / 5 + z 2 / 25 = 1 y x + y = z .
E.4.6.8. Calcular las distancias mxima y mnima del origen a la elipse obtenida como interseccin del cilindro x 2 + y 2 = 1 y el plano x + y + z = 1 . E.4.6.9. Determinar los extremos relativos y absolutos f ( x, y ) = 2 x 2 3 y 2 2 x sobre el disco cerrado unidad.
de la funcin
: x + y / 4 1 }.
2
E.4.6.12. Sea f ( x, y ) = x 2 + y 2 x 4 . a) Hallar los extremos relativos de f en el plano, indicando cules de ellos son absolutos. b) Hallar los valores mximo y mnimo de f en el disco cerrado de centro 0 y radio 4. E.4.6.13. Sea f ( x, y ) = 3 x 2 y 2 + y 4 . a) Hallar los extremos relativos de f en el plano, indicando cules de ellos son absolutos. b) Hallar los valores mximo y mnimo de f en la regin del semiplano superior encerrada entre la elipse x 2 + 4 y 2 = 4 y el eje de abscisas. E.4.6.14. La temperatura de un punto del espacio viene dada por la funcin T ( x, y , z ) = 100 xy xz yz . a) Hallar la temperatura ms baja en el plano x + y + z = 10 . b) Y la temperatura ms alta en ese mismo plano? c) Hallar las temperaturas mxima y mnima en la parte del plano contenida en el primer octante. E.4.6.15. Hallar los extremos absolutos de la funcin f ( x, y , z ) = x + 2 y 3 z en la parte de la bola de centro 0 y radio 2 que est por encima del plano x + y + z = 1 .