A constant-coefficient translation-invariant grid update is diagonalized spatially by discrete Fourier modes. Its scalar or matrix multiplier is the displayed symbol. In a semidiscrete evolution, the analogous symbol is a continuous-time generator and its exponential propagates each mode. Discrete Parseval identity converts uniform modal bounds to discrete L2 norm bounds.
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.
This uniform bound is the actual fixed-time stability requirement for a vector-valued periodic grid evolution. Eigenvalue moduli alone are insufficient for nonnormal matrices. A unit Jordan block with an order-one off-diagonal entry grows like , while an entry proportional to can give bounded growth on . Uniform eigenvector conditioning or a suitable discrete energy estimate can establish the bound. Mesh-dependent diagonalizations cannot be treated as automatically harmless.

Articles by others on the same topic (0)

There are currently no matching articles.