Вы находитесь на странице: 1из 13

See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/331234370

Math-Net.Ru

Article  in  Siberian Mathematical Journal · February 2019

CITATIONS READS

0 12

1 author:

Adolf Mirotin
F. Skorina Gomel State University
111 PUBLICATIONS   226 CITATIONS   

SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Векторные поля на группах View project

Hausdorff operators View project

All content following this page was uploaded by Adolf Mirotin on 20 February 2019.

The user has requested enhancement of the downloaded file.


Math-Net.Ru
Общероссийский математический портал

А. Р. Миротин, О функциях, переводящих генераторы C0-полугрупп в генерато-


ры голоморфных полугрупп, Сиб. матем. журн., 2002, том 43, номер 1, 144–154

Использование Общероссийского математического портала Math-Net.Ru подразумевает, что вы прочитали и


согласны с пользовательским соглашением
http://www.mathnet.ru/rus/agreement

Параметры загрузки:
IP: 37.45.180.212
18 июля 2016 г., 10:37:15
Сибирский математический журнал
Январь—февраль, 2002. Том 43, № 1

УДК 517.986.7:517.983.23

О ФУНКЦИЯХ, ПЕРЕВОДЯЩИХ ГЕНЕРАТОРЫ


C0 –ПОЛУГРУПП В ГЕНЕРАТОРЫ
ГОЛОМОРФНЫХ ПОЛУГРУПП
А. Р. Миротин

Аннотация: Даны условия на функцию класса Шенберга T , при которых она


переводит генераторы равномерно ограниченных полугрупп класса C0 в генерато-
ры голоморфных полугрупп. Это обобщает результат Иосиды, Балакришнана и
Като, относящийся к дробным степеням операторов. Функциональное исчисление
генераторов C0 -полугрупп, использующее класс T , построено в предшествующих
работах автора. Библиогр. 12.

Замечательная теорема Иосиды, Балакришнана и Като [1–3] (см. также


[4, гл. IX]) утверждает, что дробная степень генератора равномерно ограничен-
ной полугруппы класса C0 в банаховом пространстве X является генератором
голоморфной полугруппы в X. Мы обобщаем этот результат, используя T -
исчисление генераторов C0 -полугрупп, построенное в [5] (многомерный вариант
T -исчисления позднее появился в [6]). Далее Gen(X) и Hol(X) обозначают мно-
жества генераторов равномерно ограниченных C0 -полугрупп и голоморфных
полугрупп в банаховом пространстве X соответственно, все рассматриваемые
меры — это меры Радона.
Приведем некоторые необходимые определения и факты из [5]. Будем го-
ворить, что функция ψ : (−∞; 0) → (−∞; 0] принадлежит классу T , если она
обладает абсолютно монотонной производной. Отметим, что (с точностью до
аффинных замен переменных) этот класс содержит положительные и отрица-
тельные дробные степени, логарифм, арккосинус, а также полилогарифмы всех
порядков [7] и представляет собой конус, устойчивый относительно операции
композиции. Каждая функция из T имеет интегральное представление
Z∞
ψ(s) = c0 + c1 s + (eus − 1) dµ(u) (s < 0), (1)
0

причем c0 = ψ(0), c1 = ψ (−∞), и положительная мера µ, сосредоточенная на
(0, +∞), определяется по ψ однозначно. Кроме того, для любого t ≥ 0 функция
gt (s) = etψ(s) абсолютно монотонна и ограничена на (−∞; 0), а потому имеет
интегральное представление
Z∞
gt (s) = esr dνt (r),
0

где νt — ограниченная положительная мера на [0; ∞), также определяемая по


ψ однозначно.

c 2002 Миротин А. Р.
О функциях, переводящих генераторы C0 -полугрупп 145

Если оператор A ∈ Gen(X) порождает полугруппу T , то для любой функ-


ции ψ ∈ T с интегральным представлением (1) положим при x ∈ D(A)
Z∞
ψ(A)x = c0 x + c1 Ax + (T (u) − I)x dµ(u),
0
где I — единичный оператор в X. Известно [5, теорема 1; 6, теорема 4.1], что
ψ(A) расширяется до генератора равномерно ограниченной полугруппы (x ∈ X)
Z∞
gt (A)x = T (r)x dνt (r), (2)
0
который также обозначается через ψ(A).
Поскольку дробные степени принадлежат T , естественно поставить вопрос:
для каких еще функций ψ из T включение ψ(A) ∈ Hol(X) справедливо при всех
A ∈ Gen(X)? Ниже получен ответ на этот вопрос в виде подходящей оценки
некоторого зависящего от параметра повторного интеграла, связанного с ψ, и
установлено, что это условие нельзя ослабить. Рассмотрены примеры, пока-
зывающие эффективность найденного условия. Отметим, что более ограничи-
тельное достаточное условие было указано в [8].
Для функции f и меры µ на R+ положим (предполагается, что интеграл
существует)
∞∞
Z Z

J(f, µ) = sup (f (r − u) − f (r))φ(r) drdµ(u) ,
φ∈S
0 0
где S — единичная сфера пространства C00 (R+ ) непрерывных на R+ функций
с компактным носителем, наделенного sup-нормой.
Теорема. Пусть ψ ∈ T , ψ(0) = ψ ′ (−∞) = 0, и r 7→ etψ(−r) — преобра-
зование Лапласа функции ft ∈ L1 (R+ )(t ≥ 0). Если при некотором C > 0
справедлива оценка J(ft , µ) < C/t для 0 < t < 1, то ψ отображает Gen(X) в
Hol(X).
Обратно, если ψ отображает Gen(X) в Hol(X) для любого банахова про-
странства X, то J(ft , µ) < C/t для 0 < t < 1.
Доказательство необходимости легко выводится из следующей леммы,
имеющей самостоятельный интерес и устанавливающей связь между T -исчис-
лением и исчислением Хилле — Филлипса [9, гл. XV]. Пусть a — ограниченная
комплексная мера на R+ и
Z∞
g(s) = esr da(r) = (L a)(−s) (s ≤ 0)
0
(здесь и ниже L обозначает преобразование Лапласа). Тогда для оператора
A ∈ Gen(X), порождающего полугруппу T , в [9] полагают (ср. с (2))
Z∞
g(A)x = T (r)xda(r) (x ∈ X)
0
(наши обозначения отличаются от обозначений в [9]). Далее мы будем рассмат-
ривать наиболее важный для приложений случай, когда da(r) = f (r) dr, где f
принадлежит пространству L1 (R+ ) функций из L1 (R), сосредоточенных на R+ .
146 А. Р. Миротин

Лемма 1. Пусть функция g на (−∞; 0) имеет вид g(s) = (L f )(−s), где


f ∈ L1 (R+ ), и пусть ψ ∈ T имеет интегральное представление (1) с c0 = c1 = 0.
Если J(f, µ) < ∞, то
1) функция h(s) := ψ(s)g(s) представима в виде (L b)(−s), где b — ограни-
ченная комплексная мера на R+ полной вариации kbk = J(f, µ);
2) для любого оператора A ∈ Gen(X), порождающего полугруппу T с
оценкой kT (t)k ≤ M , справедливы соотношения h(A) = ψ(A)g(A), kh(A)k ≤
M J(f, µ).
Доказательство леммы 1. Учитывая, что f сосредоточена на R+ для
u ≥ 0 имеем
Z∞ Z∞ Z∞
su su sr s(r+u)
(e − 1)g(s) = (e − 1) e f (r) dr = e f (r) dr − esr f (r) dr
0 0 0
Z∞ Z∞ Z∞
= esr f (r − u) dr − esr f (r) dr = esr (f (r − u) − f (r)) dr.
u 0 0

Таким образом, если ψ(s) = esu − 1, то h(s) = (L bu )(−s), где dbu (r) = (f (r −
u) − f (r)) dr — ограниченная мера на R+ .
Пусть ψ имеет представление (1) с c0 = c1 = 0. По доказанному выше

Z∞ Z∞ Z∞
 

h(s) = (esu − 1)g(s) dµ(u) =  esr dbu (r) dµ(u). (3)


0 0 0

Для φ ∈ C00 (R+ ) положим


Z∞ Z∞ Z∞
u
b(φ) := b (φ) dµ(u) = (f (r − u) − f (r))φ(r) drdµ(u).
0 0 0

В силу конечности J(f, µ) этот интеграл существует и kbk = J(f, µ). Таким
образом, b — ограниченная мера на R+ , причем
Z∞
b= bu dµ(u),
0

где интеграл понимается в слабом смысле, а пространство мер Радона наделено


широкой топологией (см. например, [10, гл. VI]).
Покажем, что для любой функции q ∈ C 1 (R+ ), которая ограничена вместе
со своей производной, справедливо равенство
Z∞
b(q) = bu (q) dµ(u). (4)
0

Для этого рассмотрим последовательность функций ηm ∈ C00 (R+ ) ∩ C 1 (R+ )


такую, что 0 ≤ ηm ≤ 1, ηm сосредоточена на [0; m + 1], ηm = 1 на [0; m]

и производные ηm ограничены в совокупности, и пусть qm := qηm . Тогда
О функциях, переводящих генераторы C0 -полугрупп 147

qm ∈ C00 (R+ ) ∩ C 1 (R+ ), qm → q (m → ∞) поточечно на R+ , причем по-



следовательности (qm ) и (qm ) ограничены в совокупности. Если положить
pm (u) := bu (qm ), то

Z∞
pm (u) = (f (r − u) − f (r))qm (r) dr
0
Z∞ Z∞ Z∞
= f (r − u)qm (r) dr − f (r)qm (r) dr = f (r)(qm (r + u) − qm (r)) dr. (5)
u 0 0

Пусть
p(u) := bu (q).

Тогда pm (u) → p(u) поточечно на R+ (m → ∞) по теореме Лебега о мажори-



рованной сходимости. Выберем число C1 > 0 так, что |qm (ξ)| ≤ C1 при всех
ξ ≥ 0, m ∈ N. Тогда |qm (r + u) − qm (r)| ≤ C1 u при всех r, u ≥ 0, m ∈ N. Кроме
того, существует такое C2 > 0, что |qm (r + u) − qm (r)| ≤ C2 u при всех r, u ≥ 0,
m ∈ N. Функция w, определяемая как w(u) = u при 0 ≤ u ≤ 1, w(u) = 1 при
R∞
u ≥ 1, µ-интегрируема по лемме 3.1 из [6], и при C = max{C1 , C2 } |f (r)| dr
0
из (5) следует оценка |pm (u)| ≤ Cw(u). Поэтому µ(pm ) → µ(p) (m → ∞) снова
в силу теоремы Лебега.
С другой стороны, при m → ∞

Z∞
µ(pm ) = bu (qm ) dµ(u) = b(qm ) → b(q),
0

поскольку qm → q поточечно и ограниченно на R+ и мера b ограничена. Таким


образом, µ(p) = b(q), что доказывает (4). В частности, полагая в (4) q(r) =
esr (s ≤ 0), получаем из (3) h(s) = (L b)(−s), что доказывает утверждение 1
леммы 1.
Для доказательства второго утверждения фиксируем непрерывный линей-
ный функционал λ ∈ X ′ и вектор x ∈ D(A) и положим q(r) = λ(T (r)x). Тогда
производная q ′ (r) = λ(T ′ (r)x) = λ(T (r)Ax) — непрерывная функция на R+ ,
причем |q(r)| ≤ kλkM kxk, |q ′ (r)| ≤ kλkM kAxk. При таком q из (4) следует
равенство

Z∞ Z∞ Z∞ Z∞ Z∞
 

λ(T (r)x) db(r) = λ(T (r)x) dbu (r)dµ(u) = λ T (r)x dbu (r) dµ(u),
0 0 0 0 0

откуда по определению слабого интеграла

Z∞ Z∞ Z∞
T (r)x db(r) = T (r)x dbu (r)dµ(u),
0 0 0

при этом внутренний интеграл в правой части существует даже в смысле Бох-
148 А. Р. Миротин

нера и
Z∞ Z∞
u
T (r)xdb (r) = T (r)x(f (r − u) − f (r)) dr
0 0
Z∞ Z∞ Z∞ Z∞
= T (r)xf (r − u) dr − T (r)xf (r) dr = T (r + u)xf (r) dr − T (r)xf (r) dr
u 0 0 0
Z∞
= (T (u) − I)T (r)xf (r) dr = (T (u) − I)g(A)x.
0

Поэтому при x ∈ D(A)


Z∞ Z∞
h(A)x := T (r)x db(r) = (T (u) − I)g(A)x dµ(u) = ψ(A)g(A)x.
0 0

Поскольку оператор h(A) ограничен, а оператор ψ(A)g(A) замкнут как произ-


ведение замкнутого и ограниченного операторов, последнее равенство справед-
ливо при всех x ∈ X.
Наконец, так как kbk = J(f, µ), то
Z∞
kh(A)k = kT (r)k d|b|(r) ≤ M kbk = M J(f, µ),
0

что и завершает доказательство леммы 1.


Завершение доказательства теоремы. Достаточность. Поскольку
ψ(A) — генератор полугруппы gt (A), то (d/dt)gt (A)x = ψ(A)gt (A)x, и лемма 1
дает оценку
d
gt (A) ≤ M J(ft , µ) ≤ M C , 0 < t < 1,

dt t
что и обеспечивает голоморфность полугруппы gt (A) в силу критерия голо-
морфности из [4, c. 351].
Необходимость. Пусть ψ отображает Gen(X) в Hol(X) для любого ба-
нахова пространства X. Рассмотрим пространство X = C0 (R+ ) непрерыв-
ных функций на R+ , исчезающих на бесконечности, с sup-нормой, и пусть
(T (r)x)(v) = x(v + r) — оператор (одностороннего) сдвига в X (генератор A
в этом случае является оператором дифференцирования с надлежащим обра-
зом выбранной областью определения). Тогда
Z∞ Z∞
y(v) := gt (A)x(v) = (T (r)x)(v)ft (r) dr = x(v + r)ft (r) dr. (6)
0 0

Далее,
Z∞ Z∞
ψ(A)y(v) = (T (u) − I)y(v) dµ(u) = (y(v + u) − y(v)) dµ(u). (7)
0 0
О функциях, переводящих генераторы C0 -полугрупп 149

Из (6) и (7) следует, что


Z∞ Z∞ Z∞
 

ψ(A)gt (A)x(v) =  x(v + u + r)ft (r) dr − x(v + r)ft (r) dr dµ(u). (8)
0 0 0

Но так как ft сосредоточена на R+ , то


Z∞ Z∞ Z∞
x(v + u + r)ft (r) dr = x(v + r)ft (r − u) dr = x(v + r)ft (r − u) dr.
0 u 0

Поэтому (8) принимает вид


Z∞ Z∞
 

ψ(A)gt (A)x(v) =  (ft (r − u) − ft (r))x(v + r) dr dµ(u). (9)


0 0

В силу критерия голоморфности из [4, c. 351] существует такая константа C > 0,


что
d
gt (A)x = kψ(A)gt (A)xk ≤ C kxk (0 < t < 1),

dt t
т. е. при всех x ∈ C0 (R+ ) имеем с учетом (9)
∞ ∞ 
Z Z
C
sup  (ft (r − u) − ft (r))x(v + r) dr dµ(u) ≤ kxk.
v≥0 t
0 0

В частности, при всех x с kxk = 1 и v ≥ 0


∞ ∞ 
Z Z
 (ft (r − u) − ft (r))x(v + r) dr dµ(u) ≤ C .




t
0 0

При v = 0 и x ∈ C00 (R+ ), kxk = 1, получаем J(ft , µ) ≤ C/t, что и завершает


доказательство теоремы.
Для функции f ∈ L1 (R+ ) и меры µ на R+ положим
Z∞ Z∞
k(f, µ) = |f (r − u) − f (r)| drdµ(u).
0 0

Следствие [8]. Если в предположениях теоремы k(ft , µ) ≤ C/t при 0 <


t < 1 с некоторой константой C > 0, то ψ(A) ∈ Hol(X) для любого оператора A
из Gen(X).
Это сразу вытекает из первого утверждения следующей леммы.
Лемма 2. 1. J(f, µ) ≤ k(f, µ).
2. Если k(f, µ) < ∞, то

Z∞ Z∞

J(f, µ) = (f (r − u) − f (r)) dµ(u) dr.

0 0

Доказательство. 1. Очевидно.
150 А. Р. Миротин

2. Так как при всех φ ∈ C00 (R+ ) справедливо неравенство


Z∞ Z∞
|(f (r − u) − f (r))φ(r)| drdµ(u) ≤ kφkk(f, µ) < ∞,
0 0

к повторному интегралу в определении J(f, µ) применима теорема Фубини —


Тонелли (о перемене порядка интегрирования). В силу этой теоремы и [11,
теорема 12.13]
∞ ∞ 
Z Z

J(f, µ) = sup
 (f (r − u) − f (r)) dµ(u) φ(r) dr

kφk=1
0 0

Z∞ Z∞

= (f (r − u) − f (r)) dµ(u) dr.


0 0

Лемма 2 доказана.

Утверждение 1. Если функция f ∈ L1 (R+ ) неотрицательна и не возрас-


тает, то для любой меры µ на R+
Z∞ Zu
k(f, µ) = 2 f (r) drdµ(u).
0 0

Доказательство. В самом деле,


Z∞ Zu Z∞
|f (r − u) − f (r)| dr = f (r) dr + (f (r − u) − f (r)) dr
0 0 u
Zu Z∞ Z∞ Zu
= f (r) dr + f (r) dr − f (r) dr = 2 f (r) dr.
0 0 u 0

Утверждение 2. Пусть функция f ∈ L1 (R+ ) неотрицательна, непрерыв-


на на R+ , а также возрастает при 0 < r < r0 и убывает при r > r0 . Если для
u > 0 мы обозначим через r(u) (единственный) корень уравнения f (r−u) = f (r),
то u < r(u) < r0 + u, и для любой меры µ на R+

Z∞ r(u)
Z
k(f, µ) = 2 f (r) drdµ(u).
0 r(u)−u

Доказательство. Существование, единственность и свойства r(u) сразу


следуют из свойств функции f . Далее,

 f (r),
 0 < r ≤ u,
|f (r − u) − f (r)| = f (r) − f (r − u), u < r ≤ r(u),

f (r − u) − f (r), r > r(u).

О функциях, переводящих генераторы C0 -полугрупп 151

Поэтому, используя доказательство утверждения 1, имеем

Z∞ Zu r(u)
Z Z∞
|f (r−u)−f (r)| dr = f (r) dr+ (f (r)−f (r−u)) dr+ (f (r−u)−f (r)) dr
0 0 u r(u)

Zu Z∞ Zu r(u)
Z
= f (r) dr+ (f (r−u)−f (r)) dr+ (f (r−u)−f (r)) dr+ (f (r)−f (r−u)) dr
0 u r(u) u

Zu r(u)
Z r(u)
Z r(u)
Z
=2 f (r) dr + 2 (f (r) − f (r − u)) dr = 2 f (r) dr − 2 f (r − u) dr
0 u 0 u
r(u)
Z r(u)−u
Z r(u)
Z
=2 f (r) dr − 2 f (r) dr = 2 f (r) dr,
0 0 r(u)−u

что и доказывает наше утверждение.


Пример 1. Оператор − log(I − A) принадлежит Hol(X) при любом A ∈
Gen(X).
Действительно, функция ψ(s) = − log(1−s), s < 0, принадлежит T , причем
dµ(u) = u−1 e−u du [5, пример 2]. При этом
Z∞
−t −1
gt (s) = (1 − s) = Γ(t) esr rt−1 e−r dr,
0

что легко проверить по таблицам преобразования Лапласа. Поэтому ft (r) =


Γ(t)−1 rt−1 e−r (r > 0). Очевидно, что ft удовлетворяет всем условиям утвер-
ждения 1. Поэтому (0 < t < 1)
Z∞ Zu
 

k(ft , µ) = 2  Γ(t)−1 rt−1 e−r dru−1 e−u du


0 0
Z∞ Zu
 
2
≤ 2Γ(t)−1  rt−1 dru−1 e−u du = .
t
0 0

Утверждение теперь вытекает из следствия.


Пример 2. Оператор −(−A)1/2 принадлежит Hol(X) при всех A ∈ Gen(X).
В самом деле, функция ψ(s) = −(−s)1/2 принадлежит T , причем dµ(u) =
−1 −1/2 −3/2
2 π u du [5, пример 1]. Известно [4, c. 358, 369], что gt (s) = (L ft )(−s),
−1 −1/2 −3/2 −t2 /4r
где ft (r) = 2 π tr e . Легко проверить, что функция ft удовлетво-
ряет всем условиям утверждения 2 с r0 = t2 /6, ft (r0 ) = C1 /t2 (здесь и ниже
Ci = const). Поэтому
 r(u)  r(u)
Zr0 Z∞
 
Z Z
k(ft , µ) =  ft (r) dr dµ(u) + 2  ft (r) dr dµ(u). (10)
0 r(u)−u r0 r(u)−u
152 А. Р. Миротин

Поскольку
r(u)
u
Z
ft (r) dr < ft (r0 )u = C1 ,
t2
r(u)−u

первое слагаемое в (10) меньше, чем


tZ2 /6
C2
2−1 π −1/2 C1 t−2 u−1/2 du = .
t
0

Далее,
 r(u)
Z∞ Z∞ Zu r(u)
  
Z Z
 ft (r) dr dµ(u) ≤  + ft (r) dr dµ(u)
r0 r(u)−u) r0 0 u

Z∞ Zu Z∞ r(u)
Z
≤ ft (r) drdµ(u) + ft (r) drdµ(u),
0 0 r0 u

причем по теореме Фубини


Z∞ Zu Z∞ Z∞ Z∞ Z∞
 
−t2 /4r
t  u−3/2 du e C3
ft (r) drdµ(u) = dµ(u)ft (r) dr = dr = .
4π r3/2 t
0 0 0 r 0 r

Наконец, поскольку ft (r) убывает при r > r0 , то при u ≥ r0


r(u)
Z
ft (r) dr ≤ ft (u)(r(u) − u) < r0 ft (u).
u

Поэтому

Z∞ r(u) Z∞ Z∞ −t2 /4u


t3 e
Z
ft (r) drdµ(u) ≤ r0 ft (u) dµ(u) = du
24π u · u2
r0 u r0 t2 /6
Z∞ 2
t3 6 e−t /4u C4
≤ · 2 2
du = .
24π t u t
t2 /6

С учетом полученных оценок из (10) следует, что условия следствия выполнены,


что и требовалось доказать.
Пример 3. Оператор − arch(I − A) принадлежит Hol(X) при всех A ∈
Gen(X).
Действительно, функция − arch(1 − s) принадлежит T , причем dµ(u) =
u−1 e−u I0 (u) du [5, пример 3]. При этом gt (s) = (L ft )(−s), где

ft (r) = tr−1 e−r It (r), r > 0,


О функциях, переводящих генераторы C0 -полугрупп 153

что легко проверить по таблицам преобразования Лапласа (It — функция Бес-


селя мнимого аргумента). Покажем с целью применения утверждения 1, что
функция ft убывает, если 0 < t < 1. В самом деле,
It′ (r) − It (r)(1 + 1r )
ft′ (r) = t .
rer
Поскольку It′ (r) = rt It (r) + It+1 (r) (см., например, [12, c. 246]), неравенство
ft′ (r) < 0 равносильно неравенству It+1 (r) < It (r) 1 + 1−t
r . Последнее же нера-
венство истинно, ибо функция t 7→ It (r) убывает (r, t > 0) [12, c. 246]. Таким
образом, в силу утверждения 1
Z∞ Zu
 

k(ft , µ) =  tr−1 e−r It (r) dru−1 e−u I0 (u) du.


0 0

Так как (см., например, [12])


∞  r t+2n
X 1
It (r) = ,
n=0
n!Γ(t + n + 1) 2
имеем
Zu ∞ Zu
−1 −r
X 1
A(u) := tr e It (r) dr = t rt−1 r2n e−r dr.
n=0
n!Γ(t + n + 1)22n 2t
0 0

Но max r2n e−r = (2n/e)2n . Следовательно,


r>0

∞  2n Zu ∞  2n
X 1 2n X 1 n
A(u) ≤ t rt−1 dr = ut .
n=0
n!Γ(t + n + 1)22n e n=0
n!Γ(t + n + 1) e
0

Поэтому
∞  2n Z∞
X 1 n
k(ft , µ) < ut−1 e−u I0 (u) du.
n=0
n!Γ(t + n + 1) e
0
Далее, так как

X (u/2)2l
I0 (u) = ,
(l!)2
l=0
то
Z∞ ∞ Z∞ ∞
t−1 −u
X 1 X Γ(t + 2l)
u e I0 (u) du = u2l+t−1 e−u du = .
2 (l!)2
2l 22l (l!)2
0 l=0 0 l=0

Тем самым
∞ X∞
X (n/e)2n Γ(t + 2l)
k(ft , µ) < 2l 2
· . (11)
n=0
n!2 (l!) Γ(t + n + 1)
l=0
Заметим, что при 0 < t < 1
Γ(t + 2l) (t + 2l)(t + 2l − 1) . . . tΓ(t)
=
Γ(t + n + 1) (t + n + 1)(t + n) . . . (t + 1)tΓ(t)
(2l + 1) . . . 1 (2l + 1)(2l)! (2l + 1)2l l!
< = < .
(n + 1) . . . 1t (n + 1)!t (n + 1)n!t
154 А. Р. Миротин

Из (11) теперь следует, что


∞ ∞
X (n/e)2n X (2l + 1) 1 C
k(ft , µ) < 2 l l!
=
n=0
(n + 1)(n!) 2 t t
l=0

(C = const; первый из рядов в правой части сходится в силу формулы Стир-


линга). Применение следствия завершает доказательство.

ЛИТЕРАТУРА
1. Yosida K. Fractional powers of infinitesimal generators and the analyticity of the semigroups
generated by them // Proc. Japan Acad.. 1960. V. 36. P. 86–89.
2. Balakrishnan A. V. Fractional powers of closed operators and semigroups generated by them //
Pacific J. Math.. 1960. V. 10. P. 419–437.
3. Kato T. Note on fractional powers of linear operators // Proc. Japan Acad.. 1960. V. 36.
P. 94–96.
4. Иосида К. Функциональный анализ. М.: Мир, 1967.
5. Миротин А. Р. О T -исчислении генераторов C0 -полугрупп // Сиб. мат. журн.. 1998.
Т. 39, № 3. С. 571–582.
6. Миротин А. Р. Многомерное T -исчисление от генераторов C0 -полугрупп // Алгебра и
анализ. 1999. Т. 11, № 2. С. 142–170.
7. Миротин А. Р. О функциях класса Шенберга T n нескольких комплексных перемен-
ных // Междунар. конф. «Теория приближений и гармонический анализ»: Тез. докл.
Тула, 1998. С. 179–180.
8. Миротин А. Р. Генераторы голоморфных полугрупп как функции генераторов C0 -полу-
групп // Вестн. Белорусск. ун-та. Сер. 1. 2000. Т. 2. С. 61–65.
9. Хилле Э., Филлипс Р. Функциональный анализ и полугруппы. М.: Изд-во иностр. лит.,
1962.
10. Бурбаки Н. Интегрирование. Векторное интегрирование. Мера Хаара. Свертка и пред-
ставления. М.: Наука, 1970.
11. Хьюитт Э, Росс К. Абстрактный гармонический анализ. М.: Наука, 1975. Т. 1.
12. Янке Е., Эмде Ф., Леш Ф. Специальные функции. Формулы, графики, таблицы. М.:
Наука, 1977.

Статья поступила 1 августа 2000 г.

Миротин Адольф Рувимович


Гомельский государственный университет им. Ф. Скорины,
кафедра высшей математики
ул. Советская, 104, Гомель 246699, Беларусь
amirotin@gsu.unibel.by

View publication stats