Related papers: A Less Conservative Circle Criterion

Incremental stability properties are considered for certain systems of forced, nonlinear differential equations with a particular positivity structure. An incremental stability estimate is derived for pairs of input/state/output…

We consider the nonlinear Schrodinger equation with a cubic nonlinearity on the circle, which is known to represent an integrable Hamiltonian system. We construct a global coordinate systems, which puts this Hamiltonian into standard normal…

We examine the relationships between axiomatic and cyclic proof systems for the partial and total versions of Hoare logic and those of its dual, known as reverse Hoare logic (or sometimes incorrectness logic). In the axiomatic proof systems…

We study a one-dimensional cross-diffusion system for two interacting populations on the torus, with a linear pressure law and different mobilities. For arbitrary bounded non-negative initial data, we show that any good approximation…

We argue that parameterized complexity is a useful tool with which to study global constraints. In particular, we show that many global constraints which are intractable to propagate completely have natural parameters which make them…

The global-in-time existence of bounded weak solutions to general cross-diffusion systems describing the evolution of $n$ population species is proved. The equations are considered in a bounded domain with no-flux boundary conditions. The…

We prove the global existence of finite energy weak solutions to the general liquid crystals system. The problem is studied in bounded domain of $R^3$ with Dirichlet boundary conditions and the whole space $R^3$.

In this research, a general theoretical framework for clustering is proposed over specific partial algebraic systems by the present author. Her theory helps in isolating minimal assumptions necessary for different concepts of clustering…

The well-known Leibniz theorem (Leibniz Criterion or alternating series test) of convergence of alternating series is generalized for the case when the absolute value of terms of series are "not absolutely monotonously" convergent to zero.…

We give general conditions for the central limit theorem and weak convergence to Brownian motion (the weak invariance principle / functional central limit theorem) to hold for observables of compact group extensions of nonuniformly…

This paper considers a Popov type approach to the problem of robust stability for a class of uncertain linear quantum systems subject to unknown perturbations in the system Hamiltonian. A general stability result is given for a general…

Limit theorems for a linear dynamical system with random interactions are established. These theorems enable us to characterize the dynamics of a large complex system in details and assess whether a large complex system is stable or…

We present a new, scalable alternative to the structured singular value, which we call $\nu$, provide a convex upper bound, study their properties and compare them to $\ell_1$ robust control. The analysis relies on a novel result on the…

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…

We give a number of constructions where inverse limits seriously degrade properties of regular rings, such as unit-regularity, diagonalisation of matrices, and finite stable rank. This raises the possibility of using inverse limits to…

In this short paper we prove the global regularity of solutions to the Navier-Stokes equations under the assumption that slightly supercritical quantities are bounded. As a consequence, we prove that if a solution $u$ to the Navier-Stokes…

This paper deals with existence of a nontrivial positive solution to systems of equations involving nontrivial nonhomogeneous terms and critical or subcritical nonlinearities. Via a minimization argument we prove existence of a positive…

Li\'{e}nard equations, $\ddot{x}+\epsilon f(x)\dot{x}+x=0$, with $f(x)$ an even continuous function are considered. In the weakly nonlinear regime ($\epsilon\to 0$), the number and an order zero in $\epsilon$ approximation of the amplitude…

This paper is devoted to the study of the existence and uniqueness of global admissible conservative weak solutions for the periodic single-cycle pulse equation. We first transform the equation into an equivalent semilinear system by…

The goal of the present paper is to prove that if a weak limit of a consistent approximation scheme of compressible complete Euler system in the full space $ \mathbb{R}^d,\; d=2,3 $ is a weak solution of the system then eventually the…