Deje $f:\mathbb{R}\to\mathbb{R}$ $C^1$ función tal que $|f'(t)|\leq k<1$ todos los $t\in \mathbb{R}$.
Deje $\varphi:\mathbb{R}^2\to\mathbb{R}^2$ sea la función dada por $\varphi(x,y)=(x+f(y),f(x)+y)$.
El problema es demostrar que el $\varphi$ es un diffeomorphism. Observe que
$$\det J_\varphi (x,y)=0\quad\Rightarrow \quad f'(x)f'(y)=1\quad \Rightarrow\quad 1=|f'(x)||f'(y)|\leq k^2<1.$$
Por eso, $\det J_\varphi (x,y)\neq 0$ todos los $(x,y)\in\mathbb{R}^2$ e lo $\varphi$ es un local diffeomorphism. Por lo tanto, para demostrar que $\varphi$ es un diffeomorphism es suficiente para demostrar que $\varphi$ es inyectiva y $\varphi(\mathbb{R}^2)=\mathbb{R}^2$.
- $\varphi$ es inyectiva.
$$\varphi(x_1,y_1)=\varphi(x_2,y_2)\quad\Rightarrow\quad x_1+f(y_1)=x_2+f(y_2)\text{ and }f(x_1)+y_1=f(x_2)+y_2$$
Cómo a la conclusión de que la $x_1=x_2$$y_1=y_2$?
- $\varphi$ es surjective.
Deje $(a,b)\in\mathbb{R}^2$. Tenemos que mostrar que existe $(x,y)\in \mathbb{R}^2$ tal que $$\left\{\begin{align*} x+f(y)=a\\ f(x)+y=b \end{align*}\right.$$ ¿Cómo podemos hacerlo?
Gracias.
