Научная статья на тему 'Сходимость последовательности натуральных и дробных производных операторов Саса-Миракьяна'

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

CC BY
79
13
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Сходимость последовательности натуральных и дробных производных операторов Саса-Миракьяна»

УДК 517.51

Е. В. Гудошникова

СХОДИМОСТЬ ПОСЛЕДОВАТЕЛЬНОСТИ НАТУРАЛЬНЫХ И ДРОБНЫХ ПРОИЗВОДНЫХ ОПЕРАТОРОВ САСА^МИРАКЬЯНА

Рассматриваются последовательности рх производных операторов Саса-Мпракьяна к р-й производной функции для р £ N и р £ [0; 1] и находится порядок приближения в терминах модуля непрерывности.

В теории линейных операторов хорошо известны операторы Сиси Миракьяна [1, 2]:

Mnf; x) = ¿ f (£) ^(x > 0). (1)

k=0 ^ ' '

Из теорем П. П. Коровкина [3] следует, что последовательность операторов Mn(f; x) сходится к f (x) для любой непрерывной функции f, причем

Mn(f; x) - f (x) | < (1 + x) w f; , (2)

где w(f; h) - модуль непрерывности функции f. Обозначим

Mnp)(f; x) = Mn(f; x) = ¿ f |k (xke-nx)(p)(p £ N,x > 0). (3)

k=0 ^ ' '

В работе [4] рассмотрен вопрос о сходимости последовательности

M(p\f; x) к f(p) для различных классов функций. Рассмотрим функции, p

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

Теорема 1. Для функции f £ Cp, р £ N, прux > 0 MÍP\f; x) —>■ ^ f (p)(x)7 причем

Mnp)(f; x) - f (p)(x)| < ^1 + x + P0 wf(p); (4)

где w(f; h) - модуль непрерывности функции, f.

Доказательство строится по следующей схеме. По индукции доказывается представление

00

МПР)(/; ж) =

к=0

Е

.¿=0

п

(пж)к _п

~кТе

Откуда, используя свойства к-х разделенных разностей (см., например, 4]) и свойства операторов Мп(/; ж), получим утверждение теоремы. Рассмотрим

Мп(/; ж) =

(жр

М-(/;ж) = Е /(к)| О (

к=0

жк е~пх

)

(5)

(а е (0; 1), ж > 0), где Оа(у) = (Оау)ж = (О+у)ж - левосторонняя дробная производная

Римапа-Лиувилля (см., например, [5]).

Теорема 2. Для функции f е С1 имеют, место представления

БаMn(f; ж) =

f (0)

+

к=0

f

'к + 1'

п

-'(V п

жаГ(1 - а) (пж)к+1Ф(к + 1, к + 2 - а, -пж)

Mn(f; ж) =

Г(к + 2 - а)Ж f(0) ,

(6)

жаГ(1 - а)

00

+

к=0

f

'к + 1'

п

-

\ п

^(к)(г) (-г )к к! жаГ(2 - а)

(7)

где Г(г) - гамма функция, Ф(а, 7, г) - вырожденная гипергеометрическая функция (см., например, [6] 3.383), ^(г) = Ф(1, 2 - а, г)7 г = -пж.

Доказательство. Для абсолютно непрерывной функции имеет место представление (см. [5]):

(Оа у)ж =

1

Г(1 - а)

у(0)

+

жа

у '(*)

(ж - ()'

(8)

откуда имеем

Оа АШ; ж) =

/ (0)

00

жаГ(1 - а)

+

к=0

f

к+1

п-

п \п

п

к+1

"•х £к е~пх

к! Г(1 - а) Л (ж -

(И.

х

Подставляя выражение для интеграла через функцию Ф (см. [6, 9.213] получим (6).

Так как (см. [6, 9.2131

—" у = -Ф(а + 1,7 + 1,г) ^ (г 7

(кФ(а,7, г) а(а + 1)...(а + к - 1)

Ф(а + к, 7 + к, г)

(кг 7(7 + 1)...(7 + к - 1)

и после несложных преобразований из (6) получим (7).

Следствия. Так как (Оа£к)ж = жк-а, то из (6),(7) ^

^ ОаМп(1; ж) =

ОаМп(^; ж) =

1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

жаГ(1 - а)

= (Оа 1)ж,

ж

1—а

Г(2 - а)

= (Оаф,

2ж2-а 1 ж1 а

ОаМп(^2; ж) = -2ж-г + -г ^ (Оа1)ж.

(9)

(10) (11)

Г(3 - а) п Г(2 - а)

Равенства (9-11) аналогичны условиям теоремы Коровкина, но, как видно из теоремы 2, ОаМп^; ж) не являются положительными операторами поэтому теорема Коровкина не может быть применена для доказательства сходимости последовательности операторов (5).

Теорема 3. Для f е С\ 0 < а < 1, ОаМп^; ж) ^ (О^)ж, причем,

ОаМп^; ж) - (О^)ж < шlf';

1

1 \ ж1 а 1 + - ^-т +

ж

и) Г(2 - а) Г(3 - а)

Доказательство. Из представления (8) и теоремы 1 находим:

ОаМп^; ж) - (О^)ж

<

|Мп(f; *) - f'(*)|

Г(1 - а) Л

(ж - £)(

<

<

Г (1 + I + 1/п) Г(1 - а) Уо (ж - ¿)а

Откуда, вычислив интеграл, получим требуемое.

а.

х

1

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Миракъян Г. М. Аппроксимирование непрерывных функций е помощью полита

помов е-га Е ск,гажк // Докл. АН СССР. 1941. Т. 31. С. 201-205. к=0

2. Szasz 0. Generalization of S.Bernstein's polinomials to the infinite interval // J. Res. Nat. Bur. Standards, Sect. B. 1950. Vol. 45. P. 239-245.

3. Коровкин П. П. Линейные операторы и теория приближений. М, : Наука, 1959. 212 е.

4. Xiehua Sun. On the simultaneous approximation of funetions and their derivatives bv the Szasz-Mirakvan operator // J. of Approximation Theorv. 1988. Vol. 55, iss. 3. Deeember. P. 279-288.

5. Самко С. Г., Килбас А. А., Маричев О. И. Интегралы и производные дробного порядка и некоторые их приложения. Минек : Наука и техника, 1987. 688 е.

6. Рыжик И. Л/.. Градштейн И. С. Таблицы интегралов, сумм, рядов и произведений. М, ; Л. : ГИТТЛ, 1951.

УДК 517.984

М. Ю. Игнатьев

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

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

Пусть G - геометрический граф с вершиной vi и ребра ми ro, ri5 где ro - луч с начал ом в vi, ri - цик л [v1,v1] длин ы Т. Будем считать, что ребро r0 параметризовано параметром xo £ [0, го), а r1 - параметром x1 £ [0,Т]. Фупкцию y па графе G будем трактовать как пару функций (yo(xo),yi(xi)) [1-3].

На каждом из rj, j = 0,1, рассмотрим дифференциальное уравнение

yj + (p2 + Wj (xj) + qj (xj ))yj = ^ (1)

где qj,Pj £ L(rj) (1 + xo) qo(xo), (1 + xo)po(xo) £ L(0, го). vi

yo(0) = yi(0) = yi(T), yi (T) = yo (0) + yi (0). (2)

Обозначим через Cj (xj, p) Sj (xj, p) решения уравнений (1) с начальными условиями типа косинуса и синуса соответственно, через eo(xo,p)

ro

eo(xo, p) = exp(±(ipxo - Qo(xo))(1 + o(1)), p £ xo ^ го,

i Надоели баннеры? Вы всегда можете отключить рекламу.