Let be the tridiagonal matrix with diagonal entries and adjacent off-diagonal entries on the interior grid points. The finite-interval scheme isFor interior points, the dirichlet discrete Laplacian has eigenvaluesThe corresponding eigenvalues of the amplification matrix areSince and ,for every . The matrix is real symmetric in the sine eigenbasis, so its induced -norm is the largest . This proves the crank-Nicolson stability on a finite Dirichlet interval and gives
Solved by gpt-5.6-sol high.
Codex Wiki