Noether theorem
The Noether theorem (formulated in 1918 by Emmy Noether ) links elementary physical quantities such as charge , energy and momentum with geometric properties, namely the invariance (immutability) of the effect under symmetry transformations :
- Every continuous symmetry of a physical system has a conservation quantity .
A symmetry is a transformation (for example a rotation or displacement) that does not change the behavior of the physical system. The reverse also applies:
- Every conserved quantity is a generator of a symmetry group.
A conservation quantity of a system of particles is a function of the time , the locations and the velocities of the particles, the value of which does not change in any orbit they traverse in the course of time . So the energy of a non-relativistic particle of mass moving in potential is a conserved quantity. This means that for every path that satisfies the equation of motion , the following applies at all times :
- .
Examples of symmetries and associated conservation quantities
- From the homogeneity of time (select Start Time does not matter) follows the conservation of energy ( energy conservation ). The energy of a pendulum remains the same if friction is neglected, but not the energy of a swing on which a child changes the length from the suspension to the center of gravity by lifting and lowering his body.
- From the homogeneity of the space (choice of the starting place does not matter) the conservation of the momentum results (momentum conservation law ). The momentum of a free particle is constant, but not the momentum of a particle in the sun's gravitational field ; their location is essential for the movement of the particle. Because a free particle mass is unchanged at a uniform speed moving, when looking at a uniformly moving observer, is the weighted starting location , a conserved quantity . Generalized to several particles, it follows that the center of gravity moves at a uniform speed when the total force disappears.
- The isotropy of space, i.e. the rotational invariance (direction in space does not matter), results in the conservation of angular momentum ( angular momentum conservation law ). In this way, the angular momentum of a particle in the sun's gravitational field is retained, because the gravitational potential is the same in all directions.
The symmetries that belong to the conservation of the electric charge and other charges of elementary particles concern the wave functions of electrons , quarks and neutrinos . Each such charge is a Lorentz invariant scalar , that is, it has the same value in all frames of reference , unlike, for example, the angular momentum, the energy or the momentum.
Mathematical formulation
effect
The relationship between symmetries and conservation quantities formulated in Noether's theorem applies to physical systems whose equations of motion or field can be derived from a principle of variation . One demands here that the so-called effect functional assumes an extreme value (see also principle of the smallest effect ).
With the movement of mass points this effect is functional through a Lagrangian function of time , place and speed
characterizes and assigns the time integral to every differentiable trajectory
to. For example, in Newtonian physics the Lagrangian function of a particle in potential is the difference between kinetic energy and potential energy :
The path actually traversed physically, which goes through the start point at the start and through the end point at the end , makes the value of the effect stationary (or extremal ) in comparison with all other (differentiable) paths that go through the same start or end point . The path actually physically traversed therefore fulfills the equation of motion
(For derivation see the calculus of variations ). This corresponds precisely to Newton's equation of motion
- .
Differential equations that can be derived from an action functional through variation are called variationally self-adjoint. All elementary field and motion equations in physics are variationally self-adjoint.
symmetry
A differential equation is said to have symmetry if there is a transformation of the space of the curves that maps the solutions of the differential equations to solutions. Such a transformation is obtained for variationally self-adjoint differential equations if the transformation leaves the action functional invariant up to the boundary terms. The Noether theorem states that the invariance of the effect functional compared to a one-parameter continuous transformation group results in the existence of a conservation quantity and that, conversely, every conservation quantity results in the existence of an (at least infinitesimal) symmetry of the effect.
We limit ourselves here to symmetries in classical mechanics .
Is a one-parameter, differentiable group of transformations (sufficiently differentiable) curves on curves mapping, and belong to the parameter value to the identical picture .
For example, each curve maps to the curve that was passed through earlier. The transformation with shifts each curve by a constant .
The transformations are called local if the derivative is in the identical mapping, the infinitesimal transformation
for all curves as a function of time, place and speed , evaluated on the curve , can be written,
- .
For example, the shifts in time and place are local and belong to the infinitesimal transformation or to .
Now be the Lagrangian of the mechanical system. Then the local transformations are called symmetries of action if the Lagrangian for all curves changes only by the time derivative of a function , evaluated for infinitesimal transformations :
Because then the effect only changes by boundary terms
- .
The connection between this definition of the symmetry of the effect and the conserved quantity becomes clear when one carries out the partial derivatives of the Lagrangian and uses the definition of the infinitesimal transformation as a shorthand
If you add the first term to a multiple of the equation of motion and subtract the additions from the second term, the result is
and the equation of definition of an infinitesimal symmetry of an effect is
- .
But since the factor of the equations of motion disappears on the physically traversed paths, this equation says that the function
- ,
the noether charge associated with symmetry does not change on the physically traversed paths:
Conversely, every conservation quantity is, by definition, a function whose time derivative vanishes on physical paths, i.e. it is a multiple (of derivatives) of the equations of motion. This multiple defines the infinitesimal symmetry .
Remarks
- Symmetries of the equations of motion are not always symmetries of effect. For example, the stretching is a symmetry of the equation of motion of the free particle, but not a symmetry of its effect with the Lagrangian function . No conserved quantity belongs to such a symmetry of the equations of motion.
- The conservation quantity belonging to a symmetry as a function of time, place and speed disappears exactly when it is a question of a calibration symmetry . In such a case the equations of motion are not independent, but one equation of motion counts as a consequence of the others. This says the second noether theorem.
- The noether theorem for translational and rotating movements
- Translational movements : The Noether theorem explains why one obtains the law of conservation of energy when multiplying Newton's equations of motion with the velocities with time-independent potential : The velocity is the infinitesimal change in the location with a time shift.
- Rotating movements : The Noether theorem also explains why the product of the equations of motion with the cross product leads to the conservation of angular momentum in the direction of rotation invariant potential : The cross product is the infinitesimal change of when rotating around the axis . The Euler turbine equation applies to the conservation of angular momentum to the interpretation of rotating machines (turbines).
- The Lagrangian is strictly invariant in the case of shifts and rotations of the location, i.e. the function disappears. However, this does not apply to time shifts and to transformation to a uniformly moving reference system . The effect is invariant under temporal shifts if the Lagrangian only depends on the location and the speed , but not on the time. Then the Lagrangian changes under time shifts in order to . The associated conservation quantity is by definition the energy
- .
If it is known how the energy depends on the speed, then this equation defines the Lagrangian up to a proportion that is linear in the speeds and does not contribute to the energy. Because if you break down the Lagrangian function, for example, into parts that are homogeneous in terms of speed, then they contribute to the energy. So is , then is the Lagrangian
- .
In particular is to Newtonian physics, the energy from the kinetic energy is quadratic in speed, and the speed-independent potential energy . Therefore the Lagrangian is times the kinetic energy plus times the potential energy. In relativistic physics applies in measuring systems with a free particle of mass for the Lagrangian and energy :
Individual evidence
- ↑ Eugene J. Saletan and Alan H. Cromer: Theoretical Mechanics . John Wiley & Sons, 1971, ISBN 0-471-74986-9 , pp. 83-86 (English).
literature
- E. Noether: Invariants of arbitrary differential expressions. In: God. Nachr. 1918, pp. 37-44. Summary in Zentralblatt MATH.
- E. Noether: Invariant Variation Problems . In: God. Msg. 1918, pp 235-257. Summary in Zentralblatt MATH.