WikiDer > Теорема Хилле – Иосиды

Hille–Yosida theorem

В функциональный анализ, то Теорема Хилле – Иосиды характеризует генераторы сильно непрерывные однопараметрические полугруппы из линейные операторы на Банаховы пространства. Иногда это указывается для особого случая полугруппы сжатия, в общем случае Теорема Феллера – Миядеры – Филлипса. (после Уильям Феллер, Исао Миядера и Ральф Филлипс). Случай полугруппы сжатия широко используется в теории Марковские процессы. В других сценариях тесно связанные Теорема Люмера – Филлипса часто более полезен при определении того, генерирует ли данный оператор сильно непрерывная полугруппа сжатия. Теорема названа в честь математики Эйнар Хилле и Косаку Ёсида который независимо открыл результат около 1948 года.

Формальные определения

Основная статья: Полугруппа C0

Если Икс является банаховым пространством, a однопараметрическая полугруппа операторов на Икс семейство операторов, индексированных неотрицательными действительными числами {Т(т)} т ∈ [0, ∞) такой, что

Полугруппа называется сильно непрерывный, также называемый (C0) полугруппа тогда и только тогда, когда отображение

непрерывно для всех Икс ∈ Икс, где [0, ∞) имеет обычную топологию и Икс имеет топологию нормы.

Инфинитезимальный генератор однопараметрической полугруппы Т оператор А определенного на возможно собственном подпространстве в Икс следующим образом:

  • Область А это набор Икс ∈ Икс такой, что
имеет предел как час приближается к 0 справа.
  • Значение А x - значение указанного выше предела. Другими словами, А Икс - правая производная в 0 функции

Инфинитезимальный генератор сильно непрерывной однопараметрической полугруппы - это замкнутый линейный оператор определено на плотный линейное подпространство из Икс.

Теорема Хилле – Иосиды дает необходимое и достаточное условие для замкнутый линейный оператор А на банаховом пространстве как инфинитезимальный генератор сильно непрерывной однопараметрической полугруппы.

Формулировка теоремы

Позволять А - линейный оператор, определенный на линейном подпространстве D(А) банахова пространства Икс, ω реальное число и M > 0. Тогда А генерирует сильно непрерывная полугруппа Т это удовлетворяет если и только если[1]

  1. А является закрыто и D(А) является плотный в Икс,
  2. каждый настоящий λ > ω принадлежит к набор резольвент из А и для таких λ и всех положительных целые числа п,

Теорема Хилле-Иосиды для полугрупп стягивания

В общем случае теорема Хилле – Иосиды имеет в основном теоретическое значение, поскольку оценки степеней оператор резольвенты фигурирующие в формулировке теоремы, обычно не могут быть проверены на конкретных примерах. В частном случае полугруппы сжатия (M = 1 и ω = 0 в приведенной выше теореме) только в случае п = 1 требует проверки, и теорема также приобретает практическое значение. Явная формулировка теоремы Хилле – Иосиды для полугрупп стягивания:

Позволять А - линейный оператор, определенный на линейном подпространстве D(А) из Банахово пространство Икс. потом А генерирует полугруппа сжатия если и только если[2]

  1. А является закрыто и D(А) является плотный в Икс,
  2. каждый настоящий λ > 0 принадлежит резольвентному множеству А и для таких λ,

Смотрите также

Заметки

  1. ^ Теорема Энгеля и Нагеля II.3.8, Arendt et. al. Теорема 3.3.4, теорема Стаффанса 3.4.1.
  2. ^ Теорема Энгеля и Нагеля II.3.5, Arendt et. al. Следствие 3.3.5, следствие Стаффанса 3.4.5.

использованная литература

  • Рисса, Ф.; С.-Надь, Б. (1995), Функциональный анализ. Перепечатка оригинала 1955 г., Dover Книги по высшей математике, Дувр, ISBN 0-486-66289-6
  • Рид, Майкл; Саймон, Барри (1975), Методы современной математической физики. II. Фурье-анализ, самосопряженность., Academic Press, ISBN 0125850506
  • Энгель, Клаус-Йохен; Нагель, Райнер (2000), Однопараметрические полугруппы для линейных эволюционных уравнений, Springer
  • Арендт, Вольфганг; Бэтти, Чарльз; Хибер, Матиас; Нойбрандер, Франк (2001), Векторнозначные преобразования Лапласа и задачи Коши, Бирхаузер
  • Стаффанс, Олоф (2005), Корректные линейные системы, Издательство Кембриджского университета
  • Феллер, Уильям (1971), Введение в теорию вероятностей и ее приложения. Vol. II. Второе издание, John Wiley & Sons, Нью-Йорк
  • Враби, Иоан И. (2003), C0-полугруппы и приложения. Математические исследования Северной Голландии, 191., North-Holland Publishing Co., Амстердам