Apri il menu principale

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]

Indice

IntroduzioneModifica

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 teoremaModifica

Sia   una varietà differenziabile orientata di dimensione n e sia   una n-forma differenziale 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.

EnunciatoModifica

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 particolariModifica

Teorema del gradienteModifica

 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 rotoreModifica

 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 divergenzaModifica

 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]

NoteModifica

  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, su 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.

BibliografiaModifica

  • (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 correlateModifica

Altri progettiModifica

Collegamenti esterniModifica

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