Calcolo tensoriale

Template:Torna a Il calcolo tensoriale è quella parte dell'analisi che manipola i tensori.

Sviluppato da Gregorio Ricci-Curbastro e dal suo allievo Tullio Levi-Civita, è stato utilizzato da Albert Einstein per elaborare la sua teoria della relatività generale. Rispetto al calcolo infinitesimale, il calcolo tensoriale permette di presentare le equazioni fisiche in forma indipendente dalla scelta del sistema di coordinate.

Secondo Eddington, è questo il solo mezzo possibile per esprimere i fenomeni in forma oggettiva, e per spiegare le leggi della fisica come combinazioni di leggi ancor più profonde, quelle dello spazio-tempo.

Derivata tensoriale

Sia $\varphi$ uno scalare, ad esempio una funzione scalare invariante estesa nel continuum a quattro dimensioni. Consideriamo ora una curva $S$ qualunque, su cui stabiliamo una metrica per cui la distanza da un punto fisso misurata sulla curva sia $s:$ allora anche $\frac{d\varphi }{ds}$ è invariante, essendo invarianti sia $ds$ che $d\varphi$. Poiché vale la relazione

$\frac{d\varphi }{ds}=\sum _{\mu }\frac{\partial \varphi }{\partial x^{\mu }}\frac{d{x}^{\mu }}{ds}$

anche il secondo membro è un invariante (ometteremo nel seguito il simbolo di somma, con le solite convenzioni). Dunque il quadrivettore

$A_{\mu }=\frac{\partial \varphi }{\partial x^{\mu }}$

ossia il gradiente di $\varphi$, è covariante. Se definiamo un nuovo invariante

$\psi =\frac{\partial \varphi }{\partial x^{\mu }}\frac{d{x}^{\mu }}{ds}$

per quanto visto prima, $\chi =\frac{d\psi }{ds}$ è un invariante. Sostituendo a $\psi$ la sua espressione, otteniamo

$\chi =\frac{{\partial }^2\varphi }{\partial x^{\mu }\partial x^{\nu }}\frac{d{x}^{\mu }}{ds}\frac{d{x}^{\nu }}{ds}+\frac{\partial \varphi }{\partial x^{\mu }}\frac{d^2{x}^{\mu }}{d{s}^2}$

Ricordando che l'equazione generale di una geodetica per lo spaziotempo, utilizzando i simboli di Christoffel di seconda specie, ha la forma

$\frac{d^2{x}^{\tau }}{d{s}^2}+\left\{\begin{array}{c}\tau \\ \nu \mu \end{array}\right\}\frac{d{x}^{\nu }}{ds}\frac{d{x}^{\mu }}{ds}=0$

ricaviamo il valore di $\frac{d^2{x}^{\mu }}{d{s}^2}$, che sostituiamo. Otteniamo dunque la relazione

$\chi =[\frac{{\partial }^2\varphi }{\partial x^{\mu }\partial x^{\nu }}-\left\{\begin{array}{c}\tau \\ \nu \mu \end{array}\right\}\frac{\partial \varphi }{\partial x^{\tau }}]\frac{d{x}^{\nu }}{ds}\frac{d{x}^{\mu }}{ds}.$

Il teorema di Schwarz ci garantisce che l'ordine di derivazione rispetto a $\nu$ e $\mu$ è invertibile, e il simbolo di Christoffel di seconda specie è simmetrico rispetto a $\nu$ e $\mu$, dunque la relazione tra parentesi quadre data sopra è simmetrica anch'essa. Per la generalità delle $x^{\nu }$, il quadrivettore $\frac{d{x}^{\mu }}{ds}$ è arbitrario. Ricordando l'invarianza di $x,$ otteniamo dunque che la relazione

$A_{\nu /\mu }=\frac{{\partial }^2\varphi }{\partial x^{\mu }\partial x^{\nu }}-\left\{\begin{array}{c}\tau \\ \nu \mu \end{array}\right\}\frac{\partial \varphi }{\partial x^{\tau }}$

rappresenta un tensore covariante del secondo ordine.

Ricapitolando, dal quadrivettore covariante

$A_{\mu }=\frac{\partial \varphi }{\partial x^{\mu }}$

abbiamo ricavato il tensore covariante del secondo ordine

$A_{\mu /\nu }=\frac{\partial A_{\mu }}{\partial x^{\nu }}-\left\{\begin{array}{c}\tau \\ \mu \nu \end{array}\right\}{A}_{\tau }.$

Chiameremo questo tensore la derivata tensoriale del tensore A_μ. È facile vedere che tale risultato vale non solo partendo da un gradiente, ma da qualsiasi vettore covariante. Basta infatti notare che, dati due scalari $\varphi$ e $\psi$, per quanto visto prima $\psi \frac{\partial \varphi }{\partial x^{\mu }}$ è un tensore del primo ordine covariante. Altrettanto potrà dirsi di una somma di quattro di questi vettori qualsiasi $S_{\mu }={\psi }_{\nu }\frac{\partial {\varphi }_{\nu }}{\partial x^{\mu }}$. Ora, un qualunque vettore A_μ può esprimersi nella forma di S_μ (il come è lasciato per esercizio al lettore). Per quanto riguarda il resto della dimostrazione, basta ripercorrere il cammino partendo da $\psi \frac{\partial \varphi }{\partial x^{\mu }}$, e si ricava esattamente la stessa formula, che è quanto ci attendevamo.

Esaminiamo ora il caso di un tensore del secondo ordine A_μν, abbiamo già visto che è possibile esprimerlo come somma di prodotti del tipo A_μB_ν. Ricordando la regola di derivazione del prodotto, deriviamo singolarmente i due tensori, ottenendo

$A_{\mu /\sigma }=\frac{\partial A_{\mu }}{\partial x^{\sigma }}-\left\{\begin{array}{c}\tau \\ \mu \sigma \end{array}\right\}{A}_{\tau }$

e

$B_{\nu /\sigma }=\frac{\partial B_{\nu }}{\partial x^{\sigma }}-\left\{\begin{array}{c}\tau \\ \nu \sigma \end{array}\right\}{B}_{\tau }$

Queste espressioni sono tensori. Moltiplicando poi la prima per B_ν e la seconda per A_μ, otteniamo comunque sei tensori del terzo ordine. Sommandoli e ponendo

$A_{\mu \nu }=A_{\mu }{B}_{\nu }$

otteniamo

$A_{\mu \nu /\sigma }=\frac{\partial A_{\mu \nu }}{\partial x^{\sigma }}-\left\{\begin{array}{c}\tau \\ \mu \sigma \end{array}\right\}{A}_{\tau \nu }-\left\{\begin{array}{c}\tau \\ \nu \sigma \end{array}\right\}{A}_{\mu \tau }$

Analogamente a quanto visto prima, è possibile estendere il risultato ad un tensore del secondo ordine qualunque, e utilizzando le normali regole per la moltiplicazione dei tensori, si ricavano facilmente le espressioni per le derivate tensoriali per qualunque ordine di tensori.

Divergenza di un tensore

Template:S sezione Dato un tensore del primo ordine A^μ, possiamo dapprima considerare il nuovo tensore che si ottiene derivando tensorialmente

$F_{\nu }^{\mu }=A_{/\nu }^{\mu }$

e poi la contrazione del tensore F^μ_ν

$F_{\nu }^{\nu }=A_{/\nu }^{\nu }$

Lo scalare così ottenuto definisce la divergenza di A^μ

$\mathrm{div}{A}^{\mu }=A_{/\mu }^{\mu }$

Ciò mostra come la divergenza di un vettore sia invariante per cambio di coordinate.

Rotore di un tensore

Template:S sezione Il rotore di un tensore del primo ordine A^μ può essere definito, in modo formale, in modo analogo al prodotto vettoriale tra vettori, assumendo come secondo vettore le componenti dell'operatore ∇. Per mezzo del simbolo di Levi-Civita ε_ijk si ha allora

$\mathrm{rot}{A}^{\mu }={\epsilon }_{ijk}{\partial }^j{A}^k$

dove ∂^j definisce la derivata controvariante, ovvero, per mezzo del tensore fondamentale g^jl

${\partial }^j=g^{jl}{\partial }_l$

In generale, il rotore di un tensore nxn,è a sua volta un tensore, che ha per colonne, il rotore delle righe. (Per esempio la prima colonna del tensore risultante sarà il rotore della prima riga, la seconda colonna sarà il rotore della seconda riga, e così via)

Esempi

Molte delle usuali operazioni svolte in algebra lineare possono essere descritte usando dei tensori, scritti in coordinate, e manipolandoli tramite prodotti e contrazioni.

Funzionali lineari

Un funzionale lineare $T$ è un covettore $T_a$, cioè un tensore di tipo $(0,1)$. Un vettore $v$ è descritto da un tensore $v^b$ di tipo $(1,0)$. Lo scalare $T(v)$ è quindi

$T(v)=T_i{v}^i$

ottenuto prima facendo il prodotto dei due tensori, e poi contraendo gli indici.

Endomorfismi

Un endomorfismo $T$ può essere descritto come un tensore $T_a^b$ di tipo $(1,1)$. Un vettore $v$ come un tensore $v^c$ di tipo $(1,0)$. Il vettore $u=T(v)$ è quindi

$u^b=T_i^b{v}^i.$

Forme bilineari

Una forma bilineare $T$ può essere descritta come un tensore $T_{ab}$. Dati due vettori $v^c$ e $w^d$, lo scalare $T(v,w)$ è dato da

$T(v,w)=T_{ij}{v}^i{w}^j.$

Bibliografia

• Template:En Campbell, J. E., 1926 A Course Of Differential Geometry Clarendon Press, Oxford
• Template:En Bowen, R. M., Wang, C. C., 1976, Introduction to vectors and tensors, Vol 1: linear and multilinear algebraTemplate:Collegamento interrotto, Plenum Press, New York, NY.
• Template:Cita web
• Template:En John Lighton Synge, Alfred Schild (1978): Tensor Calculus, Dover, ISBN 0486636127
• Template:En John H. Heinbockel: Introduction to Tensor Calculus and Continuum Mechanics, Trafford Publishing, ISBN 1-55369-133-4

Voci correlate

• Tensore
• Diade (calcolo tensoriale)
• Algebra tensoriale
• Operatore nabla
• Vettore (matematica)

Collegamenti esterni

• Template:Collegamenti esterni