## Roadmap for Formal Mathematical Physics Content

 Explanation: Separate sections using semantic markup like OMdoc and PhysML. This page shows a visual version using boxes rather than the specific implementation. Who does this work: human content creator Motive for doing this work: ease of navigation. Navigation: lecture video hand-written notes Latex document Content tags section document structure tagging words expression semantics tags for sections and words and expressions concepts to variables all steps derivation graph replace symbols with numeric ID validation of steps validation of dimension proof of inference rule Back to layers overview

scenario description Suppose an object starts an infinite distance from a moon and is dropped, falling towards the moon due to gravitational acceleration.
question What is the speed of the object when it is distance $$r$$ from the moon?
figure of scenario
Figure 1: small mass falling towards a moon from initial position at infinity.

initial condition The initial condition is $$v(x=\infty) =0 \label{eq:initial_velocity}$$ The force acting on the object is $$\vec{F} = \frac{-G m_1 m_2}{x^2} \hat{x} \label{eq:gravitational force}$$
step The work is calculated using W = $$\Delta E$$ since the force changes. To find the cumulative work done on the object, integrate over all positions between $$\infty$$ and $$r$$ $$W = \int_{\infty}^r \vec{F}\cdot d\vec{r} \label{eq:work as function of force}$$
step Substituting the gravitational force into Eq. \ref{eq:work as function of force}, $$W = \int_{\infty}^r \frac{-G m_1 m_2}{x^2} dx$$
step Factor out the constants, $$W = -G m_1 m_2\int_{\infty}^r \frac{1}{x^2} dx$$
step which leads to $$W = \frac{G m_1 m_2}{r}$$
step Another definition of work is that it is the change in energy for a system: $$W = \Delta E$$ Because the initial velocity was zero, the work here is $$W = \Delta KE$$ Thus we can combine the two definitions of work to get $$W = \frac{1}{2} m_1 v^2 = \frac{G m_1 m_2}{r}$$
step The $$m_1$$ cancels, leaving $$v(r) = \sqrt{\frac{2Gm_2}{r}}$$