CC BY
36
Доказательство. Не нарушая общности, можно считать и = и(= 1). Рассмотрим в Ь2[0,1] неоднородное уравнение (22). Так как по условию к < т < к + 1, и = 1 и к + 1 — ит < и, то это уравнение будет иметь вид (27) при т = к, I = 0, и = 1 и д = дп или, конкретнее,
k-1 bo Vа X
j=о О
f (x) + boЕ1 f( Щг-
j=о Co v
- k-1 / . X
f(x) + 7E 1f( j+-x) = gn(x), п.в. x є [0,k + 1 — т];
j —o co V /
= gn(x), п.в. x є (k + 1 — т, 1],
(69)
а в операторном виде
/ = Р‘т / + дп. (70)
Условие (67) является достаточным условием того, что оператор Р-/Т является сжимающим (см. доказательство пункта в) теоремы 4). Следовательно, при этом условии уравнение (70), а, значит, и уравнение (69) имеет единственное решение, которое дается формулой (68). Тогда из теоремы 3 получаем утверждение доказываемой теоремы. Теорема 6 полностью доказана. □
Работа выполнена при финансовой поддержке РФФИ (проект 06-01-00003) и гранта Президента РФ на поддержку ведущих научных школ (проект НШ-2970.2008.1).
Библиографический список
1. Наймарк М.А. Линейные дифференциальные операторы. М.: Наука, 1969.
2. Шкаликов А.А. Краевые задачи для обыкновенных дифференциальных уравнений с параметром в граничных условиях // Тр. семинара им. И.Г. Петровского. М.: Изд-во Моск. ун-та. 1983. № 9. С. 190-229.
3. Рыхлов В.С. О полноте собственных функций квадратичных пучков обыкновенных дифференциальных операторов // Изв. вузов. Математика. 1992. Т. 36, № 3. С. 35-44.
4. Рыхлов В.С. О свойствах собственных функций обыкновенного дифференциального квадратичного пучка второго порядка // Интегральные преобразования и специальные функции: Информационный бюллетень. 2001. Т. 2, № 1. С. 85-103.
5. Рыхлов В.С. О полноте собственных функций пучков обыкновенных дифференциальных операто-
ров // Spectral and Evolution Problems: Proceedings of the Eleventh Crimean Autumn Mathematical School-Symposium. V. 11. Simferopol, 2001. P. 86-93.
6. Рыхлов В.С. О двукратной полноте собственных функций одного квадратичного пучка дифференциальных операторов // Збiрник праць 1н-ту математики НАН УкраТни. 2009. Т. 6. № 1. С. 237-249.
7. Рыхлов В.С. О полноте собственных функций дифференциального пучка второго порядка, корни характеристического уравнения которого лежат на одной прямой // Математика. Механика: Сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2007. Вып. 9. С. 88-91.
8. Rykhlov V.S. On completeness of eigenfunctions for pencils of differential operators // Spectral and Evolutionary Problems: Proceedings of the Seventh Crimean Autumn Mathematical School-Symposium. V. 7. Simferopol, 1997. P. 70-73.
УДК 517.51
ПРОЕКЦИОННЫЕ ХАРАКТЕРИСТИКИ БЕССЕЛЕВЫХ СИСТЕМ
П.А. Терехин
Саратовский государственный университет, кафедра математического анализа E-mail: terekhinpa@info.sgu.ru
Рассматриваются бесселевы системы в банаховом пространстве относительно модельного пространства последовательностей. Устанавлены обобщенные аналоги теорем Бари, Шура, Новикова и Czaja.
Ключевые слова: бесселева система, базис, проектор, дополняемое подпространство.
Projection Description of Bessel Sequences
P.A. Terekhin
We consider Bessel sequences in Banach space with respect to modeling sequences space. The generalized analogues of theorems of Bari, Schur, Novikov and Czaja are established.
Key words: Bessel sequences, basis, projection, complemented subspace.
© П.А. Терехин, 2GG9
Пусть Н — гильбертово пространство и {фп}^=1 С Н \ {0} — система ненулевых элементов гильбертова пространства Н.
Говорят, что {фп}^=1 — бесселева система, если существует положительная постоянная В > 0, такая что для любого вектора Н Є Н выполняется неравенство
Следующий классический результат принадлежит Н.К. Бари [1].
Теорема 1. Для того чтобы система {фп}^=1 элементов гильбертова пространства Н была бесселевой, необходимо и достаточно существования ограниченного линейного оператора Б : Н ^ Н, такого что
где {еп }^=1 — полная ортонормированная система элементов гильбертова пространства Н. При этом справедлива оценка ||£||н<\/В.
Из сформулированной теоремы 1 непосредственно вытекает, что система {^п}£=1 является бесселевой в том и только том случае, когда существует положительная постоянная В > 0, такая что для любой числовой последовательности {жп}£°=1 е I2 выполняется неравенство
Таким образом, неравенства (1) и (2) эквивалентны.
Пусть Н = Ь2(Е) — гильбертово пространство, состоящее из суммируемых с квадратом измеримых функций /(х), заданных на измеримом множестве Е, снабженное нормой
В этом случае условие бесселевости системы функций {/п(ж)}£=1 может быть записано в следующем виде
Система измеримых функций {/п(х)}^=1, заданных на измеримом множестве Е, называется про-должимой, если существуют положительная постоянная В > 0 и измеримое множество Е э Е такие, что каждая функция /п(х), п = 1, 2,..., допускает такое продолжение на все множество Е при ко-
тогда, когда эта система бесселева (3).
Напомним, что матрица {а?}^=1 называется ограниченной в смысле Гильберта, если равенства
Как отмечается в работе Н.К. Бари [1], система функций {/п(х)}^=1 бесселева тогда и только тогда, когда ее матрица Грама С ограничена в смысле Гильберта. Поэтому теорема Шура равносильна следующему утверждению:
(1)
п=1
(2)
п=1
п=1
(3)
тором система функций {/п(ж)/л/В}£=1 оказывается ортонормированной системой на множестве Е Имеет место следующая теорема Шура ([2], см. также [3]).
Теорема 2. Система функций {/п(ж)}^=1 С Ь2(Е) является продолжимой тогда и только
корректно определяют ограниченный линейный оператор в пространстве I2.
Обозначим С = {(/г,/?)}^=1 матрицу Грама системы функций {/п(х)}^=1 С Ь2(Е), где
для продолжимости системы {fn(x)}0=1 необходимо и достаточно, чтобы ее матрица Грама G была ограничена в смысле Гильберта,
— Е.М. Никишин [4], где дано другое доказательство теоремы Шура, дающее явную конструкцию продолжения.
Следует отметить, что продолжение системы функций до полной ортонормированной системы изучалось в работах В.Я. Козлова [5] и А.М. Олевского [6]. Подробное изложение вопроса об орто-гонализации систем функций с помощью продолжения на более широкое множество имеется в книге Б.С. Кашина и А.А. Саакяна [7]. Сформулируем здесь для сравнения с теоремой Шура следующую теорему Олевского [6].
Теорема 3. Для того чтобы система функций {fn(x)}00=1 с L2(E) допускала продолжение до полной ортонормированной системы на множестве E э E, необходимо и достаточно, чтобы одновременно выполнялись следующие условия:
1) система {fn(x)}0=1 полна в пространстве L2(E),
2) матрица Грама системы {fn(x)}0=1 удовлетворяет соотношению G2 = G,
3) матрица I — G имеет бесконечный ранг.
В недавней работе С.Я. Новикова [8] теоремы Шура и Олевского о продолжении рассмотрены с точки зрения общих бесселевых систем (1) в абстрактном гильбертовом пространстве. Именно, в работе [8] показано, что всякая бесселева система (1) является (с точностью до умножения на положительную постоянную) ортогональной проекцией ортонормированной системы из некоторого объемлющего гильбертова пространства. Отметим, что метод работы [8] дает новое простое доказательство теоремы Шура, основанное на общем результате из функционального анализа об извлечении квадратного корня из положительного самосопряженного оператора.
В работе W. Czaja [9] установлен следующий результат.
Теорема 4. Всякая полная бесселева система {pn}0=1 элементов гильбертова пространства H является ортогональной проекцией ш-линейно независимой полной бесселевой системы {Фп}00=1 элементов объемлющего гильбертова пространства H э H.
Напомним, что система {Фп}0=1 называется ш-линейно независимой, если из соотношений
ОО ОО
^2 ХпФп =0, |Xn |2 < ^
n=1 n=1
следует, что xn = 0 для всех n =1, 2,...
Основной задачей данной статьи является установление обобщенных аналогов упомянутых результатов Н.К. Бари, И. Шура, С.Я. Новикова и W. Czaja для бесселевых систем элементов банахова пространства. Заметим, что поставленная задача тесно связана с задачей проекционного описания фреймов, которая исследовалась в работах М.А. Наймарка [10], Б.С. Кашина, Т.Ю. Куликовой [11], P.G. Casazza, D. Han, D.R. Larson [12] и П.А. Терехина [13].
Модельным пространством назовем банахово пространство X числовых последовательностей x = {xn}00=1, удовлетворяющее следующему условию: система канонических ортов {en}00=1 образует базис пространства X. Напомним, что i-й канонический орт имеет вид £i = {dij}°=1, где dij — символ Кронекера. Базис {£n}00=1 будем называть естественным базисом модельного пространства X.
Каждый непрерывный линейный функционал l на модельном пространстве X однозначно определяется последовательностью {l(£n)}00=1 своих значений на элементах естественного базиса. Поэтому сопряженное пространство X* изометрически изоморфно некоторому банахову пространству Y числовых последовательностей y = {yn}00=1, так что
О
(x, y) = xnyn
n=1
— общий вид непрерывного линейного функционала на X.
Пусть F — банахово пространство, G = F* — сопряженное пространство к F и {^n}00=1 с F\{0}
— система ненулевых элементов банахова пространства F.
Определение 1. Скажем, что система {^п}^=1 является бесселевой системой в банаховом пространстве Г относительно модельного пространства X, если существует положительная постоянная В > 0, такая что для любого непрерывного линейного функционала д е О последовательность {(д,'^п)}£=!. его коэффициентов Фурье удовлетворяет неравенству
Двойственное определение бесселевой системы в ситуации банахова пространства введено в работе O. Christensen, C. Heil [14].
что совпадает с неравенством (1) из определения бесселевой системы с точностью до возведения в квадрат и замены постоянной. Поэтому классические бесселевы системы — это в точности бесселевы системы в гильбертовом пространстве Н относительно модельного пространства I2.
Следующая теорема является обобщенным аналогом теоремы 1.
Теорема 5. Система {^п}^=1 элементов банахова пространства Г является бесселевой системой в пространстве Г относительно модельного пространства X тогда и только тогда, когда существует ограниченный линейный оператор Б : X ^ Г, такой что
При этом справедлива оценка ||Б||х< В.
Доказательство. Необходимость. Пусть п}^=1 — бесселева система в Е относительно X. Обозначим Х0 линейное многообразие в модельном пространстве X, состоящее из всех финитных числовых последовательностей х = (жп}^=1. Положим Бєп = ^п для всех п = 1, 2,... Распространим Б по линейности до оператора, определенного на Х0 со значениями в Е. Для любого х Є Х0 и любого д Є О будем иметь
Отсюда следует, что ||Бх||р < В||х||х для всех х Є Х0. Поскольку система канонических ортов (єп}£°=1 образует базис модельного пространства X, то линейное многообразие Х0 плотно в X. Следовательно, существует непрерывное продолжение Б : X ^ Е, которое будет искомым ограниченным линейным оператором. Необходимость доказана.
Достаточность. Пусть Бєп = рп, п = 1, 2,..., для некоторого ограниченного линейного оператора Б : X ^ Е. Рассмотрим сопряженный оператор Б * : О ^ У .По определению сопряженного оператора имеем
Последнее означает, что система (^п}^=1 бесселева в Е относительно X. Достаточность доказана. □ Оператор Б : X ^ Е, определенный соотношением (5), называют оператором синтеза, ассоциированным с бесселовой системой (^п}^=1. Очевидно, что
ll{(g> Vn)}те=1ІІУ < Bl|g||G.
(4)
Если F = G = H — гильбертово пространство и X = Y = l2, то неравенство (4) принимает вид
Sєn = vn, n =1, 2,...
(5)
те
(Sx,g) = Y1 xn(g,(Pn) < INIx||{(g, ^n)}^°=1llY < Bllxllx||g||G.
n=1
те
n=1
откуда S*g = {(g, vn)}те=1. Следовательно,
\{(g,Vn)}те=1 Wy = WS*g||Y < ||S*WWgWG.
те
n=1
Из доказанной теоремы 5 непосредственно вытекает
Теорема 6. Система {фп}^=1 элементов банахова пространства Г является бесселевой системой в пространстве Г относительно модельного пространства X тогда и только тогда, когда существует положительная постоянная В > 0 такая, что для любой числовой последовательности х = {жп}£°=1 е X выполняется неравенство
^ хп фп п=1
< ВУ{Хп}“=Цх. (6)
Таким образом, неравенство (6), в котором участвуют нормы пространств Г и X, равносильно неравенству (4) из определения 1 бесселевой системы в банаховом пространстве, в котором участвуют нормы сопряженных пространств О и У. Видим, что переход к сопряженным пространствам в принятом нами определении 1 принципиален.
Напомним, что система {фп}^=1 элементов банахова пространства Г называется системой сходимости в пространстве Г относительно пространства последовательностей X, если для любой чисте
ловой последовательности х = {хп}те=1 е X ряд ^ хпфп сходится по норме пространства Г.
п=1
Теорема 7. Система {фп}^=1 элементов банахова пространства Г является бесселевой системой в пространстве Г относительно модельного пространства X в том и только том случае, когда она будет системой сходимости в пространстве Г относительно пространства последовательностей X.
Доказательство. Необходимость прямо следует из теоремы 6.
Достаточность. Пусть {фп}£=1 — система сходимости в Г относительно X. Определим операторы Бп : X ^ Г с помощью равенств
п
Бп х = ^ хк фк, п = 1, 2,...
к = 1
Эти операторы являются ограниченными. В самом деле, так как {еп}те=1 — базис модельного пространства X, то биортогонально сопряженные функционалы 1п(х) = хп, п = 1, 2,..., непрерывны на X.
Далее, существует сильный операторный предел Б = 5 — Нш Бп, поскольку для каждого х е X
п^те
сходится ряд
те
Бх = Нш Бпх = хпфп.
п^те /
п=1
Согласно принципу равномерной ограниченности Банаха - Штейнгауза оператор Б : X ^ Г ограниченный. Замечая, что Беп = фп, п = 1, 2,..., и применяя теорему 6, получаем, что система {фп }те=1 бесселева в пространстве Г относительно X. Достаточность доказана. □
Напомним, что базисы {еп}те=1 и {е'п}те=1 банаховых пространств Г' и Г" (изометрически) эквивалентны, если существует (изометрический) изоморфизм J : Г' ^ Г'', такой что е'п = Je'n для всех п = 1, 2, . . .
Система {фп }те=1 элементов банахова пространства называется базисной последовательностью, если она является базисом в замыкании своей линейной оболочки.
Систему {фп}те=1 элементов банахова пространства Г, удовлетворяющую неравенству (4) с постоянной В = 1 будем называть 1-бесселевой системой в пространстве Г относительно модельного пространства X.
Теорема 8. Пусть {фп}те=1 — 1-бесселева система в банаховом пространстве Г относительно модельного пространства X.
Тогда существуют объемлющее банахово пространство Г э Г, включающее в себя пространство Г в качестве дополняемого замкнутого подпространства, базисная последовательность {^п}те=1 в пространстве Ё, изометрически эквивалентная естественному базису {еп}те=1 пространства X, и непрерывный линейный проектор Р : Ё ^ Г из Ё на Г такие, что
фп = Рфп, п =1, 2,...
Доказательство. Согласно теореме 6, существует ограниченный линейный оператор Б : X ^ Г такой, что Беп = фп для всех п = 1, 2,... При этом ||Б||Х< В = 1. Обозначим Г = Г ® X — прямую сумму банаховых пространств и пусть Р : Р ^ Г — естественная проекция прямой суммы на первое слагаемое. В качестве нормы в пространстве Р рассмотрим величину
Зададим оператор J : X ^ Ё равенством Jx = (Бх,х). Нетрудно видеть, что І^хЦр = ||х||х для всех х Є X. Последнее означает, что J - изометрический оператор. Поэтому его образ Яапд^) является замкнутым подпространством в Е Положим -фп = Jєn, п = 1, 2,... Получим, что система (Фп}£=! является базисом в Яапд^), изометрически эквивалентным естественному базису (єп}^=1 пространства X. Очевидно, что Б = PJ, откуда фп = Рфп для всех п = 1, 2,... □
Определение 2. Систему (фп}^=1 элементов банахова пространства Е назовем X-продолжимой, если существуют постоянная В > 0, объемлющее банахово пространство Р э Е, включающее в себя пространство Е в качестве дополняемого замкнутого подпространства, базисная последовательность (фп}£=! в пространстве Р, изометрически эквивалентная естественному базису (єп}^=1 пространства X, и непрерывный линейный проектор Р : р ^ Е из объемлющего пространства р на исходное пространство Е, такие что
Теорема 9. Для того чтобы система (фп}^=1 элементов банахова пространства Е была X-продолжимой, необходимо и достаточно, чтобы она являлась бесселевой системой в пространстве Е относительно модельного пространства X.
Доказательство. Необходимость. Пусть система (фп}^=1 является X-продолжимой. Положим Б = В ■ PJ : X ^ Е, где J : X ^ Р — изометрический оператор, осуществляющий изоморфизм пространства X и замкнутой линейной оболочки базисной последовательности (фп}^=1, такой что Jєn = -фп для всех п = 1, 2,... На основании проекционных соотношений (7) находим Бєп = фп, п =1, 2,... Используя теорему 6, заключаем, что (фп}^=1 — бесселева система в Е относительно X. Необходимость доказана.
Достаточность. Пусть (фп}^=1 — бесселева система в Е относительно X. Тогда (фп/В}^=1 — 1-бесселева система. Применяя теорему 8, получаем существование объемлющего банахова пространства -Р э Е и базисной последовательности (фп}^=1 в пространстве Р, изометрически эквивалентной естественному базису (єп}^=1 пространства X, таких что фп/В = Рфп для всех п = 1, 2,..., где Р : Р ^ Е — некоторый непрерывный линейный проектор из -р на Е. Видим, что система (фп}^=1 является X-продолжимой. Достаточность доказана. □
Пусть Е = О = Н — гильбертово пространство и X = У = 12. Заменим в определении 2 непрерывный линейный проектор Р на оператор ортогонального проектирования п из объемлющего гильбертова пространства Н на исходное пространство Н. Заметим, что базисная последовательность (^п}^=1 в гильбертовом пространстве Н, изометрически эквивалентная естественному базису (єп}^=1 пространства I2, суть ортонормированная система. Получим, что указанным образом видоизмененное понятие I2-продолжимой системы в гильбертовом пространстве является непосредственным обобщением понятия продолжимой системы функций, с учетом попарной изомофности всех сепарабельных гильбертовых пространств. Таким образом, теорема 9 является обобщенным аналогом теоремы 2.
Из теорем 7 и 9 непосредственно вытекает
Теорема 10. Всякая система сходимости (фп }^=1 в банаховом пространстве Е относительно модельного пространства X является X-продолжимой.
Определение 3. Пусть (фп}^=1 — бесселева система в банаховом пространстве Е относительно модельного пространства X. Пространством коэффициентов нуль-рядов системы (фп}^=1 назовем замкнутое подпространство
11(/,х)11р = тах(ІІ/ІІР, 11х11х }.
Фп = В ■ Рфп, п = 1, 2,...
(7)
модельного пространства X.
Ясно, что пространство коэффициетов нуль-рядов N бесселевой системы {фп}^1 совпадает с ядром Кет(Б) оператора синтеза Б : X ^ Р.
Обозначим Р = Р ® N прямую сумму пространств Р и N и Р : Р ^ Р естественную проекцию прямой суммы на первое слагаемое. Предположим, что пространство коэффициентов нуль-рядов N дополняемо в модельном пространстве X и пусть М — дополнительное подпространство, т.е. X = М®N и для любого х е X однозначно определены хм е М и хN £ N, такие что х = хм + . Определим
оператор J : X ^ Р посредством равенства Jx = (Бхм,xN).
Рассмотрим коммутативную диаграмму
В самом деле, Б = PJ, так как PJx = Р(Бхм, xN) = Бхм = Бх в силу того что Бх — Бхм = БxN = 0.
Положим фп = Jen, п = 1, 2,... Поскольку Б = PJ, то фп = Рфп, п = 1, 2,... Таким образом, мы получили исходную бесселеву систему {фп}^=1 как проекцию системы {фп}£=1 элементов объемлющего банахова пространства.
Будем говорить, что система {фп}^=1 получена с помощью указанной конструкции продолжения. Установим свойства системы {^п}^с=1.
Определение 4. Скажем, что система {фп}^=1 является ш-линейно независимой относительно
пространства последовательностей X, если из равенства ^ хпфп = 0, в котором числовая после-
довательность х = {хп}^=1 принадлежит пространству X, следует, что хп =0 для всех п = 1, 2,...
Следующая теорема, основанная на операторной конструкции продолжения системы, является обобщением теоремы 4.
Теорема 11. Пусть {фп}^=1 — бесселева система в банаховом пространстве Р относительно модельного пространства X и пространство коэффициентов нуль-рядов N дополняемо в пространстве X. Пусть система {фп}те=і. элементов банахова пространства Р получена с помощью конструкции продолжения. Тогда {фп }^=1 — ш-линейно независимая бесселева система в пространстве Р относительно пространства X. Кроме того, если {фп }^=1 — полная система в пространстве Р, то {фп }^=1 — полная система в пространстве Р.
Доказательство. Оператор З : X ^ Р из конструкции продолжения ограничен. По построению Зєп = фп, п = 1,2,... Согласно теореме 6 система {фп }^=1 является бесселевой системой в Р относительно X.
Ядро оператора З тривиально: Кег(1) = {0}. Действительно, предположим, что 1х = 0. Пусть х = хм + хм, где хм Є М и хм Є N. По определению оператора З имеем 1х = (Бхм, хм) = 0. Следовательно, хм =0 и хм Є Кег(Б) = N, откуда хм = 0. Получаем, что х = 0.
— учли, что {єп}^=1 — базис модельного пространства X. Поскольку ядро оператора З тривиально, то х = 0. Таким образом, система {фп}^=1 является ш-линейно независимой относительно пространства X.
Наконец, пусть {фп}^=1 — полная система в пространстве Р. Тогда Яапд(Б) = Р и поэтому Кег(Б *) = {0} для сопряженного оператора Б * : О ^ У .Из соотношения Б = РЗ следует, что
Р
п=1
Теперь предположим, что х = {хп}^=1 Є X и ^2 хпфп = 0. Тогда
п=1
те
те
п=1
п=1
АЛ Хромов. Решение интегральных уравнений с помощью резольвент
Б * = J *Р *. Обозначим через в сопряженное пространство к пространству Ё. Тогда J * : в ^ У и Р * : в ^ в. Следующая коммутативная диаграмма получается из предыдущей обращением стрелок
в
Y
Здесь оператор Р* является вложением пространства О в пространство (О как оператор, сопряженный к проектору. Поскольку (О = (Р ® N )* = Р * ® N * = О ® N *, то Р * — естественное вложение первого слагаемого О в прямую сумму О = О ® N *. Покажем, что Кег(З *) = {0}. Предположим, что З*д = 0 для д Є О. Пусть д Є О — сужение непрерывного линейного функционала д на пространстве Ё на подпространство Р. Пусть х = хм + хм, где хм Є М и хм Є N. Согласно определению оператора З имеем Зхм = (Бхм, 0) = Бхм Є Р. Вычислим
(х, Б*д) = (Бх, д) = (Бхм,д) = (Зхм, д) = (Зхм, д) = (хм, З*д) = 0.
Итак, (х, Б *д) = 0 для всех х Є X. Отсюда Б * д = 0. В силу равенства Кег(Б *) = {0} получаем д = 0. Таким образом, если непрерывный линейный функционал д Є О на пространстве Р принадлежит ядру Кег(З*) оператора З*, то его сужение на подпространство Р является нулевым функционалом. Это означает, что Кег(З*) С N*. На основании определения оператора З находим Зхм = (0,хм) = хм Є N. Поэтому для любого г Є N * будем иметь
(хм,З* г) = (Зхм ,г) = (хм,г),
откуда З*г = г, т. е. сужение оператора З* на подпространство N* С О является тождественным оператором 1м *. Так как Кег(З *) С N *, то Кег(З *) = {0}. Следовательно, Яапд(З) = Ё, что и означает полноту системы {фп }те=1 в пространстве Ё. □
Работа выполнена при финансовой поддержке гранта Президента РФ для ведущих научных школ (проект НШ-2970.2008.1).
Библиографический список
1. Бари Н.К. Биортогональные системы и базисы в гильбертовом пространстве // Учен. записки МГУ. Математика. 1951. Т. 4, вып. 148. С. 69-107.
2. Schur I. Uber endliche Gruppen und Hermitische Formen // Math. Zeit. 1918. V. 1. P. 183-207.
3. Rademacher H. Einige Satze uber Reihen von allgemeinen Orthogonalfunktionen // Math. Ann. 1922. V. 87, № 1-2. P. 112-138.
4. Никишин Е.М. О сходимости некоторых функциональных рядов // Изв. АН СССР. Сер. матем. 1967. Т. 31, вып. 1. C. 15-26.
5. Козлов В.Я. О локальной характеристике полной ортогональной нормированной системы функций // Мат. сборник. 1948. Т. 23, вып. 3. С. 441-474.
6. Олевский А.М. О продолжении последовательности функций до полной ортонормированной системы // Мат. заметки. 1969. Т. 6. С. 737-747.
7. Кашин Б.С., Саакян А.А. Ортогональные ряды. М.: Наука, 1984.
8. Новиков С.Я. Бесселевы последовательности как
проекции ортогональных систем II Мат. заметки. 2007. Т. 81, вып. б. С. 893-903.
9. Czaja W. Remark on Naimark’s duality II Proc. Amer. Math. Soc. 2008. V. 13б, № 3. P. 8б7-871.
10. Наймарк М.А. Спекральные функции симметрического оператора II Изв. АН СССР. Сер. матем. 1940. Т. 4, вып. 3. С. 277-318.
11. Кашин Б.С., Куликова Т.Ю. Замечание об описании фреймов общего вида II Мат. заметки. 2002. Т. 72, вып. б. С. 941-945.
12. Casazza P.G., Han D., Larson D.R. Frames for Banach spaces II Contemp. Math. 1999. V. 247. P. 149182.
13. Терехин П.А. Системы представления и проекции базисов II Мат. заметки. 2004. Т. 75, вып. б. С. 944947.
14. Christensen O., Heil C. Perturbations of Banach frames and atomic decompositions II Math. Nachr. 1997. V. 185. P. 33-47.
