Von Neumann Stability vs ”Regular” Stability criteria

finite differencesfourier analysisnumerical methodspartial differential equations

I am going over stability for numerical PDEs and am trying to differentiate between the "regular" stability criteria for IVPs:
$$||\textbf{u}^{n+1} ||\leq K ||\textbf{u}^0||$$
and the von Neumann stability criteria
$$\rho(x) \leq 1 + c\Delta t.$$
Here $\rho$ is the symbol of the finite difference scheme, and $u^i$ is the $i$th solution vector of the scheme. From what I have gathered, the von Neumann criteria is more flexible in that it allows exponential growth but at the danger of only being accurate in the limit as $\Delta x, \Delta t \rightarrow 0$, but why are we even interested in this in the first place? Is it really just because of its flexibility in proving stability for more difficult schemes? Is there anything more to it?

Best Answer

The concept of stability is, in and of itself, meaningless. I mean this in the sense that stability is trivial to achieve. We always have the possibility to set all the finite difference coefficients to zero, giving a numerical solution that is zero. This is stable no matter the definition of stability we use. However, as a concept it is clearly void of any information.

Stability is only meaningful if we also account for some notion of accuracy. What this notion should entail is strongly problem dependent. For example, consider the linear PDE $$ u_t + a u_x = 0, $$ posed on a periodic domain with a periodic initial condition $u(0,x) = u_0$. Here $a$ is some constant. The solution satisfies the estimate $\| u \| = \| u_0 \|$ for all times. In this example I am considering the $L^2$ norm. A relevant stability concept for this problem would be something like $\| \mathbf{u}^{n+1} \|_h \leq \| \mathbf{u}^n \|_h$. The discrete norm is chosen in a way that approximates the norm used in the continuous setting. We would aim for $\| \mathbf{u}^{n+1} \|_h = \| \mathbf{u}^n \|_h + \mathcal{O}(\Delta t^p, \Delta x^q)$ where the ordo-term is non-positive and $p$ and $q$ are constants that describe the desired accuracy of the numerical scheme. If we can't obtain such an estimate, then we should not expect this accuracy.

On the other hand, suppose that we are instead solving the PDE $$ u_t + a u_x = c u, $$ where $c$ is another constant. The solution now satisfies $\| u \| = e^{ct} \| u_0 \|$ for all times and a relevant concept may be something like $\| \mathbf{u}^{n+1} \|_h \leq K \| \mathbf{u}^n \|_h$, where $K \approx e^{c \Delta t}$. The symbol $\rho$ you provide in the question is such an approximation. The sign of $c$ obviously has a strong influence on the nature of this stability concept.

Thus, to answer your questions, we should bother about different stability definitions because they only make sense in the context of the problem we are solving. The Neumann or the 'regular' stability concepts should not be thought of as more or less flexible - after all, what is the point in allowing for exponential growth if the exact solution is decaying? Rather, what the Neumann analysis allows us to do is to obtain some specific information about the numerical solution that a 'regular' (say, based on energy estimates for example) stability analysis may not provide, and vice versa.

Related Question