In this chapter we discuss these topics:
Given a field bundle as in def. above, then we know what type of quantities the corresponding field histories assign to a given spacetime point (a given event). Among all consistent such field histories, some are to qualify as those that “may occur in reality” if we think of the field theory as a means to describe parts of the observable universe. Moreover, if the reality to be described does not exhibit “action at a distance” then admissibility of its field histories should be determined over arbitrary small spacetime regions, in fact over the infinitesimal neighbourhood of any spacetime point (remark below). This means equivalently that the realized field histories should be those that satisfy a given differential equation, namely an equation between the partial derivatives of the field history at any spacetime point. This is called the equation of motion of the field theory (def. below).
In order to formalize this, it is useful to first collect all the possible partial derivatives that a field history may have at any given point into one big space of “field derivatives at spacetime points”. This collection is called the jet bundle of the field bundle, given as def. below.
Moving around in this space means to change the possible value of fields and their derivatives, hence to vary the fields. Accordingly variational calculus of fields is just differential calculus on the jet bundle of the field bundle, this we consider in def. below.
(jet bundle of a trivial vector bundle over Minkowski spacetime)
Given a field fiber super vector space with linear basis , then for a natural number, the order- jet bundle
over Minkowski spacetime of the trivial vector bundle
is the super Cartesian space (def. ) which is spanned by coordinate functions to be denoted as follows:
where the indices range from 0 to , while the index ranges from to for the even field coordinates, and then from to for the odd-graded field coordinates and the lower indices are symmetric:
In terms of these coordinates the bundle projection map is just the one that remembers the spacetime coordinates and forgets the values of the field and its derivatives . Similarly there are intermediate projection maps
given by forgetting coordinates with more indices.
The infinite-order jet bundle
is the direct limit of super smooth sets (def. ) over these finite order jet bundles. Explicitly this means that it is the smooth set which is defined by the fact that a smooth function (a plot, by prop. )
from some super Cartesian space is equivalently a system of ordinary smooth functions into all the finite-order jet spaces
such that this system is compatible with the above projection maps, i.e. such that
The coordinate functions on a jet bundle (def. ) are to be thought of as partial derivatives of components of would-be field histories . The power of the jet bundle is that it allows to disentangle relations between would-be partial derivatives of field history components in themselves from consideration of actual field histories. In traditional physics texts this is often done implicitly. We may make it fully explit by the operation of jet prolongation which reads in a field history and records all its partial derivatives in the form of a section of the jet bundle:
Let be a field bundle (def. ) which happens to be a trivial vector bundle over Minkowski spacetime as in example .
There is a smooth function from the space of sections of , the space of field histories (example ) to the space of sections of the jet bundle (def. ) which records the field and all its spacetimes derivatives:
This is called the operation of jet prolongation: is the jet prolongation of .
(jet bundle in terms of synthetic differential geometry)
In terms of the infinitesimal geometry of formal smooth sets (def. ) the jet bundle (def. ) of a field bundle has the following incarnation:
A section of the jet bundle over a point of spacetime (an event), is equivalently a section of the original field bundle over the infinitesimal neighbourhood of that point (example ):
Moreover, given a field history , hence a section of the field bundle, then its jet prolongation (def. ) is that section of the jet bundle which under the above identification is simply the restriction of to the infinitesimal neighbourhood of :
This follows with an argument as in example .
Hence in synthetic differential geometry we have:
The jet of a section at is simply the restriction of that section to the infinitesimal neighbourhood of .
(Khavkine-Schreiber 17, section 3.3)
So the canonical coordinates on the jet bundle are the spacetime-point-wise possible values of fields and field derivates, while the jet prolongation picks the actual collections of field derivatives that may occur for an actual field history.
(universal Faraday tensor/field strength on jet bundle)
Consider the field bundle (def. ) of the electromagnetic field (example ) over Minkowski spacetime (def. ), i.e. the cotangent bundle (def. ) with jet coordinates (def. ). Consider the functions on the jet bundle given by the linear combinations
of the first order jets.
Then for an electromagnetic field history (“vector potential”), hence a section
with components , its jet prolongation (def. )
has components
The pullback of the functions (2) along this jet prolongation are the components of the Faraday tensor of the field (?):
More generally, for a Lie algebra and
the field bundle for Yang-Mills theory from example , consider the functions
on the jet bundle given by
where are the structure constants of the Lie algebra as in (?), and where the square brackets around the indices denote anti-symmetrization.
We may call this the universal Yang-Mills field strength, being the covariant exterior derivative of the universal Yang-Mills field history.
For the line Lie algebra and the canonical inner product on the expression (3) reduces to the universal Faraday tensor (2) for the electromagnetic field (example ).
For a field history of Yang-Mills theory, hence a Lie algebra-valued differential 1-form, then the value of this function on that field are called the components of the covariant exterior derivative or field strength
(universal B-field strength on jet bundle)
Consider the field bundle (def. ) of the B-field (example ) over Minkowski spacetime (def. ) with jet coordinates (def. ). Consider the functions on the jet bundle given by the linear combinations
where in the last step we used that .
While the jet bundle (def. ) is not finite dimensional, reflecting the fact that there are arbitrarily high orders of spacetime derivatives of a field histories, it turns out that it is only very “mildly infinite dimensional” in that smooth functions on jet bundles turn out to locally depend on only finitely many of the jet coordinates (i.e. only on a finite order of spacetime derivatives). This is the content of the following prop. .
This reflects the locality of Lagrangian field theory defined over jet bundles: If functions on the jet bundle could depend on infinitely many jet coordinates, then by Taylor series expansion of fields the function at one point over spacetime could in fact depend on field history values at a different point of spacetime. Such non-local dependence is ruled out by prop. below.
In practice this means that the situation is very convenient:
Any given local Lagrangian density (which will define a field theory, we come to this in def. below) will locally depend on some finite number of derivatives and may hence locally be treated as living on the ordinary manifold .
while at the same time all formulas (such as for the Euler-Lagrange equations, def. ) work uniformly without worries about fixing a maximal order of derivatives.
(jet bundle is a locally pro-manifold)
Given a jet bundle as in def. , then a smooth function out of it
is such that around each point of there is a neighbourhood on which it is given by a function on a smooth function on for some finite .
(see Khavkine-Schreiber 17, section 2.2 and 3.3)
Example shows that the de Rham differential (def. ) may be encoded in terms of composing jet prolongation with a suitable function on the jet bundle. More generally, jet prolongation neatly encodes (possibly non-linear) differential operators:
Let and be two smooth fiber bundles over a common base space . Then a (possibly non-linear) differential operator from sections of to sections of is a bundle morphism from the jet bundle of (def. ) to :
or rather the function between the spaces of sections of these bundles which this induces after composition with jet prolongation (def. ):
If both and are vector bundles (def. ) so that their spaces of sections canonically are vector spaces, then is called a linear differential operator if it is a linear function between these vector spaces. This means equivalently that is a linear function in jet coordinates.
(normally hyperbolic differential operator on Minkowski spacetime)
Let be a field bundle (def. ) which is a vector bundle (def. ) over Minkowski spacetime (def. ). Write for its dual vector bundle (def. )
A linear differential operator (def. )
is of second order if it has a coordinate expansion of the form
for smooth functions on .
This is called a normally hyperbolic differential operator if its principal symbol is proportional to the inverse Minkowski metric (prop./def. ) , i.e.
(formally adjoint differential operators)
Let be a smooth vector bundle (def. ) over Minkowski spacetime (def. ) and write for the dual vector bundle (def. ).
Then a pair of linear differential operators (def. ) of the form
are called formally adjoint differential operators via a bilinear differential operator
with values in differential p-forms (def. ) such that for all sections we have
where is the volume form on Minkowski spacetime (?) and where denoted the de Rham differential (def. ).
This implies by Stokes' theorem (prop. ) in the case of compact support that under an integral and are related via integration by parts.
variational calculus and the variational bicomplex
(variational calculus – replacing plain bundle morphisms by differential operators)
Various concepts in variational calculus, especially the concept of evolutionary vector fields (def. below) and gauge parameterized implicit infinitesimal gauge symmetries (def. below) follow from concepts in plain differential geometry by systematically replacing plain bundle morphisms by bundle morphisms out of the jet bundle, hence by differential operators as in def. .
(variational derivative and total spacetime derivative – the variational bicomplex)
On the jet bundle of a trivial super vector space-vector bundle over Minkowski spacetime as in def. we may consider its de Rham complex of super differential forms (def. ); we write its de Rham differential (def. ) in boldface:
Since the jet bundle unifies spacetime with field values, we want to decompose this differential into a contribution coming from forming the total derivatives of fields along spacetime (“horizontal derivatives”), and actual variation of fields at a fixed spacetime point (“vertical derivatives”):
The total spacetime derivative or horizontal derivative on is the map on differential forms on the jet bundle of the form
which on functions (i.e. on 0-forms) is defined by
and extended to all forms by the graded Leibniz rule, hence as a nilpotent derivation of degree +1.
The variational derivative or vertical derivative
is what remains of the full de Rham differential when the total spacetime derivative (horizontal derivative) is subtracted:
We may then extend the horizontal derivative from functions on the jet bundle to all differential forms on the jet bundle by declaring that
which by (8) is equivalent to
For example
This defines a bigrading on the de Rham complex of , into horizontal degree and vertical degree
such that the horizontal and vertical derivative increase horizontal or vertical degree, respectively:
This is called the variational bicomplex.
Accordingly we will refer to the differential forms on the jet bundle often as variational differential forms.
(basic facts about variational calculus)
Given the jet bundle of a field bundle as in def. , then in its variational bicomplex (def. ) we have the following:
The spacetime total derivative (horizontal derivative) of a spacetime coordinate function coincides with its ordinary de Rham differential
which hence is a horizontal 1-form
Therefore the variational derivative (vertical derivative) of a spacetime coordinate function vanishes:
reflective the fact that is not a field coordinate that could be varied.
In particular the given volume form on gives a horizontal -form on the jet bundle, which has the same coordinate expression (and which we denote by the same symbol)
Generally any horizontal -form is of the form
for
any smooth function of the spacetime coordinates and the field coordinates (locally depending only on a finite order of these, by prop. ).
In particular every horizontal -form is proportional to the above volume form
for some smooth function that may depend on all the spacetime and field coordinates.
The spacetimes total derivatives /horizontal derivatives) of the variational derivative (vertical derivative) of a field variable is the differential 2-form of horizontal degree 1 and vertical degree 1 given by
In words this says that “the spacetime derivative of the variation of the field is the variation of its spacetime derivative”.
The following are less trivial properties of variational differential forms:
(pullback along jet prolongation compatible with total spacetime derivatives)
Let be a field bundle over a spacetime (def. ), with induced jet bundle (def. ).
Then for any field history, the pullback of differential forms (def. )
along the jet prolongation of (def. )
intertwines the de Rham differential on spacetime (def. ) with the total spacetime derivative (horizontal derivative) on the jet bundle (def. ):
annihilates all vertical differential forms (def. ):
The operation of pullback of differential forms along any smooth function intertwines the full de Rham differentials (prop. ). In particular we have that
This means that the second statement immediately follows from the first, by definition of the variational (vertical) derivative as the difference between the full de Rham differential and the horizontal one:
It remains to see the first statement:
Since the jet prolongation preserves the spacetime coordinates (being a section of the jet bundle) it is immediate that the claimed relation is satisfied on the horizontal basis 1-forms (example ):
Therefore it finally remains only to check the first statement on smooth functions (0-forms). So let
be a smooth function on the jet bundle. Then by the chain rule
That this is equal to follows by the very definition of the total spacetime derivative of (6).
(horizontal variational complex of trivial field bundle is exact)
Let be a field bundle which is a trivial vector bundle over Minkowski spacetime (example ). Then the chain complex of horizontal differential forms with the total spacetime derivative (horizontal derivative) (def. )
is exact: for all the kernel of coincides with the image of in .
More explicitly, this means that not only is every horizontally exact differential form horizontally closed (which follows immediately from the fact that we have a cochain complex in the first place, hence that ), but, conversely, if satisfies , then there exists with .
(e.g. Anderson 89, prop. 4.3)
In fact the exact sequence (12) from prop. continues further to the right, as such called the Euler-Lagrange complex. The next differential is the Euler-Lagrange operator and then then next is the Helmholtz operator.
Here we do not discuss this in detail, but we encounter aspects of the exactness further to the right below in example and in prop. .
This concludes our discussion of variational calculus on the jet bundle of the field bundle. In the next chapter we apply this to Lagrangian densities on the jet bundle, defining Lagrangian field theories.
Last revised on August 2, 2018 at 07:46:19. See the history of this page for a list of all contributions to it.