Сопряжённые переменные

Сопряжённые переменные — пары переменных, математически взаимно связанные посредством преобразованием Фурье. или, вообще говоря, посредством двойственности Понтрягина. Отношения двойственности естественным образом приводят к соотношению неопределенности — в физике называемое принципом неопределённости Гейзенберга — между ними. В математических терминах сопряженные переменные являются частью симплектического базиса, а отношение неопределённости соответствует симплектической форме. Кроме того, сопряженные переменные связаны с помощью теоремы Нётер, которая гласит, что если свойства замкнутой физической системы инвариантны относительно изменения одной из сопряженных переменных, то другая сопряженная переменная в этой физической системе сохраняется со временем.

ПримерыПравить

Существует много типов канонически сопряженных переменных:

• Время и частота: чем дольше сохраняется музыкальная нота, тем точнее мы знаем ее частоту, но она длится дольше и, следовательно, является более распределенным событием. И наоборот, очень короткая музыкальная нота более локализована во времени, но нельзя очень точно определить ее частоту (становится просто щелчком).
• Эффект Доплера: чем точнее мы знаем расстояние до цели, тем менее точно мы знаем скорость её приближения или удаления, и наоборот. В этом случае двумерная функция времени и частоты известна как функция неопределённости радара или "диаграмма неопределённости радара".
• Поверхностная энергия: γ dA (γ = Поверхностное натяжение; A = площадь поверхности).
• Упругое растяжение: F dL (F = упругая сила; L длина растяжения).

Производные действияПравить

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

• "энергия" частицы при определенном событии является отрицательной производной действия вдоль траектории этой частицы, заканчивающейся в этом событии, по отношению к "времени" события.
• "импульс" частицы является производной от ее действия относительно ее "положение".
• "угловой момент" частицы является производной от ее действия относительно ее "углового положения".
• "Массовый момент" ($\mathbf{N}=t\mathbf{p}-<!--\; -\; -->E\mathbf{r}$$\mathbf {N} =t\mathbf {p} -E\mathbf {r}$ ) частицы является отрицательной производной ее действия по отношению к ее "скорости".
• "электрический потенциал" ($\mathrm{\phi <!--\; \phi \; -->}$$\varphi$ , электрическое напряжение) при событии является отрицательной производной от действия электромагнитного поля по отношению к плотности (свободного) "электрического заряда" при этом событии.
• "Векторный потенциал электромагнитного поля" ("'A"') при событии является производной действия электромагнитного поля по отношению к плотности (свободного) "электрического тока" при этом событии.
• "электрическое поле" ("'E"') при событии является производной действия электромагнитного поля по отношению к "поляризованности " диэлектрика при этом событии.
• "магнитная индукция" ("'B"') при событии является производной действия электромагнитного поля по отношению к "намагниченности" при этом событии.
• Ньютоновский "гравитационный потенциал" при событии является отрицательным значением производной от действия ньютоновского гравитационного поля по отношению к "плотности массы" при этом событии.

Квантовая механикаПравить

В квантовой механике сопряженные переменные реализуются как пары наблюдаемых, операторы которых не коммутируют. В общепринятой терминологии они называются "несовместимыми наблюдаемыми". Рассмотрим в качестве примера измеримые величины, заданные координатой $\left(x\right)$$\left(x\right)$  и импульсом $\left(p\right)$$\left(p\right)$ . В квантово-механическом формализме две наблюдаемые $x$$x$  и $p$$p$  соответствуют операторам $\stackrel{^<!--\; ^\; -->}{x}$${\widehat {x}}$  и $\stackrel{^<!--\; ^\; -->}{p}$${\widehat {p\,}}$ , которые обязательно удовлетворяют каноническому коммутационному соотношению:

$$[\stackrel{^<!--\; ^\; -->}{x},\stackrel{^<!--\; ^\; -->}{p}]=\stackrel{^<!--\; ^\; -->}{x}\stackrel{^<!--\; ^\; -->}{p}-<!--\; -\; -->\stackrel{^<!--\; ^\; -->}{p}\stackrel{^<!--\; ^\; -->}{x}=i\mathrm{\hslash <!--\; \hslash \; -->}$$

 

Для каждого ненулевого коммутатора двух операторов существует "принцип неопределенности", который в нашем настоящем примере может быть выражен в виде:

$$\mathrm{\Delta <!--\; \Delta \; -->}x\mathrm{\Delta <!--\; \Delta \; -->}p\ge <!--\; \ge \; -->\mathrm{\hslash <!--\; \hslash \; -->}/2$$

 

В этом нечетко определенном обозначении $\mathrm{\Delta <!--\; \Delta \; -->}x$$\Delta x$  и $\mathrm{\Delta <!--\; \Delta \; -->}p$$\Delta p$  обозначим "неопределенность" в одновременной спецификации $x$$x$  и $p$$p$ . Более точное и статистически полное утверждение, включающее стандартное отклонение $\mathrm{\sigma <!--\; \sigma \; -->}$$\sigma$ , гласит:

$${\mathrm{\sigma <!--\; \sigma \; -->}}_x{\mathrm{\sigma <!--\; \sigma \; -->}}_p\ge <!--\; \ge \; -->\mathrm{\hslash <!--\; \hslash \; -->}/2$$

 

В более общем смысле, для любых двух наблюдаемых $A$$A$  и $B$$B$ , соответствующих операторам $\stackrel{^<!--\; ^\; -->}{A}$${\widehat {A}}$  и $\stackrel{^<!--\; ^\; -->}{B}$${\widehat {B}}$ , обобщенный принцип неопределенности задается формулой:

$${{\mathrm{\sigma <!--\; \sigma \; -->}}_A}^2{{\mathrm{\sigma <!--\; \sigma \; -->}}_B}^2\ge <!--\; \ge \; -->{\left(\frac{1}{2i}⟨\left[\stackrel{^<!--\; ^\; -->}{A},\stackrel{^<!--\; ^\; -->}{B}\right]⟩\right)}^2$$

 

В соответствии с ним можно выбрать два оператора, присвоив каждому математическую форму, такую, чтобы пара удовлетворяла ему. Этот выбор операторов отражает одно из многих эквивалентных (изоморфных) представлений общей фундаментальной алгебраической структуры, которая описывает квантовую механику (алгебра Ли Гейзенберга ${\mathfrak{h}}_3$${\mathfrak {h}}_{3}$ , соответствующая группа называется группой Гейзенберга $H_3$$H_3$ ).

Механика жидкостиПравить

В гамильтоновой механике жидкости и квантовой гидродинамике само "действие" (или "потенциал скорости") является сопряженной переменной "плотности" (или "плотности вероятности).

См. такжеПравить

• Канонические координаты