lOMoARcPSD|2192898

Soluciones a la prueba del 22 de diciembre 2016

Análisis Matemático (Universidad Autónoma de Madrid)

Su distribución está prohibida | Descargado por Maria Fernandez (mariajose_ccs@yahoo.com)

 lOMoARcPSD|2192898

Análisis Matemático, Curso 2016–2017

Soluciones a la prueba del 22 de diciembre 2016

1. Halla una función f tal que la 2-forma

4x1 x2 x3 − x22 dx1 ∧ dx2 + f dx1 ∧ dx3 + x21 x2 dx2 ∧ dx3

Ω =

sea cerrada en R3 . Para esa f calcula, si existe, una 1-forma ω tal que Ω = dω.

Sol. Por definición, Ω es cerrada en R3 si dΩ ≡ 0. Calculemos por separado la derivada exterior de cada monomio.
El primero da:
d 4x1 x2 x3 − x22 dx1 ∧ dx2 = 4x1 x2 dx3 ∧ dx1 ∧ dx2 ,



Pero dx1 ∧ dx2 , siendo de grado par, conmuta con cualquier forma y ası́ dx3 ∧ dx1 ∧ dx2 = dx1 ∧ dx2 ∧ dx3 . En
definitiva:
d 4x1 x2 x3 − x22 dx1 ∧ dx2 = 4x1 x2 dx1 ∧ dx2 ∧ dx3 .



El segundo monomio da:  

d f dx1 ∧ dx3 = fx2 dx2 ∧ dx1 ∧ dx3 ,
pero dx2 ∧ dx1 = −dx1 ∧ dx2 , luego:
 
d f dx1 ∧ dx3 = −fx2 dx1 ∧ dx2 ∧ dx3 .

Finalmente d x21 x2 dx2 ∧ dx3 = 2x1 x2 dx1 ∧ dx2 ∧ dx3 . Sumándolo todo queda:
 

dΩ = 4x2 x2 − fx2 + 2x1 x2 , dx1 ∧ dx2 ∧ dx3 ,

y Ω es cerrada si y sólo si fx2 = 6x1 x2 . Elegimos, por ejemplo, f = 3x1 x22 y sabemos que la siguiente 2-forma
es cerrada:
Ω = 4x1 x2 x3 − x22 dx1 ∧ dx2 + 3x1 x22 dx1 ∧ dx3 + x21 x2 dx2 ∧ dx3 .

Esta 2-forma es exacta porque R3 es convexo, es decir que existe una 1-forma ω en R3 tal que Ω = dω.
Empezamos por separar los monomios que contienen el factor dx1 :

4x1 x2 x3 − x22 dx1 ∧ dx2 , 3x1 x22 dx1 ∧ dx3 .

A cada uno le quitamos el factor dx1 e integramos la función coeficiente respecto de x1 , dando lugar a la siguiente
1-forma:
3
η1 = 2x21 x2 x3 − x1 x22 dx2 + x21 x22 dx3 .


2
Si lo hemos hecho bien, la 2-forma Ω1 = Ω − dη1 no contendrá la variable x1 en ningún sitio. Calculamos:

d 2x21 x2 x3 − x1 x22 dx2 4x1 x2 x3 − x22 dx1 ∧ dx2 + 2x21 x2 dx3 ∧ dx2 =



=
4x1 x2 x3 − x22 dx1 ∧ dx2 − 2x21 x2 dx2 ∧ dx3 ,


=
 
3 2 2
d x1 x2 dx3 = 3x1 x22 dx1 ∧ dx3 + 3x21 x2 dx2 ∧ dx3 ,
2

por lo tanto:

4x1 x2 x3 − x22 dx1 ∧ dx2 + 3x1 x22 dx1 ∧ dx3 + − 2x21 x2 + 3x21 x2 dx2 ∧ dx3 ,



dη1 =

que resulta ser dη1 = Ω (en este caso Ω1 ≡ 0), luego hacemos ω = η1 y hemos terminado.

Su distribución está prohibida | Descargado por Maria Fernandez (mariajose_ccs@yahoo.com)

 lOMoARcPSD|2192898

2. Se considera la superficie Σ = { (x, y, z) ∈ R3 : x3 − y + z 2 = 0 } y la siguiente parametrización regular de Σ:

ϕ : (0, 2π) × R −→ Σ , ϕ(u, v) = u , u3 + v 2 , v .

Da, con una fórmula explı́cita, la normal unitaria ξ : Σ → R3 que define la orientación de Σ compatible con ϕ.

Sol. El gradiente de la ecuación es un vector normal a la superficie:

∇ x3 − y + z 2 = 3x2 , −1 , 2z ,

por lo tanto las dos normales unitarias posibles vienen dadas por:


3x2 , −1 , 2z
ξ = ε· √ , con ε ∈ {1, −1} .
9x2 + 1 + 4z 2
Las ponemos en función de los parámetros:


3u2 , −1 , 2v
ξ = ε· √ ,
9u2 + 1 + 4v 2
y lo que hay que hacer es ajustar la constante ε para que ϕ y ξ sean compatibles. La condición a satisfacer es:
 3u2
 
1 0 
ε  9u2 + 1 + 4v 2
·  −1 3u2 2v  = ε · √
 
0 < det ξ ϕu ϕv = √ ,
2 2
9u + 1 + 4v  2v 9u2 + 1 + 4v 2
0 1 

y la elección correcta es ε = 1. La solución es:

3u2 , −1 , 2v
ξ = √ .
9u2 + 1 + 4v 2
Si dibujamos los tres ejes del espacio de manera que el eje y vaya de izquierda a derecha, con los valores negativos
de y a la izquierda y los positivos a la derecha, entonces ξ es la normal unitaria que apunta hacia la izquierda.

3. Se considera el dominio suave

U0 = { (u, v) ∈ R2 : 1 < u2 + v 2 < 4 } .

Sea Φ : U 0 → R4 una función de clase C 2 tal que

Φ(u, v) = u + v , 2u , v , u − v en los puntos (u, v) ∈ Fr U0 . (1)

No se explicita el valor de Φ en el resto de U 0 .

Dada la siguiente 1-forma en R4 :
ω = x21 + x24 dx2 + x2 dx3 ,


Z
calcula, razonadamente, la integral dω.
Φ Z
Sol. Desconocemos la función Φ en el interior U0 , lo que nos impide evaluar dω como una integral doble
Φ
en U0 . Lo único que podemos hacer es utilizar el teorema de Stokes:
Z Z Z
dω = ω = Φ∗ ω ,
Φ ∂Φ ∂U0

y aprovechar que ∂U0 es Fr U0 orientada por la normal exterior y sı́ conocemos Φ en los puntos de esa frontera.
La frontera Fr U0 es la unión disjunta {u2 + v 2 = 1} ∪ {u2 + v 2 = 4} de las circunferencias de radios 1 y 2.
En la circunferecnia de radio 1 la normal exterior a U0 es (−u, −v) y las parametrizaciones compatibles de esta
circunferencia son las que la recorren en sentido horario. Por ejemplo
α(t) = (sen t, cos t), t ∈ [0, 2π].
En la circunferencia de radio 2 la normal exterior a u0 es u/2 , v/2 y las parametrizaciones compatibles

de esta
circunferencia son las que la recorren en sentido antihorario. Por ejemplo β(t) = 2 cos t , 2 sen t , t ∈ [0, 2π].
Ahora sabemos que:
Z Z Z Z Z Z Z
dω = Φ∗ ω + Φ ∗ ω = α ∗ Φ∗ ω + β ∗ Φ∗ ω = (Φ ◦ α)∗ ω + (Φ ◦ β)∗ ω .
Φ α β [0,2π] [0,2π] [0,2π] [0,2π]

Su distribución está prohibida | Descargado por Maria Fernandez (mariajose_ccs@yahoo.com)

 lOMoARcPSD|2192898

Tenemos, pues, los siguientes caminos en R4 :

Φ ◦ α(t) = sen t + cos t , 2 sen t , cos t , sen t − cos t ,


Φ ◦ β(t) = 2 cos t + 2 sen t , 4 cos t , 2 sen t , 2 cos t − 2 sen t, ,

y los correspondientes pullbacks de ω = (x21 + x24 ) dx2 + x2 dx3 :

(Φ ◦ α)∗ ω = (sen t + cos t)2 + (sen t − cos t)2 d(2 sen t) + 2 sen t d cos t =
 

= 4 d sen t − 2 sen2 t dt ,
(Φ ◦ β)∗ ω (2 cos t + 2 sen t)2 + (2 cos t + 2 sen t)2 d(4 cos t) + 4 cos t d(2 sen t) =
 
=
= 32 d cos t + 8 cos2 t dt .

Finalmente:
Z Z Z Z Z
dω = 4 d sen t+ −2 sen2 t dt+ 32 d cos t+ 8 cos2 t dt = 0−2π+0+8π = 6π .
Φ t∈[0,2π] t∈[0,2π] t∈[0,2π] t∈[0,2π]

Punto sutil. No es posible calcular explı́citamente el pullback Φ∗ ω con los datos del enunciado, ni siquiera en
los puntos de la frontera Fr U0 . Fijémonos, por ejemplo, en el punto p = (1, 0) ∈ Fr U0 y, entre las infinitas
funciones que cumplen la igualdad (1), tomemos Φ1 , Φ2 : R2 → R4 dadas por:

Φ1 (u, v) =


u + v , 2u , v , u − v
en todo (u, v) ∈ R2 .
Φ2 (u, v) = u + v , 2u , v + 7 (u2 + v 2 − 1)(u2 + v 2 − 4) , u − v

Entonces calculamos:

(Φ1∗ ω)p = 4 (du)p + 2 (dv)p , mientras que (Φ2∗ ω)p = −80 (du)p + 2 (dv)p .

Vamos a explicar este fenómeno. Como el vector e2 es tangente a Fr U0 en p, cualquier función Φ que cumpla (1)
está obligada a cumplir:
Φ(p) = (1, 2, 0, 1) , (dΦ)p e2 = (1, 0, 1, −1) ,
y, como ω(1,2,0,1) (1, 0, 1, −1) = 2, toda esa infinidad de funciones Φ cumplen (Φ∗ ω)p (e2 ) = 2 y por lo tanto

también cumplen:
(Φ∗ ω)p = c · (du)p + 2 (dv)p , (2)



donde el número c está dado por c = ω(1,2,0,1) (dΦ)p e1 = ω(1,2,0,1) De1 Φp . Pero e1 no es tangente a Fr U0
en p, por lo cual a las funciones que cumplen (1) les queda libertad para que De1 Φp sea cualquier vector de R4 .
En consecuencia, el número c en la igualdad (2) puede ser cualquiera.

Es, pues, imprescindible tomar los caminos compuestos Φ ◦ α y Φ ◦ β antes de calcular explı́citamente los
pullbacks de ω.
No lo he tenido en cuenta al corregir el ejercicio, porque no tuve tiempo de explicar este detalle (y tantos otros)
en el aula.

Su distribución está prohibida | Descargado por Maria Fernandez (mariajose_ccs@yahoo.com)