Спектр оператора: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
 
(не показана 41 промежуточная версия 28 участников)
Строка 1: Строка 1:
{{Значения|Спектр (значения)}}
'''Спектр оператора''' — множество чисел, характеризующее [[линейный оператор]]. Применяется в [[линейная алгебра|линейной алгебре]], [[функциональный анализ|функциональном анализе]] и [[квантовая механика|квантовой механике]].
'''Спектр оператора''' — множество чисел, характеризующее [[линейный оператор]]. Применяется в [[линейная алгебра|линейной алгебре]], [[функциональный анализ|функциональном анализе]] и [[квантовая механика|квантовой механике]].


== Конечномерный случай ==
== Конечномерный случай ==
Пусть ''A'' — оператор, действующий в конечномерном [[линейное пространство|линейном пространстве]] ''E''.
Пусть ''A'' — оператор, действующий в конечномерном [[линейное пространство|линейном пространстве]] ''E''.
Спектром оператора называется [[множество]] всех его [[Собственные векторы, значения и пространства|собственных значений]].
Спектром оператора (обычно обозначается <math>\sigma(A)</math>) называется множество его [[Собственные векторы, значения и пространства|собственных значений]].


Квадратную [[матрица (математика)|матрицу]] n×n можно рассматривать как линейный оператор в [[размерность пространства|n-мерном]] пространстве, что позволяет перенести на матрицы «операторные» термины. В таком случае говорят о ''спектре матрицы''.
Квадратную [[матрица (математика)|матрицу]] порядка <math>n</math> можно рассматривать как линейный оператор в [[размерность пространства|''n''-мерном]] пространстве, что позволяет перенести на матрицы «операторные» термины.
В этом случае говорят о ''спектре матрицы''.


== Общее определение ==
== Общее определение ==
Пусть ''A'' — оператор, действующий в [[банахово пространство|банаховом пространстве]] ''E'' над [[поле (алгебра)|полем]] k. Число λ называется ''регулярным'' для оператора ''A'', если оператор <math>R(\lambda)=(A - \lambda I)^{-1}</math>, называемый [[Резольвента_линейного_оператора|резольвентой]] оператора ''A'', определён на всём ''E'' и [[непрерывный оператор|непрерывен]]. Множество регулярных значений оператора ''A'' называется '''резольвентным множеством''' этого оператора, а [[дополнение (теория множеств)|дополнение]] резольвентного множества — '''спектром''' этого оператора. Спектр оператора представляет собой непустой<ref>
Пусть ''A'' — оператор, действующий в [[банахово пространство|банаховом пространстве]] ''E'' над <math>\mathbb C</math>. Число λ называется ''регулярным'' для оператора ''A'', если оператор <math>R(\lambda)=(A - \lambda I)^{-1}</math>, называемый [[Резольвента линейного оператора|резольвентой]] оператора ''A'', определён на всём ''E'' и [[непрерывный оператор|непрерывен]]. Множество регулярных значений оператора ''A'' называется '''резольвентным множеством''' этого оператора, а [[дополнение (теория множеств)|дополнение]] резольвентного множества — '''спектром''' этого оператора <math>\sigma(A)</math>. Спектр ограниченного оператора представляет собой [[Компактное пространство|компакт]] в <math>\mathbb C</math> или является пустым. Спектр [[Ограниченный линейный оператор|линейного ограниченного оператора]] непуст.
При условиях:
* Во-первых, поле k является [[алгебраически замкнутое поле|алгебраически замкнутым]] (например, поле комплексных чисел);
* Во-вторых, пространство ''E'' имеет размерность больше [[0 (число)|нуля]].
</ref> [[компакт]] в k. Обычно в качестве k рассматривают [[комплексная плоскость|комплексную плоскость]] <math>\mathbb C</math>.


Внутри спектра оператора можно выделять части, не одинаковые по своим свойствам. Одной из основных '''классификаций спектра''' является следующая:
Внутри спектра оператора можно выделять части, не одинаковые по своим свойствам. Одной из основных '''классификаций спектра''' является следующая:
#''дискретным (точечным) спектром'' называется множество всех собственных значений оператора ''A'' только точечный спектр присутствует в конечномерном случае;
# ''дискретным (точечным) спектром'' <math>\sigma_p(A)</math> называется множество таких <math>\lambda</math>, при которых оператор <math>A - \lambda I</math> не [[Инъекция (математика)|инъективен]]. Дискретный спектр является множеством всех собственных значений оператора ''A''; в конечномерном случае присутствует только точечный спектр;
#''непрерывным спектром'' называется множество значений <math>\lambda</math>, при которых резольвента <math>(A - \lambda I)^{-1}</math> определена на [[всюду плотное множество|всюду плотном множестве]] в ''E'', но не является непрерывной;
# ''непрерывным спектром'' <math>\sigma_c(A)</math> называется множество значений <math>\lambda</math>, при которых резольвента <math>(A - \lambda I)^{-1}</math> определена на [[всюду плотное множество|всюду плотном множестве]] в ''E'', но не является непрерывной (то есть оператор <math>A - \lambda I</math> инъективен, но не [[Сюръекция|сюръективен]], а его образ всюду плотен);
#''остаточным спектром'' называется множество точек спектра, не входящих ни в дискретную, ни в непрерывную части.
# ''остаточным спектром'' <math>\sigma_r(A)</math> называется множество точек спектра, не входящих ни в дискретную, ни в непрерывную части (то есть оператор <math>A - \lambda I</math> инъективен, не сюръективен, причем его образ не является всюду плотным).


Максимум [[абсолютная величина|модулей]] точек спектра оператора ''A'' называется ''спектральным радиусом'' этого оператора и обозначается через <math>r(A)</math>. При этом выполняется равенство
Максимум [[абсолютная величина|модулей]] точек спектра оператора ''A'' называется ''спектральным радиусом'' этого оператора и обозначается через <math>r(A)</math>. При этом выполняется равенство
<math>r(A) = \lim_{n \to \infty} \|A^n\|^{1/n}</math>.
<math>r(A) = \lim_{n \to \infty} \|A^n\|^{1/n}</math>.


В комплексном случае резольвента является [[голоморфная функция|голоморфной]] операторнозначной функцией на резольвентном множестве. В частности, при <math>\lambda>r(A)</math> она может быть разложена в [[ряд Лорана]] с центром в точке <math>z=0</math>.
В комплексном случае резольвента является [[голоморфная функция|голоморфной]] операторнозначной функцией на резольвентном множестве. В частности, при <math>\lambda>r(A)</math> она может быть разложена в [[ряд Лорана]] с центром в точке <math>z=0</math>.


Разность двух максимальных по абсолютной величине значений из спектра называется спектральной щелью ({{lang-en|spectral gap}}).
=== примечания ===
<references />


== В квантовой механике ==
=== В квантовой механике ===
Спектр [[самосопряжённый оператор|самосопряжённых операторов]] играет важную роль в [[квантовая механика|квантовой механике]], определяя множество возможных значений [[квантовая наблюдаемая|наблюдаемой]] при [[измерение (квантовая механика)|измерении]]. В частности, спектр [[гамильтониан (квантовая механика)|гамильтониана]] определяет допустимые [[уровни энергии]] [[квантовая система|квантовой системы]].
Спектр [[самосопряжённый оператор|самосопряжённых операторов]] играет важную роль в [[квантовая механика|квантовой механике]], определяя множество возможных значений [[квантовая наблюдаемая|наблюдаемой]] при [[измерение (квантовая механика)|измерении]]. В частности, спектр [[гамильтониан (квантовая механика)|гамильтониана]] определяет допустимые [[уровни энергии]] [[квантовая система|квантовой системы]].


===Непрерывный спектр===
=== Непрерывный спектр в квантовой механике===
Непрерывный спектр — это [[Спектр оператора|спектр]] значений физической величины, в котором в отличие от дискретного спектра значение этой величины определено для каждого собственного состояния системы, причем бесконечно малое изменение состояния системы приводит к бесконечно малому изменению физической величины. В качестве физической величины могут выступать: координа, импульс, энергия, орбитальный момент движения и т. д. Так как произвольная [[Волновая функция|волновая функция]] '''Ψ''' может быть разложена в ряд по собственным функциям величины с дискретным спектром, то она может быть также разложена и в интеграл по полной системе собственных функций величины с непрерывным спектром.
Непрерывный спектр — это спектр значений физической величины, в котором в отличие от дискретного спектра значение этой величины определено для каждого собственного состояния системы, причем бесконечно малое изменение состояния системы приводит к бесконечно малому изменению физической величины. В качестве физической величины могут выступать: координата, импульс, энергия, орбитальный момент движения и т. д. Так как произвольная [[волновая функция]]
<math> \Psi </math> может быть разложена в ряд по собственным функциям величины с дискретным спектром, то она может быть также разложена и в интеграл по полной системе собственных функций величины с непрерывным спектром.


== См. также ==
== См. также ==
Строка 37: Строка 35:
* [[Спектр алгебры]]
* [[Спектр алгебры]]


== Ссылки ==
== Литература ==


* {{книга
[[Категория:Функциональный анализ]]
|редактор = Виноградов И. М.
|заглавие = Математическая энциклопедия
|место = М.
|издательство = Советская энциклопедия
|год = 1984
|страниц = 1248
|том = 5 Слу — Я
}}

[[Категория:Теория операторов]]
[[Категория:Матрицы]]
[[Категория:Матрицы]]
[[Категория:Квантовая механика]]
[[Категория:Квантовая механика]]
[[Категория:Спектр по типу]]
[[Категория:Спектр по типу]]
[[Категория:Спектральная теория]]

[[de:Spektrum (Operatortheorie)]]
[[en:Spectrum (functional analysis)]]
[[es:Espectro de un operador]]
[[fa:طیف (آنالیز تابعی)]]
[[fr:Spectre d'un opérateur linéaire]]
[[he:ספקטרום (מתמטיקה)]]
[[it:Spettro (matematica)]]
[[ja:スペクトル (関数解析学)]]
[[nl:Spectrum (functionaalanalyse)]]
[[pl:Widmo (matematyka)]]
[[pt:Espectro (matemática)]]
[[sv:Spektrum (funktionalanalys)]]
[[uk:Спектр оператора]]

Текущая версия от 16:11, 2 января 2023

Спектр оператора — множество чисел, характеризующее линейный оператор. Применяется в линейной алгебре, функциональном анализе и квантовой механике.

Конечномерный случай

[править | править код]

Пусть A — оператор, действующий в конечномерном линейном пространстве E. Спектром оператора (обычно обозначается ) называется множество его собственных значений.

Квадратную матрицу порядка можно рассматривать как линейный оператор в n-мерном пространстве, что позволяет перенести на матрицы «операторные» термины. В этом случае говорят о спектре матрицы.

Общее определение

[править | править код]

Пусть A — оператор, действующий в банаховом пространстве E над . Число λ называется регулярным для оператора A, если оператор , называемый резольвентой оператора A, определён на всём E и непрерывен. Множество регулярных значений оператора A называется резольвентным множеством этого оператора, а дополнение резольвентного множества — спектром этого оператора . Спектр ограниченного оператора представляет собой компакт в или является пустым. Спектр линейного ограниченного оператора непуст.

Внутри спектра оператора можно выделять части, не одинаковые по своим свойствам. Одной из основных классификаций спектра является следующая:

  1. дискретным (точечным) спектром называется множество таких , при которых оператор не инъективен. Дискретный спектр является множеством всех собственных значений оператора A; в конечномерном случае присутствует только точечный спектр;
  2. непрерывным спектром называется множество значений , при которых резольвента определена на всюду плотном множестве в E, но не является непрерывной (то есть оператор инъективен, но не сюръективен, а его образ всюду плотен);
  3. остаточным спектром называется множество точек спектра, не входящих ни в дискретную, ни в непрерывную части (то есть оператор инъективен, не сюръективен, причем его образ не является всюду плотным).

Максимум модулей точек спектра оператора A называется спектральным радиусом этого оператора и обозначается через . При этом выполняется равенство .

В комплексном случае резольвента является голоморфной операторнозначной функцией на резольвентном множестве. В частности, при она может быть разложена в ряд Лорана с центром в точке .

Разность двух максимальных по абсолютной величине значений из спектра называется спектральной щелью (англ. spectral gap).

В квантовой механике

[править | править код]

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

Непрерывный спектр в квантовой механике

[править | править код]

Непрерывный спектр — это спектр значений физической величины, в котором в отличие от дискретного спектра значение этой величины определено для каждого собственного состояния системы, причем бесконечно малое изменение состояния системы приводит к бесконечно малому изменению физической величины. В качестве физической величины могут выступать: координата, импульс, энергия, орбитальный момент движения и т. д. Так как произвольная волновая функция может быть разложена в ряд по собственным функциям величины с дискретным спектром, то она может быть также разложена и в интеграл по полной системе собственных функций величины с непрерывным спектром.

Литература

[править | править код]
  • Математическая энциклопедия. — М.: Советская энциклопедия, 1984. — Т. 5 Слу — Я. — 1248 с.