Related papers: A refined polar decomposition for $J$-unitary oper…
Let $U$ be an operator in a Hilbert space $\mathcal{H}_{0}$, and let $\mathcal{K}\subset\mathcal{H}_{0}$ be a closed and invariant subspace. Suppose there is a period-2 unitary operator $J$ in $\mathcal{H}_{0}$ such that $JUJ=U^*$, and $PJP…
In a real Hilbert spaces H a smooth operator F is studied, whose derivative at each point of its domain is a symmetric operator. In terms of abstract boundary conditions locally self-adjoint extensions of this operator are described. We use…
This paper presents a bicomplex version of the Spectral Decomposition Theorem on infinite dimensional bicomplex Hilbert spaces. In the process, the ideas of bounded linear operators, orthogonal complements and compact operators on bicomplex…
If $U$ is a unitary operator on a separable complex Hilbert space $\mathcal{H}$, an application of the spectral theorem says there is a conjugation $C$ on $\mathcal{H}$ (an antilinear, involutive, isometry on $\mathcal{H}$) for which $ C U…
Let T be a bounded operator on a Hilbert space H, and F = {f_j: j in J} an at most countable set of vectors in H. In this note, we characterize the pairs {T, F} such that {T^n f: f in F, n in I} form a frame of H, for the cases of I = N_0…
Let $\mathcal{H}$ be a separable infinite-dimensional complex Hilbert space and let $\mathcal{J}$ be a two-sided ideal of the algebra of bounded operators $\mathcal{B}(\mathcal{H})$. The groups $\mathcal{G} \ell_\mathcal{J}$ and…
(1) Let $A$ be an operator on a space ${\cal H}$ of even finite dimension. Then for some decomposition ${\cal H}={\cal F}\oplus{\cal F}^{\perp}$, the compressions of $A$ onto ${\cal F}$ and ${\cal F}^{\perp}$ are unitarily equivalent. (2)…
We give an explicit description of all minimal self-adjoint extensions of a densely defined, closed symmetric operator in a Hilbert space with deficiency indices $(1, 1)$.
In this note we show that an unbounded regular operator $t$ on Hilbert $C^*$-modules over an arbitrary $C^*$ algebra $ \mathcal{A}$ has polar decomposition if and only if the closures of the ranges of $t$ and $|t|$ are orthogonally…
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…
In the present paper we study the structure of C^*-algebras generated by the components of the polar decompositions of operators in Hilbert space satisfying certain commutation relations.
In this paper, we characterize all closed linear operators in a separable Hilbert space which are unitarily equivalent to an integral bi-Carleman operator in $L_2(R)$ with bounded and arbitrarily smooth kernel on $R^2$. In addition, we give…
In this paper, we study composition operators on Hilbert space of complex-valued harmonic functions. In particular, we explore isometries, the type of self-map that generate bounded composition operator, and characterize the boundedness of…
Given a densely defined and closed operator $A$ acting on a complex Hilbert space $\mathcal{H}$, we establish a one-to-one correspondence between its closed extensions and subspaces $\mathfrak{M}\subset\mathcal{D}(A^*)$, that are closed…
An arbitrary linear relation (multivalued operator) acting from one Hilbert space to another Hilbert space is shown to be the sum of a closable operator and a singular relation whose closure is the Cartesian product of closed subspaces.…
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…
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…
We produce a simple criterion and a constructive recipe to identify those self-adjoint extensions of a lower semi-bounded symmetric operator on Hilbert space which have the same lower bound as the Friedrichs extension. Applications of this…
A conjugation $C$ on a separable complex Hilbert space $\mathcal H$ is an antilinear operator that is isometric and involutive. In this notes, we characterize all conjugations on the Hardy-Hilbert space $H^{2}$ over the disk. In addition,…
Selfadjoint and maximal dissipative extensions of a non-densely defined symmetric operator $S$ in an infinite-dimensional separable Hilbert space are considered and their compressions on the subspace ${\rm \overline{dom}\,} S$ are studied.…