How to use this demonstration:
This graphlet is about variational approach to mechanics. The main slider, located at the bottom of the graphlet, executes a global variation sweep.
In the upper frame the two large grey dots are draggable points that are are adjusters for the trajectory. The upper adjuster morphs the trajectory towards a parabola; the lower adjuster morphs the trajectory towards a triangle shape.
These adjusters allow morphing of the trial trajectory while maintaining that during the entire ascent the velocity never increases again (which would be unphysical).
Clicking the checkbox 'More controls' sets a row of ten grey draggable points to visible. These are separate adjusters for the the individual trajectory points. As you slide the grey point the corresponding black point is moved by a small amount. These ten adjusters are actually not practical. The only reason for keeping them available is so that the user can personally experience that they are unpractical.
There is an additional draggable point all the way to the right.
This adjusts an attenuation factor. If you slide that point all the way up then the connection between the grey points and the black points is a 1:1 connection.
In the lower left sub-panel: the grey point is draggable, and it drags the entire curve of the kinetic energy (red) with it. By shifting the kinetic energy curve over to the potential energy curve the user can verify that the red and green curve are parallel to each other along the entire trajectory.
In the lower right sub-panel: the red and green point respectively represent the value of the integral of the corresponding curve in the lower left sub-panel.
The purpose of the demonstration
The Energy-Position Equation
We have in mathematical physics that when moving along the true trajectory the rate of change of kinetic energy matches the rate of change of potential energy (Work-Energy theorem).
To emphasize this matching feature the graph of the potential energy (green) has been turned upside down. It has been mirrored in the x-axis.
The positions of the trial trajectory points displayed in the upper sub-panel have been tweaked to make the two energy curves in the lower left sub-panel parallel to each other along the entire trajectory. The two energy curves have the same tangent along the entire trajectory. Hence the trajectory satisfies the following equation:
The concept of energy introduces an opportunity not available in the newtonian formalism. Newtonian formalism: an equation to solve is set up in the form of a time derivative since what we need to end up with is an equation that gives position as a function of time. (When rolling a marble we get to construct the ramp. But we have no agency over the time coordinate; automatically the equation that we set up is in terms of the time derivative.)
In terms of energy mechanics: for a given trajectory we attribute a potential energy and a kinetic energy to every point along that trajectory. For a given trajectory the rate of change of energy can be expressed in two ways:
- as the time derivative
- as the position derivative
When using the position derivative as starting point it's still the case that the end goal is to obtain an equation that gives the position as a function of time. Nonetheless, we can start with the position derivative of the energy. (Since kinetic energy is a function of velocity we will in the end obtain an equation of motion that gives position as a function of time.)
Next to each other the time derivative and the position derivative:
For variation between two fixed points:
If, along the entire trajectory:
From here on I will refer to (2) as the 'Energy-Position equation', as it evaluates the derivative with respect to position.
In addition: by expressing the physics taking place in terms of energy the expressive power of generalized coordinates is available. The significance of being able to use generalized coordinates cannot be overstated.
Integration is a linear operation
The graphlet shows there is a bonus feature. Integration is a linear operation. Hence:
For variation between two fixed points:
If, along the entire trajectory:
That is: since integration is a linear operation the property expressed by the Energy-Position equation propagates to the integrals.
I propose to refer to this property as 'the equal derivative corollary'. If the Energy-position equation is satisfied Eq. (3) is satisfied too.
The display in the lower right sub-panel presents the respective integrals.
In this graphlet the global variation is implemented in the following way: what is added to the curve is a smaller version of the curve itself.
With pv as variational parameter:
(trial trajectory) = (1 + pv) * (true trajectory)
What that means is that the global variation is linear, which in turn means that the following two are identical:
- derivative with respect to variation
- derivative with respect to position
The main slider sets the value pv. That means that the representation in the lower right subpanel is an exact display of Eq. (3). What remains is to indicate the point where the two integrals are changing at the same rate.
Lemma. When two functions are changing at the same rate, one ascending the other descending, then the sum will be at an extremum.
The blue dot displays the value of the sum. As you sweep out variation: when the trial trajectory coincides with the true trajectory Eq. (3) is satisfied, putting the blue point at an extremum of its curve.
In this graphlet the potential increases with the cube of the displacement. The response of the kinetic energy to variation is of lower order: it is quadratic (kinetic energy being proportional to the square of the velocity). Hence in this graphlet the extremum is a maximum.
Variation of subsections of the trajectory
The master slider at the bottom of the graphlet executes a global sweep of variation. In this graphlet, with potential energy proportional to the cube of dispacement, the extremum that appears is a maximum.
However, when we apply the adjusters at the left side of the upper sub-panel we see that such a subsection sweep increases the sum. That is, in the case of potential energy proportional to the cube of displacement the responses do not line up. Response to local variation on one hand and to global variation on the other hand is in opposite directions.
Low order potentials
Of course, a potential proportional to the cube of displacement is rare in Nature. In most cases the potential is of lower order. Let's take the case of a linear potential. Then the response to local variation sweep will be in the same direction as the response to global variation sweep. That brings me to a lemma that I propose to name 'Jacob's lemma'.
When Johann Bernoulli had presented the Brachistochrone problem to the mathematicians of the time Jacob Bernoulli was among the few who was able to find the solution independently. The treatment by Jacob Bernoulli is in the Acta Eruditorum, May 1697, pp. 211-217
Jacob opens his treatment with an observation concerning the fact that the curve that is sought is a minimum curve.
Lemma. Let ACEDB be the desired curve along which a heavy point falls from A to B in the shortest time, and let C and D be two points on it as close together as we like. Then the segment of arc CED is among all segments of arc with C and D as end points the segment that a heavy point falling from A traverses in the shortest time. Indeed, if another segment of arc CFD were traversed in a shorter time, then the point would move along ACFDB in a shorter time than along ACEDB, which is contrary to our supposition.
Jacob's lemma generalizes to all cases where the curve that you want to find is an extremum; either a maximum or a minimum. If the evaluation is an extremum for the entire curve, then it is also an extremum for any sub-section of the curve, down to infinitisimally short subsections.
With Jacob's lemma in place I return to the case of a potential that is of lower order than that of the kinetic energy. Then the response to local variation sweep and to global variation sweep will be in the same direction.
This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.
Last time this page was modified: January 03 2021