Related papers: A Coq Formalization of the Bochner integral
Let $X$ be a real or complex Banach space. Let $S(X)$ denote the unit sphere of $X$. For $x\in S(X)$, let $S_{x}=\{x^*\in S(X^*):x^*(x)=1\}$. A lot of Banach space geometry can be determined by the `quantum' of the state space $S_{x}$. In…
We have previously developed a polymer-like expansion that applies when the (effective) action in a functional integral is an analytic function of the fields being integrated. Here, we develop methods to aid the application of this…
We establish a method of directly measuring and estimating non-classicality - operationally defined in terms of the distinguishability of a given state from one with a positive Wigner function. It allows to certify non-classicality, based…
In this manuscript, we extend our previous work on the Riemann-Liouville fractional integral of order $\alpha > 0$ in Bochner-Lebesgue spaces. We specifically address the remaining cases concerning its boundedness when $\alpha > 1/p$.…
We investigate homogeneity in the special Colombeau algebra. It is shown that strongly scaling invariant functions on the d-dimensional space are simply the constants. On the pierced space, strongly homogeneous functions admit tempered…
We study the commutator of the well-known Cauchy integral operator with a locally integrable function $b$ on $\mathbb R$, and establish the characterisation of the BMO space on $\mathbb R$ via the $L^p$ boundedness of this commutator.…
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.
In this work the authors use their contour integral method to derive a double integral connected to the modified Bessel function of the second kind and express it in terms of the Lerch function. There are some useful results relating double…
The substitution lemma is a renowned theorem within the realm of lambda-calculus theory and concerns the interactional behaviour of the metasubstitution operation. In this work, we augment the lambda-calculus's grammar with an uninterpreted…
In classical analysis, Lebesgue first proved that $\mathbb{R}$ has the property that each Riemann integrable function from $[a,b]$ into $\mathbb{R}$ is continuous almost everywhere. This property is named as the Lebesgue property. Though…
We prove an analogue of the Cauchy integral theorem for hyperholomorphic functions given in three-dimensional domains with non piece-smooth boundaries and taking values in an arbitrary finite-dimensional commutative associative Banach…
An integral is defined on the plane that includes the Henstock--Kurzweil and Lebesgue integrals (with respect to Lebesgue measure). A space of primitives is taken as the set of continuous real-valued functions $F(x,y)$ defined on the…
In this paper we define a type of generalized Riemann-Lebesgue (decomposition) integral for non-negative real functions with respect to two non-additive set functions. For this integral we present some classical properties.
We consider a generalisation of a definite integral involving the Bessel function of the first kind. It is shown that this integral can be expressed in terms of the Fox-Wright function ${}_p\Psi_q(z)$ of one variable. Some consequences of…
We prove a Leibniz rule for BV functions in a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality. Unlike in previous versions of the rule, we do not assume the functions to be locally…
Quantum fields are generally taken to be operator-valued distributions, linear functionals of test functions into an algebra of operators; here the effective dynamics of an interacting quantum field is taken to be nonlinearly modified by…
The class of Banach spaces $(L^{q},L^{p}) ^{\alpha}(X,d,\mu)$, $1\leq q\leq \alpha \leq p\leq \infty ,$ introduced in \cite{F1} in connection with the study of the continuity of the fractional maximal operator of Hardy-Littlewood and of the…
We introduce a notion being a $k$-fold Lebesgue function for measure preserving transformations, where any $2$-fold Lebesgue function is just ordinary Lebesgue. We discuss how this new metrical isomorphisms invariant of dynamical systems is…
Let F(R^n) be the algebra of Fourier transforms of functions from L_1(R^n), K(R^n) be the algebra of Fourier transforms of bounded complex Borel measures in R^n and W be Wiener algebra of continuous 2pi-periodic functions with absolutely…
In this paper we define canonical sine and cosine transform, convolution operations, prove convolution theorems in space of integrable functions on real space. Further, obtain some results require to construct the spaces of integrable…