Related papers: On Lebesgue points and measurability with Choquet …

This note describes Fatou's lemma and Lebesgue's dominated convergence theorem for a sequence of measures converging weakly to a finite measure and for a sequence of functions whose negative parts are uniformly integrable with respect to…

We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate a class of ideals for which our results hold. In contrast to…

Let $X$ be a quasi-Banach function space over a doubling metric measure space $\mathcal P$. Denote by $\alpha_X$ the generalized upper Boyd index of $X$. We show that if $\alpha_X<\infty$ and $X$ has absolutely continuous quasinorm, then…

We study differentiability conditions on a complex measure $\nu$ at a point $x_0\in\mathbb{R}^d$, in relation with the boundary convergence at that point of the Poisson-type integral $P_t\nu=e^{-t\sqrt L}\nu$, where $L=-\Delta+|x|^2$ is the…

For an arbitrary infinite-dimensional Banach space $\X$, we construct examples of strongly-measurable $\X$-valued Pettis integrable functions whose indefinite Pettis integrals are nowhere weakly differentiable; thus, for these functions the…

In this paper we derive converge of N\"orlund means of Vilenkin-Fourier series with monotone coefficients of integrable functions in Lebesgue and Vilinkin-Lebesgue points. Moreover, we discuss pointwise and norm convergence in $L_p$ norms…

We give a necessary and sufficient condition for non-local functionals on vector-valued Lebesgue spaces to be weakly sequentially lower semi-continuous. Here a non-local functional shall have the form of a double integral of a density which…

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.…

In this expository paper aimed at a general mathematical audience, we discuss how to combine certain classic theorems of set-theoretic inner model theory and effective descriptive set theory with work on Hilbert's tenth problem and…

We study the moments and the distribution of the discrete Choquet integral when regarded as a real function of a random sample drawn from a continuous distribution. Since the discrete Choquet integral includes weighted arithmetic means,…

Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…

In classical density (or density-functional) estimation, it is standard to assume that the underlying distribution has a density with respect to the Lebesgue measure. However, when the data distribution is a mixture of continuous and…

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…

We present a new type of integral that is supposed to extend the usability of the Lebesgue integral in certain types of investigations. It is based on the Hausdorff dimension and measure. We examine the basic properties of the integral and…

We prove that a symmetric nonnegative function of two variables on a Lebesgue space that satisfies the triangle inequality for almost all triples of points is equivalent to some semimetric. Some other properties of metric triples (spaces…

For the functions $f$, which can be represented in the form of the convolution $f(x)=\frac{a_{0}}{2}+\frac{1}{\pi}\int\limits_{-\pi}^{\pi}\sum\limits_{k=1}^{\infty}e^{-\alpha k^{r}}\cos(kt-\frac{\beta\pi}{2})\varphi(x-t)dt$,…

Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…

We consider integrals in the sense of Choquet with respect to the $\delta$-dimensional Hausdorff content for continuously differentiable functions defined on open, connected sets in the Euclidean $n$-space, $n\geq 2$, $0<\delta\le n$. In…

Multidimensional integration by parts formulas apply under the standard assumption that one of the functions is continuous and the other has bounded Hardy-Krause variation. Motivated by recently developed results in the probabilistic…

Integrating with respect to functions which are constant on intervals whose bounds are discontinuity points (of those functions) is frequent in many branches of Mathematics, specially in stochastic processes. For such functions and alike…