Dirac Lagrangian Updated +Created
where:
Remember that is a 4-vetor, gamma matrices are 4x4 matrices, so the whole thing comes down to a dot product of two 4-vectors, with a modified by matrix multiplication/derivatives, and the result is a scalar, as expected for a Lagrangian.
Like any other Lagrangian, you can then recover the Dirac equation, which is the corresponding equations of motion, by applying the Euler-Lagrange equation to the Lagrangian.
Equations of motion Updated +Created
These are the final equations that you derive from the Lagrangian via the Euler-Lagrange equation which specify how the system evolves with time.
Generalized coordinate Updated +Created
The variables of the Lagrangian, e.g. the angles of a double pendulum. From that example it is clear that these variables don't need to be simple things like cartesian coordinates or polar coordinates (although these tend to be the overwhelming majority of simple case encountered): any way to describe the system is perfectly valid.
In quantum field theory, those variables are actually fields.
Internal and spacetime symmetries Updated +Created
The different only shows up for field, not with particles. For fields, there are two types of changes that we can make that can keep the Lagrangian unchanged as mentioned at Physics from Symmetry by Jakob Schwichtenberg (2015) chapter "4.5.2 Noether's Theorem for Field Theories - Spacetime":
From the spacetime theory alone, we can derive the Lagrangian for the free theories for each spin:Then the internal symmetries are what add the interaction part of the Lagrangian, which then completes the Standard Model Lagrangian.
Lagrangian density Updated +Created
When we particles particles, the action is obtained by integrating the Lagrangian over time:
In the case of field however, we can expand the Lagrangian out further, to also integrate over the space coordinates and their derivatives.
Since we are now working with something that gets integrated over space to obtain the total action, much like density would be integrated over space to obtain a total mass, the name "Lagrangian density" is fitting.
E.g. for a 2-dimensional field :
Of course, if we were to write it like that all the time we would go mad, so we can just write a much more condensed vectorized version using the gradient with :
And in the context of special relativity, people condense that even further by adding to the spacetime Four-vector as well, so you don't even need to write that separate pesky .
The main point of talking about the Lagrangian density instead of a Lagrangian for fields is likely that it treats space and time in a more uniform way, which is a basic requirement of special relativity: we have to be able to mix them up somehow to do Lorentz transformations. Notably, this is a key ingredient in a/the formulation of quantum field theory.
Lagrangian mechanics Updated +Created
Originally it was likely created to study constrained mechanical systems where you want to use some "custom convenient" variables to parametrize things instead of global x, y, z. Classical examples that you must have in mind include:
When doing lagrangian mechanics, we just lump together all generalized coordinates into a single vector that maps time to the full state:
where each component can be anything, either the x/y/z coordinates relative to the ground of different particles, or angles, or nay other crazy thing we want.
The Lagrangian is a function that maps:
to a real number.
Then, the stationary action principle says that the actual path taken obeys the Euler-Lagrange equation:
This produces a system of partial differential equations with:
  • equations
  • unknown functions
  • at most second order derivatives of . Those appear because of the chain rule on the second term.
The mixture of so many derivatives is a bit mind mending, so we can clarify them a bit further. At:
the is just identifying which argument of the Lagrangian we are differentiating by: the i-th according to the order of our definition of the Lagrangian. It is not the actual function, just a mnemonic.
Then at:
  • the part is just like the previous term, just identifies the argument with index ( because we have the non derivative arguments)
  • after the partial derivative is taken and returns a new function , then the multivariable chain rule comes in and expands everything into terms
However, people later noticed that the Lagrangian had some nice properties related to Lie group continuous symmetries.
Basically it seems that the easiest way to come up with new quantum field theory models is to first find the Lagrangian, and then derive the equations of motion from them.
For every continuous symmetry in the system (modelled by a Lie group), there is a corresponding conservation law: local symmetries of the Lagrangian imply conserved currents.
Genius: Richard Feynman and Modern Physics by James Gleick (1994) chapter "The Best Path" mentions that Richard Feynman didn't like the Lagrangian mechanics approach when he started university at MIT, because he felt it was too magical. The reason is that the Lagrangian approach basically starts from the principle that "nature minimizes the action across time globally". This implies that things that will happen in the future are also taken into consideration when deciding what has to happen before them! Much like the lifeguard in the lifegard problem making global decisions about the future. However, chapter "Least Action in Quantum Mechanics" comments that Feynman later notice that this was indeed necessary while developping Wheeler-Feynman absorber theory into quantum electrodynamics, because they felt that it would make more sense to consider things that way while playing with ideas such as positrons are electrons travelling back in time. This is in contrast with Hamiltonian mechanics, where the idea of time moving foward is more directly present, e.g. as in the Schrödinger equation.
Furthermore, given the symmetry, we can calculate the derived conservation law, and vice versa.
And partly due to the above observations, it was noticed that the easiest way to describe the fundamental laws of particle physics and make calculations with them is to first formulate their Lagrangian somehow: why do symmetries such as SU(3), SU(2) and U(1) matter in particle physics?s.
Bibliography:
Video 1.
Euler-Lagrange equation explained intuitively - Lagrangian Mechanics by Physics Videos by Eugene Khutoryansky (2018)
Source. Well, unsurprisingly, it is exactly what you can expect from an Eugene Khutoryansky video.
Legendre transformation Updated +Created
This is how you transform the Lagrangian into the Hamiltonian.
Manifold Updated +Created
We map each point and a small enough neighbourhood of it to , so we can talk about the manifold points in terms of coordinates.
Does not require any further structure besides a consistent topological map. Notably, does not require metric nor an addition operation to make a vector space.
Manifolds are cool. Especially differentiable manifolds which we can do calculus on.
A notable example of a Non-Euclidean geometry manifold is the space of generalized coordinates of a Lagrangian. For example, in a problem such as the double pendulum, some of those generalized coordinates could be angles, which wrap around and thus are not euclidean.
Noether's theorem Updated +Created
For every continuous symmetry in the system (Lie group), there is a corresponding conservation law.
Furthermore, given the symmetry, we can calculate the derived conservation law, and vice versa.
As mentioned at buzzard.ups.edu/courses/2017spring/projects/schumann-lie-group-ups-434-2017.pdf, what the symmetry (Lie group) acts on (obviously?!) are the Lagrangian generalized coordinates. And from that, we immediately guess that manifolds are going to be important, because the generalized variables of the Lagrangian can trivially be Non-Euclidean geometry, e.g. the pendulum lives on an infinite cylinder.
Video 1.
The most beautiful idea in physics - Noether's Theorem by Looking Glass Universe (2015)
Source. One sentence stands out: the generated quantities are called the generators of the transforms.
Video 2.
The Biggest Ideas in the Universe | 15. Gauge Theory by Sean Carroll (2020)
Source. This attempts a one hour hand wave explanation of it. It is a noble attempt and gives some key ideas, but it falls a bit short of Ciro's desires (as would anything that fit into one hour?)
Video 3.
The Symmetries of the universe by ScienceClic English (2021)
Source. youtu.be/hF_uHfSoOGA?t=144 explains intuitively why symmetry implies consevation!
Quantum electrodynamics Lagrangian Updated +Created
where:
Note that this is the sum of the:
  • Dirac Lagrangian, which only describes the "inertia of bodies" part of the equation
  • the electromagnetic interaction term , which describes term describes forces
Note that the relationship between and is not explicit. However, if we knew what type of particle we were talking about, e.g. electron, then the knowledge of psi would also give the charge distribution and therefore
As mentioned at the beginning of Quantum Field Theory lecture notes by David Tong (2007):
Video 1.
Particle Physics is Founded on This Principle! by Physics with Elliot (2022)
Source.
Quantum field theory Updated +Created
Theoretical framework on which quantum field theories are based, theories based on framework include:so basically the entire Standard Model
The basic idea is that there is a field for each particle particle type.
And then those fields interact with some Lagrangian.
One way to look at QFT is to split it into two parts:
Then interwined with those two is the part "OK, how to solve the equations, if they are solvable at all", which is an open problem: Yang-Mills existence and mass gap.
There appear to be two main equivalent formulations of quantum field theory:
Video 1.
Quantum Field Theory visualized by ScienceClic English (2020)
Source. Gives one piece of possibly OK intuition: quantum theories kind of model all possible evolutions of the system at the same time, but with different probabilities. QFT is no different in that aspect.
Video 2.
Quantum Fields: The Real Building Blocks of the Universe by David Tong (2017)
Source. Boring, does not give anything except the usual blabla everyone knows from Googling:
Video 3.
Quantum Field Theory: What is a particle? by Physics Explained (2021)
Source. Gives some high level analogies between high level principles of non-relativistic quantum mechanics and special relativity in to suggest that there is a minimum quanta of a relativistic quantum field.
Lecture 1 Updated +Created
Bibliography review:
Course outline given:
Non-relativistic QFT is a limit of relativistic QFT, and can be used to describe for example condensed matter physics systems at very low temperature. But it is still very hard to make accurate measurements even in those experiments.
Defines "relativistic" as: "the Lagrangian is symmetric under the Poincaré group".
Mentions that "QFT is hard" because (a finite list follows???):
There are no nontrivial finite-dimensional unitary representations of the Poincaré group.
But I guess that if you fully understand what that means precisely, QTF won't be too hard for you!
Notably, this is stark contrast with rotation symmetry groups (SO(3)) which appears in space rotations present in non-relativistic quantum mechanics.
Standard Model Lagrangian Updated +Created
Combination of other sub-Lagrangians for each of the forces, e.g.: