Transient State Work Fluctuation Theorem for a Driven Classical System

We derive the nonequilibrium transient state work fluctuation theorem and also the Jarzynski equality for a classical harmonic oscillator linearly coupled to a harmonic heat bath, which is dragged by an external agent. Coupling with the bath makes the dynamics not only dissipative but also non-Markovian in general. Since we do not assume anything about the spectral nature of the harmonic bath the derivation is not only restricted to the Markovian bath rather it is more general, for a non-Markovian bath.