Let . By Proposition 2, we get the conclusion that has smooth expansions in a neighborhood of . In particular, converges to a smooth function in , and the convergence is exponential in any -norm. By Proposition 1, . We call a nondegenerate false spike if .
Note that nondegenerate false spikes have punctured neighborhoods with normal expansions.
This work is licensed under a Creative Commons License.