In this article, we give conditions guaranteeing the commutativity of a bounded self-adjoint operator with an unbounded closed symmetric operator.
Essential backgroundAll operators considered here are linear but not necessarily bounded. If an operator is bounded and everywhere defined, then it belongs to B(H) which is the algebra of all bounded linear operators on H (see [19] for its fundamental properties).Most unbounded operators that we encounter are defined on a subspace (called domain) of a Hilbert space. If the domain is dense, then we say that the operator is densely defined. In such case, the adjoint exists and is unique.Let us recall a few basic definitions about non-necessarily bounded operators. If S and T are two linear operators with domains D(S) and D(T ) respectively, then T is said to be an extension of S, written as S ⊂ T , if D(S) ⊂ D(T ) and S and T coincide on D(S).An operator T is called closed if its graph is closed in H ⊕ H. It is called closable if it has a closed extension. The smallest closed extension of it is called its closure and it is denoted by T (a standard result states that a densely defined T is closable iff T * has a dense domain, and in which case T = T * * ). If T is closable, then S ⊂ T ⇒ S ⊂ T .