Tensore di curvatura di Ricci

Da Wikipedia, l'enciclopedia libera.

In geometria differenziale il tensore di Ricci è un tensore che misura la curvatura di una varietà riemanniana. Si ottiene contraendo due indici del tensore di Riemann. Il tensore di Ricci, che deve il suo nome a Gregorio Ricci Curbastro, è un ingrediente dell'equazione di campo di Einstein ed è quindi importante per la formulazione della relatività generale.

Il tensore di Ricci è un tensore simmetrico di tipo (0,2), come il tensore metrico. Il tensore misura il modo in cui il volume varia localmente rispetto all'usuale volume di uno spazio euclideo.

Definizione[modifica | modifica wikitesto]

Sia M una varietà riemanniana o una più generale varietà differenziabile dotata di una connessione \nabla.

Definizione come contrazione[modifica | modifica wikitesto]

Il tensore di Ricci è il campo tensoriale definito contraendo due indici del tensore di Riemann nel modo seguente:

R_{ij} = {R^k}_{ikj}.

Si tratta dell'unica contrazione che può dare un tensore non-nullo (altre possibilità danno un tensore nullo a causa delle simmetrie del tensore di Riemann). Per distinguerlo dal tensore di Riemann, nella notazione senza indici è a volte indicato con il simbolo {\rm Ric}.

Con i simboli di Christoffel[modifica | modifica wikitesto]

In termini dei simboli di Christoffel, il tensore di curvatura di Ricci ha la forma seguente:


R_{ij} = {R^k}_{ikj} =
\partial_{l}{\Gamma^l_{ji}} - \partial_{j}\Gamma^l_{li}
+ \Gamma^l_{l\lambda} \Gamma^\lambda_{ji}
- \Gamma^l_{j\lambda}\Gamma^\lambda_{li}
.

Proprietà algebriche[modifica | modifica wikitesto]

Tensore simmetrico[modifica | modifica wikitesto]

Il tensore di Ricci di una varietà riemanniana, psuedoriemanniana o di una più generale connessione senza torsione è un tensore simmetrico:

R_{ij} = R_{ji}\,\!.

La simmetria è una conseguenza della prima identità di Bianchi.

Il tensore di Ricci di una varietà (pseudo-)riemanniana è quindi simmetrico di ordine (0,2), come il tensore metrico g. Si tratta quindi di una forma bilineare simmetrica definita su ogni spazio tangente. Confrontare il tensore di Ricci con il tensore metrico è quindi un'operazione naturale, che ha dato luogo (fra le altre cose) in fisica alla formulazione dell'equazione di campo di Einstein e in matematica alla soluzione della congettura di Poincaré.

Come tutte le forme bilineari simmetriche, il tensore di Ricci è determinato dalla forma quadratica associata, e quindi dai valori che la funzione

 v \mapsto {\rm Ric}(v,v) = R_{ij}v^iv^j

assume sulla sfera dei vettori di norma unitaria dello spazio tangente.

Varietà di Einstein[modifica | modifica wikitesto]

In una varietà riemanniana, se la funzione

 v \mapsto {\rm Ric}(v,v)

è costante su tutti i vettori di lunghezza unitaria, allora il tensore di Ricci è un multiplo del tensore metrico

 R_{ij} = \lambda g_{ij}

e la varietà è detta varietà di Einstein.

Ricci e Riemann[modifica | modifica wikitesto]

Il tensore di Ricci determina il tensore di Riemann di una varietà riemanniana avente dimensione 2 o 3. In dimensione più alta questo non è più vero: ad esempio, esistono varietà Ricci-piatte (cioè con tensore di Ricci nullo) che non sono però Riemann-piatte (il tensore di Riemann non si annulla).

Proprietà geometriche[modifica | modifica wikitesto]

Media delle curvature sezionali[modifica | modifica wikitesto]

Le curvature sezionali di una varietà riemanniana determinano il tensore di Riemann e conseguentemente anche il tensore di Ricci. D'altra parte, il tensore di Ricci fornisce una media delle curvature sezionali lungo rette. Più precisamente, sia v un vettore tangente di lunghezza unitaria. Il numero

{\rm Ric}(v,v)

è la media delle curvature sezionali dei piani passanti per v, moltiplicata per (n-1).

Distorsione del volume[modifica | modifica wikitesto]

Il tensore di Ricci misura il modo in cui la forma volume della varietà differisce localmente dall'usuale forma volume euclidea. In una carta determinata da coordinate geodetiche intorno ad un punto, il tensore metrico è bene approssimato dalla metrica Euclidea, nel senso che vale la formula

g_{ij}  = \delta_{ij}+ O (|x|^2).

In queste coordinate, la forma volume ha la forma seguente.

d\mu_g = \Big[ 1 - \frac{1}{6}R_{jk}x^jx^k+ O(|x|^3) \Big] d\mu_{\delta}

Quindi nelle direzioni v in cui il tensore di Ricci è positivo (cioè \operatorname {Ric}(v,v)>0) il volume è contratto rispetto al volume euclideo. In altre parole, la mappa esponenziale contrae il volume in queste direzioni.

Definizioni correlate[modifica | modifica wikitesto]

Curvatura di Ricci positiva o negativa[modifica | modifica wikitesto]

Se la funzione

 v \mapsto {\rm Ric}(v,v)

è positiva, negativa, non-negativa, ecc. per tutti i vettori di lunghezza unitaria, allora la varietà è detta a curvatura di Ricci positiva, negativa, non-negativa, etc. Se la funzione è nulla, allora il tensore di Ricci è ovunque nullo, e la varietà è detta Ricci-piatta.

Curvatura scalare[modifica | modifica wikitesto]

Il tensore di Ricci è l'unico tensore non nullo ottenuto contraendo due indici del tensore di Riemann. A loro volta, i due indici del tensore di Ricci possono essere contratti ed il risultato è la curvatura scalare

R = g^{ij}R_{ij}.

La curvatura scalare è quindi la traccia del tensore di Ricci.

A volte è utile una versione del tensore di Ricci avente traccia nulla. Si tratta del tensore seguente

Z_{ij} =R_{ij} - \frac{R}{n}g_{ij}

ottenuto togliendo al tensore di Ricci la sua traccia, divisa per la dimensione n. Questo tensore è effettivamente a traccia nulla, vale cioè la relazione

Z_{ij}g^{ij} = 0.

In dimensione n maggiore o uguale a tre, il tensore Z è ovunque nullo se e solo se R=\lambda g, cioè se la varietà è una varietà di Einstein.

Tensore di Einstein[modifica | modifica wikitesto]

Il tensore di Einstein è definito come

G_{ij} = R_{ij} -\frac R2g_{ij}.

Dove R è la curvatura scalare. Il tensore di Einstein è uno degli ingredienti principali dell'equazione di campo di Einstein. La proprietà cruciale di questo tensore è l'identità

 \nabla_{i} G^{ij} = 0

conseguenza della seconda identità di Bianchi.

Voci correlate[modifica | modifica wikitesto]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica