相关论文: Extension of Chronological Calculus for Dynamical …
We discuss possible extensions of the classical Chern-Weil formalism to an infinite dimensional setup. This is based on joint work with Steven Rosenberg, joint work with Simon Scott and joint work with Jouko Mickelsson.
We investigate the differential calculus defined by Ashtekar and Lewandowski on projective limits of manifolds by means of cylindrical smooth functions and compare it with the C^infty calculus proposed by Froehlicher and Kriegl in more…
We examine several numerical techniques for the calculation of the dynamics of quantum systems. In particular, we single out an iterative method which is based on expanding the time evolution operator into a finite series of Chebyshev…
We consider linear cocycles taking values in $\textup{SL}_d(\mathbb{R})$ driven by homeomorphic transformations of a smooth manifold, in discrete and continuous time. We show that any discrete-time cocycle can be extended to a…
Following the unified approach of A. Kriegl and P.W. Michor (1997) for a treatment of global analysis on a class of locally convex spaces known as convenient, we give a generalization of Rashevsky-Chow's theorem for control systems in…
We generalize a classical extension result by Seeley in the context of Bastiani's differential calculus to infinite dimensions. The construction follows Seeley's original approach, but is significantly more involved as not only $C^k$-maps…
For strongly monotone dynamical systems, the dynamics alternative for smooth discrete-time systems turns out to be a perfect analogy of the celebrated Hirsch's limit-set dichotomy for continuous-time semiflows. In this paper, we first…
We discuss some aspects of the extension to continuous systems of a statistical measure of complexity introduced by Lopez-Ruiz, Mancini and Calbet (LMC) [Phys. Lett. A 209 (1995) 321]. In general, the extension of a magnitude from the…
The classical method for deriving the macroscopic dynamics of a lattice Boltzmann system is to use a combination of different approximations and expansions. Usually a Chapman-Enskog analysis is performed, either on the continuous Boltzmann…
In this paper we address the question of solvability of dynamic equations on time scales in Banach spaces. In particular, our main theorem extends the result for classical differential equations in Banach spaces of Bana\'s and Goebel…
In light of the rich results of expansiveness in the dynamics of diffeomorphisms, it is natural to consider another notions of expansiveness such as countably-expansive, measure expansive, $N$-expansive and so on. In this paper, we…
We introduce a sequent calculus for the temporal-over-topological fragment $\textbf{DTL}_{0}^{\circ * \slash \Box}$ of dynamic topological logic $\textbf{DTL}$, prove soundness semantically, and prove completeness syntactically using the…
In this work we extend the novel framework developed by Dellnitz, Hessel-von Molo and Ziessler to the computation of finite dimensional unstable manifolds of infinite dimensional dynamical systems. To this end, we adapt a set-oriented…
We study the compactification of nonautonomous systems with autonomous limits and related dynamics. Although the $C^{1}$ extension of the compactification was well established, a great number of problems arising in bifurcation and stability…
We consider the problem of determining the class of continuous-time dynamical systems that can be globally linearized in the sense of admitting an embedding into a linear system on a higher-dimensional Euclidean space. We solve this problem…
Our paper is a complement to a recent article by D. Azagra and C. Mudarra (2021). We show how older results on semiconvex functions with modulus $\omega$ easily imply extension theorems for $C^{1,\omega}$-smooth functions on super-reflexive…
The long-term dynamics of many dynamical systems evolve on an attracting, invariant "slow manifold" that can be parameterized by a few observable variables. Yet a simulation using the full model of the problem requires initial values for…
The paper presents probabilistic extensions of interval temporal logic (ITL) and duration calculus (DC) with infinite intervals and complete Hilbert-style proof systems for them. The completeness results are a strong completeness theorem…
The goal of this paper is to construct invariant dynamical objects for a (not necessarily invertible) smooth self map of a compact manifold. We prove a result that takes advantage of differences in rates of expansion in the terms of a sheaf…
Often topological classes of one-dimensional dynamical systems are finite codimension smooth manifolds. We describe a method to prove this sort of statement that we believe can be applied in many settings. In this work we will implement it…