5
$\begingroup$

I have just been introduced to the notion of virtual displacement and I am quite confused. My professor simply defined a virtual displacement as an infinitesimal displacement that occurs instantaneously in the configuration space, but this doesn't make any mathematical sense to me. Is there a way of defining the notion of virtual displacement, and by extension virtual work and generalized forces, in a way that is more mathematically rigorous? Assuming purely geometric holonomic constraints as well as purely conservative forces in the definition is acceptable.

As a side note, I have seen some sources give vague statements that the virtual displacements are elements of the tangent space of the manifold of constraint and other sources suggest that the virtual displacements are a result of the total derivative of the position of a particle. A rigorous definition of virtual displacement should make the connection between these two concepts more clear.

$\endgroup$
5
  • $\begingroup$ Refer to 1st chapter of Goldstein's Classical Mechanics under the heading D'Alembert's Principle. $\endgroup$ Commented Jan 26, 2019 at 4:48
  • 1
    $\begingroup$ Related: physics.stackexchange.com/q/129786 and links inside. $\endgroup$ Commented Jan 26, 2019 at 4:50
  • 4
    $\begingroup$ I'm not sure that Goldstein's treatment is really that clear. To add another vague approach to your catalog, the reason the virtual displacement takes no time is that it doesn't represent a motion from here to there, but instead the arrival at a different destination if one had followed a slightly different course a short time before. $\endgroup$ Commented Jan 26, 2019 at 4:57
  • 1
    $\begingroup$ I agree that Goldstein was not very helpful. Reading through it, I've come to the conclusion that my professor took the lecture from the book almost verbatim. $\endgroup$
    – J_Psi
    Commented Jan 26, 2019 at 5:09
  • $\begingroup$ @dmckee---ex-moderatorkitten, do you have a source for this other vague approach? Seems similar to en.wikipedia.org/wiki/… $\endgroup$
    – Cheng
    Commented Nov 6, 2022 at 7:27

2 Answers 2

18
$\begingroup$

Here on SE, you may already find many answers to your question. Even if most of them are correct, I feel that a plain and correct answer is still missing. Where plain does not mean non-rigorous. But mathematical rigor is not the same as introducing differential manifolds. One could keep making confusing arguments even after introducing fiber bundles.

If there would be no constraint on a mechanical system described in the 3D space by a set of $N$ position vectors ${\bf r}_i~~(i=1,\dots,N)$, one could consider any set of $N$ vectors as the set of possible displacements $d {\bf r}_i$. Said in another way, for a set of starting positions ${\bf r}_i$, we have complete freedom in choosing the initial velocities ${\bf v}_i$ which would provide a set of displacements $d{\bf r}_i={\bf v}_i\,dt$ after a time $dt$.

If there are constraints, we are not allowed to choose all velocities (and then displacements) at our will. We must be consistent with the existence of constraints. For example, if a marble has to move on the floor, we are not allowed to assign a velocity pointing downwards: it would be in contradiction with the constraint.

If constraints are static, there is no difference between the set of all possible displacements and virtual displacements. All of them are compatible with constraints. The reason for considering different displacements, and then introducing the definition of virtual displacement as different from possible displaceent or briefly displacement, is when constraints vary with time. In that case, we can consider two different set of displacements: those compatible with the evolving constraint, and those compatible with the constraint frozen at a given time $t$. A simple example helps to clarify the difference.

Let's consider a point-like particle constrained to move on a ramp. If the ramp is fixed, all possible displacements (virtual or not) are displacements on the plane of the ramp. they can be obtained by assigning a velocity parallel to the ramp ad after a time $dt$ the particle will be again on the ramp.

If the ramp is moving, an initial velocity parallel to the instantaneous position of the ramp would result, in general, in a violation of the evolving constraint. The real possible velocities, which ensure the particle remains on the ramp after a time $dt$, are the sum of velocities parallel to the ramp plus the instantaneous velocity of the ramp at the initial time. The resulting possible displacements are the real displacements since they correspond to the set of all the possible displacements which could be physically obtained. Still, in some cases, one may be interested in the situation of what would be the displacement under the hypothesis of freezing the evolving constraint. In the case of the ramp, virtual displacements are those parallel to the ramp plane. More formally, if ${\bf u}$ is the velocity of the ramp at some time $t$ and ${\bf v}$ is a velocity parallel to the ramp plane $$ d{\bf r} = ({\bf v + u }) dt $$ is a possible displacement after a time $dt$ compatible with the evolving constraint, while $$ \delta{\bf r} = {\bf v } dt $$ is a virtual displacement (${\bf v } dt$ is a displacement compatible with the frozen constraints).

The real reason for introducing virtual displacements is connected to the possibility of deriving useful information on the system by analyzing the work done by constraint forces. However calculating work in the case of constraints using the actual displacements would provide useless information. In the case of a mass $m$ rigidly fixed on a moving ramp, if we would use the actual displacement of the mass we would find a non-zero value. Only virtual displacement, which are parallel to the plane of the ramp, could give us zero value for work, which is what we need, for a useful exploiting of the concept of work in such a situation.

Edited after change of the title:

I have to say that I do not agree with the suggestion of removing reference to virtual work from the title. Without the need of the virtual work as intrinsic work performed by constraints, it is hard to understand the reason for introducing virtual displacements at all. Unfortunately there is a long tradition of neglecting such a key point in the conceptual development of the subject. The results is a generalized sense of lack of meaning, sometimes hidden under tons of math.

End of editing

At this point, one can generalize all these ideas, looking at the introduction of constraints as equivalent to the introduction of a non trivial configuration space, well described as a differential manifold. The set of all tangent planes at each point of the manifold has a nice mathematical structure and so on. But this is just a convenient and general dress for the physical ideas above. It becomes a trivial step only if one has got the right concept of what a virtual displacement is and why it has been introduced.

$\endgroup$
9
  • $\begingroup$ I thank you for providing intuition and motivation for the notion of virtual displacement, but that is not really what I was after. I think I already have a good grasp of the intuition but, as you say in the final part of your answer, "one can generalize all these ideas" and that was the part that I was having difficulty with. $\endgroup$
    – J_Psi
    Commented Jan 27, 2019 at 23:25
  • $\begingroup$ @GiorgioP Thank you for making the concept of virtual displacement clear but still I am confused about the idea virtual work aid to understand the work done by the constraint forces $\endgroup$ Commented Mar 28, 2019 at 16:56
  • $\begingroup$ This is quite good but you should clarify that your possible displacements are really those compatible with the constraints, not perfectly general displacements. $\endgroup$ Commented Jan 16, 2020 at 15:55
  • $\begingroup$ @ZeroTheHero I wrote "...we can consider two different set of displacements: those compatible with the evolving constraint, and those compatible with the constraint frozen at a given time 𝑡.". Thank you for suggesting that could be better to repeat the concept to make it more clear. I am going to adapt the text. $\endgroup$ Commented Jan 16, 2020 at 16:11
  • 1
    $\begingroup$ @Cheng I would not say that most constraints are ideal. The presence of friction is unavoidable in the real world. However, a good understanding of the case of ideal constraints (no work done by the constraints) is an excellent starting point for introducing non-ideal behavior as a perturbation/modification of the ideal case.. $\endgroup$ Commented Nov 6, 2022 at 15:50
7
$\begingroup$
  1. Let there be given a manifold $3N$-dimensional position manifold $M$ with coordinates $({\bf r}_1, \ldots, {\bf r}_N)$. Let the time axis $\mathbb{R}$ have coordinate $t$.

  2. Let there be given $m\leq 3N$ holonomic constraint functions $$f^a: M\times \mathbb{R} ~\to~\mathbb{R}, \qquad a~\in~\{1,\ldots, m\}. $$ The constraint functions $(f^1,\ldots, f^m)$ are usually assumed to satisfy various regularity conditions, cf. my Phys.SE answer here. Moreover, they are assumed to be functionally independent, and the intersection of their zero-level-sets $$C~:=~\bigcap_{a=1}^m (f^a)^{-1}(\{0\})~\subseteq~ M\times \mathbb{R}$$ is assumed to form a submanifold of dimension $3N+1-m=n+1$, which we will call the constrained/physical submanifold. Let $(q^1, \ldots, q^n,t)$ be coordinates on $C$. The $q$'s are known as generalized coordinates.

  3. Given a point $p\in C$ with coordinates $(q^1_0, \ldots, q^n_0,t_0)$, then the $n$-dimensional submanifold of finite virtual displacements at $p$ is $$ V~:=~C \cap (M\times \{t_0\}). $$ So in a nutshell, a finite virtual displacement is a displacement of position that doesn't violate the constraints and is frozen in time. See also this related Phys.SE post.

  4. The heuristic notion of infinitesimal variations can in this context be replaced with tangent vectors. So the tangent space of infinitesimal virtual displacements at $p$ is $$ T_pV. $$ Concerning the use of infinitesimals in physics, see also this and this Phys.SE posts.

$\endgroup$
2
  • 2
    $\begingroup$ This is probably the most precise way that I've seen the idea put, as of yet. $\endgroup$
    – J_Psi
    Commented Jan 27, 2019 at 23:26
  • $\begingroup$ so, under this context, we can say something like $\delta x= i^* dx$ where $i:M\times \{t_0\}\to M\times \Bbb R$ is the trivial inclusion, for any differential form $dx$ on $M\times \Bbb R$. There $\delta x$ would represent a "virtual displacement", and we identify differential forms and tangent vectors using the musical isomorphism. This would be accurate? $\endgroup$
    – Masacroso
    Commented Apr 6, 2022 at 12:53