Five-point Dirichlet Laplacian as a Kronecker sum

If $T$ is the one-dimensional Dirichlet second-difference matrix on $m$ interior points, the two directional parts of the two-dimensional five-point Laplacian areThey commute, and $A_x+A_y$ is the Kronecker-sum discretization of the Laplacian.

The split stephas amplification matrixOn a common directional eigenvector its eigenvalue is $(1+\mu {\lambda }_p)/(1-\mu {\lambda }_q)$.

On the $m$ by $m$ Dirichlet grid with $h=1/(m+1)$, the exact discrete stability condition for $m>1$ isThe mesh-independent sufficient condition is $0<\mu \le 1/2$, and the exact bound tends to $1/2$ as $h\to 0$.

Adding the correctiongivesIts common-basis eigenvalues areSince ${\lambda }_p,{\lambda }_q<0$, one has $0<d_{pq}\le 1$ for every $\mu >0$.