Navigation |
---|
MTH-696a |
Course outline |
Assignments & Solutions |
Schedule |
Lecture Notes |
Sources |
Home Page of Leo Butler |
This week we will look at Lagrangian mechanics.
Let a mechanical system have a configuration space $M$, an open subset of $\R^n$. Let the forces acting on the system, $F$, be conservative. Then Newton's equations for this mechanical system are equivalent to \[ \ddt{t}{}\didi{L}{\dot{x}} = \didi{L}{x}, \] where $L$ is the difference of kinetic and potential energy.
Let us suppose, without loss of generality, that $M$ is an open, convex set that contains $0$. Since $F$ is conservative, the work done is path-independent. Define a function \[ V(x) = -\int_0^x \ip{F(c(t))}{\D{c}} = \int_0^1 \ip{F(tx)}{x} \D{t} \] where $c(t) = tx$. The fundamental theorem of calculus shows that the gradient of $V$ at $x$ is $-F(x)$. Define \[ L(x,\dot{x}) = \frac{1}{2} m \norm{\dot{x}}^2 - V(x). \] Then \[ m \ddot{x} = \ddt{t}{} \didi{L}{\dot{x}} \qquad\text{and}\qquad F(x) = - \nabla V(x) = \didi{L}{x}. \]
\begin{align*} F(\mathbf{q}) &= - A \mathbf{q} && V(q) = \int_0^1 \ip{A(t \mathbf{q})}{\mathbf{q}} \D{t} = \frac{1}{2} \ip{A \mathbf{q}}{\mathbf{q}}. \end{align*} \begin{align*} L(\mathbf{q}, \dot{\mathbf{q}}) &= \sum \frac{1}{2} m_i \norm{\dot{\mathbf{q}}_i}^2 - V(\mathbf{q}). \end{align*}
A spring-mass system. |
Let a mechanical system have a configuration manifold $M \subset \R^n$. We say the system is constrained when $M$ is a closed submanifold with $\dim M \lt n$.
A constrained mechanical system. |
Let a mechanical system have a configuration manifold $M \subset \R^n$. A smooth curve $c : I \subset \R \to M$ has the derivative $$\D{{}_t} c = \dot{c}(t)$$ and acceleration $$\covder{t}{\dot{c}(t)} = \Pi_{c(t)}(\ddot{c}(t)),$$ where $\Pi_x : T_x \R^n \to T_x M$ is the orthogonal projection.
Let $(M, g)$ be a Riemannian manifold, $v \in T_x M$. The kinetic energy of $v$ is $$T(x, v) = \frac{1}{2} g_x(v, v) = \frac{1}{2} \norm{v}_x^2.$$
Let $(M, g)$ be a Riemannian manifold, and $c : I \subset \R \to M$ be a $C^2$ curve. We define the acceleration of $c$ to be $$\nabla_{\dot{c}} \dot{c} \equiv \covder{t}{\dot{c}}.$$