Teorema di Stokes¶

La Storia Dietro la Matematica¶

La storia del teorema di Stokes è insolita nella storia matematica — prende il nome da un uomo che non lo pubblicò mai, basato sul lavoro di qualcun altro che non lo dimostrò mai, e fu effettivamente enunciato rigorosamente per la prima volta da una terza persona.

I protagonisti:

William Thomson (Lord Kelvin, 1824-1907): Concepì per primo il teorema intorno al 1850 lavorando sulla teoria elettromagnetica
George Gabriel Stokes (1819-1903): Lo usò come problema nell'esame Smith's Prize a Cambridge nel 1854
Hermann Hankel (1839-1873): Pubblicò per primo una dimostrazione rigorosa nel 1861

Sir George Stokes era il Professore Lucasiano di Matematica a Cambridge (la stessa cattedra tenuta successivamente da Newton, Dirac, Hawking). Nel 1854, pose questo teorema come domanda d'esame per gli studenti di Cambridge, apparentemente basato sul lavoro precedente di Thomson.

Contesto storico: La metà del XIX secolo vide uno sviluppo esplosivo nella teoria elettromagnetica. Gli scienziati avevano bisogno di strumenti matematici per relazionare proprietà locali (rotore, divergenza) e proprietà globali (circolazione, flusso). Il teorema di Stokes fornì il ponte cruciale in 3D, proprio come il Teorema di Green fece in 2D.

Perché è importante storicamente: Il teorema di Stokes divenne il fondamento per le equazioni di Maxwell, la fluidodinamica, la geometria differenziale e la topologia. Oggi, i matematici lo riconoscono come caso speciale del teorema di Stokes generalizzato in geometria differenziale: \(\int_{\partial M} \omega = \int_M d\omega\).

Perché È Importante¶

Il teorema di Stokes è fondamentale in matematica, fisica e ingegneria:

Teoria Elettromagnetica: Legge di Faraday, legge di Ampère, equazioni di Maxwell
Fluidodinamica: Teorema di circolazione di Kelvin, dinamica della vorticità
Aerodinamica: Generazione di portanza, teorema di Kutta-Joukowski
Geometria Differenziale: Coomologia di de Rham
Topologia: Calcolo di invarianti topologici
Relatività Generale: Curvatura ed equazioni di Einstein
Teoria dei Campi Quantistici: Teorie di gauge, Yang-Mills

Il teorema di Stokes rivela connessioni profonde tra proprietà differenziali locali e proprietà integrali globali.

Prerequisiti¶

Calcolo Multivariabile: Derivate Parziali, Integrali Multipli
Calcolo Vettoriale: Campi Vettoriali, Gradiente, Divergenza, Rotore
Integrali di Linea: Nello spazio 3D
Integrali di Superficie: Superfici parametriche
Teorema di Green: La versione 2D fornisce intuizione
Prodotto Vettoriale: \(\mathbf{a} \times \mathbf{b}\) in \(\mathbb{R}^3\)

Concetti Fondamentali¶

Campi Vettoriali in 3D¶

Un campo vettoriale in \(\mathbb{R}^3\) assegna un vettore a ogni punto:

\[ \mathbf{F}(x, y, z) = P(x,y,z)\mathbf{i} + Q(x,y,z)\mathbf{j} + R(x,y,z)\mathbf{k} = \langle P, Q, R \rangle \]

Rotore di un Campo Vettoriale¶

Il rotore misura la "circolazione infinitesimale" o "rotazione locale" di un campo vettoriale.

Definizione: Per \(\mathbf{F} = \langle P, Q, R \rangle\):

\[ \nabla \times \mathbf{F} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ \frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\ P & Q & R \end{vmatrix} = \left\langle \frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z}, \frac{\partial P}{\partial z} - \frac{\partial R}{\partial x}, \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right\rangle \]

Interpretazione fisica: Se \(\mathbf{F}\) è un campo di velocità, \(\nabla \times \mathbf{F}\) è la vorticità (velocità angolare locale).

Superfici Parametriche¶

Una superficie parametrica \(S\) è data da:

\[ \mathbf{r}(u, v) = \langle x(u,v), y(u,v), z(u,v) \rangle, \quad (u,v) \in D \]

Il vettore normale in un punto sulla superficie è:

\[ \mathbf{n} = \frac{\partial \mathbf{r}}{\partial u} \times \frac{\partial \mathbf{r}}{\partial v} \]

Integrali di Superficie¶

Un integrale di superficie di un campo vettoriale \(\mathbf{F}\) su una superficie \(S\) è:

\[ \iint_S \mathbf{F} \cdot d\mathbf{S} = \iint_D \mathbf{F}(\mathbf{r}(u,v)) \cdot \left(\frac{\partial \mathbf{r}}{\partial u} \times \frac{\partial \mathbf{r}}{\partial v}\right) du\, dv \]

Orientamento¶

Superficie orientata: Superficie con un lato "positivo" scelto (direzione del vettore normale).

Orientamento indotto sul bordo: Usa la regola della mano destra: curva le dita lungo la curva bordo, il pollice punta nella direzione della normale scelta.

Teorema di Stokes: Enunciato¶

Teorema di Stokes: Sia \(S\) una superficie orientata, a tratti liscia in \(\mathbb{R}^3\) con curva bordo \(C\) (orientata coerentemente con \(S\)). Sia \(\mathbf{F}\) un campo vettoriale con derivate parziali continue su \(S\). Allora:

\[ \oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} \]

In forma componente: Se \(\mathbf{F} = \langle P, Q, R \rangle\) e \(\mathbf{n}\) è la normale unitaria:

\[ \oint_C P\, dx + Q\, dy + R\, dz = \iint_S (\nabla \times \mathbf{F}) \cdot \mathbf{n}\, dS \]

In parole: - Lato sinistro: Circolazione di \(\mathbf{F}\) intorno al bordo \(C\) - Lato destro: Flusso di \(\nabla \times \mathbf{F}\) attraverso la superficie \(S\)

Intuizione chiave: La circolazione totale intorno al bordo uguale la "circolazione microscopica" totale (rotore) attraverso la superficie.

Connessione con il Teorema di Green¶

Il teorema di Stokes generalizza il Teorema di Green a 3D.

Caso speciale: Se \(S\) è una superficie piatta nel piano \(xy\) (diciamo \(z = 0\)), e \(\mathbf{F} = \langle P(x,y), Q(x,y), 0 \rangle\), allora:

\[ \nabla \times \mathbf{F} = \left\langle 0, 0, \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right\rangle \]

E otteniamo esattamente il teorema di Green!

Sketch della Dimostrazione¶

Idea: Decomponi \(S\) in piccoli elementi di superficie \(\Delta S_i\). Per ogni piccolo elemento, approssima come un disco piatto. Applica il teorema di Green a ogni disco. Le frontiere interne si cancellano (percorse in direzioni opposte). Solo il bordo esterno \(C\) rimane. Prendi il limite quando gli elementi si riducono a zero.

Interpretazioni Fisiche¶

Interpretazione 1: Circolazione e Vorticità¶

Circolazione: \(\oint_C \mathbf{F} \cdot d\mathbf{r}\) misura quanto \(\mathbf{F}\) "circola" intorno a \(C\).

Vorticità: \(\nabla \times \mathbf{F}\) misura la rotazione locale in ogni punto.

Teorema di Stokes: Circolazione intorno al bordo = vorticità totale attraverso la superficie.

Interpretazione 2: Legge di Faraday¶

La legge di Faraday dell'induzione elettromagnetica in forma differenziale:

\[ \nabla \times \mathbf{E} = -\frac{\partial \mathbf{B}}{\partial t} \]

Applicando il teorema di Stokes:

\[ \oint_C \mathbf{E} \cdot d\mathbf{r} = \iint_S (\nabla \times \mathbf{E}) \cdot d\mathbf{S} = -\frac{d}{dt}\iint_S \mathbf{B} \cdot d\mathbf{S} \]

La FEM (lato sinistro) uguale la variazione negativa del flusso (lato destro). Questa è la legge di Faraday!

Esempio Completo¶

Problema: Valuta \(\oint_C \mathbf{F} \cdot d\mathbf{r}\) dove \(\mathbf{F} = \langle -y^3, x^3, z^3 \rangle\) e \(C\) è il triangolo con vertici \((1,0,0)\), \((0,1,0)\), \((0,0,1)\), percorso in senso antiorario visto dall'alto.

Soluzione usando il teorema di Stokes:

Passo 1: Calcola il rotore.

\[ \nabla \times \mathbf{F} = \langle 0, 0, 3x^2 + 3y^2 \rangle \]

Passo 2: Il triangolo giace nel piano \(x + y + z = 1\).

Parametrizza: \(\mathbf{r}(u, v) = \langle u, v, 1-u-v \rangle\) dove \(u \geq 0, v \geq 0, u+v \leq 1\).

Passo 3: Vettore normale:

\[ \mathbf{n} = \mathbf{r}_u \times \mathbf{r}_v = \langle 1, 1, 1 \rangle \]

Passo 4: Integrale di superficie:

\[ (\nabla \times \mathbf{F}) \cdot \mathbf{n} = 3u^2 + 3v^2 \]

\[ \iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} = \int_0^1 \int_0^{1-u} (3u^2 + 3v^2)\, dv\, du = \frac{1}{3} \]

Risposta: \(\oint_C \mathbf{F} \cdot d\mathbf{r} = \frac{1}{3}\)

Conseguenze del Teorema di Stokes¶

Campi Conservativi¶

Un campo vettoriale \(\mathbf{F}\) è conservativo se \(\mathbf{F} = \nabla f\) per qualche funzione scalare \(f\).

Teorema: \(\mathbf{F}\) è conservativo se e solo se \(\nabla \times \mathbf{F} = \mathbf{0}\) (in domini semplicemente connessi).

Superfici con lo Stesso Bordo¶

Se due superfici orientate \(S_1\) e \(S_2\) condividono lo stesso bordo \(C\), allora:

\[ \iint_{S_1} (\nabla \times \mathbf{F}) \cdot d\mathbf{S} = \iint_{S_2} (\nabla \times \mathbf{F}) \cdot d\mathbf{S} \]

Possiamo quindi scegliere la superficie più conveniente per l'integrazione.

Errori Comuni¶

Disallineamento orientamento: L'orientamento del bordo deve essere coerente con l'orientamento della superficie (regola mano destra).
Dimenticare semplicemente connesso: \(\nabla \times \mathbf{F} = \mathbf{0}\) implica conservativo solo in regioni semplicemente connesse.
Confusione con teorema divergenza: Stokes relaziona rotore a circolazione; teorema divergenza relaziona divergenza a flusso.
Errori nei componenti del rotore: La formula del rotore involve permutazioni cicliche; facile fare errori di segno.

Variabili e Simboli¶

Simbolo	Nome	Descrizione
\(S\)	Superficie	Superficie orientata a tratti liscia
\(C\)	Curva bordo	Bordo di \(S\), orientato coerentemente
\(\mathbf{F}\)	Campo vettoriale	\(\langle P, Q, R \rangle\)
\(\nabla \times \mathbf{F}\)	Rotore	Misura rotazione locale di \(\mathbf{F}\)
\(\oint_C\)	Integrale linea chiuso	Integrale di linea intorno bordo
\(\iint_S\)	Integrale superficie	Integrazione su superficie
\(d\mathbf{S}\)	Elemento superficie	\(\mathbf{n}\, dS\) (elemento area orientato)

Concetti Correlati¶

Teorema di Green — Caso speciale 2D del teorema di Stokes
Teorema della Divergenza — Relaziona divergenza a flusso
Rotore — Centrale per teorema di Stokes
Campi Vettoriali Conservativi — Campi con rotore zero
Equazioni di Maxwell — Usano il teorema di Stokes
Integrali di Linea — Lato sinistro del teorema
Integrali di Superficie — Lato destro del teorema

Riferimenti¶

Maxwell, J. C. (1873). A Treatise on Electricity and Magnetism. Clarendon Press.
Marsden, J. E., & Tromba, A. J. (2011). Vector Calculus (6th ed.). W. H. Freeman.
Spivak, M. (1965). Calculus on Manifolds. Westview Press.