computational time series analysis (ipam, part i...

45
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

Upload: others

Post on 22-Jul-2020

5 views

Category:

Documents


0 download

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: