Псевдодифференциальный оператор
Псевдодифференциальный оператор — расширение концепции дифференциального оператора в математическом анализе. Псевдодифференциальные операторы широко применяются в теории уравнений в частных производных и квантовой теории поля, например, в математических моделях, которые включают ультраметрические псевдодифференциальные уравнения в неархимедовом пространстве.
История
[править | править код]Изучение псевдодифференциальных операторов началось в середине 1960-х годов благодаря работам Кона[англ.], Ниренберга, Хёрмандера, Унтербергера и Бокобзы[1]. Эти исследователи сыграли важную роль во втором доказательстве теоремы об индексе Атьи-Зингера с применением K-теории. Хёрмандер получил признание от Атьи и Зингера за его вклад в понимание теории псевдодифференциальных операторов[2].
Мотивация
[править | править код]Линейные дифференциальные операторы с постоянными коэффициентами
[править | править код]Рассмотрим линейный дифференциальный оператор вида с постоянными коэффициентами, действующий на гладких функциях с компактным носителем в . Этот оператор можно записать как композицию умножения на полиномиальную функцию (называемую символом) и обратного преобразования Фурье в виде:
(1) |
Здесь, является мультииндексом, — комплексные числа, — повторная частная производная, где ∂ j означает дифференцирование по j -й переменной.
- Вывод формулы (1)
Преобразование Фурье гладкой функции u с компактным носителем в имеет вид . Используя формулу обращения Фурье, получаем:
Применив к этому представлению и использовав , получили формулу (1).
Представление решений уравнений в частных производных
[править | править код]Чтобы решить уравнение в частных производных вида , применим преобразование Фурье с обеих сторон и получим алгебраическое уравнение Если не равен нулю, для любых ξ ∈ имеем . По формуле обращения Фурье решение имеет вид
Здесь предполагается, что:
- — линейный дифференциальный оператор с постоянными коэффициентами,
- его символ никогда не равен нулю,
- и u, и ƒ имеют чётко определенное преобразование Фурье.
Можно смягчить последнее предположение, применяя теорию обобщённых функций. Первые два предположения можно ослабить следующим образом.
Применим к последней формуле преобразование Фурье функции ƒ, чтобы получить
Это похоже на формулу (1), за исключением того, что является функцией более общего вида.
Определение
[править | править код]В данном контексте мы рассматриваем псевдодифференциальные операторы как обобщение дифференциальных операторов. Переформулируем формулу (1) следующим образом: псевдодифференциальный оператор на — это оператор, который является функцией на значениях
, |
где является преобразованием Фурье функции u, а символ в подынтегральном выражении принадлежит определённому классу символов. Например, если — бесконечно дифференцируемая функция на , удовлетворяющая уравнению
при любых x, ξ ∈ , мультииндексах α, β, некоторых константах C α, β и действительного числа m, то принадлежит классу символов из Хёрмандера. Соответствующий оператор называется псевдодифференциальным оператором порядка m и принадлежит классу [3].
Свойства
[править | править код]Линейные дифференциальные операторы порядка m с гладкими ограниченными коэффициентами также являются псевдодифференциальными операторами порядка m. Композиция двух псевдодифференциальных операторов так же будет являться псевдодифференциальным оператором, и символ можно вычислить, используя символы и . Сопряжённый и транспонированный псевдодифференциальный оператор является псевдодифференциальным оператором.
Если эллиптический дифференциальный оператор порядка m обратим, то обратный оператор является псевдодифференциальным порядка −m, и его символ можно вычислить. Это означает, что можно решать линейные эллиптические дифференциальные уравнения более или менее явно, используя теорию псевдодифференциальных операторов.
Дифференциальные операторы являются локальными. То есть для определения эффекта оператора требуется только значение функции в окрестности точки. Псевдодифференциальные операторы псевдолокальны, что неформально означает, что при применении к обобщённой функции они не создают сингулярности в точках, где распределение уже гладко.
Ядро псевдодифференциального оператора
[править | править код]Псевдодифференциальные операторы могут быть представлены в виде ядер. Структура ядра вдоль диагонали зависит от порядка соответствующего оператора. Если символ удовлетворяет упомянутым дифференциальным неравенствам с , можно доказать, что ядро представляет собой сингулярное целочисленное ядро.
Примечания
[править | править код]- ↑ Stein, 1993, Chapter 6
- ↑ Atiyah & Singer, 1968, p. 486
- ↑ Виноградов И.М. Математическая энциклопедия. — Т. 4.
Литература
[править | править код]- Stein, Elias (1993), Harmonic Analysis: Real-Variable Methods, Orthogonality and Oscillatory Integrals, Princeton University Press.
- Atiyah, Michael F.; Singer, Isadore M. (1968), "The Index of Elliptic Operators I", Annals of Mathematics, 87 (3): 484—530, doi:10.2307/1970715, JSTOR 1970715
Ссылки
[править | править код]- Lectures on Pseudo-differential Operators by Mark S. Joshi, arxiv.org.
- Hazewinkel, Michiel, ed. (2001), "Pseudo-differential operator", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4