Separable Equations — Question 5

PDF ↗

Question 5

Consider these two equations for real xx and yy: (A)y′=x+y,(B)y′=xy+x+y+1.\text{(A)}\quad y'=x+y,\qquad \text{(B)}\quad y'=xy+x+y+1. Here “directly separable” means that the right-hand side can be written g(x)h(y)g(x)h(y) on the region in question, without a change of variables.

Tasks

  1. Prove that any product f(x,y)=g(x)h(y)f(x,y)=g(x)h(y) satisfies f(a,c)f(b,d)=f(a,d)f(b,c).f(a,c)f(b,d)=f(a,d)f(b,c).

  2. Use a=c=1a=c=1 and b=d=2b=d=2 to show that (A) is not directly separable on the rectangle [1,2]×[1,2][1,2]\times[1,2].

  3. Factor the right-hand side of (B), then find all its real solutions on intervals and list any constant solution separately.

  4. Solve (B) with y(0)=−2y(0)=-2, verify it, and explain why division by x+1x+1 is unnecessary even at x=−1x=-1.

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

Question 5 – Solution

Strategy. Test whether variables actually factor before performing separation; a sum of terms can still conceal a product.

Step 1: Establish the necessary product test. If f(x,y)=g(x)h(y)f(x,y)=g(x)h(y), then both products in the stated identity equal g(a)g(b)h(c)h(d)g(a)g(b)h(c)h(d). This argument does not divide by any factor and remains valid if some factors vanish.

Step 2: Reject direct separation for (A). For f(x,y)=x+yf(x,y)=x+y, the proposed rectangle gives f(1,1)f(2,2)=2⋅4=8,f(1,2)f(2,1)=3⋅3=9.f(1,1)f(2,2)=2\cdot 4=8,\qquad f(1,2)f(2,1)=3\cdot 3=9. The necessary identity fails, so there is no product representation on this rectangle. This conclusion concerns direct separation on that region; it makes no claim about other methods of solving (A).

Step 3: Solve the factored equation (B). Here xy+x+y+1=(x+1)(y+1)xy+x+y+1=(x+1)(y+1). First, y≡−1y\equiv-1 is a constant solution. For y≠−1y\ne-1, dyy+1=(x+1)dx,ln⁡|y+1|=x22+x+C.\frac{dy}{y+1}=(x+1)\,dx,\qquad \ln|y+1|=\frac{x^2}{2}+x+C. Absorbing the fixed sign into a nonzero constant gives y=−1+Aex2/2+x.\boxed{y=-1+A e^{x^2/2+x}}. Allowing A=0A=0 includes the constant solution as well. These are all solutions: for any differentiable solution, the product rule applied to (y+1)e−x2/2−x(y+1)e^{-x^2/2-x} gives derivative zero, even at y=−1y=-1.

Step 4: Apply and check the data. The initial condition requires A=−1A=-1, so y=−1−ex2/2+x\boxed{y=-1-e^{x^2/2+x}} on all of ℝ\mathbb R. Its derivative is −(x+1)ex2/2+x=(x+1)(y+1)-(x+1)e^{x^2/2+x}=(x+1)(y+1), and y(0)=−2y(0)=-2. Separation integrates the factor x+1x+1; it never requires its reciprocal. The point x=−1x=-1 is an ordinary point with y′=0y'=0.

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

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