Related papers: Revisiting Korovkin-type Theorems in Banach Functi…

We prove new characterisations of exponential stability for positive linear discrete-time systems in ordered Banach spaces, in terms of small-gain conditions. Such conditions have played an important role in the finite-dimensional systems…

Let X be a real Banach space. We prove that the existence of an injective, positive, symmetric and not strictly singular operator from X into its dual implies that either X admits an equivalent Hilbertian norm or it contains a nontrivially…

We explain how Pusz--Woronowicz's idea of their functional calculus fits the theory of Lebesgue decomposition for positive operators on Hilbert spaces initially developed by Ando. In this way, we reconstruct the essential and fundamental…

The aim of this paper is to prove a general Lebesgue decomposition theorem for positive operators on so-called anti-dual pairs, following the iterative approach introduced by Arlinskii. This procedure and the resulting theorem encompass…

We employ the pinching theorem, ensuring that some operators A admit any sequence of contractions as an operator diagonal of A, to deduce/improve two recent theorems of Kennedy-Skoufranis and Loreaux-Weiss for conditional expectations onto…

In this paper, the sharp maximal theorem is generalized to mixed-norm ball Banach function spaces, which is defined as Definition 2.7. As an application, we give a characterization of BMO via the boundedness of commutators of fractional…

In this paper, we construct maximally monotone operators that are not of Gossez's dense-type (D) in many nonreflexive spaces. Many of these operators also fail to possess the Br{\o}nsted-Rockafellar (BR) property. Using these operators, we…

In this research we introduce the Banach space valued $H^p$ spaces with $A_p$ weight, and prove the following results: Let $\mathbb{A}$ and $\mathbb{B}$ Banach spaces, and $T$ be a convolution operator mapping $\mathbb{A}$-valued functions…

Let $X$, $Y$, and $Z$ be Banach spaces, and let $\alpha$ be a tensor norm. Let a bounded linear operator $S\in\mathcal{L}(Z,\mathcal{L}(X,Y))$ be given. We obtain (necessary and/or sufficient) conditions for the existence of an operator…

The first representation theorem establishes a correspondence between positive, self-adjoint operators and closed, positive forms on Hilbert spaces. The aim of this paper is to show that some of the results remain true if the underlying…

We prove a Korovkin type approximation theorem via power series methods of summability for continuous $2\pi$-periodic functions of two variables and verify the convergence of approximating double sequences of positive linear operators by…

Let $C$ be a closed convex cone in a Banach ideal space $X$ on a measurable space with a $\sigma$-finite measure. We prove that conditions $C\cap X_+=\{0\}$ and $C\supset -X_+$ imply the existence of a strictly positive continuous…

In this paper we introduce and study a new sequence of positive linear operators acting on function spaces defined on a convex compact subset. Their construction depends on a given Markov operator, a positive real number and a sequence of…

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…

A well-known result going back to the 1930s states that all bounded linear operators mapping scalar-valued $L^1$-spaces into $L^\infty$-spaces are kernel operators and that in fact this relation induces an isometric isomorphism between the…

In this paper, we consider the structure of maximally monotone operators in Banach space whose domains have nonempty interior and we present new and explicit structure formulas for such operators. Along the way, we provide new proofs of the…

We prove the following version of the Kreps-Yan theorem. For any norm closed convex cone $C\subset L^\infty$ such that $C\cap L_+^\infty=\{0\}$ and $C\supset -L_+^\infty$, there exists a strictly positive continuous linear functional, whose…

In this paper, we study {\it operator spaces\/} in the sense of the theory developed recently by Blecher-Paulsen [BP] and Effros-Ruan [ER1]. By an operator space, we mean a closed subspace $E\subset B(H)$, with $H$ Hilbert. We will be…

We give a fundament for Berezin's analytic $\Psi$do considered in \cite{Berezin71} in terms of Bargmann images of Pilipovi{\'c} spaces. We deduce basic continuity results for such $\Psi$do, especially when the operator kernels are in…

Consider a $C_0$-semigroup $(e^{tA})_{t \ge 0}$ on a function space or, more generally, on a Banach lattice $E$. We prove a sufficient criterion for the operators $e^{tA}$ to be positive for all sufficiently large times $t$, while the…