CC BY
44
Л. Л. Хромов. Приближение функции с помощью модифицированного оператора Стеклова
Библиографический список
1. Ровба Е. А., Смотрицкий К. А. Рациональное интерполирование в нулях синус-дробей Чебышева — Маркова // Докл. НАН Беларуси. 2008. Т. 52, № 5. С. 11-15.
2. Ровба Е. А., Смотрицкий К. А. Сходимость в среднем интерполяционных рациональных процессов в нулях дробей Бернштейна // Весщ НАН Беларусь 2010. № 3. С. 5-9.
3. Ровба Е. А. Об одной ортогональной системе рациональных функций и квадратурах типа Гаусса // Вес-щ НАН Беларусь Сер. ф1з.-матем. навук. 1998. № 3. С. 31-35.
4. Русак В. Н. Рациональные функции как аппарат приближения. Минск : Изд-во БГУ им. В. И. Ленина, 1979. 176 с.
About the Norms of Interpolation Processes with Fixed Nodes K. A. Smotritski, Y. V. Dirvuk
Yanka Kupala State University of Grodno, 22, Ozheshko str., 230023, Grodno, Belarus, k_smotritski@mail.ru, dirvuk@gmail.com
The object of study is interpolating rational Lagrange functions. The aim of the research — the study of approximation properties of these functions in the space of square integrated functions. In the introduction the relevance of the research is indicated, references to some works related to this article are given. We also describe the construction of the apparatus of approximation — interpolating rational Lagrange functions. In the main part the norm of the interpolating rational function in the space of the square integrated functions is calculated. This enabled us to estimate the error of the approximation of an arbitrary function by interpolating rational Lagrange functions in the space of square integrated functions in terms of best uniform rational approximation of this function. The results can be used for further investigation of the properties of interpolating rational functions and their approximations in various functional spaces.
Key words: interpolating rational Lagrange function, the norm of the interpolating process, approximation in the space of square integrated functions..
References
1. Rovba E. A., Smotritski K. A. Rational interpolation at the zeros of sine-fractions Chebyshev - Markov. Doklady NAN Belarusi, 2008, vol. 52, no. 5, pp. 11-15 (in Russian).
2. Rovba E. A., Smotritski K. A. Convergence in the mean of rational interpolating processes in the zeroes of Bernstein fractures. Vesti NAN Belarusi. Ser. fiz.-mat. navuk, 2005, no. 1, pp. 6-10 (in Russian).
Y^K 517.51
3. Rovba E. A. Orthogonal system of rational functions and quadratures of Gauss-type. Mathematica Balkanica, 1999, vol. 13, no. 1-2, pp. 187-198.
4. Rusak V. N. Racional'nye funkcii kak apparat priblizhenijа [Rational functions as approximating tool]. Minsk, 1979, 176 p. (in Russian).
ПРИБЛИЖЕНИЕ ФУНКЦИИ И ЕЕ ПРОИЗВОДНОЙ С ПОМОЩЬЮ МОДИФИЦИРОВАННОГО ОПЕРАТОРА СТЕКЛОВА
А. А. Хромов
Кандидат физико-математических наук, доцент кафедры дифференциальных уравнений и прикладной математики, Саратовский государственный университет им. Н. Г. Чернышевского, KhromovAP@info.sgu.ru
На базе модификации оператора Стеклова построены семейства интегральных операторов, позволяющие получать равномерные приближения к функции и ее производной на отрезке.
Ключевые слова: производная, равномерные приближения, оператор Стеклова..
1. Пусть f (x) <G C 1[0,1]. Из операторов
x x+a
Sal f =~ f f (t) dt, Sa2 f =~ f f (t) dt a J a J
x-a x
© Хромов Л.Л., 2014
построим операторы:
Б(2)/ =
Б^/ при X е [0,1/2], Й2х/ при X е [1/2,1]
ББ(2) / =
ББ^/ при X е [0,1/2], ББ^/ при х е [1/2,1],
где Б — оператор дифференцирования по х. Из-за разрывности функций Б(2)/ и ББ(2)/ в точке х = 1/2 будем использовать метрику пространства Ь^ [0,1], норма в котором в нашем случае будет определяться по формуле
II ■ [0,1] = тах{|| ■ Ус[0,1/2], || ■ Ус[1/2,1]}• Лемма 1. Операторы и Б;22 имеют вид
Ба1/ = о 2
1
а2
Ба2/ = „2
х —а х
J (2а - (х - г))/(г) ¿г + J (х - г)/(г) ¿г
х—2 х—
х+а х+2а
J (г - х))/(г) ¿г + J (2а - (г - х))/(г)) ¿г
х х +а
а < 1/4.
Доказательство получается, если к повторным интегралам в выражениях для операторов и применить формулу интегрирования по частям.
Чтобы аргументы функций S2j/, 3 = 1, 2, не вышли за границы отрезка [0,1/2] при 3 = 2 и [1/2,1] при 3 = 1 должны выполняться условия: 2 + 2а ^ 1 и 1 - 2а ^ 0.
Отсюда следует ограничение а ^ 1/4, которое не ограничивает общности приведенных здесь доказательств.
Лемма 2. Операторы и имеют вид
/ =
1
/(г) ¿г + / /(г) ¿г
х—2
=
1
х+а х+2а
' /(г) ¿г + ^ /(г) ¿г
х+а
Теорема 1. Для любой непрерывной функции /(х) выполняется сходимость:
||Б(2)/ - /^[0,1] ^ 0 при а ^
(1)
Доказательство получается, если использовать равенство 1 = 1, 3 = 1, 2, из которого получа-
ется оценка: [Б^/ - /1 ^ ^(2а), 3 = 1, 2, где ^(2а) — модуль непрерывности функции /(х). Теорема 2. Для /(х) е С 1[0,1] выполняется сходимость
||ББ(2)/ - /'|| [0,1] ^ 0 при а ^ 0
(2)
Доказательство. При дифференцировании функций в формулах леммы 1 заменим дифференцирование по х на дифференцирование по г, после чего возьмем соответствующие интегралы по частям, «перебросив» производную на функцию /(х). Поскольку подстановки при этих вычислениях обратятся в ноль, мы придем к равенствам:
/ = ^/', з = 1, 2.
Тогда из теоремы 1 будет следовать утверждение теоремы 2.
(3)
2. Пусть /(х) е С1 [0,1] задана ее ^-приближением /(х) в среднеквадратичной метрике. Найдем приближения к /(х) и /'(х) с помощью построенных выше операторов. Введем в рассмотрение величины:
А(5,Б(2),/) = 8ир{||Б(2)/ - /||Ьте : ||/ - /||Ьа ^ 5}, А(5, ББ(2), /) = 8пр{|ББ(2)/ - /'||Ьте : ||/ - /||ьа ^ 5}.
и
х—
х
2
2
а
а
х—
Л. Л. Хромов. Приближение функции с помощью модифицированного оператора Стеклова
Лемма 3. Для сходимости А(6, Б(2), f) ^ 0 при а ^ 0, 6 ^ 0 необходимо и достаточно, чтобы: а) выполнялось условие (1); б) выполнялось согласование а = а(6), удовлетворяющее условиям: а(6) ^ 0 и 6 ^ 0 при 6 ^ 0. Для сходимости А(6, ББ(2)) ^ 0 при а ^ 0, 6 ^ 0
необходимо и достаточно выполнения условия (2) и приведенного выше условия б) с заменой б( ) на ББ(2).
Доказательство проводится по аналогии с доказательством теоремы 1 из [1]. Лемма 4. Справедливы равенства:
||Б<2) ||ь2^ = ^§а-1/2 , (4)
||ББ(2> ^ = л/2а-3/2 . (5)
Доказательство. Имеем:
||Б(2) У-Ьз^-Ьж = ||Б22^Ь2 [0,1]^С[0,1], ||Б21 [0ДНС[1/2,1]} •
Для норм операторов ББ(2) справедлива эта же формула с заменой Б(2) на ББ(2).
Операторы Б^, ББ^-, з = 1, 2 — интегральные, действующие из Ь2 [0,1] в С [0,1/2] при з = 2 ив С[1/2,1] при з = 1.
Рассмотрим оператор Б^2. Пользуемся формулой
1/2
|Б^2 ||ь2[0,1]^С[0,1/2] = шах | (Ка2 (х,г))2 ёг
0^x^1/2 I 3 0
где Ka2(x,t) по лемме 1 имеет вид
Ka2 (x,t) =
'"v2
1 It — x, x ^ t ^ x + a,
a2 ( 2a — (t — x), x + a ^ t ^ x + 2a.
Отсюда получаем, что
1Б22 11L2 [0,1] —[0,1/2] = у 2 a 1/2 •
Такая же формула получается и для нормы оператора Б^1. Отсюда следует (4). Аналогично доказывается и формула (5).
Из теорем 1,2 и лемм 3,4 вытекает
Теорема 3. Для сходимости А(5,Ба \/) ^ 0 при a ^ 0, 5 ^ 0 необходимо и достаточно выбрать a = a(5) так, чтобы a(5) ^ 0 и 5(a(5))-1/2 ^ 0 при 5 ^ 0.
Для сходимости Д(5, ББ(2) ,f) ^ 0 при a ^ 0, 5 ^ 0 необходимо и достаточно выбрать a = a(5) так, чтобы a(5) ^ 0 и 5(a(5))-3/2 ^ 0 при 5 ^ 0.
3. Если о функции f (x) известна дополнительная информация, то можно указать конкретные формулы для выбора a = a(5) и получить оценки погрешности построенных приближений. В [2] такой результат приведен для операторов Ба и f (x) G Lip11. Здесь приведен аналогичный результат для приближений к f' (x).
Пусть f (x) G M = {f(x) G C1 [0,1] : f'(x) G Lipk 1}.
Рассмотрим величины:
Д(5,ББ(2),M) = sup{^DS(2) fs — f'||Ьте : f G M, ||f — f ||l2 ^ 5}, (6)
Д^ББ^,M) = sup{|DS(2)f — f'||Ьте : f G M}. (7)
Очевидно, первая из них характеризует оценки погрешности приближений к f'(x) после применения операторов ББ(2) к f (x), а вторая - скорость аппроксимации производной функциями ББ(2) f на классе M.
Лемма 5. Справедливо равенство Д1 (DБi2),M) = Ka.
Математика
597
Доказательство. Пользуемся равенством (3), из которого вытекает, что
: ^ е Ырк 1}.
Далее, из леммы 1, равенства Б(2)1 = 1 и оценки |^(г) - ^(х)| ^ К|г - х| получаем оценку сверху:
А1 (ББ(2) ,М) ^ Ка.
Из (7) следует, что
А1 (ББ(2),М) ^ ||Б(2)^0 - ^0||ьте,
где ^0(х) = Кх. Очевидно, ей соответствует функция /0(х) = Кх2/2.
Из равенства ||Б(2)-= Ка следует оценка А1 (ББ(2),М) ^ Ка, а отсюда — утверждение леммы.
Теорема 4. Справедлива двусторонняя оценка, не улучшаемая по порядку 5:
С1К3/552/5 ^ А(5, ББ^, М) ^ С2К3/552/5, (8)
/ 3 \2/5
"(5) =кУ 52/5, (9)
Ci = (fy/531/5, C2 = C1 ^¡у/521/6.
2; 3, C2=Ci
Доказательство. Из очевидной оценки:
L2
вытекает оценка:
A(5,DS<2),M) ^ Ai(DS(2),M)+ ^. (10)
Из лемм 4 и 5 и оценки (10) следует оценка:
A(5,DS<2),M) ^ Ka + V2a-3/25. (11)
Обозначим через Ф(а, 5) правую часть (11) и найдем по аналогии с [3] согласование a = a(5) из условия Ф(а, 5) ^ inf. Тогда получим (9).
а
Отсюда, подставляя (9) в (11), получаем в (8) оценку сверху.
Далее, из (6) мы имеем: поскольку A1 = A/)=0 ^ A, а 5|DS(2) ||L2^ A/f=0 ^ A, то справедлива оценка:
A(5,DS$),M) ^ max{Ai(DSi2(),),M),5|Ds(2())|L2^}. Легко установить, что
Ai(DSi2()))) ^ 5HDSSi)||l2.
Отсюда и из формулы (5) получаем в (8) оценку снизу.
Работа выполнена при финансовой поддержке РФФИ (проект № 13-01-00238). Библиографический список
1. Иванов В. К. Об интегральных уравнениях Фред- функций и их приложения : тез. докл. 15-й Сарат. зимн. гольма первого рода // Дифференц. уравнения. 1967. шк. Саратов : Изд-во Сарат. ун-та, 2010. С. 181.
T. III, № 3. C. 410-421. 3. Хромова Г. В. Об оценках погрешности приближен-
2. Хромов А. П., Хромова Г. В. Об одной модификации ных решений уравнений первого рода // Докл. АН. оператора Стеклова // Современные проблемы теории 2001. T. 378, № 5. C. 605-609.
Г. В. Хромова. Регуляризация уравнения Абеля с помощью разрывного оператора Стеклова
Approximation of Function and Its Derivative by the Modificated Steklov Operator
A. A. Khromov
Saratov State University, 83, Astrakhanskaya str., Saratov, 410012, Russia, KhromovAP@info.sgu.ru
With the use of modification of Steklov operator are constructed families of integral operator which allow us to get uniform derivative on a closed.
Keywords: derivative, uniform approximations, Steklov operator.
This work was supported by the Russian Foundation for Basic Research (project no. 13-01-00238). References
1. Ivanov V. K. Ob integral'nykh uravneniiakh Fredgol'ma prilozheniia: Tez. dokl. 15-i Sarat. zimn. shkoly [Modern I roda [Fredholm integral equation of the first kind]. problems of function theory and their applications: Differents. uravneniia [Differ. Equations], 1967, vol. III, abstracts of the 15-th Saratov winter school], Saratov, no. 3, pp. 410-421 (in Russian). Saratov Univ. Press, 2010, pp. 181 (in Russian).
2. Khromov A. P., Khromova G. V. Ob odnoi modifikatsii 3. Khromova G. V. Error estimates of approximate solu-operatora Steklova [One modification of the Steklov tions to equations of the first kind. Doklady Math.. 2001, operator]. Sovremennye problemy teorii funktsii i ikh vol. 63, no. 3, 390-394.
УДК 517.51:571.968
РЕГУЛЯРИЗАЦИЯ УРАВНЕНИЯ АБЕЛЯ С ПОМОЩЬЮ РАЗРЫВНОГО ОПЕРАТОРА СТЕКЛОВА
Г. В. Хромова
Доктор физико-математических наук, профессор кафедры математической физики и вычислительной математики, Саратовский государственный университет им. Н. Г. Чернышевского, KhromovAP@info.sgu.ru
Для нахождения равномерных приближений к точному решению уравнения Абеля с приближенно заданной правой частью предложено простое по конструкции семейство интегральных операторов.
Ключевые слова: уравнение Абеля, оператор Стеклова, равномерные приближения, отрезок.
1. Рассмотрим уравнение Абеля:
х
Au = У гв) u(t) dt = f (x), 0 <в< 1, 0 < x < 1. (1)
0
Пусть известно, что при данной f (x) существует непрерывная функция u(x), являющаяся решением уравнения (1), но сама функция f(x) нам неизвестна — вместо нее известна f(x) такая, что llf - f IU2 < Поставим задачу: по f (x) и S найти равномерные приближения к u(x). Возьмем разрывный оператор Стеклова из [1]:
х+а
1 / u(t)dt, x е [0,1/2],
x
1 f u(t)dt, x е [1/2,1].
х-а
(2)
По методу, предложенному в [2], построим семейство операторов = £аА-1. Теорема 1. Операторы являются интегральными операторами с ядрами (ж,£), имеющими вид
(аГ(1 - в))-1 Ra 2(x, t), x е [0,1/2], (аГ(1 - в))-1 Ra 1 (x, t), x е [1/2,1],
Ra(x,t) = dz):~z--il _(3)
SaU = 4
© Хромова Г. В., 2014
