Related papers: Integration through Generalized Sequences
We report on an original formalization of measure and integration theory in the Coq proof assistant. We build the Lebesgue measure following a standard construction that had not yet been formalized in proof assistants based on dependent…
The study of what we now call Sobolev inequalities has been studied for almost a century in various forms, while it has been eighty years since Sobolev's seminal mathematical contributions. Yet there are still things we don't understand…
In this paper we prove pointwise and distributional Fourier transform inversion theorems for functions on the real line that are locally of bounded variation, while in a neighbourhood of infinity are Lebesgue integrable or have polynomial…
Finite-part integration is a recently introduced method of evaluating convergent integrals by means of the finite part of divergent integrals [E.A. Galapon, {\it Proc. R. Soc. A 473, 20160567} (2017)]. Current application of the method…
A Fourier-type integral representation for Bessel's function of the first kind and complex order is obtained by using the Gegenbuaer extension of Poisson's integral representation for the Bessel function along with a trigonometric integral…
Integration by parts formulae are given for a class of measures on the space of paths of a smooth manifold $M$ determined by the laws of degenerate diffusions. The mother of such formulae, on the path space of diffeomorphism group of $M$ is…
Efforts to give an improved mathematical meaning to Feynman's path integral formulation of quantum mechanics started soon after its introduction and continue to this day. In the present paper, one common thread of development is followed…
Integration by parts plays a crucial role in mathematical analysis, e.g., during the proof of necessary optimality conditions in the calculus of variations and optimal control. Motivated by this fact, we construct a new, right-weighted…
Sequence transformations accomplish an acceleration of convergence or a summation in the case of divergence by detecting and utilizing regularities of the elements of the sequence to be transformed. For sufficiently large indices, certain…
This paper proposes a family of permutation-invariant graph embeddings, generalizing the Skew Spectrum of graphs of Kondor & Borgwardt (2008). Grounded in group theory and harmonic analysis, our method introduces a new class of graph…
The Bernstein polynomial basis sees significant use owing to its unique properties, particularly in the field of optimal control. However, the basis is known to have a slow rate of convergence to the function it approximates. With this in…
The theory of integration over infinite-dimensional spaces is known to encounter serious difficulties. Categorical ideas seem to arise naturally on the path to a remedy. Such an approach was suggested and initiated by Segal in his…
The aim of this paper is to give a novel generalization of the Leibnitz numbers derived from application of the Beta function to the modification for the Bernstein basis functions. We also give some properties of the Leibnitz numbers with…
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…
In this paper, new identity for fractional integrals have been defined. By using of this identity, we obtained new general inequalities containing all of Hadamard, Ostrowski and Simpson type inequalities for for functions whose derivatives…
Riemann sums, a classical method for approximating the definite integral of a function, have been extensively studied in the past. However, their monotonic properties, while still of great importance, particularly in approximation theory…
Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results…
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…
A new generalization of the modified Bessel function of the second kind $K_{z}(x)$ is studied. Elegant series and integral representations, a differential-difference equation and asymptotic expansions are obtained for it thereby…
In this note we describe how some objects from generalized geometry appear in the qualitative analysis and numerical simulation of mechanical systems. In particular we discuss double vector bundles and Dirac structures. It turns out that…