Related papers: On rational systems in the plane. I. Riccati Cases

We prove that for any integers $\alpha, \beta > 1$, the existential fragment of the first-order theory of the structure $\langle \mathbb{Z}; 0,1,<, +, \alpha^{\mathbb{N}}, \beta^{\mathbb{N}}\rangle$ is decidable (where $\alpha^{\mathbb{N}}$…

Of all basic principles of classical physics, realism should arguably be the last to be given up when seeking a better interpretation of quantum mechanics. We examine the de Broglie-Bohm pilot wave theory as a well developed example of a…

This paper deals with existence of solutions to the following fractional $p$-Laplacian system of equations \begin{equation*} %\tag{$\mathcal P$}\label{MAT1} \begin{cases} (-\Delta_p)^s u =|u|^{p^*_s-2}u+…

In this paper we develop some group theoretical methods which are shown to be very useful for a better understanding of the properties of the Riccati equation and we discuss some of its integrability conditions from a group theoretical…

A new formulation of what may be called the "fundamental theorem of the theory of relativity" is presented and proved in (3+1)-space-time, based on the full classification of special transformations and the corresponding velocity addition…

This paper addresses the asymptotic approximations of the stable and unstable manifolds for the saddle fixed point and the 2-periodic solutions of the difference equation $x_{n+1} = \alpha + \beta x_{n-1}+x_{n-1}/x_{n},$ where $\alpha>0,$…

By folding an autonomous system of rational equations in the plane to a scalar difference equation, we show that the rational system has coexisting periodic orbits of all possible periods as well as stable aperiodic orbits for certain…

The Riccati equation method is used to establish new oscillation criteria for extended linear matrix Hamiltonian systems. This method allows to obtain results in in a new direction, which is to break the positive definiteness condition,…

In this paper we study positive solutions to the following nonlocal system of equations: \begin{equation*} \left\{\begin{aligned} &(-\Delta)^s u = \frac{\alpha}{2_s^*}|u|^{\alpha-2}u|v|^{\beta}+f(x)\;\;\text{in}\;\mathbb{R}^{N},…

The bivariate difference field provides an algebraic framework for a sequence satisfying a recurrence of order two. Based on this, we focus on sequences satisfying a recurrence of higher order, and consider the multivariate difference…

Let $\Omega\subset\mathbb{R}^n$, $n\ge 2$, be a bounded connected $C^2$ domain. For any unit vector $\nu\in\mathbb{R}^n$, let $T_{\lambda}^{\nu}=\{x\in\mathbb{R}^n:x\cdot\nu=\lambda\}$,…

This study develops a unified mathematical framework for the analysis of radial differential equations, revealing a fundamental connection between three distinct classes of problems: the nonlinear Riccati equation, the linear Schr\"odinger…

This work investigates the algorithmic complexity of non-classical logics, focusing on superintuitionistic and modal systems. It is shown that propositional logics are usually polynomial-time reducible to their fragments with at most two…

Given a fractional differential equation of order $\alpha \in (0,1]$ with Caputo derivatives, we investigate in a quantitative sense how the associated solutions depend on their respective initial conditions. Specifically, we look at two…

The solution to systems of moment differential equations of the form $z\partial_my=(zA+B)y$ are provided, for a matrix $B$ with general good spectrum. Existence and convergence of Floquet-type solutions is studied. A generalized definition…

This paper expands on existing learned models of human behavior via a measured step in structured irrationality. Specifically, by replacing the suboptimality constant $\beta$ in a Boltzmann rationality model with a function over states…

Discrete algebraic Riccati equations and their fixed points are well understood and arise in a variety of applications, however, the time-varying equations have not yet been fully explored in the literature. In this article we provide a…

A systematic study of the discrete second order projective system is presented, complemented by the integrability analysis of the associated multilinear mapping. Moreover, we show how we can obtain third order integrable equations as the…

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. These justifications are expressed in terms of causal graphs…

In this work we provide conditions for the existence of periodic solutions to nonlinear, second-order difference equations of the form \begin{equation*} y(t+2)+by(t+1)+cy(t)=g(t,y(t)) \end{equation*} where $c\neq 0$, and…