Спектр оператора: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Tosha (обсуждение | вклад) |
|||
(не показана 41 промежуточная версия 28 участников) | |||
Строка 1: | Строка 1: | ||
{{Значения|Спектр (значения)}} |
|||
'''Спектр оператора''' |
'''Спектр оператора''' — множество чисел, характеризующее [[линейный оператор]]. Применяется в [[линейная алгебра|линейной алгебре]], [[функциональный анализ|функциональном анализе]] и [[квантовая механика|квантовой механике]]. |
||
== Конечномерный случай == |
== Конечномерный случай == |
||
Пусть ''A'' |
Пусть ''A'' — оператор, действующий в конечномерном [[линейное пространство|линейном пространстве]] ''E''. |
||
Спектром оператора называется |
Спектром оператора (обычно обозначается <math>\sigma(A)</math>) называется множество его [[Собственные векторы, значения и пространства|собственных значений]]. |
||
Квадратную [[матрица (математика)|матрицу]] |
Квадратную [[матрица (математика)|матрицу]] порядка <math>n</math> можно рассматривать как линейный оператор в [[размерность пространства|''n''-мерном]] пространстве, что позволяет перенести на матрицы «операторные» термины. |
||
В этом случае говорят о ''спектре матрицы''. |
|||
== Общее определение == |
== Общее определение == |
||
Пусть ''A'' — оператор, действующий в [[банахово пространство|банаховом пространстве]] ''E'' над |
Пусть ''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 называется резольвентным множеством этого оператора, а дополнение резольвентного множества — спектром этого оператора . Спектр ограниченного оператора представляет собой компакт в или является пустым. Спектр линейного ограниченного оператора непуст.
Внутри спектра оператора можно выделять части, не одинаковые по своим свойствам. Одной из основных классификаций спектра является следующая:
- дискретным (точечным) спектром называется множество таких , при которых оператор не инъективен. Дискретный спектр является множеством всех собственных значений оператора A; в конечномерном случае присутствует только точечный спектр;
- непрерывным спектром называется множество значений , при которых резольвента определена на всюду плотном множестве в E, но не является непрерывной (то есть оператор инъективен, но не сюръективен, а его образ всюду плотен);
- остаточным спектром называется множество точек спектра, не входящих ни в дискретную, ни в непрерывную части (то есть оператор инъективен, не сюръективен, причем его образ не является всюду плотным).
Максимум модулей точек спектра оператора A называется спектральным радиусом этого оператора и обозначается через . При этом выполняется равенство .
В комплексном случае резольвента является голоморфной операторнозначной функцией на резольвентном множестве. В частности, при она может быть разложена в ряд Лорана с центром в точке .
Разность двух максимальных по абсолютной величине значений из спектра называется спектральной щелью (англ. spectral gap).
В квантовой механике
[править | править код]Спектр самосопряжённых операторов играет важную роль в квантовой механике, определяя множество возможных значений наблюдаемой при измерении. В частности, спектр гамильтониана определяет допустимые уровни энергии квантовой системы.
Непрерывный спектр в квантовой механике
[править | править код]Непрерывный спектр — это спектр значений физической величины, в котором в отличие от дискретного спектра значение этой величины определено для каждого собственного состояния системы, причем бесконечно малое изменение состояния системы приводит к бесконечно малому изменению физической величины. В качестве физической величины могут выступать: координата, импульс, энергия, орбитальный момент движения и т. д. Так как произвольная волновая функция может быть разложена в ряд по собственным функциям величины с дискретным спектром, то она может быть также разложена и в интеграл по полной системе собственных функций величины с непрерывным спектром.
См. также
[править | править код]Литература
[править | править код]- Математическая энциклопедия. — М.: Советская энциклопедия, 1984. — Т. 5 Слу — Я. — 1248 с.