相关论文: A discrete Farkas lemma

We investigate discrete-time conewise linear systems (CLS) for which all the solutions exhibit a finite number of switches. By switches, we mean transitions of a solution from one cone to another. Our interest in this class of CLS comes…

Let $\Omega$ be a smooth bounded domain in $\mathbb{R}^{N}$, $N\geq1$, let $K$, $M$ be two nonnegative functions and let $\alpha,\gamma>0$. We study existence and nonexistence of positive solutions for singular problems of the form $-\Delta…

We derive a numerically stable method to compute an image representation of an unknown linear system only from data, leveraging a continuous-time version of Willems et al.'s fundamental lemma. To this end, we use derivatives approximated by…

We give a necessary and sufficient condition for a system of linear inhomogeneous fractional differential equations to have at least one bounded solution. We also obtain an explicit description for the set of all bounded (or decay)…

In this paper we consider the existence of positive solutions for a singular elliptic problem involving an asymtotically linear nonlinearity and depending on one positive parameter. Using variational methods, together with comparison…

We show that any second order linear ordinary diffrential equation with constant coefficients (including the damped and undumped harmonic oscillator equation) admits an exact discretization, i.e., there exists a difference equation whose…

The multitime multiple recurrences are common in analysis of algorithms, computational biology, information theory, queueing theory, filters theory, statistical physics etc. The theoretical part about them is little or not known. That is…

We survey the state of the art on the algorithmic analysis of discrete linear dynamical systems, focussing in particular on reachability, model-checking, and invariant-generation questions, both unconditionally as well as relative to…

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…

We consider the problem of efficiently solving large-scale linear least squares problems that have one or more linear constraints that must be satisfied exactly. Whilst some classical approaches are theoretically well founded, they can face…

On the one hand, termination analysis of logic programs is now a fairly established research topic within the logic programming community. On the other hand, non-termination analysis seems to remain a much less attractive subject. If we…

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,…

The present work includes some of the author's original researches on integer solutions of Diophantine liner equations and systems. The notion of "general integer solution" of a Diophantine linear equation with two unknowns is extended to…

Systems of random linear equations may or may not have solutions with all components being non-negative. The question is, e.g., of relevance when the unknowns are concentrations or population sizes. In the present paper we show that if such…

The work deals with the existence of solutions of a certain system of quadratic integral equations in H^2(R^d,R^N), d = 2, 3. We demonstrate the existence of a perturbed solution by virtue of a fixed point technique.

We provide new results on the existence of nonzero positive weak solutions for a class of second order elliptic systems. Our approach relies on a combined use of iterative techniques and classical fixed point index. Some examples are…

In this article, we study systems of $n \geq 1$, not necessarily linear, discrete differential equations (DDEs) of order $k \geq 1$ with one catalytic variable. We provide a constructive and elementary proof of algebraicity of the solutions…

We characterize all fixed equilibrium point singularity distributions in the plane of logarithmic type, allowing for real, imaginary, or complex singularity strengths \Gamma . The dynamical system follows from the assumption that each of…

Let A(n) be a $k\times s$ matrix and $m(n)$ be a $k$ dimensional vector, where all entries of A(n) and $m(n)$ are integer-valued polynomials in $n$. Suppose that $$t(m(n)|A(n))=#\{x\in\mathbb{Z}_{+}^{s}\mid A(n)x=m(n)\}$$ is finite for each…

A well motivated method for demonstrating that an experiment resists any classical explanation is to show that its statistics violate generalized noncontextuality. We here formulate this problem as a linear program and provide an…