Exact Equations — Question 3

PDF ↗

Question 3

Let a,b∈ℝa,b\in\mathbb R. Consider (3x2y2+2bxy+ey)dx+(2ax3y+5x2+xey+4y3)dy=0.(3x^2y^2+2bxy+e^y)\,dx +(2ax^3y+5x^2+xe^y+4y^3)\,dy=0.

Tasks

  1. Determine every pair (a,b)(a,b) for which the form is exact on ℝ2\mathbb R^2. Explain why testing equality at a single point is insufficient.

  2. For those parameters, construct a potential and verify both of its first partial derivatives.

  3. Find the implicit solution through (0,1)(0,1) and its tangent line there.

  4. A student checks My=NxM_y=N_x only at (0,0)(0,0) and accepts every pair (a,b)(a,b). Show why that check cannot distinguish any of the parameters.

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

Question 3 – Solution

Strategy. Exactness requires an identity on a region, so compare the variable-dependent terms before constructing a potential.

Step 1: Determine the parameters. The cross partials are My=6x2y+2bx+ey,Nx=6ax2y+10x+ey.M_y=6x^2y+2bx+e^y,\qquad N_x=6ax^2y+10x+e^y. Their difference is 6(1−a)x2y+(2b−10)x6(1-a)x^2y+(2b-10)x. For this to vanish for all (x,y)(x,y), first put y=0y=0 and x=1x=1, obtaining b=5b=5. Then put x=y=1x=y=1, obtaining a=1a=1. Conversely, those choices make the difference identically zero. Hence a=1,b=5.\boxed{a=1,\qquad b=5}.

Step 2: Construct and verify the potential. With these values, integrating MM in xx yields F=x3y2+5x2y+xey+h(y).F=x^3y^2+5x^2y+xe^y+h(y). Matching FyF_y with NN gives h′(y)=4y3h'(y)=4y^3. Thus choose F=x3y2+5x2y+xey+y4.F=x^3y^2+5x^2y+xe^y+y^4. Direct differentiation gives Fx=3x2y2+10xy+ey=MF_x=3x^2y^2+10xy+e^y=M and Fy=2x3y+5x2+xey+4y3=NF_y=2x^3y+5x^2+xe^y+4y^3=N.

Step 3: Apply the data and find the tangent. Since F(0,1)=1F(0,1)=1, the selected level is F(x,y)=1\boxed{F(x,y)=1}. At that point, N=4≠0N=4\ne 0, so it determines a local solution graph. Its slope is −M/N=−e/4-M/N=-e/4, giving y−1=−e4x.\boxed{y-1=-\frac e4x}.

Step 4: Explain the failed one-point test. At (0,0)(0,0), both cross partials equal 11 for every a,ba,b: all parameter-dependent terms vanish there. This agreement is necessary at that point but says nothing about agreement on a neighborhood. Exactness cannot be certified from that single sample.

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

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