4.4.16Multivariable Calculus

Double integrals over rectangles — Fubini's theorem

1,796 words8 min readdifficulty · medium4 backlinks

WHAT is a double integral?

WHY this definition? Each term f(xi,yj)ΔAf(x_i^*,y_j^*)\,\Delta A is the volume of a thin rectangular column: base ΔA\Delta A, height ff. Add all columns → approximate volume under the surface. Shrink the base → exact volume. This is the exact same idea as 1-D area, one dimension up.


HOW do we actually compute it? — Iterated integrals

Computing a 2-D limit directly is brutal. Fubini gives an escape: integrate one variable at a time.


DERIVATION from first principles (the "slicing" argument)

WHY can a volume be sliced? Picture the solid under z=f(x,y)z=f(x,y) over RR.

Step 1 — Slab volume by cross-section. Fix x=x0x = x_0. The vertical plane at x0x_0 cuts the solid in a flat shape whose area is A(x0)=cdf(x0,y)dy.A(x_0) = \int_c^d f(x_0,y)\,dy. Why this step? On that plane, xx is frozen, so the curve yf(x0,y)y\mapsto f(x_0,y) bounds a 1-D region; its area is an ordinary single integral.

Step 2 — Sum the slabs. A slab of thickness dxdx at position xx has volume A(x)dxA(x)\,dx. Total volume: V=abA(x)dx=ab(cdf(x,y)dy)dx.V = \int_a^b A(x)\,dx = \int_a^b\left(\int_c^d f(x,y)\,dy\right)dx. Why this step? This is exactly (cross-sectional area)dx\int (\text{cross-sectional area})\,dx — the volume-by-slicing formula you already know from single-variable calculus.

Step 3 — Slice the other way. Nothing forced us to freeze xx first. Freezing yy gives slabs of area abf(x,y)dx\int_a^b f(x,y)\,dx, hence V=cd(abf(x,y)dx)dy.V = \int_c^d\left(\int_a^b f(x,y)\,dx\right)dy. Why this step? The same solid has the same volume, so both orders give the same number. That equality IS Fubini's theorem.

Figure — Double integrals over rectangles — Fubini's theorem

A special shortcut: separable integrands


Worked Examples


Common Mistakes (Steel-manned)


Recall Feynman: explain to a 12-year-old

Imagine a loaf of bread shaped weirdly on top. You want its total volume. You could slice it into thin vertical slices, measure the area of each slice's face, and add them up. Or you could slice it the other direction. Either way you get the same loaf, so you get the same volume. Fubini just says: "slice whichever way is easier, you'll get the same answer." A double integral is just adding up tiny towers; iterated integrals are a tidy way to add them row-by-row then column-by-column.


Connections

  • Riemann sums — double integrals are 2-D Riemann limits.
  • Volume by slicing (single-variable) — Fubini's derivation IS this idea.
  • Double integrals over general regions — next step: non-constant inner limits.
  • Change of order of integration — uses Fubini to swap when one order is hard.
  • Fubini–Tonelli theorem — the measure-theoretic generalization.
  • Triple integrals — slice in three directions.

Flashcards

What does a double integral RfdA\iint_R f\,dA geometrically represent?
The signed volume between the surface z=f(x,y)z=f(x,y) and the xyxy-plane over RR (volume above minus volume below).
State Fubini's theorem for a rectangle R=[a,b]×[c,d]R=[a,b]\times[c,d].
If ff is continuous on RR, then RfdA=abcdfdydx=cdabfdxdy\iint_R f\,dA = \int_a^b\int_c^d f\,dy\,dx = \int_c^d\int_a^b f\,dx\,dy.
In the inner integral of abcdf(x,y)dydx\int_a^b\int_c^d f(x,y)\,dy\,dx, how is xx treated?
As a constant.
Why are both iteration orders equal on a rectangle?
They compute the same solid's volume by slicing in two different directions; same solid ⇒ same volume.
Shortcut for Rg(x)h(y)dA\iint_R g(x)h(y)\,dA?
(abgdx)(cdhdy)\left(\int_a^b g\,dx\right)\left(\int_c^d h\,dy\right), valid because limits are constant and variables separate.
What is A(x)=cdf(x,y)dyA(x)=\int_c^d f(x,y)\,dy in the slicing derivation?
The cross-sectional area of the solid at fixed xx.
When can Fubini fail?
When ff is not integrable (unbounded/non-integrable on RR); the two orders may then differ.
[0,2]×[1,3](x+2y)dA=?\iint_{[0,2]\times[1,3]} (x+2y)\,dA = ?
2020.
Mnemonic for the procedure?
FREEZE the outer variable, FILL the inner 1-D integral, FILE into the outer integral.

Concept Map

defined by

limit as base shrinks

measures

computed by

fix x, cross-section

sum slabs over x

fix y instead

same volume

same volume

requires

special case

factors into

Double integral over R

Riemann sum of columns

Volume under surface z=f x,y

Slicing into slabs

Area A x = inner integral over y

Iterated integral dy dx

Iterated integral dx dy

Fubini's theorem

f continuous on R

Separable f=g x h y

Product of two single integrals

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, double integral ka matlab simple hai: z=f(x,y)z=f(x,y) ek surface hai, aur ek rectangle RR ke upar uske niche jo volume banta hai, wahi double integral RfdA\iint_R f\,dA hai. Hum us volume ko chhote-chhote columns (tiny towers) mein todte hain — har column ka base ΔxΔy\Delta x\,\Delta y aur height ff — phir sabko add kar dete hain. Limit lene par exact volume mil jaata hai.

Ab seedha 2-D limit nikalna mushkil hai, isliye Fubini's theorem kaam aata hai. Yeh kehta hai: ek variable ko freeze karo, doosre ko integrate karo (ek 1-D integral), phir bacha hua variable integrate karo. Aur sabse mast baat — order matter nahi karta. Pehle dydy karo ya pehle dxdx, answer same aayega. Reason intuitive hai: bread ko jis bhi direction se slice karo, total volume same rehta hai.

Practical tip: inner integral mein doosra variable ek constant ki tarah treat karo (jaise woh number 77 ho). Agar function separable ho, yaani f=g(x)h(y)f=g(x)h(y), to do alag integrals ka product le lo — bahut time bachta hai. Aur jab ek order mushkil lage (jaise integration by parts aa raha ho), to doosra order try karo — Fubini permission deta hai easy raasta chunne ki.

Bas yaad rakho rectangle pe limits hamesha constant hote hain, isliye order swap karna safe hai. Lekin non-rectangular region pe limits variable ho jaate hain — wahan blindly swap mat karna, region dobara dekhna padega. FREEZE, FILL, FILE — yahi mantra hai.

Go deeper — visual, from zero

Test yourself — Multivariable Calculus

Connections