Good reference for globally formulated calculus of variations on Riemannian manifolds? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T04:56:53Z http://mathoverflow.net/feeds/question/81975 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/81975/good-reference-for-globally-formulated-calculus-of-variations-on-riemannian-manif Good reference for globally formulated calculus of variations on Riemannian manifolds? Victor Dods 2011-11-27T00:04:09Z 2012-01-08T11:58:42Z <p>I have been working on a formulation of the calculus of variations on Riemannian manifolds, formulated globally using [pullback] vector bundles and tensor bundles and their induced covariant derivatives (specifically regarding maps of type $ \phi\colon M\to S $ between Riemannian manifolds $ \left(M,g\right) $ and $ \left(S,h\right) $, where $ M $ may be required to be compact, and the relevant energy functionals are action functionals having Lagrangian depending on $ T\phi\in\Gamma\left(\phi^* TS\otimes T^{*}M\right) $ and covariant derivatives of $ T\phi $). </p> <p>Of all the non-elementary references I've found, the exposition is restricted to the energy functional whose critical points are harmonic maps. I am in the process of finding all the relevant papers by James Eells, as was suggested to me by Arthur Fischer, though the papers I've found so far deal exclusively with the harmonic map case. The monograph “Variational Problems In Geometry” by Seiki Nishikawa covers a lot of relevant material, but is mainly based on local coordinate calculations, and also only addresses the harmonic map case. I have found other relevant papers and textbooks along the same lines.</p> <p><em>My question is: What are the best references for this type of calculus of variations?</em> I wish to know what has been already published regarding global formulation using vector bundles with covariant derivatives/linear Ehresmann connections (geared mainly towards calculating the first and second variations), so that I may tie my work in with known results and identify particular areas that could be expanded/improved upon.</p> <p>For reference, the texts/papers I've so far found relevant to or inspiring my work include: Marden and Hughes “Mathematical Foundations of Elasticity”, Jeff M Lee “Manifolds and Differential Geometry”, Yuanlong Xin “Geometry of Harmonic Maps”, David Bleecker “Gauge Theory and Variational Principles”, Richard Palais “Foundations of Global Nonlinear Analysis”.</p> http://mathoverflow.net/questions/81975/good-reference-for-globally-formulated-calculus-of-variations-on-riemannian-manif/84583#84583 Answer by Jose Navarro for Good reference for globally formulated calculus of variations on Riemannian manifolds? Jose Navarro 2011-12-30T10:49:23Z 2011-12-30T11:17:07Z <p>Anderson's <a href="http://math.uni.lu/~michel/data/VARIATIONNAL%2520BICOMPLEX.pdf" rel="nofollow">book</a> should also be my recomendation. Although it is not finished (and there are some minor mistakes in it), it covers many different topics, and collects many results (and bibliography) that are hard to find elsewhere.</p> <p>As for the Czech school, there is Krupka's review <em>Global variational theory in fibred spaces</em>, (2010), and Krupkova's <em>Variational Equations on Manifolds</em> (2009), which include a complete list of references inside.</p> <p>Another interesting reference is the section devoted to variational caluclus in <a href="http://www.ift.unesp.br/users/ra/" rel="nofollow">Aldrovandi</a>'s book <em>An introduction to geometrical physics</em>. </p> http://mathoverflow.net/questions/81975/good-reference-for-globally-formulated-calculus-of-variations-on-riemannian-manif/85183#85183 Answer by Liviu Nicolaescu for Good reference for globally formulated calculus of variations on Riemannian manifolds? Liviu Nicolaescu 2012-01-08T11:58:42Z 2012-01-08T11:58:42Z <p>Under certain nondegeneracy conditions, a Lagrangian $L$ on a manifold $M$, i.e., a function on the total space $TM$ of the tangent bundle of $M$ defines a diffeomorphism </p> <p>$$\Psi_L: TM\to T^*M$$</p> <p>known as <em>Legendre transform determined by $L$</em>. The cotangent bundle is a equipped with a natural symplectic structure. The lagrangian $L$ induces via $\Psi_L$ a function $H$ on $T^*M$, the Hamiltonian of the variational problem and via $\Psi_L$, the extremal curves of the variational problem correspond to curves on $T^*M$ which are integral curves of the symplectic gradient of $H$. This is as invariant a description of ($1$-dimensional) variational calculus as it gets.</p> <p>When is the Legendre transform well defined? For example, when the restriction of $L$ to any tangent space is strictly convex. This happens for the lagrangians arising in classical mechanics, or the Lagrangians in Finsler geometry.</p> <p>For multi-dimensional variational calculus, things are more complicated and personally I find it more productive to deal with each individual variational problem separately.</p>