Calcul tensoriel/Appendices

Un livre de Wikibooks.

Sections

[modifier] Équations de Lagrange

Étant donné un système de coordonnées quelconque xi, une variable τ permettant de paramétrer les trajectoires, on considère une fonction L qui ne dépend que des variables xi et leur dérivée totale par rapport à τ \dot{x}_i. On veut trouver une trajectoire x_i\left(\tau\right) d'extrémités données τ1 et τ2, qui minimise l'intégrale

\int_{\tau_1}^{\tau_2} L\left(x_i, \dot{x}_i\right) d\tau

Considérons une trajectoire infiniment voisine x'\left(\tau\right) = x\left(\tau\right) + \epsilon \xi\left(\tau\right) avec ε un infiniment petit et \xi\left(\tau_1\right) = \xi\left(\tau_2\right) = 0. Supposant que les solutions sont trouvées et \xi\left(\tau\right) donné, la fonction

S\left(\epsilon\right) = \int_{\tau_1}^{\tau_2} \left(L\left(x_i, \dot{x}_i\right) + \epsilon \xi\left(\tau\right) \frac{\partial L}{\partial x_i} + \epsilon \dot{\xi}\left(\tau\right) \frac{\partial L}{\partial \dot{x_i}} + o\left(\epsilon\right) \right)d\tau

est minimale pour ε = 0 :

0 = \left[ \frac{dS}{d\epsilon} \right] \left(0\right) = \int_{\tau_1}^{\tau_2} \left( \xi\left(\tau\right) \frac{\partial L}{\partial x_i} + \dot{\xi}\left(\tau\right) \frac{\partial L}{\partial \dot{x_i}} \right)d\tau

Intégrant par parties le second terme sous l'intégrale et profitant du fait que ξ a été supposée nulle aux bornes, on a

0 = \int_{\tau_1}^{\tau_2} \left(\xi\left(\tau\right) \frac{\partial L}{\partial x_i} - \xi\left(\tau\right) \frac{d}{d\tau} \frac{\partial L}{\partial \dot{x_i}} \right)d\tau

Comme la fonction ξ est quelconque, on doit avoir

\frac{\partial L}{\partial x_i} - \frac{d}{d\tau} \frac{\partial L}{\partial \dot{x_i}} = 0
  • Remarques
    1. En mécanique classique, le paramètre est le temps et ces équations sont les équations de Lagrange proprement dites.
    2. Si le paramètre est la longueur de la trajectoire, ces équations fournissent l'équation géodésique.

[modifier] Calcul tensoriel/Appendices/Symbole de Levi-Civita d'ordre N

[modifier] Définition

Le symbole de Levi-Civita d'ordre N, \epsilon_{i_1 i_2 \ldots i_N}, aussi appelé pseudo-tenseur complètement antisymétrique d'ordre N, est une généralisation du symbole de Levi-Civita d'ordre 3.

Chaque index peut prendre une valeur quelconque parmi N. Ce symbole principalement vaut 0, sauf si la liste des index est formée de N valeurs distinctes. Dans ce cas, le symbole vaut 1 ou -1, le changement de signe correspondant à une permutation impaire de la liste des index.

Supposons par exemple que la liste des index soit t, x, y, z pour définir un symbole d'ordre 4. Il y a apriori 44 = 256 valeurs possibles du symbole. Le symbole εttxz vaut 0 parce que l'index t figure deux fois. Si arbitrairement on choisit le signe + pour εtxyz, alors on aura εtxzy = − 1, εtyxz = + 1, εtyzx = − 1, etc. 4!/2 = 12 valeurs valent +1, 12 valeurs valent -1.

[modifier] Tenseur dualiseur

Le symbole de Levi-Civita d'ordre N n'est pas un tenseur. Ses composantes ne dépendent du système de coordonnées choisi, et par convention \epsilon^{i_1 i_2 \ldots i_N} = \epsilon_{i_1 i_2 \ldots i_N}. En revanche, un simple facteur de normalisation basé sur le déterminant du tenseur métrique permet de définir le tenseur dualiseur, ou tenseur de Levi-Civita.

[modifier] Formules de contraction

Récupérée de « http://fr.wikibooks.org/wiki/Calcul_tensoriel/Appendices »