Una forma differenziale lineare (o 1-forma) è un’espressione del tipo \omega = P(x, y) dx + Q(x, y) dy. È lo strumento formale per definire l’integrazione lungo le curve e lo studio dei campi vettoriali.
Classificazione
- Forma Chiusa: Se soddisfano la condizione di simmetria delle derivate in croce: \frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}.
- Forma Esatta: Se esiste una funzione U (primitiva o potenziale) tale che dU = \omega. In termini di componenti: \frac{\partial U}{\partial x} = P e \frac{\partial U}{\partial y} = Q.
Relazioni Importanti
- Ogni forma esatta è sempre chiusa.
- Una forma chiusa è esatta se il dominio è semplicemente connesso (Lemma di Poincaré).
Significato Ingegneristico
- Calore e Lavoro: In termodinamica, il calore \delta Q e il lavoro \delta L sono forme differenziali non esatte (dipendono dal percorso), mentre l’energia interna dU è una forma differenziale esatta (funzione di stato).
- Bilanci di Massa: Lo studio della conservazione in flussi stazionari viene spesso modellato tramite l’esattezza di certe forme differenziali legate alle linee di corrente.
- Sistemi Hamiltoniani: La dinamica di sistemi senza attrito può essere descritta tramite forme differenziali esatte che conservano l’energia totale del sistema.