Sticking solutions of a bounded square-root differential equation ($v^{\prime }=\sqrt{1-v^2},|v|\le 1$)

For the autonomous differential equation $v^{\prime }=\sqrt{1-v^2}$, the real solutions are nondecreasing and lie in $[-1,1]$. On each nonconstant interval, separation of variables gives $\arcsin v=t-C$, so the solution crosses from $-1$ to $1$ in exactly time $\pi$. Every nonconstant solution on the entire real time axis is consequentlyfor some real $a$. The two constant solutions $v\equiv \pm 1$ complete the list; solutions on shorter intervals are restrictions of these. At the joins both the derivative and the right-hand side are zero, so these are continuously differentiable functions. The right-hand side is continuous but fails Lipschitz continuity at both endpoints, allowing arbitrary waiting time at $-1$ before departure. Once $v$ reaches $1$, monotonicity forces it to stay there. The sine representation without the nonnegative-cosine restriction would incorrectly introduce decreasing pieces.