Related papers: When a system of real quadratic equations has a so…
We prove that if $q_1, \ldots, q_m: {\Bbb R}^n \longrightarrow {\Bbb R}$ are quadratic forms in variables $x_1, \ldots, x_n$ such that each $q_k$ depends on at most $r$ variables and each $q_k$ has common variables with at most $r$ other…
Given symmetric matrices $A_0, A_1, \ldots, A_n$ of size $m$ with rational entries, the set of real vectors $x = (x_1, \ldots, x_n)$ such that the matrix $A_0 + x_1 A_1 + \cdots + x_n A_n$ has non-negative eigenvalues is called a…
We obtain sufficient conditions for solutions of the $m$th-order differential inequality $$ \sum_{|\alpha| = m} \partial^\alpha a_\alpha (x, u) \ge f (x) g (|u|) \quad \mbox{in } B_1 \setminus \{ 0 \} $$ to have a removable singularity at…
In this work we prove a version of the Sylvester-Gallai theorem for quadratic polynomials that takes us one step closer to obtaining a deterministic polynomial time algorithm for testing zeroness of $\Sigma^{[3]}\Pi\Sigma\Pi^{[2]}$…
We introduce a new class of "random" subsets of natural numbers, WM sets. This class contains normal sets (sets whose characteristic function is a normal binary sequence). We establish necessary and sufficient conditions for solvability of…
Several recently discovered properties of multiple families of special polynomials (some orthogonal and some not) that satisfy certain differential, difference or q-difference equations are reviewed. A general method of construction of…
In order to verify programs or hybrid systems, one often needs to prove that certain formulas are unsatisfiable. In this paper, we consider conjunctions of polynomial inequalities over the reals. Classical algorithms for deciding these not…
In [Acta Math. Univ. Comenianae Vol. LXXX, 1 (2011), pp. 63--70], Yang, Chen and Shi examined the system of difference equations \[ x_n=\frac{a}{y_{n-p}},\qquad y_n=\frac{by_{n-p}}{x_{n-q}y_{n-q}},\qquad n=0,1,\ldots, \] where $q$ is a…
We focus on rational solutions or nearly-feasible rational solutions that serve as certificates of feasibility for polynomial optimization problems. We show that, under some separability conditions, certain cubic polynomially constrained…
Let $\mathbb{N}$ be the set of all positive integers and let $a,\, b,\, c$ be nonzero integers such that $\gcd\left(a,\, b,\, c\right)=1$. In this paper, we prove the following three results: (1) the solvability of the matrix equation…
In this paper, we establish conditions on the weights that are necessary and sufficient for the existence of positive solutions, bounded and unbounded, of a semilinear elliptic system.
We give an optimal necessary and sufficient condition for the quotient polynomial and remainder in the division algorithm to have positive coefficients.
In this paper we study the conditions, under which the quaternionic Riccati equations have periodic solutions. The obtained result we compare with one recently obtained important one.
Some global existence criteria for quaternionic Riccati equations are established. Two of them are used to prove a completely non conjugation theorem for solutions of linear systems of ordinary differential equations.
Let M be an archimedean quadratic module of real t-by-t matrix polynomials in n variables, and let S be the set of all real n-tuples where each element of M is positive semidefinite. Our key finding is a natural bijection between the set of…
The aim of this sequence of work is to investigate polynomial equations satisfied by additive functions. As a result of this, new characterization theorems for homomorphisms and derivations can be given. More exactly, in this paper the…
In the context of modeling of cell signaling pathways, a relevant step is finding steady-state solutions for ODE systems that describe the kinetics of a set of chemical reactions, especially sets composed of zero, first, and second-order…
In this paper, we consider the quadratic programming problems under finitely many convex quadratic constraints in Hilbert spaces. By using the Legendre property of quadratic forms or the compactness of operators in the presentations of…
An integral quadratic form is called strictly $n$-regular if it primitively represents all quadratic forms in $n$ variables that are primitively represented by its genus. For any $n \geq 2$, it will be shown that there are only finitely…
In this work the existence of periodic solutions is studied for the Hamiltonian functions (Formula presented.) where the first term consist of a harmonic oscillator and the second term are homogeneous polynomials of degree 5 defined by two…