The Poisson equation ∇2u=f in the unit square Ω=[0,1]×[0,1], equipped with the zero Dirichlet boundary conditions on ∂Ω, is discretized with the nine-point formula:
Γ9[ui,j]:=−310ui,j+32(ui+1,j+ui−1,j+ui,j+1+ui,j−1)+61(ui+1,j+1+ui+1,j−1+ui−1,j+1+ui−1,j−1)=h2fi,j
where 1⩽i,j⩽m,ui,j≈u(ih,jh), and (ih,jh) are the grid points with h=m+11.
(i) Find the order of the local truncation error ηi,j of the approximation.
(ii) Prove that the order of the truncation error is smaller if f satisfies the Laplace equation ∇2f=0.
(iii) Show that the modified nine-point scheme
Γ9[ui,j]=h2fi,j+121h2Γ5[fi,j]:=h2fi,j+121h2(fi+1,j+fi−1,j+fi,j+1+fi,j−1−4fi,j)
has a truncation error of the same order as in part (ii).
(iv) Let (ui,j)i,j=1m be a solution to the m2×m2 system of linear equations Au=b arising from the modified nine-point scheme in part (iii). Further, let u(x,y) be the exact solution and let ei,j:=ui,j−u(ih,jh) be the error of approximation at grid points. Prove that there exists a constant c such that
∥e∥2:=[i,j=1∑m∣ei,j∣2]1/2<ch3,h→0
[Hint: The nine-point discretization of ∇2u can be written as
Γ9[u]=(Γ5+61Δx2Δy2)u=(Δx2+Δy2+61Δx2Δy2)u
where Γ5[u]=(Δx2+Δy2)u is the five-point discretization and
Δx2u(x,y):=u(x−h,y)−2u(x,y)+u(x+h,y)Δy2u(x,y):=u(x,y−h)−2u(x,y)+u(x,y+h)]
[Hint: The matrix A of the nine-point scheme is symmetric, with the eigenvalues
λk,ℓ=−4sin22kπh−4sin22ℓπh+38sin22kπhsin22ℓπh,1⩽k,ℓ⩽m