Let . A one-dimensional Taylor expansion gives
Adding the three coordinate directions shows that the exact solution has stencil defect
This is the local defect of the seven-point Dirichlet Laplacian. Its inverse has max-norm size : this follows from the discrete maximum principle, for example by comparison with the grid restriction of , whose stencil is . Therefore the grid error is .
The question writes this error as , so
In the more usual terminology, the finite difference method is second-order accurate.
Extend a grid vector by zero to the Dirichlet boundary. Pairing contributions along undirected nearest-neighbour edges gives the discrete energy identity
where includes edges from an interior node to a boundary node. This is the three-dimensional version of summation by parts for the seven-point Dirichlet Laplacian.
The right side is nonpositive. If it vanishes, every pair of neighbouring values agrees; connectivity of the grid and the zero boundary values then imply . Thus for every nonzero , so is negative definite. In particular, zero is not an eigenvalue, and therefore