Related papers: A Coq Formalization of the Bochner integral

This article gives a new proof of the fundamental lemma of the "weakly admissible implies admissible" theorem of Colmez-Fontaine that describes the semi-stable p-adic representations. To this end, we introduce the category of spectral…

Some reverses of the continuous triangle inequality for Bochner integral of vector-valued functions in complex Hilbert spaces are given. Applications for complex-valued functions are provided as well.

The Lebesgue dominated convergence theorem of the measure theory implies that the Riemann integral of a bounded sequence of continuous functions over the interval [ 0,1] pointwise converging to zero, also converges to zero. The validity of…

Let $X$ be a complete measure space of finite measure. The Lebesgue transform of an integrable function $f$ on $X$ encodes the collection of all the mean-values of $f$ on all measurable subsets of $X$ of positive measure. In the problem of…

There are two main aims of the paper. The first one is to extend the criterion for the precompactness of sets in Banach function spaces to the setting of quasi-Banach function spaces. The second one is to extend the criterion for the…

The classical inequality of Bohr concerning Taylor coeficients of bounded holomorphic functions on the unit disk, has proved to be of significance in answering in the negative the conjecture that if the non-unital von Neumann inequality…

Given a positive operator-valued measure $\nu$ acting on the Borel sets of a locally compact Hausdorff space $X$, with outcomes in the algebra $\mathcal B(\mathcal H)$ of all bounded operators on a (possibly infinite-dimensional) Hilbert…

We prove a generalisation of Fernique's theorem which applies to a class of (measurable) functionals on abstract Wiener spaces by using the isoperimetric inequality. Our motivation comes from rough path theory where one deals with iterated…

We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz…

This note presents an elementary and direct proof for the convexity of the Choquet integral when the corresponding set function is submodular.

This article is centered around generalizing a previous implicit function theorem of the author to be applicable for maps f:E sqcap F to F which can be lifted to Keller C^k_pi maps f_i:E sqcap F_i to F_i with F_i Banach and F=projlim F_i .…

We consider Fourier transform of vector-valued functions on a locally compact group $G$, which take value in a Banach space $X$, and are square-integrable in Bochner sense. If $G$ is a finite group then Fourier transform is a bounded…

A formal sum $\sum_n f(S_n)$ may be seen as the integral $\int f dN$ with respect to random point process $N(A)=|\{n:S_n\in A\}|$. We study its convergence beyond the well known context of Lebesgue integrable functions, admitting…

In this note a general approach is suggested for comparison of operators. This is done by means of the Fourier transform of a measure. This approach is applied to comparison of approximation properties of various summability methods of the…

In this work we study the Riemann-Liouville fractional integral of order $\alpha\in(0,1/p)$ as an operator from $L^p(I;X)$ into $L^{q}(I;X)$, with $1\leq q\leq p/(1-p\alpha)$, whether $I=[t_0,t_1]$ or $I=[t_0,\infty)$ and $X$ is a Banach…

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…

We give a number of formal proofs of theorems from the field of computable analysis. Many of our results specify executable algorithms that work on infinite inputs by means of operating on finite approximations and are proven correct in the…

Some reverses of the continuous triangle inequality for Bochner integral of vector-valued functions in Hilbert spaces are given. Applications for complex-valued functions are provided as well.

We present a Lebesgue-type decomposition for a representable functional on a $^*$-algebra into absolutely continuous and singular parts with respect to an other. This generalizes the corresponding results of S. P. Gudder for unital Banach…

Let $(C(t))\_{t \in R}$ be a cosine function in a unital Banach algebra. We show that if $sup\_{t\in R}\Vert C(t)-cos(t)\Vert \textless{} 2$ for some continuous scalar bounded cosine function $(c(t))\_{t\in \R},$ then the closed subalgebra…