2
$\begingroup$

Let $C$ be a positive constant. Consider the following system of differential equation with inial value \begin{eqnarray} z(t)+\frac{\sqrt{2}}{2} u'(t)-1=0 \\ 2u''(t)+C \sin(2u(t))=0 \end{eqnarray} with $z(0)=z_0$ and $u(0)=u_0\neq 0$. Would you help me to prove that $z(t)$ that satisfying the system is periodic.

Here's my effort:

First, we can simplify $2u''(t)+C \sin(2u(t))=0$ by linearization to become $u''(t)+C u(t)=0$. Hence, $u(t)=A_1\cos(\sqrt{C}t)+A_2\sin(\sqrt{C}t)$. Thus, $z(t)=-\frac{\sqrt{2}}{2} u'(t)+1=\frac{\sqrt{2C}}{2} (A_1\sin(\sqrt{C}t)-A_2\cos(\sqrt{C}t))+1$. So, $z(t)$ is periodic.

Thanks for your help.

1 Answers 1

1

$z$ is not always periodic. $z$ is given by $z(t)= 1-\frac{1}{\sqrt{2}} u'(t)$.

The system governing $u$ is that of a simple, undamped pendulum. It can have many different sorts of solution depending on $C, u(0), u'(0)$.

One can choose initial conditions so that the pendulum trajectory asymptotically approaches vertical. In this case, $u'$ is not periodic (it has limit $0$), and hence neither is $z$.

Addendum: Here is an explicit demonstration of the latter point.

Let $y_1(t) = 2u(t), y_2(t) = 2 u'(t)$. Then we have the system $\dot{y} = ( y_2 , -C \sin y_1)^T$. Let $V(y) = \frac{1}{2C} y_2^2 - \cos y_1$, and notice that if $y$ is a solution to the differential equation, then $\dot{V}(y(t)) = 0$, hence $V$ is constant on a trajectory.

Choose the initial condition $y_0 = (\frac{\pi}{2}, \sqrt{2C})^T$. Notice that $V(y_0) = 1$, hence $V(y(t)) = 1$ for all $t \geq 0$. Notice that $(\pi, 0)$ is an equilibrium point of the system. We have $\dot{y}_1(0) >0$, $\dot{y}_2(0) <0$, and $\frac{1}{2C} y_2(t)^2 = 1+ \cos y_1(t)$ for all $t \geq 0$.

Now I claim that $y_2(t) >0$ for all $t \geq 0$. If not, then let $t'$ be the first time that $y_2(t') = 0$ (hence $y_1$ is non-decreasing on $[0,t']$). This implies that $\cos y_1(t') = -1$, from which we get $y_1(t') = \pi$. However, since $(\pi, 0)$ is an equilibrium point, this would contradict uniqueness of solution, hence we have $y_2(t) >0$ for all $t \geq 0$. It follows from this that $y_1$ is increasing for all $t \geq 0$, and by the same reasoning, we see that $y_1(t) < \pi$ for all $t \geq 0$, and hence we have $\dot{y}_2(t) < 0$, from which it follows that $y_2$ is decreasing and $y_2(t) >0$ for all $t \geq 0$. It follows that $y$ is bounded and not periodic. Hence $z(t) = 1 - \frac{1}{2 \sqrt{2}} y_2(t)$ is not periodic.

As an aside, a small amount of extra work shows that $\lim_{t \to \infty} y(t) = (\pi, 0)^T$.

  • 0
    I added an explicit example showing that $z$ is not periodic.2012-12-07