stringtranslate.com

Teorema de Krylov-Bogolyubov

En matemáticas , el teorema de Krylov-Bogolyubov (también conocido como el teorema de existencia de medidas invariantes ) puede referirse a cualquiera de los dos teoremas fundamentales relacionados dentro de la teoría de sistemas dinámicos . Los teoremas garantizan la existencia de medidas invariantes para ciertas aplicaciones "agradables" definidas en espacios "agradables" y recibieron su nombre en honor a los matemáticos y físicos teóricos ruso - ucranianos Nikolay Krylov y Nikolay Bogolyubov, quienes demostraron los teoremas. [1]

Formulación de los teoremas

Medidas invariantes para un solo mapa

Teorema (Krylov–Bogolyubov) . Sea ( XT ) un espacio topológico compacto y metrizable y F  :  X  →  X una función continua . Entonces F admite una medida de probabilidad de Borel invariante .

Es decir, si Borel( X ) denota la σ-álgebra de Borel generada por la colección T de subconjuntos abiertos de X , entonces existe una medida de probabilidad μ  : Borel( X ) → [0, 1] tal que para cualquier subconjunto A ∈ Borel( X ),

En términos de avance , esto establece que

Medidas invariantes para un proceso de Markov

Sea X un espacio polaco y sean las probabilidades de transición para un semigrupo de Markov homogéneo en el tiempo en X , es decir

Teorema (Krylov–Bogolyubov) . Si existe un punto para el cual la familia de medidas de probabilidad {  P t ( x , ·) |  t  > 0 } es uniformemente ajustada y el semigrupo ( P t ) satisface la propiedad de Feller , entonces existe al menos una medida invariante para ( P t ), es decir, una medida de probabilidad μ en X tal que

Véase también

Notas

  1. ^ NN Bogoliubov y NM Krylov (1937). "La teoría general de la medida en su aplicación al estudio de sistemas dinámicos de la mecánica no lineal". Anales de Matemáticas . Segunda Serie (en francés). 38 (1): 65-113. doi :10.2307/1968511. JSTOR  1968511.Zbl.16,86.

Este artículo incorpora material del teorema de Krylov-Bogolubov en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .