Related papers: On Fubini type theorems for the Riemann integral
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…
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…
We show that in the theory of Daniell integration iterated integrals may always be formed, and the order of integration may always be interchanged. By this means, we discuss product integrals and show that the related Fubini theorem holds…
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 integration by parts recurrence relations allow to reduce some Feynman integrals to more simple ones (with some lines missing). Nevertheless the possibility of such reduction for the given particular integral was unclear. The recently…
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 develop the integration theory of two-parameter controlled paths $Y$ allowing us to define integrals of the form \begin{equation} \int_{[s,t] \times [u,v]} Y_{r,r'} \;d(X_{r}, X_{r'}) \end{equation} where $X$ is the geometric $p$-rough…
In this talk we discuss a class of Feynman integrals, which can be expressed to all orders in the dimensional regularisation parameter as iterated integrals of modular forms. We review the mathematical prerequisites related to elliptic…
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.
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.…
New index transforms of the Lebedev type are investigated. It involves the real part of the product of the modified Bessel functions as the kernel. The boundedness and invertibility are examined for these operators in the Lebesgue weighted…
We generalize in this short paper the classical Luzin's theorem about existence of integral on the measurable function and its multidimensional analogues on the many popular classes of rearrangement invariant (r.i.) spaces, namely, on the…
We remark a variant of the existence part of the fundamental theorem of calculus, which, together with the Lebesgue differentiation theorem, constitute a new proof that every Riemann-integrable function on a compact interval having limit…
The Riemann-Lebesque Theorem is commonly proved in a few strokes using the theory of Lebesque integration. Here, the upper bound $2\pi|c_k(f)|\le S_k(f)-s_k(f)$ for the Fourier coefficients $c_k$ is proved in terms of majoring and minoring…
I prove a theorem about iterated integrals for non-product measures in a product space. The first task is to show the existence of a family of measures on the second space, indexed by the points on of the first space (outside a negligible…
We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version…
A practical criterion for the irreducibility (with respect to integration by part identities) of a particular Feynman integral to a given set of integrals is presented. The irreducibility is shown to be related to the existence of stable…
The result is established for a Jordan measurable region with rectifiable boundary. The integrand F for the new plane integral to be used is a function of axis-parallel rectangles, finitely additive on non-overlapping ones, hence…
Differential equations are one of the main approaches to evaluate multi-loop Feynman integrals. The construction of a canonical or $\varepsilon$-factorised basis for multi-loop integrals remains a key bottleneck for this approach,…
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…