Related papers: A criterion for the differential flatness of a non…

In the paper, we derive a sensitivity result for a nonlinear fractional ordinary elliptic system on a bounded interval with Dirichlet boundary conditions. More precisely, using a global implicit function theorem, we show that, for any…

Given a map $\phi:X\rightarrow Y$ between $F$-analytic manifolds over a local field $F$ of characteristic $0$, we introduce an invariant $\epsilon_{\star}(\phi)$ which quantifies the integrability of pushforwards of smooth compactly…

In a joint work with Palmer we have formulated sufficient conditions under which there exist continuous and invertible transformations of the form $H_n(x,y)$ taking solutions of a coupled system \begin{equation*} x_{n+1} =A_nx_n+f_n(x_n,…

The widespread adoption of autonomous systems depends on providing guarantees of safety and functional correctness, at both design time and runtime. Information about the extent to which functional requirements can be met in combination…

The paper addresses the exact linearization of flat nonlinear discrete-time systems by generalized static or dynamic feedbacks which may also depend on forward-shifts of the new input. We first investigate the question which forward-shifts…

The controllability condition for finite dimensional quantum systems, the Lie Algebra Rank Condition, has been stated assuming that the right invariant differential system under consideration is bilinear. We remark that this assumption is…

In present paper, we establish sufficient conditions for existence and stability of solutions for system of nonlinear implicit fractional differential equations. The main techniques are based on method of successive approximations. Finally,…

A linear system of difference equations and a nonlinear perturbation are considered. We propose sufficient conditions to ensure that the homeomorphism of topological equivalence between them is actually a $C^1$ diffeomorphism. These…

The aim of this paper is twofold. On one hand, the additive solvability of the system of functional equations \[d_{k}(xy)=\sum_{i=0}^{k}\Gamma(i,k-i) d_{i}(x)d_{k-i}(y) \qquad (x,y\in \R,\,k\in\{0,\ldots,n\}) \] is studied, where…

We consider a planar differential system $\dot{x}= P(x,y)$, $\dot{y} = Q(x,y)$, where $P$ and $Q$ are $\mathcal{C}^1$ functions in some open set $\mathcal{U} \subseteq \mathbb{R}^2$, and $\dot{}=\frac{d}{dt}$. Let $\gamma$ be a periodic…

We derive sufficient conditions for a dynamical systems to have a set of irregular points with full topological entropy. Such conditions are verified for some nonuniformly hyperbolic systems such as positive entropy surface diffeomorphisms…

In this paper, we give new criteria for affineness of a variety defined over $\Bbb{C}$. Our main result is that an irreducible algebraic variety $Y$ (may be singular) of dimension $d$ ($d\geq 1$) defined over $\Bbb{C}$ is an affine variety…

We consider systems of linear partial differential equations, which contain only second and first derivatives in the $x$ variables and which are uniformly parabolic in the sense of Petrovski\v{\i} in the layer ${\mathbb R}^n\times [0,T]$.…

The concept of positively invariant (PI) sets has proven effective in the formal verification of stability and safety properties for autonomous systems. However, the characterization of such sets is challenging for nonlinear systems in…

The Riccati equation method and an approach of the use of unknown factors is used to establish oscillation, suboscillation and nonoscillation criteria for linear systems of ordinary differential equations. A necessary condition for Lyapunov…

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…

It is well known that if a function $f$ satisfies $$\|f(x) e^{\pi \alpha |x|^2}\|_p + \| \widehat{f}(\xi) e^{\pi \alpha |\xi|^2} \|_q<\infty \qquad\qquad\qquad(*)$$ with $\alpha=1$ and $1\le p,q<\infty$, then $f\equiv 0.$ We prove that if…

Let $f$ be a holomorphic mapping between compact complex manifolds. We give a criterion for $f$ to have {\it unobstructed deformations}, i.e. for the local moduli space of $f$ to be smooth: this says, roughly speaking, that the group of…

We examine when differentially flat nonlinear control systems with more than two inputs can be rendered static feedback linearizable by a minimal number of prolongations of suitably chosen inputs after applying a static input…

A necessary and sufficient condition ("nonresonance") is established for every solution of an autonomous linear difference equation, or more generally for every sequence $(x^\top A^n y)$ with $x,y\in \mathbb{R}^d$ and $A\in…