Skip to main content
Added explanation
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k

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

$$\begin{align} \frac{dq^j}{dt}~=~&\frac{\partial H}{\partial p_j},\cr \frac{dp_j}{dt} +\frac{\partial H}{\partial q^j}~=~&Q_j, \cr j~\in~&\{1,\ldots, n\},\end{align}\tag{5}$$

see (1)this Phys.SE post for details.

  1. Trick with exponential factor$^1$: Define for later convenience the function $$ e(t)~:=~\exp(\frac{\beta t}{m}). \tag{5}$$$$ e(t)~:=~\exp(\frac{\beta t}{m}). \tag{6}$$ A possible variational formulation (4) of Lagrange equations is then given by the Lagrangian $$\begin{align} L(q,\dot{q},t)~:=~&e(t)L_0(q,\dot{q},t), \cr L_0(q,\dot{q},t)~:=~&\frac{m}{2}\dot{q}^2-V(q,t).\end{align}\tag{6}$$$$\begin{align} L(q,\dot{q},t)~:=~&e(t)L_0(q,\dot{q},t), \cr L_0(q,\dot{q},t)~:=~&\frac{m}{2}\dot{q}^2-V(q,t).\end{align}\tag{7}$$ The corresponding Hamiltonian is $$ H(q,p,t)~:=~\frac{p^2}{2me(t)}+e(t)V(q,t).\tag{7}$$$$ H(q,p,t)~:=~\frac{p^2}{2me(t)}+e(t)V(q,t).\tag{8}$$ One caveat is that the Hamiltonian (78) 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 (56), 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 (56) is an overall common multiplicative factor for the Lagrangian (67). 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 $$\begin{align}L ~=~& m\sum_{j=1}^n\dot{q}^j\dot{\lambda}^j\cr &-\sum_{j=1}^n\left(\beta\dot{q}^j+\frac{\partial V(q,t)}{\partial q^j}\right)\lambda^j.\end{align}\tag{8}$$$$\begin{align}L ~=~& m\sum_{j=1}^n\dot{q}^j\dot{\lambda}^j\cr &-\sum_{j=1}^n\left(\beta\dot{q}^j+\frac{\partial V(q,t)}{\partial q^j}\right)\lambda^j.\end{align}\tag{9}$$ (Here we have for convenience "integrated the kinetic term by parts" to avoid higher time derivatives.)

  3. Classical Schwinger/Keldysh "in-in" formalism: The variables are doubled up. See e.g. eq. (20) in C.R. Galley, arXiv:1210.2745. Ignoring boundary terms$^2$ the Lagrangian reads $$\begin{align} \widetilde{L}(q_{\pm},\dot{q}_{\pm},t) ~=~&\left. L(q_1,\dot{q}_1,t)\right|_{q_1=q_+ + q_-/2}\cr ~-~&\left. L(q_2,\dot{q}_2,t)\right|_{q_2=q_+ - q_-/2}\cr ~+~&Q_j(q_+,\dot{q}_+,t)q^j_-\end{align}\tag{9}. $$$$\begin{align} \widetilde{L}(q_{\pm},\dot{q}_{\pm},t) ~=~&\left. L(q_1,\dot{q}_1,t)\right|_{q_1=q_+ + q_-/2}\cr ~-~&\left. L(q_2,\dot{q}_2,t)\right|_{q_2=q_+ - q_-/2}\cr ~+~&Q_j(q_+,\dot{q}_+,t)q^j_-\end{align}\tag{10}. $$ The initial conditions $$\left\{\begin{array}{rcl} q^j_+(t_i)&=&q^j_i,\cr\dot{q}^j_+(t_i)&=&\dot{q}^j_i\end{array}\right.\tag{10} $$$$\left\{\begin{array}{rcl} q^j_+(t_i)&=&q^j_i,\cr\dot{q}^j_+(t_i)&=&\dot{q}^j_i\end{array}\right.\tag{11} $$ implement the system's underlying initial values. The final conditions $$\begin{align}\left\{\begin{array}{rcl} q^j_-(t_f)&=&0\cr \dot{q}^j_-(t_f)&=&0 \end{array}\right. & \cr\cr\qquad\Downarrow&\qquad\cr\cr \left.\frac{\partial \widetilde{L}}{\partial \dot{q}^j_+}\right|_{t=t_f}~=~&0 \end{align}\tag{11} $$$$\begin{align}\left\{\begin{array}{rcl} q^j_-(t_f)&=&0\cr \dot{q}^j_-(t_f)&=&0 \end{array}\right. & \cr\cr\qquad\Downarrow&\qquad\cr\cr \left.\frac{\partial \widetilde{L}}{\partial \dot{q}^j_+}\right|_{t=t_f}~=~&0 \end{align}\tag{12} $$ implement the physical limit solution $q_-^j= 0$. The doubling trick (910) is often effectively the same as introducing Lagrange multipliers (89).

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

$^2$ The variational problem (910)+(1011)+(1112) needs an appropriate initial term, which might not always exist! In particular, since we already imposed $4n$ boundary conditions (1011)+(1112), it would be too much to also impose the initial condition $$ q^j_-(t_i)~=~0. \qquad (\leftarrow\text{Wrong!})\tag{12}$$$$ q^j_-(t_i)~=~0. \qquad (\leftarrow\text{Wrong!})\tag{13}$$ Example: If
$$L~=~\frac{1}{2}m\dot{q}^2,\qquad Q~=~0,\tag{13}$$$$L~=~\frac{1}{2}m\dot{q}^2,\qquad Q~=~0,\tag{14}$$ then $$\widetilde{L}~\stackrel{(13)+(9)}{=}~m\dot{q}_+\dot{q}_-,$$$$\widetilde{L}~\stackrel{(14)+(10)}{=}~m\dot{q}_+\dot{q}_-,\tag{15}$$ and one should add an initial term $\left. m\dot{q}_+q_-\right|_{t=t_i}$ to the action $$\widetilde{S}~=~\left. m\dot{q}_+q_-\right|_{t=t_i}+ \int_{t_i}^{t_f}\!dt~\widetilde{L} ,\tag{14}$$$$\widetilde{S}~=~\left. m\dot{q}_+q_-\right|_{t=t_i}+ \int_{t_i}^{t_f}\!dt~\widetilde{L} ,\tag{16}$$ so that an infinitesimal variation becomes $$ \delta \widetilde{S}~\stackrel{\rm IBP}{=}~\text{bulk terms} ~+~ \text{boundary terms},\tag{15}$$$$ \delta \widetilde{S}~\stackrel{\rm IBP}{=}~\text{bulk terms} ~+~ \text{boundary terms},\tag{17}$$ where the boundary terms $$\begin{align}\text{boundary terms} ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_i} +\left[m\dot{q}_{\pm}\delta q_{\mp}\right]_{t=t_i}^{t=t_f}\cr ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_f} +\left[m\dot{q}_-\delta q_+\right]_{t=t_i}^{t=t_f}\cr ~\stackrel{(10)+(11)}{=}&~0.\end{align}\tag{16}$$$$\begin{align}\text{boundary terms} ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_i} +\left[m\dot{q}_{\pm}\delta q_{\mp}\right]_{t=t_i}^{t=t_f}\cr ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_f} +\left[m\dot{q}_-\delta q_+\right]_{t=t_i}^{t=t_f}\cr ~\stackrel{(11)+(12)}{=}&~0.\end{align}\tag{18}$$ vanish, as they should.

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).

  1. Trick with exponential factor$^1$: Define for later convenience the function $$ e(t)~:=~\exp(\frac{\beta t}{m}). \tag{5}$$ A possible variational formulation (4) of Lagrange equations is then given by the Lagrangian $$\begin{align} L(q,\dot{q},t)~:=~&e(t)L_0(q,\dot{q},t), \cr L_0(q,\dot{q},t)~:=~&\frac{m}{2}\dot{q}^2-V(q,t).\end{align}\tag{6}$$ The corresponding Hamiltonian is $$ H(q,p,t)~:=~\frac{p^2}{2me(t)}+e(t)V(q,t).\tag{7}$$ 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 $$\begin{align}L ~=~& m\sum_{j=1}^n\dot{q}^j\dot{\lambda}^j\cr &-\sum_{j=1}^n\left(\beta\dot{q}^j+\frac{\partial V(q,t)}{\partial q^j}\right)\lambda^j.\end{align}\tag{8}$$ (Here we have for convenience "integrated the kinetic term by parts" to avoid higher time derivatives.)

  3. Classical Schwinger/Keldysh "in-in" formalism: The variables are doubled up. See e.g. eq. (20) in C.R. Galley, arXiv:1210.2745. Ignoring boundary terms$^2$ the Lagrangian reads $$\begin{align} \widetilde{L}(q_{\pm},\dot{q}_{\pm},t) ~=~&\left. L(q_1,\dot{q}_1,t)\right|_{q_1=q_+ + q_-/2}\cr ~-~&\left. L(q_2,\dot{q}_2,t)\right|_{q_2=q_+ - q_-/2}\cr ~+~&Q_j(q_+,\dot{q}_+,t)q^j_-\end{align}\tag{9}. $$ The initial conditions $$\left\{\begin{array}{rcl} q^j_+(t_i)&=&q^j_i,\cr\dot{q}^j_+(t_i)&=&\dot{q}^j_i\end{array}\right.\tag{10} $$ implement the system's underlying initial values. The final conditions $$\begin{align}\left\{\begin{array}{rcl} q^j_-(t_f)&=&0\cr \dot{q}^j_-(t_f)&=&0 \end{array}\right. & \cr\cr\qquad\Downarrow&\qquad\cr\cr \left.\frac{\partial \widetilde{L}}{\partial \dot{q}^j_+}\right|_{t=t_f}~=~&0 \end{align}\tag{11} $$ implement the physical limit solution $q_-^j= 0$. The doubling trick (9) is often effectively the same as introducing Lagrange multipliers (8).

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

$^2$ The variational problem (9)+(10)+(11) needs an appropriate initial term, which might not always exist! In particular, since we already imposed $4n$ boundary conditions (10)+(11), it would be too much to also impose the initial condition $$ q^j_-(t_i)~=~0. \qquad (\leftarrow\text{Wrong!})\tag{12}$$ Example: If
$$L~=~\frac{1}{2}m\dot{q}^2,\qquad Q~=~0,\tag{13}$$ then $$\widetilde{L}~\stackrel{(13)+(9)}{=}~m\dot{q}_+\dot{q}_-,$$ and one should add an initial term $\left. m\dot{q}_+q_-\right|_{t=t_i}$ to the action $$\widetilde{S}~=~\left. m\dot{q}_+q_-\right|_{t=t_i}+ \int_{t_i}^{t_f}\!dt~\widetilde{L} ,\tag{14}$$ so that an infinitesimal variation becomes $$ \delta \widetilde{S}~\stackrel{\rm IBP}{=}~\text{bulk terms} ~+~ \text{boundary terms},\tag{15}$$ where the boundary terms $$\begin{align}\text{boundary terms} ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_i} +\left[m\dot{q}_{\pm}\delta q_{\mp}\right]_{t=t_i}^{t=t_f}\cr ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_f} +\left[m\dot{q}_-\delta q_+\right]_{t=t_i}^{t=t_f}\cr ~\stackrel{(10)+(11)}{=}&~0.\end{align}\tag{16}$$ vanish, as they should.

i.e. Euler-Lagrange equations. The Legendre transformation of eq. (2) to the Hamiltonian formulation is of the form

$$\begin{align} \frac{dq^j}{dt}~=~&\frac{\partial H}{\partial p_j},\cr \frac{dp_j}{dt} +\frac{\partial H}{\partial q^j}~=~&Q_j, \cr j~\in~&\{1,\ldots, n\},\end{align}\tag{5}$$

see this Phys.SE post for details.

  1. Trick with exponential factor$^1$: Define for later convenience the function $$ e(t)~:=~\exp(\frac{\beta t}{m}). \tag{6}$$ A possible variational formulation (4) of Lagrange equations is then given by the Lagrangian $$\begin{align} L(q,\dot{q},t)~:=~&e(t)L_0(q,\dot{q},t), \cr L_0(q,\dot{q},t)~:=~&\frac{m}{2}\dot{q}^2-V(q,t).\end{align}\tag{7}$$ The corresponding Hamiltonian is $$ H(q,p,t)~:=~\frac{p^2}{2me(t)}+e(t)V(q,t).\tag{8}$$ One caveat is that the Hamiltonian (8) 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 (6), 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 (6) is an overall common multiplicative factor for the Lagrangian (7). 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 $$\begin{align}L ~=~& m\sum_{j=1}^n\dot{q}^j\dot{\lambda}^j\cr &-\sum_{j=1}^n\left(\beta\dot{q}^j+\frac{\partial V(q,t)}{\partial q^j}\right)\lambda^j.\end{align}\tag{9}$$ (Here we have for convenience "integrated the kinetic term by parts" to avoid higher time derivatives.)

  3. Classical Schwinger/Keldysh "in-in" formalism: The variables are doubled up. See e.g. eq. (20) in C.R. Galley, arXiv:1210.2745. Ignoring boundary terms$^2$ the Lagrangian reads $$\begin{align} \widetilde{L}(q_{\pm},\dot{q}_{\pm},t) ~=~&\left. L(q_1,\dot{q}_1,t)\right|_{q_1=q_+ + q_-/2}\cr ~-~&\left. L(q_2,\dot{q}_2,t)\right|_{q_2=q_+ - q_-/2}\cr ~+~&Q_j(q_+,\dot{q}_+,t)q^j_-\end{align}\tag{10}. $$ The initial conditions $$\left\{\begin{array}{rcl} q^j_+(t_i)&=&q^j_i,\cr\dot{q}^j_+(t_i)&=&\dot{q}^j_i\end{array}\right.\tag{11} $$ implement the system's underlying initial values. The final conditions $$\begin{align}\left\{\begin{array}{rcl} q^j_-(t_f)&=&0\cr \dot{q}^j_-(t_f)&=&0 \end{array}\right. & \cr\cr\qquad\Downarrow&\qquad\cr\cr \left.\frac{\partial \widetilde{L}}{\partial \dot{q}^j_+}\right|_{t=t_f}~=~&0 \end{align}\tag{12} $$ implement the physical limit solution $q_-^j= 0$. The doubling trick (10) is often effectively the same as introducing Lagrange multipliers (9).

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

$^2$ The variational problem (10)+(11)+(12) needs an appropriate initial term, which might not always exist! In particular, since we already imposed $4n$ boundary conditions (11)+(12), it would be too much to also impose the initial condition $$ q^j_-(t_i)~=~0. \qquad (\leftarrow\text{Wrong!})\tag{13}$$ Example: If
$$L~=~\frac{1}{2}m\dot{q}^2,\qquad Q~=~0,\tag{14}$$ then $$\widetilde{L}~\stackrel{(14)+(10)}{=}~m\dot{q}_+\dot{q}_-,\tag{15}$$ and one should add an initial term $\left. m\dot{q}_+q_-\right|_{t=t_i}$ to the action $$\widetilde{S}~=~\left. m\dot{q}_+q_-\right|_{t=t_i}+ \int_{t_i}^{t_f}\!dt~\widetilde{L} ,\tag{16}$$ so that an infinitesimal variation becomes $$ \delta \widetilde{S}~\stackrel{\rm IBP}{=}~\text{bulk terms} ~+~ \text{boundary terms},\tag{17}$$ where the boundary terms $$\begin{align}\text{boundary terms} ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_i} +\left[m\dot{q}_{\pm}\delta q_{\mp}\right]_{t=t_i}^{t=t_f}\cr ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_f} +\left[m\dot{q}_-\delta q_+\right]_{t=t_i}^{t=t_f}\cr ~\stackrel{(11)+(12)}{=}&~0.\end{align}\tag{18}$$ vanish, as they should.

Added explanation
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k

$^2$ The variational problem (9)+(10)+(11) needs an appropriate initial term, which might not always exist! In particular, since we already imposed $4n$ boundary conditions (10)+(11), it would be too much to also impose the initial condition $$ q^j_-(t_i)~=~0. \qquad (\leftarrow\text{Wrong!})$$$$ q^j_-(t_i)~=~0. \qquad (\leftarrow\text{Wrong!})\tag{12}$$ Example: If $L=\frac{1}{2}m\dot{q}^2$, then $\widetilde{L}=m\dot{q}_+\dot{q}_-$, and
$$L~=~\frac{1}{2}m\dot{q}^2,\qquad Q~=~0,\tag{13}$$ then $$\widetilde{L}~\stackrel{(13)+(9)}{=}~m\dot{q}_+\dot{q}_-,$$ and one should add an initial term $m\dot{q}_+(t_i)q_-(t_i)$$\left. m\dot{q}_+q_-\right|_{t=t_i}$ to the action $\widetilde{S}$ $$\widetilde{S}~=~\left. m\dot{q}_+q_-\right|_{t=t_i}+ \int_{t_i}^{t_f}\!dt~\widetilde{L} ,\tag{14}$$ so that an infinitesimal variation becomes $$ \delta \widetilde{S}~\stackrel{\rm IBP}{=}~\text{bulk terms} ~+~ \text{boundary terms},\tag{15}$$ where the boundary terms $$\begin{align}\text{boundary terms} ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_i} +\left[m\dot{q}_{\pm}\delta q_{\mp}\right]_{t=t_i}^{t=t_f}\cr ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_f} +\left[m\dot{q}_-\delta q_+\right]_{t=t_i}^{t=t_f}\cr ~\stackrel{(10)+(11)}{=}&~0.\end{align}\tag{16}$$ vanish, as they should.

$^2$ The variational problem (9)+(10)+(11) needs an appropriate initial term, which might not always exist! In particular, since we already imposed $4n$ boundary conditions (10)+(11), it would be too much to also impose the initial condition $$ q^j_-(t_i)~=~0. \qquad (\leftarrow\text{Wrong!})$$ Example: If $L=\frac{1}{2}m\dot{q}^2$, then $\widetilde{L}=m\dot{q}_+\dot{q}_-$, and one should add an initial term $m\dot{q}_+(t_i)q_-(t_i)$ to the action $\widetilde{S}$.

$^2$ The variational problem (9)+(10)+(11) needs an appropriate initial term, which might not always exist! In particular, since we already imposed $4n$ boundary conditions (10)+(11), it would be too much to also impose the initial condition $$ q^j_-(t_i)~=~0. \qquad (\leftarrow\text{Wrong!})\tag{12}$$ Example: If
$$L~=~\frac{1}{2}m\dot{q}^2,\qquad Q~=~0,\tag{13}$$ then $$\widetilde{L}~\stackrel{(13)+(9)}{=}~m\dot{q}_+\dot{q}_-,$$ and one should add an initial term $\left. m\dot{q}_+q_-\right|_{t=t_i}$ to the action $$\widetilde{S}~=~\left. m\dot{q}_+q_-\right|_{t=t_i}+ \int_{t_i}^{t_f}\!dt~\widetilde{L} ,\tag{14}$$ so that an infinitesimal variation becomes $$ \delta \widetilde{S}~\stackrel{\rm IBP}{=}~\text{bulk terms} ~+~ \text{boundary terms},\tag{15}$$ where the boundary terms $$\begin{align}\text{boundary terms} ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_i} +\left[m\dot{q}_{\pm}\delta q_{\mp}\right]_{t=t_i}^{t=t_f}\cr ~=~&\left. mq_-\delta\dot{q}_+ \right|_{t=t_i} +\left. m\dot{q}_+\delta q_-\right|_{t=t_f} +\left[m\dot{q}_-\delta q_+\right]_{t=t_i}^{t=t_f}\cr ~\stackrel{(10)+(11)}{=}&~0.\end{align}\tag{16}$$ vanish, as they should.

Added explanation
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k

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 functionRayleigh dissipative function, but this is not a genuine potential.

i.e. Euler-Lagrange equationsEuler-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).

  1. Trick with exponential factor$^1$: Define for later convenience the function $$ e(t)~:=~\exp(\frac{\beta t}{m}). \tag{5}$$ A possible variational formulation (4) of Lagrange equations is then given by the Lagrangian $$\begin{align} L(q,\dot{q},t)~:=~&e(t)L_0(q,\dot{q},t), \cr L_0(q,\dot{q},t)~:=~&\frac{m}{2}\dot{q}^2-V(q,t).\end{align}\tag{6}$$ The corresponding Hamiltonian is $$ H(q,p,t)~:=~\frac{p^2}{2me(t)}+e(t)V(q,t).\tag{7}$$ 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 $$\begin{align}L ~=~& m\sum_{j=1}^n\dot{q}^j\dot{\lambda}^j\cr &-\sum_{j=1}^n\left(\beta\dot{q}^j+\frac{\partial V(q,t)}{\partial q^j}\right)\lambda^j.\end{align}\tag{8}$$ (Here we have for convenience "integrated the kinetic term by parts" to avoid higher time derivatives.)

  3. Doubling trickClassical Schwinger/Keldysh "in-in" formalism: The variables are doubled up. See e.g. eq. (20) in C.R. Galley, arXiv:1210.2745. The doubledIgnoring boundary terms$^2$ the Lagrangian isreads $$\begin{align} \widetilde{L}(q_{\pm},\dot{q}_{\pm},t) ~=~&\left. L(q_1,\dot{q}_1,t)\right|_{q_1=q_+ + q_-/2}\cr ~-~&\left. L(q_2,\dot{q}_2,t)\right|_{q_2=q_+ - q_-/2}\cr ~+~&Q_j(q_+,\dot{q}_+,t)q^j_-\end{align}\tag{9}. $$ The initial conditions are $$\left\{\begin{array}{rcl} q^j_+(t_i)&=&q^j_i,\cr\dot{q}^j_+(t_i)&=&\dot{q}^j_i,\cr q^j_-(t_i)&=&0.\end{array}\right.\tag{10} $$$$\left\{\begin{array}{rcl} q^j_+(t_i)&=&q^j_i,\cr\dot{q}^j_+(t_i)&=&\dot{q}^j_i\end{array}\right.\tag{10} $$ implement the system's underlying initial values. The final conditions are $$\begin{align}\left\{\begin{array}{rcl} q^j_-(t_f)&=&0\cr \dot{q}^j_-(t_f)&=&0 \end{array}\right. & \cr\cr\qquad\Downarrow&\qquad\cr\cr \left.\frac{\partial \widetilde{L}}{\partial \dot{q}^j_+}\right|_{t=t_f}~=~&0 .\end{align}\tag{11} $$$$\begin{align}\left\{\begin{array}{rcl} q^j_-(t_f)&=&0\cr \dot{q}^j_-(t_f)&=&0 \end{array}\right. & \cr\cr\qquad\Downarrow&\qquad\cr\cr \left.\frac{\partial \widetilde{L}}{\partial \dot{q}^j_+}\right|_{t=t_f}~=~&0 \end{align}\tag{11} $$ The $5n$ boundary conditions (10) & (11) do not overconstrain the system. One still gets the Lagrange equations (2) [now posed as an initial value problem!], andimplement the physical limit solution $q_-^j= 0$. The The doubling trick (9) is often effectively the same as introducing Lagrange multipliers (8).

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

$^1$ Hat tip: Valter Moretti.

$^2$ The variational problem (9)+(10)+(11) needs an appropriate initial term, which might not always exist! In particular, since we already imposed $4n$ boundary conditions (10)+(11), it would be too much to also impose the initial condition $$ q^j_-(t_i)~=~0. \qquad (\leftarrow\text{Wrong!})$$ Example: If $L=\frac{1}{2}m\dot{q}^2$, then $\widetilde{L}=m\dot{q}_+\dot{q}_-$, and one should add an initial term $m\dot{q}_+(t_i)q_-(t_i)$ to the action $\widetilde{S}$.

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.

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).

  1. Trick with exponential factor$^1$: Define for later convenience the function $$ e(t)~:=~\exp(\frac{\beta t}{m}). \tag{5}$$ A possible variational formulation (4) of Lagrange equations is then given by the Lagrangian $$\begin{align} L(q,\dot{q},t)~:=~&e(t)L_0(q,\dot{q},t), \cr L_0(q,\dot{q},t)~:=~&\frac{m}{2}\dot{q}^2-V(q,t).\end{align}\tag{6}$$ The corresponding Hamiltonian is $$ H(q,p,t)~:=~\frac{p^2}{2me(t)}+e(t)V(q,t).\tag{7}$$ 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 $$\begin{align}L ~=~& m\sum_{j=1}^n\dot{q}^j\dot{\lambda}^j\cr &-\sum_{j=1}^n\left(\beta\dot{q}^j+\frac{\partial V(q,t)}{\partial q^j}\right)\lambda^j.\end{align}\tag{8}$$ (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. The doubled Lagrangian is $$\begin{align} \widetilde{L}(q_{\pm},\dot{q}_{\pm},t) ~=~&\left. L(q_1,\dot{q}_1,t)\right|_{q_1=q_+ + q_-/2}\cr ~-~&\left. L(q_2,\dot{q}_2,t)\right|_{q_2=q_+ - q_-/2}\cr ~+~&Q_j(q_+,\dot{q}_+,t)q^j_-\end{align}\tag{9}. $$ The initial conditions are $$\left\{\begin{array}{rcl} q^j_+(t_i)&=&q^j_i,\cr\dot{q}^j_+(t_i)&=&\dot{q}^j_i,\cr q^j_-(t_i)&=&0.\end{array}\right.\tag{10} $$ The final conditions are $$\begin{align}\left\{\begin{array}{rcl} q^j_-(t_f)&=&0\cr \dot{q}^j_-(t_f)&=&0 \end{array}\right. & \cr\cr\qquad\Downarrow&\qquad\cr\cr \left.\frac{\partial \widetilde{L}}{\partial \dot{q}^j_+}\right|_{t=t_f}~=~&0 .\end{align}\tag{11} $$ The $5n$ boundary conditions (10) & (11) do not overconstrain the system. One still gets the Lagrange equations (2) [now posed as an initial value problem!], and the physical limit solution $q_-^j= 0$. The doubling trick (9) is effectively the same as introducing Lagrange multipliers (8).

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

$^1$ Hat tip: Valter Moretti.

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.

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).

  1. Trick with exponential factor$^1$: Define for later convenience the function $$ e(t)~:=~\exp(\frac{\beta t}{m}). \tag{5}$$ A possible variational formulation (4) of Lagrange equations is then given by the Lagrangian $$\begin{align} L(q,\dot{q},t)~:=~&e(t)L_0(q,\dot{q},t), \cr L_0(q,\dot{q},t)~:=~&\frac{m}{2}\dot{q}^2-V(q,t).\end{align}\tag{6}$$ The corresponding Hamiltonian is $$ H(q,p,t)~:=~\frac{p^2}{2me(t)}+e(t)V(q,t).\tag{7}$$ 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 $$\begin{align}L ~=~& m\sum_{j=1}^n\dot{q}^j\dot{\lambda}^j\cr &-\sum_{j=1}^n\left(\beta\dot{q}^j+\frac{\partial V(q,t)}{\partial q^j}\right)\lambda^j.\end{align}\tag{8}$$ (Here we have for convenience "integrated the kinetic term by parts" to avoid higher time derivatives.)

  3. Classical Schwinger/Keldysh "in-in" formalism: The variables are doubled up. See e.g. eq. (20) in C.R. Galley, arXiv:1210.2745. Ignoring boundary terms$^2$ the Lagrangian reads $$\begin{align} \widetilde{L}(q_{\pm},\dot{q}_{\pm},t) ~=~&\left. L(q_1,\dot{q}_1,t)\right|_{q_1=q_+ + q_-/2}\cr ~-~&\left. L(q_2,\dot{q}_2,t)\right|_{q_2=q_+ - q_-/2}\cr ~+~&Q_j(q_+,\dot{q}_+,t)q^j_-\end{align}\tag{9}. $$ The initial conditions $$\left\{\begin{array}{rcl} q^j_+(t_i)&=&q^j_i,\cr\dot{q}^j_+(t_i)&=&\dot{q}^j_i\end{array}\right.\tag{10} $$ implement the system's underlying initial values. The final conditions $$\begin{align}\left\{\begin{array}{rcl} q^j_-(t_f)&=&0\cr \dot{q}^j_-(t_f)&=&0 \end{array}\right. & \cr\cr\qquad\Downarrow&\qquad\cr\cr \left.\frac{\partial \widetilde{L}}{\partial \dot{q}^j_+}\right|_{t=t_f}~=~&0 \end{align}\tag{11} $$ implement the physical limit solution $q_-^j= 0$. The doubling trick (9) is often effectively the same as introducing Lagrange multipliers (8).

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

$^1$ Hat tip: Valter Moretti.

$^2$ The variational problem (9)+(10)+(11) needs an appropriate initial term, which might not always exist! In particular, since we already imposed $4n$ boundary conditions (10)+(11), it would be too much to also impose the initial condition $$ q^j_-(t_i)~=~0. \qquad (\leftarrow\text{Wrong!})$$ Example: If $L=\frac{1}{2}m\dot{q}^2$, then $\widetilde{L}=m\dot{q}_+\dot{q}_-$, and one should add an initial term $m\dot{q}_+(t_i)q_-(t_i)$ to the action $\widetilde{S}$.

Minor formatting
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k
Loading
Added explanation
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k
Loading
Added explanation
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k
Loading
replaced http://physics.stackexchange.com/ with https://physics.stackexchange.com/
Source Link
Loading
Removed reference to Lagrange equation of second kind
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k
Loading
Tried to explain why the unconventional approach does not generically render friction forces variational
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k
Loading
added explanation
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k
Loading
added explanation
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k
Loading
added 5 characters in body
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k
Loading
Source Link
Qmechanic
  • 212.7k
  • 48
  • 589
  • 2.3k
Loading