Файл: Рамазанов М.Д. Лекции по теории приближенного интегрирования.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 01.08.2024
Просмотров: 103
Скачиваний: 0
з о
Г Л А В А Ш
АСИ,»шта1:-.чШ1м оптс^лльнооть НАД ГРОСТРАНСТУЛШ
а'УПВД,; С НЕПРЕШЫШ! ГРОИ^ОДНЫмИ
В этой главе"пространством функций'с непрерывными про-
изводными" |
сначала Оудем называть |
с нормой (0.1.4) |
при р=.оо . |
Получив Д;1Я них условия |
асиштотической |
оптимальности функционалов погретоетей,мы распространим
эти |
результаты на пространства И ос. с нормой (0.1.5) |
при |
р = оо . |
S 3.1.Асимптотическая оптимальность над
Рассмотрим обобщенную функцию |
|
|
|||
К * ) = , X q ( * ) " X a K S £ * - K |
) , - |
(3.1.1) |
|||
учо^1створякщую условиям |
|
|
|
||
< А ( х ) , х ч > = 0 |
Для |
М 1 * М |
(3.1.2) |
||
Она называется |
"элема1тарным функционалом" I*8-'?] . |
||||
Для любого |
М |
мало ушзать такое |
С ,чтобы система (3 .1 . 2) |
||
относительно |
коэффициентов |
Q K была разрешима |
к,следователь |
||
но, элементарный функционал |
существовал. |
|
|||
Положим для |
некоторого |
ка |
|
( |
и
K |
, . u « t 4 |
(3.1.a) |
|
|
|
|
|
|
9 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ч |
Заметим,что |
(*)-цункционал |
топа |
Фужционала |
погрешности. |
|
||||||||||
ka |
будем считать |
таким,что |
|
|
|
|
|
|
|
|
|
||||
|
|
|
и |
X " |
|
-целые |
числа. |
|
|
|
(i». 1 . 4 ) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Лемма |
18. Для |
|
m.е |
Q |
, |
М ) |
|
|
|
|
|
|
|||
при |
к — |
о . |
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. Сначала получим |
оценки некоторых функции |
|
|||||||||||||
в нормах |
|
пространств. |
|
|
|
|
|
|
|
|
|
|
|||
Пусть ч>(т) равно О |
npi |
- d o |
и |
|
1 |
при |
t r > i |
, ' С " " ^ |
1 ) |
||||||
и 4>'(t)»0 |
.Положим |
|
|
|
|
|
|
|
|
|
|
||||
Эта функция бесконечно дифференцируема и (цшитна с носите |
|
||||||||||||||
лем |
Qk, . |
У i ; ( x ) | c |
t . «. С |£л М*" |
|
|
для любого г >• о. |
|||||||||
Пусть |
|
u C * / € t , D l |
) - ( l - A 7 m |
^ ( x ) . |
|
|
|
|
|||||||
мы обозначаем |
ci * C « V " > e O |
•, J / = |
|
|
, |
MJ = •*,•+ —+ |
, |
||||||||
* ! ^ , 1 . . . ^ |
, i < . «с*.. |
|
|
|
D |
- |
- |
^ |
^ |
- |
|
||||
Свойство 1. для |
г в [о, т.] |
|
|
|
|
|
|
|
|
|
|||||
.1 м . ^ * г |
' |
* R i w l w ; 1 - * * - С Д " * - 1 |
(3.1.6) |
||||||||||||
СюЦсяво 2. Пусть |
2, (*), i±(x) |
-периодические с основным |
|
||||||||||||
периодом |
Q |
функции. г,(*)глад№Я,а |
4»(х>* |
|
.Пусть |
|
|||||||||
б"в (ъ,гп - £ у |
|
|
.Тогда |
te |
[o.m+ij |
|
|
где |
- |
92
|Ф,(х% |
& Cx Z |
r^HD\lto)|.||giw||iJ»-w + |
|||||
|
л * |
Z |
u Mi's М |
х . |
" г |
(3.1.8) |
|
+ |
С g. • |
m |
° * I Е^г, wt • |
I! г(х)|| ^ «.р |
|
||
|
|
|
|
г |
|
||
с некоторыми постоянными С г i, Cg , зависящими соответс |
|||||||
твенно от |
t- |
и 5".. |
|
|
|
||
Для доказательства распишем левую часть ( o . i . 7 ) |
через |
||||||
коэффициенты '1урье.. |
|
|
|
санесем ( £ + U J T K P ^ 1 п од знак 21 и представим его в виде ряда Тейлора,разложенного относительно точки S с остаточным, членом в интегральной форме
4
После подстановки этого разложение в |
(S . i . 9) |
слагаемое |
|||||
( i + |
|2Х4|2 )С / ^а с т |
ч л е н . л . у ^ э с ) |
форму ч (3.1.7) |
||||
Остальные члены дают ч-УНпЦию Ф^Сх). Остаётся получить |
|||||||
оценки |
!1Фг(л)1з^. |
|
•• |
|
|
||
Слагаемые, соответствующие |
i ^ J * f i ] |
, ааписъват- |
|||||
ся в виде |
|
|
|
|
|
||
|
. |
i f г. |
fa). |
л • |
w, |
|
1 |
J a |
-норма легко |
оценивается через |
|
|
|||
-С* Z |
. |
|в"Ч(х)||г.(х)Цдг-ы1 |
|
95
Норма слагаемого , со^в^тствуащего остаточному члену,с помищью равенства Пар^евалл оценизается сверху через
E ^ Q n u i x Z ( Z l X v ^ ^ ^ C M . S ^ r ) ' ( о . i . l O ) где
Нетрудно видеть,что (1ункция Я? ,0ipaHn4ei'a рглзьимерно по " t , ^ , * ^ ,i3 выражении (3.1.10) занесём под знак 2 L
-н^рму по К — ( 2 1 1 —|г "У* .Нол>чи.-,1,оценивал постоянной,»
Так как |
m-S >!± |
, мы можем написать |
Последний соинохиетль д^ет |
постоянную, зависящую от б4 |
Оценка (3.1.В) доказана. |
|
Свойсмво о. ПРИ J >6 fo.aj |
и k - » o |
К (i.-<0~* ^Cx)u(xl£i,(x),in) |
применисвойстио 2 |
34
В этом случае левая часть |
(3.1.11) есть |
ЦФ^Сл)!^ |
|
В неравенство (3.1.8) |
мы можем подставить- |
||
гша*- J if xl\x.)I |
^ |
С IСи.'А.|' ' |
и из свойства 1 |
Получим |
1 |
|
|
Обратимся к утверждению леммы.
Обозначим "U(*| •£(,', m)'= ( j - i ) (^"сх.). Заметим также, что
[W<£]* |
- ^ . |
Мы имеем |
|
|
|
|||
Функция |
и(АК^°ж . ^ |
|
в W " |
пространстве |
удовлетворя |
|||
ет |
условиям |
|
|
|
|
|
|
|
|
|
< 1±ы, |
ц (х|^° «о>•= |
i i f к |
r £ « j * |
|||
Назовём |
• "U (эс./ |
iu) |
нормирующей Функцией функционала |
|||||
|
^ V ) |
над |
vV2 m |
V > |
|
|
|
|
|
Назовём функции |
V^x) асимптотически нормирупцей для |
||||||
Функционала -(.^С*-) |
н^д простршствои |
«М^а", |
если |
|||||
При |
к -» О |
|
|
|
|
|
|
I I ^ ) | | ^ = I U ^ ) l ^ r |
( Э Л Л Э ) ' |
S5
< |
|
|
|
= II *J*C*)Hf$j.r |
(3.1.14) |
|||
Покажем, что таной асимптотически нормирушцей являет |
||||||||
ся Функция |
|
|
|
L |
|
I.1 |
\ |
|
Введём функции |
г£*(х> как продолжение SkY-t) |
с её |
||||||
носителя QK . на всё |
R.a |
периодически с основным перио |
||||||
дом Qka , то-*сть |
|
|
|
|
|
|
||
|
|
s i * с * - * * о |
"Р" |
|
|
|||
= JL* || £ i w i > r |
+ < e i ( x ) , . c * i - w - i ) u W e i ; * ) » . |
|||||||
W^"- норма |
|
Cx) |
вычислена в работе |
fib. Ё| и для этой |
||||
нормы выполняется равенство |
(см. также |
§2-2} |
|
|||||
Потхеы, что |
|
|
|
|
|
|
|
|
Г = - |
( * h x ) - i ) u ( * i « j Л ) - - |
° ( 0 ^ < < } Э Д ' 1 Б ) |
||||||
Во-первых, |
|
|
|
|
|
|
|
|
^ |
w |
= |
Z |
) i |
( ^ |
|
|
( Э л л б ) |
|
|
|
|
|
|
|
|
|
Мвгда мы подставим это в (3.1.15), |
в сумме J3.1.16) |
оста- |
||||||
ЩГЧеж только те слагаемые |
X ( |
^ |
носители которых |
|||||
пересекаются с носителями функции |
(*£*£=0- i") . |
$ти |
||||||
X C."^"S~"} |
В с У ш е |
ДВДУ* Функционал типа функционала |