Noether Talk
Transcript of Noether Talk
-
7/21/2019 Noether Talk
1/25
Noethers Theorem
Rob Thompson
University of MinnesotaMath Club
February 3, 2011
-
7/21/2019 Noether Talk
2/25
Introduction
Noethers Theoremfirst appeared in
Invariante Variationsprobleme, Nachr. d. Konig. Gessellsch. d.Wiss. zu Gottingen, Math-phys. Klasse., 235-257 (1918).
Symmetries of variational problems yield conservation laws.
-
7/21/2019 Noether Talk
3/25
Conservation of momentum in mechanics
Often, a conservation lawmeans a quantity associated to a physicalsystem that remains unchanged as the system evolves in time.
Image taken from sparknotes.com
mcannon vcannon
| {z }cannon momentum
+ mball vball
| {z }ball momentum
= 0
Conservation ofmomentum in mechanics can be thought of as an
expression of Newtons second law, F = d
dt(mv).
Is energy conserved in this example?
-
7/21/2019 Noether Talk
4/25
Conservation of energy in mechanics
The energy of a particle is the sum of kinetic and potential energy:
E=T+ U
Umay be complicated, T =1
2x2
Suppose that dynamics are given by
x= f(x), f,x Rn,
where f=U
x for some U.
Then energy E is conserved.
dE
dt =
d
dt
1
2hx, xi+ U(x)
=hx, xi+hU
x, xi= hf+
U
x, xi= 0.
What ifUdepends on time?
-
7/21/2019 Noether Talk
5/25
Variational problems
Suppose we have a way to assign a weight to a given function.We search for an extremal of this weight.
(Well come back to mechanics in a minute!)
Example.
Length of graph off from (a, A) to (b, B) = Z b
a p1 + f0(x)2 dx,where f(a) =Aand f(b) =B .
-
6
!!!
!!!!!
a b x
f(x)
An extremal function fshould be a line, right?
-
7/21/2019 Noether Talk
6/25
EulerLagrange Equations
Shift ffrom a minimum value by adding v(x), where v(x) issome function satisfying v(a) =v(b) = 0 and a small parameter.
A family of variations
By ordinary calculus,d
d
=0
Z ba
p1 + (f0 +v0)2 dx=
Z ba
f0 +v0p1 + (f0 +v0)2
v0=0
dx
= Z b
a
f0
p1 + (f0)2v0 dx= 0.
-
7/21/2019 Noether Talk
7/25
EulerLagrange Equations
Integrating by parts we find
Z ba
f0p
1 + (f0)2v0 dx= f
0p1 + (f0)2
vb
a
Z ba
ddx
f0p1 + (f0)2
v dx
=
Z ba
d
dx
f0
p1 + (f0)2
v dx= 0.
Since our variation v is arbitrary this means d
dx
f0p1 + (f0)2
= 0.
With a little work, we see that fmust be a line.
The calculation we did works for any integrand of course, not justthe one for arclength.
-
7/21/2019 Noether Talk
8/25
EulerLagrange Equations in general
Theorem
For a function u to be an extremal of the integral
Z ba
L(t,u,ut) dt
u must satisfy the EulerLagrange equations
E(L) =L
u
d
dt
L
ut= 0
IfL depends on more than one variable u1, u2, . . . and its
derivatives, we get a system of EulerLagrange equations
E1(L) = L
u1
d
dt
L
u1t= 0, E2(L) =
L
u2
d
dt
L
u2t= 0, . . .
We can derive similar expressions ifL depends on higher
derivatives or more independent variables t1, t2, . . ..
-
7/21/2019 Noether Talk
9/25
Variational problems in optics
Optical path length = Z Q
P
n(x(s))ds, n the refractive index.
Image taken from wikipedia.org
The empirical fact that lights path minimizes the optical pathlength is Fermats Principle. It implies Snells Law:
sin(1)
sin(2)=
n1n2
-
7/21/2019 Noether Talk
10/25
Variational problems in mechanics
Actionof a mechanical system from time t1 to t2:
Z t2t1
(T U) dt
The empirical fact that the true path of the system minimizes
the action integral is called the Principle of Least Action.For most situations, kinetic energy depends only on the velocity: T =T(x) potential energy depends only on position: U=U(x)
This principle provides an alternative way to do mechanics. Thisviewpoint will help us to understand, via Noethers Theorem,where all the conservation laws in mechanics come from.
-
7/21/2019 Noether Talk
11/25
Newtons Equations as EulerLagrange equations
We can use the principle of least action to find Newtonsequations. Lets take the example of a 1-d harmonic oscillator.
Image taken from learner.org
T =1
2mx2 U=
1
2kx2
The EulerLagrange equations are
0 =(T U)
x
d
dt
(T U)
x=kx + mx
These are the same as Newtons equations!
-
7/21/2019 Noether Talk
12/25
Symmetries
A symmetry of a function is a transformation of its variables whichleaves the function unchanged.
Function Transformation: (x, u) goes to
x2 + u2 (x cos u sin, x sin+ u cos)u mx (x +, u + m)
u/x2 (x,2u)
Our symmetries come in groups, with parameters like ,,above.
Symmetries transform derivatives ux, uxx, . . . via the chain rule.
For example:
x7 x= x u7 u=2u = ux 7 ux= 1
xxux =ux
-
7/21/2019 Noether Talk
13/25
Symmetries and Infinitesimals
Given a symmetry group ofF, directional derivatives ofF in thedirection of symmetry are zero.
Example
For F =x2 + u2, we have the rotation symmetry
(x, u)7(x cos u sin, x sin+ u cos )
The direction of symmetry is v =u x
+ x u
.
v(F) =uF
x + x
F
u =2ux + 2xu= 0
@
@@Iv
F(x, u) = constantInfinitesimal symmetry v extends to derivatives:
v =u
x+ x
u = v(1) =u
x+ x
u+ (1 + u2x)
ux
-
7/21/2019 Noether Talk
14/25
Symmetries of Variational Problems
A symmetry of a variational problem is a transformation whichpreserves the value of the integral defining the problem.
Given an integral Z ba
L(t, u, ut) dt
we transform to the new variables
Z ba
L(t, u,ut) dt=
Z ba
L(t, u,ut)
dt
dtdt
To leave the value of the integral unchanged we must have
L(t, u, ut) =L(t, u,u
t)
dt
dt
-
7/21/2019 Noether Talk
15/25
Symmetries of Variational Problems
If our infinitesimal symmetry is
t + u +
,t ut
then the condition of invariance takes the infinitesimal form
L
t+
L
u +
L
ut,t + L
d
dt = 0
| {z }change in Lagrangian
|{z}change in volume/measure
This infinitesimal formula provides the key to Noethers theorem.
-
7/21/2019 Noether Talk
16/25
Symmetries of Variational Problems
Example
When measuring the length of curve, it doesnt matter if I rotate
the curve before measuring. Thus, the arclength variationalproblem
Zp1 + u2x dx should have rotational symmetry.
The symmetry generator of rotation is
u
x+ x
u+ (1 + u2x)
ux
We can check that
uLx
+ xLu
+ (1 + u2x)Lux+ L d(u)
dx
= (1 + u2x)L
ux+Lux = 0.
But you already knew that, right?
-
7/21/2019 Noether Talk
17/25
A Review
Variational problem: an integral we want to minimize
EulerLagrange equations: diff
erential equations givingpossible solutions to the variational problem
Conservation Law: A function (involving derivatives) which isconstant on solutions to the EulerLagrange equations
Variational symmetry: A symmetry which preserves theintegrand of the variational problem
Noethers Theorem.
Variational symmetries are in one to one correspondence withconservation laws for the associated EulerLagrange equations.
-
7/21/2019 Noether Talk
18/25
Noethers Theorem
The Theorem!
Suppose thatv =
t
+
u
+ ,t
u
t
generates a variational
symmetry for the variational problem
Z L(t, u, ut) dt. Then
L+ L
u
t
( ut)
is constant for solutions u(t) of the EulerLagrange equations.
You want proof?
The proof quite remarkable, but unfortunately wont fit in themargin of this slide....
P f f N h Th
-
7/21/2019 Noether Talk
19/25
Proof of Noethers Theorem
The proof of Noethers theorem at this point is a computation.
0 =L
t+
L
u +
L
ut,t + L
d
dt
=
L
t+
L
uut +
L
ututt
Lu
ut Lut
utt+ Lu
+ Lut
,t + L ddt
= d
dt(L)
L
uut
L
ututt+
L
u+
d
dt ut
d
dt
L
ut
Things collapse nicely into
= d
dt(L) +
L
u
ut
+
L
ut
d
dt
ut
P f f N h Th
-
7/21/2019 Noether Talk
20/25
Proof of Noethers Theorem
So we have
0 = d
dt (L) + L
u ut + Lut
d
dt ut .
The next step is to integrate by parts:
L
ut
d
dtut =d
dtL
utut +
d
dtL
utut ,
Thus,
0 = L
u
d
dt
L
u
t ut +
d
dtL
u
t ut +
d
dt(L)
| {z }EulerLagrange equations!
| {z }conservation law
QED?
C ti L i h i
-
7/21/2019 Noether Talk
21/25
Conservation Laws in mechanics
Using our new found tools, we can rediscover the conservation lawsof mechanics without much work.
Kinetic energy: T(x) =12
X
mx
Potential energy: U(t,x) depends on problem...
Newtons equations are the EulerLagrange equations:
mx =
U
x
A variational symmetry v =
t+
x+ ,t
x satisfies
v(T U) + (T U) ddt
= 0.
For each such v we have a corresponding conservation law:
K=m
x (T+ U).
C ti L i h i
-
7/21/2019 Noether Talk
22/25
Conservation Laws in mechanics
Symmetry condition: v(T U) + (T U)d
dt
= 0
Conservation law: K=m
x (T+ U).
Energy.
U is independent oft iffour variational problem has time
translation symmetryv =
t . Thus the total energy T+ U isconserved.
Momentum.
Consider spatial translation x 7x +a, which is generated by
v =P a x . This is a variational symmetry iffU istranslationally invariant, i.e. v(U) = 0. This produces theconservation of linear momentum
P
ma x.
Angular momentum.
Th B hist h
-
7/21/2019 Noether Talk
23/25
The Brachistochrone
In 1696, Johann Bernoulli posed the Brachistochrone problem:
Given two points A and B in a vertical plane, what is
the curve traced out by a point acted on only by gravity,which starts at A and reaches B in the shortest time?
Image taken from storyofmathematics.com
According to Conduitt, Newton solved the problem in an eveningafter learning of it, working from 4pm to 4am.
The Brachistochrone
-
7/21/2019 Noether Talk
24/25
The Brachistochrone
Lets see how long it takes you to solve it, Noether style.
Exercise.
Step 1.
Write down an integral which gives the total time to travel from Ato B along the curve u(x).
Step 2.Look for symmetries/conservation laws.
Step 3.
Use a conservation law to help parametrize your curve u(x).
References
-
7/21/2019 Noether Talk
25/25
References
Peter Olver, Applications of Lie Groups to DifferentialEquations, GTM 107.
Emmy Noether, trans. M.A. Tavel, Invariant VariationProblems, arXiv:physics/0503066v1
Nina Beyers, E. Noethers Discovery of the Deep ConnectionBetween Symmetries and Conservation Laws,arXiv:physics/9807044v2