# Are there examples in classical mechanics where D'Alembert's principle fails?

D'Alembert's principle suggests that the work done by the internal forces for a virtual displacement of a mechanical system in harmony with the constraints is zero.

This is obviously true for the constraint of a rigid body where all the particles maintain a constant distance from one another. It's also true for constraining force where the virtual displacement is normal to it.

Can anyone think of a case where the virtual displacements are in harmony with the constraints of a mechanical system, yet the total work done by the internal forces is non-zero, making D'Alembert's principle false?

-

## 2 Answers

Given a system of $N$ point-particles with positions ${\bf r}_1, \ldots , {\bf r}_N$; with corresponding virtual displacements $\delta{\bf r}_1$, $\ldots$, $\delta{\bf r}_N$; with momenta ${\bf p}_1, \ldots , {\bf p}_N$; and with applied forces ${\bf F}_1^{(a)}, \ldots , {\bf F}_N^{(a)}$. Then D'Alembert's principle states that

$$\tag{1} \sum_{j=1}^N ( {\bf F}_j^{(a)} - \dot{\bf p}_j ) \cdot \delta {\bf r}_j~=~0.$$

The total force

$${\bf F}_j ~=~ {\bf F}_j^{(a)} +{\bf F}^{(ec)}_j+{\bf F}^{(ic)}_j + {\bf F}^{(i)}_j + {\bf F}_j^{(o)}$$

on the $j$'th particle can be divided into five types:

1. applied forces ${\bf F}_j^{(a)}$ (that we keep track of and that are not constraint forces).

2. an external constraint force ${\bf F}^{(ec)}_j$ from the environment.

3. an internal constraint force ${\bf F}^{(ic)}_j$ from the $N-1$ other particles.

4. an internal force ${\bf F}^{(i)}_j$ (that is not an applied or a constraint force of type 1 or 3, respectively) from the $N-1$ other particles.

5. Other forces ${\bf F}_j^{(o)}$ not already included in type 1, 2, 3 and 4.

Because of Newton's 2nd law ${\bf F}_j= \dot{\bf p}_j$, D'Alembert's principle (1) is equivalent to$^1$

$$\tag{2} \sum_{j=1}^N ( {\bf F}^{(ec)}_j+{\bf F}^{(ic)}_j+{\bf F}^{(i)}_j+{\bf F}_j^{(o)}) \cdot \delta {\bf r}_j~=~0.$$

So OP's question can essentially be rephrased as

Are there examples in classical mechanics where eq. (2) fails?

Eq. (2) could trivially fail, if we have forces ${\bf F}_j^{(o)}$ of type 5, e.g. sliding friction, that we (for some reason) don't count as applied forces of type 1.

For a rigid body, to exclude pairwise contributions of type 3, one needs the strong Newton's 3rd law, cf. this Phys.SE answer. So if these forces fail to be collinear, this could lead to violation of eq. (2).

For internal forces of type 4, there is in general no reason that they should respect eq. (2).

Example: Consider a system of two point-masses connected by an ideal spring. This system has no constraints, so there are no restrictions to the class of virtual displacements. It is easy to violate eq. (2) if we count the spring force as a type 4 force.

Reference:

H. Goldstein, Classical Mechanics, Chapter 1.

--

$^1$It is tempting to call eq. (2) the Principle of virtual work, but strictly speaking, the principle of virtual work is just D'Alembert's principle (1) for a static system.

-

You can have instances where there is no local extremum of the action--for instance, take the lagrangian $L=m\left(\dot x ^{2}+\dot y^{2}\right)$ over the space defined by a crescent embedded in $\mathbb{R}^2$--then, even though the tips of the crescent are both perfectly good starting and ending points in your domain, there is no extremal path connecting them--it would have to be the straight line that leaves the domain of your configuration space.

But this is admittedly a contrived example.

-

I was asking about cases where D'Alembert's principle fails, not where the principle of least action fails - which is the application of D'Alembert's principle for holonomic constraints. – Larry Harson May 13 '11 at 16:26
@user2146: and thus, a subclass of D'Albert's principle. – Jerry Schirmer May 13 '11 at 16:31
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 21, "mathjax_display_tex": 3, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9124764204025269, "perplexity_flag": "head"}