Related papers: A Coq Formalization of the Bochner integral

We give a definition for the Wigner function for quantum mechanics on the Bohr compactification of the real line and prove a number of simple consequences of this definition. We then discuss how this formalism can be applied to loop quantum…

This article gives dual representations for convex integral functionals on the linear space of regular processes. This space turns out to be a Banach space containing many more familiar classes of stochastic processes and its dual can be…

In this article, we give a formula for the generalization of the binomial coefficient to the complex numbers as a linear combination of $\sinc$ functions. We then give a general formula to compute the integral on the real line of the…

A non-local abstract Cauchy problem with a singular integral is studied, which is a closed system of two evolution equations for a real-valued function and a function-valued function. By proposing an appropriate Banach space, the…

In a seminal paper, Choquet introduced an integral formula to extend a monotone increasing setfunction on a sigma-algebra to a (nonlinear) functional on bounded measurable functions. The most important special case is when the setfunction…

We introduce non-linear versions of the classical cotype of Banach spaces. We show that spaces with l.u.st and cotype, and that spaces having Fourier cotype enjoy our non-linear cotype. We apply these concepts to get results on convergence…

Some integration techniques for real-valued functions with respect to vector measures with values in Banach spaces (and viceversa) are investigated in order to establish abstract versions of classical theorems of Probability and Stochastic…

We give an extension of Bochner's criterion for the almost periodic functions. By using our main result, we extend two results of A. Haraux. The first is a generalization of Bochner's criterion which is useful for periodic dynamical…

We consider integration of functions with values in a partially ordered vector space, and two notions of extension of the space of integrable functions. Applying both extensions to the space of real valued simple functions on a measure…

The main purpose of this paper is to investigate the behaviour of fractional integral operators associated to a measure on a metric space satisfying just a mild growth condition, namely that the measure of each ball is controlled by a fixed…

In this work, we define a new class of fractional analytic functions containing functional parameters in the open unit disk. By employing this class, we introduce two types of fractional operators, differential and integral. The fractional…

Let $G$ be a locally compact group which is $\sigma $-compact, endowed with a left Haar measure $\lambda .$ Denote by $e$ the unit element of $G$, and by $B$ an open relatively compact and symmetric neighbourhood of $e$. For every $(p,q) $…

Based on the total integrability we first define an integral of a real valued function f as an interval function associated to its antiderivative F. By introducing the concept of the residue of a function into the real analysis, the…

This note aims to highlight the link between representable functionals and derivations on a Banach quasi *-algebra, i.e. a mathematical structure that can be seen as the completion of a normed *-algebra in the case the multiplication is…

Based on a generalization of Lebesgue decomposition we obtain a characterization of weak compactness in the space $ba$, a representation of its dual space and some results on the structure of finitely additive measures.

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…

For the functions $f$, which can be represented in the form of the convolution $f(x)=\frac{a_{0}}{2}+\frac{1}{\pi}\int\limits_{-\pi}^{\pi}\sum\limits_{k=1}^{\infty}e^{-\alpha k^{r}}\cos(kt-\frac{\beta\pi}{2})\varphi(x-t)dt$,…

Let $F$ be a function with values in a Banach space. When $F$ is locally (Pettis or Bochner) integrable with respect to a locally determined positive measure, a vector measure $\nu_F$ with density $F$ defined on a $\delta$-ring is obtained.…

We study Riemann-Lebesgue integrability of a vector function relative to an arbitrary non-negative set function. We obtain some classical integral properties. Results regarding the continuity properties of the integral and relationships…

We give a full description of the structure under inclusion of all finite level Borel classes of functions, and provide an elementary proof of the well-known fact that not every Borel function can be written as a countable union of…