J"在R的单连通开子集"D"上是连续可微的，那么势函数"F"存在，当且仅当下式成立：
全微分方程的解.给定一个定义在R的单连通开子集"D"上的全微分方程，其势函数为"F"，那么"D"内的可微函数"f"是微分方程的解，当且仅当存在实数"c"，使得对于初值问题我们可以用以下公式来寻找一个势函数：解方程其中"c"是实数，我们便可以构造出所有的解。