Let $\dot{x} = f(t,x)$, such that $f:\mathbb{R}^2 \rightarrow \mathbb{R}$ is continuous. Prove that if for every solution to the equation, $x(t)$ and for every $c \in \mathbb{R}$, $x(t + c)$ is also a solution, then $f$ is autonomous.
Prove that the equation is autonomous
-
0@Hila, I think your notation is confusing you. Following Robert's notation below, a clearer statement (of your problem above) might be that if $x$ satisfies the equation at time $t$, then so does $x_c$. Then look for $s$ such that $x_c(s) = x(t)$ and see what that 'says' about $f$. – 2012-08-31
2 Answers
Let's assume that the existence and uniqueness theorem holds throughout the domain $\Omega:={\rm dom}(f)\subset{\mathbb R}^2$. Consider two points $(t_0,x_0)$, $(t_0+c,x_0)\in\Omega$. There is a unique solution $\phi:\ t\mapsto\phi(t)$ of the initial value problem $\dot x(t)=f\bigl(t, x(t)\bigr)\ ,\quad x(t_0)=x_0\ ,$ valid in some $t$-interval $I$ with midpoint $t_0$. By assumption the function $\psi:\quad t\mapsto \psi(t):=\phi(t-c)\ ,$ defined in an interval $I'$ with midpoint $t_0+c$, is also a solution of the differential equation; furthermore $\psi(t_0+c)=\phi(t_0)=x_0$. It follows that $\psi$ is the solution of the initial value problem $\dot x(t)=f\bigl(t, x(t)\bigr)\ ,\quad x(t_0+c)=x_0\ .$ Therefore we have $f(t_0+c,x_0)=f\bigl(t_0+c,\psi(t_0+c)\bigr)=\dot\psi(t_0+c)=\dot\phi(t_0)=f(t_0,x_0)\ .$ This shows that $f$ is constant on horizontal lines in $\Omega$.
Hint: What differential equation does $x_c(t) = x(t+c)$ satisfy?
-
0Not exactly; you have $\dot{x_c} = f(x_c,t)$, which is $\dot{x}(t+c) = f(x(t+c),t)$. Shifting time by $-c$ gives $\dot{x} = f(x,t-c)$ (abusing notation slightly). – 2012-08-31