Write , and . Insert a smooth exact heat equation solution into the Crank-Nicolson method. Expanding about the midpoint gives
Thus the residual, defined as left side minus right side, is
Since implies ,
This proves second-order numerical consistency in both space and time. About the old time level, uncombined Taylor remainders can include ; the midpoint expression displays the symmetric leading errors most cleanly. Multiplying by gives the one-step defect . Stable evolution with suitable initial and boundary data then gives global error ; consistency alone does not prove global convergence.

Articles by others on the same topic (0)

There are currently no matching articles.