Uncertain, High-Dimensional Dynamical Systems
E N D
Presentation Transcript
Uncertain, High-Dimensional Dynamical Systems Igor Mezić University of California, Santa Barbara IPAM, UCLA, February 2005
Introduction • Measure of uncertainty? • Uncertainty and spectral theory of dynamical systems. • Model validation and data assimilation. • Decompositions.
Dynamical evolution of uncertainty: an example x Output measure Input measure Tradeoff:Bifurcation vs. contracting dynamics
Dynamical evolution of uncertainty: general set-up Skew-product system.
Dynamical evolution of uncertainty: general set-up f f T F(z) 1 0
Dynamical evolution of uncertainty: simple examples Fw(z) 1 0 Expanding maps: x’=2x
Uncertainty in CDF metric: Pitchfork bifurcation x Output measure Input measure
Introduction PV=NkT • Example: thermodynamics from statistical mechanics “…Any rarified gas will behave that way, no matter how queer the dynamics of its particles…” Goodstein (1985) • Example:Galerkin truncation of evolution equations. • Information comes from a single observable time-series.
Introduction When do two dynamical systems exhibit similar behavior?
Introduction • Constructive proof that ergodic partitions and invariant • measures of systems can be compared using a • single observable (“Statistical Takens-Aeyels” theorem). • A formalism based on harmonic analysis that extends • the concept of comparing the invariant measure.
Set-up Time averages and invariant measures:
Pseudometrics for Dynamical Systems • Pseudometricthat captures statistics: where
Koopman operator, triple decomposition, MOD -Efficient representation of the flow field; can be done with vectors -Lagrangian analysis: FLUCTUATIONS MEAN FLOW PERIODIC APERIODIC Desirable: “Triple decomposition”:
Conclusions • Constructive proof that ergodic partitions and invariant • measures of systems can be compared using a • single observable –deterministic+stochastic. • A formalism based on harmonic analysis that extends • the concept of comparing the invariant measure • Pseudometrics on spaces of dynamical systems. • Statistics – based, linear (but infinite-dimensional).
Introduction Everson et al., JPO 27 (1997)
Introduction • 4 modes -99% • of the variance! • -no dynamics! Everson et al., JPO 27 (1997)
Introduction In this talk: -Account explicitly for dynamics to produce a decomposition. -Tool: lift to infinite-dimensional space of functions on attractor + consider properties of Koopman operator. -Allows for detailed comparison of dynamical properties of the evolution and retained modes. -Split into “deterministic” and “stochastic” parts: useful for prediction purposes.
Example: Factors and harmonic analysis
Evolution equations and Koopman operator Similar:“Wold decomposition”
Evolution equations and Koopman operator But how to get this from data?
Evolution equations and Koopman operator is almost-periodic. -Remainder has continuous spectrum!
Conclusions -Use properties of the Koopman operator to produce a decomposition -Tool: lift to infinite-dimensional space of functions on attractor. -Allows for detailed comparison of dynamical properties of the evolution and retained modes. -Split into “deterministic” and “stochastic” parts: useful for prediction purposes. -Useful for Lagrangian studies in fluid mechanics.
-1 0 a1 a2 • But poor for dynamics: Irrationala’s produce the same statistics Invariant measures and time-averages Example:Probability histograms!
Dynamical evolution of uncertainty: simple examples • Types of uncertainty: • Epistemic (reducible) • Aleatory (irreducible) • A-priori (initial conditions, • parameters, model structure) • A-posteriori (chaotic dynamics, • observation error) Expanding maps: x’=2x
Uncertainty in CDF metric: Examples Uncertainty strongly dependent on distribution of initial conditions.