Spring Potential Definition