Tensoranalys

Tensoranalys  är en generalisering av vektoranalys , ett avsnitt av tensorkalkyl som studerar differentialoperatorer som verkar på algebra av tensorfält i ett differentierbart grenrör . Vi betraktar också operatorer som verkar på mer generella geometriska objekt än tensorfält: tensordensiteter, differentialformer med värden i en vektorbunt.

Av störst intresse är operatorer vars verkan inte leder utanför algebra , bland dem är den kovarianta derivatan , Lie-derivatan , den yttre derivatan , krökningstensorn för en icke-degenererad, dubbelt kovarianstensor .

Kovariantderivata

Den kovarianta derivatan längs ett vektorfält  är en linjär kartläggning av utrymmet för vektorfälten i grenröret , beroende på vektorfältet och som uppfyller villkoren:

där , , , ,  är smidiga funktioner på . Kopplingen och parallellöversättningen som definieras av denna operator tillåter oss att utöka verkan av den kovarianta derivatan till en linjär avbildning av algebra in i sig själv; dessutom är mappningen en differentiering, bevarar typen av tensorfältet och permuterar med faltning.

I lokala koordinater definieras den kovarianta derivatan av en tensor med komponenter med avseende på en vektor som:

 är ett anslutningsobjekt .

Lögnderivata

Lie-derivatan längs vektorfältet  är en mappning av det utrymme som definieras av formeln , där  är kommutatorn för vektorfält , . Denna operatör sträcker sig också unikt till differentiering , bevarar typen av tensorer och pendlar med faltning . I lokala koordinater uttrycks derivatan av Lie-tensorn enligt följande:

Extern derivata

Den externa differentialen (extern derivata) är en linjär operator som associerar en extern differentialform (skev-symmetrisk kovariant tensor) med en grad med en form av samma typ och grad som uppfyller villkoren:

var  är symbolen för den yttre produkten ,  är graden av . I lokala koordinater uttrycks den externa derivatan av tensorn enligt följande:

Operatören  är en generalisering av operatören .

Kurvaturtensor

Krökningstensorn för en symmetrisk icke-degenererad dubbelt kovariant tensor är verkan av någon icke-linjär operator :

,

var

.

Litteratur