Exact Equations — Question 8

PDF ↗

Question 8

On the domain xy≠0xy\ne 0, consider (1x+y)dx+(1y+x)dy=0,y(1)=2.\left(\frac 1x+y\right)\,dx+ \left(\frac 1y+x\right)\,dy=0,\qquad y(1)=2.

Tasks

  1. Find a potential valid on this domain, using absolute values wherever required by logarithmic integration.

  2. Use the initial condition to identify the correct level. On the positive quadrant, prove that the implicit relation reduces to an explicit solution.

  3. Find its maximal interval containing 11. Explain why the branch of the same algebraic hyperbola in the negative quadrant is not an extension of this IVP.

  4. Analyze the different initial condition y(1)=−1y(1)=-1. Determine its selected level and solution on x>0x>0, even though both coefficients vanish along that solution.

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

Question 8 – Solution

Strategy. Combine the logarithms using the product u=xyu=xy, but keep the connected domain and the sign of uu in view.

Step 1: Construct the potential. Both cross partials are 11. Integration gives F=ln⁡|x|+ln⁡|y|+xy=ln⁡|xy|+xy.\boxed{F=\ln|x|+\ln|y|+xy=\ln|xy|+xy}. Indeed Fx=1/x+yF_x=1/x+y and Fy=1/y+xF_y=1/y+x wherever xy≠0xy\ne 0.

Step 2: Select the positive branch. The data (1,2)(1,2) give F=ln⁡2+2F=\ln 2+2. For u>0u>0, the function ϕ(u)=ln⁡u+u\phi(u)=\ln u+u is strictly increasing, since ϕ′(u)=1/u+1>0\phi'(u)=1/u+1>0. Thus ϕ(u)=ϕ(2)\phi(u)=\phi(2) forces u=2u=2. Consequently y=2/x,I=(0,∞).\boxed{y=2/x,\qquad I=(0,\infty)}. Substitution gives M=3/xM=3/x, N=3x/2N=3x/2 and y′=−2/x2y'=-2/x^2, so M+Ny′=0M+Ny'=0. The branch cannot cross x=0x=0: the equation is undefined there and y→+∞y\to+\infty from the right. The negative-quadrant branch y=2/xy=2/x, x<0x<0, is disconnected from the initial point.

Step 3: Analyze the degenerate negative level. For (1,−1)(1,-1), F=−1F=-1. On u<0u<0, ϕ(u)=ln⁡(−u)+u\phi(u)=\ln(-u)+u has derivative 1/u+11/u+1, positive for u<−1u<-1 and negative for −1<u<0-1<u<0. Its unique maximum is ϕ(−1)=−1\phi(-1)=-1. Therefore this level forces xy=−1xy=-1, giving y=−1/x(x>0).\boxed{y=-1/x\quad(x>0)}. Along this graph both MM and NN are zero, so the original equation is satisfied directly. Every solution through the point must conserve FF and remain in the same quadrant, which proves this branch is unique there despite the vanishing coefficients.

See the diagram in the original worksheet below.

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

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