4.7.5 · Maths › Partial Differential Equations
Intuition Bada picture (KYUN)
Koi bhi "reasonable" periodic function [ − L , L ] par sines aur cosines ko stack karke banai ja sakti hai jo harmonically related frequencies rakhte hain. Sounds ki tarah socho: ek complex tone bas kaafi saare pure tones ka addition hai. Fourier coefficients batate hain ki har pure tone kitna present hai. Woh magic jo unhe dhundhna easy banata hai woh hai orthogonality — alag frequencies ke sines aur cosines integrate karne par "overlap" nahi karte, isliye har ek ko cleanly isolate kiya ja sakta hai.
Definition Full Fourier series
Ek function f ( x ) ke liye [ − L , L ] par (period 2 L ), full Fourier series hai
f ( x ) = 2 a 0 + ∑ n = 1 ∞ [ a n cos L nπ x + b n sin L nπ x ] .
"Full" matlab hum both cosine and sine terms rakhte hain (ek pure sine ya pure cosine half-range series ke unlike).
KYA chahiye: a 0 , a n , b n ke liye formulas.
KYUN yeh basis functions: cos L nπ x aur sin L nπ x sabke period 2 L ko divide karte hain, isliye unka koi bhi sum 2 L -periodic hoga — f se match karta hua.
Sab kuch in integrals par depend karta hai ek full period [ − L , L ] par. Maano m , n positive integers hain.
Ek ko derive kaise karein (cosine–cosine case). Product-to-sum identity use karo
cos A cos B = 2 1 [ cos ( A − B ) + cos ( A + B ) ] .
Toh A = L mπ x , B = L nπ x ke saath:
∫ − L L cos L mπ x cos L nπ x d x = 2 1 ∫ − L L cos L ( m − n ) π x d x + 2 1 ∫ − L L cos L ( m + n ) π x d x .
Yeh step kyun? Product ko do simple cosines mein split karne se har integral trivial ho jaata hai.
Agar m = n : dono m − n aur m + n nonzero integers k hain, aur
∫ − L L cos L k π x d x = k π L sin L k π x − L L = k π L [ sin k π − sin ( − k π ) ] = 0.
Toh poori cheez 0 hai.
Agar m = n : pehla integrand cos 0 = 1 hai jo 2 1 ⋅ 2 L = L deta hai, aur doosra (k = 2 n = 0 ) 0 deta hai. Total = L . ✔
Sine–sine aur sine–cosine cases bilkul usi tarah follow karte hain using
sin A sin B = 2 1 [ cos ( A − B ) − cos ( A + B )] aur sin A cos B = 2 1 [ sin ( A + B ) + sin ( A − B )] .
Intuition Kyun orthogonality poora trick hai
Functions ko vectors ki tarah treat karo aur ∫ − L L f g d x ko dot product ki tarah. Orthogonality kehta hai basis waves perpendicular hain. Ek vector ka coordinate paane ke liye tum ek axis par project karte ho — yahan tum f ko ek wave par "project" karte ho multiply karke aur integrate karke, aur baaki saari waves 0 contribute karti hain.
Shuru karo yeh assume karke ki series f ki taraf converge karti hai aur hum term by term integrate kar sakte hain:
f ( x ) = 2 a 0 + ∑ n = 1 ∞ [ a n cos L nπ x + b n sin L nπ x ] .
Dono sides ko [ − L , L ] par integrate karo:
∫ − L L f d x = 2 a 0 2 L ∫ − L L 1 d x + ∑ n a n 0 ∫ − L L cos L nπ x d x + ∑ n b n 0 ∫ − L L sin L nπ x d x .
Yeh step kyun? Integrate karne se har oscillating term khatam ho jaata hai (unka ek full period par zero average hota hai), sirf constant bachta hai.
⇒ ∫ − L L f d x = a 0 L ⟹ a 0 = L 1 ∫ − L L f ( x ) d x .
a 0 /2 " kyun, "a 0 " kyun nahi?
Humne constant ko 2 a 0 jaanbujhkar likha taaki formula a n = L 1 ∫ f cos L nπ x d x sabhi n ≥ 0 ke liye kaam kare including n = 0 (kyunki cos 0 = 1 ). Yeh ek bookkeeping convenience hai, koi deep physics nahi.
Dono sides ko cos L mπ x se multiply karo, phir integrate karo:
∫ − L L f cos L mπ x d x = 2 a 0 0 ∫ cos L mπ x d x + ∑ n a n ∫ cos L nπ x cos L mπ x d x + ∑ n b n 0 ∫ sin L nπ x cos L mπ x d x .
Yeh step kyun? Orthogonality se, a n sum mein sirf n = m wala term bachta hai (equals L ); baaqi sab zero ho jaate hain, aur har b n term bhi vanish ho jaata hai.
⇒ ∫ − L L f cos L mπ x d x = a m L ⟹ a m = L 1 ∫ − L L f ( x ) cos L mπ x d x .
sin L mπ x se multiply karo aur integrate karo. Same reasoning: sirf n = m wala sine–sine term bachta hai (= L ):
b m = L 1 ∫ − L L f ( x ) sin L mπ x d x .
Worked example Example 1 — Square wave,
f ( x ) = { − 1 + 1 − L < x < 0 0 < x < L
a 0 : L 1 ∫ − L L f d x = L 1 [ ( − 1 ) L + ( 1 ) L ] = 0 . Kyun? f odd hai, isliye uska average zero hai.
a m : f odd hai aur cos even hai ⇒ f cos odd hai ⇒ symmetric interval par integral = 0 . Isliye saare a m = 0 . Yeh step kyun? Symmetry saara kaam bachaa leti hai.
b m : f sin even hai, isliye
b m = L 1 ∫ − L L f sin L mπ x d x = L 2 ∫ 0 L ( 1 ) sin L mπ x d x = L 2 ⋅ mπ L [ − cos L mπ x ] 0 L = mπ 2 ( 1 − cos mπ ) .
Kyunki cos mπ = ( − 1 ) m : b m = mπ 2 ( 1 − ( − 1 ) m ) = { mπ 4 0 m odd m even .
Isliye f ( x ) = π 4 ∑ k = 0 ∞ 2 k + 1 1 sin L ( 2 k + 1 ) π x .
Worked example Example 2 —
f ( x ) = x on [ − π , π ] (so L = π )
a 0 = π 1 ∫ − π π x d x = 0 (odd). a m = 0 (odd × even).
b m = π 1 ∫ − π π x sin ( m x ) d x = π 2 ∫ 0 π x sin m x d x . Integration by parts karo (u = x , d v = sin m x d x ):
∫ 0 π x sin m x d x = [ − m x c o s m x ] 0 π + m 1 ∫ 0 π cos m x d x = − m π c o s mπ + 0 = − m π ( − 1 ) m .
Yeh step kyun? Integration by parts isliye kyunki hamare paas ek polynomial hai trig ke saath — x ko differentiate karne se simplify ho jaata hai.
b m = π 2 ⋅ ( − m π ( − 1 ) m ) = − m 2 ( − 1 ) m = m 2 ( − 1 ) m + 1 .
Isliye x = 2 ∑ m = 1 ∞ m ( − 1 ) m + 1 sin ( m x ) on ( − π , π ) .
Worked example Example 3 — pure cosine
f ( x ) = cos L 3 π x
Pehle forecast karo phir verify karo: orthogonality se, sirf a 3 nonzero hona chahiye. Sach mein a 3 = L 1 ∫ − L L cos 2 L 3 π x d x = L 1 ⋅ L = 1 , aur baaki har coefficient = 0 . ✔ Ek basis function ki series woh khud hi hoti hai.
Common mistake "Constant term
a 0 hai, isliye a 0 = 2 L 1 ∫ f d x ."
Kyun sahi lagta hai: f ka ek period par average sach mein 2 L 1 ∫ − L L f d x hota hai, aur constant term us average ke barabar hota hai. Fix yeh hai: constant term 2 a 0 ke roop mein likha jaata hai, isliye average = 2 a 0 ⇒ a 0 = L 1 ∫ − L L f d x . 2 1 aur L 1 consistent hain; bas double-count mat karo.
L 1 vs L 2 inconsistently use karna.
Kyun sahi lagta hai: half-range (sirf sine ya cosine) series [ 0 , L ] par L 2 ∫ 0 L use karti hain. Fix yeh hai: full interval [ − L , L ] par har coefficient L 1 ∫ − L L use karta hai. Extra factor of 2 tabhi aata hai jab symmetry se ∫ − L L = 2 ∫ 0 L fold ho sake — yeh ek consequence hai, base formula nahi.
Common mistake Pehle symmetry check karna bhool jaana.
Kyun sahi lagta hai: formulas hamesha kaam karte hain, toh kyun bother karein. Fix yeh hai: agar f odd hai, toh saare a n = 0 ; agar even hai, toh saare b n = 0 . Pehle yeh spot karna aadhe integrals khatam kar deta hai aur algebra errors se bachata hai.
Common mistake Term-by-term integration automatically valid maanna.
Kyun sahi lagta hai: har textbook example mein kaam karta hai. Fix yeh hai: yeh "nice" (jaise piecewise smooth) f ke liye uniform/L 2 convergence theory se justified hai. Exam-level f ke liye theek hai, lekin jaano ki yeh ek assumption hai.
Recall Feynman: 12-saal ke bache ko samjhao
Socho ek gaana jisme kaafi saare tuning forks ka mixture hai, har ek ek steady note hum raha hai. Agar tumhe taiyaar gaana diya jaaye, toh kaise pata karoge ki har fork kitna loud tha? Tum ek matching fork gaane ke paas baja ke "average" karte ho — sirf us fork ka note add up hota hai, baaki har note cancel out ho jaata hai kyunki ek poore beat mein woh utna upar jaate hain jitna neeche. Fourier coefficient exactly "yeh fork kitna loud tha" hai. f ko cos L nπ x se multiply karke integrate karna "n-we fork se sunna" hai.
Mnemonic Coefficients yaad karne ka tarika
"Sabke liye One-L, isolate karne ke liye project karo."
Full series ke har coefficient mein L 1 ∫ − L L hota hai. Phir a 0 → 1 , a n → cos , b n → sin — jo term chahiye us se match karo, multiply karo, integrate karo, orthogonality baaki kaam karti hai.
Mantra: a=cos, b=sin, dono L 1 par.
[ − L , L ] par f ki full Fourier series kya hai?f = 2 a 0 + ∑ n ≥ 1 [ a n cos L nπ x + b n sin L nπ x ]
Constant a 0 ke bajaaye a 0 /2 kyun likha jaata hai? Taaki single formula a n = L 1 ∫ − L L f cos L nπ x d x n = 0 par bhi a 0 correctly de.
a n (n ≥ 0 ) ka formula batao.a n = L 1 ∫ − L L f ( x ) cos L nπ x d x
b n ka formula batao.b n = L 1 ∫ − L L f ( x ) sin L nπ x d x
Basis functions ki woh kaunsi property hai jo derivation ko kaam karaati hai? [ − L , L ] par Orthogonality: alag sine/cosine products ke integrals vanish ho jaate hain.
m = n ≥ 1 ke liye ∫ − L L cos L nπ x cos L mπ x d x ki value?L
∫ − L L sin L mπ x cos L nπ x d x ki value?Saare m , n ke liye 0 .
Series se a m ko isolate kaise karte hain? Dono sides ko cos L mπ x se multiply karo aur [ − L , L ] par integrate karo; sirf n = m wala term bachta hai.
Agar f odd hai, toh kaunse coefficients vanish hote hain? Saare a n (including a 0 ); sirf b n bachte hain.
Agar f even hai, toh kaunse coefficients vanish hote hain? Saare b n ; sirf a 0 , a n bachte hain.
[ − L , L ] par square wave ka Fourier b m ?Odd m ke liye mπ 4 , even m ke liye 0 .
Identity used to derive cos–cos orthogonality? cos A cos B = 2 1 [ cos ( A − B ) + cos ( A + B )] .
basis waves are perpendicular
isolates each coefficient
isolates each coefficient
isolates each coefficient
Product-to-sum identities