Файл: Рамазанов М.Д. Лекции по теории приближенного интегрирования.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/\

Докаэательство. При