Related papers: Factorized sectorial relations, their maximal sect…

Let $T$ be a bounded quaternionic normal operator on a right quaternionic Hilbert space $\mathcal{H}$. We show that $T$ can be factorized in a strongly irreducible sense, that is, for any $\delta >0$ there exist a compact operator $K$ with…

We relate non integer powers ${\mathcal L}^{s}$, $s>0$ of a given (unbounded) positive self-adjoint operator $\mathcal L$ in a real separable Hilbert space $\mathcal H$ with a certain differential operator of order $2\lceil{s}\rceil$,…

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 revisit and extend known bounds on operator-valued functions of the type $$ T_1^{-z} S T_2^{-1+z}, \quad z \in \ol \Sigma = \{z\in\bbC\,|\, \Re(z) \in [0,1]\}, $$ under various hypotheses on the linear operators $S$ and $T_j$, $j=1,2$.…

In this work, firstly in the Hilbert space of vector-functions L^2 (H,(-\infty,a)\bup(b,+\infty)),a<b all selfadjoint extensions of the minimal operator generated by linear singular symmetric differential expression l(\cdot)=i d/dt+A with a…

Let $A$ be a, not necessarily closed, linear relation in a Hilbert space $\sH$ with a multivalued part $\mul A$. An operator $B$ in $\sH$ with $\ran B\perp\mul A^{**}$ is said to be an operator part of $A$ when $A=B \hplus (\{0\}\times \mul…

We provide sufficient and necessary conditions guaranteeing equations $(A+B)^*=A^*+B^*$ and $(AB)^*=B^*A^*$ concerning densely defined unbounded operators $A,B$ between Hilbert spaces. We also improve the perturbation theory of selfadjoint…

We explore commutativity up to a factor, $AB=\lambda BA$, for bounded operators in a complex Hilbert space. Conditions on the possible values of the factor $\lambda$ are formulated and shown to depend on spectral properties of the operators…

Our main theorem is in the generality of the axioms of Hilbert space, and the theory of unbounded operators. Consider two Hilbert spaces such that their intersection contains a fixed vector space D. It is of interest to make a precise…

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 provide a streamlined construction of the Friedrichs extension of a densely-defined self-adjoint and semibounded operator $A$ on a Hilbert space $\mathcal{H}$, by means of a symmetric pair of operators. A \emph{symmetric pair} is…

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…

The extension problem asks whether positive semi-definite functions on a symmetric unital subset of a discrete group can be extended to positive semi-definite functions on the whole group. It has been known at least since the work of Rudin…

We present examples where expressions for $\exp(\hat{A}+\hat{B})$ can be derived even though the operators (or superoperators) $\hat{A}$ and $\hat{B}$ do not commute in a manner that leads to known factorizations. We apply our factorization…

In this work, firstly in the direct sum of Hilbert spaces of vector-functions L^2 (H,(-{\infty},a_1)){\Box}L^2 (H,(a_2,b_2)){\Box}L^2 (H,(a_3,+{\infty})),- {\infty}<a_1<a_2<b_2<a_3<+{\infty} all selfadjoint extensions of the minimal…

We consider densely defined sectorial operators $A_\pm$ that can be written in the form $A_\pm=\pm iS+V$ with $\mathcal{D}(A_\pm)=\mathcal{D}(S)=\mathcal{D}(V)$, where both $S$ and $V\geq \varepsilon>0$ are assumed to be symmetric. We…

Let $\mathfrak{n}$ be a nonempty, proper, convex subset of $\mathbb{C}$. The $\mathfrak{n}$-maximal operators are defined as the operators having numerical ranges in $\mathfrak{n}$ and are maximal with this property. Typical examples of…

Let $T\colon H^1({\mathbb R})\to H^1({\mathbb R})$ be a bounded Fourier multiplier on the analytic Hardy space $H^1({\mathbb R})\subset L^1({\mathbb R})$ and let $m\in L^\infty({\mathbb R}_+)$ be its symbol, that is,…

We study two classes of extension problems, and their interconnections: (i) Extension of positive definite (p.d.) continuous functions defined on subsets in locally compact groups $G$; (ii) In case of Lie groups, representations of the…

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…