Related papers: Integral $K$-Operator Frames for $End_{\mathcal{A}…
If $A\in\mathcal{B}(\mathcal{H})$ and $B\in\mathcal{B}(\mathcal{K})$ are given operators, denote by $M_C$ an operator matrix of the form $$M_C=\begin{pmatrix} A & C\\ 0 & B \end{pmatrix}\in\mathcal{B}(\mathcal{H}\oplus\mathcal{K})$$ acting…
In this paper, we characterize a class of additive maps on Hilbert $C^\ast$-modules which maps a "rank one" adjointable operators to another rank one operators.
In the classical operator theory, there are several versions of spectra, related to special classes of operators (Fredholm, semi-Fredholm, upper/lower semi-Fredholm,etc.). We generalize these notions for adjointable operators on Hilbert…
The main purpose of this paper is, in the general setting of the adjointable operators on Hilbert $C^*$-modules, to develop two new tools that can be applied to deal with the positive solutions of certain operator equations, the operator…
If a differential operator $D$ on a smooth Hermitian vector bundle $S$ over a compact manifold $M$ is symmetric, it is essentially self-adjoint and so admits the use of functional calculus. If $D$ is also elliptic, then the Hilbert space of…
Let E be an operator algebra on a Hilbert space with finite-dimensional generated C*-algebra. A classification is given of the locally finite algebras and the operator algebras obtained as limits of direct sums of matrix algebras over E…
We develop the theory of integrable operators $\mathcal{K}$ acting on a domain of the complex plane with smooth boundary in analogy with the theory of integrable operators acting on contours of the complex plane. We show how the resolvent…
Let $J,E\subset\mathbb R$ be two multi-intervals with non-intersecting interiors. Consider the following operator $$A:\, L^2( J )\to L^2(E),\ (Af)(x) = \frac 1\pi\int_{ J } \frac {f(y)\text{d} y}{x-y},$$ and let $A^\dagger$ be its adjoint.…
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 $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…
Frames in a Hilbert space that are generated by operator orbits are vastly studied because of the applications in dynamic sampling and signal recovery. We demonstrate in this paper a representation theory for frames generated by operator…
Halmos' two projections theorem for Hilbert space operators is one of the fundamental results in operator theory. In this paper, we introduce the term of two harmonious projections in the context of adjointable operators on Hilbert…
The paper is concerned with the following question: if $A$ and $B$ are two bounded operators between Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$, and $\mathcal{M}$ and $\mathcal{N}$ are two closed subspaces in $\mathcal{H}$, when will…
We introduce a linear operator on a Hilbert $C^*$-module for analyzing skew-product dynamical systems. The operator is defined by composition and multiplication. We show that it admits a decomposition in the Hilbert $C^*$-module, called…
Suppose $A$ is a pro-C*-algebra. Let $L_{A}(E)$ be the pro-C*-algebra of adjointable operators on a Hilbert $A$-module $E$ and let $K_{A}(E)$ be the closed two sided $*$-ideal of all compact operators on $E$. We prove that if $E$ be a full…
The goal of the present paper is to extend the theory of frames for countably generated Hilbert $C^*$-modules over arbitrary $C^*$-algebras. In investigating the non-unital case we introduce the concept of outer frame as a sequence in the…
We develop an explicit theory of formal modular forms over arbitrary number fields $K$, as functions of modular points. We define modular points for $\Gamma_0({\mathfrak n})$ and $\Gamma_1({\mathfrak n})$, where the level ${\mathfrak n}$ is…
We introduce a localization concept for operator-valued frames, where the quality of localization is measured by the associated operator-valued Gram matrix belonging to some suitable Banach algebra. We prove that intrinsic localization of…
Let $(\mathcal{H}, [\cdot, \cdot ])$ be a Hilbert space and $K(\mathcal{H})$ be the $C^*$-algebra of compact operators on $\mathcal{H}$. In this paper, we present some characterizations of the norm-parallelism for elements of a Hilbert…
Given a complex, separable Hilbert space $\mathcal{H}$, we characterize those operators for which $\| P T (I-P) \| = \| (I-P) T P \|$ for all orthogonal projections $P$ on $\mathcal{H}$. When $\mathcal{H}$ is finite-dimensional, we also…