Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
График функции выпуклости, где и

В математике , А функция выпуклости (также называемая функциональным тест ) является функцией на евклидово пространства , которое является одновременно гладким (в том смысле, что непрерывные производные всех порядков) и компактный носитель . Набор всех функций столбиковых с доменом образует векторное пространство , обозначаемое или . Сопряженное пространство этого пространства , наделенное подходящей топологией является пространством распределений .

Примеры [ править ]

Функция, заданная

является примером функции рельефа в одном измерении. Из конструкции ясно, что эта функция имеет компактный носитель, поскольку функция вещественной прямой имеет компактный носитель тогда и только тогда, когда она имеет ограниченный замкнутый носитель. Доказательство гладкости проводится по тем же принципам, что и для связанной функции, обсуждаемой в статье о неаналитических гладких функциях . Эту функцию можно интерпретировать как функцию Гаусса, масштабируемую для размещения в единичном диске: подстановка соответствует отправке в .

Простой пример функции выпуклости в переменных получается путем взятия произведения копий указанной выше функции выпуклости в одной переменной, так что

Существование функций удара [ править ]

Иллюстрация наборов в конструкции.

Можно построить неровные функции «по спецификациям». Заявлено формально, если это произвольное компактное множество в измерениях и представляет собой открытое множество , содержащее , существует функция выпуклости , которая находится на и за пределами . Поскольку его можно рассматривать как очень маленькую окрестность , это равносильно возможности построить функцию, которая включена и быстро спадает за пределы , но при этом остается гладкой.

Построение происходит следующим образом. Рассматривается компактная окрестность в содержащихся в , так . Характеристическая функция от будет равна на и за пределами , так что, в частности, он будет на и за пределами . Однако эта функция не является гладкой. Ключевая идея заключается в том, чтобы сгладить немного, беря сверток из с mollifier . Последний - это просто функция удара с очень маленькой опорой, а интеграл которой равен . Такой успокаивающий эффект можно получить, например, взяв функцию выпуклости из предыдущего раздела и выполнив соответствующее масштабирование.

Свойства и использование [ править ]

Хотя функции выпуклости гладкие, они не могут быть аналитическими, если они не обращаются в нуль тождественно. Это простое следствие теоремы о тождестве . Выдувные функции часто используются как смягчающие , гладкие функции отсечки и для формирования гладких разделов единицы . Это наиболее распространенный класс тестовых функций, используемых в анализе. Пространство выпуклых функций закрывается при многих операциях. Например, сумма, произведение или свертка двух функций выпуклости снова является функцией выпуклости, и любой дифференциальный оператор с гладкими коэффициентами, примененный к функции выпуклости, создаст другую функцию выпуклости.

Преобразование Фурье функции выпуклости является (действительной) аналитической функцией, и ее можно распространить на всю комплексную плоскость: следовательно, она не может иметь компактного носителя, если она не равна нулю, поскольку единственной аналитической функцией выпуклости является нулевая функция (см. Палея-Винера теорема и теорема Лиувилля ). Поскольку функция выпуклости бесконечно дифференцируема, ее преобразование Фурье должно затухать быстрее, чем любая конечная степень для большой угловой частоты . [1] Преобразование Фурье конкретной функции выпуклости

сверху может быть проанализирован методом перевала и асимптотически убывает как

для больших . [2]

См. Также [ править ]

  • Лапласиан индикатора
  • Неаналитическая гладкая функция
  • Пространство Шварца

Ссылки [ править ]

  1. ^ KO Mead и LM Delves, "О скорости сходимости обобщенных разложений Фурье", IMA J. Appl. Математика. , т. 12, стр 247-259 (1973). DOI : 10,1093 / имамат / 12.3.247 .
  2. ^ Стивен Дж. Джонсон , Интегрирование седловой точки C ∞ "выпуклых" функций , arXiv: 1508.04376 (2015).