Types of quantum field thories
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.
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.
We set up some basic notions of classical mechanics.
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.
Write Poiss for the resulting category of (super) Poisson algebras.
The standard setup of conservative classical mechanical system is a Poisson manifold.
A Poisson manifold is a smooth real manifold equipped with a Poisson structure (that is the Poisson bracket) on the commutative algebra of smooth real valued functions on .
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.
The opposite category of that of commutative real (super) Poisson algebras we call the category of classical mechanical systems
Poisson superalgebras describe systems with fermions. Systems without fermions may be described by plain Poisson algebras.
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 system?s). 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.
If the Poisson algebra comes from a Poisson manifold , then this Lie-Rinehart pair is the Chevalley-Eilenberg algebra of the given Poisson Lie algebroid over . We can therefore identify classical mechanical systems over a phase space manifold also with Poisson Lie algebroids.
Given a classical mechanical system, we say
an observable of is an element , hence we call the algebra of observables;
a classical state of is
a linear function ;
which is positive in that for all we have that
and which is normalized in that .
Write for the set of states of .
For and we say that is the value of the observable on the system in state .
If the classical mechanical system comes from a Poisson manifold by example 2, then the pure states correspond precisely to the points of the manifold . So each point of is one specific (= “pure”) state that the mechanical system defined by can be in, whereas a general state is a distribution of such specific states.
Let be a Poisson manifold, possibly infinite-dimensional with . More generally, can be a Poisson algebra with a good notion of weak topology and corresponding notion of a derivative.
with initial value . The differentiation is understood pointwise on (pointwise we get to differentiate a function ).
In non-relativistic classical mechanics every system comes up with a choice of one element and declare that the corresponding flow is the time evolution of observables of the system. One calls this the Hamiltonian or energy observable of the system. The physical meaning, however, does not change if is changed by an overall constant.
we call the category of quantum mechanical systems.
a 1-parameter field of star-algebras? ;
such that in the limit we have
for all : .
Conversely, given a quantum mechanical system and a field of star-algebras such that , then we call the clasical system its (or rather: a)classical limit.
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 . This is discussed in some detail at
Classical textbooks include
Lev Landau, Lifschitz, Classical mechanics, vol. I of the Course of theoretical physics
Discussion with an eye also towards quantum mechanics is in