Exact Equations — Question 5

PDF ↗

Question 5

Consider the exact equation −2xdx+2ydy=0,y(0)=0.-2x\,dx+2y\,dy=0,\qquad y(0)=0. In this problem a solution means a real, continuously differentiable function y(x)y(x) on an open interval containing 00, satisfying −2x+2yy′=0-2x+2yy'=0 at every point, including 00.

Tasks

  1. Find a potential and the level selected by the initial condition.

  2. Classify all solution graphs on such an interval. Justify why no additional sign-switching choices are differentiable at 00.

  3. Check y=xy=x, y=−xy=-x, y=|x|y=|x| and y=−|x|y=-|x| against the stated definition.

  4. Explain why neither division by yy nor the usual nonzero-FyF_y implicit-function criterion settles the initial point.

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

Question 5 – Solution

Strategy. The selected level has crossing branches. Analyze differentiability at their intersection directly in the original equation.

Step 1: Find the level. Since My=Nx=0M_y=N_x=0, a potential is F=y2−x2F=y^2-x^2. Along any solution, dF/dx=0dF/dx=0, and the initial condition gives y2−x2=0.\boxed{y^2-x^2=0}. Thus for each x≠0x\ne 0, y/xy/x is either 11 or −1-1.

Step 2: Classify differentiable choices. Continuity makes y/xy/x constant on each of the two connected pieces x<0x<0 and x>0x>0: a continuous function taking only the values ±1\pm 1 cannot switch between them. Write those constants as s−s_- and s+s_+. At 00, the left and right difference quotients are s−s_- and s+s_+. Differentiability requires them to agree. Therefore the only possibilities are y=xory=−x.\boxed{y=x\quad\text{or}\quad y=-x}. Both extend to all of ℝ\mathbb R.

Step 3: Verify and identify the failures. For either line, yy′=xyy'=x everywhere, including 00. The choices |x||x| and −|x|-|x| satisfy the level identity and the equation away from 00, but their one-sided derivatives disagree at 00. They fail the required definition.

Step 4: Explain the degenerate point. Dividing gives y′=x/yy'=x/y, which is undefined at the initial point and discards information about solutions of the original form there. Also Fy=2y=0F_y=2y=0 at (0,0)(0,0), so the nonzero-FyF_y criterion does not apply. Its failure does not prove nonexistence: here two valid graph branches pass through the point.

See the diagram in the original worksheet below.

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

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