Répondre à la discussion
Affichage des résultats 1 à 9 sur 9

Calcul Tensoriel - Dérivée covariante pour un tenseur général



  1. #1
    Lévesque

    Calcul Tensoriel - Dérivée covariante pour un tenseur général


    ------

    Bonjour,

    j'essai de me familiriser avec la notation sans indexe utilisée en Math, et aussi de me familiariser avec un jolie language.

    Si un connaisseur pouvais vérifier, je n'ai pas encore trop confiance, surtout lorsqu'on passe de la notation sans indexe à la notation avec indexes. Sinon, à force d'en faire je deviendrai connaisseur!

    J'essai, juste pour voir si je suis capable, de dériver la formule pour la dérivé covariante d'un tenseur d'ordre p (si quelqu'un sait où trouver une dérivation, le message perd un peu d'intéret). J'aurais pu le faire directement en composante, pour sauver des étapes, mais je voulais voir un peu ce que cachait la notation sans index.

    Je le fais seulement pour un tenseur de type (p,0), i.e. p fois covariant. La formule générale est sur wiki.

    Je commence avec un tenseur d'ordre 1, . [j'utilise une police différente pour le tenseur et sa composante, i.e. et ] Alors, la dérivée covariante est

    ,

    . Soit

    ,

    avec on a alors suivant la règle de Leibniz

    (1)

    Jusque là, ça va? Si oui, alors pour le premier terme, on a




    .

    Si ça va encore jusque là, on remplace le dernier calcul pour chaque dérivée covariante dans (1), envoyant tous les termes avec Gamma à droite, et tout les termes avec une dérivé partielle à gauche:

    (1)





    Ce qui donne, en composantes,

    ,

    ce qu'il fallait démontrer.

    Merci pour le signalement d'erreurs!

    Cordialement,

    Simon

    -----
    Dernière modification par Lévesque ; 05/06/2006 à 17h21.
    La lumière ne fait pas de bruit. (Félix Leclerc)

  2. Publicité
  3. #2
    mtheory

    Re : Calcul Tensoriel - Dérivée covariante pour un tenseur général

    Salut,j'ai regardé rapidement mais ça m'à l'air d'être ça.
    Je revérifirai dans peu de temps

    Donc à priori

    Rincevent devrait pouvoir te dire aussi.
    “I'm smart enough to know that I'm dumb.” Richard Feynman

  4. #3
    Lévesque

    Re : Calcul Tensoriel - Dérivée covariante pour un tenseur général

    Merci d'avoir regardé. Mais je serais surpris de n'avoir fait aucune boulette...

    L'expression de mon tenseur T=TT..TTT c'est légal?
    Et aussi que les composantes T^{abc...}=T^aT^bT^c... j'étais pas certain...

    Pour Rincevent il y a longtemps que je l'ai vu (comme il est le seul à répondre à plusieurs de mes questions, je sais exactement quand il passe )

    A+

    Simon
    La lumière ne fait pas de bruit. (Félix Leclerc)

  5. #4
    mtheory

    Re : Calcul Tensoriel - Dérivée covariante pour un tenseur général

    En fait un produit tensoriel de p vecteur donne un tenseur de rang p mais un tenseur de rang p n'est pas toujours décompossable en produit de vecteur de façon simple ou permise.
    Pense au tenseur irréductible en MQ et théorie des groupes.
    Donc tu aurais écrit T sans précisez au départ que T était un produit j'aurais tiqué

    Maintenant si tu as pensé que tu pouvais toujours passer de T à TTTTT ben non c'est pas si simple.
    “I'm smart enough to know that I'm dumb.” Richard Feynman

  6. #5
    Lévesque

    Re : Calcul Tensoriel - Dérivée covariante pour un tenseur général

    Ok. Est-ce que ça veut dire que la preuve n'est valide que pour les tenseurs qui sont réductibles comme je l'ai supposé?

    En fait, corrige moi si je me trompe. Je crois qu'on peut toujours écrire

    T=T^{abc...}_{def...}dx^d...de l_a..?

    Sauf qu'on ne peut pas toujours écrire T^{abc...}_{def...}=T^aT^b...T _d...?

    C'est ça ou bien les deux ne sont pas vraies en général?
    La lumière ne fait pas de bruit. (Félix Leclerc)

  7. A voir en vidéo sur Futura
  8. #6
    Rincevent

    Re : Calcul Tensoriel - Dérivée covariante pour un tenseur général

    Citation Envoyé par Lévesque
    Ok. Est-ce que ça veut dire que la preuve n'est valide que pour les tenseurs qui sont réductibles comme je l'ai supposé?
    la preuve que tu as donnée, oui. Pour en avoir une générale il faut appliquer Leibniz à un scalaire obtenu comme la contraction de ton tenseur avec des vecteurs...

    C'est ça ou bien les deux ne sont pas vraies en général?
    ta première égalité donne juste les composantes d'un tenseur dans une base de l'espace où il habite. Donc ça marche toujours. C'est la deuxième écriture qui n'est valable que dans des cas particuliers. Tu peux relier ça au fait que la fonction d'onde de deux particules intrinquées n'est pas factorisable (cf la remarque de mtheory sur le lien avec la MQ).
    Ceux qui manquent de courage ont toujours une philosophie pour le justifier. A.C.

  9. Publicité
  10. #7
    Lévesque

    Re : Calcul Tensoriel - Dérivée covariante pour un tenseur général

    Merci!! C est bien gentil!
    La lumière ne fait pas de bruit. (Félix Leclerc)

  11. #8
    julien_4230

    Re : Calcul Tensoriel - Dérivée covariante pour un tenseur général

    Bonjour,

    Je propose une autre démonstration, qui est en fait la même, mais avec une notation différente.

    Soit un tenseur d'ordre (p,q), tel que :

    .

    J'ai omis le symbole "produit tensoriel" pour simplifier les expressions.

    Il vient :



    Etant donné que :



    et que :



    on retrouve aisément la formule sur wikipedia :



    tel que :

    .

    En espérant ne pas m'être planté quelque part (sachant que c'est la première fois que j'écris les tenseurs via latex... Tu parles d'un entraînement !),

    Sincèrement.

  12. #9
    julien_4230

    Re : Calcul Tensoriel - Dérivée covariante pour un tenseur général

    Pardon j'ai oublié un signe - dans l'avant-avant dernière formule :


Discussions similaires

  1. Calcul tensoriel et tenseur stress-énergie !
    Par Mataka dans le forum Physique
    Réponses: 1
    Dernier message: 08/10/2007, 22h38
  2. Commutateur de la dérivée covariante de l'EM
    Par Gwyddon dans le forum Physique
    Réponses: 3
    Dernier message: 13/10/2006, 09h58
  3. p-form: tenseur ou champ tensoriel ?
    Par limitinfiny dans le forum Mathématiques du supérieur
    Réponses: 5
    Dernier message: 21/08/2006, 03h03
  4. Calcul tensoriel
    Par Citronelle dans le forum Physique
    Réponses: 2
    Dernier message: 15/08/2005, 18h26
  5. Dérivée covariante seconde d'un vecteur
    Par isozv dans le forum Physique
    Réponses: 3
    Dernier message: 01/06/2004, 14h52