Ejercicios

Elon - A Course in Real Analysis

Yesica Carrasquilla

Matemáticas - Caucásia - Análisis III

Elon

8 Sea f : R3 → R tal que ∂f /∂x + ∂f /∂y + ∂f /∂z = 0 en todos los puntos de R3 . Pruebe que existe un
difeomorsmo g : R3 → R3 de clase C ∞ , tal que ∂(f ◦ g)/∂x = 0 en todos los puntos de R3 .
Sugerencia: Experimente g lineal.

Demostración. Considere una matriz A = [aij ] de tamaño 3x3 tal que a11 = a21 = a31 = b 6= 0 y
det A 6= 0. La aplicación g : R3 → R3 dado por g(x) = Ax es tal que g ∈ C ∞ (R3 , R3 ), g es difeomorsmo.
Por la regla de la cadena: ∀x ∈ R3 : (f ◦ g)0 = f 0 (g(x)) · g 0 (x) = 5f (g(x)) · A . Así
∂1 (f ◦ g) = (∂1 f (g(x)), ∂2 f (g(x)), ∂3 f (g(x))) · (a11 , a21 , a31 )
= b[∂1 f (g(x)) + ∂2 f (g(x)) + ∂3 f (g(x))]
=b·0
=0

Martin
3 Dado f : R2 → R2 por f (x, y) = (cos(x) + cos(y), sin(x) + sin(y)). Pruebe que f es invertible localmente
cerca a todos los puntos (a, b) tal que a − b 6= kπ con k ∈ Z y todos los demás puntos donde la inversa
local no existe.

Demostración. f ∈ C ∞ (R). Hallemos el Jacobiano.

 
− sin x − sin y
Jf (x, y) = det
cos x cos y
= − sin x cos y + cos x sin y
= cos x sin y − sin x cos y
= sin(x − y) > 0

si y 6= x y y 6= nπ y x 6= mπ con n, m ∈ Z .
Hallemos la función inversa, sea u = cos(x) + cos(y),v = sin(x) + sin(y), luego tenemos
u2 = cos2 (x) + 2 cos(x) cos(y) + cos2 (y)

y
v 2 = sin2 (x) + 2 sin(x) sin(y) + sin2 (y)
así
u2 + v 2 = cos2 (x) + 2 cos(x) cos(y) + cos2 (y) + sin2 (x) + 2 sin(x) sin(y) + sin2 (y)
= 2 + 2(cos(x) cos(y) + sin(x) sin(y))
= 2 + 2 cos(x − y)
u2 + v 2 − 2
cos(x − y) =
2
u2 + v 2 − 2

−1
x − y = cos
2
 2
u + v2

−1
x = cos −1 +y
2

2
 ahora por otro lado
 2
u + v2
  
v = sin cos−1 − 1 + y + sin(y)
2
 2
u + v2
 2
u + v2
   
= sin cos−1 −1 cos(y) + cos cos−1 −1 sin(y) + sin(y)
2 2
 2
u + v2
 2
u + v2
  
−1
= sin cos −1 cos(y) + − 1 sin(y) + sin(y)
2 2

 2
u + v2
  
u = cos cos−1 − 1 + y + cos(y)
2
 2
u + v2
 2
u + v2
   
= cos cos−1 −1 cos(y) − sin cos−1 −1 sin(y) + cos(y)
2 2
 2
u + v2
 2
u + v2
  
= − 1 cos(y) + cos(y) − sin cos−1 −1 sin(y)
2 2
ahora sumando a u y a v tenemos
u2 + v 2
 2
u + v2
   
u+v = − 1 (cos(y) + sin(y)) − sin cos−1 −1 (sin(y) − cos(y)) + (cos(y) + sin(y))
2 2
√ √ √
 2
u + v2
 2
u + v2
  
= −1 2 cos(π/4 − y) − sin cos−1 −1 (− 2 cos(π/4 − y)) + 2 cos(π/4 − y)
2 2
u+v
cos(π/4 − y) =
√
 2
u + v2
 2
u + v2
  
2 − 1 + sin cos−1 −1 +1
2 2
 
u+v  π
y = − cos−1 

+
√ 2 2
    2 2
  4
 u +v u + v
2 − 1 + sin cos−1 −1 +1
2 2

Fleming
5 Dado g(s, t) = (es cos(t))e1 + (es sin(t))e2 en R2 .
a Pruebe que Jg (s, t) 6= 0 para todo (s, t) pero g no es univalente.

Demostración. Domg = {R2 }

es cos(t) −es sin(t)

 
Jg (s, t) = det
es sin(t) es cos(t)
= e2s (sin2 (t) + cos2 (t))
= e2s 6= 0.

Pero g no es univalente (inyectiva), en efecto, je s ≥ 0 y tome t = π y t = 3π , luego

g(s, π) = (es cos(π))e1 + (es sin(π))e2 = es (−1)e1 + (es (0)e2 = −es e1

g(s, 3π) = (es cos(3π))e1 + (es sin(3π))e2 = es (−1)e1 + (es (0)e2 = −es e1