Principe variationnel
Un article de Wikipédia, l'encyclopédie libre.
 |
Les formules mathématiques de cet article doivent être réécrites en TeX.
Pour améliorer cet article, les formules doivent être réécrites proprement en TeX, à l'intérieur de balises <math>…</math> (en discuter). Vous pouvez y contribuer directement ou demander de l’aide sur l’Atelier TeX (voir à ce sujet l’aide pour les formules TeX).
|
Un principe variationnel est un principe physique issu d'un problème exprimé sous une forme variationnelle. Dans de nombreux cas, la résolution des équations de la mécanique peut se ramener à la recherche de géodésiques dans un espace général approprié. D'une part, nous savons que ces géodésiques sont les extrémales d'une certaine intégrale représentant la longueur de l'arc joignant les points fixes dans cet espace. Par conséquent, nous pouvons déjà prévoir qu'au moins dans certains cas, les problèmes de mécanique pourront s'exprimer comme des problèmes aux variations, autrement dit, en postulant que la variation première d'une certaine intégrale est nulle. On dira qu'on a réduit les problèmes à leur forme variationnelle. D'autre part, les équations d'Euler établies en mathématiques pour un problème aux variations sont semblables aux équations de Lagrange établies en physique pour résoudre des problèmes de mécanique ; cette similitude suggère bien évidemment aussi la possibilité de cette réduction à une forme variationnelle.
[modifier] Principe de Fermat
Article détaillé : principe de Fermat.
Bien qu'on puisse suivre la trace des principes variationnels d'une façon quasi continue de l'Antiquité à nos jours, il faut attendre plus d'un millénaire et demi — de Héron d'Alexandrie (vers la fin du Ier siècle ou le début du IIe siècle) au XVIIe siècle — jusqu'à Pierre de Fermat (1601–1665) pour en retrouver une application pratique. Le principe de Fermat, applicable aux rayons lumineux, peut s'écrire comme suit en tenant compte des perfectionnements intervenus depuis l'époque de Fermat lui-même :
[Eqn.001] δ ∫P→Q v–1 ds,
où P et Q sont deux points fixes, v désigne la vitesse de phase de la lumière et ds est l'élément d'arc du trajet emprunté par le rayon lumineux. La vitesse de phase, autrement dit la vitesse de propagation, de la lumière peut varier avec le point considéré, mais non avec la direction du rayon en ce point.[1] Cette équation exprime que la variation (indiquée par la lettre grecque δ) de l'intégrale curviligne ∫P→Q v–1 ds est nulle, c'est-à-dire que la différence entre cette intégrale évaluée le long de la trajectoire réelle et l'intégrale évaluée le long de n'importe quelle trajectoire virtuelle infiniment voisine est un infiniment petit du second ordre. Il faut noter que ceci ne signifie pas que l'intégrale est minimum, mais seulement qu'elle est extrémum. En effet, c'est seulement dans le cas où le trajet PQ est suffisamment petit, de manière à ce que des rayons « voisins » ne puissent recouper le rayon réel, que l'on peut démontrer qu'il s'agit effectivement d'un minimum.
Seulement la propriété que la première variation est nulle peut être étendue à un trajet PQ arbitraire, d'où le nom moderne de « principe variationnel » plutôt que celui, ancien, de « principe de minimum ». Et il faut bien reconnaître que cette modification de terme et d'interprétation fait perdre au principe de Fermat, sinon de son utilité, au moins un peu de la valeur esthétique et philosophique qui a indéniablement joué un rôle dans son élaboration.
L'étude de certains systèmes optiques simples permet d'illustrer le problème. En effet, représentons le milieu hétérogène étudié par un de ces systèmes optiques. Dans cet exemple, l'image du point P, c'est-à-dire le lieu des points de rencontre de tous les rayons issus de P sous des angles légèrement différents, est constituée de deux focales EF et GH dont la distance caractérise l'astigmatisme du système. On peut alors montrer que l'intégrale curviligne ∫P→Q v–1 ds est minimale si le second point considéré, à savoir Q, tombe avant les deux focales, qu'elle est maximale si Q tombe après les deux focales, et qu'elle satisfait à une condition mixte (elle n'est ni un minimum, ni un maximum) si Q tombe entre les deux focales.
[modifier] Fonction de Hamilton ou Hamiltonien
Article détaillé : mécanique hamiltonienne .
Le principe de Fermat est un principe variationnel particulièrement utile à l'optique géométrique. Pour résoudre des problèmes de mécanique, on utilise des principes variationnels faisant intervenir la fonction de Hamilton, que l'on désigne le plus souvent sous le terme de « Hamiltonien ». Pour arriver à comprendre le sens de cette fonction, considérons un problème à liaisons holonomes mais pouvant dépendre du temps t et qui admet le Lagrangien
[Eqn.002] L(qk, q'k, t) = T(qk, q'k, t) – V(qk, t), avec[2] q'k = dqk/dt,
et étudions la valeur que prend l' intégrale d'action
[Eqn.003] W = ∫to→t1 L(qk, q'k, t) dt
au cours de l'évolution du système mécanique considéré.
Supposons qu'au cours du mouvement naturel du système, le point représentatif dans l'espace de configuration parte d'une position initiale Qo à l'instant to pour aboutir au point Q1 à l'instant t1. Cette trajectoire naturelle est représentée schématiquement sur la figure ci-contre par la courbe en rouge. Considérons un mouvement arbitraire partant de Po voisin de Qo à l'instant to + δto pour aboutir au point P1 voisin de Q1 à l'instant t1 + δt1.
Nous désirons comparer les valeurs de W pour ces deux mouvements. Pour ce faire, nous calculons la variation de W, c'est-à-dire
[Eqn.004] δW = δ∫to→t1 L dt = ∫(Po, to+δto)→(P1, t1+δt1) L dt – ∫(Qo, to)→(Q1, t1) L dt.
Au point M de coordonnées (q1,q²,...,qf), atteint sur la trajectoire naturelle à l'instant t, nous associerons sur la trajectoire virtuelle arbitraire le point M' de coordonnées (q1+δ'q1,q²+δ'q²,...,qf+δ'qf) atteint également au même instant t. Soit Q'o le point de la trajectoire variée, c'est–à-dire infiniment voisine de la trajectoire naturelle, atteint à l'instant to, et soit Q'1 celui qui correspond à l'instant t1. Notons les composantes de QoPo, QoQ'o, Q'oPo par δqok, δ'qok, Δqok = (dqok/dt) δto, respectivement, et celles de Q1P1, Q1Q'1, Q'1P1 par δq1k, δ'q1k, Δq1k = q'1k δt1, respectivement.
La vitesse q'1k sur la trajectoire variée ne diffère de celle sur la trajectoire réelle que par une quantité infiniment petite, laquelle ne donnerait dans Δq1k qu'une correction du second ordre. En séparant les intégrations sur les segments terminaux Q'oPo et P1Q'1, nous obtenons :
[Eqn.005] δW = [L1δt1]Q'1P1 – [Loδto]Q'oPo + ∫(Q'o, to)→(Q'1, t1) L dt – ∫(Qo, to)→(Q1, t1) L dt = [L1δt1]Q'1P1 – [Loδto]Q'oPo + ∫to→t1 δ'L dt.
L'intégrand δ'L dans la dernière intégrale est calculé entre des points des deux trajectoires correspondant aux mêmes instants t. On trouve que l'intégrale ∫to→t1 δ'L dt vaut[3]
[Eqn.006] ∫to→t1 δ'L dt = ∑k [(∂L/∂q'k) δ'qk]1 – ∑k [(∂L/∂q'k) δ'qk]o + ∫to→t1 ∑k [∂L/∂qk – d(∂L/∂q'k)/dt] δ'qk dt.
En introduisant les moments conjugués pk aux coordonnées généralisées contravariantes qk, qui représentent les composantes covariantes de la vitesse, et en se souvenant que selon les équations de Lagrange,[4] l'expression figurant entre crochets dans le dernier terme est nulle, on trouve finalement
[Eqn.007] δW = [L1δt1]Q'1P1 – [Loδto]Q'oPo + ∫(Q'o, to)→(Q'1, t1) L dt + Σk pk,1 δ'qk1 – Σk pk,o δ'qko.
Comme δ'q1 = Q1Q'1 = Q1P'1 – Q'1P'1, il vient en termes de composantes : δ'qk1 = δqk1 – Δqk1 = δqk1 – q'k1 δt1 et de même δ'qko = δqko – Δqko = δqko – q'ko δto. Dès lors, utilisant ces relations, on trouve sous forme condensée[5]
[Eqn.008] δW = [ Σk pk δqk – H δt ]o1,
en définissant la fonction de Hamilton (ou le Hamiltonien)
[Eqn.009] H = Σk pk q'k – L(qk,q'k,t).
La fonction de Hamilton joue un rôle essentiel dans les principes généraux de la mécanique.
[modifier] Principe de Hamilton ou principe de moindre action de Lagrange
Article détaillé : principe de moindre action.Si nous admettons que toutes les trajectoires variées passent par les mêmes extrémités Qo, Q1 au même instant to, t1 que la trajectoire réelle, la variation de l'intégrale d'action W s'annule :
[Eqn.010] δW = ∫to→t1 L dt = ∫to→t1 Σk [∂L/∂qk – d (∂L/∂q'k)/dt] δ'qk dt = 0
d'après les équations de Lagrange. Inversement, si
[Eqn.011] δ∫to→t1 L dt = 0,
il faut que les équations de Lagrange soient satisfaites, puisque les δ'qk sont des quantités petites arbitraires. On peut encore en conclure que les équations d'Euler du problème aux variations sont identiques aux équations de Lagrange. Dès lors, le principe de Hamilton peut s'énoncer comme suit : Un système se meut d'une configuration à une autre de telle façon que la première variation de l'action
∫to→t1 L(q1,q2,...,qf,dq1/dt,dq2/dt,...,dqf/dt,t) dt
entre la trajectoire naturelle effectivement suivie et toute trajectoire virtuelle infiniment voisine ayant les mêmes extrémités dans l'espace et dans le temps soit nulle.
Ce principe possède une importance considérable qui dépasse l'équivalence formelle entre deux formulations mathématiques équivalentes du même problème. Ceci a d'ailleurs aussi son intérêt : par exemple, cette forme reste évidemment vraie dans n'importe quel système de coordonnées et, partant, on peut en déduire immédiatement l'invariance des équations de Lagrange pour toute transformation de coordonnées
q'i = q'i(q1,q²,...,qf), i=1,2,...,f.
Mais surtout, ce principe ouvre la voie à une description de systèmes non-mécaniques par les méthodes mathématiques de la mécanique classique, comme dans la théorie des champs.
[modifier] Principe de Maupertuis ou principe de moindre action
Le principe de moindre action de Maupertuis est la forme particulière que prend le principe de Hamilton pour les systèmes conservatifs à liaisons holonomes indépendantes du temps. Sous ces conditions, le potentiel s'écrit
V = V(qk), k=1,2,...f,
et l'énergie cinétique devient
T = ½ Σi,j aij(qk) (dqi/dt) (dqj/dt), i,j,k=1,2,...f.
Dans ce cas, l'intégrale d'énergie prend la forme
E = T + V = constante
et on en tire
L = T – V = 2 T – E
ainsi que
H = Σk pk dqk/dt – L = Σk [∂T/∂(dqk/dt)] (dqk/dt) – L = 2 T – L = T + V = E.
[modifier] Principe de Gauss ou principe de moindre courbure
[modifier] Comparaison entre mécanique rationnelle et optique géométrique
On peut consulter à ce sujet l'analogie entre l'optique et la mécanique.
[modifier] Équations d'Hamilton
[modifier] Équation d'Hamilton-Jacobi
[modifier] Systèmes conservatifs
[modifier] Théorème de Liouville
Article détaillé : Théorème de Liouville (Hamiltonien).
[modifier] Passage de la mécanique classique à la mécanique ondulatoire
[modifier] Notes
- ↑ Ceci est une restriction importante : on peut supposer que le milieu traversé par la lumière est hétérogène, mais il doit être optiquement isotrope. Le cas d'un milieu optiquement anisotrope, par exemple un cristal dont la symétrie n'est pas celle du système cubique, introduit une complication car il faut alors considérer un « rayon ordinaire » et un « rayon extraordinaire ».
- ↑ On désignera dans la suite systématiquement une dérivée par rapport au temps d'une quelconque coordonnée généralisée qk par un prime :
q'k = dqk/dt. - ↑ Puisque M et M' sont des positions simultanées (correspondant à δ't = 0), la variation δ'L de la fonction de Lagrange L est δ'L = L(M') – L(M) = ∑k [(∂L/∂qk) δ'qk + (∂L/∂q'k) δ'q'k)].
D'autre part, comme δ' et d/dt sont deux opérateurs qui peuvent commuter, on a aussi δ'q'k = δ'(dqk/dt) = d(δ'qk)/dt, si bien que le dernier terme dans δ'L peut encore s'écrire (∂L/∂q'k) δ'qk = (∂L/∂q'k) d(δ'qk)/dt = d[(∂L/∂q'k) δ'qk]/dt – δ'qk d(∂L/∂q'k)/dt.
En introduisant cette expression dans le dernier terme de [Eqn.005], on trouve [Eqn.006]. - ↑ L'expression générale des équations de Lagrange en présence d'un Lagrangien L = L(qk, q'k, t) est d(∂L/∂q'k)/dt – ∂L/∂qk = 0.
- ↑ Avec ces relations, [Eqn.007] devient δW = L1 δt1 + Σk pk,1 (δqk1 – q'k1 δt1) – [Loδto + Σk pk,o (δqko – q'ko δto)] = (L1 – Σk pk,1 q'k1) δt1 + Σk pk,1 δqk1 – (Lo – Σk pk,o q'ko) δto – Σk pk,o δqko ou δW = – H1 δt1 + Σk pk,1 δqk1 + Ho δto – Σk pk,o δqko.
[modifier] Voir aussi
[modifier] Bibliographie
- H. Goldstein (1980). Classical Mechanics (Second Edition), Addison-Wesley Publishing Company, Reading, Massachusetts. ISBN 0-201--02969-3.
