Оценки возмущенной полугруппы Озеена Текст научной статьи по специальности «Математика»

Владикавказский математический журнал 2009, Том 11, выпуск 3, С. 51-61

УДК 517.9

ОЦЕНКИ ВОЗМУЩЕННОЙ ПОЛУГРУППЫ ОЗЕЕНА1 Л. И. Сазонов

К 80-летию академика Юрия Григорьевича Решетняка

Исследуется вопрос об условиях, при которых возмущенная полугруппа операторов Озеена допускает степенные оценки, аналогичные оценкам невозмущенной полугруппы Озеена. Установлено, что указанный факт имеет место, если возмущенный оператор Озеена не имеет собственных значений в замыкании правой полуплоскости. В частности, результат справедлив для малых в определенном смысле возмущений. Доказательство основано на результатах об обратимости элементов некоторой банаховой алгебры оператор-функций, которые получаются применением локального принципа Аллана — Дугласа.

Ключевые слова: система Навье — Стокса, полугруппа Озеена, локальный принцип Аллана — Дугласа.

1. Введение

Нестационарное движение несжимаемой вязкой жидкости при обтекании тела описывается следующей начально-краевой задачей для системы Навье-Стокса

ff = vAu - (u, V)u -Vp + f,

|div u = 0, u|i=o = a, u|an = 0, u|<» = u<»,

где fi С R3 — внешность обтекаемого тела, u — поле скорости жидкости, p — функция давления, f — поле внешних сил, v — коэффициент вязкости.

Осуществляя линеаризацию системы (1) на постоянном решении u = u^(1,0,0) (f = 0), получаем линеаризованную систему Озеена (Стокса при u<^> = 0).

fU = vAu - u^diu - Vp, (2)

div u = 0, u|t=o = a, u|an = 0, u|<» = 0. ()

Эволюционный оператор системы (2) u(t) = T(t)a определен в подходящем банаховом пространстве и образует аналитическую полугруппу, называемую полугруппой Озеена (Стокса при u<^> = 0).

В исследованиях системы Навье — Стокса полугрупповыми методами важную роль играют оценки указанных полугрупп. (См. [1] и приведенную там библиографию об оценках полугруппы Стокса; [2, 3] — об оценках полугруппы Озеена.)

© 2009 Сазонов Л. И.

1 Работа выполнена при финансовой поддержке Аналитической ведомственной целевой программы развития научного потенциала высшей школы, проект № 211/6095.

В данной работе исследуется вопрос об условиях, при которых для возмущенной полугруппы Озеена T(t), связанной с линеаризованной системой Озеена (условия на поле v сформулированы в лемме 1)

ff = vAu - Пжdiu - (v, V)u - (u, V)v - Vp, (3

div u = 0, u|i=o = a, u|an = 0, u|<» = 0,

выполняются оценки, аналогичные оценкам невозмущенной полугруппы. Предварительно рассматривается случай малых возмущений. Оценки получаются непосредственно при исследовании интегрального уравнения для возмущенной полугруппы. В общем случае они вытекают из результатов об обратимости в некоторой банаховой алгебре оператор-функций. Обратимость оператор-функций исследуется на основе локального принципа Аллана — Дугласа [4].

2. Оценки возмущенной полугруппы Озеена при малых возмущениях

Пусть П С R3 — внешняя область с границей класса C2, L|^) (1 < p < ж) — пространство трехмерных векторных полей на П, Wp(П), k = 1, 2 — соболевские пространства векторных полей, Wp(n) — подпространство в Wp(fi), состоящее из полей с нулевым следом на границе дП. Обозначим через Sp(fi) — подпространство в L|(^, являющееся замыканием множества всех финитных гладких соленоидальных полей в области П. Известно [5, 6], что оператор П ортогонального проектирования из ¿2(П) на подпространство S2(П) определяет ограниченный проектор П : Lp(П) ^ Lp(П) (1 < p < ж), называемый гидродинамическим проектором.

Рассмотрим действующий в пространстве 5Р(П) оператор Озеена

A = П(А- u^A)

с областью определения D(A) = БР(П) П Wp!(П) П WWp1 (П).

Оператор Озеена порождает в любом пространстве 5Р(П) (1 < p < ж) аналитическую полугруппу T (t), для которой справедливы оценки

a - Ж - з (1 -

\\T(t)nd0 llp^q < Cpqt 2 np J , (4)

где 1 < p ^ q < ж при |0| =0; | ^ p ^ q < ж при |0| = 1.

При фиксированном значении uM = 0 данные оценки установлены в [2] методом гидродинамических потенциалов, в [3] они получены иными методами, причем доказана их равномерность по параметру uM £ (0, r).

Вместе с оператором A рассмотрим возмущенный оператор A = A + B, где Bu = -n((u, V)v + (v, V)u).

Лемма 1. Пусть v — соленоидальное поле, причем v, djv Е L^^). Тогда возмущенный оператор A с областью определения D(A) = D(A) порождает в любом пространстве 5Р(П) (1 < p < ж) аналитическую полугруппу T(t).

< Для резольвенты Ra(A) оператора Озеена при больших |А| в секторе | arg А| < ПП + 6 < п выполняются оценки [2]

а 1 I И

\\д Ra(A)\\p^p < С|А|-1+-, |0| =0,1, 2.

Вследствие этого справедливо неравенство ||BRa(A) ||p^p ^ c|A|-2. Поэтому при достаточно большом |A| оператор BRa(A) имеет малую норму и, следовательно, оператор I + BRa (A) обратим в пространстве Sp(^) и норма его обратного равномерно ограничена по A. Но тогда оператор A + B — AI при достаточно больших |A| обратим и

||(A + B — AI)-11| < •

Поэтому согласно теореме Иосиды — Соломяка возмущенный оператор A порождает аналитическую полугруппу в любом пространстве (1 < p < то). >

Для вывода оценок полугруппы T(t) рассмотрим интегральное уравнение для решения u(t) = T(t)a системы (3)

t

u(t) = T(t)a + J T(t — т)(Bu)(t) dr. (5)

0

Ввиду леммы 1 при любом начальном условии a £ (П) (1 < p < то) уравнение (5) имеет единственное решение u(t) £ C([0, то), Sp(fi)). Вследствие соленоидальности полей u и v поле Bu можно представить в виде Bu = —n{(V, v)u + (V, u)v}. Поэтому справедливо неравенство

t

||u(t)||q < ||T (t)a|q + / ||T (t — т )Пд ||s^q || V | pT— Y dr SUp ||ty u(r)||q,

J T<t

0

где для показателей должны выполняться соотношения

1112

0 ^ y < 1, - = - + - , 1 < q < то. s £ q 3

Очевидно, что при выполнении условия

t

SU p J tY ||v|p J ||T (t — T )nd|Uq T-Y dr J < 2, (6)

справедлива оценка

|u(t)||q < 2t-Ysup ||rYT(t)a|q.

T<t

При доказательстве равномерной ограниченности интеграла

t

I(t)= tY | ||T(t — T)Пд|U,T — Y dr

при 4 € (0, +то) необходимо варьировать д, так как простая оценка (в которой д > 3, ■) — бета-функция Эйлера) í

I' -1 - /13 \ 1 -

I(*) < ¿7у (* - т) 2 т-7 dr = ся,2 - 2д, 1 - 7)*2 2е

0

приводит к ограниченности I(*) лишь при при ограниченных *. При больших * используем представление I(*) = 11(4) + 12(*) + 1з(*), где интегралы ^ (*) распространяются соответственно на отрезки (0, |), (|, * — 1), (* — 1,*). В первом и втором интегралах считаем д < 3, в третьем — д > 3. При этом в первом интеграле используем неравенство

t — т ^ |, а во втором и третьем — т ^ |. В результате получаем оценки Ii(t) ^ ct2 2е, < 3); I2 (t), I3 (t) ^ c, которые влекут ограниченность I(t) при больших t. Заметим, что здесь и ниже мы для различных констант используем одно и то же обозначение с. Учитывая изложенное, приходим к следующему выводу.

Предложение 1. Пусть 5 > 0, p и q фиксированы, причем 5 достаточно мало, 1 ^ 33 — (з1 s) и Y = Щ — 1) ^ [0,1). Тогда существует такое е > 0, что при выполнении неравенства sup ||v||e ^ е для возмущенной полугруппы Озеена справедливы 3-s<e<3+s

оценки

||T(t)||p^q < apq t-- О ,

где константы apq не зависят от t.

В дальнейшем этот результат будет значительно усилен.

3. Алгебра функций

Пусть Ca,e[0, ж) (0 ^ a < 1, a + в > 1) — банахово пространство функций на [0, ж), являющееся замыканием в норме

,0 = sup |ta(1 + t)ef (t)| t>0

множества Со[0, ж) всех непрерывных на [0, ж) финитных функций.

Лемма 2. Множество функций вида ^ е-^'i'Pj (¿), где И,е\j > 0, Рз- (¿) —многочлены

плотно в пространстве Са>р[0, ж).

< Утверждение является простым следствием теоремы Стоуна — Вейерштрасса. > В пространстве Сар[0, ж) введем операцию свертки, полагая

(f * g)(t) = / f (t — т)g(T)dT.

Тогда

t

0

Разбивая интегрирование на части от 0 до 2 и от 2 до t, имеем оценку

t

I (f * g)(t)| ^ J (t — т )-a(1 + t — т )-e т-a(1 + т )-e dT ||f ||e>/J ||g||eJJ.

||f * g||a,0 < C||f ||a,e||g|a,e, (7)

где C не зависит от f и g. Так как для f и g из Co[0, ж) f * g G Co[0, ж), то свертка является операцией в Ca>p[0, ж). Таким образом, Ca>p[0, ж) — алгебра с условием (7). Присоединив единицу 1, превратим алгебру Cap[0, ж) в алгебру с условием (7) и умножением

(А1 + a) * (^1 + b) = A^1 + Ab + ^a + a * b.

Тогда алгебра топологически изоморфна банаховой алгебре операторов вида Tab = a * b, (a, b G ), действующих на пространстве A^e, норма в котором есть норма оператора.

На элементах из определим преобразование Фурье

^(А1 + /) = А + I /(г)е^(г 0

при г € {1тг ^ 0} и ^(А1 + /) = А.

Пусть П+ = {1тг ^ 0} и {то} — одноточечная компактификация верхней полуплоскости {1т г ^ 0}. Очевидно, что при любом фиксированном г € П+ отображение ^г есть непрерывный мультипликативный функционал на . Покажем, что любой непрерывный мультипликативный функционал на имеет вид преобразования Фурье. Ввиду того, что

е-^* е-5* = е-—

5 — y

при y = 5, для любого мультипликативного функционала ^ имеем

5 — y

Введем функцию ^(z) = ^>(e—zt), определенную для всех z с Rez > 0. Тогда

, \ / / ч ^(z) — ^(w) , .

^(z)^(w) = — ^ z — w . (8)

Так как e—wt ^ e—zt в норме алгебры при w ^ z, то ^(z) непрерывна на {Re z > 0}. Поэтому из соотношения (8) вытекает ее аналитичность и равенство ф'(z) = —^2(z). Следовательно, либо ^(z) = 0, либо ^(z) = с Rec ^ 0. Теперь заметим, что ввиду леммы 2 и соотношения

k! ^^!

(e—Yttk) * (e—Yttm) = k'' ! N,e—Yttk+m+1, v ; v ; (k + m +1)!

множество функций {1, e—Yt, Re Y > 0} есть множество образующих для алгебры .

Таким образом, на образующих e—Yt для непрерывного мультипликативного функционала ^ справедливы соотношения: либо ^>(e—Yt) = 0, либо ^>(e—Yt) = с некоторой константой c, для которой Re c ^ 0. С другой стороны, для преобразования Фурье имеем

Im z ^ 0, 0, z = то.

Следовательно, любой непрерывный мультипликативный функционал на алгебре имеет вид преобразования Фурье Fz, z £ П+. Поэтому элемент a из алгебры обратим в этой алгебре тогда и только тогда, когда для любого z £ П+ Fz (a) = 0.

Пространство максимальных идеалов алгебры гомеоморфно П+. Если Mz —

максимальный идеал, отвечающий точке z £ П+, то элемент a £ Mz, тогда и только тогда, когда Fz(a) = 0.

4. Алгебра оператор-функций (End X)

Пусть X — банахово пространство, End X — банахова алгебра всех линейных ограниченных операторов, действующих в X. Обозначим через Ca,e (End X) пространство оператор-функций U = U(t) на [0, то) со значениями в End X, которое является пополнением в норме

,0 = sup ||ta(1 + t)eU(t)||

t>0

Fz (e—Yt) = | 0Y—iz)'

множества Co (End X) всех непрерывных на [0, ж) финитных оператор-функций. В Ca,e (End X) введем операцию свертки U * V, полагая

t

(U * V)(*) = У U(t - T)V(т)dT.

При 0 ^ а < 1, а + в> 1 (далее считаем это условие всегда выполненным) справедлива оценка

||U * V||Q>e < c||U||а>в|| V||а>в,

где константа c не зависит от U и V.

Присоединив к алгебре Ca>p (End X) единичный оператор I, получим алгебру (End X) топологически изоморфную банаховой алгебре ограниченных операторов вида TA, действующих на пространстве (End X) посредством формулы

TAB = A * B,

где для элементов A = AI + U, B = ^I + V, U, V G Ca>p (End X) произведение определяется формулой:

A * B = A^I + AV + ^U + U * V.

Норма в (End X) определяется как операторная норма.

В центре алгебры (End X) выделим подалгебру элементов вида aI, где a G [0, ж), изометрически изоморфную алгебре Aap[0, ж). Как было установлено выше пространство максимальных идеалов этой алгебры совпадает с одноточечной ком-пактификацией П+ полуплоскости {Imz ^ 0}, а преобразование Гельфанда совпадает с преобразованием Фурье Fz.

На элементах A = 7I + B(t) алгебры (EndX) определим преобразование Фурье:

{оо

YI + О B(f)e'izA Im z > 0

7I, z = ж,

где y G C, B(t) G (EndX). Рассмотрим идеал

i

n

Jzo = clos I (ajI) * Aj, Aj G (EndX), aj G Aa,e[0, œ), aj = 0

Здесь clos означает замыкание множества в норме || ■ ||a,e.

Лемма 3. Пусть a > 2. Элемент A алгебры (End X) принадлежит идеалу JZo тогда и только тогда, когда FZ0 (A) = 0.

< Ясно, что при A G JZ0 для преобразования Фурье имеем FZ0 (A) = 0. Обратно, пусть A = 7/ + B, B = B(t) G Ca,e(End X) такова, что FZ0 (A) = 7/ + FZ0 (B) = 0. Тогда существует последовательность элементов Bn G Co (End X) таких, что ||Bn — B ||a,e ^ 0 при n ^ œ. Для преобразований Фурье имеем ||FZ0 (Bn) — FZ0 (B)||gndX ^ 0 при n ^ œ. Пусть zo = œ. Введем оператор-функцию

An(t) = 7/ + Bn(t) + ¿(7/ + Fz0 (Bn))e+t(zo + i), где e—1 — ограничение функции e-t на [0, œ).

Так как ^(е+*) = (1 - гг)-1, то

^(А„) = 7/ + ^г(В„) - (го + г)(г + г)-1 (7/ + ^(В„)) и ^г0(А„)=0.

Заметим теперь, что (Ап) аналитическая оператор-функция в области {1т г > — 1}. Представим ее в виде

^ (А„) = (г — го)(г + г)-1 [(г + г)(г — го)-1 ^г (А„)].

Очевидно, что (г — го)(г + г)-1 = Fz(1 + г(го + г)е+*), поэтому для доказательства включения Ап € /го достаточно установить, что оператор-функция (г + г)(г — го)-1 (Ап) является преобразованием Фурье элемента из (Епё X). Используя представление

(г + г)(г — го)-^ (А„) = ^г (А„) + (го + г)(г — го)-1^ (А™), приходим к выводу, что достаточно установить этот факт для оператор-функции (г — го)-1^г (Ап).

Рассмотрим оператор-функцию

t

—t

G(t) = if (A„(r) — yI )e—izo(t—t W, t ^ 0.

Из вида An(t) следует, что

G(t) = if B„(r)e—iz0(t—t) dr — i(Yl + Fz0 (Bra ))e t

Очевидно, что G(t) £ Ca,e(EndX). Для ее преобразования Фурье имеем представление

Fz(G) = (z — zo)—1 (yI + Fz(Bn) — (zo + i)(z + i) —1(y1 + Fzo (Bn)).

Следовательно, Fz(G) = (z — z0)—1Fz(An), поэтому An принадлежит идеалу Jo и так как An ^ A, то A £ Jzo ввиду его замкнутости.

Пусть теперь FC(A) = 0. В общем случае A £ (End X) имеет вид A(t) = Yl + B(t), где B(t) £ Ca,e(EndX). Так как FC(B) = 0, то y = 0. Можно, не нарушая общности, считать, что B(t) £ Co°(EndX). Введя B(t) = B(t)et, для преобразования Фурье имеем представление

со

Fz (B) = у B(t)e—t+itz dt.

0

Осуществляя интегрирование по частям, получаем

сс

Fz (B) = (1 — iz)—1B (0) + (1 — iz)—2B '(0) + ... + (1 — iz)—B(n)(t)eitz—tdt.

0

Отметим, что е *^ € Са,в[0, то), если выполнено условие V > —а. Действительно, достаточно рассмотреть случай V < 0. Пусть

е-*Г, 4 > П,

Г e—ttv, t > n,

fn(t) = \ e—tn—v, 0 < n< n.

Тогда fn(t) £ Ca,e[0, то) и

llfn — e—ttv||a,e < 2e sup l(n—v — tv)ta| < 21+e sup |ta+v| ^ 0

0<t< n 0<t< n

при n ^ то, если v + a > 0.

с

Отметим, что Fz(e ) = r(v + 1)(1 — iz) v 1 при —1 < v < то. Покажем, что B £ JC. Для этого представим Fz (B) в виде

Fz (B) = (1 — iz)- " [(1 — (B)].

Так как (1 — iz)- ^ = (ВД)- 1 Fz(e -it^ -1) и (ВД)- 1e -it^ -1 £ Са>£[0, то) при ^ > 1 — a, то достаточно установить, что можно выбрать ^ > 1 — a таким, что оператор-функция (1— iz)^Fz(B) является преобразованием Фурье оператор-функции из (EndX). Учитывая разложение Fz (B), имеем

(1 — izf Fz (B) = (1 — izf-1B (0) + (1 — izf-2B '(0)

CO

+ ... + Ц — ^ / B<">(t)e-<«z

0

Так как при k — ^ > 0 выполняется соотношение (1 — iz)^-k = (r(k — ^))-1 F(e-ttk-^-1), то должны выполняться условия k — ^ — 1 > —a, k = 1,2,..., что при k = 1 дает ^ < a. Таким образом, должно выполняться неравенство 1 — a < ^ < a, что возможно при a > 2. Далее считаем, что это условие выполнено. Теперь остается показать, что оператор-функция

D(z) = (1 — iz)""7 B<",(i)e"'+"zdi

является преобразованием Фурье оператор-функции из (End X), по крайней мере, при достаточно больших n. Это верно, так как D(z) является аналитической при Imz > —1 и все ее производные D(k,(z) удовлетворяют оценкам ||D(k,(z)|| ^ c(1 + |z|)^-n. Поэтому обратное преобразование Фурье оператор-функции D(z), по крайней мере, n — 2 раза непрерывно дифференцируемо, обращается в нуль при t < 0 и ее норма убывает быстрее любой степени t при t ^ то. >

Выясним условия обратимости элемента A в алгебре (End X). Согласно локальному принципу Аллана — Дугласа элемент A обратим в алгебре A^e (End X) тогда и только тогда, когда для любого zo £ П+ фактор-класс A + Jz0 обратим в фактор-алгебре (End X)/JZ0. Сформулируем условия обратимости в терминах преобразования Фурье. Если A обратима в (End X), то Fz (A) — обратимый оператор для любой точки z £ П+. Обратно, предположим, что Fz(A) обратим для любого z £ П+. Пусть zo = то и B = [Fz0(A)]-1. Рассмотрим оператор-функцию B(t) = e-t(1 — iz0)B £ (EndX). Так как Fz[e-t] = j-z, то Fz(B) = --zz0 B. Для оператор-функции A(t) * B(t) — / имеем Fz0 (A(t) * B(t) — /) =0. Поэтому A(t) * B(t) — / £ Jz0. Следовательно, фактор-класс A(t) + Jz0 обратим в фактор-алгебре /Jz0. Если zo = то, то FC(A) = 7/. Поэтому обратимость FC(A) эквивалентна условию 7 = 0 и значит F(A7-1/ — /) = 0. Но тогда при 2 < a < 1 оператор-функция A7-1/ — / £ JC. Следовательно, обратимость Fz (A) для любого z £ П+ влечет обратимость фактор-класса A + Jz в фактор-алгебре A^e/Jz для любого z £ П+. Поэтому в силу локального принципа Аллана — Дугласа элемент A обратим в алгебре A^e(End X).

Таким образом, справедлива

Теорема 1. Пусть 2 < a < 1. Элемент A £ (End X) обратим в этой алгебре тогда и только тогда, когда для любого z £ П+ оператор Fz (A) обратим.

5. Оценки возмущенной полугруппы Озеена

Применим теорему 1 к выводу степенных оценок для возмущенной полугруппы Озеена. Рассмотрим оператор-функцию T(t)B (см. п. 2). Для нее справедливы оценки

_ 1 _ 3(1 +1 _ 1 ^

||T(t)B||p^q < ct 2 21p +* J ||v||„ (9)

причем должны выполняться условия

1112

+ - ^ -, 1 <p, q< ж. q p Q 3

Пусть q > 3, v G L^(fi) для всех q G [qi, ж], где qi < 3. Тогда в силу (9) для оператор-функции T(t)B справедлива оценка

||T (t)B||q^q < ct_ 2 (1+ t)_Y,

где y = min ^2331,1 (I — f)) . Так как y + f > 1 (q > 3!), то оператор-функция T(t)B

принадлежит любой алгебре Ca,e (End Sq (fi)) с условиями q> 3, f < а < 1, а + в =

Y + I > 1 '

Предположим, что оператор I — Fz [T(t)B] для любого z G П+ обратим в пространстве Sq(fi) (q > 3). Тогда оператор-функция I — T(t)B обратима в алгебре (EndSq(fi)), т. е. существует оператор-функция A(t) G Ca,e(End Sq(fi)) такая, что выполняются соотношения

(I — A(t)) * (I — T(t)B) = (I — T(t)B) * (I — A(t)) = I. (10)

Представляя уравнение для определения u(t) = T(t)uo в виде свертки

(I — T(f)B) * u(t) = T(f)uo

и применяя левую свертку с оператор-функцией I — A(t), в силу (10) получаем, что

u(t) = T(f)uo = (I — A(t)) * T(t)uo,

или в развернутом виде

t

u(t) = T(t)uo — J A(t — T)T(t)uodT. (11)

o

Далее, из представления (11) вытекает оценка

t

< ||T (f)uo|q + c / (t — T )_a (1 + t — T )_e T _Y dT sup ||ty T (t )uo|q, 0 <y< 1. (12)

J T<t

o

Обозначим интеграл в (12) через I(4). При малых 4 имеем

I(4) < с41-а-7.

При больших 4 разбиваем его в сумму двух интегралов I(4) = II (4)+12 (4) соответственно с интегрированием от 0 до | и от | до В первом случае 4 — т > §, во втором т > §. Поэтому при больших 4 справедливы оценки

I, (4) < с41-а-в-7.

Например, для I|(t) имеем

Ii(t) ^J(t — т)_a(1 + t — t2) 7 dT < const ¿-«-P-i t/2

Таким образом, при q > 3 установлено неравенство

||T (t)uo ||q < Ct_Y sup ||tY T (t)uo|q. (13)

t

Полагая uo = Пд0vo и используя оценки невозмущенной полугруппы, получаем

||T(t)nd ||p—q < Cpqt _ 2(P_ q) (14)

при выполнении следующих условий

|0| < 1, M + — ^ < 1, q > 3, 1 <p < q, 2 2 \ p qj

причем p ^ | при |0| = 1.

Некоторые ограничения на p, q можно ослабить. Возвращаясь к интегральному уравнению, определяющему u(t) = T(t)nd0vo, имеем

t

_ M _ Lf1 _ Л Г

||u(t)|q < Cpq t 2 Пp V ||vo|p + ||T (t — T )B||r—q ||u(t )||r dT.

o

Для интеграла с учетом (9) и (14) справедлива оценка t

1 _ Jli _ _L _ 3^1 _ 1

. II <11 (п-\ II rl^T- << |r—>q

o

причем должны выполняться условия

||T(t — т)B||r—q||u(T)||rdT < ct2 2 2e np q

1 + 2(1 + 1 — Г) < 1, 1?! + 3(1 — 1) < 1,

2 2 \г д д/ 2 2 ур г/

1112 3

+ - , г> 3, 1 <р ^ д< ж, р при |0| = 1. д г ^ 3 2

Можно считать, что

3

2 < д < 3, 1 <р < д при |0| =0; 33

2 < д < 3, ^ <Р ^ д при |0| = 1.

Действительно, если д > |, то положив д = 3 и выбирая г > 3 достаточно близким к 3, добиваемся выполнения указанных условий. Если |?| =0, д = |, то д следует выбирать меньше 3 и достаточно близким к 3.

Таким образом, установлено, что неравенство (14) справедливо при выполнении условий

33 1 <р ^ д< ж, д ^ ^ при |?| = 0, 2 <Р ^ д < ж при |?| = 1,

ш + 3 Г1 -1) < 1.

2 2 Vр д)

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

t

Поэтому справедлива следующая теорема.

Теорема 2. Предположим, что оператор I — ^^[Т] для любого г £ П+ обратим в пространстве (П) при любом д > 3. Тогда для возмущенной полугруппы Озеена справедливы оценки

~ а - М - 3 (1 -

||Т(*)Пде< * 2 Нр ^ (15)

при выполнении следующих условий

3

|0| ^ 1, 1 < р ^ д < то, д ^ ^,

причем р > 3 при |0| = 1.

Сформулируем условия теоремы в терминах возмущенного оператора Озеена. В работе [2] установлено, что при 1т г ^ 0

^ [Т (*)В] = (А)В,

где (А) — резольвента оператора Озеена, причем данный оператор компактен. Там же доказано, что при д > 2 и 1т г ^ 0

Кег(1 — (А)В) = Кег(А + гг!),

причем ядра не зависят от д. Поэтому справедлива

Теорема 3. Пусть при некотором д > 2 возмущенный оператор Озеена А : (П) ^ (П) не имеет собственных значений в полуплоскости И,е А ^ 0. Тогда для возмущенной полугруппы Озеена справедлива оценка (15).

Литература

1. Солонников В. А. Об оценках нестационарной задачи Стокса в анизотропных пространствах С. Л. Соболева и об оценках резольвенты оператора Стокса // Успехи мат. наук.—2003.—Т. 58, вып. 2, № 350.—С. 123-156.

2. Сазонов Л. И. Обоснование метода линеаризации в задаче обтекания // Изв. РАН. Сер. матем.— 1994.—Т. 58, № 5.—С. 85-109.

3. Kobayashi T., Shibata Y. On the Oseen equation in exterior domains // Math. Ann.—1998.—Vol. 310.— P. 1-45.

4. Botcher A., Silbermann B. Analysis of toeplitz operators.—Berlin: Akademie-Verlag, 1989.—410 p.

5. Galdi G. P. An Introduction to the mathematical theory of the Navier-Stokes equations.—N. Y.: Springer, 1994.—Vol. 1.—448 p.

6. Сазонов Л. И. Гидродинамический проектор во внешней области.—Ростов-на-Дону, 2000.—14 с.— Деп. в ВИНИТИ, № 3148-В00.

Статья поступила 11 декабря 2008 г.

Сазонов Леонид Иванович

Южный федеральный университет,

доцент кафедры выч. мат-ки и мат. физики

Россия, 344090, г. Ростов-на-Дону, ул. Мильчакова, 8-А;

Южный математический институт ВНЦ РАН и РОС-А,

зав. лабораторией мат. физики

E-mail: sazonov@ns.math.rsu.ru