English
Related papers

Related papers: Complex Bounded Operators in Isabelle/HOL

200 papers

Frames formed by orbits of vectors through the iteration of a bounded operator have recently attracted considerable attention, in particular due to its applications to dynamical sampling. In this article, we consider two commuting bounded…

Functional Analysis · Mathematics 2023-05-18 A. Aguilera , C. Cabrelli , D. Carbajal , V. Paternostro

In this paper we study the theory of operators on complex Hilbert spaces, which achieve the norm in the unit sphere. We prove important results concerning the characterization of the AN operators, see Definition 1.2. The class of AN…

Functional Analysis · Mathematics 2010-11-25 Xavier Carvajal , Wladimir Neves

We establish necessary and sufficient conditions for the boundedness and compactness of weighted composition operators acting on weighted Dirichlet spaces and determine the spectrum of a certain class of such operators. Our results extend…

Functional Analysis · Mathematics 2026-02-10 Anirban Sen

We study those operators on a Hilbert space that can be lifted / extended to any twisted Hilbert space. We prove that these form an ideal of operators which contains all the Schatten classes. We characterize those multiplication operators…

Functional Analysis · Mathematics 2021-12-08 Félix Cabello Sánchez , Ricardo García

In this paper, the concept of grand variable Herz-Morrey-Hardy spaces are introduced. We also establish the atomic characterization of these spaces. As an application the authors investigate the continuity of a few singular integral…

Functional Analysis · Mathematics 2025-08-26 Babar Sultan , Amjad Hussain , Mehvish Sultan

We show that under natural and quite general assumptions, a large part of a matrix for a bounded linear operator on a Hilbert space can be preassigned. The result is obtained in a more general setting of operator tuples leading to…

Functional Analysis · Mathematics 2023-11-10 Vladimir Müller , Yuri Tomilov

We establish weighted extrapolation theorems in classical and grand Lorentz spaces. As a consequence we have the weighted boundedness of operators of Harmonic Analysis in grand Lorentz spaces. We treat both cases: diagonal and off-diagonal…

Functional Analysis · Mathematics 2019-10-04 Vakhtang Kokilashvili , Alexander Meskhi

Motivated by the recent developments of pseudo-Hermitian quantum mechanics, we analyze the structure generated by unbounded metric operators in a Hilbert space. To that effect, we consider the notions of similarity and quasi-similarity…

Mathematical Physics · Physics 2016-10-24 Jean-Pierre Antoine , Camillo Trapani

Every analytic self-map of the unit ball of a Hilbert space induces a bounded composition operator on the space of Bloch functions. Necessary and sufficient conditions for compactness of such composition operators are provided, as well as…

Functional Analysis · Mathematics 2017-04-05 Oscar Blasco , Pablo Galindo , Mikael Lindström , Alejandro Miralles

We study generalized polar decompositions of densely defined, closed linear operators in Hilbert spaces and provide some applications to relatively (form) bounded and relatively (form) compact perturbations of self-adjoint, normal, and…

Functional Analysis · Mathematics 2008-11-11 Fritz Gesztesy , Mark Malamud , Marius Mitrea , Serguei Naboko

We consider the products of composition and differentiation operators on the Hardy space. We provide a complete characterization of the boundedness and compactness of these operators. Furthermore, we obtain the explicit condition for these…

Functional Analysis · Mathematics 2021-08-17 Mahbube Moradi , Mahsa Fatehi

A notion of super operator system is defined which generalizes the usual notion of operator systems to include certain unital involutive operator spaces which cannot be represented completely isometric as a concrete operator system on some…

Operator Algebras · Mathematics 2013-08-05 Ulrich Haag

Let $\mathcal{H}$ be a complex, separable Hilbert space, and set $\mathfrak{c}($NIL$_2)=\{ MN - NM : N, M \in \mathcal{B}(\mathcal{H}), M^2 = 0 = N^2 \}$. When $\dim\, \mathcal{H}$ is finite, we characterise the set $\mathfrak{c}($NIL$_2)$…

Functional Analysis · Mathematics 2025-02-19 Laurent W. Marcoux , Heydar Radjavi , Yuanhang Zhang

Using the bicomplex numbers $\mathbb{T}$ which is a commutative ring with zero divisors defined by $\mathbb{T}=\{w_0 + w_1 i_1 + w_2 i_2 + w_3 j | w_0, w_1, w_2, w_3 \in \mathbb{R}\}$ where $i_{1}^{2} = -1, i_{2}^{2} = -1, j^2 = 1, i_1 i_2…

Quantum Physics · Physics 2013-07-10 Dominic Rochon , Sebastien Tremblay

In this chapter, the Hilbert space framework in the mathematical theory of composite materials is introduced for studying the properties of effective operators. The goal is to introduce some of the key concepts and fundamental theorems in…

Mathematical Physics · Physics 2025-12-11 Aaron Welters

We study the spectral properties of positive absolutely minimum attaining operators defined on infinite dimensional complex Hilbert spaces and using that derive a characterization theorem for such type of operators. We construct several…

Spectral Theory · Mathematics 2017-11-07 J. Ganesh , G. Ramesh , D. Sukumar

This note comprises a synthesis of certain results in the theory of exact interpolation between Hilbert spaces. In particular, we examine various characterizations of interpolation spaces and their relations to a number of results in…

Functional Analysis · Mathematics 2019-07-02 Yacin Ameur

Let $\mathcal{B}(\mathcal{H})$ be the algebra of all bounded linear operators on a complex Hilbert space $\mathcal{H}$. In this paper, we first establish several sharp improved and refined versions of the Bohr's inequality for the functions…

Functional Analysis · Mathematics 2026-04-15 Vasudevarao Allu , Himadri Halder

In this paper, we study the operator equation $AB=\lambda BA$ for a bounded operator $A,B$ on a complex Hilbert space. We focus on algebraic relations between different operators that include normal, $M$-hyponormal, quasi $*$-paranormal and…

Spectral Theory · Mathematics 2016-07-25 Abdelaziz Tajmouati , Abdeslam El Bakkali , M. B. Mohamed Ahmed

We revisit and connect several notions of algebraic multiplicities of zeros of analytic operator-valued functions and discuss the concept of the index of meromorphic operator-valued functions in complex, separable Hilbert spaces.…

Spectral Theory · Mathematics 2016-11-14 Jussi Behrndt , Fritz Gesztesy , Helge Holden , Roger Nichols