On the Helmholtz operator of variational calculus in fibered-fibered manifolds

W. M. Mikulski

Annales Polonici Mathematici, Tome 92 (2007), p. 59-76 / Harvested from The Polish Digital Mathematics Library

Résumé

A fibered-fibered manifold is a surjective fibered submersion π: Y → X between fibered manifolds. For natural numbers s ≥ r ≤ q an (r,s,q)th order Lagrangian on a fibered-fibered manifold π: Y → X is a base-preserving morphism $λ: J^{r,s,q}Y → ⋀^{dim X}T*X$. For p= max(q,s) there exists a canonical Euler morphism $(λ): J^{r+s,2s,r+p}Y → *Y⊗ ⋀^{dim X}T*X$ satisfying a decomposition property similar to the one in the fibered manifold case, and the critical fibered sections σ of Y are exactly the solutions of the Euler-Lagrange equation $(λ) ∘ j^{r+s,2s,r+p}σ = 0$. In the present paper, similarly to the fibered manifold case, for any morphism $B:J^{r,s,q}Y → *Y ⊗ ⋀^{m}T*X$ over Y, s ≥ r ≤ q, we define canonically a Helmholtz morphism $(B): J^{s+p,s+p,2p}Y → *J^{r,s,r}Y ⊗ *Y ⊗ ⋀^{dim X}T*X$, and prove that a morphism $B:J^{r+s,2s,r+p} Y → *Y ⊗ ⋀ T*M$ over Y is locally variational (i.e. locally of the form B = (λ) for some (r,s,p)th order Lagrangian λ) if and only if (B) = 0, where p = max(s,q). Next, we study naturality of the Helmholtz morphism (B) on fibered-fibered manifolds Y of dimension (m₁,m₂,n₁,n₂). We prove that any natural operator of the Helmholtz morphism type is c(B), c ∈ ℝ, if n₂≥ 2.

Détail

Publié le : 2007-01-01

Zbl 1114.58003

EUDML-ID : urn:eudml:doc:280515