4.7.9 · D3 · Maths › Partial Differential Equations › Solving heat equation — separation of variables
Yeh page ek shooting gallery hai. Hum har tarah ki situation list karte hain jo linear-homogeneous heat problem aapke saamne rakh sakta hai, phir har ek ko ek poore worked example se solve karte hain. Parent recipe paas mein rakho: Solving heat equation — separation of variables .
Definition Is page par use hone waale symbols (pehle define karo)
u ( x , t ) = position x par temperature (metres mein, left end se), time t par (seconds mein).
L = rod ki length. x ka range hai 0 < x < L .
f ( x ) = u ( x , 0 ) = initial temperature profile .
α 2 = thermal diffusivity , u t = α 2 u xx mein ek hi physical constant. Units: length 2 / time (jaise m 2 / s ). Yeh batata hai kitni tezi se heat failti hai: bada α 2 ⇒ fast smoothing. Hum ise poore time symbol ki tarah likhte hain aur sirf Ex 3 (α 2 = 1 ) aur Ex 8 mein number plug karte hain.
B n = f mein n -number ka sine-hump kitna hai (ek Fourier sine coefficient).
n = 1 , 2 , 3 , … = mode number (rod par kitne half-waves fit hote hain).
Intuition Pehle yeh padho
Dirichlet ends ke liye (u = 0 dono ends par) har solution ka same skeleton hota hai:
u ( x , t ) = ∑ n = 1 ∞ B n sin L nπ x e − α 2 ( nπ / L ) 2 t .
Problem solve karna = initial shape f ( x ) se numbers B n nikalna, using
B n = L 2 ∫ 0 L f ( x ) sin L nπ x d x .
Exponential part automatic hai jab ek baar n pata ho. Toh 90% kaam ek integral hai. Neeche hum har tarah ka integral dekhte hain — aur doosre boundary-condition families bhi.
Recall "Har scenario" ke baare mein ek baat (scope, honestly boli)
Yeh page linear homogeneous rod ko poora cover karta hai: sabhi homogeneous boundary types — Dirichlet (u = 0 ), Neumann (u x = 0 ), aur mixed / Robin ends ka ek note — plus har tarah ki input shape (single/multiple/constant/piecewise/zero) aur dono time limits. Jo hum yahan nahi cover karte (unhe extra machinery chahiye aur woh doosre pages par hain): non-homogeneous BCs (ends jo nonzero ya time-dependent temperature par rakhe hain — steady state subtract karke handle hota hai), source terms u t = α 2 u xx + Q , aur full Robin eigenvalue transcendental equations. Toh "har scenario" ka matlab hai homogeneous separable problem ke har scenario , jo is chapter mein build kiya gaya hai. Sabhi BC types ke peeche eigenfunction/eigenvalue machinery yahan hai: Sturm-Liouville Theory .
Neeche har worked example us cell ke saath tagged hai jise woh cover karta hai.
Cell
Kya special hai
Example
A. Single mode
f ( x ) already ek sine hai — read off karo, koi integral nahi
Ex 1
B. Sum of modes
f ( x ) kuch sines ka sum hai — kai read off karo
Ex 2
C. Constant profile
f ( x ) = const — integrate karna padega, sirf odd n bachte hain
Ex 3
D. Triangle / tent
piecewise-linear peak — integration by parts
Ex 4
E. Degenerate input
f ( x ) ≡ 0 — trivial (dead) rod, uniqueness
Ex 5
F. Limiting behaviour
t → ∞ aur t → 0 + — convergence ki subtleties
Ex 6
G. Neumann + mixed twist
insulated u x = 0 (cosines) aur ek mixed end
Ex 7
H. Word problem
real rod, real numbers, "cool hone mein kitna time?"
Ex 8
Cases A–H cover karte hain: single/multiple/constant/piecewise inputs, zero-degenerate input, dono time limits (convergence ke saath), Neumann aur mixed boundary families, aur ek physical estimate.
0 < x < L par rod problem solve karo jahan u ( 0 , t ) = u ( L , t ) = 0 aur initial shape
f ( x ) = 5 sin L 2 π x .
Forecast: Aage padhne se pehle — kya tumhe lagta hai yahan integral compute karna padega? Guess karo kaun se B n nonzero hain.
Step 1 — Template se match karo.
t = 0 par general series hai f ( x ) = ∑ n B n sin L nπ x .
Yeh step kyun? Kyunki sin L nπ x orthogonal hain (har ek independent hai), left side ka sine sirf same sine se right side par match kar sakta hai. Agar f pehle se unme se ek hai, toh koi integral nahi chahiye — bas coefficients read karo.
Step 2 — Read off karo.
5 sin L 2 π x ko n = 2 term se compare karo: B 2 = 5 , aur baaki har B n = 0 .
Step 3 — Decay attach karo.
Mode n = 2 decay karta hai e − α 2 ( 2 π / L ) 2 t = e − 4 α 2 π 2 t / L 2 ki tarah.
4 kyun? Decay rate ∝ n 2 = 2 2 = 4 hai.
u ( x , t ) = 5 sin L 2 π x e − 4 α 2 π 2 t / L 2 .
Verify karo: t = 0 par, e 0 = 1 , toh u ( x , 0 ) = 5 sin L 2 π x = f ( x ) . ✓ Ends par: sin 0 = 0 aur sin 2 π = 0 , toh u ( 0 , t ) = u ( L , t ) = 0 . ✓
Same rod, initial shape ek combination :
f ( x ) = 3 sin L π x − 2 sin L 4 π x .
Forecast: Final sum mein kitne terms honge? 3 -term ya 2 -term, kaun zyada jaldi fade hoga?
Step 1 — Har piece read off karo.
Yeh step kyun? Same orthogonality reasoning jaise Ex 1 — sines ka linear combination term-by-term map hota hai. B 1 = 3 , B 4 = − 2 , baaki sab 0 .
Step 2 — Har ek ko apna timer do.
n = 1 decay karta hai rate α 2 ( π / L ) 2 par; n = 4 decay karta hai rate 16 α 2 ( π / L ) 2 par (kyunki 4 2 = 16 ).
u ( x , t ) = 3 sin L π x e − α 2 π 2 t / L 2 − 2 sin L 4 π x e − 16 α 2 π 2 t / L 2 .
Step 3 — Alag-alag fates observe karo.
n = 4 hump, n = 1 hump se 16/1 = 16 guna zyada tezi se decay karta hai. Superposition Principle ki wajah se hum independently-fading pieces ko simply add karte hain.
Verify karo: t = 0 par 3 sin L π x − 2 sin L 4 π x wapas milta hai. ✓ Decay rates ka ratio 16 hai. ✓
L = π , α 2 = 1 m 2 / s , aur poori rod u ( x , 0 ) = 100 ° par start hoti hai, ends 0 ° par dunk kiye hain.
Forecast: Ek flat line bilkul sine jaisi nahi hoti — kya tumhe lagta hai sabhi B n , sirf odd, ya sirf even honge?
Step 1 — Projection integral set up karo.
Yeh step kyun? Ek constant ek single eigenfunction nahi hai, toh humein ise coefficient formula use karke har sine par "project" karna padega.
B n = π 2 ∫ 0 π 100 sin ( n x ) d x .
Step 2 — Integral karo.
∫ 0 π sin ( n x ) d x = [ − n c o s n x ] 0 π = n 1 − c o s nπ = n 1 − ( − 1 ) n .
( − 1 ) n kyun? Kyunki cos nπ alternate karta hai: − 1 , + 1 , − 1 , … Toh bracket 0 hota hai even n ke liye aur 2 odd n ke liye.
Step 3 — Simplify karo.
B n = π 200 ⋅ n 1 − ( − 1 ) n = ⎩ ⎨ ⎧ π n 400 0 n odd n even .
Sirf odd kyun bachte hain? Ek flat, left–right symmetric hump mein odd sines jaisi symmetry hoti hai; even sines midpoint ke baare mein antisymmetric hote hain aur cancel ho jaate hain.
Step 4 — Assemble karo.
u ( x , t ) = π 400 n odd ∑ n 1 sin ( n x ) e − n 2 t .
Verify karo: t = 0 , x = π /2 par: terms hain π 400 ⋅ n s i n ( nπ /2 ) . Ab sin ( nπ /2 ) = + 1 , − 1 , + 1 , … n = 1 , 3 , 5 , … ke liye, yaani ( − 1 ) ( n − 1 ) /2 , toh sum hai π 400 ( 1 − 3 1 + 5 1 − ⋯ ) . Yeh alternating sum Leibniz / Gregory series hai arctan 1 = π /4 ke liye (ek standard Fourier/Taylor result: arctan x = x − 3 x 3 + 5 x 5 − ⋯ mein x = 1 rakh do). Isliye total hai π 400 ⋅ 4 π = 100. ✓ Yeh constant 100 ki Fourier series hai midpoint par evaluate ki — jahan woh function value par converge karti hai.
L = 1 . Rod ek symmetric tent se start hoti hai jo middle mein peak karti hai:
f ( x ) = { x 1 − x 0 ≤ x ≤ 2 1 2 1 ≤ x ≤ 1.
B n nikalo (jahan L = 1 hai, toh sin nπ x ).
Figure s01 (alt-text/caption): orange curve tent f hai; plum dashed vertical line x = 2 1 par symmetry axis hai; teal segment neeche dono ends ko 0 par pinned dikhata hai. Picture ka message: f , x = 2 1 ke baare mein symmetric hai, toh sirf symmetric (odd-n ) sine humps ise bana sakte hain — even humps, jo midpoint ke baare mein antisymmetric hote hain, ka weight zero hona chahiye.
Forecast: Plum dashed line dekho. Kya even modes aayenge?
Step 1 — Peak par coefficient integral ko split karo.
Yeh step kyun? f do alag formulas se define hoti hai x = 2 1 ke dono taraf, toh single integral do mein split ho jaata hai.
B n = 2 ∫ 0 1 f ( x ) sin ( nπ x ) d x = 2 [ I 1 ∫ 0 1/2 x sin ( nπ x ) d x + I 2 ∫ 1/2 1 ( 1 − x ) sin ( nπ x ) d x ] .
(Yahan L 2 = 2 kyunki L = 1 hai.)
Step 2 — I 1 par integration by parts explicitly karo.
Integration by parts kyun? Integrand hai (polynomial)× (sine); parts polynomial degree ko tab tak kam karta hai jab tak sirf sines/cosines na bachein.
Maano u = x , d v = sin ( nπ x ) d x , toh d u = d x , v = − nπ cos ( nπ x ) . Phir
I 1 = [ − nπ x c o s ( nπ x ) ] 0 1/2 + nπ 1 ∫ 0 1/2 cos ( nπ x ) d x .
Bacha hua integral hai nπ 1 [ nπ sin ( nπ x ) ] 0 1/2 = ( nπ ) 2 sin ( nπ /2 ) . Bracket ko x = 2 1 par evaluate karo (lower limit x = 0 se 0 milta hai):
I 1 = − nπ 2 1 c o s ( nπ /2 ) + ( nπ ) 2 s i n ( nπ /2 ) .
Step 3 — I 2 karo aur boundary terms cancel hote dekhो.
Likho I 2 = ∫ 1/2 1 sin ( nπ x ) d x − ∫ 1/2 1 x sin ( nπ x ) d x . Pehla piece hai [ − nπ c o s ( nπ x ) ] 1/2 1 = nπ cos ( nπ /2 ) − cos ( nπ ) . Doosra, Step 2 jaisi same parts se,
∫ 1/2 1 x sin ( nπ x ) d x = [ − nπ x c o s ( nπ x ) ] 1/2 1 + ( nπ ) 2 s i n ( nπ x ) 1/2 1 = − nπ c o s ( nπ ) + nπ 2 1 c o s ( nπ /2 ) − ( nπ ) 2 s i n ( nπ /2 ) .
Ab I 1 + I 2 add karo. nπ 2 1 cos ( nπ /2 ) terms collect karo: I 1 deta hai − nπ 2 1 cos ( nπ /2 ) ; I 2 se pehle piece ka cos ( nπ /2 ) / nπ aur subtracted doosre piece ka − 2 1 cos ( nπ /2 ) / nπ milke + nπ 2 1 cos ( nπ /2 ) deta hai. Yeh dono exactly cancel hote hain — yahi hai "symmetry se x = 2 1 par boundary terms cancel hona." cos ( nπ ) / nπ terms bhi cancel ho jaate hain. Sirf sine terms bachte hain:
I 1 + I 2 = ( nπ ) 2 s i n ( nπ /2 ) + ( nπ ) 2 s i n ( nπ /2 ) = ( nπ ) 2 2 s i n ( nπ /2 ) .
Isliye
B n = 2 ( I 1 + I 2 ) = ( nπ ) 2 4 sin 2 nπ .
sin 2 nπ kyun? Yeh even n ke liye 0 aur odd n ke liye ± 1 hota hai — tent, symmetric hone ki wajah se, sirf odd modes rakhta hai, exactly jaise figure ne predict kiya tha.
Step 4 — Assemble karo.
u ( x , t ) = ∑ n odd ( nπ ) 2 4 sin 2 nπ sin ( nπ x ) e − α 2 n 2 π 2 t .
Verify karo: Pehla mode B 1 = π 2 4 sin 2 π = π 2 4 ≈ 0.4053 . Check karo ki series peak recover karta hai: x = 2 1 par, f = 2 1 , aur ∑ n odd ( nπ ) 2 4 sin 2 2 nπ = π 2 4 ∑ n odd n 2 1 = π 2 4 ⋅ 8 π 2 = 2 1 . ✓ (Identity ∑ n odd n 2 1 = 8 π 2 ek standard Fourier/Basel result hai.)
f ( x ) ≡ 0 : rod har jagah 0 ° par start hoti hai, ends 0 ° par rakhe hain.
Forecast: t = 5 seconds par, ya kisi bhi time par, temperature guess karo.
Step 1 — Saare coefficients compute karo.
B n = L 2 ∫ 0 L 0 ⋅ sin L nπ x d x = 0 for every n .
Kyun bother karo? Yeh dikhane ke liye ki machinery boring case mein bhi consistent hai — koi hidden nonzero mode andar nahi ghusta.
Step 2 — Assemble karo.
u ( x , t ) = 0 for all x , t .
Yeh trivial solution hai.
Step 3 — Yeh sirf solution kyun hai (uniqueness, properly stated).
Koi aur solution exist kyun nahi kar sakta? Do independent guarantees:
(i) Maximum principle. Heat equation mein koi source nahi hone par, u ka maximum aur minimum [ 0 , L ] × [ 0 , T ] par "parabolic boundary" par hona chahiye — ya toh t = 0 par ya dono ends par. Yahan in sabhi par u = 0 hai, toh 0 ≤ u ≤ 0 har jagah: u ≡ 0 . Isko same data wale kisi bhi do solutions ke difference par apply karo, yeh unhe equal force karta hai — isliye poore Dirichlet problem ke liye uniqueness milti hai, sirf is case ke liye nahi.
(ii) Sturm–Liouville / energy view. Eigenfunctions sin L nπ x ek complete orthogonal basis banate hain (Sturm-Liouville Theory ); jis function ka har coefficient 0 ho woh zero function hai. General uniqueness bhi dekho Boundary Conditions — Dirichlet vs Neumann par.
Verify karo: u t = 0 , u xx = 0 , toh u t = α 2 u xx hold karta hai (0 = 0 ). BCs aur IC sab satisfied hain. ✓
Ex 4 ka tent solution lo (L = 1 , α 2 = 1 ). Profile describe karo (a) bahut bade t ke liye, aur (b) jab t → 0 + — aur honestly bolo ki series har case mein kaise converge karti hai.
Figure s02 (alt-text/caption): orange = sharp tent jab t → 0 + recover hoti hai; plum dash-dot = ek intermediate time jahan corner already round ho chuka hai; teal = large t par akela surviving half-sine bump. Message: high modes sharp corner uthate hain aur pehle marte hain, toh profile upar se neeche smooth hoti hai phir ek single hump mein collapse hoti hai.
Forecast: Kaun sa single shape har Dirichlet rod marne se pehle collapse hota hai?
Step 1 — Large-t limit (aur kyun yeh limit legal hai).
Mode n mein e − n 2 π 2 t hota hai. n = 3 term ka n = 1 term se ratio hai e − ( 9 − 1 ) π 2 t = e − 8 π 2 t → 0 .
Convergence note: kisi bhi fixed t 0 > 0 ke liye coefficients times e − n 2 π 2 t , n ki kisi bhi power se zyada tezi se decay karte hain, toh series aur uske sabhi x - aur t -derivatives uniformly converge karte hain [ 0 , 1 ] × [ t 0 , ∞ ) par (Weierstrass M -test with M n = ∣ B n ∣ e − n 2 π 2 t 0 ). Uniform convergence exactly wahi hai jo term-by-term limiting aur differentiation ki permission deta hai — toh sirf n = 1 rakhna rigorous hai:
u ( x , t ) ≈ B 1 sin ( π x ) e − π 2 t = π 2 4 sin ( π x ) e − π 2 t .
Universal shape: ek single half-sine bump (teal curve), chahe start kaisa bhi tha.
Step 2 — Small-t limit (ek delicate end).
Jab t → 0 + har e − n 2 π 2 t → 1 , toh formally u ( x , 0 + ) = ∑ B n sin ( nπ x ) = f ( x ) .
Convergence note: t = 0 par smoothing exponentials gone hain. Yahan B n ∼ 1/ n 2 hai, jo absolutely summable hai, toh tent ki series continuous tent par uniformly converge karti hai (tent mein koi jumps nahi hain). Ex 3 ke constant-100 profile se contrast karo: wahan B n ∼ 1/ n hai, series sirf pointwise converge karti hai (uniformly nahi) ( 0 , π ) ke andar aur ends par sum 0 = 100 hai — endpoints aur koi bhi jump midpoint value par converge karte hain (Gibbs behaviour). Toh "u ( x , 0 ) = f ( x ) " interior mein hold karta hai lekin discontinuities aur boundaries par carefully padhna chahiye.
Step 3 — Smoothing ki kahani.
Kisi bhi t > 0 ke liye solution infinitely smooth hoti hai (exponentials saari roughness maar dete hain): high-n wiggles pehle marte hain, toh tent ka corner instantly round ho jaata hai, phir poora bump fade hota hai. Yeh instant smoothing wajah hai ki heat flow sharp features mita deta hai.
Verify karo: Amplitude ratio n = 3 vs n = 1 at t = 0.1 hai B 1 B 3 e − 8 π 2 ( 0.1 ) = − 9 1 e − 0.8 π 2 ≈ − 4.15 × 1 0 − 5 , negligible — single-mode approximation excellent hai. ✓
(a) Neumann: same rod, lekin ends insulated : u x ( 0 , t ) = u x ( L , t ) = 0 , initial f ( x ) . Building blocks nikalo.
(b) Mixed: ends u ( 0 , t ) = 0 (fixed) aur u x ( L , t ) = 0 (insulated). Ab kaun se eigenfunctions hain?
Forecast: (a) mein sines forbidden hain, toh kaun se functions dono ends par zero slope rakhte hain? (b) mein kaun se quarter-waves fit hote hain?
Step 1 — Space ODE ko Neumann BCs ke saath redo karo.
Kyun redo karo? Eigenfunctions BCs satisfy karne ke liye choose ki jaati hain; alag BCs ⇒ alag eigenfunctions. Dekho Boundary Conditions — Dirichlet vs Neumann .
X ′′ + λ X = 0 , X ′ ( 0 ) = 0 , X ′ ( L ) = 0.
λ = k 2 > 0 ke liye: X = A cos k x + B sin k x , X ′ = − A k sin k x + B k cos k x .
X ′ ( 0 ) = B k = 0 ⇒ B = 0 ; X ′ ( L ) = − A k sin k L = 0 ⇒ sin k L = 0 ⇒ k L = nπ .
Ab cosines kyun? Zero-slope ends ek aisi curve chahte hain jo dono ends par flat ho — cos L nπ x wahan horizontal tangents rakhta hai. Saath hi λ = 0 ab kaam karta hai (X 0 = 1 , slope zero har jagah) — ek aisa mode jo Dirichlet ne reject kar diya tha!
X n ( x ) = cos L nπ x , n = 0 , 1 , 2 , …
Step 2 — Neumann solution assemble karo.
u ( x , t ) = 2 A 0 + n = 1 ∑ ∞ A n cos L nπ x e − α 2 ( nπ / L ) 2 t , A n = L 2 ∫ 0 L f ( x ) cos L nπ x d x .
Yeh Fourier cosine series hai (Fourier Series ). n = 0 term 2 A 0 = L 1 ∫ 0 L f d x ka decay rate 0 hai — yeh kabhi fade nahi hota .
Ek mode forever kyun bachta hai? Insulated ends se koi heat escape nahi hoti, toh total heat conserved hoti hai; rod apne average temperature par settle hoti hai, zero par nahi. Ex 6 se contrast karo, jahan Dirichlet ends ne saari heat 0 par drain kar di thi.
Step 3 — Mixed case (ek fixed, ek insulated).
X ( 0 ) = 0 ⇒ A = 0 , toh X = B sin k x ; phir X ′ ( L ) = B k cos k L = 0 ⇒ cos k L = 0 ⇒ k L = ( n − 2 1 ) π .
X n ( x ) = sin 2 L ( 2 n − 1 ) π x , n = 1 , 2 , …
"Quarter-waves" kyun? sin 0 se start hota hai (fixed end) aur x = L par flat top (zero slope) par pahunchna chahiye — yeh ek full sine wave ka quarter, three-quarters, … hota hai. Eigenvalues λ n = ( 2 L ( 2 n − 1 ) π ) 2 . Yeh Sturm-Liouville Theory framework mein fit karta hai; sirf boundary equation change hui.
Verify karo: Neumann with constant f = 100 , L = π : 2 A 0 = π 1 ∫ 0 π 100 d x = 100 , aur A n = π 2 ∫ 0 π 100 cos ( n x ) d x = 0 for n ≥ 1 . Steady state = 100 (start average). ✓ Mixed check: smallest eigenvalue k 1 = 2 L π deta hai cos ( k 1 L ) = cos 2 π = 0 . ✓
Ek metal rod L = π metres, thermal diffusivity α 2 = 1 m 2 / s , single mode u ( x , 0 ) = 80 sin x °C se start hoti hai, ends 0 °C par rakhe hain. Midpoint temperature 10 °C tak drop hone mein kitna time lagega?
Forecast: Estimate karo — kuch tenths of a second, ya kai seconds?
Step 1 — Solution likho.
Yeh step kyun? f = 80 sin x ek pure n = 1 mode hai (L = π ⇒ sin π nπ x = sin n x ), toh B 1 = 80 , decay rate α 2 ( 1 ) 2 = 1 .
u ( x , t ) = 80 sin x e − t .
Step 2 — Midpoint x = π /2 par evaluate karo.
sin 2 π = 1 , toh u ( π /2 , t ) = 80 e − t .
Midpoint kyun? sin x wahan peak karta hai, toh yeh sabse hot, sabse zyada time tak rehne wala point hai — cooling ke liye "worst case."
Step 3 — Time ke liye solve karo.
Set karo 80 e − t = 10 ⇒ e − t = 8 1 ⇒ t = ln 8 ≈ 2.079 s .
ln kyun? Exponential decay ko logarithm undo karta hai — "value V tak pahunchne mein kitna time?" ke liye natural tool.
t = ln 8 ≈ 2.08 seconds .
Verify karo (units + value): rate α 2 ( nπ / L ) 2 = 1 ⋅ ( 1/1 ) 2 = 1 s − 1 , toh exponent − t dimensionless hai. ✓ Wapas plug karo: 80 e − l n 8 = 80/8 = 10 °C. ✓
Recall Matrix par quick self-test
Single-sine f ke liye B n nikalne mein integral chahiye? ::: Nahi — read off karo (Cell A).
Constant f kaun se modes rakhta hai? ::: Sirf odd n (Cell C).
t → ∞ par ek Dirichlet rod kaun se shape mein jaati hai? ::: Ek half-sine bump, phir 0 (Cell F).
Large t par sirf n = 1 rakhna rigorous kyun hai? ::: Fixed t 0 > 0 ke liye series uniformly converge karti hai (Weierstrass M -test), jo term-by-term limits ki permission deta hai.
Insulated (Neumann) ends kaun se eigenfunctions dete hain? ::: Cosines, including ek constant n = 0 mode jo kabhi fade nahi hota — rod apne average par settle hoti hai (Cell G).
Ek fixed + ek insulated end? ::: Quarter-wave sines sin 2 L ( 2 n − 1 ) π x .
Zero initial rod kaisa evolve hota hai? ::: Hamesha 0 rehta hai — trivial aur unique maximum principle se (Cell E).
Mnemonic Kaun se input ke liye kaun sa tool?
"Sine reads, Constant projects, Corner parts, Insulate cosines."
Single sine → read off · constant → integral se project · piecewise corner → integration by parts · insulated ends → cosine series.
Related: Fourier Series · Sturm-Liouville Theory · Wave Equation · Laplace Equation · Superposition Principle · Boundary Conditions — Dirichlet vs Neumann