Solving the Heat Equation — Question 3

PDF ↗

Question 3

For ut=κuxxu_t=\kappa u_{xx} on 0<x<L0<x<L with κ,L>0\kappa,L>0, zero endpoint values, and 0<a<L0<a<L, take the continuous tent-shaped initial temperature f(x)={x/a,0≤x≤a,(L−x)/(L−a),a≤x≤L.f(x)=\begin{cases}x/a,&0\le x\le a,\\(L-x)/(L-a),&a\le x\le L.\end{cases} Its height is one. You may use Fourier convergence for continuous piecewise smooth functions with zero endpoint values.

Tasks

  1. Derive all sine coefficients by splitting the integral at aa, retaining the change in slope, and write the heat solution.

  2. Justify the initial trace and positive-time smoothing even though f′f' jumps at aa.

  3. Show how the location aa can be recovered from the ratio b2/b1b_2/b_1. State its allowed range and explain why the recovery is unique when 0<a<L0<a<L.

  4. For L=κ=1L=\kappa=1, a=1/3a=1/3, simplify the coefficients, identify the missing modes, and sketch the initial tent and the profiles at t=0.01,0.05,0.15t=0.01,0.05,0.15.

Original worksheet page 1: question and worked solution for 9-5-003
Show solutionHide solution

Question 3 – Solution

Strategy. The corner in the initial profile appears as a slope jump in the coefficient calculation, not as a failure of the positive-time heat solution.

Step 1: Compute the contribution of the slope jump. With k=nπ/Lk=n\pi/L, integration by parts once gives ∫fsin⁡(kx)=k−1∫f′cos⁡(kx)\int f\sin(kx)=k^{-1}\int f'\cos(kx) since ff vanishes at both endpoints. Using f′=1/af'=1/a to the left and −1/(L−a)-1/(L-a) to the right gives ∫0Lfsin⁡(kx)dx=Lsin⁡(ka)a(L−a)k2.\int_0^L f\sin(kx)\,dx=\frac{L\sin(ka)}{a(L-a)k^2}. Therefore bn=2L2sin⁡(nπa/L)π2n2a(L−a),u=∑n=1∞bne−κ(nπ/L)2tsin⁡(nπx/L).\boxed{b_n=\frac{2L^2\sin(n\pi a/L)}{\pi^2n^2a(L-a)},\qquad u=\sum_{n=1}^\infty b_n e^{-\kappa(n\pi/L)^2t}\sin(n\pi x/L).}

Step 2: Separate initial regularity from later regularity. Since |bn|≤C/n2|b_n|\le C/n^2, the sine series converges absolutely and uniformly, and Fourier convergence identifies its initial sum as the continuous tent. Summable domination gives uniform convergence to ff as t↓0t\downarrow 0. For every τ>0\tau>0, polynomial factors from any finite number of derivatives are dominated by Gaussian decay for t≥τt\ge\tau. Thus the series is smooth for positive time, satisfies the PDE termwise and retains zero endpoints. Its initial derivative jump does not persist as a corner in a positive-time profile.

Step 3: Recover the peak location from two modes. Put θ=πa/L∈(0,π)\theta=\pi a/L\in(0,\pi). Then b1>0b_1>0 and b2b1=sin⁡2θ4sin⁡θ=12cos⁡θ,a=Lπarccos⁡(2b2/b1).\frac{b_2}{b_1}=\frac{\sin 2\theta}{4\sin\theta} =\tfrac 12\cos\theta,\qquad \boxed{a=\frac L\pi\arccos(2b_2/b_1).} The ratio must lie strictly between −1/2-1/2 and 1/21/2. Cosine is strictly decreasing on (0,π)(0,\pi), so this reconstruction is unique in the stated family.

Step 4: Specialize and interpret the profiles. For L=κ=1L=\kappa=1, a=1/3a=1/3, bn=9sin⁡(nπ/3)/(π2n2)b_n=9\sin(n\pi/3)/(\pi^2n^2). Exactly the multiples of three vanish, and b2/b1=1/4b_2/b_1=1/4 recovers a=1/3a=1/3. The figure uses the exact piecewise initial trace and rapidly convergent positive-time series. The peak rounds as the profile diffuses toward zero.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 9-5-003

Original worksheet layout. Use Enlarge or open the PDF for a closer view.