Random Dynamical Systems and Rough Paths
Total Page:16
File Type:pdf, Size:1020Kb
Random dynamical systems and rough paths Sebastian Riedel Technische Universit¨atBerlin Workshop \Rough Paths in Toulouse" INSA Toulouse 19.10.2017 Random dynamical systems and rough paths S. Riedel 1/24 Outline 1 Random dynamical systems: Motivation 2 Random dynamical systems and rough paths 3 Invariant measures for RDEs Random dynamical systems and rough paths S. Riedel 2/24 Outline 1 Random dynamical systems: Motivation 2 Random dynamical systems and rough paths 3 Invariant measures for RDEs Random dynamical systems and rough paths S. Riedel 3/24 It proved to be useful in particular when studying the long time behaviour of stochastic systems. Main tool: Multiplicative Ergodic Theorem; yields existence of Lyapunovexponents for linear systems (Oseledets '68). For non-linear systems, one may look at their linearization, and the MET can still provide information about the local behaviour of the non-linear system (stable manifold theorem, Ruelle '79). RDS and MET The theory of Random dynamical systems (RDS) provides a formalism which can be used to describe a large class of stochastic systems which evolve in time (like dynamical systems do for deterministic time evolutions). Random dynamical systems and rough paths S. Riedel 4/24 Main tool: Multiplicative Ergodic Theorem; yields existence of Lyapunovexponents for linear systems (Oseledets '68). For non-linear systems, one may look at their linearization, and the MET can still provide information about the local behaviour of the non-linear system (stable manifold theorem, Ruelle '79). RDS and MET The theory of Random dynamical systems (RDS) provides a formalism which can be used to describe a large class of stochastic systems which evolve in time (like dynamical systems do for deterministic time evolutions). It proved to be useful in particular when studying the long time behaviour of stochastic systems. Random dynamical systems and rough paths S. Riedel 4/24 For non-linear systems, one may look at their linearization, and the MET can still provide information about the local behaviour of the non-linear system (stable manifold theorem, Ruelle '79). RDS and MET The theory of Random dynamical systems (RDS) provides a formalism which can be used to describe a large class of stochastic systems which evolve in time (like dynamical systems do for deterministic time evolutions). It proved to be useful in particular when studying the long time behaviour of stochastic systems. Main tool: Multiplicative Ergodic Theorem; yields existence of Lyapunovexponents for linear systems (Oseledets '68). Random dynamical systems and rough paths S. Riedel 4/24 RDS and MET The theory of Random dynamical systems (RDS) provides a formalism which can be used to describe a large class of stochastic systems which evolve in time (like dynamical systems do for deterministic time evolutions). It proved to be useful in particular when studying the long time behaviour of stochastic systems. Main tool: Multiplicative Ergodic Theorem; yields existence of Lyapunovexponents for linear systems (Oseledets '68). For non-linear systems, one may look at their linearization, and the MET can still provide information about the local behaviour of the non-linear system (stable manifold theorem, Ruelle '79). Random dynamical systems and rough paths S. Riedel 4/24 Differential of the flow solves a linear equation; existence of Lyanpunovexponents follow from the MET (under certain assumptions): 1 ξ(!) P − lim log DξYt v 2 fλl < : : : < λ1g; t!1 t m 1 ≤ l ≤ m, v 2 R . Possible to conclude existence of stable (or unstable) manifolds around stationary solutions for the original equation (following Ruelle's strategy). Stable manifolds for SDE Stable manifold theorem for SDE. (Mohammed-Scheutzow '99) Assume ξ ξ ξ ξ m dYt = b(Yt ) dt + σ(Yt ) ◦ dBt(!);Y0 = ξ 2 R induces stochastic (semi-)flow and solution admits an ergodic invariant measure. Random dynamical systems and rough paths S. Riedel 5/24 Possible to conclude existence of stable (or unstable) manifolds around stationary solutions for the original equation (following Ruelle's strategy). Stable manifolds for SDE Stable manifold theorem for SDE. (Mohammed-Scheutzow '99) Assume ξ ξ ξ ξ m dYt = b(Yt ) dt + σ(Yt ) ◦ dBt(!);Y0 = ξ 2 R induces stochastic (semi-)flow and solution admits an ergodic invariant measure. Differential of the flow solves a linear equation; existence of Lyanpunovexponents follow from the MET (under certain assumptions): 1 ξ(!) P − lim log DξYt v 2 fλl < : : : < λ1g; t!1 t m 1 ≤ l ≤ m, v 2 R . Random dynamical systems and rough paths S. Riedel 5/24 Stable manifolds for SDE Stable manifold theorem for SDE. (Mohammed-Scheutzow '99) Assume ξ ξ ξ ξ m dYt = b(Yt ) dt + σ(Yt ) ◦ dBt(!);Y0 = ξ 2 R induces stochastic (semi-)flow and solution admits an ergodic invariant measure. Differential of the flow solves a linear equation; existence of Lyanpunovexponents follow from the MET (under certain assumptions): 1 ξ(!) P − lim log DξYt v 2 fλl < : : : < λ1g; t!1 t m 1 ≤ l ≤ m, v 2 R . Possible to conclude existence of stable (or unstable) manifolds around stationary solutions for the original equation (following Ruelle's strategy). Random dynamical systems and rough paths S. Riedel 5/24 It¯o-theory not really necessary; only used to make sense of initial equation. Markov property used only to speak about invariant measures. In fact, not really necessary, too, more general concept of invariant measures available in the theory of RDS (cf. below). One of our goals: Build a bridge between the \two cultures" (L. Arnold) Dynamical systems and Stochastic analysis. Remarks Remark. Random dynamical systems and rough paths S. Riedel 6/24 Markov property used only to speak about invariant measures. In fact, not really necessary, too, more general concept of invariant measures available in the theory of RDS (cf. below). One of our goals: Build a bridge between the \two cultures" (L. Arnold) Dynamical systems and Stochastic analysis. Remarks Remark. It¯o-theory not really necessary; only used to make sense of initial equation. Random dynamical systems and rough paths S. Riedel 6/24 One of our goals: Build a bridge between the \two cultures" (L. Arnold) Dynamical systems and Stochastic analysis. Remarks Remark. It¯o-theory not really necessary; only used to make sense of initial equation. Markov property used only to speak about invariant measures. In fact, not really necessary, too, more general concept of invariant measures available in the theory of RDS (cf. below). Random dynamical systems and rough paths S. Riedel 6/24 Remarks Remark. It¯o-theory not really necessary; only used to make sense of initial equation. Markov property used only to speak about invariant measures. In fact, not really necessary, too, more general concept of invariant measures available in the theory of RDS (cf. below). One of our goals: Build a bridge between the \two cultures" (L. Arnold) Dynamical systems and Stochastic analysis. Random dynamical systems and rough paths S. Riedel 6/24 Moreover, we will be interested in: equilibrium of the system, invariant measures long time behaviour (convergence towards equilibrium, attractors,...) qualitative difference between random and deterministic system (stabilization, synchronization by noise, ...) Remark: In general, solution Y to (1) not Markovian. Long term goal: Prove more general stable manifold theorem for dYt = b(Yt) dt + σ(Yt) dXt(!) (1) with t 7! Xt rough paths lift of a stochastic process (e.g. fBm). Random dynamical systems and rough paths S. Riedel 7/24 equilibrium of the system, invariant measures long time behaviour (convergence towards equilibrium, attractors,...) qualitative difference between random and deterministic system (stabilization, synchronization by noise, ...) Remark: In general, solution Y to (1) not Markovian. Long term goal: Prove more general stable manifold theorem for dYt = b(Yt) dt + σ(Yt) dXt(!) (1) with t 7! Xt rough paths lift of a stochastic process (e.g. fBm). Moreover, we will be interested in: Random dynamical systems and rough paths S. Riedel 7/24 long time behaviour (convergence towards equilibrium, attractors,...) qualitative difference between random and deterministic system (stabilization, synchronization by noise, ...) Remark: In general, solution Y to (1) not Markovian. Long term goal: Prove more general stable manifold theorem for dYt = b(Yt) dt + σ(Yt) dXt(!) (1) with t 7! Xt rough paths lift of a stochastic process (e.g. fBm). Moreover, we will be interested in: equilibrium of the system, invariant measures Random dynamical systems and rough paths S. Riedel 7/24 qualitative difference between random and deterministic system (stabilization, synchronization by noise, ...) Remark: In general, solution Y to (1) not Markovian. Long term goal: Prove more general stable manifold theorem for dYt = b(Yt) dt + σ(Yt) dXt(!) (1) with t 7! Xt rough paths lift of a stochastic process (e.g. fBm). Moreover, we will be interested in: equilibrium of the system, invariant measures long time behaviour (convergence towards equilibrium, attractors,...) Random dynamical systems and rough paths S. Riedel 7/24 Remark: In general, solution Y to (1) not Markovian. Long term goal: Prove more general stable manifold theorem for dYt = b(Yt) dt + σ(Yt) dXt(!) (1) with t 7! Xt rough paths lift of a stochastic process (e.g. fBm). Moreover, we will be interested in: equilibrium of the system, invariant measures long time behaviour (convergence towards equilibrium, attractors,...) qualitative difference between random and deterministic system (stabilization, synchronization by noise, ...) Random dynamical systems and rough paths S. Riedel 7/24 Long term goal: Prove more general stable manifold theorem for dYt = b(Yt) dt + σ(Yt) dXt(!) (1) with t 7! Xt rough paths lift of a stochastic process (e.g. fBm). Moreover, we will be interested in: equilibrium of the system, invariant measures long time behaviour (convergence towards equilibrium, attractors,...) qualitative difference between random and deterministic system (stabilization, synchronization by noise, ...) Remark: In general, solution Y to (1) not Markovian.