2
$\begingroup$

This is a past exam question, that I don't have a solution to:

Consider the equation: $ \ddot{x} + p(t) \dot{x} + q(t)x = 0 $ when $q$ and $p$ are continuous on $\mathbb{R}$, and there is $a \in \mathbb{R}$ such that $ \forall t \in \mathbb{R}, \space p(t) \leq -a < 0 $

Let $x_1(t), x_2(t)$ two nontrivial solutions to the equations, such that: $ \lim_{t \rightarrow +\infty }(x_1(t)^2 + x_2(t)^2 + \dot{x_1}(t)^2 +\dot{x_2}(t)^2) = 0 $ Prove that $x_1$ and $x_2$ are proportional.

I would love a hint where to start on this one. Thanks!

  • 1
    I'm sorry, I erroneously wrote that the Wronskian is constant. This is not the case: truth is that the Wronskian is *strictly increasing*, and this is the property that Julian Aguirre employs below.2012-09-01

1 Answers 1

4

$ |W(x_1,x_2)|=|x_1x_2'-x_1'x_2|\le|x_1x_2'|+|x_1'x_2|\le\frac12(x_1^2+(x_2')^2+(x_1')^2x_2^2), $ so that $\lim_{t\to\infty}W(x_1,x_2)(t)=0$.

On the other hand, for any $t_0\in\mathbb{R}$ $ |W(x_1,x_2)(t)|=|W(x_1,x_2)(t_0)|e^{-\int_0^tp(s)ds}\ge |W(x_1,x_2)(t_0)|e^{at}\quad\forall t>t_0. $ It follows that $W(x_1,x_2)(t_0)=0$.