Related papers: Sweeping by a tame process

This work investigates the algorithmic complexity of non-classical logics, focusing on superintuitionistic and modal systems. It is shown that propositional logics are usually polynomial-time reducible to their fragments with at most two…

We show that for any uniformly elliptic fully nonlinear second-order equation with bounded measurable "coefficients" and bounded "free" term one can find an approximating equation which has a unique continuous and having the second…

In an abstract Banach space we study conditions for the existence of piecewise continuous, almost periodic solutions for semi-linear impulsive differential equation with fixed and non-fixed moments of impulsive action

It is rigorously proved that quasilinear impulsive systems possess unpredictable solutions when a perturbation generated by an unpredictable sequence is applied. The existence, uniqueness, as well as asymptotic stability of such solutions…

We consider small nonlinear perturbations of linear systems on a time scale with the phase space being finite or infinite-dimensional. For $\Delta$-differential operators, corresponding to linear dynamic systems we consider their…

Here the polynomial interpolation approach is used to introduce the main results on multivariate normal algebraic systems. Next we bring a construction which shows that any standard algebraic system, with finite set of solutions, can be…

We describe the approximation of a continuous dynamical system on a p. l. manifold or Cantor set by a tractable system. A system is tractable when it has a finite number of chain components and, with respect to a given full background…

This paper is to characterize piecewise continuous almost periodic functions as the product of Bohr almost periodic functions and sequences. As an application, the result is used to discuss piecewise continuous almost periodic solutions of…

We define a hierarchy of systems with topological completely positive entropy in the context of continuous countable amenable group actions on compact metric spaces. For each countable ordinal we construct a dynamical system on the…

We introduce a new analytical method, which allows to find out chaotic dynamics in non-smooth dynamical systems. A simple mechanical system consisting of a mass and a dry friction element is considered as an example. The corresponding…

In this work, we investigate the dynamics of a general non-autonomous system generated by a commutative family of homeomorphisms. In particular, we investigate properties such as periodicity, equicontinuity, minimality and transitivity for…

In this paper we presents further developments regarding the enrichment of the basic Theory of Order Completion. In particular, spaces of generalized functions are constructed that contain generalized solutions to all systems of continuous,…

An exponential turnpike property for a semilinear control problem is proved. The state-target is assumed to be small, whereas the initial datum can be arbitrary. Turnpike results are also obtained for large targets, requiring that the…

Using the notion of contiguity of simplicial maps, we adapt Farber's topological complexity to the realm of simplicial complexes. We show that, for a finite simplicial complex $K$, our discretized concept recovers the topological complexity…

By the simple finite element method, we study the symplectic, multisymplectic structures and relevant preserving properties in some semi-linear elliptic boundary value problem in one-dimensional and two-dimensional spaces respectively. We…

For any real-valued stochastic process X with c\`adl\`ag paths we define non-empty family of processes, which have finite total variation, have jumps of the same order as the process X and uniformly approximate its paths: This allows to…

We consider a discrete time dynamic system described by a difference equation with periodic coefficients and with additive stochastic noise. We investigate the possibility of the periodicity for the solution. In particular, we found…

We prove that two infinite p-adic semi-algebraic sets are isomorphic (i.e. there exists a semi-algebraic bijection between them) if and only if they have the same dimension.

The iterative absorption method has recently led to major progress in the area of (hyper-)graph decompositions. Amongst other results, a new proof of the Existence conjecture for combinatorial designs, and some generalizations, was…

We prove that continuous reducibility is a well-quasi-order on the class of continuous functions between separable metrizable spaces with analytic zero-dimensional domain. To achieve this, we define scattered functions, which generalize…