Simulacro Certamen 3 MAT023

1. Sea f : R2 → R la función definida por:

  
(x2 + y 2 ) sin √ 1 si (x, y) 6= (0, 0)
f (x, y) = x2 +y 2
0 si (x, y) = (0, 0)


(a) Indique el conjunto de puntos en que la función f es continua.

(b) Indique el conjunto de puntos donde f es diferenciable.
∂f ∂f
(c) Calcule y .
∂x ∂y
(d) Indique el conjunto de puntos donde cada una de las derivadas parciales de f es continua.
(e) ¿Las derivadas parciales son continuas en el origen? ¿Existe alguna contradicción con su res-
puesta al inciso (b)? Justifique.

Solución:

(a) En primer lugar, se debe notar que si (x, y) 6= (0, 0), entonces:
!
2 2 1
f (x, y) = (x + y ) sin p .
x2 + y 2

Esta expresión no tiene problemas en su definición dado que (x, y) = 6 (0, 0) y es continua pues
es álgebra de funciones continuas. Por otro lado, para verificar si f es continua en el origen, se
debe calcular:

lı́m f (x, y).

(x,y)→(0,0)

En este caso, se procederá por acotamiento:

 !
 1 
0 ≤ (x + y 2 ) sin p
 2
 ≤ x2 + y 2 → 0.

 2 2
x +y  (x,y)→(0,0)

Luego

lı́m f (x, y) = 0,
(x,y)→(0,0)

lo que prueba que la función es continua en el origen, por lo tanto la función es continua en
todo R2 .
(b) De manera análoga a lo anterior, se tiene que si (x, y) 6= (0, 0), entonces la expresión de f está
bien definida y es álgebra de funciones diferenciables, luego es diferenciable. El punto en que
falta analizar diferenciabilidad es el origen. Para esto, se tiene:
 
2 sin 1
∂f f (0 + h, 0) − f (0, 0) h |h|
 
1
·) (0, 0) = lı́m = lı́m = lı́m h sin = 0,
∂x h→0 h h→0 h h→0 |h|
 
2 sin 1
∂f f (0, 0 + h) − f (0, 0) h |h|
 
1
·) (0, 0) = lı́m = lı́m = lı́m h sin = 0.
∂y h→0 h h→0 h h→0 |h|

1
 Luego:
f (0 + h, 0 + k) − f (0, 0) − (hfx (0, 0) + kfy (0, 0))
lı́m √
(h,k)→(0,0) h2 + k 2
 
(h 2 + k 2 ) sin √ 1
f (h, k) 2
h +k 2
= lı́m √ = lı́m √
(h,k)→(0,0) 2
h +k 2 (h,k)→(0,0) 2
h +k 2
 
p 1
= lı́m h2 + k 2 sin √ = 0.
(h,k)→(0,0) h2 + k 2
Luego f es diferenciable en el origen. Por lo tanto es diferenciable en todo R2 .
(c) Utilizando las derivadas parciales en el origen calculadas en el inciso anterior, se tiene que:
    
1 x 1
∂f 2x sin √ 2 2 − √ 2 2 cos √ 2 2 si (x, y) 6= (0, 0)
(x, y) = x +y x +y x +y
∂x
0 si (x, y) = (0, 0).


    
1 y 1
∂f 2y sin √ 2 2 − √ 2 2 cos √ 2 2 si (x, y) 6= (0, 0)
(x, y) = x +y x +y x +y
∂y
0 si (x, y) = (0, 0).


∂f ∂f
(d) Con lo anterior, se puede ver de manera inmediata que y son continuas al menos en
∂x ∂y
R2 \{(0, 0)}, pues son álgebra de funciones continuas. Por otro lado, para analizar la continuidad
de estas funciones en el origen, se debe calcular:
∂f ∂f
lı́m (x, y) y lı́m (x, y).
(x,y)→(0,0) ∂x (x,y)→(0,0) ∂y
Ninguno de estos lı́mites existe. En efecto, utilizando el acercamiento por la curva y = x, se
tiene:
∂f ∂f
lı́m (x, x) = lı́m (x, x)
x→0 ∂x x→0 ∂y
   
1 x 1
= lı́m 2x sin √ − √ cos √
x→0 2|x| 2|x| 2|x|
 
sign(x) 1
= 0 − lı́m √ cos √ ,
x→0 2 2|x|
donde:
(
1 si x > 0.
sign(x) =
−1 si x < 0.

Con esto, es claro que el lı́mite anterior no existe, luego las derivadas parciales no son continuas
en el origen. Por lo tanto el conjunto donde éstas son continuas es R2 \ {(0, 0)}.
(e) Por lo visto en el ı́tem anterior, se tiene que las derivadas parciales no son continuas en el origen,
pero se vio que f es diferenciable en el origen. Esto no representa una contradicción pues se
considera el siguiente diagrama que se aplica puntualmente, para funciones de dos variables (su
extensión a más de dos variables es intuitiva):

fx y fy son continuas ⇒ f es diferenciable ⇒ f es continua

⇓
fx y fy existen

2
 Este diagrama indica que la continuidad de fx y fy en un punto (en este caso el origen) implica
la diferenciabilidad, pero no en sentido contrario, luego no supone contradicción a los teoremas
conocidos.
2. Calcular el volumen máximo que puede tener un paralelepı́pedo recto que tenga tres de sus lados
en los planos coordenados y un vértice en la curva intersección de las superficies:

S1 : x + y + z − 15 = 0 y S2 xy + yz + xz − 72 = 0,

curva que se encuentra contenida en el primer octante.

Solución: En primer lugar, se tiene el bosquejo de la situación:

Dado que tres lados coinciden con los planos coordenados y el único punto variable es el vértice que
está en el primer octante, se llamará (x, y, z) a dicho vértice. S tiene que el volumen del paralelepı́pedo
viene dado por:

V (x, y, z) = xyz.

Además, se tiene que el punto que maximice este volumen debe estar en la intersección de dos
superficies. Sean

F (x, y, z) = x + y + z − 15 = 0,
G(x, y, z) = xy + yz + xz − 72 = 0.

Para resolver este problema, se utilizará el método de los multiplicadores de Lagrange, lo que dará
lugar a un sistema de 5 ecuaciones y 5 incógnitas:

∇V (x, y, z) = λ∇F (x, y, z) + β∇G(x, y, z),

F (x, y, z) = 0,

G(x, y, z) = 0.


Es importante notar que los gradientes de las funciones en cuestión tienen 3 componentes y en
la primera ecuación, se tiene que un vector de 3 componentes debe ser una combinación lineal de

3
 otros dos vectores, por lo tanto éstos son linealmente dependientes. En tal caso, para hacer que n
vectores de n componentes sean linealmente dependientes, se tiene que hacer que el determinante
de la matriz formada por esos vectores tenga determinante 01 . Para esto, sea A la matriz definida
por:
   
∇V (x, y, z) yz xz xy
A := ∇F (x, y, z) =  1 1 1 .
∇G(x, y, z) y+z x+z x+y

Para verificar que los vectores en cuestión sean linealmente dependientes, se hará que:
   
 yz
 xz xy   yz
  xz − yz xy − yz 

 
xz − yz xy − yz 
det(A) =  1
 1 1 = 1
  0 0  = −
  
y + z x + z x + y  y + z x − y x−y x−z 
x−z 
= −[(xz − yz)(x − z) − (x − y)(xy − yz)] = 0
⇔ x2 z − xz 2 − xyz + yz 2 − (x2 y − xyz − xy 2 + y 2 z) = 0
⇔ x2 z − xz 2 − xyz + yz 2 − x2 y + xyz + xy 2 − y 2 z = 0
⇔ x2 z − xz 2 + yz 2 − x2 y + xy 2 − y 2 z = 0
⇔ z(x2 − y 2 ) + z 2 (y − x) + xy 2 − yx2 = 0
⇔ z(x + y)(x − y) + z 2 (y − x) + xy(y − x) = 0
⇔ (x − y)(−z(x + y) + z 2 + xy) = 0
⇔ (x − y)(z − x)(z − y) = 0.

Luego existen tres posibilidades para que los vectores en cuestión sean linealmente dependientes y
satisfagan la primera ecuación. A continuación, se analizará cada caso:

Caso x = y: En este caso, para encontrar los puntos se utiliza que:

F (x, x, z) = 2x + z − 15 = 0, ⇒ z = 15 − 2x.

Además:

G(x, x, z) = x2 + 2xz − 72 = 0
⇒ x2 + 2x(15 − 2x) − 72 = 0
⇒ x2 + 30x − 4x2 − 72 = 0
⇒ −3x2 + 30x − 72 = 0
⇒ x2 − 10x + 24 = 0
⇒ (x − 6)(x − 4) = 0.

Luego se tienen los puntos P 1 : (4, 4, 7) y P 2 : (6, 6, 3).

Caso z = x: En este caso, se tendrá:

F (x, y, x) = 2x + y − 15 = 0, ⇒ y = 15 − 2x,
1
Cabe destacar que este procedimiento se puede hacer siempre que la matriz resultante sea cuadrada y tenga sentido
calcular determinante. Para esto, si las funciones son de n variables, se requiere que existan n − 1 restricciones. En caso
contrario, se debe resolver el sistema de ecuaciones asociado.

4
 y

G(x, y, x) = 2xy + x2 − 72 = 0
⇒ 2x(15 − 2x) + x2 − 72 = 0
⇒ 30x − 4x2 + x2 − 72 = 0
⇒ 30x − 3x2 − 72 = 0
⇒ x2 − 10x + 24 = 0
⇒ (x − 6)(x − 4) = 0.

Luego se tienen los puntos P3 : (4, 7, 4) y P4 : (6, 3, 6).

Caso z = y: En este caso, se procede de manera análoga:

F (x, y, y) = x + 2y − 15 = 0, ⇒ x = 15 − 2y.

Además:

G(x, y, y) = 2xy + y 2 − 72 = 0
⇒ 2y(15 − 2y) + y 2 − 72 = 0
⇒ 30y − 4y 2 + y 2 − 72 = 0
⇒ −3y 2 + 30y − 72 = 0
⇒ y 2 − 10y + 24 = 0
⇒ (y − 6)(y − 4) = 0.

Luego se tienen los puntos P5 : (7, 4, 4) y P6 : (3, 6, 6). Con esto, se tiene que, evaluando en la
función objetivo en todos los puntos:

V (P1 ) = V (P3 ) = V (P5 ) = 4 · 7 · 4 = 7 · 16 = 112.

V (P2 ) = V (P4 ) = V (P6 ) = 6 · 6 · 3 = 36 · 3 = 108.

Por último, antes de concluir, es importante notar que el conjunto de trabajo es compacto
pues, de la ecuación del plano, se tiene z = 15 − x − y lo cual, al reemplazarlo en la segunda
ecuación, se tiene:

xy + yz + xz − 72 = 0
⇔ xy + y(15 − x − y) + x(15 − x − y) − 72 = 0
⇔ xy + 15y − xy − y 2 + 15x − x2 − xy − 72 = 0
⇔ 15y − xy − y 2 + 15x − x2 − 72 = 0
⇔ x2 + xy + y 2 − 15x − 15y + 72 = 0,

lo que corresponde a una cónica rotada que, denotando los coeficientes de la cónica en la forma
usual:

Ax2 + Bxy + Cy 2 + Dx + Ey + F = 0,

cumple B 2 − 4AC = 1 − 4 = −3 < 0, luego la curva corresponde a una elipse, por lo tanto el
conjunto de trabajo es cerrado y acotado, por lo tanto compacto:

5
Figura 1.1: La superficie azul corresponde al plano x + y + z − 15 = 0 y la superficie naranja corresponde
a xy + yz + xz − 72 = 0.

Luego, por el teorema de Weierstrass, dado que la función es continua, entonces alcanza su
máximo y su mı́nimo en el conjunto compacto. Dicho esto, el máximo volumen que puede
alcanzar el paralelepı́pedo es 112 [u3 ].

6
3. Pruebe que la ecuación

z 2 − 5xyz + x3 + 5x2 y = 0

define a z como función implı́cita de (x, y) en un entorno de (1, 1), con z(1, 1) = 2. Además calcule
∂2z
(1, 1).
∂x∂y
Solución: En primer lugar, sea F : R3 → R definida por:

F (x, y, z) = z 2 − 5xyz + x3 + 5x2 y.

Con esto, se tiene:

F (1, 1, 2) = 4 − 10 + 1 + 5 = 0,

luego el punto (x, y, z) = (1, 1, 2) satisface la ecuación dada. Por otro lado, dado que F es una
función de tipo polinomial, entonces es de clase C ∞ y además:
∂F
(x, y, z) = 2z − 5xy
∂z
∂F
⇒ (1, 1, 2) = 4 − 5 = −1 6= 0.
∂z
Con esto, por el teorema de la función implı́cita, se tiene que la ecuación dada en el enunciado
define implı́citamente la función z = z(x, y) de clase C ∞ en una vecindad de (x, y) = (1, 1), luego
∂2z
es posible calcular (1, 1). Para esto, se tiene:
∂x∂y
∂F
(x, y, z)
∂z ∂y −5xz + 5x2 5xz − 5x2
(x, y) = − =− = .
∂y ∂F 2z − 5xy 2z − 5xy
(x, y, z)
∂z
∂z
Por otro lado, se realizará el cálculo de (1, 1) (el por qué de este hecho se verá más adelante en
∂x
el ejercicio):
∂F
∂z (x, y, z) −5yz + 3x2 + 10xy
(x, y) = − ∂x =−
∂x ∂F ∂F
(x, y, z) (x, y, z)
∂z ∂z
∂z −10 + 3 + 10
⇒ (1, 1) = − = 3.
∂x −1
∂z
Con esto, utilizando la expresión obtenida para (x, y), y recordando que z = z(x, y), se tiene:
∂y
∂2z ∂ 5xz − 5x2
 
(x, y) =
∂x∂y ∂x 2z − 5xy
∂z
 ∂z
− 10x [2z − 5xy] − [5xz − 5x2 ] 2 ∂x

 
5 z + x ∂x − 5y
=
[2z − 5xy]2
∂2z [5(2 + 3) − 10][4 − 5] − [10 − 5][6 − 5] −15 − 5
⇒ (1, 1) = 2
= = −20.
∂x∂y [4 − 5] 1
∂z
Luego se tiene lo pedido. Note el objetivo de haber obtenido (1, 1) de manera previa. Se requerı́a
∂x
su valor para ser reemplazado en esta última derivada.

7
4. Sea h una función de clase C 2 (R) tal que h(3) = 0, h0 (3) = 1 y h00 (3) = 2. Se definen las funciones:

g(x, y) = (x − y, x2 + 2y), f (u, v) = sinh(h(u2 + v)), u − v, h0 (u + v)

y ϕ : R3 → R diferenciable en R3 tal que ∇ϕ(0, −3, 1) = (−1, 2, 0). Calcule, de ser posible, la
derivada direccional de la función:

z = ϕ ◦ f ◦ g : R2 → R

en el punto (1, 1) en la dirección del vector ~n = (1, −1).

Hint: No utilice árboles de dependencia (se puede, pero el proceso es muy largo).

Solución: En primer lugar, dado que f es una función de clase C 2 (R), entonces es diferenciable
y su derivada también es diferenciable. De esto se desprende que f es diferenciable. Además, es
claro que g es diferenciable y ϕ es diferenciable por hipótesis. Luego z es diferenciable. Con esto, se
tiene que:
∂z
(1, 1) = ∇z(1, 1) · n̂.
∂ n̂
Además, dado que z es diferenciable y está definida como la composición de funciones diferenciables,
entonces:

z(x, y) = ϕ(f (g(x, y)))

⇒ ∇z(x, y) = ∇ϕ(f (g(x, y))) · Jf (g(x, y)) · Jg(x, y)
⇒ ∇z(1, 1) = ∇ϕ(f (g(1, 1))) · Jf (g(1, 1)) · Jg(1, 1)

donde J denota la matrix jacobiana y los términos en paréntesis representan evaluaciones de las
funcione respectivas. Con esto, se procede a obtener cada término de esta expresión:
 
1 −1
Jg(x, y) =
2x 2
 
1 −1
⇒ Jg(1, 1) = .
2 2

Además:
2u cosh(h(u2 + v)) · h0 (u2 + v) cosh(h(u2 + v)) · h0 (u2 + v)
 

Jf (u, v) =  1 −1 .
h00 (u + v) h00 (u + v)

Para evaluar esta matriz, es importante notar que g(1, 1) = (0, 3), luego:

cosh(0) · h0 (3)
   
0 0 1
Jf (g(1, 1)) =  1 −1  = 1 −1 .
00
h (3) 00
h (3) 2 2

Por último, es importante notar que:

f (g(1, 1)) = f (0, 3) = (sinh(0), −3, h0 (3)) = (0, −3, 1)

luego, por hipótesis, se tiene que:

∇ϕ(f (g(1, 1))) = (−1, 2, 0).

8
Con esto, se tiene que:
 
0 1  
1 −1
∇z(1, 1) = (−1, 2, 0) · 1 −1 ·
2 2
2 2
 
1 −1
= (2, −3) ·
2 2
= (−4, −8).

Con esto se tiene, dado que z es diferenciable:

∂z
(1, 1) = ∇z(1, 1) · n̂
∂ n̂ √
√
 
1 1 1 4 2
= (−4, −8) · √ , − √ = √ (−4 + 8) = = 2 2.
2 2 2 2