Linear harmonic oscillator derivation