English
Related papers

Related papers: Rational Solutions of First Order Algebraic Ordina…

200 papers

Let $K$ be a number field and $f: \mathbb{P}^1 \to \mathbb{P}^1$ a rational map of degree $d \geq 2$ with at most $s$ places of bad reduction, where we include all archimedean places. We prove that there exists constants $c_1,c_2 > 0$,…

Number Theory · Mathematics 2025-10-15 Jit Wu Yap

Eremenko and Lyubich proved that an entire function whose set of singular values is bounded is expanding at points where its image has large modulus. These expansion properties have been at the centre of the subsequent study of this class…

Complex Variables · Mathematics 2024-12-10 Lasse Rempe

The approximate degree of a Boolean function $f(x_{1},x_{2},\ldots,x_{n})$ is the minimum degree of a real polynomial that approximates $f$ pointwise within $1/3$. Upper bounds on approximate degree have a variety of applications in…

Computational Complexity · Computer Science 2018-01-16 Alexander A. Sherstov

We introduce syntactic modal operator $\BOX$ for \textit{being a thesis} into first-order logic. This logic is a modern realization of R. Carnap's old ideas on modality, as logical necessity (J. Symb. Logic, 1946) \cite{Ca46}. We place it…

Logic · Mathematics 2024-06-26 Marcin Łyczak

Let $\mathcal{F}_{n}^*$ be the set of Boolean functions depending on all $n$ variables. We prove that for any $f\in \mathcal{F}_{n}^*$, $f|_{x_i=0}$ or $f|_{x_i=1}$ depends on the remaining $n-1$ variables, for some variable $x_i$. This…

Computational Complexity · Computer Science 2015-02-05 Chia-Jung Lee , Satya V. Lokam , Shi-Chun Tsai , Ming-Chuan Yang

The approximate degree of a Boolean function $f \colon \{-1, 1\}^n \rightarrow \{-1, 1\}$ is the least degree of a real polynomial that approximates $f$ pointwise to error at most $1/3$. We introduce a generic method for increasing the…

Computational Complexity · Computer Science 2017-03-20 Mark Bun , Justin Thaler

In this paper we consider Diophantine equations of the form $f(x)=g(y)$ where $f$ has simple rational roots and $g$ has rational coefficients. We give strict conditions for the cases where the equation has infinitely many solutions in…

Number Theory · Mathematics 2022-04-27 L. Hajdu , R. Tijdeman

We show that there is a defining equation of degree at most $\mathsf{poly}(n)$ for the (Zariski closure of the) set of the non-rigid matrices: that is, we show that for every large enough field $\mathbb{F}$, there is a non-zero…

Computational Complexity · Computer Science 2020-11-06 Mrinal Kumar , Ben Lee Volk

Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that,…

Commutative Algebra · Mathematics 2021-08-31 Wei Li , Alexey Ovchinnikov , Gleb Pogudin , Thomas Scanlon

A monotone iterative method is proposed to solve nonlinear discrete boundary value problems with the support of upper and lower solutions. We establish some new existence results. Under some sufficient conditions, we establish maximum…

Numerical Analysis · Mathematics 2016-09-20 Mandeep Singh , Amit K. Verma

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…

Complex Variables · Mathematics 2023-04-26 Yueyang Zhang , Risto Korhonen

Consider an elliptic curve $\mathcal{C}$ with coefficients in $\mathbb{K}$ with $[\mathbb{K}:\mathbb{Q}]<\infty$ and $\delta \in \mathcal{C}(\mathbb{K})$ a non torsion point. We consider an elliptic difference equation $\sum_{i=0}^l a_i(p)…

Dynamical Systems · Mathematics 2022-05-03 Thierry Combot

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$,…

Number Theory · Mathematics 2007-05-23 I. E. Shparlinski , J. F. Voloch

We present a new proof of Corvaja and Zannier's \cite{C-Z} the upper bound of the number of solutions $(x,y)$ of the algebraic equation $P(x,y)=0$ over a field $\mathbb{F}_p$ ($p$ is a prime), in the case, where $x\in g_1G$, $y\in g_2G$,…

Number Theory · Mathematics 2015-09-25 Ilya Vyugin , Sergey Makarychev

We consider fully nonlinear uniformly elliptic equations with quadratic growth in the gradient, such as $$ -F(x,u,Du,D^2u) =\lambda c(x)u+\langle M(x)D u, D u \rangle +h(x) $$ in a bounded domain with a Dirichlet boundary condition, here…

Analysis of PDEs · Mathematics 2018-03-13 Gabrielle Nornberg , Boyan Sirakov

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)$…

Symbolic Computation · Computer Science 2014-08-12 Qing-Hu Hou , Rong-Hua Wang

We present a new upper bound for the orders of derivatives in the Rosenfeld-Groebner algorithm. This algorithm computes a regular decomposition of a radical differential ideal in the ring of differential polynomials over a differential…

Commutative Algebra · Mathematics 2020-11-17 Richard Gustavson , Alexey Ovchinnikov , Gleb Pogudin

We study the periodic and the Neumann boundary value problems associated with the second order nonlinear differential equation \begin{equation*} u'' + c u' + \lambda a(t) g(u) = 0, \end{equation*} where $g \colon…

Classical Analysis and ODEs · Mathematics 2015-03-19 Alberto Boscaggin , Guglielmo Feltrin , Fabio Zanolin

Given two nonzero polynomials $f, g \in\mathbb R[x,y]$ and a point $(a, b) \in \mathbb{R}^2,$ we give some necessary and sufficient conditions for the existence of the limit $\displaystyle \lim_{(x, y) \to (a, b)} \frac{f(x, y)}{g(x, y)}.$…

Classical Analysis and ODEs · Mathematics 2022-02-11 Si Tiep Dinh , Feng Guo , Hong Duc Nguyen , Tien Son Pham

We study nonconstant rational solutions of \[ x'=A_3(t)x^{n_3}+A_2(t)x^{n_2}+A_1(t)x^{n_1}, \qquad 1<n_1<n_2<n_3, \] with $A_i\in\Bbbk[t]$, $\Bbbk\in\{\mathbb R,\mathbb C\}$. We prove that every such solution is of the form $x=1/p(t)$, and…

Classical Analysis and ODEs · Mathematics 2026-05-12 L. A. Calderon , I. Ojeda