CC BY
32
И. С. Ломов. Оценки скорости сходимости и равносходимости спектральных разложений
Variable Limit of Integration, Math. Nates, 2004, vol. 76, iss, 1, pp. 99-102. DOI: 10,1023/B:MATN, 0000036745,53704,08,
12, Sedletskii A, M, Analytic Fourier transforms and exponential approximations, I, Journal af Mathematical Sciences, vol, 129, iss, 6, pp, 4251-4408, DOI: 10,1007/s10958-005-0349-y,
13, Kurdyumov V, P,, Khromov A, P, O bazisakh Rissa iz sobstvennykh i prisoedinennykh funkt-sii differentsial’no-raznostnogo operatora s mnogo-tochechnym kraevym usloviem [The Riesz bases consisting of eigen and associated functions for a differential operator with multi-point difference boundary condition], Matematika. Mekhanika : sb. nauchn. tr. [Mathematics, Mechanics : a collection
of scientific works], Saratov, Saratov Univ, Press,
2004, iss, 6, pp, 80-82 (in Russian),
14, Naimark M, A, Linear Differential Operators, New York, Ungar, 1967; Moscow, Nauka, 1969,
15, Kurdyumov V, P, , Khromov A, P, O bazisakh Rissa iz sobstvennykh i prisoedinennykh funkt-sii differentsial’no-raznostnogo operatora s inte-gral’nymi kraevymi usloviiami [The Riesz bases consisting of eigen and associated functions for a differential-difference operator with integral boundary conditions], Matematika. Mekhanika : sb. nauchn. tr. [Mathematics, Mechanics : a collection of scientific works], Saratov, Saratov Univ, Press,
2005, iss, 7, pp, 61-63 (in Russian),
УДК 517.927.25
ОЦЕНКИ СКОРОСТИ СХОДИМОСТИ И РАВНОСХОДИМОСТИ СПЕКТРАЛЬНЫХ РАЗЛОЖЕНИЙ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ
И. С. Ломов
Ломов Игорь Сергеевич, доктор физико-математических наук, профессор, и.о. заведующего кафедрой общей математики факультета вычислительной математики и кибернетики, Московский государственный университет им. М. В. Ломоносова, [email protected]
Настоящий обзор содержит анализ результатов, полученных В. А. Ильиным и его учениками, по вопросу оценки скорости сходимости и равносходимости с тригонометрическим рядом Фурье спектральных разложений функций по корневым функциям линейных обыкновенных дифференциальных операторов как самосопряженных, так и несамосопряженных, заданных на конечном отрезке числовой прямой. Приведена первая теорема В. А. Ильина о равносходимости спектральных разложений для дифференциального оператора произвольного порядка. Формулируются теоремы о скорости равносходимости спектральных разложений сначала для произвольных самосопряженных расширений одномерного оператора Шредингера. При этом потенциал оператора может иметь любые особенности на границе интервала. Это позволяет получить новые результаты даже для всех классических ортогональных полиномов. Далее формулируются результаты для несамосопряженных операторов. Завершается обзор теоремой о скорости равносходимости для так называемых нагруженных дифференциальных операторов. Оценки скорости равносходимости разложений получены как на любом внутреннем компакте интервала, так и на всем интервале. Установлена зависимость оценки скорости равносходимости разложений на произвольном компакте основного интервала от расстояния этого компакта до границы интервала.
Ключевые слова: обыкновенный дифференциальный оператор, собственные значения, спектральные разложения, скорость сходимости, формула среднего значения.
DOI: 10.18500/1816-9791 -2015-15-4-405-418
Светлой памяти моего Учителя Владимира Александровича Ильина посвящается
Тригонометрические ряды Фурье, их свойства, условия сходимости исследованы весьма подробно, Многие математики, изучая спектральные разложения функций, занимались вопросом о равносходимости разложений функций по собственным функциям операторов и в тригонометрический ряд
© Ломов И. С., 2015
Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4
Фурье (например, В. А. Стеклов, Ж. Биркгоф, А. Хаар, Я. Д. Тамаркин, М. Стоун, А. Ч. Титчмарш, Б. М. Левитан, В. А. Ильин, А. П. Хромов, Г. В. Радзиевский).
Первая теорема В. А. Ильина, открывающая большой цикл его работ по спектральным свойствам несамосопряженных дифференциальных операторов, была посвящена равносходимости указанных разложений (1975 г.) [1]. Доказано, что при определенных условиях на функцию и оператор оба разложения сходятся или расходятся одновременно (в равномерной метрике на любом компакте основного интервала). И хотя в этой теореме нет оценки скорости равносходимости разложений, чему посвящен обзор, сформулируем этот исходный результат В. А. Ильина.
Рассмотрим оператор L, действующий в L* 2(G), порожденный дифференциальной операцией:
n — 2
Lu = u(n) + pk (x)u(k), x G G, n G N,
k=0
где G — конечный интервал, полупрямая или прямая, pk(x) G Ck+1 на некотором подмножестве D основной области G, k = 0, n — 21.
Пусть {uk(x)}, {vk(x)} — некоторая биртогональная в L2(G) система такая, что uk(x) являются на D регулярными решениями дифференциального уравнения для собственных или присоединенных функций оператора L, отвечающих собственным значениям Ak, а vk (x) — аналогичные функции сопряженного оператора L*, отвечающие собственным значениям Ak. Полнота {uk} и {vk} во всей области G, вообще говоря, не предполагается.
Вместо Ak рассмотрим числа pk = ((—Ak)(—l)n/2)1/n при n четном, при n нечетном, pk = ((—i)Ak)1/n при ImAk ^ 0 и pk = ((—Ak)(—1)n/2)1/n при ImAk < 0 (выбор корня: (rezv)1/n = r1/nezv/n, — n ^ ^ < ).
Рассмотрим частичные суммы биортогональных рядов:
^A(x,/) = (f,vk )uk(x) ^A(x,/) = (f,uk )vk(x),
| Pk |<A | Pk | <A
составленные для любого вещественного числа A > 0 и для произвольной функции2 /(x) gL 1 (D). Эти суммы будут сравниваться с частичной суммой тригонометрического ряда Фурье, которая с точностью до слагаемого, равномерно стремящегося к нулю, равна
SA(x,/ )
2
п
•x+R
x — R
sin A|x — y |
|x — y\
/ (У) dy,
где R > 0 — достаточно малое число.
Введем три определения.
Система {uk} образует на компакте K с G след базиса в L2 в слабом смысле, если для лю-
О
бой /(x) GL 2(K) разложение aA(x,f) слабо сходится в L2(K) к функции / при A ^ го, т.е. V /,g GL 2(k) : (лa(x, /) — /,g) ^ 0, A ^ го.
Система {uk} образует след базиса в L2 в слабом смысле на множестве D, если она образует след базиса в L2 в слабом смысле на любом компакте K с D.
Система {uk} образует на D след базиса Бесселя, если для любого компакта K с D найдется
О го
постоянная C(K), что для любой функции / GL 2(K) справедливо £ \(/,uk)\2 ^ C(K)(/,/).
k=1
Обозначим через П полосу \ Imz\ ^ b = const.
'Требование гладкости Ck+1 для pk (ж) наложено, во-первых, для существования сопряженной операции L*, во-вторых, это связано с методом доказательства формулы среднего Е. И. Моисеева. Вывод этой формулы с условием pk (ж) е L1(G) содержится в работе [2]. Если не рассматривать разложение по системе {vk}, приведенное ниже, то и в работе В. А. Ильина можно не вводить оператор L* и ограничиться требованием pk е L1.
2 L 1 (D) — класс всех функций из L1 (D), продолженных нулем за пределы D.
406
Научный отдел
И. С. Ломов. Оценки скорости сходимости и равносходимости спектральных разложений
Теорема 1 (см. [1]). Пусть выполняются два условия: 1) yk G П; 2) для любого Л ^ 1 равномерно относительно x на любом компакте K с D справедливы оценки
^ \uk (x)\2 = °(1), ^ \vk (x)\2 = °(1).
\ek-A\<1 \рк-A\<1
о
Тогда для того чтобы для любой функции f (x) GL 2 (D) на любом компакте K с D равномерно относительно x
a\(x,f) - S\(x,f) ^ 0, д\(x,f) - S\(x,f) ^ 0, Л ^ ж,
т. е. имеет место равномерная равносходимость разложений функции f, необходимо и достаточно, чтобы хотя бы одна из систем {uk} или {vk} образовывала в D след базиса в L2 в слабом смысле.
Условие 2) можно заменить на одно из следующих двух условий:
2.1) справедлива оценка yk = M ■ k + O(1), M = const;
2.2) каждая из систем {uk}, {vk} образует след базиса Бесселя.
Отметим, что для рассматриваемого оператора подходят все случаи регулярных (двухточечных) краевых условий. Доказанные утверждения впервые устанавливают локальный характер не только требований на разлагаемую функцию, но и требований на коэффициенты дифференциального оператора и функции биортогональной системы.
Насколько нам известно, вопрос об оценке Близости частичных сумм рассматриваемых спектральных разложений функций был впервые рассмотрен В. А. Ильиным и И. Йо (1978 г.) [3]. Доказано, что для абсолютно непрерывной функции f разность частичных сумм двух спектральных разложений aA(x, f) и S\(x,f), первое из которых отвечает произвольному неотрицательному расширению оператора lu = — u" + q(x)u, а второе является разложением в тригонометрический ряд Фурье, имеет на любом компакте рассматриваемого интервала тот же порядок малости, что и последний член любого из этих разложений. При этом предполагалось лишь, что потенциал q(x) принадлежит классу Lr, r > 1, или L2,c на интервале (0,1).
Сформулируем точные утверждения. Пусть на интервале G = (0,1) задан формальный дифференциальный оператор:
lu = — u" + q(x)u, q(x) G L0c(G). (1)
Рассмотрим совершенно произвольное самосопряженное неотрицательное расширение L с точечным спектром оператора (1) (считаем, что потенциал q(x) допускает такое расширение), через {un(x)} обозначим полную ортонормированную систему собственных функций этого расширения, а через {Лп} — соответствующую систему неотрицательных собственных значений. Для любой абсолютно непрерывной на замкнутом интервале G функции f (x) составим частичные суммы указанного разложения:
^A(x,f) = fn un (x) fn = (f,un).
Va2<a
Через SA(x,f) обозначим частичную сумму тригонометрического ряда Фурье функции f(x), рассматриваемого как ортогональное разложение функции f(x) по собственным функциям оператора L0:
l0u(x) = u"(x), x G G, u(0) = u(1), u'(0) = u'(1), u(x) G C2(G).
Теорема 2 (см. [3]). Если функция f (x) £ A(G), т.е. функция f абсолютно непрерывна на G, q(x) G Lr(G), r > 1, тогда справедлива следующая оценка скорости равносходимости разложений
С A (x,f) — SA (x,f )= ^Л) ’ (2)
равномерная относительно x на любом компакте K основного интервала G.
Математика
407
Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4
Оценка точна по порядку. Это, по-видимому, первая теорема об оценке близости частичных сумм разложений по собственным функциям и в тригонометрический ряд. Предшествовавшие авторы, изучавшие вопрос равносходимости указанных двух разложений (в правых частях у них стоит о(1)), использовали асимптотическое поведение собственных функций и собственных значений рассматриваемого оператора. Тем самым используемые в этих работах методы были привязаны к конкретному виду краевых условий. В работах В. А. Ильина (1975-1976 гг.) для установления равносходимости разложений впервые был применен метод, основанный лишь на использовании формулы среднего значения для оператора (1) и охватывающий случай произвольных краевых условий (даже и для несамосопряженных операторов).
В силу важности сформулированной теоремы для развития всего описываемого направления приведем основные этапы ее обоснования.
Для доказательства теоремы 2 получены следующие оценки (с некоторыми постоянными с):
п = ^ 2,...,
(VA > 0),
x1, x2 е G, V A ^ 1.
Для доказательства этих оценок и далее используется формула среднего значения для оператора (1):
|un(x)| ^ c, x е G,
Е 1 < с
|л/ХП-А|<1
\ J un(y) dv\2 ^ A2,
К/АП-А|<1
Un(x + t) + Un(x - t) 2
un(x)cos
\/ Ant
x+t
2^^ J q(C)un(C)sin (|x - C|- t) dt,
x-t
(x — t,x +1) c G, n = 1, 2,... (формула среднего значения Титнмарша, получается интегрированием по частям после использования равенства —иП + q(x)un(x) = Anun(x) в интегральном слагаемом). Обозначим через 0(x, y, A) спектральную функцию оператора L:
0(x,y, A) = ^2 un(x)un(y), x, y е G.
<A
Фиксируем любой отрезок K = [a,b] c G, произвольное число R0, для которого 0 < 2R0 < g(K,dG). Пусть R е [Ro, 2Ro], введем вспомогательную функцию:
vr(t, A)
1 sin At
n t
0,
0 ^ t ^ R, r ^ R,
A > 0,
r = |x — y|,x е K, y е G (срезка модифицированного ядра Дирихле). Эта функция усредняется по R:
2Ro
Sro vr = — vr(t,A) dR,
Ro
Ro
полученное выражение разлагается в ряд по системе {un(x)} и устанавливается основная оценка:
1
(SRo vR(|x — y|,A) — 0(x,y, A)) dy = OJAL s е G A ^ 1.
Далее доказывается оценка теоремы 2 и доказывается окончательность оценки теоремы.
408
Научный отдел
И. С. Ломов. Оценки скорости сходимости и равносходимости спектральных разложений
Теорема 3 (см. [3]). Если функция f(x) е A(G)u имеет на этом интервале компактный носитель, q(x) е Ll2oc(G), тогда справедлива следующая оценка скорости равносходимости разложений:
^л(x,f) - S\(x,f )= о , (3)
равномерня относительно x на любом компакте K основного интервала G.
Оценка точна по порядку.
Отметим, что теорема 3 охватывает случай собственных функций общего оператора Штурма -Лиувилля с весовым множителем g(x), т.е. случай собственных функций, удовлетворяющих уравнению — [p(x)u']' = Xg(x)u, при условии, что p(x), g(x) два раза непрерывно дифференцируемы и строго положительны только на любом компакте интервала G, который в этом случае можно считать и бесконечным. Достаточно заметить, что в результате известной замены этот общий оператор приведется к оператору —u" + q(x)u с потенциалом q(x) е LjL(G). Это позволяет получить новые результаты для всех классических ортогональных полиномов (Чебышева, Якоби, Лежандра, Лагерра, Эрмита и др.).
Результат теоремы 3 перенесен В. Е. Волковым и И. Йо (1986 г.) [4] на несамосопряженный оператор Шредингера с комплекснозначным потенциалом из класса Ll2oc, получена точная по порядку оценка (3). Результат теоремы 2 перенесен В. А. Ильиным (1991 г.) [5-8] и Е. И. Никольской (1992 г.) [9] на случай произвольного суммируемого потенциала, скалярного или матричного. Во всех случаях были получены оценки скорости равномерной равносходимости на любом компакте K с G. Такие же локальные оценки, но в интегральной метрике, получены В. М. Курбановым [10] для широкого класса обыкновенных дифференциальных операторов.
Системы функций, по которым ведется разложение, могут удовлетворять разным краевым условиям (либо не удовлетворять никаким краевым условиям без спектрального параметра, как системы экспонент), поэтому равномерной равносходимости соответствующих рядов на всем отрезке G в общем случае не может быть. Некоторые практические задачи, тем не менее, требуют оценки скорости равносходимости разложений или оценки порядка приближения функций спектральными разложениями, именно на всем G, причем оценку достаточно установить в интегральной метрике. Вслед за работами В. А. Ильина, автор получал оценки скорости равносходимости соответствующих разложений на всем интервале G в интегральной метрике Lp.
Для функции ограниченной вариации для самосопряженного оператора оценка была получена в 1979 г. (подробнее см. [11]). Сформулируем основное утверждение. Объект исследования тот же, что в теоремах 2, 3, потенциал q(x) в (1) из класса Lr(G), r > 1. Фиксируем произвольное число p е [2, ж) и пусть q (без аргумента) - сопряженное число: p-1 + q-1 = 1.
Теорема 4 (см. [11]). 1. Пусть функция f (x) е V(G), т.е. имеет ограниченное изменение на отрезке G. Тогда для любого числа А ^ 3 справедлива оценка
ln А
1кл(x,f) — ^(x,f)||Lp(G) ^ c||f ||v(G) AvP.
Если при этом f (0) = f (1), то
f — &л(x, f)||l2(g) ^ c||f ||V(G)
ln А
А1/2.
Постоянные в оценках не зависят от f и А.
2. Если f (x) е L1 (G) и при некотором числе а е (1, 1] имеет место оценка |fn| ^ с1^/\П)-а и такая же оценка имеет место для тригонометрических коэффициентов Фурье, то
||ал(x,f) — £л(x,f)|LP(G) ^ c2 Xa-1/q .
Этот результат перенесен на несамосопряженный оператор Шредингера в 1995 г. и затем на оператор Штурма - Лиувилля с негладким коэффициентом p1 (x) при первой производной в дифференциальной операции в 1996 г. [12-14]. Для произвольного оператора четного порядка результат был получен
Математика
409
Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4
в 2001 г. [15-17] и в 2010 г. — для операторов нечетного порядка [18]. В 2010 г. [19] установлена оценка зависимости скорости локальной равносходимости разложений от расстояния внутреннего компакта до границы интервала G. А. С. Марков (2012 г.) перенес эти результаты на системы дифференциальных уравнений, что завершило исследование вопроса для классических дифференциальных операций.
Кратко прокомментируем результаты для оператора четного порядка. В работах автора 19982005 гг. исследован вопрос о скорости сходимости в интегральной и равномерной метриках спектральных разложений функций по собственным и присоединенным (корневым) функциям регулярных дифференциальных операторов L второго и произвольного четного порядков, порожденных дифференциальной операцией:
2 n
lu(x) = u(2n)(x) + pk(x)u(2n-k)(x), x G G = (0,1), n ^ 1,
k=1
на множестве гладких функций Wfn(G), абсолютно непрерывных вместе со своими производными до (2n — 1)-го порядка на отрезке G = [0,1]. На коэффициенты накладывались условия
p1 (x) G Ls(G), s > 1, pk(x) G L1 (G), k = 2,3,..., 2n. (4)
В качестве краевых форм в краевых условиях могли быть любые линейные непрерывные функционалы: ограничения на них накладывались в терминах условий на собственные значения и корневые функции оператора L (условия Ильина, см. ниже). В целом развивается спектральный метод В. А. Ильина. Сопряженный оператор L*, структура которого может быть весьма громоздкой, для доказательства утверждений не привлекался. При этом система функций, биортогонально сопряженная с системой корневых функций оператора L, могла быть не связанной с сопряженным оператором. Полученные оценки здесь не выписываем — их можно получить из оценок следующей теоремы 5, если положить в них все числа rj равными нулю.
Известно, что наличие у дифференциального оператора интегрального краевого условия с абсолютно непрерывной мерой Стилтьеса или наличие условий сопряжения в некоторых точках G, приводит к необходимости рассматривать так называемые нагруженные дифференциальные операции для сопряженных операторов. На такие операторы результаты об оценках скорости равносходимости разложений были перенесены в 2014 г. [20]. Остановимся на этом вопросе подробнее.
Примеры. Предварим постановку задачи несколькими примерами, поясняющими причину нашего интереса к так называемым нагруженным операторам.
Пусть a(x), в(x), y(x), v(x) — вещественные интегрируемые на отрезке G функции. Рассмотрим прямые и сопряженные к ним задачи (сопряженные операторы не вводим).
1. Оператор L:
lu(x) = u"(x) + a(x)u(0) + в(x)u(1), u'(0) = u'(1) =0, u G Wf (G);
сопряженная задача L* (получаем интегрированием по частям, используя формулу Лагранжа, v G Wf (G)):
l* v(x)
в(x)v(x) dx
v'(1)=0,
(x)v(x) dx + v'(0)
0.
2. Обе задачи могут содержать интегральные краевые условия и, тем самым, обе операции l и l* будут нагруженными.
Оператор L (u G W2 (G)):
lu(x) = u''(x) + a(x)u(0) + в(x)u(1), u'(0) = 0, u'(1)
I y(x)u(x) dx; 0
410
Научный отдел
И. С. Ломов. Оценки скорости сходимости и равносходимости спектральных разложений
сопряженная задача (v е W± (G)):
l*v(x) = v''(x) + y(x)v(1), I /3(x)v(x) dx — v'(1) = 0,
J 0
(x)v(x) dx + v'(0)
0.
3. «Нагруженные» слагаемые со значениями во внутренних точках интервала G в операции l могут быть связаны с наличием разрывов функций или их производных в области определения сопряженной задачи (или с условиями сопряжения во внутренних точках отрезка G).
Оператор L:
lu(x) = u'' (x) + a(x)u ^ -j , u( 0) = u(l) = 0, u е W2 (G);
сопряженная задача:
l*v(x) = v'' (x), v(0) = v(l) = 0,
v
0,
v
+
I a(x)v(x) dx = 0, 0
где обозначено v [2] = v (2 + 0) — v (2 — 0) — скачок функции v(x) в точке x = l/2. Область определения сопряженной задачи — кусочно-гладкие функции (v е C(G) П [W2(0, 2) U W2(2,0)).
4. Очевидно, внутренних фиксированных точек в операции l может быть больше одной. Оператор L:
u(0)
lu(x) = u''(x) + a(x)u ^+ в(x)u ^-/ y(x)u(x) dx, u'(l) = / v(x)u(x) dx,
0
0
+ u (l) 7
u е W2(G);
сопряженная задача:
l* v = v'' (x) + y (x)v' (0) + v (x)v(l), v(0) = 0, v' (l) =
l "l" "l" /*1 "l"
v 4 =v 2 = 0, v' 4 + a(x)v(x) dx = 0, 0 v' 2
+
l
0
l
0
v(x) dx,
в(x)v(x) dx = 0.
Задача рассматривается на множестве кусочно-гладких функций.
Имеется и пример оператора L, в котором дифференциальная операция l содержит проекции функции на счетное число точек.
Приведенные примеры показывают, что «локальные» дифференциальные операции (в которых все функции рассматриваются в одной точке x) не охватывают всех возможных случаев и результаты о сходимости биортогональных разложений функций следует перенести на «нелокальные», будем называть их «нагруженные», дифференциальные операторы. Если говорить о приложениях, то отметим, что такого типа операторы возникают, например, в теории фильтрации жидкостей (А. М. Нахушев, 2012) [21].
Постановка задачи. Пусть T = [т}°=0 — произвольное разбиение отрезка G, т0 = 0, т1 = 1, Ti = Tj, при i = j, i,j ^ 0. Каждой точке т е T, l ^ 0, поставим в соответствие функции
ГО
Vji(x) е L 1 (G), j = 2,..., 2n. Пусть ряды rj(x) = Ij(x)|, j = 2,..., 2n, сходятся почти всю-
i=о
ду на G и для функций rj (x) справедливо
rj(x) е L 1 (G), j = 2 3,..., 2n.
(5)
Рассмотрим оператор L, порожденный дифференциальной операцией:
2 n
lu(x) = u(2n)(x) + p 1 (x)u(2n 1 ) (x) + £
j=2 L
Pj (x)u(2n j)(x)+£ rji (x)u(2n j) (ti )
i=0
(6)
x е G, n ^ l, на множестве функций D2n = W2n(G).
Математика
411
Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4
Собственные и присоединенные функции оператора L определим в обобщенном (по Ильину) смысле, Это позволит рассматривать для оператора L краевые условия любого вида (в том числе и интегральные, и содержащие спектральный параметр), либо рассматривать обычную систему экспонент (в этом случае все коэффициенты в (6) следует положить равными нулю),
Под собственной функцией оператора L, отвечающей значению A е C спектрального параметра,
О
будем понимать любую не равную тождественному нулю функцию u (x) е D2n, удовлетворяющую почти всюду в G уравнению l u (x) — uA2n u (x) = 0, и = (—1)n,
Под присоединенной функцией порядка m, m = 1, 2,..., m0, отвечающей тому же A и собственной функции u, будем понимать любую функцию и (x) е D2n, которая почти всюду в G удовлетворяет
m — 1
2 n — 1
уравнению l u (x) — иA2n u (x) = u (x), Здесь либо д0 = 1 (задача 1), либо д0 = v0A |A| ^ 1, y0 = v0 при |A| < 1, v0 = const = 0 (задача 2), Будем считать, что спектральный параметр
при
A е S = {A е C : Re A ^ 0, arg A е [— -П, -^1 , 3 y0 > 0 : | Im A| ^ y01 .
I L 2n 2nJ J
Фиксируем некоторые числа r е [1, <x>) и y0 > 0, Выберем произвольную последовательность чисел {Ak}kk=1 и произвольную систему {uk(x)} корневых функций оператора L, отвечающую спектральным параметрам {Ak}, удовлетворяющие следующим трем условиям Ильина (условия А):
1) система {uk (x)} замкнута и минимальна в пространстве Lr (G);
2) найдется постоянная с1 > 0 такая, что
Ak е S, £ 1 ^ c1? V A ^ 0;
07|Afc |-А<1
3) найдется постоянная с2 > 0 такая, что
||uk ||r ' ||vk Цг' ^5 c2, V
где {vk(x)} — биортогонально сопряженная с {uk(x)} система функций: vk е Lr (G), (uk,vj) = Skj, V k, j е N, ||-||r — обозначение нормы в пространстве Lr(G), r-1 + (r')-1 = 1, Будем также обозначать ||f ||r,E норму функции f (x) в пространстве Lr(E),E = G, r е [1, га),
Заметим, что для проверки второго и третьего условий А достаточно знать главные члены асимптотик для величин Ak, uk, vk,
Присоединенные функции выбираем так, что в корневых цепочках справедлива «антиаприорная» оценка:
m-1 m
|| uk ||r ^ с«а || u k ||r, c = const > 0, m = 1, 2, ...,mk, (7)
c не зависит от Ak, аА = |Ak |2n-1 для задачи 1, аА = 1 для задачи 2, Для оператора второго порядка (п = 1) эта оценка всегда выполняется при выполнении условия | Im Ak | ^ y0; для n > 1 такую систему всегда можно построить,
Пусть, кроме того,
||uk||те ^ c||uk||r, V k, c = const > 0. (8)
Для n = 1 эта оценка также всегда верна при выписанных условиях; для n > 1 это условие означает, что корневые функции содержат осциллирующие составляющие exp(±iAkx), Re Ak = 0,
Для произвольной функции f(x) е Lr(G) составим частичные суммы стА(x, f) биортогонального разложения по системе {uk(x)} ,
Положим далее, что системы {uk(x),vk(x)} и функция f(x) е Lr(G) таковы, что с некоторой постоянной v > 0 выполняется условие
fk = fk -к II-1 = O(|Ak |-v), | Ak | ^ 1. (9)
Предполагаем, что для оператора L0 в последнем условии показатель v0 ^ v, т. е, тригонометрические коэффициенты Фурье функции f (x) удовлетворяют асимптотическому соотношению (при этом
412
Научный отдел
И. С. Ломов. Оценки скорости сходимости и равносходимости спектральных разложений
нормирующий множитель можно убрать, так как тригонометрическая система является почти нормированной в Lr (G)).
В терминах только функции f (x) это условие записать нельзя (в отличие от тригонометрической системы функций).
Для произвольного отрезка K С G обозначим n = q(K, dG) > 0 — расстояние до границы интервала G.
Зафиксируем произвольное число p е [1, <х). Основная задача состоит в получении оценки малости при А ^ для величины ||o-A(x, f) — SA(x,f )||p,K для произвольного отрезка K с G и для величины \\aA(x,f) — S\(x,f)||p. Из этих оценок будет следовать, в частности, что оба разложения сходятся или расходятся в метрике Lp одновременно. Из установленных оценок следует, что на скорость равносходимости разложений влияют следующие характеристики задачи: гладкость разлагаемой функции f(x), наличие коэффициентов pk(x), k ^ 1, в операции l, наличие бесконечного числа присоединенных функций в системе {uk}, гладкость коэффициента pi(x), в частности, степень его суммируемости s, свойства функций vk(x), структура краевых условий рассматриваемой задачи, параметр р. Здесь мы выясним характер зависимости оценок скорости равносходимости aA и S\ от коэффициентов rp (x) операции l.
Основная теорема. Сформулируем основной результат.
Теорема 5 (см. [20]). Пусть для оператора L и функции f (x) выполняются перечисленные условия (4), (5), (7)-(9) и условия А. Тогда для всех достаточно больших чисел А и любого отрезка K с G справедливы следующие оценки:
(x,f) — SA (x,f)
p,K
<
max
1 ln А А’ "А7"
+ IIPi
c
n
s max
1 ln2 А А’ Av
2 n
+J2(\\pj iii + iig\i)max
j=2
ln А ln2 А
А^+i/p ’ av+t
+
n0 ln А Av
ln А
А^+i/p-i/s
+
(10)
и аналогичная оценка на всем отрезке G
\^A(x,f) — SA(x,f)\p ^ c
ma^ —,
1 1 ln1/<5 А
А Av-1G’ А m=i+i/s
+
p 2n
+-jt/Sg + S(II Pj\i + \\r3\i)max (
1 ln А
j=2
Vavp’ а
+
no ln А
av
(11)
где 8 = min(2,q,s)’q = p/(p — 1), постоянные c> 0 в оценках (10), (11) не зависят от А, число n0 = 1, если общее число присоединенных функций в системе {uk(x)} бесконечно, и п0 = 0, в противном случае.
Замечание. Мы не упрощали правых частей оценок (10), (11) для того чтобы было ясно, какие параметры задачи и каким образом влияют на итоговую оценку скорости равносходимости. Так, из (10) следует, что наличие в дифференциальной операции (6) коэффициентов pj, rp с номерами j, Большими или равными двух, и наличие в системе корневых функций бесконечного числа присоединенных функций, никак не влияют на итоговую оценку.
Как следствие, из второй оценки теоремы 5 имеем
Следствие. Пусть f (x) е V(G) — функция с ограниченным на G изменением, p,s ^ 2, v = 1, выполняются условия (4), (5), (7), (8) и условия А. Тогда для всех достаточно больших чисел А справедливо соотношение
c
IK(x,f) — f(x)||p ^ jTjp’ (12)
что совпадает с точной оценкой скорости сходимости тригонометрических рядов Фурье для функций с ограниченным изменением.
Математика
413
Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4
Приведем пример нагруженного дифференциального оператора второго порядка, для которого выполняются все условия теоремы 5 [22].
Пример. Оператор L:
lu(x) = u"(x) — u(0) cos(nx), x G G, u'(0) = u'(1) = 0, u G W-j2(G).
Из теоремы 5 получим следующее утверждение для этого примера.
Утверждение. Пусть выполняется условие (9) на коэффициенты Фурье с некоторым показателем v. Тогда справедливы оценки
°\(x,f) — Sx(x,f)\\р,к ^
a\(x, f) — S\(x, f )\p ^ cmax
c
— max
П
ln A
1
A’ ) ’ 11
A
’ A1/p ’ Av-1/s
S = min(2,q,s). Если f (x) G V(G), то v = 1 в (9) и при p,s ^ 2 справедлива оценка (12) скорости сходимости биортогонального разложения к функции f (x).
Развить метод В. А. Ильина для получения оценок скорости равносходимости разложений на всем интервале G позволило применение следующего аппарата.
1. Использование теоремы Рисса (обобщающую теорему Рисса-Фишера на пространства Lp) для ортонормированных систем в случае самосопряженных операторов и обобщение этой теоремы [12] на биортогональные системы для несамосопряженных операторов; применение условия (9).
2. Кроме указанной ранее срезки vR(r,A), используются «смещенные» ядра Дирихле. Выберем произвольный отрезок K1 = [a,b] С G, положим t = (b — a)/4. «Смещенные» ядра используются для получения оценок разности аА(x,f) — S\(x,f) в приграничной зоне — на отрезках [0,a] и [b, 1]. Рассмотрим случай отрезка [0,a], второй случай исследуется по той же схеме.
Итак, пусть x G [0, a]. Положим x = z — t, тогда z G K = [t, a+1] С G. Выберем произвольное число R0 G (0,t/2) и рассмотрим новую переменную R G [R0/2,R0]. Введем вспомогательные функции:
via (Qi ,R)
f sin Aq1
| nQl ’
l 0’
Qi G [0, Щ’ Qi = z +t — У’ z G K’ у G G’ Ql < 0, Qi > R,
V2A(Q2, R)
sin Aq2 П Q2 ’
0,
Q2 G [—R, 0], Q2 = z — t — у, Q2 < —R, Q2 > 0,
и рассмотрим функцию v0(z,y) = 2S0[v1A(q1 ,R) + v2A(q2,R)], z G K, у G G, где S0[■] — операция
усреднения. Функция v0(x,y) разлагается в биортогональный ряд и сравнивается со спектральной функцией оператора.
3. Для оператора второго порядка использовалась формула среднего Титчмарша, а для операторов высокого порядка — обобщение локальной формулы среднего Е. И. Моисеева [2].
В настоящее время метод распространяется на операторы, определенные на множестве негладких функций. Оценки скорости равносходимости получены и для другого вида асимптотик коэффициентов Фурье (9) — в правой части могут стоять логарифмы [23].
В заключение отметим, что оценки скорости локальной равносходимости биортогональных разложений функций с их тригонометрическими рядами Фурье для различных дифференциальных операторов получали Киевские математики [24] и Саратовские математики — представители крупной научной школы А. П. Хромова (см. обзоры [25,26]). В настоящее время этот вопрос исследуется для операторов Штурма - Лиувилля с сингулярными потенциалами представителями крупной научной школы А. Г. Костюченко и А. А. Шкаликова - И. В. Садовничей [27], А. М. Савчуком и их учениками.
414
Научный отдел
И. С. Ломов. Оценки скорости сходимости и равносходимости спектральных разложений
Вопрос о равносходимости разложений по собственным и присоединенным функциям и в тригонометрический ряд Фурье рассматривается также для интегральных и интегродифференциальных операторов. Приведем в этой связи основополагающую статью А. П. Хромова [28]. В работе приведен обзор результатов, а также доказывается теорема о равносходимости для специального интегро-дифференциального оператора с интегральными краевыми условиями. Показано, что интегральные, дифференциальные и интегродифференциальные операторы можно свести к такого рода интегро-дифференциальному оператору. Таким образом, теорема о равносходимости Я. Д. Тамаркина для дифференциальных операторов обобщена на все перечисленные виды операторов.
Отметим недавние работы А. П. Хромова, также основополагающие, по обоснованию метода Фурье решения широкого класса смешанных задач для нестационарных уравнений (см., напр., [29, 30]. В этих работах, используя идеи академика А. Н. Крылова, проводится обоснование метода Фурье при минимальных требованиях на исходные данные задачи.
Автор выражает искреннюю признательность А. П. Хромову за внимание к этому обзору и полезные обсуждения результатов.
Работа выполнена при финансовой поддержке РФФИ (проект 13-01-12472-офи-м).
Библиографический список
1. Ильин В. А. О равномерной равносходимости разложений по собственным и присоединенным функциям несамосопряженного обыкновенного дифференциального оператора и в тригонометрический ряд Фурье // ДАН СССР. 1975. Т. 223, № 3. С. 548-551.
2. Ломов И. С. Формула среднего значения Е. И. Моисеева для обыкновенных дифференциальных операторов четного порядка с негладкими коэффициентами // Дифференц. уравнения. 1999. Т. 35, № 8. С. 1046-1057.
3. Ильин В. А., Йо И. Оценка разности частичных сумм разложений, отвечающих двум произвольным неотрицательным самосопряженным расширениям двух операторов типа Штурма - Лиувилля, для абсолютно непрерывной функции // Дифференц. уравнения. 1979. Т. 15, № 7. С. 1175-1193.
4. Волков В. Е, Йо И. Оценка разности частичных сумм спектральных разложений, отвечающих двум операторам Шредингера // Дифференц. уравнения. 1986. Т. 22, № 11. С. 1865-1876.
5. Ильин В. А. Равносходимость с тригонометрическим рядом разложений по корневым функциям одномерного оператора Шредингера с комплексным потенциалом из класса L1 // Дифференц. уравнения. 1991. Т. 27, № 4. С. 577-597.
6. Ильин В. А. Покомпонентная равносходимость с тригонометрическим рядом разложений по корневым вектор-функциям оператора Шредингера с матричным неэрмитовым потенциалом, все элементы которого только суммируемы // Дифференц. уравнения. 1991. Т. 27, № 11. С. 1862-1879.
7. Ильин В. А. Спектральная теория дифференциальных операторов. М. : Наука, 1991. 368 с.
8. Ильин В. А. Избранные труды : в 2 т. Т. 2. М. : МАКС Пресс, 2008. 692 с.
9. Никольская Е. И. Оценка разности между частичными суммами разложений абсолютно непрерывной функции по корневым функциям, отвечающим двум одномерным операторам Шредингера с комплексными потенциалами из класса L1 // Дифференц. уравнения. 1992. Т. 28, № 4. С. 598-612.
10. Курбанов В. М. О скорости равносходимости спектральных разложений // ДАН. 1999. Т. 365, № 4. С. 444-449.
11. Ломов И. С. О скорости равносходимости рядов Фурье по собственным функциям операторов Штурма - Лиувилля в интегральной метрике // Дифференц. уравнения. 1982. Т. 18, № 9. С. 1480— 1493.
12. Ломов И. С. Коэффициентные условия сходимости в Lp(0,1) биортогональных разложений функций // Дифференц. уравнения. 1998. Т. 34, № 1. С. 31—39.
13. Ломов И. С. О влиянии степени суммируемости коэффициентов дифференциальных операторов на скорость равносходимости спектральных разложений. I // Дифференц. уравнения. 1998. Т. 34, № 5. С. 619—628.
14. Ломов И. С. О влиянии степени суммируемости коэффициентов дифференциальных операторов на скорость равносходимости спектральных разложений. II // Дифференц. уравнения. 1998. Т. 34, № 8. С. 1066—1077.
15. Ломов И. С. О локальной сходимости биортогональных рядов, связанных с дифференциальными операторами с негладкими коэффициентами. I // Дифференц. уравнения. 2001. Т. 37, № 3. С. 328— 342.
415
Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4
16. Ломов И. С. О локальной сходимости биортого-нэльных рядов, связанных с дифференциальными операторами с негладкими коэффициентами. II // Дифференц. уравнения. 2001. Т. 37, № 5. С. 648660.
17. Ломов И. С. Сходимость биортогональных разложений функций на отрезке для дифференциальных операторов высокого порядка // Дифференц. уравнения. 2005. Т. 41, № 5. С. 632-646.
18. Афонин С. В., Ломов И. С. О сходимости биортогональных рядов, связанных с дифференциальными операторами нечетного порядка с негладкими коэффициентами // ДАН. 2010. Т. 431, № 2. С. 151-153.
19. Ломов И. С. Зависимость оценок скорости локальной сходимости спектральных разложений от расстояния внутреннего компакта до границы // Дифференц. уравнения. 2010. Т. 46, № 10. С. 1409-1420.
20. Ломов И. С. Нагруженные дифференциальные операторы : сходимость спектральных разложений // Дифференц. уравнения. 2014. Т. 50, № 8. С. 1077-1086.
21. Нахушев А. М. Нагруженные уравнения и их применение. М. : Наука, 2012. 232 с.
22. Ломов И. С., Чернов В. В. Исследование спектральных свойств одного нагруженного дифференциального оператора второго порядка // Дифференц. уравнения. 2015. Т. 51, № 7. С. 861-865.
23. Ломов И. С., Марков А. С. Оценки скорости локальной сходимости спектральных разложений
дифференциальных операторов четного порядка // Дифференц. уравнения. 2013. Т. 49, № 5. С. 557563.
24. Гомилко А. М., Радзиевский Г. В. Равносходимость рядов по собственным функциям обыкновенных функционально-дифференциальных операторов // ДАН. 1991. Т. 316, № 2. С. 265-270.
25. Хромов А. П. Спектральный анализ дифференциальных операторов на конечном интервале // Дифференц. уравнения. 1995. Т. 31, № 10. С. 1691-1696.
26. Minkin А. М. Equieonvergenee theorems for differential operators // J. Math. Sei. 1999. Vol. 96, № 6. P. 3631-3715. DOI: 10.1007/BF02172664.
27. Садовничая И. В. Равносходимость в пространствах Соболева и Гельдера разложений по собственным функциям операторов Штурма -Лиувилля с потенциалами-распределениями // ДАН. 2011. Т. 437, № 2. С. 162-163.
28. Хромов А. П. Теоремы равносходимости для интегро-дифференциальных и интегральных операторов // Матем. сб. 1981. Т. 114 (156), № 3. С. 378-405.
29. Бурлуцкая М. Ш., Хромов А. П. Резольвентный подход в методе Фурье // ДАН. 2014. Т. 458, № 2. С. 138-140. DOI: 10.7868/S0869565214260041.
30. Хромов А. П. О классическом решении одной смешанной задачи для волнового уравнения // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 1. С. 56-66.
Estimates of Speed of Convergence and Equiconvergence of Spectral Decomposition
of Ordinary Differential Operators
I. S. Lomov
Lomov Igor Sergeevich, Moscow State University, Lenin mountains, 119992, Moscow, Russia, [email protected]
The present review contains results of V. A. Il’in and his pupils concerning an assessment of speed of convergence and equiconvergence with a trigonometrical series of Fourier of spectral decomposition of functions on root functions of linear ordinary differential operators both self-conjugate, and not self-conjugate, set on a final piece of a numerical straight line. The first theorem of V. A. Ilyin of equiconvergence of spectral decomposition for the differential operator of any order is provided. Theorems of the speed of equiconvergence of spectral decomposition at first for any self-conjugate expansions of the one-dimensional operator Schrodinger are formulated. Thus the potential of the operator can have any features on interval border. This allows us to receive new results even for all classical orthogonal polynomials. Further results for not self-conjugate operators are formulated. The review for the so-called loaded differential operators comes to the end with the theorem of equiconvergence speed. Estimates of speed of equiconvergence of decomposition are received both on any internal compact of an interval, and on the whole interval. Dependence of an assessment of speed of equiconvergence of decomposition on any compact of the main interval from distance of this compact to interval border is established.
Key words: ordinary differential operator, eigenvalues, spectral decomposition, convergence speed, formula of average value.
This work was supported by the Russian Foundation for Basic Research (projects no. 13-01-12472).
416
Научный отдел
И. С. Ломов. Оценки скорости сходимости и равносходимости спектральных разложений
References
1. Il’in V. A. The uniform equieonvergenee of expansions in the eigen- and associated functions of a nonselfadjoint ordinary differential operator and in a trigonometric Fourier series. Soviet Math. DokL, 1975, vol. 223, no. 3, pp. 548-551.
2. Lomov I. S. A Moiseev mean formula for even-order differential operators with nonsmooth eoef-fieints. Differential Equations, 1999, vol. 35, no. 8, pp. 1054-1066.
3. l’in V. A., Joo I. Estimation of the difference of partial sums of expansions eorresponding to two arbitrary nonnegative selfadjoint extensions of two operators of Sturm - Liouville. Differential Equations, 1979, vol. 15, no. 7, pp. 1175-1193.
4. Volkov V. E., Joo I. Assessment of a difference of the partial sums spectral the decomposition answering to two operators of Sehrodinger. Differential Equations, 1986, vol. 22, no. 11, pp. 1865— 1876.
5. Il’in V. A. Equieonvergenee with a trigonometric series of expansions in root functions of the Sehrodinger operator with an arbitrary summable eomplex-valued potential. Differential Equations, 1991, vol. 27, no. 4, pp. 577—597.
6. Il’in V. A. Pokomponentny equieonvergenee with the trigonometrical series of decomposition on root vector functions of the operator Sehrodinger with matrix non-Hermitian potential, which all elements only are summarized. Differential Equations, 1991, vol. 27, no. 11, pp. 1862—1879.
7. Il’in V. A. Spektralnaya teoriya differentsialnykh operatorov. Samosopryazhennye differentsialnye operatory [Spectral theory of differential operators. Selfadjoint differential operators]. Moscow, Nauka, 1991, 368 p. (in Russian).
8. Il’in V. A. Izbrannye trudy. Vol. 2. [Chosen works]. Moscow, MAKS Press, 2008, 692 p. (in Russian).
9. Nikol’skaya E. I. Difference assessment between the partial sums decomposition of absolutely continuous function on root functions, to the answering two one-dimensional operators of Sehrodinger with the complex potentials from elass L1 are summarized. Differential Equations, 1992, vol. 28, no. 4, pp. 598—612.
10. Kurbanov V. M. About the speed of equieonvergenee of spectral decompositions. Soviet Math. Dokl., 1999, vol. 365, no. 4. pp. 444—449.
11. Lomov I. S. On speed of equieonvergenee of Fourier series on eigenfunctions of operators of Storm — Liouville in the integral metrics. Differential Equi-tions, 1982, vol. 18, no. 9, pp. 1480—1483.
12. Lomov I. S. A eoeffieient condition for the convergence of biorthogonal expansions of functions in Lp(0,1). Differential Equitions, 1998, vol. 34, no. 1, pp. 29—38.
13. Lomov I. S. The influence of the integrability degree of eoeffieients of differential operators on the equieonvergenee rate of spectral expansions. I. Differential Equations, 1998, vol. 34, no. 5, pp. 621— 630. DOI: 0012-2661/98/3405-0621.
14. Lomov I. S. The influence of the integrability degree of eoeffieients of differential operators on the equieonvergenee rate of spectral expansions. II. Differential Equations, 1998, vol. 34, no. 8, pp. 1070—1081. DOI: 0012-2661/98/3408-1070.
15. Lomov I. S. The loeal convergence of biorthogonal series related to differential operators with nonsmooth eoeffieients. I. Differential Equations, 2001, vol. 37, no. 3, pp. 351—366. DOI: 10.1023/A:1019242515472.
16. Lomov I. S. The loeal convergence of biorthogonal series related to differential operators with nonsmooth eoeffieients. II. Differential Equations, 2001, vol. 37, no. 5, pp. 680—694. DOI: 10.1023/A:1019268615898.
17. Lomov I. S. Convergence of biorthogonal expansions of functions on an interval for higher-order differential operators. Differential Equations, 2005, vol. 41, no. 5, pp. 660—676. DOI: 10.1007/S10625-005-0201-7.
18. Afonin S. B., Lomov I. S. On the convergence of biorthogonal series related to odd-order differential operators with nonsmooth eoeffieients. Dokla-dy Math., 2010, vol. 81, no. 2, pp. 190—192. DOI: 10.1134/S1064562410020079.
19. Lomov I. S. Dependence of estimates of the loeal convergence rate of special expansions on the distance from an interior eompaet set to the boundary. Differential Equations, 2010, vol. 46, no. 10, pp. 1415—1426. DOI: 10.1134/S0012266110100058.
20. Lomov I. S. Loaded differential operators : convergence of spectral expansions. Differential Equations, 2014, vol. 50, no. 8, pp. 1070—1079. DOI: 10.1134/S0012266114080060.
21. Nakhushev A. M. Nagruzhennye uravneniia i ikh primenenie [The loaded equations and their application]. Moscow, Nauka, 2012, 232 p. (in Russian).
22. Lomov I. S., Chernov V. V. Study of spectral properties of a loaded second-order differential operator. Differential Equitions, 2015, vol. 51, no. 7, pp. 861— 865. DOI: 10.1134/S0012266115070046.
23. Lomov I. S., Markov A.S. Estimates of the local convergence rate of spectral expansions for even-order differential operators. Differential Eq-uitions, 2013, vol. 49, no. 15, pp. 529—535. DOI: 10.1134/S0012266113050017.
24. Gomilko A. M., Radzievskyi G.V. Equieonvergenee of ranks on eigenfunctions of the ordinary functional and differential operators. Soviet Math. Dokl., 1991, vol. 316, no. 2. pp. 265—270.
Математика
417
Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 4
25. Khromov А. Р. The spectral analysis of differential operators on final interval. Differential Equations, 1995, vol. 31, no. 10, pp. 1691-1696.
28. Khromov А. Р. Theorems of equiconvergence for integro-differential and integral operators. Sb. Math., 1981, vol. 114 (156), no. 3, pp. 378-405.
26. Minkin А. M. Equiconvergence theorems for differential operators. J. Math. Sci., 1999, vol. 96, no. 6, pp. 3631-3715. DOI: 10.1007/BF02172664.
29. Burlutskaya M. S., Khromov А. Р. Rezolventny approach in the Fourier method. Doklady Math., 2014, vol. 90, no. 2, pp. 545-548. DOI: 10.1134/ S1064562414060076.
27. Sadovnichaya I. V. Equiconvergence theorems in Sobolev and Holder spaces of eigenfunction expansions for Sturm - Liouville operators with singular potentials. Doklady Math., 2011, vol. 83, no. 2, pp. 169-170. DOI: 10.1134/S1064562411020128.
30. Khromov А. Р. About the classical solution of the mixed problem for the wave equation. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2015, vol. 15, no. 1, pp. 56-66 (in Russian).
УДК 517.51
ИНТЕРПОЛИРОВАНИЕ ФУНКЦИЙ, НЕПРЕРЫВНЫХ ПО УПОРЯДОЧЕННОЙ H-ВАРИАЦИИ
В. В. Новиков
Новиков Владимир Васильевич, кандидат физико-математических наук, доцент кафедры естественных и математических наук, Энгельсский технологический институт (филиал), Саратовский государственный технический университет им. Гагарина Ю. А., [email protected]
В 1972 г. Д. Ватерман ввел класс функций ограниченной Л-вариации (в частности, гармонической или H-вариации). Позднее им же были введены классы функций ограниченной упорядоченной Л-вариации и функций, непрерывных по Л-вариации. Эти классы успешно применялись рядом авторов в исследованиях по сходимости и суммируемости рядов Фурье. В настоящей статье изучается поведение интерполяционных операторов Лагранжа на классе функций, непрерывных по упорядоченной гармонической вариации. Показано, что для функции f е CW, непрерывной на [—п,п] по упорядоченной H-вариации, тригонометрический интерполяционный процесс Лагранжа {Ln(f,x)} с равноотстоящими узлами сходится к f равномерно на R.
Ключевые слова: обобщенная вариация, упорядоченная гармоническая вариация, интерполяция Лагранжа.
DOI: 10.18500/1816-9791 -2015-15-4-418-422
Определение 1. Пусть Л = {Ak}ff=1 — неубывающая последовательность положительных чисел такая, что
Говорят, что f есть функция ограниченной Л-вариации (обозначение: f е ЛБУ), если
Определение 2. Функция f называется функцией ограниченной упорядоченной Л-вариации (обозначение: f е ОЛБУ), если
причем супремум берется по всевозможным системам неналегающих интервалов (1) таких, что Ik < Ik+1, k = 1,2,..., или Ik > Ik+i, k = 1,2,... (запись Ik < Ik+i или Ik > Ik+i означает,
что Ik расположен левее, соответственно, правее, чем Ik+1).
ВВЕДЕНИЕ
где верхняя грань берется по всем системам П непересекающихся интервалов вида
Ik := (t2k-i,t2k) с [-п,п], k = 1, 2,...
(1)
© Новиков В. В., 2015
