Related papers: Calculation of Improper Integrals by Using Uniform…
This paper has two parts. First, we complete the proof of the Kolmogorov extension theorem for unbounded random variables using compactness theorem of integral logic which was proved for bounded case in [8]. Second, we give a proof of the…
A key tool in recent advances in understanding arithmetic progressions and other patterns in subsets of the integers is certain norms or seminorms. One example is the norms on $\Z/N\Z$ introduced by Gowers in his proof of Szemer\'edi's…
We show that the set of Lebesgue integrable functions in $[0,1]$ which are nowhere essentially bounded is spaceable, improving a result from [F. J. Garc\'{i}a-Pacheco, M. Mart\'{i}n, and J. B. Seoane-Sep\'ulveda. \textit{Lineability,…
In this paper we show discrepancy bounds for index-transformed uniformly distributed sequences. From a general result we deduce very tight lower and upper bounds on the discrepancy of index-transformed van der Corput-, Halton-, and…
For a nontrivial measurable set on the real line, there are always exceptional points, where the lower and upper densities of the set are neither zero nor one. We quantify this statement, following work by V. Kolyada, and obtain the…
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…
Let $(p_n)$ denote the sequence of prime numbers, with $2=p_1<p_2<\ldots$. We demonstrate the existence of an irrational number $\alpha$ having the property that the sequence $(\alpha p_n)$ is not well-distributed modulo $1$.
In this paper, we describe a general method for computing Selberg-like integrals based on a formula, due to Kaneko, for Selberg-Jack integrals. The general principle consists in expanding the integrand \emph{w.r.t.} the Jack basis, which is…
A multivariable version of the strong maximal function is introduced and a sharp distributional estimate for this operator in the spirit of the Jessen, Marcinkiewicz, and Zygmund theorem is obtained. Conditions that characterize the…
Stochastic Differential Equations (SDEs) in high dimension, having the structure of finite dimensional approximation of Stochastic Partial Differential Equations (SPDEs), are considered. The aim is to compute numerically expected values and…
We consider strictly increasing sequences $\left(a_{n}\right)_{n \geq 1}$ of integers and sequences of fractional parts $\left(\left\{a_{n} \alpha\right\}\right)_{n \geq 1}$ where $\alpha \in \mathbb{R}$. We show that a small additive…
We introduce the Colombeau Quaternio Algebra and study its algebraic structure. We also study the dense ideal, dense in the algebraic sense, of the algebra of Colombeau generalized numbers and use this show the existence of a maximal ting…
We prove an inequality for the entropy numbers in terms of nonlinear Kolmogorov's widths. This inequality is in a spirit of known inequalities of this type and it is adjusted to the form convenient in applications for $m$-term…
We analyze univariate oscillatory integrals defined on the real line for functions from the standard Sobolev space $H^s({\mathbb{R}})$ and from the space $C^s({\mathbb{R}})$ with an arbitrary integer $s\ge1$. We find tight upper and lower…
Let $\alpha>1$ be an irrational number and $k\ge 2$ a positive integer. Let $f(x)$ be a polynomial with positive integer coefficients. Solving a 2001 problem of S\'ark\"ozy on special sequences, Hegyv\'ari proved in 2003 that there exists…
Let $\varepsilon>0$. We construct an explicit, full-measure set of $\alpha \in[0,1]$ such that if $\gamma \in \mathbb{R}$ then, for almost all $\beta \in[0,1]$, if $\delta \in \mathbb{R}$ then there are infinitely many integers $n\geq 1$…
We investigate three kinds of strong laws of large numbers for capacities with a new notion of independently and identically distributed (IID) random variables for sub-linear expectations initiated by Peng. It turns out that these theorems…
In this note we show that sharp Kolmogorov-type inequalities that estimate the uniform norm $\|f^{(k)}\|$ of the $k$-th derivative of a function $f\colon \mathbb{R}\to\mathbb{R}$ by the values of the uniform norm of $f$ and uniform norms of…
We review a finite-sampling exponential bound due to Serfling and discuss related exponential bounds for the hypergeometric distribution. We then discuss how such bounds motivate some new results for two-sample empirical processes. Our…
We develop a metric and probabilistic theory for the Ostrogradsky representation of real numbers, i.e., the expansion of a real number $x$ in the following form: \begin{align*} x&= \sum_n\frac{(-1)^{n-1}}{q_1q_2... q_n}=…