Abstract
Given a stationary continuous-time process f(t), the Hilbert–Schmidt operator A τ can be defined for every finite τ. Let λ τ,i be the eigenvalues of A τ with descending order. In this article, a Hilbert space \(\mathcal {H}_f\) and the (time-shift) continuous one-parameter semigroup of isometries \(\mathcal {K}^s\) are defined. Let \(\{v_i, i\in \mathbb {N}\}\) be the eigenvectors of \(\mathcal {K}^s\) for all s ≥ 0. Let \(f = \displaystyle \sum _{i=1}^{\infty }a_iv_i + f^{\perp }\) be the orthogonal decomposition with descending |a i|. We prove that limτ→∞ λ τ,i = |a i|2. The continuous one-parameter semigroup \(\{\mathcal {K}^s: s\geq 0\}\) is equivalent, almost surely, to the classical Koopman one-parameter semigroup defined on L 2(X, ν), if the dynamical system is ergodic and has invariant measure ν on the phase space X.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
Let \(\{f(t)\in \mathbb {C}: t\geq 0\}\) be a continuous time process. We assume that f has zero temporal mean and the lagged moments exist for all s ≥ 0:
Define \(\rho _{-s} = \bar {\rho }_{s}\). In [3] the self-adjoint operator A τ is defined to act on L 2([0, τ]):
for every g ∈ L 2([0, τ]), and for all t ∈ [0, τ]. When \(\rho \in L^2_{\text{loc}}(\mathbb {R})\) and ρ(s) ≠ 0 for almost all s ∈ [0, τ] , A τ is a Hilbert–Schmidt operator. In particular, A τ is compact and always has a purely punctual spectrum. In other words, the Hilbert space L 2([0, τ]) admits a basis \(\{\phi _i\in L^2([0,\tau ]): i\in \mathbb {N}\}\), so that each ϕ i is an eigenvetor of A τ. This implies a Karhunen–Loéve type of decomposition. Namely for any h ∈ L 2([0, τ]), there exists scalars \(c_i\in \mathbb {C}\), so that:
for any t ∈ [0, τ].
As stated in [3], the singular spectrum analysis (SSA) algorithm is based on the spectral analysis of A τ. Given a finite sequence of discrete-time measurements: {f(nΔt) : n = 0, 1, 2, …, N + M, and(N + M)Δt ≤ τ}, the (N + 1) × (N + 1) a discretized version of A τ can be approximated by:
where H NM is the trajectory matrix defined by
and \(H_{NM}^*\) refers to the conjugate transpose of H NM. Matrix H NM can be computed numerically whenever a discrete-time time series is available. Intuitively, for τ large enough and Δt small enough, C N is a good approximation of A τ. The SSA method starts with calculating the spectral quantities (i.e. eigenvectors, eigenvalues) of C N. The spectral quantities of A τ are the theoretical quantity that the spectral quantities of C N are supposed to represent.
While in practice the SSA method has been applied successfully to a large variety of time series, in a theoretical purpose, yet with practical consequences, one may ask ourselves what is the relation between \(A_{\tau _1}\) and \(A_{\tau _2}\) for different τ 1 and τ 2? And what is the asymptotic behavior of A τ as τ →∞? In what way is the spectral property of A τ related to intrinsic properties of the dynamical system? These questions are important because for real world data it is often not possible to get finer sampling time Δt. However, longer time series are sometimes available with long enough data. In this article we generalize the idea and tools developed in [4] and apply them to study of A τ. We shall prove that
where λ τ,i is the i-th largest eigenvalue of A τ and a i is the i-th largest (in modulus) coefficient of some eigenvector v i (of unit length) of the time-shift operator \(\mathcal {K}^s\) (for all s ≥ 0) in the orthogonal decomposition of f:
where f ⊥ denotes the the expression of f in the orthogonal complement of the space spanned by the time-shift operator eigenfunctions. If there are only finitely many i (say only N terms in the summation) in Eq. (7), then we set a i = 0 for i > N. The time-shift operator \(\mathcal {K}^s\) is closely related to the classical Koopman operator, which is defined to act, as a time-shift operator, on some function space whose domain is the whole phase space of the dynamical system.
In Sect. 2 we present the main result and a brief introduction of the mathematical tools used by the proof of the main result. All the quantities mentioned above are defined rigorously in Sect. 2. The detailed proof of the main result is presented in Sect. 3.
Notes and Comments
The main result as well as the techniques and ideas used for the proof are close in spirit to those developed in [4]. However, the Hilbert–Schmidt operator A τ is defined for continuous time process and the theory developed in [4] does not cover the continuous-time case. The objective of this paper is to confirm that the asymptotic behavior of the Hilbert–Schmidt operator A τ is well related to Koopman theory.
2 Preliminaries and the Main Result
Let {f(t) : t ≥ 0} be a continuous-time process.
Assumption 1
Assume that
and that ρ(s) is well-defined by Eq. (1) for all s ≥ 0.
For any s ≥ 0, we use F s to denote the time series {F s(t) = f(t + s) : t ≥ 0}. For any two time series g = {g(t) : t ≥ 0} and h = {h(t) : t ≥ 0}, we define the new time series
where \(a,b\in \mathbb {C}\). We consider the following linear space:
Each element \(h\in \widetilde {\mathcal {H}}_s\) can be written as
for any \(n\geq 1, c_i\in \mathbb {C}, s_i\geq 0\). The existence of ρ(s) allows us to define the following positive semi-definite Hermitian form:
Let \(V = \{v\in \widetilde {\mathcal {H}}_f: \langle {v},{v}\rangle = 0\}\). Since the Hermitian form is positive semi-definite, V is a linear subspace of \(\tilde {\mathcal {H}}_f\). And the Hermitian form is strictly positive-definite on the quotient space \(\widetilde {\mathcal {H}}_f/V\). Hence it defines an inner product on \(\widetilde {H}_f/V\). We define
where the closure is taken with respect to the inner product defined above.
We define the operator \(\mathcal {K}^s\) on \(\widetilde {\mathcal {H}}_f\) for any s, s 1 ≥ 0:
It is obvious that
for any \(h,g\in \tilde {\mathcal {H}}_f\) and any s ≥ 0. Hence \(\mathcal {K}^s\) is well-defined on \(\widetilde {\mathcal {H}}_f/V\), and can be further extended to the whole \(\mathcal {H}_f\) by continuity. Therefore we obtain a one parameter family of isometric operators \(\mathcal {K}^s\) that acts on the Hilbert space \(\mathcal {H}_f\). And obviously we have
To simplify the notation, we use f to also denote the continuous-time process F 0. We further assume that
Assumption 2
In other words, Assumption 2 assumes that the curve:
is continuous. Since \(\mathcal {H}_f\) is generated by f and \(\mathcal {K}^s\) are isometries for all s ≥ 0, Assumption 2 implies that \(\mathcal {K}^s\to I\) in the strong operator topology as s → 0+. In other words, \(\{\mathcal {K}^s: s\geq 0\}\) forms a strongly continuous semigroup of isometries on \(\mathcal {H}_f\).
Under Assumption 2, we have the following decomposition theorem (see Theorem 9.3 in [2]).
Theorem 1
Let \(\{\mathcal {K}^s: s\geq 0\}\) be a strongly continuous semigroup of isometries on a Hilbert space \(\mathcal {H}\) . Then \(\mathcal {H}\) has the orthogonal decomposition \(\mathcal {H} = \mathcal {H}_U\bigoplus \mathcal {H}_{NU}\) , where \(\mathcal {H}_U = \displaystyle \bigcap _{s\geq 0}\mathcal {K}^s\mathcal {H}\) , and \(\mathcal {H}_{NU}\) is isomorphic to \(L^2([0,\infty ], \mathcal {H}_{0})\) for some Hilbert space \(\mathcal {H}_0\). \(\mathcal {H}_U\) and \(\mathcal {H}_{NU}\) are invariant under \(\mathcal {K}^s\) for all s ≥ 0. The operator \(\mathcal {K}^s\) restricted on \(\mathcal {H}_U\) is a strongly continuous semigroup of unitary operators. And \(\mathcal {K}^s\) restricted to \(\mathcal {H}_{NU}\) acts as the unilateral shift operator, i.e. for any \(\gamma \in \mathcal {H}_{NU} = L^2([0,\infty ], \mathcal {H}_0)\),
Theorem 1 provides us with an useful tool to deal with the completely nonunitary component of \(\mathcal {K}^s\). For the unitary component, we have the following spectral representation theorem.
Theorem 2
Let {U(s) : s ≥ 0} be a strongly continuous semigroup of unitary operators on a Hilbert space \(\mathcal {H}\) . Assume that \(\mathcal {H}\) can be generated by U and some \(f\in \mathcal {H}\) . Then there exists a unitary map \(\phi : \mathcal {H}\rightarrow L^2(\mathbb {R}, d\mu )\) where μ is some positive finite measure on \(\mathbb {R}\) , such that
for all \(g\in \mathcal {H}\), \(x\in \mathbb {R}\) , and s ≥ 0.
Theorems 1 and 2 suggest the orthogonal decomposition \(\mathcal {H}_f = \mathcal {H}_{f,U}\bigoplus \mathcal {H}_{f,NU} = L^2(\mathbb {R},d\mu _f)\bigoplus L^2([0,\infty ], \mathcal {H}_{f,0})\). Furthermore, we can write μ f = μ f,d + μ f,c, where μ f,d is a countable sum of Dirac measures and μ f,c is continuous with respect to the Lebesgue measure. μ f,c can be composed both of an absolutely continuous part and a singular continuous part. The decomposition of μ f suggests the orthogonal decomposition \(\mathcal {H}_{f,U} = L^2(\mathbb {R},d\mu _{f,d})\bigoplus L^2(\mathbb {R},d\mu _{f,c})\). In sum, we have
where \(f_{NU}\in L^2([0,\infty ], \mathcal {H}_{f,0})\), \(f_d\in L^2(\mathbb {R}, d\mu _{f,d})\), and \(f_{c}\in L^2(\mathbb {R},d\mu _{f,c})\). Note that these subspaces are pair-wise orthogonal and are all invariant under \(\mathcal {K}^s\) for all s ≥ 0. The support of μ f,d consists of countably many points. Each point x i in the support of μ f,d corresponds to an eigenvector \(v_i\in \mathcal {H}_f\) of \(\mathcal {K}^s\) for all s ≥ 0, i.e.
and μ f,d({x i}) = |a i|2, where a i’s are the coefficients of the eigenvectors in the following decomposition:
We rearrange the index of v i so that |a 1|≥|a 2|≥⋯ ≥ 0. In order to make connection with A τ, we need the following lemmas.
Lemma 1
For any τ > 0 and any g ∈ L 2([0, τ]), the following integral
is well-defined and is an element of \(\mathcal {H}_f\).
The proof of this and the following lemma use standard argument from mathematical analysis and we leave the proof to the interested readers.
Let
\(\widetilde {\mathcal {H}}^{\text{int}}_f\) is a linear subspace of \(\mathcal {H}_f\). We have
Lemma 2
For simplicity, we use the notation \(L^2_{\tau } := L^2([0,\tau ])\). Given Lemma 1, for any g 1, g 2 ∈ L 2([0, τ]) and t ∈ [0, τ], we define the Hermitian form \({\mathbf {A}}_{\tau }: L^2_{\tau }\times L^2_\tau \rightarrow \mathbb {C}\):
Cauchy-Schwartz inequality implies that
where \(\langle {},{}\rangle _{L^2_\tau }\) refers to the inner product in \(L^2_{\tau }\) and \(\langle {},{}\rangle _{\mathcal {H}_f}\) refers to the inner product in \(\mathcal {H}_f\). Therefore Riesz representation theorem warrants that there exists a linear bounded operator \(A_\tau : L^2_\tau \rightarrow L^2_\tau \) so that \({\mathbf {A}}_\tau (g_1,g_2) = \langle {g_1},{A_\tau g_2}\rangle _{L^2_\tau }\). Consequently,
which is the same as the definition of A τ in [3]. Assumption 2 implies that \(\rho \in L^2_{\text{loc}}(\mathbb {R})\). This implies that A τ is a Hilbert–Schmidt operator on \(L^2_\tau \). We shall use the following variational description of the eigenvalues.
Proposition 1 (The Min-Max Principle)
Let \(\mathcal {H}\) be a Hilbert space and A a Hermitian operator on \(\mathcal {H}\) . Let λ 1 ≥ λ 2 ≥⋯ be the eigenvalues of A in descending order. Then
Our main result states that,
Theorem 3 (Main Result)
Under Assumptions 1 and 2, we have, for all \(i\in \mathbb {N}\)
where λ τ,i stands for the eigenvalues of A τ.
The following Proposition [4] demonstrates the correspondence between the eigenfrequencies of the continuous-time time-shift operator and the discrete-time time-shift operator. Please refer to [4] for the notations in the proposition.
Proposition 2
Let {f(X t) : t ≥ 0} be a continuous time process for which ρ s exists for all s ≥ 0. Let Δt > 0 be a time step. Assume that
for all \(k\in \mathbb {N}\) . Then \(\mathcal {H}_f \hookrightarrow \mathcal {H}^{\mathit{\text{cont}}}_f\) . Let q be an eigenfrequency of the discrete-time operator \(\mathcal {K}^{\varDelta t}\) , i.e. there exists \(h\in \mathcal {H}_f \hookrightarrow \mathcal {H}^{\mathit{\text{cont}}}_f\) so that \(\mathcal {K}^{\varDelta t}h = e^{iq}h\) . Then there exists an integer k, and \(h_k\in \mathcal {H}^{\mathit{\text{cont}}}_f\) , so that
for all s ≥ 0.
Remark 1
It is worth to point out that the one-parameter semigroup of isometries \(\{\mathcal {K}^s: s\geq 0\}\) is equivalent to the classical Koopman one-parameter semigroup \(\{\tilde {\mathcal {K}}^s: s\geq 0\}\) which acts on L 2(X, dν) almost surely (with respect to the initial state of the time series), if the dynamical system is ergodic and has finite invariant measure ν on the phase space X. Because if f ∈ L 2(X, ν), then \(f\tilde {\mathcal {K}}^s\bar {f}\in L^1(X,d\nu )\) and Birkhoff ergodic theorem states that \(\rho (s) = \nu (f\tilde {\mathcal {K}}^s\bar {f})\) for almost every initial state x 0 ∈ X. In other words, \(\langle {f},{\mathcal {K}^sf}\rangle _{\mathcal {H}_f} = \langle {f},{\tilde {\mathcal {K}}^sf}\rangle _{L^2(X,d\nu )}\). Note that f is interpreted as a given time series on the left of the equality and interpreted as a function on the right of the equality. This shows that under the assumption that the dynamical system is ergodic and (finite) measure-preserving, there is a natural isometric bijection from \(\mathcal {H}_f\) to L 2(X, dν).
For mathematical interests, we present the main result in an abstract mathematical form.
Theorem 4 (Main Result in Mathematical Form)
Let \(\mathcal {H}\) be a Hilbert space and \(\{\mathcal {K}^s: s\geq 0\}\) a strongly continuous one-parameter semigroup of isometries acting on \(\mathcal {H}\) . For any \(f\in \mathcal {H}\) , let f =∑ ia i v i + f ⊥ , where v i ’s are the common eigenvectors of \(\mathcal {K}^s\) for all s ≥ 0, and f ⊥ is the component of f that is orthogonal to the eigenspace of \(\mathcal {K}^s\) for all s ≥ 0. Assume that |a 1|≥|a 2|≥⋯ ≥ 0. For any τ > 0, let A f,τ be the Hermitian operator on L 2([0, τ]), such that for any g ∈ L 2([0, τ]) and any t ∈ [0, τ],
Then A f,τ is a Hilbert–Schmidt operator and hence has purely punctual spectrum. Let λ f,τ,i be the i-th largest eigenvalue of A f,τ . Then we have
3 Proof of the Main Result
For any fixed small 𝜖 ≥ 0, we choose k, so that \(\displaystyle \sum _{i=k+1}^{\infty }|a_i|{ }^2 \leq \epsilon \). We have the orthogonal decomposition
where \(f_{d,k}\in \mathcal {H}_{f,d,k}\) which is the subspace of \(\mathcal {H}_{f,d}\) spanned by {v 1, …, v k}, and \(f_{d,\epsilon }\in \mathcal {H}_{f,d,\epsilon }\) the subspace spanned by the rest of the eigenvectors, \(f_{NU}\in \mathcal {H}_{f,NU}\), and \(f_{c}\in \mathcal {H}_{f,c}\). Note that \(\mathcal {H}_{f,d,k}\), \(\mathcal {H}_{f,d, \epsilon }\), \(\mathcal {H}_{f,NU}\), and \(\mathcal {H}_{f,c}\) are pairwise orthogonal and invariant subspaces of \(\mathcal {H}_f\). Hence following Eq. (28), for any \(g_1,g_2\in L^2_{\tau }\),
in which the definition of A τ,d,k, A τ,d,𝜖, A τ,c and A τ,NU are obvious. It is not hard to show that A τ,d,k, A τ,d,𝜖, A τ,c and A τ,NU all admit eigendecomposition since they are all Hilbert–Schmidt Hermitian operators. Note that the cross product terms all as \(\mathcal {H}_{f,d,k}\), \(\mathcal {H}_{f,d,\epsilon }\), \(\mathcal {H}_{f,c}\) and \(\mathcal {H}_{f,NU}\) are pairwise orthogonal and invariant under \(\mathcal {K}^s\) for all s ≥ 0.
Let \(\lambda _{\tau _d,k,i}\), λ τ,d,𝜖,i, λ τ,c,i, and λ τ,NU,i be the i-th largest eigenvalue of A τ,d,k, A τ,d,𝜖, A τ,c, A τ,NU respectively. We will prove the following identities:
Proposition 3
Before we start to prove Eqs. (40)–(43), it is not hard to see that Propositions 1 and 3 directly implies the main result. Indeed, for any fixed n and any 𝜖 > 0, we can find k so that n ≤ k and \(\displaystyle \sum _{i=k+1}^{\infty }|a_i|{ }^2\leq \epsilon \). Then we find τ large enough so that λ τ,c,1 ≤ 𝜖 and λ τ,NU,1 ≤ 𝜖. Note that A τ,d,k, A τ,d,𝜖, A τ,c, and A τ,NU are all positive semi-definite. Applying the min-max principle we have
and that
Combined with Eq. (40), this implies Theorem 3.
Proof (Equation (40))
Recall from Eq. (23) that each eigenvector v i corresponds to a point x i in the support of μ d. For any \(g\in L^2_\tau \), Theorem 2 states that \(\displaystyle \int _{0}^{\tau }g(s)\mathcal {K}^sf_{d,k}\mathtt {d}s\) has the following representation in \(L^2(\mathbb {R},d\mu )\), for any \(x\in \mathbb {R}\),
And
Let \(\xi _j\in L^2_{\tau }\) so that \(\xi _j(s) = e^{isx_j}\) for any s ∈ [0, τ]. Then \(\|\xi _j\|{ }^2_{L^2_\tau } = \tau \) and
Let \(V_{\tau ,k} = \text{Span}_{\mathbb {C}}\{\frac {a_1\xi _1}{\sqrt {\tau }}, \frac {a_2\xi _2}{\sqrt {\tau }},\cdots ,\frac {a_k\xi _k}{\sqrt {\tau }}\}\). We write g = g τ,k + g ⊥, where g τ,k ∈ V τ,k, and \(g^{\perp }\in V_{\tau ,k}^{\perp }\). Then
Note that \(\dim V_{\tau ,k} = k\) for all τ > 0. Direct calculation yields that, for j ≠ ℓ, \(\langle \frac {a_j\xi _j}{\sqrt {\tau }}, \frac {a_\ell \xi _\ell }{\sqrt {\tau }}\rangle _{L^2_\tau } = a_j\bar {a}_l \frac {e^{i(x_j-x_\ell )\tau }-1}{i\tau (x_j-x_\ell )}\to 0\) as τ →∞. Therefore the distribution of the eigenvalues of A τ,k,d shall approach to the distribution of the eigenvalues of
as τ →∞. This completes the proof of Eq. (40).
Proof (Equation (41))
Similar to Eq. (53), for any \(g\in L^2_{\tau }\), \(\|g\|{ }_{L^2_\tau } = 1\), we have
Then the min-max principle implies that λ τ,k,𝜖,1 ≤ 𝜖.
Proof (Equation (42))
Following [1] (page 39–41), we first show that
or equivalently
Equation (58) means that the large moments associated to the continuous spectral measure has density zero. For any 𝜖 > 0, we write μ f,c = μ f,c,1 + μ f,c,𝜖, in which μ f,c,1 has compact support, \(\mu _{f,c,\epsilon }(\mathbb {R})<\epsilon \) and μ f,c,1 ⊥ μ f,c,𝜖. Denote the support of μ f,c,1 by B 1. Then we have
and that
Note that \(\Big {|}\frac {1}{\tau }\int _{0}^{\tau }e^{is(x-y)}\mathtt {d}s\Big {|} \leq 1\) for any τ > 0 and any \(x,y\in \mathbb {R}\). And when x ≠ y
Since μ f,c,1 is continuous, we have that \((\mu _{f,c,1}\times \mu _{f,c,1})(\{(x,y)\in \mathbb {R}^2: x=y\}) = 0\). Hence, the integral in Eq. (64) boils down to an integral on \(\mathbb {R}^2\setminus \{x=y\}\). Lebesgue’s dominated convergence theorem implies that the integral in Eq. (64) converges to 0 as τ →∞. Hence \(\displaystyle \limsup _{\tau \to \infty }\frac {1}{\tau }\int _{0}^\tau \big {|}\mu _{f,c}(e^{isx})\big {|}^2\mathtt {d}s <\epsilon \) for any 𝜖 > 0. This implies Eq. (59).
For any \(g\in L^2(\mathbb {R})\), Theorem 2 implies that
Therefore
Hence
Therefore
as τ →∞. This completes the proof of Eq. (42).
Proof (Equation (43))
Recall that \(\mathcal {H}_{f,NU} \cong L^2([0,+\infty ], \mathcal {H}_0)\). Hence f NU can be represented as a curve from [0, ∞] to \(\mathcal {H}_0\). We denote this curve by γ. Without ambiguity, we do not distinguish between γ and f NU. Hence for each t ≥ 0, \(\gamma (t)\in \mathcal {H}_0\). And \(\|\gamma \|{ }^2_{\mathcal {H}_{f,NU}} = \displaystyle \int _{0}^\infty \|\gamma (t)\|{ }_{\mathcal {H}_0}^2\mathtt {d}t\). Recall that \((\mathcal {K}^s\gamma )(t) = \gamma (t+s)\). We set γ(t) = 0 for all t < 0. Hence for any \(g\in L^2_\tau \),
We first show the following identity:
To prove Eq. (83), without loss of generality we assume that \(\|\gamma \|{ }_{\mathcal {H}_{f,NU}} = 1\). For any 𝜖 > 0, there exists N 𝜖, so that \(\int _{0}^{N_{\epsilon }}\|\gamma (t)\|{ }_{\mathcal {H}_0}^2\mathtt {d}t > 1-\epsilon \). This means that \(\int _{N_{\epsilon }}^{\infty }\|\gamma (t)\|{ }^2\mathtt {d}t < \epsilon \). Therefore for any s ≥ N 𝜖,
This proves Eq. (83). Now we continue with Eq. (82):
For any 𝜖 > 0, find M 𝜖, so that for any \(|\langle \gamma , \mathcal {K}^s\gamma \rangle | < \epsilon \) for any s > M 𝜖. Now for any τ > M 𝜖∕𝜖 and any \(\|g\|{ }_{L^2_\tau } = 1\), we have
Therefore for τ > M 𝜖∕𝜖,
This completes the proof of Eq. (43).
References
Paul R. Halmos. Lectures on Ergodic Theory. Chelsea Publishing Company, New York, N.Y, 1956.
Béla Szőkefalvi-Nagy, Ciprian Foias, Hari Bercovici, and László Kérchy. Harmonic Analysis of Operators on Hilbert Space. Springer Science & Business Media, 2010.
Robert Vautard and Michael Ghil. Singular spectrum analysis in nonlinear dynamics, with applications to paleoclimatic time series. Physica D: Nonlinear Phenomena, 35:395–424, 1989.
Yicun Zhen, Bertrand Chapron, Etienne Mémin, and Lin Peng. Eigenvalues of autocovariance matrix: A practical method to identify the koopman eigenfrequencies. arXiv, 2021.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2023 The Author(s)
About this paper
Cite this paper
Zhen, Y., Chapron, B., Mémin, E. (2023). Bridging Koopman Operator and Time-Series Auto-Correlation Based Hilbert–Schmidt Operator. In: Chapron, B., Crisan, D., Holm, D., Mémin, E., Radomska, A. (eds) Stochastic Transport in Upper Ocean Dynamics. STUOD 2021. Mathematics of Planet Earth, vol 10. Springer, Cham. https://doi.org/10.1007/978-3-031-18988-3_19
Download citation
DOI: https://doi.org/10.1007/978-3-031-18988-3_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-18987-6
Online ISBN: 978-3-031-18988-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)