Некоторые методы получения точных и экстремальных констант в оценках приближения линейными операторами функций классов Lipmα тема автореферата и диссертации по математике, 01.01.01 ВАК РФ
Коган, Евгения Семеновна
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Чита
МЕСТО ЗАЩИТЫ
|
||||
2004
ГОД ЗАЩИТЫ
|
|
01.01.01
КОД ВАК РФ
|
||
|
На правах рукописи
Коган Евгения Семеновна
НЕКОТОРЫЕ МЕТОДЫ ПОЛУЧЕНИЯ ТОЧНЫХ И ЭКСТРЕМАЛЬНЫХ КОНСТАНТ В ОЦЕНКАХ
ПРИБЛИЖЕНИЯ ЛИНЕЙНЫМИ ОПЕРАТОРАМИ ФУНКЦИЙ КЛАССОВ ЫРма
Специальность 01.01.01 -Математический анализ
АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук
Красноярск 2004
Работа выполнена в Читинском государственном университете (ЧитГУ) на кафедре информатики, вычислительной техники и прикладной математики
Научйый руководитель
кандидат физико-математических наук Ю.Г. Абакумов
Официальные оппоненты:
доктор физико-математических наук, профессор В .И. Половкнкия, кандидат физико-математических наук, доцент А. А. Шлапунов
Ведущая организация
Уральский государственный университет
Защита состоится 4 марта 2005г. в 11 часов на заседании диссертационного
совета Д 212.099.02 в Красноярском Государственном университете по адресу 660041, г. Красноярск, пр. Свободный, 79.
С диссертацией можно ознакомиться в библиотеке Красноярского Государственного университета
Автореферат разослан 2005" г.
Учвный секретарь диссертационного совета кандидат физико-математических наук,
доцент
МЛ. Голованов
bS^ox
Общая характеристика работы
Актуальность темы. Одной из основных задач теории приближений является получение оценок вида |L„(f,x)~ f(x)\<. ап(f), где Ln- аппроксимирующая последовательность операторов, f(t)- приближаемая функция, a„(f) - выражение, содержащее индивидуальные характеристики f(t) или характеристики класса, которому принадлежит f(t). Кроме того, выражение a„(f) должно содержать некоторые характеристики L„. Эти характеристики, в случае, когда рассматривается конкретная последовательность L„, могут фигурировать в виде констант, не зависящих от / и п. Одна из актуальных задач теории приближений - получение таких констант, которые дают наименьшее из возможных значений для a„(f).
Постановка задачи получения точных констант в общем виде сформулирована в работах Н. П. Корнейчука (см. его монографию Корнейчук Н. П. Точные константы в теории приближений. М.: Наука, 1987, в которой подведены итоги определенного этапа в исследовании этого вопроса).
Предлагаемая работа посвящена частному случаю этой проблемы: рассматривается приближение функций, принадлежащих классам LipMa, некоторыми конкретными методами суммирования рядов Фурье. Для конкретной последовательности Ln ставиться задача определения величины U„(L„,a) = sup§L„(f,x)~/(;с)|:/(/)е1гр,а}, a
если Un(L„,a) = Af/an~a +о(п~а), (где обозначено L = {L„}), то в качестве основной рассматривается задача определения констант .
В работе задача конкретизируется для последовательностей тригонометрических операторов В. А. Баскакова. Эти операторы относятся к методам суммирования рядов Фурье и определяются параметрами т, кх,...,кт (все параметры целые, смотри раздел краткое содержание работы). Соответствующие константы обозначены
JmKb...^) «и
Задача получения точных констант является одной из наиболее трудных задач
теории приближения. В работе задача определения констант кт> решена лишь
частично.
РОС НАЦИОНАЛЬНАЯ БИБЛИОТЕКА
Цель работы. Целью работы является описание и применение в конкретных ситуациях метода получения точных или экстремальных констант в оценках приближения функций класса LipM а операторами Баскакова и сходными с ними аппроксимирующими конструкциями.
Новизна научных результатов. Основными новыми результатами работы являются:
1) метод нахождения точных констант в оценках приближения функций класса Lipм а операторами с фиксированным числом простых нулей у ядра, основанный на решении некоторой задачи об экстремальном значении функционала,
2) получение с помощью этого метода точных констант и
Лн
3) получение оценок сверху для констант и других констант, фигурирующих в оценках приближения операторами Баскакова функций классов WxHa и W2Ha.
Теоретическая и практическая значимость. Теоретическая значимость работы заключается в разработке определенных приемов исследования аппроксимативных свойств некоторых операторов, являющихся методами суммирования рядов Фурье и применении этих приемов к тригонометрическим операторам Баскакова.
Практическая значимость состоит в получении аналитических выражений точных констант в оценках приближения операторами Баскакова функций класса Пр\. Предложенные методы могут быть применены и к исследованию операторов, не относящихся к множеству операторов Баскакова.
Апробация работы. Результаты диссертации докладывались:
- в отделе теории функций и приближений Института математики и механики УрО РАН, на семинаре под руководством профессора Ю.Н. Субботина (2002 г.);
- на Всероссийской конференции «Алгоритмический
анализ неустойчивых задач» (г.
Екатеринбург, 2004 г.);
- в Хабаровском отделении Института прикладной математики ДВО РАН, на семинаре под руководством член-корреспондента РАН, профессора Н.В. Кузнецова (2004 г.);
- в Забайкальском государственном педагогическом университете, на семинаре кафедры математического анализа цод руководство профессора С.Е. Холодовского (2002
ч | I \ 1 «J»"1
г.);
> г ^f. ;
- на научных семинарах Энергетического института ЧитГТУ, г. Чита, 2001 - 2003 г.;
- на семинарах кафедры ИВТ и ПМ Читинского государственного университета (20002004 г.г.);
- на Первой межрегиональной научно-практической конференции: «Энергетика в современном мире» ЧитГТУ, г. Чита, 2001 г.;
- на Второй межрегиональной научно-практической конференции: «Энергетика в современном мире» ЧитГТУ, г. Чита, 2003 г.;
- на Всероссийской научно-практической конференции, Чита, ЗабГПУ 2004 г.;
- на ХХУГУ школе-семинаре им. Золотова, г. Владивосток, 2004 г.
Публикации. В процессе работы над диссертацией опубликовано 14 печатных работ, 1 работа находится в печати.
Структура и объем работы. Диссертация состоит из введения, двух глав, заключения и списка литературы. Работа изложена на 71 листе, содержит список литературы, включающий 40 наименований.
Во введении описывается предметная область, излагается постановка задачи, и кратко перечисляются основные результаты работы.
Предметом работы является исследование аппроксимативных свойств операторов вида
при Ал -» 0.
Первая глава «Тригонометрические операторы Баскакова» носит вводный характер и содержит результаты, касающиеся операторов В.А. Баскакова
Содержание диссертации
*
у которых ядра м>п(г) имеют фиксированное число простых нулей на отрезке [-й„,й„]
: I + + .....COS*}* .
Результаты первой главы частично получены автором совместно с другими математиками или имеют пересечения с ранее полученными результатами других авторов (что отмечено при изложении).
В пункте 1.1 «Идея В. А. Баскакова построения примеров операторов класса S2m» изложена идея В.А. Баскакова построения операторов с ядрами, имеющими фиксированное число простых нулей.
В пункте 1.2 «Определение вида операторов >-••.*».) и некоторых мно-
жителей суммирования» приводится простой вывод вида нормирующих множителей операторов Баскакова, и определяются значения некоторых множителей суммирования. Идея доказательства подсказана автору профессором В. В. Арестовым.
Конкретно, получены:
Теорема 1.1. При 0 <кх <... < кт < ^ справедлива формула
. 2 ft sin —
ЖП
/<*" •<")= f-2- д =
" J . í m_f 11
'sin2 áfricos/-cos^] 2m"lrTsin2 —
2líl » J U
Теорема 1.2. При 0<i < т выполняется равенство Л?,™'**1 = 1. Основой для дальнейшего изложения являются предложения 1.1 и 1.2, в формулировке которых используются обозначения: u„(t)- ядра операторов М1^.....Ч
1 Iя
В„ = . „,—— =-—-, где ü„(t)- определяются равенством
ylmK*i.....*».) пп
un{t) = Bnün(t).
Предложение 1.1. Пусть последовательность 0<5„ <л —Е(е>0, как угодно малое) удовлетворяет условию lim л8„ = да, тогда
Введем обозначения ./„ (а) = 2 _|/а (и„ (/))Л, А„ (а) = 2 ]*'" |и„ (Г)|Л,
о о
и 00 ,а-2 -;„2 т « ,а-2
Ла)-^«*2-1!!*/ 1 п , Да) = 21+а712т-1ПЛу2 -
°П<*Л2-'2> 7-1 °П|*Л2-<2|
>1
Предложение 1.2.При т > О, 0 5 а < 2т +1
Л (а) = «_аЛа) + У„(а), = "'а^(а)+ул(а), при этом тах(|ул(а)|,|у„(а)|) 5 у „(а) = о{п~а).
На основе этих предложений получены результаты: Теорема 1.3. При фиксированных тик,, / = 1 ,...,т
т зш2.
-1 <>(211к2п2-12\ м
В пункте 1.5 «Оценка скорости приближения функций класса Ырма., О <а 51» получена оценка скорости приближения функций класса Ыриа, 0 < а 51:
|АГ£"№А.....*»>(/(0,*)-/сф
<, 21+ая2™-1 •М-я-аП*Л
^ °<2п|*>2-<2|
В пункте 1.6 «Оценка приближения в точке существования производной и в точке, где /'(*) имеет разрыв первого рода» получена оценка приближения в точке существования производной и в точке, где /'(*) имеет разрыв первого рода.
Теорема 1.4. Если функция /(г) е ¿"л имеет в точке х е Л конечную производную, то имеет место равенство
мр.....к"\т,х)-т=о(п-х).
Теорема 1.5. Если ограниченная функция /(/) имеет в точке 1 = х конечные односторонние производные (то есть |/1 (х)| < да и (х)| < да), то
M<M,~ ■*»>(/(,),*) - fix) = 2 (/; (x) -
-/Kx^^JJk/'j m Wtdt
°/П(*Л2-*2) j-1
В пункте 1.8 «Оценка приближения вблизи точки существования производной и вблизи точки, где f'(t) имеет разрыв первого рода» получена оценка приближения вблизи точки существования производной и вблизи точки, где f'(t) имеет разрыв первого рода.
Предложение 1.4. Если для данного х е R существует с > 0 такое, что на [х-с,х + с] / (?) имеет непрерывную производную и, кроме того
/(*) = /'(х) = 0,то М^- '(/(О,* + —) = о(п-]).
п
Для дальнейшего изложения обозначим рл = —.
п
Предложение 1.5. М^и"к,"\(1-х)цхух+р„)-рп =о(га-1). Теорема 1.6. Если для хе R существует о 0такое, что /(i)имеет на [х - с, х + с] непрерывную производную, то
мр •*")(А0,*+рл)-/(*+ря) = К«-1)•
Предложение 1.7
м(*„ .*„>(,+,Рп) = „-1 (2г + ф(г)) + о(п~1 "*■> (Г,р„) = -«-'Ф(г) + 0(n-').
Теорема 1.7. Пусть /(f) имеет в точке t = x конечные односторонние производные (\fl (*)| < , |/! (*)| < оо ). Пусть, далее, существует с > 0 такое, что / (?) имеет непрерывную производную на [х - с, х] и на [х, х + с]. Тогда
л и
где Ф(г)определяется формулой Ф(г) = 2я2т~']~[£72 J(l--)-SU1 -.
' ' tf[(*/л2-Г2)
J=1
В пункте 1.9 «Оценка приближений функций класса
» получена оценка
приближений функций класса WlHa.
Теорема 1.8. Для функции f(t)eC2n, принадлежащей классу WXH%, имеет место оценка
.....'-Чло^ь/оф
S + а)-' 21+а 712я-'Пkf\ + o(n~1_a).
y-l
При a = 1 получим
К'.....^(mxw^-w-'nfe/l м Sin2/A
°п|*Л2-'2|
>1
В пункте 1.10 «Оценка приближений функций класса
W2Ha » получена оценка приближений функций класса W2Ha.
Предложение 1.8. Л/'*1, "*т)('2Д) =0(n'qlm)), где ?(1) = 3, ?(т) = 4 при
т>1.
Теорема 1.9. Для функции /(/)еС2я, принадлежащей классу W2H%f, имеет место оценка
Цл/<*'.....^(/(о,*)-/«!*
< 1 + а)-1 (2 + f sin2 tdt
» °п|*Л2-'2| j-i
при Ь > 0 < а £ 1, при m = 1 0 < а < 1.
Во второй главе «Некоторые точные константы в оценках приближения функций класса Lipl» производится уточнение полученных констант в оценках приближения операторами л/Л•••••*») функций, принадлежащих классам LipM<x, 0<а<1.
Получение точной константы в оценке приближения функций класса Lipl операторами Л/™*' методом исследования на экстремум (п. 2.1).
Теорема 2.1. Для функции / е С2я, / е Lip м\ выполняется оценка
где константа , определенная равенствами
(Ч „;_2.л » -2 4
Ат)= 4кгп г зш,* г ж иЬ
и Г , . = 0 не может быть уменьшена на классе Ь1ри\.
:г(п2к2-г)
Примененный при доказательстве теоремы 2.1 метод хорошо срабатывает при т = 1. Если его применять при т = 2, то мы приходим к исследованию на экстремум функции двух переменных. Распространить его на случай произвольного т представляется бесперспективным.
Начиная с пункта 2.3 «Теорема об экстремальном значении функционала некоторого специального вида», излагается другой подход к получению точных констант.
Этот подход основан на решении задачи об экстремальном значении функцио-
СО 00
нала л(/)= , где РГ(Г) такова, что сходятся интегралы |Ж(г)|<Л и
о о
СО
. Кроме того, IV(¡) имеет на ]0,°о[ конечное число простых нулей {т, .
о
Пусть Л = {X,}",, X, е [т,_], т, ], <рЛ (0 - непрерывная ломанная, звенья которой имеют угловой коэффициент 1 или -1, а точки «излома» находятся в X,.
Нижеприведенная теорема дает решение задачи об экстремальном значении функционала.
Теорема 2.2. зирт)(фЛ) = т|(фло) • л
Здесь Л° = {X.®}™ (, и X® удовлетворяют равенству
К, 00
О О
Рассмотрим применение теоремы 2.2 к получению точных констант. Предложение 2.2. ^„.^(М) < £(*„. ,*„_,,*,)(*!«) •
Здесь м(г) = 4п \-,
°.2
'2П ¿-1
к,п
На основе теоремы 2.2 получены следующие константы.
Теорема 2.3. Для операторов М^,кг) (/(/), *) и любой функции /(()еЫрм 1 выполняется оценка + о(и-1), где константа
=4 Л2*!
? эш2¡Л J т 1т
1=1 1=1
не может быть снижена.
Получена точная константа в оценке приближения функций класса Пр\ операторами, приведенными в работе Е. М. Ершовой
10
а-сов—)(11и4 +5и2 +4)-10(и2 +1) п
X }/(' + *)
. и/Л вт—
_2
. / вт—
^ 2;
(соеГ-сое—)<Л. и
Одна из возможных форм записи точной константы выглядит следующим обра-
А°н= ^тГ' - 2»ги - 2^1^(3 - 2«2 )Л) ■
о и 1 4 »
Для случая т = 3 получена следующая оценка Теорема 2.4. Если /(1)еЫрм 1, то
где константа
4-2'3)=4тг3Зб}-
_эш ис1и_
и(яг-и2){Ая2-и2)(9тг2-и2)'
-4я,336 2-:
>и(х -и
2 г__
и(ж2-и2)(4я2 -к2)(9яг -и2)
зш
является наилучшей.
(Здесь обозначено Dx =[0Д J1-'^. 2,\ J и D2 = : Д 2ju[x 3,<ю[, X,определяются равенством
1 = 2я3Зб*1_sm2udu_
А и2(я2 -и2)(4я2 -и2)(9те2 -и2) '
Динамику изменения и с увеличением £ показывают следующие
две теоремы.
Теорема 2.5. = O(lnA).
Теорема 2.6. lim AWk) = оо, и, кроме того, A[j}w = 0(1п£).
к-ко
Результаты пунктов 2.8 «Еще одна экстремальная задач.» и 2.9 «Оценка приближения функций класса LipMa, 0 < а < 1 с улучшенной константой» относятся к оценкам приближения функций класса Lipu а при 0 < а < 1. Теорема 2.7 аналогична теореме 2.2.
Теорема 2.7. supii(<pA>(I) = л(фЛо_а) • л '
В отличии от (рк и срЛо, графики, которых состоят из линейных звеньев, графики функций фЛ о и фло а составлены из смещенных и, возможно, перевернутых графиков функции ta.
На основе теоремы 2.7 получены оценки приближения функций класса Lipua, О < а < 1 с улучшенной константой.
Теорема 2.8. Пусть (ки...,кт) - мультииндекс такой, что существует множество
Л° = {А.®} , для которого выполнены равенства
>■1
тогда для любой f(t)eLipM а имеет место
|М{У*"\т,х)-/(х)| < ■*»> -М-п'" + о(п-а),
где Af........... =2|+ал2и-|П(^)2 |ста(/)-—-dt,
<=' о t2f[(k,n2-t2) 1=1
и функция (та (Г) определяется следующим образом ста (/) = (-1)'|'- Л, при /е[Х°,Х/+1[> ' = 0,1,.-,« а°т+, =»)•
Заметим, что формула для
4*,.. .и,«
получена с учетом того, что при ' > 0 выполняется условие
X 0
х° '2П(м2-'2) 1=1
В заключении сформулированы основные результаты диссертационной работы К ним относятся:
• в первой главе: оценки приближения операторами М^кь' функций
классов 1лриа, ШхНа, 1Г2На,
• во второй главе: полученные значения (в виде аналитических выражений) констант А$к\ А^кг\ А$ххъ\
Основные результаты диссертационной работы опубликованы в работах:
1. Абакумов Ю. Г., Карымова Е. Ю., Коган Е. С. Тригонометрические операторы Баскакова. Общие положения. //Методы математического моделирования и информационные технологии. //Труды института прикладных математических исследований. Выпуск 2. - Петрозаводск, 2000. - С. 87 - 104.
2. Коган Е.С. Приближение операторами М^ функций класса Ырм 1 //Математический анализ и его приложение. Выпуск 4. - Чита: ЗабГПУ, 2000. - С. 68-72.
3. Коган Е.С. Точная константа в оценке приближения операторами
функций
класса Ыри 1. //Технические науки, технологии и экономика: Тез. докл. научно-практич. конф. - Чита: ЧитГТУ, 2001. - С. 77 - 82.
4. Коган Е.С. Оценка приближения операторами
функций класса Ырм 1.
//Энергетика в современном мире. Тезисы докладов. - Чита: ЧитГТУ, 2001. - С. 196 -198.
5. Коган Е. С. Некоторые свойства операторов М А») //Вестник ЧитГТУ. Выпуск 23. - Чита, 2002. - С. 147 - 156.
6. Коган Е.С. Об определении точных констант в оценке приближения функций класса LipM 1 тригонометрическими операторами Баскакова //Вестник ЧитГТУ. Выпуск 25 - Чита: ЧитГТУ, 2002. - С. 147 - 156.
7. Коган Е.С. О некоторых точных константах в оценке приближения операторами
Л/™*' функций класса LipM\ //Методы математического моделирования и информационные технологии. //Труды института прикладных математических исследований. Выпуск 3. - Петрозаводск, 2002. - С. 67 - 77.
8. Коган Е.С. Приближение операторами М№) функций класса LipM\. //Математический анализ и его приложение. Выпуск 5. - Чита: ЗабГПУ, 2002. - С. 55-62.
9. Коган Е.С. Об оценке приближения операторами Баскакова функций класса LipMа //Вторая межрегиональная научно-практическая конференция: «Энергетика в современном мире». - Чита: ЧитГУ, 2003. - С. 149 - 151.
10. Коган Е.С. Улучшение оценки приближения операторами Баскакова функций класса LipM<x //Технические науки, технологии и экономика. Третья межрегиональная научно-практическая конференция. Материалы конференции. Часть 2. - Чита: ЧитГУ, 2003.-С. 96-97.
11. Коган Е. С. О некоторых проблемах, связанных с оценкой приближения функций класса LipM а тригонометрическими операторами Баскакова //Алгоритмический анализ неустойчивых задач- Тезисы докладов Всероссийской конференции, Екатеринбург, 2-6 февраля, 2004 г. - Екатеринбург: Издательство Уральского государственного университета, 2004. - С. 45 - 46.
12. Коган Е. С. Метод получения точных констант в оценке скорости приближения функций класса LipM а тригонометрическими операторами Баскакова //Проблемы прикладной математики: Тезисы докладов Всероссийской научно-практической конференции, Чита, 17-19 мая, 2004 г. - Чита: ЗабГПУ, 2004 - С. 26 - 27.
13. Коган Е. С. Тригонометрические операторы Баскакова и некоторые задачи, связанные с ними //Математика и ее приложения: Журн. Иванов, матем. об-ва. Выпуск 1. -2004,- С. 79-93.
14. Коган Е.С. Метод получения точных констант в оценке скорости приближения функций класса Мрма тригонометрическими операторами Баскакова //Дальневосточная математическая школа-семинар имени академика Е.В. Золотова: Тезисы докладов. - Владивосток: Изд-во Дальневосточного университета, 2004. - С. 12-14.
i
ч
ь
О
t
Лицензия ЛР К» 020525 от 02.06.1997 г.
Подписано в печать 12.01.05 г.
Уч. - изд. л. 1. Формат 60 х 84 1/16 Тираж 100 экз.
Печать офсетная
Заказ № 8
Читинский государственный университет 672039, Чита, ул. Александрово-Заводская, 30
Рик ЧитГУ
\ Ь
f
I
I ¿
I
t
i
t
1
I
I
I
1
I
I
\ )
%
Р-188 î
РНБ Русский фонд
2005-4 38102
Введение.
Глава 1. Тригонометрические операторы Баскакова.
1.1. Идея В. А. Баскакова построения примеров операторов класса 5"2т.
1-2- Определение вида операторов и некоторых множителей суммирования.
1.3. Вспомогательные утверждения.
1.4. Нормы операторов Баскакова.
1.5. Оценка скорости приближения функций класса Ьгрма, 0<а<\.
1.6. Оценка приближения в точке существования производной и в точке, где /'(х) имеет разрыв первого рода.
1.7. Обобщение предложения 1.2.
1.8. Оценка приближения вблизи точки существования производной и вблизи точки, где /'(г) имеет разрыв первого рода.
1 -9. Оценка приближений функций класса УУ1На. з
1.10. Оценка приближений функций класса 1¥2На.
Глава 2. Некоторые точные константы в оценках приближения функций класса Ыр\.
2.1. Получение точной константы в оценке приближения функций класса Ыр\ операторами методом исследования на экстремум.
2.2. Некоторые утверждения общего характера.
2.3. Теорема об экстремальном значении функционала некоторого специального вида.
2.4. Применение теоремы 2.2 к получению точных констант.
2.5. Точная константа в оценке приближения функций класса Ыр\ операторами
2.6. Применение теоремы 2.2 для случая т = 3.
Динамика изменения Л^** и увеличением к.
2.8. Еще одна экстремальная задача.
2.9. Оценка приближения функций класса Ырма,
О < а < 1 с улучшенной константой.
Теория приближений занимается, в частности, получением оценок вида Ц^иС/СО»*)- /(х)\-ап(/)-> гДе ^п ~ аппроксимирующая последовательность операторов, а /(/)- аппроксимируемая функция. Выражение £*„(/) может содержать как индивидуальные характеристики функции /(?), так и характеристики класса, к которому /(?) принадлежит.
Основное содержание данной диссертационной работы относится к получению оценок приближения функций класса Ьгрм 1 конкретными операторами, некоторые из них будут далее определены.
В дальнейшем мы будем говорить только о приближении 2я - периодических функций в метрике, определяемой чебышевской нормой.
Определение 0.1. Чебышевской нормой в пространстве С1л- непрерывных 2л - периодических функций будем называть величину[/(0|| = шах|Л0|.
Согласно общепринятому обозначению, символом Ырм 1 обозначают класс функций, таких, что для любых ¿15 ¿2> А ^¿2> \t\-t2\<2'к выполняется |/(О ~ /(¿2 )| - - | • Для обозначения того же класса функций используется еще и символ Нхм.
Определение 0.2. Линейные операторы ¿(/(г),*)называются положительными, если (/(?) > 0) => (V* Ц/> 0).
Если ¿я(/(0,х)- положительные линейные операторы, то оценку приближения ими функций класса Ырм 1 (или, что то же самое, класса Нхм ) можно провести по схеме, соответствующей схеме доказательства теоремы П. П. Ко-ровкина [12].
Зафиксируем х и будем обозначать -х\ 2ж - периодическую функцию равную - х\ при I е.\х - ж ,х + 7г\.
Пусть Ln{f{t),jc)-последовательность положительных линейных операторов Ln : Cl7c -> С1ж таких, что Ln (1, х) = 1.
Из того, что /(t) е LipM 1, получим |/(t) - f (jc)| < M\t - x\ или -M\t-x\<f{t)-f{x)<M\t-x\.
В силу монотонности положительных линейных операторов, имеем -M-Ln(\t- 4*) < Ln{f{t),x) - fix) <M-Ln(\t- 4*).
Или
I Ln {fit), x) - f{x) I < M • Ln {\t - 4 x). В силу произвольного выбора л; можем записать \\Ln{f{t),x) - f(x)I< М • |Ln(\t - 4х)||.
Если аппроксимирующие операторы имеют вид:
71
Ln{f{t),x)= ¡f(t + x)wn{t)dt,
-п то для них величина (jí — д:|, л:) не зависит от х и оценку можно записать в виде ||1Л(/(0^)-/(х)||<М-4ф|,0).
Так как М|/-д:| принадлежит классу LipM 1, последнюю оценку улучшить нельзя.
Таким образом, для конкретных аппроксимирующих последовательностей положительных линейных операторов получение оценок приближения ими функций класса LipM 1 сводится к нахождению Lni\t\,0).
Например, для операторов Фейера, имеющих следующий вид sin2 nt о-ЛЯО,х) = - )f{t + I—coskt)dt = -i- Jf{t + x)-j-dt,
K-n 2 ых n 2m.n ún2t 2 известно, что сти(И,0) =-+ 0{n~l). m
Операторы Фейера относятся к так называемым методам суммирования рядов Фурье.
В общем виде методы суммирования рядов Фурье записываются следующим образом:
Rn(A,f(t),x) = — + . (at cosix + b¡ s'mix). 2 ,=i
Здесь обозначено А = (Á¡>п)?=0, где п-1,2,., a a¡,bi- коэффициенты Фурье функции /(f)
Рассмотрим другое представление методов суммирования
Rn(A,f(t),x) = - jf(t + + ±Л cosit)dt. n -л 2 Í=1
Ядро оператора Rn(A,f(t),x)по возможности стараются представить в свернутом виде. Например, для операторов Фейера это представление выражается следующей формулой: 2 i и i i sm — 1 п -1 . 1 о 2L-cos lt
2 м * 2п sin21 2
Ядро оператора Фейера не имеет простых нулей. Как известно, число sin(« + — )í простых нулей ядра Дирихле Dn{t) =-у—, расположенных на \-л,7г],
2 sin — 2 неограниченно растет при возрастании п.
Промежуточное между этими двумя крайними случаями занимают операторы, ядра которых имеют фиксированное число простых нулей, не изменяющееся с возрастанием п.
В 1984 году В. А. Баскаков [10] предложил следующую конструкцию операторов: ? Л • 2 nt
Sin — п Sin —
ЖГяИ(Д0,*) =-— J f(t + x)-
7ЕИ . ? t un • 2 1 S 271 ч sin -(cosí-cos—)
2 n
Высказанные в работе [10] идеи были использованы Ю.Г, Абакумовым и его аспирантами для построения ряда аппроксимирующих конструкций(см., например, [2] [8]). В работе [11] В. А. Баскаков вернулся к рассмотрению операторов, построенных с использованием той же идеи (о ней подробнее излагается в п. 1.1). В [11] В.А. Баскаков получил аналитическое выражение для множителей суммирования операторов Первая глава диссертации представляет собой некоторый фрагмент теории построения таких операторов. Результаты этой главы изложены, в частности, в [31].
Заметим, что в настоящее время различными авторами предложен ряд аппроксимирующих конструкций с фиксированным количеством простых нулей у ядра (см. работы Р. К. Васильева [1], Е. М. Ершовой [15], Ю. В. Савченко [27]). Как правило, эти конструкции содержат очень сложные выражения для коэффициентов суммирования. Последнее обстоятельство характерно для так называемых оптимальных последовательностей операторов (оптимальные операторы с 2ш простыми нулями у ядра имеют порядок насыщения п~2т~2, операторы м^кх""'кт) оптимальными не являются, так как имеют порядок насыщения п~2т~х, для таких операторов В. А. Баскаков предложил термин «почти оптимальные»).
Оценка приближения функций класса LipM 1 операторами л
Ln{f{t\x) = \f{t + x)wn{t)dt при знакопеременном ядре wn(t) имеет некоторые
-л особенности, отличные от случая положительного ядра.
В самом деле, если /(t) е LipM 1, то (при условии Ln (1, х) = 1)
К {fit), х) - д*)| < м • j|r | • К (t)\dt.
-л
Правую часть неравенства можно представить по-другому
К (/(0, *) - /(*)I ^ М ■ П\срп (/) • {t)dt,
-л где (pn{t) = \t\- signwn(t).
Все функции (рп (?) имеют разрывы первого рода, следовательно, классу Ырм 1 они не принадлежат.
Получить неулучшаемую оценку, можно только найдя функцию, принадлежащую классу Ь1рм 1, даюшую максимальное значение функционала
-л
Если для каждого п найдена такая функция получено равенство ж лСО^лСО^ = Анп~Х то константу Ан будем называть точной кон
-л стантой в оценке приближения операторами Ьп(/(О?х)функций класса Ырм\. Диссертационная работа включает две главы.
В первой главе рассматриваются некоторые общие вопросы, касающиеся аппроксимирующих последовательностей операторов т ' . 2 ? Л
8Ш -П ¿=1
2лк: соб^-СОБ
V » ) я (л п-т-1 Л
Я-я V2 «=1 У
В настоящее время основные положения теории этих операторов можно считать известными. Хотя полного изложения пока не появилось (думается это дело ближайшего будущего), однако можно сформулировать следующие положения: п
1. При фиксированных т, к{,.,кт в условиях т> 1, 0 < А:, <. < кт < — нормы равномерно ограничены по п;
2. Порядок насыщения М1пт](к]'~'кт) равен п~2т~1;
3. Классы ЖгНа приближаются операторами м[т]{ки"',кт) с наилучшим порядком при условиях:
• если г < 2т, 0 <а<\,
• если г = 2т, О <а < 1 (класс W°Haсовпадает с классом Lipa)',
4. Функции класса РГ2"1//1 приближаются операторами с порядком «"2т"11п« [18];
5. При г > 2т, 0<а<1 функции классов 1¥гНа приближаются операторами ^\т]{кх,.,кт) с ПОрЯДКОМ насыщения.
План приведенного в первой главе изложения основных положений теории операторов Баскакова сложился под влиянием идеи профессора В. В. Аре-стова, который проявил внимание к работе и дал ряд весьма полезных советов. Приводимый в п. 1.2 простой вывод формулы интегралов 'М принадлежит ему. Способы, применявшиеся в работах [2], [8], [И] гораздо сложнее. Тем же простым методом доказывается, что при 0 <г<т ""'кт* = 1 (теорема
Основой для ряда результатов главы 1 являются следующие вспомогательные утверждения, доказанные в п. 1.3:
1) при любых фиксированных т и к1 г = и при 0 <Зп <п — е е > 0, как угодно мало) в условиях п8п оо
1.2). предложение 1.1)
8п где - ядро оператора 2) если обозначить я я
Jn (а) = 2 \taun (t)dt, Ап {а) = 2 ¡ta \ип {t)\dt, о о
А{а) = 2l+a7ü2m~xY\k2j ¡ I 5Ш tdt , 1 то при 0 < а < 2m +1
Уи(а) = + Л (а) = + f„(o0, при этом max(¡ гп («J | Г„ М) -УАа)~ °{па )• (предложение 1.2) На основе этих предложений получены: 1) оценка норм (теорема 1.3) sin tdt lim
П-* оо
AfMfo--*») =27t2'"-1n^2/' m 1
2) оценка приближения функций класса Ь1рма (см. (1.7));
3) оценка приближения функций в точке разрыва производной (теорема
1.5)
M(^m){mxh2(/;(;с)-/Ч*)У-VПк)] .sin2tdt +
7=1 °'П(*>2-'2)
J-l
4) оценка приближения операторами функций классов WxHa и
W2Ha (теоремы 1.8 и 1.9).
В п. 1.7 предложение 1.2 обобщается и на основе этого обобщения получена теорема 1.7. Приведем ее формулировку: пусть f(t) имеет в точке t-x односторонние производные (j/+'(*)| < |/-< существует с > О такое, что /(t) имеет непрерывную производную на [х - с,х] и на [лг,дг + с]. Тогда
1 = / п
Г 2г\ х + — V п) где Ф{г) = 2я
7=1
Во второй главе производится уточнение констант в оценках приближения операторами функций, принадлежащих классам Ырма, 0 < а < 1.
В п. 2.1 получена оценка приближения функций класса Ырм 1 операторами с точной константой:
- /И * МА^П* + 0(п-'),
• sin2 tdt 1 sin2 tdt
Olll IU1 e ¡Mil li.€1 t(ky-t2)~>t(/¿y- r2) при этом r0 удовлетворяет paгде А[${к) = 4к27Г f sin2 tdt
Задача поиска сводилась к решению оптимизационной задачи - нахождению максимума некоторой специальным образом построенной функции одной действительной переменной. Сама задача поиска максимума решалась традиционными методами дифференциального исчисления. В работе [28] по той же схеме была найдена константа для чего пришлось искать экстремум функции дух переменных.
Но применить этот способ в более сложной ситуации представляется довольно проблематичным. Возникают серьезные трудности технического характера.
Необходимость в преодолении этих трудностей отпала ввиду того, что был обнаружен другой метод нахождения констант ""кт). Более того, этот метод можно применять к операторам, не входящим в группу операторов п
Остальная часть второй главы (кроме п. 2.1) связана с упомянутым выше методом.
Задача нахождения Л^*1.сводится к нахождению экстремального значения функционала т ^ sin tdt
1 о
1П(А2-'2) 1
Ф е {<рк(0}, где Л = (Л1,.,Л ), Л е [ktxтг,к^}, к0=0,
Рл t) = (-lj(t-X -AjX-lY te[X ,,Х i+1J, / = 0,1,.,/и, (при этом
7=0 полагаем при этом X = ОД ж+1 = оо).
Общая постановка задачи о нахождении экстремального значения функционала формулируется следующим образом.
00
Функционал определяется равенством ?](/)= , где сумо мируемая на [0,оо[, непрерывная на [0,а] при некотором а> О, такая, что оо оо оо, о>0, Ж^) имеет на [о,а\ простые нули в точках о о г( , 0 < тх <. < тт < а и только в них и V/ > а sign(w(t)w(a))> 0. Если существует Л° = , б {л}, такое, что V/ = -и>0 , то Бирт]((рА) = ) (теорема 2.2). л
Если обозначить ^'""'^(или константу в равенстве sup
- л4 ■ /ме иРм 1 }= .+)> то с помощью теоремы 2.2, кроме константы yijj^ удается получить константы ^(Мг) и ^М1'2'3) Например, первая из них выглядит следующим образом 4л:3 к7к2 r sin2 tdt A sin2 tdt
J 2, . v 2 J кУ-*2)
V 1=1 »=1 у
Кроме того, в главе решена задача получения аналогичной точной константы для операторов, предложенных в работе [14] лп с л/6
1 -СОБП
11«4 + 5п2 + 4)- ю(я2 +1)
БШ ■ Ы 6
БШ
COSt - СОБ
V П J
Ж.
В п. 2.7 исследуется динамика изменения с увеличением к. Показано, что (теорема 2.6) А$к) = 0^пк).
В п. 2.9 рассматриваются оценки приближения операторами функций класса Ырма. В этих оценках получены константы, которые обозначены , и А^1'2'^'", однако оставлен открытым вопрос, являются ли эти константы точными.
В заключении подводятся итоги и обсуждаются перспективы дальнейших исследований.
Таким образом, основными результатами диссертационной работы являются:
• в первой главе: оценки приближения операторами .кт) функций классов Ырма, Ж1 На, Ж2На,
• во второй главе: полученные значения (в виде аналитических выражений) констант А[${к\ л£Ки'3).
Результаты первой главы имеют некоторые пересечения (которые отмечены в тексте) с результатами, полученными другими авторами. Результаты второй главы (за исключением, разве что только п. 2.1) полностью оригинальны.
Список литературы включает источники, цитируемые в тексте диссертации, а также некоторые другие, относящиеся к рассматриваемой теме.
Заключение
Основным результатом диссертационной работы является метод получения констант в оценках приближения операторами некоторого специального вида функций классов Ырма, 0<а<\, при этом в отдельных случаях константы при а -1 являются точными (не улучшаемыми).
Метод основан на теореме 2.2 (об экстремальном значении функционалов вида ?7(Л = ]/(0П0Ж)о
Данный метод применяется к операторам вида
-я
В диссертации рассматривается применение этого метода к операторам В. А. Баскакова
М1пт]{к"-'кт)(/(0,х) sin2i=i п тт J/(' + *)-
-ЯГ cin2 2 * т-тГ ^ sin — cosí-eos-
2Ul п J dt, а так же к операторам, введенным Е. М. Ершовой (см. п.2.5). Например, получена оценка для /(?) = Ырм 1 м№"'> х)-Ах\| < Лйф* V + о{п'), где константа г
-н является точной jO „ lO юг sin2 tdt Á sin2 tdt J 2 . J" 2
V 1=1
Ч\[{к2тг2-12) Ítf[(kfx2 -t2) j=1
Здесь á{ и Á2 должны удовлетворять равенствам я| sin2 tdt j sin2 tdt 0
At2i\fcv-í2) 4í2n(^2-/2) i=i
Кроме того, получены точные константы в оценках приближения функций класса LipM 1 операторами В. А. Баскакова при т = 1 и при т-3, к^, к2 > ^з) = (1»2,3).
Приведем предполагаемый вид точных констант в общем виде (для любых операторов В. А. Баскакова)
А^-^Ш)1] тт*1пЧ dt, I где z(f) = 1 для при четном z(í) = -l для t при нечетном /, / = 1,.,/и удовлетворяют равенствам sin2 tdt 0 л> t2f\{k27r2-t2) /=1
Точку в этом вопросе мешает поставить, то что существование множества удовлетворяющего выше приведенным равенствам, пока не доказано, кроме оговоренных ранее случаев (т = 1, т = 2, m = 3 при этом (кх,к2,кг) = (1,2,3)).
Для а < 1 метод позволяет найти некоторые константы в оценках приближения функций класса LipMa операторами В. А. Баскакова в случае, если доказано существование множества Вид этих констант приведен в формулировке теоремы 2.8. Вопрос о их точности остается открытым.
Заметим, что существуют операторы, для которых теорема 2.2 не применима (см. [20]).
Таким образом, остаются следующие проблемы в решении задач о точных константах в оценке приближения функций класса LipM 1 операторами Баскакова и другими конструкциями, имеющими ядра с фиксированным числом простых нулей:
1) затруднения, связанные с доказательством возможности применения теоремы 2.2;
2) отсутствие методов получения точных констант в том случае, когда условия теоремы 2.2 не выполняются.
67
1. Абакумов Ю. Г. О методе В. А. Баскакова построения операторов класса S2m //Вестник ЧитГТУ. Выпуск 13. Чита, 1999. - С. 119 - 126.
2. Абакумов Ю. Г. Некоторые уточнения к «методу разрывной мажоранты» //Математический анализ и его приложения. Выпуск 5. Чита, 2002. - С. 3-8.
3. Абакумов Ю.Г., Банин В.Г. О наилучшей константе в оценке приближения функций класса Нхм тригонометрическими операторами Баскакова. //Математический анализ и его приложения. Выпуск 4. Чита, 2000. - С. 8 -16.
4. Абакумов Ю.Г., Банин В.Г. Об одном подходе к исследованию аппроксимативных свойств линейных операторов //Изв. вузов. Математика. 1991. -№ 11.-С. 3-6.
5. Абакумов Ю.Г., Банин В.Г. Последовательности линейных функционалов, положительных на некоторых конусах, и аналоги теорем Коровкина //Чита: ЧитГПИ, 1986. Деп. в ВИНИТИ 11.11.86, № 7695.
6. Абакумов Ю.Г., Забелина Н.А., Шестакова О.Н. О последовательностях линейных функционалов и некоторых операторах класса S2m //Сибирский математический журнал. Т. 41. Выпуск 2, 2000. С. 247 - 252.
7. П.Баскаков В. А. Об операторах класса S2m, построенных на ядрах Фейера. //Применение функционального анализа в теории приближений. Сборник научных трудов. Тверь, 2001. - С. 5 - 12.
8. Виденский B.C. Линейные положительные операторы конечного ранга. Л.: ЛГПИ, 1985.
9. Дубровина Т. В. Оценка некоторых характеристик операторов Баскакова //Вестник ЧитГТУ. Выпуск 17. Чита: ЧитГТУ, 2001. - С. 58 - 61.
10. Ершова Е. М. Операторы класса S2 на основе обобщенного ядра Джексона
11. Применение функционального анализа в теории приближений. Сборник научных трудов. Тверь, 2001. - С. 46 - 50.
12. Ершова Е. М. Операторы класса S2m и их аппроксимативные свойства. Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. Москва: Институт электроники и математики, 2002. -13 с.1. О 1
13. Забелина Н. А. Оценка приближения функций класса W'H1 тригонометрическими операторами Баскакова //Вестник ЧитГТУ. Выпуск 20. Чита: ЧитГТУ, 2001.-С. 161 - 165.1. Л |
14. Забелина Н. А. Оценка приближения функций класса тригонометрическими операторами Баскакова М^1'""^ //Вестник ЧитГТУ. Выпуск 29. -Чита: ЧитГТУ, 2003. С. 150 - 152.
15. Забелина Н. А. Приближение операторами Баскакова м^х,""кт) функцийклассаw2mH\ //технические науки, технологии и экономика. Третья межрегиональная научно-практическая конференция. Материалы конференции. Часть 1. Чита: ЧитГУ, 2003. - С. 30 - 34.
16. Зигмунд А. Тригонометрические ряды. Т 2. М.: Мир, 1965. - 538 с.
17. Карымова Е. Ю. Некоторые экстремальные задачи, связанные с явлением Гиббса //Вестник ЧитГТУ. Выпуск 19. Чита: ЧитГТУ, 2001. - С. 37 - 39.
18. Карымова Е. Ю. Оценка величин, характеризующих явление Гиббса операторов Баскакова и некоторых линейных комбинаций. //Математический анализ и его приложение. Выпуск 5. Чита: ЗабГПУ, 2002. - С. 49 - 55.
19. Корнейчук Н. П. Точные константы в теории приближения М.: Наука. Гл. Ред. Физ. - мат. литературы, 1987. - 424 с.
20. Коровкин П. П. Линейные операторы и теория приближений. М.: Гос. издательство физ.-мат. литературы, 1959. - 211 с.
21. Коровкин П. П. Сходимость последовательности линейных операторов //УМН.- 1962.-Т. 17, №4 (106).-С. 147- 152.
22. Крылов В. И. Приближенное вычисление интегралов. М.: Наука, 1967. -500 с.
23. Мацкевич С. Б. О некоторых свойствах оператора Баскакова класса S2m //Математический анализ и его приложение. Выпуск 4. Чита: ЗабГПУ, 2000.-С. 76-78.
24. Савченко Ю. В. Об одной последовательности операторов класса S2 //Применение функционального анализа в теории приближений. Тверь: ТвГУ, 1999.-С. 209-214.
25. Коган Е.С. Приближение операторами М^ функций класса LipM 1 //Математический анализ и его приложение. Выпуск 4. Чита: ЗабГПУ, 2000.-С. 68-72.
26. Коган Е.С. Точная константа в оценке приближения операторами mJ2^1'2^ функций класса LipM\. //Технические науки, технологии и экономика: Тез. докл. научно-практич. конф. Чита: ЧитГТУ, 2001. - С.77 - 82.
27. Коган Е.С. Оценка приближения операторами функций класса LipM 1. //Энергетика в современном мире. Тезисы докладов. Чита: ЧитГТУ,2001.-С. 196-198.
28. Коган Е. С. Некоторые свойства операторов
29. Mm.{kt,k2,.,km) //Вестник Чит
30. ГТУ. Выпуск 23. Чита, 2002. - С. 147 - 156.
31. Коган Е.С. Об определении точных констант в оценке приближения функций класса LipM 1. тригонометрическими операторами //Вестник ЧитГТУ. Выпуск 25 Чита: ЧитГТУ, 2002. - С. 147 - 156.
32. Коган Е.С. Приближение операторами функций класса LipM 1. //Математический анализ и его приложение. Выпуск 5. Чита: ЗабГПУ,2002.-С. 55-62.
33. Коган Е.С. Об оценке приближения операторами Баскакова функций класса Lipма //Вторая межрегиональная научно-практическая конференция: «Энергетика в современном мире». Чита: ЧитГУ, 2003. - С. 149-151.
34. Коган Е.С. Улучшение оценки приближения операторами Баскакова функций класса LipMa //Технические науки, технологии и экономика. Третья межрегиональная научно-практическая конференция. Материалы конференции. Часть 2. Чита: ЧитГУ, 2003. - С. 96 - 97.
35. Коган Е. С. Тригонометрические операторы Баскакова и некоторые задачи, связанные с ними //Математика и ее приложения: Журн. Иванов, матем. об-ва. Выпуск 1. 2004. - С. 79 - 93.