Related papers: Calculation of Lebesgue Integrals by Using Uniform…

Let $M$ be a positive integer and $q\in (1, M+1]$. A $q$-expansion of a real number $x$ is a sequence $(c_i)=c_1c_2\cdots$ with $c_i\in \{0,1,\ldots, M\}$ such that $x=\sum_{i=1}^{\infty}c_iq^{-i}$. In this paper we study the set…

In this paper we introduce capacitary analogues of the Hardy-Littlewood maximal function, \begin{align*} \mathcal{M}_C(f)(x):= \sup_{r>0} \frac{1}{C(B(x,r))} \int_{B(x,r)} |f|\;dC, \end{align*} for $C=$ the Hausdorff content or a Riesz…

Given $x\in(0, 1]$, let $\mathcal U(x)$ be the set of bases $q\in(1,2]$ for which there exists a unique sequence $(d_i)$ of zeros and ones such that $x=\sum_{i=1}^\infty d_i/q^i$. L\"{u}, Tan and Wu (2014) proved that $\mathcal U(x)$ is a…

We consider fractional differential equations of order $\alpha \in (0,1)$ for functions of one independent variable $t\in (0,\infty)$ with the Riemann-Liouville and Caputo-Dzhrbashyan fractional derivatives. A precise estimate for the order…

In previous work Regev used part of the representation theory of Lie superalgebras to compute the values of a character of the symmetric group whose decomposition into irreducible constituents is described by semistandard…

We give a constructive, metastable formulation of a theorem about the exchange of limits for convergent sequence $L^1$ functions. A crucial tool is a one-dimensional version of Szemeredi's regularity lemma for $L^1$ functions.

We obtain a new bound on exponential sums over integers without large prime divisors, improving that of Fouvry and Tenenbaum (1991). For a fixed integer $\nu\ne 0$, we also obtain new bounds on exponential sums with $\nu$-th powers of such…

The law of large numbers for the empirical density for the pairs of uniformly distributed integers with a given greatest common divisor is a classic result in number theory. In this paper, we study the large deviations of the empirical…

In this article we prove sharp Landau--Kolmogorov type inequalities on a class of charges defined on Lebesgue measurable subsets of a cone in $\mathbb{R}^d$, $d\geq 1$, that are absolutely continuous with respect to the Lebesgue measure. In…

We prove higher-order fractional Sobolev regularity for fully nonlinear, uniformly elliptic equations in the presence of unbounded source terms. More precisely, we show the existence of a universal number $0< \varepsilon <1$, depending only…

We study the distribution of families of multiplicative functions among the coprime residue classes to moduli varying uniformly in a wide range, obtaining analogues of the Siegel--Walfisz Theorem for large classes of multiplicative…

For $-\pi\leq\beta_1<\beta_2\leq\pi$ denote by $\Phi_{\beta_1,\beta_2}(Q)$ the number of algebraic numbers on the unit circle with arguments in $[\beta_1,\beta_2]$ of degree $2m$ and with elliptic height at most $Q$. We show that \[…

Let $G(k)=\int_0^1g(x)e^{kx}dx$, $g\in L^1(0,1)$. The main result of this paper is the following theorem. {\bf Theorem}. {\it If $\limsup_{k\to +\infty}|G(k)|<\infty$, then $g=0$. There exists $g\not\equiv 0$, $g\in L^1(0,1)$, such that…

In spite of the Lebesgue density theorem, there is a positive $\delta$ such that, for every non-trivial measurable set $S$ of real numbers, there is a point at which both the lower densities of $S$ and of the complement of $S$ are at least…

The well-known Kolmogorov compactness criterion is extended to the case of variable exponent Lebesgue spaces $L^{p(\cdot)}({\Omega})$, where $\Omega$ is a bounded open set in $\mathbb R^n$ and $p(\cdot)$ satisfies some "standard"…

We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…

Chebotarev's density theorem asserts that the prime ideals are equidistributed among the conjugacy classes of the Galois group of any normal extension of number fields. An effective version of this theorem was first established by Lagarias…

We extend the theory of weighted norm inequalities on variable Lebesgue spaces to the case of bilinear operators. We introduce a bilinear version of the variable $\A_\pp$ condition, and show that it is necessary and sufficient for the…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

Given a compact subset $\Sigma$ of the real numbers obeying some technical conditions, we consider the set of algebraic integers whose conjugates all lie in $\Sigma$. The distribution of conjugates of such an integer defines a probability…