In de vectoranalyse is een divergentievrij vectorveld een vectorveld waarvan de divergentie gelijk aan nul is in het hele domein van de onafhankelijke coördinaten. Een veld is dus divergentievrij als
- .
Een belangrijk resultaat over divergentievrije vectorvelden is, dat deze worden voortgebracht door een vectorpotentiaal: als
en de homotopiegroep van het domein triviaal is, dan is er een vectorveld , waarvan de rotatie is:
De omgekeerde uitspraak is ook waar: elk veld, dat de rotatie is van een ander veld, is divergentievrij: als
volgt:
De laatste stap volgt uit het feit dat de divergentie van de rotatie nul oplevert.
Voorbeelden
- Het magnetisch veld is divergentievrij omwille van de Maxwell-vergelijking , omdat er geen magnetische ladingen bestaan. Dit laat toe het magnetisch veld te schrijven als de rotor van de vectorpotentiaal: .
- Voor een ruimte waarin geen ladingen aanwezig zijn, stelt de wet van Gauss voor de elektrisch veldsterkte dat . In dat geval kan dus ook het elektrisch veld geschreven worden als de rotor van een vectorpotentiaal. (E kan altijd geschreven worden als de gradient van een scalaire elektrische potentiaal U: ).
- Voor een onsamendrukbare vloeistof is het snelheidsveld divergentievrij: , waarmee gezegd wordt dat in geen enkel willekeurig klein deel van dat veld geen netto in- of uitstroming is.
Opmerking
De uitspraak dat elk divergentievrij vectorveld kan geschreven worden als de rotatie van een ander veld is wel alleen waar onder bepaalde omstandigheden. De ruimte waarop een vectorveld gedefinieerd is moet onder andere enkelvoudig samenhangend zijn. Voor het meest voorkomende geval, waarbij het domein heel de drie-dimensionale ruimte is, is dit gelukkig het geval, maar voor andere ruimtes moet men dus meer voorzichtig zijn.