Related papers: Extension of Chronological Calculus for Dynamical …
Embedding techniques allow the approximations of finite dimensional attractors and manifolds of infinite dimensional dynamical systems via subdivision and continuation methods. These approximations give a topological one-to-one image of the…
The calculus of finite differences is a solid foundation for the development of operations such as the derivative and the integral for infinite sequences. Here we showed a way to extend it for finite sequences. We could then define…
We develop a general compactification framework to facilitate analysis of nonlinear nonautonomous ODEs where nonautonomous terms decay asymptotically. The strategy is to compactify the problem: the phase space is augmented with a bounded…
We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog…
We first study probabilistic dynamical systems from logical perspective. To this purpose, we introduce the finitary dynamic probability logic} ($\mathsf{DPL}$), as well as its infinitary extension $\mathsf{DPL}_{\omega_1}\!$. Both these…
In this paper, we use homotopical algebra (or abstract homotopical methods) to study smooth homotopical problems of infinite-dimensional $C^\infty$-manifolds in convenient calculus. More precisely, we discuss the smoothing of maps,…
A continuous-time Markov chain (CTMC) execution is a continuous class of probability distributions over states. This paper proposes a probabilistic linear-time temporal logic, namely continuous-time linear logic (CLL), to reason about the…
Characteristic examples of continuous symmetries in hydrodynamic plasma theory (partial differential equations) and in kinetic Vlasov-Maxwell models (integro-differential equations) are considered. Possible symmetry extensions conditional…
In this paper we exploit the umbral calculus framework to reformulate the so-called discrete Cauchy-Kovalevskaya extension in the scope of hypercomplex variables. The key idea is to consider not only formal power series representation for…
Linear finite dynamical systems play an important role, for example, in coding theory and simulations. Methods for analyzing such systems are often restricted to cases in which the system is defined over a field %and usually strive to…
Continuous mappings between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these…
Using time-reversal, we introduce a stochastic integral for zero-energy additive functionals of symmetric Markov processes, extending earlier work of S. Nakao. Various properties of such stochastic integrals are discussed and an It\^{o}…
The Mishchenko-Fomenko theorem on noncommutative integrability of Hamiltonian systems on a symplectic manifold is extended to the case of noncompact invariant submanifolds.
This paper presents an averaging method for nonlinear systems defined on Riemannian manifolds. We extend closeness of solutions results for ordinary differential equations on $R^{n}$ to dynamical systems defined on Riemannian manifolds by…
This is an expository article, originally written in Japanese, on a dynamical system over a non-archimedean field. The main viewpoint is from complex and non-archimedean potential theories. After quickly introducing the Berkovich projective…
We introduce the notion of induced topological pressure for countable state Markov shifts with respect to a non-negative scaling function and an arbitrary subset of finite words. Firstly, the scaling function allows a direct access to…
We give a proof of the Gromov compactness theorem using the language of stable curves (i.e. cusp-curve of Gromov, or stable maps of Kontsevich and Manin) in general setting: An almost complex structure on a target manifold is only…
We introduce a new type of shift dynamics as an extended model of symbolic dynamics, and investigate the characteristics of shift spaces from the viewpoints of both dynamics and computation. This shift dynamics is called a functional shift…
We present an infinite-dimensional hyperk\"ahler reduction that extends the classical moment map picture of Fujiki and Donaldson for the scalar curvature of K\"ahler metrics. We base our approach on an explicit construction of hyperk\"ahler…
We prove that the classical integrability condition for almost complex structures on finite-dimensional smooth manifolds also works in infinite dimensions in the case of almost complex structures that are real analytic on real analytic…