API: Damped harmonic oscillator

[jstoobysmith]

Key data structure

The key data structure shall be the input data of the damped harmonic oscillator. Namely, the mass, spring constant and damping coefficient.

• is defined

Need

The damped harmonic oscillator is a key example of a classical mechanical system, and a simple generalisation of the harmonic oscillator.

Requirements

• The API shall contain the definition of the kinetic energy.
• The API shall contain the definition of the potential energy.
• The API shall contain the definition of the lagrangian.
• The API shall contain a simplification of the variational gradient of the lagrangian to the Euler-Lagrange equations.
• The API shall contain a definition of the equation of motion of the system.
• The API shall contain a definition of the initial conditions of the damped harmonic oscillator.
• The API shall contain the definition of a trajectory of the damped harmonic oscillator.

Corresponding file system

https://github.com/HEPLean/PhysLean/tree/master/PhysLean/ClassicalMechanics/DampedHarmonicOscillator

Parent APIs

#846