Main Page: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
No edit summary
No edit summary
Line 1: Line 1:
The '''ladder paradox''' (or '''barn-pole paradox''') is a [[thought experiment]] in [[special relativity]]. It involves a ladder travelling horizontally and undergoing a [[length contraction]], the result of which being that it can fit into a much smaller garage. On the other hand, from the point of view of an observer moving with the ladder, it is the garage that is moving and the garage will be contracted to an even smaller size, therefore being unable to contain the ladder at all.  This apparent paradox results from the assumption of absolute simultaneityIn relativity, [[Relativity of simultaneity|simultaneity is relative]] to each observer and thus the ladder can fit into the garage in both instances.
{{Classical mechanics|cTopic=Fundamental concepts}}
'''Virtual work''' arises in the application of the ''[[principle of least action]]'' to the study of forces and movement of a [[mechanical system]]. The [[Work (physics)|work]] of a force acting on a particle as it moves along a displacement will be different for different displacements. Among all of the possible displacements that a particle may follow, called [[virtual displacement]]s, one will minimize the action, and, therefore, is the one followed by the particle by the principle of least actionThe work of a force on a particle along a virtual displacement is known as the virtual work.


==Paradox==
Historically, virtual work and the associated [[calculus of variations]] were formulated to analyze systems of rigid bodies,<ref name=Lanczos>[http://books.google.com/books?id=ZWoYYr8wk2IC&printsec=frontcover&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false C. Lánczos, The Variational Principles of Mechanics, 4th Ed., General Publishing Co., Canada, 1970]</ref> but they have also been developed for the study of the mechanics of deformable bodies.<ref>Dym, C. L. and I. H. Shames, ''Solid Mechanics: A Variational Approach'', McGraw-Hill, 1973.</ref>
[[File:Ladder Paradox Overview.svg|thumb|266px|left|Figure 1: An overview of the garage and the ladder at rest]]
The problem starts with a ladder and an accompanying garage that is too small to contain the ladder.  Through the relativistic effect of [[length contraction]], the ladder can be made to fit into the garage by running it into the garage at a high enough speed.
[[File:Ladder Paradox GarageFrame.svg|thumb|152px|right|Figure 2: In the garage frame, the ladder undergoes length contraction and will therefore fit into the garage.]]
However, both the ladder and garage occupy their own [[inertial frame of reference|inertial reference frames]], and thus both frames are equally valid frames to view the problem. From the reference frame of the garage, it is the ladder that moves with a [[relative velocity]] and so it is the ladder that undergoes length contraction.
Conversely, through [[symmetry]], from the reference frame of the ladder it is the garage that is moving with a relative velocity and so it is the garage that undergoes a length contraction. From this perspective, the garage is made even smaller and it is impossible to fit the ladder into the garage.[[File:Ladder Paradox LadderFrame.svg|thumb|150px|center|Figure 3: In the ladder frame, the garage undergoes length contraction and seems too small to contain the ladder.]]


==Relative simultaneity==
== History ==
[[File:Ladder Paradox GarageScenario.svg|thumb|250px|left|Figure 4: Scenario in the garage frame: a length contracted ladder entering and exiting the garage]]
The introduction of virtual work and the principle of least action was guided by the view that the actual movement of a body is the one in a set of "tentative" realities that minimizes a particular quantity.  This idea that nature minimizes is a version of the "simplicity hypothesis" that can be traced to Aristotle.<ref name=Yourgrau>[http://books.google.com/books?id=OwTyrJJXZbYC&printsec=frontcover&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false W. Yourgrau and S. Mandelstam, Variational Principles in Dynamics and Quantum Theory, 3rd Ed., General Publishing Co., Canada, 1968]</ref>  Another form of this hypothesis is [[Occam's razor]] which states that "it is futile to employ many principles when it is possible to employ fewer." These ideas illustrate a view of physics that nature optimizes in some way.
[[File:Ladder Paradox LadderScenario.svg|thumb|250px|Figure 5: Scenario in the ladder frame: a length contracted garage passing over the ladder]]
The solution to the apparent paradox lies in the fact that what one observer (e.g. the garage) considers as simultaneous does not correspond to what the other observer (e.g. the ladder) considers as simultaneous ([[Relativity of simultaneity|relative simultaneity]])A clear way of seeing this is to consider a garage with two doors that swing shut to contain the ladder and then open again to let the ladder out the other side.


From the perspective of the garage, the length-contracted ladder is short enough to fit entirely inside. The instant the ladder is fully inside the garage, the front and back doors close simultaneously. Then, since the ladder is still moving at considerable speed, the front and back doors simultaneously open again to allow the ladder to exit.
[[Gottfried Leibniz]] formulated [[Newton's laws of motion]] in terms of work and kinetic energy, or ''vis viva'' (living force), which are minimized as a system moves.<ref name=Lanczos/><ref name=Yourgrau/>  [[Maupertuis]] adapted Leibniz's ideas as the ''principle of least action'' that nature minimizes action. But it was Euler and Lagrange who provided the mathematical foundation of the calculus of variations and applied it to the study of the statics and dynamics of mechanical systems.


From the perspective of the ladder, the back door (right) closes and opens, then after the garage passes over the ladder, the front door (left) closes and opens.
Hamilton's reformulation of the principle of least action and Lagrange's equations yielded a theory of dynamics that is the foundation for modern physics and quantum mechanics.


The situation is illustrated in the [[Minkowski diagram]] below. The diagram is in the rest frame of the garage. The vertical light-blue-shaded band shows the garage in space-time, the light-red band shows the ladder in space-time.  The x and t axes are the garage space and time axes, respectively, and x&prime; and t&prime; are the ladder space and time axes, respectively. The ladder is moving at a velocity of <math>v=c\sqrt{1/2}</math> in the positive x direction, therefore <math>\gamma=\sqrt{2}</math>.  (From the ladder's point of view, its speed in the x&prime; direction is the same.)
==Overview==
If a force acts on a particle as it moves from  point ''A'' to point ''B'', then, for each possible trajectory that the particle may take, it is possible to compute the total work done by the force along the path.   The ''principle of virtual work'', which is the form of the principle of least action applied to these systems, states that the path actually followed by the particle is the one for which the difference between the work along this path and other nearby paths is zero. The formal procedure for computing the difference of functions evaluated on nearby paths is a generalization of the derivative known from differential calculus, and is termed ''the calculus of variations''.


Since light travels at very close to one foot per nanosecond, let’s work in these units, so that <math>c \approx 1 \mbox{ft/ns}</math>. The garage is a small one, G=10 feet long, while in the ladder frame, the ladder is L=12 feet long.  In the garage frame, the front of the ladder will hit the back of the garage at time <math>t_A=G/v\approx14.14\mbox{ ns}</math> (if <math>t_D = t_O = 0</math> is chosen as the reference point).  This is shown as event '''A''' on the diagram. All lines parallel to the garage x axis will be simultaneous according to the garage observer, so the dark blue line '''AB''' will be what the garage observer sees as the ladder at the time of event '''A'''. The ladder is contained inside the garage. However, from the point of view of the observer on the ladder, the dark red line '''AC''' is what the ladder observer sees as the ladder. The back of the ladder is outside the garage.
Let the function '''x'''(''t'') define the path followed by a point. A nearby path can then be defined by adding the function ''δ'''''x'''(''t'') to the original path, so that the new path is given by '''x'''(''t'')+''δ'''''x'''(''t''). The function ''δ'''''x'''(''t'') is called the ''variation'' of the original path, and each of the components of ''δ'''''x'''=(''δx'', ''δy'', ''δz'') is called a ''virtual displacement''. This can be generalized to an arbitrary mechanical system defined by the [[generalized coordinates]] ''q''<sub>''i'' </sub>, ''i'' = 1, ..., ''n''. In which case, the variation of the trajectory ''q''<sub>''i'' </sub>(''t'') is defined by the virtual displacements ''δq''<sub>''i'' </sub>, ''i'' = 1, ..., ''n''.


[[File:LadderParadox1 Minkowski.svg|center|thumb|325px|Figure 6: A Minkowski diagram of ladder paradox. The garage is shown in light blue, the ladder in light red. The diagram is in the rest frame of the garage, with x and t being the garage space and time axes, respectively. The ladder frame is for a person sitting on the front of the ladder, with x&prime; and t&prime; being the ladder space and time axes respectively. The x and x&prime; axes are each {{convert|5|ft|m}} long in their respective frames, and the t and t&prime; axes are each 5&nbsp;ns in duration.]]
Virtual work can now be described as the work done by the applied forces and the inertial forces of a mechanical system as it moves through a set of virtual displacements. When considering forces applied to a body in static equilibrium, the principle of least action requires the virtual work of these forces to be zero.
<!--
'''Virtual work''' on a [[physical system|system]] is the [[mechanical work|work]] resulting from either virtual forces acting through a real [[Displacement (vector)|displacement]] or real [[forces]] acting through a [[virtual displacement]]. In this discussion, the term ''displacement'' may refer to a translation or a rotation, and the term ''force'' to a force or a moment. When the virtual quantities are [[independent variable]]s, they are also ''arbitrary''. Being arbitrary is an essential characteristic that enables one to draw important conclusions from mathematical relations. For example, in the matrix relation


==Resolution==
:<math>\mathbf{R}^{*T} \mathbf{r} = \mathbf{R}^{*T} \mathbf{B}^{T} \mathbf{q}</math>,


[[File:ladder paradox contraction.png|thumb|left|143px|Figure 7: A ladder contracting under acceleration to fit into a length contracted garage]]
if <math>\mathbf{R}^{*}</math> is an arbitrary vector, then one can conclude that <math> \mathbf{r} = \mathbf{B}^{T} \mathbf{q} </math>. In this way, the arbitrary quantities disappear from the final useful results.
-->


In the context of the paradox, when the ladder enters the garage and is contained within it, it must either continue out the back or come to a complete stop.  When the ladder comes to a complete stop, it accelerates into the reference frame of the garage.  From the reference frame of the garage, all parts of the ladder come to a complete stop simultaneously, and thus all parts must accelerate simultaneously.
== Introduction ==
In this introduction basic definitions are presented that will assist in understanding later sections.


From the reference frame of the ladder, it is the garage that is moving, and so in order to be stopped with respect to the garage, the ladder must accelerate into the reference frame of the garage.  All parts of the ladder cannot accelerate simultaneously because of relative simultaneityWhat happens is that each part of the ladder accelerates sequentially, front to back, until finally the back end of the ladder accelerates when it is within the garage, the result of which is that, from the reference frame of the ladder, the front parts undergo length contraction ''sequentially'' until the entire ladder fits into the garage.
Consider a particle ''P'' that moves along a trajectory '''r'''(''t'') from a point ''A'' to a point ''B'', while a force '''F''' is applied to it. Then the work done by the force is given by the integral
:<math> W = \int_{\mathbf{r}(t_0)=A}^{\mathbf{r}(t_1)=B}\mathbf{F}\cdot d\mathbf{r} = \int_{t_0}^{t_1}\mathbf{F}\cdot \mathbf{v}dt ,</math>
where ''d'''''r''' is the differential element along the curve that is the trajectory of ''P'', and '''v''' is its velocityIt is important to notice that the value of the work ''W'' depends on the trajectory '''r'''(''t'').


[[File:junk2.png|frame|center|Figure 8: A Minkowski diagram of the case where the ladder is stopped all along its length, simultaneously in the garage frame. When this occurs, the garage frame sees the ladder as AB, but the ladder frame sees the ladder as AC. When the back of the ladder enters the garage at point D, it has not yet felt the effects of the acceleration of its front end. At this time, according to someone at rest with respect to the back of the ladder, the front of the ladder will be at point E and will see the ladder as DE. It is seen that this length in the ladder frame is not the same as CA, the rest length of the ladder before the deceleration.]]
Now consider the work done by the same force on the same particle ''P'' again moving from point ''A'' to point ''B'', but this time moving along the nearby trajectory that differs from '''r'''(''t'') by the variation  ''δ'''''r'''(''t'')=''ε'''''h'''(''t''), where ''ε'' is a scaling constant that can be made as small as desired and '''h'''(''t'') is an arbitrary function that satisfies '''h'''(''t''<sub>0</sub>) = '''h'''(''t''<sub>1</sub>) = 0,
:<math>\bar{W} = \int_{A}^{B}\mathbf{F}\cdot d(\mathbf{r}+\epsilon \mathbf{h})=\int_{t_0}^{t_1}\mathbf{F}\cdot (\mathbf{v}+\epsilon \dot{\mathbf{h}})dt  .</math>
The variation of the work ''δW'' associated with this nearby path, known as the ''virtual work'', can be computed to be
:<math> \delta W = \bar{W}-W = \int_{t_0}^{t_1}(\mathbf{F}\cdot \epsilon\dot{\mathbf{h}})dt.</math>


==Ladder paradox and transmission of force==
Now assume that '''r'''(''t'') and '''h'''(''t'') depend on the generalized coordinates ''q''<sub>''i'' </sub>, ''i'' = 1, ..., ''n'', then the derivative of the variation ''δ'''''r'''=''ε'''''h'''(''t'') is given by
:<math> \frac{d}{dt}\delta \mathbf{r} = \epsilon\dot{\mathbf{h}} = \epsilon \left(\frac{\partial \mathbf{h}}{\partial q_1} \dot{q}_1 + \ldots + \frac{\partial \mathbf{h}}{\partial q_n} \dot{q}_n\right),</math>
then we have 
:<math> \delta W = \int_{t_0}^{t_1}\left(\mathbf{F}\cdot \frac{\partial \mathbf{h}}{\partial q_1} \epsilon\dot{q}_1 + \ldots + \mathbf{F}\cdot \frac{\partial \mathbf{h}}{\partial q_n} \epsilon\dot{q}_n\right)dt =
\int_{t_0}^{t_1}\left(\mathbf{F}\cdot \frac{\partial \mathbf{h}}{\partial q_1}\right) \epsilon\dot{q}_1 dt + \ldots + \int_{t_0}^{t_1}\left(\mathbf{F}\cdot \frac{\partial \mathbf{h}}{\partial q_n}\right) \epsilon\dot{q}_n dt.</math>
The requirement that the virtual work be zero for an arbitrary variation ''δ'''''r'''(''t'')=ε'''h'''(''t'') is equivalent to the set of requirements
:<math> F_i = \mathbf{F}\cdot \frac{\partial \mathbf{h}}{\partial q_i} = 0, \quad i=1, \ldots, n.</math>
The terms ''F<sub>i</sub>'' are called the ''generalized forces'' associated with the virtual displacement δ'''r'''.


[[File:Junk1.png|frame|right|Figure 1: A Minkowski diagram of the case where the ladder is stopped by impact with the back wall of the garage. The impact is event A. At impact, the garage frame sees the ladder as AB, but the ladder frame sees the ladder as AC. The ladder does not move out of the garage, so its front end now goes directly upward, through point E. The back of the ladder will not change its trajectory in space-time until it feels the effects of the impact. The effect of the impact can propagate outward from A no faster than the speed of light, so the back of the ladder will never feel the effects of the impact until point F or later, at which time the ladder is well within the garage in both frames. Note that when the diagram is drawn in the frame of the ladder, the speed of light is the same, but the ladder is longer, so it takes more time for the force to reach the back end; this gives enough time for the back of the ladder to move inside the garage.]]
== Static equilibrium ==
Static equilibrium is the condition in which the applied forces and constraint forces on a mechanical system balance such that the system does not move. The ''principle of virtual work'' states that the virtual work of the applied forces is zero for all virtual movements of the system from static equilibrium, that is, ''δW''&nbsp;=&nbsp;0 for any variation ''δ'''''r'''.<ref name="Torby1984">{{cite book |last=Torby |first=Bruce |title=Advanced Dynamics for Engineers |series=HRW Series in Mechanical Engineering |year=1984 |publisher=CBS College Publishing |location=United States of America  |isbn=0-03-063366-4 |chapter=Energy Methods}}</ref>  This is equivalent to the requirement that the generalized forces for any virtual displacement are zero, that is ''F''<sub>''i''</sub> = 0.


What if the back door (the door the ladder exits out of) is closed permanently and does not open? Suppose that the door is so solid that the ladder will not penetrate it when it collides, so it must stop. Then, as in the scenario described above, in the frame of reference of the garage, there is a moment when the ladder is completely within the garage (i.e. the back of the ladder is inside the front door), before it collides with the back door and stops. However, from the frame of reference of the ladder, the ladder is too big to fit in the garage, so by the time it collides with the back door and stops, the back of the ladder still has not reached the front door. This seems to be a paradox. The question is, does the back of the ladder cross the front door or not?
Let the forces on the system be '''F'''<sub>''j'' </sub>, ''j'' = 1, ..., ''m'' and let the virtual displacement of each point of application of these forces be ''δ'''''r'''<sub>''j'' </sub>, ''j'' = 1, ..., ''m'', then the virtual work generated by a virtual displacement of these forces from the equilibrium position is given by
:<math>\delta W = \sum_{j=1}^m \mathbf{F}_j\cdot \delta\mathbf{r}_j.</math>


The difficulty arises mostly from the assumption that the ladder is rigid (i.e. maintains the same shape). Ladders seem pretty rigid in everyday life. But being rigid requires that it can transfer force at infinite speed (i.e. when you push one end the other end must react immediately, otherwise the ladder will deform). This contradicts special relativity, which states that information can only travel at most the speed of light (which is too fast for us to notice in real life, but is significant in the ladder scenario). So objects cannot be perfectly rigid under special relativity.
Now assume that each ''δ'''''r'''<sub>''j''</sub> depends on the generalized coordinates ''q''<sub>''i'' </sub>, ''i'' = 1, ..., ''n'', then
:<math> \delta \mathbf{r}_j = \frac{\partial \mathbf{r}_j}{\partial q_1} \delta{q}_1 + \ldots + \frac{\partial \mathbf{r}_j}{\partial q_n} \delta{q}_n,</math>
and
:<math> \delta W = \left(\sum_{j=1}^m \mathbf{F}_j\cdot \frac{\partial \mathbf{r}_j}{\partial q_1}\right) \delta{q}_1 + \ldots + \left(\sum_{j=1}^m \mathbf{F}_j\cdot \frac{\partial \mathbf{r}_j}{\partial q_n}\right) \delta{q}_n. </math>


In this case, by the time the front of the ladder collides with the back door, the back of the ladder does not know it yet, so it keeps moving forwards (and the ladder "compresses"). In both the frame of the garage and the inertial frame of the ladder, the back end keeps moving at the time of the collision, until at least the point where the back of the ladder comes into the light cone of the collision (i.e. a point where force moving backwards at the speed of light from the point of the collision will reach it). At this point the ladder is actually shorter than the original contracted length, so the back end is well inside the garage. Calculations in both frames of reference will show this to be the case.
The ''n'' terms
:<math> F_i = \sum_{j=1}^m \mathbf{F}_j\cdot \frac{\partial \mathbf{r}_j}{\partial q_i},\quad i=1,\ldots, n,</math>
are the generalized forces acting on the system.  Kane<ref>T. R. Kane and D. A. Levinson, Dynamics: theory and applications, McGraw-Hill, New York, 1985</ref> shows that these generalized forces can also be formulated in terms of the ratio of time derivatives,
:<math> F_i = \sum_{j=1}^m \mathbf{F}_j\cdot \frac{\partial \mathbf{v}_j}{\partial \dot{q}_i},\quad i=1,\ldots, n,</math>
where '''v'''<sub>''j''</sub> is the velocity of the point of application of the force '''F'''<sub>''j'' </sub>.


What happens after the force reaches the back of the ladder (the "green" zone in the diagram) is not specified. Depending on the physics, the ladder could break into a million pieces; or, if it were sufficiently elastic, it could re-expand to its original length and push the back end out of the garage.
In order for the virtual work to be zero for an arbitrary virtual  displacement, each of the generalized forces must be zero, that is
:<math> \delta W = 0 \quad \Rightarrow \quad F_i =0, i=1,\ldots, n.</math>


<br style="clear:both;" />
=== Constraint forces ===
An important benefit of the principle of virtual work is that only forces that do work as the system moves through a virtual displacement are needed to determine the mechanics of the system.  There are many forces in a mechanical system that do no work during a virtual displacement, which means that they need not be considered in this analysis.  The two important examples are (i) the internal forces in a rigid body, and (ii) the constraint forces at an ideal joint.


==Man falling into grate variation==
Lanczos<ref name=Lanczos/> presents this as the postulate:  "The virtual work of the forces of reaction is always zero for any virtual displacement which is in harmony with the given kinematic constraints."  The argument is as follows.  The principle of virtual work states that in equilibrium the virtual work of the forces applied to a system is zero.  Newton's laws state that at equilibrium the applied forces are equal and opposite to the reaction, or constraint, forces.  This means the virtual work of the constraint forces must be zero as well.


[[File:ladder paradox grate variation.PNG|thumb|300px|A man (represented by a segmented rod) falling into a grate]]
=== Couples ===
A pair of forces acting on a rigid body can form a couple defined by the moment vector '''M'''.  The virtual work of a moment vector is obtained from the virtual rotation of the rigid body.


This [[physical paradox|paradox]] was originally proposed and solved by [[Wolfgang Rindler]]<ref>{{Cite journal|author=Rindler, Wolfgang|title=Length Contraction Paradox|journal=American Journal of Physics|year=1961|volume=29|issue=6|pages=365–366|doi=10.1119/1.1937789|bibcode = 1961AmJPh..29..365R }}</ref> and involved a fast walking man, represented by a rod, falling into a grate.<ref>{{cite book|author=Edwin F. Taylor, John Archibald Wheeler|title=Spacetime Physics: Introduction to Special Relativity|year=1992|publisher=W. H. Freeman|location=New York|ISBN=0-7167-2327-1|pages=116}}</ref> It is assumed that the rod is entirely over the grate in the grate frame of reference before the downward acceleration begins simultaneously and equally applied to each point in the rod.
For planar movement, the moment acts perpendicular to the plane with magnitude ''M'' and the virtual work due to this moment is
:<math> \delta W = M\delta \phi,\!</math>
where ''δφ'' is the virtual rotation angle of the body.


From the perspective of the grate, the rod undergoes a length contraction and fits into the grate.  However, from the perspective of the rod, it is the ''grate'' undergoing a length contraction, through which it seems the rod is then too long to fall.
In order to extend this to three dimensional rotations, use the angular velocity vector '''ω''' of the body to obtain the virtual work as
:<math> \delta W = \left(\mathbf{M}\cdot \frac{\partial\vec{\omega}}{\partial\dot{\phi}}\right) \delta\phi.</math>


In fact, the downward acceleration of the rod, which is simultaneous in the grate's frame of reference, is not simultaneous in the rod's frame of reference. In the rod's frame of reference, the bottom of the front of the rod is first accelerated downward (not shown in drawing), and as time goes by, more and more of the rod is subjected to the downward acceleration, until finally the back of the rod is accelerated downward. This results in a bending of the rod in the rod's frame of reference. It should be stressed that, since this bending occurs in the rod's rest frame, it is a true physical distortion of the rod which will cause stresses to occur in the rod.
Now consider the moments '''M'''<sub>''j''</sub> acting on ''m'' rigid bodies in a mechanical system.  Let the angular velocity vectors '''ω'''<sub>''j'' </sub>, ''j'' = 1, ..., ''m'' of each body depend on the ''n'' generalized coordinates ''q''<sub>''j'' </sub>, ''i'' = 1, ..., ''n''.  Then the virtual work obtained from these moments for a virtual displacement from equilibrium is given by
:<math> \delta W = \sum_{j=1}^m \mathbf{M}_j\cdot \left(\frac{\partial\vec{\omega}_j}{\partial\dot{q}_1} \delta q_1 + \ldots +\frac{\partial\vec{\omega}_j}{\partial\dot{q}_n} \delta q_n\right)  .</math>
Collect the coefficients of the virtual displacements ''δq<sub>i</sub>'' to obtain
:<math> \delta W = \left(\sum_{j=1}^m \mathbf{M}_j\cdot \frac{\partial\vec{\omega}_j}{\partial\dot{q}_1}\right) \delta q_1 + \ldots + \left(\sum_{j=1}^m \mathbf{M}_j\cdot\frac{\partial\vec{\omega}_j}{\partial\dot{q}_n} \right) \delta q_n  .</math>


<br style="clear:both;" />
=== Forces and moments ===
Combine the virtual work above for couples with the virtual work of forces in order to obtain the virtual work of a system of forces and moments acting on system of rigid bodies displaced from equilibrium as
:<math> \delta W = \left(\sum_{j=1}^m \mathbf{F}_j \cdot \frac{\partial\mathbf{v}_j}{\partial\dot{q}_1} + \sum_{j=1}^m \mathbf{M}_j\cdot \frac{\partial\vec{\omega}_j}{\partial\dot{q}_1}\right) \delta q_1 + \ldots + \left(\sum_{j=1}^m \mathbf{F}_j \cdot \frac{\partial\mathbf{v}_j}{\partial\dot{q}_n} + \sum_{j=1}^m \mathbf{M}_j\cdot\frac{\partial\vec{\omega}_j}{\partial\dot{q}_n} \right) \delta q_n ,</math>
where the generalized forces are now defined to be
:<math> F_i = \sum_{j=1}^m \left(\mathbf{F}_j \cdot \frac{\partial\mathbf{v}_j}{\partial\dot{q}_i} + \mathbf{M}_j\cdot \frac{\partial\vec{\omega}_j}{\partial\dot{q}_i}\right), \quad i=1,\ldots, n.</math>


==Bar and ring paradox==
The principle of virtual work requires that a system of rigid bodies acted on by the forces and moments '''F'''<sub>''j''</sub> and '''M'''<sub>''j''</sub> is in equilibrium if the generalized forces ''F''<sub>''i''</sub> are zero, that is
[[File:BarAndRing.svg|thumb|right|360 px|The diagram on the left illustrates a bar and a ring in the rest frame of the ring at the instant that their centers coincide. The bar is Lorentz-contracted and moving upward and to the right while the ring is stationary and uncontracted. The diagram on the right illustrates the situation at the same instant, but in the rest frame of the bar. The ring is now Lorentz-contracted and rotated with respect to the bar, and the bar is uncontracted. Again, the ring passes over the bar without touching it.]]
:<math> \delta W=0\quad \Rightarrow \quad F_i = 0, i=1,\ldots, n.</math>
The above paradox is complicated: It involves non-inertial frames of reference since at one moment the man is walking horizontally, and a moment later he is falling downward. It involves a physical deformation of the man (or segmented rod), since the rod is bent in one frame of reference and straight in another. These aspects of the problem introduce complications involving the stiffness of the bar which tends to obscure the real nature of the "paradox". A very similar but simpler problem involving only inertial frames is the "bar and ring" paradox (Ferraro 2007) in which a bar which is slightly larger in length than the diameter of a ring is moving upward and to the right with its long axis horizontal, while the ring is stationary and the plane of the ring is also horizontal. If the motion of the bar is such that the center of the bar coincides with the center of the ring at some point in time, then the bar will be Lorentz-contracted due to the forward component of its motion, and it will pass through the ring. The paradox occurs when the problem is considered in the rest frame of the bar. The ring is now moving downward and to the left, and will be Lorentz-contracted along its horizontal length, while the bar will not be contracted at all. How can the bar pass through the ring?


The resolution of the paradox again lies in the relativity of simultaneity (Ferraro 2007). The length of a physical object is defined as the distance between two ''simultaneous'' events occurring at each end of the body, and since simultaneity is relative, so is this length. This variability in length is just the Lorentz contraction. Similarly, a physical angle is defined as the angle  formed by three ''simultaneous'' events, and this angle will also be a relative quantity. In the above paradox, although the rod and the plane of the ring are parallel in the rest frame of the ring, they are not parallel in the rest frame of the rod. The uncontracted rod passes through the Lorentz-contracted ring because the plane of the ring is rotated relative to the rod by an amount sufficient to let the rod pass through.
<!-- I rewrote this. However, please restore anything that you feel that I did not present clearly
Consider a system of particles, i, in static equilibrium. The total force on each particle is<ref name="Torby1984">{{cite book |last=Torby |first=Bruce |title=Advanced Dynamics for Engineers |series=HRW Series in Mechanical Engineering |year=1984 |publisher=CBS College Publishing |location=United States of America  |isbn=0-03-063366-4 |chapter=Energy Methods}}</ref>{{rp|263}}


In mathematical terms, a [[Lorentz transformation]] can be separated into the product of a spatial rotation and a "proper" Lorentz transformation which involves no spatial rotation. The mathematical resolution of the bar and ring paradox is based on the fact that the product of two proper Lorentz transformations may produce a Lorentz transformation which is not proper, but rather includes a spatial rotation component.
:<math>\mathbf {F}_{i}^{(T)} = 0</math>.


==See also==
Summing the work exerted by the force on each particle that acts through an arbitrary virtual displacement, <math>\delta \mathbf r_i</math>, of the system leads to an expression for the virtual work that must be zero since the forces are zero:<ref name="Torby1984"/>{{rp|263}}
* [[Twin paradox]]
 
* [[Bell's spaceship paradox]]
:<math>\delta W = \sum_{i} \mathbf {F}_{i}^{(T)} \cdot \delta \mathbf r_i = 0</math>.
* [[Ehrenfest paradox]]
 
* [[Physical paradox]]
The original vector equation could be recovered by recognizing that the work expression must hold for arbitrary virtual displacements. Separating the forces into applied forces, <math>\mathbf F_i</math>, and constraint forces, <math>\mathbf C_i</math>, yields<ref name="Torby1984"/>{{rp|263}}
* [[Supplee's paradox]]
 
* [[Relativity of simultaneity]]
:<math>\delta W = \sum_{i} \mathbf {F}_{i} \cdot \delta \mathbf r_i + \sum_{i} \mathbf {C}_{i} \cdot \delta \mathbf r_i = 0</math>.
 
If arbitrary virtual displacements are assumed to be in directions that are orthogonal to the constraint forces, the constraint forces do no work. Such displacements are said to be ''[[consistent]]'' with the constraints.<ref name="laa">{{cite web |url=http://comp.uark.edu/~icjong/docu/05Portland.pdf |title=Teaching Students Work and Virtual Work Method in Statics:A Guiding Strategy with Illustrative Examples |accessdate=2007-09-24 |author=Ing-Chang Jong |year=2005 |format=PDF |work=Proceedings of the 2005 American Society for Engineering Education Annual Conference & Exposition |publisher=American Society for Engineering Education }}</ref> This leads to the formulation of the ''principle of virtual work for applied forces'', which states that forces applied to a static system do no virtual work:<ref name="Torby1984"/>{{rp|263}}
 
:<math>\delta W = \sum_{i} \mathbf {F}_{i} \cdot \delta \mathbf r_i = 0</math>.
 
There is also a corresponding principle for accelerating systems called [[D'Alembert's principle]], which forms a theoretical basis for [[Lagrangian mechanics]].
-->
 
== One degree-of-freedom mechanisms ==
In this section, the principle of virtual work is used for the static analysis of one degree-of-freedom mechanical devices.  Specifically, we analyze  the lever, a pulley system, a gear train, and a four-bar linkage.  Each of these devices moves in the plane, therefore a force '''F'''=(''f<sub>x</sub>'', ''f<sub>y</sub>'') has two components and acts on a point with coordinates '''r'''&nbsp;=&nbsp;(''r<sub>x</sub>'', ''r<sub>y</sub>'') and velocity '''v'''&nbsp;=&nbsp;(''v<sub>x</sub>'', ''v<sub>y</sub>'').  A moment, also called a [[torque]], ''T'' acting on a body that moves in the plane has one component as does the angular velocity ''ω'' of the body.
 
Assume the bodies in the mechanism are rigid and the joints are ideal so that the only change in virtual work is associated with the movement of the input and output forces and torques.
 
=== Applied Forces ===
Consider a mechanism such as a lever that operates so that an input force generates an output force.  Let ''A'' be the point where the input force '''F'''<sub>''A''</sub> is applied, and let ''B'' be the point where the output force '''F'''<sub>''B''</sub> is exerted.  Define the position and velocity of ''A'' and ''B'' by the vectors '''r'''<sub>''A''</sub>, '''v'''<sub>''A''</sub> and '''r'''<sub>''B''</sub>, '''v'''<sub>''B''</sub>, respectively.
 
Because the mechanism has one degree-of-freedom, there is a single generalized coordinate ''q'' that defines the position vectors '''r'''<sub>''A''</sub>(''q'') and '''r'''<sub>''B''</sub>(''q'') of the input and output points in the system.  The principle of virtual work requires that the generalized force associated with this coordinate be zero, thus
:<math> F_q =  \mathbf{F}_A \cdot \frac{\partial\mathbf{v}_A}{\partial\dot{q}} - \mathbf{F}_B \cdot \frac{\partial\mathbf{v}_B}{\partial\dot{q}}=0.</math>
 
The negative sign on the output force '''F'''<sub>''B''</sub> arises because the convention of virtual work assumes the forces are applied to the device.
 
=== Applied Torque ===
Consider a mechanism such as a gear train that operates so that an input torque generates an output torque.  Let body ''E''<sub>''A''</sub> have the input moment ''T''<sub>''A''</sub> applied to it, and let body ''E''<sub>''B''</sub> exert the output torque ''T''<sub>''B''</sub>.  Define the angular position and velocity of ''E''<sub>''A''</sub> and ''E''<sub>''B''</sub> by ''θ''<sub>''A''</sub>, ''ω''<sub>''A''</sub> and ''θ''<sub>''B''</sub>, ''ω''<sub>''B''</sub>, respectively.
 
Because the mechanism has one degree-of-freedom, there is a single generalized coordinate ''q'' that defines the angles ''θ<sub>A</sub>''(''q'') and ''θ<sub>B</sub>''(''q'') of the input and output of the system.  The principle of virtual work requires that the generalized force associated with this coordinate be zero, thus
:<math> F_q =  T_A  \frac{\partial\mathbf{\omega}_A}{\partial\dot{q}} - T_B \frac{\partial\mathbf{\omega}_B}{\partial\dot{q}}=0.</math>
 
The negative sign on the output torque ''T''<sub>''B''</sub> arises because the convention of virtual work assumes the torques are applied to the device.
 
== Law of the Lever ==
A [[lever]] is modeled as a rigid bar connected to a ground frame by a hinged joint called a fulcrum.  The lever is operated by applying an input force  '''F'''<sub>''A''</sub> at a point ''A'' located by the coordinate vector '''r'''<sub>''A''</sub> on the bar.  The lever then exerts an output force '''F'''<sub>''B''</sub> at the point ''B'' located by '''r'''<sub>''B''</sub>.  The rotation of the lever about the fulcrum ''P'' is defined by the rotation angle ''θ''.
[[Image:Archimedes lever (Small).jpg|thumb|right|300px|This is an engraving from ''Mechanics Magazine'' published in London in 1824.]]
 
Let the coordinate vector of the point ''P'' that defines the fulcrum be '''r'''<sub>''P''</sub>, and introduce the lengths
:<math> a = |\mathbf{r}_A -  \mathbf{r}_P|, \quad  b = |\mathbf{r}_B -  \mathbf{r}_P|, </math>
which are the distances from the fulcrum to the input point ''A'' and to the output point ''B'', respectively.
 
Now introduce the unit vectors '''e'''<sub>''A''</sub> and '''e'''<sub>''B''</sub> from the fulcrum to the point ''A'' and ''B'', so
:<math> \mathbf{r}_A  -  \mathbf{r}_P = a\mathbf{e}_A, \quad \mathbf{r}_B -  \mathbf{r}_P = b\mathbf{e}_B.</math>
This notation allows us to define the velocity of the points ''A'' and ''B'' as
:<math> \mathbf{v}_A = \dot{\theta} a \mathbf{e}_A^\perp, \quad  \mathbf{v}_B = \dot{\theta} b \mathbf{e}_B^\perp,</math>
where '''e'''<sub>''A''</sub><sup>⊥</sup> and '''e'''<sub>''B''</sub><sup>⊥</sup> are unit vectors perpendicular to '''e'''<sub>''A''</sub> and '''e'''<sub>''B''</sub>, respectively.
 
The angle ''θ'' is the generalized coordinate that defines the configuration of the lever, therefore using the formula above for forces applied to a one degree-of-freedom mechanism, the generalized force is given by
:<math> F_\theta =  \mathbf{F}_A \cdot \frac{\partial\mathbf{v}_A}{\partial\dot{\theta}} - \mathbf{F}_B \cdot \frac{\partial\mathbf{v}_B}{\partial\dot{\theta}}= a(\mathbf{F}_A \cdot \mathbf{e}_A^\perp) - b(\mathbf{F}_B \cdot \mathbf{e}_B^\perp).</math>
 
Now, denote as ''F''<sub>''A''</sub> and ''F''<sub>''B''</sub> the components of the forces that are perpendicular to the radial segments ''PA'' and ''PB''.  These forces are given by
:<math> F_A = \mathbf{F}_A \cdot \mathbf{e}_A^\perp, \quad  F_B = \mathbf{F}_B \cdot \mathbf{e}_B^\perp.</math>
This notation and the principle of virtual work yield the formula for the generalized force as
:<math> F_\theta = a F_A - b F_B = 0. \,\!</math>
 
The ratio of the output force ''F''<sub>''B''</sub> to the input force ''F''<sub>''A''</sub> is the [[mechanical advantage]] of the lever, and is obtained from the principle of virtual work as
:<math> MA = \frac{F_B}{F_A} = \frac{a}{b}.</math>
 
This equation shows that if the distance ''a'' from the fulcrum to the point ''A'' where the input force is applied is greater than the distance ''b'' from fulcrum to the point ''B'' where the output force is applied, then the lever amplifies the input force.  If the opposite is true that the distance from the fulcrum to the input point ''A'' is less than from the fulcrum to the output point ''B'', then the lever reduces the magnitude of the input force.
 
This is the ''law of the lever'', which was proven by [[Archimedes]] using geometric reasoning.<ref name="Usher1954">{{cite book|author=Usher, A. P.|authorlink=Abbott Payson Usher|title=A History of Mechanical Inventions|url=http://books.google.com/books?id=Zt4Aw9wKjm8C&pg=PA94|page=94|accessdate=7 April 2013|year=1929|publisher=Harvard University Press (reprinted by Dover Publications 1988)|isbn=978-0-486-14359-0|oclc=514178}}</ref>
 
== Gear train ==
A gear train is formed by mounting gears on a frame so that the teeth of the gears engage.  Gear teeth are designed to ensure the pitch circles of engaging gears roll on each other without slipping, this provides a smooth transmission of rotation from one gear to the next.  For this analysis, we consider a gear train that has one degree-of-freedom, which means the angular rotation of all the gears in the gear train are defined by the angle of the input gear. 
[[Image:Transmission of motion by compund gear train (Army Service Corps Training, Mechanical Transport, 1911).jpg|thumb|right|300px|Illustration from Army Service Corps Training on Mechanical Transport, (1911), Fig. 112 Transmission of motion and force by gear wheels, compound train]]
 
The size of the gears and the sequence in which they engage define the ratio of the angular velocity ''ω<sub>A</sub>'' of the input gear to the angular velocity ''ω<sub>B</sub>'' of the output gear, known as the speed ratio, or [[gear ratio]], of the gear train.  Let ''R'' be the speed ratio, then
:<math> \frac{\omega_A}{\omega_B} = R.</math>
 
The input torque ''T''<sub>''A''</sub> acting on the input gear ''G''<sub>''A''</sub> is transformed by the gear train into the output torque ''T''<sub>''B''</sub> exerted by the output gear ''G''<sub>''B''</sub>.  If we assume, that the gears are rigid and that there are no losses in the engagement of the gear teeth, then the principle of virtual work can be used to analyze the static equilibrium of the gear train.
 
Let the angle ''θ'' of the input gear be the generalized coordinate of the gear train, then the speed ratio ''R'' of the gear train defines the angular velocity of the output gear in terms of the input gear, that is
:<math> \omega_A = \omega, \quad \omega_B = \omega/R.\!</math>
 
The formula above for the principle of virtual work with applied torques yields the generalized force
:<math> F_\theta =  T_A  \frac{\partial\omega_A}{\partial\omega} - T_B \frac{\partial \omega_B}{\partial\omega}= T_A - T_B/R = 0.</math>
 
The [[mechanical advantage]] of the gear train is the ratio of the output torque ''T''<sub>''B''</sub> to the input torque ''T''<sub>''A''</sub>, and the above equation yields
:<math> MA = \frac{T_B}{T_A} = R.</math>
 
Thus, the speed ratio of a gear train also defines its mechanical advantage.  This shows that if the input gear rotates faster than the output gear, then the gear train amplifies the input torque.  And, if the input gear rotates slower than the output gear, then the gear train reduces the input torque.
 
==Virtual work and rigid body dynamics==
If the principle of virtual work for applied forces is used on individual particles of a [[rigid body]], the principle can be generalized for a rigid body: ''When a rigid body that is in equilibrium is subject to virtual compatible displacements, the total virtual work of all external forces is zero; and conversely, if the total virtual work of all external forces acting on a rigid body is zero then the body is in equilibrium''.
 
If a system is not in static equilibrium, D'Alembert showed that by introducing the acceleration terms of Newton's laws as inertia forces, this approach is generalized to define dynamic equilibrium.  The result is D'Alembert's form of the principle of virtual work, which is used to derive the equations of motion for a mechanical system of rigid bodies.
 
The expression ''compatible displacements'' means that the particles remain in contact and displace together so that the work done by pairs of action/reaction inter-particle forces cancel out. Various forms of this principle have been credited to [[Johann Bernoulli|Johann (Jean) Bernoulli]] (1667–1748) and [[Daniel Bernoulli]] (1700–1782).
 
===Generalized active forces===
The static equilibrium of a mechanical system of rigid bodies is defined by the condition that the virtual work of the applied forces is zero for any virtual displacement of the system.  This is known as the ''principle of virtual work.''<ref name="Torby1984"/>  This is equivalent to the requirement that the generalized forces for any virtual displacement are zero, that is ''Q''<sub>''i''</sub>&nbsp;=&nbsp;0.
 
Let a mechanical system be constructed from ''n'' rigid bodies, ''B''<sub>''i'' </sub>, ''i'' = 1, ..., ''n'', and let the resultant of the applied forces on each body be the force–torque pairs, '''F'''<sub>''i''</sub> and '''T'''<sub>''i'' </sub>, ''i'' = 1, ..., ''n''.  Notice that these applied forces do not include the reaction forces where the bodies are connected.  Finally, assume that the velocity '''V'''<sub>''i''</sub> and angular velocities '''ω'''<sub>''i'' </sub>, ''i'' = 1, ..., ''n'', for each rigid body, are defined by a single generalized coordinate ''q''.  Such a system of rigid bodies is said to have one [[degree of freedom (mechanics)|degree of freedom]].
 
The virtual work of the forces and torques, '''F'''<sub>''i''</sub> and '''T'''<sub>''i'' </sub>, applied to this one degree of freedom system is given by
:<math> \delta W = \sum_{i=1}^n \left(\mathbf{F}_i\cdot \frac{\partial \mathbf{V}_i}{\partial \dot{q}} + \mathbf{T}_i\cdot\frac{\partial \vec{\omega}_i}{\partial \dot{q}}\right)\delta q = Q\,\delta q,</math>
where
:<math> Q = \sum_{i=1}^n \left(\mathbf{F}_i\cdot \frac{\partial \mathbf{V}_i}{\partial \dot{q}} + \mathbf{T}_i\cdot\frac{\partial \vec{\omega}_i}{\partial \dot{q}}\right),</math>
is the generalized force acting on this one degree of freedom system.
 
If the mechanical system is defined by ''m'' generalized coordinates, ''q''<sub>''j'' </sub>, ''j'' = 1, ..., ''m'', then the system has ''m'' degrees of freedom and the virtual work is given by,
:<math> \delta W = \sum_{j=1}^m Q_j\,\delta q_j,</math>
where
:<math> Q_j = \sum_{i=1}^n \left(\mathbf{F}_i\cdot \frac{\partial \mathbf{V}_i}{\partial \dot{q}_j} + \mathbf{T}_i\cdot\frac{\partial \vec{\omega}_i}{\partial \dot{q}_j}\right),\quad j=1, \ldots, m.</math>
is the generalized force associated with the generalized coordinate ''q''<sub>''j''</sub>.  The principle of virtual work states that static equilibrium occurs when these generalized forces acting on the system are zero, that is
:<math> Q_j = 0,\quad j=1, \ldots, m.</math>
These ''m'' equations define the static equilibrium of the system of rigid bodies.
 
===Generalized inertia forces===
Let a mechanical system be constructed from n rigid bodies, B<sub>i</sub>, i=1,...,n, and let the resultant of the applied forces on each body be the force-torque pairs, '''F'''<sub>i</sub> and '''T'''<sub>i</sub>, i=1,...,n.  Notice that these applied forces do not include the reaction forces where the bodies are connected.  Finally, assume that the velocity '''V'''<sub>i</sub> and angular velocities '''ω'''<sub>i</sub>, i=,1...,n, for each rigid body, are defined by a single generalized coordinate q.  Such a system of rigid bodies is said to have one [[degree of freedom (mechanics)|degree of freedom]].
 
Consider a single rigid body which moves under the action of a resultant for '''F''' and torque '''T''', with one degree of freedom defined by the generalized coordinate q.  Assume the reference point for the resultant force and torque is the center of mass of the body, then the generalized inertia force Q* associated with the generalized coordinate q is given by
:<math> Q^* = -(M\mathbf{A})\cdot  \frac{\partial \mathbf{V}}{\partial \dot{q}}  -  ([I_R]\alpha+ \omega\times[I_R]\omega)\cdot \frac{\partial \vec{\omega}}{\partial \dot{q}}.</math>
This inertia force can be computed from the kinetic energy of the rigid body,
:<math> T = \frac{1}{2}M\mathbf{V}\cdot\mathbf{V} + \frac{1}{2}\vec{\omega}\cdot [I_R]\vec{\omega},</math>
by using the formula
:<math> Q^* = -\left(\frac{d}{dt} \frac{\partial T}{\partial \dot{q}} -\frac{\partial T}{\partial q}\right).</math>
 
A system of n rigid bodies with m generalized coordinates has the kinetic energy
:<math>T = \sum_{i=1}^n(\frac{1}{2}M\mathbf{V}_i\cdot\mathbf{V}_i + \frac{1}{2}\vec{\omega}_i\cdot [I_R]\vec{\omega}_i),</math>
which can be used to calculate the m generalized inertia forces<ref>T. R. Kane and D. A. Levinson, [http://www.amazon.com/Dynamics-Theory-Applications-Mechanical-Engineering/dp/0070378460 Dynamics, Theory and Applications], McGraw-Hill, NY, 2005.</ref>
:<math> Q^*_j = -\left(\frac{d}{dt} \frac{\partial T}{\partial \dot{q}_j} -\frac{\partial T}{\partial q_j}\right),\quad j=1, \ldots, m.</math>
 
===D'Alembert's form of the principle of virtual work===
D'Alembert's form of the principle of virtual work states that a system of rigid bodies is in dynamic equilibrium when the virtual work of the sum of the applied forces and the inertial forces is zero for any virtual displacement of the system.  Thus, dynamic equilibrium of a system of n rigid bodies with m generalized coordinates requires that
:<math> \delta W = (Q_1 + Q^*_1)\delta q_1 + \ldots + (Q_m + Q^*_m)\delta q_m = 0,</math>
for any set of virtual displacements δq<sub>j</sub>.  This condition yields m equations,
:<math> Q_j + Q^*_j = 0, \quad j=1, \ldots, m,</math>
which can also be written as
:<math>  \frac{d}{dt} \frac{\partial T}{\partial \dot{q}_j} -\frac{\partial T}{\partial q_j} = Q_j, \quad j=1,\ldots,m.</math>
The result is a set of m equations of motion that define the dynamics of the rigid body system.
 
If the generalized forces Q<sub>j</sub> are derivable from a potential energy V(q<sub>1</sub>,...,q<sub>m</sub>), then these equations of motion take the form
:<math>  \frac{d}{dt} \frac{\partial T}{\partial \dot{q}_j} -\frac{\partial T}{\partial q_j} = -\frac{\partial V}{\partial q_j}, \quad j=1,\ldots,m.</math>
 
In this case, introduce the [[Lagrangian]], L=T-V, so these equations of motion become
:<math>  \frac{d}{dt} \frac{\partial L}{\partial \dot{q}_j} -\frac{\partial L}{\partial q_j} =0 \quad j=1,\ldots,m.</math>
These are known as [[Lagrangian mechanics|Lagrange's equations of motion]].
 
==Virtual work principle for a deformable body==
 
Consider now the [[free body diagram]] of a [[deformable body]], which is composed of an infinite number of differential cubes. Let's define two unrelated states for the body:
* The <math> \boldsymbol{\sigma} </math>-State (Fig.a): This shows external surface forces '''T''', body forces '''f''', and internal stresses <math> \boldsymbol{\sigma} </math> in equilibrium.
* The <math> \boldsymbol{\epsilon} </math>-State (Fig.b): This shows continuous displacements <math> \mathbf {u}^* </math> and consistent strains <math> \boldsymbol{\epsilon}^* </math>.
The superscript * emphasizes that the two states are unrelated. Other than the above stated conditions, there is no need to specify if any of the states are real or virtual.
 
Imagine now that the forces and stresses in the <math> \boldsymbol{\sigma} </math>-State  undergo the [[displacement (vector)|displacement]]s and [[deformation (engineering)|deformation]]s in the <math> \boldsymbol{\epsilon} </math>-State: We can compute the total virtual (imaginary) work done by '''''all forces acting on the faces of all cubes''''' in two different ways:
 
* First, by summing the work done by forces such as <math> F_A </math> which act on individual common faces (Fig.c): Since the material experiences compatible [[displacement (vector)|displacement]]s, such work cancels out, leaving only the virtual work done by the surface forces '''T''' (which are equal to stresses on the cubes' faces, by equilibrium).
 
* Second, by computing the net work done by stresses or forces such as <math> F_A </math>, <math> F_B </math> which act on an individual cube, e.g. for the one-dimensional case in Fig.(c):
 
:<math> F_B \big ( u^* + \frac{ \partial u^*}{\partial x} dx \big ) - F_A u^* \approx  \frac{ \partial u^* }{\partial x}
\sigma dV +  u^* \frac{ \partial \sigma }{\partial x} dV = \epsilon^* \sigma dV - u^* f dV </math>
 
:where the equilibrium relation <math> \frac{ \partial \sigma }{\partial x}+f=0 </math> has been used and the second order term has been neglected.
 
:Integrating over the whole body gives:
 
:<math>\int_{V} \boldsymbol{\epsilon}^{*T} \boldsymbol{\sigma} \, dV </math> – Work done by the body forces '''f'''.
 
Equating the two results leads to the principle of virtual work for a deformable body:
:<math>\mbox{Total external virtual work} = \int_{V} \boldsymbol{\epsilon}^{*T} \boldsymbol{\sigma} dV \qquad \mathrm{(d)} </math>
 
where the total external virtual work is done by '''T''' and '''f'''. Thus,
 
:<math> \int_{S} \mathbf{u}^{*T} \mathbf{T} dS + \int_{V} \mathbf{u}^{*T} \mathbf{f} dV = \int_{V} \boldsymbol{\epsilon}^{*T} \boldsymbol{\sigma} dV \qquad \mathrm{(e)} </math>
 
The right-hand-side of (d,e) is often called the internal virtual work. The principle of virtual work then states: ''External virtual work is equal to internal virtual work when equilibrated forces and stresses undergo unrelated but consistent displacements and strains''. It includes the principle of virtual work for rigid bodies as a special case where the internal virtual work is zero.
 
===Proof of Equivalence between the Principle of Virtual Work and the Equilibrium Equation===
 
We start by looking at the total work done by surface traction on the body going through the specified deformation:
 
:<math> \int_{S} \mathbf{u \cdot T} dS = \int_{S} \mathbf{u \cdot \boldsymbol {\sigma} \cdot n} dS </math>
 
Applying divergence theorem to the right hand side yields:
 
:<math> \int_{S} \mathbf{u \cdot \boldsymbol \sigma \cdot n} dS = \int_V \nabla \cdot \left( \mathbf{u} \cdot \boldsymbol {\sigma} \right) dV </math>
 
Now switch to indicial notation for the ease of derivation.
 
:<math>
\begin{align}
\int_V \nabla \cdot \left( \mathbf{u} \cdot \boldsymbol {\sigma} \right) dV
          &= \int_V \frac{\partial}{\partial x_j} \left( u_i \sigma_{ij} \right) dV \\
          &= \int_V \frac{\partial u_i}{\partial x_j} \sigma_{ij} + u_i \frac{\partial \sigma_{ij}}{\partial x_j} dV
\end{align}
</math>
 
To continue our derivation, we substitute in the equilibrium equation <math> \frac{\partial \sigma_{ij}}{\partial x_j} + f_i = 0 </math>. Then
 
:<math>
\int_V \frac{\partial u_i}{\partial x_j} \sigma_{ij} + u_i \frac{\partial \sigma_{ij}}{\partial x_j} dV
      = \int_V \frac{\partial u_i}{\partial x_j} \sigma_{ij} - u_i f_i dV
</math>
 
The first term on the right hand side needs to be broken into a symmetric part and a skew part as follows:
 
:<math>
\begin{align}
\int_V \frac{\partial u_i}{\partial x_j} \sigma_{ij} - u_i f_i dV
      &= \int_V \frac12 \left[ \left( \frac{\partial u_i}{\partial x_j} + \frac{\partial u_j}{\partial x_i} \right)
          + \left( \frac{\partial u_i}{\partial x_j} - \frac{\partial u_j}{\partial x_i} \right) \right] \sigma_{ij} - u_i f_i dV \\
      &= \int_V \left[ \epsilon_{ij}
          + \frac12 \left( \frac{\partial u_i}{\partial x_j} - \frac{\partial u_j}{\partial x_i} \right) \right] \sigma_{ij} - u_i f_i dV \\
      &= \int_V \epsilon_{ij} \sigma_{ij} - u_i f_i dV\\
      &= \int_V \boldsymbol\epsilon : \boldsymbol\sigma - \mathbf u \cdot \mathbf f dV
\end{align}
</math>
 
where <math> \boldsymbol\epsilon </math> is the strain that is consistent with the specified displacement field. The 2nd to last equality comes from the fact that the stress matrix is symmetric and that the product of a skew matrix and a symmetric matrix is zero.
 
Now recap. We have shown through the above derivation that
 
:<math> \int_{S} \mathbf{u \cdot T} dS = \int_V \boldsymbol\epsilon : \boldsymbol\sigma dV - \int_V \mathbf u \cdot \mathbf f dV </math>
 
Move the 2nd term on the right hand side of the equation to the left:
 
:<math> \int_{S} \mathbf{u \cdot T} dS + \int_V \mathbf u \cdot \mathbf f dV = \int_V \boldsymbol\epsilon : \boldsymbol\sigma dV </math>
 
The physical interpretation of the above equation is, ''the External virtual work is equal to internal virtual work when equilibrated forces and stresses undergo unrelated but consistent displacements and strains''.
 
For practical applications:
 
* In order to impose equilibrium on real stresses and forces, we use consistent virtual displacements and strains in the virtual work equation.
 
* In order to impose consistent displacements and strains, we use equilibriated virtual stresses and forces in the virtual work equation.
 
These two general scenarios give rise to two often stated variational principles. They are valid irrespective of material behaviour.
 
===Principle of virtual displacements===
Depending on the purpose, we may specialize the virtual work equation. For example, to derive the principle of virtual displacements in variational notations for supported bodies, we specify:
 
* Virtual displacements and strains as variations of the real displacements and strains using variational notation such as <math> \delta\ \mathbf {u} \equiv \mathbf{u}^* </math> and <math> \delta\ \boldsymbol {\epsilon} \equiv \boldsymbol {\epsilon}^* </math>
 
* Virtual displacements be zero on the part of the surface that has prescribed displacements, and thus the work done by the reactions is zero. There remains only external surface forces on the part <math> S_t </math> that do work.


==References==
The virtual work equation then becomes the principle of virtual displacements:
<references />
* {{cite journal | author=Wells, Willard H. | title=Length paradox in relativity | journal=American Journal of Physics | volume=29 | issue =12|pages=858-858|year=1961| doi=10.1119/1.1937641|bibcode = 1961AmJPh..29..858W }}


* {{cite journal | author=Shaw, R. | title=Length contraction paradox | journal=American Journal of Physics | year=1962| volume=30 | issue =1|pages=72-72 |doi=10.1119/1.1941907|bibcode = 1962AmJPh..30...72S }}
:<math> \int_{S_t} \delta\ \mathbf{u}^T \mathbf{T} dS + \int_{V} \delta\ \mathbf{u}^T \mathbf{f} dV = \int_{V}\delta\boldsymbol{\epsilon}^T \boldsymbol{\sigma} dV \qquad \mathrm{(f)} </math>


* {{cite journal | author=Martins, Roberto De A. | title=Length paradox in relativity | journal=American Journal of Physics | volume=46 | issue =6|pages=667–670|year=1978| doi=10.1119/1.11227|bibcode = 1978AmJPh..46..667M }}
This relation is equivalent to the set of equilibrium equations written for a differential element in the deformable body as well as of the stress boundary conditions on the part <math> S_t </math> of the surface. Conversely, (f) can be reached, albeit in a non-trivial manner, by starting with the differential equilibrium equations and the stress boundary conditions on <math> S_t </math>, and proceeding in the manner similar to (a) and (b).


* {{cite journal | author=Sastry, G. P. | title=Is length contraction really paradoxical? | journal=American Journal of Physics | volume=55 | issue =10|pages=943–946|year=1987| doi=10.1119/1.14911|bibcode = 1987AmJPh..55..943S }}
Since virtual displacements are automatically compatible when they are expressed in terms of [[Continuous function|continuous]], [[single-valued function]]s, we often mention only the need for consistency between strains and displacements. The virtual work principle is also valid for large real displacements; however, Eq.(f) would then be written using more complex measures of stresses and strains.


* {{cite journal | author=Grøn, Øyvind; Johannesen, Steinar | title=Computer simulation of Rindler's length contraction paradox | journal=European Journal of Physics | volume=14 | issue =3|pages=97–100 |year=1993| doi=10.1088/0143-0807/14/3/001|bibcode = 1993EJPh...14...97G }}
===Principle of virtual forces===
Here, we specify:


* {{cite journal | author=van Lintel, Harald; Gruber, Christian | title=The rod and hole paradox re-examined | journal=European Journal of Physics | year=2005| volume=26 | issue =1|pages=19–23|doi=10.1088/0143-0807/26/1/003|bibcode = 2005EJPh...26...19V }}
* Virtual forces and stresses as variations of the real forces and stresses.


* {{cite journal | author=Iyer, Chandru; Prabhu, G. M. | title=Reversal in the time order of interactive events: the collision of inclined rods | journal=European Journal of Physics | volume=27 | issue =4|pages=819–824|year=2008|doi=10.1088/0143-0807/27/4/013|arxiv=0809.1721|bibcode = 2006EJPh...27..819I }}
* Virtual forces be zero on the part <math> S_t </math> of the surface that has prescribed forces, and thus only surface (reaction) forces on <math> S_u </math> (where displacements are prescribed) would do work.


* {{cite journal | author=Pierce, Evan | title=The lock and key paradox and the limits of rigidity in special relativity | journal=American Journal of Physics | volume=75 | issue =7|pages=610–614|year=2007| doi=10.1119/1.2711827|bibcode = 2007AmJPh..75..610P }}
The virtual work equation becomes the principle of virtual forces:


* {{cite journal | author=Iyer, Chandru; Prabhu, G. M. | title=Differing observations on the landing of the rod into the slot | journal=American Journal of Physics | volume=74 | issue =11|pages=998–1001|year=2008| doi=10.1119/1.2346686|arxiv=0809.1740|bibcode = 2006AmJPh..74..998I }}
:<math> \int_{S_u} \mathbf{u}^T \delta\ \mathbf{T} dS + \int_{V} \mathbf{u}^T \delta\ \mathbf{f} dV = \int_{V} \boldsymbol{\epsilon}^T \delta \boldsymbol{\sigma} dV \qquad \mathrm{(g)} </math>


* {{cite journal | author=McGlynn, Enda; van Kampen, Paul | title=A note on linking electrical current, magnetic fields, charges and the pole in a barn paradox in special relativity | journal=European Journal of Physics | volume=29 | issue =6|pages=N63-N67|year=2008| doi=10.1088/0143-0807/29/6/N03|bibcode = 2008EJPh...29...63M }}
This relation is equivalent to the set of strain-compatibility equations as well as of the displacement boundary conditions on the part <math> S_u </math>. It has another name: the principle of complementary virtual work.


==Further reading==
==Alternative forms==
A specialization of the principle of virtual forces is the [[unit dummy force method]], which is very useful for computing displacements in structural systems. According to [[D'Alembert's principle]], inclusion of inertial forces as additional body forces will give the virtual work equation applicable to dynamical systems. More generalized principles can be derived by:


* Edwin F. Taylor and John Archibald Wheeler, '''Spacetime Physics (2nd ed)''' (Freeman, NY, 1992)
* allowing variations of all quantities.
: - discusses various apparent SR paradoxes and their solutions
* using [[Lagrange multipliers]] to impose boundary conditions and/or to relax the conditions specified in the two states.


*{{cite book | author=Rindler, Wolfgang | title=Relativity: Special, General and Cosmological | publisher=Oxford University Press | year=2001 | isbn =0-19-850836-0 }}
These are described in some of the references.


*{{cite book|last=Ferraro|first=Rafael|title=Einstein's space-time: an introduction to special and general relativity|publisher = [[Springer Science+Business Media|Springer]]|year = 2007|isbn = 978-0-387-69946-2|url=http://books.google.com/books?id=wa3CskhHaIgC&dq=relativity+bar+and+ring}}
Among the many [[energy principles in structural mechanics]], the virtual work principle deserves a special place due to its generality that leads to powerful applications in [[structural analysis]], [[solid mechanics]], and [[finite element method in structural mechanics]].


==External links==
==See also==
* [http://math.ucr.edu/~jdp/Relativity/SpecialRelativity.html Special Relativity Animations] ''from John de Pillis.''This  inter-active animated train-and-tunnel paradox is an analog of the pole (train) and barn (tunnel) paradox.
*[[Flexibility method]]
*[[Unit dummy force method]]
*[[Finite element method in structural mechanics]]
*[[Calculus of variations]]
*[[Lagrangian mechanics]]
*[[Müller-Breslau's principle]]
 
==References==
{{reflist}}


[[Category:Physical paradoxes]]
==Bibliography==
[[Category:Special relativity]]
*[[Klaus-Jürgen Bathe|Bathe, K.J.]] "Finite Element Procedures", Prentice Hall, 1996. ISBN 0-13-301458-4
[[Category:Thought experiments in physics]]
*Charlton, T.M. ''Energy Principles in Theory of Structures'', Oxford University Press, 1973. ISBN 0-19-714102-1
*Dym, C. L. and I. H. Shames, ''Solid Mechanics: A Variational Approach'', McGraw-Hill, 1973.
*Greenwood, Donald T. ''Classical Dynamics'', Dover Publications Inc., 1977, ISBN 0-486-69690-1
*Hu, H. ''Variational Principles of Theory of Elasticity With Applications'', Taylor & Francis, 1984. ISBN 0-677-31330-6
*Langhaar, H. L. ''Energy Methods in Applied Mechanics'', Krieger, 1989.
*[[J. N. Reddy|Reddy, J.N.]] ''Energy Principles and Variational Methods in Applied Mechanics'', John Wiley, 2002. ISBN 0-471-17985-X
*Shames, I. H. and Dym, C. L. ''Energy and Finite Element Methods in Structural Mechanics'', Taylor & Francis, 1995, ISBN 0-89116-942-3
*Tauchert, T.R. ''Energy Principles in Structural Mechanics'', McGraw-Hill, 1974. ISBN 0-07-062925-0
*Washizu, K. ''Variational Methods in Elasticity and Plasticity'', Pergamon Pr, 1982.  ISBN 0-08-026723-8
*Wunderlich, W. ''Mechanics of Structures: Variational and Computational Methods'', CRC, 2002. ISBN 0-8493-0700-7


[[bs:Paradoks ljestava]]
[[Category:Mechanics]]
[[de:Paradoxon der Längenkontraktion]]
[[Category:Dynamical systems]]
[[fr:Paradoxe du train]]
[[Category:Structural analysis]]
[[hr:Paradoks ljestava]]
[[Category:Mechanical engineering]]
[[lt:Kopėčių paradoksas]]
[[Category:Machines]]
[[hu:Létraparadoxon]]
[[Category:Kinematics]]
[[Category:Mechanisms (engineering)]]
[[Category:Linkages (mechanical)]]

Revision as of 10:50, 13 August 2014

Template:Classical mechanics Virtual work arises in the application of the principle of least action to the study of forces and movement of a mechanical system. The work of a force acting on a particle as it moves along a displacement will be different for different displacements. Among all of the possible displacements that a particle may follow, called virtual displacements, one will minimize the action, and, therefore, is the one followed by the particle by the principle of least action. The work of a force on a particle along a virtual displacement is known as the virtual work.

Historically, virtual work and the associated calculus of variations were formulated to analyze systems of rigid bodies,[1] but they have also been developed for the study of the mechanics of deformable bodies.[2]

History

The introduction of virtual work and the principle of least action was guided by the view that the actual movement of a body is the one in a set of "tentative" realities that minimizes a particular quantity. This idea that nature minimizes is a version of the "simplicity hypothesis" that can be traced to Aristotle.[3] Another form of this hypothesis is Occam's razor which states that "it is futile to employ many principles when it is possible to employ fewer." These ideas illustrate a view of physics that nature optimizes in some way.

Gottfried Leibniz formulated Newton's laws of motion in terms of work and kinetic energy, or vis viva (living force), which are minimized as a system moves.[1][3] Maupertuis adapted Leibniz's ideas as the principle of least action that nature minimizes action. But it was Euler and Lagrange who provided the mathematical foundation of the calculus of variations and applied it to the study of the statics and dynamics of mechanical systems.

Hamilton's reformulation of the principle of least action and Lagrange's equations yielded a theory of dynamics that is the foundation for modern physics and quantum mechanics.

Overview

If a force acts on a particle as it moves from point A to point B, then, for each possible trajectory that the particle may take, it is possible to compute the total work done by the force along the path. The principle of virtual work, which is the form of the principle of least action applied to these systems, states that the path actually followed by the particle is the one for which the difference between the work along this path and other nearby paths is zero. The formal procedure for computing the difference of functions evaluated on nearby paths is a generalization of the derivative known from differential calculus, and is termed the calculus of variations.

Let the function x(t) define the path followed by a point. A nearby path can then be defined by adding the function δx(t) to the original path, so that the new path is given by x(t)+δx(t). The function δx(t) is called the variation of the original path, and each of the components of δx=(δx, δy, δz) is called a virtual displacement. This can be generalized to an arbitrary mechanical system defined by the generalized coordinates qi , i = 1, ..., n. In which case, the variation of the trajectory qi (t) is defined by the virtual displacements δqi , i = 1, ..., n.

Virtual work can now be described as the work done by the applied forces and the inertial forces of a mechanical system as it moves through a set of virtual displacements. When considering forces applied to a body in static equilibrium, the principle of least action requires the virtual work of these forces to be zero.

Introduction

In this introduction basic definitions are presented that will assist in understanding later sections.

Consider a particle P that moves along a trajectory r(t) from a point A to a point B, while a force F is applied to it. Then the work done by the force is given by the integral

where dr is the differential element along the curve that is the trajectory of P, and v is its velocity. It is important to notice that the value of the work W depends on the trajectory r(t).

Now consider the work done by the same force on the same particle P again moving from point A to point B, but this time moving along the nearby trajectory that differs from r(t) by the variation δr(t)=εh(t), where ε is a scaling constant that can be made as small as desired and h(t) is an arbitrary function that satisfies h(t0) = h(t1) = 0,

The variation of the work δW associated with this nearby path, known as the virtual work, can be computed to be

Now assume that r(t) and h(t) depend on the generalized coordinates qi , i = 1, ..., n, then the derivative of the variation δr=εh(t) is given by

then we have

The requirement that the virtual work be zero for an arbitrary variation δr(t)=εh(t) is equivalent to the set of requirements

The terms Fi are called the generalized forces associated with the virtual displacement δr.

Static equilibrium

Static equilibrium is the condition in which the applied forces and constraint forces on a mechanical system balance such that the system does not move. The principle of virtual work states that the virtual work of the applied forces is zero for all virtual movements of the system from static equilibrium, that is, δW = 0 for any variation δr.[4] This is equivalent to the requirement that the generalized forces for any virtual displacement are zero, that is Fi = 0.

Let the forces on the system be Fj , j = 1, ..., m and let the virtual displacement of each point of application of these forces be δrj , j = 1, ..., m, then the virtual work generated by a virtual displacement of these forces from the equilibrium position is given by

Now assume that each δrj depends on the generalized coordinates qi , i = 1, ..., n, then

and

The n terms

are the generalized forces acting on the system. Kane[5] shows that these generalized forces can also be formulated in terms of the ratio of time derivatives,

where vj is the velocity of the point of application of the force Fj .

In order for the virtual work to be zero for an arbitrary virtual displacement, each of the generalized forces must be zero, that is

Constraint forces

An important benefit of the principle of virtual work is that only forces that do work as the system moves through a virtual displacement are needed to determine the mechanics of the system. There are many forces in a mechanical system that do no work during a virtual displacement, which means that they need not be considered in this analysis. The two important examples are (i) the internal forces in a rigid body, and (ii) the constraint forces at an ideal joint.

Lanczos[1] presents this as the postulate: "The virtual work of the forces of reaction is always zero for any virtual displacement which is in harmony with the given kinematic constraints." The argument is as follows. The principle of virtual work states that in equilibrium the virtual work of the forces applied to a system is zero. Newton's laws state that at equilibrium the applied forces are equal and opposite to the reaction, or constraint, forces. This means the virtual work of the constraint forces must be zero as well.

Couples

A pair of forces acting on a rigid body can form a couple defined by the moment vector M. The virtual work of a moment vector is obtained from the virtual rotation of the rigid body.

For planar movement, the moment acts perpendicular to the plane with magnitude M and the virtual work due to this moment is

where δφ is the virtual rotation angle of the body.

In order to extend this to three dimensional rotations, use the angular velocity vector ω of the body to obtain the virtual work as

Now consider the moments Mj acting on m rigid bodies in a mechanical system. Let the angular velocity vectors ωj , j = 1, ..., m of each body depend on the n generalized coordinates qj , i = 1, ..., n. Then the virtual work obtained from these moments for a virtual displacement from equilibrium is given by

Collect the coefficients of the virtual displacements δqi to obtain

Forces and moments

Combine the virtual work above for couples with the virtual work of forces in order to obtain the virtual work of a system of forces and moments acting on system of rigid bodies displaced from equilibrium as

where the generalized forces are now defined to be

The principle of virtual work requires that a system of rigid bodies acted on by the forces and moments Fj and Mj is in equilibrium if the generalized forces Fi are zero, that is


One degree-of-freedom mechanisms

In this section, the principle of virtual work is used for the static analysis of one degree-of-freedom mechanical devices. Specifically, we analyze the lever, a pulley system, a gear train, and a four-bar linkage. Each of these devices moves in the plane, therefore a force F=(fx, fy) has two components and acts on a point with coordinates r = (rx, ry) and velocity v = (vx, vy). A moment, also called a torque, T acting on a body that moves in the plane has one component as does the angular velocity ω of the body.

Assume the bodies in the mechanism are rigid and the joints are ideal so that the only change in virtual work is associated with the movement of the input and output forces and torques.

Applied Forces

Consider a mechanism such as a lever that operates so that an input force generates an output force. Let A be the point where the input force FA is applied, and let B be the point where the output force FB is exerted. Define the position and velocity of A and B by the vectors rA, vA and rB, vB, respectively.

Because the mechanism has one degree-of-freedom, there is a single generalized coordinate q that defines the position vectors rA(q) and rB(q) of the input and output points in the system. The principle of virtual work requires that the generalized force associated with this coordinate be zero, thus

The negative sign on the output force FB arises because the convention of virtual work assumes the forces are applied to the device.

Applied Torque

Consider a mechanism such as a gear train that operates so that an input torque generates an output torque. Let body EA have the input moment TA applied to it, and let body EB exert the output torque TB. Define the angular position and velocity of EA and EB by θA, ωA and θB, ωB, respectively.

Because the mechanism has one degree-of-freedom, there is a single generalized coordinate q that defines the angles θA(q) and θB(q) of the input and output of the system. The principle of virtual work requires that the generalized force associated with this coordinate be zero, thus

The negative sign on the output torque TB arises because the convention of virtual work assumes the torques are applied to the device.

Law of the Lever

A lever is modeled as a rigid bar connected to a ground frame by a hinged joint called a fulcrum. The lever is operated by applying an input force FA at a point A located by the coordinate vector rA on the bar. The lever then exerts an output force FB at the point B located by rB. The rotation of the lever about the fulcrum P is defined by the rotation angle θ.

This is an engraving from Mechanics Magazine published in London in 1824.

Let the coordinate vector of the point P that defines the fulcrum be rP, and introduce the lengths

which are the distances from the fulcrum to the input point A and to the output point B, respectively.

Now introduce the unit vectors eA and eB from the fulcrum to the point A and B, so

This notation allows us to define the velocity of the points A and B as

where eA and eB are unit vectors perpendicular to eA and eB, respectively.

The angle θ is the generalized coordinate that defines the configuration of the lever, therefore using the formula above for forces applied to a one degree-of-freedom mechanism, the generalized force is given by

Now, denote as FA and FB the components of the forces that are perpendicular to the radial segments PA and PB. These forces are given by

This notation and the principle of virtual work yield the formula for the generalized force as

The ratio of the output force FB to the input force FA is the mechanical advantage of the lever, and is obtained from the principle of virtual work as

This equation shows that if the distance a from the fulcrum to the point A where the input force is applied is greater than the distance b from fulcrum to the point B where the output force is applied, then the lever amplifies the input force. If the opposite is true that the distance from the fulcrum to the input point A is less than from the fulcrum to the output point B, then the lever reduces the magnitude of the input force.

This is the law of the lever, which was proven by Archimedes using geometric reasoning.[6]

Gear train

A gear train is formed by mounting gears on a frame so that the teeth of the gears engage. Gear teeth are designed to ensure the pitch circles of engaging gears roll on each other without slipping, this provides a smooth transmission of rotation from one gear to the next. For this analysis, we consider a gear train that has one degree-of-freedom, which means the angular rotation of all the gears in the gear train are defined by the angle of the input gear.

Illustration from Army Service Corps Training on Mechanical Transport, (1911), Fig. 112 Transmission of motion and force by gear wheels, compound train

The size of the gears and the sequence in which they engage define the ratio of the angular velocity ωA of the input gear to the angular velocity ωB of the output gear, known as the speed ratio, or gear ratio, of the gear train. Let R be the speed ratio, then

The input torque TA acting on the input gear GA is transformed by the gear train into the output torque TB exerted by the output gear GB. If we assume, that the gears are rigid and that there are no losses in the engagement of the gear teeth, then the principle of virtual work can be used to analyze the static equilibrium of the gear train.

Let the angle θ of the input gear be the generalized coordinate of the gear train, then the speed ratio R of the gear train defines the angular velocity of the output gear in terms of the input gear, that is

The formula above for the principle of virtual work with applied torques yields the generalized force

The mechanical advantage of the gear train is the ratio of the output torque TB to the input torque TA, and the above equation yields

Thus, the speed ratio of a gear train also defines its mechanical advantage. This shows that if the input gear rotates faster than the output gear, then the gear train amplifies the input torque. And, if the input gear rotates slower than the output gear, then the gear train reduces the input torque.

Virtual work and rigid body dynamics

If the principle of virtual work for applied forces is used on individual particles of a rigid body, the principle can be generalized for a rigid body: When a rigid body that is in equilibrium is subject to virtual compatible displacements, the total virtual work of all external forces is zero; and conversely, if the total virtual work of all external forces acting on a rigid body is zero then the body is in equilibrium.

If a system is not in static equilibrium, D'Alembert showed that by introducing the acceleration terms of Newton's laws as inertia forces, this approach is generalized to define dynamic equilibrium. The result is D'Alembert's form of the principle of virtual work, which is used to derive the equations of motion for a mechanical system of rigid bodies.

The expression compatible displacements means that the particles remain in contact and displace together so that the work done by pairs of action/reaction inter-particle forces cancel out. Various forms of this principle have been credited to Johann (Jean) Bernoulli (1667–1748) and Daniel Bernoulli (1700–1782).

Generalized active forces

The static equilibrium of a mechanical system of rigid bodies is defined by the condition that the virtual work of the applied forces is zero for any virtual displacement of the system. This is known as the principle of virtual work.[4] This is equivalent to the requirement that the generalized forces for any virtual displacement are zero, that is Qi = 0.

Let a mechanical system be constructed from n rigid bodies, Bi , i = 1, ..., n, and let the resultant of the applied forces on each body be the force–torque pairs, Fi and Ti , i = 1, ..., n. Notice that these applied forces do not include the reaction forces where the bodies are connected. Finally, assume that the velocity Vi and angular velocities ωi , i = 1, ..., n, for each rigid body, are defined by a single generalized coordinate q. Such a system of rigid bodies is said to have one degree of freedom.

The virtual work of the forces and torques, Fi and Ti , applied to this one degree of freedom system is given by

where

is the generalized force acting on this one degree of freedom system.

If the mechanical system is defined by m generalized coordinates, qj , j = 1, ..., m, then the system has m degrees of freedom and the virtual work is given by,

where

is the generalized force associated with the generalized coordinate qj. The principle of virtual work states that static equilibrium occurs when these generalized forces acting on the system are zero, that is

These m equations define the static equilibrium of the system of rigid bodies.

Generalized inertia forces

Let a mechanical system be constructed from n rigid bodies, Bi, i=1,...,n, and let the resultant of the applied forces on each body be the force-torque pairs, Fi and Ti, i=1,...,n. Notice that these applied forces do not include the reaction forces where the bodies are connected. Finally, assume that the velocity Vi and angular velocities ωi, i=,1...,n, for each rigid body, are defined by a single generalized coordinate q. Such a system of rigid bodies is said to have one degree of freedom.

Consider a single rigid body which moves under the action of a resultant for F and torque T, with one degree of freedom defined by the generalized coordinate q. Assume the reference point for the resultant force and torque is the center of mass of the body, then the generalized inertia force Q* associated with the generalized coordinate q is given by

This inertia force can be computed from the kinetic energy of the rigid body,

by using the formula

A system of n rigid bodies with m generalized coordinates has the kinetic energy

which can be used to calculate the m generalized inertia forces[7]

D'Alembert's form of the principle of virtual work

D'Alembert's form of the principle of virtual work states that a system of rigid bodies is in dynamic equilibrium when the virtual work of the sum of the applied forces and the inertial forces is zero for any virtual displacement of the system. Thus, dynamic equilibrium of a system of n rigid bodies with m generalized coordinates requires that

for any set of virtual displacements δqj. This condition yields m equations,

which can also be written as

The result is a set of m equations of motion that define the dynamics of the rigid body system.

If the generalized forces Qj are derivable from a potential energy V(q1,...,qm), then these equations of motion take the form

In this case, introduce the Lagrangian, L=T-V, so these equations of motion become

These are known as Lagrange's equations of motion.

Virtual work principle for a deformable body

Consider now the free body diagram of a deformable body, which is composed of an infinite number of differential cubes. Let's define two unrelated states for the body:

The superscript * emphasizes that the two states are unrelated. Other than the above stated conditions, there is no need to specify if any of the states are real or virtual.

Imagine now that the forces and stresses in the -State undergo the displacements and deformations in the -State: We can compute the total virtual (imaginary) work done by all forces acting on the faces of all cubes in two different ways:

  • First, by summing the work done by forces such as which act on individual common faces (Fig.c): Since the material experiences compatible displacements, such work cancels out, leaving only the virtual work done by the surface forces T (which are equal to stresses on the cubes' faces, by equilibrium).
where the equilibrium relation has been used and the second order term has been neglected.
Integrating over the whole body gives:
– Work done by the body forces f.

Equating the two results leads to the principle of virtual work for a deformable body:

where the total external virtual work is done by T and f. Thus,

The right-hand-side of (d,e) is often called the internal virtual work. The principle of virtual work then states: External virtual work is equal to internal virtual work when equilibrated forces and stresses undergo unrelated but consistent displacements and strains. It includes the principle of virtual work for rigid bodies as a special case where the internal virtual work is zero.

Proof of Equivalence between the Principle of Virtual Work and the Equilibrium Equation

We start by looking at the total work done by surface traction on the body going through the specified deformation:

Applying divergence theorem to the right hand side yields:

Now switch to indicial notation for the ease of derivation.

To continue our derivation, we substitute in the equilibrium equation . Then

The first term on the right hand side needs to be broken into a symmetric part and a skew part as follows:

where is the strain that is consistent with the specified displacement field. The 2nd to last equality comes from the fact that the stress matrix is symmetric and that the product of a skew matrix and a symmetric matrix is zero.

Now recap. We have shown through the above derivation that

Move the 2nd term on the right hand side of the equation to the left:

The physical interpretation of the above equation is, the External virtual work is equal to internal virtual work when equilibrated forces and stresses undergo unrelated but consistent displacements and strains.

For practical applications:

  • In order to impose equilibrium on real stresses and forces, we use consistent virtual displacements and strains in the virtual work equation.
  • In order to impose consistent displacements and strains, we use equilibriated virtual stresses and forces in the virtual work equation.

These two general scenarios give rise to two often stated variational principles. They are valid irrespective of material behaviour.

Principle of virtual displacements

Depending on the purpose, we may specialize the virtual work equation. For example, to derive the principle of virtual displacements in variational notations for supported bodies, we specify:

  • Virtual displacements be zero on the part of the surface that has prescribed displacements, and thus the work done by the reactions is zero. There remains only external surface forces on the part that do work.

The virtual work equation then becomes the principle of virtual displacements:

This relation is equivalent to the set of equilibrium equations written for a differential element in the deformable body as well as of the stress boundary conditions on the part of the surface. Conversely, (f) can be reached, albeit in a non-trivial manner, by starting with the differential equilibrium equations and the stress boundary conditions on , and proceeding in the manner similar to (a) and (b).

Since virtual displacements are automatically compatible when they are expressed in terms of continuous, single-valued functions, we often mention only the need for consistency between strains and displacements. The virtual work principle is also valid for large real displacements; however, Eq.(f) would then be written using more complex measures of stresses and strains.

Principle of virtual forces

Here, we specify:

  • Virtual forces and stresses as variations of the real forces and stresses.

The virtual work equation becomes the principle of virtual forces:

This relation is equivalent to the set of strain-compatibility equations as well as of the displacement boundary conditions on the part . It has another name: the principle of complementary virtual work.

Alternative forms

A specialization of the principle of virtual forces is the unit dummy force method, which is very useful for computing displacements in structural systems. According to D'Alembert's principle, inclusion of inertial forces as additional body forces will give the virtual work equation applicable to dynamical systems. More generalized principles can be derived by:

  • allowing variations of all quantities.
  • using Lagrange multipliers to impose boundary conditions and/or to relax the conditions specified in the two states.

These are described in some of the references.

Among the many energy principles in structural mechanics, the virtual work principle deserves a special place due to its generality that leads to powerful applications in structural analysis, solid mechanics, and finite element method in structural mechanics.

See also

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

Bibliography

  • Bathe, K.J. "Finite Element Procedures", Prentice Hall, 1996. ISBN 0-13-301458-4
  • Charlton, T.M. Energy Principles in Theory of Structures, Oxford University Press, 1973. ISBN 0-19-714102-1
  • Dym, C. L. and I. H. Shames, Solid Mechanics: A Variational Approach, McGraw-Hill, 1973.
  • Greenwood, Donald T. Classical Dynamics, Dover Publications Inc., 1977, ISBN 0-486-69690-1
  • Hu, H. Variational Principles of Theory of Elasticity With Applications, Taylor & Francis, 1984. ISBN 0-677-31330-6
  • Langhaar, H. L. Energy Methods in Applied Mechanics, Krieger, 1989.
  • Reddy, J.N. Energy Principles and Variational Methods in Applied Mechanics, John Wiley, 2002. ISBN 0-471-17985-X
  • Shames, I. H. and Dym, C. L. Energy and Finite Element Methods in Structural Mechanics, Taylor & Francis, 1995, ISBN 0-89116-942-3
  • Tauchert, T.R. Energy Principles in Structural Mechanics, McGraw-Hill, 1974. ISBN 0-07-062925-0
  • Washizu, K. Variational Methods in Elasticity and Plasticity, Pergamon Pr, 1982. ISBN 0-08-026723-8
  • Wunderlich, W. Mechanics of Structures: Variational and Computational Methods, CRC, 2002. ISBN 0-8493-0700-7
  1. 1.0 1.1 1.2 C. Lánczos, The Variational Principles of Mechanics, 4th Ed., General Publishing Co., Canada, 1970
  2. Dym, C. L. and I. H. Shames, Solid Mechanics: A Variational Approach, McGraw-Hill, 1973.
  3. 3.0 3.1 W. Yourgrau and S. Mandelstam, Variational Principles in Dynamics and Quantum Theory, 3rd Ed., General Publishing Co., Canada, 1968
  4. 4.0 4.1 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  5. T. R. Kane and D. A. Levinson, Dynamics: theory and applications, McGraw-Hill, New York, 1985
  6. 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  7. T. R. Kane and D. A. Levinson, Dynamics, Theory and Applications, McGraw-Hill, NY, 2005.