Brstjjy

In mathematics, the jet is an operation that takes a differentiable function f and produces a polynomial, the truncated Taylor polynomial of f, at each point of its domain. Although this is the definition of a jet, the theory of jets regards these polynomials as being abstract polynomials rather than polynomial functions.

This article first explores the notion of a jet of a real valued function in one real variable, followed by a discussion of generalizations to several real variables. It then gives a rigorous construction of jets and jet spaces between Euclidean spaces. It concludes with a description of jets between manifolds, and how these jets can be constructed intrinsically. In this more general context, it summarizes some of the applications of jets to differential geometry and the theory of differential equations.

Jets of functions between Euclidean spaces

Before giving a rigorous definition of a jet, it is useful to examine some special cases.

One-dimensional case

Suppose that f:R→R{displaystyle f:{mathbb {R} }rightarrow {mathbb {R} }} is a real-valued function having at least k + 1 derivatives in a neighborhood U of the point x0{displaystyle x_{0}}. Then by Taylor's theorem,

f(x)=f(x0)+f′(x0)(x−x0)+⋯+f(k)(x0)k!(x−x0)k+Rk+1(x)(k+1)!(x−x0)k+1{displaystyle f(x)=f(x_{0})+f'(x_{0})(x-x_{0})+cdots +{frac {f^{(k)}(x_{0})}{k!}}(x-x_{0})^{k}+{frac {R_{k+1}(x)}{(k+1)!}}(x-x_{0})^{k+1}}

where

|Rk+1(x)|≤supx∈U|f(k+1)(x)|.{displaystyle |R_{k+1}(x)|leq sup _{xin U}|f^{(k+1)}(x)|.}

Then the k-jet of f at the point x0{displaystyle x_{0}} is defined to be the polynomial

(Jx0kf)(z)=f(x0)+f′(x0)z+⋯+f(k)(x0)k!zk.{displaystyle (J_{x_{0}}^{k}f)(z)=f(x_{0})+f'(x_{0})z+cdots +{frac {f^{(k)}(x_{0})}{k!}}z^{k}.}

Jets are normally regarded as abstract polynomials in the variable z, not as actual polynomial functions in that variable. In other words, z is an indeterminate variable allowing one to perform various algebraic operations among the jets. It is in fact the base-point x0{displaystyle x_{0}} from which jets derive their functional dependency. Thus, by varying the base-point, a jet yields a polynomial of order at most k at every point. This marks an important conceptual distinction between jets and truncated Taylor series: ordinarily a Taylor series is regarded as depending functionally on its variable, rather than its base-point. Jets, on the other hand, separate the algebraic properties of Taylor series from their functional properties. We shall deal with the reasons and applications of this separation later in the article.

Mappings from one Euclidean space to another

Suppose that f:Rn→Rm{displaystyle f:{mathbb {R} }^{n}rightarrow {mathbb {R} }^{m}} is a function from one Euclidean space to another having at least (k + 1) derivatives. In this case, Taylor's theorem asserts that

f(x)=f(x0)+(Df(x0))⋅(x−x0)+12(D2f(x0))⋅(x−x0)⊗2+⋯⋯+Dkf(x0)k!⋅(x−x0)⊗k+Rk+1(x)(k+1)!⋅(x−x0)⊗(k+1).{displaystyle {begin{aligned}f(x)=f(x_{0})+(Df(x_{0}))cdot (x-x_{0})+{}&{frac {1}{2}}(D^{2}f(x_{0}))cdot (x-x_{0})^{otimes 2}+cdots \[4pt]&cdots +{frac {D^{k}f(x_{0})}{k!}}cdot (x-x_{0})^{otimes k}+{frac {R_{k+1}(x)}{(k+1)!}}cdot (x-x_{0})^{otimes (k+1)}.end{aligned}}}

The k-jet of f is then defined to be the polynomial

(Jx0kf)(z)=f(x0)+(Df(x0))⋅z+12(D2f(x0))⋅z⊗2+⋯+Dkf(x0)k!⋅z⊗k{displaystyle (J_{x_{0}}^{k}f)(z)=f(x_{0})+(Df(x_{0}))cdot z+{frac {1}{2}}(D^{2}f(x_{0}))cdot z^{otimes 2}+cdots +{frac {D^{k}f(x_{0})}{k!}}cdot z^{otimes k}}

in R[z]{displaystyle {mathbb {R} }[z]}, where z=(z1,…,zn){displaystyle z=(z_{1},ldots ,z_{n})}.

Algebraic properties of jets

There are two basic algebraic structures jets can carry. The first is a product structure, although this ultimately turns out to be the least important. The second is the structure of the composition of jets.

If f,g:Rn→R{displaystyle f,g:{mathbb {R} }^{n}rightarrow {mathbb {R} }} are a pair of real-valued functions, then we can define the product of their jets via

Jx0kf⋅Jx0kg=Jx0k(f⋅g).{displaystyle J_{x_{0}}^{k}fcdot J_{x_{0}}^{k}g=J_{x_{0}}^{k}(fcdot g).}

Here we have suppressed the indeterminate z, since it is understood that jets are formal polynomials. This product is just the product of ordinary polynomials in z, modulo zk+1{displaystyle z^{k+1}}. In other words, it is multiplication in the ring R[z]/(zk+1){displaystyle {mathbb {R} }[z]/(z^{k+1})}, where (zk+1){displaystyle (z^{k+1})} is the ideal generated by polynomials homogeneous of order ≥ k + 1.

We now move to the composition of jets. To avoid unnecessary technicalities, we consider jets of functions that map the origin to the origin. If f:Rm→Rℓ{displaystyle f:{mathbb {R} }^{m}rightarrow {mathbb {R} }^{ell }} and g:Rn→Rm{displaystyle g:{mathbb {R} }^{n}rightarrow {mathbb {R} }^{m}} with f(0) = 0 and g(0) = 0, then f∘g:Rn→Rℓ{displaystyle fcirc g:{mathbb {R} }^{n}rightarrow {mathbb {R} }^{ell }}. The composition of jets is defined by
J0kf∘J0kg=J0k(f∘g).{displaystyle J_{0}^{k}fcirc J_{0}^{k}g=J_{0}^{k}(fcirc g).}
It is readily verified, using the chain rule, that this constitutes an associative noncommutative operation on the space of jets at the origin.

In fact, the composition of k-jets is nothing more than the composition of polynomials modulo the ideal of polynomials homogeneous of order >k{displaystyle >k}.

Examples:

• In one dimension, let f(x)=log⁡(1−x){displaystyle f(x)=log(1-x)} and g(x)=sinx{displaystyle g(x)=sin ,x}. Then

(J03f)(x)=−x−x22−x33{displaystyle (J_{0}^{3}f)(x)=-x-{frac {x^{2}}{2}}-{frac {x^{3}}{3}}}

(J03g)(x)=x−x36{displaystyle (J_{0}^{3}g)(x)=x-{frac {x^{3}}{6}}}

and

(J03f)∘(J03g)=−(x−x36)−12(x−x36)2−13(x−x36)3(modx4)=−x−x22−x36{displaystyle {begin{aligned}&(J_{0}^{3}f)circ (J_{0}^{3}g)=-left(x-{frac {x^{3}}{6}}right)-{frac {1}{2}}left(x-{frac {x^{3}}{6}}right)^{2}-{frac {1}{3}}left(x-{frac {x^{3}}{6}}right)^{3}{pmod {x^{4}}}\[4pt]={}&-x-{frac {x^{2}}{2}}-{frac {x^{3}}{6}}end{aligned}}}

Jets at a point in Euclidean space: rigorous definitions

This subsection focuses on two different rigorous definitions of the jet of a function at a point, followed by a discussion of Taylor's theorem. These definitions shall prove to be useful later on during the intrinsic definition of the jet of a function between two manifolds.

Analytic definition

The following definition uses ideas from mathematical analysis to define jets and jet spaces. It can be generalized to smooth functions between Banach spaces, analytic functions between real or complex domains, to p-adic analysis, and to other areas of analysis.

Let C∞(Rn,Rm){displaystyle C^{infty }({mathbb {R} }^{n},{mathbb {R} }^{m})} be the vector space of smooth functions f:Rn→Rm{displaystyle f:{mathbb {R} }^{n}rightarrow {mathbb {R} }^{m}}. Let k be a non-negative integer, and let p be a point of Rn{displaystyle {mathbb {R} }^{n}}. We define an equivalence relation Epk{displaystyle E_{p}^{k}} on this space by declaring that two functions f and g are equivalent to order k if f and g have the same value at p, and all of their partial derivatives agree at p up to (and including) their k-th-order derivatives. In short,f∼g{displaystyle fsim g,!} iff f−g=0{displaystyle f-g=0} to k-th order.

The k-th-order jet space of C∞(Rn,Rm){displaystyle C^{infty }({mathbb {R} }^{n},{mathbb {R} }^{m})} at p is defined to be the set of equivalence classes of Epk{displaystyle E_{p}^{k}}, and is denoted by Jpk(Rn,Rm){displaystyle J_{p}^{k}({mathbb {R} }^{n},{mathbb {R} }^{m})}.

The k-th-order jet at p of a smooth function f∈C∞(Rn,Rm){displaystyle fin C^{infty }({mathbb {R} }^{n},{mathbb {R} }^{m})} is defined to be the equivalence class of f in Jpk(Rn,Rm){displaystyle J_{p}^{k}({mathbb {R} }^{n},{mathbb {R} }^{m})}.

Algebraic-geometric definition

The following definition uses ideas from algebraic geometry and commutative algebra to establish the notion of a jet and a jet space. Although this definition is not particularly suited for use in algebraic geometry per se, since it is cast in the smooth category, it can easily be tailored to such uses.

Let Cp∞(Rn,Rm){displaystyle C_{p}^{infty }({mathbb {R} }^{n},{mathbb {R} }^{m})} be the vector space of germs of smooth functions f:Rn→Rm{displaystyle f:{mathbb {R} }^{n}rightarrow {mathbb {R} }^{m}} at a point p in Rn{displaystyle {mathbb {R} }^{n}}. Let mp{displaystyle {mathfrak {m}}_{p}} be the ideal of functions that vanish at p. (This is the maximal ideal for the local ring Cp∞(Rn,Rm){displaystyle C_{p}^{infty }({mathbb {R} }^{n},{mathbb {R} }^{m})}.) Then the ideal mpk+1{displaystyle {mathfrak {m}}_{p}^{k+1}} consists of all function germs that vanish to order k at p. We may now define the jet space at p by

Jpk(Rn,Rm)=Cp∞(Rn,Rm)/mpk+1{displaystyle J_{p}^{k}({mathbb {R} }^{n},{mathbb {R} }^{m})=C_{p}^{infty }({mathbb {R} }^{n},{mathbb {R} }^{m})/{mathfrak {m}}_{p}^{k+1}}

If f:Rn→Rm{displaystyle f:{mathbb {R} }^{n}rightarrow {mathbb {R} }^{m}} is a smooth function, we may define the k-jet of f at p as the element of Jpk(Rn,Rm){displaystyle J_{p}^{k}({mathbb {R} }^{n},{mathbb {R} }^{m})} by setting

Jpkf=f(modmpk+1){displaystyle J_{p}^{k}f=f{pmod {{mathfrak {m}}_{p}^{k+1}}}}

This is a more general construction. For an F{displaystyle mathbb {F} }-space M{displaystyle M}, let Fp{displaystyle {mathcal {F}}_{p}} be the stalk of the structure sheaf at p{displaystyle p} and let mp{displaystyle {mathfrak {m}}_{p}} be the maximal ideal of the local ring Fp{displaystyle {mathcal {F}}_{p}}. The kth jet space at p{displaystyle p} is defined to be the ring Jpk(M)=Fp/mpk+1{displaystyle J_{p}^{k}(M)={mathcal {F}}_{p}/{mathfrak {m}}_{p}^{k+1}}(mpk+1{displaystyle {mathfrak {m}}_{p}^{k+1}} is the product of ideals).

Taylor's theorem

Regardless of the definition, Taylor's theorem establishes a canonical isomorphism of vector spaces between Jpk(Rn,Rm){displaystyle J_{p}^{k}({mathbb {R} }^{n},{mathbb {R} }^{m})} and Rm[z1,…,zn]/(z1,…,zn)k+1{displaystyle {mathbb {R} }^{m}[z_{1},dotsc ,z_{n}]/(z_{1},dotsc ,z_{n})^{k+1}}. So in the Euclidean context, jets are typically identified with their polynomial representatives under this isomorphism.

Jet spaces from a point to a point

We have defined the space Jpk(Rn,Rm){displaystyle J_{p}^{k}({mathbb {R} }^{n},{mathbb {R} }^{m})} of jets at a point p∈Rn{displaystyle pin {mathbb {R} }^{n}}. The subspace of this consisting of jets of functions f such that f(p) = q is denoted by

Jpk(Rn,Rm)q={Jkf∈Jpk(Rn,Rm)∣f(p)=q}{displaystyle J_{p}^{k}({mathbb {R} }^{n},{mathbb {R} }^{m})_{q}=left{J^{k}fin J_{p}^{k}({mathbb {R} }^{n},{mathbb {R} }^{m})mid f(p)=qright}}

Jets of functions between two manifolds

If M and N are two smooth manifolds, how do we define the jet of a function f:M→N{displaystyle f:Mrightarrow N}? We could perhaps attempt to define such a jet by using local coordinates on M and N. The disadvantage of this is that jets cannot thus be defined in an equivariant fashion. Jets do not transform as tensors. Instead, jets of functions between two manifolds belong to a jet bundle.

This section begins by introducing the notion of jets of functions from the real line to a manifold. It proves that such jets form a fibre bundle, analogous to the tangent bundle, which is an associated bundle of a jet group. It proceeds to address the problem of defining the jet of a function between two smooth manifolds. Throughout this section, we adopt an analytic approach to jets. Although an algebro-geometric approach is also suitable for many more applications, it is too subtle to be dealt with systematically here. See jet (algebraic geometry) for more details.

Jets of functions from the real line to a manifold

Suppose that M is a smooth manifold containing a point p. We shall define the jets of curves through p, by which we henceforth mean smooth functions f:R→M{displaystyle f:{mathbb {R} }rightarrow M} such that f(0) = p. Define an equivalence relation Epk{displaystyle E_{p}^{k}} as follows. Let f and g be a pair of curves through p. We will then say that f and g are equivalent to order k at p if there is some neighborhood U of p, such that, for every smooth function φ:U→R{displaystyle varphi :Urightarrow {mathbb {R} }}, J0k(φ∘f)=J0k(φ∘g){displaystyle J_{0}^{k}(varphi circ f)=J_{0}^{k}(varphi circ g)}. Note that these jets are well-defined since the composite functions φ∘f{displaystyle varphi circ f} and φ∘g{displaystyle varphi circ g} are just mappings from the real line to itself. This equivalence relation is sometimes called that of k-th-order contact between curves at p.

We now define the k-jet of a curve f through p to be the equivalence class of f under Epk{displaystyle E_{p}^{k}}, denoted Jkf{displaystyle J^{k}!f,} or J0kf{displaystyle J_{0}^{k}f}. The k-th-order jet space J0k(R,M)p{displaystyle J_{0}^{k}({mathbb {R} },M)_{p}} is then the set of k-jets at p.

As p varies over M, J0k(R,M)p{displaystyle J_{0}^{k}({mathbb {R} },M)_{p}} forms a fibre bundle over M: the k-th-order tangent bundle, often denoted in the literature by T^kM (although this notation occasionally can lead to confusion). In the case k=1, then the first-order tangent bundle is the usual tangent bundle: T¹M = TM.

To prove that T^kM is in fact a fibre bundle, it is instructive to examine the properties of J0k(R,M)p{displaystyle J_{0}^{k}({mathbb {R} },M)_{p}} in local coordinates. Let (xⁱ)= (x¹,...,xⁿ) be a local coordinate system for M in a neighborhood U of p. Abusing notation slightly, we may regard (xⁱ) as a local diffeomorphism (xi):M→Rn{displaystyle (x^{i}):Mrightarrow mathbb {R} ^{n}}.

Claim. Two curves f and g through p are equivalent modulo Epk{displaystyle E_{p}^{k}} if and only if J0k((xi)∘f)=J0k((xi)∘g){displaystyle J_{0}^{k}left((x^{i})circ fright)=J_{0}^{k}left((x^{i})circ gright)}.

Indeed, the only if part is clear, since each of the n functions x¹,...,xⁿ is a smooth function from M to R{displaystyle {mathbb {R} }}. So by the definition of the equivalence relation Epk{displaystyle E_{p}^{k}}, two equivalent curves must have J0k(xi∘f)=J0k(xi∘g){displaystyle J_{0}^{k}(x^{i}circ f)=J_{0}^{k}(x^{i}circ g)}.

Conversely, suppose that φ is a smooth real-valued function on M in a neighborhood of p. Since every smooth function has a local coordinate expression, we may express φ as a function in the coordinates. Specifically, if Q is a point of M near p, then

φ(Q)=ψ(x1(Q),…,xn(Q)){displaystyle varphi (Q)=psi (x^{1}(Q),dots ,x^{n}(Q))}

for some smooth real-valued function ψ of n real variables. Hence, for two curves f and g through p, we have

φ∘f=ψ(x1∘f,…,xn∘f){displaystyle varphi circ f=psi (x^{1}circ f,dots ,x^{n}circ f)}

φ∘g=ψ(x1∘g,…,xn∘g){displaystyle varphi circ g=psi (x^{1}circ g,dots ,x^{n}circ g)}

The chain rule now establishes the if part of the claim. For instance, if f and g are functions of the real variable t , then

ddt(φ∘f)(t)|t=0=∑i=1nddt(xi∘f)(t)|t=0 (Diψ)∘f(0){displaystyle left.{frac {d}{dt}}left(varphi circ fright)(t)right|_{t=0}=sum _{i=1}^{n}left.{frac {d}{dt}}(x^{i}circ f)(t)right|_{t=0} (D_{i}psi )circ f(0)}

which is equal to the same expression when evaluated against g instead of f, recalling that f(0)=g(0)=p and f and g are in k-th-order contact in the coordinate system (xⁱ).

Hence the ostensible fibre bundle T^kM admits a local trivialization in each coordinate neighborhood. At this point, in order to prove that this ostensible fibre bundle is in fact a fibre bundle, it suffices to establish that it has non-singular transition functions under a change of coordinates. Let (yi):M→Rn{displaystyle (y^{i}):Mrightarrow {mathbb {R} }^{n}} be a different coordinate system and let ρ=(xi)∘(yi)−1:Rn→Rn{displaystyle rho =(x^{i})circ (y^{i})^{-1}:{mathbb {R} }^{n}rightarrow {mathbb {R} }^{n}} be the associated change of coordinates diffeomorphism of Euclidean space to itself. By means of an affine transformation of Rn{displaystyle {mathbb {R} }^{n}}, we may assume without loss of generality that ρ(0)=0. With this assumption, it suffices to prove that J0kρ:J0k(Rn,Rn)→J0k(Rn,Rn){displaystyle J_{0}^{k}rho :J_{0}^{k}({mathbb {R} }^{n},{mathbb {R} }^{n})rightarrow J_{0}^{k}({mathbb {R} }^{n},{mathbb {R} }^{n})} is an invertible transformation under jet composition. (See also jet groups.) But since ρ is a diffeomorphism, ρ−1{displaystyle rho ^{-1}} is a smooth mapping as well. Hence,

I=J0kI=J0k(ρ∘ρ−1)=J0k(ρ)∘J0k(ρ−1){displaystyle I=J_{0}^{k}I=J_{0}^{k}(rho circ rho ^{-1})=J_{0}^{k}(rho )circ J_{0}^{k}(rho ^{-1})}

which proves that J0kρ{displaystyle J_{0}^{k}rho } is non-singular. Furthermore, it is smooth, although we do not prove that fact here.

Intuitively, this means that we can express the jet of a curve through p in terms of its Taylor series in local coordinates on M.

Examples in local coordinates:

• As indicated previously, the 1-jet of a curve through p is a tangent vector. A tangent vector at p is a first-order differential operator acting on smooth real-valued functions at p. In local coordinates, every tangent vector has the form

v=∑ivi∂∂xi{displaystyle v=sum _{i}v^{i}{frac {partial }{partial x^{i}}}}

Given such a tangent vector v, let f be the curve given in the xⁱ coordinate system by xi∘f(t)=tvi{displaystyle x^{i}circ f(t)=tv^{i}}. If φ is a smooth function in a neighborhood of p with φ(p) = 0, then

φ∘f:R→R{displaystyle varphi circ f:{mathbb {R} }rightarrow {mathbb {R} }}

is a smooth real-valued function of one variable whose 1-jet is given by

J01(φ∘f)(t)=tvi∂ϕ∂xi(p).{displaystyle J_{0}^{1}(varphi circ f)(t)=tv^{i}{frac {partial phi }{partial x^{i}}}(p).}

which proves that one can naturally identify tangent vectors at a point with the 1-jets of curves through that point.

• The space of 2-jets of curves through a point.

In a local coordinate system xⁱ centered at a point p, we can express the second-order Taylor polynomial of a curve f(t) by

xi(t)=tdxidt(0)+t22d2xidt2.{displaystyle x^{i}(t)=t{frac {dx^{i}}{dt}}(0)+{frac {t^{2}}{2}}{frac {d^{2}x^{i}}{dt^{2}}}.}

So in the x coordinate system, the 2-jet of a curve through p is identified with a list of real numbers (x˙i,x¨i){displaystyle ({dot {x}}^{i},{ddot {x}}^{i})}. As with the tangent vectors (1-jets of curves) at a point, 2-jets of curves obey a transformation law upon application of the coordinate transition functions.

Let (yⁱ) be another coordinate system. By the chain rule,

ddtyi(x(t))=∂yi∂xj(x(t))dxjdt(t)d2dt2yi(x(t))=∂2yi∂xj∂xk(x(t))dxjdt(t)dxkdt(t)+∂yi∂xj(x(t))d2xjdt2(t){displaystyle {begin{aligned}{frac {d}{dt}}y^{i}(x(t))&={frac {partial y^{i}}{partial x^{j}}}(x(t)){frac {dx^{j}}{dt}}(t)\[5pt]{frac {d^{2}}{dt^{2}}}y^{i}(x(t))&={frac {partial ^{2}y^{i}}{partial x^{j},partial x^{k}}}(x(t)){frac {dx^{j}}{dt}}(t){frac {dx^{k}}{dt}}(t)+{frac {partial y^{i}}{partial x^{j}}}(x(t)){frac {d^{2}x^{j}}{dt^{2}}}(t)end{aligned}}}

Hence, the transformation law is given by evaluating these two expressions at t = 0.

y˙i=∂yi∂xj(0)x˙jy¨i=∂2yi∂xj∂xk(0)x˙jx˙k+∂yi∂xk(0)x¨k.{displaystyle {begin{aligned}&{dot {y}}^{i}={frac {partial y^{i}}{partial x^{j}}}(0){dot {x}}^{j}\[5pt]&{ddot {y}}^{i}={frac {partial ^{2}y^{i}}{partial x^{j},partial x^{k}}}(0){dot {x}}^{j}{dot {x}}^{k}+{frac {partial y^{i}}{partial x^{k}}}(0){ddot {x}}^{k}.end{aligned}}}

Note that the transformation law for 2-jets is second-order in the coordinate transition functions.

Jets of functions from a manifold to a manifold

We are now prepared to define the jet of a function from a manifold to a manifold.

Suppose that M and N are two smooth manifolds. Let p be a point of M. Consider the space Cp∞(M,N){displaystyle C_{p}^{infty }(M,N)} consisting of smooth maps f:M→N{displaystyle f:Mrightarrow N} defined in some neighborhood of p. We define an equivalence relation Epk{displaystyle E_{p}^{k}} on Cp∞(M,N){displaystyle C_{p}^{infty }(M,N)} as follows. Two maps f and g are said to be equivalent if, for every curve γ through p (recall that by our conventions this is a mapping γ:R→M{displaystyle gamma :{mathbb {R} }rightarrow M} such that γ(0)=p{displaystyle gamma (0)=p}), we have J0k(f∘γ)=J0k(g∘γ){displaystyle J_{0}^{k}(fcirc gamma )=J_{0}^{k}(gcirc gamma )} on some neighborhood of 0.

The jet space Jpk(M,N){displaystyle J_{p}^{k}(M,N)} is then defined to be the set of equivalence classes of Cp∞(M,N){displaystyle C_{p}^{infty }(M,N)} modulo the equivalence relation Epk{displaystyle E_{p}^{k}}. Note that because the target space N need not possess any algebraic structure, Jpk(M,N){displaystyle J_{p}^{k}(M,N)} also need not have such a structure. This is, in fact, a sharp contrast with the case of Euclidean spaces.

If f:M→N{displaystyle f:Mrightarrow N} is a smooth function defined near p, then we define the k-jet of f at p, Jpkf{displaystyle J_{p}^{k}f}, to be the equivalence class of f modulo Epk{displaystyle E_{p}^{k}}.

Multijets

John Mather introduced the notion of multijet. Loosely speaking, a multijet is a finite list of jets over different base-points. Mather proved the multijet transversality theorem, which he used in his study of stable mappings.

Jets of sections

This subsection deals with the notion of jets of local sections of a vector bundle. Almost everything in this section generalizes mutatis mutandis to the case of local sections of a fibre bundle, a Banach bundle over a Banach manifold, a fibered manifold, or quasi-coherent sheaves over schemes. Furthermore, these examples of possible generalizations are certainly not exhaustive.

Suppose that E is a finite-dimensional smooth vector bundle over a manifold M, with projection π:E→M{displaystyle pi :Erightarrow M}. Then sections of E are smooth functions s:M→E{displaystyle s:Mrightarrow E} such that π∘s{displaystyle pi circ s} is the identity automorphism of M. The jet of a section s over a neighborhood of a point p is just the jet of this smooth function from M to E at p.

The space of jets of sections at p is denoted by Jpk(M,E){displaystyle J_{p}^{k}(M,E)}. Although this notation can lead to confusion with the more general jet spaces of functions between two manifolds, the context typically eliminates any such ambiguity.

Unlike jets of functions from a manifold to another manifold, the space of jets of sections at p carries the structure of a vector space inherited from the vector space structure on the sections themselves. As p varies over M, the jet spaces Jpk(M,E){displaystyle J_{p}^{k}(M,E)} form a vector bundle over M, the k-th-order jet bundle of E, denoted by J^k(E).

• Example: The first-order jet bundle of the tangent bundle.

We work in local coordinates at a point. Consider a vector field

v=vi(x)∂/∂xi{displaystyle v=v^{i}(x)partial /partial x^{i}}

in a neighborhood of p in M. The 1-jet of v is obtained by taking the first-order Taylor polynomial of the coefficients of the vector field:

vi(x)=vi(0)+xj∂vi∂xj(0)=vi+vjixj.{displaystyle v^{i}(x)=v^{i}(0)+x^{j}{frac {partial v^{i}}{partial x^{j}}}(0)=v^{i}+v_{j}^{i}x^{j}.}

In the x coordinates, the 1-jet at a point can be identified with a list of real numbers (vi,vji){displaystyle (v^{i},v_{j}^{i})}. In the same way that a tangent vector at a point can be identified with the list (vⁱ), subject to a certain transformation law under coordinate transitions, we have to know how the list (vi,vji){displaystyle (v^{i},v_{j}^{i})} is affected by a transition.

So let us consider the transformation law in passing to another coordinate system yⁱ. Let w^k be the coefficients of the vector field v in the y coordinates. Then in the y coordinates, the 1-jet of v is a new list of real numbers (wi,wji){displaystyle (w^{i},w_{j}^{i})}. Since

v=wk(y)∂/∂yk=vi(x)∂/∂xi,{displaystyle v=w^{k}(y)partial /partial y^{k}=v^{i}(x)partial /partial x^{i},}

it follows that

wk(y)=vi(x)∂yk∂xi(x).{displaystyle w^{k}(y)=v^{i}(x){frac {partial y^{k}}{partial x^{i}}}(x).}

So

wk(0)+yj∂wk∂yj(0)=(vi(0)+xj∂vi∂xj)∂yk∂xi(x){displaystyle w^{k}(0)+y^{j}{frac {partial w^{k}}{partial y^{j}}}(0)=left(v^{i}(0)+x^{j}{frac {partial v^{i}}{partial x^{j}}}right){frac {partial y^{k}}{partial x^{i}}}(x)}

Expanding by a Taylor series, we have

wk=∂yk∂xi(0)vi{displaystyle w^{k}={frac {partial y^{k}}{partial x^{i}}}(0)v^{i}}

wjk=vi∂2yk∂xi∂xj+vji∂yk∂xi.{displaystyle w_{j}^{k}=v^{i}{frac {partial ^{2}y^{k}}{partial x^{i},partial x^{j}}}+v_{j}^{i}{frac {partial y^{k}}{partial x^{i}}}.}

Note that the transformation law is second-order in the coordinate transition functions.

Differential operators between vector bundles

See the coordinate independent description of a differential operator.

See also

• Jet group


• Jet bundle


• Lagrangian system

References

• Krasil'shchik, I. S., Vinogradov, A. M., [et al.], Symmetries and conservation laws for differential equations of mathematical physics, American Mathematical Society, Providence, RI, 1999, .mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
  ISBN 0-8218-0958-X.


• Kolář, I., Michor, P., Slovák, J., Natural operations in differential geometry. Springer-Verlag: Berlin Heidelberg, 1993.
  ISBN 3-540-56235-4,
  ISBN 0-387-56235-4.


• Saunders, D. J., The Geometry of Jet Bundles, Cambridge University Press, 1989,
  ISBN 0-521-36948-7
  


• 
  Olver, P. J., Equivalence, Invariants and Symmetry, Cambridge University Press, 1995,
  ISBN 0-521-47811-1
  


• 
  Sardanashvily, G., Advanced Differential Geometry for Theoreticians: Fiber bundles, jet manifolds and Lagrangian theory, Lambert Academic Publishing, 2013,
  ISBN 978-3-659-37815-7; arXiv: 0908.1886