В квантовой механике математическое ожидание — это вероятностное ожидаемое значение результата (измерения) эксперимента. Его можно рассматривать как среднее всех возможных результатов измерения, взвешенное по их вероятности, и как таковое это не наиболее вероятное значение измерения; действительно, математическое ожидание может иметь нулевую вероятность появления (например, измерения, которые могут давать только целочисленные значения, могут иметь нецелое среднее значение). Это фундаментальная концепция во всех областях квантовой физики .
Рассмотрим оператор . Тогда математическое ожидание выражается в нотации Дирака с нормализованным вектором состояния .
В квантовой теории экспериментальная установка описывается измеряемой наблюдаемой и состоянием системы. Ожидаемое значение в состоянии обозначается как .
Математически — самосопряженный оператор в сепарабельном комплексном гильбертовом пространстве . В наиболее часто используемом случае в квантовой механике — это чистое состояние , описываемое нормализованным вектором [a] в гильбертовом пространстве. Ожидаемое значение в состоянии определяется как
Если рассматривается динамика , то либо вектор , либо оператор считаются зависящими от времени, в зависимости от того, используется ли картина Шредингера или картина Гейзенберга . Однако эволюция математического ожидания не зависит от этого выбора.
Если имеет полный набор собственных векторов с собственными значениями , то ( 1 ) можно выразить как [1]
Это выражение похоже на среднее арифметическое и иллюстрирует физический смысл математического формализма: собственные значения — это возможные результаты эксперимента, [b] и соответствующий им коэффициент — это вероятность того, что этот результат произойдет; ее часто называют вероятностью перехода .
Особенно простой случай возникает, когда является проекцией и, следовательно, имеет только собственные значения 0 и 1. Это физически соответствует типу эксперимента «да-нет». В этом случае математическое ожидание — это вероятность того, что результат эксперимента будет равен «1», и его можно вычислить как
В квантовой теории оператор также может иметь недискретный спектр, как, например, оператор положения в квантовой механике. Этот оператор имеет вполне непрерывный спектр с собственными значениями и собственными векторами, зависящими от непрерывного параметра . В частности, оператор действует на пространственный вектор как . [2] В этом случае вектор можно записать как комплексную функцию по спектру (обычно вещественной линии). Формально это достигается путем проектирования вектора состояния на собственные значения оператора, как и в дискретном случае . Бывает, что собственные векторы оператора положения образуют полную основу векторного пространства состояний и, следовательно, подчиняются соотношению полноты в квантовой механике:
Вышеупомянутое можно использовать для получения общего интегрального выражения ожидаемого значения ( 4 ) путем вставки идентификаторов в векторное выражение ожидаемого значения, а затем расширения в базисе позиций:
Где соотношение ортонормированности базисных векторов положения сводит двойной интеграл к одинарному. В последней строке модуль комплексной функции заменяется на , что является обычной заменой в квантово-механических интегралах.
Затем математическое ожидание может быть указано, где x не ограничено, как формула
Аналогичная формула справедлива для оператора импульса в системах, где он имеет непрерывный спектр.
Все приведенные выше формулы справедливы только для чистых состояний. В термодинамике и квантовой оптике важное значение также имеют смешанные состояния ; они описываются положительным оператором трассового класса , статистическим оператором или матрицей плотности . Тогда математическое ожидание можно получить как
В общем, квантовые состояния описываются положительными нормализованными линейными функционалами на множестве наблюдаемых, которое математически часто принимается за C*-алгебру . Тогда математическое ожидание наблюдаемой величины определяется выражением
Если алгебра наблюдаемых действует неприводимо в гильбертовом пространстве и является нормальным функционалом , то есть непрерывным в сверхслабой топологии , то ее можно записать как
предполагается самосопряженным оператором. В общем случае его спектр не будет ни вполне дискретным, ни вполне непрерывным. Тем не менее, можно записать в спектральном разложении :
В нерелятивистских теориях конечного числа частиц (квантовой механике в строгом смысле) рассматриваемые состояния обычно являются нормальными [ нужны разъяснения ] . Однако в других областях квантовой теории используются и ненормальные состояния: они возникают, например. в виде КМС-состояний в квантовой статистической механике бесконечно протяженных сред [3] и как заряженные состояния в квантовой теории поля . [4] В этих случаях математическое ожидание определяется только по более общей формуле ( 6 ).
В качестве примера рассмотрим квантовомеханическую частицу в одном пространственном измерении, в представлении конфигурационного пространства . Здесь гильбертово пространство — это пространство интегрируемых с квадратом функций на действительной прямой. Векторы представлены функциями , называемыми волновыми функциями . Скалярное произведение определяется выражением . Волновые функции имеют прямую интерпретацию как распределение вероятностей:
дает вероятность найти частицу в бесконечно малом интервале длины около некоторой точки .
В качестве наблюдаемой рассмотрим оператор положения , который действует на волновые функции следующим образом:
Ожидаемое значение или среднее значение измерений, выполненных на очень большом количестве идентичных независимых систем, будет определяться выражением
Ожидаемое значение существует только в том случае, если интеграл сходится, что не относится ко всем векторам . Это связано с тем, что оператор позиции не ограничен и должен выбираться из области определения .
В общем, математическое ожидание любой наблюдаемой величины можно вычислить, заменив ее соответствующим оператором. Например, для расчета среднего импульса используется оператор импульса в конфигурационном пространстве , . Явно его математическое ожидание равно
Не все операторы в целом обеспечивают измеримую ценность. Оператор, имеющий чистое реальное математическое ожидание, называется наблюдаемой, и его значение можно непосредственно измерить в эксперименте.
{{cite book}}
: CS1 maint: location missing publisher (link) CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link)Ожидаемое значение, в частности представленное в разделе «Формализм в квантовой механике», рассматривается в большинстве элементарных учебников по квантовой механике.
Для обсуждения концептуальных аспектов см.: