Related papers: Insolvability of $x^x = a$ in elementary functions
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 consider linear systems of equations and inequalities with coefficients varying inside given intervals. We define their solutions (so called AE solutions) and solvability (so called AE solvability) by using forall-exists quantification…
A class of rational functions characterized by some wonderful properties is studied. The properties that identify this class include simple algebra (their inverses can be expressed in radicals), simple topology (the total space of the…
A new ansatz is presented for a Lax pair describing systems of particles on the line interacting via (possibly nonsymmetric) pairwise forces. Particular cases of this yield the known Lax pairs for the Calogero-Moser and Toda systems, as…
Based on a sequence of numerical computations, a conjecture is presented regarding the class of functions $H(x;a)=\exp(a)-(1+a/x)^x$, and the open problem of determining the values of $a$ for which the functions are completely monotonic…
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 present a semantics for a linear algebraic lambda-calculus based on realizability. This semantics characterizes a notion of unitarity in the system, answering a long standing issue. We derive from the semantics a set of…
We offer a solution to a functional equation using properties of the Mellin transform. A new criteria for the Riemann Hypothesis is offered as an application of our main result, through a functional relationship with the Riemann xi…
We establish an explicit formula for the general solution of the Benjamin-Ono equation on the torus and on the line. Contents 1. Introduction 1 1.1. The Benjamin-Ono equation 1 1.2. The Lax pair 2 1.3. The explicit formula on the torus 3…
This paper shows effectiveness of X3SAT in proving P = NP. This is due to the fact that it is easy to check unsatisfiability of a particular truth assignment. A truth assignment leads to some reductions of clauses by means of "exactly-1…
A space X is finite dimensional, locally compact and separable metrizable if and only if X has a finite basic family: continuous functions Phi_1,...,Phi_n of X to the reals, R, such that for all continuous f from X to R there are g_1,...,…
In this paper we consider some properties of a space B(X) of Borel functions on a set of reals X, with pointwise topology, that are stronger than separability.
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.
Criteria are given for determining whether an irreducible sextic equation with rational coefficients is algebraically solvable over the complex numbers.
Some superlinear fourth order elliptic equations are considered. Ground states are proved to exist and to concentrate at a point in the limit. The proof relies on variational methods, where the existence and concentration of nontrivial…
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
A space X is kappa-resolvable (resp. almost kappa-resolvable) if it contains kappa dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets of X). Answering a problem raised by Juhasz, Soukup, and…
We construct an analytic solution to Maxwell's equations that violates global charge conservation, by building on the possibilities demonstrated in [Foundations of Physics 49, 330 (2019)]. The construction is valid for a spacetime…
We present sufficient conditions for topological stability of continuous functions $f:\mathbb{R}\to\mathbb{R}$ having finitely many local extrema with respect to averagings by discrete measures with finite supports.
A nontopological soliton solution of dilaton-Maxwell theory describes a domain wall-like solution which confines magnetic flux in its core [G.W. Gibbons and C.G. Wells, Class. Quant. Grav. 11, 2499 (1994)]. Since the solution is not…