nLab
classical mechanics

Context

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Contents

Idea

Classical mechanics is that part of classical physics dealing with the deterministic physics of point particles and rigid bodies; often the systems with the infinitely many degrees of freedom are also included (like infinite arrays of particles and their continuous limits like classical mechanics of strings, membranes, elastic media and of classical fields). For the continuous systems, the equations of motion can often be explained by the partial differential equations, describing classical physical fields of quantities (typically smooth possibly vector valued functions on manifolds), including background fields like metric; the latter (sub)area is the classical field theory, but it is often studied separately from the classical mechanics of the finite systems of particles; especially if non-classical features or interpretations are involved (e.g. supersymmetry, or unusual case of non-variational equations of motion etc.). In Hamiltonian reduction, due conservation laws, many systems with infinitely many degrees of freedom, reduce to the finite ones.

Nondissipative systems with finitely many degrees of freedom may be described geometrically using symplectic manifolds, or more generally Poisson manifolds; the later may also sometimes appear as reductions of the systems with infinitely many degrees of freedom.

Classical mechanics of a system of point particles and rigid bodies is usually divided into statics, kinematics and dynamics. Statics studies the balance of forces in a system which does not move, or in a stationary flow. Kinematics studies the relation between position, velocity and acceleration of bodies in a mechanical system, without reference to the causes of motion. Dynamics studies motion with reference to the causes of motion and interaction between bodies and its manifestation via (quantified) forces, energy and mass assigned to bodies in motion and interaction.

For a theoretical classical mechanics one often starts with a concrete system of bodies with pulleys, strings, spins, external and internal forces, and dissipative sinks and sources (e.g. friction forces), which are then analysed to get the configuration or phase space of the system, the equations of motion and possibly to determine some special observables of interest. Once abstracted that way, the rest of the study is a rather special case of the theory of dynamical systems, which itself studies general (either deterministic or stochastic) spatially-parametrized systems in a (discrete or continuous) time evolution.

A terminological and scope discussion is archived here.

Traditional formulation

The fundamental distinction is between open and closed mechanical systems. Open systems have exchange of energy with the rest of universe, that is with the energy sources or sinks which are not described by the mechanical system: for example the energy can be absorbed through forces from external bodies not belonging to the system but accounted in terms of such forces, or the energy can be lost by heating (described by friction force and alike). Closed systems are conservative in energetic sense. The terminology open/closed is wider than conservative/nonconservative, as it pertains also to statistical and quantum systems.

The standard formalisms for classical mechanics are Newtonian mechanics, Lagrangean formalism, and the Hamiltonian formalism which can be studied in the generality of symplectic manifolds and more general (allowing degeneracies) formalism of Poisson manifolds; Poisson manifolds can generalize to he study of somewhat nonclassically to (the opposite of) more general Poisson algebras.

Newtonian formalism

Lagrangean formalism

Hamiltonian formalism and symplectic manifolds

(…) symplectic manifold, Hamiltonian (…)

Mechanical systems based on Poisson algebras

We set up some basic notions of classical mechanics.

Definition

A real Poisson algebra is a unital (commutative) associative algebra (A,)˙(A, \dot) over the real numbers that is equipped with with an additional bilinear operation

[,]:A AA [-,-] : A \otimes_{\mathbb{R}} A \to A

that makes AA into a Lie algebra such that for each element aAa \in A the operation [a,]:AA[a,-] : A \to A is a derivation of the product :AAA\cdot : A \otimes A \to A.

This definition readily generalized to symmetric monoidal categories. For example, a real super Poisson algebra is a graded-commutative superalgebra equipped with the compatible structure of a super Lie algebra.

A homomorphism (A,,˙[,])(B,,[,])(A, \dot, [-,-]) \to (B, \cdot, [-,-]) of (super) Poisson algebras is a linear function ABA \to B that respects both the associative product and the Lie bracket.

Write Poiss for the resulting category of (super) Poisson algebras.

The standard setup of conservative classical mechanical system is a Poisson manifold.

Definition - principal example

A Poisson manifold is a smooth real manifold MM equipped with a Poisson structure (that is the Poisson bracket) on the commutative algebra C (M)C^\infty(M) of smooth real valued functions on MM.

Recall that every symplectic manifold provides an example of a Poisson manifold. Possibly infinite-dimensional generalization of this example is called a phase space. Hence commutative Poisson algebras should be viewed as formal opposites to phase spaces in a generalized sense.

Definition

The opposite category of that of commutative real (super) Poisson algebras we call the category of classical mechanical systems

ClassMechSys:=CPoiss op. ClassMechSys := CPoiss^{op} \,.
Remark

Poisson superalgebras describe systems with fermions. Systems without fermions may be described by plain Poisson algebras.

Remark

This definition captures most notions of “mechanical systems”. Exceptions contain open system?s for which there is no conservation laws (examples: externally-driven and dissipative systems). In real worlds, physicists believe that such systems may be realized only as parts of larger systems (eventually, the universe) which are conservative; hence either describable by a Poisson algebra or it entails energy types which can not be described using classical mechanics.

Remark

For (A,,{,})(A, \cdot, \{-,-\}) a Poisson algebra, AA together with its module Ω 1(A)\Omega^1(A) of Kähler differentials naturally form a Lie-Rinehart pair, with bracket given by

[da,db]:=d{a,b}. [d a, d b ] := d \{a,b\} \,.

If the Poisson algebra comes from a Poisson manifold XX, then this Lie-Rinehart pair is the Chevalley-Eilenberg algebra of the given Poisson Lie algebroid over XX. We can therefore identify classical mechanical systems over a phase space manifold also with Poisson Lie algebroids.

Observables and states

Definition

Given S:=(A,,{,})S := (A,\cdot, \{-,-\}) a classical mechanical system, we say

  • an observable of SS is an element aAa \in A, hence we call AA the algebra of observables;

  • a classical state of SS is

    • a linear function ρ:A\rho : A \to \mathbb{R};

      • which is positive in that for all aAa \in A we have that

        ρ(aa)0\rho(a \cdot a) \geq 0;

      • and which is normalized in that ρ(1)=1\rho(1) = 1.

  • a pure state of SS is a state that is not only a linear map, but even an associative algebra homomorphism ρ:A\rho : A \to \mathbb{R}.

Write States((A,))States((A, \cdot)) for the set of states of AA.

For ρStates\rho \in States and aAa \in A we say that ρ(a)\rho(a) is the value of the observable aa on the system in state ρ\rho.

Remark

If the classical mechanical system comes from a Poisson manifold (X,{,})(X, \{-,-\}) by example 2, then the pure states correspond precisely to the points of the manifold XX. So each point of XX is one specific (= “pure”) state that the mechanical system defined by (X,{,})(X, \{-,-\}) can be in, whereas a general state ρ:A\rho : A \to \mathbb{R} is a distribution of such specific states.

Flows and evolution

Let MM be a Poisson manifold, possibly infinite-dimensional with A=C (M)A = C^\infty(M). More generally, AA can be a Poisson algebra with a good notion of weak topology and corresponding notion of a derivative.

Remark

For any observable aAa \in A we say that a 1-parameter flow induced by the observable is, if it exists, an action of the real numbers on the observables

F a:×AA F_a : \mathbb{R} \times A \to A

which is differentiable in \mathbb{R} and satisfies for all bAb \in A the differential equation

ddtF a(b)(t)={a,b}. \frac{d}{d t} F_a(b) (t) = \{a,b\} \,.

with initial value F a(b)(0)=bF_a(b)(0) = b. The differentiation is understood pointwise on MM (pointwise we get to differentiate a function \mathbb{R}\to\mathbb{R}).

In non-relativistic classical mechanics every system comes up with a choice of one element HAH \in A and declare that the corresponding flow is the time evolution of observables of the system. One calls this HH the Hamiltonian or energy observable of the system. The physical meaning, however, does not change if HH is changed by an overall constant.

Quantization

Definition

Write StarAlg StarAlg_{\mathbb{C}} for the category of star-algebras over the complex numbers.

The opposite category

QuantMechSys:=StarAlg op QuantMechSys := StarAlg^{op}

we call the category of quantum mechanical systems.

Definition

For (A,,{,})(A, \cdot, \{-,-\}) a classical mechanical system, def. 3, a quantization of it is – if it exists –

  • a 1-parameter field of star-algebras? {A } [0,)\{A_\hbar\}_{\hbar \in [0,\infty)};

  • such that in the limit 0\hbar \to 0 we have

    1. A A 0:=A A_\hbar \to A_0 := A \otimes_{\mathbb{R}}\mathbb{C};

    2. for all a,bA a,b \in A_{\hbar}: 1i[a,b]={a,b}\frac{1}{i \hbar } [a,b] = \{a,b\}.

Conversely, given a quantum mechanical system (A,*)(A, \ast) and a field of star-algebras such that A=A 1A = A_1, then we call the clasical system A 0A_0 its (or rather: a)classical limit.

Formulation in higher geometry by local prequantum field theory

Traditional classical mechanics (Hamiltonian mechanics, Lagrangian mechanics, Hamilton-Jacobi theory) is naturally understood as a special case of – and in fact as deriving from – local prequantum field theory formulated in the higher differential geometry over BU(1) conn\mathbf{B}U(1)_{conn}. This is discussed in some detail at

Particular classical systems

References

Classical textbooks include

Discussion with an eye also towards quantum mechanics is in

Revised on December 4, 2014 19:36:56 by Urs Schreiber (195.113.31.253)