Una forma differenziale lineare (o 1-forma) è un’espressione del tipo . È 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: .
- Forma Esatta: Se esiste una funzione (primitiva o potenziale) tale che . In termini di componenti: e .
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 e il lavoro sono forme differenziali non esatte (dipendono dal percorso), mentre l’energia interna è 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.