Cálculo de $ d \Phi^{*} \omega$ y $ \Phi^{*} d\omega$

Question

Dejemos que $\omega \in \Omega^2(\mathbb{R}^3)$ como sigue: $\omega = x dy\land dz + y dz \land dx + z dx \land dy $ . Sea $\Phi: \Bbb R^3\to \Bbb R^3$ sea dada por

$$\Phi(r, \phi, \psi) = (r\cos\phi \cos\psi, r\sin \phi \cos\psi, r\sin \psi) .$$

No puedo averiguar cómo calcular $d\Phi^{*}\omega $ y $ \Phi^{*} d\omega$ .

¿Se supone que son iguales?

Answer 1

El cálculo es muy largo y mecánico, sólo lo hago para el primer término, el resto queda para que lo pruebes tú.

$$\Phi^* (x \,dy\wedge dz) = (x\circ\Phi)\big|_{(r,\phi,\psi)} d(y\circ\Phi)\big|_{(r,\phi,\psi)}\wedge d(z\circ\Phi)\big|_{(r,\phi,\psi)}.\tag{1}$$ Primer mandato: $$ (x\circ\Phi)\big|_{(r,\phi,\psi)} = r\cos\psi \cos\phi. $$ Segundo mandato: $$ d(y\circ\Phi)\big|_{(r,\phi,\psi)} = d(r\cos\psi \sin\phi) \\ = \cos\psi \sin\phi\, dr - r\sin\psi \sin\phi\, d\psi + r\cos\psi \cos\phi\,d\phi. $$ Tercer mandato: $$ d(z\circ\Phi)\big|_{(r,\phi,\psi)} = d(r\sin\psi) = \sin\psi\,dr + r\cos\psi\,d\psi. $$ Por lo tanto (1) es: $$ (r\cos\psi \cos\phi)(\cos\psi \sin\phi\, dr - r\sin\psi \sin\phi\, d\psi + r\cos\psi \cos\phi\,d\phi)\wedge (\sin\psi\,dr + r\cos\psi\,d\psi), $$ utilizar $dr\wedge dr = 0$ y $d\psi\wedge d\psi = 0$ , $dr\wedge d\psi = -d\psi\wedge dr$ que tenemos: $$ \Phi^* (x \,dy\wedge dz) = \\ r^2 \cos\psi \cos\phi \sin\phi \,dr\wedge d\psi \\ + r^2 \cos^2\psi \sin \psi \cos^2 \phi \,dr\wedge d\phi \\ + r^3 \cos^3\psi \cos^2\phi \,d\phi\wedge d\psi. $$ Al tomar la derivada exterior, observe $$ d( \cos\psi \cos\phi \sin\phi \,dr\wedge d\psi) = \\ \color{\red}{ \frac{\partial }{\partial r}\cos\psi \cos\phi \sin\phi \,dr\wedge (dr\wedge d\psi)} \\ + \color{\red}{\frac{\partial }{\partial \psi}\cos\psi \cos\phi \sin\phi \,d\psi\wedge (dr\wedge d\psi) } \\ + \color{\green}{\frac{\partial }{\partial \phi}\cos\psi \cos\phi \sin\phi \,d\phi\wedge (dr\wedge d\psi)}, $$ Los términos rojos han desaparecido, sólo queda el término verde. $$ d\Phi^* (x \,dy\wedge dz) = \\ \frac{\partial }{\partial \phi} r^2 \cos\psi \cos\phi \sin\phi \,d\phi\wedge (dr\wedge d\psi) \\ + \frac{\partial }{\partial \psi}r^2 \cos^2\psi \sin \psi \cos^2 \phi \,d\psi\wedge(dr\wedge d\phi) \\ + \frac{\partial }{\partial r}r^3 \cos^3\psi \cos^2\phi \,dr\wedge(d\phi\wedge d\psi). $$ Entonces podemos combinar estos términos por: $$ dr \wedge d\psi\wedge d\phi = d\phi\wedge (dr\wedge d\psi) = -d\psi\wedge(dr\wedge d\phi) =-dr\wedge(d\phi\wedge d\psi). $$ Haz lo mismo con los otros dos términos (que te quedan por probar): $$ d\Phi^* \omega = d\Phi^* (x \,dy\wedge dz) + d\Phi^* (y \,dz\wedge dx) + d\Phi^* (z \,dx\wedge dy). $$

---

Para $d\omega = 3\,dx\wedge dy\wedge dz$ podemos volver a utilizar (1): $$\Phi^* d\omega = d(x\circ\Phi)\big|_{(r,\phi,\psi)} \wedge d(y\circ\Phi)\big|_{(r,\phi,\psi)}\wedge d(z\circ\Phi)\big|_{(r,\phi,\psi)}.$$ El cálculo es similar al anterior.