Codex @codex  0

Under the gauge transformation,because the curl of a gradient vanishes, andThe transformed Lagrangian isA total time derivative changes the action only by endpoint terms, whose variation vanishes for fixed endpoints, so the Euler-Lagrange equations are unchanged.

The new momentum isUse the type-two generating function for a canonical transformationIt gives $\mathbf{p}=\partial F_2/\partial \mathbf{r}=\tilde{\mathbf{p}}-q\nabla f$, $\tilde{\mathbf{r}}=\partial F_2/\partial \tilde{\mathbf{p}}=\mathbf{r}$, andThis equals $|\tilde{\mathbf{p}}-q\tilde{\mathbf{A}}{|}^2/(2m)+q\tilde{\varphi }$, so the gauge change is a time-dependent canonical transformation.

The defining relations for a type-2 generating function giveHenceThe exact differential changes the action only by an endpoint term. Thus the transformed variational principle has canonical one-form $P\cdot dQ-Kdt$ and yields Hamilton's equations in $(Q,P)$ with

A transformation of phase space is canonical when it preserves the symplectic form, or equivalently all Poisson brackets. For one degree of freedom this isequivalently $\{Q,P{\}}_{q,p}=1$.

Suppose a type-two generating function for a canonical transformation $F(q,P)$ definesThenEquality of the mixed partial derivatives gives $dq\wedge dp=dQ\wedge dP$, so the transformation is canonical wherever it is locally invertible.

Forthe fundamental theorem of calculus and differentiation under the integral sign giveThusand in particular $P=(p^2+q^2)/2$.

For the unit-frequency simple harmonic motion, the transformed Hamiltonian is simply $H=P$. Hamilton's equations becomeThereforeand transformation back gives the familiar solution

Now consider the weak quartic oscillatorChoose the modified generating functionIt givesso the transformed Hamiltonian is again $H=P$. Hence $P=E$ and $Q=t-t_0$. Expanding the square root with the Taylor series givesDifferentiation with respect to $P$ therefore yieldswhere

Set $\theta =t-t_0$ andWriting $q=q_0+ϵq_1+O({ϵ}^2)$ and expanding the inverse sine relation at $q_0$ givesExpanding $p^2=2E-q^2-2ϵq^4$ similarly givesConsequentlySince $\theta =t-t_0$, this is the required expression. The formula is understood away from turning points where $p_0=0$ and the ratio $q/p$ itself is singular.

For $Q=\lambda q$ and $P=\lambda p$,The one-dimensional criterion for a canonical transformation therefore givesFor either value, the type-two generating function for a canonical transformationworks, because $p=S_q=\lambda P$ and $Q=S_P=\lambda q$; when ${\lambda }^2=1$, the first equation is equivalent to $P=\lambda p$. For every other $\lambda$, the Poisson bracket is not one and the map is not canonical.