Related papers: Some Operator Bounds Employing Complex Interpolati…
Let $\lambda$ be a complex number in the closed unit disc $\overline{\Bbb D}$, and $\cal H$ be a separable Hilbert space with the orthonormal basis, say, ${\cal E}=\{e_n:n=0,1,2,\cdots\}$. A bounded operator $T$ on $\cal H$ is called a…
Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…
Let $\lambda$ be a complex number in the closed unit disc $\overline{\Bbb D}$, and $\cal H$ be a separable Hilbert space with the orthonormal basis, say, ${\cal E}=\{e_n:n=0,1,2,\cdots\}$. A bounded operator $T$ on $\cal H$ is called a {\em…
Sz.-Nagy's famous theorem states that a bounded operator $T$ which acts on a complex Hilbert space $\mathcal{H}$ is similar to a unitary operator if and only if $T$ is invertible and both $T$ and $T^{-1}$ are power bounded. There is an…
This note deals with the operator $T^*T$, where $T$ is a densely defined operator on a complex Hilbert space. We reprove a recent result of Z. Sebesty\'en and Zs. Tarcsay [13]: If $T^*T$ and $TT^*$ are self-adjoint, then $T$ is closed. In…
We study sequences of bounded operators \((T_n)_{n \ge 0}\) on a complex separable Hilbert space \(\mathcal{H}\) that satisfy a linear recurrence relation of the form $$ T_{n+r} = A_0 T_n + A_1 T_{n+1} + \cdots + A_{r-1} T_{n+r-1}…
We shall say that a densely defined closed operator $T$ on a Hilbert space is balanced if $\cD(T)=\cD(T^*)$. Balanced operators are described in terms of their phase operators abnd their moduli. Examples of balanced operators are developed.…
We provide several perturbation theorems regarding closable operators on a real or complex Hilbert space. In particular we extend some classical results due to Hess--Kato, Kato--Rellich and W\"ust. Our approach involves ranges of matrix…
In this paper, we are concerned with conditions under which $[p(T)]^*=\bar{p}(T^*)$, where $p(z)$ is a one-variable complex polynomial, and $T$ is an unbounded, densely defined, and linear operator. Then, we deal with the validity of the…
Let $T$ be a bounded linear operator on a Hilbert space $H$ such that \[ \alpha[T^*,T]:=\sum_{n=0}^\infty \alpha_n T^{*n}T^n\ge 0. \] where $\alpha(t)=\sum_{n=0}^\infty \alpha_n t^n$ is a suitable analytic function in the unit disc…
We establish new upper bounds for the numerical radius of bounded linear operators on a complex Hilbert space by introducing weighted geometric means of the modulus of an operator and its adjoint. This approach yields a family of…
In theory and practice of inverse problems, linear operator equations $Tx=y$ with compact linear forward operators $T$ having a non-closed range $\mathcal{R}(T)$ and mapping between infinite dimensional Hilbert spaces plays some prominent…
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=…
Consider a complex Hilbert space $\left(\mathcal{H}, \langle \cdot, \cdot \rangle\right)$ equipped with a positive bounded linear operator $A$ on $\mathcal{H}$. This induces a semi-norm $\|\cdot\|_A$ through the semi-inner product $\langle…
If $T$ is a (densely defined) self-adjoint operator acting on a complex Hilbert space $\mathcal{H}$ and $I$ stands for the identity operator, we introduce the delta function operator $\lambda \mapsto \delta \left(\lambda I-T\right) $ at…
New inequalities for the numerical radius of bounded linear operators defined on a complex Hilbert space $\mathcal{H}$ are given. In particular, it is established that if $T$ is a bounded linear operator on a Hilbert space $\mathcal{H}$…
In this paper we show that every conjugation $C$ on the Hardy-Hilbert space $H^{2}$ is of type $C=T^{*}C_{1}T$, where $T$ is an unitary operator and $C_{1}f\left(z\right)=\overline{f\left(\overline{z}\right)}$, with $f\in H^{2}$. In the…
In this paper, the authors first discuss the characterization of Herz Triebel-Lizorkin spaces with variable exponent via two families of operators. By this characterization, the authors prove that the Lipschitz commutators of sublinear…
Let $A$ be a positive operator on a complex Hilbert space $\mathcal{H}.$ We present inequalities concerning upper and lower bounds for $A$-numerical radius of operators, which improve on and generalize the existing ones, studied recently in…
In this paper, we study matrix functions of bounded type from the viewpoint of describing an interplay between function theory and operator theory. \ We first establish a criterion on the coprime-ness of two singular inner functions and…