2024/04/18 by Uçgun, Filiz Çağatay, Esen, Oğul, Sütlü, Serkan
#14M17 #37J37 #57T15 #70H03 #70H05 #70H50 #Differential Geometry (math.DG) #FOS: Mathematics #FOS: Physical sciences #Mathematical Physics (math-ph)
paper · doi:10.48550/arxiv.2404.12101
We present the Euler-Lagrange and Hamilton's equations for a system whose configuration space is a unified product Lie group G=M\bowtieγ H, for some γ:M× M → H. By reduction, then, we obtain the Euler-Lagrange type and Hamilton's type equations of the same form for the quotient space M≅ G/H, although it is not necessarily a Lie group. We observe, through further reduction, that it is possible to formulate the Euler-Poincaré type and Lie-Poisson type equations on the corresponding quotient \mathfrakm≅ \mathfrakg/\mathfrakh of Lie algebras, which is not a priori a Lie algebra. Moreover, we realize the nth order iterated tangent group T(n)G of a Lie group G as an extension of the nth order tangent group TnG of the same type. More precisely, \mathfrakg being the Lie algebra of G, T(n)G ≅ \mathfrakg× 2n-1-n \bowtieγTnG for some γ:\mathfrakg× 2n-1-n × \mathfrakg× 2n-1-n → TnG. We thus obtain the nth order Euler-Lagrange (and then the nth order Euler-Poincaré) equations over TnG by reduction from those on T(Tn-1G). Finally, we illustrate our results in the realm of the Kepler problem, and the non-linear tokamak plasma dynamics.