Let . By the observations made prior to the definition, has smooth expansions in the neighborhood of . In particular converges to a smooth function in and the convergence is exponential in any -norm. We call a non-degenerate true spike if .
The choice of is unimportant. Note that nondegenerate true spikes have punctured neighborhoods with normal expansions.
This work is licensed under a Creative Commons License.