Научная статья на тему 'L p -оценки векторных полей в двумерных областях'

L p -оценки векторных полей в двумерных областях Текст научной статьи по специальности «Математика»

CC BY
97
37
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СКАЛЯРНОЕ ПРОИЗВЕДЕНИЕ / ДИФФЕРЕНЦИАЛЬНЫЕ ОПЕРАЦИИВЕКТОРНОГО АНАЛИЗА / INNER PRODUCT / DIFFERENTIAL OPERATIONS OF VECTOR ANALYSIS

Аннотация научной статьи по математике, автор научной работы — Калинин А. В., Метелева В. Е., Тюхтина А. А.

Устанавливаются неравенства, оценивающие скалярные произведения двумерных векторных полей через нормы их ротора и дивергенции в пространствах Лебега.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Lp-ESTIMATES FOR VECTOR FIELDS IN TWO-DIMENSIONAL REGIONS

The inequalities are established which estimate the inner products of two-dimensional vector fields through the norms of their curl and divergence in Lebesgue spaces.

Текст научной работы на тему «L p -оценки векторных полей в двумерных областях»

Математика

Вестник Нижегородского университета им. Н.И. Лобачевского, 2014, № 4 (1), с. 271-278

УДК 517.9

Lp- ОЦЕНКИ ВЕКТОРНЫХ ПОЛЕЙ В ДВУМЕРНЫХ ОБЛАСТЯХ © 2014 г. А.В. Калинин, В.Е. Метелева, А.А. Тюхтина

Нижегородский госуниверситет им. Н.И. Лобачевского avk@mm.unn.ru

Поступила в редакцию 05.02.2014

Устанавливаются неравенства, оценивающие скалярные произведения двумерных векторных полей через нормы их ротора и дивергенции в пространствах Лебега.

Ключевые слова: скалярное произведение, дифференциальные операции векторного анализа.

При решении математических проблем гидродинамики и электромагнитной теории большую роль играют оценки, связывающие нормы вектор-функции, её ротора или дивергенции в пространствах Лебега. Некоторые результаты исследований Ьр -оценок норм векторных полей

и их приложений в задачах математической физики отражены в работах [1—6]. Применение этих оценок, как правило, требует однородности физических сред, в которых изучаются векторные поля. При изучении задач математической физики в неоднородных средах с кусочно-гладкими коэффициентами обычно использовались соображения, связанные с условиями согласования на границе раздела сред [3].

Для исследования векторных полей в неоднородных средах при более общих условиях на коэффициенты могут быть эффективно использованы оценки для скалярных произведений векторных полей. В работах [7-10] были получены Ьр -оценки скалярных произведений векторных полей в трёхмерных ограниченных областях и была изучена возможность их применения для исследования разрешимости различных задач электромагнитной теории.

В настоящей работе устанавливаются неравенства, оценивающие скалярные произведения двумерных векторных полей через нормы их ротора и дивергенции в ^-пространствах. Полученные оценки основаны на обобщенных для интегрируемых вектор-функций представлениях гладких вектор-функций в двумерных звездных областях.

1. Обозначения

Пусть Я2 - двумерное евклидово пространство. Через X = {х1,х2}, у = {у1,у2},... обозначаются точки Я2, через е1 = (1,0), е2 = (0,1) - канонический базис, скалярное произведение (X • у) =

Ы ¡- -Л1/2

= х1 у1 + х2 у2 , евклидова норма я = (г • х) .

Для вектора z е R2, z = {, z2}, обозначим через z* вектор {z2,-z1}. Тогда при всех a, b е R2 а* = —а, (а • b*) = -(а* • b).

Пусть QcR2 - открытое ограниченное множество, звездное относительно некоторой точки, с регулярной границей Г, Q - замыкание Q в R2. При почти всех x е Г определён единичный вектор внешней нормали v(X). Для функций и : Q ^ R2 используются обозначения

uv (x) = (и (X) • v( X)), nv (x) = nv (x )v(X),

ux (x) = U(x) — Uv ((), x е Г.

Дифференциальный оператор д / дх,, i = 1,2 , обозначается через дi; основные дифференциальные операции для дифференцируемых функций U: Q^ R2, ф: Q^ R1 записываются в виде

div и = д1и1 + д2и2, grad ф = (д1ф, д 2ф), rot и = д1и2 - д2и1, rot ф = (д2ф,-д1ф). Очевидно, что

rot и = div и *, rot ф = (grad ф)*.

Через D(Q) обозначено пространство пробных функций ф : Q ^ R1, через {D(Q)}2 - пространство пробных функций ф : Q^ R2, через {D(Q)}2 - множество функций, являющихся сужениями на Q функций из {D(R2)}2 . {Lp (Q)}2, 1 < p <«, - банаховы пространства суммируемых со степенью p вектор-функций и : Q ^ R2 с соответствующими нормами

1И1Рп={[ \и(x)Pox} . При p=2 пространство {L2 (Q)}2 является гильбертовым со скалярным произведением (и, v)2П = J*(u (()• v (xj)dx .

Определяются следующие банаховы пространства вектор-функций с соответствующими нормами [7]:

Нр ((у;О) = е \Ьр(о)}3: (уи е Ьр(о)},

Hull ,. = H|u||p + lldiv и\Р

llp.div.n И llp.n N llp.n

}'Р,

Hp (rot; оЬ Ji e Lp (n): r°tu e L, («)!•

I|u|| = l|u||p +1 |rot u||p

llp.rot.n U llp.n N llp.n

J(u • v )dx

< CJ u

llg.nll

rot v

llp.n

(2.1)

J(u • v )X

< CJ й

llg.nll

rot v

llp.n

+ v

lip,nil

liv u

\\q,n)

J(u • v )dX

n

+1 Ivll

< CJ u

q,n

liv v

p,n

n rot u n + rot u n div v ,

p,n q,n q,n p,n

Если р > 2, то найдется такая постоянная С4 > 0, зависящая только от области О и р, что

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

J(u • v )dX

(2.4)

< CA U

liv v + rot u v

Через H0p (div; n), H°p (rot; n) обозначается замыкание множества |)(n)}2 в Hp (div; n), Hp (rot; n) соответственно.

Справедливо следующее утверждение.

Теорема 1.1. Пусть QcR2 - открытая ограниченная область с регулярной границей. Тогда множество вектор функций, принадлежащих {¿(Q)}2, плотно в Hp(div;n) и в Hp(rot;n).

2. Основные результаты

Неравенства, сформулированные в теоремах 2.1-2.3, будут доказаны в п. 4 на основании рассмотренных в п. 3 представлений вектор-фунций.

Теорема 2.1. Если p > 1, q = p /(p -1), то существует такая постоянная C1 > 0, зависящая только от p и области n , что для любых v e Hp(rot;Q), u e H° (div;n) справедливо неравенство

q,n p,n q,n p,n

Пусть теперь n c R2 - произвольная ограниченная область. Справедлива

Теорема 2.3. Пусть p > 1, q = p /(p -1). Если p Ф 2 , то найдется такая положительная постоянная C5, что для всех u e H° (div;n), v e e H 0p (rot; n) справедливо неравенство

J(u • v )dX

(2.5)

< CJ u „rot v

+ v

iiv u

q,n p,n p,n q,n

При p = 2 найдется такая постоянная C6 > 0, что для всех u e Hp (div; n), v e Hp (rot; Q) справедлива оценка

J (u • v )dX

< CJ u „rot v +

q,n

p,n

+ М о div u n+ rot v n

p,n q,n p,n

lldiv "II q,n) .

(2.6)

+ 1 М1р,о1(у м1,о+11(1у и\1о\\г0 Чро! • Если р > 2, существует такая постоянная С2 > 0 , зависящая только от р и области о , что справедливо неравенство

3. Представления вектор-функций в звездных областях

Пусть область О звездная относительно точки у е О. Для т е [0,1], х е О обозначаем

^(х, у) = у + т(х - у) е О •

Теорема 3.1. Для всех функций и е |(С1(о)}2 справедливы тождества

u (x) = grad X \ J u (( (x, y)) • ( - У) у -

(2.2)

Теорема 2.2. Пусть p > 1, q = p /(p -1). Тогда существует такая постоянная C3 > 0 , зависящая только от области n и p, что для любых v e Hp (div;n), u e Hp (rot; Q) , справедливо неравенство

1

- - Й rotj u((((X»^

0

(X) = rot X jJ (u(( (x y)) •(( - УУV

(3.1)

1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

+ Jt(x - y )divj u(jx (xj, y)))

(3.2)

(2.3)

где rot j u (zx(x, y)) = rot j u (z) в точке z = zT(x, y), div - u (zx (x, y)) = div - u (z) в точке z = zx(x, y).

Справедливость тождеств (3.1), (3.2) проверяется непосредственно. При этом каждое из равенств можно получить, применив другое равен-

+

+

Lp-сцонки воктсрных пслой в двуморных сбластях

273

ство для вектор-функции u* = {u2,—u^e {c1(q)}2 Из неравенства (3.8) следует, что отер^гор

Qm : Lp (Q)^ Lp (Q) при p > max<j 1 2

m +11

С использованием обозначений г = X - у , /—\

непрерывен на множестве С (О), плотном в ?(X) = (X - у)/г(X) е 5, где 5" - единичная сфера / ч

г ) £р (О). Следовательно, его можно продолжить

в Я , 5 = £ еЯ : £ =1/, £ = хг, тождества (3.1), до некоторого линейного ограниченного опера-(3.2) запишутся в виде тора, обозначаемого в дальнейшем также через

Гг Г 0т, определенного на всем пространстве

и(х) = х м(((у + ^) ^^ Г £ (о) . Оценка (3.8) остается справедливой и

10 J (3 3) р

! ^ ^ для этого оператора. Аналогично, оператор

- -* го1 г и (у + Qm : {£р (о)}2 (о)}2 продолжается по не-

г 1 > прерывности на пространство {р (о)}2 :

и(х) = ш! х|}( + *Ц + рт(ф|рп <(фЦр,п <

< Ст (P, 0|Ф| рп= Ст (P, °)|Ф|| р,п .

(3.4)

+ S J^s div j u (у +

ii p,q /imip,q

r J Теорема 3.2. Для каждой функции

Обобщим представления (3.1), (3.2) для ин- и е Hp(div;q) p >1 наВДется такая функция тегрируемых функций. Определим для каждого q(u)е Lp (q), что справедливо тождество

ветственно соотношениями

m >-1 и для функций ф е c(q), $e{C(Q)}2 u = rot Q(u) + sQl (div U),

функции Qm (ф): Q ^ R1, Qm (ф): Q ^ R2 соот- причем, если p > 2, можно взять

Q(U ) = (Qo (U )• s).

Qm (ф)(Х ) = ^-m JV ф(у + R

0 (3.5)

Qm №)= '-m JVф(У + ^К

(3.9)

0

Доказательство. Пусть последовательность {ик }с |о(о)}2 такова, что ик ^ и при к ^ да в Н(div; О). Для всех ик справедливо тождество (3.9): _

С использованием обозначений (3.5) тожде- йк = го^ (ик )• ? *)+ ^ (div ик). (3.10)

ства (3.3), (3.4) примут соответственно вид тт ;

г- , ч V ч / ч ч При к ^ да, ввиду оценки (3.8), (divик

, ч г~ , ч V \ / V \ р ' ввид>

u (х ) = grad(^0(u)) s Xх)-(rot u)(x), (36) (div u ) в {Lp (Q)}2.

u = rot(Q0 (u )• s*)+ sQ1 (div u ). (3.7)

Последовательность {rot(Q0 (uk) • s * )}=,

таким

0

Лемма 3.1. При всех т >-1.

2 | образом, фундаментальна в {р (о)}2 и, следова-

-> существует такая постоянная 1 ^ р 4 ''

p > max<! 1,-> существует такая постоянная

1 m + 1J тельно, сходится к некоторому элементу

Cm (p,Q)> 0, зависящая только от m, p и обла- V е \Lp(q)}2 .

сти О, что для любых фе С(о) справедливо Пусть уе{£(0)}2 такова, что div ^ = 0. Тоо гда

(ф)р,о < ст(р,о)ф||р,о. (38) V*, *)-иче. ю-гЦ

Оценка (3.8) может быть получена с исполь- к ^^ '

неравенство

зованием неравенства Гёльдера так же, как со- = — lim/grad(Q0 (ик )• s *), = 0,

ответствующее неравенство для трехмерного k^

случая в [9]. При этом то есть [4] v*=— gradQ(U), где функция Q(U)

^ ч ppL r определена с точностью до аддитивной константы

Cm (p, Q)= —-r-p—1-I ——, и лежит в Lp (q) согласно неравенству Пуанкаре

m I p(m +1) — 2 J p1/p' ^ ,4

, ч [11]. Следовательно, v = rotQ(u). Переходя к

гдеRy(s) = sup{r е R1 : y + rs efll, Rv = supRv(s). « ,m ^

^ s jesy пределу в равенстве (3.10), получаем (3.9).

и воспользовавшись соотношением u = —u .

всех

Если p > 2, то (q0(u)• s)e Lp(q) и для $e|n)}2

^rot(Q0 (uk )• S *)-rot(Q0(u ^s *)

< C0 (p, n)|uk - u| |p jrot ф||q,Q ,

последовательность {rot(Q0 (uk )• s *)} сходится к

rot(Q0 (u )• s *) в пространстве распределений, и

rot (Q (u )• s *)= rot Q(u). Можно положить, таким образом,

Q(u )=(Q (u )• s*). Теорема 3.3. Для каждой функции u e Hp (rot; О) при p > 1 найдется функция

Q (u) e Lp (о), такая, что справедливо тождество u (x) = grad Q1(u )-sQj(rot u ), (3.11) причем, если p > 2, можно взять QQ (u) =

= (Q0 (u )• S).

Доказательство. Если u e Hp(rot;о), то u* e H (div;о), и согласно теореме 3.2 найдется функция q(u*)e Lp(о), такая, что

u * = rot Q(u *)+ sQj(div u *). Получаем таким образом

u = -u* =-(rotQ(u*)) -s*QQ(divu*) =

= grad Q(u *) - s *Q>! (rot u), то есть справедливо тождество (3.11), где Q1 (u ) = Q(u *). Пусть p > 2 и, соответственно, Q(u*) =

:*)• s *). Если

последовательность

& }

с

Лемма 3.3. Для любой функции и е K (rot; Q) найдется такая функция ю е H '(Q), что и = =gradю .

В [12] приводятся новые представления трехмерных векторных полей во внешних областях. Аналогичные равенства могут быть получены и для двумерного случая. Пусть Qe = R2\Q , ls = {x е R2 : x = y + rs,r > o}, Sr = = {s е S : ls П Г Ф 0}. Предположим, выполнены следующие условия:

• Sr = S П О для некоторого открытого

множества Ос R2 ;

• для каждого s е Sr множество ls П Г состоит ровно из одной точки x = y + R(s)s, при этом x = y + rs е Q, если 0 < r < R(s), и x = y + rs еQe, если r > R(s) ;

функция hy (x ) = R

( - - \ x - y

- Я

определенная

c|(Q)}2сходится к u в |p(о)}2, то последовательность } сходится к u *, и, таким образом,

Q0 (u*)= ЦИ1Q0 (uk)= Urnfe (uk J = (Q0 (u)) .

Окончательно получаем

Q1 (u) = Q(u *)=(Q0 (u *)• s *) =

= (( (u ))*• s *)= (?0 (u )• s ), что и требовалось доказать.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Теоремы 3.2, 3.3 имеют очевидные следствия:

Лемма 3.2. Пусть p > 1. Для всех u e H (div; О), v e H (rot; О) функции Q(u), Q (v), определяемые в теоремах 3.2 и 3.3 соответственно, лежат в W1 p (о).

на открытом множестве Ог = {хеR2: х = у + г?, (г, ?)е(0, <»)х 5г}, является функцией класса С1 (Ог) •

Теорема 3.4. Для любой функции и е {с1 (Ое )}2 при всех х еОе справедливы равенства

и (х) = г0 х |(и ( (x, У)) •(( - У)" +

ку (х )/|I-у\

1

+ | т(( - у)((1уг и (( ((, у))<А +

ку (х )/| х - у|

ку (х)

(( - у)

gradx

- У

( (

и

V v

y + hy (x )

-y

^ ( x - y ^

y + ix-y hy (x)

-y

УУ

1

и (x) = gradx J (u ((x (x, y)) •(( - y))d% -

hy (x )/| x - y|

1

Jx(x - y rot г и ( (( y ))dX -

hy (x )/| x - y|

-(( - y

d hy (x) grad

x

- y

((

y+

v

x - y lx - yl

hy (x)

^ ( x - ^ ^^ у + hy (x )

• v

x

- y

/y

X

X

X

^-оценки векторных полей в двумерных областях

275

С использованием обозначений представлений (3.3), (3.4) данные тождества можно записать в виде

г

и(x) = rotx J(u(y + )• s*)dE,-

R(S)

1 r

+ — J div 2U (( + +

R(S)

+ rs

grad.

R(s)

X (u (y + sR(s )) • v(y + sR(s()),

r

U(x) = gradx J(((y + £?)•

R(s)

- J *rotzu(( + R(* )X

R (s)

— rs

grad x

Если p>2 , то, согласно теореме 3.3, v = grad(Qo (v) • s ) — sQ1 (rot v), и, следовательно, для всех m е N

J(( • Wm )dx = J((m ' grad(Q0 s ))dx"

— J Q1 (rot v )(( •V m )dx

Q

< Co (p, Q) v|pQ| Idiv у

C1 (p, Q)rot v|l ||V

p,Q\\ m\\q,a

p—1

Положим C2 = C0 (p, Q) =

f p — 1 ^ p Ry

x (u*(y + sR(s)) • v(( + sR((()).

4. Доказательство основных неравенств

Доказательство теоремы 2.1. Пусть v е Hp (rot; Q), и е H0 (div; Q). По определению

пространства H°° (div; Q) найдется последовательность {уm }е{/)^)}2, такая, что ym ^ U при m ^ да по норме H°q (div;Q). Согласно теореме 3.3 найдется функция Q(v)е^1,p(q), такая, что

v = grad Q(v ) — s*Q1 (rot v ), при этом, ввиду обобщённого неравенства Пуанкаре [4], существуют константа A(p, Q), не

зависящая от Q(v), и число C *, такие, что

Q(v) — CII p,Q< A( Q)grad Q(( )p,Q. Для всех m е N получаем:

J(( •У m )dx < j{Q(v) — C }div W mdx

QQ

+ J| Q1 (rot v ) m\dx <

Q

< A(p, Q|div Wm|q,Q (|1p,Q + C1 ( Q)rot 1p,Q ) + + C1 (P, Q)rot v|p,q||w m|q,Q .

Положив

C1 = max{A(p, Q), C(p, Q), A(p, Q)C1 (p, Q)} и переходя к пределу при m ^да, получаем неравенство (2.1).

Тогда, переходя к пределу при m ^да>, получим (2.2).

Доказательство теоремы 2.2. Пусть последовательность {Уm }е {d(q)}2 такова, что Wm ^ и при m ^да по норме Hq (rot; Q). Так как rot и = div U*, последовательность {wm }е {d(q)}2 сходится к и * в Hq (div; Q), и, следовательно, и*е H0(div;Q). Если v е Hp(div;Q), то v*е е H (rot; Q), и, применяя теорему 2.1, получим

J (и* • v*)о£

< CJ U I rot v 1 +

1,1 Hq,Q|l II p,Q

+ v div U1 + div U * rot v *

И llp,Qll llq,Q II llq,Q II llp,Q'

= CM U div Л + v rot U +

1 q,Q p,Q p,Q q,Q

+ 1 Irot U|| lldiv vll ) .

q,Q p,Q

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Так как (и • v) = (и*• v*), отсюда следует неравенство (2.3).

Если p > 2, то для U*, v* справедлива оценка (2.2), и, таким образом, для и , v справедлива оценка (2.4).

Замечание. Ввиду теоремы о плотности, неравенства (2.1)-(2.4) можно было бы доказать для гладких функций, используя представления (3.1), (3.2) и не привлекая теоремы 3.2, 3.3.

Доказательство теоремы 2.3. Пусть Q c BR(y) = {x е R2: |x — y| < r}, U е H0(div;Q),

v е H°p (rot; Q), последовательности {уm } е е {d(q)}2 , }е{^^)}2 сходятся к и в Hq (div;Q) и к v в Hp (rot;Q) соответственно. Определим для каждого m = 1,2,... пробные функции wm е {d(Br (y))}2, ф^ е {{((Br (y))}2, продолжая уm и фm нулём вне Q. Поскольку

х

+

ч

J (( •4>Rn)dX = J(( , достаточно дока-

Br(y) Q

зать неравенства для и Ф^ .

При p>2 утверждение теоремы вытекает из (2.2). Если p<2, то q > 2 и для ^, Ф^ справедлива оценка (2.4). Если p=2, применяя теорему 2.1 к функциям viR e H (div;Br (y)) ,

e Hp (rot; BR (y)) , приходим к неравенству (2.6).

5. Следствия оценок при p = 2

Обозначим H (div;Q) = H2 (div;Q), H (rot;Q) = = H2 (rot;Q), это гильбертовы пространства с соответствующими скалярными произведениями

(u, v)div = J(u • v)dX + J div u div vdx,

Q Q

(u, v)rot = J(u • v)dX + J(rot u • rot v)aX,

Q Q

положим также K (d iv; n) = {? e {L2 (n)}2 : divu = 0}, K(rot;О) = { e {L2(о)}2 : rotu = 0}, Kx(div; О) и Kx(rot; О) - ортогональные дополнения к K(div; О), K(rot; О) в { (о)}2.

Справедливы следующие утверждения [3,4].

Лемма 5.1. Для всех p e H1 (о) справедливо включение grad p e K (rot; О), причем если p e H1 (О), то grad p e K(rot; О) П H0 (rot; О).

Лемма 5.2. Kx(div; О) совпадает со множеством {grad ф: 9e Hl0 (о)}.

Поскольку неравенства (2.1), (2.3) при p = q = 2 оценивают скалярные произведения

функций в {L2 (о)}2 , из них следуют известные условия ортогональности соленоидальных и потенциальных векторных полей для звездных областей. А именно, справедливы следующие утверждения, другими методами полученные, например, в [2-4, 6].

Лемма 5.3. Пусть ОсR2 - ограниченная область, звездная относительно некоторой точки. Тогда

K1 (div, О) = K (rot, О) П H0 (rot; О).

Доказательство. Пусть u e K1 (div, О). Согласно лемме 5.2, u = grad ф, где ф e H0 (q) . По лемме 5.1 тогда u e K (rot, О) П H 0 (rot; О).

Обратно, пусть u e K(rot, О) П H0 (rot; О), v -произвольный элемент из K (d iv, Q). Из нера-

венства (2.3) следует, что J(u • v)aX = 0 , то есть

Q

u e K1 (div, n).

Лемма 5.4. Пусть ОсR2 - ограниченная область, звездная относительно некоторой точки. Тогда

K1 (rot, О) = K (div, О) П H0 (div; О). Доказательство. Пусть u e K1 (rot, О). Для всех v e K (rot; Q) функция v* e K (d iv; n), поэтому u*e K 1(div,О), и, по лемме 5.3, u*e e K(rot, О) П H0 (rot; Q), то есть u e H0 (div; О) П П K(div; Q) .

Обратно, пусть u e K (d iv, n) П H 0 (d iv; n), v - произвольный элемент из K (rot, n). Тогда из

неравенства (2.1) следует, что J(u • v)dX = 0 , то

Q

есть u e K1 (rot, n).

Теорема 5.1. Пусть ОсR2 - ограниченная область класса С2, звездная относительно некоторой точки. Тогда пространство {L2 (о)}2 раскладывается в прямую сумму взаимно ортогональных пространств H, H1 , H2 , где

H = {7 e {L2 (О)}2 : divu = 0,yvu = 0}, Hj = {I e {L2 (q)}2 : u = gradp, Ap = 0},

H2 = {u e {L2 (n)}2: u = grad ф, ф e H1 ((}. Доказательство. Согласно лемме 5.4, H = K(div, О) П H0 (div;Q) = K 1(rot, О), по лемме 5.2 H2 = K (rot, О) П H0 (rot; О) = K1(div, О). Так как ввиду леммы 5.1 H1 = K (d iv, n) П П K (rot, О), пространства H, H1, H2 взаимно ортогональны. Остается показать, что пространство K (rot; О) раскладывается в прямую сумму H1 и H2 . Если u e K (rot; О), то, согласно лемме Лакса-Мильграма, найдется единственный элемент ф e H0 (q), такой, что при всех "qe H^ (о) справедливо равенство

J (u • grad q)dX = J (grad ф • grad q)aX,

Q Q

и, следовательно, u - grad фe K (rot; Q) n n K (d iv; О = H1. Так как gradф£H1, теорема доказана.

Положив в неравенствах (2.1), (2.3) при p = 2 u = v , получим оценки нормы функции u в

{L2 (о)}2 через нормы ее ротора и дивергенции.

Теорема 5.2. Пусть ОсR2 - ограниченная область с регулярной границей, звездная отно-

bp-оценки векторных полей в двумерных областях

277

сительно некоторой точки. Найдется такая постоянная С7 > 0, зависящая только от области О, что для всех и е Н0 (го!;О)П Н(^;О) справедлива оценка

114,0 < С7 (| ГО! и| (2,0 + 2,О) . (5Л)

Доказательство. Положим в неравенстве (2.3) V = и, тогда

У|2 < С3 (|м|| ||го! м|| +

II 112,0 3Ч Н2,пН 112,0

+ ||div м|| + ||го! м|| ||div м|| ) .

II 1|2,П|| 1|2,П II 1|2,П|| 1|2,П/

Обозначая

z = И

а = div и

ß =

И2,Q ~ C8 (Ir0tUl2,Q+|Idlvи\2,П/

= ||rot 2 Q и разрешая неравенство

z2 — C3z(a + p)— C3ap< 0 относительно z > 0 , получаем, что справедлива оценка (5.1), где C7 = C3 +1/4.

Теорема 5.3. Пусть Q c R2 - ограниченная область с регулярной границей, звездная относительно некоторой точки. Найдется такая постоянная C8 > 0 , зависящая только от области Q, что для всех и е H(rot;Q)nH0(div;Q) справедлива оценка

J. (5.2)

Доказательство. Положив в (2.1) v = U и разрешая полученное неравенство относительно U , получим оценку (5.2), где C8 = C1 +1/4.

Работа выполнена при финансовой поддержке в рамках задания М 2014/134 на выполение государстве-ных работ в сфере научной деятельности в рамках базовой части государственного задания Минобрнауки РФ (код проекта 2664).

Работа поддержана (частично поддержана) грантом (соглашение от 27 августа 2013 г. М 02.В.49.21.0003 между МОН РФ и ННГУ)

Работа выполнена при финансовой поддержке Мино-брнауки РФ в рамках проектой части государственного задания в сфере научной деятельности в 2014-2016 гг. (код проекта 1727).

Списск литоратуры

1. Вейль Г. Метод ортогональной проекции в теории потенциала // В сб.: Математика. Теоретическая физика. М.: Наука, 1984. С. 275-307.

2. Быховский Э.Б., Смирнов Н.В. Об ортогональном разложении пространства вектор-функций, квадратично суммируемых по заданной области, и операторах векторного анализа // Труды МИАН СССР. 1960. Т. 59. С. 5-36.

3. Дюво Г., Лионс Ж.-Л. Неравенства в механике и физике. М.: Наука, 1980. 384 с.

4. Темам Р. Уравнения Навье-Стокса. Теория и численный анализ. М.: Мир, 1981. 408 с.

5. Масленникова В.Н. Оценки в Lp и асимптотика при t ^ да решения задачи Коши для системы Соболева // Труды МИАН СССР. 1968. Т. 103. С. 107-141.

6. Girault V., Raviart P.-A. Finite Element Methods for Navier-Stokes Equations. New York: SpringerVerlag, 1986.

7. Калинин А. В. Некоторые оценки теории векторных полей // Вестник Нижегородского университета им. Н.И. Лобачевского. Серия «Математическое моделирование и оптимальное управление». 1997. Т. 20. № 1. С. 32-38.

8. Калинин А. В., Калинкина А. А. Оценки векторных полей и стационарная система уравнений Максвелла // Вестник Нижегородского университета им. Н.И. Лобачевского. Серия «Математическое моделирование и оптимальное управление». 2002. Вып. 1(25). С. 95-107.

9. Калинин А.В., Калинкина А.А. Р^оценки векторных полей // Известия вузов. Математика. 2004. № 3. С. 26-35.

10. Калинин А. В. Оценки скалярных произведений векторных полей и их применение в математической физике: Учебное пособие. Н.Новгород: Изд-во ННГУ, 2007. 319 с.

11. Мазья В.Г. Пространства С. Л. Соболева. Л.: Изд-во ЛГУ, 1985. 415 с.

12. Калинин А.В., Молодкина В.Е. Некоторые представления векторных полей во внешних областях // Вестник Нижегородского университета им. Н.И. Лобачевского. 2014. № 3(1). С. 94-98.

Zp-ESTIMATES FOR VECTOR FIELDS IN TWO-DIMENSIONAL REGIONS

A.V. Kalinin, V.E. Meteleva, A.A. Tyukhtina

The inequalities are established which estimate the inner products of two-dimensional vector fields through the norms of their curl and divergence in Lebesgue spaces.

Keywords: inner product, differential operations of vector analysis.

2.П

2,П

References

1. Vejl' G. Metod ortogonal'noj proekcii v teorii potenciala // V sb.: Matematika. Teoreticheskaya fizika. M.: Nauka, 1984. S. 275-307.

2. Byhovskij Eh.B., Smirnov N.V. Ob ortogonal'nom razlozhenii prostranstva vektor-funkcij, kvadratichno summiruemyh po zadannoj oblasti, i operatorah vektornogo analiza // Trudy MIAN SSSR. 1960. T. 59. S. 5-36.

3. Dyuvo G., Lions Zh.-L. Neravenstva v mekha-nike i fizike. M.: Nauka, 1980. 384 s.

4. Temam R. Uravneniya Nav'e-Stoksa. Teoriya i chislennyj analiz. M.: Mir, 1981. 408 s.

5. Maslennikova V.N. Ocenki v Lp i asimptotika pri t —y & resheniya zadachi Koshi dlya sistemy Soboleva // Trudy MIAN SSSR. 1968. T. 103. S. 107-141.

6. Girault V., Raviart P.-A. Finite Element Methods for Navier-Stokes Equations. New York: SpringerVerlag, 1986.

7. Kalinin A.V. Nekotorye ocenki teorii vektornyh polej // Vestnik Nizhegorodskogo universiteta im. N.I. Lobachevskogo. Seriya «Matematicheskoe modelirovanie i optimal'noe upravleme». 1997. T. 20. № 1. S. 32-38.

8. Kalinin A.V., Kalinkina A.A. Ocenki vektornyh polej i stacionarnaya sistema uravnenij Maksvella //

Vestnik Nizhegorodskogo universiteta im. N.I. Loba-chevskogo. Seriya «Matematicheskoe modelirovanie i optimal'noe upravleme». 2002. Vyp. 1(25). S. 95-107.

9. Kalinin A.V., Kalinkina A.A. Lp-ocenki vek-tornyh polej // Izvestiya vuzov. Matematika. 2004. № 3. S. 26-35.

10. Kalinin A.V. Ocenki skalyarnyh proizvedenij vektornyh polej i ih primenenie v matematicheskoj fizike: Uchebnoe posobie. N.Novgorod: Izd-vo NNGU, 2007. 319 s.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

11. Maz'ya V.G. Prostranstva S.L. Soboleva. L.: Izd-vo LGU, 1985. 415 s.

12. Kalinin A.V., Molodkina V.E. Nekotorye pred-stavleniya vektornyh polej vo vneshnih oblastyah // Vestnik Nizhegorodskogo universiteta im. N.I. Lobachevskogo. 2014. № 3(1). S. 94-98.

i Надоели баннеры? Вы всегда можете отключить рекламу.