Basically the same as classical mechanics.

The idea tha taking the limit of the non-classical theories for certain parameters (relativity and quantum mechanics) should lead to the classical theory.

It appears that classical limit is only very strict for relativity. For quantum mechanics it is much more hand-wavy thing. See also: Subtle is the Lord by Abraham Pais (1982) page 55.

Basically the same as classical limit, but more for quantum mechanics.

Boooooring. Except for Navier-Stokes existence and smoothness. That's OK.

See also: existence and uniqueness of solutions of partial differential equations.

On December 19, 2025 a bet was revealed between two DeepMind guys that one of them would have a Lean proof to the problem:

As mentioned on the Wikipedia page en.wikipedia.org/w/index.php?title=Stationary_Action_Principle&oldid=1020413171, "principle of least action" is not accurate since it could not necessarily be a minima, we could just be in a saddle-point.

In the context of abstract algebra, the term "derivative algebra" often does not refer to a specific well-established area like group theory or ring theory, but it may relate to a couple of concepts in algebra associated with derivatives. One such area is the study of derivations in algebraic structures, particularly in the context of rings. ### Derivations in Algebras 1.

The Fox derivative is a mathematical concept related to fractional calculus and special functions. It generalizes the notion of derivatives to fractional orders, allowing for the differentiation of functions with non-integer orders. This concept is often used in areas such as signal processing, control theory, and other applied mathematics fields. In essence, the Fox derivative is defined using the framework of the Fox H-function, which is a general class of functions that encompasses many special functions used in mathematics and applied sciences.

Linear topology, also referred to as a **linear order topology** or **order topology**, is a concept in topology that arises from the properties of linearly ordered sets. The primary idea is to define a topology on a linearly ordered set that reflects its order structure.

Calculus of variations is the field that searches for maxima and minima of Functionals, rather than the more elementary case of functions from $\mathbb{R}$ to $\mathbb{R}$.

Let's start with the one dimensional case. Let the $q:\mathbb{R}\to \mathbb{R}$ and a Functional $I$ defined by a function of three variables $F:{\mathbb{R}}^3\to \mathbb{R}$:

Then, the Euler-Lagrange equation gives the maxima and minima of the that type of functional. Note that this type of functional is just one very specific type of functional amongst all possible functionals that one might come up with. However, it turns out to be enough to do most of physics, so we are happy with with it.

Given $F$, the Euler-Lagrange equations are a system of ordinary differential equations constructed from that $F$ such that the solutions to that system are the maxima/minima.

In the one dimensional case, the system has a single ordinary differential equation:

By $\frac{\partial F}{\partial q}$ and $\frac{\partial F}{\partial \dot{q}}$ we simply mean "the partial derivative of $F$ with respect to its second and third arguments". The notation is a bit confusing at first, but that's all it means.

Therefore, that expression ends up being at most a second order ordinary differential equation where $q$ is the unknown, since:

Now let's think about the multi-dimensional case. Instead of having $q:\mathbb{R}\to \mathbb{R}$, we now have $q:\mathbb{R}\to {\mathbb{R}}^n$. Think about the Lagrangian mechanics motivation of a double pendulum where for a given time we have two angles.

Let's do the 2-dimensional case then. In that case, $F$ is going to be a function of 5 variables $F:{\mathbb{R}}^5\to \mathbb{R}$ rather than 3 as in the one dimensional case, and the functional looks like:

This time, the Euler-Lagrange equations are going to be a system of two ordinary differential equations on two unknown functions $q_1$ and $q_2$ of order up to 2 in both variables:At this point, notation is getting a bit clunky, so people will often condense the $q_i$ vectoror just omit the arguments of $F$ entirely:

These are the final equations that you derive from the Lagrangian via the Euler-Lagrange equation which specify how the system evolves with time.

Basically: S.

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 $f(x,y,t)$:

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 $x\in {\mathbb{R}}^2$:

And in the context of special relativity, people condense that even further by adding $t$ to the spacetime Four-vector as well, so you don't even need to write that separate pesky $t$.

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.

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.

A **quadratic Lie algebra** is a certain type of Lie algebra that is specifically characterized by the nature of its defining relations and structure. More precisely, it can be defined in the context of a quadratic Lie algebra over a field, which can be associated with a bilinear form or quadratic form.