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

First-Order ODEs: Why Most Can't Be Solved, and the Geometric View

IKey Formulas

FormulaNameWhat you need
dydx=f(x,y)\dfrac{dy}{dx} = f(x, y)Standard form of a first-order ODEThe derivative alone on the left
slopeΒ atΒ (x,y)=f(x,y)\text{slope at } (x, y) = f(x, y)Line element β€” the direction fieldA point and the equation
y1β€²(x)=f(x, y1(x))y_1'(x) = f\big(x,\, y_1(x)\big)Integral curve (solution) conditionTangency at every point of the curve
yβ€²=xyβ€…β€ŠβŸΉβ€…β€Šy dy=x dxy' = \dfrac{x}{y} \;\Longrightarrow\; y\,dy = x\,dxSeparable β€” the one of the three you can already solveVariables that come apart

Key Insight: The dictionary has exactly two entries: the equation yβ€²=f(x,y)y' = f(x,y) becomes a direction field, and a solution y1(x)y_1(x) becomes an integral curve. Both are read off ff point by point, so the picture still exists for yβ€²=xβˆ’y2y' = x - y^2, whose solutions no elementary formula can write down.

IIVisualization 1 β€” The Equation Prescribes a Slope

Where ff is defined, the equation hands out one number: the slope of the line element planted there.

IIIVisualization 2 β€” Tangent at Every Point

An integral curve matches the field's slope at every point it passes, not merely at one.

πŸ’‘ A curve that slips between two drawn elements misses nothing: the plane can never be filled in completely, and tangency is required at every point of the curve β€” drawn or undrawn.

IVVisualization 3 β€” A Curve Built Without a Formula

yβ€²=xβˆ’y2y' = x - y^2 has no elementary solution, yet the curve through each point is fully determined.

πŸ’‘ The tame twin yβ€²=yβˆ’x2y' = y - x^2 paints a field of exactly the same kind; a solution formula is a convenience the picture never needs.

VQuiz Questions

Problem 1 Β· Reading a Line Element

Given: the equation yβ€²=xβˆ’y2y' = x - y^2 β€” find the slope of the line element planted at the point (1,3)(1, 3).

βœ… Correct! f(1,3)=1βˆ’32=1βˆ’9=βˆ’8f(1,3) = 1 - 3^2 = 1 - 9 = -8 β€” a steep downhill dash, read straight off the equation.
❌ Not quite. The yy term is squared before the subtraction: 32=93^2 = 9, not 33.
❌ Check the order. The right-hand side is xβˆ’y2x - y^2, not y2βˆ’xy^2 - x.
❌ Not quite. Only yy is squared β€” the subtraction happens after, not inside, the square.
❌ Not quite. Substitute x=1x = 1 and y=3y = 3 into f(x,y)=xβˆ’y2f(x,y) = x - y^2.
Show solution

The equation is already in standard form, so f(x,y)=xβˆ’y2f(x, y) = x - y^2, and the line element at a point carries the slope ff takes there:

f(1,3)=1βˆ’32=1βˆ’9=βˆ’8f(1, 3) = 1 - 3^2 = 1 - 9 = -8

No equation was solved to get this. The slope comes from substitution alone, which is why a direction field can be painted even for an equation with no solution formula.

Problem 2 Β· Testing a Candidate Curve

Given: the equation yβ€²=x/yy' = x/y and the curve y=1+12x2y = 1 + \tfrac{1}{2}x^2. At (0,1)(0, 1) the curve runs horizontally and the field prescribes 01=0\tfrac{0}{1} = 0 β€” the two agree. Is the curve an integral curve of yβ€²=x/yy' = x/y?

βœ… Correct! One match at (0,1)(0,1) proves nothing: at (2,3)(2,3) the curve climbs three times too steeply, so it cuts across the field.
❌ Close, but the definition is stronger. Tangency must hold at every point of the curve, not at one of them.
❌ Not quite. That the field is defined along the curve says nothing about whether the curve matches it.
❌ Not quite. Tangency is checked point by point from f(x,y)f(x,y) alone β€” no solution formula is needed.
❌ Not quite. Compare yβ€²y' of the curve with x/yx/y at a second point, say x=2x = 2.
Show solution

Tangency is required at every point of the curve, so test a second point. At x=2x = 2 the curve is at y=1+12(2)2=3y = 1 + \tfrac{1}{2}(2)^2 = 3, and

curveΒ slope=yβ€²=x=2,fieldΒ slope=xy=23.\text{curve slope} = y' = x = 2, \qquad \text{field slope} = \frac{x}{y} = \frac{2}{3}.

The two disagree, so the curve crosses the line element at (2,3)(2,3) instead of running along it: not an integral curve.

Separating the variables gives y dy=x dxy\,dy = x\,dx, hence y2βˆ’x2=Cy^2 - x^2 = C β€” the integral curves of this field are hyperbolas, and the one through (0,1)(0,1) is y=1+x2y = \sqrt{1 + x^2}, not a parabola.

Problem 3 Β· Verifying a Solution of the Tame Twin

Given: the equation yβ€²=yβˆ’x2y' = y - x^2 and the candidate y1(x)=x2+2x+2y_1(x) = x^2 + 2x + 2 β€” check the two sides of the equation separately.

What is y1β€²(x)y_1'(x)?

What is y1(x)βˆ’x2y_1(x) - x^2?

βœ… Correct! Both sides equal 2x+22x + 2 for every xx, so y1y_1 satisfies yβ€²=yβˆ’x2y' = y - x^2 and its graph is an integral curve of that field.
❌ Check the derivative. Differentiate term by term: x2β†’2xx^2 \to 2x, β€…β€Š2xβ†’2\;2x \to 2, β€…β€Š2β†’0\;2 \to 0.
❌ Check the subtraction. Only the x2x^2 term is cancelled; the rest of y1y_1 survives unchanged.
Show solution

Step 1 β€” differentiate the candidate.

y1(x)=x2+2x+2⟹y1β€²(x)=2x+2y_1(x) = x^2 + 2x + 2 \quad \Longrightarrow \quad y_1'(x) = 2x + 2

Step 2 β€” evaluate the right-hand side along the candidate.

y1(x)βˆ’x2=(x2+2x+2)βˆ’x2=2x+2y_1(x) - x^2 = (x^2 + 2x + 2) - x^2 = 2x + 2

Step 3 β€” compare. The two sides agree for every xx, so y1y_1 is a solution of yβ€²=yβˆ’x2y' = y - x^2 β€” the tame twin from the video.

Geometrically the parabola y=x2+2x+2y = x^2 + 2x + 2 is an integral curve of that field. At (0,2)(0, 2), for instance, the field prescribes 2βˆ’02=22 - 0^2 = 2 and the curve's own slope is 2(0)+2=22(0) + 2 = 2.

Problem 4 Β· What "Unsolvable" Means

Given: no elementary function solves yβ€²=xβˆ’y2y' = x - y^2. A student concludes that nothing at all can be said about the solution through the origin. Which statement is correct?

βœ… Correct! f(0,0)=0βˆ’02=0f(0,0) = 0 - 0^2 = 0. "Unsolvable" limits the reach of our notation, not the existence of the curves.
❌ Not quite. A slope of 00 is a perfectly good line element β€” a horizontal one.
❌ Not quite. The solutions exist as smooth curves through the whole plane; only a formula for them is missing.
❌ Not quite. The curve is built by following the field, slope after slope β€” the geometric view never consults a formula.
❌ Not quite. Evaluate f(x,y)=xβˆ’y2f(x,y) = x - y^2 at the origin before deciding what is known.
Show solution

"Unsolvable" is a statement about formulas, not about existence. The right-hand side f(x,y)=xβˆ’y2f(x, y) = x - y^2 can be evaluated at any point whatsoever, so the direction field is defined everywhere. At the origin

f(0,0)=0βˆ’02=0,f(0, 0) = 0 - 0^2 = 0,

so the integral curve through (0,0)(0,0) crosses it horizontally, and following the field from there fixes the rest of the curve, point after point.

What fails is only the notation: no finite combination of powers, roots, exponentials, logarithms, sines and cosines writes this solution down. The curve is there regardless.

Solved: 0 / 4