Scalar Fourier power criterion

ID: scalar-fourier-power-criterion

For a scalar constant-coefficient grid update, Fourier transformation turns into multiplication by its symbol . Parseval identity proves the displayed norm equality; necessity is obtained by concentrating Fourier data near a maximizing frequency. Contractivity for every step is equivalent to . Mesh-uniform fixed-time stability, on , permits : powers are bounded by . Conversely a uniform bound at gives this restriction as . For matrix symbols, use the existing uniform power bound for matrix Fourier symbols rather than only eigenvalue moduli.

New to topics? Read the docs here!