Related papers: Rational Solutions of First Order Algebraic Ordina…
Classes of polynomial differential equations of degree n are considered. An explicit upper bound on the size of the coefficients are given which implies that each equation in the class has exactly n complex periodic solutions. In most of…
If a linear differential operator with rational function coefficients is reducible, its factors may have coefficients with numerators and denominatorsof very high degree. When the base field is $\mathbb C$, we give a completely explicit…
In this paper we prove that the PDE $p(D)f=q,$ where $p$ and $q$ are multivariate polynomials, has a solution in the space of polynomials of total degree not exceeding ${n+s},$ where $n$ is the degree of $q$ and $s$ is the zero order of…
As a generalization of our previous result\cite{huang2025algorithm}, this paper aims to answer the following question: Given a 2-dimensional polynomial vector field $y^{\prime}=\frac{M(x,y)}{N(x,y)}$, how to find a rational transformation…
We consider the properties of the second order nonlinear differential equations b''= g(a,b,b') with the function g(a,b,b'=c) satisfying the following nonlinear partial differential equation $$ \frac{d^2…
In present paper we propose an approach based on examination of the structure of the general solution of equations of the type dy/dx=P(x,y)/Q(x,y), with P and Q polynomials only in y. Under the term structure we mean the dependency…
The bivariate difference filed $(\mathbb{F}(\alpha, \beta), \sigma)$ provides an algebraic framework for a sequence satisfying a recurrence of order two and it could transform the summation involving a sequence satisfying a recurrence of…
In this paper we give a conditional improvement to the Elekes-Szab\'{o} problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for $F\in \mathbb{Q}[x,y,z]$ belonging to a particular family of…
Assume Vojta's Conjecture. Suppose $a, b, \alpha,\beta \in \mathbb{Z}$, and $f(x),g(x) \in \mathbb{Z}[x]$ are polynomials of degree $d \ge 2$. Assume that the sequence $(f^{\circ n}(a), g^{\circ n}(b))_n$ is generic and $\alpha,\beta$ are…
For a second order linear differential equation $f''+A(z)f'+B(z)f=0$, with $ A(z)$ and $B(z)$ being transcendental entire functions under some restriction, we have established that all non-trivial solutions are of infinite order. In…
We establish a locally uniform a priori bound on the dynamics of a rational function $f$ of degree $>1$ on the Berkovich projective line over an algebraically closed field of any characteristic that is complete with respect to a non-trivial…
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 this paper, we study the number of integer pair solutions to the equation $|F(x,y)| = 1$ where $F(x,y) \in \mathbb{Z}[x,y]$ is an irreducible (over $\mathbb{Z}$) binary form with degree $n \geqslant 3$ and exactly three nonzero summands.…
First order algebraic differential equations are considered. An necessary condition for a first order algebraic differential equation to have a rational general solution is given: the algebraic genus of the equation should be zero.…
In this paper, we discuss differentiation of solutions to the boundary value problem $y^{(n)} = f(x, y, y^{'}, y^{''}, \ldots, y^{(n-1)}), \; a<x<b,\; y^{(i)}(x_j) = y_{ij},\; 0\leq i \leq m_j, \; 1 \leq j \leq k-1$, and $y^{(i)}(x_k) +…
Conditions for the existence of at least three positive solutions to the nonlinear first-order problem with a nonlinear nonlocal boundary condition given by && y'(t) - p(t)y(t) = \sum_{i=1}^m f_i\big(t,y(t)\big), \quad t\in[0,1], && \lambda…
In this paper we present an explicit counterexample of degree $n=7$, which shows that the conjecture proposed by Li et al. \cite{Li2013} regarding the first derivative bounds for rational B\'ezier curves is generally false. We further…
We deal with a planar differential system of the form \begin{equation*} \begin{cases} \, u' = h(t,v), \\ \, v' = - \lambda a(t) g(u), \end{cases} \end{equation*} where $h$ is $T$-periodic in the first variable and strictly increasing in the…
The solving degree is an important parameter for estimating the complexity of solving a system of polynomial equations. In this paper, we provide an upper bound for the solving degree in terms of the degree of regularity. We also show that…
In this paper, we study all possible orders which are less than 1 of transcendental entire solutions of linear difference equations \begin{equation} P_m(z)\Delta^mf(z)+\cdots+P_1(z)\Delta f(z)+P_0(z)f(z)=0,\tag{+} \end{equation} where…