Norm-attainable operators on involutive stereotype tubes with algebraically connected component of the identity

: This work is an in-depth study of the class of norm-attainable operators in a general Banach space setting. We give characterizations of norm-attainable operators on involutive stereotype tubes with algebraically connected component of the identity. In particular, we prove reflexivity, boundedness and compactness properties when the set of these operators contains unit balls with involution for the tubes when they are of stereotype category.


Introduction
S tudies on norm-attainable operators have been considered by several mathematicians (see [1][2][3][4][5]). Of interest has been the norm-attainability conditions for these operators in different algebras. For instance, the author in [4] considered these conditions in Banach spaces while others worked in Hilbert spaces particularly. However, norm and structural characterizations of these operators have not been done in detail, particularly in other classes of algebras [2].
Spectraloid cones of these operators have not been given attention, particularly in general Banach space setting [3]. In [6], the author studied cones on involutive stereotype tubes and showed that the unit balls of these tubes could be perturbed by the identity when calculating the distance between the identity and the commutant of these operators. Moreover, when the identity has an algebraically connected component, then [7] established that these operators become spectraloid if and only if the spectral radius is algebraically stereotyped with a converging sequence of eigenvalues to an algebraic multiplicity of degree n.
This research considers the class of norm-attainable operators on Involutive Stereotype Tubes (IST) with Algebraically Connected Component of the Identity (ACCI). Certain interesting algebraic features are exhibited by the algebra of norm-attainable operators on involutive stereotype tubes with an algebraically connected component of the identity when perturbed by infinitesimal summands of orthogonal isometries idempotents, orthogonal projections, co-isometries among other classes of operators [8]. However, in this paper, we restrict ourselves to IST with ACCI and study them in a general Banach space setting. We outline new characterizations of the set of norm-attainable operators on involutive stereotype tubes with algebraically connected components of the identity in terms of eigenvalues and the corresponding eigenvectors in (IST). In particular, we prove reflexivity, boundedness, and compactness properties when the cones contain unit balls with involution for the tubes when they are of the stereotype category.

Preliminaries
We give some definitions and make some important remarks. Consider H as a complex Hilbert space and B(H) be the algebra oh all bounded linear operators on H. We state the following definition;

Remark 1.
Consider ISTs with ACCI denoted by X and Y, and let L(X, Y) be the set of all norm-attainable operators T : X −→ Y endowed with the usual operator norm ∥T∥ L(X, is an IST with ACCI. In general, we denote the set of all norm attaining operators by N A(H) and the spectraloid cone by H ∞ (B n , X). Let b : B n −→ L(X, Y) and consider b ∈ H(B n , L(X, Y)). The norm-attainable operator with operator-valued for every z ∈ B n , unless stated otherwise in the sequel. The next section forms the key part of this work in which new characterizations of the set of norm-attainable operators on IST with ACCI are unveiled.

Main results
Here we give the main results of this work. We start by some auxilliary proposition.
Proof. Without loss of generality let f ∈ Γ γ (B n , X). From the statement of the proposition consider k > γ and constant A simple and straightforward manipulation together with some substitutions give ϕ ′ (r) = 1 r a+1 r 0 s a ψ ′ (s)ds. Since k > γ, we get the desired result.
For ISTs with ACCI, we consider at this point two classes of norm-attainable operators D k , and L k , having an equivalence relation with a j = n + α + j + 1. Now for simplicity we denote H ∞ (B n , X) and H ∞ (B n , Y ⋆ ) by S X and S Y respectively. Proposition 2. Let T be an IST with ACCI and let f ∈ S X and g ∈ S Y * . Given that b ∈ H(B n , L(X, Y)), then we Proof. Let T be an IST with ACCI and consider f ∈ S X and g ∈ S Y * . From Hahn-Banach theorem for norm-attainable operators, the inner product property ⟨·, ·⟩ α,Y , Proposition 1 and properties of reproducing kernels, we obtain giving the finite strict inequality B n ∥b(w)∥ L(X,Y) log 1 1 − |w| 2 dν α (w) < ∞. This completes the proof.

Lemma 1.
Let T be an IST with ACCI and let f ∈ S X and z ∈ B n . For some b ∈ H(B n , L(X, Y)) we have the map g z (w) in S X and the condition h b ( f )(z) is true for any integer k > 0 and C k > 0.
Proof. Since g z ∈ S X , then by the reproducing kernel property and norm-attainability property we have Clearly, the conditions for Tonelli's theorem are satisfied. In fact, by Proposition 2 we have that This completes the proof of this lemma.
At this juncture, we make some assumptions on symbol b by postulating that B n ∥b(z)∥ L(X,Y) log 1 1 − |z| 2 dν α (z) < ∞ holds. We use this postulate in the next theorem. Theorem 1. Let T be an IST with ACCI and let f ∈ S X and g ∈ S X * . Let z n be an orthonormal sequence of a complex Hilbert space H converging to z as n → ∞ and consider 0 < p ≤ 1. The class (A p α (S X )) ⋆ has equivalence relation with Γ γ (S ⋆ X ) having γ = (n + 1 + α) 1 p − 1 and for any class D k which is dense, reflexive we have the coupling Hence, the boundedness property of ∧ g on A p α (S X ) is satisfied. Conversely, consider ∧ as above on A p α (S X ). It suffices show the existence of the function g ∈ Γ γ (S ⋆ X ), with γ = (n + 1 + α) 1 p − 1 in which ∧ = ∧ g . By straightforward computation, by Lemma 1 and a simplified manipulation we have ∧( f ) = c α c k c α+k (1 − |w| 2 ) k−γ x, D k g(w) X,X ⋆ . Now, f ∈ A p α (S X , X). By reflexivity of S X , ∥D k g(w)∥ X ⋆ ≲ ∥ ∧ ∥ (1 − |w| 2 ) k−γ . Applying separability of the IST with ACCI and the density of S X the proof is complete.

Theorem 2.
Let T be an IST with ACCI and let f ∈ S X and g ∈ S X * . Let z n be an orthonormal sequence of a complex Hilbert space H converging to z as n → ∞. Then the norm-attainable operator h b : A p α (S X , X) −→ A 1,∞ α (S X , Y) is continuous, linear and bounded.
Proof. The proofs for continuity and linearity are trivial so we only need to prove boundedness. Using Lemma 2 and the reproducing kernel property gives , but by parallelogram law the property of the reproducing kernel holds and we have that . By positivity of P + α , it is bounded and this completes the proof.
The following consequence comes immediately; Corollary 1. Let T be an IST with ACCI and let f ∈ S X and g ∈ S X * . Let z n be an orthonormal sequence of a complex Hilbert space H converging to z as n → ∞ and consider 0 < p ≤ 1, and α > −1. The norm-attainable operator h b has an extension via A p α (S X , X) into A q α (S X , Y).
Proof. This is direct analogously from the proof of Theorem 2 and the fact that the sets N A(H) and S X are desnse and satisfy the duality condition for reflexive spaces.
Theorem 3. Let T be an IST with ACCI and let f ∈ S X and g ∈ S X * . Let z n be an orthonormal sequence of a complex Hilbert space H converging to z as n → ∞. and consider 0 < p ≤ 1, α > −1 and γ = (n + 1 + α) 1 p − 1 . Then the norm-attainable operator is extendable and we have ∥N k b(w)∥ L(X,Y) ≤ C (1 − |w| 2 ) k−γ log Proof. Utilizing Corollary 1, using Lemma 1 for every f ∈ H ∞ (S X , X), and invoking the conditions of Lemma 1 and Proposition 1 we With some manipulations involving f and g we get But by the fact that I 1 = ⟨h b f , g⟩ α,Y − I 2 , Proposition 1 and prior estimation on I 2 gives |I 1 | ≤ |⟨h b f , g⟩ α,Y | + |I 2 | ≲ ∥h b ∥∥x∥ X ∥y ⋆ ∥ Y ⋆ . But x ∈ X, y ⋆ ∈ Y ⋆ are not fixed and so invoking Corollary 1 completes the proof.
Next, we consider reflexivity and characterize symbols b for compact norm-attainable operators with regard to IST with ACCI. We state the following proposition.

Proposition 3.
Let T be an IST with ACCI and let f ∈ S X and g ∈ S X * . Let z n be an orthonormal sequence of a complex Hilbert space H converging to z as n → ∞. For an integer N > 0 and α we have an integro-differential norm-attainable operator (IDNAO) of order N with polynomial coefficients defined by R α,N f (z) = ∑ m∈N n ,|m|≤N Proof. Let x ∈ X and w ∈ S X . By integrability of multinomial formula for IDNAO we have ⟨z, w⟩ k = ∑ |m|=k k! m! z m w m , and a simple calculation follows immediately that R α,N = N ∑ k=0 ∑ |m|=k c mk z m ∂ k ∂z m . This completes the proof.

Remark 2.
Next, we characterize integro-differential norm-attainable operator (IDNAO) of order N with polynomial coefficients defined in the infinite dimensional case by R α,N f (z) = ∑ m∈N n ,|m|≤N p m (z) ∂ |m| f ∂z m (z), for some polynomial p m in a general setting for spectraloid cones of N A(H). Moreover, we consider monomiality for IDNAO. We characterize integro-differential norm-attainable operator of order N with existing and unique polynomial coefficients well defined by R α,N f (z) = ∑ m∈N n ,|m|≤N p m (z) ∂ |m| f ∂z m (z), for some polynomial p m in a general setting for spctraloid cones of N A(H). We take into consideration the duality and reflexivity of the Banach spaces here. We state the following proposition.

Proposition 4.
Let T be an IST with ACCI and let f ∈ S X and g ∈ S X * . Let z n be an orthonormal sequence of a complex Hilbert space H converging to z as n → ∞. Let 1 < p < ∞ and for all x ⋆ ∈ X ⋆ and z ∈ S X , suppose that e z,x ⋆ (w) = x ⋆ (1 − ⟨w, z⟩) n+1+α , w ∈ S X . Then e z,x ⋆ ∈ A p ′ α (S X , X ⋆ ) and e z,x ⋆ generates a separable subspectraloid cube in A p ′ α (S X , X ⋆ ).

Conclusion
In this work, we have studied the class of norm-attainable operators on involutive stereotype tubes with an algebraic connected component of the identity. We give characterizations of spectraloid cones of norm-attainable operators on involutive stereotype tubes with algebraic connected components of identity in terms of eigenvalues and the corresponding eigenvectors in involutive stereotype tubes. In particular, we have proven reflexivity, boundedness, and compactness properties when the cones contain unit balls with involution for the tubes when they are of the stereotype category.