Related papers: The Lebesgue Integral Via The Tonelli Method
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.…
Alternative approaches to Lebesgue integration are considered.
This text grew out of notes I have used in teaching a one quarter course on integration at the advanced undergraduate level. My intent is to introduce the Lebesgue integral in a quick, and hopefully painless, way and then go on to…
We show that integrating a polynomial of degree t on an arbitrary simplex (with respect to Lebesgue measure) reduces to evaluating t homogeneous polynomials of degree j = 1, 2,. .. , t, each at a unique point $\xi$ j of the simplex. This…
We explore the properties of an interesting new example of a function which is Lebesgue integrable but not Riemann integrable.
This is an attempt of a comprehensive survey of the results in which estimates of the norms of linear means of multiple Fourier series, the Lebesgue constants, are obtained by means of estimating the Fourier transform of a function…
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…
The proofs of A. Villani on inclusion relations among classical Lebesgue spaces are dicussed. The techinque of using closed graph theorem, due to Villani, is applied to derive results on inclusion relations among some more additional…
This paper presents a point-free version of the Lebesgue integral for simple functions on $\sigma$-locales. It describes the integral with respect to a measure defined on the coframe of all $\sigma$-sublocales, moving beyond the constraints…
The paper suggests a slightly more rigorous justification to Wang et al.'s work from 2007, and introduces the Slanted Line Integral.
We present a modification of Riesz's construction of the Lebesgue integral, leading directly to finite or infinite integrals, at the same time simplifying the proofs.
We introduce a symbolic method for the evaluation of definite integrals containing combinations of various functions, including exponentials, logarithm and products of Bessel functions of different types. The method we develop is naturally…
We present modified proof of a certain 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. Schoi$\beta$engeier…
In this work the authors use their contour integral method to derive a double integral connected to the modified Bessel function of the second kind and express it in terms of the Lerch function. There are some useful results relating double…
In the theory of time scales, given $\mathbb{T}$ a time scale with at least two distinct elements, an integration theory is developed using ideas already well known as Riemann sums. Another, more daring, approach is to treat an integration…
The process of integration was a subject of significant development during the last century. Despite that the Lebesgue integral is complete and has many good properties, its inability to integrate all derivatives prompted the introduction…
A new method is presented for obtaining indefinite integrals of common special functions. The approach is based on a Lagrangian formulation of the general homogeneous linear ordinary differential equation of second order. A general integral…
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…
This Note revisits the Leibnitz integral calculus method based on differentiation under the integral sign with respect to a parameter either already existing or introduced ad hoc. Through several cases exemplifying the method, it is shown…
It is well-known the Lebesgue \cite{Lebesgue, Zygmund} test for trigonometric Fourier series. Taberski \cite{Taberski1, Taberski2} considered real-valued Lebesgue locally integrable functions $f$, such that \begin{equation*} \lim_{T \to…