Related papers: Complex Bounded Operators in Isabelle/HOL
We study two subspace systems in a separable infinite-dimensional Hilbert space up to (bounded) isomorphism. One of the main result of this paper is the following: Isomorphism classes of two subspace systems given by graphs of bounded…
We consider various systematic ways of defining unbounded operator valued integrals of complex functions with respect to (mostly) positive operator measures and positive sesquilinear form measures, and investigate their relationships to…
Recently, Bansah and Sehba studied in [3] the boundedness of a family of Hilbert-type integral operators, where they characterized the $L^{p}-L^{q}$ boundedness of the operators for $1\leq p\leq q\leq \infty$. In this paper, we deal with…
In this paper, we characterize the boundedness, the compactness and the Hilbert-Schmidt property for composition operators acting from a de Branges-Rovnyak space $\mathcal H(b)$ into itself, when $b$ is a rational function in the closed…
The questions of dense definiteness and boundedness of composition operators in $L^2$-spaces are studied by means of inductive limits of operators. Methods based on projective systems of measure spaces and inductive limits of $L^2$-spaces…
We study functions of bounded variation (and sets of finite perimeter) on a convex open set $\Omega\subseteq X$, $X$ being an infinite dimensional real Hilbert space. We relate the total variation of such functions, defined through an…
In this paper we investigate the boundedness of classical operators, namely the Hardy-Littlewood maximal operator, fractional integral operators, and Calderon-Zygmund operators, on generalized weighted Morrey spaces and generalized weighted…
In this paper we introduce and study several new Hilbert-type operators acting between the weighted Fock spaces. We provide some sufficient and necessary conditions for the boundedness and compactness of certain Hilbert-type operators from…
Complementable operators extend classical matrix decompositions, such as the Schur complement, to the setting of infinite-dimensional Hilbert spaces, thereby broadening their applicability in various mathematical and physical contexts. This…
We survey a few classes of analytic functions on the disk that have real boundary values almost everywhere on the unit circle. We explore some of their properties, various decompositions, and some connections these functions make to…
We study composition operators on spaces of double Dirichlet series, focusing our interest on the characterization of the composition operators of the space of bounded double Dirichlet series $\HCdos$. We also show how the composition…
In a previous paper, we presented an Abstract Beurling's Theorem for valuation Hilbert modules over valuation algebras. In this paper, we shall apply this theorem to obtain complete descriptions of the closed invariant subspaces of a number…
In this paper we study shorted operators relative to two different subspaces, for bounded operators on infinite dimensional Hilbert spaces. We define two notions of complementability in the sense of Ando for operators, and study the…
We study the notion of recurrence and some of its variations for linear operators acting on Banach spaces. We characterize recurrence for several classes of linear operators such as weighted shifts, composition operators and multiplication…
Our basic structure is a finite-dimensional complex Hilbert space $H$. We point out that the set of effects on $H$ form a convex effect algebra. Although the set of operators on $H$ also form a convex effect algebra, they have a more…
The aim of this work is to study frame theory in quaternionic Hilbert spaces. We provide a characterization of frames in these spaces through the associated operators. Additionally, we examine frames of the form $\{Lu_i\}_{i \in I}$, where…
In this study, the properties of an oscillating system composed of a pendulum connected to a seesaw and placed on a moving platform with a certain slope are analyzed. Using complex numbers to collect the information contained in the system…
We investigate $\rho$-orthogonality and its local symmetry in the space of bounded linear operators. A characterization of Hilbert space operators with symmetric numerical range is established in terms of $\rho$-orthogonality. Further, we…
The description of all correct restrictions of the maximal operator are considered in a Hilbert space. A class of correct restrictions are obtained for which a similar transformation has the domain of the fixed correct restriction. The…
In this paper we consider unbounded weighted conditional type operators on the space Lp, we give some conditions under which they are densely defined and we obtain a dense subset of the domain. Also, we get that a WCT operator is continuous…