4.3.15 · D3 · Maths › Calculus III — Sequences & Series › Term-by-term differentiation and integration of power series
Intuition Yeh page kis kaam ki hai
Parent note ne prove kiya tha ki kyun aap ek power series ko term by term differentiate aur integrate kar sakte ho, aur kyun radius survive karta hai (uske §2 mein R new = R derive kiya gaya hai Cauchy–Hadamard theorem aur limit n 1/ n → 1 se). Yeh page ulta kaam karta hai: woh theorem ko har us situation se guzaarta hai jo aapko kabhi bhi milegi — ek positive series, ek alternating series, ek series jo ek endpoint gain karti hai, ek jo endpoint lose karti hai, ek shifted centre c = 0 , ek degenerate case, ek real-world word problem, aur ek nasty exam twist. Kuch bhi "figure it out karna hai" wali category mein nahi chhoda gaya.
Kuch bhi compute karne se pehle, main char tools ke naam rakh deta hoon taaki koi bhi symbol bina wajah na aaye.
Definition Char moves, simple shabdon mein
∑ n = 0 ∞ a n ( x − c ) n ka matlab hai: infinitely many terms add karo; n -vaan term ek number a n (the coefficient ) times ( x − c ) raised to the power n hai. Number c centre hai — woh point jiske around series "bani" hai.
Differentiate (d x d ) = "slope nikalo." Ek term a n ( x − c ) n ka slope hai n a n ( x − c ) n − 1 : power ko neeche front mein laao, power ko ek se kam karo.
Integrate (∫ ) = "running area nikalo." Ek term ke liye yeh hai n + 1 a n ( x − c ) n + 1 : power ko ek se badhao, naye power se divide karo.
Radius of convergence R = "safe zone" ( c − R , c + R ) ki half-width, jahan infinite sum ek real finite number hoti hai. Dekho Power series and radius of convergence .
Definition Radius-survival fact jis par hum rely karte hain
Is poore page mein hum ek result baar baar use karenge jo parent note ne establish kiya: term-by-term differentiation ya integration radius of convergence R ko unchanged rehne deta hai; sirf do endpoints x = c ± R apna verdict badal sakti hain. Parent ne yeh Cauchy–Hadamard theorem se n 1/ n → 1 use karke prove kiya. Hum ise neeche "radius-survival" bolenge taaki aapko yeh jaanne ke liye page chhodni na pade.
Definition Do alag endpoint tools — inhe alag rakho
Jab ek series kisi endpoint par land karti hai, do alag facts kaam karte hain, aur students inhe aksar mix kar dete hain:
Alternating series test (AST): ek convergence test hai. Agar terms alternate in sign hain aur unka size monotonically 0 ki taraf shrink karta hai, toh series converges karti hai. Yeh batata hai ki sum koi finite number hai — lekin kaun sa number nahi batata.
Abel's theorem : ek identification tool hai. Yeh maan ke chalo ki series endpoint par pehle se converge kar rahi hai (AST yeh supply karta hai), Abel kehta hai ki uska value function ki limit ke barabar hai jab x andar se endpoint ki taraf approach karta hai. Yeh batata hai ki woh number kaun sa hai.
Toh endpoint par workflow hamesha do steps ka hota hai: (1) AST — kya yeh converge karta hai? (2) Abel — agar haan, toh yeh kya equals karta hai?
Neeche har example tagged hai un cell(s) ke saath jo woh cover karta hai. Goal: koi cell khaali na rahe. Note karo two-sided rows: har "endpoint" cell check hoti hai dono x = c + R aur x = c − R par.
Cell
Jo scenario yeh stress-test karta hai
Covered by
A
Differentiate — sab coefficients positive
Ex 1
B
Integrate — series gains the right endpoint x = + 1
Ex 2
B′
Integrate — the left endpoint x = − 1 (opposite sign)
Ex 2, step 4
C
Integrate — series only conditionally convergent at endpoint
Ex 3
C′
Integrate — the left endpoint x = − 1 diverges
Ex 3, step 4
D
Differentiate — series loses an endpoint (dono sides)
Ex 4
E
Shifted centre c = 0 (zero par centred nahi)
Ex 5
F
Degenerate / limiting: woh series jo khud ko return karti hai
Ex 6
G
Real-world word problem (physics)
Ex 7
H
Exam twist: ek unknown series ko derivative pehchan ke sum karo
Ex 8
Upar wali figure map hai: horizontal line x -axis hai, shaded band safe zone ( c − R , c + R ) hai, aur do dots endpoints hain — wahi jagah jahan differentiate ya integrate karna verdict flip kar sakta hai. Dono dots ko independently test karna hoga.
Worked example Example 1 —
1 − x 1 se ( 1 − x ) 2 1 tak aur aage
Geometric series 1 − x 1 = n = 0 ∑ ∞ x n se shuru karo, ∣ x ∣ < 1 ke liye. n = 1 ∑ ∞ n 2 x n ka closed form nikalo.
Forecast: padhne se pehle guess karo — ek baar differentiate karne se ( 1 − x ) 2 1 mila; doosri differentiation (multiply-by-x trick ke saath) ek rational function deni chahiye jiske denominator mein cube ho. Apna guess likhkaro.
Ek baar differentiate karo. d x d 1 − x 1 = ( 1 − x ) 2 1 = ∑ n = 1 ∞ n x n − 1 .
Yeh step kyun? Theorem har term x n ko n x n − 1 banane deta hai; n = 0 term ek constant hai isliye woh vanish ho jaati hai, yahi wajah hai ki sum ab n = 1 se shuru hota hai.
x se multiply karo taaki powers wapas line up ho jayein: ( 1 − x ) 2 x = ∑ n = 1 ∞ n x n .
Yeh step kyun? Humein eventually ∑ n 2 x n chahiye; exponent ko n (na ki n − 1 ) ke barabar rakhne ka matlab hai ki अगली differentiation humein ek aur factor of n cleanly de degi.
Phir se differentiate karo. d x d ( 1 − x ) 2 x = ( 1 − x ) 3 1 + x = ∑ n = 1 ∞ n 2 x n − 1 .
Yeh step kyun? n x n differentiate karne se n ⋅ n x n − 1 = n 2 x n − 1 milta hai — woh doosra factor of n jo humein chahiye tha.
Ek baar phir x se multiply karo. n = 1 ∑ ∞ n 2 x n = ( 1 − x ) 3 x ( 1 + x ) .
Verify: x = 2 1 daalo. Closed form: ( 2 1 ) 3 2 1 ⋅ 2 3 = 1/8 3/4 = 6 . Partial sum ∑ n = 1 6 n 2 ( 2 1 ) n = 0.5 + 1 + 1.125 + 1 + 0.78125 + 0.5625 = 4.968 … , 6 ki taraf badh raha hai. ✓ Radius R = 1 par unchanged (har differentiation ne ise rakha — radius-survival).
Worked example Example 2 —
arctan series aur Leibniz ka π
arctan x ke liye series derive karo aur dikhao ki dono endpoints x = 1 aur x = − 1 par kya hota hai.
Forecast: base series 1 + x 2 1 x = ± 1 par diverge karti hai (terms ± 1 kabhi shrink nahi hote). Integrate karne ke baad, kya aap expect karte ho ki x = ± 1 phir bhi fail karein, ya achanak kaam karne lagein? Guess karo.
Geometric pattern se match karo. 1 + x 2 1 = 1 − ( − x 2 ) 1 = ∑ n = 0 ∞ ( − x 2 ) n = ∑ n = 0 ∞ ( − 1 ) n x 2 n , valid jab ∣ − x 2 ∣ < 1 , yaani ∣ x ∣ < 1 .
Yeh step kyun? Geometric series ke "x " ki jagah − x 2 substitute karna 1 + x 2 1 ke liye series paane ka sabse sasta tarika hai — abhi koi calculus ki zaroorat nahi.
0 se x tak integrate karo , term by term: arctan x = ∫ 0 x 1 + t 2 d t = n = 0 ∑ ∞ 2 n + 1 ( − 1 ) n x 2 n + 1 .
Yeh step kyun? ∫ 0 x t 2 n d t = 2 n + 1 x 2 n + 1 , aur lower limit 0 constant ko auto-fix kar deta hai kyunki arctan 0 = 0 .
Right endpoint x = 1 — do-step. (1) AST: terms ban jaate hain 1 − 3 1 + 5 1 − 7 1 + ⋯ , jo alternate karte hain aur 0 ki taraf shrink karte hain, toh alternating series test se series converges . (2) Abel: kyunki yeh converges karta hai, Abel's theorem sum ko identify karta hai lim x → 1 − arctan x = arctan 1 = 4 π ke roop mein.
Yeh step kyun? Dono tools ko alag rakho: AST convergence establish karta hai , Abel value pin karta hai . 2 n + 1 se divide karne ne terms ko itna shrink kar diya — integrate karne se right endpoint gain hua.
Left endpoint x = − 1 — opposite sign, alag check karo. x = − 1 daalo: odd power x 2 n + 1 = − 1 deta hai ∑ 2 n + 1 ( − 1 ) n ( − 1 ) = − ( 1 − 3 1 + 5 1 − ⋯ ) . (1) AST: same alternating, shrinking terms → converges . (2) Abel: sum = arctan ( − 1 ) = − 4 π .
Yeh step kyun? Theorem demand karta hai ki har boundary ko apne aap test kiya jaaye. Yahan arctan odd hai, isliye left endpoint right ka mirror hai — lekin yeh aap tabhi jaante ho jab check karte ho , assume karke nahi.
Verify: 4 ∑ n = 0 5000 2 n + 1 ( − 1 ) n ≈ 3.1414 , π ≈ 3.14159 ki taraf aa raha hai (dheere, oscillate karte hue). Aur x = − 1 par: ∑ n = 0 5000 2 n + 1 ( − 1 ) n ( − 1 ) ≈ − 0.7854 ≈ − 4 π . ✓ Radius ab bhi R = 1 .
Figure dikhata hai kyun endpoints gain hote hain: base series ke terms (yellow) hamesha height 1 par baithe hain, lekin integrate karne ke baad, naye terms (blue) 2 n + 1 1 → 0 ki tarah decay karte hain — same picture x = 1 aur x = − 1 dono par.
Worked example Example 3 —
ln ( 1 + x ) aur alternating harmonic series
1 + x 1 = ∑ n = 0 ∞ ( − 1 ) n x n se, ln ( 1 + x ) banao aur dono endpoints x = 1 aur x = − 1 par evaluate karo.
Forecast: kya endpoint sums absolutely converge karenge (freely rearrange kar sako) ya sirf conditionally (order matters)? Aur kya dono sides same behave karengi? Steps 3–4 se pehle decide karo.
Base series ko integrate karo 0 → x : ln ( 1 + x ) = ∑ n = 0 ∞ n + 1 ( − 1 ) n x n + 1 = x − 2 x 2 + 3 x 3 − ⋯ .
Yeh step kyun? ∫ 0 x t n d t = n + 1 x n + 1 ; constant 0 hai kyunki ln ( 1 + 0 ) = ln 1 = 0 .
Safe zone ∣ x ∣ < 1 hai , toh test karne ke liye dono endpoints hain x = 1 aur x = − 1 .
Yeh step kyun? Base series ka R = 1 hai; integrate karne se R = 1 rehta hai (radius-survival), isliye boundaries exactly ± 1 hain.
Right endpoint x = 1 — do-step. (1) AST: 1 − 2 1 + 3 1 − 4 1 + ⋯ alternate karta hai aur 0 ki taraf shrink karta hai → converges . (2) Abel: sum = lim x → 1 − ln ( 1 + x ) = ln 2 . Absolute version 1 + 2 1 + 3 1 + ⋯ harmonic series hai, jo diverges — isliye right endpoint sirf conditionally convergent hai.
Yeh step kyun? AST (converges) ko absolute convergence (fails) se alag karna exactly wahi hai jo "conditional" ka matlab hai.
Left endpoint x = − 1 — alag check karo, aur yeh FAIL karta hai. x = − 1 daalo: x n + 1 = ( − 1 ) n + 1 deta hai ∑ n + 1 ( − 1 ) n ( − 1 ) n + 1 = ∑ n + 1 ( − 1 ) 2 n + 1 = − ∑ n = 0 ∞ n + 1 1 — negative harmonic series, jo − ∞ tak diverge karti hai . Yeh ln ( 1 + ( − 1 )) = ln 0 = − ∞ se match karta hai.
Yeh step kyun? Yahi crucial asymmetry hai: right endpoint gain hua lekin left endpoint lost ho gaya. Aap yeh kabhi nahi dekhte agar sirf x = + 1 test karo. Hamesha dono karo.
Verify: ∑ n = 0 9999 n + 1 ( − 1 ) n ≈ 0.69310 , aur ln 2 ≈ 0.69315 . Left side ∑ n = 0 9999 n + 1 1 ≈ 9.79 aur abhi bhi badh raha hai (diverges). ✓ Radius R = 1 .
Worked example Example 4 — jahan differentiate karna edge ko tod deta hai
Sochte hain f ( x ) = n = 1 ∑ ∞ n 2 x n . Iska radius R = 1 hai, aur dono x = 1 aur x = − 1 par yeh converge karta hai (x = 1 par yeh ∑ n 2 1 = 6 π 2 hai; x = − 1 par yeh ∑ n 2 ( − 1 ) n hai, absolutely convergent). Differentiate karne ke baad endpoints ka kya hoga?
Forecast: coefficients n 2 1 hain (fast decay, dono ± 1 par kaam karta hai). Differentiate karne se n se multiply hota hai. Kya aap predict karte ho ki x = 1 aur x = − 1 survive karenge?
Term by term differentiate karo: f ′ ( x ) = ∑ n = 1 ∞ n 2 n x n − 1 = ∑ n = 1 ∞ n x n − 1 .
Yeh step kyun? d x d n 2 x n = n 2 n x n − 1 = n x n − 1 : differentiate karne se aaya n ka factor denominator mein n ki ek power ko cancel kar gaya, ab sirf n 1 jaisa decay bacha.
Right endpoint x = 1 : ∑ n = 1 ∞ n 1 — harmonic series, jo diverges karti hai. Right endpoint lost.
Yeh step kyun? Differentiate karne se pehle ∑ n 2 1 converge karta tha; baad mein, ∑ n 1 diverge karta hai.
Left endpoint x = − 1 — alag check karo. Yahan x n − 1 = ( − 1 ) n − 1 deta hai ∑ n = 1 ∞ n ( − 1 ) n − 1 = 1 − 2 1 + 3 1 − ⋯ , jo AST se converges (to ln 2 ). Toh left endpoint survive karta hai chahe right wala mar gaya.
Yeh step kyun? Yeh sabse sharp reminder hai: dono endpoints ke opposite fate ho sakte hain. Differentiation ne x = 1 lose kiya lekin x = − 1 rakh liya. Sirf ek side test karna galat conclusion deta.
Verify: derivative closed form mein − x l n ( 1 − x ) hai; x = 1 − ke paas yeh − ln ( 1 − x ) → + ∞ ki tarah blow up karta hai (right endpoint gone), jabki x = − 1 par yeh − − 1 l n 2 = ln 2 ≈ 0.693 hai (finite, left endpoint kept). Numerically x = 0.99 par: ∑ n = 1 2000 n 0.9 9 n − 1 ≈ 4.20 , aur − ln ( 0.01 ) /0.99 ≈ 4.65 — badh raha hai. ✓ Radius ab bhi R = 1 .
Common mistake Steel-man: "Endpoint lose karna matlab radius shrink hua!"
Kyun sahi lagta hai: series kahin kahin kaam karna band kar di jahan pehle kaam karti thi.
Fix: open interval ( − 1 , 1 ) ab bhi perfectly converge karta hai. Sirf single boundary point x = 1 ka verdict badla (aur x = − 1 ka toh badla bhi nahi!). Radius = open interval ki half-width, aur woh untouched hai. "Endpoint ≠ radius" yahi poora moral hai DIRT ka (parent mnemonic).
Worked example Example 5 —
c = 2 par centred series
Maano g ( x ) = n = 0 ∑ ∞ 3 n ( x − 2 ) n . g ′ ( x ) ko series mein aur closed form mein nikalo, aur iska safe zone batao.
Forecast: geometric pattern ka "x " ab 3 x − 2 hai. Centre 2 hai, aur R aata hai 3 x − 2 < 1 se. R guess karo.
Geometric shape pehchano. u = 3 x − 2 rakho, g = ∑ u n = 1 − u 1 = 1 − 3 x − 2 1 = 5 − x 3 , valid ∣ u ∣ < 1 ⇒ ∣ x − 2∣ < 3 ke liye, toh c = 2 , R = 3 .
Yeh step kyun? u naam dene se shift invisible ho jaata hai — yeh ab bhi sirf ek geometric series hai disguise mein.
Series differentiate karo. g ′ ( x ) = ∑ n = 1 ∞ 3 n n ( x − 2 ) n − 1 .
Yeh step kyun? Theorem centre-agnostic hai: d x d ( x − 2 ) n = n ( x − 2 ) n − 1 bilkul waise hi jaise c zero hota.
Cross-check ke liye closed form differentiate karo. g ′ ( x ) = d x d 5 − x 3 = ( 5 − x ) 2 3 .
Yeh step kyun? Do independent routes agree karne chahiye — isi se aap term-by-term kaam par trust karte ho.
Verify: x = 3 par (andar, kyunki ∣3 − 2∣ = 1 < 3 ): series ∑ n = 1 20 3 n n ⋅ 1 n − 1 ≈ 0.75 ; closed form ( 5 − 3 ) 2 3 = 4 3 = 0.75 . ✓ Centre 2 , radius 3 dono differentiation se unchanged. Yahan endpoints x = − 1 aur x = 5 hain; dono diverge karte hain (geometric terms ± 1 shrink nahi hote), dono sides par.
Worked example Example 6 — woh series jo apni khud ki derivative ke barabar hai
Dikhao ki E ( x ) = n = 0 ∑ ∞ n ! x n satisfy karta hai E ′ = E , aur note karo ki yeh limiting/degenerate case kyun hai jahan kuch bhi nahi badlta.
Forecast: exponential Taylor and Maclaurin series ka R = ∞ hai (koi endpoints nahi hote). Predict karo ki E ′ kaisi dikhegi.
Differentiate karo. E ′ ( x ) = ∑ n = 1 ∞ n ! n x n − 1 = ∑ n = 1 ∞ ( n − 1 )! x n − 1 .
Yeh step kyun? n ! n = ( n − 1 )! 1 — differentiate karne se aaya n ka factor factorial ke top ko cancel kar deta hai.
Re-index karo m = n − 1 : E ′ ( x ) = ∑ m = 0 ∞ m ! x m = E ( x ) .
Yeh step kyun? Index shift karne se pata chalta hai ki differentiated series original ke identical hai.
Degeneracy note karo. Yahan R = ∞ hai, toh safe zone poori line hai aur gain ya lose karne ke liye koi endpoints nahi hain — na + ∞ na − ∞ ek real boundary point hai. Yeh ek cell hai jahan "endpoint caveat" vacuously satisfied hai.
Verify: x = 1 par, ∑ n = 0 10 n ! 1 ≈ 2.71828 , e se match karta hai. Derivative sum construction se iske barabar hai. ✓
Worked example Example 7 — capacitor charging, term by term (units ke saath)
Ek RC circuit mein ek capacitor charge hota hai aur uska voltage hai V ( t ) = V 0 ( 1 − e − t / τ ) , jahan V 0 volts (V) mein hai, t seconds (s) mein, aur τ (time constant ) bhi seconds mein. Current hai I ( t ) = C V ′ ( t ) jahan C capacitance farads (F) mein hai. V ( t ) ko t mein power series ke roop mein likho aur ise differentiate karke I ( t ) nikalo, units check karo.
Forecast: e − t / τ t = 0 ke paas roughly 1 − τ t hai, toh V ≈ V 0 τ t (pehle linear ramp). I ka leading term predict karo.
Exponential expand karo. e − t / τ = ∑ n = 0 ∞ n ! ( − t / τ ) n , toh V ( t ) = V 0 ( 1 − ∑ n = 0 ∞ n ! τ n ( − 1 ) n t n ) = V 0 ∑ n = 1 ∞ n ! τ n ( − 1 ) n − 1 t n .
Yeh step kyun? e − t / τ ka n = 0 term 1 hai, aur 1 − 1 = 0 , isliye series n = 1 se start hoti hai: ek clean ramp bina kisi constant offset ke — V ( 0 ) = 0 se match karta hai.
Term by term differentiate karo. V ′ ( t ) = V 0 ∑ n = 1 ∞ n ! τ n ( − 1 ) n − 1 n t n − 1 = V 0 ∑ n = 1 ∞ ( n − 1 )! τ n ( − 1 ) n − 1 t n − 1 = τ V 0 e − t / τ .
Yeh step kyun? Wahi n ! n cancellation jaise Example 6 mein; re-summing se compact closed form milta hai.
C se multiply karo. I ( t ) = C V ′ ( t ) = τ C V 0 e − t / τ , aur t = 0 par: I ( 0 ) = τ C V 0 .
Yeh step kyun? Yeh peak initial current hai; term-by-term differentiation ne humein poora current curve de diya.
Verify (units). τ C V 0 ke units hain s F ⋅ V . Kyunki 1 F = 1 C / V (coulomb per volt), s F ⋅ V = s C = A (amperes). ✓ Current amps mein — dimensionally correct. Numerically V 0 = 5 V, τ = 2 s, C = 1 F, t = 1 s ke saath: I = 2 5 e − 0.5 ≈ 1.516 A.
Worked example Example 8 — ek mystery series ko derivative pehchaan ke sum karo
S = n = 1 ∑ ∞ 2 n n closed form mein evaluate karo.
Forecast: n upar hai — yeh ek tell-tale sign hai ki koi differentiation ne ise banaya. Guess karo ki S ek chota integer hai ya nahi.
Parent series dhundho. Yaad karo ∑ n = 1 ∞ n x n − 1 = ( 1 − x ) 2 1 (Example 1, step 1).
Yeh step kyun? 2 n n mein n ka factor chillata hai "main ∑ x n differentiate karne se aaya hoon."
x se multiply karo exponent match karne ke liye: ∑ n = 1 ∞ n x n = ( 1 − x ) 2 x .
Yeh step kyun? Humara target x n wala hai (yaani x = 2 1 toh x n = 1/ 2 n ), x n − 1 nahi.
x = 2 1 daalo (safely R = 1 ke andar): S = ∑ n = 1 ∞ n ( 2 1 ) n = ( 1 − 2 1 ) 2 2 1 = 4 1 2 1 = 2 .
Yeh step kyun? Kyunki ∣ x ∣ = 2 1 < 1 safe zone ke strictly andar hai, koi endpoint subtlety nahi aati — term-by-term-derived closed form valid hai, aur yeh final answer deta hai S = 2 .
Verify: partial sum ∑ n = 1 20 2 n n ≈ 1.99998 , 2 ki taraf converge karta hai. ✓ Final closed form S = 2 hai.
Recall Aapke liye kaunsa cell sabse mushkil tha?
Cell D (differentiation losing an endpoint) vs Cell B (integration gaining one) — kya aap ek sentence mein reason bata sakte ho ki har ek mein aisa kyun hota hai, aur kyun aapko dono sides check karni chahiye?
Losing: differentiate karne se coefficients n se multiply hote hain, decay weak ho jaati hai, isliye ek borderline endpoint toot sakta hai. Gaining: integrate karne se n + 1 se divide hota hai, decay strong ho jaati hai, isliye ek borderline endpoint converge karna shuru kar sakta hai. ::: Aur Ex 3/Ex 4 dikhate hain ki dono ends disagree bhi kar sakte hain — isliye x = c + R aur x = c − R ko alag alag, har baar test karo.
Recall Scenario matrix, memory se
Saare cells A–H ke naam batao aur woh endpoint rule jo woh enforce karte hain.
A differentiate-positive; B/B′ integrate-gains-endpoint (dono sides); C/C′ integrate-conditional (right gained, left lost); D differentiate-loses-endpoint (right lost, left kept); E shifted-centre; F self-returning/degenerate; G word-problem; H exam-twist. ::: Har ek mein, radius R unchanged raha — sirf endpoints ne kabhi verdict flip kiya, aur dono mein se har ek endpoint ko apne aap test karna pada.
DIRT (parent se): D ifferentiate/I ntegrate R adius ko rakhte hain, T est endpoints again — dono endpoints, exactly yahi saare cells ne confirm kiya.
scenario matrix cells A to H
differentiate cells A D E H
integrate strengthens decay
differentiate weakens decay
test both sides separately