Некоторые методы получения точных и экстремальных констант в оценках приближения линейными операторами функций классов Lipmα тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

Коган, Евгения Семеновна АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Чита МЕСТО ЗАЩИТЫ
2004 ГОД ЗАЩИТЫ
   
01.01.01 КОД ВАК РФ
Диссертация по математике на тему «Некоторые методы получения точных и экстремальных констант в оценках приближения линейными операторами функций классов Lipmα»
 
Автореферат диссертации на тему "Некоторые методы получения точных и экстремальных констант в оценках приближения линейными операторами функций классов Lipmα"

На правах рукописи

Коган Евгения Семеновна

НЕКОТОРЫЕ МЕТОДЫ ПОЛУЧЕНИЯ ТОЧНЫХ И ЭКСТРЕМАЛЬНЫХ КОНСТАНТ В ОЦЕНКАХ

ПРИБЛИЖЕНИЯ ЛИНЕЙНЫМИ ОПЕРАТОРАМИ ФУНКЦИЙ КЛАССОВ ЫРма

Специальность 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 с улучшенной константой.

 
Введение диссертация по математике, на тему "Некоторые методы получения точных и экстремальных констант в оценках приближения линейными операторами функций классов Lipmα"

Теория приближений занимается, в частности, получением оценок вида Ц^иС/СО»*)- /(х)\-ап(/)-> гДе ^п ~ аппроксимирующая последовательность операторов, а /(/)- аппроксимируемая функция. Выражение £*„(/) может содержать как индивидуальные характеристики функции /(?), так и характеристики класса, к которому /(?) принадлежит.

Основное содержание данной диссертационной работы относится к получению оценок приближения функций класса Ьгрм 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.