§ 3. ФУНКЦИИ ОТ ОПЕРАТОРОВ |
131 |
дробной степени Ла оператора Л,_то он подчинен А с порядком а; если В допускает замыкание В и подчинен А с порядком а, то В подчинен дробной степени ЛР при р > а с порядком а/р.
Если для оператора В также |
выполнено условие |
||/?_8( В ) ||^ |
|
(s > 0) |
и он подчинен оператору Л, |
то дробная |
|
степень Ва подчинена |
всякой |
дробной степени ЛР |
при р > а. |
Для самосопряженных операторов в гильбертовом простран стве эти утверждения уточняются (см. гл. IV, § 9, п. 3).
Ли т е р а т у р а : [34], [36], [58].
4.Экспоненциальная функция, группы операторов. Если опе ратор Л, действующий в банаховом пространстве £, ограничен, то, как отмечалось в п. 1, можно ввести с помощью ряда экс поненциальную функцию
e™ = \ + t A + - ^ A * + ... + - £ - А П+ ...
Эта функция непрерывна по t в смысле нормы оператора и удовлетворяет групповому соотношению
gtAg%A — ^(f+т) А
Можно поставить более общий вопрос об изучении однопа раметрических непрерывных по норме групп операторов, т. е. семейств операторов U(t) (—оо < t < оо), непрерывно по нор ме зависящих от t и удовлетворяющих соотношению
U(t)U(x) = U(t + %) |
( - о о < f , т < о о ) . |
Оказывается, что каждая такая группа представима в виде U (t ) — etA, где Л — ограниченный* оператор. Чтобы найти Л, можно заметить, что t/(0) = / , поэтому при малых t оператор U(t) будет иметь спектр в окрестности единицы и для него можно построить In U(t). Оператор Л = (l/t) \п U(t) не будет зависеть от t и будет являться искомым. Другой подход осно ван на том, что группа U(t) удовлетворяет дифференциальному уравнению для экспоненты
dU(t) |
AU (t)y |
|
dt |
||
|
поэтому оператор Л можно определить как производную от группы U(t) в нуле. В связи с этим оператор Л называется ин финитезимальным оператором или инфйнитезимальным произ водящим оператором или, короче, производящим оператором группы U(t).
Дальнейший важный шаг в исследовании экспоненциальной функции состоит в^ отказе от непрерывности ее по норме. Рас
сматриваются |
однопараметрические группы ограниченных опе |
раторов U(t) |
(—о о < ^ < о о ) , непрерывные по f в сильной |
132 |
ГЛ. III. ЛИНЕЙНЫЕ ОПЕРАТОРЫ |
операторной топологии. Этот объект оказывается значительно более богатым. Производящий оператор А снова вводится как производная группы в нуле, а точнее
lim i ( U ( h ) - / ) x
h -> 0 п
на тех л; <= £, для которых предел существует. Если группа не является непрерывной по норме, то оператор А неограничен, но является замкнутым с плотной областью определения. Группу U(t) можно рассматривать как экспоненциальную функцию от Л, например, в следующем смысле: существует всюду плотное множество элементов х, на котором
U{t)x = x + tAx + |
... + -^j- Апх + ... |
Далее, при x<^.D{A) |
|
dU^ -x- = |
AU (t) x. |
Имеется полное описание производящих операторов: для то го чтобы линейный оператор А был производящим оператором однопараметрической сильно непрерывной группы операторов,
необходимо и достаточно, чтобы он |
был замкнутым с плотной |
|
в Е областью определения D(A), имел спектр, расположенный |
||
в полосе |R e ^ |^ c o , и резольвенту /?Х(Л), |
удовлетворяющую |
|
условиям |
|
|
! д Г ( л ) ||< м ( т - с о Г п |
|
|
(К— вещественно и \К\ > со, /я = |
1, 2, ...), |
где константа М |
не зависит от пг. |
|
|
Один из приемов построения группы по ее производящему оператору состоит снова в применении интеграла Коши, кото рый в этом случае пишется в следующем виде:
|
y+ oo |
|
U(t)x = — ~ |
j extRx(A)xdh |
(Y>©). |
|
Y—too |
|
При x <=D(A) и t > 0 этот интеграл сходится в смысле глав ного значения и определяет на плотном в Е множестве D{A) ограниченный оператор, который замыканием доопределяется
на всем пространстве Е. При этом |
U(t) сильно сходятся к / |
при t —►0. При ^ < 0 операторы U(t) |
можно определить анало |
гично, меняя знак у.
Имеются и другие способы построения группы по произво дящему оператору, которые в п. 5 будут приведены в более общем случае.
Для ограниченного оператора А функция -еХА может быть определена тем же рядом и для комплексных t и является це
§ 3. ФУНКЦИИ ОТ ОПЕРАТОРОВ |
133 |
лой аналитической функцией со значениями в L(E,E). Сильно непрерывная группа может уже не быть аналитической и даже как функция со значениями в L(E, Е) может не быть диффе ренцируемой. Если такая группа аналитична, то она обяза тельно порождена ограниченным оператором и непрерывна по норме.
Ли т е р а т у р а : [23], [27], [36], [58].
5.Экспоненциальная функция, полугруппы операторов.
Дальнейшее обобщение понятия экспоненциальной функции от оператора велось в том направлении, что отказались от требо
вания, чтобы она была определена при отрицательных t. В свя зи с этим возникли следующие определения: семейство ограни ченных операторов U(t) ( ^>0) , действующих в банаховом пространстве Е, называется сильно непрерывной однопарамет рической полугруппой операторов, если U(t) сильно непрерывно
.зависит |
от / и |
удовлетворяет условию |
U(t) U(x) |
— U(t -f т) |
||
(t, т > 0 ) . |
Если, |
кроме |
того, U(t)x— >х |
при t — |
и любом |
|
х е £ , |
то |
говорят, что |
U(t) — полугруппа |
с Co-условием. Для |
||
полугруппы также вводится понятие производящего оператора как производной справа от полугруппы в нуле.
Для того чтобы линейный оператор А был производящим оператором полугруппы U(t) с С0-условием, необходимо и до статочно, чтобы он был замкнутым с плотной в Е областью определения, имел спектр, лежащий в полуплоскости ReX^oo, и резольвенту, удовлетворяющую условиям
\R K (Л)||<М(Я — со)”т при Я>со и |
т = 1 , |
2, |
где М не зависит от X и т. |
трудно |
проверяемы. |
Условия на все степени резольвенты |
||
Они заведомо будут выполнены, если |
|
|
||^ M ) ||< ( A - 0)_1 при |
Я > со |
|
(условие Хи л л е — Иосида) .
Для полугруппы U(t) справедлива оценка
|
II 1/(0 ||< М ет<; |
в частности, при условии Хилле — Иосида |
|
|
ll£/(0 II |
Если еще со ^ |
0, то полугруппа состоит из операторов сжатия, |
т. е. ||1/(0Н < |
1. Для этого необходима и достаточна оценка |
\\RK(A)\\<%-' (%>0). |
|
Построение |
полугруппы по производящему оператору можно |
произвести с помощью интеграла Коши, написанного выше для случая группы. Имеются и другие формулы, показывающие
134 ГЛ. III. ЛИНЕЙНЫЕ ОПЕРАТОРЫ
связь между полугруппами и экспоненциальной функцией, на пример:
1) |
U ( t ) x = |
|
где |
Ah = \ { U (h) - /); |
|
h -> 0 |
|
|
n |
2) |
[ / № j = l i m e 4 |
|
где |
/ х = - Я / - Я2/^(Л); |
|
А» —^ оо |
|
|
|
|
Я—1 ^ |
|
|
* |
3) |
t/ (0 ^ |
|
+ (ТГ^ТУТ J ( t - i ) n~'U(T)Aaxdx |
|
|
/г—О |
|
|
О |
|
|
|
|
(л:еО (Л п)); |
4) |
£/(/)*== lim (/ — у |
|
X. |
|
|
k-><x> \ |
к |
|
|
Простейшие примеры групп или полугрупп возникают при рассмотрении операции сдвига аргумента в различных про странствах функций, определенных на вещественной оси или
полуоси. Например, |
в пространствах Lp(—оо, оо) |
(1 ^ р < о о ) |
операторы сдвига |
U(t)f (s) = f (t -f- s) (—oo '< |
t < оо) обра |
зуют сильно непрерывную группу. Эти же операторы обр4,зуют сильно непрерывную полугруппу операторов, удовлетворяющую
Co-условию, в пространствах Lp(0, оо) |
( 1 - ^ р < о о ) . Все |
опе |
раторы 'U(t) являются операторами |
сжатия (\\U(t) || ^ |
1). |
Группу или полугруппу с такими же свойствами образуют опе раторы сдвига в подпространствах пространств См (—-оо, оо) и См (0, оо), состоящих из всех непрерывных ограниченных и рав номерно непрерывных на оси (соответственно, на полуоси) функ ций. Производящим оператором групп или полугрупп сдвигов является оператор дифференцирования, определенный на всех абсолютно непрерывных на каждом конечном отрезке функциях с производными, принадлежащими тем пространствам, в кото рых рассматриваются эти группы или полугруппы.
Первая из приведенных выше экспоненциальных формул, например, приводит к таким результатам.
Если U(t) — оператор сдвига, то оператор
AJ = ± [ U { h ) - I ] f = ±[f(s + h ) - f (s)} = | Ahf (s)
дает первую разделенную разность функции f, а его п-я степень дает n-ю разделенную разность
>П
Anhf = Jn 2 ( - 1Г * Clf (х +k h ) = ± Ajf (8).
§ 3. ФУНКЦИИ ОТ ОПЕРАТОРОВ |
135 |
Тогда справедлива формула
f(s + t) — lim У |
tn |
|
hn e |
||
п=О |
||
|
Если функция ограничена и равномерно непрерывна на оси, то
предел |
существует равномерно по |
s ^ (—оо, оо) и по |
t, |
изме |
||
няющемся |
в конечном |
интервале. |
Если f ^ L p(—00, 00) |
(1 ^ |
||
^ р < |
оо), |
то предел |
существует |
в смысле сходимости |
в сред |
|
нем в L p . Написанная формула может рассматриваться как пря мое обобщение формулы Тейлора на неаналитические функции.
Если полугруппа U(t) удовлетворяет С0-условию и дополни
тельно обладает тем свойством, что |
U(t)x<=D(A) при |
/ > 0 |
и |
||
любом х ^ Е , |
то функции |
U(t)x (х е |
Е) бесконечно дифферен |
||
цируемы при |
( > 0 и все |
операторы |
AnU(t) (п= 1, 2, |
...) |
яв |
ляются ограниченными операторами в Е. Если, кроме того, вы полнено неравенство \\AU(t)\\ ^ Nt~l (0 ^ t ^ 1), то полугруп па U(t) допускает аналитическое продолжение U(£) в сектор комплексной плоскости, содержащий положительную полуось:
|arg£| < (eN)~l. В |
этом секторе t/(£) голоморфна, |
обладает |
полугрупповым свойством f/(£i + £2) = t/(£i) J7(b) и |
— >- |
|
—►х, когда 5 ^ 0 в |
каждом внутреннем замкнутом |
секторе |
|arg£| ^ q ( e N ) - 1 (q < |
1). Для всякой полугруппы с указанны |
|||||||
ми свойствами \\AU{t)\\ = |
0(М) . |
Следует |
отметить, |
что, |
если |
|||
для полугруппы U(t) с Co-условием |
выполняется неравенство |
|||||||
lim t\\AU (t) \\<е~\ |
то |
U ( t ) = e tA, |
где |
А — ограниченный |
||||
*-»+о |
|
|
|
|
|
|
|
|
оператор. |
|
|
|
|
|
|
|
|
В главе V, § 2, п. 4—5 приведены характеристики ре |
||||||||
зольвент |
производящих операторов, обеспечивающие |
сильную |
||||||
бесконечную дифференцируемость |
или |
аналитичность |
соответ |
|||||
ствующих полугрупп. |
|
|
|
|
в банаховом |
про |
||
Если |
U(t) — полугруппа с Со-услобием |
|||||||
странстве |
Е, то операторы |
(сопряженные) |
U'(t) образуют |
по |
||||
лугруппу ограниченных операторов в сопряженном простран
стве £', при этом W it)? -*! при |
0 |
и любом f <= Е' лишь |
в смысле слабой топологии (см. гл. |
I, § |
4, п. 3). Если А — про |
изводящий оператор U(t)t то сопряженный оператор А' будет
слабым производящим оператором полугруппы U'(t) |
в том |
||
смысле, что D(A') состоит из |
тех и только тех f, |
для |
которых |
(в смысле слабой сходимости) |
существует предел |
(1/h)[U'(h) — |
|
— /]/ при /г-* 0, равный A'f. Область определения D(A') |
плотна |
||
в Е' в смысле слабой топологии и оператор А' замкнут в этой топологии.
Если обозначить через Е'0 совокупность тех элементов из Е\ Для которых U'(t)f— при tz—►() в сильном смысле, то £ '