Unification — all three theorems as generalized Stokes: Question bank

4.4.34 · D5 · Maths › Multivariable Calculus › Unification — all three theorems as generalized Stokes

Shuru karne se pehle, teen words jo neeche har jagah use hote hain, har ek apni jagah earned hai:

manifold $M$ — wo "andar" wala region jiske upar tum integrate karte ho (ek interval, ek disk, ek solid ball).
boundary $\partial M$ — us region ka "edge" (endpoints, bounding circle, bounding surface).
form $ω$ — wo cheez jo tum integrate karte ho; $d ω$ uski exterior derivative hai (the "local accumulation" — slope, curl, ya divergence depending on dimension).

True or false — justify

A boundary can itself have a boundary.

False.

\partial (\partial M) = \emptyset

hamesha — edge ka edge empty hota hai (ek disk ki boundary ek circle hai, aur circle ke koi endpoints nahi hote). Yeh

d^{2} = 0

ka geometric partner hai (dekho d squared equals zero).

Generalized Stokes ko region

M

ka flat hona zaroori hai.

False. Yeh kisi bhi smooth oriented

k

-manifold par hold karta hai — curved surfaces, solid balls, twisted paths. Flatness sirf ek dhang hai jis se Green's theorem dikhta hai; identity khud coordinate-free hai.

Har classical theorem (FTC, Green, Stokes, Divergence) ek hi identity ka special case hai.

True. Yeh sirf dimension

k

aur kaunsa form

ω

daala jata hai — isme fark aata hai; sentence

\int_{\partial M} ω = \int_{M} d ω

kabhi nahi badalta.

Agar tum

\partial M

ki orientation reverse karo, to dono sides phir bhi match karengi.

==True, lekin sirf tab jab tum dono sides consistently flip karo.==

\partial M

ko reverse karne se

\int_{\partial M} ω

ka sign flip hota hai; equation isliye true rehti hai kyunki

M

ki orientation exactly wahi boundary orientation induce karti hai (dekho Orientation and Induced Boundary Orientation). Sirf ek side flip karne se yeh toot jaati hai.

d x \land d y

aur

d y \land d x

same 2-form hain.

False. Wedge antisymmetric hai:

d x \land d y = - d y \land d x

. Yeh negatives hain — yahi sign hai orientation, counterclockwise aur clockwise area ka fark.

Fundamental Theorem of Calculus "bahut simple" hai Stokes ka case banne ke liye.

False. Yeh exactly

k = 1

case hai:

\int_{a}^{b} f^{'} d x = f (b) - f (a)

\int_{M} d ω = \int_{\partial M} ω

hai, jisme

ω = f

0

-form hai aur

\partial [a, b] = {b} - {a}

(dekho Fundamental Theorem of Calculus).

d (d ω) = 0

sirf functions (

0

-forms) ke liye hold karta hai.

False.

d^{2} = 0

har degree ke forms ke liye hold karta hai.

0

-forms par yeh kehta hai

\nabla \times \nabla f = 0

;

1

-forms par yeh kehta hai

\nabla \cdot (\nabla \times F) = 0

— same fact, do chehre.

Tum ek solid

3

-dimensional region ke upar ek

1

-form integrate kar sakte ho.

False. Ek

k

-form ko ek

k

-dimensional cheez ke upar integrate kiya jaata hai. Ek

1

-form curves se match karta hai,

2

-form surfaces se,

3

-form volumes se. Degree aur dimension equal hone chahiye.

Spot the error

d ω = (Q_{x} - P_{y}) d x \land d y

, isliye Green's theorem hai

\oint (P d x + Q d y) = \iint (P_{y} - Q_{x}) d A

Sign galat hai. Kyunki

d y \land d x = - d x \land d y

, surviving term

(Q_{x} - P_{y})

hai, isliye right side

\iint (Q_{x} - P_{y}) d A

hai. Isse silently swap karna poora answer reverse kar deta hai.

"Divergence theorem work 1-form

F_{1} d x + F_{2} d y + F_{3} d z

use karta hai."

Galat form hai. Divergence flux 2-form

F_{1} d y \land d z + F_{2} d z \land d x + F_{3} d x \land d y

use karta hai, jiska

d

hai

(\nabla \cdot F) d V

. Work 1-form Stokes' Theorem (curl) ke liye hai aur curl deta hai, divergence nahi.

d x \land d x

ek tiny positive area hai, isliye yeh ek chhota number hai, zero nahi."

Yeh exactly zero hai, chhota nahi. Antisymmetry force karta hai

α \land α = - α \land α

, aur sirf ek hi cheez apne negative ke barabar hoti hai —

0

. Geometrically: kisi vector ka khud ke saath bana "parallelogram" degenerate hota hai — zero area.

"FTC mein

[a, b]

ki boundary

{a} + {b}

hai, isliye

\int_{\partial M} f = f (a) + f (b)

Endpoint

a

orientation se minus carry karta hai:

\partial [a, b] = {b} - {a}

, jisse milta hai

f (b) - f (a)

. Sign drop karne se "net change" ka poora meaning kho jaata hai.

"Kyunki interior walls cancel hoti hain, theorem sirf un regions ke liye kaam karta hai jo squares mein cut ho sakein."

Cancellation ek intuition hai ki yeh kyun sach hai, koi requirement nahi. Identity full generality mein prove ki gayi hai; koi bhi smooth oriented manifold kaam karta hai, chahe squares mein cut ho sake ya nahi.

\nabla \times \nabla f = 0

aur

\nabla \cdot (\nabla \times F) = 0

do lucky coincidences hain."

Yeh same fact

d^{2} = 0

hai, ek

0

-form par aur ek

1

-form par padha gaya. Luck nahi — ek algebraic identity (

d \circ d = 0

) dono ko force karti hai.

Why questions

Jab hum tiny cells ke upar boundary quantity sum karte hain to interior walls kyun cancel honi chahiye?

Har shared wall do baar traverse hoti hai — ek baar ek cell ke "out" ke roop mein, ek baar uske neighbor ke "in" ke roop mein — opposite induced orientation ke saath, isliye dono contributions exact negatives hain aur vanish ho jaate hain. Sirf unshared outer wall bachti hai.

2D mein

1

-form par

d

kyun exactly 2D curl

Q_{x} - P_{y}

produce karta hai aur kuch nahi?

d (P d x + Q d y)

expand karne par chaar terms aate hain;

d x \land d x

aur

d y \land d y

mar jaate hain, aur antisymmetry dono survivors ko ek single

(Q_{x} - P_{y}) d x \land d y

mein merge kar deti hai. Wedge algebra yeh collapsing karta hai.

Orientation ek optional decoration kyun nahi hai balki theorem ka hissa hai?

Yeh woh signs supply karta hai jinka equation ko zaroorat hai: FTC mein

a

par minus, Divergence mein outward-pointing normal. Galat orientation choose karo aur poora answer sign flip ho jaata hai — geometry akeli nahi bata sakti ki kaun sa sign sahi hai.

Exterior derivative

d

kyun

d (f) = \sum \frac{\partial f}{\partial x _{i}} d x_{i}

satisfy karne ke liye banaya gaya hai?

Taaki functions par yeh hai gradient — "local rate of change." Baaki sab (

d

ka higher forms par curl aur div dena) is demand ko enforce karne se forced hai ki

d

linear ho, gradient se agree kare, aur wedge ko respect kare. Dekho Exterior Derivative.

Ek operator

d

gradient, curl, aur divergence ka role kyun play kar sakta hai?

Kyunki grad/curl/div same operation hai — "derivative lo aur record karo ki orientation kaise badlti hai" — sirf degree

0

1

, aur

2

ke forms par apply kiya gaya. Vector-calculus ke names chhupate hain ki yeh ek hi machine hai.

\partial^{2} = 0

(boundary of a boundary is empty)

d^{2} = 0

ko kyun mirror karta hai?

Stokes inhe couple karta hai:

\int_{M} d (d ω) = \int_{\partial M} d ω = \int_{\partial (\partial M)} ω

. Agar

\partial (\partial M) = \emptyset

to far side har

ω

ke liye

0

hai, jo

d^{2} = 0

force karta hai — aur vice versa. Yeh ek identity ke through dual hain.

Edge cases

\int_{\partial M} ω

kya hoga jab

M

ek closed surface hai (jaise ek sphere) jiska koi boundary nahi?

Yeh

0

hai, kyunki

\partial M = \emptyset

hai aur kuch nahi ke upar integrate karne se kuch nahi milta. Isliye

\int_{M} d ω = 0

bhi — ek closed manifold kisi bhi

d ω

ka koi net accumulation "dekhta" nahi.

Agar

ω

pehle se closed hai, yaani

d ω = 0

, to Stokes kya kehta hai?

Tab

\int_{\partial M} ω = 0

har region

M

ke liye. Kisi bhi boundary ke around circulation/flux vanish hoti hai — isliye gradient fields (

ω = df

, so

d ω = d^{2} f = 0

) loops ke around zero net work karte hain.

FTC ka kya hoga agar

a = b

ho (ek degenerate interval)?

Dono sides

0

hain:

\int_{a}^{a} f^{'} d x = 0

aur

f (a) - f (a) = 0

. Boundary

{a} - {a}

khud cancel ho jaati hai — ek point dono signs ke saath count kiya gaya. Consistent, bas empty.

Parent ke worked example mein (

F = (x, y)

unit disk par), dono computations identical

2 π

kyun dete hain?

Dono flux form ke liye same Stokes identity hain:

\iint_{M} (\nabla \cdot F) d A = \iint_{M} 2 d A = 2 π

(inside reading) equals

\oint_{\partial M} F \cdot \overset{n}{^} d s = \oint 1 d s = 2 π

(boundary reading). Ek equation, do readings.

Agar

F

M

ke andar koi singularity hai (jaise koi point par blow up kare), to kya main Stokes directly apply kar sakta hoon?

Nahi — theorem ko

ω

M

par smoothness chahiye. Singularity ka matlab hai

d ω

wahan defined nahi; tumhe bad point excise karna hoga (

M

ko puncture karo), jisse ek naya inner boundary add hota hai aur ek nonzero residual bach sakta hai. Yeh index/winding-number phenomena ka seed hai.

Kya identity ek million dimension mein bhi hold karta hai?

Haan — "generalized" ka matlab hai koi bhi dimension

k

. Ek

k

-manifold lo aur ek

(k - 1)

-form lo;

\int_{\partial M} ω = \int_{M} d ω

unchanged hai. FTC, Green, Stokes, Divergence sirf iske pehle chaar instances hain.

Connections

Unification — all three theorems as generalized Stokes — woh parent jise yeh bank test karta hai
Green's Theorem, Stokes' Theorem (curl), Divergence Theorem, Fundamental Theorem of Calculus — chaar costumes
Differential Forms and the Wedge Product aur Exterior Derivative — machinery
d squared equals zero — deepest trap source
Orientation and Induced Boundary Orientation — jahan signs rehte hain