Periodic differential equation proof

Question

I'm making an exercise in a book from Ravi P. Agarwal, Introduction to Ordinary Differential Equations. I would like to get some help for the following problem:

We are given the differential equation $$ y''+p_1(x)y'+p_2(x)y = 0 $$ where $p_1(x)$ and $p_2(x)$ are continuous functions, and periodic with period $w$ in $\mathbb{R}$.

Show that:

A nontrivial solution $y(x)$ is periodic of period $w$ if and only if $y(0)=y(w)$ and $y'(0)=y'(w)$.

Further if $y_1(x)$ and $y_2(x)$ are two solutions such that $y_1 (0)= 1, y_1'(0)=0, y_2(0)=1, y'_2(0)=0$ then show that:

there exist constants $a, b, c, d$ such that for all $x$ :

$$y_1(x+w)= ay_1(x)+by_2(x)$$ $$y_2(x+w)= cy_1(x)+dy_2(x)$$

I think I have to use a theorem which is in the book. I will give the theorem:

Theorem: Let the matrix $A(x)$ and the function $b(x)$ be continuous and periodic of period $w$ in $\mathbb{R}$. Then the differential system $ u'= A(x)u + b(x)$ has a periodic solution $u(x)$ of period $w$ if and only if $u(0)=u(w)$

Answer 1

If $y(x)=y(x+w)$, then it is immediate that $y(0)=y(w)$ and $y'(0)=y'(w)$.

For the converse, suppose $y(x)$ be a solution of the given differential equation satisfying $y(0)=y(w)$ and $y'(0)=y'(w)$. Let $v(x)=y(x+w)$. Then,

$$ \tag 1 y''(x+w) + p_1(x+w)y'(x+w) + p_2(x+w)y(x+w)=0 $$

is equivalent to

$$ v''(x) + p_1(x)v'(x) + p_2(x)v(x)=0. $$

Hence, $v(x)$ satisfies the given differential equation. Since, $v(0)=y(w)=y(0)$ and $v'(0)=y'(w)=y'(0)$, by the uniqueness of the initial value problems, it follows that $y(x)=v(x)=y(x+w)$, i.e. $y(x)$ is periodic of period $w$.

---

Since the Wronskian $W(y_1,y_2)(0)=1 \neq 0$, the solutions $y_1(x)$ and $y_2(x)$ are independent. Moreover, $y_1(x+w)$ and $y_2(x+w)$ satisfy $(1)$. Hence, both can be written as linear combinations of $y_1(x)$ and $y_2(x)$, i.e., $$ y_1(x+w)= a y_1(x) + by_2(x) ; \quad y_2(x+w)= c y_1(x) + d y_2(x). $$

Using the initial conditions, it follows that $$a=y_1(w); \quad b=y_1'(w);\quad c=y_2(w);\quad d=y_2'(w).$$

Answer 2

At least for the first part of your question, you just need to show that a pair of couple, 1st order equations are equivalent to a single, 2nd order equation. That way, the theorem you cite applies to your equation as well.