Эрмитовы операторы
Содержание
Линейные операторы
Линейные уравнения
Эрмитовы операторы
Линейные
операторы
Пусть M и N — линейные множества. Оператор L, преобразующий элементы множества M в элементы множества N, называется линейным, если для любых элементов f и g из M и
комплексных чисел λ и μ справедливо равенство
L(λ+ μg) = λLf + μLg (1)
При этом
множество M = ML называется областью определения оператора
L. Если Lf = f
при всех f Є M, то оператор L называется тождественным (единичным) оператором.
Единичный оператор будем обозначать через I.
Линейные уравнения
Пусть L — линейный оператор с областью
определения ML . Уравнение
Lu = F (2)
называется
линейным неоднородным уравнением. В уравнении (2) заданный элемент F называется свободным членом (или
правой частью), а неизвестный элемент и из ML — решением этого уравнения.
Если в
уравнении (2) свободный член F положить
равным нулю, то полученное уравнение
Lu = 0 (3)
называется
линейным однородным уравнением, соответствующим уравнению (2).
В силу
линейности оператора L совокупность
решений однородного уравнения (3) образует линейное множество; в частности, и
= 0 всегда является решением этого уравнения.
Всякое
решение и линейного неоднородного уравнения (2) (если оно существует)
представляется в виде суммы частного решения ио этого
уравнения и общего решения ŭ, соответствующего линейного однородного уравнения (3)
и = ио
+ ŭ.
Отсюда
непосредственно выводим: для того чтобы решение уравнения (2) было единственным
в ML, необходимо и достаточно, чтобы соответствующее
однородное уравнение (3) имело только нулевое решение в ML . Пусть однородное уравнение (3) имеет только нулевое
решение в ML. Обозначим через Rl область значений оператора L, т.е. (линейное) множество элементов вида {Lf}, где f пробегает ML. Тогда для любого F Є Rl уравнение (2) имеет единственное
решение и Є ML , и,
таким образом, возникает некоторый оператор, сопоставляющий каждому элементу F из Rl соответствующее решение уравнения (2).
Этот оператор называется обратным оператором к оператору L и обозначается через L-1, так что
и = L-1F. (4)
Оператор
L-1, очевидно, является линейным и
отображает Rl на ML. Непосредственно из определения
оператора L-1, а также из соотношений (2) и (4) вытекает:
L
L-1F = F, F Є Rl ; L-1Lu = u, и Є ML,
т.е. L L-1=I, L-1L = I.
Если
линейный оператор L имеет
обратный L-1, то системы функций {φk} и {Lφk} одновременно линейно независимы. (При этом,
естественно, предполагается, что все φk принадлежат ML.)
Рассмотрим
линейное однородное уравнение
Lu = λu, (5)
где λ — комплексный параметр. Это уравнение
имеет нулевое решение при всех λ. Может случиться, что при некоторых λ оно имеет ненулевые решения из ML. Те комплексные значения λ, при которых уравнение (5) имеет
ненулевые решения из ML, называются собственными значениями оператора L, а соответствующие решения — собственными элементами
(функциями), соответствующими этому собственному значению. Полное число r, 1 ≤ r ≤ ∞, линейно независимых собственных
элементов, соответствующих данному собственному значению λ, называется кратностью этого
собственного значения; если кратность r = 1, то λ
называется простым собственным значением.
Если
кратность r собственного значения λ оператора L конечна и u1,...,и2 — соответствующие линейно независимые
собственные элементы, то любая их линейная комбинация
u0 = c1u1 + c2u2 + ... + crur
также
является собственным элементом, соответствующим этому собственному значению, и
приведенная формула дает общее решение уравнения (5). Отсюда вытекает: если
решение уравнения
Lu = λ u + f (6)
существует,
то его общее решение представляется формулой
и =
и* +∑сkиk, (7)
где и*
— частное решение (6) и сk, k = l,2,...,r, —
произвольные постоянные.
Эрмитовы операторы
Линейный
оператор L, переводящий MLСL2(G) в L2(G), называется эрмитовым,
если его область определения ML плотна в L2(G) и для любых f и g из Ml справедливо равенство
(Lf,g) = (f,Lg ).
Выражения
(Lf, g) и (Lf, f)
называются соответственно билинейной и квадратичной формами, порожденными
оператором L.
Для того
чтобы линейный оператор L был
эрмитовым, необходимо и достаточно, чтобы порожденная им квадратичная форма (Lf, f), f Є
Ml, где Ml плотна в L2(G), принимала
только вещественные значения.
Линейный
оператор L, переводящий Ml С L2(G) в L2(G),
называется положительным, если Ml плотна в L2(G) и
(Lf, f) ≥ 0, f Є Ml .
В
частности, всякий положительный оператор эрмитов.
Теорема.
Если оператор L эрмитов (положительный), то все его собственные значения
вещественны (неотрицательны), а собственные функции, соответствующие различным
собственным значениям, ортогональны.
Доказательство. Пусть λ0 — собственное
значение, u0 — соответствующая нормированная собственная функция
эрмитова оператора L, L u0 = λ0u0. Умножая
скалярно это равенство на u0, получим
(Lu0, u0) = (λ0 u0, u0) = λ0 (u0, u0)
λ0|| u0||2
= λ0.
(8)
Но для
эрмитова (положительного) оператора квадратичная форма (Lf, f) принимает только вещественные (неотрицательные)
значения, и, стало быть, в силу (7) λ0 — вещественное
(неотрицательное) число.
Докажем,
что любые собственные функции и1 и и2,
соответствующие различным собственным значениям λ1 и λ2, ортогональны. Действительно, из
соотношений
Lu1 = λ1 и1, Lu2 = λ2и2,
из
вещественности λ1 и λ2
и из эрмитовости оператора L получаем
цепочку равенств
λ1(и1,и2)
= (λ и1,и2) = (Lи1,и2) = (и1,Lu2) = (и1,λ2и2)
= =λ2(и1,и2),
т.е. λ1(и1,и2)
= λ2(и1,и2). Отсюда,
поскольку λ1 ≠ λ2, вытекает, что скалярное произведение (и1,и2)
равно нулю. Теорема доказана.
Предположим,
что множество собственных значений эрмитова оператора L не более чем счетно, а каждое
собственное значение конечной кратности. Перенумеруем все его собственные значения:
λ1,λ2,..., повтори λk столько раз, какова его кратность. Соответствующие
собственные функции обозначим через и1,и2,…
так, чтобы каждому собственному значению соответствовала только одна
собственная функция иk:
Luk = λk , иk, k = 1,2,...
Собственные функции,
соответствующие одному и тому же собственному значению, можно выбрать
ортонормальными, используя процесс ортогонализации Шмидта. Всякая
ортонормальная система {φk} состоит из линейно независимых функций. Всякая
система ψ1,ψ2,... линейно
независимых функций из L2(G) преобразуется в ортонормальную систему φ1,φ2,
— следующим процессом ортогонализации
Шмидта:
φ1 = ψ1 /||ψ2 || , φ2
= ψ2 – (ψ2, φ1)
φ1 / || ψ2 – (ψ2, φ1)
φ1 ||
φk = ψk – (ψk, φk-1)φk-1 – … – (ψk,φ1)φ1 / || ψk – (ψk, φk-1)φk-1 – … – – (ψk,φ1)φ1||
При этом опять получаются
собственные функции, соответствующие тому же самому собственному значению. По доказанной
теореме собственные функции, соответствующие различным собственным значениям, ортогональны.
Таким
образом, если система собственных функций {ик} эрмитова
оператора L не более чем счетна, то ее можно
выбрать ортонормальной:
(Luk,ui ) = λk(иk,ui) = λkδki
Список
литературы
1. Владимиров B.C., Жаринов В. В. Уравнения
математической физики: Учебник для вузов. — М.: Физмат-лит, 2000.
2. Владимиров В. С. Уравнения
математической физики. — Изд. 5-е. — М.: Наука, 1985.
3. Никольский СМ. Математический анализ.—Изд. 5-е. — М.:
Физмат-лит, 2000.
Другие работы по теме:
Соотношения неопределённостей Гейзенберга
Принципы неопределённости и исключения в операторной форме, определяющие возможность совместного измерения динамических переменных, их средние значения. Правила квантования энергии. Уравнения Шрёдингера (временное и стационарное). Суперпозиция состояний.
Элементы теории представлений
Квантово-механическая система: теории представлений волновой функции (амплитудой вероятности). Обозначения Дирака: вектор состояния в n-мерном гильбертовом пространстве. Преобразование операторов от одного представления к другому, эрмитовы матрицы.
Отчет 32 с
Пектральная теория операторов, методы гомогенизации, псевдодифференциальные операторы, разностные операторы, квантовая теория рассеяния, дифракция электромагнитных волн
Алгебры и их применение
*-Алгебры и их применение Дипломная работа специалиста Таврический национальный университет им. В.И. Вернадского Симферополь 2003 Введение Пусть Н – гильбертово пространство, L(Н) – множество непрерывных линейных операторов в Н. Рассмотрим подмножество А в L(Н), сохраняющееся при сложении, умножении, умножении на скаляры и сопряжении.
*-Алгебры и их применение
Основные понятия и определения. * - алгебры. Представления. Тензорные произведения. Задача о двух ортопроекторах. Два ортопроектора в унитарном пространстве, в сепарабельном гильбертовом пространстве. Спектр суммы двух ортопроекторов.
Динамические объекты
Объектные переменные вo многом подобны обычным переменным турбо паскаля, в частности, их можно размещать в динамической памяти. Турбо паскаль содержит средства, облегчающие размещение объектных переменных в куче и их удаление из нее.
Десятичные коды APCO
Десятичными кодами называют специальные сокращения, которые используют операторы личных радиостанций в западных странах для ускорения передачи информации. Коды были разработаны в 1937 и усовершенствованы в 1974 ассоциацией средств связи и общественной безопасности (Association of Public Safety Communications Officials International, APCO).
Бедный, бедный Павел
План Введение 1 Сюжет 2 В ролях 3 Съёмочная группа 4 Награды и номинации 4.1 Награды 4.2 Номинации Введение «Бедный, бедный Павел» — российский кинофильм по пьесе Дмитрия Мережковского «Павел I».
Рекурсия
Рекурсия — это такой способ организации вспомогательного алгоритма (подпрограммы), при котором эта подпрограмма (процедура или функция) в ходе выполнения ее операторов обращается сама к себе.
Выражения и Операторы
Выражения. Операторы Выражения. Пустой оператор. Блоки. Операторы if. Операторы switch. Оператор while. Оператор for. Описания.
Основные операторы языка Turbo-Paskal. Процедуры и функции
Принцип работы основных операторов языка программирования Turbo-Paskal: оператор присваивания, выбора Case, безусловного перехода, цикла, уловный, составной. Формальное описание и вызов функции и процедуры. Требования к списку фактических параметров.
Операторы цикла
Для реализации циклических алгоритмов, т.е. алгоритмов, содержащих многократно повторяющиеся одинаковые операции, применяются специальные операторы цикла. В Пас-кале есть три вида циклов: FOR, WHILE и REPEAT.
Операторы ввода-вывода
Простейший оператор ввода в Паскале - оператор READ, он записывается в виде: READ(имя,имя,...); где имя - имена переменных или типизированных констант. Вводимые значения задаются в виде допустимых в Паскале констант.
Операторы цикла
Командой повторения или циклом называется такая форма организации действий, при которой одна и та же последовательность действий повторяется до тех пор, пока сохраняется значение некоторого логического выражения.
Создание графических объектов с помощью псевдографики
Основы работы на языке высокого уровня Turbo Pascal. Основное оборудование и программное обеспечение. Операторы, необходимы для работы в графической среде Turbo Pascal. Запуск графического режима. Текст программы в графической среде Turbo Pascal.
Расчет составной конструкции системы двух тел
Разработка программы на языке Visual Basic для расчёта составной конструкции системы двух тел. Написание программы для расчёта реакций составной конструкции при шарнирной и скользящей заделке. Исследование зависимости реакции опоры от направления силы.
Новые операторы языка манипулирования данными (DML)
CTE - выражения для упрощения читаемости запросов. Однократный вызов CTE и использование CTE для рекурсивного прохода по дереву. Операторы Pivot, Unpivot, Apply. Функции ранжирования. Создание хранимой процедуры с использованием нового обработчика ошибок.
Операторы языка Си
Характеристики операторов языка Си. Операторы безусловного и условного перехода: if, if-else, if-else if. Оператор переключатель switch. Оператор цикла с предусловием while, постусловием do-while. Упрощение логических выражений, взаимозаменяемость циклов.
Разработка транслятора в среде Java и С+
Общая характеристика и оценка возможностей языка программирования си-шарп, его сходные и отличительные черты от С++ и Java. Разработка с помощью данного языка программирования лексического и синтаксического анализатора. Составление таблиц разбора.
Оператор условия if else
Лабораторная Работа На тему: " Оператор условия else " 1. Назначение и синтаксис Оператор условия if-else служит для выбора направления работы программы в зависимости от условий, сложившихся в данной точке программы на момент ее выполнения.
Метки. Оператор GOTO. Процедура Halt
С.А. Григорьев Операторы в Паскале могут быть помечены. Метки - это идентификаторы, или целые числа от 0 до 9999, они могут записываться перед любым выполняемым оператором и отделяются от него двоеточием. Оператор может иметь любое количество меток. Все метки, использованные в программе, должны быть описаны в разделе описаний с ключевым словом LABEL.
Условный оператор. Блок. Оператор выбора
С.А. Григорьев Условный оператор в Паскале записывается в виде: IF логическое выражение THEN оператор/блок [ELSE оператор/блок] логическое выражение - это любое выражение, значение которого имеет тип Boolean, блок - это последовательность операторов, заключенная в логические скобки : BEGIN операторы END; .
Операторы Turbo Pascal 7
Операторы Turbo Pascal Содержание 1. Операторы ввода и вывода информации. 2. Операторы языка ТР.7. 2.1 Составной оператор Begin ... end. 2.2 Условный оператор If.
Оператор выбора case
Для программирования разветвлений в алгоритме чаще всего используется условный оператор if…then или if…then…else. Однако если путей выбора много, то запись алгоритма с помощью условного оператора становится сложной.
Паскаль для начинающих
Паскаль для начинающих Основы грамматики в таблицах и примерах Pascal (Паскаль) - язык программирования общего назначения. Создан в 1970 году специалистами Технического Университета в Цюрихе (ETH, Zurich) под руководством профессора Никлауса Вирта (Niklaus Wirth). После появления языка Pascal были созданы новые промышленные версии языка, а также языки-потомки, которые сохраняют основные синтаксические и семантические свойства языка Вирта: Modula, Turbo Pascal, Object Pascal (Delphi), Component Pascal (Oberon-2), TMT Pascal, Free Pascal, Zonnon, Ada.
Программирование в MATLAB
Кафедра: Информационные технологии ПРОГРАММИРОВАНИЕ В MATLAB Операторы MATLAB Операторы цикла Цикл Синтаксис for count=start:step:final команды MATLAB