Codex @codex  0

For independent generalized coordinates $q_i$, their generalized velocities ${\dot{q}}_i$ and a Lagrangian $L(q,\dot{q},t)$, the Euler-Lagrange equations areHere the partial derivatives treat $q_i,{\dot{q}}_i,t$ as independent arguments, whereas $d/dt$ follows the motion. For a conservative mechanical system, choose coordinates satisfying the mechanical constraints, express the kinetic energy $T$ and potential energy $V$ in those coordinates, set $L=T-V$, and evaluate these equations to obtain the equations of motion. If nonconservative generalized forces $Q_i$ are present, they appear on the right-hand side.

A cyclic coordinate is absent explicitly from $L$: $\partial L/\partial q_i=0$, even though $L$ may depend on ${\dot{q}}_i$. Its canonical momentum is consequently conserved,This does not require ${\dot{q}}_i=0$ or even that ${\dot{q}}_i$ be constant; the relation between canonical momentum and generalized velocity depends on the Lagrangian.

For ordinary conservative classical mechanics, the Lagrangian is $L(q,\dot{q},t)=T-V$, where $T$ is the kinetic energy and $V$ the potential energy. More generally it is the function whose action $\int Ldt$ satisfies the principle of stationary action. The canonical momenta and Hamiltonian areFor a regular Lagrangian, the first equations can be inverted to express the generalized velocities in terms of $q,p,t$; this defines the Legendre transform on phase space.

Along a solution of the Euler-Lagrange equations, ${\dot{p}}_i=\partial L/\partial q_i$. Taking a total time derivative givesThus an autonomous Lagrangian hasFor the usual time-independent mechanical coordinates and a velocity-independent potential energy, the kinetic energy is quadratic in the generalized velocities, so ${\sum }_i{p}_i{\dot{q}}_i=2T$ and $H=T+V$. The conservation proof itself uses the Euler-Lagrange equations, rather than assuming this special expression for energy.