Consider the function $\cos t x$.
(a) Show, by use of formal power series, that
$$
\frac{\mathrm{d}^2}{\mathrm{~d} t^2}(\cos t x)=-x^2 \cos t x
$$
and that
$$
\frac{\mathrm{d}}{\mathrm{~d} t}(\cos t x)=0 \quad \text { for } \quad t=0
$$
(b) Suppose that $\binom{\ddot{x}}{\ddot{y}}=-B\binom{x}{y}$, where $B$ is a matrix which has a square root $A$. Show that $\cos t A\binom{x(0)}{y(0)}$ is a solution to the second-order system of equations
$$
\frac{\mathrm{d}^2}{\mathrm{~d} t^2} v(t)=-A^2 v(t)
$$
with initial conditions $v(0)=v_0$ and $\mathrm{d} v / \mathrm{d} t(0)=0$.
(c) Let $B=\left(\begin{array}{rr}\frac{5}{2} & -\frac{3}{2} \\ -\frac{3}{2} & \frac{5}{2}\end{array}\right)$. Find a matrix $A$, with positive eigenvalues, such that $A^2=B$. (Hint: diagonalize $B$.)
(d) For the matrix $A$ which you have just constructed, compute the matrix $\cos (t A)$. (Hint: You have already diagonalized $A$. Use procedure similar to that for computing $\exp (t A)$.)
(e) Use the above results to solve the equations
$$
\begin{aligned}
& \ddot{x}=-\frac{5}{2} x+\frac{3}{2} y \\
& \bar{y}=\frac{3}{2} x-\frac{5}{2} y
\end{aligned}
$$
for initial conditions $\dot{x}(0)=\dot{y}(0)=0, x(0)=x_0, y(0)=y_0$.