CC BY
41
В силу неравенства Коши |akbk| ^ J ak\ Yl получаем
k=Q
Y,
k=Q
— x
Cknxk (1 - x)
n-k
(n
k=Q
n
k=Q
x
k=Q
Ckxk (1 - x)
n-k
£
k=Q
k
--x
n
1/2
1/2
1/2
xk(1 - x)n-k
k=Q
СПxk (1 - x)
n-k
Применяя второй раз неравенство Коши, получим:
|Bn(x) - f (x)| < M £
k=Q
x
2 \ 1/4 k k n-k
nx
1/4
k=Q
M £(n - x) СП xk (1 - x)
СПxk (1 - x)
1/4
n-k
J^Ckxk (1 - x)n
1/4
k=Q
x(1 - x) 1/4 1 1/4 M
= M -b-4 < M — = -F=—г-'
n ^ VW ^n1/4
Теорема доказана.
Следствие 2. Для функции Больцано при всех х е [0; 1] имеет место неравенство
|Bn(x) - f (x)| <
6
V2n1/4 '
Библиографический список
1. Бржечка Б. Ф. О функции Больцано // УМН. 1949. 2. Привалов А. А. Теория интерполирования функций, Т. 4, № 2. С. 15-20. [Brzhechka B. F. About the function книга 1. Саратов : Изд-во Сарат. ун-та, 1990. 231 с. of Bolzano // Russ. Math. Surv. 1949. Vol. 4, № 2. [Privalov A. A. Theory interpolate functions, book 1.
P. 329-346.] УДК 517.984
О СХОДИМОСТИ РАЗЛОЖЕНИЙ ПО СОБСТВЕННЫМ ФУНКЦИЯМ ИНТЕГРАЛЬНЫХ ОПЕРАТОРОВ С РАЗРЫВНЫМ ЯДРОМ
В. В. Корнев
Саратовский государственный университет E-mail: [email protected]
Для интегральных операторов со скачком ядра на диагонали найдены необходимые и достаточные условия их обратимости. Установлено условие, обеспечивающее равносходимость рядов Фурье по собственным функциям этих операторов и тригонометрических рядов Фурье.
Ключевые слова: интегральный оператор, собственные функции, ряды Фурье, равносходимость.
Saratov : Izd-vo Saratov. un-ta, 1990. 231 p.]
On Convergence of Expansions in Eigen Functions of Integral Operators with Discontinuous Kernel
V. V. Kornev
For integral operators with a jump of its kernel on the diagonal it will be found necessary and sufficient conditions of invertibility. Conditions providing equiconvergence of expansions in eigen functions of these operators and trigonometric Fourier series are established.
Key words: integral operator, eigen functions, Fourier series, equiconvergence.
n
k
k
n
n
n
k
n
n
Рассмотрим в пространстве L[0,1] интегральный оператор:
1—x
Af = A1(1 - x, t) f (t) dt + A2(1 - x, t) f (t) dt, 0 < x < 1, (1)
1 —x
где функции А1 (х,£) и А2 (х,£) непрерывны вместе с частными производными до 2-го порядка включительно в треугольниках х > £ и х < £ соответственно, причем выполняется тождество
А1(х, х) — А2 (х, х) = 1.
1
© Корнев В. В., 2013
59
Проведем спектральное исследование таких операторов с использованием изложенных в [1] результатов по интегральным операторам с ядрами, разрывными на ломаных. Вид (1) оператора А позволяет получить более конкретные результаты.
Введем операторы
X 1 X 1
В/ = | А1(М)/(*) ^ + | А2(х,*)/(*) ^ Вх/ = | / (*) ^ + / /(*) ^
0 х 0 х
Отметим, что
^В/ = / (х) + Вх /. (2)
Теорема 1. Для обратимости оператора А необходимо и достаточно, чтобы выполнялось одно из следующих условий:
1) число — 1 не является собственным значением оператора Вх;
2) число —1 является собственным значением оператора Вх, его геометрическая кратность равна 1 и В^ = 0, где ^(х) — соответствующая собственная функция оператора Вх.
Доказательство. Оператор А можно представить в виде произведения А = $В, где $/ = /(1 — х). Очевидно, А обратим тогда и только тогда, когда обратим оператор В, и
А-1 = В-1£. (3)
Пусть В-1 существует. Докажем, что выполняется либо условие 1), либо условие 2). Предположим противное: число —1 является собственным значением оператора Вх и существуют линейно независимые собственные функции (х) и ^2(х), соответствующие этому собственному значению. Из (2) следует, что В^ = е^ где е^ — ненулевые константы, г = 1, 2. Но тогда В(с2^1(х) — е1^2(х)) = 0, что противоречит обратимости оператора В.
Докажем достаточность условия 1) или 2). Пусть выполняется условие 1). Предположим, что В/ = 0. Тогда из (2) следует, что /(х) = 0. Следовательно, В-1 существует. Пусть теперь выполняется условие 2). Предположим, что В/ = 0 и / = 0. На основании (2) заключаем, что / — собственная функция Вх, соответствующая собственному значению —1. Но тогда /(х) = е^(х), е = 0 и В/ = еВ^ = 0, а это противоречит нашему предположению. Теорема доказана.
Теорема 2. Пусть операторы А и А* обратимы. Тогда при выполнении условия
Ai(0,t) ± iA2(1, t) /Ra* (4)
(RA* — область значений интегрального оператора Л*, ядро которого сопряжено с ядром оператора Л) для любой функции f / L[0,1] и любого S / (0,1/2) справедливо соотношение
lim max \Sr(f,x) - ar (f, x)1 = (5)
r—^^O Ö<X<1_Ö
где Sr (f, x) — частичная сумма ряда Фурье по собственным и присоединенным функциям оператора Л, соответствующим характеристическим значениям, модуль которых меньше r; <rr (f, x) — частичная сумма тригонометрического ряда Фурье по системе {ег2кпхдля тех к, для которых |2kn| < r.
Доказательство. В основе доказательства лежит формула
Sr(f,x) - ^r(f,x) = -J (RAf - R0Af) dA,
|A|=r
где Ra = (E — ЛЛ)-1 A; E — единичная матрица; R0a — решение краевой задачи y'(x) — Ay(x) = f (x), y(0) = y(1); окружность |A| = r не содержит чисел i2nk (k = 0, ±1, ±2,...) и собственных значений оператора Л-1.
Для доказательства формулы (5) необходимо исследовать асимптотику резольвенты Ra при Л ^ го (для Roaf вывод точных формул тривиален). Обозначим y(x) = (E—ЛЛ)-1 Af. Тогда y(x)- AAy = Af, откуда получаем
Л-1 y - Ay(x) = f (x). (6)
Из работы [2] следует, что оператор В-1 задан на множестве абсолютно непрерывных функций у(х), определяемом условием
1
Ьу(0) + ау(1) + / ^(1 — Л)у(Л) ей = 0, (7)
0
и действует по формуле
х 1
В-1 у = у'(х)+ р(х)у(х) + Р1 (х)у(0) + ро(х)у(1) + У N1 (х,Л)у(Л) ¿Л + ^ ^(х,Л)у(Л) ¿Л, (8)
0х
где а, Ь — числа, -0(х), р(х), р0(х), р1(х) — непрерывные функции;
м + |Ь| + та* №(*)| =0; (9)
ф ^ ^ ^ ^ д дЖ
функции N1 (х, Л) и N (х, Л) непрерывны вместе с частными производными ——, 2 , —— (г = 1, 2)
дХ дХ дЛ
в треугольниках х > Л и х < Л соответственно.
На основании (3) и (8) формулу (6) можно записать в виде
—у' (1 — х) + р(х)у(1 — х) + ро(х)у(0) + Р1 (х)у(1)+
х 1
+ ^ N1 (х, Л)у(1 — Л) ¿Л + ^ N2 (х, Л)у(1 — Л) ¿Л — Лу(х) = /(х). (10)
0х
Заменим в (10) х на 1 — х, получим
—у' (х) + р(1 — х)у(х) + ро(1 — х)у(1) + Р1(1 — х)у(0)+
1-х 1
+ У N1(1 — х, Л)у(1 — л) ел ^у N2(1 — х, Л)у(1 — л) ел — Лу(1 — х) = /(1 — х). (11)
0 1-х
Обозначим у1 (х) = у(х), у2(х) = у(1 — х), К(х) = (у1(х),у2(х))т. В этих обозначениях формулы (10), (11) можно записать в векторной форме:
К' (х) + Р (х)у (х) + РоУ (0) + Р1 (х)у (1) + ^ = ЛЕК (х) + Е (х), (12)
где матрицы Р(х), Р0(х), Р]_(х), оператор N и вектор Е(х) определяются очевидным образом,
Б = 0^ . Для диагонализации матрицы Б выполним замену У(х) = Г Я(X), Г = ^^ .
Система (12) перейдет в систему
Я'(х) + Г-1Р (х)ГЯ (х) + Г-1Ро (х)ГЯ (0) + Г-1Р1 (х)ГЯ (1) + Г-1 N (ГЯ) =
= Л^ 0 —(х)+Г-1е (х). (13)
Краевое условие (7) относительно Я(х) примет вид
МоЯ (0)+ М^ (1) + М (ГЯ )=0, (14)
где МУ =( 0 ^(Л)ух(Л) ¿Л, 0 ^(1 — Л)у2 (Л) й) Мо = ^ , Мх = ^ ^ .
Система (13)-(14) вполне аналогична системе (68)-(69) из [1] и исследование асимптотики ее решений проводится тем же методом. Основным моментом в доказательстве равносходимости (5) является условие регулярности (79) из [1]. Используя обозначение работы [1], выведем это условие в нашем случае.
Математика
61
После замены Z(х) = Н(х, Л)У(х), где Н(х, Л) = Н0(х) — Л-1Н (х), Н0(х) = diag (^1(х), Л,2(х)), Л4(х), Л,2(х) — положительные функции, краевые условия (14) примут вид
Мол V(0) + Ми V(1) + М(ГН(х, Л) V(х)) = 0,
где Мол = МоН(0, Л), М1Л = М1Н(1, Л). Как следует из леммы 17 [1], асимптотика характеристического определителя det Д(Л) совпадает с асимптотикой определителя:
det До (Л) = det(Moл V(0, Л) + М^(1, Л)),
где V(х, Л) = diag (егЛх, е-гЛх). В свою очередь, асимптотика этого определителя совпадает с асимптотикой определителя
det(MoHo(0)V(0, Л) + М1Н0(1^(1, Л)) = ¿[^(1)^(0)(а2 + Ь2)егЛ+ +2аЬ(^ (0)^(0) + ^ (1)^2(1)) + ^ (0)^(1)(а2 + Ь2)е-гЛ].
Коэффициенты при егЛ и е-гЛ играют роль чисел #0 и #5 из условия (79) [1]: #0#5 = 0. Следовательно, в нашем случае условием регулярности будет условие
а2 + Ь2 =0. (15)
В остальном доказательство формулы (5) следует доказательству теоремы 12 [1] и следствия из нее.
Осталось показать, что условия теоремы обеспечивают выполнение условия (15). Обозначим у(х) = А/. Тогда в силу (7) выполняется соотношение
ау(0) + Ьу(1) + / ^(£)у(£) ей = 0.
0
Перепишем его в виде
(aAi(l,t) + bA2 (0,t) + Л* -0)/(t) dt = 0.
Jo
Отсюда в силу произвольности /(t) получаем
i
аА1 (1,£) + 6А2 (0,£) + А*^ = 0. (16)
Из (16) следует, что а и Ь не могут одновременно обращаться в ноль. В самом деле, если а = Ь = 0, то А*-0 = 0, а этого не может быть, так как в силу (9) -0(£) ф 0 и А* обратим.
Предположим теперь, что а2 + Ь2 = 0. На основании предыдущего рассуждения аЬ = 0. Как видно из (7), не уменьшая общности можно считать, что а = 1. Но тогда Ь = ±г и из (16) получаем, что в этом случае А1(1,£) ^ ¿А2(0, £) е , что и требовалось доказать.
Замечание. Условие обратимости А* является необходимым для того, чтобы равносходимость имела место, так как оно равносильно условию, что Да всюду плотно в £[0,1]. Оператор А* относится к классу (1) и его можно исследовать с помощью теоремы 1. Что касается условия (4), его проверка сводится к решению интегрального уравнения Фредгольма второго рода. В частном случае, когда с1А1 (1,£) + с2А2(0, £) ф 0, проверка регулярности тривиальна, так как в этом случае а = с1, Ь = с2, ф 0 и А* обратим.
Работа выполнена при финансовой поддержке РФФИ (проект 10-01-00270).
Библиографический список
1. Хромов А. П. Интегральные операторы с ядрами, разрывными на ломаных // Мат. сб. 2006. Т. 197, № 11. С. 115-142. [Khromov A. P. Integral operators with kernels that are discontinuous on broken lines // Sb. Math. 2006. Vol. 197, iss. 11. P. 1669-1696.]
2. Хромов А. П. Теоремы равносходимости для интегро-
дифференциальных и интегральных операторов // Мат. сб. 1981. Т. 114(156), № 3. С. 378-405. [Hromov A. P. Equiconvergence theorems for integrodifferential and integral operators // Math. USSR Sb. 1982. Vol. 42, iss. 3. P. 331-355.]
