Related papers: On the integration of vector-valued functions

We study integration over functions on superspaces. These functions are invariant under a transformation which maps the whole superspace onto the part of the superspace which only comprises purely commuting variables. We get a compact…

It is shown that for any finite positive measure $\mu$ defined on a measure space $(S, \Sigma)$, and any Banach or Fr\'echet space $Z$, the control measure Theorem of Talagrand (T) is true for the case when the (stochastic) vector measure…

We present a natural way to cover an Archimedean directed ordered vector space $E$ by Banach spaces and extend the notion of Bochner integrability to functions with values in $E$. The resulting set of integrable functions is an Archimedean…

Let $X$ be a Banach space and $\Gamma \subseteq X^*$ a total linear subspace. We study the concept of $\Gamma$-integrability for $X$-valued functions $f$ defined on a complete probability space, i.e. an analogue of Pettis integrability by…

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…

This paper explores the calculus of dual-valued functions and investigates the gamma function, beta function and generalized hypergeometric functions by incorporating dual numbers as parameters and variables. We examine its fundamental…

Index transforms with the product of the associated Legendre functions are introduced. Mapping properties are investigated in the Lebesgue spaces. Inversion formulas are proved. The results are applied to solve a boundary value problem in a…

Multidimensional integration by parts formulas apply under the standard assumption that one of the functions is continuous and the other has bounded Hardy-Krause variation. Motivated by recently developed results in the probabilistic…

Inequalities are established for certain trilinear scalar-valued functionals. These functionals act on measurable functions of one real variable, are defined by integration over two- or three-dimensional spaces, and are controlled in terms…

We investigate integral representation of vector-valued function spaces, i.e., of subspaces $H\subset C(K,E)$, where $K$ is a compact space and $E$ is a (real or complex) Banach space. We point out that there are two possible ways of…

We define and develop a framework to understand functional integrals as countable families of Banach-valued Haar integrals on locally compact topological groups. The definition forgoes the goal of constructing a genuine measure on an…

This is an attempt to build Banach space valued theory for certain singular integrals on Hamming cube. Of course all estimates below are dimension independent, and we tried to find ultimate sharp assumptions on the Banach space for a…

In this paper we recontextualize the theory of matrix weights within the setting of Banach lattices. We define an intrinsic notion of directional Banach function spaces, generalizing matrix weighted Lebesgue spaces. Moreover, we prove an…

We prove implicit function theorems for mappings on topological vector spaces over valued fields. In the real and complex cases, we obtain implicit function theorems for mappings from arbitrary (not necessarily locally convex) topological…

We develop aspects of functional analysis in an abstract axiomatic setting, through monoidal and enriched category theory. We work in a given closed category, whose objects we call spaces, and we study R-module objects therein (or algebras…

For a measure space $\Omega$ we extend the theory of Orlicz spaces generated by an even convex integrand $\varphi \colon \Omega \times X \to \left[ 0, \infty \right]$ to the case when the range Banach space $X$ is arbitrary. Besides…

Motivated by multi-task machine learning with Banach spaces, we propose the notion of vector-valued reproducing kernel Banach spaces (RKBS). Basic properties of the spaces and the associated reproducing kernels are investigated. We also…

In this article we introduce and investigate a new class of rearrangement invariant (r.i.) Banach function spaces, so-called Composed Grand Lebesgue Spaces (CGLS), in particular, Integral Grand Lebesgue Spaces (IGLS), which are some…

This work performs a study of the category of complete matrix-normed spaces, called matricial Banach spaces. Many of the usual constructions of Banach spaces extend in a natural way to matricial Banach spaces, including products, direct…

We introduce a family of pairings between a bounded divergence-measure vector field and a function $u$ of bounded variation, depending on the choice of the pointwise representative of $u$. We prove that these pairings inherit from the…