\documentclass[11pt,letterpaper]{article}

\usepackage{fullpage}
\usepackage{amsmath}
\newcommand{\uu}{\mathbf{u}}
\newcommand{\uuh}{\hat{\uu}}
\newcommand{\MM}{\mathbf{M}}
\newcommand{\vv}{\mathbf{v}}
\newcommand{\dvv}{\Delta\vv}
\newcommand{\vvh}{\hat{\vv}}
\newcommand{\dvvh}{\hat{\Delta\vv}}
\newcommand{\xx}{\mathbf{x}}
\newcommand{\dxx}{\Delta\xx}
\newcommand{\xxh}{\hat{\xx}}
\newcommand{\dxxh}{\hat{\Delta\xx}}
\newcommand{\FF}{\mathbf{F}}
\newcommand{\FFh}{\hat{\FF}}
\renewcommand{\AA}{\mathbf{A}}
\newcommand{\bb}{\mathbf{b}}
\newcommand{\z}{\mathbf{0}}
\newcommand{\gp}[1]{{\left({#1}\right)}}
\newcommand{\mx}[1]{\gp{\begin{array}{c} #1 \end{array}}}
\newcommand{\dd}[2]{\frac{d{#1}}{d{#2}}}

\begin{document}

\title{CS 205b / CME 306}
\author{Application Track}
\date{Homework 3}
\maketitle

\begin{enumerate}
\item A simple spring between particles at $\xx_1$ and $\xx_2$ in 3D can be defined by the equations
  \begin{align}
    \FF &= m_1 \dd{\vv_1}{t} & \FF &= -m_2 \dd{\vv_2}{t} & \uu &= \frac{\dxx}{\|\dxx\|} & \FF &= -k_s \gp{\frac{\|\dxx\|}{x_0} - 1} \uu - k_d (\dvv \cdot \uu) \uu \nonumber \\
    \vv_1 &= \dd{\xx_1}{t} & \vv_2 &= \dd{\xx_2}{t} & \dxx &= \xx_1 - \xx_2 & \dvv &= \vv_1 - \vv_2.
    \label{eqn:spring-3d}
  \end{align}
  We would like to examine transformations under which these equations are invariant.  That is, consider the new quantities obtained by applying transforms of the form
  \begin{align*}
    \xxh_1 & = \AA_1 \xx_1 + \bb_1 &
    \vvh_1 & = \AA_2 \vv_1 + \bb_2 &
    \FFh & = \AA_3 \FF + \bb_3 \\
    \xxh_2 & = \AA_4 \xx_2 + \bb_4 &
    \vvh_2 & = \AA_5 \vv_2 + \bb_5 \\
    \hat{m_1} &= \alpha_3 m_1 + \beta_3 &
    \hat{m_2} &= \alpha_4 m_2 + \beta_4 &
    \hat{t} &= \alpha_5 t + \beta_5 \\
    \hat{x_0} &= \alpha_6 x_0 + \beta_6 &
    \hat{k_s} &= \alpha_1 k_s + \beta_1 &
    \hat{k_d} &= \alpha_2 k_d + \beta_2 \\
    \dxxh &= \xxh_1 - \xxh_2 &
    \dvvh &= \vvh_1 - \vvh_2 &
    \uuh & = \frac{\dxxh}{\|\dxxh\|}
  \end{align*}
  where $\AA_i$ are non-singular matrices with positive determinant and $\alpha_i$ are positive.  All of the matrices $\AA_i$, vectors $\bb_i$, and scalars $\alpha_i$ and $\beta_i$ are
  constants.  That is, they do not depend on $t$, $\xx_1$, $\xx_2$, or any of the other quantities that occur in (\ref{eqn:spring-3d}).  We also require that these transformed quantities
  also satisfy
  \begin{align}
    \FFh &= \hat{m} \dd{\vvh_1}{\hat{t}} & \FFh &= -\hat{m} \dd{\vvh_2}{\hat{t}} & \uuh &= \frac{\dxxh}{\|\dxxh\|} & \FFh &= -\hat{k_s} \gp{\frac{\|\dxxh\|}{\hat{x_0}} - 1} \uuh -
    \hat{k_d} (\dvvh \cdot \uuh) \uuh \nonumber \\
    \vvh_1 &= \dd{\xxh_1}{\hat{t}} & \vvh_2 &= \dd{\xxh_2}{\hat{t}} & \dxxh &= \xxh_1 - \xxh_2 & \dvvh &= \vvh_1 - \vvh_2.
    \label{eqn:spring-3d-x}
  \end{align}
  Find the most general possible transform.  In particular, a transform is suitable if it has the form above and every solution to (\ref{eqn:spring-3d}) is transformed to a solution of
  (\ref{eqn:spring-3d-x}).

  Provide a physical interpretation for each of these degrees of freedom.  That is, explain why \textit{any} physically meaningful force between two particles must be invariant under
  these transforms, provided of course that its parameters are given suitable transform rules.

  Finding the fully general set of transforms (there should be 10 degrees of freedom) and showing that they are suitable is worth one point.  Showing that any suitable transform has this
  form (and as a result that there are not more than 10 degrees of freedom) is worth a second point.  The physical intuition is worth a third point.
\item For each variable in (\ref{eqn:spring-3d}), determine its SI units.
\item Show that the linear spring conserves mass, momentum, and angular momentum.
\item Show that the energy for a (well-posed) spring is in general decreasing and find the condition a spring's parameters must satisfy to conserve energy.  The potential energy of the
  spring is $U = \frac{1}{2} \frac{k_s}{x_0} (\|\dxx\| - x_0)^2$.
\item Show that the center of mass of the system undergoes uniform translation.  (That is, the center of mass moves through space with constant velocity.)
\item Show that evolving (\ref{eqn:spring-3d}) using forward Euler conserves mass and momentum but not angular momentum.
\end{enumerate}

\end{document}