# Linear Algebra/Topic: Dimensional Analysis/Solutions
## Solutions
### Problem 1

Consider a projectile, launched with initial velocity $v_{0}$, at an angle $\theta$. An investigation of this motion might start with the guess that these are the relevant quantities. (de Mestre 1990)
| quantity | dimensional  formula |
| horizontal position $x$ | $L^{1}M^{0}T^{0}$ |
| vertical position $y$ | $L^{1}M^{0}T^{0}$ |
| initial speed $v_{0}$ | $L^{1}M^{0}T^{-1}$ |
| angle of launch $\theta$ | $L^{0}M^{0}T^{0}$ |
| acceleration due to gravity $g$ | $L^{1}M^{0}T^{-2}$ |
| time $t$ | $L^{0}M^{0}T^{1}$ |
* Show that $\{gt/v_{0},gx/v_{0}^{2},gy/v_{0}^{2},\theta \}$ is a complete set of dimensionless products. (Hint. This can be done by finding the appropriate free variables in the linear system that arises, but there is a shortcut that uses the properties of a basis.)
* These two equations of motion for projectiles are familiar: $x=v_{0}\cos(\theta )t$ and $y=v_{0}\sin(\theta )t-(g/2)t^{2}$. Manipulate each to rewrite it as a relationship among the dimensionless products of the prior item.

### Answer

* This relationship gives rise to this linear system (note that there is no restriction on $p_{4}$). The natural parametrization uses the free variables to give $p_{3}=-2p_{5}+p_{6}$ and $p_{1}=-p_{2}+p_{5}-p_{6}$. The resulting description of the solution set gives $\{y/x,\theta ,xt/{v_{0}}^{2},v_{0}t/x\}$ as a complete set of dimensionless products (recall that "complete" in this context does not mean that there are no other dimensionless products; it simply means that the set is a basis). This is, however, not the set of dimensionless products that the question asks for. There are two ways to proceed. The first is to fiddle with the choice of parameters, hoping to hit on the right set. For that, we can do the prior paragraph in reverse. Converting the given dimensionless products $gt/v_{0}$, $gx/v_{0}^{2}$, $gy/v_{0}^{2}$, and $\theta$ into vectors gives this description (note the ?'s where the parameters will go). The $p_{4}$ is already in place. Examining the rows shows that we can also put in place $p_{6}$, $p_{1}$, and $p_{2}$. The second way to proceed, following the hint, is to note that the given set is of size four in a four-dimensional vector space and so we need only show that it is linearly independent. That is easily done by inspection, by considering the sixth, first, second, and fourth components of the vectors.
    $(L^{1}M^{0}T^{0})^{p_{1}}(L^{1}M^{0}T^{0})^{p_{2}}(L^{1}M^{0}T^{-1})^{p_{3}}(L^{0}M^{0}T^{0})^{p_{4}}(L^{1}M^{0}T^{-2})^{p_{5}}(L^{0}M^{0}T^{1})^{p_{6}}=L^{0}M^{0}T^{0}$
    ${\begin{array}{*{6}{rc}r}p_{1}&+&p_{2}&+&p_{3}&\ &\ &+&p_{5}&&&=&0\\&&&&&&&&&&0&=&0\\&&&&-p_{3}&&&-&2p_{5}&+&p_{6}&=&0\end{array}}$
    $\{{\begin{pmatrix}p_{1}\\p_{2}\\p_{3}\\p_{4}\\p_{5}\\p_{6}\end{pmatrix}}=p_{2}{\begin{pmatrix}-1\\1\\0\\0\\0\\0\end{pmatrix}}+p_{4}{\begin{pmatrix}0\\0\\0\\1\\0\\0\end{pmatrix}}+p_{5}{\begin{pmatrix}1\\0\\-2\\0\\1\\0\end{pmatrix}}+p_{6}{\begin{pmatrix}-1\\0\\1\\0\\0\\1\end{pmatrix}}\,{\big |}\,p_{2},p_{4},p_{5},p_{6}\in \mathbb {R} \}$
    $\{{\begin{pmatrix}p_{1}\\p_{2}\\p_{3}\\p_{4}\\p_{5}\\p_{6}\end{pmatrix}}={\underline {\ {\textit {?}}\ }}{\begin{pmatrix}0\\0\\-1\\0\\1\\1\end{pmatrix}}+{\underline {\ {\textit {?}}\ }}{\begin{pmatrix}1\\0\\-2\\0\\1\\0\end{pmatrix}}+{\underline {\ {\textit {?}}\ }}{\begin{pmatrix}0\\1\\-2\\0\\1\\0\end{pmatrix}}+p_{4}{\begin{pmatrix}0\\0\\0\\1\\0\\0\end{pmatrix}}\,{\big |}\,p_{2},p_{4},p_{5},p_{6}\in \mathbb {R} \}$
* The first equation can be rewritten so that Buckingham's function is $f_{1}(\Pi _{1},\Pi _{2},\Pi _{3},\Pi _{4})=\Pi _{2}-\Pi _{1}\cos(\Pi _{4})$. The second equation can be rewritten and Buckingham's function here is $f_{2}(\Pi _{1},\Pi _{2},\Pi _{3},\Pi _{4})=\Pi _{3}-\Pi _{1}\sin(\Pi _{4})+(1/2){\Pi _{1}}^{2}$.
    ${\frac {gx}{{v_{0}}^{2}}}={\frac {gt}{v_{0}}}\cos \theta$
    ${\frac {gy}{{v_{0}}^{2}}}={\frac {gt}{v_{0}}}\sin \theta -{\frac {1}{2}}\left({\frac {gt}{v_{0}}}\right)^{2}$

### Problem 2

    Einstein (Einstein 1911) conjectured that the infrared characteristic frequencies of a solid may be determined by the same forces between atoms as determine the solid's ordanary elastic behavior. The relevant quantities are
| quantity | dimensional  formula |
| characteristic frequency $\nu$ | $L^{0}M^{0}T^{-1}$ |
| compressibility $k$ | $L^{1}M^{-1}T^{2}$ |
| number of atoms per cubic cm $N$ | $L^{-3}M^{0}T^{0}$ |
| mass of an atom $m$ | $L^{0}M^{1}T^{0}$ |
Show that there is one dimensionless product. Conclude that, in any complete relationship among quantities with these dimensional formulas, $k$ is a constant times $\nu ^{-2}N^{-1/3}m^{-1}$. This conclusion played an important role in the early study of quantum phenomena.

### Answer

We consider
    $(L^{0}M^{0}T^{-1})^{p_{1}}(L^{1}M^{-1}T^{2})^{p_{2}}(L^{-3}M^{0}T^{0})^{p_{3}}(L^{0}M^{1}T^{0})^{p_{4}}=(L^{0}M^{0}T^{0})$
which gives these relations among the powers.
    ${\begin{array}{*{4}{rc}r}&&p_{2}&-&3p_{3}&&&=&0\\&&-p_{2}&&&+&p_{4}&=&0\\-p_{1}&+&2p_{2}&&&&&=&0\end{array}}\;{\xrightarrow[]{\rho _{1}\leftrightarrow \rho _{3}}}\;{\xrightarrow[]{\rho _{2}+\rho _{3}}}\;{\begin{array}{*{4}{rc}r}-p_{1}&+&2p_{2}&&&&&=&0\\&&-p_{2}&&&+&p_{4}&=&0\\&&&\ &-3p_{3}&+&p_{4}&=&0\end{array}}$
This is the solution space (because we wish to express $k$ as a function of the other quantities, $p_{2}$ is taken as the parameter).
    $\{{\begin{pmatrix}2\\1\\1/3\\1\end{pmatrix}}p_{2}\,{\big |}\,p_{2}\in \mathbb {R} \}$
Thus, $\Pi _{1}=\nu ^{2}kN^{1/3}m$ is the dimensionless combination, and we have that $k$ equals $\nu ^{-2}N^{-1/3}m^{-1}$ times a constant (the function ${\hat {f}}$ is constant since it has no arguments).

### Problem 3

The torque produced by an engine has dimensional formula $L^{2}M^{1}T^{-2}$. We may first guess that it depends on the engine's rotation rate (with dimensional formula $L^{0}M^{0}T^{-1}$), and the volume of air displaced (with dimensional formula $L^{3}M^{0}T^{0}$) (Giordano, Wells & Wilde 1987).
* Try to find a complete set of dimensionless products. What goes wrong?
* Adjust the guess by adding the density of the air (with dimensional formula $L^{-3}M^{1}T^{0}$). Now find a complete set of dimensionless products.

### Answer

* Setting gives this which implies that $p_{1}=p_{2}=p_{3}=0$. That is, among quantities with these dimensional formulas, the only dimensionless product is the trivial one.
    $(L^{2}M^{1}T^{-2})^{p_{1}}(L^{0}M^{0}T^{-1})^{p_{2}}(L^{3}M^{0}T^{0})^{p_{3}}=(L^{0}M^{0}T^{0})$
    ${\begin{array}{*{3}{rc}r}2p_{1}&&&+&3p_{3}&=&0\\p_{1}&&&&&=&0\\-2p_{1}&-&p_{2}&&&=&0\end{array}}$
* Setting gives this. Taking $p_{1}$ as parameter to express the torque gives this description of the solution set. Denoting the torque by $\tau$, the rotation rate by $r$, the volume of air by $V$, and the density of air by $d$ we have that $\Pi _{1}=\tau r^{-2}V^{-5/3}d^{-1}$, and so the torque is $r^{2}V^{5/3}d$ times a constant.
    $(L^{2}M^{1}T^{-2})^{p_{1}}(L^{0}M^{0}T^{-1})^{p_{2}}(L^{3}M^{0}T^{0})^{p_{3}}(L^{-3}M^{1}T^{0})^{p_{4}}=(L^{0}M^{0}T^{0})$
    ${\begin{array}{*{4}{rc}r}2p_{1}&&&+&3p_{3}&-&3p_{4}&=&0\\p_{1}&&&&&+&p_{4}&=&0\\-2p_{1}&-&p_{2}&&&&&=&0\end{array}}\;{\xrightarrow[{\rho _{1}+\rho _{3}}]{(-1/2)\rho _{1}+\rho _{2}}}\;{\xrightarrow[]{\rho _{2}\leftrightarrow \rho _{3}}}{\begin{array}{*{4}{rc}r}2p_{1}&&&+&3p_{3}&-&3p_{4}&=&0\\&&-p_{2}&+&3p_{3}&-&3p_{4}&=&0\\&\ &&&(-3/2)p_{3}&+&(5/2)p_{4}&=&0\end{array}}$
    $\{{\begin{pmatrix}1\\-2\\-5/3\\-1\end{pmatrix}}p_{1}\,{\big |}\,p_{1}\in \mathbb {R} \}$

### Problem 4

Dominoes falling make a wave. We may conjecture that the wave speed $v$ depends on the spacing $d$ between the dominoes, the height $h$ of each domino, and the acceleration due to gravity $g$. (Tilley)
* Find the dimensional formula for each of the four quantities.
* Show that $\{\Pi _{1}=h/d,\Pi _{2}=dg/v^{2}\}$ is a complete set of dimensionless products.
* Show that if $h/d$ is fixed then the propagation speed is proportional to the square root of $d$.

### Answer

* These are the dimensional formulas. quantity   dimensional  formula speed of the wave $v$   $L^{1}M^{0}T^{-1}$ separation of the dominoes $d$   $L^{1}M^{0}T^{0}$ height of the dominoes $h$   $L^{1}M^{0}T^{0}$ acceleration due to gravity $g$   $L^{1}M^{0}T^{-2}$
* The relationship gives this linear system. Taking $p_{3}$ and $p_{4}$ as parameters, the solution set is described in this way. That gives $\{\Pi _{1}=h/d,\Pi _{2}=dg/v^{2}\}$ as a complete set.
    $(L^{1}M^{0}T^{-1})^{p_{1}}(L^{1}M^{0}T^{0})^{p_{2}}(L^{1}M^{0}T^{0})^{p_{3}}(L^{1}M^{0}T^{-2})^{p_{4}}=(L^{0}M^{0}T^{0})$
    ${\begin{array}{*{4}{rc}r}p_{1}&+&p_{2}&+&p_{3}&+&p_{4}&=&0\\&&&&&&0&=&0\\-p_{1}&&&&&-&2p_{4}&=&0\end{array}}\;{\xrightarrow[]{\rho _{1}+\rho _{4}}}\;{\begin{array}{*{4}{rc}r}p_{1}&+&p_{2}&+&p_{3}&+&p_{4}&=&0\\&&p_{2}&+&p_{3}&-&p_{4}&=&0\end{array}}$
    $\{{\begin{pmatrix}0\\-1\\1\\0\end{pmatrix}}p_{3}+{\begin{pmatrix}-2\\1\\0\\1\end{pmatrix}}p_{4}\,{\big |}\,p_{3},p_{4}\in \mathbb {R} \}$
* Buckingham's Theorem says that $v^{2}=dg\cdot {\hat {f}}(h/d)$, and so, since $g$ is a constant, if $h/d$ is fixed then $v$ is proportional to ${\sqrt {d\,}}$.

### Problem 5

Prove that the dimensionless products form a vector space under the ${\vec {+}}$ operation of multiplying two such products and the ${\vec {\cdot }}$ operation of raising such the product to the power of the scalar. (The vector arrows are a precaution against confusion.) That is, prove that, for any particular homogeneous system, this set of products of powers of $m_{1}$, ..., $m_{k}$
    $\{m_{1}^{p_{1}}\dots m_{k}^{p_{k}}\,{\big |}\,p_{1},\ldots ,p_{k}{\text{ satisfy the system}}\}$
is a vector space under:
    $m_{1}^{p_{1}}\dots m_{k}^{p_{k}}{\vec {+}}m_{1}^{q_{1}}\dots m_{k}^{q_{k}}=m_{1}^{p_{1}+q_{1}}\dots m_{k}^{p_{k}+q_{k}}$
and
    $r{\vec {\cdot }}(m_{1}^{p_{1}}\dots m_{k}^{p_{k}})=m_{1}^{rp_{1}}\dots m_{k}^{rp_{k}}$
(assume that all variables represent real numbers).

### Answer

Checking the conditions in the definition of a vector space is routine.

### Problem 6

The advice about apples and oranges is not right. Consider the familiar equations for a circle $C=2\pi r$ and $A=\pi r^{2}$.
* Check that $C$ and $A$ have different dimensional formulas.
* Produce an equation that is not dimensionally homogeneous (i.e., it adds apples and oranges) but is nonetheless true of any circle.
* The prior item asks for an equation that is complete but not dimensionally homogeneous. Produce an equation that is dimensionally homogeneous but not complete.
(Just because the old saying isn't strictly right, doesn't keep it from being a useful strategy. Dimensional homogeneity is often used as a check on the plausibility of equations used in models. For an argument that any complete equation can easily be made dimensionally homogeneous, see (Bridgman 1931, Chapter I, especially page 15.)

### Answer

* The dimensional formula of the circumference is $L$, that is, $L^{1}M^{0}T^{0}$. The dimensional formula of the area is $L^{2}$.
* One is $C+A=2\pi r+\pi r^{2}$.
* One example is this formula relating the length of arc subtended by an angle to the radius and the angle measure in radians: $\ell -r\theta =0$. Both terms in that formula have dimensional formula $L^{1}$. The relationship holds for some unit systems (inches and radians, for instance) but not for all unit systems (inches and degrees, for instance).

## References

* Bridgman, P. W. (1931), Dimensional Analysis, Yale University Press.
* de Mestre, Neville (1990), The Mathematics of Projectiles in sport, Cambridge University Press.
* Giordano, R.; Wells, M.; Wilde, C. (1987), "Dimensional Analysis", UMAP Modules, COMAP (526).
* Einstein, A. (1911), Annals of Physics, 35: 686 {{citation}}: Missing or empty |title= (help).
* Tilley, Burt, Private Communication.