Стартовая Предметный указатель Новости науки и техники
Новости науки и техники
Доступная практика научной коммуникации
Современные методы и средства научной коммуникации
Бесплатный открытый доступ к результатам научных исследований с правом законного их использования представляет актуальную и важную задачу научной коммуникации. При этом особый интерес представляет реализация практики открытого бесплатного доступа научных организаций и отдельных исследователей к онлайновым публикациям научных результатов. Далее...

Средства коммуникации

представлений теория

ПРЕДСТАВЛЕНИЙ ТЕОРИЯ в квантовой механике - изучает схемы конкретных реализаций квантовых наблюдаемых как самосопряжённых операторов ,действующих в гильбертовом пространстве, и состояний как векторов этого пространства.

Традиц. построение аппарата квантовой механики, восходящее к П. А. М. Дираку (Р. А. М. Dirac), состоит в обобщении введённого В. Гейзенбергом (W. Hei-senberg), М. Борном (М. Born) и П. Йорданом (P. Jordan) матричного описания физ. величин в абстрактную алгеб-раич. схему q-чисел, в к-рой операции дифференцирования по динамич. переменным классич. механики заменяются образованием коммутаторов с канонически сопряжёнными переменными. Для практич. вычислений нужно реализовать элементы этой алгебры операторами в гильбертовом пространстве - пространстве состояний. При этом элементам, имеющим физ. смысл,- квантовым наблюдаемым - должны отвечать самосопряжённые операторы, из собств. векторов к-рых можно набрать в пространстве состояний полную с и с т е-м у. Коммутирующие операторы, относящиеся к одновременно измеримым наблюдаемым ai (см. Неопределённостей соотношения ),обладают общей системой собств. векторов. Совокупность n независимых коммутирующих операторов Аi наз. полным набором, если любой оператор, коммутирующий со всеми Ai, является их ф-цией.

Пусть 4011-187.jpg- общая полная система собств. векторов такого набора:

4011-188.jpg

Тогда любой вектор 4011-189.jpg из пространства состояния 4011-190.jpg может быть разложен по базису4011-191.jpg

4011-192.jpg

(суммирование проводится по всем собств. значениям 4011-193.jpg , где4011-194.jpg наз. волновой функцией в 4011-195.jpg-представлении:

4011-196.jpg

причём скалярное произведение (..., ...) в4011-197.jpgопределено ф-лой

4011-198.jpg

Действие4011-199.jpgсводится в 4011-200.jpg-представлении к умножению на число:

4011-201.jpg

а для любого другого самосопряжённого оператора С выражается через матричные элементы

4011-202.jpg

в выбранном базисе:

4011-203.jpg

Из существования разл. полных наборов коммутирующих операторов вытекает возможность разл. представлений. Переход от одного представления к другому сводится к замене базиса в4011-204.jpg:

4011-205.jpg

При этом волновая ф-ция в 4011-206.jpg-представлении

4011-207.jpg

или


4011-208.jpg

связана с 4011-209.jpg унитарным преобразованием:

из свойств ортонормированности базисов вытекает

4011-210.jpg

или

4011-211.jpg

Матричные элементы операторов преобразуются при этом по ф-ле

4011-212.jpg

или

4011-213.jpg

Благодаря унитарности преобразования старая и новая системы матричных элементов и волновых ф-ций физически эквивалентны: спектры операторов, ср. значения и вероятности переходов совпадают.

Унитарные преобразования являются квантовым аналогом классич. канонич. преобразований. Эта аналогия ис сводится, однако, к взаимно однозначному соответствию. С одной стороны, согласно принципу неопределённости, точные значения в данном представлении может принимать только половина квантовых наблюдаемых, причём имеется значит. произвол в выборе этой Головины. Поэтому число квантовых представлений значительно больше числа наборов классич. канонич. переменных. С др. стороны, не все наборы классич. канонич. переменных имеют квантовый аналог. Простейшим примером служат переменные действие - угол: в отличие от действия, квантовый аналог угла не существует как самосопряжённый оператор.

Описанная выше "идеальная" схема реализуется лишь в простейшем случае операторов с чисто точечным спектром. В действительности уже такие естеств. квантовые наблюдаемые, как координаты и импульсы, имеют непрерывный спектр и представлены неогранич. операторами. Собств. ф-ции неогранич. операторов не принадлежат гильбертову пространству и оказываются обобщёнными функциями. Сами эти операторы хорошо определены не на всём4011-214.jpg, а лишь на его плотном подмножестве, на к-ром указанные обобщённые ф-ции являются линейными функционалами. При этом проблема квантования ставится как задача конструирования представлений канонических перестановочных соотношений в4011-215.jpg.

В простом, но нетривиальном примере бесструктурной частицы независимыми наблюдаемыми служат координаты4011-216.jpgи импульсы4011-217.jpg(i = 1, 2, 3), подчиняющиеся перестановочным соотношениям Гейзенберга:

4011-218.jpg

В координатном представлении в качестве полного набора коммутирующих операторов выбираются 4011-219.jpg Пространством состояний служит пространство 4011-220.jpg) квадратично интегрируемых комплекснозначных ф-ций4011-221.jpgсо скалярным произведением

4011-222.jpg

Действие операторов4011-223.jpgзадаётся ф-лами

4011-224.jpg

и, вообще говоря, выводит ф-ции из4011-225.jpg. Хорошо определены эти операторы на множестве D бесконечно дифференцируемых ф-ций, убывающих на бесконечности быстрее любой степени: действие 4011-226.jpg и любых их целых положит. степеней не выводит из D. В D легко проверяется самосопряжённость операторов и неприводимость их представления (т. е. что любой коммутирующий с4011-227.jpg и4011-228.jpgоператор кратен единичному). Общая полная система собств. ф-ций операторов4011-229.jpg (с собств. значениями 4011-230.jpg имеет вид

4011-231.jpg

где 4011-232.jpg- введённая для описания непрерывного спектра 4011-233.jpg-функция Дирака. В этом примере легко находится и соответствующая система собств. ф-ций операторов4011-234.jpg

4011-235.jpg

Хотя первая система - обобщённые, а вторая - обычные ф-ции, обе они не принадлежат4011-236.jpg, т. е. не квадратично интегрируемы.

Тому же выбору классич. канонич. переменных отвечает импульсное представление, в к-ром полным набором коммутирующих наблюдаемых служат операторы4011-237.jpg. Элементами4011-238.jpgявляются теперь ф-ции 4011-239.jpg из 4011-240.jpg, действие операторов задано ф-лами

4011-241.jpg

а их собств. ф-ции имеют вид

4011-242.jpg

т. е. опять не принадлежат4011-243.jpg

Ф-ции4011-244.jpgсвязаны с4011-245.jpg преобразованием Фурье

4011-246.jpg

к-рое выглядит как действие на 4011-247.jpg интегрального оператора U; обратное преобразование получается действием сопряжённого оператора:4011-248.jpg Благодаря равенству Парсеваля


4011-249.jpg

этот оператор унитарен, т. е. координатное и импульсное представления унитарно эквивалентны.

Унитарная эквивалентность характерна для любой квантовомеханич. системы с конечным числом степеней свободы: по теореме фон Неймана - Стоуна неприводимое представление канонич. перестановочных соотношений единственно с точностью до унитарного преобразования. Выбор представления диктуется соображениями удобства и простоты в конкретной физ. ситуации. Помимо координатного и импульсного представлений наиб. употребительны: представление, где полным набором операторов служат операторы Гамильтона Я, квадрата момента4011-250.jpgи его проекции на ось4011-251.jpg (в задачах о частице в центр. поле); Фока представление (в задачах, где система трактуется как набор слабо взаимодействующих осцилляторов); голоморфное представление ( в описании когерентных оптич. пучков и аналогичных систем) и т. д.

Для систем с бесконечным числом степеней свободы теорема фон Неймана - Стоуна неприменима, и существует бесконечное множество унитарно неэквивалентных представлений канонич. перестановочных соотношений. Необходимость рассмотрения таких бесконечномерных систем объясняется двумя обстоятельствами: для квантовой теории поля - реальностью этих систем, полей физических; для статистич. физики - отсутствием тео-ретич. методов описания релаксации к равновесному состоянию для конечномерных систем, отсутствием фазовых переходов в таких системах. Соответствующее матем. оформление весьма сложно и с необходимостью использует нефоковские представления перестановочных соотношений. К--л. законченной схемы, позволяющей описать реальные физ. системы строго, пока нет, хотя рассмотрены мн. примеры, моделирующие ту или иную сторону реальной ситуации. Большинство же прикладных (с точки зрения П. т.) задач использует возмущений теорию, основанную на фоковском представлении канонич. перестановочных соотношений.

Лит.: Дирак П. А. М., Принципы квантовой механики, пер, с англ., 2 изд., М., 1979; Фридрихе К. О., Возмущение спектра операторов в гильбертовом пространстве, пер. с англ., М., 1969; Рюэль Д., Статистическая механика, пер. с англ., М., 1971; Завьялов О. И., Сушко В. Н., Неэквивалентные представления соотношений коммутации в физике бесконечных систем, в сб.: Статистическая физика и квантовая теория поля, М., 1973; Медведев Б. В., Начала теоретической физики, М., 1977; Фаддеев Л. Д., Якубовский О. А., Лекции по квантовой механике для студентов-математиков, Л., 1980. Б. В. Медведев, В. П. Павлов.

  Предметный указатель