Об оценке погрешности минимальных весовых квадратурных формул, точных для функций Хаара Текст научной статьи по специальности «Математика»

ОБ ОЦЕНКЕ ПОГРЕШНОСТИ МИНИМАЛЬНЫХ ВЕСОВЫХ КВАДРАТУРНЫХ ФОРМУЛ, ТОЧНЫХ ДЛЯ ФУНКЦИЙ ХААРА*

К.А. Кириллов Красноярский государственный технический университет, Россия

e-mail: KKirillov@rambler.ru

In this paper an estimate of the norm of error functional of minimal quadrature formulae with weights (which is exact for Haar polynomials) is investigated for the class of spaces Sp. Essentially bounded weight function is considered.

Введение

Существенный интерес в теории приближенного интегрирования вызывает задача построения и исследования минимальных квадратурных и кубатурных формул, точных для некоторого заданного набора функций, т. е. таких формул, которые точно интегрируют указанные функции, используя наименьшее возможное число узлов. Многие работы известных авторов посвящены проблеме построения минимальных формул приближенного вычисления интегралов, точных для алгебраических и тригонометрических многочленов. Квадратурные и кубатурные формулы, точные на алгебраических полиномах, восходят еще к Гауссу. Минимальные формулы приближенного вычисления интегралов, точные на тригонометрических многочленах, рассматривались в работах И.И. Кеда, М.В. Носкова, И.П. Мысовских и других авторов. Квадратурные и кубатурные формулы, точные для системы функций Хаара, можно найти в монографии И.М. Соболя [1] и работах К. Эн-тахера [2-4]. В их трудах точность формул приближенного интегрирования на конечных суммах Хаара использовалась при выводе оценок погрешности этих формул. Вопрос минимизации числа узлов не рассматривался.

Минимальные квадратурные формулы с произвольной суммируемой па отрезке [0,1] весовой функцией, точные для функций Хаара, были описаны в [5] М.В. Носковым и автором настоящей статьи. В представленной работе найдена верхняя оценка нормы функционала погрешности некоторых формул, построенных в [5], при условии, что функция f (x) принадлежит введенному И.М. Соболем пространству Sp, а весовая функция существенно ограничена. Эта оценка имеет тот же порядок, что и аналогичная оценка, полученная И.М. Соболем в [6]. Для некоторых весовых функций фигурирующая в оценке константа, найденная в представленной работе, меньше константы в оценке из [6].

* Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (грант № 04-01-00823).

© Институт вычислительных технологий Сибирского отделения Российской академии наук, 2006.

1. Основные определения

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

Двоичными промежутками /т, назовем промежутки с концами в точках (] — 1)/2т-1,

з/2

т— 1

т = 1, 2,

3 =

1, 2,

т— 1

Если левый конец двоичного промежутка совпадает

с 0, то будем считать этот промежуток замкнутым слева, если правый конец совпадает с 1

и правую половины /т^ (без середины этого двоичного промежутка) будем обозначать 1—п ^

Система функций Хаара строится группами: группа номер т содержпт 2т функций Хт,з (ж), где т =1, 2,..., ] = 1, 2,..., 2т-1. Функции Хаара хт,, (ж) определим следующим

образом:

( 21п_к -2^

\т,з (х)

О [Хт,і(ж - 0) + ХтЛХ + °)])

при х Є /—— при х Є

при х Є [0, 1] \ 1т^, х

точка разрыва,

(1)

т,з

з - 1 3

)т—1

2

т—1

т = 1, 2,

3=

1,

2т 1. В систему функций Хаара включают

также функцию Хо (ж) = 1.

В [1, 6] двоичные промежутки считаются замкнутыми слева, а если правый конец двоичного промежутка совпадает с 1, то промежуток считается также замкнутым справа; функции Хаара определяются следующим образом:

Хтл (х)

при х Є 1т^,

т—х 7_|_

—2 2 при х Є

0

(2)

т,з •

В [1] введены пространства Бр. Считается, что функция / (ж), определенная на отрезке [0,1], принадлежит пространству если она представима равномерно сходящимся рядом Фурье — Хаара

те 2т—1

/(ж) = Со + ^ ^ ст,л Хт,,- (ж) (3)

т= 1 ,=1

и конечна норма

те гг7"-1

2

т= 1

т—1

2

1 Ст,і |Р

3 = 1

Здесь параметр р — любое число, удовлетворяющее неравепству 1 < р < то. Сопряженный параметр я определяется соотношением

0

В [8] вводится понятие пространства состоящего из всех измеримых почти всюду конечных функций д(х), для каждой го которых найдется число Сд, такое, что |д(х)| ^ Сд почти всюду. Такие функции называют существенно ограниченными. Мы будем рассматривать функции, существенно ограниченные на [0; 1]. Для функции д Є определен истинный (существенный) супремум ее модуля

равна нулю. является линейным подмножеством в множестве измеримых почти всюду конечных функций. Норма на вводится по формуле

где ж* € [0,1] — узлы формулы; С* € К — ее коэффициенты при узлах (г = 1, 2,..., N), а функции /(ж) и $ (ж) суммируемы на отрезке [0,1]. Полиномы Хаара степени й = 1, 2,... определяются как линейные комбинации функций Х0(ж), Хт,, (ж) с действительными коэффициентами, где т = 1, 2,..., й, ] = 1, 2,..., 2т-1, и хотя бы один из коэффициентов при Хл, (ж) ] = 1,..., 2й-1, отличен от пуля. Под полиномами Хаара нулевой степени понимаются константы. Вводится также понятие формулы вида (6), обладающей й-свойством Хаара, — формулы, точной для любого полинома Хаара степени, не превосходящей заданного числа й.

2. Некоторые результаты, полученные И.М. Соболем

В [6] И.М. Соболем исследованы формулы вида (6) с произвольной суммируемой весовой функцией $(ж) и функцией /(ж), принадлежащей пространству Бр в предположении, что все узлы формулы различны, все коэффициенты при узлах отличны от нуля и удовлетворяют соотношению

Доказано, что при условии С* > 0 г = 1, 2,..., N норма функционала погрешности

угаі вир |д(х)|

жЄ[0,1]

как инфимум множества чисел а ЄІ, таких, что мера множества

{х Є [0, 1] : |д(х)| > а}

||д|к~ = угаі вир |д(х)|.

жЄ[0,1]

(5)

В [5] рассматриваются квадратурные формулы вида

(6)

(7)

таких квадратурных формул удовлетворяет неравенству

(9)

В случае д(х) ^ 0 построена формула, для которой

И8* из- < 2с;^—1/р.

(10)

Приведем схему вывода промежуточных результатов в [6], с помощью которых затем установим верхнюю оценку нормы функционала погрешности минимальных квадратурных формул.

В результате подстановки (3) в (8) получается выражение

те 2т—1 „

8* (/) = ^ X! Ст,3 /

т=1 3=1 0

N

У^Сі 8(х - х») - д(х)

Хт,3 (х) ^х.

Для любого промежутка 1 С [0,1] определяется функция

0(1) = ^^ С» — [ д(х) ^х,

благодаря чему выражение для 8* (/) приводится к виду

те 2т

Ы/) = £ 2*^ £ Ст,о [0(1- ,•) - 0(1+ ,)] • 3=1

т=1

(п)

3

|8*(/)| «Е2

т— 1 2

т=1

Е I С'т.3 |'

3=1

1 ^т<те

где

10(/т,з) — 0(іт,з )|

3=1

(12)

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

^ (/т)| = ||/Ус ^ (m),

на основании чего выводится формула для И 8* И о*:

ор

||8*Ио* = 8ир (т).

р 1<т<те

1

т—1

2

т—1

2

Я

3. Оценка погрешности квадратурных формул с существенно ограниченной весовой функцией

В [5] установлено, что в случае почти всюду отличной от нуля весовой функции

д(ж) ^ 0, такой, что для любых целых 1 ^ к < I ^ 2т

I ^

^](-1)^ У* д(ж) ^ж = 0 (14)

*=к (г-1)/2й

число N узлов любой минимальной квадратурной формулы, обладающей ^-свойством, равно 2й, каждый двоичный промежуток /^+м длины 2-й содержит ровно по одному узлу, который может располагаться в любой точке этого промежутка, а коэффициент С* при узле ж* € /й+1)г вычисляется ПО формуле

*/2й

С* = J д(ж) ^ж, г = 1, 2,..., N. (15)

(г-1)/2й

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

нуля существенно ограниченной на отрезке [0; 1] весовой функцией д(ж), удовлетворяющей (14). Будем также считать, что узлы рассматриваемых формул не являются двоичнорациональными точками, т. е. не могут быть представлены в виде

Очевидно, ограничения на узлы формулы и коэффициенты при узлах, указанные в предыдущем разделе, в данном случае выполняются: все узлы различны, все коэффициенты положительны и удовлетворяют соотношению (7). Так как используемое нами определение (1) функций Хаара отличается от используемого в [6] определения (2) только в точках, являющихся концами двоичных промежутков, а узлы рассматриваемых квадратурных формул не совпадают ни с одной из таких точек, соотношения (9), (11)—(13) имеют место и в пашем случае.

В силу точности рассматриваемых квадратурных формул на полиномах Хаара степеней, не превосходящих d, для m = 1, 2,..., d величина (m) = 0 и, следовательно, соотношение (13) запишется в виде

||^N ||S* = SUp (m). (16)

Обозначим символом интеграл от весовой функции по двоичному промежутку длины 2-m, являющемуся подмножеством множества /d+1;j (m = d+1, d+2,..., j = 1, 2,..., 2d). Под k здесь будем понимать номер данного промежутка в двоичном промежутке /d+1;j (k = 1, 2,..., 2m-d), причем нумерацию проведем следующим образом. Промежутку длины 2-m, содержащему входящий в множество /d+1)j- узел формулы, присвоим помер 1, соседнему промежутку той же длины, лежащему вместе с промежутком номер 1 в одном двоичном

промежутке длины 2-т+1, присвоим номер 2, остальные двоичные промежутки множества /й+1^ занумеруем слева направо, начиная с первого непронумерованного промежутка. Учитывая, что узлы рассматриваемых формул не являются двоично-рациональными точками, а также принимая во внимание формулу (15), соотношение (12) перепишем в равносильном виде:

Очевидно, что

2d 2т-d 9 2т-d—1

•09(т) = 5] 2„(2) + V „(к) /т,/ 1 / ^ /т/ + (2*-1) (2*) „т, - „т,/ 9

/=1 *=3 *=2

(17)

(т) < X] /=1

2т

-,(2) , ^ „(*) '/т/

*=3

+ Е

9-1

О (2) , (*)

2„т/ + „т/

к=3

+

+

2т-d—1

Е

*=2

п(2к-1) /т/

+

/т/

9-1

п(2к-1)

/т/

+

п(2к)

/т/

(18)

Если в какой-либо сумме, входящей в уравнения (17), (18), значение нижнего индекса превышает значение верхнего индекса, то соответствующую сумму считаем равной нулю. В соответствии с (5)

1 ,, ,,

< ^ 1ыи°°

и, следовательно,

(*)

„т/

(2)

2пт, + 5] Пт,з

к=3

„(к)

9-1

УдУ

2й

9-1

т

(19)

„(2*-!)

/т/

+

„(2*>

/т/

9-1

Уд|

Ьо

2

т- 1

9-1

<

УдУ

Ьо

2й

9- 1

(20)

т = й + 2, й + 3,..., ^ = 1, 2,..., 2й. Принимая во внимание (19), (20), из неравенства (18) получаем

9- 1 2

«м «■ М1<Л ^

2й

,=1

(2*-1) . (2*) „т, + „т,/

*=3

*=2

<

<

УдУ

2й

9-1 2d 2m-d

2

/=1 *=1

М1

2й

9- 1

Здесь мы воспользовались тем, что в силу неотрицательности весовой функции д(ж) все величины „т/ ^ 0. Учитывая (16), равенство N = 2й и соотношение (4), связывающее параметры р и д, приходим к следующей оценке:

1 11 1Ы_,, ПРОЧНА-)'лгг.

d

d

2

т

m — d

ь

со

d

d-1

2

т

2

т

ь

ь

о

о

Кроме того, для нормы функционала погрешности рассматриваемых квадратурных формул справедливо неравенство (9). Следовательно, ||<^v||,g* есть величина порядка N~p. Таким образом, оценка (21) имеет тот же порядок, что и оценка (10), полученная И.М. Соболем в [6]. Очевидно, что для весовых функций, удовлетворяющих неравенству G < ||g|| L00

< 2G, фигурирующая в оценке (21) константа меньше константы из оценки (10).

Список литературы

[1] Соболь И.М. Многомерные квадратурные формулы и функции Хаара. М.: Наука, 1969.

[2] Entacher К. Generalized Haar function system, digital nets and quasi-Monte Carlo integration // H.H. Szu (Ed.). Wavelet Appl. Ill, Proc. SPE 2762. 1996.

[3] Entacher K. Quasi-Monte Carlo methods for numerical integration of multivariate Haar series // BIT (Dan). 1997. Vol. 37, N 4. P. 846-861.

[4] Entacher K. Quasi-Monte Carlo methods for numerical integration of multivariate Haar series II // BIT (Dan). 1998. Vol. 38, N 2. P. 283-292.

[5] Кириллов K.A., Носков М.В. Минимальные квадратурные формулы, точные для полиномов Хаара // Журн. вычисл. математики и мат. физики. 2002. Т. 42, № 6. С. 791-799.

[6] Haar A. Zur Theorie der orthogonalen Funktionensysteme // Math. Ann. 1910. Vol. 69. P. 331-371.

[7] Соболь И.М. О весовых квадратурных формулах // Сиб. мат. журн. 1978. Т. 19, № 5. С. 1196-1200.

[8] Канторович Л.В., Акилов Г.П. Функциональный анализ. М.: Наука, 1984.

Поступила в редакцию 15 сентября 2006 г.