First-order equations · Definition
Exact equation
Before you start you need to know
It spots the equations that are really the differential of a conserved quantity; solving them amounts to finding that quantity.
Definition
An exact equation is a differential equation \(M\,dx+N\,dy=0\) whose left side is the total differential of a function \(F(x,y)\).
If \(F(x,y)\) is the potential, \(dF=F_x\,dx+F_y\,dy\), so exactness means \(F_x=M\) and \(F_y=N\). The equation then says \(dF=0\) and its implicit solutions are the level curves \(F(x,y)=C\). For example, \(y\,dx+x\,dy=0\) is \(d(xy)=0\), with solutions \(xy=C\).
To test exactness it is enough to compare the cross derivatives: if \(F\) exists with continuous derivatives, \(F_{xy}=F_{yx}\), that is \(M_y=N_x\). Conversely, on a rectangle, if \(M_y=N_x\) then \(F\) exists. So \((2xy+3)\,dx+(x^2-1)\,dy=0\) is exact because both derivatives equal \(2x\).
To find \(F\), integrate \(M\) with respect to \(x\), giving \(F=\int M\,dx+h(y)\), and determine \(h\) by imposing \(F_y=N\). In the example, \(F=x^2y+3x+h(y)\) and \(x^2+h'(y)=x^2-1\) gives \(h=-y\); the solution is \(x^2y+3x-y=C\). Terms that already appear are not repeated.
Typical mistakes: requiring \(M=N\) instead of \(M_y=N_x\), forgetting the function \(h(y)\) when integrating, or believing that a non-exact equation has no solution. Sometimes a factor fixes it: \(y\,dx+2x\,dy=0\) is not exact, but multiplied by \(y\) it is.
Think about it
Is \(x\,dx+y\,dy=0\) exact? What is its solution?
Yes: \(M_y=0=N_x\). The potential is \(F=\tfrac12(x^2+y^2)\), and the solutions are the circles \(x^2+y^2=C\).
Is \(y\,dx-x\,dy=0\) exact?
No: \(M_y=1\) and \(N_x=-1\). But it is separable, and dividing by \(xy\) or by \(x^2\) makes it exact.
Exercises 10
- Which of these equations is exact?
- If \(M=xy^2\), what is \(\dfrac{\partial M}{\partial y}\)?
- If \(N=x^2y+\sin x\), what is \(\dfrac{\partial N}{\partial x}\)?
- For which value of \(k\) is \((kxy+3)\,dx+(x^2+y)\,dy=0\) exact?
- The equation \((2x+y)\,dx+(x+2y)\,dy=0\) is exact. Which function \(F\) satisfies \(F_x=M\) and \(F_y=N\)?
- Solve the exact equation \((2xy+3)\,dx+(x^2-1)\,dy=0\).
- Solve \((2x+e^{y})\,dx+xe^{y}\,dy=0\).
- The equation \(2xy\,dx+(x^2+1)\,dy=0\) has solution \(x^2y+y=C\). If \(y(0)=2\), what is \(y(1)\)?
- The equation \(y\,dx+2x\,dy=0\) is not exact. Which function should it be multiplied by to make it exact?
- If on a region \(\dfrac{\partial M}{\partial y}\ne\dfrac{\partial N}{\partial x}\), what follows?
References
- William E. Boyce, Richard C. DiPrima, Douglas B. Meade, Elementary Differential Equations and Boundary Value Problems, 12th edition, Wiley, 2021. §2.6
- Dennis G. Zill, A First Course in Differential Equations with Modeling Applications, 11th edition, Cengage, 2018. §2.4