Chapter 6: Constraints and Symmetry

The second part explores the usage of Lagrange mechanics in problems involving constraints and symmetries.

6.1: Contract Forces

6.11: Contact forces as Constraints

Contract forces arises by the virtue of physical contact between two objects. In origin, contact forces are electromagnetic. As two objects touch, the atoms push against one another through electromagnetic forces. Contact forces are not fundamental: they are the sum of microscopic interactions.

Consider a block on a horizontal ground. The net effect of the contact force is to constrain its vertical motion: the block can move sidewards and not up and down. More of such contract forces translate into constraints on the degree of freedom.

Consider a mechanical system parameterized by NN coordinates qk,k=1,2,,Nq_k, k=1,2,\cdots, N. However, due to some constraint forces, there are PP algebraic relations amongst these coordinates, given by:

Cl(q1,q2,,qN,t)=0C_l(q_1, q_2,\cdots, q_N, t)=0

where l=1,,Pl=1,\cdots, P. This means that there are NPN_P generalized coordinates or degrees of freedom.

The notation here can be confusing. CC represents constraints, and ClC_l is the lthl-th constraint in the system, representing equations that restrict the motion of the system. The constraints are usually expressed as functions of the generalized coordinates qkq_k and time tt, as shown by the above equation.

For example, in the problem of a block on the horizontal ground, let the ground be at z=0z=0. Then, we can define C=zC=z, so that the algebraic relation C=0C=0 implies z=0z=0. We started from three coordinates(N=3N=3) x,yx, y and zz and specified the constraint z=0z=0 (P=1P=1), where zz is the vertical position. Then, there are N=P=2N=P=2 degrees of freedom. The Lagrange is given by:

L=TU=12m(x˙2+y˙2)L=T-U=\frac{1}{2}m(\dot x^2+\dot y^2)

6.12: A New Lagrangian

Let’s consider a new Lagrange defined as:

L=L+l=1PλlCl\begin{equation} L'=L+\sum^P_{l=1}\lambda_lC_l \end{equation}

where LL is the original Lagrangian, The PP parameters labeled λl\lambda_l are called Lagrange multipliers, and ClC_l are constraints equations. In the new Lagrangian, we introduced PP additional degrees of freedom labeled λl\lambda_l with l=1,,Pl=1,\cdots, P.

We now assume that the constraint equations are not satisfied a priori. As a result, there are N+PN+P degrees of freedom and equations of motion. Using Euler’s equation, equations of motion for LL' are (we apply Euler’s equation to the newly defined Lagrange LL', not the one we used in the example for the block. Note that there are two equations of motion for qksq_ks and λls\lambda_ls, where qkq_k is the generalized coordinates for the original Lagrange L=TUL=T-U and λl\lambda_l is the generalized coordinates for the newly defined Lagrange.) :

ddtLλ˙lLλl=0\frac{d}{dt}\frac{\partial L'}{\dot \lambda_l}-\frac{\partial L'}{\partial \lambda_l}=0

Because LL is independent of λl\lambda_l and λ˙l\dot \lambda_l, we know that L/λ˙l=0{\partial L}/{\partial \dot\lambda_l}=0. The equation becomes:

0=Lλ˙l=Cl0=\frac{\partial L'}{\partial \dot\lambda_l}=C_l

The PP parameters labeled λl\lambda_l are called Lagrange multipliers. The equation for motion for qksq_ks is given by:

ddtLq˙kLqk=0\frac{d}{dt}\frac{\partial L'}{\dot q_k}-\frac{\partial L'}{\partial q_k}=0

In terms of the original Lagrange L=TUL=T-U, the equation for motion for LL' becomes:

ddtLq˙kLqkλlClqk=0\frac{d}{dt}\frac{\partial L}{\dot q_k}-\frac{\partial L}{\partial q_k}-\lambda_l\frac{\partial C_l}{\partial q_k}=0

For example, with the block on a horizontal floor, LL' is equal to:

L=12m(x˙2+y˙2+z˙2)mgz+λ1zL'=\frac{1}{2}m(\dot x^2+\dot y^2+\dot z^2)-mgz+\lambda_1 z

Equations of motions are:

mx¨=0,my¨=0,mz¨=mgλ1m\ddot x=0, \quad m\ddot y=0, \quad m\ddot z=-mg-\lambda_1

In this case λ1\lambda_1 is the normal force.

Meanings of constraints CC and Lagrange multiplers λl\lambda_l can be abstract. The term λl\lambda_l represents a Lagrange multiplier associated with the llth constraint ClC_l. The nature of Lagrange multipliers are scalar functions that adjust to enforce the constraints in the system. For example, in the problem of a block on a horizontal ground, Cl=1C_{l=1} is the constraint that z=0z=0 (meaning that the block cannot move vertically and can only slide ways) and the multiplier λl=1\lambda_{l=1} is the normal force enforcing the constraint. Thus, physically, the multiplier can be interpreted as a force.

6.13: Constraints and Lagrange Multiplers

The addition term involving λ\lambda is defined as the generalized constraint force FkF_k that enforce the constraints onto the qkq_k dynamics.

Fk=λlClqk\begin{equation} F_k=\lambda_l\frac{\partial C_l}{\partial q_k} \end{equation}

We want to relate the generalized constraint force with the actual force. For every object ii located at position rir_i, denote the total constraint force acting on it by FiF_i. We also know the relations ri(qk,t)r_i(q_k,t) that connect the position of every object to the generalized coordinates qkq_k. The work done or energy associated with the constraint forces FiCF^C_i and be expressed as:

λlCl=FiCdri\lambda_lC_l=\int F^C_i dr_i

Differentiating ri(qk,t)r_i(q_k,t), we get dri(qk,t)/dqk=ri(qk,t)/qkdr_i(q_k,t)/dq_k=\partial r_i(q_k,t) /\partial q_k. Solving for dri(qk,t)dr_i(q_k,t), we get:

dri(qk,t)=ri(qk,t)qkdqkdr_i(q_k,t)=\frac{\partial r_i(q_k,t)}{\partial q_k}dq_k

Then, work done is equal to

λlCl=riFiCdri=qkFiCri(qk,t)qkdqk\lambda_lC_l=\int^{r_i} F^C_i dr_i=\int^{q_k} F^C_i \frac{\partial r_i(q_k,t)}{\partial q_k}dq_k

Rearranging the equation for FkF_k, we get:

Fk=λlClqk=(Clλl)qk=FiCriqk\begin{equation} F_k=\lambda_l\frac{\partial C_l}{\partial q_k}=\frac{(\partial C_l\lambda_l)}{\partial q_k}=F^C_i\cdot\frac{\partial r_i}{\partial q_k} \end{equation}

6.14: The Second Approach

In chapter four Lagrangian Mechanics , we define action as the integral of the Lagrangian with respect to time. In the process of extremizing the action, we would get (mathematics is not shown here. In order to derive the integral, integral by parts of multi-variable functions is required.):

δI=[ddtLq˙k+Lqk]δqkdt=0\delta I=\int\Big[-\frac{d}{dt}\frac{\partial L}{\partial \dot q_k}+\frac{\partial L}{\partial q_k}\Big]\delta q_k dt=0
δI=[ddtLq˙k+Lqk+λlalk]δqkdt=0\delta I=\int\Big[-\frac{d}{dt}\frac{\partial L}{\partial \dot q_k}+\frac{\partial L}{\partial q_k} +\lambda_la_{lk}\Big]\delta q_k dt=0

for some functions alka_{lk} of qkq_k and tt. If the constraints on the generalized coordinates qkq_k can be written in the form:

alkδqk+altδt=0\begin{equation} a_{lk}\delta q_k+a_{lt}\delta t=0 \end{equation}

where alka_{lk} and alta_{lt} are arbitrary functions of qkq_k and tt, we can write the following set of N+PN+P equations of motion:

ddtLq˙kLqk=λalk=Fk\begin{equation} \frac{d}{dt}\frac{\partial L}{\partial \dot q_k}-\frac{\partial L}{\partial q_k}=\lambda a_{lk}=F_k \end{equation}
alkq˙k+alt=0\begin{equation} a_{lk}\dot q_k+a_{lt}=0 \end{equation}

Summary for Finding the Multiplier (Constraint Force)

  1. Define the constraints by writing down a constraint equation for each constraint.
  1. Define a set of generalized coordinates without applying the constraints yet.
  1. Write down the Lagrangian (again, with no constraints applied).
  1. Apply the modified Euler-Lagrange equations with constraints and Lagrange multipliers.
    alkδqk+altδt=0a_{lk}\delta q_k+a_{lt}\delta t=0
    ddtLq˙kLqk=λalk=Fk\frac{d}{dt}\frac{\partial L}{\partial \dot q_k}-\frac{\partial L}{\partial q_k}=\lambda a_{lk}=F_k
  1. You should now have the equations of motion for each coordinate with Lagrange multipliers.
  1. Solve for the Lagrange multipliers, which will give you the constraint forces.

Example 6.1: Rolling Down the Plane

Consider a hoop of radius R and mass M rolling down an inclined plane. The hoop rolls down an inclined plane without slipping. Find the Lagrangian and constraint force.


Example 6.2: Stacking Barrels

Consider the problem of two cylindrical barrels, one on top of the other, as shown in Figure 6.3. The bottom barrel is fixed in position and orientation, but the top one, of mass m, is free to move. It starts rolling down from its initial position at the top, rolling without slipping due to friction between the barrels. The problem is to find the point along the lower barrel where the top barrel loses contact with it. That is, we need to find the moment when the normal force acting on the top barrel vanishes.


Example 6.3:

A classic problem is that of a bob pendulum consisting of a point mass mm at the end of a rope of length l swinging in a plane (see Figure 6.4). We would like to determine the tension in the rope as a function of the angle θ. We start with two variables


6.3: Cyclic Coordinates and Generalized Momenta

In chapter 4 The Variational Principle, we defined a cyclic coordinate qkq_k as a generalized coordinate qkq_k is missing but the corresponding velocity q˙k\dot q_k is presents in the Lagrangian. The generalized momentum is defined as:

pqk=Lq˙kp_{q_k}=\frac{\partial L}{\partial \dot q_k}

and is conserved.

💡
Generalized momenta (momentum for each cyclic coordinate) is conserved.

The question is: why is a particular coordinate cyclic, from a physical point of view?

In order to answer the question, consider the example of a moving object with mass mm under a uniform gravitational field, where gravity acts in zz direction. The Lagrangian L=TUL=T-U is equal to:

L=12m(x˙2+y˙2+z˙2)mgzL=\frac{1}{2}m(\dot x^2+\dot y^2+\dot z^2)-mgz

where xx and yy are cyclic coordinates. The corresponding generalized momenta pxp_x and pyp_y are conserved:

px=mx˙,py=my˙p_x=m\dot x, \quad p_y=m\dot y

The answer for the conservation is quit clear. The physical environment is invariant under displacements in xx and yy directions, but not under zz, the vertical direction. A change in zz means that mm gets closer or farther from the ground, but a change in xx and yy make no difference. We say that there is a symmetry under horizontal displacements, but not under vertical displacement.

If a generalized coordinate qiq_i is missing from the Lagrangian, it means that there is a symmetry under changes in that coordinate: the physical environment, whether a potential energy or a constraint, is independent of that coordinate. If the environment possesses a symmetry, the corresponding generalized momentum will be conserved.

Note: The concept of “symmetry” here might sound abstract and confusing. It is better illustrated in example 6.5.

💡
If a generalized coordinate qiq_i is missing from the Lagrangian, there is a symmetry under changes in that coordinate and momentum pkp_k is conserved.

Example 6.5: A star orbiting s spheroidal galaxy

A particular galaxy consists of an enormous sphere of stars somewhat squashed along one axis, so it becomes spheroidal in shape, as shown in the figure. A star at the outer fringes of the galaxy experiences the general gravitational pull of the galaxy. Are there any conserved quantities in the motion of this star?


Example 6.6: A Charged Particle Outside a Charged Rod

An infinite straight dielectric rod is oriented in the z direction, and given a uniform electric charge per unit length. A point charge is free to move outside it, as shown in Figure 6.7. Are there any conserved quantities for the motion of the particle?


6.4: A Less Straightforward Example

Consider a system consisted two masses m1m_1 and m2m_2. Let the distances be q1q_1 and q2q_2 as shown in the figure.

The Lagrangian L=TU=12m1q˙12+12m2q˙22U(q1q2)L=T-U=\frac{1}{2}m_1\dot q_1^2+\frac{1}{2}m_2\dot q_2^2-U(q_1-q_2). The action SS is equal to:q

S=12m1q˙12+12m2q˙22U(q1q2)dtS=\int \frac{1}{2}m_1\dot q_1^2+\frac{1}{2}m_2\dot q_2^2-U(q_1-q_2)dt

Consider the simple transformation

q1=q1+C,q2=q2+Cq_1'=q_1+C,\quad q_2'=q_2+C

where CC is some arbitrary constant. This gives us:

q˙1=q˙1,q˙2=q˙2\dot q_1'=\dot q_1,\quad \dot q_2'=\dot q_2

so terms for kinetic energy remain unchanged after the transformation. In addition, we know that:

q1q2=q1q2q_1'-q_2'=q_1-q_2

The action is equal to:

S=12m1(q˙1)2+12m2(q˙2)2U(q1q2)dtS=\int \frac{1}{2}m_1({\dot q'}_1)^2+\frac{1}{2}m_2(\dot q'_2)^2-U(q'_1-q'_2)dt

In the next section, we will dip deeper into infinitesimal transformations.

6.5: Infinitesimal Transformations

6.51: Direct Transformations

A direct transformation deforms the generalized coordinates of a system as in:

δqk(t)=qk(t)qk(t)Δqk(t,q)\delta q_k(t)= q'_k(t)-q_k(t)\equiv\Delta q_k(t, q)

where Δ\Delta is used to label a direct transformation. Note that Δqk(t,q)\Delta q_k(t, q) can possibly be a function of time, where in section 6.4 we discussed the special case when Δqk(t,q)\Delta q_k(t, q) is a constant.

6.52: Indirect Transformations

An indirect transformation affects the generalized coordinates indirectly, through the transformation of the time coordinate:

δt(t,q)tt\delta t(t,q)\equiv t'-t

Note that again that the shift in time is assumed to be small, and the shift can be a function f of time. The small shifts in time bring small shifts in generalized coordinates and affect them indirectly, giving us:

qk(t)=qk(tδt)qk(t)dqkdtδtqk(t)q˙kδtq_k(t)= q_k(t'-\delta t)\approx q_k(t')-\frac{dq_k}{dt'}\delta t \approx q_k(t')-\dot{q}_k\delta t

where we use Taylor expansion in δt\delta t to linear order only. Rearranging the equation, we get

δqk=qk(t)qk(t)=q˙kδt\delta q_k=q_k(t)-q_k(t')=\dot q_k\delta t

6.53: Combined Transformations

We want consider a transformation that includes both direct and indirect transformations. We write:

δq=qk(t)q(t)=qk(t)+(qk(t)+qk(t))q(t)=(qk(t)qk(t))+(qk(t)qk(t))=Δqk(t,q)+q˙δt(t,q)\begin{align*}\delta q&=q'_k(t')-q(t)=q'_k(t')+(-q_k(t')+q_k(t'))-q(t) \\ &= (q'_k(t')-q_k(t'))+(q_k(t')-q_k(t))\\ &=\Delta q_k(t, q)+\dot q\delta t(t,q) \end{align*}

Thus, for an indirect transformation

δqk(t,q)=Δqk(t,q)+q˙δt(t,q)\begin{equation} \boxed{\delta q_k(t,q)=\Delta q_k(t, q)+\dot q\delta t(t,q)} \end{equation}

where we need to provide a set of functions δt(t,q)\delta t(t, q) and δqk(t,q)\delta q_k(t, q) to specify a particular transformation and determine Δqk(t,q)\Delta q_k(t, q).

The question seems to be complicated. In order to understand the formula, we consider physical meanings of the expression. The term δqk(t,q)\delta q_k(t,q) represents the infinitesimal variation in the generalized coordinates qkq_k. The second term Δql(t,q)\Delta q_l(t,q) accounts for how qkq_k changes indirectly because time tt is changed. The last term represents the change in the generalized coordinate qkq_k due to its time derivative q˙k\dot q_k, capturing the direct effect of the time shift on qkq_k.

💡
To specify a particular transformation, we need to provide a set of functions δt(t,q)\delta t(t, q) and δqk(t,q)\delta q_k(t, q) to determine Δqk(t,q)\Delta q_k(t, q).

Example 6.7: Translations

Consider a single particle in three dimensions, described by the three Cartesian coordinates rx=x,ry=yr^x = x, r^y = y, and rz=zr^z = z. We also have the time coordinate rt=ctr^t = c t. An infinitesimal constant spatial translation can be realized by


Example 6.8: Rotations

To describe constant rotations, we consider for simplicity a particle moving in two dimensions. We use the coordinates rx=xr^x = x and ry=yr^y = y.


Example 6.9 Lorentz Transformation

6.6: Symmetry

We define a symmetry as a transformation that leaves the action unchanged in form, where action SS is defined as:

S=dtL(t,q˙,q)S=\int dtL(t, \dot q, q)

where LL is the Lagrangian. Using the general/combined transformation given by Δqk(t,q)\Delta q_k(t, q) and δt(t,q\delta t(t, q), it follows that:

δS=δ(dt)L+dtδ(L)\delta S=\int \delta (dt)L+\int dt\delta (L)

where we use the Leibniz product’s rule δ(ab)=(δa)b+a(δb)\delta (ab)=(\delta a)b+a(\delta b), since δ\delta is an infinitesimal change. The first term the δS\delta S is the change in the measure of the integrand:

δ(dt)=dtδ(dt)dt=dtdd(δt)\delta (dt)=dt\frac{\delta (dt)}{dt}=dt\frac{d}{d}(\delta t)

The second term has two parts:

δ(L)=Δ(L)+δtdLdt\delta(L)=\Delta(L)+\delta t\frac{dL}{dt}

After some derivations (the note here is not complete. The complete derivation is in the textbook. Need to com back after studying mathematics from chapter two.), δS\delta S is equal to:

δS=dt(LqkΔqk+Lq˙kddtΔqk+ddt(Lδt))\begin{equation} \boxed{\delta S=\int dt(\frac{\partial L}{\partial q_k}\Delta q_k+\frac{\partial L}{\partial \dot q_k}\frac{d}{dt}\Delta q_k+\frac{d}{dt}(L\delta t))} \end{equation}

Now, given L,δt(t,q)L, \delta t(t,q) and δqk(t,q)\delta q_k(t,q), we can substitute these quantities into equation (8) to check is δS=0\delta S=0. If δS=0\delta S=0, there is a symmetry.

6.7: Noether’s Theorem

Noether’s theorem states:

For every symmetry, i.e., for every set of transformations δt(t,q),δqk(t,q){\delta t(t,q),\delta q_k(t,q)} that leave the action unchanged, there exists a quantity that is conserved under time evolution.

6.71: Proof of the Theorem

Consider a given symmetry {δt(t,q),Δqk(t,q)}\{\delta t(t,q),Δq_k(t,q)\}. This means that the action SS is invariant under transformations. Mathematically, this can be expressed as δS=0\delta S=0. Using the equation for δS\delta S, we get:

0=δS=dt(LqkΔqk+Lq˙kddtΔqk+ddt(Lδt))\begin{equation} \boxed{0=\delta S=\int dt(\frac{\partial L}{\partial q_k}\Delta q_k+\frac{\partial L}{\partial \dot q_k}\frac{d}{dt}\Delta q_k+\frac{d}{dt}(L\delta t)) }\end{equation}

Now suppose qk(t)q_k(t) satisfies the Lagrange equation of motion, we know that:

ddtLq˙k=Lqk\frac{d}{dt}\frac{\partial L}{\partial \dot q_k}=\frac{\partial L}{\partial q_k}

When qk(t)q_k(t) satisfies the Lagrange equations of motion, we can replace L/qk\partial L/\partial q_k in the equation, allowing us to simplify the integrand. The expression for δS\delta S becomes:

0=δS=dt(ddtLq˙kΔqk+Lq˙kddtΔqk+ddt(Lδt))0=\delta S=\int dt(\frac{d}{dt}\frac{\partial L}{\partial \dot q_k}\Delta q_k+\frac{\partial L}{\partial \dot q_k}\frac{d}{dt}\Delta q_k+\frac{d}{dt}(L\delta t))

The term Lq˙kddtΔqk\frac{\partial L}{\partial \dot q_k}\frac{d}{dt}\Delta q_k can be rewritten using product rule, giving us:

Lq˙kddtΔqk=ddt(Lq˙kΔqk)Δqkddt(Lq˙k)\frac{\partial L}{\partial \dot q_k}\frac{d}{dt}\Delta q_k=\frac{d}{dt}(\frac{\partial L}{\partial \dot q_k}\Delta q_k)-\Delta q_k\frac{d}{dt}(\frac{\partial L}{\partial \dot q_k})

Combining like terms, the integral is equal to:

0=δS=dt(Lq˙kddtΔqk+ddt(Lδt))0=\delta S=\int dt(\frac{\partial L}{\partial \dot q_k}\frac{d}{dt}\Delta q_k+\frac{d}{dt}(L\delta t))
0=δS=dtddt(Lq˙kΔqk+Lδt)0=\delta S=\int dt\frac{d}{dt}(\frac{\partial L}{\partial \dot q_k}\Delta q_k+L\delta t)

Since the integration interval is arbitrary, we can conclude that:

ddtQ=0\begin{equation} \frac{d}{dt}Q=0 \end{equation}

where QQ is is a conserved quantity called Noether charge, defined by:

Q=Lq˙kΔqk+Lδt\begin{equation} Q=\frac{\partial L}{\partial \dot q_k}\Delta q_k+L\delta t \end{equation}

6.72: Noether Charge

We have shown that the Neother charge QQ is a conserved quantity. The proof gives a way to generalize the definition of symmetry, defined as δS=0\delta S=0.

δS=dddtK=dtddt(Lq˙kΔqk+Lδt)\delta S=\int d\frac{d}{dt}K=\int dt\frac{d}{dt}(\frac{\partial L}{\partial \dot q_k}\Delta q_k+L\delta t)

where KK is some functions we can solve using equation (8). There are two cases for KK, the trivial and nontrivial cases. When KK is trivial, meaning that KK is a constant, δS\delta S is equal to:

δS=dtdKdt=dt0=0\delta S=\int dt\frac{dK}{dt}=\int dt\cdot 0=0

The means that KK does not affect the variation of the action SS, and we revert to the standard form of Noether’s theorem where the conserved quantity is QQ. When KK is nontrivial, meaning that KK is not a constant but depends on time, coordinates, velocity, e.t.c, dK/dt0dK/dt\ne 0. In this case, the integral is equal to:

dtdKdt0\int dt\frac{dK}{dt}\ne 0

Thus, there must be an additional term contributing to the conserved quantity, such that δS=0\delta S=0. We generalized the conserved quantity into QKQ-K, taking into account the non-trivial dependence of KK. Then,

δS=(QK)dt=0\delta S=\int (Q-K)dt=0

💡
When KK is trivial, dK/dt=0dK/dt=0 and (dK/dt)dt=0=δS\int (dK/dt)dt=0=\delta S. When KK is not trivial, d(QK)/dt=0d(Q-K)/dt=0 and δS=0=d(QK)dt\delta S=0=\int \dfrac{ d(Q-K)}{dt}

Summary for finding Q

  1. Identifying Δqk\Delta q_k and δt\delta t: The expression is shown below. Identify the generalized coordinate qkq_k and find Δqk\Delta q_k.
  1. δS\delta S computation: Use chain rule to calculate the integrand. If δS=0\delta S=0, there is a symmetry and a conserved quantity. If δS0\delta S\ne 0, there are no symmetry and conserved quantity.
δS=dt(LqkΔqk+Lq˙kddtΔqk+ddt(Lδt))\delta S=\int dt(\frac{\partial L}{\partial q_k}\Delta q_k+\frac{\partial L}{\partial \dot q_k}\frac{d}{dt}\Delta q_k+\frac{d}{dt}(L\delta t))
  1. Q finding: Calculate the conserved quantity QQ using equation (11). The expression is shown below.
Q=Lq˙kΔqk+LδtQ=\frac{\partial L}{\partial \dot q_k}\Delta q_k+L\delta t

Example 6.10

We start with the spatial translation transformation in a fixed ith direction, as in our previous example (6.87). Identity the conserved quantity if a symmetry exists.


Example 6.11: Time Translation and the Hamiltonian

let us consider time translational invariance. Due to its particular usefulness, we want to treat this example with greater generality. We focus on a system with an arbitrary number of degrees of freedom labeled by qksq_k s, with a general Lagrangian L(q,q˙,t)L(q, \dot q, t). We propose the transformation

δt=δϵ,δqk=0\delta t=\delta\epsilon,\quad \delta q_k=0

Identity the conserved quantity if a symmetry exists.


Example 6.12: Rotations and Angular Momentum

Consider the problem of a nonrelativistic particle of mass m moving in two dimensions, in a plane labeled by rx=xr^x = x and ry=yr^y = y. We add to the problem a central force with a Lagrangian of the form

L=12mr˙ir˙iU(riri)L=\frac{1}{2}m\dot r^i\dot r^i-U(r^i r^i)

Example 6.13: Lorentz and Galilean Boosts

consider instead the limit of small speeds, i.e., a nonrelativistic system with Galilean symmetry. We take a single free particle in one dimension with Lagrangian

L=12mx˙2L=\frac{1}{2}m\dot x^2

Identity the conserved quantity if a symmetry exists.