Дэвид Бом в разделе (4.5) своей замечательной монографии « Квантовая теория» после определения обычной функции вероятности плотности п ( х , т ) = ψ * ψ для уравнения Шредингера для свободной частицы в одном измерении:
P никогда не бывает отрицательным;
вероятность велика, когда | ψ | большой и маленький, когда | ψ | маленький;
значение п не зависит критически от любой величины, которая, как известно на общих физических основаниях, не имеет значения: в частности, это подразумевает (поскольку мы имеем дело с нерелятивистской теорией), что п не должно зависеть от того, где выбран ноль энергии;
∫ п ( х , т ) д Икс сохраняется со временем, так что в конечном итоге нормализации п мы можем выбрать ∫ п ( х , т ) д х = 1 для всех T ,
Бом не дает никаких математических аргументов вообще, и на самом деле это утверждение кажется мне совершенно неоправданным.
Кто-то знает причину, почему это должно быть правдой?
ПРИМЕЧАНИЕ (1). Поскольку уравнение Шредингера является уравнением первого порядка, эволюция времени ψ фиксируется с учетом начального состояния ψ ( х , 0 ) : это причина, почему мы требуем, чтобы вероятность п ( х , т ) зависит от состояния во время T , это ψ ( х , т ) и его пространственные производные. Чтобы быть явным, требование, чтобы п ( х , т ) является функцией только ψ ( х , т ) и частные производные ψ в отношении Икс все вычислено в ( х , т ) означает, что существует функция п такой, что п ( x , t ) = p ( ψ ( x , t ) , ∂ ψ ∂ Икс ( х , т ) . , , ∂ м ψ ∂ Икс м ( х , т ) ) ,
ЗАМЕТКА 2). Тот, что приведен выше, не является математически строгой формулировкой проблемы, но тот, который первоначально дал Бом. Таким образом, мы можем свободно прилагать строгий математический смысл к различным свойствам. В частности, что касается свойства (iv), мы можем сформулировать его в другой (не эквивалентной) математической форме, требуя соблюдения локального закона сохранения в том смысле, что существует функция J так, что если мы положим J ( x , t ) = j ( ψ ( x , t ) , ∂ ψ ∂ Икс ( х , т ) . , , ∂ м ψ ∂ Икс м ( х , т ) ) , мы получили
ЗАМЕТКА 3). Подобные вопросы поднимаются в постах « Отсутствие вероятности для уравнений реальной волны» и « Отсутствие вероятности для уравнения Клейна-Гордона» . Предположительно, Бом имел в виду один и тот же математический аргумент для решения этих трех проблем, поэтому реальный вопрос заключается в следующем: какой математический инструмент он намеревался использовать? Может быть, какое-то понятие из классической теории поля или теории уравнений с частными производными?
Предположения Бома не являются математически точными, поэтому вы должны приложить к ним математическую интерпретацию (особенно утверждения 2 и 3 ). Поскольку вы сами этого не сделали, я постараюсь истолковать их так, как мне кажется.
Определение для п : Потребуем, чтобы плотность вероятности п ψ ( х , т ) любой гладкой функции ψ быть локальной функцией своих частных производных в ( х , т ) ,
Более формально, пусть ψ ( х , т ) быть гладкой функцией и пусть J ∞ х , т ψ обозначим бесконечное расширение струи ψ в ( х , т ) его формальное разложение в ряд Тейлора о ( х , т ) , Тогда мы можем написать
По сути, это определение, которое вы предложили для п , На самом деле, это уже проблематично, поскольку нам обязательно придется работать с волновыми функциями, которые не являются гладкими. Поэтому уже сейчас проблематично требовать, чтобы п зависят от высших производных, поскольку они даже не гарантированы. Тем не менее, мы допустим произвольную зависимость от более высоких частичностей и применим условия согласованности для п оценивается по гладким функциям. Затем мы можем восстановить п уникально для произвольного L 2 функции непрерывности.
Предположение 1: функция п является реальным и неотрицательным.
Предположение 2: плотность вероятности п ψ ( х , т ) является неубывающей функцией | ψ ( х , т ) | т.е.
Предположение 3: функция п инвариантен относительно глобальной фазы, т.е.
Предположение 4: Если ψ ( х , т ) является нормализованной функцией, то п ψ ( х , т ) аналогично нормализованная функция.
Давайте рассмотрим предположения одно за другим. предположение 1 является относительно простым, поскольку плотности вероятности должны быть действительными и неотрицательными.
Свойство 2 это, на мой взгляд, самый трудный для правильной интерпретации. То, как я интерпретировал собственность в Успенском 2 это означает, что величина плотности вероятности в точке напрямую отражает величину волновой функции в этой точке. Это то, что я считаю самой прямой транскрипцией второго свойства Бома.
Это предположение на самом деле чрезвычайно сильно, и оно обязательно подразумевает, что п не зависит от всех производных ψ , Это в основном потому, что значение гладкой функции и всех ее производных может быть независимо задано в любой точке. На это уже указывал @Kostas.
Лемма. Предположим, что p ( j ∞ х , т ψ ) является непрерывной неубывающей функцией | ψ ( х , т ) | , затем п не зависит от всех производных ψ т.е.
Доказательство: по теореме Бореля , для любой сложной последовательности ( а н , м ) ∞ n , m = 0 , и любая точка ( х , т ) существует гладкая функция ψ такой, что
Предположим, что п не является постоянным на некотором частичном ∂ я ψ , Тогда по теореме Бореля мы можем найти гладкие функции ψ 1 и ψ 2 так что все коэффициенты Тейлора ψ 1 и ψ 2 согласен в ( х , т ) кроме ∂ я , затем
Поэтому мы будем предполагать, что п ψ ( x , t ) = p ( ψ ( x , t ) ) впредь. Обратите внимание, что на данный момент нам больше не нужно предположение, что ψ гладкий
предположение 3 это также просто прямая транскрипция свойства 3. Если мы меняем энергию, мы эффективно меняем волновую функцию с помощью глобального фазового фактора. е я E T , Поскольку мы всегда можем сделать волновую функцию реальной и положительной в любой точке ( х , т ) Из соответствующего выбора глобального фазового фактора следует, что п не зависит от фазы ψ ( х , т ) т.е.
Обратите внимание, что это предположение на самом деле совершенно не нужно. Мы могли бы вывести вышеприведенное уравнение, слегка модифицировав нашу лемму, используя предположение 2 , Я сохраню это только ради полноты.
Наконец, мы приходим к предположению 4 , Заявление Бома о его собственности 4 является то, что вероятности должны быть нормализованы всегда, а именно для всех T мы должны иметь
Это имеет определенные двусмысленности, однако. Какую эволюцию времени мы должны использовать? Наивно, любой самосопряженный оператор ЧАС со спектром, который ограничен снизу (так что существует самый низкий энергетический уровень), должен быть в состоянии служить действительным гамильтонианом. Если мы требуем, чтобы назначение ↦ ↦ P ψ быть универсально действительным, т. е. независимым от гамильтониана, то мы должны требовать, чтобы п ( х , т ) быть нормализованным относительно унитарной эволюции, порожденной любым гамильтонианом.
Можно показать, что с учетом любого унитарного U , существует некоторый допустимый (самосопряженный, ограниченный снизу) гамильтониан ЧАС такой, что U = е я H , На самом деле нам даже не нужно рассматривать множество всех допустимых гамильтонианов, а скорее просто множество всех ограниченных гамильтонианов в силу следующей теоремы.
Теорема: пусть ЧАС быть гильбертовым пространством и пусть U быть любым унитарным оператором на ЧАС , Тогда существует ограниченный самосопряженный оператор (с нормой не более π ) такой что
Доказательство. Это простое следствие функционального исчисления Бореля для ограниченных операторов, примененного к главной ветви логарифма. Смотрите здесь для полного доказательства. □
Теперь пусть ψ 1 ( х ) быть некоторой нормализованной волновой функцией. Предположим без ограничения общности, что п нормализуется так, чтобы
Физически это предположение, по сути, говорит о том, что мы должны иметь возможность изменять потенциал гамильтониана так, чтобы любая нормализованная волновая функция была произвольно близка к любой другой нормализованной волновой функции. поскольку п сохраняется в этой эволюции, она должна быть нормализована с учетом любой нормализованной волновой функции.
Обратите внимание, что это означает, что мы должны иметь р ( 0 ) = 0 , В противном случае р ( 0 ) > 0 даст дивергентный интеграл для любой нормализованной функции с компактным носителем ψ ,
Теперь давай Y > 0 , определять ψ Y ( х , т ) быть равным 1 / год √ для x ∈ ( 0 , y ) и ноль в другом месте. Тогда у нас есть
Это желаемое требование. Конечно, вы можете не согласиться с тем, как я интерпретировал некоторые высказывания Бома. Но, как вы сами сказали в этом вопросе, этим физическим свойствам должны быть присвоены строгие определения. Это просто то, что я чувствовал, чтобы быть самым верным.
(Я) Очевидно, п неотрицателен, так как * а = | а | 2 неотрицательно для всех комплексных чисел ,
(ii) Вероятность найти частицу в бесконечно малом интервале между Икс и х + д Икс дан кем-то п d х = | ψ ( х , т ) | 2 d Икс где эта вероятность явно велика для больших | ψ | и наоборот.
(iii) Действительно, можно доказать, что смещение нуля энергии на постоянную (т.е. В ( х ) → V ( х ) + V о , где В о постоянная) изменяет общую фазу волновой функции так, чтобы ψ ( x , t ) → ψ ( x , t ) exp ( - я V о т / ℏ ) , но это не влияет п , поскольку п новый = ψ * новый ψ новый = [ ψ * ехр ( + я V о т / ℏ ) ] [ ψ exp ( - я V о т / ℏ ) ] = ψ * ψ = P ,
(iv) Есть много способов доказать это; Один из способов - показать d d T ∫ + ∞ - ∞ ψ * ψ д х = 0 Вы можете сделать это, потянув производную внутри интеграла и применив правило произведения к d [ ψ * ψ ] d T и используя уравнение Шредингера и интегрирование по частям, чтобы доказать желаемый результат.
OP требует математического доказательства уникальности некоторых или всех свойств P, указанных Бомом. Легко видеть, что i), ii) и iii) могут быть нарушены по отдельности и даже вместе. Вот тривиальный пример: п = ( Ψ * Ψ + | ∂ Ψ | 2 ) 2 Это не удовлетворяет iv) конечно. Доказать, что такое выражение не удовлетворяет требованиям iv), сложно. Один из способов сделать это - предположить, что P является полиномиальной функцией от Ψ и ее производных (это в примере), и доказать, что все коэффициенты полинома равны нулю, кроме коэффициента слагаемого с Ψ * Ψ , Это глупый бизнес, но он может помочь вам, если вы пытаетесь понять, почему уравнение Шредингера является единственным возможным уравнением!
После долгих поисков в литературе я должен признать, что проблема установления единственности плотности вероятности для уравнения Шредингера, обсуждаемая Бомом, вызвала очень небольшой интерес. На самом деле единственная работа, которая явно имеет дело с этой проблемой, - это уникальность сохраняемых токов в квантовой механике , хотя проблема единственности ранее обсуждалась в контексте теории пилот-волн де Бройля-Бома (см. Цитируемые там статьи).
Холланд использует релятивистские соображения, чтобы показать единственность законсервированного тока для уравнения Клейна-Гордона, из которого он выводит в нерелятивистском пределе аналогичный результат единственности для уравнения Шредингера.
Во всяком случае, как тот же автор предложил мне в частном сообщении, более прямое доказательство может быть дано, если мы начнем непосредственно с уравнения Шредингера в случае потенциального В :
Это даст общий набор сохраняемых токов, и мы могли бы исследовать, является ли дополнительное предположение, что п должен зависеть только от ψ а не на его частных производных первого порядка (что является частным следствием свойства (ii), требуемого Бомом), в конечном итоге подразумевает уникальное выражение для п или нет. В последнем случае, чтобы получить уникальность, следует добавить какое-то другое условие (возможно, также полученное из свойства (ii), которое довольно расплывчато).
В любом случае, этот подход в любом случае будет страдать от недостатка общности, так как вы должны с самого начала предполагать, что п и J не зависят от частных производных ψ порядка, превышающего единицу, предположение, которое, по-видимому, полностью отсутствует в обсуждении Бома, хотя и весьма правдоподобное предположение по физическим соображениям (см. замечание, сделанное по этому поводу Холландом в его работе). По этой причине я совершенно уверен, что этот подход был не тот, который имел в виду Бом, когда делал свое заявление об уникальности, хотя я понятия не имею о том, какой аргумент он мог бы представить.
Авангард
Маурицио Барбато
Омар Нагиб
drvrm
knzhou