Related papers: Complex Bounded Operators in Isabelle/HOL
We construct some inverse-closed algebras of bounded integral operators with operator-valued kernels, acting in spaces of vector-valued functions on locally compact groups. To this end we make systematic use of covariance algebras…
Let $G$ be a locally compact abelian group with a Haar measure, and $Y$ be a measure space. Suppose that $H$ is a reproducing kernel Hilbert space of functions on $G\times Y$, such that $H$ is naturally embedded into $L^2(G\times Y)$ and is…
The difficulty for solving ill-posed linear operator equations in Hilbert space is reflected by the strength of ill-posedness of the governing operator, and the inherent solution smoothness. In this study we focus on the ill-posedness of…
We present some general theorems about operator algebras that are algebras of functions on sets, including theories of local algebras, residually finite dimensional operator algebras and algebras that can be represented as the scalar…
We present important characterizations of the Weighted Composition Operator over the Mittag Leffler space of entire functions. These characterizations include the Hilbert-Schmidt and Unitary char-acterizations of the Weighted Composition…
We show that several convolution operators on the space of entire functions, such as the MacLane operator, support a dense hypercyclic algebra that is not finitely generated. Birkhoff's operator also has this property on the space of…
We investigate expansive Hilbert space operators $T$ that are finite rank perturbations of isometric operators. If the spectrum of $T$ is contained in the closed unit disc $\overline{\mathbb{D}}$, then such operators are of the form $T=…
We give embedding theorems for weighted Bergman-Orlicz spaces on the ball and then apply our results to the study of composition operators in this context. As one of the motivations of this work, we show that there exist some weighted…
We establish a spectral duality for certain unbounded operators in Hilbert space. The class of operators includes discrete graph Laplacians arising from infinite weighted graphs. The problem in this context is to establish a practical…
We study the boundedness of the Hilbert transform $H$ and the Hilbert maximal operator $H^*$ on weighted Lorentz spaces $\Lambda^p_u(w)$. We start by giving several necessary conditions that, in particular, lead us to the complete…
In this paper we study some basic properties of bicomplex linear operators on bicomplex Hilbert spaces. Further we discuss some applications of Hahn-Banach theorem on bicomplex Banach modules. We also introduce and discuss some bicomplex…
The space of entire functions which are integrable with respect to the Gaussian weight, known also as the Fock space, is one of the preferred functional Hilbert spaces for modelling and experimenting harmonic analysis, quantum mechanics or…
We study some basic properties of the class of universal operators on Hilbert space, and provide new examples of universal operators and universal pairs.
We provide sufficient and necessary conditions guaranteeing equations $(A+B)^*=A^*+B^*$ and $(AB)^*=B^*A^*$ concerning densely defined unbounded operators $A,B$ between Hilbert spaces. We also improve the perturbation theory of selfadjoint…
This article aims to explore the most recent developments in the study of the Hilbert matrix, acting as an operator on spaces of analytic functions and sequence spaces. We present the latest advances in this area, aiming to provide a…
Certain operator algebras A on a Hilbert space have the property that every densely defined linear transformation commuting with A is closable. Such algebras are said to have the closability property. They are important in the study of the…
We study the boundedness of composition operators on the bidisk using reproducing kernels. We show that a composition operator is bounded on the Hardy space of the bidisk if some associated function is a positive kernel. This positivity…
We prove several singular value inequalities for sum and product of compact operators in Hilbert space. Some of our results generalize the previous inequalities for operators. Also, applications of some inequalities are given.
In this paper, we introduce and study a new class of bounded linear operators on complex Hilbert spaces, which we call 2-C-normal operators. This class is inspired by and closely related to the notion of 2-normal operators, with additional…
We develop a theory of Valuation Hilbert Modules and prove a version of Beurling's theorem for these. Then we apply our version of Beurling's theorem to obtain complete descriptions of the closed invariant subspaces of a number of Hilbert…