Rotore (matematica)

Nel calcolo differenziale vettoriale, il rotore di un campo vettoriale tridimensionale è un operatore differenziale che ad un campo vettoriale tridimensionale fa corrispondere un altro campo vettoriale solitamente denotato da . In termini intuitivi, esso esprime una rotazione infinitesima (i.e. una velocità di rotazione) del vettore dato, associando a ogni punto dello spazio un vettore.

Si tratta di un vettore allineato con l'asse di rotazione; il suo verso è coerente con quello della rotazione secondo la regola della mano destra e la sua lunghezza è il valore della circuitazione del campo (la sua integrazione lungo un percorso chiuso) per unità di area, cioè nel limite in cui la curva di integrazione si riduce ad un punto.

Ad esempio, se come campo vettoriale si considera la velocità delle particelle che compongono un qualche fluido, il rotore del campo vettoriale è la densità di circolazione del fluido. I campi vettoriali che hanno rotore uguale a zero sul proprio dominio sono chiamati irrotazionali.

Il rotore, indicato con , misura la massima componente rotazionale piana nello sviluppo di Taylor di un campo vettoriale al primo ordine, ovvero nella linearizzazione del campo in 3 dimensioni. Pertanto, si tratta di un tipo di derivazione di un campo vettoriale. La relativa integrazione avviene tramite il teorema del rotore, caso particolare del teorema di Stokes, che mette in relazione l'integrale di superficie del rotore del campo vettoriale con l'integrale di linea del campo vettoriale lungo la frontiera di .

A differenza di gradiente e divergenza, generalizzare il rotore a spazi a più di tre dimensioni non è possibile. Esistono alcune generalizzazioni, ma solo in spazi tridimensionali (anche non euclidei come le varietà riemanniane tridimensionali) la definizione geometrica di rotore di un campo vettoriale fornisce un altro campo vettoriale. Da questo punto di vista, il rotore ha proprietà simili a quelle del prodotto vettoriale.

Interpretazione intuitivaModifica

Supponiamo che un campo vettoriale (tridimensionale)   descriva la velocità di un fluido (non perfetto). Immaginando di fissare il centro di una piccola sfera in un punto, se questa sferetta ha una superficie ruvida allora incomincerà a ruotare su sé stessa, mossa dallo scorrere del fluido. Il rotore   valutato nel centro della sfera è un vettore che ha come direzione l'asse di rotazione della sfera e come lunghezza la metà del valore assoluto del momento angolare della sfera. Inoltre, il senso di rotazione è associato al vettore in accordo con la regola della mano destra.

DefinizioneModifica

Sotto l'ipotesi che un campo vettoriale   sia di classe  [1], il rotore   di   è definito in ogni punto attraverso la sua proiezione su un versore   di   posto nel punto: si tratta del valore dell'integrale di linea   del campo in un piano ortogonale a   nel limite in cui la curva   di integrazione si riduca a un punto, cioè nel limite in cui l'area   delimitata da   tenda ad annullarsi, diviso per l'area  :

 

Si tratta di una scrittura del teorema del rotore, e si può interpretare il prodotto scalare tra   e il vettore unitario   come densità superficiale di circuitazione del campo   attorno alla direzione  .

Poiché   è uno spazio con metrica euclidea, in un sistema di coordinate curvilinee ortogonali  , come per esempio le stesse coordinate cartesiane, sferiche, cilindriche, ellittiche o paraboliche, la terza componente del rotore di   è data da:

 

Le restanti due componenti del rotore (la prima e la seconda, nell'ordine) si ottengono dalla permutazione ciclica degli indici: 3,1,2 → 1,2,3 → 2,3,1.

Se, ad esempio, le   sono coordinate cartesiane e le   sono coordinate curvilinee ortogonali, si ha:

 

In un sistema di coordinate curvilinee generale,  , il rotore è dato da[2]:

 

dove si è usata la notazione di Einstein e   denota il tensore Levi-Civita (che è il simbolo di Levi-Civita moltiplicato per la radice quadrata della metrica euclidea espressa in coordinate curvilinee qualsiasi) e   denota la derivata covariante. Equivalentemente,

 

dove   sono i campi vettoriali coordinati, associati al sistema di coordinate curvilinee generale, ovvero  .

Utilizzando invece la derivata esterna:

 

dove   e   sono isomorfismi musicali e   è il duale di Hodge.

Quest'ultima formulazione è valida in un sistema di coordinate generico, e consente di estendere il rotore a varietà riemanniane tridimensionali orientate. Dato che dipende dall'orientazione della varietà, il rotore è un operatore chirale: se cambia l'orientazione cambia anche il verso del rotore.

Coordinate cartesianeModifica

In coordinate cartesiane, detti  ,  , e   i versori degli assi, il rotore di un campo vettoriale   è il campo vettoriale   definito da:

 

dove nella seconda uguaglianza si è esplicitata l'equazione matriciale, mentre nella prima la scrittura indica il determinante formale della matrice; riallacciandosi alle espressioni valide in uno spazio euclideo richiamate più sopra, si ottiene il caso più semplice (quello con:  ):

 

Coordinate cilindricheModifica

Se si prende invece, nello spazio euclideo, un sistema di riferimento in coordinate cilindriche  , il rotore di   è dato da:

 

Rotore come derivata esternaModifica

 Lo stesso argomento in dettaglio: Derivata esterna.

A un campo vettoriale   nello spazio possiamo associare una corrispondente 1-forma differenziale

 

allora la sua derivata esterna risulta essere la 2-forma

 
 

Identità vettorialiModifica

In coordinate cartesiane si mostra che   è uguale a:

 

e se si invertono il campo vettoriale e  :

 

dove   significa che il gradiente agisce solo su  .

Sempre in coordinate cartesiane,   è dato da:

 

dove   è il laplaciano vettoriale di  . Questa relazione può essere vista come un caso particolare della precedente sostituendo v → ∇.

Il rotore del gradiente di ogni campo scalare   è nullo:

 , nel qual caso se il campo scalare  , come anche il campo vettoriale irrotazionale  , sono definiti in un insieme semplicemente connesso come definito dal lemma di Poincaré, allora   è il potenziale scalare del campo vettoriale conservativo  .

mentre se   è una funzione scalare e   un campo vettoriale:

 

EsempioModifica

Si consideri il seguente campo vettoriale, che è tangente alle circonferenze concentriche all'asse   e la cui intensità aumenta linearmente con la distanza da esso; in coordinate cartesiane:

 

mentre in coordinate cilindriche (più comode in questo caso viste le simmetrie del campo):

 

Una sua rappresentazione nel piano cartesiano (a meno di un fattore di riduzione di scala) è:

Da una semplice ispezione visiva si può solo notare che il campo "sta ruotando", ma notando inoltre che la sua intensità aumenta con la distanza dall'asse ci si può aspettare che esso sia capace, localmente, di fare ruotare una pallina posta in ogni suo punto, secondo la regola della mano destra (il verso del rotore è entrante nella pagina: usando un sistema di coordinate cartesiane standard, ciò corrisponde alla direzione delle z negative). La prova analitica viene calcolando il rotore; in coordinate cartesiane:

 

mentre in coordinate cilindriche:

 

In questo caso il rotore è uguale in tutto lo spazio, indipendentemente dal punto che si considera, e quindi l'entità della rotazione nel campo vettoriale considerato è la stessa ovunque. La sua semplice rappresentazione nello spazio cartesiano è pertanto:

NoteModifica

  1. ^ Da un punto di vista fisico, la derivabilità del campo vettoriale implica che l'operatore rotore viene usato nella fisica non-quantistica, ossia in fisica classica (relatività compresa)
  2. ^ (EN) Eric W. Weisstein, Curl, in MathWorld, Wolfram Research.

BibliografiaModifica

  • (EN) Arfken, George B. and Hans J. Weber. Mathematical Methods For Physicists, Academic Press; 6 edition (June 21, 2005). ISBN 978-0-12-059876-2.
  • (EN) Korn, Granino Arthur and Theresa M. Korn, Mathematical Handbook for Scientists and Engineers: Definitions, Theorems, and Formulas for Reference and Review, New York, Dover Publications, pp. 157–160, ISBN 0-486-41147-8.
  • (EN) Kaplan, W. "The Curl of a Vector Field." §3.5 in Advanced Calculus, 4th ed. Reading, MA: Addison-Wesley, pp. 186–187, 1991.
  • (EN) Morse, P. M. and Feshbach, H. "Curl." In Methods of Theoretical Physics, Part I. New York: McGraw-Hill, pp. 39–42, 1953.
  • (EN) Schey, H. M. Div, Grad, Curl, and All That: An Informal Text on Vector Calculus, 3rd ed. New York: W. W. Norton, 1997.

Voci correlateModifica

Collegamenti esterniModifica

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