Exact Equations — Question 9

PDF ↗

Question 9

Consider exdx+(1+y2)dy=0,y(0)=0.e^x\,dx+(1+y^2)\,dy=0,\qquad y(0)=0. An approximate calculation claims that the selected solution passes through (ln⁡2,−1)(\ln 2,-1).

Tasks

  1. Find the exact implicit solution and prove that it defines a unique differentiable graph for all real xx.

  2. Test the claimed point using the potential, without explicitly solving a cubic.

  3. Let y*y_* be the true value at x=ln⁡2x=\ln 2. Prove −1<y*<0-1<y_*<0 and decide whether the claimed value is too high or too low.

  4. Use the mean value theorem to prove the quantitative error bound 16≤|y*−(−1)|≤13.\frac 16\le |y_*-(-1)|\le\frac 13. Explain why a potential residual can provide more information than simply declaring an approximate point incorrect.

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

Question 9 – Solution

Strategy. Use the conserved potential to test the point, then convert its residual into an error bound using a derivative estimate.

Step 1: Find the exact relation. The cross partials are both zero. A potential is F=ex+y+y3/3F=e^x+y+y^3/3, and F(0,0)=1F(0,0)=1, so ex+y+y33=1.\boxed{e^x+y+\frac{y^3}{3}=1}. The function H(u)=u+u3/3H(u)=u+u^3/3 is strictly increasing, onto ℝ\mathbb R, and has H′(u)=1+u2>0H'(u)=1+u^2>0. Thus H(y)=1−exH(y)=1-e^x gives exactly one differentiable value for every xx. Differentiation recovers the original graph equation.

Step 2: Compute the residual and locate the true value. At the claimed point, F=2−1−1/3=2/3F=2-1-1/3=2/3, so the potential residual F−1F-1 is −1/3-1/3. The point is not on the selected level. At x=ln⁡2x=\ln 2, the true value satisfies H(y*)=−1H(y_*)=-1. Since H(−1)=−4/3<−1<H(0)=0H(-1)=-4/3<-1<H(0)=0, strict monotonicity gives −1<y*<0-1<y_*<0. The claimed value −1-1 is too low.

Step 3: Bound the actual error. The mean value theorem gives, for some ξ∈(−1,y*)\xi\in(-1,y_*), 13=H(y*)−H(−1)=H′(ξ)(y*+1).\frac 13=H(y_*)-H(-1)=H'(\xi)(y_*+1). On [−1,0][-1,0], 1≤H′≤21\le H'\le 2, so 16≤y*+1=|y*−(−1)|≤13.\boxed{\frac 16\le y_*+1=|y_*-(-1)|\le\frac 13}. The residual, together with monotonicity and derivative bounds, certifies both the direction and the size range of the error; no cubic formula is needed.

See the diagram in the original worksheet below.

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

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