Related papers: The Mimura Integral: A Unified Framework for Riema…
We provide a new approach for computing integrals over hypersurfaces in the level set framework. The method is based on the discretization (via simple Riemann sums) of the classical formulation used in the level set framework, with the…
The Levi-Civita field $\mathcal{R}$ is the smallest non-Archimedean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In this paper we develop a new theory of…
We introduce a general definition of hybrid transforms for constructible functions. These are integral transforms combining Lebesgue integration and Euler calculus. Lebesgue integration gives access to well-studied kernels and to regularity…
We prove that if all shifts of a measure in the Euclidean space are close in a sense to each other, then this measure is close to the Lebesgue one.
In Euclidean space, the integration by parts formula for a set of finite perimeter is expressed by the integration with respect to a type of surface measure. According to geometric measure theory, this surface measure is realized by the…
We introduce a new example of unital commutative $n$-dimensional group algebra $\mathbb{R}_n$ for $n \geq 2$. The algebra $\mathbb{R}_n$ and the complex numbers $\mathbb{C}$ are astonishingly alike. The zero divisor set of the algebra has…
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 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.
Consider the sum of the first $N$ eigenspaces for the Laplacian on a Riemannian manifold. A basis for this space determines a map to Euclidean space and for $N$ sufficiently large the map is an embedding. In analogy with a fruitful idea of…
Additional integral inequalities are obtained for integrals of the differences of subharmonic functions by Borel measures on balls in a multidimensional Euclidean space. These integrals are still estimated from above through the Nevanlinna…
The theory of integration over R is rich with techniques as well as necessary and sufficient conditions under which integration can be performed. Of the many different types of integrals that have been developed since the days of Newton and…
The Dirichlet product of functions on a semi-Riemann domain and generalized Euler vector fields, which include the radial, $\bar \partial$-Euler, and the $\bar \partial$-Neumann vector fields, are introduced. The integral means and the…
A theory which achieves a complete geometrical unification of gravitation and electromagnetism (GUGE) is presented. This new theory is based on a recent proposal of proper time redefinition that leads to the construction of a Riemann…
We extend the notion of regularized integrals introduced by Li-Zhou that aims to assign finite values to divergent integrals on configuration spaces of Riemann surfaces. We then give cohomological formulations for the extended notion using…
For a given metric measure space $(X,d,\mu)$ we consider finite samples of points, calculate the matrix of distances between them and then reconstruct the points in some finite-dimensional space using the multidimensional scaling (MDS)…
The Levi-Civita field $\mathcal{R}$ is the smallest non-Archimidean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In an earlier paper [Shamseddine-Berz-2003], a…
In this paper we consider a new kind of inequality related to fractional integration, motivated by Gressman's paper. Based on it we investigate its multilinear analogue inequalities. Combining with the Gressman's work on multilinear…
We investigate the Lebesgue measure, Hausdorff dimension, and Fourier dimension of sets of the form $RY + Z, $ where $R \subseteq (0,\infty)$ and $Y, Z \subseteq \mathbb{R}^d$. We prove a theorem on the Lebesgue measure and Hausdorff…
We further develop the \emph{Multivariate Decomposition Method} (MDM) for the Lebesgue integration of functions of infinitely many variables $x_1,x_2,x_3,\ldots$ with respect to a corresponding product of a one dimensional probability…
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…