classical mechanics - Lagrangian and Hamiltonian EOM with dissipative force

I am trying to write the Lagrangian and Hamiltonian for the forced Harmonic oscillator before quantizing it to get to the quantum picture. For EOM $$m\ddot{q}+\beta\dot{q}+kq=f(t),$$ I write the Lagrangian $$ L=\frac{1}{2}m\dot{q}^{2}-\frac{1}{2}kq^{2}+f(t)q$$ with Rayleigh dissipation function as $$ D=\frac{1}{2}\beta\dot{q}^{2}$$ to put in Lagrangian EOM $$0 = \frac{\mathrm{d}}{\mathrm{d}t} \left ( \frac {\partial L}{\partial \dot{q}_j} \right ) - \frac {\partial L}{\partial q_j} + \frac {\partial D}{\partial \dot{q}_j}. $$

On Legendre transform of $L$, I get $$H=\frac{1}{2m}{p}^{2}+\frac{1}{2}kq^{2}-f(t)q.$$

How do I include the dissipative term to get the correct EOM from the Hamiltonian's EOM?

Answer

Problem: Given Newton's second law

$$\tag{1} m\ddot{q}^j~=~-\beta\dot{q}^j-\frac{\partial V(q,t)}{\partial q^j}, \qquad j~\in~\{1,\ldots, n\}, $$

for a non-relativistic point particle in $n$ dimensions, subjected to a friction force, and also subjected to various forces that have a total potential $V(q,t)$, which may depend explicitly on time.

I) Conventional approach: There is a non-variational formulation of Lagrange equations

$$\tag{2} \frac{d}{dt} \left(\frac{\partial L}{\partial \dot{q}^j}\right)-\frac{\partial L}{\partial q^j}~=~Q_j, \qquad j~\in~\{1,\ldots, n\},$$

where $Q_j$ are the generalized forces that do not have generalized potentials. In our case (1), the Lagrangian in eq. (2) is $L=T-V$, with $T=\frac{1}{2}m\dot{q}^2$; and the force

$$\tag{3} Q_j~=~-\beta\dot{q}^j$$

is the friction force. It is shown in e.g. this Phys.SE post that the friction force (3) does not have a potential. As OP mentions, one may introduce the Rayleigh dissipative function, but this is not a genuine potential.

Conventionally, we additionally demand that the Lagrangian is of the form $L=T-U$, where $T=\frac{1}{2}m\dot{q}^2$ is related to the LHS of EOMs (1) (i.e. the kinematic side), while the potential $U$ is related to the RHS of EOMs (1) (i.e. the dynamical side).

With these additional requirements, the EOM (1) does not have a variational formulation of Lagrange equations

$$\tag{4} \frac{d}{dt} \left(\frac{\partial L}{\partial \dot{q}^j}\right)-\frac{\partial L}{\partial q^j}~=~0,\qquad j~\in~\{1,\ldots, n\}, $$

i.e. Euler-Lagrange equations. The Legendre transformation to the Hamiltonian formulation is traditionally only defined for a variational formulation (4). So there is no conventional Hamiltonian formulation of the EOM (1).

II) Unconventional approaches:

1. 
   

   Trick with exponential factor$^1$: Define for later convenience the function $$\tag{5} e(t)~:=~\exp(\frac{\beta t}{m}). $$ A possible variational formulation (4) of Lagrange equations is then given by the Lagrangian $$\tag{6} L(q,\dot{q},t)~:=~e(t)L_0(q,\dot{q},t), \qquad L_0(q,\dot{q},t)~:=~\frac{m}{2}\dot{q}^2-V(q,t).$$ The corresponding Hamiltonian is $$\tag{7} H(q,p,t)~:=~\frac{p^2}{2me(t)}+e(t)V(q,t).$$ One caveat is that the Hamiltonian (7) does not represent the traditional notion of total energy. Another caveat is that this unconventional approach cannot be generalized to the case where two coupled sectors of the theory require different factors (5), e.g. where each coordinate $q^j$ has individual friction-over-mass-ratios $\frac{\beta_j}{m_j}$, $j\in\{1, \ldots, n\}$. For this unconventional approach to work, it is crucial that the factor (5) is an overall common multiplicative factor for the Lagrangian (6). This is an unnatural requirement from a physics perspective.

   
   


2. 
   

   Imposing EOMs via Lagrange multipliers $\lambda^j$: A variational principle for the EOMs (1) is $$L ~=~ m\sum_{j=1}^n\dot{q}^j\dot{\lambda}^j-\sum_{j=1}^n\left(\beta\dot{q}^j+\frac{\partial V(q,t)}{\partial q^j}\right)\lambda^j.$$ (Here we have for convenience "integrated the kinetic term by parts" to avoid higher time derivatives.)

   
   


3. 
   

   Doubling trick: See e.g. eq. (20) in C.R. Galley, arXiv:1210.2745. Effectively the same as introducing Lagrange multipliers.

   
   
   


4. 
   

   Gurtin-Tonti bi-local method: See e.g. this Phys.SE post.

   
   

--

$^1$ Hat tip: Valter Moretti.