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.

Introduzione

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

$\int_a^b f(x)\,\mathrm dx = F(b) - F(a)$

Poiché $dF / dx = f$, si può interpretare $dF(x) = f(x)dx$ nel contesto più generale delle forme differenziali come il differenziale esterno della 0-forma $F(x)$.

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

Il teorema

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

Si supponga inizialmente che $\alpha$ sia a supporto compatto nel dominio di una carta orientata $\{U ,\phi \}$. L'integrale di $\alpha$ su $\Omega$ è definito come:

$\int_\Omega \alpha = \int_{\phi(U)} \left(\phi^{-1}\right)^* \alpha$

ovvero attraverso il pull-back di $\alpha$ in $\R^n$. Più in generale, l'integrale di $\alpha$ su $\Omega$ è definito considerando una partizione dell'unità $\{\psi_i \}$ associata al ricoprimento localmente finito $\{U_i ,\phi_i \}$ di carte (orientate in modo coerente):

$\int_\Omega \alpha \equiv \sum_i \int_{U_i} \psi_i \, \alpha$

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

Enunciato

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

$\int_\Omega \mathrm {d}\omega = \int_{\partial \Omega} \omega \ \ \left( = \oint_{\partial \Omega} \omega\right)$

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

Casi particolari

Teorema del gradiente

Per approfondire, vedi Teorema del gradiente.

Il teorema del gradiente afferma che:

$\int_{\partial \gamma} \phi = \int_{\gamma} \mathrm{d}\phi$

per ogni 0-forma $\phi$ definita su una qualche curva differenziabile $\gamma \subset \R^n$. 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 $\omega$ definita su un dominio contraibile, se l'integrale di $\omega$ su ogni varietà chiusa sia nullo allora esiste una forma $\psi$ tale che $\omega = d\psi$. Su un dominio contraibile ogni forma chiusa è esatta, e tale risultato è riassunto dal lemma di Poincaré.

Teorema del rotore

Per approfondire, vedi 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:

$\int_{S} (\nabla \times \mathbf F) \cdot d\mathbf s = \oint_{\partial S} \mathbf F \cdot d \mathbf r$.

dove $\mathbf F : \Omega \to \mathbb{R}^3$ un campo vettoriale di classe $C^1$, con $\Omega$ un dominio regolare contenuto in $\mathbb{R}^3$, e $S: D \subseteq \mathbb{R}^2 \to \mathbb{R}^3$ è una superficie regolare a tratti dotata di frontiera $\partial S$.

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

Teorema della divergenza

Per approfondire, vedi Teorema della divergenza.

Una regione $V$ delimitata da $\partial V$, con $\mathbf{n}$ il versore normale uscente.

Si consideri un insieme $V \subset \R^n$ compatto delimitato da una superficie liscia $\partial V$. Se $\mathbf{F}$ è un campo vettoriale differenziabile con continuità (di classe $C^1$) definito in un intorno di $V$, si ha:

$\int_V \mathbf{\nabla} \cdot \mathbf{F} \, dv = \oint_{\partial V} \mathbf{F} \cdot d\mathbf{s}$

dove $d\mathbf{s} = \mathbf{n} \ d S$ è l'elemento di superficie ($\mathbf{n}$ è il versore uscente normale). In altri termini, il flusso di $\mathbf{F}$ attraverso la superficie chiusa $\partial V$ coincide con l'integrale della divergenza di $\mathbf{F}$ svolto nel volume $V$ di cui la superficie è frontiera. Si può utilizzare il teorema di Stokes per uguagliare l'integrale su un volume n-dimensionale della divergenza di un campo vettoriale $\mathbf{F}$ definito sulla regione $U \subset \R^n$ all'integrale di $\mathbf{F}$ sulla superficie (di dimensione n-1) che costituisce il bordo di $U$:

$\int_U \nabla \cdot \mathbf{F} \, dV_n = \oint_{\partial U} \mathbf{F} \cdot \mathbf{n} \, dS_{n-1}$

In una notazione più concisa si può scrivere:

$\int_V \dfrac{\partial F_i}{\partial x_i}dV= \int_S F_i n_i\,dS$

sicché rimpiazzando $\mathbf{F}$ con un campo tensoriale $T$ di ordine n si ottiene la generalizzazione:

$\int_V \dfrac{\partial T_{i_1i_2\cdots i_q\cdots i_n}}{\partial x_{i_q}}dV= \int_S T_{i_1i_2\cdots i_q\cdots i_n}n_{i_q}\,dS$

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.

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 047130932X
• (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

Collegamenti esterni

• (EN) L.D. Kudryavtsev, "Stokes formula" SpringerLink Encyclopaedia of Mathematics (2001)

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