Systems with Coriolis Acceleration

Consider a crank with internal slider mechanism and its configuration space (c-space) \(Q \approx S^1 \times \mathbb{I}\).

A crank with an internal slider
A drawing of a crank with an internal slider

We shall identify \(S^1 \times \mathbb{I}\) with \([0,2\pi] \times [0, L]\), with dimensions of \(\text{angular measure} \cdot \text{length}\) and, say, units of \(\text{rad} \cdot \text{m}\), via the coordinate patch \(\phi: [0,2\pi] \times [0, L] \to S^1 \times \mathbb{I}\) given by \(\phi(\theta_1, x) = (\cos(\theta_1)x, \sin(\theta_1)x)\) and therefore endow it with the units of \(\text{rad} \cdot \text{m}\), although it is technically unitless.

(The below is from a template for these kinds of webpages; ignore it for now.)

The Riemannian metric (r-metric) \(g(\theta_1, \theta_2)\) (written as \(M(\theta)\) in the following graphic from https://youtu.be/BjD-pL819LA?si=q8_It-jJFEq0AmEu&t=212; \(g(\theta)\) in the following graphic is the gravity term) may be read off the equation of motion (EoM):

Equation of Motion for motion on a 2-torus

The Riemannian metric in the standard coordinate patch for this robot arm is given by

\[ g(\theta,x) = \text{TBD} \]

(For definiteness, for this particular double-pendulum robot arm, the values of the parameters are  \(m_i = 28.927\) kg, \(I_{zz,i} = 3.335\) \(\text{kg}\cdot\text{m}^2\), and \(L_i = 1.000\) m in SI, but these values are mutable. Here is an OnShape model of the robot arm https://cad.onshape.com/documents/13c5b197f578ed74e3c43266/w/31eaf96cbef839c27d1f6215/e/2af3572176e096bf67365da2?renderMode=0&uiState=64c22d4a8c079b328fbabd57. Using these values leads to a r-metric of


\[g(\theta, x) = \text{TBD}.)\]

Note that the entries in the Riemannian metric have dimensions of \(\left[\text{Length}^2 \cdot \text{Mass}\right]\). (It should be noted that there are dimensions/units used for the describing the robot arm and hence, perhaps bizarrely, for describing the Riemannian metric. Points in the manifold and tangent vectors to the manifold are part of the intrinsic topology of the underlying smooth manifold of the c-space and have only dimensions of [Angular Measure], while inner products/norms of tangent vectors and lengths of curves/distances between points in the manifold depend on Riemannian metric, which is extrinsic to the topology of the underlying manifold; inner products of tangent vectors have dimensions of \(\displaystyle\left[\text{Angular Measure}\cdot\text{Length}^3 \cdot \text{Mass}\right]\) while norms of tangent vectors and lengths of curves/distances between points have units of \(\displaystyle\left[\text{Angular Measure}^{\frac{1}{2}}\cdot\text{Length}^{\frac{3}{2}} \cdot \text{Mass}^{\frac{1}{2}}\right]\).)

Bibliography:
[1] https://ekamperi.github.io/mathematics/2019/10/29/riemann-curvature-tensor.html