На правах рукописи
КАПУСТИН Владимир Владимирович
СПЕКТРАЛЬНАЯ ТЕОРИЯ ОПЕРАТОРОВ,
ИНТЕГРАЛЫ ТИПА КОШИ И МЕРЫ КЛАРКА
01.01.01 вещественный, комплексный
и функциональный анализ
Автореферат
диссертации на соискание ученой степени
доктора физико-математических наук
Санкт-Петербург 2013
Работа выполнена в лаборатории математического анализа федерального государственного бюджетного учреждения науки “Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН”.
Официальные оппоненты:
доктор физико-математических наук, профессор, заведующий кафедрой высшей математики №2 Санкт-Петербургского государственного электротехнического университета А.М. Коточигов доктор физико-математических наук, профессор кафедры математического анализа института математики и механики Казанского (Приволжского) федерального унисерситета Д.Х. Муштари доктор физико-математических наук, профессор кафедры теории функций и функционального анализа механико-математического факультета Московского государственного университета О.Г. Смолянов
Ведущая организация:
Кафедра математического анализа математико-механического факультета Санкт-Петербургского государственного университета
Защита диссертации состоится “ ” 2013 г. в ч. мин.
на заседании диссертационного совета Д 002.202.01 в Санкт-Петербургском отделении Математического института им. В.А. Стеклова РАН по адресу 191023, Санкт-Петербург, наб. р. Фонтанки 27, к. 311.
С диссертацией можно ознакомиться в библиотеке Санкт-Петербургского отделения Математического института им. В.А. Стеклова.
Автореферат разослан “ ” 2013 г.
Ученый секретарь диссертационного совета Д 002.202.01, доктор физико-математических наук А.Ю. Зайцев
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность темы. Результаты диссертации относятся к области математического анализа, находящейся на стыке теории функций и теории операторов. Объекты, исследуемые в диссертации, появляются в уже ставшей классической теории функциональной модели сжимающих операторов в гильбертовом пространстве. Простейшим с точки зрения теории функциональной модели оператором является сжатие со скалярной внутренней характеристической функцией, действующее в модельном пространстве K = H 2 H 2, где H 2 – класс Харди в единичном круге, – внутренняя функция (то есть граничные значения функции H имеют модуль 1 почти всюду на окружности). Пространство H 2 инвариантно относительно оператора одностороннего сдвига f zf ; более того, согласно теореме Бёрлинга, все инвариантные относительно сдвига подпространства описываются таким образом. Тем самым, подпространства вида K инвариантны относительно сопряжённого оператора – обратного сдвига f f f (0), сужение которого на подпространство K z является сопряжённым оператором к модельному сжатию в K. Спектральная теория операторов усечённого сдвига1 даёт богатую информацию о спектральных свойствах модельных сжатий в K, которые в свою очередь являются частным случаем общей теории функциональных моделей сжатий в гильбертовом пространстве2.
Общим положением теории функциональных моделей является утверждение о том, что любое сжатие в гильбертовом пространстве унитарно эквивалентно своей функциональной модели, т.е. сжатию специального вида, действующему в модельном пространстве, которое строится по характеристической функции сжатия – сжимающей аналитической операторнозначной функции в единичном круге. Сжатия T, унитарно эквивалентные модельным сжатиям в пространствах K, выделяются среди всех сжатий условием T n h 0 для любого вектора h и тем, что ранг каждого из операторов I T T и I T T равен 1.
Тем самым, модельные сжатия являются одномерными возмущениями некоторых унитарных операторов в K.
Эти унитарные операторы рассматривались Д. Кларком3. Их действие совпадает с действием модельного сжатия и с умножением на независимую переменную на подпространстве коразмерности 1, и получаемая Н.К. Никольский, Лекции об операторе сдвига, Наука, Москва, 1980.
Б. Сёкефальфи-Надь, Ч. Фойаш, Гармонический анализ операторов в гильбертовом пространстве, Мир, Москва, 1970.
D.N. Clark, One dimensional perturbations of restricted shifts, J. Anal. Math. (1972), 169–191.
таким образом частичная изометрия (оператор, определённый лишь на некотором подпространстве и действующий на нём как изометрия) может быть достроена до унитарного оператора на всём пространстве разными способами, параметром расширения является комплексное число с модулем 1. Кларк описал спектральные меры получающихся унитарных операторов U в пространстве K ; в важном частном случае, когда (0) = 0, они описываются соотношением + (z) 1 + z Мера Кларка сосредоточена на множестве нулевой меры Лебега, на котором угловые пределы функции равны. Большой вклад в изучение мер Кларка был внесён А.Б. Александровым, в связи с чем они иногда также называются мерами Александрова–Кларка.
Дальнейшее развитие темы было связано с прояснением действия построенного Кларком унитарного оператора V : K L2 ( ), осуществляющего унитарную эквивалентность оператора U в K и оператора умножения на независимую переменную в L2 ( ). А.Г. Полторацкий доказал4, что у любой функции из K существуют угловые граничные значения -почти всюду, и тем самым показал, что оператор V отображает функции из K в их граничные функции, рассматриваемые как элементы пространства L2 ( ). Этот результат особо интересен тем, что в отличие от классических результатов о существовании угловых граничных значений у функций из классов Харди почти всюду относительно меры Лебега, здесь утверждается существование граничных значений на множествах нулевой меры Лебега. Обратный к V оператор задаётся формулой, содержащей интеграл типа Коши.
Аналогично можно рассматривать внутренние функции в верхней полуплоскости и их меры Кларка на вещественной прямой, конструкция которых получается из конструкции в круге с помощью конформного отображения. Отметим следующий известный факт, что получающаяся функциональная модель на вещественной прямой соответствует семейству одномерных возмущений вида Ap = A + p(·, 1)1 оператора A умножения на независимую переменную в пространстве L2 (µ), где µ – конечная борелевская мера на вещественной прямой, сингулярная относительно меры Лебега, p – вещественный параметр; спектральные меры операторов Ap являются мерами Кларка некоторой внутренней функции в верхней полуплоскости.
А.Г. Полторацкий, Граничное поведение псевдопродолжимых функций, Алгебра и анализ 5:2 (1993), 189–210.
Таким образом, теория функций из классов Харди оказывается непосредственно связанной со спектральной теорией операторов, близких к изометрическим, а также с теорией возмущений унитарных или самосопряжённых операторов. Полезным и перспективным средством в развитии теории на этом стыке теории функций и теории операторов являются меры Кларка, которые играют значительную роль в диссертации.
Хотя сама теория мер Кларка является “одномерной” и прямо связана с одномерными возмущениями операторов, уже в таком виде она позволяет решать некоторые задачи и о возмущениях из более широких классов, не переходя к аналогам теории мер Кларка для пространств векторнозначных функций и операторнозначных функций. По-видимому, меры Кларка могут служить удобным средством в решении задач спектральной теории самосопряжённых (или унитарных) операторов с сингулярными спектральными мерами в вопросах, где естественным образом появляется аналитическая структура.
Меры Кларка неоднократно неявно появлялись в литературе, предшествующей статье Кларка. Так, доказательство результата W.F. Donoghue5 о том, что спектральные меры упоминаемых выше операторов Ap взаимно сингулярны при различных p, по существу совпадает с доказательством того, что эти спектральные меры являются ни чем иным, как мерами Кларка. Результат о том, что оператор, сопоставляющий функциям из пространства Пэли–Винера последовательности их значений в точках вещественной прямой, образующих арифметические прогрессии, является унитарным, представляет собой частный случай конструкции мер Кларка. Обобщением пространств Пэли–Винера являются пространства де Бранжа, для которых также существуют аналогичные унитарные операторы, переводящие функции – элементы гильбертова пространства целых функций – в последовательности их значений в точках некоторой последовательности, и это свойство играет существенную роль как в исследованиях самого Л. де Бранжа6, так и в развитой в дальнейшем теории пространств, названных его именем.
Теория модельных подпространств класса Харди H 2 была и остаётся одним из наиболее важных направлений деятельности ленинградской– петербургской школы математического анализа, основанной В.П. Хавиным и Н.К. Никольским. Разные аспекты этой тематики интересуют многих математиков, являющихся или являвшихся ранее участниками W.F. Donoghue, On the perturbation of spectra, Comm. Pure Appl. Math. 18 (1965), 559–579.
L. de Branges, Hilbert spaces of entire functions, Prentice Hall, Englewood Clis (NJ), 1968.
семинара по анализу в Санкт-Петербурге, и значительное развитие это научное направление получило в результате достижений В.И. Васюнина, А.Л. Вольберга, К.М. Дьяконова, Н.Г. Макарова, А.Г. Полторацкого, С.Р. Треиля и других математиков. При этом если до недавнего времени большинство результатов такого рода касались в основном теоретикофункциональной стороны как теории самих модельных пространств, так и соответствующих им мер Кларка, то в последнее время появляется всё больше продвижений в теоретико-операторную область.
Цель работы. Целью диссертации является развитие теории и решение ряда задач, относящихся к области, связанной с модельными подпространствами пространства Харди H 2 и операторами в них, включая приложения, которые допускают естественные переформулировки в терминах пространств K посредством мер Кларка. Основными направлениями работы являются исследование граничных операторов в пространствах K ; изучение преобразования Гильберта относительно сингулярной меры на прямой или окружности; исследование вопроса о существовании усреднённых волновых операторов на сингулярных спектральных подпространствах; вопросы спектрального анализа операторов, являющихся малыми возмущениями изометрических операторов в гильбертовом пространстве; исследование спектральной структуры возмущений изометрической полугруппы сдвигов на полупрямой и её дилатации – унитарной группы сдвигов на прямой при условиях, описывающих малость возмущения.
Научная новизна. Все результаты, включённые в диссертацию, являются новыми. Ниже приведён список наиболее существенных из них.
1. Установлена сходимость почти всюду интегралов типа Коши для операторов из одного L2 -пространства на единичной окружности в другое, коммутаторы которых с умножением на независимую переменную имеют ранг 1, т.е. показано, что любой такой оператор является преобразованием Коши в смысле угловых граничных значений.
2. Установлено линейное ограничение на операторы в L2 -пространстве относительно сингулярной борелевской меры, коммутаторы которых с оператором умножения на независимую переменную принадлежат классу Шаттена–фон Неймана S1.
3. Получено описание усечённых операторов Тёплица в пространстве K в терминах коммутатора с оператором умножения в пространстве L2 по мере Кларка.
4. Для случая коммутатора ранга 2 получены достаточные условия существования усреднённых волновых операторов в терминах непрерывности символов усечённых операторов Тёплица и непрерывности функций, применяемых к унитарным операторам, соответствующим паре различных мер Кларка.
5. Показано, что для общего случая разности (или коммутатора) ранга усреднённый слабый волновой оператор на сингулярном спектре может не существовать.
6. Установлена взаимная абсолютная непрерывность спектральных мер для пары унитарных операторов на подпространствах, на которых предел, определяющий волновой оператор, не существует.
7. Построено преобразование Гильберта относительно сингулярной меры, получены частичные описания классов функций, для которых оно определено, и показано, что ограниченность норм предпредельных выражений не влечёт существование предела.
8. Получены результаты, уточняющие скорость L2 -сходимости функций из K к их граничным значениям.
9. Построена функциональная модель для операторов, являющихся малыми возмущениями унитарных операторов (и не являющихся сжатиями), на основе весовых пространств Харди и оператора умножения на z с последующим вычитанием значения на бесконечности.
10. Установлена локальность свойства модуля внешней функции, отвечающего за то, что заданная функция является выступающей точкой единичного шара пространства H 1.
11. Получено условие, равносильное подобию заданного почти унитарного оператора прямой сумме своих абсолютно непрерывной и сингулярной частей, в терминах весового преобразования Гильберта.
12. Исследована спектральная структура возмущений изометрической полугруппы сдвигов на полупрямой и унитарной группы, являющейся её дилатацией на всей прямой: показано, что добавления в виде прямого слагаемого любой унитарной группы с сингулярной мерой можно добиться для полугрупп с помощью ядерных возмущений, а для их дилатаций – с помощью возмущений из классов Шаттена–фон Неймана при p > 1.
Методы исследования. Область исследования – пересечение теории операторов и теории функций в связи с модельными пространствами K – естественным образом задаёт методику исследований. Большинство задач из теории функций и теории операторов, решаемых в диссертации, связаны с их переформулировкой в терминах мер Кларка и интегралов типа Коши. При этом широко используются методы общей теории классов Харди и теории возмущений унитарных и самосопряжённых операторов; применяются методы, используемые в теории функциональной модели сжатий в гильбертовых пространствах.
Теоретическая и практическая ценность. Работа носит теоретический характер. Полученные результаты могут быть использованы при дальнейшем исследовании пространств K и операторов, действующих в них; в задачах спектрального анализа операторов в гильбертовых пространствах, близких к изометрическим операторам; при дальнейшем прояснении действия преобразования Гильберта относительно сингулярной меры; в приложениях к дифференциальным операторам.
Апробация. Результаты диссертации были успешно представлены на российских и международных конференциях:
St.Petersburg Summer Meeting in Mathematical Analysis – СанктПетербург (1997–2011); International Workshop on Operator Theory and its Applications – Регенсбург (Германия, 1995) и Бордо (Франция, 2000); Bela Szkefalvi-Nagy Memorial Conference – Сегед (Венгрия, 1999);
Journes Complexes du Sud – Марсель (Франция, 2008); Frames and Bases – Лион (Франция, 2010); Нелинейные уравнения и комплексный анализ – оз. Банное (РФ, Башкирия, 2010); Recent Trends in Analysis – Бордо (Франция, 2011); Теория функций, ее приложения и смежные вопросы – Казань (2011);
на семинарах по математическому анализу:
в Санкт-Петербургском отделении Математического института им.В.А.
Стеклова (1992–2012); в Московском государственном университете на семинарах под руководством А.Г. Костюченко (2007), В.А. Садовничего (2013), А.М. Седлецкого (2007), О.Г. Смолянова (2011 и 2013), А.А. Шкаликова (2013); в МФТИ (2012); в Королевском техническом университете г. Стокгольм (2003); в университете г. Лунд (Швеция, 2000); в университете г. Гётеборг (Швеция, 2000); в университете A & M штата Техас (США, 2001); в университете MSU штата Мичиган (США, 2001); в техническом университете г. Вена (Австрия, 2008); в университете г. Сегед (Венгрия, 2010); в университете г. Уфа (2010); в университете г. Белград (Сербия, 2006–2011); в унивеситете г. Нови Сад (Сербия, 2011, 2012).
Публикации по теме диссертации. Результаты диссертации опубликованы в 16 статьях, список приведён ниже. Все эти публикации относятся к журналам из списка ВАК (13 статей в российских журналах и 3 статьи в ведущих зарубежных журналах). Из совместных работ в диссертации содержатся только результаты, полученные самим автором диссертации.
Структура и объём работы. Диссертация состоит из четырёх частей. Общий объём диссертации 177 страниц. Библиография включает 102 наименования.
СОДЕРЖАНИЕ ДИССЕРТАЦИИ
Глава 1. Введение.Во введении приводятся основные определения и предварительные сведения, необходимые для понимания общего содержания диссертации, и затем приведены формулировки и обсуждения всех основных результатов диссертации.
Символ H 2 обозначает пространство Харди на единичной окружности, которое состоит из аналитических в круге функций вида ck z k с комплексными коэффициентами ck, удовлетворяющими условию |ck |2 <. Класс H 2 естественным образом отождествляется с подпространством пространства L2 по мере Лебега на окружности. Функция H 2 называется внутренней, если ||=1 почти всюду на окружности;
тогда подпространство H 2 инвариантно относительно умножения на независимую переменную. Модельное пространство K определяется как ортогональное дополнение Пусть – комплексное число с модулем 1. Функция имеет неотрицательную вещественную часть в круге, а её граничные значения лежат на мнимой оси. Следовательно, вещественная часть представляется в виде интеграла Пуассона конечной неотрицательной борелевской меры на окружности, сингулярной относительно меры Лебега. Эта мера называется мерой Кларка функции.
Функции из K имеют угловые граничные -почти всюду, причём оператор V, сопоставляющий функциям из K их граничные значения, рассматриваемые как элементы пространства L2 ( ), является унитарным. Обратный оператор задаётся интегралом типа Коши:
Глава 2. Интегралы типа Коши и сингулярные меры.
В этой главе рассматриваются вопросы, связанные с пересадкой операторов, действующих в L2 -пространствах, в пространства K с помощью интегралов типа Коши. Ряд первых результатов главы, помимо их прямого смысла, имеют подготовительное значение для дальнейших исследований усреднённых волновых операторов на сингулярном спектральном подпространстве. Эти результаты используются для естественного определения преобразования Гильберта относительно сингулярной меры через предельные значения интегралов типа Коши. Исследуется вопрос о существовании искомых граничных значений. В конце главы получены результаты о граничном поведении функций из K.
Важную роль играет коммутатор изучаемого оператора из одного L -пространства в другое с умножением на независимую переменную.
Связь между коммутаторами и интегралами типа Коши устанавливается следующим наблюдением: предположим, что оператор, действующий из одного L2 -пространства в другое, представляет собой преобразование Коши в каком-либо естественном смысле. Тогда его коммутатор с умножением на z легко вычисляется и имеет ранг 1.
В этой главе широко используется хорошо известная связь между усреднениями выражений, используемых при построении волновых операторов в теории рассеяния, и интегралов типа Коши, которые строятся через функции, появляющиеся в выражении для коммутатора. А именно, пусть X : L2 (µ) L2 () – ограниченный оператор (µ, – пара борелевских мер на единичной окружности); и пусть коммутатор XMz Mz X с умножением Mz на независимую переменную представляется в виде (·, uk ), vk (часто сумма предполагается конечной; либо, если она бесконечна, считается, что она мала в каком-либо смысле, наn пример uk · vk < ). Тогда абелевы средние операторов Mz XMz n выражаются через оператор, задаваемый интегралом типа Коши В главе существенное внимание уделено случаям, дающим понимание общей картины, а именно, когда ранг коммутатора не превосходит 2.
Так, в случае коммутатора ранга 1 слабый абелев волновой оператор на сингулярном спектральном подпространстве существует всегда; однако в случае ранга 2 (а следовательно и при ранге выше 2) он уже может не существовать. Также случай коммутатора ранга 2 связан с усечёнными операторами Тёплица; с определением преобразования Гильберта относительно сингулярной меры; с вопросами граничного поведения функций из K. Эти темы и взаимосвязи между ними рассматриваются в диссертации. Поскольку на вопрос о существовании усреднённого волнового оператора в случае коммутатора ранга 2 в диссертации даётся отрицательный ответ, рассмотрение коммутаторов высших рангов в связи с рассматриваемыми задачами теряет смысл.
Теорема 1 ниже показывает, в каком смысле каждый оператор, коммутатор которого с умножением на z имеет ранг 1, задаётся через интеграл типа Коши. Важной частью утверждения является существование предельных значений интегралов при приближении к окружности; сам факт существования пределов даже и в более слабом смысле определяет абелев волновой оператор для указанного случая (при том, что в отличие от классических волновых операторов, изучаемых в теории рассеяния, спектральные меры унитарных операторов могут быть сингулярными), однако этот факт без утверждения о существовании граничных значений почти всюду может быть доказан значительно проще.
Теорема 1. Пусть µ, – две положительные борелевские меры на единичной окружности T, и пусть X : L2 (µ) L2 () – ограниченный линейный оператор, коммутатор которого с умножением на независимую переменную z является оператором ранга 1 :
то есть, X(zu) zXu = (u, ) для любой функции u L2 (µ). Тогда для любой функции u из L2 (µ) интеграл типа Коши имеет некасательные граничные значения Kzuµ (z) (изнутри единичного круга) при -почти всех z таких, что (z) = 0. Определим оператор B : L2 (µ) L2 () формулой (полагаем (Bu)(z) = 0, если (z) = 0).
Тогда 1) B ограниченный оператор;
2) A = X B коммутирует с умножением на z: AMz = Mz A;
3) ||A|| ||X||;
4) сужения сингулярных частей мер µ и на множества, где соответственно = 0 и = 0, взаимно сингулярны.
Поскольку для абсолютно непрерывной части меры это утверждение легко вытекает из хорошо известных результатов, интерес представляет случай сингулярной меры. Также раздельно рассматриваются абсолютно непрерывная и сингулярная части меры µ. Для доказательства строится внутренняя функция, для которой сингулярная часть меры µ является мерой Кларка 1. Далее применяется следующий результат о вложениях пространств K в L2 -пространства на окружности, имеющий самостоятельное значение в теории пространств K.
Пространством L0 называется пространство измеримых функций с топологией сходимости по мере.
Теорема 2. Возьмем произвольную внутреннюю функцию. Предположим, что Y : K L0 ( ) – линейное непрерывное отображение такое, что если h, zh K, то Y (zh) = zY h.
Тогда существует такая функция L0 ( ), что всякая функция h K имеет конечные некасательные граничные значения h(z) при -почти всех z T, для которых (z) = 0, и для таких z имеем (Y h)(z) = (z)h(z) -почти всюду. Для точек z, в которых (z) = 0, -почти везде (Y h)(z) = 0.
Ранее А.Б. Александровым был получен результат о непрерывных операторах вложения, характеризуемых, например, тем, что непрерывным функции из K соответствуют функции, задаваемые их граничными значениями. Здесь рассматривается формально более широкий класс операторов вложения с последующим домножением на некоторую функцию. Значение этого результата состоит в том, что такие операторы характеризуются удобным для работы перестановочным свойством, приведённым в формулировке теоремы.
Ряд дальнейших результатов касается операторов в пространстве L2 (µ), где µ – сингулярная мера на окружности, коммутаторы которых с оператором умножения на независимую переменную в L2 (µ) являются малыми в некотором смысле.
Оказывается, на ядерные операторы (т.е. операторы из класса Шаттена–фон Неймана S1 ), являющиеся коммутаторами ограниченных операторов в L2 (µ) с оператором умножения на z, имеется линейное ограничение. Условие сингулярности меры µ сингулярна относительно меры Лебега здесь существенно, а для абсолютно непрерывной меры µ аналогичный результат неверен.
Теорема 3. Пусть µ – сингулярная мера на единичной окружности, U – оператор умножения на z в L2 (µ). Предположим, что K – ядерный оператор в L2 (µ), K = (·, uk )vk, uk · vk <, причём K = XU UX для некоторого ограниченного оператора X в L2 (µ).
Тогда µ-почти всюду имеем uk vk = 0.
При исследовании усреднённых волновых операторов на сингулярном спектре и преобразования Гильберта относительно сингулярной меры требуется более подробное рассмотрение случая, когда коммутатор имеет ранг 2. В случае коммутаторов специального вида обнаруживается связь с так называемыми усечёнными операторами Тёплица в K.
Для функции L2 усечённый оператор Тёплица A в K определяется формулой где P – ортогональный проектор на K. Этот оператор изначально опредёлен на плотном множестве всех ограниченных функций из K, и предполагается, что символ таков, что A – ограниченный оператор, таким образом, определённый на всём пространстве. Основные свойства усечённых операторов Тёплица изучались Д. Сарасоном7.
Возьмём внутреннюю функцию, для которой (0) = 0, рассмотрим K = H 2 H 2. Унитарные операторы U в K, || = 1, действуют по формуле Усечённые операторы Тёплица допускают описание в терминах коммутаторов. При = 1 имеем следующий результат.
D. Sarason, Algebraic properties of truncated Toeplitz operators, Oper. Matrices 1: (2007), 491–526.
Теорема 4. Пусть – внутренняя функция, (0) = 0. Оператор A в K является усечённым оператором Тёплица тогда и только тогда, когда для некоторой функции K выполняется соотношение Это описание усечённых операторов Тёплица требуется для изучения поведения последовательности операторов вида (U n XU n )n 0, где U – унитарный оператор умножения на независимую переменную, а X – ограниченный оператор в L2 (µ). Изучение этих операторных последовательностей, в частности, потребуется далее для приложений. Абелевы средние этих операторов переписываются в виде интегрального оператора с ядром Коши, в подынтегральное выражение которого также входят функции, входящие в выражение для коммутатора XU UX, имеющего ранг 2.
Имеем следующее достаточное условие сходимости.
Теорема 5. Пусть µ – сингулярная вероятностная мера на единичной окружности, не имеющая точечных масс. Построим внутреннюю функцию, для которой µ является мерой Кларка 1, обозначим через V унитарный оператор V1 : K L2 (1 ) = L2 (µ), сопоставляющий функциям из K их граничные значения µ-почти везде. Пусть q – ограниченная функция, непрерывная на открытом множестве, для дополнения e которого выполняется условие µe = 0, и предположим, что либо X = V Tq V, где Tq – усечённый оператор Тёплица с символом q, либо X = q(U ), где = 1. Тогда средние Чезаро последовательности операторов (U n XU n )n 0 стремятся к оператору q(U) в слабой операторной топологии.
В случае, когда q – непрерывная функция на всей окружности, имеется сходимость в сильной операторной топологии.
Следующий результат показывает, что существуют ограниченные функции q, для которых усреднённой сходимости нет.
Теорема 6. Пусть – внутренняя функция, причём (0) = 0, и предположим, что µ = 1 не имеет атомов; U – оператор умножения на z в L2 (µ).
1) Существует усечённый оператор Тёплица Tq в K с ограниченным символом q, для которого абелевы средние последовательности операторов (U n XU n ), где X = V Tq V, не имеют предела в слабой операторной топологии.
2) Для любого комплексного числа = 1 с модулем 1 существуют функции q L ( ), для которых абелевы средние последовательности операторов (U n XU n ) при X = V q(U )V не имеют предела в слабой операторной топологии.
Из этого результата вытекает следующее утверждение об отсутствии слабой усреднённой сходимости для операторов, определяемых выражениями, используемыми при построении волновых операторов в классической теории рассеяния, но в случае сингулярной спектральной меры у исходного невозмущенного унитарного оператора.
Теорема 7. Для любого унитарного оператора U : H H, имеющего нетривиальную непрерывную сингулярную часть, существует такой унитарный оператор U в пространстве H, что rank(U U) = 2, и абелевы усреднения последовательности U n U, n 0, не имеют преn дела в слабой операторной топологии.
Аналогичное утверждение о паре самосопряжённых операторов выглядит следующим образом.
Теорема 8. Пусть A – самосопряжённый оператор, не имеющий собственных векторов, спектральная мера которого сингулярна относительно меры Лебега. Тогда существует такой самосопряжённый оператор A, что разность A A имеет ранг 2 и предел операторов при 0 не существует в слабой операторной топологии.
Отметим, что в случае разности ранга 1 спектральные меры рассматриваемых унитарных (либо самосопряжённых) операторов взаимно сингулярны на приводящем подпространстве, определяемом одномерным оператором разности, из чего вытекает слабая сходимость изучаемых выражений, т.е. существование усреднённого слабого волнового оператора.
Одной из важных причин для изучения волновых операторов является то, что в классической теории рассеяния они осуществляют унитарную эквивалентность приводящих частей двух унитарных или самосопряжённых операторов. Некоторое более слабое свойство сохраняется даже в случаях, когда усреднённый волновой оператор не существует (в отличие от случая, когда он существует и равен нулевому оператору).
Теорема 9. Пусть U1 : H1 H1, U2 : H2 H2 – унитарные операторы, X : H1 H2 – ограниченный оператор. Обозначим через Cn средние Чезаро последовательности (U2 XU1 ). Рассмотрим подпространства они приводят операторы U1, U2 соответственно. Тогда спектральные меры сужений операторов U1, U2 на ортогональные дополнения этих подпространств взаимно абсолютно непрерывны.
Следующий результат связан с вопросом о построении преобразования Гильберта относительно сингулярной меры µ. Стандартное определение преобразования Гильберта через интеграл вида f () dµ() не годится, ибо значения такого интеграла часто (например, даже для постоянных функций) оказываются бесконечными. Естественно ввести разностную регуляризацию и отступить от единичной окружности на окружность меньшего радиуса. В результате получаются выражения следующего вида:
Если они имеют предел в каком-либо естественном смысле при r 1, то получающаяся функция, определённая µ-почти всюду, будет называться преобразованием Гильберта функции f L2 (µ) (относительно меры µ). Преобразование Гильберта не является ограниченным оператором в L2 (µ), более того, оно даже незамыкаемо. Тем не менее, вопрос о классе функций, для которых оно определено, оказывается весьма содержательным.
Особенность подхода состоит в рассмотрении регулярных интегральных операторов в L2 (µ) вида зависящих от параметров f L2 (µ) и r (0, 1), и естественно возникающих классов функций f : состоящего из функций f, для которых нормы этих операторов равномерно ограничены по r, и его подкласса, когда у этих операторов существует предел в слабой операторной топологии при r 1. Для изучения поведения этих интегральных операторов при r 1 рассматриваются операторы в L2 (µ), для которых выражения, используемые при построении усреднённых абелевых волновых операторов, перепиываются через операторы указанного вида.
Из теоремы 5 вытекают достаточные условия существования предела в терминах непрерывности некоторого унитарного преобразования функции f, из которых видно, что класс функций f, для которых определено преобразование Гильберта, достаточно широк. Тем не менее, сходимость есть не для всех функций, определяющих операторы с равномерно ограниченными нормами.
Теорема 10. Для любой сингулярной борелевской меры µ на единичной окружности, не имеющей атомов, существуют функции f L2 (µ) такие, что с константой, зависящей от f и не зависящей от r (в частности, нормы функций Hr f в L2 (µ) равномерно ограничены по r), однако функции Hr f не имеют слабого предела в L2 (µ).
Заключительная группа результатов этой главы связана с изучением граничного поведения функций из K. Пусть K. Тогда, согласно результату А.Г. Полторацкого, (rz) имеет предел при r 1 для почти всех z. Для изучения скорости сходимости естественно определить функции gr формулой Если = f µ-почти везде, где µ – мера Кларка 1 функции, то оказывается, что gr = Hr f. С помощью этого свойства выводятся следующие результаты.
Теорема 11. Возьмём функцию K и различные комплексные числа 1, 2 с модулем 1. Предположим, что совпадает с ограниченной функцией q 1 -почти всюду. Тогда нормы gr в L2 (2 ) ограничены равномерно по r.
Условия сходимости рассматриваются отдельно для чисто точечной и непрерывной частей меры 2. Для случая, когда эта мера имеет нагрузку в некоторой точке единичной окружности, сходимость вблизи этой точки имеется всегда.
Теорема 12. При условиях теоремы 11, если 2 имеет атом в точке, то gr () имеет предел при r 1, Сходимости относительно непрерывной части меры 2, вообще говоря, может не быть. Однако не очень ограничительное достаточное условие для сходимости даётся в терминах непрерывности унитарной пересадки граничных значений функции из K.
Теорема 13. При условиях теоремы 11, если совпадает 1 -почти всюду с непрерывной функцией q, то предел функций gr при r 1 существует в L2 (2 ) и совпадает с функцией q 1 почти всюду относительно непрерывной части меры 2.
Глава 3. Спектральный анализ почти унитарных операторов.
Глава посвящена изучению спектральных свойств операторов, близких к унитарным. Одной из типовых задач теории функциональных моделей является вопрос о построении удобной для работы функциональной модели заданного оператора, т.е. оператора в некотором пространстве стандартного вида, унитарно эквивалентного исходному оператору.
В отличие от ставшей классической теории функциональных моделей для сжатий, для случая произвольных операторов (т.е. не обязательно являющихся сжатиями) функциональная модель универсального вида не построена. Для исследования вопроса о стабильности абсолютно непрерывного спектра8 применялся подход С.Н. Набоко, основанный на записи изучаемого оператора как возмущения некоторого сжимающего (или диссипативного) оператора через функциональную модель последнего.
Предлагаемый в диссертации подход основан на модельных операторах вида действующих в пространствах функций, аналитических в областях, содержащих бесконечно удалённую точку, причём предполагается, что N.G. Makarov, V.I. Vasyunin, A model for noncontractions and stability of the continuous spectrum, in: Complex Analysis and Spectral Theory, Seminar, Leningrad (1979/80), Lecture Notes Math. 864 (1981), 365–412.
функции – элементы пространства – имеют нулевой предел на бесконечности, а модельный оператор действует как умножение на независимую переменную и последующее вычитание константы, обеспечивающее принадлежность получающейся функции модельному пространству. Если элементы модельного пространства представляются как интегралы Коши мер или распределений, то действию модельного оператора соответствует умножение этих мер или распределений на независимую переменную.
Для операторов, близких к унитарным, оказывается возможным построение таких моделей в пространствах функций, мероморфных везде, кроме некоторого подмножества единичной окружности.
Теорема 14. Пусть U – унитарный оператор со спектральной мерой, сингулярной относительно меры Лебега. Пусть x, y – векторы, причём порождённое ими подпространство, приводящее U, совпадает со всем пространством; и пусть T = U + (·, x)y.
Тогда существуют функции, H 2 со следующими свойствами:
|| = || почти всюду на единичной окружности; (0) = 0; функция, определённая на окружности как = /, является внутренней, причём (0) = 0; и при этом оператор T унитарно эквивалентен оператору вида f zf (zf )() в пространстве H с нормой f = f H 2.
Отметим, что функции построенного модельного пространства мероморфны внутри круга и вне его, поскольку принадлежат пространствам и соответственно, а функции последнего пространства естественным образом продолжаются во внешность круга и имеют нулевой предел на бесконечности.
Полученный результат допускает естественное обобщение, если отказаться от требования о том, чтобы спектральная мера возмущаемого унитарного оператора была сингулярна. В таком случае граничные значения функций изнутри и извне круга уже могут не совпадать, а выражение для нормы в модельном пространстве теперь дополнительно содержит выражение, определяющее некоторый скачок на окружности.
Теорема 15. Пусть U – унитарный оператор, x – его циклический вектор, U + (·, x)y – его одномерное возмущение. Тогда существует оператор специального вида, унитарно эквивалентный оператору U + (·, x)y:
– модельное пространство состоит из пар функций, первая из которых мероморфна в единичном круге, а вторая – в его внешности:
– норма в модельном пространстве определяется как – модельный оператор определяется формулой f zf (zf )().
Случай одномерных возмущений унитарных операторов с сингулярной спектральной мерой связан с задачей, известной как вопрос об описании выступающих точек единичного шара пространства H 1. Этот вопрос допускает важную переформулировку. Пусть w – вес на единичпочти всюду, w L1, w = 1, и, кроме того, ной окружности: w будем предполагать, что | log w| <. В весовом пространстве L2 (w) рассмотрим два подпространства (аналитическое и антианалитическое) порождённых функциями z n при n 0 и n < 0 соответственно. Ответ на вопрос о том, когда угол между ними ненулевой, описывается классическими условиями Сегё и Макенхаупта; однако удовлетворительного описания весов, для которых пересечение этих пространств ненулевое, пока не найдено. Пусть – такая внешняя функция, что ||2 = w, и рассмотрим пространство I = H, совпадающее с указанным пересечением замыканий множеств аналитических и антианалитических полиномов. Тогда функция 2, лежащая на единичной сфере пространства H 1, является выступающей точкой единичного шара в H 1 тогда и только тогда, когда это пересечение нулевое. В I действует оператор f zf (zf )(); обозначим через w его спектр, который пуст тогда и только тогда, когда I = {0}. Из того, что этот оператор обладает большим запасом спектральных проекторов, вытекает следующий результат, из которого видно, что пересечение аналитического и антианалитического подпространств окажется нулевым тогда и только тогда, когда вес w будет локально малым во всех точках окружности в некотором смысле (прояснение которого остаётся открытым вопросом).
Теорема 16. Справедливость утверждения о том, что некоторая точка единичной окружности принадлежит спектру w, зависит только от локального поведения веса w вблизи этой точки. Точнее, если два веса w1 и w2 совпадают в окрестности точки, то либо принадлежит обоим множествам w1 и w2, либо не принадлежит ни одному из них.
Следующий результат диссертации связан с вопросом о существовании ограниченного проектора на абсолютно непрерывное подпространство возмущения унитарного оператора.
Пусть T : H H – возмущение унитарного оператора U оператором конечного ранга, причём спектр оператора T не покрывает единичный круг. Предположим, что T записывается в виде T = (I K )U, где E – конечномерное гильбертово пространство, K : E E и : E H – некоторые операторы. Пусть U = Uac Us – разложение оператора U в прямую сумму его абсолютно непрерывной (Uac ) и сингулярной (Us ) частей. Сингулярное пространство Hs (T ) оператора T состоит из всех таких векторов h, что слабая резольвента ((T I)1 h, f ) не имеет скачка почти всюду на единичной окружности при всех f H. Сингулярная часть Ts есть сужение оператора T на его сингулярное подпространство.
Функции и F, значения которых – операторы в E, определяются формулами Для h H положим Граничные значения функций, F и Rh (h H) изнутри единичного круга и извне определены корректно почти всюду относительно меры Лебега m и будут обозначаться соответственно через +, ;
F+, F ; R+ h, R h. Если рассмотреть спектральное представление Hac = H(z)dm(z) для оператора Uac, то можно определить операторы (z) : E H(z) соотношениями (z)e = (e)(z) при m-почти всех z, где e E.
Для h H определим функции X h, Yh на единичной окружности формулами Это – H(z)-значные функции, определенные m-почти всюду для каждого Теорема 17. При введённых выше обозначениях следующие утверждения равносильны.
1) Оператор T подобен прямой сумме Uac Ts.
2) Оператор T подобен прямой сумме некоторого абсолютно непрерывного унитарного оператора и некоторого сингулярного (не обязательно унитарного) оператора.
3) Существуют такие ограниченные операторы X : H Hac и Y : Hac H, что 4) Отображения X и Y – ограниченные операторы из H в Hac.
Отметим, что в спектральном представлении унитарного оператора U отображения X и Y переписываются в виде интегралов типа Коши, и, тем самым, изучаемый вопрос о подобии переписывается в терминах ограниченности двух весовых преобразований Коши.
Последний результат применён к склейке двух симметрических операторов, а именно, получены условия подобия самосопряжённому оператору для оператора, получающегося из пары симметрических операторов перемешиванием их граничных условий.
Глава 4. Возмущения изометрической полугруппы сдвигов на полуоси и группы сдвигов на оси.
В этой главе исследуется спектральная структура изометрических полугрупп и унитарных групп, получающихся малыми возмущениями полугруппы сдвигов на полупрямой и группы сдвигов на прямой соответственно. Из известных теорем о стабильности абсолютно непрерывного спектра вытекает, что при возмущениях класса Шаттена–фон Неймана S1 структура абсолютно непрерывного спектра сохраняется. Сингулярная часть спектра, напротив, может быть достаточно подвижной.
Основной вопрос, рассматриваемый в этой главе, состоит в изучении возможной спектральной структуры сингулярного унитарного слагаемого, возникающего при возмущении. Оказывается, что при таком возмущении полугруппы сдвигов, что разность элементов возмущенной и невозмущенной полугрупп с одинаковым индексом принадлежит классу S1, у возмущенной полугруппы могут появиться любые сингулярные унитарные прямые слагаемые (в том числе – с любой кратностью). Если же рассматривать естественные унитарные дилатации таких полугрупп, то аналогичный результат будет верен только если позволить разности попадать в несколько более широкий класс: пересечение всех Sp, p > 1, тогда как для изучаемой модели прямой аналог с разностями класса S оказывается невозможным.
Рассмотрим пространство L2 (R) и его подпространство L2 (R+ ), состоящее из функций, обращающихся в нуль на левой полуоси. Операторы сдвига с параметром t > 0 действуют по формуле f f (x t); в случае унитарной группы на прямой этой же формулой определяются сдвиги и при отрицательных t.
Теорема 18. Пусть (t )t при всех t 0, то когенератор полугруппы (t ) унитарно эквивалентен прямой сумме оператора простого (т.е. однократного) сдвига и унитарного оператора с сингулярной спектральной мерой.
2) Для произвольного сингулярного унитарного оператора V с единственным ограничением, что число 1 не принадлежит его точечному спектру, существует изометрическая полугруппа (t ), когенератор которой унитарно эквивалентен прямой сумме оператора простого одностороннего сдвига в H 2 и оператора V, причём для всех t 0 выполнено соотношение t t S1.
Если ослабить условие принадлежности классу S1 до принадлежности всем классам Sp, p > 1, то условие сингулярности спектральной меры оператора V можно опустить.
Теперь рассмотрим унитарную дилатацию возмущённой полугруппы сдвигов на полуоси, которая сама уже будет возмущением унитарной группы сдвигов на всей оси.
Как и выше, (t, t 0) – полугруппа сдвигов на правой полуоси, и теперь (t, t R) – группа сдвигов на всей вещественной оси. Элементы возмущённой полугруппы и возмущённой группы будут обозначаться через t и t соответственно. То, что возмущённая группа является дилатацией возмущенной полугруппы, означает, что t f = t f при t < 0, если f обращается в нуль на правой полуоси. Возмущения с таким свойством называются марковскими. Коциклом (Wt, t 0) называется семейство операторов, обладающих свойством Wt+s = Wt t Ws t, t, s 0, причём элементы коцикла связывают элементы возмущенной и исходной полугрупп формулой t = Wt t. Полугруппу из предыдущей теоремы можно достроить до унитарной дилатации с заменой класса S1 на пересечение всех Sp, p > 1, для разности элементов коцикла и тождественного оператора.
Теорема 19. Для любой группы унитарных операторов (Ut, t R) со спектральной мерой, сингулярной относительно меры Лебега, найдётся коцикл (Wt, t 0), для которого Wt I Sp при всех p > 1, возмущённая группа унитарно эквивалентна ортогональной прямой сумме невозмущенной группы и группы (Ut, t R), причём разности их элементов обладают свойством t t S1.
Естественно возникает предположение, что при нетривиальных коциклических возмущениях выполнение условия Wt I S1 невозможно, т.е. при таком условии возмущённая группа обязательно окажется унитарно эквивалентной исходной группе сдвигов на прямой.
ПУБЛИКАЦИИ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ
[1] V. Kapustin, Hyperreexivity of contractions close to isometries.Bolibruch, A. A. et al. (ed.), Mathematics in St. Petersburg. Providence, RI: American Mathematical Society. Transl., Ser. 2, Am. Math. Soc. (1996), 193–203.
[2] В.В. Капустин, Одномерные возмущения сингулярных унитарных операторов, Зап. научн. семин. ПОМИ 232 (1996), 118–122.
[3] В.В. Капустин, Характеристические функции и их факторизации, Зап. научн. семин. ПОМИ 247 (1997), 71–78.
[4] В.В. Капустин, Операторы, близкие к унитарным, и их функциональные модели. 1, Зап. научн. семин. ПОМИ 255 (1998), 82–91.
[5] В.В. Капустин, Вещественные функции в весовых пространствах Харди, Зап. научн. семин. ПОМИ 262 (1999), 138–146.
[6] В.В. Капустин, Спектральный анализ почти унитарных операторов, Алгебра и анализ 13:5 (2001), 44–68.
[7] В.В. Капустин, Несамоспряжённые расширения симметрических операторов, Зап. научн. семин. ПОМИ 282 (2001), 92–105.
[8] В.В. Капустин, Граничные значения интегралов типа Коши, Алгебра и анализ 16:4 (2004), 114–131.
[9] V. Kapustin, A. Poltoratski, Boundary convergence of vector-valued pseudocontinuable functions, J. Funct. Anal. 238:1 (2006), 313–326.
[10] В.В. Капустин, Коммутаторы в модельных пространствах, Зап.
научн. семин. ПОМИ 333 (2006), 54–61.
[11] Г.Г. Амосов, А.Д. Баранов, В.В. Капустин, О возмущениях изометрической полугруппы сдвигов на полупрямой, Алгебра и анализ 22: (2010), 1–20.
[12] В.В. Капустин, О волновых операторах на сингулярном спектре, Зап. научн. семин. ПОМИ 376 (2010), 48–63.
[13] A. Baranov, R. Bessonov, V. Kapustin, Symbols of truncated Toeplitz operators, J. Funct. Anal. 261:12 (2011), 3437–3456.
[14] Г.Г. Амосов, А.Д. Баранов, В.В. Капустин, О применении модельных пространств для построения коциклических возмущений полугруппы сдвигов на полупрямой, Уфимск. матем. журн. 4:1 (2012), 17–28.
[15] В.В. Капустин, Усредненные волновые операторы на сингулярном спектре, Функц. анализ и его прил. 46:2 (2012), 24–36.
[16] В.В. Капустин, Интегралы типа Коши и сингулярные меры, Алгебра и анализ 24:5 (2012), 72–93.