Related papers: Covering theorems and Lebesgue integration
We are concerned with an harmonic analysis in Hilbert spaces $L^2(\mu)$, where $\mu$ is a probability measure on $\br^n$. The unifying question is the presence of families of orthogonal (complex) exponentials $e_\lambda(x) = \exp(2\pi i…
This work provides a geometric characterization of the measures $\mu$ in $\mathbb R^{n+1}$ with polynomial upper growth of degree $n$ such that the $n$-dimensional Riesz transform $R\mu (x) = \int \frac{x-y}{|x-y|^{n+1}}\,d\mu(y)$ belongs…
The Moser-Trudinger embedding has been generalized in [Adimurthi A.; Sandeep K., A singular Moser-Trudinger embedding and its applications, \textit{NoDEA Nonlinear Differential Equations Appl.}, 13 (2007), no. 5-6, 585--603] to the…
We show that every bordered Riemann surface, $M$, with smooth boundary $bM$ admits a proper holomorphic map $M\to \Omega$ into any bounded strongly pseudoconvex domain $\Omega$ in $\mathbb C^n$, $n>1$, extending to a smooth map $f:\overline…
We report on an original formalization of measure and integration theory in the Coq proof assistant. We build the Lebesgue measure following a standard construction that had not yet been formalized in proof assistants based on dependent…
The Lebesgue dominated convergence theorem of the measure theory implies that the Riemann integral of a bounded sequence of continuous functions over the interval [ 0,1] pointwise converging to zero, also converges to zero. The validity of…
This paper is devoted to the proof of two related results. The first one asserts that if $\mu$ is a Radon measure in $\mathbb R^d$ satisfying $$\limsup_{r\to 0} \frac{\mu(B(x,r))}{r}>0\quad \text{ and }\quad…
In this paper, for $p> 1 $ and $r \ge 1$ we provide a complete characterization of the positive Borel measures $\mu$ on the unit ball $\B_n$ of $\mathbb {C}^n$ for which the induced Toeplitz operator $T_\mu$ is $r$-summing on the Bergman…
We prove that if all shifts of a measure in the Euclidean space are close in a sense to each other, then this measure is close to the Lebesgue one.
In this note we give a new proof of a version of the Besicovitch covering theorem, given in \cite{EG1992}, \cite{Bogachev2007} and extended in \cite{Federer1969}, for locally finite Borel measures on finite dimensional complete Riemannian…
The concept of uniform distribution in $[0,1]$ is extended for a certain strictly separated maximal (in the sense of cardinality) family $(\lambda_t)_{t \in [0,1]}$ of invariant extensions of the linear Lebesgue measure $\lambda$ in…
One of the essential questions of the theory of multidimensional integrals concerns the evaluation of integrals taken in given domains. In the simplest case, when integrating over parallelepipeds, evaluation can easily be performed by…
Suppose $\alpha$ is a rotationally symmetric norm on $L^{\infty}\left(\mathbb{T}\right) $ and $\beta$ is a "nice" norm on $L^{\infty}\left(\Omega,\mu \right) $ where $\mu$ is a $\sigma$-finite measure on $\Omega$. We prove a version of…
We explore the properties of an interesting new example of a function which is Lebesgue integrable but not Riemann integrable.
We consider ergodic series of the form $\sum_{n=0}^\infty a_n f(T^n x)$ where $f$ is an integrable function with zero mean value with respect to a $T$-invariant measure $\mu$. Under certain conditions on the dynamical system $T$, the…
R.D.Mauldin asked if every translation invariant $\sigma$-finite Borel measure on $\RR^d$ is a constant multiple of Lebesgue measure. The aim of this paper is to show that the answer is "yes and no", since surprisingly the answer depends on…
It is well-known that the Lebesgue integral generalises the Riemann integral. However, as is also well-known but less frequently well-explained, this generalisation alone is not the reason why the Lebesgue integral is important and needs to…
A randomized scheme that succeeds with probability $1-\delta$ (for any $\delta>0$) has been devised to construct (1) an equidistributed $\epsilon$-cover of a compact Riemannian symmetric space $\mathbb M$ of dimension $d_{\mathbb M}$ and…
A $C^\infty$ surface diffeomorphism admits a SRB measure if and only if the set \left \{x, \limsup_n \frac{1}{ n} \log \|d_xf^n \|> 0\right\} has positive Lebesgue measure. Moreover the basins of the ergodic SRB measures are covering this…
The Riemann-Lebesque Theorem is commonly proved in a few strokes using the theory of Lebesque integration. Here, the upper bound $2\pi|c_k(f)|\le S_k(f)-s_k(f)$ for the Fourier coefficients $c_k$ is proved in terms of majoring and minoring…