Lagrangian Reduction on Homogeneous Spaces with Advected Parameters
We study the Euler-Lagrange equations for a parameter dependent G-invariant Lagrangian on a homogeneous G-space. We consider the pullback of the parameter dependent Lagrangian to the Lie group G, emphasizing the special invariance properties of the associated Euler-Poincaré equations with advected p...
Збережено в:
| Опубліковано в: : | Symmetry, Integrability and Geometry: Methods and Applications |
|---|---|
| Дата: | 2015 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут математики НАН України
2015
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/146901 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Lagrangian Reduction on Homogeneous Spaces with Advected Parameters / C. Vizman // Symmetry, Integrability and Geometry: Methods and Applications. — 2015. — Т. 11. — Бібліогр.: 12 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859992598312124416 |
|---|---|
| author | Vizman, C. |
| author_facet | Vizman, C. |
| citation_txt | Lagrangian Reduction on Homogeneous Spaces with Advected Parameters / C. Vizman // Symmetry, Integrability and Geometry: Methods and Applications. — 2015. — Т. 11. — Бібліогр.: 12 назв. — англ. |
| collection | DSpace DC |
| container_title | Symmetry, Integrability and Geometry: Methods and Applications |
| description | We study the Euler-Lagrange equations for a parameter dependent G-invariant Lagrangian on a homogeneous G-space. We consider the pullback of the parameter dependent Lagrangian to the Lie group G, emphasizing the special invariance properties of the associated Euler-Poincaré equations with advected parameters.
|
| first_indexed | 2025-12-07T16:32:40Z |
| format | Article |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 11 (2015), 009, 10 pages
Lagrangian Reduction on Homogeneous Spaces
with Advected Parameters
Cornelia VIZMAN
Department of Mathematics, West University of Timişoara, Romania
E-mail: vizman@math.uvt.ro
Received August 14, 2014, in final form January 22, 2015; Published online January 29, 2015
http://dx.doi.org/10.3842/SIGMA.2015.009
Abstract. We study the Euler–Lagrange equations for a parameter dependent G-invariant
Lagrangian on a homogeneous G-space. We consider the pullback of the parameter depen-
dent Lagrangian to the Lie group G, emphasizing the special invariance properties of the
associated Euler–Poincaré equations with advected parameters.
Key words: Lagrangian; homogeneous space; Euler–Poincaré equation
2010 Mathematics Subject Classification: 53D17; 53D20; 37K65; 58D05; 58D10
1 Introduction
The Euler–Poincaré (EP) equations arise via reduction of the variational principle for a right
G-invariant Lagrangian L : TG → R. With a restricted class of variations, the extremals
of the integral of the reduced Lagrangian ` : g → R correspond to extremals of the original
variational problem for L [9]. The EP equations are written for the right logarithmic derivative
ξ = ġg−1 = δrg of the curve g in G as
d
dt
δ`
δξ
+ ad∗ξ
δ`
δξ
= 0. (1.1)
Here δ`/δξ denotes the functional derivative of `, which depends on the choice of a space g∗ in
duality with g, that is ( δ`δξ , η) = d
dt
∣∣
t=0
`(ξ + tη) for all η ∈ g.
The case of a parameter dependent G-invariant Lagrangian L : TG×V ∗ → R is studied in [2].
The parameter space V ∗ is a linear representation space of the Lie group G and the associated EP
equations include an advection equation for the parameter. These EP equations with advected
parameters are applied to continuum theories in [6]. To integrate complex fluids in this setting,
the case of an affine G-action on the parameter space V ∗ is treated in [4]. The more general
case when the parameter space is a smooth manifold M acted on by G is considered in [5],
applied there to nematic particles. The reduced equations, called EP equations for symmetry
breaking, written for the reduced Lagrangian ` : g×M → R, involve the cotangent momentum
map J : T ∗M → g∗:
d
dt
δ`
δξ
+ ad∗ξ
δ`
δξ
= J
(
δ`
δm
)
.
In this paper we generalize the Lagrangian reduction with avdected parameters from the Lie
group setting to the homogeneous space setting. We use the approach from [10] that features
the special invariance properties of the reduced equations written for the pullback Lagrangian
to the Lie group G. Starting with a right G-invariant Lagrangian L̄ : T (G/H)→ R, the reduced
Lagrangian ` : g→ R coming from its pullback to TG must be invariant under the adjoint action
of the Lie subgroup H and under the addition action of its Lie algebra h. As a consequence,
mailto:vizman@math.uvt.ro
http://dx.doi.org/10.3842/SIGMA.2015.009
2 C. Vizman
the EP equations (1.1) are now invariant under the following action of the group C∞(I,H)
on C∞(I, g):
h · ξ = Adh ξ + δrh.
The geodesic equations for invariant Riemannian metrics on Lie groups (Euler equations)
correspond to reduced Lagrangians ` that are quadratic; a famous example is the ideal fluid
flow as geodesic equations on the group of volume preserving diffeomorphisms [1] (more geodesic
equations on diffeomorphism groups can be found for instance in [11]). The extension of Euler
equations from Lie groups to homogeneous spaces is done in [8].
The plan of the paper is the following. In Section 2 we review a kind of logarithmic deriva-
tive for homogeneous spaces. Then we consider parameter dependent G-invariant Lagrangians
on G/H. We treat the case of a linear action on the parameter space in Section 3, where
a multidimensional Hunter–Saxton equation with advected parameter is obtained. We devote
Section 4 to the EP equations for symmetry breaking, obtained for general actions on arbitrary
parameter spaces. We obtain the affine EP equations as a special case. The examples are
mainly on infinite dimensional homogeneous spaces, such as Diff(S1)/S1, Diff(M)/Diffvol(M),
Diff(M)/Diff iso(M), and C∞(M,G)/G.
2 Logarithmic derivative and EP equations
The Euler–Lagrange (EL) equations associated to right invariant Lagrangians on Lie groups
lead to the Euler–Poincaré (EP) equations involving reduced Lagrangians and written for right
logarithmic derivatives of curves in the Lie group. In this section we recall how this works in
homogeneous spaces of right cosets, following [10].
Given a smooth curve ḡ : I → G/H, we compare the right logarithmic derivatives of two
smooth lifts g1, g2 : I → G of ḡ. Because there exists a smooth curve h : I → H such that
g2 = hg1, the logarithmic derivative δrg2 = Adh δ
rg1 + δrh is obtained from δrg1 via the left
action of the group C∞(I,H) on C∞(I, g):
h · ξ = Adh ξ + δrh. (2.1)
Hence the right logarithmic derivative for homogeneous spaces is multivalued:
δ̄r : C∞(I,G/H)→ C∞(I, g)/C∞(I,H), δ̄rḡ = C∞(I,H) · δrg, (2.2)
where g is any lift of ḡ.
The tangent bundle TG of a Lie group G carries a natural group multiplication. In the right
trivialization TG ∼= g×G the multiplication becomes (η, h)(ξ, g) = (Adh ξ+ η, hg). Given a Lie
subgroup H of G, its tangent bundle TH is a subgroup of TG. Let π : G → G/H denote the
canonical projection. Then the surjective submersion Tπ : TG→ T (G/H) is constant on right
TH-cosets of TG and descends to a canonical diffeomorphism between TG/TH and T (G/H).
The following are equivalent data: right G-invariant Lagrangian L̄ on T (G/H), left TH-
invariant and right G-invariant Lagrangian L on TG, as well as reduced Lagrangian ` on g that
is both h-invariant and Ad(H)-invariant. The relation between the Lagrangians is L = L̄ ◦ Tπ
and we call L the pullback of L̄.
Proposition 2.1 ([10]). If the reduced Lagrangian ` : g → R is h–invariant and Ad(H)-
invariant, i.e. `(Adh ξ + η) = `(ξ) for all h ∈ H and η ∈ h, then the EP equations
d
dt
δ`
δξ
+ ad∗ξ
δ`
δξ
= 0 (2.3)
are C∞(I,H)-invariant for the action (2.1).
Lagrangian Reduction on Homogeneous Spaces with Advected Parameters 3
In other words, equation (2.3) can be seen as an equation for C∞(I,H)-orbits in C∞(I, g),
i.e. an equation for right logarithmic derivatives (2.2) of curves in the homogeneous space, so
Proposition 2.1 can be reformulated as:
Proposition 2.2 ([10]). A solution of the EL equation for a right G-invariant Lagrangian
L̄ : T (G/H)→ R is a curve in G/H such that the logarithmic derivative of one of its lifts to G
satisfies the EP equation (2.3), with ` the reduced Lagrangian of the pullback L : TG→ R.
This proposition admits a generalization to Lagrangians that are not necessarily right G-
invariant. First we note the following property of a left TH-invariant Lagrangian L : TG→ R:
if the curve g in G is a solution of the corresponding EL equation, then the curve hg is also
a solution of the EL equation, for any smooth curve h in H. Indeed, each variation gε of g with
fixed endpoints corresponds to a variation (ε, t) 7→ h(t)gε(t) of hg with fixed endpoints.
Proposition 2.3. Let L : TG → R be the pullback of the Lagrangian L̄ : T (G/H) → R (i.e. L
is left TH-invariant). Then the following assertions hold:
(i) If the curve g in G is a solution of the EL equation for L, then it descends to the solution
ḡ = π ◦ g of the EL equation for L̄.
(ii) If the curve ḡ in G/H is a solution of the EL equation for L̄, then any lift g of ḡ is
a solution of the EL equation for L.
Proof. Let g be a solution of the EL equation for L and ḡ = π ◦ g. An arbitrary variation ḡε
of ḡ in G/H with fixed endpoints can be lifted to a variation gε of g in G, but it doesn’t
necessarily have fixed endpoints. It only satisfies gε(0) ∈ Hg(0) and gε(1) ∈ Hg(1). We can
achieve gε(0) = g(0) by multiplying gε(t) with g(0)gε(0)−1 from the left. Moreover, we achieve
gε(1) = g(1) by multiplying the new variation gε(t) with g(1)gεt(1)−1 from the left. Now, using
also the identity L = L̄ ◦ Tπ, we get
d
dε
∣∣∣
0
∫
L̄(ḡε(t), ˙̄gε(t))dt =
d
dε
∣∣∣
0
∫
L(gε(t), ġε(t))dt = 0,
so that ḡ is a solution of the EL equation for L̄. This proves the first assertion.
The second assertion is straightforward, since a variation of g in G with fixed endpoints
always descends to a variation in G/H with fixed endpoints. �
A special case is the geodesic equation for a right G–invariant Riemannian metric on G/H,
i.e. Euler equation on homogeneous spaces [8]. The next examples are both of this type.
Example 2.4 ([7]). Let (M,µ) be a volume manifold. The homogeneous space of right cosets
Diff(M)/Diffvol(M) is the space of normalized volume forms. The right invariant metric on
Diff(M)/Diffvol(M) induced by the degenerate Ḣ1 inner product on X(M)
〈u, v〉 =
∫
M
div udiv v µ
is isometric to the standard L2 metric on an open subset of the sphere of radius 2
√
vol(M) in
the Hilbert space L2(M). The isometry is
ϕ̄ ∈ Diff(M)/Diffvol(M) 7→ 2
√
Jac(ϕ) ∈ L2(M),
where the Jacobian of ϕ ∈ Diff(M) is computed w.r.t. µ, i.e. ϕ∗µ = Jac(ϕ)µ.
The geodesic equation is the multidimensional Hunter–Saxton equation
∂td(div u) + dLu(div u) + (div u)d(div u) = 0. (2.4)
4 C. Vizman
The reduced Lagrangian `(u) = 1
2
∫
M (div u)2µ on X(M) has the required Diffvol(M)- and
Xvol(M)-invariance properties. For M = S1 one gets the Hunter–Saxton equation as geodesic
equation on Diff(S1)/S1.
The left action (2.1) involved in the definition of the right logarithmic derivative δ̄r on
the homogeneous space Diff(M)/Diffvol(M) is the action of the group C∞(I,Diffvol(M)) on
C∞(I,X(M)) given by
(ψ · u)(t) =
(
ψ(t)−1
)∗
u(t) + δrψ(t) ∈ X(M) (2.5)
since Adψ u = (ψ−1)∗u. Here the right logarithmic derivative δrψ = ∂tψ ◦ ψ−1 is the time
dependent (divergence free) vector field induced by the (volume preserving) isotopy ψ(t). By
Proposition 2.1 the Hunter–Saxton equation (2.4) is invariant under the action (2.5). This can
be checked also by a direct computation.
Example 2.5 ([7]). Let (M, g) be a Riemannian manifold and Diff iso(M) its group of isometries.
The homogeneous space of right cosets Diff(M)/Diff iso(M) admits a right invariant metric
induced by the degenerate inner product on X(M)
〈u, v〉 =
∫
M
(Lug, Lvg)µ =
∫
M
(
2
(
du[, dv[
)
+ 4
(
δu[, δv[
)
− 4 Ric(u, v)
)
µ.
The reduced Lagrangian `(u) = 1
2
∫
M |Lug|
2µ on X(M) has the required Diffvol(M)- and
Xvol(M)-invariance properties. The associated EP equation
4dδu[t + 2δdu[t − 4 Ric(ut) + (div u)
(
4dδu[ + 2δdu[ − 4 Ric(u)
)
+ Lu
(
4dδu[ + 2δdu[ − 4 Ric(u)
)
= 0
is invariant under the action (2.5) of C∞(I,Diff iso(M)) on C∞(I,X(M)).
3 EP equations with advected parameters
Now we look at parameter dependent Lagrangians. First we treat the Lie group case, follo-
wing [2], then we pass to homogeneous spaces.
3.1 The case of Lie groups
We consider a linear right action ρ of the Lie group G on the vector space V and its dual left
action ρ∗ on V ∗. The corresponding Lie algebra actions on V and V ∗ are d
dt
∣∣
0
ρexp(tξ)(v) = vξ
and d
dt
∣∣
0
ρ∗exp(tξ)(a) = ξa. If ξ(t) = δrg(t), then a(t) = ρ∗g(t)(a0) is the unique solution of the
differential equation with time-dependent coefficients ȧ = ξa, a(0) = a0. The diamond operation
� : V × V ∗ → g∗ is given by
〈v � a, ξ〉 := 〈ξa, v〉, for all ξ ∈ g. (3.1)
A rightG-invariant Lagrangian L : TG×V ∗ → R (including the linear action on the parameter
space in the second argument) has a reduced Lagrangian ` : g× V ∗ → R so that
`
(
vgg
−1, ρ∗g(a)
)
= L(vg, a), vg ∈ TgG.
For fixed a0 ∈ V ∗ the Lagrangian La0 : TG → R is right invariant only under the isotropy
subgroup Ga0 of a0 ∈ V ∗.
Lagrangian Reduction on Homogeneous Spaces with Advected Parameters 5
Theorem 3.1 ([2]). The EL equations for La0 on G given by Hamilton’s variational principle
δ
∫ t2
t1
La0(g(t), ġ(t))dt = 0
can be expressed as EP equations on g× V ∗ with advected parameter:
d
dt
δ`
δξ
+ ad∗ξ
δ`
δξ
=
δ`
δa
� a, ȧ = ξa (3.2)
for the reduced Lagrangian `.
The main examples are the heavy top and the ideal compressible fluid. For the heavy top
G = SO(3) and the parameter Γ ∈ V ∗ = R3 is the unit vector in the gravity direction in
body representation. For the ideal compressible fluid G = Diff(M), with M a Riemannian
manifold, and the parameter ρ ∈ V ∗ = C∞(M)∗ is the fluid density in spatial representation.
The reduced Lagrangians are `(Ω,Γ) = 1
2 I Ω ·Ω− Γ · λ for Ω ∈ so(3) = R3 in the first example,
and `(u, ρ) = 1
2
∫
M |u|
2ρ for u ∈ X(M) in the second one.
3.2 The case of homogeneous spaces
Let L : TG × V ∗ → R be the pull-back of a G-invariant Lagrangian L̄ : T (G/H) × V ∗ → R,
hence L is left TH-invariant and right G-invariant. If ` : g×V ∗ → R is the reduced Lagrangian,
then
`(ξ, a) = L(ξ, a) = L(vhξ, a) = `
(
Adh ξ + vhh
−1, ρ∗h(a)
)
, vh ∈ ThH.
This proves the next proposition.
Proposition 3.2. The reduced Lagrangian ` : g × V ∗ → R associated to the pullback of a pa-
rameter dependent right G-invariant Lagrangian on G/H is H- and h-invariant:
`(Adh ξ + η, ρ∗h(a)) = `(ξ, a), h ∈ H, η ∈ h. (3.3)
Lemma 3.3. The functional derivatives of the reduced Lagrangian ` : g× V ∗ → R that has the
invariance property (3.3) are equivariant:
δ`
δξ
(Adh ξ + η, ρ∗h(a)) = Ad∗h−1
δ`
δξ
(ξ, a) and
δ`
δa
(Adh ξ + η, ρ∗h(a)) = ρh−1
δ`
δa
(ξ, a).
Proof. We compute for ζ ∈ g:(
δ`
δξ
(Adh ξ + η, ρ∗h(a)), ζ
)
=
d
dt
∣∣∣
0
`(Adh ξ + η + tζ, ρ∗h(a)) =
d
dt
∣∣∣
0
`(ξ + tAd∗h−1 , a)
=
(
Ad∗h−1
δ`
δξ
(ξ, a), ζ
)
.
Similarly we get that(
δ`
δa
(Adh ξ + η, ρ∗h(a)), b
)
=
d
dt
∣∣∣
0
`(Adh ξ + η, ρ∗h(a) + tb) =
d
dt
∣∣∣
0
`(ξ, a+ tρ∗h−1(b))
=
(
ρh−1
δ`
δa
(ξ, a), b
)
for all b ∈ V ∗. �
6 C. Vizman
The path group C∞(I,H) acts on C∞(I, g× V ∗) by
h · (ξ, a) = (Adh ξ + δrh, ρ∗h(a)). (3.4)
This action has the property h · (δrg, ρ∗ga) = (δr(hg), ρ∗hga) for any curve g ∈ C∞(I,G).
Proposition 3.4. Given a reduced Lagrangian ` : g × V ∗ → R that has the invariance pro-
perty (3.3), the EP equation with advected parameters (3.2) is C∞(I,H)-invariant for the ac-
tion (3.4).
Proof. We need the G-equivariance of the diamond operation:
Ad∗g(v � ρ∗g(a)) = ρg(v) � a
that follows from ρ∗g(ξa) = (Adg ξ)(ρ
∗
ga). Using also the following identities for α ∈ g∗:
ad∗Adh ξ
Ad∗h−1 α = Ad∗h−1 ad∗ξ α,
d
dt
(Ad∗h−1 α) = − ad∗δrh Ad∗h−1 α,
we compute(
d
dt
δ`
δξ
+ ad∗ξ
δ`
δξ
− δ`
δa
� a
)
(h · (ξ, a))
=
d
dt
(
Ad∗h−1
δ`
δξ
(ξ, a)
)
+ ad∗Adh ξ+δrh
Ad∗h−1
δ`
δξ
(ξ, a)− ρh−1
δ`
δa
(ξ, a) � ρ∗ha
= Ad∗h−1
(
d
dt
δ`
δξ
+ ad∗ξ
δ`
δξ
− δ`
δa
� a
)
(ξ, a).
This ensures the C∞(I,H)-invariance of the EP equation with advected parameters. �
Example 3.5. Let M be a Riemannian manifold. As in Example 2.4 we focus on the group of
volume preserving diffeomorphisms Diffvol(M) and the homogeneous space Diff(M)/Diffvol(M)
of volume forms with constant total volume.
We consider the parameter space C∞(M)∗, identified with C∞(M) via the volume form µ,
hence the left Diff(M)-action and its infinitesimal X(M)-action are
ϕ · ρ =
(
ρ ◦ ϕ−1
)
Jac(ϕ−1), uρ = −Luρ− ρdiv u = −div(ρu).
The diamond operation (3.1) becomes
� : C∞(M)× C∞(M)∗ → X(M)∗, f � ρ = ρdf ∈ X(M)∗,
where the dual of the space of vector fields is identified via the volume form µ with the space
of differential 1-forms.
The reduced Lagrangian ` : X(M)× C∞(M)∗ → R given by
`(u, ρ) =
1
2
∫
M
ρ(div u)2µ
comes from a Diff(M)-invariant parameter dependent Lagrangian on Diff(M)/Diffvol(M). In-
deed, it satisfies the invariance property (3.3): for all ψ ∈ Diffvol(M) and w ∈ Xvol(M) we
compute
`(Adψ u+ w,ψ · ρ) =
1
2
∫
M
((
ψ−1
)∗
ρ
)(
div(ψ−1)∗u
)2
µ =
1
2
∫
M
ρ(div u)2ψ∗µ = `(u, ρ),
Lagrangian Reduction on Homogeneous Spaces with Advected Parameters 7
using at step 2 the identity div(ψ∗u) = ψ∗ div u that holds for any volume preserving diffeomor-
phism ψ.
The EP equation with advected parameters (3.2) becomes
∂td(ρ div u) + dLu(ρ div u) + d
(
ρ(div u)2
)
= 0, ∂tρ+ div(ρu) = 0.
By Proposition 3.4 this equation is C∞(I,Diffvol(M))-invariant for the joint action (3.4), namely
ψ · (u, ρ) =
((
ψ−1
)∗
u+ δrψ,
(
ψ−1
)∗
(ρ) Jac
(
ψ−1
))
for curves ψ in Diffvol(M), u in X(M), and ρ in C∞(M).
Example 3.6. One can consider as well the group Diff iso(M) of isometries of M as a subgroup
of Diff(M), like in Example 2.5. The reduced Lagrangian ` : X(M) × C∞(M)∗ → R would
be given by `(u, ρ) = 1
2
∫
M ρ|Lug|2µ, coming from a Diff(M)-invariant parameter dependent
Lagrangian on the homogeneous space Diff(M)/Diff iso(M).
4 EP equations for symmetry breaking
One can replace the linear action of G on a parameter vector space V ∗ with an arbitrary action
of G on a parameter manifold M . This generalization of the EP equations with advected
parameters, called EP equations for symmetry breaking, are presented in [5]. In this section we
adapt these results to the case of homogeneous spaces.
4.1 The case of Lie groups
Let a Lie group G act on the smooth manifold M from the left, and let ξM ∈ X(M) denote the
infinitesimal generator of ξ ∈ g. Given a curve g in G starting at the identity, the curve m(t) =
g(t) ·m0 is the unique solution of the differential equation with time-dependent coefficients
ṁ = ξM (m), m(0) = m0,
where ξ(t) = δrg(t).
The cotangent momentum map J : T ∗M → g∗, defined by (J(αm), ξ) = (αm, ξM (m)) for all
αm ∈ T ∗mM , is G-equivariant for the cotangent and coadjoint actions: J(g · αm) = Ad∗g J(αm).
Given a right G-invariant Lagrangian L : TG×M → R, i.e.
L
(
vgh, h
−1 ·m
)
= L(vg,m), h ∈ G,
its reduced Lagrangian ` : g × M → R satisfies L(vg,m) = `(vgg
−1, g · m). The functional
derivative δ`
δξ takes values in g∗, while δ`
δm is a g-dependent section of T ∗M .
Theorem 4.1 ([5]). The EL equations for the Lagrangian Lm0 : TG→ R are the EP equations
for symmetry breaking
d
dt
δ`
δξ
+ ad∗ξ
δ`
δξ
= J
(
δ`
δm
)
, ṁ = ξM (m) (4.1)
for the reduced Lagrangian ` : g×M → R.
Example 4.2 ([5]). For an EP description of nematic particles one considers the canonical
action of G = SO(3) on M = RP 2. The SO(3)-invariant Lagrangian is
L : T SO(3)× RP 2 → R, L(g, ġ,m) =
1
2
j|ġ|2 − λ
2
〈
m, g−1k
〉2
,
where j and λ are constants, and k the external force field, with reduced Lagrangian ` : so(3)×
RP 2 → R given by `(ξ,m) = 1
2j|ξ|
2 − λ
2 〈m, k〉
2.
8 C. Vizman
4.2 The case of homogeneous spaces
Let L : TG×M → R be the pull-back of the right G-invariant Lagrangian L̄ : T (G/H)×M → R,
hence L is left TH-invariant (in the first argument) and right G-invariant (in both arguments
simultaneously). The associated reduced Lagrangian ` : g×M → R is both H- and h-invariant:
`(Adh ξ + η, h ·m) = `(ξ,m), h ∈ H, η ∈ h. (4.2)
Proposition 4.3. Given a reduced Lagrangian ` : g ×M → R that has the invariance proper-
ty (4.2), the EP equation for symmetry breaking (4.1) is invariant under the C∞(I,H)-action
on C∞(I, g× T ∗M):
h · (ξ,m) = (Adh ξ + δrh, h ·m).
Proof. The equivariance property of the functional derivative δ`
δξ from Lemma 3.3 holds, but
also the following equivariance property of δ`
δm :
δ`
δm
(h · (ξ,m)) = h−1 · δ`
δm
(ξ,m).
Indeed, for any curve c in M with c(0) = h ·m and c′(0) = w, we get:(
δ`
δm
(h · (ξ,m)), w
)
=
d
dt
∣∣∣
0
`(Adh ξ + δrh, c(t)) =
d
dt
∣∣∣
0
`(ξ, h−1 · c(t))
=
(
δ`
δm
(ξ,m), h−1 · w
)
=
(
h−1 · δ`
δm
(ξ,m), w
)
.
Using also the equivariance of the cotangent momentum map, we compute(
d
dt
δ`
δξ
+ ad∗ξ
δ`
δξ
− J
(
δ`
δm
))
(h · (ξ,m)) =
d
dt
(
Ad∗h−1
δ`
δξ
)
+ ad∗Adh ξ+δrh
Ad∗h−1
δ`
δξ
− J
(
h−1 · δ`
δm
)
= Ad∗h−1
(
d
dt
δ`
δξ
+ ad∗ξ
δ`
δξ
− J
(
δ`
δm
))
.
This shows the required invariance of the equation (4.1). �
Example 4.4. This is a variation of Example 4.2 for the subgroup H = S1 of G = SO(3)
consisting of all rotations with axis k. Instead of the reduced Lagrangian `(ξ,m) = 1
2j|ξ|
2 −
λ
2 (m · k)2 from Example 4.2 one can take `(ξ,m) = 1
2j|pk⊥(ξ)|2 − λ
2 〈m, k〉
2, where pk⊥ denotes
the orthogonal Euclidean projection onto the vectorial plane k⊥ ⊂ R3. It has the required
invariance properties because pk⊥(η) = 0 for all η ∈ h (because η is proportional to k) and
pk⊥(Adh ξ) = Adh(pk⊥(ξ)) for all h ∈ H. Indeed, for every rotation h with axis k and every
η ∈ h,
`(Adh ξ + η, h ·m) =
1
2
j|pk⊥(Adh ξ)|2 −
λ
2
〈h ·m, k〉2 =
1
2
j|pk⊥(ξ)|2 − λ
2
〈m, k〉2 = `(ξ,m).
4.3 Affine EP equations
Now we consider the special case of an affine left G-action on a parameter space V ∗:
θg(a) = ρ∗g(a) + c(g), (4.3)
where c : G→ V ∗ is a group 1-cocycle for the action ρ∗, i.e.
c(gh) = c(g) + ρ∗gc(h).
Let dc : g→ V ∗ be the associated Lie algebra 1-cocycle. If ξ(t) = δrg(t), then a(t) = θg(t)(a0) is
the unique solution of the differential equation with time-dependent coefficients ȧ = ξa+dc(ξ),
a(0) = a0.
Lagrangian Reduction on Homogeneous Spaces with Advected Parameters 9
Remark 4.5. Let dc> : V → g∗ be defined by 〈dc>(v), ξ〉 = 〈dc(ξ), v〉. Then the cotangent
momentum map for the affine action (4.3) of G on V ∗ can be written as
J : T ∗V ∗ = V ∗ × V → g∗, J(a, v) = v � a+ dc>(v), (4.4)
because for all ξ ∈ g,
(J(a, v), ξ) = (v, ξV ∗(a)) = (v, ξa+ dc(ξ)) =
(
v � a+ dc>(v), ξ
)
.
The following result for a right G-invariant Lagrangian L : TG × V ∗ → R with reduced
Lagrangian ` : g×V ∗ → R is a special case of Theorem 4.1 and a generalization of Theorem 3.1.
Theorem 4.6 ([4]). The EL equations for La0 : TG→ R can be expressed as affine EP equations
for the reduced Lagrangian `:
d
dt
δ`
δξ
+ ad∗ξ
δ`
δξ
=
δ`
δa
� a+ (dc)>
(
δ`
δa
)
, ȧ = ξa+ dc(ξ). (4.5)
Spin systems. In [4] is shown that the affine EP equations for the action of the gauge group
C∞(M,G) on the space V ∗ = Ω1(M, g) of principal connections on the trivial bundle M ×G
θg(γ) = Adg γ − dgg−1 (4.6)
can be used in the description of spin systems. The 1-cocycle is in this case the right logarithmic
derivative
c : C∞(M,G)→ Ω1(M, g), c(g) = −dgg−1,
so dc(ξ) = −dξ for all ξ ∈ C∞(M, g). The infinitesimal action involves the covariant derivative
dγξ = dξ + [γ, ξ], namely ξV ∗(γ) = −dγξ.
We fix a volume form on M , so C∞(M, g∗) is a dual space to the gauge Lie algebra C∞(M, g),
while X(M, g∗) is a dual space to the parameter space Ω1(M, g). The cotangent momentum
map (4.4) becomes J(γ, α) = − ad∗γ α − divα = divγ α, since dc>(α) = divα and that the
diamond map is α � γ = − ad∗γ α. We can write now the affine EP equation on C∞(M, g) ×
Ω1(M, g) as
∂
∂t
δ`
δξ
+ ad∗ξ
δ`
δξ
= −divγ
δ`
δγ
, γ̇ + dγξ = 0. (4.7)
For M = R3 and G = SO(3) one gets a macroscopic description of spin glasses [4]. For M a real
interval and G = SE(3), the Euclidean group of rigid motions, one gets an affine EP formulation
of Kirchhoff’s theory of rods (the Cosserat rod) in the case of potential forces [3].
Homogeneous spaces. Let L : TG × V ∗ → R be now the pull-back of a G-invariant
Lagrangian L̄ : T (G/H) × V ∗ → R. Because L is left TH-invariant and right G-invariant, its
reduced Lagrangian ` : g× V ∗ → R is both H- and h-invariant:
`(Adh ξ + η, θh(a)) = `(ξ, a), h ∈ H, η ∈ h. (4.8)
Proposition 4.7. Given a reduced Lagrangian ` : g × V ∗ → R that has the invariance proper-
ty (4.8), the affine EP equation (4.5) is invariant under the action of the path group C∞(I,H)
on C∞(I, g× V ∗) by
h · (ξ, a) = (Adh ξ + δrh, θh(a)). (4.9)
10 C. Vizman
Proof. It is a consequence of Proposition 4.3, but it can be shown also directly, as in the proof
of Proposition 3.4, using the expression of the failure of dc to be G-equivariant: dc(Adg ξ) −
ρ∗gdc(ξ) = c(g) Adg ξ. �
Example 4.8 (spin systems). Let G be a Lie group and κ an invariant inner product on its
Lie algebra g. The reduced Lagrangians ` : C∞(M, g)×Ω1(M, g)→ R that depend only on the
differential of the function ξ ∈ C∞(M, g):
`1(ξ, γ) =
1
2
∫
|[dξ, γ]|2µ, `2(ξ, γ) =
1
2
∫
|κ(dξ, γ)|2µ, `3(ξ, γ) =
∫ (
|dξ|2 − |γ|2
)
µ
all come from a Lagrangian on the homogeneous space C∞(M,G)/G because all of them satisfy
the invariance property (4.8). We check it for the middle Lagrangian for all ξ ∈ C∞(M, g),
h ∈ G and η ∈ g (so dhh−1 = 0 and dη = 0):
`2(Adh ξ + η, θh(γ))
(4.6)
=
1
2
∫ ∣∣κ(Adh dξ + dη,Adh γ − dhh−1
)∣∣2µ = |κ(dξ, γ)|2µ = `2(ξ, γ).
It follows that the corresponding EP equations (4.7) for spin systems are invariant under the
action (4.9), hence (4.7) can be seen as an equation on C∞(M,G)/G.
This setting of affine EP reduction is used in [12] for the dynamical description of space-
time strands on homogeneous spaces. Covariant EP equations on homogeneous spaces provide
another frame to describe the dynamics of space-time strands on homogeneous spaces.
Acknowledgements
The author is grateful to the referee for very helpful suggestions. This work was supported by
a grant of the Romanian National Authority for Scientific Research, CNCS UEFISCDI, project
number PN-II-ID-PCE-2011-3-0921.
References
[1] Arnold V., Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications
à l’hydrodynamique des fluides parfaits, Ann. Inst. Fourier (Grenoble) 16 (1966), 319–361.
[2] Cendra H., Holm D.D., Marsden J.E., Ratiu T.S., Lagrangian reduction, the Euler–Poincaré equations,
and semidirect products, in Geometry of Differential Equations, Amer. Math. Soc. Transl., Vol. 186, Amer.
Math. Soc., Providence, RI, 1998, 1–25, chao-dyn/9906004.
[3] Gay-Balmaz F., Holm D.D., Ratiu T.S., Variational principles for spin systems and the Kirchhoff rod,
J. Geom. Mech. 1 (2009), 417–444, arXiv:0904.1428.
[4] Gay-Balmaz F., Ratiu T.S., The geometric structure of complex fluids, Adv. in Appl. Math. 42 (2009),
176–275, arXiv:0903.4294.
[5] Gay-Balmaz F., Tronci C., Reduction theory for symmetry breaking with applications to nematic systems,
Phys. D 239 (2010), 1929–1947, arXiv:0909.2165.
[6] Holm D.D., Marsden J.E., Ratiu T.S., The Euler–Poincaré equations and semidirect products with appli-
cations to continuum theories, Adv. Math. 137 (1998), 1–81, chao-dyn/9801015.
[7] Khesin B., Lenells J., Misio lek G., Preston S.C., Geometry of diffeomorphism groups, complete integrability
and geometric statistics, Geom. Funct. Anal. 23 (2013), 334–366, arXiv:1105.0643.
[8] Khesin B., Misio lek G., Euler equations on homogeneous spaces and Virasoro orbits, Adv. Math. 176 (2003),
116–144, math.SG/0210397.
[9] Marsden J.E., Ratiu T.S., Introduction to mechanics and symmetry. A basic exposition of classical mecha-
nical systems, Texts in Applied Mathematics, Vol. 17, 2nd ed., Springer-Verlag, New York, 1999.
[10] Tiğlay F., Vizman C., Generalized Euler–Poincaré equations on Lie groups and homogeneous spaces, orbit
invariants and applications, Lett. Math. Phys. 97 (2011), 45–60, arXiv:1008.4377.
[11] Vizman C., Geodesic equations on diffeomorphism groups, SIGMA 4 (2008), 030, 22 pages, arXiv:0803.1678.
[12] Vizman C., Invariant variational problems on homogeneous spaces, J. Geom. Phys., to appear.
http://arxiv.org/abs/chao-dyn/9906004
http://dx.doi.org/10.3934/jgm.2009.1.417
http://arxiv.org/abs/0904.1428
http://dx.doi.org/10.1016/j.aam.2008.06.002
http://arxiv.org/abs/0903.4294
http://dx.doi.org/10.1016/j.physd.2010.07.002
http://arxiv.org/abs/0909.2165
http://dx.doi.org/10.1006/aima.1998.1721
http://arxiv.org/abs/chao-dyn/9801015
http://dx.doi.org/10.1007/s00039-013-0210-2
http://arxiv.org/abs/1105.0643
http://dx.doi.org/10.1016/S0001-8708(02)00063-4
http://arxiv.org/abs/math.SG/0210397
http://dx.doi.org/10.1007/978-0-387-21792-5
http://dx.doi.org/10.1007/s11005-011-0464-2
http://arxiv.org/abs/1008.4377
http://dx.doi.org/10.3842/SIGMA.2008.030
http://arxiv.org/abs/0803.1678
http://dx.doi.org/10.1016/j.geomphys.2014.10.012
1 Introduction
2 Logarithmic derivative and EP equations
3 EP equations with advected parameters
3.1 The case of Lie groups
3.2 The case of homogeneous spaces
4 EP equations for symmetry breaking
4.1 The case of Lie groups
4.2 The case of homogeneous spaces
4.3 Affine EP equations
References
|
| id | nasplib_isofts_kiev_ua-123456789-146901 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1815-0659 |
| language | English |
| last_indexed | 2025-12-07T16:32:40Z |
| publishDate | 2015 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Vizman, C. 2019-02-11T21:18:42Z 2019-02-11T21:18:42Z 2015 Lagrangian Reduction on Homogeneous Spaces with Advected Parameters / C. Vizman // Symmetry, Integrability and Geometry: Methods and Applications. — 2015. — Т. 11. — Бібліогр.: 12 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 53D17; 53D20; 37K65; 58D05; 58D10 DOI:10.3842/SIGMA.2015.009 https://nasplib.isofts.kiev.ua/handle/123456789/146901 We study the Euler-Lagrange equations for a parameter dependent G-invariant Lagrangian on a homogeneous G-space. We consider the pullback of the parameter dependent Lagrangian to the Lie group G, emphasizing the special invariance properties of the associated Euler-Poincaré equations with advected parameters. The author is grateful to the referee for very helpful suggestions. This work was supported by
 a grant of the Romanian National Authority for Scientific Research, CNCS UEFISCDI, project
 number PN-II-ID-PCE-2011-3-0921. en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications Lagrangian Reduction on Homogeneous Spaces with Advected Parameters Article published earlier |
| spellingShingle | Lagrangian Reduction on Homogeneous Spaces with Advected Parameters Vizman, C. |
| title | Lagrangian Reduction on Homogeneous Spaces with Advected Parameters |
| title_full | Lagrangian Reduction on Homogeneous Spaces with Advected Parameters |
| title_fullStr | Lagrangian Reduction on Homogeneous Spaces with Advected Parameters |
| title_full_unstemmed | Lagrangian Reduction on Homogeneous Spaces with Advected Parameters |
| title_short | Lagrangian Reduction on Homogeneous Spaces with Advected Parameters |
| title_sort | lagrangian reduction on homogeneous spaces with advected parameters |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/146901 |
| work_keys_str_mv | AT vizmanc lagrangianreductiononhomogeneousspaceswithadvectedparameters |