Teorema del rotore

In matematica, il teorema del rotore, anche detto teorema di Kelvin o teorema di Kelvin-Stokes, il cui nome è dovuto a Lord Kelvin e George Stokes, afferma che il flusso del rotore di determinati campi vettoriali attraverso superfici regolari dotate di bordo è uguale alla circuitazione del campo lungo la frontiera della superficie. Si tratta pertanto di un caso particolare del teorema di Stokes.

Il teorema di Green è un caso speciale del teorema del rotore che considera superfici appartenenti a .

Sia una curva piana liscia a tratti che sia anche una curva semplice chiusa (curva di Jordan): ovvero, se e sono nell'intervallo allora implica (cioè la curva è semplice), e per cui si abbia (cioè la curva è chiusa). Detto il dominio di la cui frontiera è , sia inoltre una funzione liscia e un campo vettoriale su .

Denotando con l'immagine di tramite e con la curva definita dalla relazione , il teorema stabilisce che:

Il termine a sinistra è l'integrale di linea di lungo ed il termine a destra è l'integrale di superficie del rotore di .

Il teorema è un caso particolare, che si limita a considerare le superfici, del fondamentale teorema di Stokes: il flusso attraverso una superficie (regolare a tratti e dotata di bordo) di un campo vettoriale esprimibile in termini di un potenziale vettore è uguale alla circuitazione di lungo il bordo della superficie. Il teorema del rotore può pertanto essere visto come una generalizzazione del teorema fondamentale del calcolo integrale, il quale afferma che:

Per l'integrale di funzioni ad una variabile reale si deve quindi trovare una tale che , e poi valutarla agli estremi. Nel caso in esame la primitiva di è , calcolata sulla frontiera della superficie che ha il ruolo degli estremi dell'intervallo dell'integrale definito.

Da notare come il teorema del rotore consenta di ottenere una condizione equivalente alla conservatività di un campo vettoriale su domini semplicemente connessi. Se la circuitazione del campo è nulla, infatti, ad essa corrisponde ad un flusso del rotore uguale a zero, e quindi proprio alla condizione di irrotazionalità del campo stesso:

grazie all'arbitrarietà della superficie.

Dimostrazione

[modifica | modifica wikitesto]

Sia data una funzione a valori in tale che è il pull-back di un campo . Per fare ciò si definiscono e come:

dove è il prodotto interno in mentre nel seguito è una forma bilineare rappresentata dalla matrice .

Dalla definizione di integrale di linea:

dove è la matrice jacobiana di , e è la frontiera del dominio di . Quindi si ha:

Si ottiene la seguente equazione:

Utilizzando la regola di Leibniz per il prodotto interno si calcolano le derivate parziali:

e quindi:

Dato che:

l'ultimo termine nella precedente relazione è uguale a:

D'altra parte, dalla definizione di integrale di superficie:

sicché si ottiene:

Considerando il teorema di Green, dai risultati mostrati segue la tesi.

  • (EN) Michael Spivak, Calculus On Manifolds: A Modern Approach To Classical Theorems Of Advanced Calculus, Westview Press, 1971 [1]
  • (EN) M. Hazewinkel, "A tutorial introduction to differentiable manifolds and calculus on manifolds" W. Schiehlen (ed.) W. Wedig (ed.), Analysis and estimation of stochastic mechanical systems, Springer (Wien) (1988) pp. 316–340

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
Controllo di autoritàGND (DE4759656-9
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica