Prove that the ordinary differential equation $$y'=-y^3+\sin x $$ has a unique solution satisfying $y(0)=y(2\pi)$
It's really hard for me to figure out the existence and the uniqueness.
I don't have any clue about this problem. Maybe we can let $u(x)=y(x+2\pi)-y(x)$, then $u(x)$ should satisfy $u(0)=0$ and some differential equations.