Throughout the problem, $\mathbb { R } ^ { 2 }$ is equipped with the canonical Euclidean inner product denoted $\langle$,$\rangle$ and the associated norm $\| \|$. Let $f$ and $g$ be in $\mathcal { C } ^ { 1 } \left( \mathbb { R } ^ { 2 } , \mathbb { R } \right)$ satisfying the Cauchy-Riemann equations: $$\frac { \partial f } { \partial x } = \frac { \partial g } { \partial y } \quad \text { and } \quad \frac { \partial f } { \partial y } = - \frac { \partial g } { \partial x }$$ We define $\widetilde { f } ( r , \theta ) = f ( r \cos \theta , r \sin \theta )$ and $\widetilde { g } ( r , \theta ) = g ( r \cos \theta , r \sin \theta )$ on $\mathbb { R } _ { + } ^ { * } \times \mathbb { R }$. For $n \in \mathbb { Z }$, let $$\forall r \in \mathbb { R } _ { + } ^ { * } , \quad c _ { n , f } ( r ) = \frac { 1 } { 2 \pi } \int _ { - \pi } ^ { \pi } \widetilde { f } ( r , \theta ) e ^ { - i n \theta } \mathrm { ~d} \theta, \quad c _ { n , g } ( r ) = \frac { 1 } { 2 \pi } \int _ { - \pi } ^ { \pi } \widetilde { g } ( r , \theta ) e ^ { - i n \theta } \mathrm { ~d} \theta$$ For $n \in \mathbb { Z }$, $\mathcal { E } _ { n }$ denotes the space of functions $f$ in $\mathcal { C } ^ { 2 } \left( \mathbb { R } _ { + } ^ { * } , \mathbb { C } \right)$ such that $t ^ { 2 } f ^ { \prime \prime } ( t ) + t f ^ { \prime } ( t ) - n ^ { 2 } f ( t ) = 0$ for all $t \in \mathbb { R } _ { + } ^ { * }$.
Show that $c _ { n , f }$ belongs to $\mathcal { E } _ { n }$ and that $c _ { n , f }$ is bounded in a neighbourhood of 0. Deduce the existence of $a _ { n } \in \mathbb { C }$ such that $$\forall r \in \mathbb { R } _ { + } ^ { * } , \quad c _ { n , f } ( r ) = a _ { n } r ^ { | n | }$$