4.6.11 · D2Ordinary Differential Equations

Visual walkthrough — Case 1 - two distinct real roots

1,805 words8 min readBack to topic

This page draws the derivation that the parent note wrote in symbols. We start from a picture of what the equation is even asking, and end with the general solution — one figure per step. No symbol appears before you can see what it means.


Step 1 — What does the equation even ask?

WHAT. Our whole task is this one line:

Read every symbol out loud:

  • is a function — a curve whose height at position we can plot.
  • (say "y-prime") is its slope at each point: how fast the curve is rising.
  • ("y-double-prime") is the slope's slope: how fast the rising itself is changing — its bend.
  • are just fixed numbers (weights), and so there really is a term.

WHY read it this way. The equation says: take the curve, its slope, and its bend, multiply each by its weight, add — and the result must be flat zero at every single . That is a very demanding balance. Most curves fail it. We are hunting the special curves that pass.

PICTURE. Below, one candidate curve is drawn in red. At the marked point, the black arrows show its height, its slope, and its bend. The balance must cancel to everywhere, not just here.

Figure — Case 1 -  two distinct real roots

Step 2 — Which curve is its own slope? (Why )

WHAT. We need a shape where and are just scaled copies of . The exponential does exactly this:

Here is a fixed number, and is an unknown growth rate we will solve for. When the curve grows; when it decays; the bigger , the steeper.

WHY this tool and no other. We could try polynomials, sines, anything — but taking a derivative usually changes a function's shape. The exponential is the unique shape whose derivative is the same shape, just rescaled (see Exponential function and its derivative). That is the one property Step 1 demanded. So is not a lucky guess; it is forced.

PICTURE. The red curve and its slope curve are laid on top of each other — they are the same shape, one just stretched vertically by the factor . That overlap is the whole reason the exponential works.

Figure — Case 1 -  two distinct real roots

Step 3 — Substitute and watch factor out

WHAT. Put the three copies from Step 2 into the equation:

Every term carries the same block . Pull it out front like a common factor:

WHY. The exponential does its job and then steps aside: it converts a calculus problem (derivatives) into an algebra problem (a quadratic in ). That is the payoff of choosing .

PICTURE. Think of it as peeling a label. The is a factor riding on every term; peeling it off leaves a bare quadratic. The figure shows the three terms lined up, each wearing the same sticker, then the sticker lifted off.

Figure — Case 1 -  two distinct real roots

Step 4 — Kill the exponential: the characteristic equation

WHAT. We have . A product is zero only if a factor is zero. But is never zero — the exponential curve never touches the -axis, for any real . So the other factor must vanish:

WHY. This is the exact step where "which curves solve the ODE?" becomes "which numbers solve a quadratic?" Solving quadratics we already know how (see Characteristic equation).

PICTURE. The red exponential is drawn hugging the axis but never crossing it — visual proof that , so it cannot be the factor that is zero. The bracket is the only candidate.

Figure — Case 1 -  two distinct real roots

Step 5 — Solve the quadratic; when are the roots two distinct reals?

WHAT. The quadratic formula gives

The part under the root, , is the discriminant. It decides everything:

WHY the discriminant. It is precisely the quantity that measures the gap between the roots. A positive gap means two genuinely separate growth rates.

PICTURE. The parabola is drawn. Its two crossings of the -axis (in red) are and . When the parabola cuts the axis at two points — that is what "two distinct real roots" looks like.

Figure — Case 1 -  two distinct real roots

Step 6 — Two roots → two solution curves

WHAT. Each root feeds back through the ansatz to give a solution:

Because , these two curves have different steepness — they are not the same shape rescaled.

WHY they are independent. Form their ratio:

Since , this ratio genuinely changes with — it is not a fixed number. Two curves that aren't constant multiples of each other carry independent information (see Wronskian and linear independence).

PICTURE. Both curves plotted from the same start. One climbs (or decays) faster than the other; the red shaded gap between them keeps changing, showing the ratio is not constant.

Figure — Case 1 -  two distinct real roots
Recall Wronskian check (why "not constant ratio" is enough)

The Wronskian . Since and , we get everywhere — the formal certificate of independence.


Step 7 — Superpose: the general solution

WHAT. The equation is linear: if and each make the weighted sum zero, so does any blend

where are free constants you tune to match a starting height and starting slope.

WHY exactly two constants. The equation is second-order — its highest term is . Such equations always have a 2-parameter family of solutions. Two independent curves + two dials = every solution, none missing (see Superposition principle).

PICTURE. Several blends of the two red base curves are drawn faintly, sweeping out the whole family; two of them are highlighted as picked by particular .

Figure — Case 1 -  two distinct real roots

Step 8 — The three flavours of Case 1 (all sign combinations)

WHAT. "Two distinct real roots" still hides three qualitatively different pictures, depending on the signs of :

Both negative Opposite signs Both positive
every term decays one grows, one decays every term grows
saddle: generic blows up
e.g. e.g. e.g.

WHY show all three. The formula is identical, but the behaviour is not. You must never be surprised by a growing solution just because you once saw a decaying one.

PICTURE. Three side-by-side panels: decay-to-zero, saddle (one term up one down), and blow-up — the key growing/decaying term in red in each.

Figure — Case 1 -  two distinct real roots

The one-picture summary

Figure — Case 1 -  two distinct real roots

The single figure above compresses the whole journey: equation → exponential guess → factor out → quadratic → two roots → two curves → blended family.

Recall Feynman retelling — the walkthrough in plain words

We were handed a curve-hunting puzzle: find a curve whose height, tilt, and bend, mixed with fixed weights, cancel to flat zero everywhere. Only one kind of curve has a tilt and bend that are just rescaled copies of itself — the exponential, like money growing at a steady interest rate. So we guessed with a mystery growth-rate . Plugging in, the exponential appears in every term and politely factors out, leaving a plain quadratic in . Since the exponential never actually hits zero, the quadratic itself must be zero — that's the characteristic equation. Solve it. If the number under the square root is positive, we get two different growth rates: two curves, one for each. They aren't the same shape (their ratio keeps drifting), so together they cover everything. Blend them with two dials , twist the dials to match where you started, and you're done. And always peek at the signs of the two rates — both down means it fades to nothing, mixed means it usually runs away, both up means it explodes.

Connections