Tensorianalyysi on vektorianalyysin yleistys, tensorilaskennan osa , joka tutkii differentiaalisen moniston tensorikenttien algebraan vaikuttavia differentiaalioperaattoreita . Otamme huomioon myös operaattorit, jotka toimivat yleisempiin geometrisiin objekteihin kuin tensorikentät: tensoritiheydet, differentiaalimuodot arvoilla vektorinipussa.
Kiinnostavia ovat operaattorit, joiden toiminta ei johda algebran ulkopuolelle , mukaan lukien kovarianttiderivaata , Lie-derivaata , ulompi derivaatta , ei-degeneroituneen, kaksoiskovariantin tensorin kaarevuustensori. .
Kovarianttiderivaata vektorikenttää pitkin on moniston vektorikenttien tilan lineaarinen kartoitus vektorikentästä riippuen ja ehtojen täyttyessä:
missä , , , , ovat tasaisia funktioita . Tämän operaattorin määrittelemä yhteys ja rinnakkaismuunnos mahdollistavat kovarianttiderivaatan toiminnan laajentamisen algebran lineaariseen kartoitukseen itseensä; lisäksi kartoitus on differentiaatio, säilyttää tensorikentän tyypin ja muuttaa konvoluutiota.
Paikallisissa koordinaateissa komponentteja sisältävän tensorin kovarianttiderivaata suhteessa vektoriin määritellään seuraavasti:
on yhteysobjekti .Lie-derivaata vektorikenttää pitkin on kaavalla määritellyn avaruuden kuvaus , jossa on vektorikenttien kommutaattori , . Tämä operaattori ulottuu ainutlaatuisesti myös differentiaatioon , säilyttää tensorien tyypin ja kommutoi konvoluutiolla . Paikallisissa koordinaateissa Lie-tensorin derivaatta ilmaistaan seuraavasti:
Ulkoinen differentiaali (ulkoinen derivaatta) on lineaarinen operaattori , joka yhdistää ulkoisen differentiaalimuodon (vinosymmetrinen kovarianttitensorin) asteeseen samantyyppiseen ja -asteiseen muotoon, joka täyttää ehdot:
missä on ulkotuotteen symboli , on aste . Paikallisissa koordinaateissa tensorin ulkoinen derivaatta ilmaistaan seuraavasti:
Operaattori on operaattorin yleistys .
Symmetrisen ei-degeneroituneen kaksoiskovariantisen tensorin kaarevuustensori on jonkin epälineaarisen operaattorin toiminta :
,missä
.