В математический анализ, точнее в микролокальном анализе, волновой фронт (набор) WF (f) характеризует особенности обобщенной функции f не только в пробеле, но и в отношении его преобразования Фурье в каждой точке. Термин «волновой фронт» был придуман Ларсом Хёрмандером примерно в 1970 году.
В более привычных терминах WF (f) сообщает не только о том, где функция f является сингулярной (что уже описано ее сингулярной поддержкой ), но также как и почему это особенность, точнее говоря о направлении, в котором возникает сингулярность. Эта концепция в основном полезна как минимум в двух измерениях, так как в одном измерении есть только два возможных направления. Дополнительным понятием невырожденности функции по направлению является микролокальная гладкость.
Интуитивно, в качестве примера, рассмотрим функцию, особый носитель которой сосредоточен на гладкой кривой на плоскости, на которой функция имеет скачкообразный разрыв. В направлении, касательном к кривой, функция остается гладкой. Напротив, в направлении, перпендикулярном кривой, функция имеет особенность. Чтобы решить, является ли функция гладкой в другом направлении v, можно попытаться сгладить функцию путем усреднения в направлениях, перпендикулярных v. Если полученная функция является гладкой, то мы считаем regard гладкой в направлении v., v входит в набор волнового фронта.
Формально в евклидовом пространстве набор волнового фронта из ƒ определяется как дополнение набора всех пар (x 0, v) такая, что существует тестовая функция с (x0) ≠ 0 и открытый конус Γ, содержащий v, так что оценка
выполняется для всех натуральных чисел N. Здесь обозначает преобразование Фурье. Отметим, что множество волновых фронтов является коническим в том смысле, что если (x, v) ∈ Wf (ƒ), то (x, λv) ∈ Wf (ƒ) для всех λ>0. В примере, рассмотренном в предыдущем абзаце, множество волновых фронтов является теоретико-множественным дополнением образа касательного пучка кривой внутри касательного пучка плоскости.
Поскольку определение включает обрезание функцией с компактным носителем, понятие волнового фронта может быть перенесено на любое дифференцируемое многообразие X. В этой более общей ситуации набор волновых фронтов представляет собой замкнутое коническое подмножество кокасательного расслоения T (X), поскольку переменная ξ естественным образом локализуется в ковекторе, а не в векторе. Набор волновых фронтов определяется таким образом, что его проекция на X равна сингулярной опоре функции.
В евклидовом пространстве набор волновых фронтов распределения ƒ определяется как
где - особый слой в точке x. Особый слой определяется как дополнение всех направлений , такое, что преобразование Фурье f, локализованное в x, является достаточно регулярным, когда ограничен открытым конусом, содержащим . Точнее, направление v находится в дополнении к , если существует гладкая функция φ с компактным носителем и φ ( x) ≠ 0 и открытый конус Γ, содержащий v, такой, что для каждого натурального числа N справедлива следующая оценка:
Если такая оценка верна для конкретной срезающей функции φ в точке x, это также верно для всех срезающих функций с меньшим носителем, возможно, для другого открытого конуса, содержащего v.
На дифференцируемом многообразии M, используя локальные координаты на котангенсном пучке, набор волновых фронтов WF (f) распределения ƒ можно определить следующим общим образом:
, где особый слой снова является дополнением всех направлений такой, что преобразование Фурье f, локализованное в x, является достаточно регулярным при ограничении конической окрестностью . Проблема регулярности является локальной, поэтому ее можно проверить в локальной системе координат с помощью преобразования Фурье по переменным x. Требуемая оценка регулярности хорошо трансформируется при диффеоморфизме, и поэтому понятие регулярности не зависит от выбора локальных координат.
Понятие набора волнового фронта может быть адаптировано с учетом других понятий регулярности функции. Локализовать можно здесь, сказав, что f усекается некоторой гладкой функцией отсечения, не обращающейся в нуль в точке x. (Процесс локализации можно было бы выполнить более элегантно, используя ростки.)
Более конкретно, это можно выразить как
где
Как правило, участки O требуются для удовлетворения некоторого условия роста (или убывания) на бесконечности, например такие, что принадлежат некоторому L пробел. Это определение имеет смысл, потому что преобразование Фурье становится более регулярным (с точки зрения роста на бесконечности), когда f усекается с плавным обрезанием .
Самая сложная «проблема» из Теоретическая точка зрения заключается в нахождении адекватного пучка O, характеризующего функции, принадлежащие данному подпучку E пространства G обобщенных функций.
Если мы возьмем G = D ′ пространство распределений Шварца и хотим охарактеризовать распределения, которые локально функции, мы должны взять в качестве O (Ω) классические функциональные пространства, называемые в литературе O ′ M (Ω).
Тогда проекция на первый компонент множества волновых фронтов распределения есть не что иное, как его классическая сингулярная опора, то есть дополнение множества, на котором его ограничение будет гладкая функция.
Набор волновых фронтов полезен, среди прочего, при изучении распространения сингулярностей с помощью псевдодифференциальных операторов.