Separable Equations — Question 10

PDF ↗

Question 10

Design an affine coefficient g(x)=α+βxg(x)=\alpha+\beta x in the separable equation y′=g(x)(1−y2)y'=g(x)(1-y^2) so that one solution satisfies y(0)=0,y(1)=12,y′(1)=0.y(0)=0,\qquad y(1)=\frac 12,\qquad y'(1)=0. The constants α\alpha and β\beta are real.

Tasks

  1. Find α\alpha and β\beta and justify why the three requirements determine them uniquely.

  2. Find an explicit formula for the selected solution. You may use exponentials instead of hyperbolic functions.

  3. Determine its maximal interval, every zero, its global maximum, and its limits as x→±∞x\to\pm\infty.

  4. Verify the three requirements directly and list the constant solutions omitted when separating by 1−y21-y^2.

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

Question 10 – Solution

Strategy. Use the zero terminal slope to constrain the coefficient, then use the separated integral to enforce the target height.

Step 1: Determine the coefficient. Since 1−y(1)2=3/41-y(1)^2=3/4, y′(1)=0y'(1)=0 forces α+β=0\alpha+\beta=0. The smooth right-hand side gives local uniqueness, so the solution starting at 00 cannot meet either constant solution y=±1y=\pm 1. On its branch −1<y<1-1<y<1, 12ln⁡1+y1−y=αx+βx22.\frac 12\ln\frac{1+y}{1-y}=\alpha x+\frac{\beta x^2}{2}. At x=1x=1, this becomes 12ln⁡3=α+β/2\tfrac 12\ln 3=\alpha+\beta/2. Hence α=ln⁡3,β=−ln⁡3.\boxed{\alpha=\ln 3,\qquad\beta=-\ln 3}. These two independent linear conditions have exactly one pair of coefficients.

Step 2: Solve and interpret the curve. Set E(x)=32x−x2>0E(x)=3^{\,2x-x^2}>0. Exponentiating and isolating yy gives y(x)=E(x)−1E(x)+1,I=ℝ.\boxed{y(x)=\frac{E(x)-1}{E(x)+1},\qquad I=\mathbb R}. Since E+1>0E+1>0, the formula is globally smooth and lies strictly between −1-1 and 11. Its zeros are x=0,2x=0,2. The exponent 2x−x2=1−(x−1)22x-x^2=1-(x-1)^2 has its unique maximum at 11, and (E−1)/(E+1)(E-1)/(E+1) increases with EE. Thus the unique global maximum is y(1)=1/2y(1)=1/2, while both limits at infinity are −1-1.

Step 3: Verify and restore constants. Here E′=2(ln⁡3)(1−x)EE'=2(\ln 3)(1-x)E and 1−y2=4E/(E+1)21-y^2=4E/(E+1)^2, so y′=(ln⁡3)(1−x)(1−y2)y'=(\ln 3)(1-x)(1-y^2). Also E(0)=1E(0)=1 and E(1)=3E(1)=3 verify both values and the zero slope. The omitted constants are y≡1,y≡−1\boxed{y\equiv 1,\ y\equiv-1}; neither satisfies y(0)=0y(0)=0.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 2-2-010

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