Related papers: Rational Solutions of First Order Algebraic Ordina…

In this paper, we give an algorithm for finding general rational solutions of a given first-order ODE with parametric coefficients that occur rationally. We present an analysis, complete modulo Hilbert's irreducibility problem, of the…

We show that for any $i > 0$, it is decidable, given a regular language, whether it is expressible in the $\Sigma_i[<]$ fragment of first-order logic FO[<]. This settles a question open since 1971. Our main technical result relies on the…

We show a necessary and sufficient condition on the existence of finite order entire solutions of linear differential equations $$ f^{(n)}+a_{n-1}f^{(n-1)}+\cdots+a_1f'+a_0f=0,\eqno(+) $$ where $a_i$ are exponential sums for…

Bagderina \cite{Bagderina2013} solved the equivalence problem for a family of scalar second-order ordinary differential equations (ODEs), with cubic nonlinearity in the first-order derivative, via point transformations. However, the…

Let $P(z)=z^{n}+a_{n-2}z^{n-2}+\cdots+a_0$ be a nonconstant polynomial and $S(z)$ be a nonzero rational function and denote $h(z)=S(z)e^{P(z)}$. Let $\theta\in(0,\pi/2n)$ be a constant and $\varepsilon>0$ be a small constant. It is shown…

We discuss two conjectures. (I) For each x_1,...,x_n \in R (C) there exist y_1,...,y_n \in R (C) such that \forall i \in {1,...,n} |y_i| \leq 2^{2^{n-2}} \forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1) \forall i,j,k \in {1,...,n}…

Let $\mathcal{F}=\{f_1,\ldots,f_R\}$ be a family of forms of odd degrees at most $d$ in $s$ variables. We study the solutions to the system $f_1(\mathbf{x})=\ldots=f_R(\mathbf{x})=0$ of the form $x_i=y_ip_i$ with $|y_i|\leq Y_\mathcal{F}$…

We study the rational solutions of the Abel equation $x'=A(t)x^3+B(t)x^2$ where $A,B\in C[t]$. We prove that if $deg(A)$ is even or $deg(B)>(deg(A)-1)/2$ then the equation has at most two rational solutions. For any other case, an upper…

Let $k$ be a differential field of characteristic zero with an algebraically closed field of constants. In this article, we provide a classification of first order differential equations over $k$ and study the algebraic dependence of…

We show that for any polynomial $F(X,Y_0,Y_1,Y_2) \in \mathbb{C}[X, Y_0, Y_1, Y_2]$, the equation $F(z,j(z),j'(z),j''(z))=0$ has a Zariski dense set of solutions in the hypersurface $F(X,Y_0,Y_1,Y_2)=0$, unless $F$ is in $\mathbb{C}[X]$ or…

We show that any differential operator of the form $L(y)=\sum_{k=0}^{k=N} a_{k}(x) y^{(k)}$, where $a_k$ is a real polynomial of degree $\leq k$, has all real eigenvalues in the space of polynomials of degree at most n, for all n. The…

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…

For first order differential equations of the form $y'=\sum_{p=0}^P F_p(x)y^p$ and second order homogeneous linear differential equations $y''+a(x)y'+b(x)y=0$ with locally integrable coefficients having asymptotic (possibly divergent) power…

Let $f$ be a polynomial with coefficients in the ring $O_S$ of $S$-integers of a number field $K$, $b$ a non-zero $S$-integer, and $m$ an integer $\ge 2$. We consider the equation $( \star )$: $f(x) = b y^m$ in $x,y \in O_S$. Under the…

The integrability problem of rational first-order ODEs $y^{\prime}=\frac{M(x,y)}{N(x,y)}$, where $M,N \in \mathbb{R}[x,y]$ is a long-term research focus in the area of dynamical systems, physics, etc. Although the computer algebra system…

In this paper we give several conditions implying the irreducibility of the algebraic curve P(x)-Q(y)=0, where P,Q are rational functions. We also apply the results obtained to the functional equations P(f)=Q(g) and P(f)=cP(g), where c\in…

It is shown that if the equation \begin{equation*} f(z+1)^n=R(z,f), \end{equation*} where $R(z,f)$ is rational in both arguments and $\deg_f(R(z,f))\not=n$, has a transcendental meromorphic solution, then the equation above reduces into one…

We prove that if y"=f(y,y',t) is a generic Painlev\'e equation from the class III and VI, and if y_1,...,y_n are distinct solutions, then y_1,y_1',...,y_n,y_n' are algebraically independent over C(t). This improves the weaker results…

Let $\Delta_x f(x,y)=f(x+1,y)-f(x,y)$ and $\Delta_y f(x,y)=f(x,y+1)-f(x,y)$ be the difference operators with respect to $x$ and $y$. A rational function $f(x,y)$ is called summable if there exist rational functions $g(x,y)$ and $h(x,y)$…

For a prime $p$ and an absolutely irreducible modulo $p$ polynomial $f(U,V) \in \Z[U,V]$ we obtain an asymptotic formulas for the number of solutions to the congruence $f(x,y) \equiv a \pmod p$ in positive integers $x \le X$, $y \le Y$,…