grandes-ecoles 2022 Q33

grandes-ecoles · France · centrale-maths2__psi Taylor series Prove smoothness or power series expandability of a function
For $p \in \mathbb { N } ^ { * }$, consider a polynomial $P \in \mathbb { R } [ X ]$ such that the polynomial function $x \mapsto P ( x )$ is a solution of the equation $\left( E _ { p } \right) : x \left( y ^ { \prime \prime } - y ^ { \prime } \right) + p y = 0$. For all $x \in \mathbb { R }$, we denote $h ( x ) = \mathrm { e } ^ { - x } P ( x )$. Justify that the function $h$ is developable as a power series on $\mathbb { R }$.
For $p \in \mathbb { N } ^ { * }$, consider a polynomial $P \in \mathbb { R } [ X ]$ such that the polynomial function $x \mapsto P ( x )$ is a solution of the equation $\left( E _ { p } \right) : x \left( y ^ { \prime \prime } - y ^ { \prime } \right) + p y = 0$. For all $x \in \mathbb { R }$, we denote $h ( x ) = \mathrm { e } ^ { - x } P ( x )$. Justify that the function $h$ is developable as a power series on $\mathbb { R }$.