Step 1 Let us show that there is a unique solution, given that . Clearly is a solution with these initial conditions, so look at ; this satisfies . We want to show that for all x. Multiplying by we see that for all x. Note that . Therefore, by the Mean Value Theorem, Now a real sum of squares can only be zero if each summand is zero. So we have, as required, for all x. [For those of an applied bent, we are just doing the classical thing of conserving the total energy.]
Step 1 You can make the educated guess that the solution will be of the form . Then we get Since is never 0, this reduces to We are free to choose k as we wish, because if solves the ODE, then so does , and we simply get as the solution for g instead. So we choose k as simple as possible: such that , that is, . Then the equation reads (after multiplying by 4a) The solution to this, given that , is known: it's of the form , where . So in total we get with k and as specified.