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

УДК 517+518.392

О порядке сходимости квадратурных формул на функциях из пространства потенциала Рисса

Мария И.Медведева*

Институт космических и информационных технологий, Сибирский федеральный университет, ул. Киренского 26, Красноярск, 660074,

Россия

_Получена 15.03.2008, окончательный вариант 05.05.2008, принята 05.06.2008_

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

Исследования, связанные с установлением асимптотик сильной сходимости функционалов ошибок квадратурных формул в различных пространствах дробных производных, были начаты В.И.Половинкиным и его ученицей Н.А.Севастьяновой (см. [1]—[3]). Были оценены погрешности последовательностей функционалов ошибок с пограничным слоем, функционалов ошибок усложненных квадратурных формул, а также формул с регулярным пограничным слоем в пространствах, сопряженных к пространству функций, обладающих суммируемыми дробными производными Римана-Лиувилля (см. [4]); выделен главный член асимптотических выражений для усложненных квадратурных формул (в том числе и с пограничным слоем). Развитие данной тематики было продолжено в [5] для пространства функций, представимых в виде потенциала Рисса (см. [4]).

Целью настоящей работы является получение оценок погрешностей интегрирования преобразований Рисса через нормы оригиналов этого преобразования в пространствах Ьр (а, Ь). Также доказывается, что функционалы с пограничным слоем дают наилучший порядок сильной сходимости для функций, представимых потенциалом Рисса среди формул с произвольными узлами и коэффициентами. Доказательство основано как на методах из [1], [6], так и на проведенных здесь преобразованиях известных формул для оригинала преобразования Рисса.

Пусть а, Ь, р, ц — действительные числа: а < Ь, 1 < р < ж, ц = р/(р — 1), 0 < а < 1, ар > 1; N — натуральное число.

Определим линейное пространство Ьа(а, Ь) как пространство, состоящее из функций вида

ь

I (х) = ! |х — ¿Г1^ №, (1)

а

где функции р/(х) принадлежат пространству Ьр(а,Ь). Интеграл (1) называется одномерным потенциалом Рисса (см. [4, с. 179]).

Будем рассматривать последовательности функционалов вида:

Ь N

(Iм,1 )= I(х^х — £ cNIX), (2)

а к=1

* e-mail: mimedvedeva@rambler.ru © Siberian Federal University. All rights reserved

где е^, x^ — коэффициенты и узлы квадратурной формулы соответственно, x^ G [a,b] (1 < к < N).

Основным результатом статьи является теорема 1. Прямым следствием ее и результата статьи [5] является теорема 2. Доказательство данных фактов приведено после формулировки необходимых для этого лемм 1-5.

Теорема 1. Существует число A > 0 такое, что для любой последовательности функционалов вида (2) найдутся функции ff (x) G Lp(a,b), такие, что выполняется неравенство

|(1N ,f )| >AN-a(b - a)i/q+a\\Vf ||Ma,b).

Теорема 2. Существует такое число B > 0 и последовательность функционалов вида (2), что при всех ff G Lp(a,b) выполняется неравенство

|(1N,f)| <BN-a(b - af/q+a\\if \\Lp(a,b).

Сравнивая эти теоремы, можно видеть, что наилучший порядок сильной сходимости квадратурных формул (2) относительно \\ff \\ьр(а,ь) при N ^ ж есть O(N-а). Отметим, что утверждению теоремы 2 удовлетворяют последовательности усложненных квадратурных формул, точные на константах, в том числе и экстраполяционные (например, формулы С. Л. Соболева). Свойства и алгоритмы построения экстраполяционных квадратурных формул подробно описаны, например, в [6].

Определение 1 (13.1 из [4]). К классу H*(a,b) отнесем функции f (x), для которых существуют числа А, 0 < А ^ 1, и е^ > 0, е2 > 0 такие, что

f (x) =

f *(x)

(х - а)1-£1 (Ь - х)1-£2' где I*(х) в Нл([а, Ь]). Обозначим

НЛ(^1, £2) = {I : I(х) = (х - а)Е1-1(Ь - х)£2-1ф(х), ф(х) в Нл([а, Ь]), ф(а) = ф(Ь) = 0},

Н*а = и Н0л(£1,е2).

а<Л^1, Е1>0, е2>0

Следующее утверждение будет далее применяться в случае £1 = £2 = 1. Однако приводим его формулировку и доказательство для произвольных £1, £2 > 0, поскольку оно может представлять интерес как обобщение известных результатов из [4].

Лемма 1. Если функция I(х) в Н^(а,Ь), то соответствующая ей в формуле (1) функция (х) может быть представлена в виде

ъ {х) = *пол (1 - а) И -1)1 ^ сМ - [ *п(х--1)1 (г 4 +

; 2п ( ; у (Ь - г)\х - ¿1« У (г - а)|х - г\а р

V а а )

Ь

(2 - а)1 (г - а)(Ь - г)\х - г\-1 ^ (3)

+

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

Интегральное уравнение (1) относительно неизвестной функции ipf (x) называется уравнением Карлемана. Оно разрешимо в классе H* при любой левой части f (x) G H*, решение единственно и может быть записано в виде (см. [4, с. 456-457])

b

ъ (x) = t^t d ¡ s^xx-jm dt+

f ' 2n dx J |x - t\a

a

9 b b 1 sin2af d Г.. , f [(y - a)(b - y)] — ,

+dfx J [(t - a)(b - t)]^ f (t) dtj \t- y)\x-y\« dy-

aa

b b ™2T d r.„ [(y - a)(b - y)] <•!■'

I" - ™ - "f <« Ч dy <4)

2п2 dx

Используя равенство (см. [7, c. 530-531])

b [(y - a)(b - y)] ^ п sgn(x - t)ctg _

-Vi-\^dy =--~, (5)

У (t - y)\x - y\a |x - 1\a [(t - a)(b - t)]~

формулу обращения (4) перепишем следующим образом (сложив первые два слагаемые и приведя подобные):

b

sin (ап) d Г sgn (x - t)f (t)

Wf (x) = ----— -:-:- dt —

f ' 4п dx J \x - t\a

a

b b d Г f (t) dt b [(y - a)(b - y)]a/2 =

2п2 dxj [(t - a)(b - t)]a/2 J (t - y)\x - y\a y 1 2•

aa

Для вычисления интеграла J2 нам понадобятся равенства ([8, с. 306,(2.2.8.3), (2.2.8.4.)])

b

I [(y -a)(ba - y)]a/2~1 dy = пsgn(x - t)ctg ^ , (6)

J \x - y\a(t - y) |x - t\a [(t - a)(b - t)]1- a/2

a

b

f I(y - a)(b - y)]a/2-1 sgn (x - y) d =__n ctg Of_

J \x - y\a-1(t - y) y \x - t\a-1 [(t - a)(b - t)]1-a/2 . ()

Интеграл J2 разобьем на части с помощью тождества

y - a b - у_ _ t-y \ ^ Л t-y \ =í+(t - y)(2t - a - b) (t - y)2

t - a b -1 \ t - aj V b - tj (t - a)(b -1) (t - a)(b -1)'

Получим

=_^и f (t)dt f [{y - a){b - y)]a/2-1 dy

'2 2n2 dx\J [(t - a){b - t)]a/2-1 J \x - y\a{t - y)

b b + Г (2t - a - b)f (t) dt f [{y - a)(b - y)]a/2-1 +

+ J[(t - a)(b - t)]a/2 J \x - y\a У+

a a

b b

+ b f (t) dt b (y - t) [(y - a)(b - y)]a/2-1

+ J [(t - a)(b - t)]a/2 J \x - y\a y

Выражение J21 преобразуем, используя формулу (6):

J21 + J22 + J23.

2

b

f (t) dt f[(y - a)(b - y)]a/2-1

J21 = 0-2^ тп—-ттт—^тат^т —n—~ar,—п— dy =

2n2 dxj [(t - a)(b - t)]a/2-1 J \x - y\a(t - y)

b

sin (an) d f sgn (x - t)f (t) dt

dx J \x - t\a . ()

Далее нам понадобится равенство

y - x y - x

с помощью которого получим

b b sin2 an d f (2 t — a — b) f (t) dt Г [(y - n)(b-y)]a/2-1

y t x t

y =1 +-, (9)

sin^f d f(2t - a - b)f (t) dt r [(y - a)(b - y)] 2n2 dx J [(t - a)(b - t)]a/2 J \x - y\

J22 = I --w, t)]a/2 I -^-dy

sin2 Of d b (2t - a - b)f (t) dt _

2n2 dxj [(t - a)(b - t)]a/2

a

[(y - a)(b - y)]a/2-1 sgn (y - x) + x f [(y - a)(b - y)]a/2-1

(y - t)lx - y Ia—1 dy +(X VJ (y - t)lx - y Ia ^

a

Для подсчета правой части используем формулы (6) и (7):

9 ь

_ sin2 О* d_ b (t - a - (b - t))f (t) J22 _ 2n2 dxj [(t - a)(b - t)]a/2 dtX

a

n ctg (an/2) n(x - t) sgn (x - t) ctg (an/2)

Ix - tI*-1[(t - a)(b - t)]1-a/2 Ix - tI*[(t - a)(b - t)]1-a/2

{b b

i f (t) , 1 dt - Г f (t) , 1 dt). (10)

J (t - a)Ix - tla-1 J (b - t)Ix - tla-1 ' V 7

aa

В J23, сделав предварительно преобразование (9), приходим к следующему:

b

sin2an d ] f (t) dt

J23 =

2п2 dx J [(t - a)(b - t)]a /2

a

b b ¡i \x - y\1—a sgn(y - x) dy í \x - y\—a dy .

Xl/ [(y - a)(b - y)]1-*/2 - VJ [(y - a)(b - y)]1-«/2 1 • (11)

a

Снова воспользуемся равенством (9) для каждого из интегралов в правой части формулы (11):

/ b b = sin2 ¡f d fr f (t) dt b [(y - a)(b - y)]a/2—1

223 2п2 d,x\j [(t - a)(b - t)]a/2 J \x - y\a—2(y - t) y+

aa b b + 2 f (x - t)f (t) dt f [(y - a)(b - y)]a/2—1 sgn (y - x) +

+ J [(t - a)(b - t)]a/2 J \x - y\a—1(y - t) У+

aa

b b + f (x - t)2f (t) dt b [(y - a)(b - y)]a/2—1 .

+ J [(t - a)(b - t)]a/2 J \x - y\a (y - t) y}.

aa

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

о b ь

= sin2 !f ) Г f (t) dt [ \x - y\1 — a sgn(x - y) dy +

23 2п2 ( аЧ [(t - a)(b - t)]a/2 J [(y - a)(b - y)]1— f (y - t) +

aa 9 b

sin2 d Г (x - t)f (t) dt + 2п2 ~dx J [(t - a)(b - t)]a/2 X

a

b

x - y\ 1— sgn ( y - x) dy \ x - y\ — dy

x ¡2¡ Tu—^ :.+(x-t)lw„, ^h ,лп—

b

[(y - a)(b - y)]1— 2 (y - t) v 'J [(y - a)(b - y)]1—2 (y - t)

b

(2 - a) J ■

= s\nian)( )Г_f (t) dt_

" 4п ( aV (t - a)(b - t)\x - t\a—1

a

b b sin (ап) d f ^ 2(x - t)f (t) dt Г (x - t)2 sgn(x - t)f (t) dt

dx \ J (t - a)(b - t)\x - t\a—1 + J (t - a)(b - t)\x - t\

a

b

sin (ап) f f (t) dt

(2 ) í f (t) dt (12) (2 - a)J (t - a)(b - t)\x - t\a—1 • (12)

2п 'J (t - a)(b - t)\x - t\a—1'

Собирая оценки (8), (10) и (12), окончательно получим

= вт (ап) с !' в^п^х-!:) ¿г +

¿х

\х - г\а

+

эт (ап) ¿

I (г)

2п ¿х |У (г - а)\х - г\

1

¿г -

I (г)

(Ь - г)\х - г\

1

эт (ап)

Ь

(2 - а) У

¿г\ -

I (г)

(г - а)(Ь - г)\х - г\а-1

¿г.

И, значит, функция (х) запишется в виде

^(х) = 11 - ^ = -(322 + ^з)

эт (ап) ¿

I (г) ¿г

I (г) ¿г

2п ¿х {У (г - а)\х - г\

-1

(Ь - г)\х - г\а-1

+

+-

Бт ап

2п

Ь

(2 - а) I

I (г) ¿г

(г - а)(Ь - г)\х - г\

1

2п

-(1 -а {/

I(г) sgn (х - г) ¿г Г I(г) sgn (х - г) ¿г

(Ь - г)\х - г\а

+-

2п

Ь

'-(2 - а) I

I (г) ¿г

(г - а)(Ь - г)\х - г\а-1'

(г - а)\х - г\а

□

+

Замечание. Выражение (3) проще равенства (4) и не содержит двойных интегралов. На него будет опираться дальнейшее доказательство теоремы 1, сходное с доказательством теоремы 4 из [1], но в отличие от теоремы 4, которое связано с равенством (4.13) статьи [1], наше доказательство связано с несколько более сложной формулой (3).

Положим Н = Н(М) = (Ь - а)/(2Ы), П(М) = и}(а + Ы,а + Нг + Н), где /л(М) -совокупность целых чисел г в [0, 2М-1], таких что интервалы (а + Нг, а + Ы + К) не содержат узлов х^ ,..., хN формулы (2).

Зададим функцию д(х) в Нл на [0,1] (т.е. принадлежащую классу гёльдеровских функций с показателем Л > а), такую что д(0) = д(1) =0 и

1

д( х) ¿х > 0.

Вне отрезка [0,1] считаем д(х) равной нулю. Положим

( \ / д (^т-а - г), г в ),х в (а + на,а + нг + н), дк(х) = \ 0, х в [а,Ь] \ П(М).

Функция дн(х) на [а, Ь] будет принадлежать пространству НЛ. Рассмотрим функцию Фи(х) при х в К, где

(13)

'Фн(х)

гФ(х - г), г в ), х в (г, г +1), 0, г в ).

Ь

Ь

Функции ф(х) € НЛ(К) и удовлетворяют следующим условиям:

1

1*(х)"х = 0 ф(0) = *(1) = °-

о

По построению фн(х) € Нл[0, 2М] и

1Ых)1 <ки (14)

также для данной функции можно записать неравенство (см. [1])

е

/ ф^(х)(х

п

< к2, (15)

где —то < п < С < ж и к2 не зависит от п и £. Здесь и далее к с индексами будут обозначать положительные постоянные.

Лемма 2. Пусть числа с, ( € Ъ, г € К такие, что с, ¿, г € [0, 2Щ, с < (,

а

кеч [ вёп(г — 8)Ы8) ,

Тогда найдется постоянная кз, не зависящая от г, такая что |Вс,с+1| < кз.

Доказательство. Если с > 0, то все функции ффн(я), (г — ¡)-а, (в — г)-а и 1/8 — интегрируемы на [с, с + 1]. Рассмотрим несколько случаев.

1) Пусть г ^ с.

а) Если с — г ^ 1, то функция (в — г)-а при фиксированном г — монотонно возрастающая на [г + 1, 2Ы]. Поэтому к интегралу Вс,с+1(г) можно применить теорему Бонне (вторую теорему о среднем), из которой следует

с+1

вс,с+1(г) = — (с +11— С € [с,с +1].

По построению фн(0) =0 и для нее выполняется условие

1Фн(х1) — фн(х2)1 < Кх — х2|л, (16)

где 0 < Л < 1, К — некоторая константа. Следовательно,

с+1

К

\Вс,с+1(г) | < с +1— г)а I 8Л-1 ¿8 = к4 ■

С

Ь) Если с — г < 1 (в частности, с = г), то функция 1/в на отрезке [1, 2Щ — монотонно убывающая. Тогда, вновь применяя теорему Бонне, получим

с+1 е

Вссс+1(г) = — -(Щ- ¿8 = — - (8фЦ; (8, С € [с, с + 1]. } 8(8 — г)а с] (в — г)а

Учитывая неравенство (14), имеем

к1

\Вс,о+1(г)\ < к1 с

6

!(а - г)-а ¿в

= кк

2) Пусть с +1 < г, с > 0.

а) Если г - (с +1) ^ 1, то функция (г - а)-а при фиксированном г на отрезке [0, г - 1] монотонно возрастающая, и, значит, применима теорема о среднем

С+1

Вс,с+1(г) = ! а

¿а =

1

фн(а)

а(г - а)а"'" (г - с - 1)а

с +1

фк(а)

¿а,

С в [с, с + 1]. Далее, используя свойство (16), оценим необходимый интеграл

\Вс,с+1(г)\ <

К

(г - с - 1)а

с +1

л-1

¿а

кб.

Ь) Если 2 - (с + 1) < 1 (г = с + 1), функция 1/а — монотонно убывающая на рассматриваемом интервале (так как с > 0, значит, с ^ 1), поэтому

\Вс с +1(г)\ = 1

фн(а)

(г - а)а

¿а

< к1

с

6

J(г - в)-а ¿в

= к7,

е в [с,с+1].

3) Пусть с < г < с +1, с > 0. Тогда, вновь учитывая тот факт, что функция 1/а — монотонно убывающая, а также неравенство (16), получим требуемую оценку

\Вс, с+1(г)\ = 1

фн(а) \г - а\а

¿а

< —

с

6

J \г - вГа ¿а

= к8,

е в [с,с+1].

4) Пусть теперь с = 0.

а) Если 0 < г ^ 1, то, представляя наш интеграл в виде суммы двух других Во,1 Во,г + Вг,1, получим

\BBoz (г)\ =

Фн(а) - фн(0)

(а - 0)(г - а)а

¿а

< К

г

J ал-1(г - в)-а ¿а

Используя равенство (2.2.5.1) из [8]

!(х - а)а-1(Ь - х)в-1 ¿х =(Ь - а)а+в-1В(а, в) (а, в > 0),

имеем

\Бо,г(г)\ < Кгл-аВ(Л, 1 - а).

(17)

а

6

6

г

Ь

Для Вх,1 из формулы (16) и монотонного убывания функции 1/в на интервале (0,1] вытекает оценка

|£*дМ1 = 1

е е

¡(¡г^а ^ < (8 -г)-а =&е ^ 1]).

Из формул (17) и (18) следует, что

|ВодМ| < к10.

Ь) Если же 1 < г, то записав Вод в виде

Во,1 = Во,г — @1,г, далее оцениваем как в предыдущем пункте 4а).

Лемма 3. Пусть числа с, ( € Ъ, г € К такие что с, (, г € [0, 2Щ, с < (,

(18)

□

Цёп (г — в)фн(в) (2М — в)|г — в|а

(в.

Тогда найдется постоянная кц, не зависящая от г, такая, что |^С,с+11 < кц.

Доказательство. Доказательство данного утверждения аналогично доказательству предыдущего утверждения. □

Лемма 4. Пусть числа в > 0, с, ( € Ъ, г € К такие, что с, (, г € [0, 2Щ, с < (,

Т>с,*(г)

\г — ¡Iе фн(в)(в в(2Н — в) .

Тогда найдется постоянная к12, такая что |Х>с,с+1| < к12. Доказательство. Вновь рассмотрим несколько случаев.

1) Пусть с = 0 и с +1 = 2М. Функция 1/в — убывающая на отрезке [1, 2Ы], функция 1/(2М — в) — возрастающая на [0, 2М — 1] и, следовательно, возможны три варианта:

а) г ^ с. В этом случае функция (в — г)в при фиксированном г есть функция возрастающая на [г, 2М]. Поэтому, последовательно используя теорему Бонне два раза, а также учитывая формулу (15), приходим к следующему:

№с,с+1(г)

(с+ц—г^

2Ы-с - 1

с+1

фН(в)

(в

С

сш—с—Т)

фн(в)(в

«13.

Ь) г ^ с ±1. Функция (г — в)в убывает на [0, г]:

с+1

№с,с+1(г)

(г — с)в

Фн(в)

2Ы-в

(в

С

(г — с)в г(2Ы — с — 1

фн(в) (в

=к

14,

й

й

е

в

е

где С в [с, с +1], е в [С, с +1].

с) с < г < с + 1. Представим Vс,с+1 в виде суммы двух слагаемых Vс,с+1 = Хс,г + Хг,с+1, первое из которых оценивается аналогично случаю с +1 ^ г, а второе слагаемое — как в случае г ^ с. В итоге получим соотношение Хсс+1 < к 15. 2) Пусть с = 0.

а) При 0 ^ г ^ 1 разобьем 'о,1 на два других интеграла 'о,г и Хгд. Так как

1

1

1

1

ша^—-= —-, ша^—-= -—;-,

[о,г] 2Ы - а 2Ы - г' М] 2Ы - а 2Ы - 1'

шах \ г — аIе = (^ — г)в, шах - = -,

[г,1] [г,1] а г

то, применяя формулы (15) и (16), имеем

\Хо,г (г)\ <

1

2М -г

(г - а)вал-1 ¿а =

гв+л

2К -г

В(1 + в, Л),

\Хг,1(г)\ <

(1 - г)в г(2М - 1)

Фн(а) ¿а

< к1б.

Отсюда получаем, что \'По<1(г) \ < к17.

Ь) Если 1 < г, то при фиксированном г и а в [0, г] функция (г - а)в непрерывна, неотрицательна и монотонно убывает, функция 1/(2М - а) монотонно возрастает, а фн(0) по условию равна нулю. Поэтому, учитывая свойство (16), далее имеем

\'о,1(г)

Фн(а)(г - а)в а(2М - а)

¿а

<к

18

'Фн(а) - Фн(0)

а0

¿а < < ы

В случае с + 1 = 2М утверждение леммы устанавливается аналогично случаю с = 0. □

Лемма 5. Пусть функция дн(х) определена формулой (13). Тогда существуют функции фд (х), такие что

Ь

1

дн(х) = ! \х - г\а-1фд(г) ¿г,

для которых выполняется неравенство

\\фд\\ьр(а,Ь) < к21Н-а (Ь - а)1/р

(19)

при Н ^ 0.

Доказательство. По условию дь(х) в Нл[а,Ь], дь(а) = дн(Ь) = 0. Поэтому данная функция будет принадлежать и классу Н^(а,Ь) (при £1 = £2 = 1). Значит, для нее верна формула обращения (3) с I(х) = дн(х), т.е.

Б1п ап

фд (х) = ^п~(1 - а) {./ (Ь - г) \ х - г \

Ь Ь

[ sgn (х - г)дн(г) ¿г_ Г sgn (х - г)дн(г) ¿. +

(г - а) \ х - г \а

г

1

1

1

1

b

+ sin ап Г_gh(t)_ =

+ 2п J (t - a)(b - t)lx - tiа-1 =

a

sin аж sin аж

= 2n (1 - а) {Pg,1(x) + Pg,2(x)} + —Pg,3(x). (20)

Оценим каждое слагаемое, стоящее в правой части (20):

b a+ih+h

fsgn(x - t)gh(t) ^ f ft - a Д sgn (x -t)

Pg,l(x)=í ib-t)\x-t\*dt=£ J g{—-\)w-w-ta-dt=

a ) a+ih

i+1 i+1

= h sp [ g(z - i) sgn (x - hz - a) ^ = h-a y^ í g(z - i)sgn((x - a)/h - z) ^

2-^1 (b — hz — a)\x — hz — a Ia íb-a I x-a ~\а .

„ (b - hz - a)ix - hz - oÁa ^ J (í- _ Л Iz|

ie^(N) 1 v л 1 ie^(N)J: v h z;i h z|

Полагая в лемме 3 фн = д, получим

\фд, 1 (х)\ < к22Н-а.

Выражение фд, 2(х) оценивается аналогично тому, как это было сделано для фд< 1(х). В этом случае необходимо применить лемму 2 с фн = д, т.е. будет выполняться соотношение

\фд, 2(х) \ < к2зН-а.

Последнее слагаемое в формуле (20) перепишем в виде

Ь а+гН+Н

( ) Г дн(г)\х - г\1-а ^ г (г - а \ \х - г\1-а

фд,з(х) = н -а)-Ь - г) ¿г = ^ д{— - г (г-а)(Ь - г) ¿г =

а [ А ; а+гн 4 У У А )

'+1 ■ + 1 — а , л

- д(г г)

g(z-i)lx-hz-a\ dz = h-a у

^ J hz(b - a - hz) ^

íe^(N) i íe^(N)

x - a —;--z

z(2N - z)

dz.

Применяя лемму 4 с фн = д, имеем

\фд, з(х)\ < к24Н-а.

И, значит,

\\фд\\ьр(а,Ь) < к2к\\фд, 1 + фд, 2\\ьр(а,Ь) + к2б\\фд, з\\ьр (а,Ь) < к27Н-а(Ь - а)1/р. □

Доказательство теоремы 1. Пусть дН(х) — функция из леммы 5. Так как дн(хN) = 0 (1 ^ к ^ N), получим

Ь а+гН+Н

(^,дн) = ! дн(х) ¿х = ! дн(х) ¿х = У ! д (~Ы~ - Ч ¿х =

а+гН

1 1 (Ь - а)

mesü(N) J g(x)dx > (Ь - ^ J g(x)dx > 0. (21)

0 0

Сравнивая формулы (19) и (21), находим

(lN,gh) > k28(b - a)1/qha\\Vg\\Lp{aib) > k29N-a(b - a)1/q+a\\Vg\\LAa,b).

'p

'p

Отсюда следует теорема 1.

□

Работа выполнена при финансовой поддержке Российского фонда фундаментальных

исследований (код проекта 07-01-00326).

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

[1] В.И.Половинкин, Последовательности функционалов с пограничным слоем в пространствах одномерных функций, обладающих дробными производными Римана—Лиувилля, Математические труды, 5(2002), №2, 178-202.

[2] Н.А.Севастьянова, Последовательности функционалов с пограничным слоем для функций, имеющих дробные производные, Кубатурные формулы и их приложения, Уфа, ИМВЦ УфНЦ РАН, 1996, 90-104.

[3] Н.А.Севастьянова, Последовательности функционалов с пограничным слоем в пространствах функций с дробными производными, Вопросы математического анализа, Красноярск, ИПЦКГТУ, 1997, Вып. 2, 106-119.

[4] Л.Б.Самко, А.А.Килбас, О.И.Маричев, Интегралы и производные дробного порядка и некоторые их применения, Минск, Наука и техника, 1987.

[5] М.И.Медведева, Асимптотика норм функционалов ошибок с пограничным слоем для потенциалов Рисса, Вопросы математического анализа, Красноярск, ИПЦ КГТУ, 2004, Вып. 8, 85-98.

[6] В.И. Половинкин Квадратурные формулы в пространствах функций, Красноярск, СФУ, 2007.

[7] Ф.Д.Гахов, Краевые задачи, М., Наука, 1977.

[8] А.П.Прудников, Ю.А. Брычков, О.И.Маричев, Интегралы и ряды, М., Наука, 1981.

On the Order of Convergence of Quadrature Formulae on Functions in the Spaces of Riesz Potential

Mariya I.Medvedeva

We establish an unimprovable lower estimate for the errors of quadrature formulae with no restrictions

on nodes and coefficients with integrating the Riesz potentials.

Keywords: quadrature formulas, error functionals, sequences of functionals, Riesz potential.