An ideal spring described by Hooke's law
where denotes the spring constant, denotes the spring displacement from rest at time , and is the force required for displacement
If the force on a mass is due to a spring then, as discussed later, we may write the ODE as