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

• Autorzy: W. M. Mikulski
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 58A20: Jets

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Annales Polonici Mathematici
• Rocznik: 2007
• Tom: 90
• Numer: 1
• Strony: 59-76

Daty

wydano

2007

Twórcy

autor

W. M. Mikulski

• Institute of Mathematics, Jagiellonian University, Reymonta 4, 30-059 Kraków, Poland

Identyfikatory

DOI

10.4064/ap90-1-5