Tensorianalyysi

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. .

Kovarianttijohdannainen

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 .

Valheen derivaatta

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 johdannainen

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 .

Kaarevuustensori

Symmetrisen ei-degeneroituneen kaksoiskovariantisen tensorin kaarevuustensori on jonkin epälineaarisen operaattorin toiminta :

,

missä

.

Kirjallisuus