Foundations — Dirichlet conditions for convergence

4.7.4 · D1 · Maths › Partial Differential Equations › Dirichlet conditions for convergence

parent note ko padhne se pehle, tumhe usmein har squiggle bina hesitation ke padhni aani chahiye. Yeh page har ek ko scratch se define karta hai — plain words, phir ek picture, phir yeh topic ko iska kyun zaroorat hai. Yahan kuch bhi assume nahi kiya gaya ki tumne pehle calculus notation dekha hai.

---

0. Starting picture: ek repeating shape

Sab kuch shuru hota hai ek function $f(x)$ se. $x$ ko ek horizontal line par ek position samjho, aur $f(x)$ ko us position ke upar curve ki height samjho. Position daalo, height wapas milegi.

Topic ko iska kyun zaroorat hai: poora game yeh hai ki "kya hum is height-curve ko waves se dobara bana sakte hain?" Toh pehle hume agree karna hoga ki curve hoti kya hai, aur yeh ek position par ek height deti hai (condition 1 yahi demand karega).

---

1. Periodic, aur period $2L$

Parent likhta hai "period $2L$". Yeh iska matlab hai.

$2L$ kyun, sirf "$P$" kyun nahi? Kyunki jo waves hum use karenge, $\cos \frac{n\pi x}{L}$ aur $\sin \frac{n\pi x}{L}$, yeh exactly width $2L$ par repeat karne ke liye bane hain. Period ko $2L$ likhne se un waves ke andar ka $L$ cleanly line up ho jata hai — sabse slow sine ki ek full wave ek period mein fit hoti hai. Figure dekho: ek width $2L$ par, shape ko left aur right mein hamesha ke liye copy kiya gaya hai.

---

2. Interval $-L<x<L$ aur endpoints

Parent baar baar kehta hai "$-\pi <x<\pi$" ya "$(-L,L)$". Yeh bas ek period ko naam dena hai jo hum inspect karte hain: positions $-L$ se $+L$ tak. Centre $0$ beech mein baithta hai; $-L$ aur $+L$ do edges hain jahan ek copy khatam hoti hai aur agla shuru hota hai.

Kyun matter karta hai: endpoints $\pm L$ exactly wahi hain jahan ek "wrap-around jump" aa sakta hai (parent mein Example 2, $f(x)=x$, seam par $\pi$ se $-\pi$ par jump karta hai). Tumhe interval ko ek tile ki tarah imagine karna hai jo repeat hoti hai, toh ek tile ka right edge agale tile ke left edge se milta hai.

---

3. Left aur right limits: $f(x^{+})$ aur $f(x^{-})$

Yeh parent mein naye notation ka sabse important piece hai, aur isko ek picture chahiye.

Topic ko sabse zyada isi ki kyun zaroorat hai: ek jump par, curve ki ek position par do honest heights hoti hain — step ka bottom aur step ka top. Aam "$f(x_0)$" nahi bata sakta kaun sa. Pair $f(x_0^{-}),f(x_0^{+})$ dono ko naam deta hai, toh parent ka midpoint formula

$$S(x_0)=\frac{f(x_0^{+})+f(x_0^{-})}{2}$$

"step ke beech mein" ki baat kar sakta hai. Figure dekho: pink dot exactly blue (left) aur yellow (right) levels ke beech mein baitha hai.

---

4. Continuity vs jump

Topic ko distinction ki kyun zaroorat hai: condition 2 finitely many finite jumps allow karti hai lekin infinite ones ko forbid karti hai. Midpoint rule sirf ek finite jump par hi sense banata hai (tum do finite numbers average kar sakte ho; tum $+\infty$ average nahi kar sakte). "Kuch smooth pieces finite jumps par glued" ke family ke liye Piecewise smooth functions dekho.

---

5. Maxima aur minima ("wiggles")

Topic ko iska kyun zaroorat hai: condition 3 infinitely many wiggles ban karta hai. Parent ka failing example $\sin (1/x)$ $x\to 0$ ke paas tezi se oscillate karta hai, ek finite stretch mein infinitely many peaks cramming karta hai — koi bhi finite pile of smooth waves iska peecha nahi kar sakti, isliye convergence guaranteed nahi hai. Ek spring imagine karo jo ek wall ke paas infinitely tight compress ho gayi ho.

---

6. Integral sign ${\int }_{-L}^L$ aur "absolutely integrable"

Scary symbol $\int$ bas "curve ke neeche total signed area" do positions ke beech ka matlab hai.

$|f|$ kyun, sirf $f$ kyun nahi? Plain $f$ se, ek curve ka huge positive area aur huge negative area ho sakta hai jo cancel hokar ek chhoti number ban jaaye, aur ek blow-up hide ho jaaye. $|f|$ lena sab kuch fold up karta hai taki kuch bhi cancel na ho sake — yeh exactly woh hai jo condition 1 ko chahiye ki coefficient integrals sach mein exist karte hain. Un integrals ke liye Fourier Series — coefficients via orthogonality dekho.

---

7. Wave ingredients: $\cos \frac{n\pi x}{L}$, $\sin \frac{n\pi x}{L}$

Topic ko inki kyun zaroorat hai: yeh stack mein allowed sirf yehi pieces hain. $f$ ko rebuild karna matlab hai choose karna ki har wave ka kitna add karna hai. Dirichlet conditions decide karti hain ki yeh stack, infinitely many waves tak liya jaaye, actually $f$ par settle karta hai ya nahi.

---

8. Coefficients $a_0,a_n,b_n$ aur "$\sim$" warning

Topic ko iska kyun zaroorat hai: parent note ka poora point "$\sim$" ko "$=$" mein upgrade karna hai (ya jumps par midpoint tak). "Sum $f$ tak pahunchta hai" ka precisely kya matlab hai, iske liye Convergence of series (pointwise vs uniform) dekho.

---

9. Symbol $\sum$ aur "partial sum" $S_N$

Topic ko iska kyun zaroorat hai: midpoint result actually $N\to \infty$ par $S_N$ ke limit ke baare mein ek statement hai. Dirichlet kernel aur Gibbs phenomenon dono stories hain ki yeh partial sums ek jump ke paas kaise behave karte hain.

---

Prerequisite map

---

Equipment checklist

Recall Self-test: kya tum har symbol padh sakte ho? (hide karke answer karo)

"Single-valued function" ka ek sentence mein kya matlab hai? ::: Ek position exactly ek height deti hai — curve kabhi ek hi $x$ ke upar do heights nahi rakhti. Agar period $2L$ hai, toh $L$ kya hai aur periodicity state karne wali equation kaun si hai? ::: $L$ half-period hai, aur $f(x+2L)=f(x)$. Words mein, $f(x_0^{-})$ kya hai? ::: Woh height jis ki taraf curve ja rahi hai jab tum $x_0$ ko left se (chhote $x$ se) approach karte ho. Words mein, $f(x_0^{+})$ kya hai? ::: Woh height jis ki taraf curve ja rahi hai jab tum $x_0$ ko right se (bade $x$ se) approach karte ho. In limits ke terms mein ek point continuous kab hota hai? ::: Jab $f(x_0^{-})=f(x_0^{+})$. Finite jump aur infinite discontinuity mein kya fark hai? ::: Finite jump mein do alag lekin finite approach-heights hoti hain; infinite discontinuity $\pm \infty$ ki taraf shoot karti hai. Ek "wiggle" ka kya matlab hai aur kaun si condition unhe limit karti hai? ::: Ek peak-and-valley (ek max aur ek min); condition 3 sirf finitely many allow karta hai. ${\int }_{-L}^{L}gdx$ kya compute karta hai? ::: $-L$ aur $L$ ke beech $g$ ke neeche total signed area. "Absolutely integrable" ke liye $|f|$ kyun use karte hain? ::: Taki positive aur negative areas cancel na ho sakein aur ek blow-up hide na ho sake; hum total silhouette area measure karte hain. $\sin \frac{n\pi x}{L}$ mein harmonic number $n$ kya control karta hai? ::: Ek period mein kitni wiggles fit hoti hain — bada $n$ tez wave hai. "$\sim$" sign tumhe kya warn karta hai? ::: Coefficients exist karte hain, lekin sum $f$ ke equal ho ya nahi yeh alag convergence sawaal hai. Partial sum $S_N(x)$ kya hai? ::: Sirf pehle $N$ wave-terms ka sum; $N\to \infty$ par iska limit hi woh hai jo hum test karte hain.

---

Connections

• 4.7.04 Dirichlet conditions for convergence (Hinglish)
• Fourier Series — coefficients via orthogonality
• Dirichlet kernel
• Gibbs phenomenon
• Piecewise smooth functions
• Convergence of series (pointwise vs uniform)
• Half-range expansions