MATHML
This page contains some formulas in MATHML coding. In fact this is my first attempt at MATHML. MATHML is too elaborate to write by hand. So the actual formulas are generated from a kind of ‘shorthand’ code (in the source code of this page) by means of a piece of Javascript called ASCIIMathML.js. You must have Javascript enabled to see this page correctly.
The math is displayed correctly if you use a modern browser (Netscape 7.1, Mozilla, Firefox), but you will need some math fonts:
In Debian Linux (the newest version, Sid), you must set the environment variable MOZ_DISABLE_PANGO to 1; otherwise the Debian browsers (‘iceweasel’ or ‘iceape’, as Debian now prefers to call them) will make a complete mess of MATHML display. Setting this environment variable may not be necessary (and may very well be harmful) in other distributions of Linux, in particular FC6.
Printing MATHML works fine on Windows. On Linux systems you need the newest Firefox/Iceweasel (3.0) for MATHML printing to work.
In high-school physics it is taught that in a collision, the change in momentum that a body undergoes is equal to the collision force times the duration of the collision:
or more accurately:
You can do some nice sums with this (‘assuming that the duration of the collision is 1 millisecond, what is the force?’) but in general, elementary textbooks give no hint about calculating and separately.
When I was an undergraduate physics student many years ago, I did some experiments with bouncing balls. I tried to analyse the problem theoretically, but did not succeed. I could, however, analyse the bouncing of shapes of uniform cross section, like a rectangular block.
Assume a rectangular body falls to the ground vertically. What happens? See the picture below, which shows the various stages of the ‘bounce’. We assume that the block is perfectly elastic (deformable without energy loss), and the ground perfectly un-yielding (infinitely ‘stiff’, and infinitely massive), so as to resist any impact. Actually by an ‘un-yielding’ surface I mean: a surface which will not allow any mechanical energy to be transferred upon it, having infinite ‘mechanical impedance’. Think of a rectangular rubber eraser falling down upon a stone slab. We disregard air resistance.
At moments A and B, the block is still in free fall. It does not ‘feel’ any force acting upon it; it is in an unstressed state (indicated by green). C is the moment when it hits the ground.
At the moment C, the top of the block ‘does not know’ that the bottom has already hit the ground. The top goes right on falling! Not for long, however. The bottom of the block does feel the impact. It goes into a stressed (and compressed) state, indicated by red in the picture. A shock wave moves up through the block at the speed of sound (i.e. the speed of sound in the solid, which can be much higher than the speed in air – and normally very much higher than the ‘fall speed’ of the block itself).
At the moment E, the compression wave has reached the top of the block. Now every particle in the block is momentarily standing still; all kinetic energy has been transformed into potential (i.e. elastic) energy. At this moment, the bottom of the block does not ‘know’ that the compression wave has reached the top; this information could not have reached it. But the top knows; it starts to ‘un-compress’ – and thus moving upwards. A ‘decompression wave’ starts to move downwards through the block – again at the speed of sound.
At the moment G, the decompression wave has hit the ground. The block is now again unstressed, and moving upwards (as a whole). At H, the block is free of the ground, and again in ‘free fall’ (as the physicists say; of course it is not falling in the common-sense meaning of the word, but moving upwards).
By putting some numbers into this, and using the formula for the speed of (longitudinal) sound in solids, it is easy to deduce, in the case of a perfectly elastic block:
I give the derivations below, but any reader could easily do this by him/herself. All the essential physics has already been mentioned above.
The most remarkable thing about the impact of a rectangular block (or a cylinder) is that the region behind the shock front (red in the picture) is uniformly stressed. I remember how amazed I was when I discovered this. I found it by some complicated reasoning involving Fourier series. For the time being the reader should just take this on faith. This also means that the stress at the bottom of the block during the collision, and therefore the force of the impact (stress × cross-section of the block) is constant during the impact.
The speed of sound in a solid, , is = where is the elasticity (Young’s modulus) of the solid and is its density. The duration of the collision is:
where L is the length (or height) of the block, because the sound wave has to run through the block twice. A typical value for the speed of sound in a solid, e.g. in steel, or in wood along the grain, is 5000 meters/second; in soft materials it is lower, e.g. in natural rubber it is about 1600 m/s.
If the mass of the block is , its falling speed is , and the collision is 100 % elastic, so that after the bounce the upward speed is also , the change in momentum is , and the impact force is
If the block started falling from rest, from a height (the height of the bottom of the block above the ground), the speed of impact is given by conservation of energy:
where is the acceleration of gravity (about 10 m/sec2). So:
So the impact force can be written as
This is interesting by itself; if the falling body is some kind of rod of a given density and cross-section, and we double its length, its mass will also be doubled – so the impact force remains the same! It just lasts twice as long.
We can also calculate the time that it takes for the block to fall from height ; it follows from the definition of :
When the block is just resting on the ground, the force felt by the ground is
So,
where is the time it takes for a sound wave to run through the block once (i.e. half the impact time). This ratio of ‘dynamic force’ to ‘static force’ could also be called the extra ‘g force’ that the falling object feels due to the impact (because, when just resting on the ground, it feels a force of ‘one g’).
At the moment E, the whole block is stressed. Because we assume perfect elasticity, the block will be strained (shortened) by an amount given by
where is the cross-section of the block. So:
So we can regard the block as a spring with ‘spring constant’ (=force/displacement) given by
The elastic (potential) energy of a such a spring, when the displacement is , is, according to another well-known high school physics formula:
By substituting our earlier results into this formula, we get the satisfying result:
because , the mass of the block. So really all the original potential energy of position has been transformed into elastic energy. This should give some confidence in the consistency of this theory.
The key result is the equation in section 3:
This by itself gives already a few practical results:
More interesting is the case of a section of a skyscraper, say of 50 floors each of 4 meters in height, which suddenly finds itself in free fall because some miscreants, by flying a huge aeroplane into it, blew away a floor below, or weakened it beyond its carrying capacity by softening the steel columns keeping the structure up. The following analysis is somewhat simplified (we should take into account both the elasticity of the falling block and of the bottom half of the skyscraper) but I believe it is essentially correct.
We would have (for a fall of 4 meters):
while
The ratio of the two values is about 23 (¹). After falling through the height of one floor the section would experience a dynamic stress equal to about 23 times the static stress (that the building was designed for). As no engineer would design a structure with a safety factor of that magnitude (safety factors of about 3 are common in buildings), further failure of the structure would certainly occur.
¹ The actual number depends a little bit on assumptions, like the number of floors in the falling section of the building. The 2002 paper by Bazant and Zhou estimates a ratio of 31 (formula 1 in the paper is almost identical to the one in the present article; it just adds the static force to the total force).
The ‘overstress’ will communicate itself almost instantly (at the speed of sound in the steel supports) through the whole structure. As a result, the building may very well fail in many places at once. Its fragments would then tumble to the ground at free-fall speed. An experimental confirmation of near-simultaneous breakage at many spots in a structure can be seen here.
Many ‘9/11 conspiracy theorists’ say that the collapse of the WTC towers ‘would have violated elementary physics’ unless demolition charges had been placed throughout the structure. There are thousands of websites that claim this (²), but I suspect their authors do not really know much about elementary physics.
²Just look up ‘9/11 physics wtc’ (without the quotes) on Google. Almost all results point to sites believing in ‘controlled demolition’. An honourable exception is this site.
(8 August 2006, revised 31 August 2006, 3 November 2006)
The theory so far is very rudimentary. Several things are wrong with it, like:
WARNING. From here on this article will become slightly more difficult. However, if you read on to the end, you will be REWARDED with an applet that shows the actual bouncing in progress!
Addressing the first point first, we can gain some more insight by making a ‘model’ of the falling block. We model the block as a chain of massless springs and point masses. A model in which we have one spring topped by one mass is obviously very inaccurate (at least it conflicts grossly with the theory sketched above), because the collision will just be one half-cycle of a harmonic oscillator, with the compression of the spring (and therefore the force on the ground) being a half-sinusoid as a function of time. Above, I asserted that the force would be constant during the collision.
In the picture above, the block is modeled as a chain of four masses and four springs. In general we would have masses and springs, and we may expect the model to become more accurate as is increased. To save space, I turned the picture ninety degrees, so the collision is horizontal. The chain is shown moving with velocity , about to impinge upon the perfectly unyielding block B.
(22 September 2006)
Our chain must be a model of a solid block with unstressed total length , mass , and spring constant (stiffness) . Let us use lower case letters for the corresponding quantities in the individual springs and masses. Then
The last expression may not be immediately obvious, but a little thought will show that it is true. This shows, incidentally, that when you go to smaller and smaller dimensions, matter becomes harder and harder!
The instantaneous positions (x-coordinates) of the individual masses are , the lowest-numbered mass being the one closest to B.
The only forces acting on the masses (and therefore their accelerations) come from the springs (we neglect gravity here; that was another reason for drawing the picture horizontally). Mass only experiences force from one spring (from the left); the other masses are acted upon by two springs.
Let us call the extension of spring (the amount that it is longer than its unstressed length) . We have:
For the leftmost spring, when . Otherwise, (a negative value).
A spring with stiffness and extension pulls with a force (if is positive; otherwise it pushes, of course). So the net force on mass , and its acceleration , are related (by good old Newton’s second law, and using Newton’s notation: a double dot above means double differentiation with respect to time) as follows:
(please check the signs; this is pretty crucial). Of course, for , is zero, because there is no spring to the right.
Now let us shift the time coordinate so we have at the moment the chain just touches B (i.e. the instant C in the first picture). From then on (at least for a while) we will have .
Let’s also shift the space coordinates as follows:
At time therefore, for all . Also, because we shifted each by a constant, and . We also have at all time (check this!):
which is a little bit simpler than the previous expression for .
Now let us treat the , all together, as a vector. I.e. we use as shorthand for . Then, by substituting one thing into another (the reader may need some scrap of paper to verify this), we get
where is a tridiagonal matrix:
On the diagonal of this matrix, all elements are equal to 2, apart from the last one, which is 1 (corresponding to ‘only one spring’)! The elements just above and below the diagonal are equal to -1. All other elements are zero.
Now it just a simple (!) matter of solving this equation system. It is a set of second-order differential equations, so we also need initial conditions. They are: at : and for all .
The key is to find a way to completely diagonalise the matrix . Amazingly, this is possible (at least in principle) without resorting to numerical methods. Some searching on the Internet revealed a recent paper by Wen-Chyuan Yueh, which proves that our matrix has eigenvalues given by (for ) :
You can check this formula by using a pocket calculator and a numerical ‘diagonaliser’ (this is a good one, on-line on the Internet). The formula shows that all eigenvalues are distinct, real, and positive. They become smaller with increasing . Yueh also gives formulas for the eigenvectors.
Let’s work out an example for the first non-trivial case: . This can be done even without Yueh’s formulas. The explanation will be lengthy and tedious, but it will serve as a guide to find the solution for the ‘general ’ case.
(4 October 2006)
In the case the problem can be solved by hand, although it takes some effort. The matrix is
and the eigenvalues are the two roots of the equation . We get:
This does not look like the cosine expressions of Yueh’s formula, but they are really the same. Think of the close association between the ‘golden ratio’ and the regular pentagon (for the case , the expression in Yueh’s formula becomes 5). It is in fact useful to introduce here the ‘golden ratio constant’ , or 0.61803399, which can be used to simplify many expressions for the case under consideration (). has many ‘magical’ properties (which can be checked easily), like , , , etc.
The first eigenvalue can be written as , and the first eigenvector as:
Where is some function.
The second eigenvalue is , and the second eigenvector is
So
Now for simplicity we assume (by some scaling of the time coordinate), so we have (because )
This has a solution (which is, as required, zero for )
Similarly
with solution
The solution that we seek, , is some linear combination of the eigenvectors (or rather eigenfunctions) and . So:
and have to be chosen so that at . That means:
This yields (using the ‘magical’ properties of ):
to fit the initial conditions. The resulting functions and can now be plotted with gnuplot (actually we are plotting the and now):
The view here is vertical again. In our timescale (with ) the bounce takes approximately 2.63427 time units. The top mass starts from height 2. It descends more steeply than the bottom mass, which starts at height 1, and whose motion is a kind of ‘bathtub shape’.
We notice that the motion is not time-symmetrical. The ‘floor’ of the bathtub is not horizontal. Also, a numerical calculation shows that at the moment when the bottom mass reaches height 1 again (so that the bottom spring becomes free of the ground), its velocity is not exactly , nor are the speed and height of the top mass exactly and 2 respectively. Close, but not quite. In fact, at the moment of lift-off, the velocity of the center of gravity of the two masses is 0.9738149. In other words, the coefficient of restitution of the ‘two masses and two springs’ system is 0.9738149. The ‘missing energy’ is in the vibration (driven by the top spring) of the two masses about their common center of gravity. An example of the ‘arrow of time’ in the macroscopic world of classical mechanics?
I wonder if the motion will become more symmetrical, and the coefficient of restitution closer to one, when we increase the number of masses and springs. Maybe they won’t! That would be pretty bad for the simple theory of sections 1-5.
(9 October 2006)
Now we try to calculate the motion of the ‘ball and spring’ model for arbitrary , by analogy to the above method for the case.
Let the eigenvectors of matrix be stored in a matrix (so that column of is the -th eigenvector; is the -th component of the -th eigenvector).
Let the square roots of the eigenvalues be stored in a vector with components . The eigenvalues are real and positive, so they have real square roots.
The ‘weights’ (quantities like and in the example above) are in vector with components . is determined by the initial conditions:
This can solved by computing a vector with components , which is the solution of
and then putting
Now the movement of mass k can be described by
I put this in a small C program, using GSL (the ‘GNU Scientific Library’) for the matrix operations. Now we can compute and plot the other cases. It turns out that we didn’t need to worry. Already from we see that the picture has become much more symmetrical, the bathtub of the bottom mass has become much flatter, and the middle mass also describes a bathtub, but of half the width.
When we go to higher numbers of masses and springs, all the sinusoids combine to produce a clear triangular pattern:
On the sides of the triangle, we see the ‘compression wave’ moving upward until it meets the descending top of the chain, then moving down just as quickly. This is exactly like the behaviour of the solid block, as asserted in paragraphs 1-5.
These numerical experiments also produce some other things: as increases, the restitution coefficient becomes closer to 1 (although not completely uniformly), and the duration of the collision approaches 2 (in our time units). The case is the trivial case mentioned at the beginning of paragraph 6.1. It takes time units. It cannot ‘lose’ energy to internal degrees of freedom (because it doesn’t have any), so its restitution coefficient is 1.
| duration | Coeff. of restitution | |
| 1 | 3.141592654 | 1.0000000 |
| 2 | 2.634270792 | 0.9738149 |
| 3 | 2.429536835 | 0.9706905 |
| 4 | 2.332784360 | 0.9741725 |
| 5 | 2.276606027 | 0.9736748 |
| 6 | 2.232998859 | 0.9742083 |
| 7 | 2.204197093 | 0.9756464 |
| 8 | 2.182579247 | 0.9759477 |
| 16 | 2.100138195 | 0.9805711 |
| 32 | 2.055544323 | 0.9851961 |
| 64 | 2.031227683 | 0.9892320 |
| 100 | 2.021683613 | 0.9913945 |
| 1000 | 2.003566250 | 0.9976620 |
The time approaches 2? In what units? Well, of course in units of the time the compression wave takes to run through the chain (or the block of which the chain is a model). See the next section (still has to be written, unfortunately).
(12 October 2006)
The springs can be displayed as a thin blue line (1), or as a thick line which changes colour if a spring is compressed or un-compressed (2). If option 3 is selected, the springs are not displayed at all. This is nice when you select 50 masses; the black blocks overlap when pressed together, showing a wave of ‘blackness’ advancing and retreating.
The ‘attach’ option attaches the first spring to the block. Apart from being a bit of fun, this is useful for demonstrating phenomena occurring in waterhammer, an effect which has much in common with collision. If the first spring is attached, the motion goes on indefinitely, because there is no friction in the simulation. Energy is conserved. Nevertheless, the motion never repeats itself exactly as long as the number of masses is ‘less than infinite’.
The source code of this applet is here. Because this is my first Java program, I’d welcome comments from Java experts.
NOTE: the applet does not use the exact solution described above. It just integrates the equations of motion numerically, using the Runge-Kutta method.
(5 November 2007)
To be continued (if anyone is interested)