Ma · Mathematics

How to Solve $2\sqrt{xy}\,\frac{dy}{dx}=1$

Published By the 9to5Science editorial team

At a glance

  1. 1. Check the domain

    The equation requires xy to be positive; neither x nor y can be zero on a solution interval.

  2. 2. Separate variables

    For positive x and y, write 2√y dy = dx/√x and integrate both sides.

  3. 3. Apply the initial condition

    Use a given point to find the integration constant, then restrict the formula to where it stays on the chosen branch.

  4. 4. Check the result

    Differentiate the solution and substitute it into the original equation.

The equation

2xy dydx=12\sqrt{xy}\,\frac{dy}{dx}=1

is separable. The usual textbook treatment assumes x>0x>0 and y>0y>0, so that xy=xy\sqrt{xy}=\sqrt{x}\sqrt{y}. Under that assumption, separate the variables and integrate to obtain the family of solutions below. If the equation is intended over the reals without assuming positivity, there is also a branch with both xx and yy negative.

Solve on the positive branch

When x>0x>0 and y>0y>0, divide by x\sqrt{x} and multiply by dxdx to separate the variables:

2y dy=dxx.2\sqrt{y}\,dy=\frac{dx}{\sqrt{x}}.

Integrate both sides:

∫2y1/2 dy=∫x−1/2 dx,\int 2y^{1/2}\,dy=\int x^{-1/2}\,dx,

so

43y3/2=2x+C.\frac{4}{3}y^{3/2}=2\sqrt{x}+C.

Absorbing the factor 3/43/4 into the arbitrary constant gives the equivalent explicit form

y=(32x+C1)2/3.y=\left(\frac{3}{2}\sqrt{x}+C_1\right)^{2/3}.

This formula is valid on an interval where x>0x>0 and the quantity inside parentheses is positive. The positivity condition matters: this branch describes y>0y>0, and the original equation is not defined as an equality at y=0y=0 because its left side would be zero rather than one.

Use an initial condition

Suppose a solution is required to pass through (1,1)(1,1). Substituting this point into the integrated relation gives

43=2+C,\frac{4}{3}=2+C,

so C=−2/3C=-2/3. Therefore

43y3/2=2x−23,\frac{4}{3}y^{3/2}=2\sqrt{x}-\frac{2}{3},

and hence

y=(32x−12)2/3.y=\left(\frac{3}{2}\sqrt{x}-\frac{1}{2}\right)^{2/3}.

For this positive branch, the expression in parentheses must be positive, which requires x>1/9x>1/9. The endpoint x=1/9x=1/9 is excluded because it would give y=0y=0, where the differential equation cannot hold. The interval containing the initial point x=1x=1 is therefore (1/9,∞)(1/9,\infty).

As a check, let A=32x−12A=\frac{3}{2}\sqrt{x}-\frac{1}{2}. Then y=A2/3y=A^{2/3} and

dydx=12x A1/3.\frac{dy}{dx}=\frac{1}{2\sqrt{x}\,A^{1/3}}.

Since xy=x A1/3\sqrt{xy}=\sqrt{x}\,A^{1/3} on this branch, substitution gives 2xy dy/dx=12\sqrt{xy}\,dy/dx=1.

What if xx and yy are negative?

For real values, the square root requires xy≥0xy\geq 0. The equation itself rules out xy=0xy=0, so any solution interval must have xy>0xy>0: xx and yy have the same sign. If both are negative, you cannot use xy=xy\sqrt{xy}=\sqrt{x}\sqrt{y} with real square roots. Instead, use absolute values when separating:

2∣y∣ dy=dx∣x∣.2\sqrt{|y|}\,dy=\frac{dx}{\sqrt{|x|}}.

A compact way to express both real branches is to define P(y)=sgn⁡(y)∣y∣3/2P(y)=\operatorname{sgn}(y)|y|^{3/2}. Its derivative is P′(y)=32∣y∣P'(y)=\frac{3}{2}\sqrt{|y|} for y≠0y\ne 0. Integration then gives

sgn⁡(y)∣y∣3/2=32sgn⁡(x)∣x∣+C.\operatorname{sgn}(y)|y|^{3/2} =\frac{3}{2}\operatorname{sgn}(x)\sqrt{|x|}+C.

For the negative branch, the right-hand side must be negative, just as yy is negative. This condition, along with x<0x<0, restricts the interval on which the formula represents a solution. The positive branch above is recovered by taking x>0x>0 and y>0y>0.

Common mistakes

  • Ignoring the domain: The equation cannot hold at x=0x=0 or y=0y=0. A solution must stay in a region where xy>0xy>0.
  • Using the positive-branch factorization for negative values: For real variables, xy=xy\sqrt{xy}=\sqrt{x}\sqrt{y} is directly valid when both are nonnegative, not when both are negative. Use absolute values for the negative branch.
  • Losing the constant or a factor: The integral of 2y2\sqrt{y} is 43y3/2\frac{4}{3}y^{3/2}, while the integral of 1/x1/\sqrt{x} is 2x2\sqrt{x}. Constants may be rescaled, but the coefficients from integration must be correct.
  • Keeping an invalid endpoint: If the explicit formula reaches y=0y=0, that endpoint cannot be included in a solution of the original equation.

References

  1. Elementary Differential Equations and Boundary Value Problems — William E. Boyce, Richard C. DiPrima, and Douglas B. Meade

Spotted an error? Send a correction. Read how we write and check articles in our editorial policy.