NOTE VIII.
Sur les oscillations infiniment petites d’un système de corps ;
par M. G. Darboux.
Au début de la Section sixième (p. 369), Lagrange étudie d’une manière approfondie les oscillations très petites qu’exécutent les différents corps d’un système lorsqu’on les écarte très peu de leur position d’équilibre. L’emploi des admirables résultats que lui doit la Mécanique analytique permettait seul d’aborder avec succès cette question, une des plus importantes et des plus générales qui se présentent dans la théorie du mouvement. Quelques-uns des résultats que Lagrange énonce ne sont pas suffisamment établis. La solution du problème dépend de la résolution d’une équation algébrique que Lagrange apprend à former ; cette équation n’a jamais de racines imaginaires, mais, contrairement aux affirmations de l’illustre géomètre, elle peut très bien avoir des racines égales. C’est ce que nous mettrons en évidence en suivant une méthode de réduction des formes quadratiques qui est due à M. Kronecker.
Considérons deux formes quadratiques homogènes
(1)
|
|
|
qui dépendent de
variables
La formule
![{\displaystyle \lambda f-\varphi =\sum \sum (\lambda a_{ik}-b_{ik}x_{i}x_{k},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a4b0aeb3e0a47cfd0e71a55057aa91ca33492f8)
où
désigne une constante qui peut prendre toutes les valeurs possibles, définira ce que nous appellerons, avec M. Kronecker, un faisceau de formes quadratiques. L’équation algébrique
(2)
|
|
|
détermine, comme on sait, les valeurs de
![{\displaystyle \lambda }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b43d0ea3c9c025af1be9128e62a18fa74bedda2a)
pour lesquelles la forme quadratique
![{\displaystyle \lambda f-\varphi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b4e74041563d8b737d14cba4c9714053b8a7657)
se réduit à une somme composée de moins de
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
carrés cette équation ne sera jamais vérifiée identiquement si la forme
![{\displaystyle f,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e9687ea22c0f310582e97ee5f6c6a5fca28203d)
par exemple, a son déterminant différent de zéro.
Cela posé, nous commenceronspar établir le lemme suivant :
Appelons, suivant l’usage, forme définie toute fonction quadratique de
variables qui est réductible à une somme de
carrés tous de même signe, et qui, par suite, ne peut s’annuler que si l’on attribue des valeurs nulles à toutes les variables dont elle dépend. Nous allons montrer que, si l’équation
a une seule racine imaginaire, il est impossible que la forme quadratique
ou toute autre forme du faisceau, soit une forme définie.
Soit, en effet,
cette racine imaginaire de l’équation (2) ; la forme quadratique
![{\displaystyle (\alpha +\beta i)f-\varphi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c37ae185af7c599588980a36e81d4283b3f82827)
sera une somme composée de moins de
carrés. On pourra donc écrire
(3)
|
|
|
désignant des fonctions linéaires réelles des variables
Si l’on égale les parties réelles et les parties imaginaires dans les deux membres, on aura
![{\displaystyle {\begin{aligned}\beta f=&2y_{1}z_{1}\ \ \ +2y_{2}z_{2}\ \ \ +\ldots +2y_{n-p}z_{n-p},\\\alpha f-\varphi =&y_{1}^{2}-z_{1}^{2}+y_{2}^{2}-z_{2}^{2}+\ldots +y_{n-p}^{2}-z_{n-p}^{2}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7118ffd267248cc808f317a490bae1d42f00d78c)
et, par conséquent,
![{\displaystyle \lambda f-\varphi =(\lambda -\alpha )f+\alpha f-\varphi =\sum \left(y_{i}^{2}-z_{i}^{2}+2{\frac {\lambda -\alpha }{\beta }}y_{i}z_{i}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/109ab250c35f47a1eef0bd72fc67a42fd5e93ecf)
On peut, évidemment, donner à cette équation la forme suivante
![{\displaystyle \lambda f-\varphi =\sum (y_{i}-m_{i}z_{i})\left(y_{i}+{\frac {1}{m_{i}}}z_{i}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8718bca36240524ed975437440f9ca9b85c535c3)
les, constantes
étant toutes réelles. La fonction
s’annulera donc si l’on pose, pour toutes les valeurs de l’indice ![{\displaystyle i,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3d0f7dadba3056fa3c06a6bee5c0b4182471152)
(4)
|
|
|
Les équations ainsi obtenues sont en nombre inférieur à
elles sont linéaires par rapport aux variables
et, de plus, tous leurs coefficients sont réels. Il sera donc possible d’y satisfaire par des valeurs réelles de
qui ne soient pas toutes nulles. Par suite, la forme
s’annulant par des valeurs réelles des variables indépendantes qui ne sont pas toutes nulles, ne pourra être une forme définie, quelle que soit d’ailleurs la valeur attribuée à
Si l’on veut démontrer ce résultat pour la forme
seulement, on pourra répéter le raisonnement précédent en substituant au système (4) les équations suivantes :
![{\displaystyle y_{i}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e585afb7d44509d9b802bc107b57a2053c67356)
On conclut immédiatement de la proposition précédente que, si un faisceau de formes quadratiques contient une seule forme définie, l’équation en
relative à ce faisceau a nécessairement toutes ses racines réelles.
C’est ce qui aura lieu, en particulier, si, comme nous le supposerons dans la suite,
est une forme définie.
D’après cela, soit
une racine, nécessairement réelle, de l’équation (2). La fonction quadratique
pourra être ramenée à la forme
(5)
|
|
|
désignant des fonctions linéairement indépendantes de
et
étant au plus égal à ![{\displaystyle n-1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6abe7e8ef775e730e29e170abf3f83a604df2ec6)
On peut adopter comme nouvelles variables indépendantes
et les substituer à un nombre égal des variables primitives. Si, par exemple, on peut déduire des formules qui expriment
les valeurs de
on choisira comme nouvelles variables indépendantes
![{\displaystyle x'_{1},\quad x'_{2},\quad \ldots ,\quad x'_{p},\quad x_{p+1},\quad \ldots ,\quad x_{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfc782d2fc96ca65fcbcc797009557bd66a3acd5)
On aura alors
(6)
|
|
|
désignant la partie qui contient les seules variables
celle qui contient les produits des variables
par les variables
et
celle qui ne renferme que les variables
Pour réduire encore l’expression de
nous nous appuierons sur la remarque suivante.
Étant donnée une forme définie de
variables
si l’on annule un certain nombre des variables,
par exemple, il reste une forme définie des variables
En effet, si cette forme n’était pas définie, elle s’annulerait pour des valeurs des variables
qui ne seraient pas toutes nulles ; et l’un de ces systèmes de valeurs, combiné avec les valeurs nulles des variables suivantes
annulerait la forme primitive, qui, contrairement à l’hypothèse, ne serait pas définie.
Il résulte de la remarque précédente que, dans l’expression (6) de
les parties
et
sont des formes définies par rapport aux variables dont elles dépendent. On pourra donc réduire
à une somme de carrés
![{\displaystyle x_{p+1}^{_{'}2}+x_{p+2}^{_{'}2}+\ldots +x_{n}^{_{'}2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e62f1f3b7ae6f63a53eee0693c745d5bc49c2ba4)
tous de même signe, positifs par exemple si la forme
est positive, où les
désignent des fonctions indépendantes de
que nous substituerons à ces dernières variables.
Alors la partie
prendra la forme
![{\displaystyle 2x'_{p+1}\mathrm {P} _{p+1}+2x'_{p+2}\mathrm {P} _{p+2}+\ldots +2x'_{n}\mathrm {P} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44c335a431a5dbea72bb853189fba4b7c7e1955e)
étant des fonctions linéaires de
et
pourra s’écrire
![{\displaystyle f=\left(x'_{p+1}+\mathrm {P} _{p+1}\right)^{2}+\ldots +\left(x'_{n}+\mathrm {P} _{n}\right)^{2}+f_{1}\left(x'_{1},\,x'_{2},\,\ldots ,\,x'_{p}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/180428ed5f8eaeef69ea7fb865676de604e45ba3)
Si nous introduisons enfin les nouvelles variables
![{\displaystyle x''_{p+1}=x'_{p+1}+\mathrm {P} _{p+1},\qquad \ldots ,\qquad x''_{n}=x'_{n}+\mathrm {P} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b59c2f11184c3e1bb83123d399cd5b8898f28bb7)
nous obtiendrons cette expression définitive de ![{\displaystyle f}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
(7)
|
|
|
et, d’après une remarque déjà faite,
sera encore une forme définie des variables dont elle dépend.
L’équation (5) nous permet de calculer
et nous donne
(8)
|
|
|
désignant, pour abréger, la fonction quadratique
![{\displaystyle kf_{1}\left(x'_{1},\,x'_{2},\,\ldots ,\,x'_{p}\right)-ax_{1}^{'2}-\ldots -ax_{p}^{'2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f1f66667075a1119312c1c602ff9882b9e8cd7f)
qui dépend exclusivement des variables ![{\displaystyle x'_{1},\,\ldots ,\,x'_{p}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99b9093d854f00d0503bb97ccc03a9b0654a9b32)
Toutes les hypothèses faites au début s’appliquent maintenant aux deux formes
et
qui sont analogues à
et à
mais qui dépendent d’un moins grand nombre de variables. On pourra donc appliquer de nouveau à ces deux formes la méthode que nous avons suivie, et continuer de la même manière jusqu’à ce que l’on ait épuisé toutes les variables. Le résultat final est évidemment le suivant :
On peut toujours expriner les deux formes quadratiques
et
de la manière suivante
![{\displaystyle {\begin{aligned}f=&\sum _{i=1}^{i=n}y_{i}^{2},\\\varphi =&\sum _{i=1}^{i=n}a_{i}y_{i}^{2},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed7fe86d5a6efb73bd0c3c73fd23e716277262e4)
les quantités
étant des fonctions linéaires, réelles et indépendantes des variables primitives, et les constantes
étant les racines nécessairement réelles, mais égales ou inégales, de l’équation (2).
La proposition précédente joue un rôle capital dans un grand nombre d’applications. Considérons, en particulier, le problème des oscillations infiniment petites ; la méthode suivie par Lagrange revient à exprimer toutes les variables dont dépend la position du système en fonction de variables nouvelles
![{\displaystyle \xi _{1},\quad \xi _{2},\quad \ldots ,\quad \xi _{n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8e2098c37d3c94652feaa8d5b77c58c9d5afd31)
qui seront indépendantes et qui seront toutes nulles dans la position d’équilibre. D’après cela, si l’on suppose que tous les corps soient très voisins de leur position d’équilibre et que les vitesses imprimées à ces corps soient aussi infiniment petites, toutes les variables précédentes seront très petites, et il en sera de même de leurs dérivées
![{\displaystyle \xi '_{1}={\frac {d\xi _{1}}{dt}},\qquad \ldots ,\qquad \xi '_{n}={\frac {d\xi _{n}}{dt}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e310365608c323724b971fb0605adb97030f3e9c)
Calculons la demi-force vive
et la fonction des forces
en les réduisant à leurs termes de moindre dimension. On aura
![{\displaystyle \mathrm {T} =f\left(\xi '_{1},\,\xi '_{2},\,\ldots ,\,\xi '_{n}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da109ba2494655cbddfa7c2d4cb3a7a41c36b134)
désignant une forme quadratique des dérivées
qui, par sa nature, sera une forme définie.
Quant à la fonction des forces, si l’on désigne par
sa valeur dans la position d’équilibre, on aura
![{\displaystyle \mathrm {V} =\mathrm {V} _{0}+\varphi \left(\xi _{1},\,\xi _{2},\,\ldots ,\,\xi _{n}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13dad596cb1423dbf513c6d52a39ef15cd103535)
désignant une forme quadratique des variables ![{\displaystyle \xi _{1},\,\ldots ,\,\xi _{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e4c3940dd088041b97969f3117ffee72df61c97)
Appliquons la méthode de M. Kronecker aux deux fonctions
![{\displaystyle f\left(\xi _{1},\,\ldots ,\,\xi _{n}\right),\qquad \varphi \left(\xi _{1},\,\ldots ,\,\xi _{n}\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d74a254d787594ab99b41d9e3295cc3eb632d1f)
nous pourrons, par une même substitution linéaire à coefficients constants, les réduire aux formes simples
![{\displaystyle {\begin{aligned}f=&\sum _{i=1}^{i=n}y_{i}^{2},\\\varphi =&\sum _{i=1}^{i=n}a_{i}y_{i}^{2}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0991561061bceea9d50bebbbac6e579a49aad2e0)
Les quantités
seront les racines de l’équation en
relatives au faisceau
elles seront toutes positives si la fonction des forces est un minimum dans la position d’équilibre.
Les variables
et
se transformant de la même manière quand on applique une substitution linéaire, on aura nécessairement
![{\displaystyle \mathrm {T} =\sum _{i=1}^{i=n}y_{i}^{'2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19a5b4b82fd2ae26002820b6798367d710a9304b)
et, par suite, les équations de Lagrange (p. 374) deviendront ici
![{\displaystyle {\frac {d^{2}y_{i}}{dt^{2}}}+a_{i}y_{i}=0\quad (i=1,\,2,\,\ldots ,\,n).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0221487fe6d9ff60d4f2878e0a7e1d31741c0793)
Les quantités
qui sont toujours réelles, pourront cependant devenir égales, comme nous l’avons établi plus haut. Néanmoins, le résultat essentiel indiqué par Lagrange subsistera encore si la fonction des forces est un minimum dans la position d’équilibre, les constantes ai seront toutes positives, et les intégrales des équations différentielles précédentes ne contiendront jamais le temps en dehors des signes sinus ou cosinus.