Intuition The one core idea
Heat spreads because every point drifts toward the average of its neighbours, and the more sharply the temperature bends at a point, the faster that point changes. Separation of variables trades one hard equation about space-and-time-together for two easy equations — one purely about shape in space , one purely about fading in time .
Before you can read a single line of the parent derivation, you need to own every squiggle in it. This page walks through them one at a time, in the order they build on each other. Nothing is used before it is drawn.
u ( x , t ) — temperature at a place and a time
u is the temperature . It depends on two inputs:
x = position along the rod (how far from the left end), a number between 0 and L .
t = time (how many seconds have passed), a number ≥ 0 .
So u ( x , t ) answers: "How hot is the point x metres in, after t seconds?"
The picture is not a curve — it is a whole landscape . Imagine the rod laid on the ground (x -axis) and time running away from you (t -axis); the height of the sheet above each spot is how hot that spot is at that moment.
Intuition Why two variables at all?
A single hot rod already needs x : different spots have different heat. But heat moves , so the picture changes as t ticks. Freeze time and you get one curve (a snapshot); freeze position and you get one fading number. The topic is exactly about how the snapshot morphs as time runs.
Definition Derivative — the steepness of a curve
Pick a curve. Its derivative at a point is the slope of the line that just kisses the curve there (the tangent): how fast the height rises per step to the right.
Slope > 0 : going uphill.
Slope < 0 : going downhill.
Slope = 0 : momentarily flat (a peak, a valley, or a shelf).
Why do we need slope? Because heat flows down slopes of temperature — from hot to cold. The slope is literally the "steepness of the hill of heat," and physics says heat rolls downhill.
Because u depends on two inputs, "the slope" is ambiguous — slope in which direction? So we invent slopes that hold one input frozen.
∂ symbol — a slope with everything else frozen
When a function has several inputs, we write a partial derivative with a curly-d, ∂ (read "partial"), instead of the ordinary straight d . The straight d means "the only input is changing"; the curly ∂ means "this input changes while the others are held still."
∂ t ∂ u = the slope you get by nudging only time and freezing x . We abbreviate it u t (subscript names the frozen-out variable's partner).
∂ x ∂ u = the slope from nudging only position , freezing t . Abbreviated u x .
Do it twice in x : ∂ x 2 ∂ 2 u , abbreviated u xx .
The subscript form (u t , u x , u xx ) and the fraction form (∂ u / ∂ t , etc.) mean exactly the same thing — the subscript is just shorthand.
u t — how fast a fixed point heats up
u t = ∂ t ∂ u means: stand still at one position x , watch the clock, measure how fast the temperature there changes. It is the slope of the temperature-versus-time graph at that spot. Positive u t = warming; negative = cooling.
u xx is the star
Look at the figure. At a bump (concave-down) the point is hotter than the average of its two neighbours , so heat leaks out to both sides — it cools. At a dip (concave-up) it is colder than its neighbours, so heat flows in — it warms. Curvature u xx measures exactly "how far above/below the neighbour-average" a point sits. That is why the heat equation is built from u xx and not from u x alone.
u xx is just a second slope, nothing special."
Why it's wrong: u x (first slope) tells you the direction heat flows; but a straight tilted line (u x = 0 , u xx = 0 ) has just as much heat arriving from the hot side as leaving to the cold side — no net change. Only bending (u xx = 0 ) causes a point's temperature to change.
α 2 — thermal diffusivity
α 2 is a positive number that says how good this material is at conducting heat . Big α 2 (copper) → heat rushes; small α 2 (wood) → heat crawls. Its units are length 2 / time , which is why the writing is α 2 (a square) rather than a bare letter — it keeps the units honest.
α 2 and not just α ?"
Writing the constant as a square guarantees it is positive (a real number squared is never negative). Physically, diffusion is always positive, so the notation bakes that in.
The equation alone has infinitely many solutions. We pin down one with extra facts.
Definition The rod's length
L and the region
L = length of the rod . Position ranges over x ∈ [ 0 , L ] (the square brackets mean the two endpoints 0 and L are included — we will need them to state the rules at the ends). Time is t ≥ 0 . This is the strip the landscape sits over.
Definition Boundary conditions (BCs) — what happens at the ends
Rules fixed at x = 0 and x = L for all time . Here:
u ( 0 , t ) = 0 , u ( L , t ) = 0.
Both ends are held at 0 ∘ forever (imagine each end jammed in ice). This is the Dirichlet type: value fixed. Contrast: fixing the slope u x = 0 (insulated end, no heat escapes) is the Neumann type. See Boundary Conditions — Dirichlet vs Neumann .
Definition Initial condition (IC) — the starting snapshot
One rule fixed at t = 0 for all positions :
u ( x , 0 ) = f ( x ) .
f ( x ) is the starting temperature profile — the shape of the rod's heat before the clock starts.
Intuition BC vs IC — read the figure
The two vertical red edges of the strip are the boundary conditions (glued at 0 for all time). The bottom horizontal edge is the initial condition (the snapshot at t = 0 ). Together they fence in exactly one landscape.
X ( x ) and T ( t ) — a shape times a fading dial
The heart of the whole method is a guess about the form of the answer:
u ( x , t ) = X ( x ) T ( t ) .
X ( x ) is a function of position only — a fixed shape of the rod (e.g. a hump). It does not know about time.
T ( t ) is a function of time only — a single dial that scales that shape up or down as the clock runs. It does not know about position.
So the guess says: the rod keeps the same shape and merely brightens or dims it over time.
Intuition Why are we allowed to guess this?
We are not claiming every solution looks like one shape × one dial — most don't. But it costs nothing to try the simplest possible form. If it works, a hard two-variable equation splits into two easy one-variable equations (one for X , one for T ). If it fails, we lose nothing and learn that. It works here, and later the Superposition Principle lets us add many such simple pieces to build any starting profile. The picture: freeze the shape X ( x ) , then let the dial T ( t ) fade it — like turning down a dimmer on a fixed silhouette.
sin — the pure wiggle
sin θ traces a smooth up-down wave: 0 at the start, up to 1 , back through 0 , down to − 1 , repeat. cos θ is the same wave started at its peak (cos 0 = 1 ).
Why sines here? Because the ends must be zero . sin is naturally 0 at x = 0 . If we also want it 0 at x = L , the wave must fit a whole number of half-humps in the rod:
Definition The mode number
n and sin L nπ x
X n ( x ) = sin L nπ x , n = 1 , 2 , 3 , …
n = 1 : one hump across the rod (fat).
n = 2 : two humps (one up, one down).
n = 3 : three humps (skinnier), and so on.
The factor L nπ is chosen so that sin ( 0 ) = 0 and sin L nπ L = sin ( nπ ) = 0 : both ends land exactly on zero. That is the whole reason π and L appear together. These are the allowed shapes for X ( x ) .
Intuition Why cosines are banned here
cos 0 = 1 = 0 , so a cosine would leave the left end hot — it can't satisfy u ( 0 , t ) = 0 . The Dirichlet zero-BCs hand-pick sines. (Flip to insulated ends and cosines return — the eigenfunction always matches the boundary rule.)
∑ — add up many pieces
∑ n = 1 ∞ is shorthand for "add the following for n = 1 , then n = 2 , then n = 3 , forever." We stack the simple hump-shapes X n ( x ) = sin L nπ x to build any starting profile f ( x ) . That stacking is a Fourier Series .
e − λ t — exponential fading (the dial T ( t ) )
e is a fixed number (≈ 2.718 ). e − λ t starts at 1 (when t = 0 ) and smoothly shrinks toward 0 as time grows, never going negative. The bigger λ , the faster the shrink. This exponential is the time-dial T ( t ) for each shape — each hump gets its own fading dial.
λ n = ( nπ / L ) 2 — why skinny humps die first
Each mode fades with rate λ n = ( nπ / L ) 2 , which grows like n 2 . So the 3 rd hump fades 9 × faster than the 1 st. Skinny wiggly humps have huge curvature u xx , and huge curvature means fast change — they smooth out almost instantly, leaving only the fat n = 1 hump.
Definition Superposition — sums of solutions are solutions
Because the heat equation is linear (no squares of u , no products) and homogeneous (the "= 0 side" has no leftover forcing term), if two temperature landscapes each solve it, so does their sum. This is the Superposition Principle : it lets us solve one hump-times-dial at a time, then add. The space equation for X with zero ends is a baby case of Sturm-Liouville Theory .
B n — the recipe amounts (Fourier coefficients)
When we add up the hump-shapes to match the starting profile,
f ( x ) = ∑ n = 1 ∞ B n sin L nπ x ,
each B n is a number telling how much of hump n to pour in — the amount of the n -th ingredient in the recipe for f ( x ) . They are found (in the parent note) by the formula
B n = L 2 ∫ 0 L f ( x ) sin L nπ x d x ,
which just measures how strongly f overlaps with hump n . Once every B n is fixed and each hump is multiplied by its fading dial e − λ n α 2 t , the full solution is complete.
Self-test: can you say each in one breath before reading the parent note?
What does u ( x , t ) physically mean? The temperature at position x along the rod after time t — a height above a 2-D place-and-time floor.
What does the curly ∂ symbol mean, and how does ∂ u / ∂ t relate to u t ? It marks a partial derivative — the slope when only one input changes and the rest are frozen; u t is just shorthand for ∂ u / ∂ t .
What is u t ? The rate a fixed point's temperature changes in time (slope of temp-vs-time at frozen x ).
What is u xx , and what does its sign tell you? The curvature of the snapshot; u xx > 0 is a dip that warms, u xx < 0 is a bump that cools.
Why is α 2 written as a square? To force it positive (diffusivity is always positive) and keep units length 2 / time .
State the difference between a boundary condition and an initial condition. BC fixes the ends for all time (x = 0 , L ); IC fixes the whole rod at the one instant t = 0 .
What is the separation guess, and what do X ( x ) and T ( t ) each depend on? u ( x , t ) = X ( x ) T ( t ) ; X depends on position only (a fixed shape), T on time only (a fading dial).
Why are we allowed to make the separation guess? It costs nothing to try the simplest form; if it works the PDE splits into two easy ODEs, and superposition lets us add many such pieces for any profile.
Why do zero-value (Dirichlet) ends force sine eigenfunctions, not cosines? sin 0 = 0 matches the ends; cos 0 = 1 = 0 would leave an end hot.
Why must L nπ appear inside the sine? So that sin L nπ x is zero at both x = 0 and x = L (since sin nπ = 0 ).
Why does mode n fade at rate proportional to n 2 ? Its decay constant is λ n = ( nπ / L ) 2 ; skinnier humps have larger curvature, so they change (and vanish) faster.
What does the coefficient B n represent? How much of hump n to pour into the recipe for f ( x ) — the Fourier coefficient measuring f 's overlap with sin L nπ x .
What property lets us add single-hump solutions together? Linearity + homogeneity of the heat equation → the superposition principle.