# Poincaré recurrence theorem

Poincaré recurrence theorem "Recurrence time" reindirizza qui. For the concept from ergodic theory, see Ergodic theory § Sojourn time.

In mathematics and physics, the Poincaré recurrence theorem states that certain dynamical systems will, after a sufficiently long but finite time, return to a state arbitrarily close to (for continuous state systems), or exactly the same as (for discrete state systems), their initial state.

The Poincaré recurrence time is the length of time elapsed until the recurrence. This time may vary greatly depending on the exact initial state and required degree of closeness. The result applies to isolated mechanical systems subject to some constraints, per esempio., all particles must be bound to a finite volume. The theorem is commonly discussed in the context of ergodic theory, dynamical systems and statistical mechanics. Systems to which the Poincaré recurrence theorem applies are called conservative systems.

The theorem is named after Henri Poincaré, who discussed it in 1890[1][2] and proved by Constantin Carathéodory using measure theory in 1919.[3][4] Contenuti 1 Precise formulation 2 Discussion of proof 3 Dichiarazione formale 3.1 Teorema 1 3.2 Teorema 2 4 Quantum mechanical version 5 Guarda anche 6 Riferimenti 7 Ulteriori letture 8 External links Precise formulation Any dynamical system defined by an ordinary differential equation determines a flow map f t mapping phase space on itself. The system is said to be volume-preserving if the volume of a set in phase space is invariant under the flow. Per esempio, all Hamiltonian systems are volume-preserving because of Liouville's theorem. The theorem is then: If a flow preserves volume and has only bounded orbits, poi, for each open set, any orbit that intersects this open set intersects it infinitely often.[5] Discussion of proof The proof, speaking qualitatively, hinges on two premises:[6] A finite upper bound can be set on the total potentially accessible phase space volume. For a mechanical system, this bound can be provided by requiring that the system is contained in a bounded physical region of space (so that it cannot, Per esempio, eject particles that never return) – combined with the conservation of energy, this locks the system into a finite region in phase space. The phase volume of a finite element under dynamics is conserved (for a mechanical system, this is ensured by Liouville's theorem).

Imagine any finite starting volume {stile di visualizzazione D_{1}} of the phase space and to follow its path under the dynamics of the system. The volume evolves through a "phase tube" in the phase space, keeping its size constant. Assuming a finite phase space, after some number of steps {stile di visualizzazione k_{1}} the phase tube must intersect itself. This means that at least a finite fraction {stile di visualizzazione R_{1}} of the starting volume is recurring. Adesso, consider the size of the non-returning portion {stile di visualizzazione D_{2}} of the starting phase volume – that portion that never returns to the starting volume. Using the principle just discussed in the last paragraph, we know that if the non-returning portion is finite, then a finite part {stile di visualizzazione R_{2}} of it must return after {stile di visualizzazione k_{2}} passi. But that would be a contradiction, since in a number {stile di visualizzazione k_{3}=} lcm {stile di visualizzazione (K_{1},K_{2})} of step, Entrambi {stile di visualizzazione R_{1}} e {stile di visualizzazione R_{2}} would be returning, against the hypothesis that only {stile di visualizzazione R_{1}} was. così, the non-returning portion of the starting volume cannot be the empty set, cioè. all {stile di visualizzazione D_{1}} is recurring after some number of steps.

The theorem does not comment on certain aspects of recurrence which this proof cannot guarantee: There may be some special phases that never return to the starting phase volume, or that only return to the starting volume a finite number of times then never return again. These however are extremely "rare", making up an infinitesimal part of any starting volume. Not all parts of the phase volume need to return at the same time. Some will "miss" the starting volume on the first pass, only to make their return at a later time. Nothing prevents the phase tube from returning completely to its starting volume before all the possible phase volume is exhausted. A trivial example of this is the harmonic oscillator. Systems that do cover all accessible phase volume are called ergodic (this of course depends on the definition of "accessible volume"). What can be said is that for "almost any" starting phase, a system will eventually return arbitrarily close to that starting phase. The recurrence time depends on the required degree of closeness (the size of the phase volume). To achieve greater accuracy of recurrence, we need to take smaller initial volume, which means longer recurrence time. For a given phase in a volume, the recurrence is not necessarily a periodic recurrence. The second recurrence time does not need to be double the first recurrence time. Formal statement Let {stile di visualizzazione (X,Sigma ,in )} be a finite measure space and let {displaystyle fcolon Xto X} be a measure-preserving transformation. Below are two alternative statements of the theorem.

Teorema 1 Per ogni {displaystyle Ein Sigma } , the set of those points {stile di visualizzazione x} di {stile di visualizzazione E} for which there exists {displaystyle Nin mathbb {N} } tale che {stile di visualizzazione f^{n}(X)notin E} per tutti {displaystyle n>N} has zero measure.

In altre parole, almost every point of {stile di visualizzazione E} returns to {stile di visualizzazione E} . Infatti, almost every point returns infinitely often; cioè.

{displaystyle mu left({xin E:{testo{ lì esiste }}N{testo{ tale che }}f^{n}(X)notin E{testo{ per tutti }}n>N}Giusto)=0.} For a proof, see the cited reference.[7] Teorema 2 The following is a topological version of this theorem: Se {stile di visualizzazione X} is a second-countable Hausdorff space and {displaystyle Sigma } contains the Borel sigma-algebra, then the set of recurrent points of {stile di visualizzazione f} has full measure. Questo è, almost every point is recurrent.

For a proof, see the cited reference.[8] Più generalmente, the theorem applies to conservative systems, and not just to measure-preserving dynamical systems. In parole povere, one can say that conservative systems are precisely those to which the recurrence theorem applies.

Quantum mechanical version For time-independent quantum mechanical systems with discrete energy eigenstates, a similar theorem holds. Per ogni {displaystyle varepsilon >0} e {stile di visualizzazione T_{0}>0} there exists a time T larger than {stile di visualizzazione T_{0}} , tale che {stile di visualizzazione ||psi (T)sonaglio -|psi (0)sonaglio |0} , and then choose T such that there are integers {stile di visualizzazione k_{n}} che soddisfa {stile di visualizzazione |E_{n}T-2pi k_{n}|

Se vuoi conoscere altri articoli simili a Poincaré recurrence theorem puoi visitare la categoria Teoria Ergodica.

Vai su

Utilizziamo cookie propri e di terze parti per migliorare l'esperienza dell'utente Maggiori informazioni