> In Lagrangian Mechanics you minimize the total action of a system to find its motion
Strictly, realizable paths are an extremum (maximum, minimum, or inflection point) of the action.
> it’s representation invariant
This form of representation invariance is true in Newtonian and Hamiltonian mechanics as well. It's a statement that physics is invariant under changes of coordinates. I think a better way of stating what you're after is that you work with a function of the whole state of the system rather than having to do the double entry bookkeeping for all the interactions among subsystems of what you're modeling.
> Studying the “shapes” of systems in this manner is part of larger field called Topology.
The geometry of configuration space (for Lagrangian mechanics) or phase space (for Hamiltonian mechanics) isn't really part of topology. For phase space, it's properly called symplectic geometry. For configuration spaces, it's just high dimensional Euclidean geometry. It is sometimes interesting to look at the topology of these spaces, but it's much more than just topology.
I'm glad to see a mention of SICM. That really is a great book. It might be worth pointing out that the field of mathematics that leads to the Euler-Lagrange equations goes under the name of "calculus of variations." I learned it from Weinstock's excellent old book by the same name.
Maybe also worth noting that you can't add non-conservative forces to Lagrangian mechanics in any generally accepted way, so if you have friction in your system, you're stuck in Newtonian.
> Strictly, realizable paths are an extremum (maximum, minimum, or inflection point) of the action.
At a realizable path, the action can be a local minimum or a saddle point but it's never a local maximum.
Tangentially, while "principle of least action" is a misnomer, it's not too severe of a misnomer, because realizable paths always minimize the action on a short enough time scale.
Also, a simple example of the action being a saddle point: a moving object constrained to the surface of a sphere, with no potential, which will move around a great circle.
The article claims "In Lagrangian Mechanics you minimize the total energy of a system to find its motion". But if you actually look into it, you derive Lagrangian Mechanics by minimizing (or maximizing) the _action_. Action in this context is defined as the integral over the Lagrangian, or in other words the _difference_ between kinetic and potential energies (not their sums). The author knows that because later he states "All physical processes take the path that minimizes total action." and gives the corresponding mathematical expressions.
Also the statement about the Lagrangian being representation independent is misleading. The formalism stays the same and this is great for picking "suitable" coordinates that makes solving the system easier, but how the Lagrangian looks and how the equations of motion for the coordinates look can be quite different. This is actually what makes Lagrangian mechanics so powerful. You can transform coordinates (possibly several times) to get the Lagrangian into a simple shape and get equations of motions you can actually solve. You have transformed some of the difficulty of solving differential equations into the difficulty of finding natural coordinates, something humans tend to be better at.
The point that the multipliers \lambda_i that appear when modeling constraints should be names "Lagrange multipliers" has already been raised.
That is at best a convention. You can multiply the Lagrangian by -1, without changing the equations of motion or the resulting trajectories. So physically nothing changes, but maxima and minima swap.
You need a convex Lagrangian for the Legendre transform to work so I think it's more than a convention. Of course you could redefine the Legendre transform to work for concave functions instead of convex functions but in either case you'll want the convexity or concavity of Lagrangians to be uniform.
I'm not sure what the author's target audience is, but:
> But we know from high school physics that a = v' = p''
It would be exceedingly rare to see "p" used as the position variable in high school physics - it's almost exclusively reserved for momentum.
Most high school students do 1D physics with position as "x". Those who go on to study more physics usually use "s" as their displacement function/vector and maybe "r" as a position vector.
(Also, the overwhelming majority of high school physics students never touch calculus-based physics -- only about 50-60 thousand students take the AP Physics C exam each year. 5 times that take AP Physics 1, and even more take non-AP Physics.)
That's really helpful, I'll think about how to reword this. We covered calculus physics in Lebanon which uses the French Baccalaureate program so was making some non global assumptions.
Speaking as someone who came from a less-than-stellar high school, referring to concepts as being "from high school X" can be pretty demoralizing to hear, and it's almost never necessary to mention. Consider using "introductory" instead, unless your audience is explicitly only people who went to advanced high schools.
In case you want to know more about the constraints, the search term is Lagrange multiplier.
Names shouldn't be omitted because they are essential to searching for details. A name might make sense once you know it but you can not really derive it. If you do not know it, you are lost.
Offtopic: I saw your technical book posting - if the leaning book shelf turns out to be a problem, maybe stabilize its shape by pulling two wires diagonally at the back?
Nice write up, truly after my own heart! Part of my research had to do with using Lagrange's method of multipliers to design B-spline geometry via solution of constrained nonlinear optimization problems, where we had these bending energy measures included to smooth the resulting curves and surfaces. I realized in the course of things that the functional I was minimizing had this parallel with Physics. The answer to so much is at the minimum! Nice to see somebody with the same train of thought put it to print!
Annd... From the perspective a freshly minted PhD, who was always in a terrible fright before giving a talk, I look at the critiques in the following way: It's hard to put yourself out there about such a topic, knowing at the same time such awe at the beautiful, towering edifice of mathematical theory, experiment, and geometry that makes up physics. But the critiques help refine one's thinking, and are always to be welcomed. Good on them for pointing out the places where things need to be sharpened a bit. At the same time, I love the big picture. That's what keeps me coming back.
That's the viewpoint where there are such similar structures and relationships between the way we solve problems in far flung fields. One can leverage what one has learned in one field to get a head start, (or at least a toe-hold!) learning another. Cheers.
I don't know if this is a good analogy, but as an Electrical Engineer, the process of simplifying the analysis by going from Newtonian to Lagrangian gave me flashbacks from the first time we used Laplace transforms to solve (previously very, very tedious) circuit analysis problems. Almost felt like cheating.
Fantastic article but... “ The implementation here is in LISP which is a great language to learn but in my experience a tough language to use on larger projects.”
I was very careful to qualify it with "my experience" :P. I have loads of armchair knowledge about LISP but was never able to commit to a larger project.
Probably just an unhealthy obsession with it at one point in my life. But I do think there have been some pretty major projects built with it when it was in its heyday a few decades ago. It’s definitely not just an academic toy.
Regarding SICM, Sussman et al. point out that the traditional notation for differential calculus contains "type errors". In particular they point this out regarding the Euler-Lagrange equations. And they then make the point that their "functional" notation (based on Spivak Calculus on Manifolds) is free of these type errors.
Obviously Sussman has a special relationship to Scheme, but I am curious whether it would have been beneficial for the code implementation (scmutils) to have used a statically typed language.
Do you (formalsystem or anyone else) know whether the Julia implementation makes much use of typing? I don't know Julia but from a few seconds googling it sounds like it's also not statically typed. I do wonder whether something like Haskell wouldn't make most sense for reimplementing scmutils -- you'd be able to make a lot of the pedagogical issues clear at compile time, in the type language alone (disregarding the actual implementation of the functions in the term language).
Julia is the first language I've worked with that really tries to eliminate all abstractions between math formulas and code AND keep things efficient. LISP and Haskell also have great looking numeric code but I have a hard time figuring out what's efficient and what isn't.
> In Lagrangian Mechanics you minimize the total action of a system to find its motion
Strictly, realizable paths are an extremum (maximum, minimum, or inflection point) of the action.
> it’s representation invariant
This form of representation invariance is true in Newtonian and Hamiltonian mechanics as well. It's a statement that physics is invariant under changes of coordinates. I think a better way of stating what you're after is that you work with a function of the whole state of the system rather than having to do the double entry bookkeeping for all the interactions among subsystems of what you're modeling.
> Studying the “shapes” of systems in this manner is part of larger field called Topology.
The geometry of configuration space (for Lagrangian mechanics) or phase space (for Hamiltonian mechanics) isn't really part of topology. For phase space, it's properly called symplectic geometry. For configuration spaces, it's just high dimensional Euclidean geometry. It is sometimes interesting to look at the topology of these spaces, but it's much more than just topology.
I'm glad to see a mention of SICM. That really is a great book. It might be worth pointing out that the field of mathematics that leads to the Euler-Lagrange equations goes under the name of "calculus of variations." I learned it from Weinstock's excellent old book by the same name.
Maybe also worth noting that you can't add non-conservative forces to Lagrangian mechanics in any generally accepted way, so if you have friction in your system, you're stuck in Newtonian.