Ex 1.22 Driven pendulum, 2.2

Structure and Interpretation of Classical Mechanics

.

Derive the equations of motion using the Newtonian constraint force prescription, and show that they are the same as the Lagrange equations.

~~~

[guess]


(let* ((U (U-gravity 'g 'm))
       (x_s (literal-function 'x_s))
       (y_s (literal-function 'y_s))
       (L (L-driven-free 'm 'l x_s y_s U))
       (q-rect (up (literal-function 'x)
                   (literal-function 'y)
                   (literal-function 'F))))
  (show-expression
   (((Lagrange-equations L) q-rect) 't)))

.

.

\displaystyle{ \begin{aligned}   mD^2x(t) + \frac{F(t)}{l} \left[x(t) - x_s(t)\right] &= 0 \\   mg + m D^2y(t) + \frac{F(t)}{l} [y(t) - y_s(t)] &= 0 \\   -l^2 + [y(t)-y_s(t)]^2 + [x(t)-x_s(t)]^2 &= 0 \\  \end{aligned}}

[guess]

— Me@2022-02-08 10:04:45 AM

.

.

2022.02.08 Tuesday (c) All rights reserved by ACHK