As the title indicates, I want to solve the first order ODE $f'(t)=f(t+\pi/2)$. Here, $f$ is a real function with real variable $t$, and the equation is true for all real $t$.
Immediately, I can tell that $f(t)=\sin t$ or $\cos t$ are solutions, since $f'(t)=\frac{d}{dt}\sin t=\cos t = \sin(t+\pi/2)=f(t+\pi/2)$ and similarly for the cosine. After some pondering, I realised that $f(t)=C_1\cos t + C_2\sin t$ is a solution as well for any constants $C_1$ and $C_2$. I'm tempted to think that these are all the solutions, but I cannot say so for sure; I know that these are all the solutions if the principle of superposition applies, but the way I learnt it, the principle only applies to differential equations of the form $p(D)f(t)=g(t)$ where $p$ is a polynomial.
Thus, I have two questions. Firstly, is what I have given indeed all of the solutions, and how do you prove that? (Perhaps equivalently, how do you prove or disprove that the principle of superposition holds for any imaginable differential equation, no matter what form it is in?) Secondly, and more importantly, how do you properly solve this question? I got my solutions based on pure guessing and not proper reasoning, but there has to be a method to solve this step-by-step without such a huge leap of faith! I have googled for this exact question, but as most resources out there are dedicated to solving equations where the argument of the functions do not change (i.e. the arguments are always $t$ and not $t+\pi/2$), I couldn't find anything useful.
As to solving it in general, there is no unique solution in general, so you need extra data (similar to initial data, except now infinite dimensional) to get uniqueness. You could also assume your solution is bounded, and then Fourier-transforming both sides allows you to solve it within this subclass.
– user254433 Sep 14 '18 at 08:40