Tensor analyse

Tensoranalyse  er en generalisering af vektoranalyse , et afsnit af tensorregning , der studerer differentialoperatorer, der virker på algebraen af ​​tensorfelter i en differentierbar manifold . Vi betragter også operatorer, der virker på mere generelle geometriske objekter end tensorfelter: tensortætheder, differentialformer med værdier i et vektorbundt.

Af størst interesse er operatorer, hvis handling ikke fører uden for algebraen , blandt dem er den kovariante afledte , Lie-afledte , den ydre afledede , krumningstensoren af ​​en ikke-degenereret, dobbelt kovariant tensor .

Kovariant afledt

Den kovariante afledte langs et vektorfelt  er en lineær kortlægning af rummet af vektorfelter i manifolden , afhængigt af vektorfeltet og opfylder betingelserne:

hvor , , , ,  er glatte funktioner på . Forbindelsen og paralleloversættelsen defineret af denne operator tillader os at udvide handlingen af ​​den kovariante afledte til en lineær afbildning af algebraen ind i sig selv; desuden er kortlægningen en differentiering, bevarer typen af ​​tensorfeltet og permuterer med foldning.

I lokale koordinater er den kovariante afledte af en tensor med komponenter i forhold til en vektor defineret som:

 er et forbindelsesobjekt .

Løgn afledt

Lie-afledningen langs vektorfeltet  er en kortlægning af rummet defineret af formlen , hvor  er kommutatoren af ​​vektorfelter ,. Denne operatør udvider også unikt til differentiering , bevarer typen af ​​tensorer og pendler med foldning . I lokale koordinater er den afledte af Lie-tensoren udtrykt som følger:

Ekstern afledt

Den eksterne differential (ekstern afledt) er en lineær operator , der forbinder en ekstern differentialform (skæv-symmetrisk kovariant tensor) med en grad med en form af samme type og grad , der opfylder betingelserne:

hvor  er symbolet på det ydre produkt ,  er graden af ​​. I lokale koordinater er den eksterne afledte af tensoren udtrykt som følger:

Operatøren  er en generalisering af operatøren .

Krumningstensor

Krumningstensoren af ​​en symmetrisk ikke-degenereret dobbelt kovariant tensor er handlingen af ​​en eller anden ikke-lineær operator :

,

hvor

.

Litteratur