Coordinate curvilinee

Da testwiki.
Vai alla navigazione Vai alla ricerca

Template:C Le coordinate curvilinee sono un sistema di coordinate per lo spazio euclideo basato su una trasformazione che trasforma il sistema di coordinate cartesiane in un sistema di coordinate con lo stesso numero di coordinate nel quale gli assi coordinati sono curvi. Tale trasformazione deve essere localmente invertibile in ogni punto. Questo significa che si possono convertire (almeno localmente) le coordinate cartesiane di un punto in coordinate curvilinee e viceversa.

Le coordinate curvilinee più conosciute sono le coordinate polari per 2 e le coordinate sferiche e le coordinate cilindriche per 3.

Descrizione

In alcune applicazioni, l'uso di un sistema di coordinate curvilinee può essere più semplice del sistema di coordinate cartesiane. Per esempio, un problema fisico con simmetria sferica definito in 3 (per esempio il moto di una carica in un campo), è di solito più semplice se risolto nelle coordinate sferiche piuttosto che nelle coordinate cartesiane. Inoltre anche le condizioni al bordo possono creare una simmetria. Per esempio il moto di una particella in una scatola rettangolare è più agevolmente descritto in coordinate cartesiane, mentre il moto in una sfera in coordinate sferiche.

Molti concetti del calcolo vettoriale che sono definiti in coordinate cartesiane o in coordinate sferiche, possono essere formulati in un sistema di coordinate curvilinee generico. Questo fornisce una certa astrazione ed è quindi possibile derivare espressioni generali di gradiente, divergenza, rotore e laplaciano, valide per ogni sistema di coordinate curvilinee.

Il nome "coordinate curvilinee" è stato coniato dal matematico francese Lamé, dal fatto che le superfici coordinate in un sistema di coordinate curvilinee sono curve a differenza di un sistema cartesiano in cui le superfici coordinate sono dei piani, per esempio z=0 definisce il piano xy mentre per esempio nelle coordinate sferiche la superficie coordinata r=1 è una sfera unitaria in 3 ovviamente curva.

Coordinate curvilinee generali

Superfici coordinate, linee corrdinate e assi coordinati di un sistema di coordinate curvilinee.

Nelle coordinate cartesiane la posizione di un punto P(x,y,z) è determinata dall'intersezione di tre piani perpendicolari, x=costante, y=costante, z=costante. Le coordinate x, y e z sono legate a tre nuove quantità q1, q2 e q3 dalle equazioni della trasformazione diretta, cioè da coordinate curvilinee a cartesiane:

{x=x(q1,q2,q3)y=y(q1,q2,q3)z=z(q1,q2,q3).

Il sistema di equazioni sopra può essere risolto per le incognite q1, q2 e q3 con soluzioni nella forma delle equazioni della trasformazione inversa, cioè da coordinate cartesiane a curvilinee:

{q1=q1(x,y,z)q2=q2(x,y,z)q3=q3(x,y,z)

Le funzioni di trasformazione sono tali che esiste una relazione biunivoca tra i punti nelle "vecchie" e "nuove" coordinate e soddisfano la seguente condizione nel loro dominio:

  1. sono funzioni lisce;
  2. il determinante dello Jacobiano:
(q1,q2,q3)(x,y,z)=|q1xq2xq3xq1yq2yq3yq1zq2zq3z|0
non è zero; questo significa che la trasformazione è invertibile in accordo col teorema della funzione inversa. La condizione che il determinante dello jacobiano sia diverso da zero riflette il fatto che ci sono tre superfici differenti che si intersecano in un solo punto e quindi determinano la posizione del punto in maniera univoca.

Un punto generico può essere descritto specificando sia x, y, z oppure q1, q2, q3 mentre ogni equazione inversa descrive una superficie nelle nuove coordinate e le intersezioni di tre di queste superfici determina il punto nello spazio tridimensionale. Le superfici q1=costante, q2=costante, q3=costante sono le superfici coordinate; le curve formate dall'intersezione di una coppia di superfici coordinate è chiamata linea coordinata. Gli assi coordinati sono determinati dalle tangenti alle linee coordinate e dall'intersezione delle tre superfici. In generale non fissano una direzione nello spazio, come invece succede nelle coordinate cartesiane. Le quantità (q1,q2,q3) sono le coordinate curvilinee del punto P(q1,q2,q3).

Più in generale, (q1,q2,,qn) sono coordinate curvilinee nello spazio n-dimensionale.

Esempio: coordinate sferiche

Superfici coordinate, linee coordinate, assi coordinati delle coordinate sferiche. Superfici: r-sfera, θ-cono, φ-semipiano; Linee: r-semirette, θ-semicerchi verticali, φ-cerchi orizzontali; Assi: r-semirette, θ-tangenti ai semicerchi verticali, φ-tangenti ai cerchio orizzontali

Le coordinate sferiche sono uno dei sistemi di coordinate curvilinee più usati come nelle scienze della Terra, cartografia e fisica. Le coordinate curvilinee (q1,q2,q3) in questo sistema sono rispettivamente r (distanza radiale o raggio polare, r0), θ (azimut o latitudine, 0θπ) e φ (zenit o longitudine, 0φ2π). La relazione tra le coordinate cartesiane e le coordinate sferiche è data da:

{x=rsinθcosφy=rsinθsinφz=rcosθtrasformazione diretta   (da sferiche a cartesiane).

Risolvendo le equazioni del sistema per r, θ, e φ si ottengono le relazioni tra le coordinate sferiche e le coordinate cartesiane:

r=x2+y2+z2
θ=arccos(zx2+y2+z2) oppure cosθ=zx2+y2+z2
φ=arctan(yx) oppure tanφ=yx     trasformazioni inverse (da cartesiane a sferiche).

Le superfici coordinate sferiche sono derivate in termine delle coordinate cartesiane fissando le coordinate sferiche nelle trasformazioni inverse a un valore costante. Quindi l'equazione r=costante rappresenta superfici sferiche concentriche centrate nell'origine O delle coordinate cartesiane. L'equazione θ=costante rappresenta superfici coniche circolari con l'apice in O e con asse l'asse Oz, φ=costante sono i semipiani limitati dall'asse Oz e perpendicolari al piano coordinato cartesiano xOy. Ogni linea coordinata sferica è formata dall'intersezione di una coppia delle superfici coordinate sferiche, corrispondenti alle altre due coordinate: le linee r (distanza radiale) sono semirette Or, intersezione di un cono θ=costante e un semipiano φ=costante; le linee θ (meridiani) sono semicerchi formati dall'intersezione di una sfera r=cost e un semipiano φ=costante; le linee φ (paralleli) sono circonferenze in piani paralleli a xOy intersezione di una sfera r=costante e un cono θ=costante. La posizione del punto P(r,θ,φ) è determinata dall'intersezione fra tre superfici coordinate, o alternativamente, come l'intersezione di tre linee coordinate. Gli assi θ e φ in P(r,θ,φ) sono mutuamente perpendicolari (ortogonali) tangenti al meridiano e al parallelo in quel punto, mentre l'asse r è diretto lungo la distanza radiale ed è ortogonale sia all'asse θ che φ.

Le superfici descritte dalle trasformazioni inverse sono funzioni lisce nel loro dominio. Il Jacobiano della trasformazione inversa è:

J1=(r,θ,φ)(x,y,z)=|sinθcosφsinθsinφcosθ1rcosθcosφ1rcosθsinφ1rsinθ1rsinφsinθ1rcosφsinθ0|=1r2sinθ0.

Basi locali

Le coordinate sono usate per definire la posizione o la distribuzione di quantità fisiche che possono essere scalari, vettoriali o tensoriali. Gli scalari sono espressi come punti e la loro posizione è definita specificando le loro coordinate attraverso l'uso di linee coordinate o superfici coordinate. I vettori sono oggetti che possiedono due caratteristiche: modulo e direzione. Per definire un vettore in termini di coordinate è necessario una struttura di coordinate associate, chiamata base. Una base nello spazio tridimensionale è un insieme di tre vettori linearmente indipendenti {e1,e2,e3}, chiamato base vettoriale. Ogni base vettoriale è associata a una coordinata nella rispettiva dimensione. Ogni vettore può essere rappresentato come la somma di vettori Anen formato moltiplicando un vettore della base con un coefficiente scalare, chiamato componente. Ogni vettore ha esattamente una componente per ogni dimensione e può essere rappresentato come la somma vettoriale: A=A1e1+A2e2+A3e3, dove An e en sono le componenti e i vettori della base. Una richiesta per il sistema di coordinate e la sua base è la condizione A1e1+A2e2+A3e30 quanto almeno uno dei An0. Questa condizione è la indipendenza lineare. L'indipendenza lineare implica che non esiste una base di vettore di modulo zero poiché darebbe origine a vettori di modulo zero usando qualsiasi componente. Vettori non paralleli sono linearmente indipendenti, e una tripla di vettori non complanari può essere usata come base nelle tre dimensioni.

Per un sistema di coordinate curvilinee generiche, i vettori della base e le componenti variano da punto a punto. Se un vettore A è originariamente nel punto P(q1,q2,q3) e viene spostato al punto P'(q'1, q'2, q'3 ) in modo tale che la sua direzione e la sua orientazione siano preservate, allora il nuovo vettore sarà espresso con delle nuove componenti A'n con dei nuovi vettori della base e'n. Quindi, la somma di vettori che descrive A nel nuovo punto è composta da differenti vettori, nonostante la somma rimane la stessa. Una base coordinata i cui vettori della base cambiano la loro direzione e/o la loro direzione da punto a punto è chiamata una base locale. Tutte le basi associate con le coordinate curvilinee sono necessariamente locali. Le basi globali, cioè quelle composte da vettori che rimangono sempre gli stessi in tutti i punti possono essere associate solo alle coordinate lineari. Un'espressione più esatta per questa somma vettoriale con la base locale è 𝐀=i=1nAi(q1qn)𝐞i(q1qn), dove la dipendenza sia delle componenti che dei vettori della base dal punto è esplicitata (n è la dimensione).

I vettori della base possono essere associati ad un sistema di coordinate in due modi: possono essere costruiti lungo gli assi coordinati (collineari con gli assi) oppure perpendicolari alle superfici coordinate. Nel primo caso (collineari agli assi), i vettori della base si trasformano come vettori covarianti mentre nel secondo caso (normali alle superfici), i vettori della base trasformano come vettori controvarianti. Questi due tipi di basi sono distinti dalla posizione dei loro indici: i vettori covarianti hanno un indice basso, mentre i vettori controvarianti hanno un indice alto. Quindi per un sistema di coordinate curvilinee ci sono due insiemi di vettori di base per ogni punto: {e1,e2,e3} è la base covariante, mentre {e1,e2,e3} è la base controvariante. Un'importante proprietà della rappresentazione dei vettori e dei tensori in termini di componenti e vettori della base è l'invarianza nel senso che le componenti che trasformano in maniera covariante (o controvariante) sono associate ad una base di vettori che trasforma in maniera controvariante (o covariante). Questo significa che in un'espressione in cui un indice appare due volte, deve apparire una volta in alto e una volta in basso. Quindi nella somma vettoriale sopra, la base di vettori con indici bassi è moltiplicata da componenti il cui indice è alto, o viceversa, in modo che un vettore può essere descritto in due modi: A=A1e1+A2e2+A3e3=A1e1+A2e2+A3e3. Sotto un cambiamento di coordinate, un vettore trasforma nello stesso modo delle sue componenti. Quindi, un vettore è covariante o controvariante se, rispettivamente, le sue componenti sono covarianti o controvarianti. Dalle somma vettoriali precedenti, si nota che i vettori controvarianti sono rappresentati con una base di vettori covariante, e i vettori covarianti sono rappresentati con una base di vettori controvarianti. Questo si riflette nella notazione di Einstein con la quale la somma vettoriale i=1nAi𝐞i e i=1nAi𝐞i la base di vettori e il simbolo di sommatoria è omesso, lasciando solo Ai e Ai che rappresentano, rispettivamente, un vettore controvariante e un vettore covariante.

Basi covarianti

Trasformazione della base locale covariante nel caso di coordinate curvilinee generali

Un vettore controvariante è un vettore le cui componenti controvariante la cui posizione è determinata usando una base di vettore covariante che sono costruiti lungo gli assi coordinati. In analogia con gli altri elementi coordinati, la trasformazione della base covariante di generali coordinate curvilinee è descritta partendo dal sistema di coordinate cartesiane la cui base è chiamata base standard. La base standard è una base globale composta da 3 vettori mutuamente ortogonali {i,j,k} di lunghezza unitaria, cioè il loro modulo è 1. Indifferentemente dal modo di costruzione (paralleli agli assi, o normali alle superfici coordinate) nel sistema cartesiano il risultato è un insieme di vettori che forma la base standard. Per evitare complicazioni, la base standard sia costruita lungo gli assi coordinati.

Nel punto P, preso come origine, x è una delle coordinate cartesiane e q1 è una delle coordinate curvilinee. La base di vettori locali è e1 ed è costruita sull'asse q1 che è tangente alla linea coordinata q1 nel punto P. L'asse q1 e il vettore e1 formano un angolo α con l'asse cartesiano x e con il vettore della base cartesiana i. Si nota dal triangolo PAB che cosα=|𝐢||𝐞1| dove |e1| è il modulo del vettore della base e1 e |i| è il modulo del vettore della base cartesiana i che è anche la proiezione di e1 sull'asse x. Segue che |𝐞1|=|𝐢|cosα e |𝐢|=|𝐞1|cosα. Tuttavia, questo metodo per le trasformazioni dei vettori della base che usa i coseni direttori è inapplicabile alle coordinate curvilinee per la ragione seguente. Aumentando la distanza da P l'angolo tra la linea curvilinea q1 e l'asse cartesiano x differisce sempre di più da α. Alla distanza PB l'angolo vero è quello tra la tangente al punto C e l'asse x ed è diverso da α. Gli angoli che la linee q1 e l'asse q1 formano con l'asse x diventano sempre più piccoli. Sia il punto E posizionato molto vicino a P, così vicino che la distanza PE sia infinitesima. Allora PE misurato sull'asse q1 coincide quasi con PE misurato sulla linea q1. Allo stesso modo, il rapporto PDPE (PD è la proiezione di PE sull'asse x) diventa quasi esattamente uguale a cosα. Siano PD e PE chiamati rispettivamente dx e dq1. Allora cosα=dxdq1 e 1cosα=dq1dx. Quindi, i coseni direttori possono essere sostituiti nelle relazioni con i più esatti rapporti tra le intercette infinitesime. Le coordinate curvilinee generiche q1q1(x,y,z) e xx(q1,q2,q3) sono funzioni lisce (differenziabili con continuità) e quindi il rapporto può essere scritto come dq1dx=dq1(x,y,z)dx=q1x e dxdq1=dx(q1,q1,q3)dq1=xq1, cioè questi rapporto sono le derivate parziali delle coordinate di un sistema rispetto alle coordinate dell'altro sistema.

Segue che la componente (proiezione) di e1 sull'asse x è x=|𝐢||𝐞1||𝐞1|=cosα|𝐞1|=xq1|𝐞1|. La proiezione dei vettori normalizzati che della base |e1|=1 può essere costruita è data da un vettore lungo l'asse x moltiplicato per il vettore della base standard i. Facendo lo stesso per coordinate in spazi di dimensione maggiore, e1 può essere espresso come: 𝐞1=xq1𝐢+yq1𝐣+zq1𝐤. Simili equazioni valgono per e2 ed e3 in modo che la base standard {i,j,k} è trasformata nella base locale ordinata e normalizzata {e1,e2,e3} dal seguente sistema di equazioni:

{xq1𝐢+yq1𝐣+zq1𝐤=𝐞1xq2𝐢+yq2𝐣+zq2𝐤=𝐞2xq3𝐢+yq3𝐣+zq3𝐤=𝐞3.

I vettori {e1,e2,e3} nel membro a destra delle equazioni precedenti sono vettori unitari diretti lungo i tre assi del sistema di coordinate curvilinee. Tuttavia in generale non è necessario che i vettori della base del sistema di coordinate curvilinee siano unitari. Può essere facilmente dimostrato che la condizione |e1|=|e2|=|e3|=1 è un risultato della trasformazione, e non una richiesta a priori imposta sulla base curvilinea. Se invece la base locale {e1,e2,e3} non è normalizzata allora al membro di destra, al posto di e1, e2 ed e3 ci sarà 𝐞1|𝐞1|, 𝐞2|𝐞2| e 𝐞3|𝐞3| che sono ancora vettori unitari diretti lungo gli assi coordinati.

Con un ragionamento analogo, ma proiettando la base standard sugli assi curvilinei (|i|=|j|=|k|=1 in accordo con la definizione di base standard), si può ottenere la trasformazione inversa da base locale a base standard:

{q1x𝐞1+q2x𝐞2+q3x𝐞3=𝐢q1y𝐞1+q2y𝐞2+q3y𝐞3=𝐣q1z𝐞1+q2z𝐞2+q3z𝐞3=𝐤.

Il sistema lineare precedente può essere in forma matriciale come xiqk𝐢i=𝐞k e qixk𝐞i=𝐢k dove xi sono le coordinate cartesiane x, y, z e ii sono i vettori standard i, j e k. Le matrici del sistema sono rispettivamente xiqk and qixk. Allo stesso modo queste due matrici sono il Jacobiano Jik e Jik1 delle trasformazioni dei vettori della base curvilinea ai vettori della base cartesiane e viceversa. Nel secondo sistema di equazioni (la trasformazione inversa), le incognite sono i vettori della base curvilinea che devono essere tali che in ogni punto del sistema di coordinate curvilinee deve esiste uno e un solo insieme di vettori della base. Questa condizione è soddisfatta se e solo se il sistema di equazioni ha una sola soluzione, cioè se il determinante della matrice è diverso da zero. Per il secondo sistema di equazioni, il determinante della matrice è detJik1=J1=(q1,q2,q3)(x,y,z)0.

Un'altra proprietà delle trasformazioni precedenti è la natura delle derivate. In generale vale la seguente definizione:

Un vettore covariante è un oggetto che in un sistema di coordinate x è definito da n numeri ordinati o funzioni (componenti) ai(x1,x2,x3) e in un sistema q è definito da n componenti ordinate a¯i(q1,q2,q3) che sono legate da ai(x1,x2,x3) in ogni punto dello spazio dalla trasformazione a¯k=xiqkai.

Questa definizione è così generale che si applica alla covarianza in senso astratto, quindi non solo ai vettori della base, ma anche a tutti i vettori, alle componenti, ai tensori, pseudovettori, e pseudotensori (negli ultimi due casi con inversione di segno).

I coefficienti delle derivate parziali con cui i vettori trasformano sono chiamati coefficienti di scala o coefficienti di Lamé (da Gabriel Lamé): hik=xiqk. Tuttavia la notazione hik è poco usata, e si preferisce usare gik, che sono le componenti del tensore metrico.

Bibliografia

Collegamenti esterni

Template:Controllo di autorità Template:Portale