Download - Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Transcript
Page 1: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Computational Time Series Analysis

(IPAM, Part I, stationary methods) Illia Horenko

Research Group “Computational Time Series Analysis “ Institute of Mathematics Freie Universität Berlin Germany

and

Institute of Computational Science Universita della Swizzera Italiana, Lugano Switzerland

Page 2: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Motivation (I): Data

Inverse problem: data-based identification of model parameters

Challenges:

VERY LARGE (~Tb size) , non-Markovian (memory), non-stationary (trends), multidimensional, ext. influence

time series of vectors (continous, finite dim.)

time series of regimes (discrete, finite dim.)

anticyclonic

other

cyclonic

time series of functions (continuous, infin. dim.)

Page 3: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Motivation (II): Models

Inverse problem: data-based identification of model parameters

Challenges:

existence and uniqueness, robustness, conditioning

Models

Dynamical (f.e., deterministic, stochastic, ...)

Geometrical (f.e, essential manifolds, ...)

Mixed (f.e., MTV, PIP/POP, ...)

Page 4: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Plan for Today (stationary case)

•  “eagle eye“ perspective on stochastic processes from the viewpoint of

deterministic dynamical systems

•  geometric model inference: EOF/SSA

•  multivariate dynamical model inference: VARX

•  handling the ill-posed problem

•  motivation for tomorrow : examples where stationarity assumption

does not work

Page 5: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Plan for Today (stationary case)

•  “eagle eye“ perspective on stochastic processes from the viewpoint of

deterministic dynamical systems

•  geometric model inference: EOF/SSA

•  multivariate dynamical model inference: VARX

•  handling the ill-posed problem

•  motivation for tomorrow : examples where stationarity assumption

does not work

Page 6: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Classification of Stochastic Process

Stochastic Processes

Discrete State Space, Discrete Time: Markov Chain

Discrete State Space, Continuous Time: Markov Process

Continuous State Space, Discrete Time: Autoregressive Process

Continuous State Space, Continuous Time: Stochastic Differential Equation

Page 7: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Realizations of the process:

Markov-Property:

Example:

Discrete Markov Process…

Page 8: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Realizations of the process:

Markov-Property:

State Probabilities:

Discrete Markov Process…

Page 9: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Realizations of the process:

Markov-Property:

State Probabilities:

Discrete Markov Process…

Page 10: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Discrete Markov Process…

Realizations of the process:

Markov-Property:

State Probabilities:

This Equation is Deterministic

Page 11: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Continuous Markov Process…

Page 12: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Continuous Markov Process…

Page 13: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Continuous Markov Process…

Page 14: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Continuous Markov Process…

infenitisimal generator

Page 15: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Continuous Markov Process…

infenitisimal generator

This Equation is Deterministic: ODE

Page 16: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Continuous State Space

Stochastic Processes

Discrete State Space, Discrete Time: Markov Chain

Discrete State Space, Continuous Time: Markov Process

Continuous State Space, Discrete Time: AR(1)

Continuous State Space, Continuous Time: Stochastic Differential Equation

Page 17: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Deterministic Markov Process in R

Realizations of the process:

Process: Flow operator:

Properties:

Page 18: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Deterministic Markov Process in R

Realizations of the process:

Process: Flow operator:

Properties:

Example: ODE with

Page 19: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Deterministic Markov Process in R

Realizations of the process:

Liouville Theorem: let be the flow ( ), given as a solution of

If is defined as

then the following equation is fulfilled:

Process: Flow operator:

Properties:

Page 20: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Deterministic Markov Process in R

Realizations of the process:

Liouville Theorem: let be the flow ( ), given as a solution of

If is defined as

then the following equation is fulfilled:

Process: Flow operator:

Properties:

Excercise 1: think of the proof (hint: use the partial integration ), think about the Hilbert space H and appropriate boundary conditions

Page 21: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Realizations of the process:

Process:

This Equation is Deterministic

(follows from Ito‘s lemma)

Stochastic Markov Process in R

Page 22: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Infenitisimal Generator:

Markov Process Dynamics:

This Equation is Deterministic: PDE

Stochastic Markov Process in R

Page 23: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Numerics of Stochastic Processes

Discrete State Space, Discrete Time: Markov Chain

Discrete State Space, Continuous Time: Markov Process

Continuous State Space, Discrete Time: Autoregressive Process

Continuous State Space, Continuous Time: Stochastic Differential Equation

Page 24: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Numerics of Stochastic Processes

Deterministic Numerics of ODEs and PDEs!

Discrete State Space, Discrete Time: Markov Chain

Discrete State Space, Continuous Time: Markov Process

Continuous State Space, Discrete Time: Autoregressive Process

Continuous State Space, Continuous Time: Stochastic Differential Equation

Page 25: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Conclusions 1) Numerical Methods from ODEs and (multidimensional) PDEs like Runge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable to stochastic processes

2) Monte-Carlo-Sampling of resulting p.d.f.‘s

Stochastic Numerics = ODE/PDE numerics + Rand. Numb. Generator

3) Concepts from the Theory of Dynamical Systems are Applicable (Whitney and Takens theorems, model reduction by identification of attractors)

H./Weiser, JCC 24(15), 2003

Page 26: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Plan for Today (stationary case)

•  “eagle eye“ perspective on stochastic processes from the viewpoint of

deterministic dynamical systems

•  geometric model inference: EOF/SSA

•  multivariate dynamical model inference: VARX

•  handling the ill-posed problem

•  motivation for tomorrow : examples where stationarity assumption

does not work

Page 27: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

EOF/PCA/SSA/...: Geometrical methods

For a given time series we look for a

minimum of the reconstruction error

µ

(X-µ)

TT (X-µ) T

T x t

t

t

Page 28: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

EOF/PCA/SSA/...: Geometrical methods

For a given time series we look for a

minimum of the reconstruction error

µ

(X-µ)

TT (X-µ) T

T x t

t

t

Page 29: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

EOF/PCA/SSA/...: Geometrical methods

For a given time series we look for a

minimum of the reconstruction error

µ

(X-µ)

TT (X-µ) T

T x t

t

t

Page 30: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

EOF/PCA/SSA/...: Geometrical methods

For a given time series we look for a

minimum of the reconstruction error

µ

(X-µ)

TT (X-µ) T

T x t

t

t

Excercise 2: think of the proof (hint: use the Lagrange multipliers ), think of the estimate of projection error

Page 31: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Plan for Today (stationary case)

•  “eagle eye“ perspective on stochastic processes from the viewpoint of

deterministic dynamical systems

•  geometric model inference: EOF/SSA

•  multivariate dynamical model inference: VARX

•  handling the ill-posed problem

•  motivation for tomorrow : examples where stationarity assumption

does not work

Page 32: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Predicting Stochastic Processes

Deterministic Numerics of ODEs and PDEs!

Discrete State Space, Discrete Time: Markov Chain

Discrete State Space, Continuous Time: Markov Process

Continuous State Space, Discrete Time: Autoregressive Process

Continuous State Space, Continuous Time: Stochastic Differential Equation

Page 33: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Predicting the Dynamics: VAR(p)

Page 34: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Estimating VAR(p) : least squares

Page 35: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Estimating VAR(p) : least squares

Page 36: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Estimating VAR(p) : least squares

Page 37: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Estimating VAR(p) : least squares

Excercise 3: think of the proof (hint: use the matrix function derivatives from the Matrix Coockbook: www2.imm.dtu.dk/pubdb/views/edoc_download.../imm3274.pdf))

Page 38: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Plan for Today (stationary case)

•  “eagle eye“ perspective on stochastic processes from the viewpoint of

deterministic dynamical systems

•  geometric model inference: EOF/SSA

•  multivariate dynamical model inference: VARX

•  handling the ill-posed problem

•  motivation for tomorrow : examples where stationarity assumption

does not work

Page 39: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Estimating VAR(p) : regularization

A.  N. Tikhonov (http://en.wikipedia.org)

Page 40: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Estimating VAR(p) : regularization

A.  N. Tikhonov (http://en.wikipedia.org)

Page 41: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Plan for Today (stationary case)

•  “eagle eye“ perspective on stochastic processes from the viewpoint of

deterministic dynamical systems

•  geometric model inference: EOF/SSA

•  multivariate dynamical model inference: VARX

•  handling the ill-posed problem

•  motivation for tomorrow : examples where stationarity assumption

does not work

Page 42: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Lorenz96: “order zero“ atmosph. model W

ilks,

Qua

rt.J

.Roy

al M

et.S

oc.,

2005

“slow“

“fast“

• Lorenz, Proc. Of. Sem. On Predict., 1996 • Majda/Timoffev/V.-Eijnden, PNAS, 1999 • Orell, JAS, 2003 • Wilks, Quart.J.Royal Met.Soc., 2005 • Crommelin/V.-Eijnden, Journal of Atmos. Sci., 2008

VARX (standard stationary stochastic Model)

stationary model (time-independent parameters)

Page 43: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Lorenz96: “order zero“ atmosph. model

???

+ = non-stationary model

(time-dependent parameters)

VARX (standard stationary stochastic Model)

• Lorenz, Proc. Of. Sem. On Predict., 1996 • Majda/Timoffev/V.-Eijnden, PNAS, 1999 • Orell, JAS, 2003 • Wilks, Quart.J.Royal Met.Soc., 2005 • Crommelin/V.-Eijnden, Journal of Atmos. Sci., 2008

Wilk

s, Q

uart

.J.R

oyal

Met

.Soc

., 20

05

“slow“

“fast“

+ F(t)

Page 44: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Lorenz96: “order zero“ atmosph. model

???

+ = non-stationary model

(time-dependent parameters)

Predictors of Lorenz‘96-Model

VARX (standard stationary stochastic Model)

• Lorenz, Proc. Of. Sem. On Predict., 1996 • Orell, JAS, 2003 • Wilks, Quart.J.Royal Met.Soc., 2005 • Crommelin/V.-Eijnden, Journal of Atmos. Sci., 2008

Wilk

s, Q

uart

.J.R

oyal

Met

.Soc

., 20

05

“slow“

“fast“

+ F(t)

Page 45: Computational Time Series Analysis (IPAM, Part I ...helper.ipam.ucla.edu/publications/cltut/cltut_9008.pdfRunge-Kutta-Methods, FEM and (adaptive) Rothe particle methods are applicable

Tomorrow: Non-stationarity in TSA

Direct problem:

Inverse problem:

Example: