Related papers: A discrete Farkas lemma
This paper is devoted to the investigation of the nonnegative solutions and the stability and asymptotic properties of the solutions of fractional differential dynamic systems involving delayed dynamics with point delays. The obtained…
The aim of this paper is the study of existence of solutions for non- linear p-Laplacian difference equations. In the first part, the existence of a nontrivial homoclinic solution for a discrete p-Laplacian problem is proved. The proof is…
We consider robust discrete minimization problems where uncertainty is defined by a convex set in the objective. We show how an integrality gap verifier for the linear programming relaxation of the non-robust version of the problem can be…
Quantum algorithms for solving the Quantum Linear System (QLS) problem are among the most investigated quantum algorithms of recent times, with potential applications including the solution of computationally intractable differential…
Let G be a piecewise constant $n\times n$ matrix function which is defined on a smooth closed curve $\Gamma$ in the complex sphere and which has m jumps. We consider the problem of determining the partial indices of the factorization of the…
We prove a general existence theorem for nonlinear partial differential systems of any order in one complex variable. A special case of first order contains a well-known theorem of Nijenhuis and Woolf concerning local existence of…
Consider a discrete dynamical system given by a square matrix $M \in \mathbb{Q}^{d \times d}$ and a starting point $s \in \mathbb{Q}^d$. The orbit of such a system is the infinite trajectory $\langle s, Ms, M^2s, \ldots\rangle$. Given a…
There are two-dimensional Toda field equations corresponding to each (finite or affine) Lie algebra. The question addressed in this note is whether there exist integrable discrete versions of these. It is shown that for certain algebras…
In this paper we develop a very special substitution method for solving a general linear programming problem (LPP). Of course the substitution is a kind of elimination of variable but this method must not be confused with the so-called…
We provide an alternative approach to the existence of solutions to dynamic programming equations arising in the discrete game-theoretic interpretations for various nonlinear partial differential equations including the infinity Laplacian,…
The aim of this paper is investigating the existence and multiplicity of weak solutions to non--local equations involving the {\em magnetic fractional Laplacian}, when the nonlinearity is subcritical and asymptotically linear at infinity.…
We are interested in finding a solution to the tensor complementarity problem with a strong M-tensor, which we call the M-tensor complementarity problem. We propose a lower dimensional linear equation approach to solve that problem. At each…
We prove the non-abelian Poincare lemma in higher gauge theory in two different ways. The first method uses a result by Jacobowitz which states solvability conditions for differential equations of a certain type. The second method extends a…
This paper is devoted to prove the existence and nonexistence of positive solutions for a class of fractional Schrodinger equation in RN of the We apply a new methods to obtain the existence of positive solutions when f(u) is asymptotically…
There is no general existence theorem for solutions for nonlinear difference equations, so we must prove the existence of solutions in accordance with models one by one. In our work, we found theorems for the existence of analytic solutions…
Since the seminal work of J. A. Robinson on resolution, many lifting lemmas for simplifying proofs of completeness of resolution have been proposed in the literature. In the logic programming framework, they may also help to detect some…
We establish effective elimination theorems for differential-difference equations. Specifically, we find a computable function $B(r,s)$ of the natural number parameters $r$ and $s$ so that for any system of algebraic differential-difference…
For given real or complex $m \times n$ data matrices $X$, $Y$, we investigate when there is a matrix $A$ such that $AX = Y$, and $A$ is invertible, Hermitian, positive (semi)definite, unitary, an orthogonal projection, a reflection, complex…
We review the simplex method and two interior-point methods (the affine scaling and the primal-dual) for solving linear programming problems for checking avoiding sure loss, and propose novel improvements. We exploit the structure of these…
Linear Dynamical Systems, both discrete and continuous, are invaluable mathematical models in a plethora of applications such the verification of probabilistic systems, model checking, computational biology, cyber-physical systems, and…