Formalisms
Table of Contents
There are four big formalisms that are used almost everywhere in modern physics:
- The Hamiltonian formalism, where we describe the evolution of our system as a trajectory in phase space.
- The Lagrangian formalism, where we describe the evolution of our system as a trajectory in configuration space.
- The Newtonian formalism where we describe the system in terms of trajectories in everyday space.
- The Schrödinger formalism, where we describe the system in terms of abstract vectors living in Hilbert space.
Each formalism has strengths and weaknesses and which one is better depends on the system we wish to describe.
Comparision of the Lagrangian and Hamiltonian Formalism1
| Lagrangian formalism | Hamiltonian formalism |
|---|---|
| We describe the state of a system with degrees of freedom with the coordinates and the velocities | We describe the state of a system with degrees of freedom by the coordinates and the momenta |
| We represent the state of the system by a point moving with a definite velocity in an -dimensional configuration space | We represent the state of the system by a point moving with a definite velocity in an -dimensional phase space with coordinates |
| The configuration space coordinates evolve according to second-order equations | The phase space coordinates evolve according to first-order equations |
| For a given Lagrangian different trajectories can pass through the same given point in our configuration space, depending on . | For a given Hamiltonian only one trajectory passes through a given point in phase space. |
The Formalisms in Practice
The following table lists the names of the approaches where a given theory is formulated in terms of a specific formalism:
| Classical Mechanics | Quantum Mechanics | |
| Newtonian Formalism | Newtonian Mechanics | Bohmian mechanics |
| Lagrangian Formalism | Lagrangian mechanics | Path Integral Quantum Mechanics |
| Hamiltonian Formalism | Hamiltonian Mechanics | Phase space quantum mechanics |
| Schrödinger Formalism | Koopman-von-Neumann Mechanics | Canonical quantum mechanics |
The connection between a Lagrangian and the corresponding Hamiltonian is given by the Legendre transformation.
A concrete example
Let's consider an object attached to a mechanical spring.
In Newtonian mechanics, the movement of the object is described by the equation
where denotes the position of the object and the spring constant that characterises the mechanical spring. (This is known as Hooke's law.)
The corresponding Hamiltonian, that is used in the Hamiltonian framework to characterise the system is
Starting from this Hamiltonian one can derive the equation of motion that is used in the Newtonian framework. The Hamiltonian represents the total energy of the object. This means where is the kinetic energy and is the potential energy due to the compression and elongation of the spring.
In the Lagrangian framework the same system is characterised by the action
where is called the Lagrangian.
Starting from this action, one can derive the equation of motion which is used in the Newtonian framework. Moreover, starting from this Lagrangian we can derive the corresponding Hamiltonian through a Legendre transformation. Moreover, we can also derive the Lagrangian from the corresponding Hamiltonian by making use of the Legendre transformation.
To summarize:
| Hamiltonian: | Lagrangian: | |||||||||||||
| Newtonian: | ||||||||||||||
-
Table adapted from Principles of Quantum Mechanics by R. Shankar ↩