Skip to main content
added 22 characters in body
Source Link
Ben McKay
  • 26.3k
  • 7
  • 67
  • 102

The $k$-jet bundle $J^k$ of $k$-jets of real valued functions on a manifold $M$ has an obvious map $J^k\to J^1$, if $k\ge 1$, smooth and diffeomorphism invariant, taking the $k$-jet of a function to its $1$-jet. The $1$-jet bundle has an obvious splitting $J^1=J^0 \oplus T^* X$, mapping each $1$-jet to its $0$-jet and exterior derivative of any function'sfunction, as calculated from its $1$-jet. Pull back the Liouville form $\lambda$ from $T^*X$ to $J^1$, and to $J^k$, to obtain a $1$-form $\lambda$ on $J^k$ so that, for any $C^{k+1}$ function $f$, its $k$-jet $j^k f$, as a section of $J^k$, satisfies $(j^k f)^*\lambda=df$. Is that what you are looking for?

The $k$-jet bundle $J^k$ of $k$-jets of real valued functions on a manifold $M$ has an obvious map $J^k\to J^1$, if $k\ge 1$, smooth and diffeomorphism invariant, taking the $k$-jet of a function to its $1$-jet. The $1$-jet bundle has an obvious splitting $J^1=J^0 \oplus T^* X$, mapping each $1$-jet to its $0$-jet and exterior derivative of any function's $1$-jet. Pull back the Liouville form $\lambda$ from $T^*X$ to $J^1$, and to $J^k$, to obtain a $1$-form $\lambda$ on $J^k$ so that, for any $C^{k+1}$ function $f$, its $k$-jet $j^k f$, as a section of $J^k$, satisfies $(j^k f)^*\lambda=df$. Is that what you are looking for?

The $k$-jet bundle $J^k$ of $k$-jets of real valued functions on a manifold $M$ has an obvious map $J^k\to J^1$, if $k\ge 1$, smooth and diffeomorphism invariant, taking the $k$-jet of a function to its $1$-jet. The $1$-jet bundle has an obvious splitting $J^1=J^0 \oplus T^* X$, mapping each $1$-jet to its $0$-jet and exterior derivative of any function, as calculated from its $1$-jet. Pull back the Liouville form $\lambda$ from $T^*X$ to $J^1$, and to $J^k$, to obtain a $1$-form $\lambda$ on $J^k$ so that, for any $C^{k+1}$ function $f$, its $k$-jet $j^k f$, as a section of $J^k$, satisfies $(j^k f)^*\lambda=df$. Is that what you are looking for?

Source Link
Ben McKay
  • 26.3k
  • 7
  • 67
  • 102

The $k$-jet bundle $J^k$ of $k$-jets of real valued functions on a manifold $M$ has an obvious map $J^k\to J^1$, if $k\ge 1$, smooth and diffeomorphism invariant, taking the $k$-jet of a function to its $1$-jet. The $1$-jet bundle has an obvious splitting $J^1=J^0 \oplus T^* X$, mapping each $1$-jet to its $0$-jet and exterior derivative of any function's $1$-jet. Pull back the Liouville form $\lambda$ from $T^*X$ to $J^1$, and to $J^k$, to obtain a $1$-form $\lambda$ on $J^k$ so that, for any $C^{k+1}$ function $f$, its $k$-jet $j^k f$, as a section of $J^k$, satisfies $(j^k f)^*\lambda=df$. Is that what you are looking for?