ЧЕРКАССЫ  ИНФОРМАЦИОННО-СПРАВОЧНЫЙ ПОРТАЛ ГОРОДА И ОБЛАСТИ   ГЛАВНАЯ         ВХОД          РЕГИСТРАЦИЯ        КАРТА САЙТА   
Энциклопедии и справочники

Физическая энциклопедия
ЛИНЕЙНЫЙ ОПЕРАТОР

ЛИНЕЙНЫЙ ОПЕРАТОР

А в векторном пространстве L- отображение, сопоставляющее каждому вектору е век-poro множества D (содержащегося в L и наз. областью определения Л. о.) др. вектор, обозначаемый Ае (и называемый значением Л. о. на векторе е). Выполнены след. условия: 1) D - линейное множество, т. е. для любых его элементов е 1 и е 2 я любых комплексных чисел 2550-54.jpg и 2550-55.jpgвектор 2550-56.jpg также принадлежит D; 2 )Л. о. переводит линейную комбинацию векторов в ту же линейную комбинацию соответствующих значений:2550-57.jpg

Примеры Л. о.: матрица А =( а ij), действующая в n -мерном евклидовом пространстве по правилу (A е)i= 2550-58.jpg где векторы - столбцы комплексных чисел; дифференциальный оператор A =a0+a1d/dx+...+andn/dxn, определённый равенством (Af) (x) = a0f(x)+а 1df(x)/dx+...+andnf(x)/dxn; интегральный оператор А, определённый соотношением (Af)(x)= dyA2550-59.jpg(x, y)f(y).

Конечномерные пространства. В конечномерном пространстве Л. о. можно определить на всех векторах и задать нек-рой матрицей ( а ij). Если e1 е 2, ..., en- ортонормированный базис, то а ij= ( е i, Ае j), где ( е, f) - скалярное произведение векторов е и f. Если для нек-рого вектоса е и комплексного числа 2550-60.jpgвыполнено равенство Ае=2550-61.jpg то е наз. собственным вектором (собственной функцией), а 2550-62.jpg- собственным значением оператора А. Совокупность всех собств. значений наз. дискретным спектром, а множество собств. векторов, отвечающих нек-ро-му собств. значению 2550-63.jpg- собств. подпространством Л. о.

Конечномерный Л. о. U наз. унитарным, если унитарна его матрица (uij), т. е. если

2550-67.jpg

где 2550-64.jpg=0 при 2550-65.jpg и 2550-66.jpg=1. Унитарным является, напр., оператор поворота плоскости на угол 2550-68.jpg Собств. значения унитарного Л. о. лежат на единичной окружности в комплексной плоскости, т. е. 2550-69.jpg где 2550-70.jpg - вещественное число. Унитарные Л. о. оставляют неизменными длины векторов и углы между ними, т. е. сохраняют скалярное произведение: ( е, f) = (Ue, Uf). Унитарные конечномерные Л. о. используют для описания разл. симметрии физ. систем. Совокупность соответствующих Л. о. образует представление группы симметрии.

Конечномерный оператор 2550-71.jpg наз. сопряжённым к А, если матрицы этих операторов связаны соотношениями 2550-72.jpg т. е. матрица 2550-73.jpg получается из матрицы А в результате транспонирования и комплексного сопряжения. Если 2550-74.jpg=A то А наз. самосопряжённым или эрмитовым. Пример самосопряжённых конечномерных Л. о.- Паули матрицы, т. е. операторы спина в квантовой механике. Самосопряжённый Л. о. обладает важным свойством вещественности: ( е, Ае)- (е, Ае)2550-75.jpg. Все собств. значения самосопряжённого оператора также вещественны, а собств. векторы, отвечающие разл. собств. значениям, попарно ортогональны. Ортонормированный базис в конечномерном пространстве можно составить из собств. векторов e1, e2, ..., е n самосопряжённого Л. о. А. В "том базисе матрица Л. о. А диагональна: aij=2550-76.jpg

Произведение ( АВ )Л. о. А и В определяется результатом последоват. применения к вектору е операторов В и А, т. е. ( АВ)е=А (Be). Произведение операторов, вообще говоря, не перестановочно:2550-77.jpg Величина АВ-ВА=[ А , В]наз. коммутатором Л. о. А и В. Если Л.o. коммутируют, т. е. [ А, В] = 0, то Л. о. А и В можно одновременно привести к диагональному виду, т. е. в пространстве существует такой ортонормиров. базис, что каждый его элемент является собственным для А и для В.

Самосопряжённый Л. о. Р наз. проекционным оператором или проектором, если Р 2. Для каждого проектора найдётся такое подпространство Lp пространства L, что Ре=е, если е принадлежит Lp, и Ре=0, если е принадлежит ортогональному дополнению Lp. Всякий конечномерный самосопряжённый оператор А можно представить в виде

А =2550-78.jpg.

где суммирование проводится по всем собств. значениям 2550-79.jpg , а Р; - проектор на собств. подпространство, отвечающее 2550-80.jpg Это равенство наз. спектральным разложением конечномерного самосопряжённого оператора, оно позволяет строить разл. Ф-ции f(A )от самосопряжённого Л. о. A: f(A)- Всякий унитарный Л. о. U в конечномерном 2550-81.jpg пространстве допускает представление U=ехр(iA), где А - эрмитов Л. о. Если семейство U реализует представление группы симметрии, то соответствующее семейство самосопряжённых Л. о. А задаёт представление Ли алгебры этой группы.

Бесконечномерные пространства. В бесконечномерном гильбертовом пространстве Л. о., вообще говоря, нельзя определить на всех векторах. Обычно область определения D, не исчерпывая всего L, является всюду плотной (т. е. любой вектор из L можно с заданной точностью приблизить вектором из D). На всём пространстве можно задать только т. н. ограниченные (непрерывные) операторы. Л. о. А наз. ограниченным, если существует такая константа С, что для всех векторов е из D выполнено неравенство ( Ае, Ае)2550-82.jpg С (е, е). Для неограниченного Л. о. усложняется понятие сопряжённости (подробнее см. Эрмитов оператор). В бесконечномерном случае Л. о. помимо дискретного могут иметь и непрерывный спектр. Число 2550-83.jpgназ. точкой непрерывного спектра, если найдётся такая последовательность е1, е 2, ..., en, ... нормированных векторов, что все они ортогональны каждому собств. вектору оператора А, а при 2550-84.jpg норма векторов 2550-85.jpg стремится к нулю. Непрерывный и дискретный спектры оператора могут пересекаться. Объединение дискретного и непрерывного спектров паз. просто спектром. Спектр самосопряжённого Л. о. всегда веществен. Видоизменяется спектральное разложение самосопряжённого Л. о.: каждому интервалу вещественной оси от 2550-86.jpg до 2550-87.jpgсопоставляется нек-рый проектор 2550-88.jpg Подпространство, на к-рое проектирует этот проектор, содержит все собств. подпространства оператора А, отвечающие собств. числам 2550-89.jpg таким, что 2550-90.jpg а также подпространство, ответственное за появление непрерывного спектра в интервале от 2550-91.jpg до 2550-92.jpg

Оказывается, что А= где интеграл является пределом соответствующих 2550-93.jpg сумм Дарбу, а интегрирование ведётся по всей вещественной оси. Функция f(A) от самосопряжённого Л. о. А определяется интегралом 2551-1.jpg

В квантовой теории самосопряжённые Л. о. отвечают наблюдаемым физ. величинам. Процедура квантования сводится к замене евклидовых канонич. координат и импульсов такими самосопряжёнными Л. о., что их коммутаторы совпадают с соответствующими скобками Пуассона. Операторы других наблюдаемых величин выражают при помощи классич. 'ф-л через операторы координат и импульсов.

Лит.: Нейман И., Математические основы квантовой механики, пер. с нем., М., 1964; Дирак П., Принципы квантовой механики, пер. с англ., 2 изд., М., 1979; Кострикин А. И., Манин Ю. И., Линейная алгебра и геометрия, 2 изд., М., 1986; Рихтмайер Р., Принципы современной математической физики, пер. с англ., т. 1, М., 1982.

О. И. Завьялов.


Физическая энциклопедия. В 5-ти томах. — М.: Советская энциклопедия. Главный редактор А. М. Прохоров. 1988.



Наверх

Ротатор баннеров 468x60

Баннеров в ротаторе: 0   Смотреть все   Добавить баннер
 

 
Добавить баннер

Добавить баннер       Партнерка для Вашего сайта



Ротатор баннеров 88x31

Баннеров в ротаторе: 0   Смотреть все   Добавить баннер