10
$\begingroup$

Recently I am reading a book about ODE, and I find a question that asks to prove that ODE has a periodic solution under some conditions.

Consider the ODE $x'=f(t,x)$, where $x$ is a scalar and $f$ and $\partial f/\partial x$ are continuous in $(t,x)$. Suppose that $f$ is real and of periodic in $t$. Prove that the ODE has a periodic solution if a solution $\psi$ satisfies $\lim_{t\to\infty}\sup |\psi(t)|<\infty$.

I think this is a such useful result, but I am afraid that I don't find the way how to prove this proposition.

  • 0
    Do you asking for a necessary, a sufficient, or both, condition to ensure the existence of a periodic solution for a ODE, or just asking for how to prove your "useful result"?2011-11-22
  • 0
    @leo I am just asking how to prove my "useful result", not any iff statement.2011-11-22

1 Answers 1

6

Let $T>$ be the period of $f$ as a function of $t$, i.e. $f(t+T,x)=f(t,x)$. Given $\xi\in\mathbb{R}$, let $x(t,\xi)$ be the unique solution of $x'=f(t,x)=$ such that $x(0)=\xi$. Then $$ x(t,x(T,\xi))=x(t+T,\xi). $$ In particular, if $x(T,\xi)=\xi$, then $x(t,\xi)$ is periodic of period $T$.

Define $F\colon\mathbb{R}\to\mathbb{R}$ by $F(\xi)=x(T,\xi)$. The results of continuous dependence of initial values for ODE's show that $F$ is continuous. Moreover, $x(t,\xi)$ is periodic of period $T$ if and only if $F(\xi)=\xi$. Thus, to show the existence of periodic solutions, it is enough to prove that $F$ has fixed points. For this, we will show that there is a finite closed interval $[a,b]$ such that $F([a,b])\subset[a,b]$.

Let $a=\inf\{\psi(0),\psi(T),\psi(2\,T),\dots\}$ and $b=\sup\{\psi(0),\psi(T),\psi(2\,T),\dots\}$; the condition on $\psi$ implies that $a$ and $b$ are finite. If $a=b$, then $\psi$ is constant, and hence periodic. Assume $a. Given $\xi\in(a,b)$, there exist $m,n$ such that $\psi(m\,T)<\xi<\psi(n\,T)$. By uniqueness of solutions $$ F(\xi)=x(T,\xi)$F(\xi)\ge a$. Since $F$ is continuous, it follows that $F([a,b])\subset[a,b]$.

  • 0
    I am very glad to see something similar to what i am trying to prove. I have a scalar ODE $$\dot{x}=\mu g(x)-dx$$ where $\mu$ and $d$ are periodic in time with a period $T$ and $g(x)$ is a switch function. I want to prove the existence of periodic solution. Would you please guide me? I would be grateful.2013-01-30
  • 0
    @Julián Aguirre - is there a way to extend this result to a system of ODEs. In general, how would one extend results to scalar ODEs to system of ODEs.2017-04-25
  • 0
    @user62089 You canconstruct the function $F$ as in the one-dimensional case. To show that $F$ has a fixed point, you may try to prove that it takes a ball into itself and use Brower's fixed point theorem.2017-04-25
  • 0
    @Julián Aguirre What would $a$ and $b$ correspond to in this case? Would it be appropriate to use a component wise infimum and supremum or some norm?2017-04-25
  • 0
    Instead of an interval $[a,b]$ you must look for a set $K$ homeomorfic to the unit ball such that $F(K)\subset K$. I do not see how this can be done in an easy way.2017-04-25