Related papers: Integration through Generalized Sequences
In [7], a new iterative method for solving linear system of equations was presented which can be considered as a modification of the Gauss-Seidel method. Then in [4] a different approach, say 2D-DSPM, and more effective one was introduced.…
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…
A new general and unified method of summation, which is both regular and consistent, is invented. It is based on the idea concerning a way of integers reordering. The resulting theory includes a number of explicit and closed form summation…
Some well-known examples of constrained quantum systems commonly quantized via Feynman path integrals are re-examined using the notion of conditional integrators introduced in [1]. The examples yield some new perspectives on old results. As…
In this paper, a general integral identity for convex functions is derived. Then, we establish new some inequalities of the Simpson and the Hermite-Hadamard's type for functions whose absolute values of derivatives are convex. Some…
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.…
In his 1918 paper 'A General Form of Integral', Percy John Daniell developed a theory of integration capable of dealing with functions on arbitrary sets. Daniell's method differs from the measure-theoretic notion of integration. Linear…
In order to preserve the leading role of the action principle in formulating all field theories one needs quantum field theory, with the associated BRST symmetry, and Feynman-DeWitt-Faddeev-Popov ghost fields. Such fields result from the…
We approach the Riemann integral via generalized primitives to give a new proof for a general result on change of variable originally proven by Kestelman and Davies. Our proof is similar to Kestelman's, but we hope readers will find it…
Using a concept of filter we propose one generalization of Riemann integral, that is integration with respect to filter. We study this problem, demonstrate different properties and phenomena of filter integration.
We present a common ground for infinite sums, unordered sums, Riemann/Lebesgue integrals, arc length and some generalized means. It is based on extending functions on finite sets using Hausdorff metric in a natural way.
In this paper we extend the idea of integration to generic algebras. In particular we concentrate over a class of algebras, that we will call self-conjugated, having the property of possessing equivalent right and left multiplication…
We study the design and implementation of numerical methods to solve the generalized Langevin equation (GLE) focusing on canonical sampling properties of numerical integrators. For this purpose, we cast the GLE in an extended phase space…
Recently, the degenerate gamma functions are introduced as a degenerate version of the usual gamma function by Kim-Kim. In this paper, we investigate several properties of them. Namely, we obtain an analytic continuation as a meromorphic…
Series involving hypergeometric functions are used to derive, extend and evaluate integrals involving the product of two Bessel functions of the first kind $J_{u}(a z)$ $J_{v}(b z)$ with order $u,v$, studied by Landau et al. The method used…
Motivated by the study of the distribution of zeros of generalized Bessel-type functions, the principal goal of this paper is to identify new research directions in the theory of multiplier sequences. The investigations focus on multiplier…
We provide a full characterization in terms of the six parameters involved the boundedness of all standard weighted integral operators induced by harmonic Bergman-Besov kernels acting between different Lebesgue classes with standard weights…
The most general change of variables theorem for the Riemann integral of functions of a single variable has been published in 1961 (by Kestelman). In this theorem, the substitution is made by an `indefinite integral', that is, by a function…
This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and…
In this paper, we generalize the Riemann-Liouville differential and integral operators on the space of Henstock-Kurzweil integrable distributions, $D_{HK}$. We obtain new fundamental properties of the fractional derivative and integral, a…