Differential-Equations Β· Unit 1 Β· Video 4 Β· Interactive Practice

Worked Example: yβ€²=1+xβˆ’yy' = 1 + x - y and the Isocline Corridor Trap

IKey Formulas

FormulaNameWhat you need
yβ€²=1+xβˆ’yy' = 1 + x - yThe equationNot separable: 1+xβˆ’yβ‰ f(x) g(y)1 + x - y \neq f(x)\,g(y)
1+xβˆ’y=Cβ€…β€Šβ‡’β€…β€Šy=x+1βˆ’C1 + x - y = C \;\Rightarrow\; y = x + 1 - CIsocline of slope CCOne value of CC
y=xy = x  (the C=1C = 1 isocline)Isocline that is also a solutionLine slope == carried slope
xβˆ’1<y<x+1β€…β€ŠβŸΊβ€…β€Š0<yβ€²<2x - 1 < y < x + 1 \iff 0 < y' < 2The corridor, C=0C = 0 down to C=2C = 2Both walls

Key Insight: Every isocline is a line of slope 11, but the slope it carries is CC β€” so exactly one member of the family, C=1C = 1, moves the way it tells everything else to move.

IIVisualization 1 β€” The Isocline Family

Each isocline climbs at slope 11; the slope it hands out is CC. When do the two agree?

πŸ’‘ Separation of variables never starts here: the sum 1+xβˆ’y1 + x - y cannot be written as f(x) g(y)f(x)\,g(y), so the only formula-producing method met so far fails before the first integral.

IIIVisualization 2 β€” Why Both Doors Are Locked

Promote the C=0C = 0 and C=2C = 2 isoclines to walls: both aim their elements into the corridor.

Step 1 β€” The corridor
upperΒ wallΒ (C=0):β€…β€Šy=x+1lowerΒ wallΒ (C=2):β€…β€Šy=xβˆ’1\text{upper wall } (C = 0):\; y = x + 1 \qquad \text{lower wall } (C = 2):\; y = x - 1
xβˆ’1<y<x+1β€…β€ŠβŸΊβ€…β€Š0<1+xβˆ’y<2x - 1 < y < x + 1 \iff 0 < 1 + x - y < 2
Strictly inside, every slope is positive and none reaches 22; the solution y=xy = x runs up the centre.

IVVisualization 3 β€” Release a Solution

Can a curve released outside the corridor miss it, or one released inside ever escape?

πŸ’‘ The trapped curve draws closer and closer to y=xy = x without ever appearing to meet it β€” whether two integral curves can cross at all is where the geometry goes next.

VQuiz Questions

Problem 1 Β· Read Off an Isocline

Given: yβ€²=1+xβˆ’yy' = 1 + x - y β€” find the isocline along which every line element has slope C=3C = 3.

βœ… Correct! On y=xβˆ’2y = x - 2 the field gives 1+xβˆ’(xβˆ’2)=31 + x - (x - 2) = 3 at every point β€” a line of slope 11 carrying elements of slope 33.
❌ Not quite. CC is the slope of the elements, not of the isocline. Solving 1+xβˆ’y=C1 + x - y = C always leaves the coefficient of xx equal to 11, so every isocline in this family has slope 11.
❌ Close, but check the sign. Solving 1+xβˆ’y=C1 + x - y = C for yy gives y=x+1βˆ’Cy = x + 1 - C, so a larger CC pushes the line down, not up.
❌ Close. The constant is 1βˆ’C1 - C, not βˆ’C-C β€” the 11 on the right-hand side of yβ€²=1+xβˆ’yy' = 1 + x - y has to travel too.
❌ Not quite. Set the right-hand side equal to 33 and solve for yy.
Show solution

An isocline is the set of points where the field prescribes one fixed slope, so set the right-hand side equal to C=3C = 3:

1+xβˆ’y=31 + x - y = 3

Solve for yy in one step:

y=x+1βˆ’3=xβˆ’2y = x + 1 - 3 = x - 2

Check: at any point of y=xβˆ’2y = x - 2 the equation gives yβ€²=1+xβˆ’(xβˆ’2)=3Β βœ“y' = 1 + x - (x - 2) = 3\ \checkmark

Note the two features the general formula y=x+1βˆ’Cy = x + 1 - C shows: the coefficient of xx is 11 for every CC (the whole family is parallel, slope 11), and raising CC lowers the line.

Problem 2 Β· The Line That Is Both

Given: yβ€²=1+xβˆ’yy' = 1 + x - y β€” exactly one isocline of this equation is also an integral curve. Which line is it?

βœ… Correct! On y=xy = x the field prescribes slope 1+xβˆ’x=11 + x - x = 1, and the line delivers slope 11 β€” an exact solution read straight off the picture.
❌ Not quite. y=x+1y = x + 1 is the C=0C = 0 isocline: it carries horizontal elements while climbing at slope 11, so its own direction disagrees with the field on it.
❌ Not quite. y=xβˆ’1y = x - 1 is the C=2C = 2 isocline: its elements climb at slope 22, twice the line's own slope.
❌ Not quite. Every isocline here has slope 11 and carries slope CC; the two agree only for one value of CC.
Show solution

An integral curve moves, at every point, with exactly the slope the field prescribes there. So an isocline is also an integral curve precisely when its own slope equals the slope it carries:

1⏟slopeΒ ofΒ everyΒ isocline=C⏟slopeΒ itΒ carriesβ€…β€ŠβŸΉβ€…β€ŠC=1\underbrace{1}_{\text{slope of every isocline}} = \underbrace{C}_{\text{slope it carries}} \;\Longrightarrow\; C = 1

Put C=1C = 1 into y=x+1βˆ’Cy = x + 1 - C:

y=x+1βˆ’1=xy = x + 1 - 1 = x

Verify by substitution. If y=xy = x then the left side is yβ€²=1y' = 1, and the right side is

1+xβˆ’y=1+xβˆ’x=11 + x - y = 1 + x - x = 1

Both sides equal 11 everywhere along the line, so y=xy = x is an exact solution β€” obtained with no integration at all. The coincidence is unique because the family has slope 11 for every CC, so only C=1C = 1 can match.

Problem 3 Β· Inside the Corridor

Given: yβ€²=1+xβˆ’yy' = 1 + x - y and the corridor between the walls y=x+1y = x + 1 (C=0C = 0) and y=xβˆ’1y = x - 1 (C=2C = 2).

What slopes occur strictly inside the corridor?

A solution reaches the upper wall at the point (3,4)(3, 4). What slope does the equation assign it there?

βœ… Correct! Interior slopes fill (0,2)(0, 2), and on the upper wall the field flattens the curve to slope 00 while the wall keeps climbing at slope 11 β€” so the curve cannot follow it out.
❌ Check the endpoints. The walls are the C=0C = 0 and C=2C = 2 isoclines, and yβ€²=1+xβˆ’yy' = 1 + x - y moves continuously between those two values as yy sweeps across the band.
❌ That is the wall's own slope, not the curve's. At the moment of contact the differential equation, not the wall, dictates the curve's slope: substitute x=3x = 3, y=4y = 4 into 1+xβˆ’y1 + x - y.
❌ Not quite. Substitute the point straight into the right-hand side: 1+3βˆ’41 + 3 - 4.
Show solution

Part 1 β€” the interior slopes. A point is strictly inside the corridor exactly when

xβˆ’1<y<x+1x - 1 < y < x + 1

Take the two halves separately and move yy across; subtracting from 1+x1 + x flips each inequality:

y<x+1β€…β€ŠβŸΉβ€…β€Š1+xβˆ’y>0,y>xβˆ’1β€…β€ŠβŸΉβ€…β€Š1+xβˆ’y<2y < x + 1 \;\Longrightarrow\; 1 + x - y > 0, \qquad y > x - 1 \;\Longrightarrow\; 1 + x - y < 2

So 0<yβ€²<20 < y' < 2 everywhere inside: every interior slope is positive, which is exactly what rules out doubling back over the top.

Part 2 β€” the slope at (3,4)(3, 4). The point is on the upper wall, since 4=3+14 = 3 + 1. Substitute into the equation:

yβ€²=1+xβˆ’y=1+3βˆ’4=0y' = 1 + x - y = 1 + 3 - 4 = 0

The curve arrives horizontally while the wall climbs at slope 11. The wall outruns it, and the curve falls back inside the corridor. The same substitution on the lower wall gives yβ€²=1+xβˆ’(xβˆ’1)=2y' = 1 + x - (x - 1) = 2, steeper than the wall β€” pointing back in as well.

Problem 4 Β· The Same Trap, a New Equation

Given: the different equation yβ€²=xβˆ’yy' = x - y. Its isoclines xβˆ’y=Cx - y = C are again parallel lines of slope 11.

Which isocline of yβ€²=xβˆ’yy' = x - y is also an integral curve?

Which two isoclines are its trapping walls β€” upper wall carrying slope 00, lower wall carrying slope 22?

βœ… Correct! The whole picture just slides down by 11: the solution is y=xβˆ’1y = x - 1, and its corridor runs between y=xy = x and y=xβˆ’2y = x - 2.
❌ That was the answer to the old equation. Test it: on y=xy = x the new field gives yβ€²=xβˆ’x=0y' = x - x = 0, but the line climbs at slope 11 β€” so the line and the field disagree.
❌ Not quite. Write the family as y=xβˆ’Cy = x - C: each member has slope 11 and carries slope CC, so match them.
❌ Not quite. Solve xβˆ’y=0x - y = 0 for the upper wall and xβˆ’y=2x - y = 2 for the lower wall.
Show solution

The family. Setting xβˆ’y=Cx - y = C gives

y=xβˆ’Cy = x - C

so once again every isocline has slope 11 and the member indexed by CC carries slope CC.

Part 1 β€” the self-consistent line. Slope of the line equals slope carried when 1=C1 = C, i.e. C=1C = 1:

y=xβˆ’1y = x - 1

Verify: yβ€²=1y' = 1 and xβˆ’y=xβˆ’(xβˆ’1)=1Β βœ“x - y = x - (x - 1) = 1\ \checkmark

Part 2 β€” the walls. The upper wall is the isocline carrying slope 00 and the lower wall the isocline carrying slope 22:

C=0:β€…β€Šy=x,C=2:β€…β€Šy=xβˆ’2C = 0:\; y = x, \qquad C = 2:\; y = x - 2

Strictly between them xβˆ’2<y<xx - 2 < y < x, hence 0<xβˆ’y<20 < x - y < 2: all interior slopes are positive. On y=xy = x the field gives slope 00 against a wall of slope 11, and on y=xβˆ’2y = x - 2 it gives slope 22 against the same slope 11 β€” both doors locked, with the solution y=xβˆ’1y = x - 1 running up the centre.

Solved: 0 / 4