Teorema di Stokes

Da Wikipedia, l'enciclopedia libera.

In matematica, in particolare in geometria differenziale, il teorema di Stokes è un enunciato riguardante l'integrazione delle forme differenziali che generalizza diversi teoremi di calcolo vettoriale, quali il teorema della divergenza o il teorema del rotore. Prende il nome da Sir George Gabriel Stokes (1819-1903), nonostante la prima formulazione del teorema sia stata attribuita a William Thomson (Lord Kelvin), che la inviò in una lettera a Stokes nel luglio del 1850.[1]

Introduzione[modifica | modifica wikitesto]

Il teorema fondamentale del calcolo integrale stabilisce che se è una funzione reale che ammette primitiva su un intervallo , l'integrale di su tale intervallo può essere calcolato tramite una sua primitiva:

Poiché , si può interpretare nel contesto più generale delle forme differenziali come il differenziale esterno della 0-forma .

Il teorema di Stokes generalizza il teorema fondamentale del calcolo considerando una n-forma e il suo differenziale esterno . L'intervallo è una varietà differenziabile di dimensione uno, avente come frontiera l'insieme : l'integrazione di su questo intervallo può quindi essere estesa all'integrazione su una varietà di ordine maggiore, e per far questo è necessario che sia orientabile e la forma differenziale sia a supporto compatto. Il bordo di , indicato con , è ancora una varietà ed eredita l'orientazione di .

Il teorema[modifica | modifica wikitesto]

Sia una varietà differenziabile orientata di dimensione n e sia una n−1-forma a supporto compatto su .

Si supponga inizialmente che sia a supporto compatto nel dominio di una carta orientata . L'integrale di su è definito come:

ovvero attraverso il pull-back di in . Più in generale, l'integrale di su è definito considerando una partizione dell'unità associata al ricoprimento localmente finito di carte (orientate in modo coerente):

dove ogni termine nella somma è valutato attraverso il pull-back in precedentemente definito. Tale definizione non dipende dalla scelta della partizione dell'unità e delle carte.

Enunciato[modifica | modifica wikitesto]

Il teorema di Stokes afferma che se è una (n-1)-forma a supporto compatto su e è la frontiera di , allora:

dove è la derivata esterna di , definita per mezzo della sola struttura di varietà. Ovvero, l'integrale di ogni forma differenziale a supporto compatto sulla frontiera di una varietà orientata è pari all'integrale della sua derivata esterna valutato su tutta .

Casi particolari[modifica | modifica wikitesto]

Teorema del gradiente[modifica | modifica wikitesto]

Exquisite-kfind.png Lo stesso argomento in dettaglio: Teorema del gradiente.

Il teorema del gradiente afferma che:

per ogni 0-forma definita su una qualche curva differenziabile . Si tratta della versione del teorema di Stokes con 1-forme differenziali definite su una varietà di dimensione 1. L'enunciato opposto afferma che data una forma differenziale definita su un dominio contraibile, se l'integrale di su ogni varietà chiusa sia nullo allora esiste una forma tale che . Su un dominio contraibile ogni forma chiusa è esatta, e tale risultato è riassunto dal lemma di Poincaré.

Teorema del rotore[modifica | modifica wikitesto]

Exquisite-kfind.png Lo stesso argomento in dettaglio: Teorema del rotore.

Il teorema del rotore 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:

.

dove un campo vettoriale di classe , con un dominio regolare contenuto in , e è una superficie regolare a tratti dotata di frontiera .

Il campo vettoriale può essere considerato come una 1-forma, ed in tal caso il rotore è la derivata esterna.

Teorema della divergenza[modifica | modifica wikitesto]

Exquisite-kfind.png Lo stesso argomento in dettaglio: Teorema della divergenza.
Una regione delimitata da , con il versore normale uscente.

Si consideri un insieme compatto delimitato da una superficie liscia . Se è un campo vettoriale differenziabile con continuità (di classe ) definito in un intorno di , si ha:[2]

dove è l'elemento di superficie ( è il versore uscente normale). In altri termini, il flusso di attraverso la superficie chiusa coincide con l'integrale della divergenza di svolto nel volume di cui la superficie è frontiera.[3] Si può utilizzare il teorema di Stokes per uguagliare l'integrale su un volume n-dimensionale della divergenza di un campo vettoriale definito sulla regione all'integrale di sulla superficie (di dimensione n-1) che costituisce il bordo di :

In una notazione più concisa si può scrivere:

sicché rimpiazzando con un campo tensoriale di ordine n si ottiene la generalizzazione:[4]

dove si verifica la contrazione degli indici in entrambi i membri della relazione, per almeno un indice. Si può estendere la precedente relazione, che vale in tre dimensioni, a varietà di dimensione arbitraria.[5][6]

Note[modifica | modifica wikitesto]

  1. ^ Olivier Darrigol. Electrodynamics from Ampere to Einstein, p. 146. Oxford University Press, 2002
  2. ^ M.R. Spiegel, S. Lipcshutz, D. Spellman, Vector Analysis (2nd Edition), Schaum’s Outlines, McGraw Hill (USA), 2009, ISBN 978-0-07-161545-7.
  3. ^ Eric Weisstein, MathWorld - Divergence Theorem, mathworld.wolfram.com, 2010.
  4. ^ K.F. Riley, M.P. Hobson, S.J. Bence, Mathematical methods for physics and engineering, Cambridge University Press, 2010, ISBN 978-0-521-86153-3.
  5. ^ J.A. Wheeler, C. Misner, K.S. Thorne, Gravitation, W.H. Freeman & Co, 1973, pp. 85–86, §3.5, ISBN 0-7167-0344-0.
  6. ^ R. Penrose, The Road to Reality, Vintage books, 2007, ISBN 0-679-77631-1.

Bibliografia[modifica | modifica wikitesto]

  • (EN) Morse, P. M. and Feshbach, H. "Stokes' Theorem." In Methods of Theoretical Physics, Part I. New York: McGraw-Hill, p. 43, 1953.
  • (EN) Stewart, James. Calculus: Concepts and Contexts. 2nd ed. Pacific Grove, CA: Brooks/Cole, 2001.
  • (EN) Stewart, James. Calculus: Early Transcendental Functions. 5th ed. Brooks/Cole, 2003.
  • (EN) John D Jackson, Classical Electrodynamics, 3rd Edition, Wiley, 1999, ISBN 0-471-30932-X.
  • (DE) Joos, Georg. Theoretische Physik. 13th ed. Akademische Verlagsgesellschaft Wiesbaden 1980. ISBN 3-400-00013-2

Voci correlate[modifica | modifica wikitesto]

Altri progetti[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

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