Commit fc0c14c4 authored by Claude Meny's avatar Claude Meny

Add new file

parent 9d533832
Pipeline #11120 canceled with stage
---
title: Géométrie et coordonnées proposition 2
published: false
routable: false
visible: false
lessons:
- slug: geometry-coordinates-prop2-234-panorama-main
name: PANORAMA main
order: 3
- slug: geometry-coordinates-prop2-4-linear
order: 1
---
#### Géométrie et coordonnées niveau 4 : main
---------------------------------------------
!!!! *Attention : COURS EN CONSTRUCTION :*
!!!! Publié mais invisible : n'apparait pas dans l'arborescence du site m3p2.com.
!!!! Ce cours est en phase très préliminaire, il n'est *pas validé par l'équipe pédagogique* à ce stade.
!!!! Document de travail destiné uniquement aux équipes pédagogiques.
<!--MétaDonnée : ... -->
---------------------------------------------
Recherche d'un plan d'exposition ...
**Des scalaires et vecteurs aux tenseurs**
grandeurs physiques : scalaires, vecteurs, tenseurs, déjà en espace euclidien.
tenseurs, généralisation des scalaires et des vecteurs, et au-delà.
tenseurs polaires et tenseurs axiaux.
on en aura besoin pour :
\- grandeurs physiques en mécanique : contrainte, déformation, ...
\- propriétés physiques : élasticité, rigidité, piézoélectricité, pyroélectricité, dilatation thermique, ...
outils nécessaire :
\- relations de transformations des composantes lors d'un changement de repère orthonomée, rotations propre et impropres, ...
(serait à reprendre plus loin à ce niveau 4, en généralisant à tout système de coordonnées)
2 - vers les géométries non euclidiennes (notation utile : indices hauts et indices bas)
\- : tenseur métrique, symbole de Christoffel (connexion affine), tenseur de courbure, ...
outils nécessaire :
\- opérations élémentaires sur les tenseurs :
addition et soustraction, multiplication par un scalaire, produit tensoriel, contraction d'un tenseur
-------------------------------------------------------
**Les coordonnées curvilignes généralisées** :
orthogonales, non orthogonales...
------------------------------------------------------
**Coordonnées, bases naturelle et base duale** :
définition
vers l'espace de Fourier
vers les géométries non euclidiennes.
*D'abord on part d'une variété de dimension $`N`$ munie d'un système de coordonnées $`\mathcal{S}`$ .*
variété $`\mathcal{V}`$ de dimension $`N`$$`\Leftrightarrow`$ une séquence de $`N`$ coordonnées (nombres réels) indépendantes sont nécessaires pour déterminer de façon unique tout point $`P`$ quelconque de la variété.
$`\mathcal{S}`$ un système de coordonnées de $`\mathcal{V}`$. Un point $`P`$ de $`\mathcal{V}`$ est repéré par N coordonnées, que nous repèrerons par un indice-haut pouvant prendre toutes les valeurs entières entre 1 et N. La lettre désignant cet indice n'a pas d'importance.
Traditionnellement, les lettres "i, j, k" sont réservées à des coordonnées spatiales, la lettre "t" étant réservée à la coordonnée temporelle.
Si l'on ne souhaite pas faire de distinction entre coordonnées spatiales et temporelles, ou dans le cas plus général d'une variété quelconque, les lettres "a, b, c, d,..." sont généralement utilisées.
*Puis on introduit la base naturelle*
Il faudrait dire ou penser "base naturelle $`\overrightarrow{e_a}(P)`$ (on a choisit de nommer temporairement l'indice-haut "a") associée au système de coordonnées $`\mathcal{S}`$".
En chaque point $`P`$ de la variété, on peut associer un vecteur $`\overrightarrow{e_a}(P)`$ à chacune des $`N`$ coordonnées de $`\mathcal{S}_a`$ :
$`\overrightarrow{e_a}(P)=\displaystyle\lim_{\Delta x^a \rightarrow 0} \dfrac{\Delta\overrightarrow{s}}{\Delta x^a}(P)`$
$`=\dfrac{\partial \overrightarrow{s}}{\partial x^a}(P)`$
Tout vecteur $`\overrightarrow{v}`$ se décompose en ses composantes
$`\displaystyle\overrightarrow{v}=\sum_{a=1}^N v^a\,\overrightarrow{e_a}`$
($`\overrightarrow{\partial s}`$ ou $`\partial \overrightarrow{s}`$ ? mathématiquement $`\partial \overrightarrow{s}`$ fait apparaître l'opérateur $`\dfrac{\overrightarrow{\partial }}{\partial x^a}`$ qui est fondamental à ce niveau 4. Reste une vision physicienne (qui ferait pâlir les mathématiciens) que $`\overrightarrow{\partial s}`$ est la variation du vecteur $`\overrightarrow{s}`$ obtenue pour une variation $`\partial x^a`$ de la coordonnée $`x^a`$, peut-être plus facile à visualiser à un niveau inférieur... A discuter, mais probablement il faudra expliciter le passage et l'utilisation de ces deux notations. ?
Il existe aussi une notation plus condensée à réserver à la relativité générale niveau 4....
On forme ainsi la base naturelle associée au système de coordonnées $`\mathcal{S}`$, notée :
$`\overrightarrow{e_a}=\displaystyle\lim_{\Delta x^a\rightarrow 0} \dfrac{\Delta \overrightarrow{s}}{\Delta x^a}`$$`=\dfrac{\partial\overrightarrow{s}}{\partial x^a}`$.
On aurait tout aussi bien choisir la lettre "b" et écrire :
$`\overrightarrow{e_b}=\displaystyle\lim_{\Delta x^b\rightarrow 0} \dfrac{\Delta \overrightarrow{s}}{\Delta x^b}`$$`=\dfrac{\partial\overrightarrow{s}}{\partial x^b}`$.
Cette lettre choisit pour l'indice ne désigne pas un système de coordonnées particulier. Lorsque nous devrons considérer simultanément plusieurs systèmes de coordonnées, la notation de différenciation traditionnelle est le " ' ", puis le " '' ".
Exemple :
Les vecteurs naturels $`\overrightarrow{e_a}`$ ou indifféremment $`\overrightarrow{e_b}`$, les coordonnées $`x^a`$ ou indifféremment $`x^b`$ réfèrent à un système de coordonnées $`\mathcal{S}`$.
Un autre système de coordonnées sera noté $`\mathcal{S'}`$, et les vecteurs de base naturel associés peuvent être notés indifféremment $`\overrightarrow{e'_a}`$ ou $`\overrightarrow{e'_b}`$, et les coordonnées indéfféremment $`x'^a`$ ou $`x'^b`$.
Base naturelle normée :
$`\overrightarrow{u_a}=\dfrac{\dfrac{\partial\overrightarrow{s}}{\partial x^a}}{\left\lVert \dfrac{\partial\overrightarrow{s}}{\partial x^a} \right\rVert}`$.
(donc dès le départ N1 et dans tout le cursus, on utilise la notation $`\overrightarrow{u}`$ au lieu de $`\overrightarrow{e}`$ pour un vecteur normé? La lettre "u" colle bien avec "unité" ou "unitaire" dans les 3 langues).
La base naturelle d'une base cartésienne est naturellement normée.
La base naturelle d'une base orthonormée ne l'est en général pas :
exemple : coordonnées cylyndriques $`(\rho, \varphi, z)`$, $`dl_{\varphi}=\rho\, d\varphi`$ donc
$`\left\lVert \dfrac{\partial\overrightarrow{s}}{\partial \varphi}\right\rVert=\dfrac{1}{\rho}`$
Normer la base naturelle est utile seulement en terme de visualisation, mais ne sert pas plus...
*Et enfin la base duale*
Il faudrait dire ou penser "base duale d'une base donnée".
Ici, en l'occurrence, la base $`\overrightarrow{e^a}(P)`$ duale de la base naturelle $`\overrightarrow{e_a}(P)`$ de $`\mathcal{S}`$ est définie par :
$`\overrightarrow{e^a}(P)\cdot\overrightarrow{e_b}(P)=\delta_b^a`$
Les vecteurs référencés avec l'indice-haut sont ceux de la base naturelle du système de coordonnées $`\mathcal{S}`$.
Les vecteurs référencés avec l'indice-bas sont ceux de la base duale associée`$.
*Intérêt de la base duale* :
Vient de sa définition (il y a des figures de quasi-prêtes).
Si N est la dimension de la variété considérée (l'espace usuel de la mécanique classique est une variété de dimension 3), alors
__Si l'on va vers la cristallographie :__
Cristal : peut se définir comme un réseau tridimensionnel dans lequel un même motif atomique est accroché à chaque noeud du réseau. La maille élémentaire définit une base de l'espace, la base $`\overrightarrow{e^a}(P)`$ non orthonormée.
En cristallographie, la base duale se distingue souvant par un astérisque en indice-haut :
$`(\overrightarrow{a^{\ast}},\overrightarrow{b^{\ast}}, \overrightarrow{c^{\ast}})`$
A priori la base duale permet de définir le réseau réciproque : points de coordonnées entières dans un repère formé avec la base duale $`(O, \overrightarrow{a^{\ast}},\overrightarrow{b^{\ast}}, \overrightarrow{c^{\ast}})`$
Que dire pour aller vers la diffraction à travers un cristal? L'idée est de pouvoir servir de socle, ou de chapitre premier, à un chemin diffraction par les cristaux...
<!------------------------------------
Comme la dimension spatiale est fixe (3) et qu'il n'y a pas de gros calculs sommatoires à faire derrière, un indice numérique n'est en général pas utilisé et cette base la plupart du temps non orthonormée s'écrit :
$`(\overrightarrow{a},\overrightarrow{b}, \overrightarrow{c})`$.
Sa base duale se distingue souvant par un asterics en indice-haut :
$`(\overrightarrow{a^{\ast}},\overrightarrow{b^{\ast}}, \overrightarrow{c^{\ast}})`$
------------------------------------->
__Si l'on va vers les géométries non euclidiennes :__
Que pourrait-on dire ici?
Que cela simplifie l'expression du produit scalaire en coordonnées non orthonormées?
Expression d'un champ vectoriel dans un système de coordonnées donné :
Dans la base naturelle $`\overrightarrow{e_a}`$ :
$`\overrightarrow{v}=\displaystyle\sum_{a=1}^{N} v^a\,\overrightarrow{e_a}`$,
avec convention d'Einstein ...
**$`\mathbf{\overrightarrow{v}=v^a\,\overrightarrow{e_a}}`$**
avec $`v^a`$ coordonnées contravariantes...
Dans la base duale $`\overrightarrow{e^a}`$ :
$`\overrightarrow{v}=\displaystyle\sum_{a=1}^{N} v_a\,\overrightarrow{e^a}`$,
avec convention d'Einstein ...
**$`\mathbf{\overrightarrow{v}=v_a\,\overrightarrow{e^a}}`$**
avec $`v_a`$ coordonnées covariantes...
Par rapport aux coordonnées cartésiennes vues aux niveaux précédents (de l'espace euclidien), en terme de produits scalaires :
en général : $`\overrightarrow{e_a}\cdot\overrightarrow{e_a}\ne 1`$ et $`\overrightarrow{e^a}\cdot\overrightarrow{e^a}\ne 1`$.
en général, pour $`a\ne b`$, $`\overrightarrow{e_a}\cdot\overrightarrow{e_b}\ne 0`$ et $`\overrightarrow{e^a}\cdot\overrightarrow{e^b}\ne 0`$
Mais on a toujours :
**$`\mathbf{\overrightarrow{e_a}\cdot\overrightarrow{e^b}= \delta_a^b}`$**
**$`\mathbf{\overrightarrow{e^a}\cdot\overrightarrow{e_b}= \delta_a^b}`$**
Hypothèse, on connait les résultats de $`\overrightarrow{e_a}\cdot\overrightarrow{e_b}`$ et
$`\overrightarrow{e^a}\cdot\overrightarrow{e^b}`$
Appelons-les $`g_{ab}`$ et $`g^{ab}`$ :
**$`\overrightarrow{e_a}\cdot\overrightarrow{e_b}=g_{ab}`$** et **$`\overrightarrow{e^a}\cdot\overrightarrow{e^b}=g^{ab}`$**.
Soient deux vecteurs, exprimés en seules coordonnées contravariantes :
$`\overrightarrow{v}=v^a\,\overrightarrow{e_a}`$ et $`\overrightarrow{w}=v^b\,\overrightarrow{e_b}`$
(en notation d'Einstein).
alors.
$`\overrightarrow{v}\cdot\overrightarrow{w}=(v^a\,\overrightarrow{e_a})\cdot(w^b\,\overrightarrow{e_b})`$
$`\quad =v^a\,w^b\,(\overrightarrow{e_a}\cdot\,\overrightarrow{e_b})`$
$`\quad =v^a\,w^b\,g_{ab})`$
**$`\mathbf{\overrightarrow{v}\cdot\overrightarrow{w}=g_{ab}\,v^a\,w^b}`$**
Si ces mêmes vecteurs sont exprimés en seules coordonnées covariantes :
$`\overrightarrow{v}=v_a\,\overrightarrow{e^a}`$ et $`\overrightarrow{w}=v_b\,\overrightarrow{e^b}`$
(en notation d'Einstein).
alors.
$`\overrightarrow{v}\cdot\overrightarrow{w}=(v_a\,\overrightarrow{e^a})\cdot(w_b\,\overrightarrow{e^b})`$
$`\quad =v_a\,w_b\,(\overrightarrow{e^a}\cdot\,\overrightarrow{e^b}`$
$`\quad =v_a\,w_b\,g^{ab})`$
**$`\mathbf{\overrightarrow{v}\cdot\overrightarrow{w}=g^{ab}\,v_a\,w_b}`$**
Si coordonnées contravariantes et covariantes sont utilisées, alors :
$`\overrightarrow{v}\cdot\overrightarrow{w}=(v_a\,\overrightarrow{e^a})\cdot(w^b\,\overrightarrow{e_b})`$
$`\quad =v_a\,w^b\,(\overrightarrow{e^a}\cdot\,\overrightarrow{e_b})`$
$`\quad =v_a\,w_b\,\delta_a^b`$
**$`\mathbf{\overrightarrow{v}\cdot\overrightarrow{w}}`$**
$`=\delta_a^b\,v_a\,w^b`$**$`\mathbf{=v_a\,w^a}`$** _(eq1)_
même forme simple que le produits scalaire vu jusqu'à présent, exprimée en coordonnées cartésiennes :
$`(\overrightarrow{u_x}, \overrightarrow{u_y}, \overrightarrow{u_z})`$ base cartésienne de l'espace.
Si $`\overrightarrow{v}=v_x\,\overrightarrow{u_x}+v_y\,\overrightarrow{u_y}+v_z\,\overrightarrow{u_z}`$
et $`\overrightarrow{w}=w_x\,\overrightarrow{u_x}+w_y\,\overrightarrow{u_y}+w_z\,\overrightarrow{u_z}`$
alors.
*$`\overrightarrow{v}\cdot\overrightarrow{w}=v_x\,w_x+v_y\,w_y+v_z\,w_z`$*
Si on posait $`\overrightarrow{u_x}=\overrightarrow{u_1}`$, $`\overrightarrow{u_y}=\overrightarrow{u_2}`$ et $`\overrightarrow{u_z}=\overrightarrow{u_3}`$
on aurait
*$`\displaystyle\overrightarrow{v}\cdot\overrightarrow{w}=v_1\,w_1+v_2\,w_2+v_3\,w_3=\sum_{i=1}^{3} v_i\;w_i`$*
soit, si on l'exprimait en notation d'Einstein :
**$`\mathbf{\overrightarrow{v}\cdot\overrightarrow{w}=v_i\,w_i}`$** _(eq2)_
à comparer avec _(eq1)_.
On peut montrer que :
en coordonnées cartésiennes, "base naurelle" et "base duale" sont les mêmes, la base cartésienne. Pas de distinction à faire entre coordonnées contravariantes et covariantes dans ce cas.
dna sun repère normé mais pas forcément orthogonal, liens entre coordonnées contravariantes (covariantes) et projection parallèle (orthogonale).
**Coordonnées et tenseur métrique**
**Géométrie euclidienne et géométries non-euclidiennes**
L'idée est la calcul de longueurs d'une courbe, d'une "surface", d'un volume d'une variété non euclidienne (on reste pseudo-riemmanienne, pour relativité générale).
<!-----------------------------------------
Une **Courbe $`\mathcal{C}`$ d'une variété $`\mathcal{V}`$** est une *sous-variété de $`\mathcal{V}`$ de dimension 1*.
C'est l'ensemble des points $`P`$ de $`\mathcal{V}`$ qui appartiennent à, et définissent, $`\mathcal{C}`$.
Chaque point $`P`$ possède $`N`$ coordonnées $`x^a(P)`$ dans $`\mathcal{V}`$, et une coordonnée unique $`u(P)`$ dans $`\mathcal{C}`$.
En terme de notation, de façon générale $`x^a)`$ désigne les N coordonnées de tout point de $`\mathcal{C}`$ dans $`\mathcal{V}`$, et $`u(P)`$ sa coordonnée relativement à $`\mathcal{C}`$.
$`\Longrightarrow`$ La courbe $`\mathcal{C}`$ dans $`\mathcal{V}`$ est **définie par les $`\mathbf{N}`$ équations $`\mathbf{x^a=x^a(u)}`$**.
La longueur $`S_{P_1P_2}`$ entre 2 points $`P_1`$ et $`P_2`$ sur la courbe $`\mathcal{C}`$, de coordonnées $`u_1`$ et $`u_2`$ s'écrit :
$`\displaystyle S_{P_1P_2}=\int_{P_1}^{P_2} ds = \int_{u_1}^{u_2} \left| g_{ab}(u)\,\dfrac{dx^a}{du} \,\dfrac{dx^b}{du} \right|^{1/2}\,du`$
------------------------------->
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment