Related papers: One-variable equations over the lamplighter group
We show that every distributive lattice-ordered pregroup can be embedded into a functional algebra over an integral chain, thus improving the existing Cayley/Holland-style embedding theorem. We use this to show that the variety of all…
We consider the problem of solvability of linear differential equations over a differential field~$K$. We introduce a class of special differential field extensions, which widely generalizes the classical class of extensions of differential…
In this paper, we propose a procedure for constructing an infinite number of families of solutions of given linear differential equations with partial derivatives with constant coefficients. We use monogenic functions that are defined on…
Recently in joint work with E. Sert, we proved sharp boundedness results on discrete fractional integral operators along binary quadratic forms. Present work vastly enhances the scope of those results by extending boundedness to bivariate…
We classify static manifolds which admit more than one static decomposition whenever a condition on the curvature is fullfilled. For this, we take a standard static vector field and analyze its associated one parameter family of projections…
In this paper, we prove that there exists a unique solution to the Dirichlet boundary value problem for a general class of semilinear second order elliptic partial differential equations. Our approach is probabilistic. The theory of…
An important question in dynamical systems is the classification problem, i.e., the ability to distinguish between two isomorphic systems. In this work, we study the topological factors between a family of multidimensional substitutive…
We prove a classical theorem due to Legendre, about the existence of non trivial solutions of quadratic diophantine equations of the form $ax^2+by^2+cz^2=0$, in the weak fragment of Peano Arithmetic $I\Delta_0+\Omega_1$.
It is an old problem in the area of Diophantine definability to determine whether $\mathbb{Q}$ is Diophantine in $\mathbb{Q}(z)$. We provide a positive answer conditional on two standard conjectures on elliptic surfaces.
We prove that the problem of determining whether a finite logical matrix determines an algebraizable logic is complete for EXPTIME. The same result holds for the classes of order algebraizable, weakly algebraizable, equivalential and…
We show that determining Kapranov rank of tropical matrices is not only NP-hard over any infinite field but also if solving Diophantine equations over the rational numbers is undecidable, then determining Kapranov rank over the rational…
The equation $f^n+g^n=1$, $n\in\mathbb{N}$ can be regarded as the Fermat Diophantine equation over the function field. In this paper we study the characterization of entire solutions of some system of Fermat type functional equations by…
We prove decidability results on the existence of constant subsequences of uniformly recurrent morphic sequences along arithmetic progressions. We use spectral properties of the subshifts they generate to give a first algorithm deciding…
We develop an algebraic method of studying of Diophantine quadratic equations in three variables over the ring of Gaussian integers.
In this work, we accomplish three goals. First, we determine the entire family of positive integer solutions to the three- variable Diophantine equation, xy=z^2; for n=2,3,4,5,6. For n=2, we obtain a 3-parameter family of solutions; for…
We prove the unique solvability of second order elliptic equations in non-divergence form in Sobolev spaces. The coefficients of the second order terms are measurable in one variable and VMO in other variables. From this result, we obtain…
This paper offers a number of examples showing that in the case of two independent variables the uniform ellipticity of a linear system of differential equations with partial derivatives of the second order, which fulfills condition (3), do…
We study mixed local and nonlocal elliptic equation with a variable coefficient $\rho$. Under suitable assumptions on the behaviour at infinity of $\rho$, we obtain uniqueness of solutions belonging to certain weighted Lebsgue spaces, with…
In this paper we combine methods from additive combinatorics and Diophantine geometry to study the generalised sum-product phenomenon in algebraic groups. As an application of this circle of ideas, we resolve a conjecture of Bremner on…
We study Diophantine equations of type f(x)=g(y), where both f and g have at least two distinct critical points and equal critical values at at most two distinct critical points. Some classical families of polynomials (f_n)_n are such that…