Файл: Рамазанов М.Д. Лекции по теории приближенного интегрирования.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 01.08.2024
Просмотров: 106
Скачиваний: 0
|
|
?9 |
с различными |
Jv 4 , .. |
, |
Однако на^енн^л |
и результата этой оптимизации ре |
|
шетка оказывается наилучшее по порядку,так как даёт |
||
для нормы оптимального гдуикционала погрешности тот же |
||
порядок при |
. N -л-оо > Ч то и произвольный выбор уапов и |
|
B Q C O B . |
|
|
оаметим сраьу,что для г,ростран"ств W^* таюке извест |
|||||||||
на оценка снизу порядка, нормы функционала погрешности с |
|||||||||
любыми весами и любыми |
не |
обязательно решёт"атыми уз |
|||||||
лами. Этот |
порядок |
ест |
|
|
|
|
' |
|
|
|
|
|
|
|
» |
О |
^ |
|
(2.3.13) |
где |
|
|
>i |
|
|
|
|
|
|
|
1 = |
J- |
У |
- L . |
|
|
|
|
|
|
п |
*• |
pt*i |
|
|
|
|
(2.3.14) |
|
п°.2.3.2. Решение общей задачи |
над W a . |
|
|||||||
Рассмотрим ({ункционал |
погрешности |
|
|
||||||
|
{ С о о Ь — |
|
|
|
( 2 -8 Л Б > |
||||
асимптотически оптимальный в данной решёгке'(2.3.6), |
|||||||||
(2.3.8) над пространством |
|
(-2).Для указанной |
асимпто |
||||||
тической оптимальности достаточно |
взять |
|
|
||||||
|
|
|
|
^ , M „ M i | 2 . ) . |
|
^ ( - э л е ) |
|||
Оказывается,условие (2.3.16) достаточно |
и для |
того, |
|||||||
чтобы {"£ ^ О * ) ].«->-'=' ^т |
асимптотически |
оптимальным и |
|||||||
над |
(Si.) |
|
при |
|
|
|
|
|
|
- |
< М. S |
fxin. |
Гл.- |
£ |
гвдх. ru; * |
М |
(2.3.17) |
||
|
|||||||||
1 |
|
а-Тл |
3 |
№ |
6 |
|
|
8 0
Ото ыоашо оьшо иы получить, ообощая теорему 4.
Ни мы ладим 1ьле прямое доказательство сформулированных утьерздений.
Лемма 15. Пусть
|
+ , ( * ) , ^ t * ) 6 |
С С О |
и |
|
|
(2.3.19) |
||||
f |
Су) = j> O P P |
4V*-) > ^PP |
^ С * - * ) ) |
> о |
|
(2.3.20) |
||||
Образуем, псевдодидчеренциалькьш |
оператор |
|
|
|||||||
P a |
= + , t o K D ) 4 i ( * - » > : f c ' — ( 2 . 3 . 2 1 ) |
|||||||||
Сужение оператора |
|
|
ш |
пространство |
|
|
||||
[ |
(ft*- )] * .рассмотренное как итератор |
[Ч^С^*1 ).]* |
||||||||
в Й а |
(выявляется |
|
ограниченным оператором и норма его |
|||||||
допускает |
оценку |
|
|
|
|
|
|
|
||
|
1Р,1 * |
С 1 К Ч ) 1 * |
|
|
|
12.«.2й) |
||||
лпя любого |
|
а г О |
с |
постияшш |
Сц. , «е |
ышниящи от ^. |
||||
Ликаза/с<1^ст_о. |
|
|
|
|
|
|
|
|||
.ты нуждаемся -в |
следующей оценке: |
|
|
|
||||||
л л я любого |
|
0->0 |
|
|
|
|
|
|
|
|
iWpWW&H&lxtf)* |
|
|
-Ss^ |
Ii4№teilx |
|
, |
U . o . 2 3 , |
|||
Оципку и.3.2о)>и-До |
j :тано£.*1*ь-длн *сех |
К х ) е |
Г $ г |
( й * ) ] . |
||||||
произведём |
уамы-ij |
|
^i'D);f(>)= g(x.):-0H.- о уществляет |
|
||||||
- изоморфизм |
[ W ^ R |
^ C |
£г (Я\).Так что для справедливости |
|||||||
(2.3.23) необходима и достаточна оценка: |
|
|
|
|||||||
для лкйого |
|
0>о и |
|
$0-)1 |
|
|
|
|
|
V .
|
|
|
|
|
8 1 |
|
|
|
|
|
mwmwo-S^tx, |
|
|
|
* ^ |
л |
цы^ |
(2.3.24) |
|||
Так как. в |
плотно |
СГ^й") |
достаточно |
рассмот |
||||||
реть (2.3.24) с |
g г » fe С~(_й").Далее,очевидно,если |
|||||||||
верна оценка (2.3.24) для какого-нибудь М^М0 |
,то она |
|||||||||
верна и для меньших |
М |
.Поэтому |
сразу выберем четное |
|||||||
число |
М,= 2гп( |
m -целое) и будем доказывать (2.3.24) |
||||||||
только для этого М0 . |
|
|
|
|
|
|
||||
В этом случае (1-д)т о, (х) |
имеет |
обычный,класси |
||||||||
ческий смысл. |
|
|
|
|
|
|
|
|
||
Итак,надо доказать,Что для любого |
й > 0 |
|
||||||||
I ^ ( ^ ( О ^ У ) а - ^ ( х ) ^ |
* |
J g |
- |
ЦС^^ |
(2,3.25) |
|||||
равномерно |
по |
§.(*.) 6, С 7 ( & л ) . |
|
|
|
|
||||
ЧъО*-эЛ О - ь)" 1 ^*) |
|
можно записать |
в виде |
|
||||||
|
D - f |
C^-y) 9 C^J |
c |
некоторым постоянными |
||||||
коэффициентами |
d < |
.Левая |
часть |
(2.3.25) оценится |
||||||
через |
Z |
lo*l |
|
|
|
|
|
|
|
|
|
«^(^(D)D° l + l Cx - 4)ocx)|| J < |
|
||||||||
Поэтому достаточно уметь оценивать отдель.чце слагаемые |
||||||||||
этой |
суммы.Таким образом, приходим к задаче : |
|
||||||||
для любых |
d » о |
равномерно |
по |
|
СГ°С^ |
|||||
подучить оценку |
|
|
|
|
|
|
|
|
||
Благодаря гипозллиптичкости |
оператора |
( D ) |
,мы |
|||||||
шеем согласно л е ^ е |
13 и учитывая.4 1 0 |
|
82.
оценку |
|
|
|
|
|
|
|
|
|
|
|
|
|
|| |
(*•) D*M (В) 4V (х- у) g.OO к |
^ |
|
|
|||||||||
.< |
mox. |f, Cx)| II / ( D ) |
^ (x-tf JCx)|| w |
u |
, c & 4 p p t |
( C x ) ) |
* |
|||||||
|
|
пусть |
ui, = { x | p(_=c, Ьцрр S'lCxi) < 4; } |
|
|
||||||||
иведем теперь функцию |
4 * 0 0 •' fC*) & |
|
|
|
|||||||||
Ц>(*) |
- i |
на |
w t |
|
, 4чх)-о вне |
{ х.| J J ( X , Ъмрр ^.Сх) |
|||||||
* ' |
С |
/I 4Чх) j |
* |
(U) |
4 |
4 о |
, |
W ||Й 4 |
( . |
|
|
||
Итак, нам достаочно |
оценить |
последнее |
выражение Через |
||||||||||
||<j(x)||^(R.4) .То-""ть |
мы упростили |
первоначальную |
за |
||||||||||
дачу, попросту |
уорав |
Ц-д)"! Или,что |
то же самое,мы пока |
||||||||||
зываем, что достаточно |
рассматривать |
оператор |
|
|
|||||||||
из |
^2 |
в |
°1г • |
|
|
|
|
|
|
|
|
|
|
|
Надо получить оценку |
|
|
О |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
||
| | ^ ( в ) ^ - 8 ) § ( х ) ^ ( |
0 ^ ^ |
|
E . w l ^ u . a . |
||||||||||
После |
замены |
эс-у |
= Z |
мы приходим к эквивалентной |
|||||||||
оценке |
|
|
|
|
|
|
|
|
|
|
|
|
|
В *с*+а> /• С») |
|
gcx) |
1 ^ * |
|
II qool |
S j |
|
||||||
f |
О» |
|
900 - |
j |
d г f b |
(a) § (*) К, (* - fr) |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
KJA -ядро |
сообщенного потенциала Бесселял которое |
имее* |
|
|
83 |
оцен)<и |
|
|
|
I КK„(r)| - |
С ° |
о любым |
а > 0 |
|
Это сразу |
дает |
|
что и требовалось доказать. |
|
|
|
||||||
Заметим,что определения |
12 и 13 классов |
КО и о£ ( А / ' ы 4 * ' 2 ) |
|||||||
для |
пространств |
H f |
не только |
обобщают |
соответствую- |
||||
щие определения .для пространств |
\х.'г |
,но и не зависят |
|||||||
от |
вида выбранной решётки. |
|
|
|
|
||||
Поэтому определения |
12 и 13 применимы и к пространс |
||||||||
твам W", |
|
и к решётцам (2.3.11),(2.3.12);Так и |
|||||||
будем ~йх применять. |
|
|
|
• |
|
|
|||
Лемма 16. В решётке |
( 2 . 3 . 1 1 ) , ( 2 . 3 . i 2 ) |
функционалы, |
|||||||
принадлежлщие |
над Wz |
|
-пространствами |
классам |
|||||
КО (^,2) |
с |
^,(0 |
= |
( i - O f f 1 ) " * , |
П,е [ < , * " ] |
||||
над |
Wg^ -пространствами |
принадлежат |
классам |
||||||
|
К О ( м х , а ) |
|
с |
^ ( ? ) |
= X |
^*%}Т1/\ |
Докаэательство. При