Related papers: Rational Solutions of First Order Algebraic Ordina…

Let L be any number field or $\mathfrak{p}$-adic field and consider F:=(f_1,...,f_k) where f_i is in L[x_1,...,x_n]\{0} for all i and there are exactly m distinct exponent vectors appearing in f_1,...,f_k. We prove that F has no more than…

For points $(a,b)$ on an algebraic curve over a field $K$ with height $\mathfrak{h}$, the asymptotic relation between $\mathfrak{h}(a)$ and $\mathfrak{h}(b)$ has been extensively studied in diophantine geometry. When $K=\overline{k(t)}$ is…

Let $f\in\Bbb F_q[X_1,\dots,X_n]$ with $\deg f=d>0$ and let $Z(f)=\{(x_1,\dots,x_n)\in \Bbb F_q^n: f(x_1,\dots,x_n)=0\}$. Ax's theorem states that $|Z(f)|\equiv 0\pmod {q^{\lceil n/d\rceil-1}}$, that is, $\nu_p(|Z(f)|)\ge m(\lceil…

Consider the differential equation $y'=F(x,y)$. We determine the weakest possible upper bound on $|F(x,y)-F(x,z)|$ which guarantees that this equation has for all initial values a unique solution, which exists globally.

We study a family of abelian categories O_{c, t} depending on complex parameters c, t which are interpolations of the O-category for the rational Cherednik algebra H_c(t) of type A, where t is a positive integer. We define the notion of a…

We consider a problem of bounding the maximal possible multiplicity of a zero at of some expansions $\sum a_i F_i(x)$, at a certain point $c,$ depending on the chosen family $\{F_i \}$. The most important example is a polynomial with $c=1.$…

We obtain sufficient conditions for solutions of the $m$th-order differential inequality $$ \sum_{|\alpha| = m} \partial^\alpha a_\alpha (x, u) \ge f (x) g (|u|) \quad \mbox{in } B_1 \setminus \{ 0 \} $$ to have a removable singularity at…

An open problem that is widely regarded as one of the most important in quantum query complexity is to resolve the quantum query complexity of the k-distinctness function on inputs of size N. While the case of k=2 (also called Element…

Let $k$ be an algebraically closed field of characteristic zero and $P(x,y)\in k[x,y]$ be a polynomial which depends on all its variables. $P$ has an algebraic constraint if the set $\{(P(a,b),(P(a',b'),P(a',b),P(a,b')\,|\,a,a',b,b'\in k\}$…

We study self-adjoint matrix polynomial equations in a single variable and prove existence of self-adjoint solutions under some assumptions on the leading form. Our main result is that any self-adjoint matrix polynomial equation of odd…

In this paper we discuss some remarkable properties of the autonomous system of 2 first-order Ordinary Differential Equations (ODEs), which equates the derivatives $\dot{x}_n(t)$ ($n = 1, 2$) of the 2 dependent variables $x_n(t)$ to the…

We consider polynomials of the form t^n-1 and determine when members of this family have a divisor of every degree in Z[t]. With F(x) defined to be the number of such integers up to x, we prove the existence of two positive constants c_1…

Let A be an arbitrary integral domain of characteristic 0 which is finitely generated over Z. We consider Thue equations $F(x,y)=b$ with unknowns x,y from A and hyper- and superelliptic equations $f(x)=by^m$ with unknowns from A, where the…

We establish uniform a-priori estimates for solutions of the semilinear Dirichlet problem \begin{equation} \begin{cases} (-\Delta)^m u=h(x,u)\quad&\mbox{in }\Omega,\\ u=\partial_nu=\cdots=\partial_n^{m-1}u=0\quad&\mbox{on }\partial\Omega,…

We give new lower asymptotical estimate of constant \[ C_n=\sup\biggl\{\frac{\|t_n\|_{C(\mathbb T)}}{\|t_n\|_{L(\mathbb T)}}:t_n\text{are real trigonometric polynomials}, \operatorname{deg}t_n<n\biggr\} \] as $n\to\infty$. This estimate…

In this paper, we focus on clarifying the concept of solving equations of degree greater than six using continuous functions or hypergeometric functions and providing another proof of the non-existence of algebraic solutions for equations…

For the ordinary differential equation (ODE) $\dot{x}(t) = f(t,x)$, $x(0) = x_0$, $t\geq 0$, $x\in R^d$, assume $f$ to be at least continuous in $t$ and locally Lipshitz in $x$, and if necessary, several times continuously differentiable in…

We present a combination of raising, explicit variable dependency representation, the liberalized delta-rule, and preservation of solutions for first-order deductive theorem proving. Our main motivation is to provide the foundation for our…

We prove that the arithmetic degree of a graded or local ring is bounded above by the arithmetic degree of any of its associated graded rings with respect to ideals $I$ in $A$. In particular, if $Spec (A)$ is equidimensional and has an…

In this note we establish existence of solutions of singular boundary value problem $-(p(x)y^{\prime }(x))^{\prime}=q(x)f(x,y,py')$ for $0< x\leq b$ and $y'(0)=0$, $\alpha_{1}y(b)+\beta_{1}p(b)y^{\prime}(b)=\gamma_{1}$ with $p(0)=0$ and…