ON THE POLAR DECOMPOSITION OF RIGHT LINEAR OPERATORS IN QUATERNIONIC HILBERT SPACES G. RAMESH AND P. SANTHOSH KUMAR Abstract. In this article we prove the existence of the polar decomposition for densely defined closed right linear operators in quaternionic Hilbert spaces: If T is a densely defined closed right linear operator in a quaternionic Hilbert space H, then there exists a partial isometry U0 such that T = U0|T |. In fact U0 is unique if N(U0) = N(T ). In particular, if H is separable and U is a partial isometry with T = U|T |, then we prove that U = U0 if and only if either N(T ) = {0} or R(T )⊥ = {0}. 1. Introduction The polar decomposition of an operator is a generalization of the polar decom- position of a non zero complex number. If T is a bounded linear operator between complex Hilbert spaces H and K, then (1) T = U T 0| | for some partial isometry U0 with the initial space N(T )⊥, the orthogonal comple- ment of the null space of T , a subspace of H and the final space R(T ), the closure of the range of T , which is a subspace of K. Here T is the square root of (T ∗T ). | | Further, the partial isometry is unique if the null spaces of T and U0 are same. This factorization with the unique partial isometry U0 is called the polar decomposition of T . This decomposition enable us to know the properties of T by knowing the properties of the positive operator T . It is known that the polar decomposition of a bounded operator defined between| | two complex Hilbert spaces always exist [5, page 262]. The case of unbounded densely defined closed operator can be found in [7, page 218]. In a recent article W. Ichinose and K. Iwashita gave a necessary and sufficient arXiv:1512.06621v1 [math.FA] 21 Dec 2015 condition for any decomposition as in Equation (1) of bounded linear operator between complex Hilbert spaces to be the polar decomposition [6]. The polar decomposition of a bounded linear operator on a quaternionic Hilbert space is discussed in [4, Theorem 2.8]. This result for the unbounded case is not found in the literature. In this article, we use quaternionic version of the bounded transform (see [3] for details ) to establish the existence of the polar decomposition of densely defined closed right linear operators in quaternionic Hilbert spaces. We also prove the result similar to that of Ichinose [6, Theorem 1.2] for the case of densely defined closed right linear operators defined in a separable quaternionic Date: March 13, 2018. 1991 Mathematics Subject Classification. 47S10, 35P05. Key words and phrases. right linear operator, closed operator, polar decomposition, slice Hilbert space, bounded transform. 1 2 G.RAMESHANDP.SANTHOSHKUMAR Hilbert space. First we prove this for bounded operators by associating a 2 2 ma- trix of complex operators for a given quaternionic operator. This technique× for the case of quaternion matrices can be found in Brenner and Lee [1] and for bounded operators on ℓ2 in [2]. Though every separable Hilbert space is isometrically iso- morphic with ℓ2, the decomposition of the quaternion ℓ2 space into complex ℓ2 space is easy compared to the general space. To deal this general case we need to use the decomposition of the quaternionic Hilbert space into slice complex Hilbert spaces. Once this setting is done, all the results can be proved easily. In doing so, we give proofs of some results of [2] for the separable Hilbert space. Later, we prove the result for densely defined closed right linear operators defined in a separable quaternionic Hilbert space. We organize this article in five sections. In the second section we fix some of the notations, recall some basic properties of the ring of quaternions, definitions and some results in quaternionic Hilbert spaces. In the third section we prove the existence of square root of unbounded positive right linear operators in quaternionic Hilbert spaces. In the fourth section we prove the existence of the polar decomposition of densely defined closed right linear operators in quaternionic Hilbert spaces. In the fifth section we give necessary and sufficient condition for a decomposition as in Equation (1), to be the polar decomposition. In this case, we assume the operator is defined in a separable quaternionic Hilbert space. 2. Notations and Prelimanaries Let H denotes the ring of all real quaternions. If q H, then q = q + q i + q j + ∈ 0 1 2 q k, where qℓ R, for each ℓ =0, 1, 2, 3. Here i, j, k satisfy 3 ∈ i2 = j2 = k2 = i j k = 1. · · − For q H, the conjugate of q is q = q q i q j q k. For p, q H, we ∈ 0 − 1 − 2 − 3 ∈ have p q = q p and q := q2 + q2 + q2 + q2. The real part of H is denoted · · | | 0 1 2 3 by Re(H) = q H : q = q andp the imaginary part of H is denoted by Im(H) = q H : q = { q∈. The set }S := q Im(H): q =1 is called the imaginary unit { ∈ − } { ∈ | | } sphere. For m S, Cm := α + mβ : α, β R is called a slice of H. Here Cm is isomorphic to the∈ complex field{ C by the mapping∈ } α + mβ α + iβ. → Definition 2.1. [4, Definition 2.3] Let H be a right H module. A map − : H H H h·|·i × −→ satisfying: (1) If u H, then u u =0 u =0 (2) u v ∈+ w q = hu|vi + u⇔w q, for all u, v H and q H h | · i h | i h | i · ∈ ∈ (3) u v = v u , for all u, v H, h | i h | i ∈ is called an inner product on H. If we define u 2 = u u , for all u H, then is a norm on H and it is called the norm inducedk k byh | i. If (H, ∈) is completek·k space then it is called a right quaternionic Hilbert space.h·|·i k·k Definition 2.2. Let H be a right quaternionic Hilbert space. If H has a countable dense subset then H is called separable. UNIQUENESSOFPOLARDECOMPOSITION 3 Definition 2.3. [3] A map T : (T ) H with the domain (T ) H is said to be a right H linear operator if D → D ⊆ − T (x q + y)= T (x) q + T (y), for every x, y (T ) and q H. · · ∈ D ∈ The null space of T is defined by N(T )= x (T ): T (x)=0 , { ∈ D } and the range space of T is defined by R(T )= T x: x (T ) . { ∈ D } Definition 2.4. [3, Definition 2.1] Let T : (T ) H be right H- linear operator. The graph of T is denoted by G(T ) and it isD defined→ by G(T )= (x, T x): x (T ) . { ∈ D } The operator T is called (1) closed, if G(T ) is closed in H H. Equivalently, if (xn) (T ) with (xn) × ⊂ D converges to x H such that T xn converges to y H then x (T ) and T x = y. ∈ ∈ ∈ D (2) densely defined, if (T )= H. (Here (T ) denotes the closure (T )). D D D Definition 2.5. [3, Definition 2.2] Let T : (T ) H be densely defined right H- D → linear operator. Then there exists a unique right H- linear opearator denoted by T ∗ with the domain (T ∗)= x H : there exists unique z H with x Ty = z y D { ∈ ∈ h | i h | i} such that x Ty = T ∗x y , for every y (T ), x (T ∗). This operator T ∗ is called theh adjoint| i of hT. | i ∈ D ∈ D Theorem 2.6. [3, Theorem 2.3] Let T : (T ) H be densely defined closed oper- ator. Then D → (1) T ∗ is closed (2) R(T )⊥ = N(T ∗) and N(T )⊥ = R(T ∗). By the closed graph theorem, if T : (T ) H is closed with (T )= H, then T must be bounded. D → D Definition 2.7. Let T : (T ) H and S : (S) H be right H- linear operators. Then we say that S T Dif (S→) (T ) andD Sx →= T x, for all x (S). Furthermore ⊆ D ⊆ D ∈ D (1) ST is defined with the domain (ST )= x (T ): T x (S) such that ST (x)= S(T x), for all x (DST ). { ∈ D ∈ D } (2) S + T is defined with the∈ domain D (S + T ) = (S) (T ) such that S + T (x)= Sx + T x, for all x (SD+ T ). D ∩ D ∈ D Definition 2.8. [4, Definition 2.12] Let T : (T ) H be densely defined right H- linear. Then T is said to be D → (1) self-adjoint if T = T ∗ (2) positive if T = T ∗ and x T x 0, for all x (T ) h | i≥ ∈ D (3) anti self-adjiont if T ∗ = T − (4) normal if T closed and TT ∗ = T ∗T (5) unitary if (T )= H and T ∗T = TT ∗ = I. D 4 G.RAMESHANDP.SANTHOSHKUMAR Remark 2.9. Let T : (T ) H be right H- linear. Then T is said to be strictly positive if x T x λ Dx x , for→ some λ> 0 and for all x (T ). h | i≥ h | i ∈ D Definition 2.10. Let T : (T ) H be right H- linear. Then T commutes with bounded right linear operatorD B →on H if and only if TB BT . That is T Bx = BT x, for all x (T ). ⊆ ∈ D Theorem 2.11. [4, Theorem 2.10] Let T : H H be right H- linear.