Math 2.0

Mechanics of particles and systems Lagrangian mechanics Problem

Inverse problem for Lagrangian mechanics

Builds on Lagrangian mechanicsEuler–Lagrange equationLagrange's equations of motion

Problem

Let n≥1n \ge 1, let W⊆ℝ×ℝn×ℝnW \subseteq \R \times \R^n \times \R^n be open, and let F ⁣:W→ℝnF \colon W \to \R^n be smooth. Consider the system of second-order ordinary differential equations q¨i=Fi(t,q,q˙),i=1,…,n.\ddot q_i = F_i(t, q, \dot q), \qquad i = 1, \ldots, n. Consider smooth functions L(t,q,q˙)L(t, q, \dot q) with det⁡(∂2L/∂q˙i∂q˙j)≠0\det \big( \partial^2 L / \partial \dot q_i \partial \dot q_j \big) \ne 0. Decide whether there is such an LL whose Euler–Lagrange equations ddt∂L∂q˙i−∂L∂qi=0,i=1,…,n,\frac{d}{dt} \frac{\partial L}{\partial \dot q_i} - \frac{\partial L}{\partial q_i} = 0, \qquad i = 1, \ldots, n, have exactly the same solutions as the given system. If so, describe all such LL.

Remarks

Equivalently, one asks for an invertible matrix of multipliers gij(t,q,q˙)g_{ij}(t, q, \dot q) such that ∑jgij(q¨j−Fj)\sum_j g_{ij} (\ddot q_j - F_j) is the Euler–Lagrange expression of some LL; then gij=∂2L/∂q˙i∂q˙jg_{ij} = \partial^2 L / \partial \dot q_i \partial \dot q_j. The conditions that such a matrix must satisfy are a system of partial differential equations known as the Helmholtz conditions. For n=1n = 1, every such equation has a Lagrangian locally. Jesse Douglas treated the case n=2n = 2 in 1941 and sorted the systems into classes according to whether a Lagrangian exists and how many there are. For n≥3n \ge 3 no complete answer is known. The answer is not unique when it exists. For n=1n = 1 and q¨=0\ddot q = 0, both L=12q˙2L = \frac{1}{2} \dot q^2 and L=eq˙L = e^{\dot q} work, since the Euler–Lagrange equation of eq˙e^{\dot q} is eq˙q¨=0e^{\dot q} \ddot q = 0, that is q¨=0\ddot q = 0.

Reading path

To understand this page from the ground up, read these 30 pages in order. The foundations come first.

Show the path as a graph
Derivative, concept, no evidence levelDerivativeconceptEuclidean space, object, no evidence levelEuclidean spaceobjectEuclidean vector, concept, no evidence levelEuclidean vectorconceptEuler–Lagrange equation, concept, no evidence levelEuler–Lagrange equati…conceptFunction, concept, no evidence levelFunctionconceptHolonomic constraint, concept, no evidence levelHolonomic constraintconceptLagrangian mechanics, concept, no evidence levelLagrangian mechanicsconceptMechanical equilibrium, concept, no evidence levelMechanical equilibriumconceptOrdinary differential equation, concept, no evidence levelOrdinary differential…conceptSmooth manifold, concept, no evidence levelSmooth manifoldconceptTotal derivative, concept, no evidence levelTotal derivativeconceptVelocity, concept, no evidence levelVelocityconceptFunction of several variables, concept, no evidence levelFunction of several v…conceptVector-valued function, concept, no evidence levelVector-valued functionconceptd'Alembert's principle, statement, no evidence leveld'Alembert's principlestatementClassical mechanics, concept, no evidence levelClassical mechanicsconceptConfiguration space, concept, no evidence levelConfiguration spaceconceptDifferentiable function of several variables, concept, no evidence levelDifferentiable functi…conceptPartial derivative, concept, no evidence levelPartial derivativeconceptVector field, concept, no evidence levelVector fieldconceptKinetic energy, concept, no evidence levelKinetic energyconceptGeneralized coordinates, concept, no evidence levelGeneralized coordinat…conceptGradient, concept, no evidence levelGradientconceptGeneralized force, concept, no evidence levelGeneralized forceconceptScalar potential, concept, no evidence levelScalar potentialconceptPrinciple of virtual work, statement, no evidence levelPrinciple of virtual …statementConservative vector field, concept, no evidence levelConservative vector f…conceptPotential energy, concept, no evidence levelPotential energyconceptLagrange's equations of motion, statement, no evidence levelLagrange's equations …statementInverse problem for Lagrangian mechanics, problem, no evidence levelInverse problem for L…problem
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Derivative concept
  2. Euclidean space object
  3. Euclidean vector concept
  4. Euler–Lagrange equation concept
  5. Function concept
  6. Holonomic constraint concept
  7. Lagrangian mechanics concept
  8. Mechanical equilibrium concept
  9. Ordinary differential equation concept
  10. Smooth manifold concept
  11. Total derivative concept
  12. Velocity concept
  13. Function of several variables concept
  14. Vector-valued function concept
  15. d'Alembert's principle statement
  16. Classical mechanics concept
  17. Configuration space concept
  18. Differentiable function of several variables concept
  19. Partial derivative concept
  20. Vector field concept
  21. Kinetic energy concept
  22. Generalized coordinates concept
  23. Gradient concept
  24. Generalized force concept
  25. Scalar potential concept
  26. Principle of virtual work statement
  27. Conservative vector field concept
  28. Potential energy concept
  29. Lagrange's equations of motion statement
  30. Inverse problem for Lagrangian mechanics problem

Further reading

  1. Web https://en.wikipedia.org/wiki/Inverse_problem_for_Lagrangian_mechanics
About this page
TagHX5FJ0ZJXP
URIm2://HX5FJ0ZJXP
Kindproblem
WritingW0 stub
MSC70H03, 70F17, 49N45
StatusThis copy of the site has no build data. Run m2 status HX5FJ0ZJXP.
AboutLagrangian mechanics
UsesLagrangian mechanics, Euler–Lagrange equation, Lagrange's equations of motion
Same as
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.