grandes-ecoles 2022 Q1.2

grandes-ecoles · France · x-ens-maths__pc_cpge Proof Existence Proof
If $\phi : \mathbb { R } \rightarrow \mathbb { R }$ is of class $\mathcal { C } ^ { 1 }$ and satisfies $$\sup \left\{ \left| \phi ^ { \prime } ( x ) \right| ; x \in \mathbb { R } \right\} < 1$$ show that $\phi$ has at least one fixed point (one may study the sign of $x - \phi ( x )$ for $| x |$ sufficiently large). Show that this fixed point is unique.
If $\phi : \mathbb { R } \rightarrow \mathbb { R }$ is of class $\mathcal { C } ^ { 1 }$ and satisfies
$$\sup \left\{ \left| \phi ^ { \prime } ( x ) \right| ; x \in \mathbb { R } \right\} < 1$$
show that $\phi$ has at least one fixed point (one may study the sign of $x - \phi ( x )$ for $| x |$ sufficiently large). Show that this fixed point is unique.