Related papers: Krivine's Function Calculus and Bochner integratio…

Suppose $(X,\Sigma,\mu)$ is a finite measure space, $E$ is a Banach lattice, and $B(X,E,\mu)$ is the space of all Bochner integrable $E$-valued functions. In this note, we show that $B(X,E,\mu)$ is a $KB$-space or has the sequential Fatou…

The existence of continuous not necessarily bounded solutions of nonlinear functional Volterra integral inclusions in infinite dimensional setting is shown with the aid of the measure of nonequicontinuity. New abstract topological fixed…

We prove that a locally integrable function $f:(a,b) \to \mathbb R$ must be affine if its mean oscillation, considered as a function of intervals, can be extended to a locally finite Borel measure. In particular, we show that any function…

The like-Lebesgue integral of real-valued measurable functions (abbreviated as \textit{RVM-MI})is the most complete and appropriate integration Theory. Integrals are also defined in abstract spaces since Pettis (1938). In particular,…

The Bochner integral is a generalization of the Lebesgue integral, for functions taking their values in a Banach space. Therefore, both its mathematical definition and its formalization in the Coq proof assistant are more challenging as we…

It is shown that the approximating functions used to define the Bochner integral can be formed using geometrically nice sets, such as balls, from a differentiation basis. Moreover, every appropriate sum of this form will be within a…

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…

Given a finite measure space $(\Omega,\Sigma,\mu)$, we show that any Banach space $X(\mu)$ consisting of (equivalence classes of) real measurable functions defined on $\Omega$ such that $f \chi_A \in X(\mu) $ and $ \|f \chi_A \| \leq \|f\|,…

We define an integral of real-valued functions with respect to a measure that takes its values in the extended positive cone of a partially ordered vector space $E$. The monotone convergence theorem, Fatou's lemma, and the dominated…

We present an algorithm for the efficient numerical evaluation of integrals of the form \[ I(\omega) = \int_0^1 F( x,\mathrm e^{\mathrm i \omega x}; \omega) \, \mathrm d x \] for sufficiently smooth but otherwise arbitrary $F$ and $\omega…

We say that a function $\alpha(x)$ belongs to the set ${\bf A}^{(\gamma)}$ if it has an asymptotic expansion of the form $\alpha(x)\sim \sum^\infty_{i=0}\alpha_ix^{\gamma-i}$ as $x\to\infty$, which can be differentiated term by term…

We give bilateral pointwise estimates for positive solutions of the equation \begin{equation*} \left\{ \begin{aligned} -\triangle u & = \omega u \, \,& & \mbox{in} \, \, \Omega, \quad u \ge 0, \\ u & = f \, \, & &\mbox{on} \, \, \partial…

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…

For a Banach space $X$ we demonstrate the equivalence of the following two properties: (1) $X$ is B-convex (that is, possesses a nontrivial infratype), and (2) if ${F: [0,1] \to 2^{X} \setminus \{\varnothing\}}$ is a {multifunction},…

We develop a systematic algorithmic framework that unites global and local classification problems using index sets. We prove that the classification problem for continuous (binary) regular functions among almost everywhere linear,…

We study the pointwise supremum of convex integral functionals $\mathcal{I}_{f,\gamma}(\xi)= \sup_{Q} \left( \int_\Omega f(\omega,\xi(\omega))Q(d\omega)-\gamma(Q)\right)$ on $L^\infty(\Omega,\mathcal{F},\mathbb{P})$ where…

In this article the integration of the $\alpha$-fractal interpolation function $f^{\alpha}$ corresponding to any continuous function $f$ on a compact interval $I$ of $\mathbb{R}$ is estimated although there is no explicit form of…

A "Bochner-type" integral for vector lattice-valued functions with respect to (possibly infinite) vector lattice-valued measures is presented with respect to abstract convergences, satisfying suitable axioms, and some fundamental properties…

Let $m(G)$ be the infimum of the volumes of all open subgroups of a unimodular locally compact group $G$. Suppose integrable functions $\phi_1 , \phi_2 \colon G \to [0,1]$ satisfy $\| \phi_1 \| \leq \| \phi_2 \|$ and $\| \phi_1 \| + \|…

In the present note a functional calculus $\phi \mapsto \phi(A)$ for self-adjoint definitizable linear relation on Krein spaces is developed. This functional calculus is the proper analogue of $\phi \mapsto \int \phi \, dE$ in the Hilbert…