4.7.4Partial Differential Equations

Dirichlet conditions for convergence

1,735 words8 min readdifficulty · medium2 backlinks

WHY do we even need conditions?

A Fourier series is

f(x)a02+n=1(ancosnπxL+bnsinnπxL).f(x) \sim \frac{a_0}{2} + \sum_{n=1}^{\infty}\left(a_n\cos\frac{n\pi x}{L} + b_n\sin\frac{n\pi x}{L}\right).

We write the coefficients first (using orthogonality of sines/cosines), but writing them down does not prove the sum equals f(x)f(x). The "\sim" sign is a warning: coefficients exist, but does the sum converge, and to what?


WHAT the conditions say

Figure — Dirichlet conditions for convergence

HOW to derive the "midpoint" result (sketch from first principles)

The NN-th partial sum is

SN(x)=12LLLf(xt)DN(t)dt,DN(t)=sin ⁣((N+12)πtL)sin ⁣(πt2L).S_N(x)=\frac{1}{2L}\int_{-L}^{L} f(x-t)\,D_N(t)\,dt, \qquad D_N(t)=\frac{\sin\!\big((N+\tfrac12)\tfrac{\pi t}{L}\big)}{\sin\!\big(\tfrac{\pi t}{2L}\big)}.

Why this form? Substitute the integral formulas for an,bna_n,b_n into the partial sum, swap sum and integral, and the finite geometric sum of cosines collapses to DND_N. The kernel has total weight 11:

12LLLDN(t)dt=1.\frac{1}{2L}\int_{-L}^{L} D_N(t)\,dt = 1.

Why this step matters: as NN\to\infty, DND_N becomes a spike concentrated at t=0t=0 but with equal mass on the left (t>0t>0) and right (t<0t<0) sides. So it samples ff from both sides equally:

SN(x)12f(x)+12f(x+).S_N(x)\to \tfrac12 f(x^-) + \tfrac12 f(x^+).

That's the midpoint formula — derived, not assumed.


Worked examples


Steel-manned mistakes


Active Recall

Recall Quick self-test (hide and answer)
  • State all three Dirichlet conditions.
  • What value does the series take at a jump?
  • Are the conditions necessary or sufficient?
  • Give one function that fails condition 3.
What does "absolutely integrable over one period" mean?
LLf(x)dx<\int_{-L}^{L}|f(x)|\,dx<\infty — the area under f|f| is finite.
How many discontinuities are allowed by Dirichlet's conditions?
A finite number, and each must be a finite (jump) discontinuity — no infinite discontinuities.
How many maxima/minima are allowed?
Only finitely many in one period (no infinite oscillation).
What value does a Fourier series converge to at a jump x0x_0?
The midpoint f(x0+)+f(x0)2\frac{f(x_0^+)+f(x_0^-)}{2}.
At a point of continuity, what does the series converge to?
f(x)f(x) itself, since f(x+)=f(x)=f(x)f(x^+)=f(x^-)=f(x).
Are Dirichlet conditions necessary or sufficient for convergence?
Sufficient (not necessary).
Which kernel governs the partial-sum convolution?
The Dirichlet kernel DN(t)=sin((N+12)πt/L)sin(πt/2L)D_N(t)=\frac{\sin((N+\frac12)\pi t/L)}{\sin(\pi t/2L)}.
Why does the series average both sides at a jump?
The Dirichlet kernel is symmetric and samples left and right limits equally as NN\to\infty.
Give an example failing the "finite maxima/minima" rule.
sin(1/x)\sin(1/x) near x=0x=0.
For f(x)=xf(x)=x on (π,π)(-\pi,\pi), what is the series value at x=πx=\pi?
00, the midpoint of π\pi and π-\pi.

Recall Feynman: explain to a 12-year-old

Imagine building a picture using only smooth, wavy ribbons (sines and cosines). If the picture is reasonable — it doesn't shoot up to the sky, doesn't have a zillion tiny zig-zags, and only has a few clean "steps" — then you can rebuild it perfectly with enough ribbons. But right at a step (where the picture jumps up suddenly), the ribbons can't pick a side, so they draw a dot exactly halfway up the step. The "Dirichlet conditions" are just the rules for "is this picture reasonable enough?"


Connections

  • Fourier Series — coefficients via orthogonality
  • Dirichlet kernel
  • Gibbs phenomenon (overshoot near jumps, but limit is still the midpoint)
  • Piecewise smooth functions
  • Convergence of series (pointwise vs uniform)
  • Half-range expansions

Concept Map

only a warning ~

needs guarantee

rule 1

rule 2

rule 3

ban infinite blow-ups

ban infinite wiggles

are sufficient, guarantee

converges to

formula

derived from

spike with equal mass both sides

at continuity points

Fourier series of f x

Does it converge?

Dirichlet conditions

Single-valued and absolutely integrable

Finite number of finite jumps

Finite maxima and minima

Bans pathologies like sin 1 over x

Convergence assured

Midpoint value S x

Average of left and right limits

Dirichlet kernel D_N t

S x equals f x

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, Fourier series ka idea simple hai: kisi bhi function f(x)f(x) ko hum sines aur cosines ke infinite sum se banane ki koshish karte hain. Lekin har function aise ban nahi sakta. Dirichlet conditions ek checklist hai jo guarantee deti hai ki series actually converge karegi. Teen rules yaad rakho — I, J, W: function Integrable ho (area under f|f| finite ho), sirf finite Jumps ho (infinite blow-up nahi), aur sirf finite Wiggles ho (infinitely zig-zag wala sin(1/x)\sin(1/x) type nahi chalega).

Sabse important baat: jab function mein ek jump (sudden step) hota hai, tab series exactly f(x)f(x) pe nahi, balki midpoint f(x+)+f(x)2\frac{f(x^+)+f(x^-)}{2} pe settle hoti hai. Kyun? Kyunki sine aur cosine symmetric hote hain — woh left ya right side choose nahi kar sakte, isliye dono ka average le lete hain. Continuous point pe to dono limits barabar hote hain, isliye wahan series seedha f(x)f(x) deti hai.

Ek common galti: students sochte hain ki agar coefficients an,bna_n, b_n calculate ho gaye to series automatically ff ke barabar ho jayegi. Galat! Coefficients sirf integrability se mil jaate hain, par convergence (aur kis value pe) ke liye poori Dirichlet checklist chahiye. Aur yeh conditions sufficient hain, necessary nahi — matlab agar pass ho gaye to pakka converge karega, par fail hone par bhi kabhi-kabhi converge kar sakta hai. Exam mein square wave ka example aksar aata hai: x=0x=0 pe answer 00 aata hai, even though function kabhi 00 nahi hota — yeh midpoint rule ka classic case hai.

Go deeper — visual, from zero

Test yourself — Partial Differential Equations

Connections