Teorema di Stokes

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

Enunciato
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
Teorema del gradiente
 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

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

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

Bibliografia
(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
Derivata esterna
Forma differenziale
Teorema del gradiente
Teorema del rotore
Teorema della divergenza
Teorema fondamentale del calcolo
integrale

Altri progetti
Wikimedia Commons contiene
immagini o altri file su teorema di
Stokes
Collegamenti esterni
(EN) L.D. Kudryavtsev, Stokes formula ,
in Encyclopaedia of Mathematics,
Springer e European Mathematical
Society, 2002.

Portale Matematica: accedi alle voci di

Wikipedia che trattano di matematica

Estratto da "https://it.wikipedia.org/w/index.php?
title=Teorema_di_Stokes&oldid=101041113"

Ultima modifica 2 mesi fa di un ut…

Il contenuto è disponibile in base alla licenza CC

BY-SA 3.0 , se non diversamente specificato.