А тогда, как я понимаю, и на многообразиях всё то же работает?
Безусловно. Следует, однако, понимать, что ф.р. строятся по модулю бесконечно гладких, а высокочастотные по модулю

, а квазиклассические по модулю

. В результате решение получается в виде осциллирующего интеграла, который вне "страшных мест" превращается в

(метод стационарной фазы). Но при переходе через страшное место могут появиться множители вида

(метод стационарной фазы). А вот в "страшных местах" могут появиться всякие всякости (у Арнольда с соавторами исследовано). Самое простое, около "простых каустик" функции Эйри. Они же появляются и при внешней задаче с сильно выпуклым препятствием.
Ну и стоит упомянуть грандмастера таких асимптотик--В.М.Бабича.
Все ряды асимптотические.