WikiDer > C0-полугруппа

В математика, а C₀-полугруппа, также известный как сильно непрерывная однопараметрическая полугруппа, является обобщением экспоненциальная функция. Так же, как экспоненциальные функции обеспечивают решения скалярного линейного постоянного коэффициента обыкновенные дифференциальные уравнения, сильно непрерывный полугруппы обеспечить решения линейных обыкновенных дифференциальных уравнений с постоянными коэффициентами в Банаховы пространства. Такие дифференциальные уравнения в банаховых пространствах возникают, например, из дифференциальные уравнения с запаздыванием и уравнения в частных производных.

Формально сильно непрерывная полугруппа является представлением полугруппы (р₊, +) на некоторых Банахово пространство Икс что непрерывно в сильная операторная топология. Таким образом, строго говоря, сильно непрерывная полугруппа - это не полугруппа, а, скорее, непрерывное представление очень конкретной полугруппы.

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

А сильно непрерывная полугруппа на Банахово пространство ${ displaystyle X}$ это карта${ Displaystyle T: mathbb {R} _ {+} к L (X)}$такой, что

1. ${ displaystyle T (0) = I}$,   (оператор идентификации на ${ displaystyle X}$)
2. ${ Displaystyle forall t, s geq 0: T (t + s) = T (t) T (s)}$
3. ${ displaystyle forall x_ {0} in X: | T (t) x_ {0} -x_ {0} | to 0}$, так как ${ displaystyle t downarrow 0}$.

Первые две аксиомы являются алгебраическими и утверждают, что ${ displaystyle T}$ является представлением полугруппы ${ Displaystyle {( mathbb {R} _ {+}, +)}}$; последний является топологическим и утверждает, что карта ${ displaystyle T}$ является непрерывный в сильная операторная топология.

Генератор бесконечно малых

В бесконечно малый генератор А сильно непрерывной полугруппы Т определяется

${ Displaystyle A , x = lim _ {t downarrow 0} { frac {1} {t}} , (T (t) -I) , x}$

всякий раз, когда существует ограничение. Область А, D(А), - множество x∈X для которых этот предел существует; D(А) - линейное подпространство и А линейна в этой области.^[1] Оператор А является закрыто, хотя не обязательно ограниченный, а область плотна в Икс.^[2]

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

Равномерно непрерывная полугруппа

Равномерно непрерывная полугруппа - это сильно непрерывная полугруппа Т такой, что

${ displaystyle lim _ {t to 0 ^ {+}} | T (t) -I | = 0}$

держит. В этом случае инфинитезимальный генератор А из Т ограничен, и мы имеем

${ Displaystyle { mathcal {D}} (А) = Х}$

и

${ displaystyle T (t) = e ^ {At}: = sum _ {k = 0} ^ { infty} { frac {A ^ {k}} {k!}} t ^ {k}.}$

Наоборот, любой ограниченный оператор

${ displaystyle A двоеточие X to X}$

является инфинитезимальным генератором равномерно непрерывной полугруппы, заданной формулой

${ displaystyle T (t): = e ^ {At}}$.

Таким образом, линейный оператор А является инфинитезимальным генератором равномерно непрерывной полугруппы тогда и только тогда, когда А - линейный ограниченный оператор.^[3] Если Икс является конечномерным банаховым пространством, то любая сильно непрерывная полугруппа является равномерно непрерывной полугруппой. Для сильно непрерывной полугруппы, не являющейся равномерно непрерывной полугруппой, инфинитезимальный генератор А не ограничен. В таком случае, ${ displaystyle e ^ {At}}$ не нужно сходиться.

Абстрактные задачи Коши

Рассмотрим абстрактное Задача Коши:

${ displaystyle u '(t) = Au (t), ~~~ u (0) = x,}$

где А это закрытый оператор на Банахово пространство Икс и Икс∈Икс. Есть две концепции решения этой проблемы:

• непрерывно дифференцируемая функция ты:[0,∞)→Икс называется классическое решение задачи Коши, если ты(т) ∈ D(А) для всех т > 0 и удовлетворяет задаче начального значения,
• непрерывная функция ты:[0,∞) → Икс называется мягкий раствор задачи Коши, если

${ displaystyle int _ {0} ^ {t} u (s) , ds in D (A) { text {and}} A int _ {0} ^ {t} u (s) , ds = u (t) -x.}$

Любое классическое решение - это мягкий раствор. Мягкое решение является классическим тогда и только тогда, когда оно непрерывно дифференцируемо.^[4]

Следующая теорема связывает абстрактные задачи Коши и сильно непрерывные полугруппы.

Теорема^[5] Позволять А - замкнутый оператор в банаховом пространстве Икс. Следующие утверждения эквивалентны:

1. для всех Икс∈Икс существует единственное мягкое решение абстрактной задачи Коши,
2. Оператор А порождает сильно непрерывную полугруппу,
3. то набор резольвент из А непусто и для всех Икс ∈ D(А) существует единственное классическое решение задачи Коши.

При выполнении этих утверждений решение задачи Коши дается формулой ты(т) = Т(т)Икс с участием Т сильно непрерывная полугруппа, порожденная А.

Теоремы о поколении

В связи с проблемами Коши обычно линейный оператор А задается вопрос, является ли он генератором сильно непрерывной полугруппы. Теоремы, отвечающие на этот вопрос, называются теоремы поколения. Полная характеристика операторов, порождающих сильно непрерывные полугруппы, дается Теорема Хилле – Иосиды. Однако более практическое значение имеют условия, которые гораздо легче проверить. Теорема Люмера – Филлипса.

Специальные классы полугрупп

Равномерно непрерывные полугруппы

Сильно непрерывная полугруппа Т называется равномерно непрерывный если карта т → Т(т) непрерывна от [0, ∞) до L(Икс).

Генератором равномерно непрерывной полугруппы является ограниченный оператор.

Аналитические полугруппы

Сжимающие полугруппы

Дифференцируемые полугруппы

Сильно непрерывная полугруппа Т называется в конечном итоге дифференцируемый если существует т₀ > 0 такой, что Т(т₀)Икс⊂D(А) (эквивалентно: Т(т)Икс ⊂ D(А) для всех т ≥ т₀) и Т является сразу дифференцируемый если Т(т)Икс ⊂ D(А) для всех т > 0.

Всякая аналитическая полугруппа немедленно дифференцируема.

Эквивалентная характеризация в терминах задач Коши следующая: сильно непрерывная полугруппа, порожденная А в конечном итоге дифференцируема тогда и только тогда, когда существует т₁ ≥ 0 такой, что для всех Икс ∈ Икс решение ты абстрактной задачи Коши дифференцируема на (т₁, ∞). Полугруппа сразу дифференцируема, если т₁ можно выбрать равным нулю.

Компактные полугруппы

Сильно непрерывная полугруппа Т называется в конечном итоге компактный если существует т₀ > 0 такой, что Т(т₀) это компактный оператор (эквивалентно^[6] если Т(т) - компактный оператор для всех т ≥ т₀). Полугруппа называется сразу же компактный если Т(т) - компактный оператор для всех т > 0.

Нормальные непрерывные полугруппы

Сильно непрерывная полугруппа называется в конечном итоге нормальная непрерывная если существует т₀ ≥ 0 такое, что отображение т → Т(т) непрерывна из (т₀, ∞) на L(Икс). Полугруппа называется сразу норма непрерывная если т₀ можно выбрать равным нулю.

Отметим, что для полугруппы, непрерывной непосредственно по норме, отображение т → Т(т) не может быть непрерывным в т = 0 (что сделало бы полугруппу равномерно непрерывной).

Аналитические полугруппы, (в конечном итоге) дифференцируемые полугруппы и (в конечном итоге) компактные полугруппы все в конечном итоге непрерывны по норме.^[7]

Стабильность

Экспоненциальная стабильность

В предел роста полугруппы Т постоянная

${ displaystyle omega _ {0} = inf _ {t> 0} { frac {1} {t}} log | T (t) |.}$

Это так называется, так как это число также является точной нижней гранью всех действительных чисел. ω такая, что существует постоянная M (≥ 1) с

${ Displaystyle | Т (т) | Leq Me ^ { omega t}}$

для всех т ≥ 0.

Следующие варианты эквивалентны:^[8]

1. Существуют M,ω> 0 такое, что для всех т ≥ 0: ${ Displaystyle | Т (т) | leq M { rm {e}} ^ {- omega t},}$
2. Граница роста отрицательная: ω₀ < 0,
3. Полугруппа сходится к нулю в унифицированная операторная топология: ${ Displaystyle Lim _ {т к infty} | Т (т) | = 0}$,
4. Существует т₀ > 0 такой, что ${ Displaystyle | Т (т_ {0}) | <1}$,
5. Существует т₁ > 0 такой, что спектральный радиус из Т(т₁) строго меньше единицы,
6. Существует п ∈ [1, ∞) такая, что для всех Икс∈Икс: ${ displaystyle int _ {0} ^ { infty} | T (t) x | ^ {p} , dt < infty}$,
7. Для всех п ∈ [1, ∞) и все Икс ∈ Икс: ${ displaystyle int _ {0} ^ { infty} | T (t) x | ^ {p} , dt < infty.}$

Полугруппа, удовлетворяющая этим эквивалентным условиям, называется экспоненциально стабильный или равномерно стабильный (любое из первых трех из приведенных выше утверждений используется в качестве определения в определенных частях литературы). Что L^п условия эквивалентны экспоненциальной устойчивости, называется Теорема Датко-Пази.

В случае Икс это Гильбертово пространство есть еще одно условие, которое эквивалентно экспоненциальной устойчивости с точки зрения оператор резольвенты генератора:^[9] все λ с положительной действительной частью принадлежат резольвентному множеству А а резольвентный оператор равномерно ограничен в правой полуплоскости, т. е. (λI − А)⁻¹ принадлежит к Харди космос ${ Displaystyle Н ^ { infty} ( mathbb {C} _ {+}; L (X))}$. Это называется Теорема Герхарта-Прусса.

В спектральная граница оператора А постоянная

${ Displaystyle s (A): = sup {{ rm {Re}} , lambda: lambda in sigma (A) }}$,

с условием, что s(А) = −∞, если спектр из А пусто.

Граница роста полугруппы и спектральная граница ее генератора связаны соотношением:^[10] s (A) ≤ω₀(Т). Есть примеры^[11] где s(А) < ω₀(Т). Если s(А) = ω₀(Т), тогда Т считается, что удовлетворяет спектрально определяемое условие роста. В конце концов, непрерывные по норме полугруппы удовлетворяют условию спектрально детерминированного роста.^[12] Это дает другую эквивалентную характеристику экспоненциальной устойчивости для этих полугрупп:

• Окончательно непрерывная по норме полугруппа экспоненциально устойчива тогда и только тогда, когда s(А) < 0.

Обратите внимание, что в конечном итоге компактные, в конечном итоге дифференцируемые, аналитические и равномерно непрерывные полугруппы в конечном итоге непрерывны по норме, так что условие спектрально детерминированного роста выполняется, в частности, для этих полугрупп.

Сильная стабильность

Сильно непрерывная полугруппа Т называется сильно стабильный или асимптотически устойчивый если для всех Икс ∈ Икс: ${ Displaystyle lim _ {т к infty} | Т (т) х | = 0}$.

Экспоненциальная стабильность предполагает сильную стабильность, но обратное, как правило, неверно, если Икс бесконечномерно (верно для Икс конечномерные).

Следующее достаточное условие сильной устойчивости называется Теорема Арендт – Бэтти – Любича – Фонга.:^[13][14] Предположим, что

1. Т ограничен: существует M ≥ 1 такое, что ${ Displaystyle | Т (т) | Leq M}$,
2. А не имеет остаточный спектр на мнимой оси, и
3. Спектр А расположенная на мнимой оси, счетна.

потом Т сильно устойчив.

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

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

Заметки

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

• Э Хилле, Р. С. Филлипс: Функциональный анализ и полугруппы. Американское математическое общество, 1975.
• R F Занавес, H J Zwart: Введение в теорию бесконечномерных линейных систем. Springer Verlag, 1995.
• Э. Дэвис: Однопараметрические полугруппы (Монографии L.M.S.), Academic Press, 1980, ISBN 0-12-206280-9.
• Энгель, Клаус-Йохен; Нагель, Райнер (2000), Однопараметрические полугруппы для линейных эволюционных уравнений, Springer
• Арендт, Вольфганг; Бэтти, Чарльз; Хибер, Матиас; Нойбрандер, Франк (2001), Векторнозначные преобразования Лапласа и задачи Коши, Бирхаузер
• Стаффанс, Олоф (2005), Корректные линейные системы, Издательство Кембриджского университета
• Ло, Чжэн-Хуа; Го, Бао-Чжу; Моргул, Омер (1999), Устойчивость и стабилизация бесконечномерных систем с приложениями, Springer
• Партингтон, Джонатан Р. (2004), Линейные операторы и линейные системы, Лондонское математическое общество Студенческие тексты, Издательство Кембриджского университета, ISBN 0-521-54619-2