Dynamical Systems (math.DS)

  • PDF
    R. Kaufman and M. Tsujii proved that the Fourier transform of self-similar measures has a power decay outside of a sparse set of frequencies. We present a version of this result for homogeneous self-similar measures, with quantitative estimates, and derive several applications: (1) non-linear smooth images of homogeneous self-similar measures have a power Fourier decay, (2) convolving with a homogeneous self-similar measure increases correlation dimension by a quantitative amount, (3) the dimension and Frostman exponent of (biased) Bernoulli convolutions tend to $1$ as the contraction ratio tends to $1$, at an explicit quantitative rate.
  • PDF
    We present a new framework for optimal control of PDEs using Koopman operator-based reduced order models (K-ROMs). By introducing a finite number of constant controls, the dynamic control system is transformed into a set of autonomous systems and the corresponding optimal control problem into a switching time optimization problem. This way, a nonlinear infinite-dimensional control problem is transformed into a low-dimensional linear problem. Using a recent convergence result for Extended Dynamic Mode Decomposition (EDMD), we prove convergence of the K-ROM-based solution towards the solution of the full system. To illustrate the results, we consider the 1D Burgers equation and the 2D Navier-Stokes equations. The numerical experiments show remarkable performance concerning both solution times as well as accuracy.
  • PDF
    We address the following conjecture about the existence of common zeros for commuting vector fields in dimension three: let $X,Y$ be two $C^1$ commuting vector fields on a $3$-manifold $M$, and $U$ be a relatively compact open set where $Y$ does not vanish, then $X$ has zero Poincaré-Hopf index in $U$. We prove that conjecture when $X$ and $Y$ are of class $C^3$ and every periodic orbit of $Y$ along which $X$ and $Y$ are colinear is partially hyperbolic. We also prove the conjecture, still in the $C^3$ setting, and assuming that the flow $Y$ leaves invariant a transverse plane field. These results shed new light on the $C^3$ case of the conjecture and indeed we discuss a global strategy to attack this problem.
  • PDF
    We consider a $\mathcal{C}^3$ family $t\mapsto f_t$ of $\mathcal{C}^4$ Anosov diffeomorphisms on a compact Riemannian manifold $M$. Denoting by $\rho_t$ the SRB measure of $f_t$, we prove that the map $t\mapsto\int \theta d\rho_t$ is differentiable if $\theta$ is of the form $\theta(x)=h(x)\delta(g(x)-a)$, with $\delta$ the Dirac distribution, $g:M\rightarrow \mathbb{R}$ a $\mathcal{C}^4$ function, $h:M\rightarrow\mathbb{R}$ a $\mathcal{C}^3$ function and $a$ a regular value of $g$. We also require a transversality condition, namely that the intersection of the support of $h$ with the level set $\{g(x)=a\} $ is foliated by 'admissible stable leaves'.
  • PDF
    In this paper we give a smooth linearization theorem for nonautonomous difference equations with a nonuniform strong exponential dichotomy. The linear part of such a nonautonomous difference equation is defined by a sequence of invertible linear operators on $\mathbb{R}^d$. Reducing the linear part to a bounded linear operator on a Banach space, we discuss the spectrum and its spectral gaps. Then we obtain a gap condition for $C^1$ linearization of such a nonautonomous difference equation. We finally extend the result to the infinite dimensional case. Our theorems improve known results even in the case of uniform strong exponential dichotomies.
  • PDF
    Starting from measured data, we develop a method to compute the fine structure of the spectrum of the Koopman operator with rigorous convergence guarantees. The method is based on the observation that, in the measure-preserving ergodic setting, the moments of the spectral measure associated to a given observable are computable from a single trajectory of this observable. Having finitely many moments available, we use the classical Christoffel-Darboux kernel to separate the atomic and absolutely continuous parts of the spectrum, supported by convergence guarantees as the number of moments tends to infinity. In addition, we propose a technique to detect the singular continuous part of the spectrum as well as two methods to approximate the spectral measure with guaranteed convergence in the weak topology, irrespective of whether the singular continuous part is present or not. The proposed method is simple to implement and readily applicable to large-scale systems since the computational complexity is dominated by inverting an $N\times N$ Hermitian positive-definite Toeplitz matrix, where $N$ is the number of moments, for which efficient and numerically stable algorithms exist; in particular, the complexity of the approach is independent of the dimension of the underlying state-space. We also show how to compute, from measured data, the spectral projection on a given segment of the unit circle, allowing us to obtain a finite-dimensional approximation of the operator that explicitly takes into account the point and continuous parts of the spectrum. Finally, we describe a relationship between the proposed method and the so-called Hankel Dynamic Mode Decomposition, providing new insights into the behavior of the eigenvalues of the Hankel DMD operator. A number of numerical examples illustrate the approach, including a study of the spectrum of the lid-driven two-dimensional cavity flow.
  • PDF
    Let $X$ be a two-sided subshift on a finite alphabet endowed with a mixing probability measure which is positive on all cylinders in $X$. We show that there exist arbitrarily small finite connected unions of cylinders which intersect every orbit under the shift map. We also show that for any proper subshift $Y$ of $X$ there exists a finite connected union of cylinders such that its survivor set contains $Y$ (in particular, it can have entropy arbitrarily close to the entropy of $X$). Both results may be seen as somewhat counter-intuitive. Finally, we apply these results to a certain class of hyperbolic algebraic automorphisms of a torus.