API: Configuration space of harmonic oscillator #846
Description
Configuration space of Harmonic Oscillator
Key data structure
The key data structure of this API is the configuration space of the classical harmonic oscillator. This is a should be defined as a structure with a single value of type Real.
- Is defined
Need
Currently the classical harmonic oscillator in PhysLean is not defined using a custom defined configuration space. The problem with this is that the physics is hidden, and defining properties on the configuration space is difficult.
This API should act as a template for making other APIs.
Requirements
The following are requirements of the API:
- the structure of a smooth manifold on the configuration space
- maps from the configuration space to the actual position of the particle in Space
- Trajectories should be defined using the configuration space
- Well defined notion for trajectories, may need interaction with 5e Space API
Corresponding File System
https://github.com/HEPLean/PhysLean/tree/master/PhysLean/ClassicalMechanics/HarmonicOscillator