Exact Equations — Question 1

PDF ↗

Question 1

Consider the differential equation (2xy+1)dx+(x2+y2)dy=0,y(1)=1.(2xy+1)\,dx+(x^2+y^2)\,dy=0,\qquad y(1)=1. A potential for Mdx+NdyM\,dx+N\,dy is a function FF satisfying Fx=MF_x=M and Fy=NF_y=N; its level curves F=CF=C give implicit solutions.

Tasks

  1. Check exactness and construct a potential, retaining the unknown function that arises when integrating with respect to xx.

  2. Apply the initial condition and verify the resulting implicit solution by differentiation.

  3. Find the slope and tangent line at (1,1)(1,1).

  4. Prove that the selected level determines a unique differentiable function y(x)y(x) on all of ℝ\mathbb R, despite the vanishing of x2+y2x^2+y^2 at the origin.

Original worksheet page 1: question and worked solution for 2-3-001
Show solutionHide solution

Question 1 – Solution

Strategy. Recover a potential from both coefficients, then examine its derivative with respect to yy on the selected level.

Step 1: Test and integrate. Here My=2x=NxM_y=2x=N_x, so the form is exact on ℝ2\mathbb R^2. Integrating Fx=MF_x=M gives F=x2y+x+h(y),Fy=x2+h′(y).F=x^2y+x+h(y),\qquad F_y=x^2+h'(y). Matching NN requires h′(y)=y2h'(y)=y^2, so we may choose F=x2y+x+y3/3F=x^2y+x+y^3/3. At (1,1)(1,1), F=7/3F=7/3. Thus x2y+x+y33=73.\boxed{x^2y+x+\frac{y^3}{3}=\frac 73}.

Step 2: Verify and find the tangent. Differentiating this identity gives 2xy+1+(x2+y2)y′=0,2xy+1+(x^2+y^2)y'=0, exactly the original equation for a graph. At (1,1)(1,1) this yields y′=−3/2y'=-3/2, hence y−1=−32(x−1)\boxed{y-1=-\tfrac 32(x-1)}.

Step 3: Establish a global graph. For fixed xx, the function u↦x2u+u3/3u\mapsto x^2u+u^3/3 is strictly increasing and ranges over all real numbers. This remains true at x=0x=0, where the cubic alone is strictly increasing. Therefore the equation x2u+u33=73−xx^2u+\frac{u^3}{3}=\frac 73-x has exactly one real root for every real xx.

The derivative Fy=x2+y2F_y=x^2+y^2 can vanish only at (0,0)(0,0), but that point has F=0F=0, not 7/37/3. It is consequently nonzero everywhere on the selected level. The implicit function theorem gives a differentiable local graph at each point; the uniqueness of each root makes those graphs agree. They form one differentiable solution on all of ℝ\mathbb R. The isolated degeneracy on a different level does not obstruct this IVP.

Original worksheet page 2: question and worked solution for 2-3-001

Original worksheet layout. Use Enlarge or open the PDF for a closer view.