Related papers: The Lebesgue Integral Via The Tonelli Method
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…
The present article is devoted to one example which related to the Salem function. The main attention is given to properties of one type of functions including items related to functional equations, graphs, the Lebesgue integral, etc.
We consider nonlinear, or "event-dependent", sampling, i.e. such that the sampling instances {tk} depend on the function being sampled. The use of such sampling in the construction of Lebesgue's integral sums is noted and discussed as…
A new type of quadrature is developed. The Gaussian quadrature, for a given measure, finds optimal values of a function's argument (nodes) and the corresponding weights. In contrast, the Lebesgue quadrature developed in this paper, finds…
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…
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…
Weighted model counting (WMC) is a popular framework to perform probabilistic inference with discrete random variables. Recently, WMC has been extended to weighted model integration (WMI) in order to additionally handle continuous…
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…
We prove fractional Leibniz rules and related commutator estimates in the settings of weighted and variable Lebesgue spaces. Our main tools are uniform weighted estimates for sequences of square-function-type operators and a bilinear…
By using Fubini theorem or Tonelli theorem, we find that the zeta function value at 2 is equal to a special integral. Furthermore, We find that this special integral is two times of another special integral. By using this fact we obtain the…
Using the theory of orthogonal polynomials, their associated recursion relations and differential formulas we develop a method for evaluating new integrals. The method is illustrated by obtaining a closed-form expression for the value of an…
We present the proof of a certain modified version of Kolmogorov's strong law of large numbers for calculation of Lebesgue Integrals by using uniformly distributed sequences in $(0,1)$. We extend the result of C. Baxa and J.…
An integral on Euclidean space, equivalent to the Lebesgue integral, is constructed by extending the notion of Riemann sums. In contrast to the Henstock--Kurzweil and McShane integrals, the construction recovers the full measure-theoretic…
In [22], it was proved that as long as the integrand has certain properties, the corresponding It\^o integral can be written as a (parameterized) Lebesgue integral (or a Bochner integral). In this paper, we show that such a question can be…
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…
We consider Choquet integrals with respect to dyadic Hausdorff content of non-negative functions which are not necessarily Lebesgue measurable. We study the theory of Lebesgue points. The studies yield convergence results and also a density…
Lebesgue's dominated convergence theorem is a crucial pillar of modern analysis, but there are certain areas of the subject where this theorem is deficient. Deeper criteria for convergence of integrals are described in this article.
We study representations of a random variable $\xi$ as an integral of an adapted process with respect to the Lebesgue measure. The existence of such representations in two different regularity classes is characterized in terms of the…
It is well-known that a random variable, i.e., a function defined on a probability space, with values in a Borel space, can be represented on the special probability space consisting of the unit interval with Lebesgue measure. We show an…
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…