Xreferat.com » Рефераты по математике » Оператор сдвига

Оператор сдвига

Введение

Тема для написания дипломной работы была выбрана не случайно. Теория линейных операторов – это интересная и важная область, которая позволяет не только активно применять уже имеющиеся знания по анализу, но и узнать много нового.

В данной работе рассматриваются линейные операторы одностороннего и двустороннего сдвига. Вводятся основные понятия: спектр, резольвента, спектральный радиус оператора. Рассматриваются задачи, в ходе решения которых выясняются некоторые свойства спектров операторов сдвига. Определяется класс взвешенных сдвигов, выводится соотношение для нормы и спектрального радиуса оператора взвешенного сдвига.

Известно, что если рассматривать поле действительных чисел при условии, что аксиома Архимеда не выполняется, то получим новое, расширенное поле, в котором существуют бесконечно большие и бесконечно малые элементы. На основании этого расширения можно построить весь математический анализ – нестандартный анализ.

Естественно, часть основных понятий и свойств линейных операторов было бы интересно определить и доказать и в нестандартном анализе, что и было сделано в работе.

В частности, был установлен следующий факт: хотя стандартный оператор сдвига не имеет собственных векторов, но его нестандартное расширение имеет «почти собственные» векторы, т. е. векторы, в определенном смысле бесконечно близкие к собственным.

Часть 1. Оператор сдвига в гильбертовом пространстве

§1. Основные понятия и факты теории линейных операторов

1. Определение и примеры линейных операторов

Пусть Е и Е1 – два линейных нормированных пространства над полем комплексных чисел. Линейным оператором, действующим из Е в Е1 называется отображение Оператор сдвига (Оператор сдвига удовлетворяющее условию

Оператор сдвига для всех Оператор сдвига.

Совокупность DA всех тех Оператор сдвига, для которых отображение А определено, называется областью определения оператора А; вообще говоря, не предполагается, что DA=E , однако мы всегда будем считать, что DA есть линейное многообразие, то есть, если х,уОператор сдвига DA , то и Оператор сдвига при любых Оператор сдвига.

Определение 1. Оператор Оператор сдвига называется непрерывным в точке х0 Оператор сдвигаDA , если для любой окрестности V точки у0=Ах0 существует такая окрестность U точки х0 , что АхОператор сдвигаV , как только хОператор сдвига. Оператор А называется непрерывным, если он непрерывен в каждой точке хОператор сдвига DA.

Поскольку Е и Е1 – нормированные пространства, то это определение равносильно следующему: оператор А называется непрерывным, если выполняется следующее условие: Оператор сдвига(Оператор сдвига Оператор сдвигаОператор сдвига Оператор сдвига.

Примеры линейных операторов

Пусть А – линейный оператор, отображающий n-мерное пространство Rn c базисом е1, …, еn в m-мерное пространство Rm с базисом f1, …,fm . Если х – произвольный вектор из Rn , то Оператор сдвига и, в силу линейности оператора А Оператор сдвигаОператор сдвига.

Таким образом, оператор А задан, если известно, в какие элементы он переводит базисные векторы е1,…, еn . Рассмотрим разложение вектора Аеi по базису f1, …, fm . Имеем Оператор сдвига. Следовательно, оператор А определяется матрицей коэффициентов аij . Образ пространства Rn и Rm представляет собой линейное пространство, размерность которого равна, очевидно, рангу матрицы Оператор сдвига, т.е. во всяком случае не превосходит n (свойство ранга матрицы). Отметим, что в конечномерном пространстве всякий линейный оператор автоматически непрерывен.

Рассмотрим гильбертово пространство Н и в нем некоторое подпространство Н1 . Разложив Н в прямую сумму подпространства Н1 и его ортогонального дополнения, т.е. представив каждый элемент Оператор сдвига в виде Оператор сдвига (Оператор сдвига положим Рh=h1. Этот оператор Р естественно назвать оператором проектирования, проектирующим все пространство Н на Н1. Очевидно, что Р является линейным и непрерывным оператором.

Рассмотрим в пространстве Оператор сдвиганепрерывных функций на отрезке [a;b] с нормой Оператор сдвига оператор, определяемый формулой

Оператор сдвига, (1)

где k(s,t) – некоторая фиксированная непрерывная функция двух переменных. Функция Оператор сдвига непрерывна для любой непрерывной функции Оператор сдвига, так что оператор (1) действительно переводит пространство непрерывных функций в себя. Его линейность очевидна. Можно доказать также, что он непрерывен.

Тот же оператор можно рассмотреть на множестве непрерывных функций С2[a,b] с нормой Оператор сдвига, где он также непрерывен.

4. Один из важнейших для анализа примеров линейных операторов – оператор дифференцирования. Его можно рассматривать в пространстве C[a,b] : Df(t) = Оператор сдвига.Оператор сдвигаЭтот оператор D определен не на всем пространстве непрерывных функций, а лишь на линейном многообразии функций, имеющих непрерывную производную. Оператор D линеен, но не непрерывен. Это видно, например, из того, что последовательность Оператор сдвига сходится к 0 ( в метрике С[a,b]), а последовательность Оператор сдвига не сходится.

Оператор дифференцирования можно рассматривать как оператор, действующий из пространства D1 непрерывно дифференцируемых функций на [a,b] с нормой Оператор сдвига в пространство С[a,b]. В этом случае оператор D линеен и непрерывен и отображает все D1 на все С[a,b].

Рассмотрение оператора дифференцирования как оператора, действующего из D1 в С[a,b], не вполне удобно, так как, хотя при этом мы и получаем непрерывный оператор, определенный на всем пространстве, но не к любой функции из D1 можно применять этот оператор дважды. Удобнее рассматривать оператор дифференцирования в еще более узком пространстве, чем D1 , а именно в пространстве Оператор сдвига бесконечно дифференцируемых функций на отрезке [a; b], в котором топология задается счетной системой норм Оператор сдвига. Оператор дифференцирования переводит все это пространство в себя, и, как можно проверить, он непрерывен на этом пространстве.

2. Ограниченность и норма линейного оператора

Определение 2. Линейный оператор, действующий из Е в Е1, называется ограниченным, если он определен на всем Е и каждое ограниченное множество переводит снова в ограниченное. Между непрерывностью и ограниченностью линейного оператора существует тесная связь, т.е. справедливы следующие утверждения:

Теорема 1. Для того, чтобы линейный оператор Оператор сдвига был непрерывным, необходимо и достаточно, чтобы он был ограничен.

1. Пусть оператор А неограничен. Тогда существует МОператор сдвигаЕ – ограниченное множество, такое, что множество АМОператор сдвигаЕ1 не ограничено. Следовательно, в Е1 найдется такая окрестность нуля V, что ни одно из множеств Оператор сдвигаАМ не содержится в V. Но тогда существует такая последовательность хnОператор сдвигаM , что ни один из элементов Оператор сдвигаАхn не принадлежит V и получаем, что Оператор сдвигав Е, но Оператор сдвига не сходится к 0 в Е; это противоречит непрерывности оператора А.

2. Если оператор А не непрерывен в точке 0, то в Е1 существует такая последовательность Оператор сдвига, что Ахn не стремится к 0. При этом последовательность Оператор сдвига ограничена, а последовательность Оператор сдвига не ограничена. Итак, если оператор А не непрерывен, то А и не ограничен. Утверждение доказано.

Если Е и Е1 – нормированные пространства, то условие ограниченности оператора А, действующего из Е в Е1, можно сформулировать так: оператор А называется ограниченным, если он переводит любой шар в ограниченное множество.

В силу линейности оператора А это условие можно сформулировать так: оператор А ограничен, если существует С=const , что для любого Оператор сдвигаОператор сдвигаЕ : Оператор сдвига.

Определение 3. Наименьшее из чисел С, удовлетворяющих этому неравенству, называется нормой оператора А и обозначается Оператор сдвига.

Теорема 2 [1]. Для любого ограниченного оператора А , действующего из нормированного пространства в нормированное Оператор сдвига.

3. Сумма и произведение линейных операторов. Пространство линейных непрерывных операторов

Определение 4. Пусть А и В – два линейных оператора, действующих из линейного топологического пространства Е в пространство Е1. Назовем их суммой А+В оператор С, ставящий в соответствие элементу Оператор сдвига элемент у=Ах+Вх, Оператор сдвига.

Можно проверить, что С=А+В – линейный оператор, непрерывный, если А и В непрерывны. Область определения DC оператора С есть пересечение Оператор сдвига областей определения операторов А и В.

Если Е и Е1 – нормированные пространства, а операторы А и В ограничены, то С тоже ограничен, причем

Оператор сдвига (2)

Действительно, для любых х Оператор сдвига, следовательно, выполняется неравенство (2).

Определение 5. Пусть А и В – линейные операторы, причем А действует из Е в Е1, а В действует из Е1 в Е2 . Произведением ВА операторов А и В называется оператор С, ставящий в соответствие элементу Оператор сдвига элемент Оператор сдвига из Е2.

Область определения DC оператора С=ВА состоит из тех хОператор сдвигаDA , для которых АхОператор сдвигаDB. Ясно , что оператор С линеен. Он непрерывен, если А и В непрерывны.

Если А и В – ограниченные операторы, действующие в нормированных пространствах, то и оператор С=ВА – ограничен, причем

Оператор сдвига (3)

Действительно, Оператор сдвига, следовательно, выполняется (3).

Сумма и произведение трех и более операторов определяются последовательно. Обе эти операции ассоциативны.

Произведение оператора А на число к (обозначается кА) определяется как оператор, который элементу х ставит в соответствие элемент кАх.

Совокупность Z(E,E1) всех непрерывных линейных операторов, определенных на всем Е и отображающих Е в Е1 ( где Е и Е1Оператор сдвига– фиксированные линейные нормированные пространства), образует, по отношению к введенным операциям сложения и умножения на число, линейное пространство. При этом Z(E, E1) – нормированное пространстово (с тем определением нормы оператора, которое было дано выше).

4. Обратный оператор

Пусть А – линейный оператор, действующий из Е в Е1 , и DA область определения, а RA – область значений этого оператора.

Определение 6. Оператор А называется обратимым, если для любого уОператор сдвигаRA уравнение Ах=у имеет единственное решение.

Если А обратим, то любому элементу уОператор сдвигаRA можно поставить в соответствие единственный элемент хОператор сдвигаDA , являющийся решением уравнения Ах=у. Оператор, осуществляющий это соответствие, называется обратным к А и обозначается А-1.

Теорема 3 [1]. Оператор А-1, обратный линейному оператору А, также линеен.

Доказательство.

Достаточно проверить выполнение равенства

Оператор сдвига.

Положим Ах1=у1 и Ах2=у2, в силу линейности А имеем

Оператор сдвига (*)

По определению обратного оператора А-1у1=х1 и А-1у2=х2, умножим оба равенства соответственно на Оператор сдвига и Оператор сдвига:

Оператор сдвига.

С другой стороны из равенства (*) следует Оператор сдвига, следовательно, Оператор сдвига.

Теорема доказана.

Теорема 4 [3]. (Теорема Банаха об обратном операторе)

Пусть А – линейный ограниченный оператор, взаимно однозначно отображающий банахово пространство Е на банахово пространство Е1. Тогда обратный оператор А-1 ограничен.

Теорема 5 [3]. Пусть Е – банахово пространство, I – тождественный оператор в Е, а А – такой ограниченный линейный оператор, отображающий Е в себя, что Оператор сдвига. Тогда оператор (I-A)-1 существует, ограничен и представляется в виде Оператор сдвига.

Доказательство.

Так как Оператор сдвига, то ряд Оператор сдвига сходится. А так как Оператор сдвига для всех Оператор сдвига, то ряд Оператор сдвига также сходится. Пространство Е полно, значит, из сходимости ряда Оператор сдвига вытекает, что сумма ряда Оператор сдвигапредставляет собой ограниченный линейный оператор. Для любого n имеем: Оператор сдвига, переходя к пределу и учитывая, что Оператор сдвига, получаем Оператор сдвига, следовательно Оператор сдвига.

Теорема доказана.

5. Спектр оператора. Резольвента.

Всюду, где речь идет о спектре оператора, считаем, что оператор действует в комплексном пространстве.

В теории операторов и ее применениях первостепенную роль играет понятие спектра оператора. Рассмотрим это понятие сначала применительно к операторам в конечномерном пространстве.

Пусть А – линейный оператор в n-мерном пространстве Еn . Число Оператор сдвига

Похожие рефераты: