Monday, July 25, 2011
Originally, in the Newtonian formulation of classical mechanics, equations of motion were determined by summing up vector forces (à la free body diagrams). Is there a different way to find the equations of motion?



In place of drawing a free body diagram, we can represent a system more rigorously by describing its configuration space. The configuration space (often denoted Q) of a system is a mathematical space (a differential manifold) where every point in the space represents a particular state or configuration of the system. A curve drawn through a configuration space, then, represents the evolution of a system through a sequence of configurations.



Consider a rod along which a pendulum can slide. We need two numbers to describe the state of this system: the angle of the swinging pendulum and the position of the pendulum’s base along the rod. These two numbers are generalized coordinates for our system. Just like a traditional, linear vector space has a coordinate basis (like x, y, and z), our configuration space can use our generalized coordinates as a basis; let’s choose to name the position on the rod x and the angle of the pendulum φ. Since x can take any real value and φ can take any value from 0 to 2π (or 0 to 360o, if you like), the x dimension can be represented by a line (R1) and the φ dimension by a circle (or a one-sphere, S1). When we combine these dimensions, our new space — the configuration space of this system — is shaped like an infinite cylinder, R1 x S1. Just imagine connecting a circle to every point on a line… or, conversely, a line to every point on a circle.



The general process of examining a system and the constraints on its movement is a standard first step for solving mechanics problems analytically. After accounting for the constraints on a system, the ways a system can vary are called the degrees of freedom. Their count is often represented by the variable s. Notice: s = dim(Q).



Now that we’ve represented the configuration of our system, we need to talk about the forces present. There are several different ways that we can set up scalar fields on our configuration manifold that represent quantities related to the energy of the system. The simplest to deal with is often the Lagrangian, L = T - V = (Total kinetic energy) - (Total potential energy). Some fancy mathematics (a.k.a. calculus of variations) shows that when we define the Lagrangian in terms of our coordinates and their time derivatives, we can easily derive the equations of motion using the Euler-Lagrange equation.



For more complicated systems, configurations spaces may look different. A double pendulum (a pendulum on a pendulum) would have the topology S1 x S1 = T2, the torus (as pictured). Many systems will have higher dimensions that prevent them from being easily visualized.



Exercise left to the reader: the Lagrangian explicitly takes the time derivatives of the coordinates as arguments; information about the velocities of the system is needed to derive the equations of motion. But this information isn’t included in Q, so Lagrangian dynamics actually happens on TQ, the tangent bundle to Q. This new manifold includes information about how the system changes from every given configuration; since it needs to include a velocity coordinate for each configuration coordinate, dim(TQ) = 2s. TQ is also called Γv, the velocity phase space. T*Q, the cotangent bundle to Q, is the dual of TQ, and is traditionally just called the phase space, Γ; this is where Hamiltonian mechanics takes place.

Originally, in the Newtonian formulation of classical mechanics, equations of motion were determined by summing up vector forces (à la free body diagrams). Is there a different way to find the equations of motion?

In place of drawing a free body diagram, we can represent a system more rigorously by describing its configuration space. The configuration space (often denoted Q) of a system is a mathematical space (a differential manifold) where every point in the space represents a particular state or configuration of the system. A curve drawn through a configuration space, then, represents the evolution of a system through a sequence of configurations.

Consider a rod along which a pendulum can slide. We need two numbers to describe the state of this system: the angle of the swinging pendulum and the position of the pendulum’s base along the rod. These two numbers are generalized coordinates for our system. Just like a traditional, linear vector space has a coordinate basis (like x, y, and z), our configuration space can use our generalized coordinates as a basis; let’s choose to name the position on the rod x and the angle of the pendulum φ. Since x can take any real value and φ can take any value from 0 to 2π (or 0 to 360o, if you like), the x dimension can be represented by a line (R1) and the φ dimension by a circle (or a one-sphere, S1). When we combine these dimensions, our new space — the configuration space of this system — is shaped like an infinite cylinder, R1 x S1. Just imagine connecting a circle to every point on a line… or, conversely, a line to every point on a circle.

The general process of examining a system and the constraints on its movement is a standard first step for solving mechanics problems analytically. After accounting for the constraints on a system, the ways a system can vary are called the degrees of freedom. Their count is often represented by the variable s. Notice: s = dim(Q).

Now that we’ve represented the configuration of our system, we need to talk about the forces present. There are several different ways that we can set up scalar fields on our configuration manifold that represent quantities related to the energy of the system. The simplest to deal with is often the Lagrangian, L = T - V = (Total kinetic energy) - (Total potential energy). Some fancy mathematics (a.k.a. calculus of variations) shows that when we define the Lagrangian in terms of our coordinates and their time derivatives, we can easily derive the equations of motion using the Euler-Lagrange equation.

For more complicated systems, configurations spaces may look different. A double pendulum (a pendulum on a pendulum) would have the topology S1 x S1 = T2, the torus (as pictured). Many systems will have higher dimensions that prevent them from being easily visualized.

Exercise left to the reader: the Lagrangian explicitly takes the time derivatives of the coordinates as arguments; information about the velocities of the system is needed to derive the equations of motion. But this information isn’t included in Q, so Lagrangian dynamics actually happens on TQ, the tangent bundle to Q. This new manifold includes information about how the system changes from every given configuration; since it needs to include a velocity coordinate for each configuration coordinate, dim(TQ) = 2s. TQ is also called Γv, the velocity phase space. T*Q, the cotangent bundle to Q, is the dual of TQ, and is traditionally just called the phase space, Γ; this is where Hamiltonian mechanics takes place.

Notes

  1. joydom reblogged this from albanhouse and added:
    Wait wait… what exercise? Is this one of those “Show that [everything in the problem statement] is true” questions...
  2. albanhouse reblogged this from sayitwithscience
  3. shawnomonology reblogged this from internetsmiternet
  4. internetsmiternet reblogged this from radicalenthusiasm
  5. radicalenthusiasm reblogged this from vo5uru
  6. wifflepunk reblogged this from vo5uru
  7. vo5uru reblogged this from sayitwithscience
  8. radical21mp reblogged this from intothecontinuum
  9. oh-noo reblogged this from densityofstates
  10. densityofstates reblogged this from intothecontinuum
  11. nancyfraser reblogged this from proofmathisbeautiful
  12. wirwerdenwissen reblogged this from proofmathisbeautiful
  13. heabuh reblogged this from proofmathisbeautiful and added:
    Originally, in the Newtonian formulation of classical mechanics, equations of motion were determined by summing up...
  14. spinor reblogged this from proofmathisbeautiful
  15. motherfuckingmotherfucker reblogged this from proofmathisbeautiful
  16. bparramosqueda reblogged this from mmooss
  17. mmooss reblogged this from proofmathisbeautiful
  18. kellioharas reblogged this from proofmathisbeautiful
  19. inotinterested reblogged this from proofmathisbeautiful
  20. enkiseshat reblogged this from proofmathisbeautiful
  21. sithybusiness reblogged this from proofmathisbeautiful
  22. tooxoddysian reblogged this from proofmathisbeautiful
  23. proofmathisbeautiful reblogged this from intothecontinuum
  24. idran reblogged this from intothecontinuum