Substitutions — Question 3

PDF ↗

Question 3

Consider an IVP on the negative half-line: y′=yx+xy,y(−1)=1,x<0,y'=\frac yx+\frac xy,\qquad y(-1)=1,\qquad x<0, with the original equation defined only when y≠0y\ne 0.

Tasks

  1. Use v=y/xv=y/x and separate the equation, keeping the correct logarithmic absolute value.

  2. Select both the constant and the sign of the transformed solution from the initial condition.

  3. Recover yy and determine its maximal interval containing −1-1 within x<0x<0.

  4. Verify the equation and describe the finite endpoint. Explain why replacing ln⁡|x|\ln|x| by ln⁡x\ln x, or choosing the positive sign for vv, would fail here.

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

Question 3 – Solution

Strategy. The substitution is valid for negative xx too, but its initial ratio is negative and the logarithm must respect the domain.

Step 1: Transform and integrate. From y=xvy=xv and y′=v+xv′y'=v+xv', xv′=1v,vdv=dxx,v2=2ln⁡|x|+C.xv'=\frac 1v,\qquad v\,dv=\frac{dx}{x},\qquad v^2=2\ln|x|+C. At x=−1x=-1, v=y/x=−1v=y/x=-1, so C=1C=1. Continuity and the nonzero ratio select v=−1+2ln⁡|x|.v=-\sqrt{1+2\ln|x|}.

Step 2: Recover the branch and domain. The radicand must be strictly positive, since zero would give the excluded value y=0y=0. Thus |x|>e−1/2|x|>e^{-1/2}. On the negative half-line this gives y=−x1+2ln⁡|x|,I=(−∞,−e−1/2).\boxed{y=-x\sqrt{1+2\ln|x|},\qquad I=(-\infty,-e^{-1/2})}. It is positive and gives y(−1)=1y(-1)=1.

Step 3: Verify and check the endpoint. Let D=1+2ln⁡|x|D=1+2\ln|x|. Since D′=2/xD'=2/x, y′=−D−1D,yx+xy=−D−1D.y'=-\sqrt D-\frac 1{\sqrt D},\qquad \frac yx+\frac xy=-\sqrt D-\frac 1{\sqrt D}. At the finite endpoint approached from the left, D↓0D\downarrow 0, so y→0y\to 0 from above and y′→−∞y'\to-\infty. The original equation is undefined there, and no differentiable extension through it is possible.

Step 4: Identify the two domain mistakes. The real logarithm ln⁡x\ln x is not defined for these negative xx; the antiderivative is ln⁡|x|\ln|x|. Also v>0v>0 would give y=xv<0y=xv<0 on this half-line, contradicting y(−1)=1y(-1)=1. The sign must be selected for the transformed ratio, not guessed from the sign of yy alone.

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

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