For an amplitude of symbol order in frequency variables, applying a phase integration operator times makes the pairing with a test function absolutely integrable. Derivatives of a large-frequency cutoff are supported where and give an error bounded by times finitely many test derivatives. That error tends to zero, making the resulting distribution independent of the cutoff and of the admissible number of integrations.
Articles by others on the same topic
There are currently no matching articles.