The Physics Travel Guide

Formalisms

Table of Contents

There are four big formalisms that are used almost everywhere in modern physics:

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 nn degrees of freedom with the nn coordinates (q1,…,qn)(q_1,\ldots, q_n) and the nn velocities (q˙1,…,q˙n)(\dot{q}_1,\ldots , \dot{q}_n) We describe the state of a system with nn degrees of freedom by the nn coordinates (q1,…,qn)(q_1,\ldots, q_n) and the nn momenta (p1,…,pn)(p_1,\ldots , p_n)
We represent the state of the system by a point moving with a definite velocity in an nn-dimensional configuration space We represent the state of the system by a point moving with a definite velocity in an 2n2n-dimensional phase space with coordinates (q1,…,qn;p1,…,pn)(q_1,\ldots, q_n; p_1,\ldots , p_n)
The nn configuration space coordinates evolve according to nn second-order equations The 2n2n phase space coordinates evolve according to 2n2n first-order equations
For a given Lagrangian L\mathcal{L} different trajectories can pass through the same given point in our configuration space, depending on q˙\dot q. For a given Hamiltonian H\mathcal{H} 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

md2dt2x=−kx,m \frac{d^2}{dt^2} x=-kx , where xx denotes the position of the object and kk 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

H=12mp2+k2x2 .H = \frac{1}{2m}p^2 + \frac{k}{2}x^2 \, .

Starting from this Hamiltonian one can derive the equation of motion md2dt2x=−kxm \frac{d^2}{dt^2} x=-kx that is used in the Newtonian framework. The Hamiltonian represents the total energy of the object. This means H=T+VH= T+V where T=12mp2T=\frac{1}{2m}p^2 is the kinetic energy and V=k2x2V= \frac{k}{2}x^2 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

S=∫dt(m2(dxdt)−k2x2),S = \int dt \left( \frac{m}{2} \left(\frac{dx}{dt}\right) - \frac{k}{2}x^2 \right) , where L=m2(dxdt)−k2x2L= \frac{m}{2} \left(\frac{dx}{dt}\right) - \frac{k}{2}x^2 is called the Lagrangian.

Starting from this action, one can derive the equation of motion md2dt2x=−kxm \frac{d^2}{dt^2} x=-kx 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: 12mp2+k2x2\frac{1}{2m}p^2 + \frac{k}{2}x^2
Lagrangian: ∫dt(m2(dxdt)−k2x2)\int dt \left( \frac{m}{2} \left(\frac{dx}{dt}\right) - \frac{k}{2}x^2 \right)
Newtonian: md2dt2x=−kxm \frac{d^2}{dt^2} x = -kx

  1. Table adapted from Principles of Quantum Mechanics by R. Shankar ↩