[J.E.Marsden] Variational Principles, Dirac Structures, And Reduction
-
Upload
api-3773171 -
Category
Documents
-
view
177 -
download
2
Transcript of [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction
![Page 1: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/1.jpg)
Control & Dynamical Systems
CA L T EC H
Variational Principles,Dirac Structures, and Reduction
Dedicated to Alan@60
Jerrold E. MarsdenJoint work with Hiroaki Yoshimura (and others)
Control and Dynamical Systems, Caltechhttp://www.cds.caltech.edu/ marsden/
Alanfest, Vienna, August 7, 2003
![Page 2: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/2.jpg)
What Dirac did; what we doDirac (who knew mechanics!), studied Lagrangian sys-
tems with constraints, including those arising fromdegeneracies.
2
![Page 3: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/3.jpg)
What Dirac did; what we doDirac (who knew mechanics!), studied Lagrangian sys-
tems with constraints, including those arising fromdegeneracies.
See his article on “Generalized Hamiltonian Mechan-ics” in the Canadian J. of Math., circa 1950.
2
![Page 4: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/4.jpg)
What Dirac did; what we doDirac (who knew mechanics!), studied Lagrangian sys-
tems with constraints, including those arising fromdegeneracies.
See his article on “Generalized Hamiltonian Mechan-ics” in the Canadian J. of Math., circa 1950.
He also worked on the program of going to the Hamil-tonian side via the Legendre transformation and com-puting the associated Poisson brackets.
2
![Page 5: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/5.jpg)
What Dirac did; what we doDirac (who knew mechanics!), studied Lagrangian sys-
tems with constraints, including those arising fromdegeneracies.
See his article on “Generalized Hamiltonian Mechan-ics” in the Canadian J. of Math., circa 1950.
He also worked on the program of going to the Hamil-tonian side via the Legendre transformation and com-puting the associated Poisson brackets.
Lesson learned from examples and applications:In many if not most cases, one does not start on theHamiltonian side, but rather on the Lagrangian sidewith a variational principle.
2
![Page 6: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/6.jpg)
What Dirac did; what we doDirac understood this very clearly and it is how his
papers are written; but this seems to have been aforgotten lesson!
3
![Page 7: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/7.jpg)
What Dirac did; what we doDirac understood this very clearly and it is how his
papers are written; but this seems to have been aforgotten lesson!
While it is quite appropriate that Dirac structures arenamed after him, it seems that workers in the fieldhave so far left out Lagrangian mechanics from thestory! Our goal is to fill this gap (or canyon) .
3
![Page 8: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/8.jpg)
What Dirac did; what we doDirac understood this very clearly and it is how his
papers are written; but this seems to have been aforgotten lesson!
While it is quite appropriate that Dirac structures arenamed after him, it seems that workers in the fieldhave so far left out Lagrangian mechanics from thestory! Our goal is to fill this gap (or canyon) .
You are wrong if you believe that this gap can betrivially filled by simply waving a Legendre transfor-mation wand.
3
![Page 9: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/9.jpg)
Examples• Standard nondegenerate Lagrangian and Hamiltonian sys-
tems, possibly with symmetry, possibly reduced.
• Specific case: the dynamics of asteroid pairs, such as Idaand Dactyl:
4
![Page 10: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/10.jpg)
Examples• Nonholonomic mechanics. Specific example is the rolling
penny. Have a look at one of my favorite books:
5
![Page 11: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/11.jpg)
Examples• Electrical Networks. Specific example; how to analyze the
dynamics associated with this network:
L2
C1
C3C4
e1
e2
e3 e4f1
f2
f3 f4
6
![Page 12: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/12.jpg)
Theoretical Developments• General development of Dirac structures (Courant, Wein-
stein, Dorfman) and reduction theory of Dirac structures(Van der Schaft, Blankenstein, Ratiu).
• Application to nonholonomic systems and circuits, but onthe Hamiltonian side (horrors!) by Van der Schaft, Maschke,Bloch, Crouch and others.
7
![Page 13: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/13.jpg)
Theoretical Developments• General development of Dirac structures (Courant, Wein-
stein, Dorfman) and reduction theory of Dirac structures(Van der Schaft, Blankenstein, Ratiu).
• Application to nonholonomic systems and circuits, but onthe Hamiltonian side (horrors!) by Van der Schaft, Maschke,Bloch, Crouch and others.
• Lagrangian and Hamiltonian reduction theory (see articleof JM and Alan on the history of the subject).
• General symplectic and Poisson reduction are fine, but onewants more detail for the case of tangent and cotangentbundles. Why? Well, that is how one does examples!
7
![Page 14: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/14.jpg)
Theoretical Developments• Hamiltonian reduction of cotangent bundles1 Start withH : T∗Q → R and a Lie group G acting (free and properfor simplicity) on Q. Choose a principal connection A onthe shape space bundle Q → Q/G.
1Weinstein, Sternberg, Montgomery, Cendra, JEM, Ratiu,....8
![Page 15: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/15.jpg)
Theoretical Developments• Hamiltonian reduction of cotangent bundles1 Start withH : T∗Q → R and a Lie group G acting (free and properfor simplicity) on Q. Choose a principal connection A onthe shape space bundle Q → Q/G.
•Mechanics and examples tell you that this global perspec-tive is the right one–that is, one should really choose aconnection at this point. Then,
T∗Q/G A T∗(Q/G)× g∗
with its natural Poisson structure (containing curvatureterms from A), etc.
1Weinstein, Sternberg, Montgomery, Cendra, JEM, Ratiu,....8
![Page 16: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/16.jpg)
Theoretical Developments• Hamiltonian reduction of cotangent bundles1 Start withH : T∗Q → R and a Lie group G acting (free and properfor simplicity) on Q. Choose a principal connection A onthe shape space bundle Q → Q/G.
•Mechanics and examples tell you that this global perspec-tive is the right one–that is, one should really choose aconnection at this point. Then,
T∗Q/G A T∗(Q/G)× g∗
with its natural Poisson structure (containing curvatureterms from A), etc.
• Reduced equations on this space are called the Hamilton-Poincare equations. When Q = G, you get the Lie-Poissonequations on g∗.
1Weinstein, Sternberg, Montgomery, Cendra, JEM, Ratiu,....8
![Page 17: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/17.jpg)
Theoretical Developments• If you do symplectic reduction in this context by impos-
ing a momentum map constraint J = µ then one gets anassociated coadjoint orbit bundle
J−1(µ)/Gµ = T∗(Q/G)× Oµwhose symplectic structure is a combination of the KKSorbit bracket with the cotangent bracket plus a curvatureterm.
9
![Page 18: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/18.jpg)
Theoretical Developments• If you do symplectic reduction in this context by impos-
ing a momentum map constraint J = µ then one gets anassociated coadjoint orbit bundle
J−1(µ)/Gµ = T∗(Q/G)× Oµwhose symplectic structure is a combination of the KKSorbit bracket with the cotangent bracket plus a curvatureterm.
• This is actually useful in examples; eg, the asteroid pairproblem, in the dynamics of a fluid with a free surface.(The Hodge decomposition provides the connection).
9
![Page 19: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/19.jpg)
Theoretical Developments• Lagrangian reduction of tangent bundles2: Start with L :TQ → R and a Lie group G acting (free and proper forsimplicity) on Q. Choose a principal connection A on theshape space bundle Q → Q/G, so that
TQ/G A T(Q/G)× g
2JEM, Scheurle, Weinstein, Cendra, Ratiu, ...10
![Page 20: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/20.jpg)
Theoretical Developments• Lagrangian reduction of tangent bundles2: Start with L :TQ → R and a Lie group G acting (free and proper forsimplicity) on Q. Choose a principal connection A on theshape space bundle Q → Q/G, so that
TQ/G A T(Q/G)× g
• Reduced equations on this space are called the Lagrange-Poincare equations. When Q = G, you get the Euler-Poincare equations on g.
2JEM, Scheurle, Weinstein, Cendra, Ratiu, ...10
![Page 21: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/21.jpg)
Theoretical Developments• Lagrangian reduction of tangent bundles2: Start with L :TQ → R and a Lie group G acting (free and proper forsimplicity) on Q. Choose a principal connection A on theshape space bundle Q → Q/G, so that
TQ/G A T(Q/G)× g
• Reduced equations on this space are called the Lagrange-Poincare equations. When Q = G, you get the Euler-Poincare equations on g.
• Strategy: reduce variational principles, not symplectic orPoisson structures. One can close up this category so thatreduction keeps you in it (reduction by stages).
2JEM, Scheurle, Weinstein, Cendra, Ratiu, ...10
![Page 22: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/22.jpg)
Theoretical Developments• Lagrangian reduction of tangent bundles2: Start with L :TQ → R and a Lie group G acting (free and proper forsimplicity) on Q. Choose a principal connection A on theshape space bundle Q → Q/G, so that
TQ/G A T(Q/G)× g
• Reduced equations on this space are called the Lagrange-Poincare equations. When Q = G, you get the Euler-Poincare equations on g.
• Strategy: reduce variational principles, not symplectic orPoisson structures. One can close up this category so thatreduction keeps you in it (reduction by stages).
• Don’t you dare choose a metric and identify TQ and T∗Qor a Killing form and identify g and g∗!!
2JEM, Scheurle, Weinstein, Cendra, Ratiu, ...10
![Page 23: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/23.jpg)
Theoretical Developments•Many other variations on the theme: For example, semi-
direct product reduction theory3 and its recent generaliza-tion to group extensions (including Bott Virasoro, Camassa-Holm, Dym, etc).
3Guillemin-Sternberg, JEM, Weinstein, Ratiu, Leonard, Holm,...11
![Page 24: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/24.jpg)
Theoretical Developments•Many other variations on the theme: For example, semi-
direct product reduction theory3 and its recent generaliza-tion to group extensions (including Bott Virasoro, Camassa-Holm, Dym, etc).
• Stability theory4 for relative equilibria; energy-momentummethod (Arnold method, energy-Casimir, block diagonal-ization, ....).
3Guillemin-Sternberg, JEM, Weinstein, Ratiu, Leonard, Holm,...4Arnold, JEM, Simo, Lewis,...
11
![Page 25: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/25.jpg)
Nonholonomic Mechanical Systems
• Constraints such as rolling constraints. Dynamics gov-erned by the Lagrange–d’Alembert principle: start with adistribution ∆ ⊂ TQ and ask that
δ∫Ldt = 0
for all δq ∈ ∆. One also impose the condition q ∈ ∆.
12
![Page 26: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/26.jpg)
Nonholonomic Mechanical Systems
• Constraints such as rolling constraints. Dynamics gov-erned by the Lagrange–d’Alembert principle: start with adistribution ∆ ⊂ TQ and ask that
δ∫Ldt = 0
for all δq ∈ ∆. One also impose the condition q ∈ ∆.
q(a)
q(b)
Q
q(t) varied curve
δq(t) ∈ ∆
12
![Page 27: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/27.jpg)
Nonholonomic Mechanical Systems
• Reduction theory for these systems started by Jair Koiller!
13
![Page 28: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/28.jpg)
Nonholonomic Mechanical Systems
• Reduction theory for these systems started by Jair Koiller!
• In general, symmetries need not lead to conservation laws;Momentum equation discovered by BKMM. This, togetherwith holonomy (geometric phases) plays a crucial role inlocomotion (eg, how snakes move).
13
![Page 29: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/29.jpg)
Nonholonomic Mechanical Systems
• Reduction theory for these systems started by Jair Koiller!
• In general, symmetries need not lead to conservation laws;Momentum equation discovered by BKMM. This, togetherwith holonomy (geometric phases) plays a crucial role inlocomotion (eg, how snakes move).
• The equations on the Hamiltonian side (assuming the La-grangian is regular) are governed by an almost Poissonstructure and, in a sense, by an almost symplectic struc-ture. In fact, the Jacobiator is measured by the curvatureof ∆.5
5Van der Schaft and Maschke, Bates and Sniatycki, Koon and JEM, Marle, ...13
![Page 30: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/30.jpg)
Nonholonomic Mechanical Systems
• Reduction theory for these systems started by Jair Koiller!
• In general, symmetries need not lead to conservation laws;Momentum equation discovered by BKMM. This, togetherwith holonomy (geometric phases) plays a crucial role inlocomotion (eg, how snakes move).
• The equations on the Hamiltonian side (assuming the La-grangian is regular) are governed by an almost Poissonstructure and, in a sense, by an almost symplectic struc-ture. In fact, the Jacobiator is measured by the curvatureof ∆.5
• Despite this, the system is described by a Dirac structure,as I will explain below.
5Van der Schaft and Maschke, Bates and Sniatycki, Koon and JEM, Marle, ...13
![Page 31: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/31.jpg)
Nonholonomic Mechanical Systems
• Despite the above, there is also an energy-momentummethod for stability (applies to the classical examples: rat-tleback, the unicycle, ... ); there is also a picture similarto the bundle picture above with a beautiful intrinsic geo-metric description.6
• Resulting equations: the Lagrange-d’Alembert-Poincareequations.
• (Not quite as bad as hemi-quasi-twisted-algebroids, ...)
• Circuits are typically not only nonholonomic (because ofthe Kirchhoff current laws), they are also often degenerate(giving primary constraints in the sense of Dirac).
6Obtained by Cendra, Marsden and Ratiu in 2001.14
![Page 32: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/32.jpg)
Variational methods are useful!• Shell collisions: thin shell models using multisymplectic
variational methods, AVI + subdivision + collision meth-ods (JEM, Ortiz, Cirac–West)
Shell collision
15
![Page 33: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/33.jpg)
A Question for you.• The Euler–Lagrange equations come from Hamilton’s prin-
ciple
• Hamilton’s equations come from Hamilton’s phase spacevariational principle
• The Euler-Poincare equations come from the Euler-Poincarevariational principle
16
![Page 34: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/34.jpg)
A Question for you.• The Euler–Lagrange equations come from Hamilton’s prin-
ciple
• Hamilton’s equations come from Hamilton’s phase spacevariational principle
• The Euler-Poincare equations come from the Euler-Poincarevariational principle
• Question: what is it for the Lie-Poisson equations? (I canmake the question harder and ask this for the Hamilton-Poincare equations or the Lagrange-Poincare equations).
16
![Page 35: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/35.jpg)
A Question for you.• The Euler–Lagrange equations come from Hamilton’s prin-
ciple
• Hamilton’s equations come from Hamilton’s phase spacevariational principle
• The Euler-Poincare equations come from the Euler-Poincarevariational principle
• Question: what is it for the Lie-Poisson equations? (I canmake the question harder and ask this for the Hamilton-Poincare equations or the Lagrange-Poincare equations).
• Euler-Poincare equations on g
ddtδlδv
= ad∗vδlδv,
16
![Page 36: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/36.jpg)
A Question for you.• Answer:7
δ∫ bal (v(t))dt = 0
for constrained variations of the form
δv(t) = η(t)+ [v(t), η(t)],where η(t) has fixed endpoints.
7See, for example, Mechanics and Symmetry by JEM and Ratiu.17
![Page 37: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/37.jpg)
A Question for you.• Answer:7
δ∫ bal (v(t))dt = 0
for constrained variations of the form
δv(t) = η(t)+ [v(t), η(t)],where η(t) has fixed endpoints.
•Method of proof: reduce Hamilton’s principle on TG
7See, for example, Mechanics and Symmetry by JEM and Ratiu.17
![Page 38: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/38.jpg)
A Question for you.• Back to our question: how are the Lie-Poisson equations
µ = ad∗δh/δµ µ
on g∗ variational?
18
![Page 39: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/39.jpg)
A Question for you.• Back to our question: how are the Lie-Poisson equations
µ = ad∗δh/δµ µ
on g∗ variational?
• Answer: A Pontryagin type principle:
δ∫ ba(〈µ(t), v(t)〉 − h(µ(t)))dt = 0
for variations of the form
δv(t) = η(t)+ [v(t), η(t)],where η(t) has fixed endpoints, but δµ are arbitrary.
18
![Page 40: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/40.jpg)
A Question for you.• Back to our question: how are the Lie-Poisson equations
µ = ad∗δh/δµ µ
on g∗ variational?
• Answer: A Pontryagin type principle:
δ∫ ba(〈µ(t), v(t)〉 − h(µ(t)))dt = 0
for variations of the form
δv(t) = η(t)+ [v(t), η(t)],where η(t) has fixed endpoints, but δµ are arbitrary.
• The Legendre transformation v = δh/δµ is part of thevariational principle! Neat! We will need this sort of thing.
•Method: reduce Hamilton’s phase space principle.18
![Page 41: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/41.jpg)
Implicit Hamiltonian Systems• Recall: a Dirac structure on a manifold R is: a subbundleD ⊂ TR × T∗R such that D = D⊥, where the perp is withrespect to the natural pairing
〈〈(u,α), (v, β)〉〉 = 〈β,u〉 + 〈α,v〉
19
![Page 42: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/42.jpg)
Implicit Hamiltonian Systems• Recall: a Dirac structure on a manifold R is: a subbundleD ⊂ TR × T∗R such that D = D⊥, where the perp is withrespect to the natural pairing
〈〈(u,α), (v, β)〉〉 = 〈β,u〉 + 〈α,v〉• Standard examples: graph of an (almost) symplectic or
(almost) Poisson structure. [Not enough for nonholonomicsystems—one needs to put in the constraints].
19
![Page 43: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/43.jpg)
Implicit Hamiltonian Systems• Recall: a Dirac structure on a manifold R is: a subbundleD ⊂ TR × T∗R such that D = D⊥, where the perp is withrespect to the natural pairing
〈〈(u,α), (v, β)〉〉 = 〈β,u〉 + 〈α,v〉• Standard examples: graph of an (almost) symplectic or
(almost) Poisson structure. [Not enough for nonholonomicsystems—one needs to put in the constraints].
• For a symplectic or Poisson manifold, a Hamiltonian vec-tor field XH on R associated to a function H satisfies
(X,dH) ∈ Dat each point of R. For good reason, Van der Schaft callsthese things implicit Hamiltonian systems; they are animportant part of his theory of “interconnected” and “portcontrolled” systems.
19
![Page 44: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/44.jpg)
The Big Diagram• Before defining an implicit Lagrangian system, we will
need some more terminology and a “big diagram”.8
• Namely, we need two natural diffeomorphisms; first thereis the diffeomorphism
TT∗Q → T∗T∗Q
associated with the canonical symplectic form on T∗Q.
• Second, there is the natural diffeomorphism between
TT∗Q → T∗TQ
given in coordinates by (q,p, δq, δp) (q, δq, δp,p) anddetermined intrinsically by the commutativity of the fol-lowing “big diagram”.
8Some parts of this picture are due to Tulczyjew; the full diagram was formulated by Cendra, JMand Ratiu.
20
![Page 45: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/45.jpg)
The Big Diagram
TT ∗QΩb κQ
T ∗T ∗Q T ∗TQ
π2 τT∗Q TπQ π1
i3
i2i1
πT∗Q πTQ
T ∗Q TQ ⊕ T ∗Q TQpr2 pr1
πQ pr3 τQ
Q
Pontryagin Space
21
![Page 46: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/46.jpg)
Implicit Lagrangian Systems• Let D ⊂ TT∗Q × T∗T∗Q be a given Dirac structure onT∗Q. Let L : TQ → R be a given Lagrangian and let
DL ∈ T∗T∗Qbe dL ∈ T∗TQ transferred over to T∗T∗Q by the canoni-cal diffeomorphisms.
22
![Page 47: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/47.jpg)
Implicit Lagrangian Systems• Let D ⊂ TT∗Q × T∗T∗Q be a given Dirac structure onT∗Q. Let L : TQ → R be a given Lagrangian and let
DL ∈ T∗T∗Qbe dL ∈ T∗TQ transferred over to T∗T∗Q by the canoni-cal diffeomorphisms.
• An implicit Lagrangian system relative to the given Diracstructure D is a vector field X on T∗Q satisfying
(X,DL) ∈ Dat each point of T∗Q.
22
![Page 48: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/48.jpg)
Standard Lagrangian Systems• Hamilton’s principle may be rewritten so that it fits very
well with the above definition.
•Write Hamilton’s principle this way:
0 = δ∫ baL(q(t) q(t)) dt
=∫ ba
(∂L∂qδq + ∂L
∂qδq)dt
=∫ ba
(p δq − p δq + ∂L
∂qδq + ∂L
∂qδq)dt
=∫ ba
(−p δq − pδq + ∂L
∂qδq + ∂L
∂qδq)dt + pδq
∣∣∣∣ba
= −∫ ba
(p − ∂L
∂q
)δq +
(p − ∂L
∂q
)δqdt + pδq
∣∣∣∣ba.
23
![Page 49: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/49.jpg)
Comments• This derivation can be given entirely intrinsically using
objects in the big diagram.
24
![Page 50: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/50.jpg)
Comments• This derivation can be given entirely intrinsically using
objects in the big diagram.
• Notice that the final equations include the Legendre trans-formation p = ∂L/∂q as part of the equations. The bound-ary term, as is (now) standard, gives the canonical one-form.
24
![Page 51: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/51.jpg)
Comments• This derivation can be given entirely intrinsically using
objects in the big diagram.
• Notice that the final equations include the Legendre trans-formation p = ∂L/∂q as part of the equations. The bound-ary term, as is (now) standard, gives the canonical one-form.
• The equations (where X(q,p) = (q,p, q, p)) written thisway are exactly the Dirac structure equations, namely,(X,DL) ∈ D, including the Legendre transform and alsothe correct identification of q.
24
![Page 52: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/52.jpg)
Nonholonomic Example• Now we are ready to state the nonholonomic equations in
terms of Dirac structures.
• Given the constraint distribution ∆ ⊂ TQ, we will nowdefine an associated Dirac structure D∆ on T∗Q.
• It will save time if we define D∆ when Q = V , a vectorspace. Then at each point q ∈ V , ∆ ⊂ V and
D∆ ⊂ TT∗Q× T∗T∗Qbecomes, at each fiber point (q,p) ∈ V × V∗,
D∆ ⊂ (V × V∗)× (V∗ × V)Let
D∆ =(v, β), (γ,−v) | v ∈ ∆, γ − β ∈ ∆o
where ∆o ⊂ V∗ is the polar of ∆.
25
![Page 53: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/53.jpg)
Nonholonomic Example• It is easy to check that D∆ is a Dirac structure.
26
![Page 54: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/54.jpg)
Nonholonomic Example• It is easy to check that D∆ is a Dirac structure.
• Then we have
Theorem. The statement that (X,DL) ∈ D∆ is equivalent to theLagrange-d’Alembert equations, including the dynamic equations,the condition q ∈ ∆, and the constraints.
26
![Page 55: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/55.jpg)
Nonholonomic Example• It is easy to check that D∆ is a Dirac structure.
• Then we have
Theorem. The statement that (X,DL) ∈ D∆ is equivalent to theLagrange-d’Alembert equations, including the dynamic equations,the condition q ∈ ∆, and the constraints.
• Of course this is also directly tied to the Lagrange-d’Al-embert variational structure of the equations.
26
![Page 56: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/56.jpg)
Concluding Remarks• You are seeing the tip of a big iceberg. Much is left to
uncover.
27
![Page 57: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/57.jpg)
Concluding Remarks• You are seeing the tip of a big iceberg. Much is left to
uncover.
• Conjectures are easy to make: Reduction of Dirac struc-tures should produce, for instance, a Dirac structure forthe Lagrange-d’Alembert-Poincare equations as a specialcase; that is, Lagrange-d’Alembert reduction should beconsistent with Dirac reduction. Ditto for the Lie-Poissonvariational principle described in the “question to you”. Ametaprinciple emerges.
27
![Page 58: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/58.jpg)
Concluding Remarks• You are seeing the tip of a big iceberg. Much is left to
uncover.
• Conjectures are easy to make: Reduction of Dirac struc-tures should produce, for instance, a Dirac structure forthe Lagrange-d’Alembert-Poincare equations as a specialcase; that is, Lagrange-d’Alembert reduction should beconsistent with Dirac reduction. Ditto for the Lie-Poissonvariational principle described in the “question to you”. Ametaprinciple emerges.
• In particular, the reduction of the standard Dirac structureon T∗Q is not the standard Dirac structure on g∗, butrather should be one on g×g∗ associated with the reduced“Pontryagin” space.
27
![Page 59: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/59.jpg)
Concluding Remarks• In doing PDE, relativistic field theories or even quantum
mechanics, multisymplectic and multipoisson structuresare the way to do. What is a multi-Dirac structure? (Thinkof a rolling ball of jello, or squishy tires on a road to mo-tivate nonholonomic PDE’s).
28
![Page 60: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/60.jpg)
Concluding Remarks• In doing PDE, relativistic field theories or even quantum
mechanics, multisymplectic and multipoisson structuresare the way to do. What is a multi-Dirac structure? (Thinkof a rolling ball of jello, or squishy tires on a road to mo-tivate nonholonomic PDE’s).
• The Lagrangian perspective on circuits provide a beautifulset of examples and show how Dirac structures can handlesituations that are of the sort considered by Dirac.
28
![Page 61: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/61.jpg)
Concluding Remarks• In doing PDE, relativistic field theories or even quantum
mechanics, multisymplectic and multipoisson structuresare the way to do. What is a multi-Dirac structure? (Thinkof a rolling ball of jello, or squishy tires on a road to mo-tivate nonholonomic PDE’s).
• The Lagrangian perspective on circuits provide a beautifulset of examples and show how Dirac structures can handlesituations that are of the sort considered by Dirac.
• Hopefully Dirac himself would be pleased with all this.
28
![Page 62: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/62.jpg)
Concluding Remarks• In doing PDE, relativistic field theories or even quantum
mechanics, multisymplectic and multipoisson structuresare the way to do. What is a multi-Dirac structure? (Thinkof a rolling ball of jello, or squishy tires on a road to mo-tivate nonholonomic PDE’s).
• The Lagrangian perspective on circuits provide a beautifulset of examples and show how Dirac structures can handlesituations that are of the sort considered by Dirac.
• Hopefully Dirac himself would be pleased with all this.
Go to my home page for free templates for making TeX slides likethese ones. Click on “Marslides”.
28
![Page 63: [J.E.Marsden] Variational Principles, Dirac Structures, And Reduction](https://reader033.fdocuments.net/reader033/viewer/2022052522/5528d90655034684588b4916/html5/thumbnails/63.jpg)
The End
TYPESETTING SOFTWARE: TEX, Textures, LATEX, hyperref, texpower, Adobe Acrobat 4.05GRAPHICS SOFTWARE: Adobe Illustrator 10.0.1LATEX SLIDE MACRO PACKAGES: Wendy McKay, Ross Moore