автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.17, диссертация на тему:Оценка аппроксимативных возможностей линейных операторов в связи с конечномерным представлением сигналов

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

Батухтина Ирина Юрьевна

ОЦЕНКА АППРОКСИМАТИВНЫХ ВОЗМОЖНОСТЕЙ ЛИНЕЙНЫХ ОПЕРАТОРОВ В СВЯЗИ С КОНЕЧНОМЕРНЫМ ПРЕДСТАВЛЕНИЕМ СИГНАЛОВ

Специальность 05.13.17 - теоретические основы информатики

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

1 9 ^

Красноярск - 2009

003464550

Работа выполнена в Читинском государственном университете (ЧитГУ)

на кафедре информатики, вычислительной техники и прикладной математики

Научный руководитель кандидат физико-

математических наук, доцент Абакумов Юрий Георгиевич

Официальные оппоненты:

Ведущая организация

доктор физико-математических наук, профессор

Половинкин Владимир Ильич

доктор физико-математических наук, профессор

Попов Алексей Михайлович

Тверской государственный университет

Защита состоится «07» апреля 2009 года в 14 часов на заседании диссертационного совета Д 212.099.11 при Сибирском федеральном университете по адресу: г. Красноярск, ул. Киренского, 26, ауд. УЛК 115.

С диссертацией можно ознакомиться в библиотеке Сибирского федерального университета по адресу: г. Красноярск, ул. Киренского, 26, ауд. Г274.

Автореферат разослан « » (ЛсО-р 7& 2009 г.

Ученый секретарь диссертационного совета кандидат технических наук, доцент

Л.И.Покидышева

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы. Обработка как одномерных так многомерных сигналов является основой многих направлений техники. Преобразование сигналов можно рассматривать, используя принципы теории приближения, и в частности с помощью линейных операторов {¿J.

Одной из характеристик приближения функции или степени достоверности представления сигнала конечной суммой, является величина отклонения представляющей суммы сигналов относительно исходного (представляемого) сигнала. В работе предложено интерпретировать эту величину в терминах аппроксимационных оценок

вида |l„ (/(/), х) -/(х| < а,, (норма чебышевская), где f(t) представляемый многомерный сигнал или приближаемая функция, L„ : C(Q) —» Рп - последовательность /--мерных представляющих сигналов или приближающая последовательность линейных операторов, для которых выполнены условия Ln(l,x) = l, Q = [0,l]r (если не оговорено противное), г > 1 - целое, Рп с С(С>).

В теории сигналов представляющие суммы, т.е. значения операторов Ln, являются, как правило, частными суммами рядов Фурье по ортонормированной системе функций (одной или нескольких переменных) или частными суммами методов суммирования рядов Фурье1 (методы суммирования могут быть представлены как положительными операторами, так и операторами, положительными не являющимися). В диссертации система приближающих функций ортонормированной не предполагается, а рассматривается общий случай произвольной системы функций.

' Френке Л. . Теория сигналов. Нью-Джерси. 1969 г. Пер. с англ., под ред. Вакмана Д.Е. М., «Сов.радио», 1974, 344 с.

Получение аппроксимационных оценок |i„ (/(О,х) ~ f{x)\ - а„ является одной из основных задач теории приближений2. Величина ап зависит от характеристик / и от тех или иных характеристик аппроксимирующих операторов. В случае положительных операторов

особо выделим характеристику = (ограничительные

неравенства - оценки снизу величины

Ограничительные неравенства определяют предел возможности приближения теми или иными аппроксимирующими последовательностями. Что касается теории сигналов, величина показывает, что возможности представления многомерного сигнала конечной суммой имеют свои ограничения, иначе говоря, -

показатель нижней границы, лучше которой нельзя преобразовать сигнал конечной суммой по заранее выбранной системе сигналов.

Первое ограничительное неравенство было доказано B.C. Виденским для случая r = 1. Следуя основным идеям B.C. Виденского, Ю.Г. Абакумов разобрал случай для г-2. Р.К. Васильевым было получено ограничительное неравенство для произвольного целого r> 1. Хотя оценка Васильева является универсальной для линейных положительных операторов, но возможно усиление данного неравенства. Для случая неположительных операторов ограничительные неравенства, в той мере, в какой это было сделано в диссертации, ранее рассмотрены не были.

Цель работы. Целью работы являлось получение оценок снизу (или оценок ограничительного типа) для величин характеризующих аппроксимативные свойства операторов и интерпретация этих результатов в терминах конечномерного представления сигналов.

2 Н.П. Корнейчук. Точные константы в теории приближений. М.Наука. 19S7

4

Новизна научных результатов. В работе впервые получены:

1) ограничительное неравенство на основе слоистой решетки А,, для произвольного целого г;

2) оценка снизу выражений содержащих характеристики аппроксимативных свойств операторов класса £/(от, {/?„}, на основе

аппроксимационных оценок для функций классов LipM 1, и W2H] ;

3) ограничительное неравенство на основе использования кубической решетки Zr;

4) ограничительное неравенство на основе шахматной решетки D,. для произвольного целого г;

5) оценка, не содержащая неопределенных слагаемых, для величины d ) на основе гексагональной решетки А,.

Теоретическая и практическая значимость. Теоретическая значимость работы заключается в том, что для исследования вопросов теории приближений и вопроса о конечномерном представлении сигналов впервые систематически используются свойства упаковок. Практическая значимость заключается в новизне полученных оценок.

Апробация работы. Результаты диссертации докладывались:

- на Восьмом Всероссийском симпозиуме по прикладной и промышленной математике. Адлер, 2007

- в Забайкальском государственном педагогическом университете, на семинаре кафедры математического анализа;

- на научных семинарах Энергетического института ЧитГТУ, г. Чита, 2005 -2008 г.;

- на семинарах кафедры ИВТ и ПМ Читинского государственного университета (2005-2008 гг.);

- на Второй межрегиональной научно-практической конференции: «Энергетика в современном мире» ЧитГТУ, г. Чита, 2003 г.;

- на Третьей межрегиональной научно-практической конференции «Технические науки, технологии и экономика» ЧитГТУ, г. Чита, 2003 г.;

- на Всероссийской научно-практической конференции, Чита, ЗабГПУ 2004 г;

- на IV межрегиональной научно-практической конференции «Кулагинские чтения» Чита: ЧитГУ, 2004 г.

Публикации. По теме диссертации опубликовано 14 печатных

работ.

Структура и объем работы. Диссертация состоит из введения, двух глав, заключения и списка литературы. Работа изложена на 69 листах, содержит список литературы, включающий 48 наименований.

КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ Во введении указаны актуальность темы исследования, приведен обзор литературы по теме исследования, цель, методы исследования, а также сформулированы основные результаты, полученные в диссертации.

Первая глава ставит своей задачей получение ограничительных неравенств величины для линейных положительных операторов,

характеризующих скорость убывания нормы отклонения представляющих сигналов относительно входных. В пунктах 1.1-1.3 излагаются известные результаты, касающиеся аппроксимирующих последовательностей линейных положительных операторов, и доказана, имеющая ключевое значение лемма.

Лемма связывает задачу получения ограничительных неравенств величины ё ) с известной задачей нахождения наиболее плотных упаковок шаров

в г-мерных пространствах3.

Лемма 1.1. Если существует множество, состоящее из п +1, попарно не пересекающихся, открытых шаров, диаметра а и с центрами,

принадлежащими <2 = [0,1]г, то выполняется неравенство

1. 3 Конвей Дж. и Н.Слоэн. Упаковки шаров, решетки и группы. - М.: Мир, 1990.

где ¿„:С(0)-*Р„ - последовательность линейных положительных операторов.

Получение оценки величины сводится к задаче подбора

множества из п+1 шаров, удовлетворяющих условию леммы. При этом оценка будет тем сильнее, чем больше диаметр шаров а.

В пункте 1.4 и 1.5 на основе известных решетчатых упаковок, рассмотрены частные случаи /* = 1 и г=2.

Получены следующие ограничительные неравенства:

1. Если £„: С[0, —> Рп - линейный положительный оператор, где ^ > 0, то оценка имеет вид

4/7"

2. В периодическом случае, если ¿„: Си Р„ то

4Ф

3. Для Ьп: С[0,9]2 -» Рп, одна из оценок имеет вид

с1(Ьп)> 0,25

\-2

2 4 ) V 64 8 2

В пункте 1.6 излагается схема получения значения диаметра а, фигурирующего в лемме 1.1, через п - размерность аппроксимирующего пространства. Это можно сделать, используя известные значения плотности какой-либо конкретной решетчатой упаковки шаров. Оценка будет тем сильнее, чем выше эта плотность.

В пункте 1.7 для ¿я-.с|[0,1]'|->Р„ на основе использования кубической решетки Хг получена оценка

с/(1„)>0,25 пг ,

где [х]=тах{п: п еХ, п < х}.

На основе общей схемы (из пункта 1.6) в пп.1.8 и 1.9 получены ограничительные неравенства на основе решеток Аг и Ог (см. теорему 1.1).

Предварительно в пункте 1.8 приведен авторский вывод аналитического выражения плотности г-мерной упаковки шаров на основе решетки Аг (образующие векторы базиса этой решетки являются ребрами правильного симплекса).

В пункте 1.9 получено аналитическое выражение плотности /--мерной упаковки на основе шахматной решетки Д. (центрами шаров упаковки, являются точками с целыми координатами, в сумме дающие четное число). В конце главы сформулирован итоговый результат.

Теорема 1.1. Пусть 1п:с|[0,1]'|->Р„ - последовательность линейных положительных операторов. Тогда для величины

выполняется оценка

¿(¿„)> 0,25 пг

Также выполняется асимптотически более сильная оценка

п ' +о

■

п '

Кроме того, при г >Ъ верна более сильная оценка

ё(Ь„)>—1=п г +о

К 2Ф,

п '

\ /

Полученная величина показывает, что при представлении

сигналов конечной суммой с помощью положительного метода

(оператора) найдется сигнал, который искажается на величину fid^L^, где ц - мера области определения /--мерного сигнала (в одномерном случае - длина временного промежутка). Величина ) является чисто

теоретической оценкой, так как сигнал, который искажается на эту величину (т.е. сигнал 11 - л;|2) при больших размерах области задания (или временного промежутка в одномерном случае) принимает нереально большие (с практической точки зрения) значения. Роль практического ориентира играет величина (-£„)• Множитель к ней следует подбирать,

исходя из того, какое численное значение (в соответствующих единицах) может принимать сигнал, подлежащий представлению.

Вторая глава относится к изучению аппроксимативных свойств линейных операторов ¿я:С[0,^]->Р или Ln:C2r-*Pn, удовлетворяющих

условию U(m,{hn\,{ki\}, m>0 - целое, {й,,}", h„lO, ; = 1,...,/и-1, к-,> 1 -

действительные. Это условие записывается следующим образом: при фиксированном п и х выполняется

sign(9{t)) = s\gn[[hl - (/ - *)2)Ц(к>ь] -(' - *)2)]j => ;> о ■

Основной задачей, для неположительных операторов, остается определить теоретически возможную близость последовательностей {Z,,,} к его исходному сигналу. Показателями аппроксимативных свойств последовательностей операторов являются величины

4i'4KM4l|-

Оценки ограничительного типа для таких последовательностей впервые получены в диссертационной работе. При получении оценок использовалась схема B.C. Виденского с внесением в нее некоторых новых элементов.

Вторая глава содержит шесть пунктов, и 16 теорем.

В пункте 2.2 приводятся известные на настоящий момент аппроксимационные оценки. Эти оценки используются в дальнейшем для получения ограничительных неравенств.

В пункте 2.3 используются оценки для функций класса Ырм 1.

Приведем некоторые из полученных оценок ограничительного типа, и как следствие к ним некоторые теоремы.

Если аппроксимирующая последовательность удовлетворяет

условию £/( 1,{/г„}), то выполняется следующее неравенство

2 А +/?(,) + Л"У2)>-£- (1)

И г ¡1 г "и Нп 2п

На его основе получены следующие результаты:

Теорема 2.1. Для операторов Ьп : С[0,^] таких, что Ьп0,х)= 1

и удовлетворяющих условию неверно, по крайней мере, одно из

утверждений:

(1) К-о{п%

(2) |4<г-х,*)| = 0И,

(3) /ф((г-*)\фс>И.

Теорема 2.2. Пусть операторы £ удовлетворяют условиям теоремы2.1 и, кроме того, /?„(1' = о(п~'), д[2) =о(п'2). Тогда, если Алимеет точный порядок то для любого £ >0 существует "0 = по(£), такое, что для п>п0

Следствие 2.1. При выполнении условий теоремы 2.2 имеет место неравенство

\\тпкп > —.

П->П 4

Для операторов вида

Ln(f{t),x) = — \f(t + x){cost-coshn)Wn(t)dt, (2)

J" -71

где í¥„(t) - четное положительное тригонометрическое ядро,

я

J„ = J(cosí-cosh„)í-F„(Oa'' ~ нормирующий множитель. В этом случае,

-7t

размерность пространства, в которое L отображает С2л.. не совпадает с п,

и мы обозначаем ее р(п). С учетом, того, что fí'p =0 (так как ядро оператора Lfí - четное) оценка преобразуется в следующую

гьЖР® (3)

р\п)+1

На основе неравенства (3) получается ряд утверждений. Теорема 2.4. Если операторы вида (2) удовлетворяют условиям:

(1) hn имеет точный порядок п

(2 )/?? = оИ,

то для любого £>0 существует п0=по{£), такое, что для и>;?0 выполняется неравенство

Следствие 2.2. При выполнение условий теоремы 2.4 имеет место неравенство

Ыр{п)К

«—►оо 2,

Частным видом операторов (2) являются конструкции этого вида,

для которых (0 :

. ni sin — _2_

. t sin —

2;

Хорошо известны аппроксимирующие

операторы

/ (■ "0 -n -i (. 2/>

sin — 7T sm —

J 2 . t dt 2 . t dt,

-it sin — -Я sin —

\ 1 2 ^ 2 J

которые называют обобщенными операторами Джексона. При р = 2 получаются собственно операторы Джексона, при р = 1 операторы

Фейера. Будем обозначать (имея ввиду сокращение Н = ),

ч2р

^■^-jrjSjí/C«)

. nt sin—■ _2_

. t

sin — 2 }

(cosí- cosh,, )dt,

f . nt*p

где

Ш)= J

sm-

sin-

(cos?-cosh„)<#.

Теорема 2.5. Если для Н = {и„ }"=| выполнено условие Цн,((-х)\х\\ = о{п-1) иА„------------ -------- -1

имеет точный порядок п , то

7 ж

пт ппп > —. л-»» 4 /7

Для операторов Ьп удовлетворяющих условию

С/ (2, {/*„}, {£}), получено ограничительное неравенство

к{к + \) " к{к2-\) " "

3£ + 3& + 2 ([) 2к + к -2 а +-В„ +-К >—,

к(к +1) " ¿-1 " 2п

(4)

на основе которого получена теорема.

Теорема 2.6. Если последовательность операторов Ь„ :С[0,д]->-/,,7,

удовлетворяет условию £/(2,{/г„},{&}), при этом ¿п(1,л:) = 1 если, кроме

того, hnимеет точный порядок п ', h„2ß^ = o(ii~]), Л^3' = о(л '),

K,'ßi2) = ), = )>т0

q к-1

lim nhn >

2 7кг+к-2

В работах Е.М. Ершовой4 рассматривались операторы вида 1 *

4,(/(')>*) =— | / (/ + х) (соб / - собЬ^ ) (соэ ? - соэ &/?„) №„(() Л, (5) где IV^ (/) - четное положительное тригонометрическое ядро, /?;г -1- 0,

Тогда неравенство (4) для операторов вида (5) примет следующую форму:

1 (4) , (2) я г'п ; / 7 2 -I \ »

Щ-1) " " *(*-!)

" р(и)+Г

В конкретном случае, если ^„(0-

f . nt^p sin — 2

. t

sin — 2 у

- обобщенное ядро

Джексона. Тогда р{п) = 2р(п - 1) + 5. Обозначим, операторы вида (5) через D[p\k,H,f(t),x).

Из (6) следует, в частности, такое утверждение.

Теорема 2.7. Если для операторов выполняется

/уД|4) = о(п'), h~'ßjf] = о(/Г'), hn имеет точный порядок и-1, то

limnh ^ '

" 2р 2к +к-2"

4

Ершова Е.М. Обобщенные операторы Фейера и Джексона //Применение функционального анализа I теории приближений. - Тверь: ТвГУ, 1997. - С. 69-72.

В пункте 2.4 получены оценки для функций класса И7'//',. Если удовлетворяет условию £/(!,{/?„}),

то

" 4и 16и2'

а в периодическом случае

•л-2

тг „м . ^

2{п + \)'" 4(п + 1)2 '

Если же ограничиться операторами свертки, то получится оценка

2А2 + Др' > ———-" И" 4{п +1) '

Следствия, вытекающие отсюда, слабее соответствующих утверждений, вытекающих из оценок для класса &рм 1.

Остановимся на случае, когда {/,„} удовлетворяют условию и{2,{£})■ Исходная оценка Ю.Г. Абакумова3 преобразуется в случае операторов Ьп :С[0, —> Рп в ограничительное неравенство

2 +

к(к + \) " " к""1 к(к +1) " к

(7)

к +1 " 4и " 1бп2 а в периодическом случае, если операторы свертки - в неравенство

2

2 (4) 2{2кг+к + \) (2) + , "п Ип т 7/7 . "п Т 7 , , "/1 -

£(£ + 1) " " ¿(4 + 1) £ + 1

2 (8)

4(/оН + 1)2'

Абакумов Ю.Г. О приближении некоторыми операторами класса 04 функций класса //Вестник ЧитГУ. Выпуск 33. - Чита: ЧитГУ, 2004. - 166 с.

Отсюда, в качестве заключения следуют теоремы:

Теорема 2.10. Если Ьп :С[0,д] —» Рп, {Ьп} удовлетворяют условию

II(2,{й,,},{£}), где п - размерность пространства /^тогда из равенств:

».-<{. Г'), /)<■'=<»-'), к/?=о{;,-г), 42)=<»"2).

^п^ ~ °{п 21 хотя бы одно не верно.

Теорема 2.11. Если Ln:C^K -»Рр(пу является оператором типа свертки, при этом р(п) имеет точный порядок 0(п), и, кроме того, {!„} удовлетворяет условию t/(2,{/?;;},{£}), тогда из равенств: hn=o^n 'j,

f}^ = о(п~21, = of п 2 ) хотя бы одно не верно.

Теорема 2.12. Если последовательность операторов {¿;,} удовлетворяет условию теоремы 2.10, кроме того выполняются равенства:

=о(п 21 и кп имеет точный порядок о(п '1, тогда

2,2 ^д2 к +1 lim n h„>----

И ~ и 1

п->со 16 2Лг~ Ч- 5Аг ч-1

Теорема 2.13. Если последовательность операторов ^п ■ С2л ^'р(п) удовлетворяет условию теоремы 2.11, и если

= о^и 2 ^, к2 = о^и 2 ^, Ип имеет точный порядок п 1, то

?

/ / \\2 , 2 к +1

4

2* +5* + 1

Для операторов величина р{п) имеет значение

р(п) = 2р{п-\) + 5.

Для этих операторов (7) принимает вид

.. 2,2 ^я2 к +1 игл п п, >

ЪР 2к2+5к + \ В пункте 2.5 получены оценки для функций класса \¥2Н]М. Для операторов удовлетворяющих условию £/(2,{Ьп)) получаем ограничительное неравенство

Шп2 " 48пп 384«3' В качестве заключения следует теорема:

Теорема 2.14. Если Ьп :С[о,ц] —>■ Рп, {¿„) удовлетворяют условию и[2,{Ту,)), Ьп(\,х) = \, тогда из равенств: кп=о{п~Х

-<(.->). /»<г)=<«"2).

^п = °{п 3 ) хотя одно не веРН0-

В периодическом случае, если ограничиться операторами свертки, то получится оценка

о(2).5 з Ж (2), 7?

лпРп +Т2ПпРп + 1Пп+ 1ЛЫл_пРп 2 3' ^

4 36 3 24(и +1) 48(и + 1)

Если же операторы свертки отображают С2;г в Рр(пу то (9) переходит в неравенство

1

4 36 3

Применим (10) к операторам свертки

55

(2) .

71

Р?>-

Л

24{р{п)+\) " 48(/с(и)+1)3

эт —

. г

эт-V 2 у

(соэ/ - созЬ„)(соз? -соз2/1„)й?Г,

где Jn[н)= }

Б1П— _2_

. г

БШ —

ч 2 ,

(соэ I - СОбЪ^ ^СОЭ Г - СОБ

Отсюда следует утверждение:

Теорема 2.16. Если для операторов £>¡^(2,{/-г;г},/(г),х)

выполнены

; - -1 7-'д(4) ( д(2) Г -2 ,

условия: п^ имеет точный порядок п , пп =о\п I, р^ -о\п I,

то

.. 3,3. Ж 11Ш » Пп >-^

и-» со 640р

Полученные в диссертационной работе неравенства для величин Iи , составляющих правые части аппроксимационных оценок

(зависящие от характеристик входных сигналов У и от тех или иных характеристик аппроксимирующих последовательностей операторов {Ьп}, или выходных сигналов) характеризуют скорость убывания указанной нормы или применительно к теории сигналов определяют степень достоверности представления сигнала. Причем, величина является

характеристикой аппроксимативных свойств линейных положительных операторов, а Рп для неположительных.

Итак, как можно видеть, ограничительные неравенства являются

г 1

следствием аппроксимационных оценок для классов Ь1рм 1 или IV Нм.

Подробное изучение операторов, удовлетворяющих условиям С/(т,{й„}) и и{т,\Ъ,,},{&,}) начато сравнительно недавно, в связи с чем

пока ощущается определенный «дефицит» аппроксимационных оценок. Особенно это относится к многомерному случаю.

Таким образом, дальнейшее продвижение в получение ограничительных неравенств зависит от получения аппроксимационных оценок.

Основные результаты диссертационной работы опубликованы в работах:

1. Абакумов Ю. Г., Кобысова И.Ю. Некоторые оценки снизу для величин, характеризующих аппроксимативные свойства операторов. //Вестник ЧитГУ. Выпуск 34. - Чита: ЧитГУ, 2005. - С. 153 - 155.

2. Кобысова И.Ю. Об оценке снизу величины

//Вестник

ЧитГТУ. Выпуск 28. - Чита: ЧитГТУ, 2003. - С. 119-122.

3. Кобысова И.Ю. Оценка аппроксимативных возможностей линейных положительных аппроксимативных операторов //Вторая межрегиональная научно-практическая конференция «Энергетика в современном мире» (тезисы докладов). - Чита: ЧитГУ, 2003. - С. 154-156.

4. Кобысова И.Ю. Некоторые возможности предварительного анализа аппроксимативных свойств операторов. //Третья межрегиональная научно-практическая конференция «Технические науки, технологии и экономика» (материалы конференции), ч.2. - Чита: ЧитГУ, 2003. - С. 102-104.

5. Кобысова И.Ю. Оценка снизу одного показателя аппроксимативных возможностей линейных положительных операторов //Вестник ЧитГУ. Выпуск 32. - Чита: ЧитГУ, 2003. - С. 148-150.

6. Кобысова И.Ю. Оценка снизу величин, характеризующих аппроксимативные свойства операторов //Проблемы прикладной математики: Всероссийская научно-практическая конференция. Тезисы докладов. - Чита: Издательство ЗабГПУ, 2004. - С. 24-26.

7. Кобысова И.Ю. Оценка снизу величин, характеризующих аппроксимативные свойства операторов, на основе оценок для функций

2 1

класса W Нм //IV межрегиональная научно-практическая конференция «Кулагинские чтения» (материалы конференции). - Чита: ЧитГУ, 2004. ч.

связанных с линейными положительными операторами //Применение функционального анализа в теории прибл. - Тверь: ТвГУ, 2006. - С. 17-21.

9. Кобысова И.Ю., Шестакова О.Н. О связи аппроксимационных оценок и ограничительных неравенств. // Вестник ЧитГУ. Выпуск 35. - Чита: ЧитГУ, 2006.-С. 148-150.

10. Батухтина И.Ю. Ограничительное неравенство для величины, характеризующей аппроксимативные свойства линейных операторов //Математический анализ и его приложение. Выпуск 6. - Чита: ЗабГГПУ,

2006.-С. 26-29.

11. Батухтина И.Ю. Оценка снизу величин, характеризующих аппроксимативные свойства операторов для функции класса 1У1Н1М //Математический анализ и его приложение. Выпуск 7. - Чита: ЗабГГПУ,

2007.-С. 11-13.

12. Батухтина И.Ю. Оценка снизу величин, характеризующих аппроксимативные свойства операторов для функции класса И/'2Н'>.

И.-303 с.

8. Кобысова И.Ю. Об оценке снизу для величины

//Математический анализ и его приложение. Выпуск 8. - Чита: ЗабГГПУ, 2008.-С. 17-19.

13. Батухтина И.Ю. Об одном ограничительном неравенстве теории приближения. - Обозрение прикл. и промышленной матем., 2008, т. 15, В.1,С. 110-111.

14. Карымова Е.Ю., Кобысова И.Ю., Шерстюк Т.Ю. Тригонометрические операторы Баскакова и расчет цифровых фильтров нижних частот. - Обозрение прикл. и промышленной матем. М 2008, т. 15, В.2, С. 111.

Подписано в печать 27.02.2009 г. Формат 60x84"16 Объем 1,33 уч.-изд.л. Тираж 100 экз. Заказ №

Отпечатано в типографии Читинского государственного университета, 672039, г. Чита, ул. Алекзаводская, 30

Введение.

Глава 1. Оценка некоторых величин, характеризующих аппроксимативные свойства линейных положительных операторов.

1.1. Аппроксимирующие последовательности линейных положительных операторов.

1.2. Оценка приближения функций класса 1лрм1.

Основная

Оценка снизу величины

1п [\(-х\2,х лемма.

1.4. Случай г=1.

1.5 Случай г=2.

1.6. Оценки, получаемые на основе свойств решетчатых упаковок.

Оценки, использующие решетку Zr.^б

1.8. Упаковки на основе решетки Аг.

1.9 Упаковки на основе решетки Д.

1.10 Оценки, на основе решеток Аг и Ц.

Глава 2. Оценка снизу выражений содержащих характеристики аппроксимативных свойств операторов класса 5 , и возможности предварительного анализа некоторых видов аппроксимирующих операторов.

2.1 Вводные замечания.

2.2. Оценка аппроксимативных свойств некоторых операторов класса £

Обработка как одномерных, так и многомерных сигналов является основой многих направлений техники, таких как, обработка изображений и сигналов антенных решеток, радио- и гидролокация, сейсмология, радиоастрономия и др. Преобразование сигналов можно рассматривать, используя принципы теории приближения, и в частности с помощью линейных операторов {£„}.

Например, известно, что линейные операторы, являющиеся методами суммирования рядов Фурье, могут быть применены для определения качества цифрового фильтра, которые в свою очередь, используются в радиолокации, обработке речевых сигналов и многих других областях. Заметим, что коэффициенты метода суммирования интерпретируются как взвешивающие множители цифрового фильтра нижних частот с линейной фазой.

Задачи преобразования сигналов не исчерпываются фильтрацией. Весьма важной задачей является представление сигнала (как одномерного, так и многомерного) суммой сигналов более простого вида (см. [31]). Эта задача имеет прямую аналогию с задачей приближения функций последовательностью линейных операторов [Ьп].

В диссертационной работе некоторые вопросы конечномерного представления сигналов изучаются средствами теории приближений. Сигнал (одномерный или многомерный) можно интерпретировать как функцию заданную на конечном отрезке (для одномерного сигнала на практически конечном временном промежутке) или на ограниченной области (для многомерного сигнала).

Задача, которая рассматривается, касается принципиальных возможностей представления сигнала конечной суммой. Мы рассматриваем задачу в самом общем виде, не накладывая существенных ограничений (кроме непрерывности) на составляющие сигналы. Точные формулировки приводятся далее.

Для того чтобы более подробно обозначить круг задач в исследуемой области, оговорим используемые обозначения.

Будем обозначать: Ln:C(Q)->Pn - последовательность линейных операторов, отображающих один (входной) сигнал на другой (выходной). Где C(Q) - множество функций непрерывных на компакте QaRr с чебышевской нормой (множество функций С(<2) можно трактовать, как множество непрерывных r-мерных входных сигналов), Рп с= с(0) подпространство размерности п (соответственно множество значений Рп f r-мерные представляющие сигналы), R (г > 0 - целое), г-мерное евклидово пространство (г -я декартова степень множества действительных чисел R).

Операторы {Ln} должны по некоторой непрерывной функции / привести к последовательности представляющих сигналов, которые принято обозначать L^ {f{t\ х), где fit) - сигнал, подлежащий обработке, х аргумент полученного образа, t,x<EQf / = (^,¿2,.,^), x =

Последовательность j/^j- ^ назовем аппроксимирующей, если V/ е C(Q) выполняется (при п —» оо) К (/(О, X) - f(x) I = max|l„ Сfit), х) - f{x] ^ 0.

Ч xeQ

Одной из характеристик приближения функции или степени достоверности представления сигнала конечной суммой, является скорость убывания указанной нормы. Для ее определения обращаемся к аппроксимационным оценкам. Аппроксимационными оценками называются неравенства вида:

Ln{f(t),x)-f(x}\<an.

Получение аппроксимационных оценок является одной из основных задач теории приближений. Величина ап, составляющая правую часть аппроксимационной оценки, зависит от характеристик функции / и от тех или иных характеристик аппроксимирующих последовательностей операторов \Ьп}. Например, достаточно давно известна оценка, для случая, если {Ьп} линейные положительные операторы, удовлетворяющие равенству

Ьп(\,х) = 1, а функция /(/) принадлежит классу Ьірм 1 (определения приводятся в основной части в главах 1 или 2) ьп{т,х)-/{х)\<м^а(Г) где d{Lnh

Ljy I 11 х\ х

Функцию t-x можно интерпретировать как сигнал наиболее плохо (в определенном смысле) представляемый конечной суммой.

Таким образом, можно сказать, что определенная выше величина d(lJ является характеристикой аппроксимативных свойств линейных положительных операторов. О других характеристиках аппроксимативных свойств линейных (не обязательно положительных) операторов мы скажем в свое время.

Основной предмет диссертации - получение оценок снизу (или оценок ограничительного типа) для этих характеристик. В частности, в первой главе получены оценки упомянутой выше величины d(yLОни значительно сильнее, чем оценки Р.К.Васильева [14] (которые, насколько известно, до этого усилены не были).

Кратко остановимся на истории исследуемого вопроса. Первое ограничительное утверждение доказал П.П. Коровкин [29] (см. также [27]). Один из вариантов доказанной им теоремы выглядит следующим образом: при г = 1, если Ln:C[a,b]—> Рп - последовательность линейных положительных операторов, Рп - множество алгебраических полиномов степени п, Ln (l,jc) = 1, то lim п

И-»со

Оценки ограничительного типа для случая г — 1 и произвольного Рп не обязательно пространства алгебраических полиномов) получил B.C. Виденский [15], [16]. Одна из этих оценок выглядит следующим образом (при Q = [ОД]) d[Ln)>0,25rf2.

Эта оценка является исчерпывающей (увеличить коэффициент 0.25 нельзя). Заметим, при r> 1 исчерпывающих оценок пока не получено.

Кратко, идея построений B.C. Виденского заключается в следующем. Для фиксированного п строится функция rjn (t) такая, что при этом Т]п (0 принадлежит классу LipM 1, при М-2п. После чего используется известная аппроксимационная оценка (см. выше), которая в данном случае даст неравенство

Ln (Ли (0. х) - лп (*)|| * 2nJd(Lj. Отсюда и следует ограничительное неравенство B.C. Виденского, о котором мы уже сказали.

Следуя, в основном тому же плану, Р.К. Васильев в работе [14] получил ограничительные неравенства для произвольного целого г > 1. Его результат (для Q - [0,l]r ) ( — ^ d(Ln)>0,25r~]nr +о пг

V J

В статье [1] Ю.Г. Абакумов предложил во многом сходную схему (указывая, что он буквально следует основным идеям B.C. Виденского). Ю.Г. Абакумов разобрал случай г = 2. Благодаря тому, что rjn (t) строились более рационально, чем у Р.К. Васильева, в оценке удалось избежать лишнего, как оказалось) множителя г-1.

В первой главе диссертации идеи, намеченные и кратко изложенные в [1], получают развитие и подробное изложение.

Результаты сформулированные в теореме 1.1 принадлежат автору. Первая глава разбита на 9 пунктов (параграфов).

В первых двух пунктах 1.1 и 1.2 излагаются хорошо известные результаты, касающиеся аппроксимирующих последовательностей линейных положительных операторов.

В 1.3 доказывается принадлежащее автору утверждение {лемма 1.1), которое имеет ключевое значение для дальнейшего: если существует множество, состоящее из п +1 открытых шаров попарно не пересекающихся, диаметра а и с центрами, принадлежащими <2 = [0Д]Г, то выполняется

Ln\t-x\2,x/ 0,25а2, где Ln: C(Q) —>Рп - последовательность линейных положительных операторов.

Таким образом, задача получения ограничительных неравенств, связывается с задачей построения как можно более плотной упаковки шаров одинакового диаметра.

Эта задача и ряд связанных с ней имеют давнюю историю. При работе над диссертацией использовались сведения из монографии JI. Тота [31] и, главным образом, из оригинального издания отдельных работ, объединенных в двухтомнике [26].

В пункте 1.4 и 1.5 рассматриваются частные случаи г = \ и г=2. Для этих случаев получены (на основе леммы 1.1), оценки снизу величины d[b, при этом в случае г = 1 оценка совпадает с оценкой B.C. Виденского.

В пункте 1.6 излагается схема получения значения диаметра а, фигурирующего в лемме 1.1, через п - размерность аппроксимирующего пространства. Это можно сделать используя известные значения плотности какой-либо конкретной решетчатой упаковки шаров. Оценка будет, тем сильнее, чем выше эта плотность.

В пункте 1.7 на основе использования кубической решетки Ъг получена оценка d{Ln)> 0,25 п' где [х] = шах[п:пе Z,n<x).

Можно заметить, что уже эта оценка сильнее, чем оценка Р.К.Васильева. Использование более плотных упаковок позволяет получить еще более сильные оценки.

В пункте 1.8 приведен авторский вывод аналитического выражения плотности упаковки на основе решетки Аг. (образующие векторы базиса этой решетки являются ребрами правильного симплекса). Полученное значение плотности совпадает с приведенным в [25] (в [25] подробного вывода не приводится).

В пункте 1.9 получено аналитическое выражение плотности упаковки на основе решетки Dr.

В пункте 1.10 сформулирован итоговый результат (теорема 1.1). Этот результат составляют оценки: 1) полученная на основе решетки Аг: d{Ln)> 1

2r4r + \

2) полученная на основе решетки Dr: п г +о 2\ П г d{Ln)> 1

2л/4 п г +0 2^ П г

Вторая глава относится к изучению аппроксимативных свойств линейных операторов :С[0,#]Р или в периодическом случае ьп \ С1п ~>Рп ■ Функции из области определения С(()) можно трактовать, как непрерывные одномерные входные сигналы, полиномы Ьп (/(0, х) из Рп последовательности выходных сигналов.

В этой главе будут рассмотрены операторы свертки вида

W(0,*)=^ )/('+(¿К п -я I где ¡V - четное тригонометрическое ядро, а = - нормирующий

-я множитель. Последовательность [¿п] удовлетворяющих условию £/(/я, {/гЛ },{&,•}) записывается следующим образом: при фиксированном п их выполняется с ґ т-1

Изучение аппроксимирующих последовательностей операторов, приведенного вида, является относительно новой областью исследований. Конкретные примеры последовательностей {£„}, удовлетворяющих условию приведены в работах В.А.Баскакова, Е.М.Ершовой и некоторых других.

Основной задачей, для неположительных операторов, остается определить теоретически возможную близость последовательностей к его исходному сигналу. Показателями аппроксимативных свойств последовательностей операторов являются величины

0. 0 X

Аппроксимационные оценки для последовательностей {¿/7}, удовлетворяющих условию получены лишь в отдельных частных случаях (О.Н. Шестакова, Ю.Г. Абакумов, Е.П. Галайда).

Оценки ограничительного типа для таких последовательностей впервые получены в работах автора. Эти результаты отражены во второй главе.

В пункте 2.1 приводятся известные на настоящий момент аппроксимационные оценки, полученные О.Н. Шестаковой, Ю.Г. Абакумовым и Е.П. Галайдой.

Эти оценки используются в дальнейшем для получения ограничительных неравенств, при этом: в п. 2.2 используются оценки доля функций класса Ырм\, в п. 2.3 - для функций класса , в п. 2.4 - для

2 1 функций класса Ж Нм.

Приведем некоторые из полученных оценок ограничительного типа. Если аппроксимирующая последовательность удовлетворяет условию £/( то выполняется следующее неравенство

2 п

Если при этом р® = ^ д(2) = 0(п-2 ^ то \шткп > .

П—^

Далее, если удовлетворяет условию £/(2, },{£}), то - 1) * *(* + 1) " * - 1)

Ък2 + Зк + 2 „(1) 2к1+к-21 о л--— -В н--п > —

1 ПП ~ ~ ' + 1) и £-1 " 2и

Если же при этом, имеет точный порядок п~х, к> 1, = $ = «Г»"1). то

Иш л/^ > —•- ^ * и^оо 2 2кг+к-2

Для тех же операторов (то есть, для удовлетворяющих условию £/(2,{/?„},{&}) выполняется неравенство (2.17))

12 + 2(2* + * + 1) (2) + * к(к +1) й * п Ип к(к +1) Нп к

Л , с?, , 1 „ ^ „2 2

2+* + 'А дМ + пг'п ~ 2+Х ¿ + 1 " 4и 1б«?

Всего во второй главе получено 16 теорем.

Полученные в диссертационной работе неравенства для величин (I [Ьп) и Рп , составляющих правые части аппроксимационных оценок характеризуют скорость убывания указанной нормы или применительно к теории сигналов определяют степень достоверности представления входного сигнала. Причем, величина является характеристикой аппроксимативных свойств линейных положительных операторов, а для неположительных.

Список литературы содержит цитируемые источники, а также некоторые другие, относящиеся к затронутым в диссертации вопросам.

13