Differential-Equations ยท Unit 1 ยท Video 3 ยท Interactive Practice

Worked Example: yโ€ฒ=โˆ’x/yy' = -x/y, Perpendicular Isoclines, and Circles

IKey Formulas

FormulaNameWhat you need
โˆ’xy=Cโ€…โ€ŠโŸนโ€…โ€Šy=โˆ’1Cโ€‰x-\dfrac{x}{y} = C \;\Longrightarrow\; y = -\dfrac{1}{C}\,xIsocline of slope CC โ€” a ray through the originA slope value Cโ‰ 0C \neq 0; the unsolved form Cy=โˆ’xCy = -x reaches C=0C = 0
(โˆ’1C)โ‹…C=โˆ’1\left(-\dfrac{1}{C}\right)\cdot C = -1Isocline slope times element slopeNegative reciprocals, so the two are perpendicular
yโ€‰dy=โˆ’xโ€‰dxโ€…โ€ŠโŸนโ€…โ€Šx2+y2=c12y\,dy = -x\,dx \;\Longrightarrow\; x^2 + y^2 = c_1^2Integral curves, by separationIntegrate both sides; 2c=c122c = c_1^2 because the left side is โ‰ฅ0\ge 0
y=c12โˆ’x2,โˆ’c1<x<c1y = \sqrt{c_1^2 - x^2},\quad -c_1 < x < c_1Explicit solution and its domainOne point on the curve, to fix c1c_1

Key Insight: Because every isocline carries elements perpendicular to itself, an integral curve must cross every ray through the origin at a right angle โ€” and only circles centred at the origin do that. The circles arrive before any integration; the domain โˆ’c1<x<c1-c_1 < x < c_1 arrives only after it.

IIVisualization 1 โ€” Why the Elements Stand Perpendicular

The isocline of slope CC is the ray y=โˆ’1Cxy = -\tfrac{1}{C}x, and the two slopes multiply to โˆ’1-1.

๐Ÿ’ก The solved form y=โˆ’1Cxy = -\tfrac{1}{C}x can never produce C=0C = 0 โ€” it divides by it. Written unsolved as Cy=โˆ’xCy = -x, the value C=0C = 0 gives x=0x = 0: the yy-axis is a genuine isocline, carrying horizontal elements.

IIIVisualization 2 โ€” Following the Elements

A curve that follows the elements crosses every ray through the origin at a right angle.

IVVisualization 3 โ€” Separating Variables, and the Domain

Separation confirms the circles, then hands you a domain the equation itself never mentions.

1 ยท separate the variables

dydx=โˆ’xy\frac{dy}{dx} = -\frac{x}{y} yโ€‰dy=โˆ’xโ€‰dxy\,dy = -x\,dx

๐Ÿ’ก Here the domain can be read off the explicit solution. For most equations it cannot: how far a solution extends is discovered by computing it, never by inspecting the equation.

VQuiz Questions

Problem 1 ยท Finding an Isocline

Given: yโ€ฒ=โˆ’xyy' = -\dfrac{x}{y} โ€” find the isocline along which every line element has slope C=2C = 2.

โœ… Correct! Setting โˆ’x/y=2-x/y = 2 gives y=โˆ’12xy = -\tfrac{1}{2}x. Its own slope is โˆ’12-\tfrac{1}{2}, and (โˆ’12)(2)=โˆ’1\left(-\tfrac{1}{2}\right)(2) = -1 โ€” the elements stand perpendicular to the isocline that carries them.
โŒ That is the elements' slope drawn as the isocline. On y=2xy = 2x the equation gives โˆ’x/(2x)=โˆ’12-x/(2x) = -\tfrac{1}{2}, so y=2xy = 2x is the isocline of C=โˆ’12C = -\tfrac{1}{2}, not of C=2C = 2.
โŒ Sign slip. On y=12xy = \tfrac{1}{2}x the elements have slope โˆ’x/(12x)=โˆ’2-x/\left(\tfrac{1}{2}x\right) = -2. Solving โˆ’x/y=2-x/y = 2 puts the minus sign on yy: โˆ’x=2y-x = 2y, so y=โˆ’12xy = -\tfrac{1}{2}x.
โŒ You used y=โˆ’Cxy = -Cx instead of y=โˆ’1Cxy = -\tfrac{1}{C}x. On y=โˆ’2xy = -2x the equation gives โˆ’x/(โˆ’2x)=12-x/(-2x) = \tfrac{1}{2}, so that line is the isocline of C=12C = \tfrac{1}{2}.
โŒ Not quite. Set the right-hand side equal to the slope you want and solve for yy: โˆ’x/y=2-x/y = 2.
Show solution

An isocline is the set of points where the equation prescribes one fixed slope, so set the right-hand side equal to that slope and solve for yy:

โˆ’xy=2โŸนโˆ’x=2yโŸนy=โˆ’12x-\frac{x}{y} = 2 \quad\Longrightarrow\quad -x = 2y \quad\Longrightarrow\quad y = -\frac{1}{2}x

Check a point. (2,โˆ’1)(2, -1) lies on this line, and there yโ€ฒ=โˆ’2/(โˆ’1)=2ย โœ“y' = -2/(-1) = 2\ \checkmark.

Check the geometry. The isocline's own slope is โˆ’12-\tfrac{1}{2} and the elements it carries have slope 22; the product is โˆ’1-1, which is the general fact (โˆ’1C)โ‹…C=โˆ’1\left(-\tfrac{1}{C}\right)\cdot C = -1 for this equation.

Problem 2 ยท The Isocline's Slope Is Not the Slope It Carries

Given: the line y=3xy = 3x is an isocline of yโ€ฒ=โˆ’xyy' = -\dfrac{x}{y} โ€” find the constant slope CC carried by the line elements along it.

โœ… Correct! Every point of the line is (a,3a)(a, 3a), and there yโ€ฒ=โˆ’a/(3a)=โˆ’13y' = -a/(3a) = -\tfrac{1}{3}. The two slopes check out: 3โ‹…(โˆ’13)=โˆ’13 \cdot \left(-\tfrac{1}{3}\right) = -1.
โŒ That is the isocline's own slope. An isocline is only a guide curve; the slope it carries is generally different from its own. For this equation the two are as different as possible โ€” their product is forced to be โˆ’1-1.
โŒ Right size, wrong sign. 13\tfrac{1}{3} is the plain reciprocal, and 3โ‹…13=13 \cdot \tfrac{1}{3} = 1. Perpendicularity needs the negative reciprocal, โˆ’13-\tfrac{1}{3}.
โŒ Negative, but not reciprocal. 3โ‹…(โˆ’3)=โˆ’93 \cdot (-3) = -9, not โˆ’1-1. Evaluating the equation directly at (1,3)(1, 3) gives โˆ’1/3-1/3.
โŒ Not quite. Evaluate โˆ’x/y-x/y at any point of the line โ€” (1,3)(1, 3) will do.
Show solution

Directly. Every point of y=3xy = 3x has the form (a,3a)(a, 3a) with aโ‰ 0a \neq 0, so the equation gives

yโ€ฒ=โˆ’xy=โˆ’a3a=โˆ’13y' = -\frac{x}{y} = -\frac{a}{3a} = -\frac{1}{3}

The same value at every point โ€” which is what makes the line an isocline.

From the general form. The isocline of slope CC is y=โˆ’1Cxy = -\tfrac{1}{C}x, so its own slope is โˆ’1/C-1/C. Here that must equal 33:

โˆ’1C=3โŸนC=โˆ’13-\frac{1}{C} = 3 \quad\Longrightarrow\quad C = -\frac{1}{3}

And 3โ‹…(โˆ’13)=โˆ’13 \cdot \left(-\tfrac{1}{3}\right) = -1, so the elements meet this isocline at a right angle, exactly as they do on every other one.

Problem 3 ยท The Solution Through a Point, and How Far It Goes

Given: the solution of yโ€ฒ=โˆ’xyy' = -\dfrac{x}{y} passing through (3,4)(3, 4) โ€” find it explicitly, and find its domain.

Which explicit solution?

What is its domain?

โœ… Correct! c12=32+42=25c_1^2 = 3^2 + 4^2 = 25; the point has y=4>0y = 4 > 0, so the upper branch; and 25โˆ’x2>025 - x^2 > 0 confines the solution to โˆ’5<x<5-5 < x < 5. Nothing in yโ€ฒ=โˆ’x/yy' = -x/y announced that interval.
โŒ Wrong branch. At x=3x = 3 this gives y=โˆ’4y = -4, not 44. The negative square root is the lower semicircle; (3,4)(3, 4) sits on the upper one.
โŒ You subtracted where the circle adds. The relation is x2+y2=c12x^2 + y^2 = c_1^2, so c12=9+16=25c_1^2 = 9 + 16 = 25, not 16โˆ’9=716 - 9 = 7. With 77 under the root the expression is not even real at x=3x = 3.
โŒ Sign inside the root. From x2+y2=c12x^2 + y^2 = c_1^2 comes y2=c12โˆ’x2y^2 = c_1^2 - x^2, so x2x^2 is subtracted. As a check, 25+9=34โ‰ˆ5.83โ‰ 4\sqrt{25 + 9} = \sqrt{34} \approx 5.83 \neq 4.
โŒ Check the explicit form. Separating gives x2+y2=c12x^2 + y^2 = c_1^2; substitute (3,4)(3, 4) to fix c1c_1, then solve for yy on the branch that contains the point.
โŒ This is exactly the assumption to avoid. 25โˆ’x2\sqrt{25 - x^2} is undefined for โˆฃxโˆฃ>5|x| > 5, and at x=ยฑ5x = \pm 5 the circle turns vertical with y=0y = 0, where โˆ’x/y-x/y has no value at all.
โŒ Only half of the interval. Nothing restricts the solution to positive xx: the upper semicircle runs continuously from x=โˆ’5x = -5 to x=5x = 5, passing through (0,5)(0, 5).
โŒ Those bounds come from the yy-coordinate. The interval is set by the radius c1=5c_1 = 5, not by y=4y = 4: the condition is c12โˆ’x2>0c_1^2 - x^2 > 0.
โŒ Check the domain. The square root demands 25โˆ’x2>025 - x^2 > 0; solve that inequality for xx.
Show solution

Step 1 โ€” separate and integrate.

yโ€‰dy=โˆ’xโ€‰dxโŸนy22=โˆ’x22+cโŸนx2+y2=c12y\,dy = -x\,dx \quad\Longrightarrow\quad \frac{y^2}{2} = -\frac{x^2}{2} + c \quad\Longrightarrow\quad x^2 + y^2 = c_1^2

Step 2 โ€” fix the constant with the point. Substituting (3,4)(3, 4):

c12=32+42=25,c1=5c_1^2 = 3^2 + 4^2 = 25, \qquad c_1 = 5

Step 3 โ€” pick the branch. The point has y=4>0y = 4 > 0, so the solution is the upper semicircle:

y=25โˆ’x2y = \sqrt{25 - x^2}

Step 4 โ€” the domain. The square root requires 25โˆ’x2>025 - x^2 > 0, that is x2<25x^2 < 25:

โˆ’5<x<5-5 < x < 5

The interval is open at both ends. At x=ยฑ5x = \pm 5 the solution would have y=0y = 0, where โˆ’x/y-x/y is undefined and the circle is vertical, so the solution cannot be extended past those points. Verify the equation itself:

yโ€ฒ=โˆ’x25โˆ’x2=โˆ’xyย โœ“y' = \frac{-x}{\sqrt{25 - x^2}} = -\frac{x}{y}\ \checkmark

The equation is identical for every solution of this family; only the constant c1c_1 โ€” supplied by the point, not by the equation โ€” decides how wide the interval is.

Problem 4 ยท When the Isoclines Are Not Perpendicular

Given: a different equation, yโ€ฒ=yxy' = \dfrac{y}{x}, whose isocline of slope CC is the line y=Cxy = Cx โ€” find the product of the isocline's slope with the slope it carries, and find the integral curves.

Isocline slope ร— element slope

So the integral curves are

โœ… Correct! The line y=Cxy = Cx has slope CC and carries elements of slope y/x=Cy/x = C: the product is C2C^2, never โˆ’1-1. The elements lie along their isocline, so each isocline is its own integral curve.
โŒ That is the yโ€ฒ=โˆ’x/yy' = -x/y answer, imported. Perpendicular isoclines are a property of that particular right-hand side. Here both slopes equal CC, so the product is C2โ‰ฅ0C^2 \ge 0 and can never be โˆ’1-1 for a real CC.
โŒ True only when C=ยฑ1C = \pm 1. In general the product is Cโ‹…C=C2C \cdot C = C^2; for C=2C = 2 it is 44.
โŒ No minus sign enters. Both slopes are +C+C: the isocline's own slope is CC, and the elements it carries have slope y/x=Cy/x = C as well, so the product is C2C^2.
โŒ Check both slopes. Read one off the line y=Cxy = Cx, and get the other by evaluating y/xy/x on that same line.
โŒ Those solve the other equation. Circles centred at the origin satisfy yโ€ฒ=โˆ’x/yy' = -x/y. For yโ€ฒ=y/xy' = y/x the slope at (x,y)(x, y) points away from the origin, not around it.
โŒ Those belong to yโ€ฒ=x/yy' = x/y. Differentiating y2โˆ’x2=ky^2 - x^2 = k implicitly gives 2yโ€‰yโ€ฒโˆ’2x=02y\,y' - 2x = 0, so yโ€ฒ=x/yy' = x/y โ€” a third equation, with its own geometry.
โŒ A vertical line has no slope anywhere. On x=kx = k (with kโ‰ 0k \neq 0) the equation prescribes the finite slope y/ky/k at every point, so that line cannot be an integral curve.
โŒ Reconsider. If the elements on an isocline are parallel to it, the isocline follows its own elements everywhere โ€” which is the definition of an integral curve.
Show solution

The two slopes. The line y=Cxy = Cx has slope CC. At any point (a,Ca)(a, Ca) on it the equation gives

yโ€ฒ=yx=Caa=Cy' = \frac{y}{x} = \frac{Ca}{a} = C

so the elements have slope CC as well and the product is Cโ‹…C=C2C \cdot C = C^2. Since C2โ‰ฅ0C^2 \ge 0, it is never โˆ’1-1: these isoclines are never perpendicular to their elements. They are parallel to them.

What that forces. An integral curve follows the elements. If the elements along a line point straight down that line, the line already follows them, so each isocline is an integral curve. Separating confirms it:

dyy=dxxโŸนlnโกโˆฃyโˆฃ=lnโกโˆฃxโˆฃ+kโŸนy=kx\frac{dy}{y} = \frac{dx}{x} \quad\Longrightarrow\quad \ln|y| = \ln|x| + k \quad\Longrightarrow\quad y = kx

The contrast. For yโ€ฒ=โˆ’x/yy' = -x/y the slopes multiply to โˆ’1-1: elements perpendicular to the rays, integral curves circular. For yโ€ฒ=y/xy' = y/x they multiply to C2C^2: elements along the rays, integral curves the rays. In both cases the isocline geometry alone settles the answer โ€” and in both cases the yy-axis or xx-axis has to be excluded where the right-hand side blows up.

Solved: 0 / 4