Related papers: On rational systems in the plane. I. Riccati Cases
It is shown that if It is shown that if \begin{equation}\label{abstract_eq} f(z+1)^n=R(z,f),\tag{\dag} \end{equation} where $R(z,f)$ is rational in $f$ with meromorphic coefficients and $\deg_f(R(z,f))=n$, has an admissible meromorphic…
In a 2011 paper published in the journal "Asian Journal of Algebra"(see reference[1]), the authors consider, among other equations,the diophantine equations 2xy=n(x+y) and 3xy=n(x+y). For the first equation, with n being an odd positive…
Let $r$ be any positive integer, and let $x_1, x_2$ be indeterminates. We consider the sequence $\{x_n\}$ defined by the recursive relation $$ x_{n+1} =(x_n^r +1)/{x_{n-1}} $$ for any integer $n$. Finding a combinatorial expression for…
The paper deals with a construction of a separating system of rational invariants for finite dimensional generic algebras. In the process of dealing an approach to a rough classification of finite dimensional algebras is offered by…
Solvability of the rational quantum integrable systems related to exceptional root spaces $G_2, F_4$ is re-examined and for $E_{6,7,8}$ is established in the framework of a unified approach. It is shown the Hamiltonians take algebraic form…
We construct the existence theory for generalized fractional Bessel differential equations and find the solutions in the form of fractional or logarithmic fractional power series. We figure out the cases when the series solution is unique,…
This paper is concerned with the diophantine system, $\sum_{i=1}^{s_1} x_i^r=\sum_{i=1}^{s_2} y_i^r,\, r=1,\,2,\,\ldots,\,k, $ where $s_1$ and $s_2$ are integers such that the total number of terms on both sides, that is, $s_1+s_2,$ is as…
One develops {\em ab initio} the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A numerical invariant of a rational map is introduced, called the Jacobian…
In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications, in a similar spirit than a set of proof trees. The main…
In the first two papers, the author embarked on a study of classes of linear equations over integers satisfying a "Farkas-type" property. As the third paper in this study, the present paper deals with another class of linear equations over…
In this paper, we consider the critical Lane-Emden system \begin{align*} \begin{cases} -\Delta u=K_1(y)v^p,\quad y\in \mathbb{R}^N,&\\ -\Delta v=K_2(y)u^q,\quad y\in \mathbb{R}^N,&\\ u,v>0, \end{cases} \end{align*} where $N\geq 5$, $p,q\in…
This note deals with the following problem: under which conditions can elliptic first order systems in the plane be complex-rewritten as a parameter-depending Vekua-type equation?
We describe the sequences {x_n}_n given by the non-autonomous second order Lyness difference equations x_{n+2}=(a_n+x_{n+1})/x_n, where {a_n}_n is either a 2-periodic or a 3-periodic sequence of positive values and the initial conditions…
For a nice holomorphic function $f(s, z)$ in two variables, a respective holomorphic Gamma function $\Gamma = \Gamma_f$ is constructed, such that $f(s, \Gamma(s)) = \Gamma(s + 1)$. Along the way, we fall through a rabbit hole of infinite…
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the…
In this part we study the dynamics of the following rational multi-parameter first order difference equation x_{n+1} =(ax_{n}^3+ bx_{n}^2+cx_{n} + d)/x_{n}^3, x_{0}\in R^{+} where the parameters a, b, d together with the initial condition…
The aim of this paper is to prove the possibility of linearization of such equations by means of introduction of new variables. For $n=2$ such a procedure is well known, when new variables are components of spinors and they are widely used…
An algebraic Riccati equation for linear operators is studied, which arises in systems theory. For the case that all involved operators are unbounded, the existence of infinitely many selfadjoint solutions is shown. To this end, invariant…
Classical planning asks for a sequence of operators reaching a given goal. While the most common case is to compute a plan, many scenarios require more than that. However, quantitative reasoning on the plan space remains mostly unexplored.…
The principal aim of this note is to illustrate how factorizations of singular, even-order partial differential operators yield an elementary approach to classical inequalities of Hardy-Rellich-type. More precisly, introducing the…