В физике , то рецидивы Пуанкаре теорема утверждает , что некоторые системы будут, после достаточно долгого , но конечное время возвращения в состояние сколь угодно близко к (для непрерывных государственных систем), или точно так же , как (для дискретных состояния систем), их первоначальное состояние .
Время повторения Пуанкаре - это промежуток времени, прошедший до повторения; это время может сильно варьироваться в зависимости от точного исходного состояния и требуемой степени близости. Результат применим к изолированным механическим системам с некоторыми ограничениями, например, все частицы должны быть связаны с конечным объемом. Теорема обычно обсуждается в контексте эргодической теории , динамических систем и статистической механики . Системы, к которым применима теорема Пуанкаре о возвращении, называются консервативными системами .
Теорема названа в честь Анри Пуанкаре , который обсуждал ее в 1890 году [1] [2] и доказал Константин Каратеодори с использованием теории меры в 1919 году. [3] [4]
Точная формулировка
Любая динамическая система, определяемая обыкновенным дифференциальным уравнением, определяет карту потока f t, отображающую фазовое пространство на себя. Система называется сохраняющей объем, если объем множества в фазовом пространстве инвариантен относительно потока. Например, все гамильтоновы системы сохраняют объем в силу теоремы Лиувилля . Теорема такова: если поток сохраняет объем и имеет только ограниченные орбиты, то для каждого открытого множества существуют орбиты, которые пересекают множество бесконечно часто. [5]
Обсуждение доказательств
Доказательство, говоря качественно, опирается на две посылки: [6]
- Можно установить конечную верхнюю границу для общего потенциально доступного объема фазового пространства. Для механической системы это ограничение может быть обеспечено требованием, чтобы система содержалась в ограниченной физической области пространства (чтобы она не могла, например, выбрасывать частицы, которые никогда не возвращаются) - в сочетании с сохранением энергии это блокирует систему в конечную область в фазовом пространстве.
- Фазовый объем конечного элемента в динамике сохраняется. (для механической системы это обеспечивается теоремой Лиувилля )
Представьте себе любой конечный начальный объем фазового пространства и проследите его путь в динамике системы. Объем "перемещает" точки фазового пространства по мере своего развития, и "фронт" этого перемещения имеет постоянный размер. Со временем исследуемый фазовый объем (известный как «фазовая трубка») линейно растет, по крайней мере, сначала. Но поскольку доступный фазовый объем конечен, объем фазовой трубки должен в конечном итоге насыщаться, потому что он не может расти больше доступного объема. Это означает, что фазовая трубка должна пересекаться. Однако для того, чтобы пересечь себя, он должен сначала пройти через начальный объем. Следовательно, по крайней мере, конечная часть начального объема повторяется.
Теперь рассмотрим размер невозвратной части объема начальной фазы - той части, которая никогда не возвращается к начальному объему. Используя принцип, который только что обсуждался в последнем абзаце, мы знаем, что если невозвратная часть конечна, то конечная часть невозвратной части должна возвращаться. Но это было бы противоречием, поскольку любая часть невозвратной части, которая возвращается, также возвращается к исходному начальному объему. Таким образом, невозвратная часть начального объема не может быть конечной и должна быть бесконечно меньше, чем сам начальный объем.
Теорема не комментирует некоторые аспекты повторяемости, которые это доказательство не может гарантировать:
- Могут быть некоторые особые фазы, которые никогда не возвращаются к начальному объему фазы или которые возвращаются к начальному объему только конечное число раз, а затем никогда не возвращаются снова. Однако они крайне «редки», составляя бесконечно малую часть любого начального объема.
- Не все части фазового объема должны возвращаться одновременно. Некоторые «пропустят» начальный объем на первом проходе, но вернутся позже.
- Ничто не мешает фазовой трубке полностью вернуться в исходный объем до того, как будет исчерпан весь возможный фазовый объем. Тривиальный пример этого - гармонический осциллятор . Системы, которые покрывают весь доступный фазовый объем, называются эргодическими (это, конечно, зависит от определения «доступного объема»).
- Что можно сказать, так это то, что для «почти любой» начальной фазы система в конечном итоге вернется произвольно близко к этой начальной фазе. Время повторения зависит от требуемой степени близости (размера фазового объема). Чтобы добиться большей точности повторения, нам нужно брать меньший начальный объем, что означает более длительное время повторения.
- Для данной фазы в томе повторение не обязательно является периодическим повторением. Второе время повторения не обязательно должно быть вдвое больше, чем первое время повторения.
Официальное заявление
Позволять
- пространство с конечной мерой и пусть
- сохраняющее меру преобразование . Ниже приведены два альтернативных утверждения теоремы.
Теорема 1.
Для любой , множество этих точек из для которого существует такой, что для всех имеет нулевую меру.
Другими словами, почти каждая точка возвращается к . Фактически, почти каждая точка возвращается бесконечно часто; т.е.
Для доказательства см. Процитированную ссылку. [7]
Теорема 2.
Ниже приводится топологическая версия этой теоремы:
Если является хаусдорфовым пространством со счетной второй исодержит борелевскую сигма-алгебру , то множество рекуррентных точекимеет полную меру. То есть почти каждая точка повторяется.
Для доказательства см. Процитированную ссылку. [8]
В более общем плане теорема применима к консервативным системам , а не только к динамическим системам, сохраняющим меру. Грубо говоря, можно сказать, что консервативные системы - это как раз те, к которым применима теорема о возвращении.
Квантовая механическая версия
Для не зависящих от времени квантово-механических систем с дискретными собственными состояниями энергии справедлива аналогичная теорема. Для каждого а также существует время T больше, чем, так что , где обозначает вектор состояния системы в момент времени t . [9] [10] [11]
Существенные элементы доказательства следующие. Система развивается во времени в соответствии с:
где - собственные значения энергии (мы используем натуральные единицы, поэтому ), а являются собственными состояниями энергии. Квадрат нормы разности вектора состояния во времени и нулевое время можно записать как:
Мы можем обрезать суммирование при некотором n = N, не зависящем от T , потому что
которое можно сделать сколь угодно малым, увеличивая N , так как суммирование, являясь квадратом нормы исходного состояния, сходится к 1.
Конечная сумма
можно сделать сколь угодно малым для конкретного выбора времени T в соответствии со следующей конструкцией. Выберите произвольный, а затем выберите T так , чтобы были целые числа это удовлетворяет
- ,
для всех номеров . Для этого конкретного выбора T ,
Таким образом, у нас есть:
- .
Вектор состояния таким образом возвращается произвольно близкое к начальному состоянию .
Смотрите также
Рекомендации
- ^ Пуанкаре, Х. (1890). "Sur le problème des trois corps et les équations de la Dynamique" . Acta Math . 13 : 1–270.
- ^ Пуанкаре, Oeuvres VII, 262-490 (теорема 1 раздел 8)
- ^ Каратеодори, К. (1919). "Убер ден Видеркерзац фон Пуанкаре". Берл. Sitzungsber : 580–584.
- ^ Carathéodory, Ges. математика. Schr. IV, 296–301
- ^ Баррейра, Луис (2006). Замбрини, Жан-Клод (ред.). Повторение Пуанкаре: старое и новое . XIV Международный конгресс по математической физике. World Scientific . С. 415–422. DOI : 10.1142 / 9789812704016_0039 . ISBN 978-981-256-201-2.
- ^ Гиббс, Джозия Уиллард (1902). Элементарные принципы статистической механики . Нью-Йорк, Нью-Йорк: Сыновья Чарльза Скрибнера . Глава X.
- ^ «доказательство теоремы о возвращении Пуанкаре 1» . PlanetMath .
- ^ «доказательство теоремы о возвращении Пуанкаре 2» . PlanetMath .
- ^ Bocchieri, P .; Loinger, A. (1957). «Квантовая теорема о возвращаемости». Phys. Ред. 107 (2): 337–338. Bibcode : 1957PhRv..107..337B . DOI : 10.1103 / PhysRev.107.337 .
- ^ Персиваль, IC (1961). «Почти периодичность и квантовая H-теорема». J. Math. Phys. 2 (2): 235–239. Bibcode : 1961JMP ..... 2..235P . DOI : 10.1063 / 1.1703705 .
- ^ Шульман, LS (1978). «Замечание о квантовой теореме о возвращении». Phys. Rev. A . 18 (5): 2379–2380. Bibcode : 1978PhRvA..18.2379S . DOI : 10.1103 / PhysRevA.18.2379 .
дальнейшее чтение
- Пейдж, Дон Н. (25 ноября 1994 г.). «Потеря информации в черных дырах и / или сознательных существах?». arXiv : hep-th / 9411193 .
Внешние ссылки
- Падилья, Тони. «Самое долгое время» . Numberphile . Брэди Харан . Архивировано из оригинала на 2013-11-27 . Проверено 8 апреля 2013 .
- «Кошачья карта Арнольда: интерактивная графическая иллюстрация теоремы Пуанкаре о возвращении» .
Эта статья включает в себя материал из теоремы Пуанкаре о повторении из PlanetMath , которая находится под лицензией Creative Commons Attribution / Share-Alike License .