grandes-ecoles 2011 Q5
View
We consider the differential equation: $$\forall t \in \left[ 0 , + \infty \left[ , A x ^ { \prime \prime } ( t ) = - K x ( t ) \right. \right. \tag{1}$$ with unknown function $x \in C ^ { 2 } \left( \left[ 0 , + \infty \left[ ; \mathbb { R } ^ { n } \right) \right. \right.$.
Show that $x \in C ^ { 2 } \left( \left[ 0 , + \infty \left[ ; \mathbb { R } ^ { n } \right) \right. \right.$ is a solution of the differential equation (1) if and only if there exist $2 n$ real numbers $\left( a _ { i } \right) _ { 1 \leq i \leq n } , \left( b _ { i } \right) _ { 1 \leq i \leq n }$ such that: $$\forall t \in \left[ 0 , + \infty \left[ , x ( t ) = \sum _ { i = 1 } ^ { n } \left( a _ { i } \cos \left( t \sqrt { \lambda _ { i } } \right) + b _ { i } \sin \left( t \sqrt { \lambda _ { i } } \right) \right) e _ { i } \right. \right.$$ Deduce that the set of solutions of (1) is a finite-dimensional vector space and specify its dimension.