Related papers: Operator Isomorphisms on Hilbert Space Tensor Prod…
The study of operator algebras on Hilbert spaces, and C*-algebras in particular, is one of the most active areas within Functional Analysis. A natural generalization of these is to replace Hilbert spaces (which are $L^2$-spaces) with…
This paper is a follow-up contribution to our work [20] where we discussed some invariant subspace results for contractions on Hilbert spaces. Here we extend the results of [20] to the context of n-tuples of bounded linear operators on…
Let $\A$ and $\B$ be operator algebras with $c_0$-isomorphic diagonals and let $\K$ denote the compact operators. We show that if $\A\otimes\K$ and $\B\otimes\K$ are isometrically isomorphic, then $\A$ and $\B$ are isometrically isomorphic.…
It is shown that a pair of Hilbert space operators V and W such that V*W=I (called a biisometric pair) shares some common properties with unilateral shifts when orthonormal basis are replaced with biorthogonal sequences, and it is also…
Let $A_{i}\ (i=1, 2, ..., k)$ be bounded linear operators on a Hilbert space. This paper aims to show characterizations of operator order $A_{k}\geq A_{k-1}\geq...\geq A_{2}\geq A_{1}>0$ in terms of operator inequalities. Afterwards, an…
The space of m-ary differential operators acting on weighted densities is a (m+1)-parameter family of modules over the Lie algebra of vector fields. For almost all the parameters, we construct a canonical isomorphism between this space and…
A complete characterization of the similarity between two operator-valued multishifts with invertible operator weights is obtained purely in terms of operator weights. This generalizes several existing results of the unitary equivalence of…
Let $I \subset \mathbb C[z_1,...,z_d]$ be a radical homogeneous ideal, and let $\mathcal A_I$ be the norm-closed non-selfadjoint algebra generated by the compressions of the $d$-shift on Drury-Arveson space $H^2_d$ to the co-invariant…
We present several operator and norm inequalities for Hilbert space operators. In particular, we prove that if $A_{1},A_{2},...,A_{n}\in {\mathbb B}({\mathscr H})$, then…
There exist injective Tauberian operators on $L_1(0,1)$ that have dense, non closed range. This gives injective, non surjective operators on $\ell_\infty$ that have dense range. Consequently, there are two quasi-complementary, non…
We develop the theory of subproduct systems over the monoid $\mathbb{N}\times \mathbb{N}$, and the non-self-adjoint operator algebras associated with them. These are double sequences of Hilbert spaces $\{X(m,n)\}_{m,n=0}^\infty$ equipped…
We characterize weak* closed unital vector spaces of operators on a Hilbert space $H$. More precisely, we first show that an operator system, which is the dual of an operator space, can be represented completely isometrically and weak*…
Let $X$ be a space of homogeneous type and let $L$ be a sectorial operator with bounded holomorphic functional calculus on $L^2(X)$. We assume that the semigroup $\{e^{-tL}\}_{t>0}$ satisfies Davies-Gaffney estimates. Associated to $L$ are…
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…
We initiate an investigation into how much the existing theory of (nonselfadjoint) operator algebras on a Hilbert space generalizes to algebras acting on L^p spaces. In particular we investigate the applicability of the theory of real…
This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various…
Given pointed metric spaces $X$ and $Y$, we characterize the basepoint-preserving Lipschitz maps $\phi$ from $Y$ to $X$ inducing an isometric composition operator $C_\phi$ between the Lipschitz spaces $Lip_0(X)$ and $Lip_0(Y)$, whenever $X$…
The symmetric product of two ordinary linear differential operators $L_1,L_2$ is an operator whose solution set contains the product $f_1f_2$ of any solution $f_1$ of $L_1$ and any solution $f_2$ of~$L_2$. It is well known how to compute…
A Hilbert space operator $S\in\B$ is $n$-quasi left $m$-invertible (resp., left $m$-invertible) by $T\in\B$, $m,n \geq 1$ some integers, if $S^{*n}p(S,T)S^n=0$ (resp., $p(S,T)=0$), where…
An operator T on Hilbert space is a 3-isometry if there exists operators B and D such that (T*)^n T^n = I+nB +n^2 D. An operator J is a Jordan operator if it the sum of a unitary U and nilpotent N of order two which commute. If T is a…