Related papers: A nice example of Lebesgue integration

In this paper we focus on the relation between Riemann integrability and weak continuity. A Banach space $X$ is said to have the weak Lebesgue property if every Riemann integrable function from $[0,1]$ into $X$ is weakly continuous almost…

Leonida Tonelli devised an interesting and efficient method to introduce the Lebesgue integral. The details of this method can only be found in the original Tonelli paper and in an old italian course and solely for the case of the functions…

Several concepts of approximate reasoning in uncertainty processing are linked to the processing of distribution functions. In this paper we make use of probabilistic framework of approximate reasoning by proposing a Lebesgue-type approach…

Integral properties of multifunctions determined by vector valued functions are presented. Such multifunctions quite often serve as examples and counterexamples. In particular it can be observed that the properties of being integrable in…

This paper contains a new elementary proof of the Fundamental Theorem of Calculus for the Lebesgue integral. The hardest part of our proof simply concerns the convergence in ${\rm L}^1$ of a certain sequence of step functions, and we prove…

We introduce a notion being a $k$-fold Lebesgue function for measure preserving transformations, where any $2$-fold Lebesgue function is just ordinary Lebesgue. We discuss how this new metrical isomorphisms invariant of dynamical systems is…

Using Bauer's expansion and properties of spherical Bessel and Legender functions, we deduce a new transform and briefly indicate its use.

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

This paper shows how the Lebesgue integral can be obtained as a Riemann sum and provides an extension of the Morse Covering Theorem to open sets. Let $X$ be a finite dimensional normed space; let $\mu$ be a Radon measure on $X$ and let…

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…

Discrete analogs of the Lebedev transforms with the product of the modified Bessel functions are introduced and investigated. Several expansions of suitable functions and sequences in terms of the series and integrals, involving the…

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…

An index transform, involving the square of Whittaker's function is introduced and investigated. The corresponding inversion formula is established. Particular cases cover index transforms of the Lebedev type with products of the modified…

Index transforms with the product of the associated Legendre functions are introduced. Mapping properties are investigated in the Lebesgue spaces. Inversion formulas are proved. The results are applied to solve a boundary value problem in a…

Can a positive function on R have zero Lebesgue integral? It depends on how much choice one has. Keywords: Lebesgue integral; Zermelo--Fraenkel theory; Feferman-Levy model

Let $(E,\|.\|)$ be a Banach space and let $(\Omega,\mu)$ be a Lebesgue measure space. We characterize, for all $p>0$, measurable functions $u:\Omega\rightarrow \mathbb{R}$ for which \begin{equation*} \left\| \int_{\Omega} f\,d\mu…

Simple inequalities are established for some integrals involving the modified Bessel functions of the first and second kind. In most cases these inequalities are tight in certain limits. As a consequence, we deduce a tight double…

We study Lebesgue integration of sums of products of globally subanalytic functions and their logarithms, called constructible functions. Our first theorem states that the class of constructible functions is stable under integration. The…

A formal sum $\sum_n f(S_n)$ may be seen as the integral $\int f dN$ with respect to random point process $N(A)=|\{n:S_n\in A\}|$. We study its convergence beyond the well known context of Lebesgue integrable functions, admitting…

We introduce Riesz potentials for non-Lebesgue measurable functions by taking the integrals in the sense of Choquet with respect to Hausdorff content and prove boundedness results for these operators. Some earlier results are recovered or…