Key references
- Goldstein, Herbert; "Classical Mechanics"; 1959; Addison-Wesley Publishing Company, Inc..
- Lanczos, Cornelius; "The Variational Principles of Mechanics"; 4th ed.; 1970; Dover Publications, Inc..
- Taylor, John R.; "Classical Mechanics"; 2005; University Science Books.
- Susskind, Leonard & Hrabovsky, George; "The Theoretical Minimum: What You Need to Know to Start Doing Physics"; 2013; Basic Books.
- Coopersmith, Jennifer; "The Lazy Universe"; 2017; Oxford University Press.
Lagrangian mechanics
Hamilton's principle
The actual path which a holonomic system follows between two points $1$ and $2$ in configuration space in a given time interval, $t_1$ to $t_2$, is such that the action integral
$$\begin{equation}\label{eqn:action:functional}S = \int_{t_1}^{t_2} \mathcal{L}dt\end{equation}$$
is stationary when taken along the actual path.
$\mathcal{L(\mathbf{q},\dot{\mathbf{q}},t)}$ is the Lagrangian, a function of the generalised coordinates $\mathbf{q}$, generalised velocities $\dot{\mathbf{q}}$, and time $t$, and satisfies the Euler-Lagrange equations
$$\begin{equation} \frac{d}{dt}\frac{\partial{\mathcal{L}}}{\partial{\dot{q_i}}} - \frac{\partial \mathcal{L}}{\partial q_i} = 0 \quad [i=1, \dots, n] \end{equation}$$
$n$ being the number of degrees of freedom.
The generalized force $F_i$ and generalized (or conjugate) momentum $p_i$ are respectively given by $$\begin{equation} \frac{\partial{\mathcal{L}}}{\partial q_i} = F_i, \quad \frac{\partial{\mathcal{L}}}{\partial \dot{q_i}} = p_i\end{equation}$$
The Euler-Lagrange equations can be rewritten as $F_i = \dot{p_i}$.
Conservation and symmetry
If the Lagrangian does not contain a coordinate $q_i$ (though it may contain $\dot{q_i}$) then the coordinate is said to be ignorable and the corresponding conjugate momentum $p_i$ is conserved.
Conservation of Hamiltonian
If $\mathcal{L}$ does not depend explicitly on time ($\partial{\mathcal{L}}/\partial{t} = 0$), then the Hamiltonian
$$\begin{equation}\mathcal{H}(\mathbf{q},\mathbf{p},t) = (\sum_{i=1}^{n}\dot{q_i} p_i) - \mathcal{L}\end{equation}$$
is conserved.
For most systems, $\mathcal{H}$ is just the total energy and is frequently conserved. However, the identification of $\mathcal{H}$ as a constant of motion and as the total energy are two separate matters, and the conditions sufficient for one are not enough for the other.
Lagrangian for electromagnetism
The Lagrangian for a charge $q$ with mass $m$ in an electromagnetic field is $$\begin{equation}\mathcal{L}(\mathbf{r}, \dot{\mathbf{r}}, t) = \frac{1}{2}m\dot{\mathbf{r}}^2 - q(V-\dot{\mathbf{r}}\cdot\mathbf{A})\end{equation}$$
$V(\mathbf{r},t)$ and $\mathbf{A}(\mathbf{r},t)$ being the scalar and vector potentials respectively.
Hamiltonian mechanics
Given the $2n$-dimensional phase space of $n$ generalised coordinates $q_i$ and $n$ conjugate momenta $p_i$ then
$$\begin{equation}\dot{q_i} =\frac{\partial\mathcal{H}}{\partial p_i}\quad\text{and}\quad \dot{p_i}=-\frac{\partial{\mathcal{H}}}{\partial q_i}\quad[i=1,\dots,n]\end{equation}$$
are the canonical equations of Hamilton.
If $\mathcal{H}$ is independent of $q_i$ then the conjugate momentum $p_i$ is conserved and the coordinate $q_i$ is ignorable.
A phase-space orbit is the path traced in phase space by a system as the system evolves in time.
Hamiltonian for electromagnetism
The Hamiltonian for a charge $q$ in an electromagnetic field is
$$\begin{equation}\mathcal{H} = \frac{(\mathbf{p}-q\mathbf{A})^2}{(2m)} + qV\end{equation}$$
Canonical transformations
Coordinate transformations given by
$$\begin{align}Q_i &= Q_i(\mathbf{q},\mathbf{p},t) \\ P_i &= P_i(\mathbf{q},\mathbf{p},t)\end{align}$$
that satisfy
$$\begin{equation}\dot{Q_i}=\frac{\partial K}{\partial P_i}, \quad \dot{P_i}=-\frac{\partial K}{\partial Q_i}\end{equation}$$
where $K(\mathbf{Q},\mathbf{P},t)$ is some function are said to be canonical (or contact) transformations. The transformation equations are completely specified by the generating function $F$ of the transformation which can be written as a function of independent variables in one of only four forms:
$$F_1(\mathbf{q},\mathbf{Q},t),\quad F_2(\mathbf{q},\mathbf{P},t),\quad F_3(\mathbf{p},\mathbf{Q},t),\quad F_4(\mathbf{p},\mathbf{P},t)$$
For $F_1$,
$$p_i = \frac{\partial F_1}{\partial q_i},\quad P_i = -\frac{\partial F_1}{\partial Q_i},\quad K = H + \frac{\partial F_1}{\partial t}$$
For $F_2$,
$$p_i = \frac{\partial F_2}{\partial q_i},\quad Q_i = \frac{\partial F_2}{\partial P_i},\quad K = H + \frac{\partial F_2}{\partial t}$$
For $F_3$,
$$q_i = -\frac{\partial F_3}{\partial p_i},\quad P_i = -\frac{\partial F_3}{\partial Q_i},\quad K = H + \frac{\partial F_3}{\partial t}$$
For $F_4$,
$$q_i = -\frac{\partial F_4}{\partial p_i},\quad Q_i = \frac{\partial F_4}{\partial P_i},\quad K = H + \frac{\partial F_4}{\partial t}$$
A transformation of time occurs automatically in the $4$-dimensional relativistic Hamiltonian formulation; the invariant parameter of the system is the proper time $\tau$ and the ordinary time $t$ appears as one of the coordinates of the particle.
The motion of a system point in time is simply a particular contact transformation of the canonical coordinates in phase space.
The particular form for $F_2$ below generates the identity transformation:
$$F_2 = \sum_i q_i P_i,\quad p_i = P_i,\quad Q_i = q_i,\quad K = H$$
Integral invariants of Poincaré
The integral
$$J_n = \int \dots \int dq_1 \dots dq_n\ dp_1 \dots dp_n$$
over any arbitrary region of phase space is invariant under canonical transformations. The invariance of $J_n$ is equivalent to the statement that volume in phase space is invariant under canonical transformations.
Lagrange brackets
(Note: The bracket notation used in this post is from Goldstein. In particular, the notation for Poisson brackets directly translates to the commutator of Quantum Mechanics for which the Poisson brackets are a direct analogue.)
The Lagrange bracket of $u$ and $v$ defined by
$$\begin{equation}\{u,v\}_{\mathbf{q},\mathbf{p}} = \sum_{i}(\frac{\partial q_i}{\partial u}\frac{\partial p_i}{\partial v}-\frac{\partial p_i}{\partial u}\frac{\partial q_i}{\partial v}) \end{equation}$$
is invariant under canonical transformations.
$$\{u, v\} = -\{v, u\}$$
The fundamental Lagrange brackets are
$$\begin{align}\{q_i, q_j\} &= 0\\ \{p_i, p_j\} &= 0\\ \{q_i, p_j\} &= \delta_{ij}\end{align}$$
Poisson brackets
The Poisson bracket of $u$ and $v$ is defined by
$$\begin{equation}[u,v]_{\mathbf{q},\mathbf{p}} = \sum_{k}(\frac{\partial u}{\partial q_k}\frac{\partial v}{\partial p_k} - \frac{\partial u}{\partial p_k}\frac{\partial v}{\partial q_k})\end{equation}$$
with the identity
$$\begin{equation}[u,v]=-[v,u]\end{equation}$$
The fundamental Poisson brackets
$$\begin{align}[q_i,q_j]&=0\\ [p_i,p_j]&=0\\ [q_i,p_j]&=\delta_{ij}\end{align}$$
are canonical invariants.
All Poisson brackets are independent of the set of canonical coordinates they are expressed in.
The canonical equations of motion written using Poisson brackets are
$$\begin{align}[q_i, \mathcal{H}] = \frac{\partial\mathcal{H}}{\partial p_i} &= \dot{q_i}\\ [p_i, \mathcal{H}] = - \frac{\partial\mathcal{H}}{\partial q_i} &= \dot{p_i}\end{align}$$
In general,
$$\begin{equation}\frac{d}{dt}u(\mathbf{q},\mathbf{p},t) = [u, \mathcal{H}] + \frac{\partial u}{\partial t}\end{equation}$$
If $u$ is a constant of motion then
$$\begin{equation}[u,\mathcal{H}]=0\end{equation}$$
Jacobi's identity
$$\begin{equation}[u,[v,w]] + [v,[w,u]] + [w,[u,v]] = 0\end{equation}$$
If $u$ and $v$ are two constants of motion and $w$ is taken to be $\mathcal{H}$ then the relation reduces to
$$\begin{equation}[\mathcal{H}, [u,v]] = 0\end{equation}$$
Thus, the Poisson bracket of two constants of motion is itself a constant of the motion (Poisson's theorem).
Infinitesimal contact transformations and generators
$$\begin{align}Q_i &= q_i + \delta q_i = q_i + \epsilon\frac{\partial G}{\partial p_i} \\ P_i &= p_i + \delta p_i = p_i - \epsilon\frac{\partial G}{\partial q_i}\end{align}$$
where $\epsilon$ is some infinitesimal parameter of the transformation and $G$ is given by
$$F_2 = \sum_i q_i P_i + \epsilon G(\mathbf{q},\mathbf{P})$$
It is customary to designate $G$ as the generating function even though, strictly speaking, the term refers to $F$.
When $G=\mathcal{H}(\mathbf{q},\mathbf{p})$ and $\epsilon$ is a small time interval $dt$,
$$\delta q_i = dt\ \dot{q_i} = dq_i,\quad \delta p_i = -dt\ (-\dot{p_i}) = dp_i$$
Thus, the Hamiltonian is the generator of the system motion with time.
For any function $u(\mathbf{q},\mathbf{p}), $ we have $\delta u = \epsilon[u, G]$ which implies $\delta\mathcal{H}=\epsilon[\mathcal{H},G]$. If $G$ is a constant of motion, then $[\mathcal{H},G]=0$ and, hence, $\delta\mathcal{H}=0$. Thus, the constants of motion are the generating functions of those infinitesimal canonical transformations which leave the Hamiltonian invariant. One can therefore determine all the constants of motion by an examination of the symmetry properties of the Hamiltonian!
Liouville's theorem
The density of systems in the neighbourhood of some given system in phase space remains constant in time.
Helmholtz circulation theorem
Vortices cannot be created or destroyed in phase space.
Noether's theorem
Every continuous symmetry of the action of a physical system with conservative forces has a corresponding conservation law.
Hamilton-Jacobi theory
$$\mathcal{H}(\mathbf{q},\mathbf{p},t) + \frac{\partial S}{\partial t} = 0$$
is the Hamilton-Jacobi equation with $S$ being the action functional (equation $\ref{eqn:action:functional}$). $S$, also called Hamilton's principal function, happens to be the (type 2) generating function that characterises a canonical transformation to new coordinates $(\mathbf{Q},\mathbf{P},t)$ where either all the $Q_i$ and $P_i$ are constant or the $Q_i$ are cyclic (making the conjugate momenta $P_i$ constant). The corresponding Hamiltonian $\mathcal{H}(\mathbf{Q},\mathbf{P},t)$ equals $0$.
$$\mathcal{H}(q_1,\dots,q_n,\frac{\partial S}{\partial q_1},\dots,\frac{\partial S}{\partial q_n},t) + \frac{\partial S}{\partial t} = 0$$ where the individual momenta $p_i=\partial S/\partial q_i$ are constants.
The solutions yield $\mathbf{q}$ and $\mathbf{p}$ in terms of their starting values $\mathbf{q}_0$ and $\mathbf{p}_0$ at time $t_0$.
$$\begin{align}q_i &= q_i(\mathbf{q}_0,\mathbf{p}_0,t) \\ p_i &= p_i(\mathbf{q}_0,\mathbf{p}_0,t)\end{align}$$
Geometrical interpretation
Hyper-surfaces of constant $S$ represent 'wave-fronts' that evolve in time making the Hamilton-Jacobi theory a direct analogue of the 'matter waves' in Quantum Mechanics. The motion of a single particle can be represented by a wave. This played an important role in the development of Schrödinger's wave mechanics.
Continuous systems (Fields)
<TBD>
