12.05.2013 Views

ejercicios de cálculo diferencial en funciones de varias variables

ejercicios de cálculo diferencial en funciones de varias variables

ejercicios de cálculo diferencial en funciones de varias variables

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

EJERCICIOS DE CÁLCULO DIFERENCIAL<br />

EN FUNCIONES DE VARIAS VARIABLES<br />

Matemáticas I. Prof.: Ignacio López Torres


Ejercicios <strong>de</strong> <strong>cálculo</strong> <strong>difer<strong>en</strong>cial</strong> <strong>en</strong> <strong>funciones</strong> <strong>de</strong> <strong>varias</strong> <strong>variables</strong>.<br />

Ejercicio 1.<br />

Estudia la continuidad <strong>de</strong> las sigui<strong>en</strong>tes <strong>funciones</strong>:<br />

a) ( ) =<br />

b) ( ) =<br />

( 2<br />

√ para ( ) 6= (00) 2 +2 0 para ( ) =(00) .<br />

(<br />

3<br />

<br />

6 +2 0<br />

para ( ) 6= (00) para ( ) =(00) .<br />

(<br />

4 4<br />

+<br />

c) ( ) = 2 +2 para ( ) 6= (00) 0 para ( ) =(00) .<br />

d) ( ) =<br />

(<br />

Una solución.<br />

√ <br />

2 +2 para ( ) 6= (0 0)<br />

0 para ( ) =(0 0) .<br />

a) Observa que dom = R3 . De las propieda<strong>de</strong>s <strong>de</strong> las <strong>funciones</strong> continuas,<br />

se <strong>de</strong>duce que esta función es continua <strong>en</strong> todos los puntos <strong>de</strong> su dominio salvo,<br />

ev<strong>en</strong>tualm<strong>en</strong>te, <strong>en</strong> los puntos <strong>de</strong> la forma (0 0), con∈R. En estos puntos,<br />

para estudiar la exist<strong>en</strong>cia <strong>de</strong>l límite lim ( ) (observaquesetrata<br />

()→(00)<br />

<strong>de</strong> una in<strong>de</strong>terminación <strong>de</strong>l tipo 0<br />

0 ), proce<strong>de</strong>mos <strong>de</strong> modo similar al resultado<br />

visto <strong>en</strong> el ejemplo 5.3.4.2. <strong>de</strong> la parte <strong>de</strong> teoría (correspondi<strong>en</strong>te a un cambio<br />

a esféricas), pero efectuando ahora <strong>en</strong> la función ( ) uncambioacoor<strong>de</strong>nadas<br />

cilíndricas. En este sistema <strong>de</strong> coor<strong>de</strong>nadas, un punto ( ) <strong>de</strong>l<br />

espacio se expresa mediante tres coor<strong>de</strong>nadas, ( ), don<strong>de</strong> el significado <strong>de</strong><br />

, que es la distancia <strong>de</strong>l punto al eje , <strong>de</strong>l ángulo , y <strong>de</strong> la coor<strong>de</strong>nada<br />

, se muestra <strong>en</strong> la Figura 1.<br />

Figura 1<br />

Matemáticas I. Prof. Ignacio López Torres<br />

1


El cambio <strong>de</strong> variable para pasar <strong>de</strong> coor<strong>de</strong>nadas cilíndricas a cartesianas es<br />

= cos <br />

= s<strong>en</strong> <br />

= .<br />

Inversam<strong>en</strong>te, para pasar <strong>de</strong> coor<strong>de</strong>nadas cartesianas a cilíndricas, el cambio <strong>de</strong><br />

variable es<br />

= p 2 + 2<br />

= arctan <br />

<br />

= <br />

verificándose que ≥ 0, yque0≤2. Por tanto, efectuando un cambio a coor<strong>de</strong>nadas cilíndricas para estudiar la<br />

exist<strong>en</strong>cia <strong>de</strong>l límite lim ( ), secumpleque<br />

()→(00)<br />

<br />

lim ( cos s<strong>en</strong> ) = lim<br />

→0 →0<br />

2 cos2 <br />

<br />

= lim cos<br />

→0 2 =0,<br />

cualquiera que sean ∈ R, ∈ [0 2), porloque<br />

lim ( cos s<strong>en</strong> ) =0,<br />

→0<br />

uniformem<strong>en</strong>te <strong>en</strong> y cualquiera que sea ∈ R,yasíseverifica que lim ( ) =<br />

()→(00)<br />

0. En<strong>de</strong>finitiva, puesto que<br />

(0 0) = lim ( ) =0,<br />

()→(00)<br />

resulta que la función también es continua <strong>en</strong> todos los puntos <strong>de</strong> la forma<br />

(0 0), con ∈ R.<br />

b) Observa que dom = R 2 . De las propieda<strong>de</strong>s <strong>de</strong> las <strong>funciones</strong> continuas,<br />

se <strong>de</strong>duce que esta función es continua <strong>en</strong> todos los puntos <strong>de</strong> su dominio salvo,<br />

ev<strong>en</strong>tualm<strong>en</strong>te, el orig<strong>en</strong> <strong>de</strong> coor<strong>de</strong>nadas (0 0). En este punto, para estudiar la<br />

exist<strong>en</strong>cia <strong>de</strong>l límite lim ( ), veamos que suce<strong>de</strong> al aproximarnos según<br />

()→(00)<br />

cúbicas (pasando por el punto (0 0)) <strong>de</strong>ltipo = 3 . Haci<strong>en</strong>do = 3 <strong>en</strong><br />

la expresión <strong>de</strong>l límite según dichas cúbicas, se llega a<br />

lim<br />

→0<br />

3 6 = lim<br />

+ 2 →0<br />

3 ¡ 3¢<br />

6 +(3 2 = lim<br />

) →0<br />

=<br />

3 ¡ 3¢ 6 (1 + 2 <br />

= ,<br />

) 1+2 <strong>de</strong> don<strong>de</strong> se sigue, aplicando la propiedad 5.1.2.1. <strong>de</strong> la parte teórica, que no<br />

existe lim ( ), por lo que la función no es continua <strong>en</strong> dicho punto<br />

()→(00)<br />

(0 0).<br />

Matemáticas I. Prof. Ignacio López Torres<br />

2


c) De las propieda<strong>de</strong>s <strong>de</strong> las <strong>funciones</strong> continuas, se <strong>de</strong>duce que esta función<br />

es continua <strong>en</strong> todos los puntos salvo, ev<strong>en</strong>tualm<strong>en</strong>te, el orig<strong>en</strong> <strong>de</strong> coor<strong>de</strong>nadas<br />

(0 0). Para estudiar la exist<strong>en</strong>cia <strong>de</strong>l límite lim ( ) (observa que se<br />

()→(00)<br />

trata <strong>de</strong> una in<strong>de</strong>terminación <strong>de</strong>l tipo 0<br />

0 ), efectuamos <strong>en</strong> la función ( ) un<br />

cambio a coor<strong>de</strong>nadas polares, obt<strong>en</strong>i<strong>en</strong>do<br />

lim ( cos s<strong>en</strong> ) = lim<br />

→0 →0 2 ¡ cos 4 +s<strong>en</strong> 4 ¢ =0,<br />

cualquiera que sea ∈ (0 2]. Por tanto, dado que lim<br />

→0 ( cos s<strong>en</strong> ) =0,<br />

uniformem<strong>en</strong>te <strong>en</strong> , se verifica que lim<br />

()→(00)<br />

( ) = 0, y resulta que la<br />

función también es continua <strong>en</strong> (0 0) (al ser (0 0) = lim<br />

()→(00)<br />

( )).<br />

d) Observa que dom = R2 . De las propieda<strong>de</strong>s <strong>de</strong> las <strong>funciones</strong> continuas,<br />

se <strong>de</strong>duce que esta función es continua <strong>en</strong> todos los puntos <strong>de</strong> su dominio salvo,<br />

ev<strong>en</strong>tualm<strong>en</strong>te, el orig<strong>en</strong> <strong>de</strong> coor<strong>de</strong>nadas (0 0). Para estudiar la exist<strong>en</strong>cia <strong>de</strong>l<br />

límite lim ( ) (observa que se trata <strong>de</strong> una in<strong>de</strong>terminación <strong>de</strong>l tipo<br />

0<br />

0<br />

()→(00)<br />

), veamos que suce<strong>de</strong> al aproximarnos según rectas (pasando por el punto<br />

(0 0)) <strong>de</strong>ltipo = . Haci<strong>en</strong>do = <strong>en</strong> la expresión <strong>de</strong>l límite según<br />

dichas rectas, se llega a<br />

lim<br />

→0<br />

<br />

√ 2 + 2 2 =<br />

<br />

√ 1+ 2 ,<br />

<strong>de</strong> don<strong>de</strong> se sigue, aplicando la propiedad 5.1.2.1. <strong>de</strong> la parte teórica, que no<br />

existe lim ( ), por lo que la función no es continua <strong>en</strong> dicho punto<br />

()→(00)<br />

(0 0).<br />

Ejercicio 2.<br />

Estudia la exist<strong>en</strong>cia <strong>de</strong> <strong>de</strong>rivadas parciales primeras, y construye las <strong>funciones</strong><br />

<strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n, <strong>de</strong> las sigui<strong>en</strong>tes <strong>funciones</strong>:<br />

(<br />

2<br />

<br />

a) ( ) = 6 +2 para ( ) 6= (00) 0 para ( ) =(00) .<br />

b) ( ) =<br />

( (1−)+s<strong>en</strong>( 3 )<br />

2 + 2<br />

para ( ) 6= (00) 0 para ( ) =(00) .<br />

( 2 2<br />

( + ) s<strong>en</strong>(−)<br />

2 +2 c) ( ) =<br />

0<br />

para ( ) 6= (00) para ( ) =(00) .<br />

½ ¡<br />

2 2 2 2 log + <br />

d) ( ) =<br />

¢ 0<br />

para ( ) 6= (00) para ( ) =(00) .<br />

Matemáticas I. Prof. Ignacio López Torres<br />

3


e) ( ) =| − |.<br />

Una solución.<br />

a) Observa que dom = R 2 . Veamos que la función admite <strong>de</strong>rivadas<br />

parciales <strong>en</strong> todos los puntos <strong>de</strong> su dominio. En efecto, aplicando las propieda<strong>de</strong>s<br />

<strong>de</strong> las <strong>funciones</strong> <strong>de</strong>rivables, las reglas <strong>de</strong> <strong>de</strong>rivación vistas para <strong>funciones</strong> <strong>de</strong> una<br />

variable, y simplificando, se llega fácilm<strong>en</strong>te a que ∀( ) ∈ R 2 \{(0 0)} es<br />

<br />

( ) = −2 ¡ 26 − 2¢ (6 + 2 ) 2<br />

<br />

( ) = 2 ¡ 6 − 2¢ (6 + 2 )<br />

En cuanto al orig<strong>en</strong>, aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada parcial, se obti<strong>en</strong>e<br />

2 .<br />

<br />

(0 0)<br />

<br />

=<br />

( 0) − (0 0) 0<br />

lim<br />

=lim<br />

→0 <br />

→0 =0<br />

<br />

(0 0)<br />

<br />

=<br />

(0) − (0 0) 0<br />

lim<br />

=lim<br />

→0 <br />

→0 =0,<br />

por lo que también exist<strong>en</strong> <strong>de</strong>rivadas parciales <strong>en</strong> dicho punto, y son ambas<br />

nulas.<br />

Por tanto, las <strong>funciones</strong> <strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n <strong>de</strong> quedan<br />

<strong>de</strong>finidas <strong>de</strong>l modo sigui<strong>en</strong>te<br />

<br />

( ) =<br />

<br />

<br />

( ) =<br />

<br />

(<br />

− 2(26 − 2 )<br />

( 6 + 2 ) 2<br />

( 2 ( 6 − 2 )<br />

( 6 + 2 ) 2<br />

para ( ) 6= (00) 0 para ( ) =(00) para ( ) 6= (00) 0 para ( ) =(00) Este ejemplo prueba (una vez más) que la exist<strong>en</strong>cia <strong>de</strong> <strong>de</strong>rivadas parciales<br />

<strong>de</strong> primer or<strong>de</strong>n <strong>en</strong> un punto, no implica la continuidad <strong>en</strong> dicho punto. En<br />

efecto, fácilm<strong>en</strong>te se prueba (p.e. procedi<strong>en</strong>do <strong>de</strong> modo similar al ejemplo 1.b))<br />

que esta función no es continua <strong>en</strong> (0 0).<br />

b) Observa que dom = R 2 . Veamos que la función admite <strong>de</strong>rivadas<br />

parciales <strong>en</strong> todos los puntos <strong>de</strong> su dominio. En efecto, aplicando las propieda<strong>de</strong>s<br />

<strong>de</strong> las <strong>funciones</strong> <strong>de</strong>rivables, las reglas <strong>de</strong> <strong>de</strong>rivación vistas para <strong>funciones</strong> <strong>de</strong> una<br />

variable, y simplificando, se llega fácilm<strong>en</strong>te a que ∀( ) ∈ R 2 \{(0 0)} es<br />

<br />

( ) = −2 + 3 + 22 − 4 +34cos 3 +322 cos 3 − 2 s<strong>en</strong> 3 (2 + 2 ) 2<br />

<br />

( ) = −−3 + 2 +23 +2s<strong>en</strong> 3 (2 + 2 ) 2 .<br />

Matemáticas I. Prof. Ignacio López Torres<br />

4<br />

.


En cuanto al orig<strong>en</strong>, aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada parcial, se obti<strong>en</strong>e<br />

s<strong>en</strong> <br />

<br />

( 0) − (0 0)<br />

(0 0) = lim<br />

=lim<br />

→0 <br />

→0<br />

3<br />

2 =1<br />

<br />

(0) − (0 0) 0 − 0<br />

(0 0) = lim<br />

= lim<br />

→0 <br />

→0 =0,<br />

por lo que también exist<strong>en</strong> <strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n <strong>en</strong> (0 0).<br />

Por tanto, las <strong>funciones</strong> <strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n <strong>de</strong> quedan<br />

<strong>de</strong>finidas <strong>de</strong>l modo sigui<strong>en</strong>te<br />

<br />

( ) =<br />

<br />

<br />

( ) =<br />

<br />

( − 2 + 3 + 2 2 − 4 +3 4 cos 3 +3 2 2 cos 3 −2 s<strong>en</strong> 3<br />

(<br />

para ( ) 6= (00) 1 para ( ) =(00) ( 2 + 2 ) 2<br />

− −3 + 2 +2 3 +2 s<strong>en</strong> 3<br />

( 2 + 2 ) 2<br />

para ( ) 6= (00) 0 para ( ) =(00) c) Observa que dom = R 2 . Veamos que la función admite <strong>de</strong>rivadas parciales<br />

<strong>de</strong> primer or<strong>de</strong>n <strong>en</strong> todos los puntos <strong>de</strong> su dominio. En efecto, aplicando<br />

las propieda<strong>de</strong>s <strong>de</strong> las <strong>funciones</strong> <strong>de</strong>rivables, las reglas <strong>de</strong> <strong>de</strong>rivación vistas para<br />

<strong>funciones</strong> <strong>de</strong> una variable, y simplificando, se llega a que ∀( ) ∈ R 2 \{(0 0)}<br />

es<br />

<br />

( ) = £ s<strong>en</strong>( − )(22 − 2 + 3 )+cos(−)(4 + 22 + 3 + 3 ) ¤<br />

(2 + 2 ) 2<br />

<br />

( ) = £ s<strong>en</strong>( − )( 3 − 2 +2 2 ) − cos( − )( 3 + 3 + 2 2 + 4 ) ¤<br />

( 2 + 2 ) 2<br />

En cuanto al orig<strong>en</strong>, aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada parcial, se obti<strong>en</strong>e<br />

<br />

(0 0)<br />

<br />

=<br />

( 0) − (0 0) 0 − 0<br />

lim<br />

= lim<br />

→0 <br />

→0 =0<br />

<br />

(0 0)<br />

<br />

=<br />

(0) − (0 0) 0 − 0<br />

lim<br />

= lim<br />

→0 <br />

→0 =0,<br />

por lo que también exist<strong>en</strong> <strong>de</strong>rivadas parciales <strong>en</strong> dicho punto, y son ambas<br />

nulas.<br />

Por tanto, las <strong>funciones</strong> <strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n <strong>de</strong> quedan<br />

<strong>de</strong>finidas <strong>de</strong>l modo sigui<strong>en</strong>te<br />

<br />

( ) =<br />

<br />

<br />

( ) =<br />

<br />

( 2 2 3 4 2 2 3 3<br />

[s<strong>en</strong>(−)(2 − + )+cos(−)( + + + )]<br />

(2 +2 ) 2<br />

para ( ) 6= (00) 0<br />

( 3 2 2 3 3 2 2 4<br />

[s<strong>en</strong>(−)( − +2 )−cos(−)( + + + )]<br />

(<br />

para ( ) =(00) 2 +2 ) 2<br />

para ( ) 6= (00) 0 para ( ) =(00) Matemáticas I. Prof. Ignacio López Torres<br />

5<br />

.<br />

.<br />

.


d) Observa que dom = R2 . Veamos que la función admite <strong>de</strong>rivadas parciales<br />

<strong>de</strong> primer or<strong>de</strong>n <strong>en</strong> todos los puntos <strong>de</strong> su dominio. En efecto, aplicando<br />

las propieda<strong>de</strong>s <strong>de</strong> las <strong>funciones</strong> <strong>de</strong>rivables, las reglas <strong>de</strong> <strong>de</strong>rivación vistas para<br />

<strong>funciones</strong> <strong>de</strong> una variable, y simplificando, se llega a que ∀( ) ∈ R2 \{(0 0)}<br />

es<br />

<br />

( ) = 22 £ (2 + 2 )log(2 + 2 )+2¤ 2 + 2 <br />

( ) = 22 £ (2 + 2 )log(2 + 2 )+2¤ 2 + 2 .<br />

En cuanto al orig<strong>en</strong>, aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada parcial, se obti<strong>en</strong>e<br />

<br />

(0 0)<br />

<br />

=<br />

( 0) − (0 0) 0 − 0<br />

lim<br />

= lim<br />

→0 <br />

→0 =0<br />

<br />

(0 0)<br />

<br />

=<br />

(0) − (0 0) 0 − 0<br />

lim<br />

= lim<br />

→0 <br />

→0 =0,<br />

por lo que también exist<strong>en</strong> <strong>de</strong>rivadas parciales <strong>en</strong> dicho punto, y son ambas<br />

nulas.<br />

Por tanto, las <strong>funciones</strong> <strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n <strong>de</strong> quedan<br />

<strong>de</strong>finidas <strong>de</strong>l modo sigui<strong>en</strong>te<br />

<br />

( ) =<br />

<br />

<br />

( ) =<br />

<br />

( 2 2 2 2 2 2<br />

2 [( + )log(+ )+ ]<br />

2 +2 ( 2 2 2 2 2 2<br />

2 [( + )log(+ )+ ]<br />

2 +2 para ( ) 6= (00) 0 para ( ) =(00) para ( ) 6= (00) 0 para ( ) =(00) e) Desplegando el valor absoluto, la función ( ) =| − | se pue<strong>de</strong> reescribir<br />

<strong>en</strong> la forma<br />

½<br />

− ( − ) para − ≤ 0<br />

( ) =<br />

− para − ≥ 0 ,<br />

y sus <strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n son<br />

<br />

( )<br />

<br />

<br />

( )<br />

<br />

=<br />

=<br />

½<br />

−1<br />

1<br />

½<br />

1<br />

−1<br />

para − 0<br />

para − 0<br />

para − 0<br />

para − 0 .<br />

La gráfica <strong>de</strong> esta función <strong>en</strong> el cubo [0 1] × [0 1] × [0 2] se bosqueja <strong>en</strong> la<br />

Matemáticas I. Prof. Ignacio López Torres<br />

6<br />

.


Figura 2<br />

Figura 2<br />

Es evi<strong>de</strong>nte que, <strong>en</strong> todos los puntos ( ) ∈ R2 ½ tales que − =0,es<strong>de</strong>cir,a<br />

= <br />

lolargo<strong>de</strong>larecta mostrada<strong>en</strong>dichaFigura2,lafunciónno admite<br />

=0<br />

<strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n. Esto se pue<strong>de</strong> ver fácilm<strong>en</strong>te recordando<br />

que la función : R → R <strong>de</strong>finida mediante () =|| no es <strong>de</strong>rivable <strong>en</strong> el<br />

punto =0.<br />

Ejercicio 3.<br />

Calcular las <strong>de</strong>rivadas direccionales sigui<strong>en</strong>tes:<br />

a) De la función : R → R, <strong>de</strong>finida mediante<br />

q<br />

() =kk = 2 1 + 22 + + 2, ³<br />

1<br />

según el vector (unitario) = √ 1 √ 1<br />

´<br />

√ ∈ R <br />

, <strong>en</strong> el punto =(12 ) ∈<br />

R .<br />

b) De la función : R2 → R, <strong>de</strong>finida mediante<br />

½ s<strong>en</strong> <br />

2 + 2<br />

para ( ) 6= (00) 0 para ( ) =(00) <strong>en</strong> el punto (0 0) según cualquier vector (unitario y no nulo) =(12) ∈ R 2 .<br />

c) De la función : R 2 → R, <strong>de</strong>finida mediante<br />

( ( 2 − 4 ) 2<br />

para ( ) 6= (00) 1 para ( ) =(00) ( 2 + 4 ) 2<br />

Matemáticas I. Prof. Ignacio López Torres<br />

7<br />

,<br />

,


<strong>en</strong> el punto (0 0) según cualquier vector (unitario y no nulo) =(12) ∈ R 2 .<br />

d) De la función : R 2 → R, <strong>de</strong>finida mediante<br />

( 2 2<br />

para ( ) 6= (00) 0 para ( ) =(00) 4 + 4<br />

<strong>en</strong> el punto (0 0) según cualquier vector (unitario y no nulo) =(12) ∈ R 2 .<br />

Una solución.<br />

a) Por las propieda<strong>de</strong>s <strong>de</strong> las <strong>funciones</strong> difer<strong>en</strong>ciables sabemos que es<br />

difer<strong>en</strong>ciable <strong>en</strong> todos los puntos salvo <strong>en</strong> =0(<strong>en</strong> dicho punto, recuerda que<br />

la función : R → R <strong>de</strong>finida mediante () =||, obt<strong>en</strong>ida haci<strong>en</strong>do =1<strong>en</strong><br />

, no es difer<strong>en</strong>ciable <strong>en</strong> el punto =0∈ R, <strong>de</strong> don<strong>de</strong> se sigue que la función<br />

dada, () =kk, no es difer<strong>en</strong>ciable <strong>en</strong> 0 ∈ R ).<br />

Por tanto, para todo ∈ R ,con6= 0,porserdifer<strong>en</strong>ciable, po<strong>de</strong>mos<br />

aplicar la sigui<strong>en</strong>te fórmula para la <strong>de</strong>rivada direccional<br />

X ()<br />

() = = ∇() · ,<br />

<br />

=1<br />

y, dado que <strong>en</strong> este caso es<br />

∙<br />

1<br />

∇() =<br />

kk (12<br />

¸<br />

)<br />

=<br />

(12)<br />

1<br />

kk (12 )<br />

µ<br />

1<br />

= √ 1<br />

√ <br />

1<br />

<br />

√ ,<br />

<br />

se llega a<br />

√ X <br />

() = .<br />

kk<br />

=1<br />

Finalm<strong>en</strong>te, <strong>en</strong> el punto 0 ∈ R , aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada direccional,<br />

las propieda<strong>de</strong>s <strong>de</strong> la norma, y t<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que kk =1,severifica<br />

que<br />

() − (0) kk − 0 ||<br />

(0) = lim<br />

=lim =lim<br />

→0 <br />

→0 →0 <br />

y este límite no existe, ya que<br />

lim<br />

→0− ||<br />

= lim<br />

→0− −<br />

= −1<br />

<br />

lim<br />

→0 +<br />

||<br />

= lim<br />

→0 +<br />

<br />

=1.<br />

Por tanto, no existe <strong>de</strong>rivada direccional <strong>de</strong> la función () =kk <strong>en</strong> el punto<br />

=0según el vector . Más aún, observamos que dicha función () =kk, no<br />

admite <strong>de</strong>rivada direccional <strong>en</strong> el punto =0según ningún vector (unitario) .<br />

Matemáticas I. Prof. Ignacio López Torres<br />

8<br />

,


) Aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada direccional, se verifica que<br />

(0 + 1 0+2) − (0 0)<br />

(0 0) = lim<br />

→0<br />

<br />

=<br />

12<br />

2 1 + 2 2<br />

lim<br />

→0<br />

s<strong>en</strong> (1)<br />

<br />

= 2 12<br />

2 1 + 2 .<br />

2<br />

= lim<br />

→0<br />

2 12 s<strong>en</strong>(1)<br />

2 ( 2 1 +2 2)<br />

c) Aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada direccional, se verifica que<br />

(0 + 1 0+2) − (0 0)<br />

(0 0) = lim<br />

= lim<br />

→0<br />

<br />

→0<br />

= lim<br />

→0<br />

−4 2 1 4 2<br />

(2 1 + 24 =0.<br />

2 )2<br />

<br />

− 0<br />

( 2 1−2 4 2) 2<br />

(2 1 +24 2) 2 − 1<br />

Por tanto, esta función admite <strong>de</strong>rivada direccional <strong>en</strong> el punto (0 0) según<br />

cualquier vector (unitario) , y dicha <strong>de</strong>rivada direccional es siempre nula. Sin<br />

embargo, observa que esta función no es continua <strong>en</strong> (0 0),yaque lim ( )<br />

()→(00)<br />

no existe (se llega a esta conclusión utilizando aproximaciones al orig<strong>en</strong> según<br />

parábolas <strong>de</strong>l tipo 2 = ), ni difer<strong>en</strong>ciable <strong>en</strong> (0 0) (por no ser continua <strong>en</strong><br />

(0 0).<br />

d) Aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada direccional, se verifica que<br />

(0 + 1 0+2) − (0 0)<br />

(0 0) = lim<br />

→0<br />

<br />

=<br />

2 1 2 2<br />

4 1 + 4 2<br />

1<br />

lim<br />

→0 .<br />

Se pue<strong>de</strong>n pres<strong>en</strong>tar los sigui<strong>en</strong>tes casos:<br />

= lim<br />

→0<br />

<br />

2 12 2<br />

4 1 +4 − 0<br />

2 =<br />

<br />

• Si 12 6= 0, no existe <strong>de</strong>rivada direccional <strong>de</strong> la función dada <strong>en</strong> el punto<br />

1<br />

(0 0), ya que el límite lim<br />

→0 no existe.<br />

• Si 12 =0, es <strong>de</strong>cir, si =(10) osi =(01), <strong>en</strong>tonces exist<strong>en</strong> las<br />

<strong>de</strong>rivadas direccionales <strong>de</strong> la función dada <strong>en</strong> el punto (0 0) según dichos<br />

vectores, y son ambas nulas.<br />

Ejercicio 4.<br />

a) Prueba que la función : R 2 → R <strong>de</strong>finida mediante<br />

( 2 4 2<br />

( − )<br />

(2 +4 ) 2<br />

para ( ) 6= (00) 1 para ( ) =(00) Matemáticas I. Prof. Ignacio López Torres<br />

9<br />

,<br />

=<br />

=


no es difer<strong>en</strong>ciable <strong>en</strong> el punto (0 0), <strong>de</strong>mostrando que no es continua <strong>en</strong><br />

(0 0).<br />

b) Prueba que la función : R 2 → R <strong>de</strong>finida mediante<br />

½ ( + ) 2 s<strong>en</strong> 1<br />

+<br />

para + 6= 0<br />

0 para + =0 ,<br />

es difer<strong>en</strong>ciable <strong>en</strong> el punto (0 0), aplicando la <strong>de</strong>finición <strong>de</strong> difer<strong>en</strong>ciabilidad.<br />

Prueba que admite <strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n <strong>en</strong> (0 0), yque<br />

dichas <strong>de</strong>rivadas parciales no son continuas <strong>en</strong> (0 0). ¿Contradice este ejemplo<br />

la propiedad 6.3.3.5. vista <strong>en</strong> la parte teórica?<br />

c) Prueba que la función : R2 → R <strong>de</strong>finida mediante<br />

( 2<br />

√ <br />

2 +2 0<br />

para ( ) 6= (00) para ( ) =(00) ,<br />

es difer<strong>en</strong>ciable <strong>en</strong> el punto (0 0), <strong>de</strong>mostrando que admite <strong>de</strong>rivadas<br />

parciales <strong>de</strong> primer or<strong>de</strong>n <strong>en</strong> una bola <strong>de</strong> c<strong>en</strong>tro el punto (0 0), yquedichas<br />

<strong>de</strong>rivadas parciales son continuas <strong>en</strong> (0 0).<br />

d) Prueba que la función : R 2 → R <strong>de</strong>finida mediante<br />

½ s<strong>en</strong> 1<br />

2 + 2<br />

para ( ) 6= (00) 0 para ( ) =(00) no es difer<strong>en</strong>ciable <strong>en</strong> el punto (0 0), <strong>de</strong>mostrando que no admite alguna<br />

<strong>de</strong>rivada parcial <strong>de</strong> primer or<strong>de</strong>n <strong>en</strong> (0 0).<br />

e) Prueba que la función : R2 → R <strong>de</strong>finida mediante<br />

(<br />

2<br />

<br />

4 +2 0<br />

para ( ) 6= (00) para ( ) =(00) ,<br />

admite <strong>de</strong>rivadas direccionales <strong>en</strong> el punto (0 0) según cualquier vector (unitario)<br />

=(12), pero no es difer<strong>en</strong>ciable <strong>en</strong> (0 0).<br />

Una solución.<br />

a) Para esta función se probó <strong>en</strong> el ejercicio 3.c) que admite <strong>de</strong>rivada direccional<br />

<strong>en</strong> el punto (0 0) según cualquier vector (unitario) , y que dicha <strong>de</strong>rivada<br />

direccional es siempre nula (<strong>en</strong> particular, admite <strong>de</strong>rivadas parciales <strong>de</strong> primer<br />

or<strong>de</strong>n <strong>en</strong> dicho punto, y son ambas nulas). Sin embargo, veamos que esta función<br />

no es continua <strong>en</strong> (0 0), <strong>de</strong>bidoaque lim ( ) no existe. En efecto,<br />

()→(00)<br />

utilizando aproximaciones al orig<strong>en</strong> según parábolas <strong>de</strong>l tipo 2 = , se llega<br />

10<br />

Matemáticas I. Prof. Ignacio López Torres<br />

,


a la sigui<strong>en</strong>te expresión <strong>de</strong>l lim ( ) para cualquier aproximación al<br />

()→(00)<br />

orig<strong>en</strong> según dichas parábolas:<br />

lim<br />

→0<br />

¡ 2 − 2 2 ¢ 2<br />

(2 + 22 2 =<br />

)<br />

µ 1 − 2<br />

1+ 2<br />

2<br />

.<br />

Dado que este límite <strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> la parábola consi<strong>de</strong>rada, concluimos que<br />

el límite lim ( ) no existe y, como consecu<strong>en</strong>cia, no es continua <strong>en</strong><br />

()→(00)<br />

(0 0). Aplicando la propiedad vista <strong>en</strong> el apartado 6.3.3.2. <strong>de</strong> la parte teórica,<br />

resulta que no es difer<strong>en</strong>ciable <strong>en</strong> (0 0).<br />

b) Veamos que, para esta función, exist<strong>en</strong> <strong>de</strong>rivadas parciales <strong>de</strong> primer<br />

or<strong>de</strong>n <strong>en</strong> todos los puntos, <strong>en</strong> particular <strong>en</strong> el orig<strong>en</strong>. En efecto, aplicando<br />

las propieda<strong>de</strong>s <strong>de</strong> las <strong>funciones</strong> <strong>de</strong>rivables, las reglas <strong>de</strong> <strong>de</strong>rivación vistas para<br />

<strong>funciones</strong> <strong>de</strong> una variable, y simplificando, se llega fácilm<strong>en</strong>te a que ∀( ) ∈<br />

R2 \{( ) ∈ R2 tales que + =0} es<br />

<br />

1 1<br />

( ) = 2( + )s<strong>en</strong> − cos<br />

+ + <br />

<br />

( ) = 2( + )s<strong>en</strong><br />

<br />

1<br />

− cos<br />

+ <br />

1<br />

+ .<br />

En cuanto al orig<strong>en</strong>, aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada parcial, se obti<strong>en</strong>e<br />

<br />

= lim<br />

→0<br />

2 s<strong>en</strong> 1<br />

− 0<br />

<br />

( 0) − (0 0)<br />

(0 0) = lim<br />

→0 <br />

<br />

<br />

(0) − (0 0) <br />

(0 0) = lim<br />

= lim<br />

→0 <br />

→0<br />

2 s<strong>en</strong> 1<br />

− 0<br />

= lim s<strong>en</strong><br />

<br />

→0 1<br />

=0,<br />

por lo que también exist<strong>en</strong> <strong>de</strong>rivadas parciales <strong>en</strong> dicho punto, y son (0 0) = 0<br />

y (0 0) = 0.<br />

Veamos que estas <strong>de</strong>rivadas parciales no son continuas <strong>en</strong> (0 0). En este<br />

punto, observamos que el límite<br />

lim<br />

()→(00) (<br />

µ<br />

<br />

1 1<br />

) = lim 2( + )s<strong>en</strong> − cos =<br />

()→(00)<br />

+ + <br />

= − lim<br />

()→(00) cos<br />

1<br />

+ ,<br />

y este límite no existe. Por tanto, no es continua <strong>en</strong> el punto (0 0) (id. para<br />

(0 0)). Más aún, y no son continuas <strong>en</strong> puntos ( ) ∈ R2 tales que<br />

+ =0.<br />

Veamos, sin embargo, que es difer<strong>en</strong>ciable <strong>en</strong> (0 0). Para ello, calculamos<br />

= lim<br />

→0 s<strong>en</strong> 1<br />

=0<br />

( ) − (0 0) − (0 0)( − 0) − (0 0)( − 0)<br />

lim<br />

q<br />

()→(00)<br />

( − 0) 2 +( − 0) 2<br />

=<br />

( + )<br />

= lim<br />

()→(00)<br />

2 s<strong>en</strong> 1<br />

+<br />

p<br />

2 + 2 − 0 − 0( − 0) − 0( − 0)<br />

11<br />

Matemáticas I. Prof. Ignacio López Torres<br />

= lim<br />

()→(00)<br />

( + ) 2 s<strong>en</strong> 1<br />

+<br />

p .<br />

2 + 2


Pasando a coor<strong>de</strong>nadas polares para calcular este último límite, se llega a<br />

lim<br />

→0 (cos +s<strong>en</strong>)2 1<br />

s<strong>en</strong><br />

(cos +s<strong>en</strong>) =0,<br />

cualquiera que sea ∈ (0 2]. Por tanto, dado que<br />

( ) − (0 0) − (0 0)( − 0) − (0 0)( − 0)<br />

lim<br />

q<br />

()→(00)<br />

( − 0) 2 +( − 0) 2<br />

=0,<br />

resulta que es difer<strong>en</strong>ciable <strong>en</strong> el punto (0 0).<br />

Este ejemplo no contradice la propiedad 6.3.3.5. vista <strong>en</strong> la parte teórica,<br />

dado que la condición <strong>de</strong> que existan las <strong>de</strong>rivadas parciales <br />

y <strong>en</strong> una<br />

bola <strong>de</strong> c<strong>en</strong>tro (0 0), y sean ambas continuas <strong>en</strong> el punto (0 0), es tan solo una<br />

condición sufici<strong>en</strong>te, no si<strong>en</strong>do necesaria para garantizar la difer<strong>en</strong>ciabilidad <strong>de</strong><br />

la función <strong>en</strong> dicho punto (0 0).<br />

c) Veamos que, para esta función , exist<strong>en</strong> <strong>de</strong>rivadas parciales <strong>de</strong> primer<br />

or<strong>de</strong>n <strong>en</strong> todos los puntos, <strong>en</strong> particular <strong>en</strong> el orig<strong>en</strong>. En efecto, aplicando<br />

las propieda<strong>de</strong>s <strong>de</strong> las <strong>funciones</strong> <strong>de</strong>rivables, las reglas <strong>de</strong> <strong>de</strong>rivación vistas para<br />

<strong>funciones</strong> <strong>de</strong> una variable, y simplificando, se llega fácilm<strong>en</strong>te a que ∀( ) ∈<br />

R 2 \{(0 0)} es<br />

<br />

( ) = ¡ 2 +22¢ (2 + 2 ) 3<br />

2<br />

<br />

( )<br />

<br />

=<br />

4 .<br />

( 2 + 2 ) 3<br />

2<br />

En cuanto al orig<strong>en</strong>, aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada parcial, se obti<strong>en</strong>e<br />

<br />

(0 0)<br />

<br />

=<br />

( 0) − (0 0) 0 − 0<br />

lim<br />

= lim<br />

→0 <br />

→0 =0<br />

<br />

(0 0)<br />

<br />

=<br />

(0) − (0 0) 0 − 0<br />

lim<br />

= lim<br />

→0 <br />

→0 =0,<br />

por lo que también exist<strong>en</strong> <strong>de</strong>rivadas parciales <strong>en</strong> dicho punto, y son (0 0) = 0<br />

y (0 0) = 0.<br />

Veamos que estas <strong>de</strong>rivadas parciales son continuas <strong>en</strong> (0 0). Enestepunto,<br />

pasando a coor<strong>de</strong>nadas polares, por ejemplo <strong>en</strong> la expresión <strong>de</strong> ( ), se llega<br />

aque<br />

lim<br />

→0 ( cos s<strong>en</strong> ) = lim cos s<strong>en</strong> <br />

→0 ¡ cos 2 +2s<strong>en</strong> 2 ¢ =0<br />

para cualquiera que sea ∈ (0 2]. Por tanto, dado que lim ( cos s<strong>en</strong> ) =<br />

→0<br />

0, uniformem<strong>en</strong>te <strong>en</strong> , severifica que lim<br />

()→(00) ( ) =0=(0 0), resultando<br />

que es continua <strong>en</strong> el punto (0 0) (similarm<strong>en</strong>te para ). Como<br />

12<br />

Matemáticas I. Prof. Ignacio López Torres


consecu<strong>en</strong>cia, aplicando la propiedad 6.3.3.5. vista <strong>en</strong> la parte teórica, es<br />

difer<strong>en</strong>ciable <strong>en</strong> (0 0).<br />

d) Veamos que, para esta función, no existe <strong>de</strong>rivada parcial (0 0). En<br />

efecto, aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada parcial <strong>en</strong> el punto (0 0), se obti<strong>en</strong>e<br />

<br />

( 0) − (0 0) s<strong>en</strong><br />

(0 0) = lim<br />

= lim<br />

→0 <br />

→0<br />

1<br />

2 − 0<br />

= lim s<strong>en</strong><br />

<br />

→0 1<br />

,<br />

2 y este límite no existe. Por tanto, dado que no admite <strong>de</strong>rivada parcial<br />

(0 0), no es difer<strong>en</strong>ciable <strong>en</strong> (0 0).<br />

e) Aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada direccional <strong>en</strong> el punto (0 0) según el<br />

vector (unitario) =(12), y siempre que sea 2 6= 0,severifica que<br />

(0 + 1 0+2) − (0 0)<br />

(0 0) = lim<br />

= lim<br />

→0<br />

<br />

→0<br />

2 12<br />

2 4 1 + 2 2<br />

= 2 1<br />

2<br />

(con 2 6= 0).<br />

Por tanto, siempre que sea 2 6= 0, admite <strong>de</strong>rivada direccional <strong>en</strong> el punto<br />

(0 0) según cualquier vector (unitario) =(12), y<strong>en</strong>talcasoes<br />

(0 0) = 2 1<br />

2<br />

En particular, para el vector =(0 1) se obti<strong>en</strong>e<br />

(0 0) = 02<br />

(0 0) =<br />

1 =0.<br />

En cuanto a la <strong>de</strong>rivada direccional <strong>de</strong> <strong>en</strong> la dirección <strong>de</strong>l vector =(10), (0 0), po<strong>de</strong>mos obt<strong>en</strong>erla mediante<br />

dado que es igual a la <strong>de</strong>rivada parcial <br />

<br />

<br />

( 0) − (0 0)<br />

(0 0) = lim<br />

=0.<br />

→0 <br />

Por tanto, admite <strong>de</strong>rivada direccional <strong>en</strong> el punto (0 0) según cualquier<br />

vector (unitario) =(12), y dicha <strong>de</strong>rivada direccional se <strong>de</strong>fine mediante<br />

(0 0) =<br />

( 2 1<br />

2<br />

cuando 2 6= 0<br />

0 cuando 2 =0<br />

Veamos que no es difer<strong>en</strong>ciable <strong>en</strong> (0 0). Esto se sigue <strong>de</strong> la discontinuidad<br />

<strong>de</strong> <strong>en</strong> (0 0), como fácilm<strong>en</strong>te se comprueba utilizando una aproximación al ori-<br />

( )<br />

g<strong>en</strong> por parábolas <strong>de</strong>l tipo 2 = , que muestra que el límite lim<br />

()→(00)<br />

<strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> la dirección. En efecto, mediante dicha aproximación se obti<strong>en</strong>e el<br />

límite<br />

<br />

lim<br />

→0<br />

2<br />

22 =<br />

+ 2 <br />

1+2 .<br />

13<br />

Matemáticas I. Prof. Ignacio López Torres


En <strong>de</strong>finitiva, esta función admite <strong>de</strong>rivada direccional <strong>en</strong> el punto (0 0)<br />

según cualquier vector, pero no es difer<strong>en</strong>ciable <strong>en</strong> dicho punto (0 0).<br />

La figura 3 bosqueja la gráfica <strong>de</strong> esta función <strong>en</strong> una bola <strong>de</strong>l orig<strong>en</strong>.<br />

Ejercicio 5.<br />

Figura 3<br />

Se consi<strong>de</strong>ra la función : R2 → R, <strong>de</strong>finida mediante<br />

(<br />

(+)s<strong>en</strong>(−)<br />

2 +2 para ( ) 6= (00) 0 para ( ) =(00) Calcula (0 0) y (0 0). ¿Contradice el resultado obt<strong>en</strong>ido el teorema <strong>de</strong><br />

Clairaut, <strong>de</strong> igualdad <strong>de</strong> las <strong>de</strong>rivadas parciales cruzadas?¿Verifica dicho teorema<br />

para cualquier ( ) ∈ R 2 \(0 0)?<br />

Una solución.<br />

Es fácil probar que la función es continua <strong>en</strong> todos los puntos, incluido<br />

el orig<strong>en</strong> <strong>de</strong> coor<strong>de</strong>nadas (0 0). Asimismo es s<strong>en</strong>cillo obt<strong>en</strong>er las <strong>funciones</strong><br />

<strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n <strong>de</strong> , queson<br />

<br />

( ) =<br />

<br />

<br />

( ) =<br />

<br />

(<br />

− [s<strong>en</strong>(−)(2 −2 2 − 3 )−cos(−)( 4 + 2 2 + 3 + 3 )]<br />

( 2 + 2 ) 2<br />

.<br />

para ( ) 6= (00) 0 para ( ) =(00) ( 3 2 2 3 3 2 2 4<br />

[s<strong>en</strong>(−)( − +2 )−cos(−)( + + + )]<br />

(2 +2 ) 2<br />

14<br />

Matemáticas I. Prof. Ignacio López Torres<br />

para ( ) 6= (00) 0 para ( ) =(00) ,


son continuas <strong>en</strong> todos los puntos, excluido<br />

(0 0). En efecto, aproximaciones al orig<strong>en</strong> por rectas <strong>de</strong>l tipo = <br />

y probar que ambas <strong>funciones</strong> <br />

<br />

y <br />

<br />

muestran que los límites lim ( ) y lim ( ) <strong>de</strong>p<strong>en</strong><strong>de</strong>n <strong>de</strong> la di-<br />

→0 →0<br />

rección, por lo que los límites dobles lim<br />

()→(00) ( ) y lim<br />

()→(00) ( ) no<br />

exist<strong>en</strong>.<br />

Veamos que, para esta función , no se cumple la igualdad <strong>de</strong> las <strong>de</strong>rivadas<br />

parciales cruzadas <strong>de</strong> segundo or<strong>de</strong>n <strong>en</strong> el orig<strong>en</strong>. En efecto, dado que<br />

(0) − (0 0)<br />

(0 0) = lim<br />

=lim<br />

→0 <br />

→0<br />

( 0) − (0 0)<br />

(0 0) = lim<br />

= lim<br />

→0 <br />

→0<br />

− (3 s<strong>en</strong> )<br />

4<br />

<br />

( 3 s<strong>en</strong> )<br />

4<br />

<br />

− 0<br />

− 0<br />

s<strong>en</strong> <br />

= − lim = −1<br />

→0 <br />

s<strong>en</strong> <br />

= lim<br />

→0 =1,<br />

resulta que (0 0) = −1 6= 1=(0 0).<br />

El resultado obt<strong>en</strong>ido no contradice el teorema <strong>de</strong> Clairaut, <strong>de</strong>bido a que no<br />

se cumpl<strong>en</strong> las condiciones para aplicar este teorema. En efecto, hemos visto<br />

que y no son continuas <strong>en</strong> (0 0).<br />

Obviam<strong>en</strong>te, <strong>en</strong> cualquier punto ( ) ∈ R 2 distinto <strong>de</strong>l punto (0 0), se<br />

cumpl<strong>en</strong> las condiciones para aplicar dicho teorema, por lo que<br />

Ejercicio 6.<br />

( ) =( ) ∀ ( ) ∈ R 2 \ (0 0) .<br />

Determina el mínimo valor <strong>de</strong> ∈ N para que la función : R 2 → R, <strong>de</strong>finida<br />

mediante ½ s<strong>en</strong> − s<strong>en</strong> <br />

2 + 2<br />

para ( ) 6= (00) 0 para ( ) =(00) admita plano tang<strong>en</strong>te <strong>en</strong> el punto (0 0). Para el valor <strong>de</strong> obt<strong>en</strong>ido, <strong>de</strong>termina<br />

las ecuaciones <strong>de</strong>l plano tang<strong>en</strong>te y <strong>de</strong> la recta normal a la superficie = ( )<br />

<strong>en</strong> el punto (0 0).<br />

Una solución.<br />

En el apartado 6.2. <strong>de</strong> la parte teórica, vimos que si es difer<strong>en</strong>ciable <strong>en</strong><br />

(0 0), <strong>en</strong>tonces admite plano tang<strong>en</strong>te <strong>en</strong> (0 0), y la ecuación <strong>de</strong> dicho plano<br />

tang<strong>en</strong>te es<br />

= (0 0) + (0 0)( − 0) + (0 0)( − 0).<br />

Por tanto, se trata <strong>de</strong> <strong>de</strong>terminar el mínimo valor <strong>de</strong> ∈ N para que la<br />

función sea difer<strong>en</strong>ciable <strong>en</strong> el punto (0 0). Dado que la continuidad <strong>de</strong> <strong>en</strong><br />

(0 0) es condición necesaria para la difer<strong>en</strong>ciabilidad <strong>de</strong> <strong>en</strong> (0 0), com<strong>en</strong>zamos<br />

observando que el mínimo valor <strong>de</strong> ∈ N para que la función sea continua<br />

<strong>en</strong> (0 0) es =2. En efecto, para este valor =2, fácilm<strong>en</strong>te se comprueba,<br />

15<br />

Matemáticas I. Prof. Ignacio López Torres


por ejemplo pasando a coor<strong>de</strong>nadas polares, que lim ( ) =0,veri-<br />

()→(00)<br />

ficándose que (0 0) = lim<br />

()→(00)<br />

lim<br />

()→(00)<br />

( ) no existe.<br />

( ) =0, mi<strong>en</strong>tras que para =1el límite<br />

Supongamos, por tanto, que ≥ 2. Dado que la exist<strong>en</strong>cia <strong>de</strong> <strong>de</strong>rivadas<br />

parciales <strong>de</strong> primer or<strong>de</strong>n <strong>de</strong> <strong>en</strong> (0 0) es condición necesaria para la difer<strong>en</strong>ciabilidad<br />

<strong>de</strong> <strong>en</strong> (0 0), com<strong>en</strong>zamos ont<strong>en</strong>i<strong>en</strong>do el mínimo valor <strong>de</strong> ∈ N para<br />

que la función admita <strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n <strong>en</strong> (0 0).<br />

Aplicando la <strong>de</strong>finición <strong>de</strong> <strong>de</strong>rivada parcial <strong>en</strong> el punto (0 0), se obti<strong>en</strong>e<br />

<br />

( 0) − (0 0)<br />

(0 0) = lim<br />

= lim<br />

→0 <br />

→0<br />

<br />

(0) − (0 0)<br />

(0 0) = lim<br />

= lim<br />

→0 <br />

→0<br />

s<strong>en</strong> <br />

2<br />

<br />

− s<strong>en</strong> <br />

2<br />

<br />

− 0<br />

− 0<br />

=lim<br />

→0 −3 s<strong>en</strong> <br />

= − lim<br />

→0 −3 s<strong>en</strong> ,<br />

y dichos límites exist<strong>en</strong> siempre que sea ≥ 2. Para =2, dichos límites val<strong>en</strong><br />

1 y −1 respectivam<strong>en</strong>te, y para ≥ 3, dichos límites val<strong>en</strong> 0.<br />

Supongamos inicialm<strong>en</strong>te que ≥ 3. Entalcaso, <br />

<br />

(0 0) = (0 0) = 0, y<br />

aplicando la <strong>de</strong>finición <strong>de</strong> difer<strong>en</strong>ciabilidad <strong>en</strong> (0 0) se verifica que<br />

( ) − (0 0) − (0 0)( − 0) − (0 0)( − 0)<br />

lim<br />

q<br />

()→(00)<br />

( − 0) 2 +( − 0) 2<br />

=<br />

= lim<br />

()→(00)<br />

s<strong>en</strong> − s<strong>en</strong> <br />

2 + 2<br />

p 2 + 2<br />

= lim<br />

()→(00)<br />

s<strong>en</strong> − s<strong>en</strong> <br />

,<br />

( 2 + 2 ) 3<br />

2<br />

yestelímiteexisteyvale0 (siempre que sea ≥ 3).<br />

Veamos que para =2la función no es difer<strong>en</strong>ciable <strong>en</strong> (0 0). En efecto,<br />

para =2es <br />

<br />

(0 0) = 1, (0 0) = −1, por lo que aplicando la <strong>de</strong>finición <strong>de</strong><br />

difer<strong>en</strong>ciabilidad <strong>en</strong> (0 0)<br />

( ) − (0 0) − (0 0)( − 0) − (0 0)( − 0)<br />

lim<br />

q<br />

()→(00)<br />

( − 0) 2 +( − 0) 2<br />

=<br />

= lim<br />

()→(00)<br />

<br />

= lim<br />

()→(00)<br />

2 s<strong>en</strong> − 2 s<strong>en</strong> <br />

2 +2 p<br />

2 + 2 − + <br />

=<br />

2 s<strong>en</strong> − 2 s<strong>en</strong> − 3 − 2 + 2 + 3<br />

( 2 + 2 ) 3 2<br />

y este límite no existe como probaremos utilizando una aproximación al orig<strong>en</strong><br />

por rectas <strong>de</strong>l tipo = . En efecto, esta aproximación conduce al límite<br />

lim<br />

→0<br />

= lim<br />

→0<br />

2 s<strong>en</strong> − 2 2 s<strong>en</strong> − 3 − 2 3 + 3 + 3 3<br />

( 2 + 2 2 ) 3<br />

2<br />

2 s<strong>en</strong> − 2 2 s<strong>en</strong> − 3 − 2 3 + 3 + 3 3<br />

( 2 + 2 2 ) 3 2<br />

16<br />

Matemáticas I. Prof. Ignacio López Torres<br />

,<br />

=<br />

,


y este límite no existe, dado que <strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> como fácilm<strong>en</strong>te se comprueba<br />

utilizando <strong>de</strong>sarrollos <strong>en</strong> serie (s<strong>en</strong> = − 1<br />

63 +, s<strong>en</strong> = − 1<br />

633 +).<br />

Por tanto, el mínimo valor <strong>de</strong> ∈ N para que la función sea difer<strong>en</strong>ciable<br />

<strong>en</strong> el punto (0 0) es =3. Para dicho valor, se verifica que<br />

es<br />

<br />

(0 0) = (0 0) = 0,<br />

<br />

y la ecuación <strong>de</strong>l plano tang<strong>en</strong>te a la superficie = ( ) <strong>en</strong> el punto (0 0)<br />

<br />

<br />

=0+0( − 0) + 0( − 0),<br />

es <strong>de</strong>cir, =0.<br />

La ecuación <strong>de</strong> la recta normal a la superficie = ( ) <strong>en</strong> el punto (0 0)<br />

es<br />

− 0 − 0 − (0 0)<br />

= = ,<br />

<br />

(0 0) (0 0) −1<br />

es <strong>de</strong>cir, el eje <br />

Ejercicio 7.<br />

<br />

=0<br />

=0<br />

a) Calcula el volum<strong>en</strong> <strong>de</strong> material necesario para fabricar un vaso cilíndrico<br />

<strong>de</strong> pare<strong>de</strong>s <strong>de</strong>lgadas <strong>de</strong> radio interior , altura interior , grosor<strong>de</strong>lapared<br />

lateral 1, y grosor <strong>de</strong> la pared <strong>de</strong> la base 2 (todos los datos están expresados<br />

<strong>en</strong> metros).<br />

b) Obtén una aproximación numérica al valor <strong>de</strong> la variación que experim<strong>en</strong>ta<br />

la función ( ) = p || cuando varía <strong>de</strong> 4 a 401 e varía <strong>de</strong> 9 a<br />

899. ¿Queerrorsecometecondichaaproximación?<br />

c) Al medir las dim<strong>en</strong>siones <strong>de</strong>l radio <strong>de</strong> la base y<strong>de</strong>laaltura <strong>de</strong> un<br />

cono <strong>de</strong> revolución recto, se obtuvieron, respectivam<strong>en</strong>te, los sigui<strong>en</strong>tes valores:<br />

=14cmy =21cm. Sabi<strong>en</strong>do que dichas medidas están sujetas a errores<br />

máximos <strong>de</strong> 01cm y 015 cm, respectivam<strong>en</strong>te, obtén una estimación <strong>de</strong>l error<br />

máximo <strong>en</strong> que se pue<strong>de</strong> incurrir al calcular el volum<strong>en</strong> <strong>de</strong>l cono utilizando<br />

dichas medidas.<br />

Una solución.<br />

a) El volum<strong>en</strong> exacto <strong>de</strong> material necesario para fabricar dicho vaso se<br />

obti<strong>en</strong>e restando el volum<strong>en</strong> total <strong>de</strong>l cilindro exterior m<strong>en</strong>os el volum<strong>en</strong> <strong>de</strong>l<br />

cilindro interior, mediante<br />

¾<br />

.<br />

= ( + 1) 2 ( + 2) − 2 =<br />

= ¡ 2 2 +21 +212 + 2 1 + 21 2<br />

17<br />

Matemáticas I. Prof. Ignacio López Torres<br />

¢ .


De manera aproximada (dado que el vaso es <strong>de</strong> pare<strong>de</strong>s <strong>de</strong>lgadas), si <strong>de</strong>signamos<br />

por el volum<strong>en</strong> <strong>de</strong>l cilindro interior, <strong>en</strong>tonces = 2,yelmaterial necesario para fabricar dicho vaso se obti<strong>en</strong>e <strong>de</strong> modo aproximado mediante la<br />

<strong>difer<strong>en</strong>cial</strong><br />

= <br />

+<br />

,<br />

don<strong>de</strong> ≈ 1 y ≈ 2. Operando, se llega a<br />

=21 + 2 2 = (21 + 2) .<br />

b) Hemos visto <strong>en</strong> la parte <strong>de</strong> teoría que la expresión<br />

( ) ≈ ( )+( )( − )+( )( − ),<br />

es la linealización <strong>de</strong> <strong>en</strong> el punto ( ), y que dicha aproximación se <strong>de</strong>nomina<br />

aproximación lineal (o aproximación <strong>de</strong>l plano tang<strong>en</strong>te) a la función <strong>en</strong> ( ).<br />

Para valores <strong>de</strong> ( ) <strong>en</strong> las proximida<strong>de</strong>s <strong>de</strong> ( ), la linealización <strong>de</strong> <strong>en</strong><br />

el punto ( ) se pue<strong>de</strong> expresar mediante<br />

( ) ≈ ( )+( ) + ( ),<br />

por lo que, particularizando para la función ( ) = p || yelpunto(4 9),<br />

se llega a<br />

(401 899) ≈ (4 9) + (4 9) · 001 + (4 9) · (−001) .<br />

En estas condiciones, t<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que <strong>en</strong> el punto (4 9) es<br />

(4 9) =<br />

<br />

2 √ ¯<br />

¯ =<br />

(49)<br />

3<br />

4 =075<br />

(4 9) =<br />

<br />

2 √ ¯<br />

¯ =<br />

(49)<br />

1<br />

3 ,<br />

se obti<strong>en</strong>e<br />

(401 899) ≈ 6+075 · 001 − 001<br />

≈ 60042.<br />

3<br />

Por tanto, la variación que experim<strong>en</strong>ta es<br />

(401 899) − (4 9) ≈ 60042 − 6=00042.<br />

Finalm<strong>en</strong>te, dado que el valor exacto <strong>de</strong> dicha variación es<br />

p |401 · 899| − p |4 · 9| ≈ 000416,<br />

el error que se comete mediante la aproximación lineal es <strong>de</strong>l or<strong>de</strong>n <strong>de</strong><br />

≈ 00001.<br />

18<br />

Matemáticas I. Prof. Ignacio López Torres


c) Elvolum<strong>en</strong><strong>de</strong>esteconoes<br />

= 1<br />

3 2 = 1<br />

3 · 142 · 21 = 1372 ≈ 4310262 cm 3 .<br />

Difer<strong>en</strong>ciando <strong>en</strong> esta expresión, se llega a<br />

= <br />

+<br />

<br />

2 1<br />

= +<br />

3 3 2. Por tanto, el error (absoluto) máximo <strong>en</strong> que se pue<strong>de</strong> incurrir al calcular el<br />

volum<strong>en</strong> <strong>de</strong>l cono utilizando dichas medidas es <strong>de</strong>l or<strong>de</strong>n <strong>de</strong><br />

= 2<br />

· 14 · 21 · 01+1<br />

3 3 · 142 · 015 = 294 ≈ 92363 cm 3 ,<br />

que, <strong>en</strong> relación al volum<strong>en</strong> calculado, supone un error relativo <strong>de</strong><br />

Ejercicio 8.<br />

<br />

<br />

92363<br />

≈ ≈ 2143%.<br />

4310262<br />

Para las sigui<strong>en</strong>tes <strong>funciones</strong> y , estudiar la difer<strong>en</strong>ciabilidad <strong>de</strong> las composiciones<br />

= ◦ <strong>en</strong> los puntos especificados. En caso <strong>de</strong> difer<strong>en</strong>ciables,<br />

obt<strong>en</strong>er su <strong>difer<strong>en</strong>cial</strong>:<br />

a) : R 3 → R 2 <strong>de</strong>finida mediante ( ) = ¡ 2 +2 2 +3 2 4 2 − 2¢<br />

: ⊂ R 2 → R 3 ,con = {( ) ∈ R 2 : 3 y ( ) 6= (0 0)}, <strong>de</strong>finida<br />

mediante ( ) = ¡√ − 3 √ 2 + 2 3 − 4 ¢ , <strong>en</strong> el punto (4 3).<br />

b) : ⊂ R3 → R2 ,con = {( ) ∈ R3 ³<br />

:( ) 6= (00)}, <strong>de</strong>finida<br />

mediante ( ) = 2 + 2 2 +2 ´<br />

: R3 → R3 <strong>de</strong>finida mediante ( ) =(s<strong>en</strong> cos s<strong>en</strong> s<strong>en</strong> cos ),<br />

<strong>en</strong> el punto ¡ <br />

4 6 4¢ .<br />

Una solución.<br />

a) Aplicando el resultado visto <strong>en</strong> la parte <strong>de</strong> teoría, concerni<strong>en</strong>te a la regla<br />

<strong>de</strong> la ca<strong>de</strong>na, dado que es difer<strong>en</strong>ciable <strong>en</strong> (4 3), por ser sus tres compon<strong>en</strong>tes<br />

difer<strong>en</strong>ciables <strong>en</strong> dicho punto, y es difer<strong>en</strong>ciable <strong>en</strong> (4 3) = (1 5 0), porser<br />

sus dos compon<strong>en</strong>tes difer<strong>en</strong>ciables <strong>en</strong> (1 5 0), resultaque ◦ es difer<strong>en</strong>ciable<br />

<strong>en</strong> (4 3), yseverifica que<br />

( ◦ )(43) = ((4 3)) · (4 3) =<br />

= (1 5 0) · (4 3).<br />

19<br />

Matemáticas I. Prof. Ignacio López Torres


En estas condiciones, <strong>de</strong><br />

se sigue que<br />

Delmismomodo,<strong>de</strong><br />

( ) =<br />

(1 5 0) =<br />

⎛<br />

( ) = ⎝<br />

µ 2 4 6<br />

8 −2 0<br />

µ 2 20 0<br />

8 −10 0<br />

1<br />

2 √ −3<br />

√ <br />

2 +2 0<br />

<br />

√ 2 + 2<br />

3 −4<br />

<br />

,<br />

<br />

.<br />

⎞<br />

⎠<br />

se sigue que<br />

Por tanto,<br />

⎛<br />

(4 3) = ⎝<br />

1<br />

2<br />

4<br />

5<br />

3<br />

⎞<br />

0<br />

3 ⎠<br />

5 .<br />

−4<br />

µ<br />

2<br />

( ◦ )(43) =<br />

8<br />

20<br />

−10<br />

⎛<br />

<br />

0<br />

· ⎝<br />

0<br />

1<br />

2<br />

4<br />

5<br />

3<br />

⎞<br />

0<br />

3 ⎠<br />

5 =<br />

−4<br />

µ 17 12<br />

−4 −6<br />

Finalm<strong>en</strong>te, la <strong>difer<strong>en</strong>cial</strong> <strong>de</strong> ◦ <strong>en</strong> el punto (4 3), se pue<strong>de</strong> expresar<br />

mediante<br />

µ<br />

17<br />

( ◦ )(43) =<br />

−4<br />

µ <br />

12 <br />

.<br />

−6 <br />

b) Aplicando el resultado visto <strong>en</strong> la parte <strong>de</strong> teoría, concerni<strong>en</strong>te a la regla<br />

<strong>de</strong> la ca<strong>de</strong>na, dado que es difer<strong>en</strong>ciable <strong>en</strong> ¡ <br />

4 6 4¢ , por ser sus tres compon<strong>en</strong>tes<br />

difer<strong>en</strong>ciables <strong>en</strong> dicho punto (las tres compon<strong>en</strong>tes se expresan mediante<br />

el producto <strong>de</strong> <strong>funciones</strong> difer<strong>en</strong>ciables <strong>de</strong> una variable), y es difer<strong>en</strong>ciable<br />

<strong>en</strong> ¡ <br />

4 6 4¢ = ¡√ 2 √ 2 2 √ 3 ¢ , por ser sus dos compon<strong>en</strong>tes difer<strong>en</strong>ciables <strong>en</strong><br />

¡√ √ √ ¢ ¡<br />

<br />

2 2 2 3 ,resultaque◦es difer<strong>en</strong>ciable <strong>en</strong><br />

( ◦ )<br />

³<br />

<br />

´<br />

4<br />

4 6<br />

En estas condiciones, <strong>de</strong><br />

( ) =<br />

4<br />

<br />

.<br />

<br />

6 4¢ ,yseverifica que<br />

³ ³<br />

<br />

´´ ³<br />

<br />

´<br />

= 4 · 4 =<br />

³√<br />

4 6 4 6<br />

√ √ ´ ³<br />

<br />

´<br />

= 2 2 2 3 · 4 .<br />

4 6<br />

Ã<br />

2 2 0<br />

−2<br />

( 2 + 2 ) 2<br />

20<br />

−2<br />

( 2 + 2 ) 2<br />

Matemáticas I. Prof. Ignacio López Torres<br />

1<br />

2 + 2<br />

!<br />

,


se sigue que<br />

<br />

Delmismomodo,<strong>de</strong><br />

⎛<br />

( ) = ⎝<br />

se sigue que<br />

Por tanto,<br />

( ◦ )<br />

Ã<br />

³√ √ √ ´<br />

2 2 2 3 =<br />

<br />

³<br />

<br />

´<br />

4<br />

4 6<br />

³ <br />

4<br />

=<br />

=<br />

2 √ 2 2 √ 2 0<br />

− √ 6<br />

4<br />

− √ 6<br />

4<br />

− s<strong>en</strong> s<strong>en</strong> cos cos s<strong>en</strong> cos <br />

s<strong>en</strong> cos cos s<strong>en</strong> s<strong>en</strong> s<strong>en</strong> <br />

0 − s<strong>en</strong> cos <br />

<br />

´<br />

4 =<br />

6<br />

Ã<br />

Ã<br />

⎛<br />

⎜<br />

⎝<br />

2 √ 2 2 √ 2 0<br />

− √ 6<br />

4<br />

− √ 2 √ 6 √ 2<br />

4<br />

√ 2 √ 6 √ 2<br />

4<br />

0 −2 √ 3<br />

2<br />

− √ 6<br />

4<br />

0 8 √ 3 2<br />

0 − 7<br />

2<br />

− √ 3<br />

8<br />

1<br />

4<br />

⎛<br />

!<br />

⎜<br />

· ⎝<br />

!<br />

.<br />

1<br />

4<br />

⎞<br />

⎟<br />

⎠ .<br />

!<br />

.<br />

⎞<br />

⎠<br />

− √ 2 √ 6 √ 2<br />

4<br />

√ 2 √ 6 √ 2<br />

4<br />

0 −2 √ 3<br />

2<br />

Finalm<strong>en</strong>te, la <strong>difer<strong>en</strong>cial</strong> <strong>de</strong> ◦ <strong>en</strong> el punto ¡ <br />

4<br />

mediante<br />

Ã<br />

³<br />

<br />

´<br />

0<br />

( ◦ ) 4 =<br />

4 6<br />

8 √ 0<br />

3<br />

−<br />

2<br />

7<br />

2 − √ 3<br />

8<br />

! ⎛<br />

⎝ <br />

<br />

<br />

Ejercicio 9.<br />

⎞<br />

⎟<br />

⎠ =<br />

<br />

6 4¢ , se pue<strong>de</strong> expresar<br />

Determina los puntos ( ) ∈ R 3 para los que las sigui<strong>en</strong>tes <strong>funciones</strong><br />

: R 3 → R 3 son localm<strong>en</strong>te invertibles. Para dichos puntos, obtén la <strong>difer<strong>en</strong>cial</strong><br />

<strong>de</strong> la función −1 (localm<strong>en</strong>te <strong>de</strong>finida) <strong>en</strong> el punto que se especifica.¿Son dichas<br />

<strong>funciones</strong> globalm<strong>en</strong>te invertibles?<br />

a) : R 3 → R 3 <strong>de</strong>finida mediante ( ) =( s<strong>en</strong> cos s<strong>en</strong> s<strong>en</strong> cos ),<br />

<strong>en</strong> el punto ¡ <br />

4 6 4¢ .<br />

b) : R 3 → R 3 <strong>de</strong>finida mediante ( ) =( cos s<strong>en</strong> ), <strong>en</strong>el<br />

punto ¡ 2 <br />

3 3¢ .<br />

21<br />

Matemáticas I. Prof. Ignacio López Torres<br />

⎞<br />

⎠ .


Una solución.<br />

a) Por la propieda<strong>de</strong>s <strong>de</strong> las <strong>funciones</strong> difer<strong>en</strong>ciables, se verifica que ∈<br />

1 (R3 ),y∀( ) ∈ R3 se cumple que<br />

¯<br />

¯<br />

¯ − s<strong>en</strong> s<strong>en</strong> cos cos s<strong>en</strong> cos ¯<br />

|( )| = ¯ s<strong>en</strong> cos cos s<strong>en</strong> s<strong>en</strong> s<strong>en</strong> ¯<br />

¯ 0 − s<strong>en</strong> cos ¯ = −2 s<strong>en</strong> .<br />

Por tanto, <strong>de</strong>signando por = {( ) ∈ R 3 : = 0 o = ± para<br />

=0 1 2 }, severifica que ∀ ( ) ∈ R 3 \, es|( )| 6= 0.<br />

Observamos que no admite función inversa global (ya que, al ser ( ) =<br />

( ± 2 ± 2 ), para =0 1 2 , no es inyectiva). Sin embargo,<br />

dado que cumple las condiciones <strong>de</strong>l Teorema <strong>de</strong> la función inversa <strong>en</strong> todo<br />

punto ( ) ∈ R 3 \ ( ∈ 1 (R 3 ) y |( )| 6= 0 ∀ ( ) ∈ R 3 \),<br />

es localm<strong>en</strong>te invertible <strong>en</strong> cualquier punto ( ) ∈ R 3 \. Por tanto,<br />

∀ ( ) ∈ R 3 \ existe un conjunto abierto cont<strong>en</strong>i<strong>en</strong>do al punto ( )<br />

<strong>en</strong> el cual : → = () es regular. Más aun, <strong>en</strong> tales casos, el conjunto<br />

= () es un conjunto abierto, y la función inversa local −1 : → verifica<br />

que −1 ∈ 1 ( ), yque<br />

−1 ( ) = (( )) −1 =<br />

=<br />

don<strong>de</strong> ( ) =( ).<br />

¡ <br />

4<br />

⎛<br />

⎝<br />

⎛ s<strong>en</strong> cos <br />

− s<strong>en</strong> s<strong>en</strong> 0<br />

⎝ cos cos s<strong>en</strong> cos <br />

<br />

−<br />

s<strong>en</strong> cos s<strong>en</strong> s<strong>en</strong> cos <br />

− s<strong>en</strong> s<strong>en</strong> <br />

s<strong>en</strong> cos <br />

cos cos <br />

cos s<strong>en</strong> <br />

s<strong>en</strong> cos <br />

s<strong>en</strong> s<strong>en</strong> <br />

0<br />

⎞<br />

− s<strong>en</strong> cos <br />

s<strong>en</strong> <br />

<br />

En particular, si consi<strong>de</strong>ramos el punto ( ) = ¡ <br />

4<br />

<br />

6 4¢ = ¡√ 2 √ 2 2 √ 3 ¢ ,yes<br />

−1 ³√ √ √ ´<br />

2 2 2 3<br />

=<br />

=<br />

³<br />

<br />

⎛<br />

⎜<br />

⎝<br />

³ <br />

4<br />

− √ 2<br />

√4 6<br />

√16 2<br />

4<br />

<br />

´´ −1<br />

4 =<br />

6<br />

√<br />

2<br />

√4 6<br />

√16 2<br />

4<br />

√16 2<br />

4<br />

√8 3<br />

2<br />

⎛<br />

⎜<br />

⎝<br />

⎞<br />

0<br />

1 ⎟<br />

− ⎠ .<br />

√16 2<br />

4<br />

√8 3<br />

2<br />

⎠ .<br />

<br />

6 4¢ ,severifica que<br />

− √ 2 √ 6 √ 2<br />

4<br />

√ 2 √ 6 √ 2<br />

4<br />

0 −2 √ 3<br />

2<br />

Finalm<strong>en</strong>te, la <strong>difer<strong>en</strong>cial</strong> <strong>de</strong> −1 <strong>en</strong> el punto ¡√ 2 √ 2 2 √ 3 ¢ ,seexpresamediante<br />

−1 ³√<br />

⎛<br />

√ √ ´ −<br />

⎜<br />

2 2 2 3 = ⎝<br />

√ 2<br />

√4 6<br />

√<br />

2<br />

√4 6<br />

0<br />

1 −<br />

⎞ ⎛<br />

⎟<br />

⎠ ⎝ <br />

<br />

<br />

⎞<br />

⎠ .<br />

22<br />

Matemáticas I. Prof. Ignacio López Torres<br />

⎞<br />

⎟<br />

⎠<br />

−1<br />

=<br />

⎞<br />

⎠<br />

−1<br />

=


) Por la propieda<strong>de</strong>s <strong>de</strong> las <strong>funciones</strong> difer<strong>en</strong>ciables, se verifica que ∈<br />

1 (R3 ),y∀( ) ∈ R3 se cumple que<br />

¯<br />

¯<br />

¯ cos − s<strong>en</strong> 0 ¯<br />

|( )| = ¯ s<strong>en</strong> cos 0 ¯ = .<br />

¯ 0 0 1 ¯<br />

Por tanto, <strong>de</strong>signando por = {( ) ∈ R 3 : =0}, severifica que<br />

∀ ( ) ∈ R 3 \, es|( )| 6= 0.<br />

Observamos que no admite función inversa global (ya que, al ser ( ) =<br />

( ± 2 ), para =0 1 2 , no es inyectiva). Sin embargo, dado<br />

que cumple las condiciones <strong>de</strong>l Teorema <strong>de</strong> la función inversa <strong>en</strong> todo punto<br />

( ) ∈ R 3 \ ( ∈ 1 (R 3 ) y |( )| 6= 0 ∀ ( ) ∈ R 3 \), es localm<strong>en</strong>te<br />

invertible <strong>en</strong> cualquier punto ( ) ∈ R 3 \. Por tanto, ∀ ( ) ∈<br />

R 3 \ existe un conjunto abierto cont<strong>en</strong>i<strong>en</strong>do al punto ( ) <strong>en</strong> el cual<br />

: → = () es regular. Más aun, <strong>en</strong> tales casos, el conjunto = ()<br />

es un conjunto abierto, y la función inversa local −1 : → verifica que<br />

−1 ∈ 1 ( ), yque<br />

−1 ( ) = (( )) −1 =<br />

=<br />

⎛<br />

⎝<br />

⎛<br />

cos <br />

⎝ s<strong>en</strong> <br />

− s<strong>en</strong> <br />

cos <br />

0<br />

0<br />

cos <br />

s<strong>en</strong> <br />

− <br />

0<br />

s<strong>en</strong> <br />

cos <br />

<br />

0<br />

0<br />

⎞<br />

0<br />

0 ⎠ .<br />

1<br />

0 1<br />

En particular, si consi<strong>de</strong>ramos el punto ( ) = ¡ 2 <br />

3 3¢ , se verifica que<br />

¡ 2 <br />

3 3¢ = ¡ 1 √ 3 3 ¢ ,yes<br />

³<br />

−1<br />

1 √ ´<br />

3 3<br />

=<br />

=<br />

³ ³<br />

<br />

⎛<br />

⎜<br />

⎝<br />

1<br />

2<br />

− √ 3<br />

4<br />

2 <br />

3<br />

⎛<br />

´´ −1<br />

3 = ⎝<br />

√ ⎞<br />

3<br />

2 0<br />

1 ⎟<br />

4 0 ⎠ .<br />

0 0 1<br />

1<br />

2 −√ 3 0<br />

√ 3<br />

2 1 0<br />

0 0 1<br />

Finalm<strong>en</strong>te, la <strong>difer<strong>en</strong>cial</strong> <strong>de</strong> −1 <strong>en</strong> el punto ¡ 1 √ 3 3 ¢ ,seexpresamediante<br />

³<br />

−1<br />

1 √ ⎛<br />

1<br />

´<br />

⎜ 2<br />

3 3 = ⎝ −<br />

√<br />

3<br />

2 0<br />

√ 3<br />

4<br />

0<br />

1<br />

4<br />

0<br />

⎞ ⎛<br />

⎟<br />

0 ⎠ ⎝<br />

1<br />

<br />

<br />

<br />

⎞<br />

⎠ .<br />

23<br />

Matemáticas I. Prof. Ignacio López Torres<br />

⎞<br />

⎠<br />

⎞<br />

⎠<br />

−1<br />

−1<br />

=<br />

=


Ejercicio 10.<br />

a) Se consi<strong>de</strong>ra la función : R 2 → R <strong>de</strong>finida mediante<br />

( ) = 3 + 3 + 2 + + 2 + .<br />

Determina los valores <strong>de</strong>l parámetro ∈ R para los cuales la ecuación<br />

( ) =0<br />

<strong>de</strong>fine a como función implícita <strong>de</strong> , = (), <strong>en</strong> un <strong>en</strong>torno <strong>de</strong>l punto (0 0).<br />

Para dichos valores <strong>de</strong> , obtén 0 (0).<br />

b) Sea<br />

= {( ) ∈ R 2 : 0 0}.<br />

consi<strong>de</strong>ra la función : → R <strong>de</strong>finida mediante<br />

Estudia si la ecuación<br />

( ) = − .<br />

( ) =0<br />

<strong>de</strong>fine a como función implícita <strong>de</strong> , = (), <strong>en</strong> un <strong>en</strong>torno <strong>de</strong>l punto<br />

¡ −1 −1 ¢ .Encasoafirmativo, obtén 0 ( −1 ).<br />

c) Sea<br />

= {( ) ∈ R 3 : 0 0 0}.<br />

consi<strong>de</strong>ra la función : → R <strong>de</strong>finida mediante<br />

( ) = log + log + log .<br />

Estudia si la ecuación<br />

( ) =0<br />

<strong>de</strong>fine a como función implícita <strong>de</strong> e , = ( ), <strong>en</strong>un<strong>en</strong>torno<strong>de</strong>lpunto<br />

(1 1 1). Encasoafirmativo, obtén (1 1) y (1 1).<br />

Una solución.<br />

a) T<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que ∈ 1 (R 2 ),que (0 0) = 0, yque<br />

(0 0) = £ 3 2 + +2 + ¤<br />

{=0=0}<br />

= 6= 0<br />

si y solam<strong>en</strong>te si 6= 0. Por tanto, aplicando el teorema <strong>de</strong> la función implícita,<br />

siempre que sea 6= 0, <strong>en</strong> las proximida<strong>de</strong>s <strong>de</strong>l punto (0 0) la ecuación ( ) =<br />

0 <strong>de</strong>fine una función difer<strong>en</strong>ciable = () tal que ( ()) = 0.<br />

24<br />

Matemáticas I. Prof. Ignacio López Torres


En dicho punto (0 0), y para dicha función implícita = (), obt<strong>en</strong>emos<br />

0 (0) = − (0<br />

£ ¤<br />

2<br />

0) 3 + +2 {=0=0}<br />

= −<br />

= −<br />

(0 0) <br />

0<br />

=0.<br />

b) T<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que ∈ 1 (), que ¡ −1 −1¢ =0,yque<br />

¡ −1 −1<br />

¢ = £ log + −1¤<br />

{=−1=−1 } =2−−1 6= 0<br />

resulta, aplicando el teorema <strong>de</strong> la función implícita que, <strong>en</strong> las proximida<strong>de</strong>s<br />

<strong>de</strong>l punto ¡ −1 −1¢ la ecuación ( ) =0<strong>de</strong>fine una función difer<strong>en</strong>ciable<br />

= () tal que ( ()) = 0.<br />

En dicho punto ¡ −1 −1¢ , y para dicha función implícita = (), obt<strong>en</strong>-<br />

emos<br />

0 ( −1 )=− <br />

¡<br />

−1 −1 ¢<br />

(−1−1 )<br />

= −<br />

£ ¤<br />

−1 + log {=−1=−1 }<br />

2 −−1<br />

= − 2−−1<br />

2 −−1 = −1.<br />

c) T<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que ∈ 1 (), que (1 1 1) = 0, yque<br />

h<br />

<br />

(1 1 1) =<br />

+log<br />

i<br />

=16= 0<br />

{=1=1=1}<br />

resulta, aplicando el teorema <strong>de</strong> la función implícita que, <strong>en</strong> las proximida<strong>de</strong>s<br />

<strong>de</strong>l punto (1 1 1) la ecuación ( ) =0<strong>de</strong>fine una función difer<strong>en</strong>ciable<br />

= ( ) tal que ( ( )) = 0.<br />

En dicho punto (1 1 1), y para dicha función implícita = ( ), obt<strong>en</strong>emos<br />

(1 1) =<br />

= −<br />

− <br />

h<br />

(1 1 1)<br />

= −<br />

(1 1 1)<br />

(1 1) = − (1 1 1)<br />

(1 1 1)<br />

Ejercicio 11.<br />

£ ¤ <br />

log + {=1=1=1}<br />

log + <br />

<br />

1<br />

i<br />

{=1=1=1}<br />

1<br />

= −1<br />

= −1.<br />

Calcula y clasifica los extremos relativos <strong>de</strong> las sigui<strong>en</strong>tes <strong>funciones</strong>:<br />

a) ( ) = 3 − 4 +2 2 − 3.<br />

b) ( ) = ¡ 2 − 2 + 2¢ .<br />

c) ( ) = 4 − 2 3 +6 2 +7 2 − 6 + 2 − 6 +2 +1.<br />

25<br />

Matemáticas I. Prof. Ignacio López Torres


d) ( ) = ¡ 2 − 2¢ .<br />

e) ( ) =( − ) 2 .<br />

f) ( ) = ¡ − 2¢ 2 .<br />

g) ( ) = ¡ − 2¢ 2 − 6 .<br />

Una solución.<br />

a) Al ser un polinomio, se verifica que ∈ ∞ (R 2 ), por lo que se pue<strong>de</strong>n<br />

aplicar las condiciones introducidas <strong>en</strong> la parte <strong>de</strong> teoría. Al aplicar la condición<br />

necesaria <strong>de</strong> extremo, se llega al sistema<br />

= 3 2 − 3=0<br />

= −4 3 +4 =0,<br />

cuyas soluciones son los puntos críticos (1 0),(1 1), (1 −1), (−1 0),(−1 1) y<br />

(−1 −1).<br />

Al aplicar la condición sufici<strong>en</strong>te a estos puntos, t<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que<br />

resulta que:<br />

= 6<br />

= −12 2 +4<br />

= 0,<br />

• En el punto (1 0): Dado que (1 0) = 6, (1 0) = 4, (1 0) = 0,<br />

observamos que se verifica <strong>en</strong> dicho punto que<br />

(1 0) = 6 0, |(1 0)| = (1 0)(1 0) − ((1 0)) 2 =24 0,<br />

por lo que el punto (1 0) es un mínimo local <strong>de</strong> .<br />

• En el punto (1 1): Dadoque(1 1) = 6, (1 1) = −8, (1 1) = 0,<br />

observamos que se verifica <strong>en</strong> dicho punto que<br />

(1 1) = 6 0, |(1 1)| = (1 1)(1 1)−((1 1)) 2 = −48 0,<br />

por lo que el punto (1 1) es un punto <strong>de</strong> silla <strong>de</strong> .<br />

• En el punto (1 −1): Dadoque(1 −1) = 6, (1 −1) = −8, (1 −1) =<br />

0, observamos que se verifica <strong>en</strong> dicho punto que<br />

(1 −1) = 6 0, |(1 −1)| = (1 −1)(1 −1)−((1 −1)) 2 = −48 0,<br />

por lo que el punto (1 −1) es un punto <strong>de</strong> silla <strong>de</strong> .<br />

26<br />

Matemáticas I. Prof. Ignacio López Torres


• En el punto (−1 0): Dadoque(−1 0) = −6, (−1 0) = 4, (−1 0) =<br />

0, observamos que se verifica <strong>en</strong> dicho punto que<br />

(−1 0) = −6 0, |(−1 0)| = (−1 0)(−1 0)−((−1 0)) 2 = −24 0,<br />

por lo que el punto (−1 0) es un punto <strong>de</strong> silla <strong>de</strong> .<br />

• En el punto (−1 1): Dadoque(−1 1) = −6, (−1 1) = −8, (−1 1) =<br />

0, observamos que se verifica <strong>en</strong> dicho punto que<br />

(−1 1) = −6 0, |(−1 1)| = (−1 1)(−1 1) − ((−1 1)) 2 =<br />

= 48 0,<br />

por lo que el punto (−1 1) es un máximo local <strong>de</strong> .<br />

• En el punto (−1 −1): Dado que (−1 −1) = −6, (−1 −1) = −8,<br />

(−1 −1) = 0, observamos que se verifica <strong>en</strong> dicho punto que<br />

(−1 −1) = −6 0, |(−1 −1)| = (−1 −1)(−1 −1) − ((−1 −1)) 2 =<br />

= 48 0,<br />

por lo que el punto (−1 −1) es un máximo local <strong>de</strong> .<br />

Las Figuras 4 y 5 bosquejan, respectivam<strong>en</strong>te, la gráfica <strong>de</strong> esta función <strong>en</strong><br />

el cubo [−2 2] × [−2 2] × [−10 25], y típicas lineas <strong>de</strong> nivel <strong>de</strong> <br />

Figura 4<br />

27<br />

Matemáticas I. Prof. Ignacio López Torres


Figura 5<br />

b) Al ser un polinomio, se verifica que ∈ ∞ (R 2 ), por lo que se pue<strong>de</strong>n<br />

aplicar las condiciones introducidas <strong>en</strong> la parte <strong>de</strong> teoría. Al aplicar la condición<br />

necesaria <strong>de</strong> extremo, se llega al sistema<br />

= 3 2 − 4 + 2 =0<br />

= 2 =0,<br />

cuyas soluciones son los puntos críticos (0 0) y ¡ 4<br />

3 0¢ .<br />

Al aplicar la condición sufici<strong>en</strong>te a estos puntos, t<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que<br />

resulta que:<br />

= 6−4 = 2<br />

= 0,<br />

• En el punto (0 0): Dadoque(0 0) = −4, (0 0) = 0, (0 0) = 0,<br />

observamos que se verifica <strong>en</strong> dicho punto que<br />

(0 0) = −4 0, |(0 0)| = (0 0)(0 0) − ((0 0)) 2 =0,<br />

28<br />

Matemáticas I. Prof. Ignacio López Torres


por lo que nada se pue<strong>de</strong> afirmar, aplicando esta condición sufici<strong>en</strong>te,<br />

respecto al caracter <strong>de</strong>l punto (0 0). Aplicando la <strong>de</strong>finición <strong>de</strong> extremo<br />

local, analicemos el signo <strong>de</strong> la expresión<br />

( ) =( ) − (0 0) = ¡ 2 − 2 + 2¢<br />

para puntos ( ) pert<strong>en</strong>eci<strong>en</strong>tes a una bola <strong>de</strong> c<strong>en</strong>tro (0 0). Enlafigura<br />

6 se muestran estos signos.<br />

Figura 6<br />

En el círculo 2 − 2 + 2 0 (excluy<strong>en</strong>do la frontera), es 0. En<br />

el exterior <strong>de</strong>l círculo, <strong>en</strong> el semiplano 0 es 0 y <strong>en</strong> el semiplano<br />

0 es 0. Sobre la circunfer<strong>en</strong>cia, y sobre el eje ,es =0.Dado<br />

que ( ) =( ) − (0 0) no manti<strong>en</strong>e signo constante <strong>en</strong> una bola <strong>de</strong><br />

c<strong>en</strong>tro el orig<strong>en</strong>, resulta que (0 0) es un punto <strong>de</strong> silla.<br />

• En el punto ¡ 4<br />

3 0¢ ¡<br />

4<br />

:Dadoque 3 0¢ ¡<br />

4 =4, <br />

observamos que se verifica <strong>en</strong> dicho punto que<br />

<br />

µ <br />

4<br />

0<br />

3<br />

= 4 0,<br />

= 32<br />

3<br />

0,<br />

¯<br />

¯ por lo que ¡ 4<br />

3 0¢ es un mínimo local <strong>de</strong> .<br />

3 0¢ = 8<br />

¡<br />

4<br />

3 , 3 0¢ =0,<br />

µ ¯ µ µ µ µ <br />

4 ¯¯¯ 2<br />

4 4<br />

4<br />

0 = 0 0 − 0 =<br />

3 3 3 3<br />

29<br />

Matemáticas I. Prof. Ignacio López Torres


c) Al ser un polinomio, se verifica que ∈ ∞ (R 2 ), por lo que se pue<strong>de</strong>n<br />

aplicar las condiciones introducidas <strong>en</strong> la parte <strong>de</strong> teoría. Al aplicar la condición<br />

necesaria <strong>de</strong> extremo, se llega al sistema<br />

= 4 3 − 6 2 +12 +14−6 − 6=0<br />

= 6 2 − 6 +2 +2=0.<br />

Despejando <strong>en</strong> la segunda ecuación y sustituy<strong>en</strong>do <strong>en</strong> la primera, se llega a la<br />

ecuación<br />

−16 ¡ 2 2 − 3 +1 ¢ =0<br />

cuyas soluciones conduc<strong>en</strong> a los puntos críticos (0 −1), ¡ ¢<br />

1 1<br />

2 − 4 y (1 −1).<br />

Al aplicar la condición sufici<strong>en</strong>te a estos puntos, t<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que<br />

resulta que:<br />

= 12 2 − 12 +12 +14<br />

= 2<br />

= 12−6, • En el punto (0 −1): Dadoque(0 −1) = 2, (0 −1) = 2, (0 −1) =<br />

−6, observamos que se verifica <strong>en</strong> dicho punto que<br />

(0 −1) = 2 0, |(0 −1)| = (0 −1)(0 −1)−((0 −1)) 2 = −32 0,<br />

por lo que el punto (0 −1) es un punto <strong>de</strong> silla.<br />

• En el punto ¡ ¢ ¡ ¢ ¡<br />

1 1<br />

1 1<br />

1<br />

2 − 4 :Dadoque 2 − 4 =8, 2<br />

0, observamos que se verifica <strong>en</strong> dicho punto que<br />

µ <br />

1<br />

−1<br />

2 4<br />

¯<br />

= 8 0<br />

<br />

µ ¯<br />

1 ¯¯¯<br />

−1<br />

2 4<br />

=<br />

µ <br />

1<br />

−1 <br />

2 4<br />

¢<br />

es un mínimo relativo <strong>de</strong> .<br />

por lo que el punto ¡ 1 1<br />

2 − 4<br />

¢<br />

1 − 4 =2, <br />

¡ 1<br />

2<br />

¢<br />

1 − 4 =<br />

µ µ µ 2<br />

1<br />

1<br />

−1 − −1 =160, 2 4<br />

2 4<br />

• En el punto (1 −1): Dadoque(1 −1) = 2, (1 −1) = 2, (1 −1) =<br />

6, observamos que se verifica <strong>en</strong> dicho punto que<br />

(1 −1) = 2 0, |(1 −1)| = (1 −1)(1 −1)−((1 −1)) 2 = −20 0,<br />

por lo que el punto (1 −1) es un punto <strong>de</strong> silla.<br />

d) Al ser un polinomio, se verifica que ∈ ∞ (R 2 ), por lo que se pue<strong>de</strong>n<br />

aplicar las condiciones introducidas <strong>en</strong> la parte <strong>de</strong> teoría. Al aplicar la condición<br />

necesaria <strong>de</strong> extremo, se llega al sistema<br />

= ¡ 3 2 − 2¢ =0<br />

= ¡ 2 − 3 2¢ =0,<br />

30<br />

Matemáticas I. Prof. Ignacio López Torres


es <strong>de</strong>cir,<br />

³√ ´³√ ´<br />

3 + 3 − <br />

³<br />

+ √ ´³<br />

3 − √ ´<br />

3<br />

= 0<br />

= 0,<br />

y la única solución <strong>de</strong> este sistema conduce al punto crítico (0 0).<br />

Al aplicar la condición sufici<strong>en</strong>te a este punto, t<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que <strong>de</strong><br />

= 6<br />

= −6<br />

= 3 2 − 3 2 ,<br />

se sigue que (0 0) = 0, (0 0) = 0, (0 0) = 0, observamos que se verifica<br />

<strong>en</strong> dicho punto que<br />

(0 0) = 0, |(0 0)| = (0 0)(0 0) − ((0 0)) 2 =0,<br />

por lo que nada se pue<strong>de</strong> afirmar, aplicando esta condición sufici<strong>en</strong>te, respecto<br />

al caracter <strong>de</strong>l punto (0 0). Aplicando la <strong>de</strong>finición <strong>de</strong> extremo local, analicemos<br />

el signo <strong>de</strong> la expresión<br />

( ) =( ) − (0 0) = ¡ 2 − 2¢ = ( + )( − )<br />

para puntos ( ) pert<strong>en</strong>eci<strong>en</strong>tes a una bola <strong>de</strong> c<strong>en</strong>tro (0 0). En la figura7se<br />

muestran estos signos, <strong>en</strong> rojo la recta = , <strong>en</strong> ver<strong>de</strong> la recta = −, <strong>en</strong><br />

amarillo la recta =0, y <strong>en</strong> azul la recta =0.<br />

Figura 7<br />

Dado que ( ) =( )−(0 0) no manti<strong>en</strong>e signo constante <strong>en</strong> una bola<br />

<strong>de</strong> c<strong>en</strong>tro el orig<strong>en</strong>, resulta que (0 0) es un punto <strong>de</strong> silla.<br />

e) Al ser un polinomio, se verifica que ∈ ∞ (R 2 ), por lo que se pue<strong>de</strong>n<br />

aplicar las condiciones introducidas <strong>en</strong> la parte <strong>de</strong> teoría. Al aplicar la condición<br />

31<br />

Matemáticas I. Prof. Ignacio López Torres


necesaria <strong>de</strong> extremo, se llega al sistema<br />

= 2( − ) =0<br />

= −2( − ) =0,<br />

y la única solución <strong>de</strong> este sistema conduce a una recta <strong>de</strong> puntos críticos <strong>de</strong> la<br />

forma ( ) con ∈ R.<br />

Al aplicar la condición sufici<strong>en</strong>te a estos puntos, t<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que <strong>de</strong><br />

= 2<br />

= 2<br />

= −2,<br />

se sigue que ( ) =2, ( ) =2, ( ) =−2, observamos que se<br />

verifica <strong>en</strong> dichos puntos que<br />

( ) =2 0, | ( )| = ( ) ( ) − ( ( )) 2 =0,<br />

por lo que nada se pue<strong>de</strong> afirmar, aplicando esta condición sufici<strong>en</strong>te, respecto<br />

al caracter <strong>de</strong> los puntos ( ). Aplicando la <strong>de</strong>finición <strong>de</strong> extremo local, analicemos<br />

el signo <strong>de</strong> la expresión<br />

( ) =( ) − ( ) =( − ) 2<br />

para puntos ( ) pert<strong>en</strong>eci<strong>en</strong>tes a una bola <strong>de</strong> c<strong>en</strong>tro ( ). Dadoque<br />

( ) =( ) − ( ) =( − ) 2 ≥ 0,<br />

resulta que ( ) es no negativa <strong>en</strong> una bola <strong>de</strong> c<strong>en</strong>tro ( ), por lo que cada<br />

punto ( ) es un mínimo local <strong>de</strong> la función .<br />

f) Al ser un polinomio, se verifica que ∈ ∞ (R 2 ), por lo que se pue<strong>de</strong>n<br />

aplicar las condiciones introducidas <strong>en</strong> la parte <strong>de</strong> teoría. Al aplicar la condición<br />

necesaria <strong>de</strong> extremo, se llega al sistema<br />

= −4 ¡ − 2¢ =0<br />

= 2 ¡ − 2¢ =0,<br />

y la única solución <strong>de</strong> este sistema conduce a una parábola <strong>de</strong> puntos críticos<br />

<strong>de</strong> la forma ¡ 2¢ con ∈ R.<br />

Al aplicar la condición sufici<strong>en</strong>te a estos puntos, t<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que <strong>de</strong><br />

= −4 +12 2<br />

= 2<br />

= −4,<br />

32<br />

Matemáticas I. Prof. Ignacio López Torres


¡<br />

2 se sigue que ¢ =82 ¡<br />

2 , ¢ ¡<br />

2 =2, ¢ = −4, observamos<br />

queseverifica <strong>en</strong> dichos puntos que<br />

¡ 2<br />

¢ =4 2 ≥ 0, ¯ ¡<br />

¯ 2<br />

¢¯ ¡<br />

¯ 2<br />

= ¢ ¡ 2<br />

¢ − ¡ ¡ 2<br />

¢¢ 2<br />

=0,<br />

por lo que nada se pue<strong>de</strong> afirmar, aplicando esta condición sufici<strong>en</strong>te, respecto<br />

al caracter <strong>de</strong> los puntos ¡ 2¢ . Aplicando la <strong>de</strong>finición <strong>de</strong> extremo local,<br />

analicemos el signo <strong>de</strong> la expresión<br />

( ) =( ) − ¡ 2¢ = ¡ − 2¢ 2<br />

para puntos ( ) pert<strong>en</strong>eci<strong>en</strong>tes a una bola <strong>de</strong> c<strong>en</strong>tro ¡ 2¢ .Dadoque<br />

( ) =( ) − ¡ 2¢ = ¡ − 2¢ 2 ≥ 0,<br />

resulta que ( ) es no negativa <strong>en</strong> una bola <strong>de</strong> c<strong>en</strong>tro ¡ 2¢ , por lo que cada<br />

punto ¡ 2¢ es un mínimo local <strong>de</strong> la función .<br />

g) Al ser un polinomio, se verifica que ∈ ∞ (R 2 ), por lo que se pue<strong>de</strong>n<br />

aplicar las condiciones introducidas <strong>en</strong> la parte <strong>de</strong> teoría. Al aplicar la condición<br />

necesaria <strong>de</strong> extremo, se llega al sistema<br />

= −4 ¡ − 2¢ − 6 3 =0<br />

= 2 ¡ − 2¢ =0,<br />

y la única solución <strong>de</strong> este sistema conduce al punto crítico (0 0).<br />

Al aplicar la condición sufici<strong>en</strong>te a este punto, t<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que <strong>de</strong><br />

= −4 − 6 2<br />

= 2<br />

= −4,<br />

se sigue que (0 0) = 0, (0 0) = 2, (0 0) = 0, observamos que se<br />

verifica <strong>en</strong> dicho punto que<br />

(0 0) = 0, | (0 0)| = (0 0) (0 0) − ( (0 0)) 2 =0,<br />

por lo que nada se pue<strong>de</strong> afirmar, aplicando esta condición sufici<strong>en</strong>te, respecto<br />

al caracter <strong>de</strong>l punto (0 0). Aplicando la <strong>de</strong>finición <strong>de</strong> extremo local, analicemos<br />

el signo <strong>de</strong> la expresión<br />

( ) = ( ) − (0 0) = ¡ − 2¢ 2 − 6 =<br />

= ¡ − 2 + 3¢¡ − 2 − 3¢<br />

33<br />

Matemáticas I. Prof. Ignacio López Torres


para puntos ( ) pert<strong>en</strong>eci<strong>en</strong>tes a una bola <strong>de</strong> c<strong>en</strong>tro (0 0). LaFigura8muestra<br />

el signo <strong>de</strong> dicha expresión <strong>en</strong> las proximida<strong>de</strong>s <strong>de</strong>l orig<strong>en</strong>.<br />

Dado que<br />

Figura 8<br />

( ) =( ) − (0 0) = ¡ − 2 + 3¢¡ − 2 − 3¢ ,<br />

no manti<strong>en</strong>e signo constante <strong>en</strong> una bola <strong>de</strong> c<strong>en</strong>tro el orig<strong>en</strong>, resulta que (0 0)<br />

es un punto <strong>de</strong> silla.<br />

Ejercicio 12.<br />

a) Se <strong>de</strong>sea construir una balsa <strong>de</strong> riego <strong>de</strong> forma paralelepipédica, abierta<br />

por su parte superior, <strong>de</strong> volum<strong>en</strong> igual a m 3 . Sabi<strong>en</strong>do que el coste <strong>de</strong> la<br />

construcción <strong>de</strong>l fondo es <strong>de</strong> 1 euros/m 2 , y el coste <strong>de</strong> la construcción <strong>de</strong> las<br />

pare<strong>de</strong>s laterales es <strong>de</strong> 2 euros/m 2 , <strong>de</strong>termina las dim<strong>en</strong>siones <strong>de</strong> la balsa para<br />

minimizar el coste <strong>de</strong> su construcción.<br />

b) Determina el punto que, estando situado <strong>en</strong> los planos +2 +3 =4y<br />

− +5 =1, se halla a distancia mínima <strong>de</strong>l orig<strong>en</strong> <strong>de</strong> coor<strong>de</strong>nadas.<br />

c) Determina los extremos absolutos <strong>de</strong> la función ( ) = +5 sobre el<br />

conjunto<br />

d) Sea<br />

= {( ) ∈ R 2 : 2<br />

9<br />

+ 2<br />

4<br />

≤ 1 −1 ≤ ≤ 1}.<br />

= {(12 ) ∈ R : 0 para =1 2 },<br />

y ∈ R, con0. Halla el valor máximo <strong>de</strong> la función : ⊂ R → R,<br />

<strong>de</strong>finida mediante<br />

(12 ) = √ 12<br />

34<br />

Matemáticas I. Prof. Ignacio López Torres


sobre el conjunto<br />

1 + 2 + + = .<br />

Deduce <strong>de</strong>l resultado obt<strong>en</strong>ido que, para cualquiera que sean los números<br />

reales 1, 2, ... ,, con 0 para =1 2 , severifica que su media<br />

geométrica es m<strong>en</strong>or o igual que su media aritmética<br />

Una solución.<br />

√<br />

12 ≤ 1 + 2 + + <br />

.<br />

<br />

a) Designando por e a la longitud <strong>de</strong> las aristas <strong>de</strong> la base, y por ala<br />

altura, t<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que el volum<strong>en</strong> <strong>de</strong>l paralelepípedo es<br />

= ,<br />

y que el área lateral (parte superior excluida, fondo incluido) es<br />

= +2( + ) ,<br />

se trata <strong>de</strong> resolver el problema <strong>de</strong> óptimos condicionados consist<strong>en</strong>te <strong>en</strong> hallar<br />

el mínimo <strong>de</strong> la función que <strong>de</strong>fine el coste <strong>de</strong> la construcción,<br />

= 1 +22 ( + ) ,<br />

sujeta a la restricción <strong>de</strong> que el volum<strong>en</strong> embalsado sea ,es<strong>de</strong>cir<br />

= .<br />

Aplicando el método <strong>de</strong> los multiplicadores <strong>de</strong> Lagrange, el Lagrangiano <strong>de</strong>l<br />

problema es<br />

( ) =1 +22 ( + ) − ( − ) ,<br />

y la condición necesaria <strong>de</strong> extremo introducida <strong>en</strong> la parte <strong>de</strong> teoría, conduce<br />

al sistema<br />

= 1 +22 − =0<br />

= 1 +22 − =0<br />

= 22 ( + ) − =0<br />

= − ( − )=0.<br />

T<strong>en</strong>i<strong>en</strong>do <strong>en</strong> cu<strong>en</strong>ta que 0, 0, 0 (<strong>en</strong> particular, ninguna variable<br />

pue<strong>de</strong> ser nula, porque, <strong>en</strong> caso <strong>de</strong> que alguna lo fuera, no se cumpliría la<br />

restricción), multiplicando por la primera ecuación, por la segunda, y por <br />

35<br />

Matemáticas I. Prof. Ignacio López Torres


la tercera, y <strong>de</strong>spejando e igualando las expresiones <strong>en</strong> , se llega fácilm<strong>en</strong>te<br />

a las dos ecuaciones sigui<strong>en</strong>tes:<br />

= <br />

1 = 22.<br />

³ q<br />

Entrando<br />

q<br />

con estas ecuaciones <strong>en</strong> la restricción, se obti<strong>en</strong>e el punto crítico<br />

3 22 3 22<br />

1 1<br />

3<br />

q<br />

2 1 42 ´<br />

, por lo que las dim<strong>en</strong>siones óptimas <strong>de</strong> la balsa para<br />

2<br />

minimizar<br />

q<br />

el coste q <strong>de</strong> construcción son las sigui<strong>en</strong>tes: base cuadrada <strong>de</strong> lado<br />

3 22<br />

3 2 1 ;altura .<br />

1<br />

4 2 2<br />

b) Se trata <strong>de</strong> <strong>en</strong>contrar el mínimo <strong>de</strong> la función<br />

sujeta a las restricciones<br />

( ) = p 2 + 2 + 2<br />

+2 +3 = 4<br />

− +5 = 1.<br />

De modo equival<strong>en</strong>te, se trata <strong>de</strong> <strong>en</strong>contrar el mínimo <strong>de</strong> la función<br />

( ) = 2 + 2 + 2 ,<br />

sujeta a dichas restricciones. Aplicando el método <strong>de</strong> los multiplicadores <strong>de</strong><br />

Lagrange, el Lagrangiano <strong>de</strong>l problema es<br />

( ) = 2 + 2 + 2 − ( +2 +3 − 4) − (− +5 − 1),<br />

y la condición necesaria <strong>de</strong> extremo introducida <strong>en</strong> la parte <strong>de</strong> teoría, conduce<br />

al sistema<br />

= 2− + =0<br />

= 2−2 =0<br />

= 2−3−5 =0<br />

= − ( +2 +3 − 4) = 0<br />

= −(− +5 − 1) = 0.<br />

Resolvi<strong>en</strong>do este sistema lineal <strong>en</strong> y , se obti<strong>en</strong>e el punto situado<br />

a mínima distancia <strong>de</strong>l orig<strong>en</strong>, resultando ¡ ¢<br />

11 15 5<br />

14 14 , 14 , y los multiplicadores <strong>de</strong><br />

Lagrange = 15<br />

1<br />

14 y = − 2 . La mínima distancia resulta ser √ 371<br />

14 .<br />

Este problema también se pue<strong>de</strong> resolver parametrizando la recta intersección<br />

<strong>de</strong> los dos planos, y minimizando la distancia al orig<strong>en</strong> <strong>de</strong> un punto g<strong>en</strong>érico<br />

<strong>de</strong> dicha recta.<br />

36<br />

Matemáticas I. Prof. Ignacio López Torres


c) En la Figura 9<br />

se muestra el conjunto<br />

= {( ) ∈ R 2 : 2<br />

9<br />

Figura 9<br />

+ 2<br />

4<br />

≤ 1 −1 ≤ ≤ 1},<br />

que correspon<strong>de</strong> a la porción <strong>de</strong>l interior <strong>de</strong> la elipse <strong>de</strong> c<strong>en</strong>tro el orig<strong>en</strong> y semiejes<br />

=3sobre el eje y =2sobre el eje (esta elipse se muestra <strong>en</strong> color<br />

rojo <strong>en</strong> la Figura 9), situada <strong>en</strong> la franja horizontal <strong>de</strong> plano −1 ≤ ≤ 1 (las<br />

rectas =1e = −1 se muestran, respectivam<strong>en</strong>te, <strong>en</strong> colores azul y ver<strong>de</strong><br />

<strong>en</strong> la Figura 9). Observamos que es continua, por ser un polinomio, y que<br />

es compacto, por ser cerrado y acotado. Por tanto, aplicando el teorema <strong>de</strong><br />

Weierstrass, alcanza su máximo y su mínimo absolutos <strong>en</strong> .<br />

Fácilm<strong>en</strong>te se calculan los puntos <strong>de</strong> intersección <strong>de</strong> la elipse 2 2<br />

9 + 4 =1<br />

³ ´<br />

y la recta = −1, resultando los puntos −1 , y <strong>de</strong> la elipse y la recta<br />

³<br />

=1, resultando los puntos ± 3√ ´<br />

3<br />

2 1 . El valor <strong>de</strong> la función <strong>en</strong> cada uno<br />

<strong>de</strong> estos puntos es:<br />

Ã<br />

3<br />

<br />

√ !<br />

3<br />

−1 = −1+<br />

2 15√ Ã<br />

3<br />

−<br />

2<br />

3√ !<br />

3<br />

−1 = −1 −<br />

2 15√3 2<br />

Ã<br />

3<br />

<br />

√ !<br />

3<br />

1 = 1+<br />

2 15√ Ã<br />

3<br />

−<br />

2<br />

3√ !<br />

3<br />

1 =1−<br />

2 15√3 2<br />

± 3√ 3<br />

2<br />

Por otra parte, la función no ti<strong>en</strong>e extremos relativos, dado que<br />

=16= 0y =56= 0.<br />

Veamos que, <strong>en</strong> este ejercicio, se pue<strong>de</strong>n obt<strong>en</strong>er fácilm<strong>en</strong>te los extremos absolutos<br />

<strong>de</strong> sobre el compacto mediante s<strong>en</strong>cillas consi<strong>de</strong>raciones geométricas.<br />

En efecto, las líneas <strong>de</strong> nivel <strong>de</strong> son líneas rectas. En particular, <strong>en</strong> la Figura<br />

37<br />

Matemáticas I. Prof. Ignacio López Torres


9 se han repres<strong>en</strong>tado <strong>en</strong> color negro las dos líneas <strong>de</strong> nivel <strong>de</strong> que pasan por<br />

losextremosabsolutos. ³ Dedichafigura se <strong>de</strong>duce que el máximo absoluto se<br />

√ ´<br />

3 3<br />

obti<strong>en</strong>e <strong>en</strong> el punto 2 1 y que el mínimo absoluto se obti<strong>en</strong>e <strong>en</strong> el punto<br />

³<br />

− 3√ ´<br />

3<br />

2 −1 .<br />

A este resultado también se pue<strong>de</strong> llegar utilizando el procedimi<strong>en</strong>to <strong>de</strong>scrito<br />

<strong>en</strong> el apartado 9.6. <strong>de</strong> la parte teórica.<br />

Por otra parte, observa que el hecho <strong>de</strong> que se alcanc<strong>en</strong> los extremos sobre<br />

las rectas = ±1 (como <strong>en</strong> este caso), o sobre los tramos <strong>de</strong> elipse situados <strong>en</strong><br />

las regiones 3√3 2 o − 3√3 2 , <strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> la p<strong>en</strong>di<strong>en</strong>te <strong>de</strong> la línea <strong>de</strong><br />

´<br />

nivel<br />

0 <strong>en</strong> relación a la p<strong>en</strong>di<strong>en</strong>te <strong>de</strong> la tang<strong>en</strong>te a la elipse <strong>en</strong> el punto .<br />

³ √<br />

3 3<br />

2 1<br />

d) Aplicando el método <strong>de</strong> los multiplicadores <strong>de</strong> Lagrange, el Lagrangiano<br />

<strong>de</strong>l problema es<br />

(12 )= √ 12 − (1 + 2 + + − ) .<br />

Aplicando la condición necesaria <strong>de</strong> extremo condicionado, se obti<strong>en</strong>e el sistema<br />

1 =<br />

2 =<br />

=<br />

2<br />

(12) −1<br />

<br />

13<br />

(12) −1<br />

<br />

<br />

12−1<br />

(12) −1<br />

<br />

− = <br />

− =0<br />

1<br />

− = <br />

− =0<br />

2<br />

− = <br />

− =0<br />

<br />

= − (1 + 2 + + − ) =0.<br />

De las primeras ecuaciones, se sigue que<br />

1 = 2 = = ,<br />

por lo que, sustituy<strong>en</strong>do <strong>en</strong> la restricción, se obti<strong>en</strong><strong>en</strong> los valores <strong>de</strong> las <strong>variables</strong><br />

correspondi<strong>en</strong>tes al máximo <strong>de</strong> , resultando<br />

1 = 2 = = = <br />

.<br />

Sustituy<strong>en</strong>do <strong>en</strong> la expresión <strong>de</strong> , se obti<strong>en</strong>e su valor máximo, resultando<br />

max = <br />

.<br />

Como consecu<strong>en</strong>cia <strong>de</strong> esta propiedad, y siempre que sea 0 para =1,<br />

2,, , severifica que<br />

√<br />

12 ≤ <br />

,<br />

es <strong>de</strong>cir,<br />

√<br />

12 ≤ 1 + 2 + + <br />

.<br />

<br />

38<br />

Matemáticas I. Prof. Ignacio López Torres

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!