Related papers: Solvability of equations in elementary functions

We prove that arithmetic is interpretable in any indecomposable polynomial ring (in any set of variables), and in addition we provide an alternative uniform proof of undecidability for all members in this class of rings.

Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$})…

In this paper, we show that the equation $\varphi(|x^{m}-y^{m}|)=|x^{n}-y^{n}|$ has no nontrivial solutions in integers $x,y,m,n$ with $xy\neq0, m>0, n>0$ except for the solutions $(x,y,m,n)=((2^{t-1}\pm1),-(2^{t-1}\mp1),2,1),…

We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under…

We show that for non-negative solution of the Aronsson equation an isolated singularity is either removable, or the solution behaves asymptotically like a general cone. This generalizes the asymptotic behavior theory for infinity harmonic…

We show, in an elementary way, that the Julia set of one-complex-variable entire functions is nonempty and perfect.

We introduce and study the finite-approximate solvability of operator equations \(Lu = h\) in a Hilbert space setting, where a bounded operator \(L \colon U \to H\) is paired with a finite-dimensional constraint operator \(\pi \colon H \to…

We consider univalency problem in the unit disc $\mathbb D$ of the function $$g(z)=\frac{(z/f(z))-1}{-a_{2}},$$ where $f$ belongs to some classes of univalent functions in ${\mathbb D}$ and $a_{2}=\frac{f''(0)}{2}\neq 0$.

For a monic polynomial p(z) with coefficients in a unital complex Banach algebra, we prove that there exist a complex number z such that p(z)is not invertible

We discuss alternative iteration methods for differential equations. We provide a convergence proof for exactly solvable examples and show more convenient formulas for nontrivial problems.

We comment on recent results in the field of information based complexity, which state (in a number of different settings), that approximation of infinitely differentiable functions is intractable and suffers from the curse of…

It is known from \cite{LW} that the solvability of the mean field equation $\Delta u+e^{u}=8n\pi \delta_{0}$ with $n\in\mathbb{N}_{\geq 1}$ on a flat torus $E_{\tau}$ essentially depends on the geometry of $E_{\tau}$. A conjecture is the…

Over each nontrivial finite group $G$, there exists a finite system of equations having no solutions in larger finite groups but having a solution in a periodic group containing $G$. We prove several similar facts about amenable, orderable,…

We consider the global solvability to the Cauchy problem of Kirchhoff equation with generalized classes of Manfrin's class. Manfrin's class is a subclass of Sobolev space, but we shall extend this class as a subclass of the…

We suggest an approach for description of integrable cases of the Abel equations. It is based on increasing of the order of equations up to the second one and using equivalence transformations for the corresponding second-order ordinary…

We show that the Lambert series $f(x)=\sum d(n) x^n$ is irrational at $x=1/b$ for negative integers $b < -1$ using an elementary proof that finishes an incomplete proof of Erdos.

Let k be an algebraically closed field of characteristic 0, let K/k be a transcendental extension of arbitrary transcendence degree and let G be a multiplicative subgroup of (K^*)^n such that (k^*)^n is contained in G, and G/(k^*)^n has…

We provide infinitely many solutions of a Dirichlet problem on balls.

We show that there exist unbounded functionals on the spaces of sequences that take at most one nonzero value on an arbitrary family of elements whose supports are pairwise disjoint.

We show that the Diophantine problem(decidability of equations) is undecidable in free associative algebras over any field and in the group algebras over any field of a wide variety of torsion free groups, including toral relatively…