Lemma di Poincaré

Questa voce sull'argomento analisi matematica è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Wikipedia.

In analisi matematica e calcolo vettoriale, il lemma di Poincaré, il cui nome si deve a Jules Henri Poincaré, afferma che se ${\displaystyle A\subset \mathbb {R} ^{n}}$ è un sottoinsieme aperto e contraibile allora ogni p-forma differenziale chiusa e liscia definita su ${\displaystyle A}$ è una forma differenziale esatta per ogni intero ${\displaystyle p>0}$. La contrattilità dello spazio significa che esiste un'omotopia ${\displaystyle H:A\times [0,1]\to A}$ che deforma in modo continuo ${\displaystyle A}$ fino a farlo diventare un punto.

Nel caso di campi vettoriali, una forma chiusa corrisponde ad un campo irrotazionale in cui le derivate parziali incrociate delle componenti sono uguali. In tale contesto il teorema mostra che l'irrotazionalità equivale alla conservatività del campo; ovvero, se un campo vettoriale ${\displaystyle \mathbf {F} :A\rightarrow \mathbb {R} ^{n}}$:

${\displaystyle \mathbf {F} (\mathbf {x} )=(F_{1}(x_{1},\dots x_{n}),\dots F_{n}(x_{1},\dots x_{n}))}$

è definito su un insieme aperto stellato ${\displaystyle A\subset \mathbb {R} ^{n}}$ (o in un insieme semplicemente connesso), è della prima classe di continuità (ovvero ${\displaystyle \mathbf {F} \in C^{1}(A)}$), ed è irrotazionale:

${\displaystyle \partial _{i}F_{j}-\partial _{j}F_{i}=0\qquad \forall i,j\in \{1,\dots ,n\}}$

allora il campo è conservativo, cioè esiste una funzione ${\displaystyle V(\mathbf {x} )\in C^{n-1}(A)}$ detta potenziale scalare tale che il suo gradiente è il campo:

${\displaystyle \mathbf {F} (\mathbf {x} )=\nabla V(\mathbf {x} )}$

• Campo irrotazionale
• Campo vettoriale
• Forma differenziale
• Rotore (matematica)
• Spazio contraibile

• Corrado Marastoni - Forme differenziali lineari e campi vettoriali (PDF), su math.unipd.it. URL consultato il 2 marzo 2016 (archiviato dall'url originale il 6 marzo 2016).

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