Related papers: A Coq Formalization of the Bochner integral
Norm equivalences between a function and its Hankel transform are studied both in the context of weighted Lebesgue spaces with power weights, and in Lorentz spaces. Boas'-type results involving real-valued general monotone functions are…
In this paper, we study the Bohr inequality with lacunary series for vector-valued holomorphic functions defined in unit ball of finite dimensional Banach sequence space. Also, we study the Bohr-Rogosinski inequality for same class of…
This notes explains how a standard algorithm that constructs the discrete Fourier transform has been formalised and proved correct in the Coq proof assistant using the SSReflect extension.
A classification of ordinary differential equations and finite-difference equations in one variable having polynomial solutions (the generalized Bochner problem) is given. The method used is based on the spectral problem for a polynomial…
The aim of this article is to give a generalization of the Cauchy-Pompeiu integral formula for functions valued in parameter-depending elliptic algebras with structure polynomial $X^2 + \beta X + \alpha$ where $\alpha$ and $\beta$ are real…
Several concepts of approximate reasoning in uncertainty processing are linked to the processing of distribution functions. In this paper we make use of probabilistic framework of approximate reasoning by proposing a Lebesgue-type approach…
The question is addressed of when a Sobolev type space, built upon a general rearrangement-invariant norm, on an $n$-dimensional domain, is a Banach algebra under pointwise multiplication of functions. A sharp balance condition among the…
This paper is concerned with a new approach to coorbit space theory. Usually, coorbit spaces are defined by collecting all distributions for which the voice transform associated with a square-integrable group representation possesses a…
This paper contains a new elementary proof of the Fundamental Theorem of Calculus for the Lebesgue integral. The hardest part of our proof simply concerns the convergence in ${\rm L}^1$ of a certain sequence of step functions, and we prove…
Let $(E,\|.\|)$ be a Banach space and let $(\Omega,\mu)$ be a Lebesgue measure space. We characterize, for all $p>0$, measurable functions $u:\Omega\rightarrow \mathbb{R}$ for which \begin{equation*} \left\| \int_{\Omega} f\,d\mu…
We show that every operator in $L^{2}$ has an associated measure on a space of functions and prove that it can be used to find solutions to abstract Cauchy problems, including partial differential equations. We find explicit formulas to…
The Fourier transform is naturally defined for integrable functrions. Otherwise, it should be stipulated in which sense the Fourier transform is understood. We consider some class of radial and, generally saying, nonintegrable functions.…
We give a new proof of a recent characterization by Diaz and Mayoral of compactness in the Lebesgue-Bochner spaces $L_X^p$, where $X$ is a Banach space and $1\le p<\infty$, and extend the result to vector-valued Banach function spaces…
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…
We introduce function spaces for the treatment of non-linear parabolic equations with variable $\log$-H\"older continuous exponents, which only incorporate information of the symmetric part of a gradient. As an analogue of Korn's inequality…
The integral representation of Choquet operators defined on a space C(X) is established by using the Choquet-Bochner integral of a real-valued function with respect to a vector capacity.
We show that, given a Banach space and a generator of an exponentially stable $C_{0}$-semigroup, a weakly admissible operator $g(A)$ can be defined for any $g$ bounded, analytic function on the left half-plane. This yields an (unbounded)…
We introduce the notion of a gauge and of a tagged partition (subordinate to a given gauge) by intersections of open and closed sets of a compact metric space extending the corresponding notions in Henstock-Kurzweil integration of…
H. Cartan in his book on differential calculus proved a theorem generalizing a Cauchy's mean-value theorem to the case of functions taking values in a Banach space. Cartan used this theorem in a masterful way to develop the entire theory of…
In this work cylindrical Wiener processes on Banach spaces are defined by means of cylindrical stochastic processes, which are a well considered mathematical object. This approach allows a definition which is a simple straightforward…