4.7.16 · Maths › Partial Differential Equations
Ek PDE (jaise heat ya Laplace equation) describe karta hai ki ek region Ω ke andar kya ho raha hai.
Lekin sirf andar ki information se ek unique solution pin down nahi hota — infinitely many functions ek hi PDE satisfy kar sakti hain. Boundary conditions batate hain ki edge ∂ Ω par kya ho raha hai, aur wahi ek physical solution select karta hai.
Do natural tarah ki edge information:
Dirichlet : aap boundary par unknown ki value fix karte ho (jaise "rod ke dono ends 0 ∘ C par rakhe gaye hain").
Neumann : aap boundary ke across derivative (flux) fix karte ho (jaise "ends insulated hain, koi heat bahar nahi jati").
Definition Dirichlet boundary condition
Boundary par solution u ki value specify karo:
u ( x ) = g ( x ) , x ∈ ∂ Ω.
Ek Dirichlet condition edge par unknown ko khud prescribe karta hai.
Agar g ≡ 0 ho toh isse homogeneous Dirichlet kehte hain.
Definition Neumann boundary condition
Boundary par u ki normal derivative specify karo:
∂ n ∂ u ( x ) = ∇ u ⋅ n ^ = h ( x ) , x ∈ ∂ Ω ,
jahan n ^ outward unit normal hai. Ek Neumann condition edge ke through flux prescribe karta hai.
Agar h ≡ 0 ho (homogeneous Neumann) toh boundary insulated / no-flux hai.
Intuition Normal derivative kyun, koi bhi derivative kyun nahi?
Physically, jo cheez region se bahar jaati ya andar aati hai woh boundary ke across flow hoti hai. ∇ u ka component jo boundary ke saath saath chalta hai woh sirf heat ko sideways slide karta hai; sirf woh component jo boundary ke perpendicular hai (∇ u ⋅ n ^ ) usse cross karta hai. Isliye Neumann normal derivative use karta hai.
Worked example Sirf PDE kaafi nahi kyun — ek chhoti si derivation
Sabse simple steady-state 1D Laplace equation lo [ 0 , L ] par:
u ′′ ( x ) = 0.
Step 1 — ek baar integrate karo. u ′ ( x ) = A . Kyun? Ek constant ki derivative zero hoti hai, isliye u ′′ = 0 force karta hai ki u ′ constant ho.
Step 2 — dobara integrate karo. u ( x ) = A x + B . Kyun? Constant A ka antiderivative A x hota hai, plus constant B .
Step 3 — freedom count karo. Do unknown constants A , B hain. PDE ne humein ek family di, single answer nahi . Hume exactly do extra facts chahiye — boundary conditions — A aur B fix karne ke liye.
Dirichlet u ( 0 ) = α , u ( L ) = β : deta hai B = α aur A = ( β − α ) / L . Unique solution u = α + L β − α x .
Neumann u ′ ( 0 ) = p , u ′ ( L ) = q : lekin u ′ = A constant hai, isliye consistency ke liye p = q chahiye, aur phir B free rehta hai — solution unique hai sirf ek additive constant tak.
Intuition Neumann ka "loose constant" koi bug nahi hai
Agar sirf fluxes fix hain, toh u ka absolute level undetermined rehta hai — jaise potential energy measure karna: sirf differences matter karte hain. Aap u ko kisi bhi constant se shift kar sako aur derivatives (physics) nahi badlenge.
Jab aap heat equation u t = k u xx ko [ 0 , L ] par separation se solve karte ho, toh X ′′ + λ X = 0 milta hai aur boundary condition allowed modes decide karta hai .
Intuition Pattern yaad karo
Dirichlet → sines (ends par vanish karte hain). Neumann → cosines (ends par flat slope, constant include karo). Yeh mirror karta hai ki har function naturally apni condition kaise satisfy karta hai.
Worked example Insulated rod ek uniform temperature par pahuncha
Heat equation, dono ends insulated (Neumann), initial temp f ( x ) .
Solution: u ( x , t ) = 2 a 0 + ∑ n ≥ 1 a n cos L nπ x e − k ( nπ / L ) 2 t .
Jab t → ∞ , har n ≥ 1 term decay karta hai; sirf 2 a 0 bachta hai.
Yeh step kyun? Constant mode mein λ 0 = 0 hai, isliye e − k ⋅ 0 ⋅ t = 1 — yeh kabhi decay nahi karta. Rod average initial temperature 2 a 0 = L 1 ∫ 0 L f d x par settle karta hai. Energy conserved hoti hai kyunki koi heat escape nahi hoti — exactly wahi jo "insulated" ka matlab hai.
Worked example Mixed (Robin-ish) aur physical reading
Ends 0 ∘ par rakhe gaye (Dirichlet) ⇒ heat bahar ja sakti hai ⇒ rod t → ∞ par everywhere 0 tak cool hoti hai.
Yeh step kyun? Koi constant mode survive nahi karta (n ≥ 1 sirf), isliye u → 0 . Upar wale insulated case se compare karo — sirf boundary condition decide karta hai ki rod 0 tak cool hogi ya apne average tak.
Common mistake Common errors ko steel-man karo
Galti 1: "Neumann ka matlab hai ki boundary par u = 0 ."
Kyun sahi lagta hai: dono "boundary = 0" type statements hain.
Fix: Neumann slope ∂ u / ∂ n fix karta hai, value nahi. Insulated ka matlab hai ∂ u / ∂ n = 0 , flux vanish hoti hai, temperature nahi .
Galti 2: Neumann ke liye n = 0 mode bhool jaana.
Kyun sahi lagta hai: Dirichlet ke liye aap sahi taur par n = 0 drop karte ho, aur wahi habit copy ho jaati hai.
Fix: X 0 = cos 0 = 1 satisfy karta hai X ′ ( 0 ) = X ′ ( L ) = 0 — yeh ek valid nontrivial mode hai. Isse drop karne par average-temperature ki physics kho jaati hai.
Galti 3: 2D/3D mein ∂ u / ∂ n ki jagah ∂ u / ∂ x use karna.
Kyun sahi lagta hai: 1D mein outward normal sirf ± x ^ hai, isliye dono agree karte hain (sign tak).
Fix: Higher dimensions mein aapko outward unit normal ke saath dot karna padta hai; x = 0 par outward normal − x ^ direction mein point karta hai, isliye ∂ u / ∂ n = − u x ( 0 ) .
Galti 4: Pure Neumann ke liye unique solution expect karna.
Kyun sahi lagta hai: Dirichlet problems unique hote hain, isliye aap assume karte ho ki sab hote hain.
Fix: Pure-Neumann solutions unique hote hain sirf ek additive constant tak , aur exist karne ke liye compatibility condition ∮ ∂ Ω h d S = 0 chahiye (steady state ke liye net flux balance hona chahiye).
Recall Feynman: ek 12-saal ke bacche ko explain karo
Ek metal rod imagine karo. Dirichlet rule aise hai jaise kehna "main dono ends pakad raha hoon aur force kar raha hoon ki exactly itni garmi ho." Neumann rule aise hai jaise kehna "main ends ko mote kambal mein wrap kar raha hoon taaki koi heat ends se bahar na nikle (slope = 0), ya exactly itni heat bahar leak hone do." Equation heat ko batata hai ki andar kaise move karo; boundary rule batata hai ki edges par kya allowed hai. Edge rule ke bina zillions of possible answers hain — edge rule asli wala chunti hai.
Mnemonic Kaun kaun sa hai yaad karo
D irichlet = D ata/D isplacement → aap value dete ho → socho D for "Darwaza is height par rakha gaya hai."
N eumann = N ormal derivative → aap flow dete ho → socho N for "No-flow / slope ka Nudge."
Pattern: Di richlet → Si ne, N eumann → N ...con stant cosine (Neumann constant rakhta hai).
Dirichlet condition kaun si quantity fix karta hai? Neumann condition?
Neumann mein tangential derivative ki jagah normal derivative kyun use hoti hai?
Kaun si condition sine series deti hai aur kaun si cosine series, aur kyun?
Pure-Neumann solution ek constant tak hi unique kyun hota hai?
Dirichlet condition boundary par kaun si quantity fix karta hai? u ki value khud: u = g on ∂ Ω .
Neumann condition boundary par kaun si quantity fix karta hai? Normal derivative / flux : ∂ u / ∂ n = h on ∂ Ω .
Neumann normal (tangential nahi) derivative kyun use karta hai? ∇ u ka sirf woh component jo boundary ke perpendicular hai woh flow represent karta hai across it; tangential flow andar hi rehti hai.
Homogeneous Neumann (∂ u / ∂ n = 0 ) ka physical matlab kya hai? Insulated / no-flux boundary — kuch bhi edge cross nahi karta.
[ 0 , L ] par Dirichlet kaun se eigenfunctions deta hai?X n = sin ( nπ x / L ) , n = 1 , 2 , … (sine series), jahan λ n = ( nπ / L ) 2 .
[ 0 , L ] par Neumann kaun se eigenfunctions deta hai?X n = cos ( nπ x / L ) , n = 0 , 1 , 2 , … (cosine series, constant n = 0 include hai).
Neumann ke liye n = 0 mode kyun rakha jaata hai lekin Dirichlet ke liye drop kiya jaata hai? cos 0 = 1 satisfy karta hai X ′ = 0 dono ends par (valid hai), lekin sin 0 = 0 trivial zero solution deta hai.
Initial f ( x ) wale insulated rod ka long-run temperature kya hoga? Average L 1 ∫ 0 L f d x — sirf non-decaying λ 0 = 0 constant mode survive karta hai.
Pure-Neumann solution non-unique kyun hota hai? Sirf derivatives constrained hain; koi bhi constant add karne se saari normal derivatives unchanged rehti hain.
Compatibility condition for a steady pure-Neumann problem? Net flux vanish hona chahiye: ∮ ∂ Ω h d S = 0 (aur Laplace's equation ke liye ∫ Ω f = ∮ h ).
Separation of Variables — boundary conditions eigenfunctions select karte hain.
Heat Equation — Dirichlet → 0 tak cooling, Neumann → average par settle.
Laplace Equation — Neumann ko compatibility (zero-net-flux) condition chahiye.
Sturm-Liouville Theory — dono conditions operator ko self-adjoint banate hain, real λ n aur orthogonal modes milte hain.
Fourier Series — Dirichlet ↔ sine series, Neumann ↔ cosine series.
Robin Boundary Conditions — mixed α u + β ∂ u / ∂ n = g generalisation.
Boundary conditions on edge
Neumann: fix normal derivative
Homogeneous case g=0 or h=0