Souřadnicový zápis tenzorových veličin
Souřadnicový zápis tenzorových veličin je způsob zápisu vektorů, tenzorů a obecněji tenzorových polí pomocí jejich složek v dané soustavě souřadnic. Při takovém způsobu zápisu předpokládáme, že souřadnicove jsou pevně dány a píšeme jen složky tenzorů vůči této soustavě souřadnic. Tento formalismus se využívá především v teorii relativity (např. [1][2]) a v diferenciální geometrii.
Mnohé důležité tenzorové identity vyskytující se ve fyzice mají vlastnost, že zápis identity vypadá ve všech soustavách souřadnic stejně. Tato vlastnost se nazývá invariance. Podobně můžeme mluvit o invariantních diferenciálních operátorech, pokud se v identitě vyskytuje diferencování a zápis rovnice nezávisí na volbě souřadnic.
Příkladem souřadnicového zápisu tenzorů je popis metrického tenzoru pomocí sady čísel (resp. funkcí) , kde i,j jsou přirozená čísla, anebo popis Riemannova tenzoru křivosti pomocí jeho složek .
Základy formalismu
editovatJednotlivé složky tenzorových veličin jsou značeny indexy, přičemž indexy nahoře se nazývají kontravariantní a odpovídají souřadnicím vektorů, kdežto indexy dole se nazývají kovariantní a odpovídají značení kovektorů (forem). V teorii relativity se zpravidla používá řeckých písmen a hodnot 0,...,3 pro indexování časoprostorových tenzorových veličin a latinských indexů 1,...,3 pro prostorové vektory a tenzory. Tenzorovou veličinou se rozumí tenzory, tenzorová pole, tenzorové hustoty a pole tenzorových hustot. Ve fyzice se rozdíl mezi tenzory a tenzorovými poli často nezdůrazňuje a mluví se o nich souhrnně jako o tenzorech.
Souřadnicový zápis je založen na užívání Einsteinova sumačního pravidla, tedy sčítání přes všechny hodnoty indexů, které jsou v jednom členu označeny stejně a mají opačnou polohu. Takové indexy se nazývají sčítací (anglicky „dummy indices“). Indexy, přes které se nesčítá, se nazývají volné.
V relativitě se často využívá faktu, že operujeme na prostoru s definovanou metrikou a skrz ni definovanou beztorzní metrickou konexí. Metrika umožňuje mj. tzv. zvedání a snižování indexů tenzorových veličin vysčítáním daného indexu s metrikou. Metrická konexe zase zavedení kovariantních derivací, jejichž aplikací se definuje většina obvyklých invariantních diferenciálních operátorů. Ve formalismu je ustálené značení obvykle se vyskytujících objektů, jako metrický tenzor, Kroneckerovo delta a Levi-Civitův tenzor.
Příklady:
- Ai je v této notaci vektor, S je skalár a Rijkl je jednou kontravariantní a třikrát kovariantní tenzor čtvrtého řádu.
- (Einsteinovo sumační pravidlo.)
Stručné zavedení metrického tenzoru
editovatMetrický tenzor udává diferenciální nárůst vzdálenosti s při změně součadnic podle vztahu
Vzdálenost se pak měří po křivce, podél které se tento vztah zintegruje. Metrický tenzor rovněž určuje velikost vektorů podle vztahu
Běžně se zavádí také metrický tenzor v kontravariantním tvaru , který je definován vztahy
Zvedání a snižování indexů
editovatKovariantní a kontravariantní vyjádření tenzorů jsou provázány následujícími dvěma vztahy (A je n-krát kontravariantní a m-krát kovariantní tenzor (m+n)-tého řádu, jehož k-tý index (vždy z příslušné skupiny indexů) snižujeme, resp. zvyšujeme):
Další obvyklé objekty v souřadnicovém formalismu
editovatKroneckerovo delta a Levi-Civitův symbol
editovatChceme-li, aby námi užívaný formalismus platil v libovolné souřadné soustavě, je potřeba definovat permutační znak a Kroneckerovo delta tak, aby šlo o tenzorové veličiny, a to s důrazem na správnou polohu indexů. Zpravidla se používá méně obecné zavedení.
Takto definované Kroneckerovo delta se transformuje jako tenzor a má v každé souřadné soustavě stejný tvar. [1] Snížením nebo zvýšením indexu metrikou vidíme, že je totožné s metrickým tenzorem, neboť
Požadavek nezávislosti na souřadné soustavě znemožňuje stejně jednoduché zavedení permutačního symbolu. Obecněji se proto v křivých prostorech zavádí podle následující definice:
- je-li je antisymetrické na každé dvojici indexů.
- je-li je antisymetrické na každé dvojici indexů.
je přitom determinant z metrického tenzoru. Tím, že definujeme pro jedno uspořádání indexů a tím, že změní znaménko při záměně každých dvou indexů, je definice jednoznačná. Z ní také plyne, že pokud jsou dva indexy shodné, permutační symbol má nulovou hodnotu. Při této definici se transformuje jako tenzor. Obvyklé je také zavedení pro [1], kde obětujeme tenzorové transformační vlastnosti za jednoduchost zápisu.
V rovném prostoru a kartézské souřadnicové soustavě obě definice přechází v klasické zavedení permutačního symbolu.
Diferenciální operátory v souřadnicovém zápisu
editovatChceme-li souřadnicově zapsat vektorové (tenzorové) diferenciální operátory, zavádí se tzv. operátor čárky pro derivování podle souřadnic, a to následujícím způsobem:
Pracujeme-li v souřadných soustavách, které mají nekonstantní metrický tenzor, prostá parciální derivace souřadnic tenzorového pole není tenzorové pole. Proto se v definici diferenciálních operátorů zavádí tzv. kovariantní derivace, která tuto vlastnost má. V souřadnicovém formalismu se zpravidla značí středníkem. Nejčastěji je definována přes Levi-Civitovu beztorzní konexi generovanou metrikou.
Porovnání jednotlivých notací
editovatV následující tabulce jsou porovnány vybrané identity ve vektorovém zápisu a v souřadnicovém zápisu. Předpokládá se trojrozměrný prostor s konstantním metrickým tenzorem. Pro Kartézské souřadnice navíc platí .
Pojmenování | Vektorový tvar | Souřadnicový tvar |
---|---|---|
Skalární součin vektorů | ||
Vektorový součin vektorů | ||
Gradient skalárního pole | ||
Divergence vektorového pole |