Cauchy-Euler (Equidimensional) equation: Foundations

Before you can read a single line of the parent note, you need to recognise every squiggle in it. This page builds them one at a time — plain words first, then the picture, then why the topic can't live without it. (A note on wording: "ordinary" in ODE just means there is only one input variable $x$ ; "differential" means derivatives appear.)

1. The variable $x$ and the function $y$

Picture: a curve drawn above a horizontal $x$ -axis. Pick any $x$ ; go straight up to the curve; that height is $y$ .

Why the topic needs it: an ODE (ordinary differential equation) is a puzzle whose answer is a whole curve $y (x)$ , not a single number. Everything else is machinery for finding that curve.

2. The derivative $y^{'}$ and its cousins $y^{''}$ , $y^{(k)}$

Picture: at a point on the curve, draw the tangent line. Its steepness is $y^{'}$ . Where the curve bends upward like a smile, $y^{''} > 0$ ; downward like a frown, $y^{''} < 0$ .

One fact we will lean on hard: differentiating a power lowers its exponent by one. $\frac{d}{d x} x^{m} = m x^{m - 1}, \frac{d ^{2}}{d x ^{2}} x^{m} = m (m - 1) x^{m - 2} .$ Say the word " $m x^{m - 1}$ " out loud: bring the exponent down front, subtract one from it. That's all differentiation does to a power. More generally $\frac{d ^{k}}{d x ^{k}} x^{m} = m (m - 1) \dots (m - k + 1) x^{m - k}$ — each of the $k$ derivatives drops the exponent by one, so after $k$ steps the power is $x^{m - k}$ .

3. Powers $x^{m}$ — whole, negative, and fractional exponents

Picture: on one axis draw $x^{2}$ (a bowl opening up), $x^{1}$ (a straight ramp), and $x^{- 1} = 1/ x$ (a curve diving toward the axis). Same family " $x$ to a power", wildly different shapes depending on $m$ .

4. The natural log $ln x$ — and where $x^{m} ln x$ comes from

Picture: a curve that passes through $(1, 0)$ , rises forever but ever more lazily, and plunges to $- \infty$ as $x \to 0^{+}$ . It has no values left of the $y$ -axis — that's why the topic keeps warning " $x > 0$ ".

5. The exponential $e^{t}$ and imaginary $i$

Picture: think of $θ$ as an angle; $e^{i θ}$ is a point walking around the unit circle. See Euler's Formula for the full geometry.

Why the topic needs it: when the quadratic's answer contains $i$ (complex roots $α \pm i β$ ), the power $x^{α \pm i β}$ carries an imaginary exponent. Euler's formula turns that into real $cos (β ln x)$ and $sin (β ln x)$ — a solution you can actually plot.

6. The substitution $t = ln x$ and the chain rule

7. The quadratic $a m^{2} + bm + c = 0$ and its roots

Why the topic needs it: after guessing $y = x^{m}$ , the entire ODE collapses to one quadratic in $m$ — the indicial (auxiliary) equation, cousin of the Characteristic / Auxiliary Equation. Which of the three root-types you get decides the shape of the answer (distinct powers / power-with- $ln$ / spinning cosines).

8. The order of an ODE, and the constants $C_{1}, C_{2}$

Picture: a whole fan of curves, one for each choice of $(C_{1}, C_{2})$ ; initial conditions later pin down which single curve you want.

How it all feeds the topic

The diagram below is a dependency map: each box is one foundation from this page, and an arrow "A → B" means "you need A before B makes sense." Follow the arrows downward and you are literally re-tracing the logic of the whole topic — from raw symbols at the top to the finished Cauchy-Euler solution at the bottom.

How to read it: the function and its derivatives (top left) plus the power family produce the guess $y = x^{m}$ ; the guess plus the roots produce the indicial quadratic; the quadratic's three root-types, together with $ln x$ , Euler's formula, and the $t = ln x$ substitution, assemble the three solution cases; finally the constants $C_{1}, C_{2}$ blend them into the general Cauchy-Euler solution.

The disguise-removal (rule 6) connects to Reduction of Order (finding a second solution from a first) and, for equations that are not equidimensional, to the Frobenius Method & Regular Singular Points. Non-homogeneous versions use Variation of Parameters.

Equipment checklist

Test yourself — cover the right side.

What does the abbreviation ODE stand for?

Ordinary differential equation — one input variable, derivatives appear.

What does

y^{(k)}

mean, and what is

y^{(0)}

Differentiate

y

a total of

k

times;

y^{(0)} = y

(do nothing).

What does

y^{'}

measure on the curve?

The slope (steepness) of

y

at that point.

What does

y^{''}

measure?

How the slope itself changes — the bending / curvature.

Differentiate

x^{m}

once.

m x^{m - 1}

— bring the exponent down, subtract one.

Differentiate

x^{m}

twice.

m (m - 1) x^{m - 2}

What is

x^{- 1}

, and what is

x^{1/2}

1/ x

; and

x

For which

x

x^{m}

safely defined when

m

is fractional/irrational, and why?

Only

x > 0

; roots of negatives and branch choices break for

x \leq 0

What is

x^{0}

1

ln x

answers what question, and for which

x

is it defined?

e

to what power gives

x

?"; defined only for

x > 0

Why does

x^{k} \frac{d ^{k}}{d x ^{k}} x^{m}

give a constant times

x^{m}

The

- k

from differentiating and the

+ k

from the coefficient cancel:

x^{k} \cdot x^{m - k} = x^{m}

State Euler's formula.

e^{i θ} = cos θ + i sin θ

What is

i

The imaginary unit with

i^{2} = - 1

Which substitution un-disguises Cauchy-Euler, and what is its key identity?

t = ln x

; then

x \frac{d y}{d x} = \frac{d y}{d t}

Where does the second solution

x^{m} ln x

come from for a repeated root?

Reduction of order: try

v x^{m}

; the factor

v

integrates to

ln x

What is the order of an ODE, and how many arbitrary constants does it carry?

The highest derivative present; an

n

-th-order ODE carries

n

constants.

How many roots does the indicial quadratic have, and what are the three types?

Two roots: distinct real, repeated, or complex.