Teoremes Integrals

Teoremes Integrals

Divergència, flux, rotacional i circulació visualment a
Exemples de camps vectorials
Exemples de camps vectorials
.
Alguns apunts més oficials i extensos sobre el tema

Idea principal

Exemple: Teorema fonamental del càlcul
Tenim una funció escalar
que compleix una propietat local.
Exemple: Teorema de Green
Tenim una funció vectorial
que compleix una propietat local.
Exemple: Teorema de Gauss
Tenim una funció vectorial
que compleix una propietat local.
Exemple: Teorema generalitzat de Stokes
Tenim un camp tensorial antisimètric
(també anomenat forma diferencial) de la forma estàndard
que compleix una propietat local (definició derivada exterior).

Teorema Fonamental del Càlcul - Divergència 1D

Teorema de Green (en forma de circulació) - Rotacional 2D

En la seva expressió habitual, amb
i
notion image
Gràfic camp vectorial
notion image
notion image
notion image

Teorema de Green en forma de flux - Divergència 2D

En la seva expressió habitual, amb
i
Gràfic camp vectorial
notion image
notion image
notion image
notion image
Per què s’assembla tant a l’expressió del teorema de Green (en forma de circulació)?
En dues dimensions cada vector en té dos de perpendiculars a ell (i amb el mateix mòdul). Aquests s’obtenen fàcilment girant les components i canviant-ne un dels signes.
Gràfic
notion image
Fixar-se que si a l’equació integral del teorema de la divergència 2D poséssim
enlloc de
, obtindríem l’expressió del teorema de Green (rotacional 2D).
Si ho féssim amb
simplement canviarien els signes al dos costats de d'igualtat així que obtindríem de nou el teorema de Green.
I al mateix temps, si a l’equació integral del teorema de Green li poséssim una
, obtindríem l’expressió del teorema de la divergència en 2D.
I com és això?
Matemàticament és així ja que:
I per tant es compleixen aquestes propietats
Visualment és així ja que un camp rotacional és perpendicular a un camp divergent (radial). Un exemple en física seria el camp electroestàtic generat per un partícula carregada i com les línies de potencial són perpendiculars a aquest.

Teorema de Kelvin-Stokes - Rotacional 3D

On
és una superfície oberta en
. Més formalment
Gràfic camp vectorial
Notar que hi ha infinites superfícies obertes
per un mateix camí
.
notion image
notion image
 
I si tenim una superfície tancada?
En el cas que
sigui una superfície tancada

Teorema de Gauss-Ostrogradski - Divergència 3D

On
és una superfície tancada en
. Més formalment

Teorema Generalitzat de Stokes

On
és una forma diferencial (camp tensorial anti-simètric),
és la seva derivada exterior,
és un varietat topològica (manifold en anglès) i
és el contorn d’aquest manifold (el qual es pot a aproximar localment a un espai euclidià).