newtonian mechanics - D'Alembert's Principle: Necessity of virtual displacements

1. 
   

   Why is the d'Alembert's Principle $$\sum_{i} ( {F}_{i} - m_i \bf{a}_i )\cdot \delta \bf r_i = 0$$ stated in terms of "virtual" displacements instead of actual displacements?

   
   


2. 
   

   Why is it so necessary to "freeze" time in displacements?

   
   
   


3. 
   

   Also, what would $\sum_{i} ( {F}_{i} - m_i \bf{a}_i )\cdot d \bf r_i$ correspond to if anything at all? In other words, what will be the value of the expression with real displacements instead of virtual ones?

   
   

Answer

Let us consider a non-relativistic Newtonian problem of $N$ point particles with positions

$$ {\bf r}_i(q,t), \qquad i\in\{1, \ldots, N\},\tag{1}$$

with generalized coordinates $q^1, \ldots, q^n$, and $m=3N-n$ holonomic constraints.

Let us for simplicity assume that the applied force of the system has generalized (possibly velocity-dependent) potential $U$. (This e.g. rules out friction forces proportional to the velocity.)

It is then possible to derive the following key identity

$$\sum_{i=1}^N \left({\bf F}_i-\dot{\bf p}_i\right)\cdot \left(\delta {\bf r}_i - \frac{\partial {\bf r}_i}{\partial t}\delta t\right) ~=~ \sum_{i=1}^N \left({\bf F}_i-\dot{\bf p}_i\right)\cdot \sum_{j=1}^n\frac{\partial {\bf r}_i}{\partial q^j}\delta q^j$$ $$ ~=~ \sum_{j=1}^n \left(\frac{\partial L}{\partial q^j}-\frac{\mathrm d}{\mathrm dt} \frac{\partial L}{\partial \dot{q}^j} \right) \delta q^j, \tag{2} $$

where

$$ {\bf p}_i~=~m{\bf v}_i, \qquad {\bf v}_i~=~\dot{\bf r}_i, \qquad L~=~T-U,\qquad T~=~\frac{1}{2}\sum_{i=1}^Nm_i {\bf v}_i^2. \tag{3} $$

Here $\delta$ denotes an arbitrary infinitesimal$^1$ displacement in $q$s and $t$, which is consistent with the constraints. There are infinitely many such displacements $\delta$.

The actual displacement (i.e the one which is actually being realized) is just one of those with $\delta t >0$.

In contrast, a virtual displacement $\delta$ has by definition

$$\delta t~=~0. \tag{4} $$

It is customary to refer to the time axis as horizontal, and the $q^j$ directions as vertical. Then we may say that a virtual displacement is vertical (4), while an actual displacement never is.

Note that both the lhs. and the rhs. of eq. (2) do effectively not depend on $\delta t$.

We can chose between the following first principles:

$$ \text{D'Alembert's principle} \quad\Leftrightarrow\quad \text{Lagrange equations}\quad\Leftrightarrow\quad\text{Stationary action principle}. \tag{5} $$

I) On one hand, d'Alembert's principle says that

$$ \sum_{i=1}^N \left({\bf F}_i-\dot{\bf p}_i\right)\cdot \delta {\bf r}_i~=~0 \tag{6} $$

for all virtual displacements $\delta$ satisfying eq. (4). This is equivalent to saying that the lhs. of eq. (2) vanishes for arbitrary (not necessarily vertical) displacements. Then Lagrange equations

$$ \frac{\partial L}{\partial q^j}-\frac{\mathrm d}{\mathrm dt} \frac{\partial L}{\partial \dot{q}^j}~=~0\tag{7} $$

follows via eq. (2) from the fact that the virtual displacements $\delta q^j$ in the generalized coordinates are un-constrained and arbitrary.

Conversely, when the Lagrange eqs. (7) are satisfied, then the lhs. of eq. (2) vanishes. This leads to d'Alembert's principle (6) for vertical displacements. It does not lead to d'Alembert's principle (6) for non-vertical displacements.

II) On the other hand, if we integrate the rhs. of eq. (2) over time $t$, we get (after discarding boundary terms) the infinitesimal virtual/vertical variation

$$ \delta S ~=~ \int \! \mathrm dt \sum_{j=1}^n \left(\frac{\partial L}{\partial q^j}-\frac{\mathrm d}{\mathrm dt} \frac{\partial L}{\partial \dot{q}^j} \right) \delta q^j\tag{8}$$

of the action $S= \int \!\mathrm dt~L$. The principle of stationary action then yields Euler-Lagrange equations (7).

III) Finally let us stress the following points:

1. 
   

   Note in both case (I) and (II) that the freedom to perform arbitrary virtual displacements or virtual variations is what allows us to deduce the Lagrange eqs. (7).

   
   


2. 
   

   Note in both case (I) and (II) that the displacements are vertical (4), i.e. no horizontal variation $\delta t$.

   
   

References:

1. H. Goldstein, Classical Mechanics, Chapter 1 and 2.

--

$^1$ All displacements and variations in this answer are implicitly assumed to be infinitesimal.