Функциональное исчисление и спектральная теорема
[89/37%](Теорема об отображении спектра для многочленов). Доказать, что для ограниченного оператора в банаховом пространстве и для многочлена справедливо соотношение .
Пусть — банахово пространство, и . Доказать, что .
Пусть — ограниченный оператор в банаховом пространстве , а , где и — многочлены, и пусть не имеет нулей на спектре оператора . Доказать, что для любого справедливо соотношение
(здесь ). Следующим шагом является определение голоморфной функции от оператора . Заметим, что в этом случае область голоморфности функции должна содержать .
Доказать теорему 13.1.
(Теорема об отображении спектров). Пусть — банахово пространство, . Пусть — голоморфная в (целая) функция. Доказать, что .
Пусть — банахово пространство, и . Верно ли, что (хотя бы для одного значения корня)? Верно ли это утверждение с заменой на или ?
Найти спектр оператора , действующего по правилу в пространстве (провести классификацию спектра, определив точечный, непрерывный и остаточный спектр).
Найти оператор , где — целая функция, , , где .
Пусть — банахово пространство, . Доказать, что операторная функция , дифференцируема и .
Пусть — банахово пространство, . Доказать, что . Доказать, что — обратимый оператор и его обратный есть .
Пусть — оператор интегрирования:
рассматриваемый в
;
. Найти .
Пусть — банахово пространство, . Сходятся ли (равномерно) операторы к оператору при ?
Пусть — банахово пространство, . Доказать, что если , то . Привести пример неперестановочных операторов и , для которых .
Пусть — банахово пространство, . Верно ли, что ?
Пусть — банахово пространство, . Доказать, что если , то . Пусть и таково, что . Верно ли, что ?
Можно ли представить оператор сдвига , , в виде ?
Доказать, что для самосопряжённого оператора в гильбертовом пространстве и многочлена
Привести пример, показывающий, что для произвольного несамосопряжённого оператора это утверждение неверно. Доказать это утверждение для произвольного нормального оператора (использовать задачу 12.35).
Пусть и . Доказать, что оператор ортопроектор.
Пусть и . Найти .
Пусть — гильбертово пространство, — самосопряжённый оператор и . Доказать, что справедлива оценка
с помощью задачи 9.49;
с помощью теоремы 13.2.
Пусть — гильбертово пространство, — самосопряжённый оператор. Доказать, что его преобразование Кэли
определено и является унитарным оператором. Доказать, что .
Пусть — гильбертово пространство, — самосопряжённый оператор в . Положим . Доказать, что является голоморфной операторной группой с генератором .
Пусть — гильбертово пространство, — самосопряжённый оператор в и — функциональные исчисления для непрерывных функций на отрезках и , причём и — оператор сужения. Доказать, что , т. е. функциональные исчисления на указанных отрезках согласованы.
Пусть — гильбертово пространство, — самосопряжённый оператор в . Доказать согласованность функциональных исчислений непрерывных и голоморфных функций. А именно, если — голоморфная функция в круге, содержащем , то оператор , построенный в соответствии с теоремой 13.1, совпадает с оператором, построенным в соответствии с теоремой 13.2.
Пусть — бесконечномерное гильбертово пространство, — самосопряжённый оператор. Доказать, что если компактен, а — функция, определённая и непрерывная на , то оператор компактен тогда и только тогда, когда (сравните с задачей 11.19).
Пусть и — гильбертово пространство. Найти в случае:
;
— ортогональный проектор;
и , где все вещественны и ;
и , где — вещественная функция.
Пусть — самосопряжённый компактный оператор в гильбертовом пространстве и . Найти матрицу оператора в базисе из собственных векторов оператора (см. теорему 12.3).
Пусть — гильбертово пространство, — ограниченный самосопряжённый оператор в и . Доказать, что для функционального исчисления, построенного по оператору на отрезке , справедлива теорема об отображении спектров: .
Пусть и — подобные самосопряжённые операторы в , где — гильбертово пространство (т. е. для некоторого ). Пусть отрезок содержит спектры операторов и . Доказать, что для любой операторы и подобны, причём подобие осуществляется посредством того же оператора .
Пусть в гильбертовом пространстве , и непрерывная на отрезке функция также неотрицательна. Доказать, что .
Пусть ограниченные самосопряжённые операторы и , действующие в гильбертовых пространствах и соответственно, подобны. Доказать, что они унитарно эквивалентны, т. е. оператор , осуществляющий подобие , является изометрическим изоморфизмом.
Пусть — самосопряжённый оператор в гильбертовом пространстве , отрезок содержит . Доказать, что
если , то ;
если , то для любого .
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что . Доказать, что полярное разложение самосопряжённого оператора в имеет вид , где — частичная изометрия (см. определения 8.8 и 8.6).
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что
;
;
.
Пусть — самосопряжённый оператор в гильбертовом пространстве — вещественнозначная функция. Доказать, что
;
;
.
Построить функциональное исчисление (для непрерывных функций) от унитарного оператора в гильбертовом пространстве . А именно, доказать, что существует единственный непрерывный гомоморфизм алгебры в , обладающий свойствами (1)-(4):
-
;
-
;
-
(условия гомоморфизма);
-
— линейный непрерывный оператор из в (т. е. если последовательность функций из сходится к , то ). Этот гомоморфизм также обладает свойствами
-
, где ;
-
(усиление свойства непрерывности гомоморфизма );
-
если некоторый ограниченный оператор коммутирует с , то он коммутирует и с любым оператором .
Пусть — самосопряжённый оператор в гильбертовом пространстве и пусть — две функции, тождественно совпадающие на луче . Доказать, что .
Пусть — самосопряжённый оператор в гильбертовом пространстве , а — разложение единицы для оператора . Доказать следующие свойства:
если , то ; если , то ;
если , то ;
для любого выполнено равенство ;
все операторы коммутируют с операторами , где (в частности, с самим оператором ).
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что семейство подпространств , ассоциированных с оператором , обладает следующими свойствами:
если , то ; если , то ;
если , то ;
для любого выполнено равенство ;
все пространства инвариантны относительно для любой (в частности, они инвариантны относительно оператора ).
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что:
число тогда и только тогда, когда оно является точкой возрастания семейства (т. е. в любой окрестности точки найдётся точка , для которой );
число тогда и только тогда, когда оно является точкой разрыва семейства (т. е. ).
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что если (см. определение 12.4) или , то у оператора существует ортонормированная последовательность Вейля (сравнить с задачей 12.30).
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что
Доказать, что если , то — изолированное собственное значение оператора конечной кратности.
Найти семейство проекторов и подпространств , ассоциированных с оператором ортогонального проектирования на некоторое подпространство .
Найти семейство проекторов и подпространств , ассоциированных с оператором , заданным в матрицей
где все числа , вещественны и попарно различны. Как изменится ответ, если среди чисел есть одинаковые?
Найти семейство проекторов и подпространств , ассоциированных с оператором .
Найти семейство проекторов и подпространств , ассоциированных с оператором в пространстве , где — ограниченная вещественная последовательность.
Найти семейство проекторов и подпространств , ассоциированных с оператором, заданным матрицей:
;
;
;
.
Пусть — непрерывная строго возрастающая функция на . Найти семейство проекторов и подпространств , ассоциированных с оператором .
Описать семейство проекторов и подпространств , ассоциированных с самосопряжённым компактным оператором в гильбертовом пространстве (в терминах собственных значений и собственных векторов).
Найти семейство проекторов и подпространств , ассоциированных с оператором .
Пусть — ограниченный оператор в гильбертовом пространстве и для любого ортонормированного базиса в выполнено при . Доказать, что оператор компактен (ср. с задачами 11.54 и 11.45).
Доказать, что любой самосопряжённый оператор в гильбертовом пространстве можно с любой точностью приблизить конечными линейными комбинациями ортогональных проекторов в пространстве .
Пусть — самосопряжённый оператор в гильбертовом пространстве , а — самосопряжённый оператор в гильбертовом пространстве . Пусть и — семейства подпространств, ассоциированные с операторами и . Доказать, что операторы и подобны (унитарно эквивалентны), т. е. для некоторого ( — унитарный оператор из в ) тогда и только тогда, когда осуществляет биекцию (унитарный изоморфизм) и для любого .
Пусть — унитарный оператор в гильбертовом пространстве . Доказать, что существует единственная проекторнозначная мера на окружности со значениями в , для которой справедливо равенство
для любой борелевской ограниченной функции на .
Пусть — унитарный оператор в гильбертовом пространстве . Доказать, что , где — ортопроектор на подпространство . странство .
Пусть и — самосопряжённые операторы в гильбертовом пространстве и — их разложения единицы соответственно. Доказать, что и коммутируют тогда и только тогда, когда для любых .
Пусть и — полные метрические сепарабельные пространства, и -алгебры борелевских множеств на этих пространствах. Пусть на и заданы соответственно борелевские разложения единиц и , значениями которых являются ортогональные проекторы в одном и том же гильбертовом пространстве . Пусть эти разложения единиц коммутируют, т. е. для всех . На декартовом произведении определим — борелевскую -алгебру подмножеств, содержащую все «прямоугольники» вида . Доказать, что на существует единственное разложение единицы, определяемое условием
где .
Пусть — ограниченный нормальный оператор в гильбертовом пространстве . Доказать, что существует такое разложение единицы , определённое на борелевских подмножествах П, что , где интеграл понимается в смысле Лебега-Стилтьеса (см. преамбулу этого параграфа).
Пусть — ограниченный нормальный оператор в гильбертовом пространстве . Доказать, что
Пусть — ограниченный нормальный оператор в гильбертовом пространстве . Доказать, что . Привести примеры нормальных операторов, для которых
это включение строгое;
.
Пусть — унитарный оператор в гильбертовом пространстве . Доказать, что .
При каких условиях на комплексные числа у диагонального оператора в есть циклический вектор? Сформулировать условие существования циклического вектора в терминах характеристического многочлена произвольного оператора .
При каких условиях на ограниченную последовательность комплексных чисел у диагонального оператора
в есть циклический вектор?
Доказать, что оператор умножения на непрерывную строго монотонную функцию имеет циклический вектор:
в пространстве ;
в пространстве .
Доказать, что оператор умножения на непрерывную немонотонную функцию , действующий в пространстве , не имеет циклического вектора.
Пусть — ограниченный самосопряжённый оператор с простым спектром в гильбертовом пространстве . Доказать, что все его собственные значения (если они есть) имеют кратность 1.
Доказать, что компактный самосопряжённый оператор в гильбертовом пространстве обладает циклическим вектором в точности тогда, когда все его собственные значения просты.
Пусть — оператор с циклическим вектором в бесконечномерном гильбертовом пространстве . Доказать, что операторы линейно независимы.
Доказать, что у оператора левого сдвига в пространстве есть «суперциклический» вектор, т. е. такой вектор , что множество плотно на единичной сфере. Существует ли обратимый оператор с суперциклическим вектором?
Пусть — самосопряжённый оператор в сепарабельном гильбертовом пространстве . Доказать, что существует такое разложение в прямую сумму , где или , что и для любого существует вектор , который цикличен для сужения на , т. е. .
Найти в пространстве разложение единицы оператора умножения:
на ;
на . Доказать, что у этого оператора нет циклического вектора.
Для оператора умножения из предыдущей задачи:
на ;
на
найти какой-нибудь изометрический изоморфизм
такой, что оператор , суженный на каждое из пространств , есть оператор умножения на независимую переменную. Найти и меры .
Привести пример двух ограниченных самосопряжённых операторов и в пространстве , у которых спектры совпадают, причём (и кратности соответствующих собственных значений совпадают), , но сами операторы не являются унитарно эквивалентными.
Найти разложение единицы оператора умножения на в пространстве . Привести оператор к виду умножения на независимую переменную (найти изометрический изоморфизм и меру ).
Найти разложение единицы оператора умножения на в пространстве . Привести оператор к виду умножения на независимую переменную (найти изометрический изоморфизм и меру ).
Найти разложение единицы оператора умножения на в пространстве .
Для оператора из задачи 13.77 найти унитарный изоморфизм
такой, что оператор , суженный на пространство , есть оператор умножения на независимую переменную. Найти и меры .
Привести оператор
действующий в пространстве , к виду умножения на независимую переменную (найти изометрический изоморфизм и меру ).
Пусть — линейный самосопряжённый оператор в конечномерном пространстве. Найти унитарный оператор , меру и функцию такие, что , где .
В пространстве рассмотрим оператор , где — операторы правого и левого сдвигов соответственно. Найти унитарный оператор и функцию такие, что , где .
Доказать, что если оператор в гильбертовом пространстве унитарно эквивалентен оператору умножения на функцию , то — нормальный оператор.
Доказать, что любой нормальный оператор в гильбертовом пространстве унитарно эквивалентен оператору умножения на некоторую функцию в пространстве с некоторой мерой .
Доказать, что операторы
действующие в пространстве (здесь — функция Кантора, см. определение на с. 72), не являются унитарно эквивалентными.
Пользуясь теоремой 13.8, доказать теорему 13.9.
Выяснить, есть ли среди следующих операторов унитарно эквивалентные: .
Построить каноническую функциональную модель:
для оператора в пространстве ;
для оператора в пространстве ;
для оператора в пространстве ;
для оператора в пространстве .
Построить каноническую функциональную модель для следующих операторов в пространстве :
, где — ограниченная последовательность попарно различных действительных чисел;
, где множитель повторяется раз.