Related papers: Roth's Theorem in Super Smooth Numbers

In the present paper and as an application of Roth's theorem concerning the rational approximation of algebraic numbers, we give a sufficient condition that will assure us that a series of positive rational terms is a transcendental number.…

In this paper we aim for a generalisation of the Steenrod Approximation Theorem from, concerning a smoothing procedure for sections in smooth locally trivial bundles. The generalisation is that we consider locally trivial smooth bundles…

We extend the classical fundamental theorem of the local theory of smooth curves to a wider class of non-smooth data. Curvature and torsion are prescribed in terms of the distributional derivative measures of two given functions of bounded…

By extending the classical quantitative approximation results for positive and linear operators in $L^{p}([0, 1]), 1\le p \le +\infty$ of Berens and DeVore in 1978 and of Swetits and Wood in 1983 to the more general case of sublinear,…

An algorithmic proof of the General N\'eron Desingularization theorem and its uniform version is given for morphisms with big smooth locus. This generalizes the results for the one-dimensional case.

The stable Ramsey's theorem for pairs has been the subject of numerous investigations in mathematical logic. We introduce a weaker form of it by restricting from the class of all stable colorings to subclasses of it that are non-null in a…

Let P=(p_1,p_2,...,p_N) be a sequence of points in the plane, where p_i=(x_i,y_i) and x_1<x_2<...<x_N. A famous 1935 Erdos--Szekeres theorem asserts that every such P contains a monotone subsequence S of $\sqrt N$ points. Another, equally…

A skew-morphism $\varphi$ of a finite group $A$ is a permutation on $A$ such that $\varphi(1)=1$ and $\varphi(xy)=\varphi(x)\varphi^{\pi(x)}(y)$ for all $x,y\in A$ where $\pi:A\to\mathbb{Z}_{|\varphi|}$ is an integer function. A…

We study the descent behaviour of homotopy-theoretic properties of smooth complex affine surfaces under finite surjective morphisms. We first examine the Eilenberg-MacLane property and show, by means of an explicit counterexample, that it…

In this paper, we give a sufficient condition to guarantee the existence of a smooth solution of the Navier-Stokes Equation with the nice decreasing properties at infinity. In this way, we prove the existence of smooth physically reasonable…

A classical theorem of Roth states that the maximum size of a solution-free set of a homogeneous linear equation $\mathcal{L}$ in $\mathbb{F}_p$ is $o(p)$ if and only if the sum of the coefficients of $\mathcal{L}$ is $0$. In this paper, we…

In the present paper and as an application of Roth's theorem concerning the rational approximation of algebraic numbers, we give a sufficient condition that will assure us that a sum, product and quotient of some series of positive rational…

Assuming the Riemann hypothesis, we prove the latest explicit version of the prime number theorem for short intervals. Using this result, and assuming the generalised Riemann hypothesis for Dirichlet $L$-functions is true, we then establish…

We present a fixed point theorem for a class of (potentially) non-monotonic functions over specially structured complete lattices. The theorem has as a special case the Knaster-Tarski fixed point theorem when restricted to the case of…

We investigate Runge-type approximation theorems for solutions to the 3D unsteady Stokes system. More precisely, we establish that on any compact set with connected complement, local smooth solutions to the 3D unsteady Stokes system can be…

The Reynolds transport theorem for the rate of change of an integral over an evolving domain is generalized. For a manifold $B$, a differentiable motion $m$ of $B$ in the manifold $\mathcal{S}$, an $r$-current $T$ in $B$, and the sequence…

By an influential theorem of Boman, a function $f$ on an open set $U$ in $\mathbb R^d$ is smooth ($\mathcal C^\infty$) if and only if it is arc-smooth, i.e., $f\circ c$ is smooth for every smooth curve $c : \mathbb R \to U$. In this paper…

In this paper we state and prove ad hoc "Separation Theorems" of the so-called Smooth Commutative Algebra, the Commutative Algebra of \(\mathcal{C}^{\infty}-\)rings. These results are formally similar to the ones we find in (ordinary)…

A function $f$ is arc-smooth if the composite $f\circ c$ with every smooth curve $c$ in its domain of definition is smooth. On open sets in smooth manifolds the arc-smooth functions are precisely the smooth functions by a classical theorem…

Let $p$ be a prime. A pro-$p$ group $G$ is said to be 1-smooth if it can be endowed with a homomorphism of pro-$p$ groups $G\to1+p\mathbb{Z}_p$ satisfying a formal version of Hilbert 90. By Kummer theory, maximal pro-$p$ Galois groups of…