29/01/21

La Relatività Generale al Microscopio. 7: La derivata non conserva l'uguaglianza *****         

Questo è il nono articolo della serie "La Relatività Generale al microscopio"

 

Questa parte è decisamente molto ostica e non tutto può essere ricavato nei limiti imposti al Circolo. Malgrado si debba prendere per buona una certa dimostrazione, la trattazione ha dei risvolti non banali, al limite della professionalità. Di meglio non riesco a fare...

Ricordiamoci una frase fondamentale: un tensore rappresenta una relazione tra vettori che deve mantenersi inalterata, qualsiasi sia il sistema di riferimento in cui viene considerato.

Tornando all'inizio di tutto, è come dire che se il valore dell'altezza della collina del campo di grano è di due metri, lei resta alta due metri in qualsiasi altro sistema di riferimento usassimo (i tensori sono tensori in qualsiasi sistema di riferimento e qualsiasi sia il loro rango).

Possiamo esprimere lo stesso concetto in termini matematici e dire che

se

Wmn (x) = Vmn( x)

deve valere sempre che:

Wmn(y) = Vmn(y)

qualsiasi sia il riferimento y

Consideriamo, adesso, uno stesso vettore Vm (è sempre un tensore) e assumiamo che quanto detto prima valga anche per lui, ossia:

Vm(x) = Vm(y)

Se applichiamo l'operazione di derivata otteniamo due nuovi tensori Tmn(x) e Tmn(y) . Vale ancora l'uguaglianza tra di loro? Ossia, l'operazione "derivata" svolta su uno stesso vettore, considerato in due sistemi differenti, rimane ancora uguale. In parole matematiche:

Se

Tmn(x) =  ∂Vm(x)/∂xn

vale anche:

Tmn(y) = ∂Vm(y)/∂yn

Purtroppo NO!

La seconda equazione non è valida.

E' necessario dimostrarlo per descrivere quale sia la loro differenza ...

Ipotesi: Tmn(x) =  ∂Vm(x)/∂xn

Tesi: Tmn(y) ≠ ∂Vm(y)/∂yn

Andiamo a recuperare l'equazione (5) (eliminando, ancora una volta,  il segno fastidioso della sommatoria, che viene comunque indicata dagli indici r e s), che descrive la trasformazione di un tensore. Utilizziamola per scrivere Tmn(y) come trasformazione di un tensore Trs(x)

Tmn(y) = (∂xr/∂ym)(∂xs/∂yn) Trs (x)

il tensore  Trs (x) , cambiando gli indici m e n in r e s, è proprio quello che abbiamo posto uguale alla derivata del vettore Vr (x). Inseriamo allora questa sua espressione nella formula precedente

Tmn(y) =(∂xr/∂ym)(∂xs/∂yn) Trs (x)  = (∂xr/∂ym)(∂xs/∂yn) (∂Vr(x)/∂xs)

Analizziamo i termini segnati in rosso... essi ci dicono che abbiamo eseguito la derivata di una funzione di funzione, dato che compare la derivata di Vr rispetto a xs moltiplicata per la derivata di xs rispetto a yn. Possiamo perciò "contrarre" questa parte e scriverla soltanto come ∂Vr(x)/∂yn. Otteniamo:

Tmn(y) = (∂xr/∂ym) ∂Vr(x)/∂yn

Ricordiamo ancora che vogliamo dimostrare che

Tmn(y) ≠ ∂Vm(y)/∂yn

Per cui dobbiamo dimostrare che:

(∂xr/∂ym) (∂Vr(x)/∂yn) ≠ ∂Vm(y)/∂yn

Facciamo adesso un passaggio un po' "ostico".. Cosa rappresenta il secondo termine? La derivata di un vettore. Ma un vettore possiamo sempre scriverlo come tensore abbassato di rango, e deve valere comunque l'equazione (5) ridotta per l'occasione. In pratica la (5)

Tmn(y) = (∂xr/∂ym)(∂xs/∂yn) Trs(x)             (5)

diventa soltanto

Vm(y) = (∂xr/∂ym)Vr (x)  (non serve più la derivata ∂xs/∂yn dato che vi è solo un indice di sommatoria)

Inseriamo questo vettore al posto di Vm(y) nel secondo membro e otteniamo:

∂Vm(y)/∂yn  = ∂((∂xr/∂ym)Vr (x))/∂yn

Il secondo membro, però, è il differenziale di un prodotto e quindi deve seguire la regola ben conosciuta:

d(AB)  = A dB + dA B

per cui si ha:

∂Vm(y)/∂yn  = ∂((∂xr/∂ym)Vr (x))/∂yn =(∂xr/∂ym) (∂Vr(x)/∂yn) + ∂((∂xr/∂ym)/∂yn) Vr(x)

∂Vm(y)/∂yn = (∂xr/∂ym) (∂Vr(x)/∂yn) + ∂((∂xr/∂ym)/∂yn) Vr(x)

Noi volevamo dimostrare che

∂Vm(y)/∂yn ≠ (∂xr/∂ym) (∂Vr(x)/∂yn)

e ci siamo riusciti dato che per avere l'uguaglianza bisogna aggiungere il termine

∂((∂xr/∂ym)/∂yn) Vr(x)

la parte che moltiplica il vettore Vr(x) viene contratta in un simbolo

Γmn =  ∂((∂xr/∂ym)/∂yn)

che è chiamato simbolo di Christoffel

Cosa abbiamo imparato? Che due vettori che sono uguali in un certo sistema di riferimento (e quindi devono esserlo in tutti), danno luogo a derivate diverse in sistemi diversi. Tuttavia, siamo riusciti a calcolare quanto vale questa differenza e quindi poterla quantificare.

Introduciamo ancora un nuovo simbolo che incorpori sia la normale derivata che il termine additivo che abbiamo appena definito, lo chiamiamo derivata covariante (abbiamo notato l'uso ormai abituale delle coordinate covarianti, come si vede dagli indici posti in basso).

Ricapitolando..

abbiamo dimostrato che

Tmn(y) ≠ ∂Vm(y)/∂y

bisogna, allora, aggiungere un termine

nVm =  ∂Vm(y)/∂y+ Γmnr Vr(x)              .... (7)

Abbiamo introdotto un nuovo termine correttivo che ci permette di calcolare la derivata di un certo vettore in due sistemi di riferimento diversi. In altre parole, si deve derivare in modo un po' più elaborato...

In parole, spero più semplici, la derivata covariante permette di calcolare la derivata di vettori definiti su spazi localmente piani (spazi tangenti a spazi curvi) e, quindi, di estendere a spazi curvi l'ordinaria derivazione dello spazio euclideo.

A noi servirà, soprattutto, per  eseguire il trasporto parallelo di un vettore  su spazi curvi.

Vi sarete sicuramente accorti che abbiamo lavorato su derivate di vettori, che sono sì anche loro dei tensori, ma di rango uno. Non ci vuole molto a estendere lo stesso risultato a tensori di rango due. In altre parole invece di

nVm

vogliamo scrivere (usiamo un nuovo indice per non confondere quelli propri del tensore)

pTmn

Basta applicare la (7) e aspettarsi, ovviamente, che appaiano due termini aggiuntivi (uno per l'indice m e uno per  l'indice n)..

pTmn = ∂Tmn/∂yp + Γpmr Trn  +Γpnr Tmr        .... (8)

Anche questa non è altro che una trasformazione tra tensori in due sistemi di riferimento. Lo so, lo so, si comincia ad andare in "palla" con tutti questi indici ... ma è necessario farlo...

Il succo di tutto è riuscire a definire il simbolo di Christoffel in funzione del tensore metrico. Ciò che va fatto è ricordare che il tensore metrico è una costante nello spazio piano e che quindi la sua derivata deve essere zero. La sua derivata è anch'essa un tensore e, perciò, deve essere zero in qualsiasi sistema di riferimento. A questo punto prendiamo in mano l'equazione (8) e applichiamola proprio al tensore metrico gmn, sapendo che la sua derivata (per covariante che sia) deve rimanere zero in qualsiasi sistema di riferimento.

La (8) diventa:

pgmn = ∂gmn/∂yp + Γpmr grn  + Γpnrgmr = 0

Da questa equazione è possibile ricavare Γ, ma dobbiamo fidarci di chi è riuscito a farlo (si tratta di matematica veramente superiore). Si ottiene, comunque:  

Γbca (x) = 1/2 gad [∂gdc/∂xb + ∂gdb/∂xc - ∂gbc/∂xd]                .... (9)

Ciò che si è ottenuto è di aver descritto il simbolo di Christoffel in funzione del tensore metrico e delle sue derivate prime.

Il simbolo non è propriamente un tensore, ma nuovamente un fattore di correzione, che diventa zero (derivate del tensore metrico uguali a zero) in uno spazio piano.

Perché questa faticosa  trattazione, quando nell'equazione di Einstein non compare assolutamente il simbolo di Christoffel? La ragione è che lui è legato strettamente al tensore di Ricci che vedremo più avanti. La parte precedente potrebbe anche essere brutalmente saltata e accettata per buona, ossia ci si può limitare a sapere che il simbolo è legato al tensore metrico e alle sue derivate prime.

11 commenti

  1. M. Grazia Gori

    Caro Vincenzo

    molte grazie

    il concetto è chiaro ma la procedura è difficile, ci vorrà il suo tempo.

    Michele

  2. Eh sì, hai ragione... caro Michele, ma di meglio non si riesce a fare (almeno io...).

    Buon lavoro!!! :wink:

  3. M. Grazia Gori

    Hai già fatto moltissimo, è che io devo tornare indietro a ripassarmi i capitoli precedenti, comunque ci voglio riuscire a capirlo bene. Ancora complimenti per l'iniziativa e per il seguito che hai.

    Michele

  4. M. Grazia Gori

    Caro Vincenzo, possiamo dire che il fatto che la velocità non si mantenga uguale cambiando sistema di riferimento sia un esempio? La velocità in certo qual modo è una derivata.

    Michele

  5. direi proprio di sì, caro Michele...

  6. M. Grazia Gori

    Scusa Vincenzo, un altra domanda: nell'eq. 9 le lettere abcd, in qualsiasi posizione si trovino cioè indici o pedici indicano le coordinate?

    Grazie

    Michele

     

     

    Γbca (x) = 1/2 gad [∂gdc/∂xb + ∂gab/∂xc - ∂gbc/∂xd]                .... (9)

  7. Sì. Michele è esatto... sono indici che al loro variare indicano le varie componenti... (entro sommatorie che vengono trascurate ma ci sono). Il fatto di stare sopra e sotto dipende se sono covarianti oppure no.

  8. M. Grazia Gori

    Grazie Vincenzo. La faccenda si complica e trovo difficile seguire perché devo andare avanti e indietro per rivedere i precedenti, sarebbe comodo alla fine avere un unico insieme di raccolta dei vari capitoli in modo che uno se li possa stampare e farsi un libretto, alla mia età mi trovo meglio  con i libri cartacei. Scusa se mi sono permesso di fare una proposta.

    Michele

  9. Giorgio Bellomi

    Ciao Vincenzo,

    complimenti per l'iniziativa veramente notevole. Mi pare però che ci sia un refuso nelle equazioni 7 e 8, a me viene che per tensori covarianti (indice in basso) la derivata covariante debba avere segni meno davanti ai simboli di Cristoffel (mentre viene + per tensori contravarianti) del resto altrimenti non verrebbe la formula che esprime, in funzione del tensore metrico e delle sue derivate parziali, i simboli di Cristoffel stessi. peraltro mi pare ci sia un refuso in quanto, mi sembra, nella seconda derivata al posto del pedice a debba andare l'indice muto d! Infine specificherei anche che per ricavare tale formula si deve imporre anche la condizione di simmetria dei due pedici (in questo caso b e c) ovvero Gamma(a, bc) = Gamma(a, cb)!

     

  10. caro Giorgio,

    il refuso l'ho trovato nell'equazione (9), come dicevi tu. Ti do ragione che dovremmo anche inserire il meno davanti (seguendo, ad esempio, la trattazione di Wiki), ma mi sembrava inutile introdurre un qualcosa che in fondo va oltre allo scopo dell'articolo, sempre in bilico tra divulgazione e professionalità. Che sia più o meno l'importante è che la (9) sia corretta.

  11. Frank

    x Michele, scusa il ritardo mi era sfuggito questo tuo ultimo commento. Nel caso non hai ancora risolto prova a questo modo: seleziona tutto l'articolo come se dovessi fare un "copia" poi metti il puntatore su una zona blu che hai selezionato e quindi con il tasto destro fai stampa, stampa come pdf e salva sul computer poi con un programma per pdf unisci in un unico file. Ecco un link dove puoi trovare diversi programmi gratuiti per editare i pdf.

    http://programmifree.com/categorie/pdf.htm

    Il sito è serio ed è attivo da lunghissima data (lo uso da più di vent'anni) ed è senza bullshit. Tieni presente che i collegamenti a volte cambiano senza che il gestore del sito si sia accorto per aggiornarlo quindi fai sempre attenzione a dove ti porta il link selezionato. Non so consigliarti quale usare, io uso un programma originale di Adobe a pagamento. Noto che nella descrizione di "Bullzip PDF Printer" è specificata la possibilità di unire vari pdf in uno solo che è quella che ti interessa ma penso che anche gli altri lo facciano.

Lascia un commento

*

:wink: :twisted: :roll: :oops: :mrgreen: :lol: :idea: :evil: :cry: :arrow: :?: :-| :-x :-o :-P :-D :-? :) :( :!: 8-O 8)

 

Questo sito usa Akismet per ridurre lo spam. Scopri come i tuoi dati vengono elaborati.