Arxiv:2011.03245V1 [Math.FA] 6 Nov 2020 V from Ceiaino Ikofjmsotooaiy H Number the Orthogonality

arXiv:2011.03245v1 [math.FA] 6 Nov 2020 v from ceiaino ikofJmsotooaiy h number The orthogonality. Birkhoff-James of acterization B and C adt eBrhf-ae rhgnlto orthogonal Birkhoff-James be to said Let dist( to nyi o all for if only ffntosvnsiga nnt.I swl nw hteeycomm every that known well is It infinity. at vanishing functions of F smrhcto isomorphic Let 15,46M10. 41A52, the called is satisfying of ikofJmsotooaiy Hilbert orthogonality, Birkhoff-James hr santo odfieotooaiyi omdsae called space, normed a in orthogonality ity define to notion a is There fnr ucinat function norm the of is function norm of (1.1) ∂ k vle ucin nalclycmatHudrfspace Hausdorff compact locally a on functions -valued ∗ ssi ob ikofJmsotooa to orthogonal Birkhoff-James be to said is ( v 2010 e od n phrases. and words Key u F sbler of -subalgebra H hc scoeyrltdt h aeu eiaieo omfunct norm of derivative Gateaux the to related closely is which k F ( u ,W v, K sdfie as defined is V, , n[4,tecnetof concept the [14], In . = H tn for stand K k · k ahmtc ujc Classification. Subject Mathematics ( n hrceiaino rhgnlt fa operator an of orthogonality of characterization a and C fsbifrnilst,sot onsadBirkhoff-James and points smooth r sets, known subdifferential various of of generalizations or proofs alternative us condition A ) { H to BSTRACT b f ) and (Ω) k , denotes ∈ u K H ) ϕ k − k eas bana xrsinfrsbifrnilst fth of sets subdifferential for expression an obtain also We . V ) eanre pc over space normed a be u ihoeao om epciey Let respectively. norm, operator with Gtaxdrvtv of derivative -Gateaux K epciey ti lowl nw htany that known well also is It respectively. , C ∗ R dist( ∈ efida xrsinfrGtaxdrvtv fthe of derivative Gateaux for expression an find We . 0 : ( (Ω) or B v H f V t lim → ≥ k ( inf A, , ( , v v C Let . 0 H K t lim = ) t → ∈ Let . K k → lim {k ) ) rc ls,SbifrnilSt aeu differentiabli Gateaux Set, Subdifferential Class, Trace v Re . 0 udfeeta e fnr function norm of set subdifferential 0 V etenre pcso one n compact and bounded of spaces normed the be ( v + + H k k H eoe by denoted , AEU EIAIEOF DERIVATIVE GATEAUX v − v f )) k A tu k v ( + and < , u w t k − k ea be + k tu ϕ k − k C f A tu Gtaxderivative -Gateaux t k ∗ k − k : K v k -modules. t k − k 1 = w ) C v and eHletsae over spaces Hilbert be k ∗ rmr 95,4N0 63,4L8 62;Scnay46L05 Secondary 46B20; 46L08, 46L30, 47N10, 49J50, Primary .I 1. k · k ∈ esay We . agbaover -algebra o all for v } dist( k ∂ v UHLSINGLA SUSHIL F W and W k k Let . NTRODUCTION xss ocp eae oteGtaxderivative Gateaux the to related concept A exists. at v } A, max = k if . stesto one ierfunctionals linear bounded of set the is , v u The K k u nthe in , 1 v ∈ k · k ( k ≤ k v fadol if only and if H V. aeu eiaieof derivative Gateaux { , ∈ K Re F ti ayt rv htfor that prove to easy is It )) a nrdcdwihas ie char- a gives also which introduced was is V Let . v A u B f < + aeu differentiable Gateaux ∈ and n let and ( C rhgnlt o spaces for notions orthogonality related closely the on esults ( u k w H B A ∗ : ) Ω C k D F ( k ) NORM se[].Tesbifrnilset subdifferential The [9]). (see H b ϕ o all for and respectively. f ϕ,v and (Ω) omfnto at function norm e ihteinrproduct inner the with , C v directions. K C ∈ ∗ ( sBrhf-ae orthogonal Birkhoff-James is ) W agbanr.Ti gives This norm. -algebra ∗ u C ∂ ea be oasbpc,udrthe under subspace, a to agbai smrhct a to isomorphic is -algebra K lim = ) k 0 ikofJmsorthogonal- Birkhoff-James o se[1) esay We [11]). (see ion w easbpc of subspace a be (Ω) v ( k} ∈ H t C → . y mohpit,states, points, smooth ty, ) W ⊆ utative ∗ k · k 0 agbao bounded of -algebra + tnsfor stands Let . C F k b v lna operators -linear (Ω) A B at at + ( ∈ ,v u, H 0 C v te 0 B etespace the be ) 6= ∗ ndirection in ιϕ ( and agbais -algebra 6= H ∈ t ,v u, u B h·|·i ) v k − k V V f ( fand if H then , Let . ∈ ∈ Let . , v H V v V is k ∗ ) , , 2 S. SINGLA

Proposition 1.1. [12, Proposition 1.5] The limit Dϕ,v(u) always exists for u, v ∈ V and ϕ ∈ [0, 2π). And v is Birkhoff-James orthogonal to u if and only if infϕ Dϕ,v(u) ≥ 0.

In [12], an expression for the ϕ-Gateaux derivative of B(H) norm was obtained and as an application, a proof of a known characterization of smooth points and Birkhoff-James orthogonality of an operator to another operator in B(H) was given. In this paper, an expression for ϕ-Gateaux derivative of the norm of A in terms of states is obtained and various applications are discussed. Few definitions are in order. A positive element in A is of the form a∗a for some a ∈ A. A positive functional on A is a linear functional which takes positive elements of A to non-negative real numbers. For F = C, a state ψ on A is positive functional of norm one. For F = R, an additional requirement for ψ to be a state is that ∗ ψ(a )= ψ(a) for all a ∈A. Let SA be the set of states on A. The main theorem of this paper is as below. Theorem 1.2. Let 0 6= a, b ∈A. Then

ka + tbk − kak 1 ∗ ∗ 2 lim = max{Re ψ(a b) : ψ ∈ SA, ψ(a a)= kak }. t→0+ t kak

It is well known that if I is a two-sided closed ideal of A, then any ψ ∈ SI has a unique extension ψ˜ ∈ SA. We will be using the same notation ψ for the extension ψ˜ throughout the article. As an application of the above theorem, we get the following corollary. Corollary 1.3. Let I be a two-sided closed ideal of A. Let 0 6= a ∈A such that dist(a, I) < kak. Then for any 0 6= b ∈A, we have

ka + tbk − kak 1 ∗ ∗ 2 lim = max{Re ψ(a b) : ψ ∈ SI , kψk = 1, ψ(a a)= kak }. t→0+ t kak

Another concept which is closely related to the Gateaux derivative of norm function and Birkhoff-James orthogonality is that of the smooth points of the unit ball in a normed space. We say that a vector v of norm one is a smooth point of the unit ball of V if there exists a unique functional Fv, called the support functional, such that kFvk = 1 and Fv(v) = 1. It is a general fact that v is a smooth point of the unit ball of v if and only if the norm is kv + tuk − kvk Gateaux differentiable at v. And in that case, lim = Re Fv(u). Further, v t→0 t is Birkhoff-James orthogonal to u if and only if Fv(u) = 0 (see [1, Theorem 2.1] and [12, Proposition 1.3]). Along the lines of proof of Corollary 2.2 of [13], we get that the smooth points of the unit ball of C0(Ω) are those f ∈ C0(Ω) such that kfk∞ = 1 such that |f| is equal to 1 at exactly one point. For a characterization of smooth points of the unit ball of Cb(Ω) for Ω a normal space, see [13, Corollary 3.2]. In Section 2, we give the proof of Theorem 1.2 and Corollary 1.3. In Section 3, we obtain different proofs for several known results and their generalizations. In Corollary 3.1, a proof for a characterization of Birkhoff-James orthogonality of an element to a subspace in a C∗- algebra is obtained. In Corollary 3.6, we obtain an expression for Gateaux derivative of norm function of B(H) at A in direction of B when dist(A, K (H)) < kAk. Using Corollary 3.6, an alternate proof for a known characterization of smooth points of the unit ball of B(H) is given in Corollary 3.7. In Corollary 3.8, we obtain the subdifferential set ∂kAk, when dist(A, K (H)) < kAk.

2. PROOFS

To prove theorem 1.2, we need the following lemma. GATEAUX DERIVATIVE OF C∗ NORM 3

Lemma 2.1. Let a, b ∈A. Then ka + tbk − kak 1 ka∗a + ta∗bk − ka∗ak lim = lim . t→0+ t kak t→0+ t

Proof. We have 1 ka∗a + ta∗bk − ka∗ak 1 ka∗k (ka + tbk − kak) ka + tbk − kak lim ≤ lim = lim . kak t→0+ t kak t→0+ t t→0+ t ka + tbk − kak 1 ka∗a + ta∗bk − ka∗ak Now we need to prove lim ≤ lim . t→0+ t kak t→0+ t ka + tbk − kak ka + tbk2 − kak2 lim = lim t→0+ t t→0+ t(ka + tbk + kak) 1 a∗a + t(a∗b + b∗a)+ t2b∗b − ka∗ak = lim + 2 kak t→0 t 1 ka∗a + t(a∗b + b∗a)k − ka∗ak = lim 2 kak t→0+ t 1 ka∗a + 2ta∗bk + ka∗a + 2tb∗a)k− 2 ka∗ak ≤ lim 2 kak t→0+ 2t 1 ka∗a + 2ta∗bk − ka∗ak = lim kak t→0+ 2t 1 ka∗a + ta∗bk − ka∗ak = lim . kak t→0+ t 

Lemma 2.2. Let f ∈A∗ of norm one such that f(a∗a)= ka∗ak for some a 6= 0. Then f ∈ S(A).

Proof. We extend f to a functional f˜ of norm one on A+, where A+ is unitization of A. Using Theorem II.6.3.4 of [3], we have f˜ = (f1 − f2)+ ι(f3 − f4) where fi is positive linear ∗ ∗ functional with kf1 − f2k = kf1k + kf2k and kf3 − f4k = kf3k + kf4k. Now f˜(a a)= ka ak ∗ ∗ implies f1(a a)= ka ak and kf1k = 1. This gives f1(1A) = 1 and thus f˜(1A) = 1. And using Theorem II.6.2.5(ii), f˜ is a positive functional, hence f is a positive functional and thus a state. 

Proof of Theorem 1.2 We have ∂ ka∗ak = {f ∈A∗ : kfk = 1,f(a∗a)= ka∗ak}. Now any linear functional f of norm one such that f(a∗a)= ka∗ak for some a 6= 0 is a state by Lemma 2.2. ∗ ∗ ∗ Hence we get ∂ ka ak = {ψ ∈ SA : ψ(a a) = ka ak}. Now using Lemma 2.1 and equation (1.1), we get ka + tbk − kak 1 ka∗a + ta∗bk − ka∗ak 1 lim = lim = max{Re ψ(a∗b) : ψ ∈ ∂ka∗ak} t→0+ t kak t→0+ t kak 1 = max{Re ψ(a∗b) : ψ ∈ S , ψ(a∗a)= ka∗ak}. kak A 

Before proving Corollary 1.3, we note that Theorem 3.1 of [5] follows as a corollary of Lemma 2.1 and Proposition 1.1. Corollary 2.3. [5, Theorem 3.1] Let a ∈A. Let B be a subspace of A. Then a is Birkhoff-James orthogonal to B if and only if a∗a is Birkhoff-James orthogonal to a∗B. 4 S. SINGLA

We will denote the closed convex hull of a set A by conv(A). And for a convex set C, ext(C) will denote the set of extreme points of C. We now prove Corollary 1.3 by imitating the proof of Lemma 3.1 of [20].

∗ ∗ 2 Proof of Corollary 1.3 We prove that if ψ ∈ A such that ψ(a a) = kak , then kψ|I k = kψk = 1. The result then follows from Theorem 1.2. Now any two-sided ideal is an M-ideal ∗ # ⊥ in A, by Theorem V.4.4 of [6]. So A = I ⊕1 I , by Proposition I.1.12 of [6], where # ∗ ∗ ∗ 2 I = {f ∈ A : kfk = kf|Ik}. Now let K = {f ∈A : kfk = 1,f(a a) = kak }. Then K is a weak*-compact convex subset of A∗. By Krein-Milman theorem, K = conv(ext(K)). Since ∗ # ⊥ # ⊥ ⊥ K is a face of A , ext(K) ⊆ ext(I ⊕1 I ) = ext(I )∪ext(I ). If we prove ext(K)∩I = ∅, then ext(K) ⊆ ext(I#), and hence K ⊆ I#. Let f ∈ I⊥ and kfk = 1. We show f∈ / K by proving f(a∗a) 6= kak2. As an application of Corollary 2.3, we get that dist(a, I) < kak implies dist(a∗a, I) < kak2. Now dist(a∗a, I) < kak2 implies there exists b ∈ I such that ka∗a − bk < kak2. Now f(a∗a)= f(a∗a − b) ≤ ka∗a − bk < kak2. 

3. APPLICATIONS

Using the Hahn-Banach theorem with Corollary 2.3, we get the following generalization of Theorem 3.1 of [5]. Corollary 3.1. Let I be a two-sided closed ideal of A. Let a ∈ A such that dist(a, I) < kak. Let B be a subspace of A. Then a is Birkhoff-James orthogonal to B if and only if there exists ∗ 2 ∗ ψ ∈ SI such that ψ(a a)= kak with ψ(a b) = 0 for all b ∈I.

Using the Riesz Representation Theorem with Corollary 3.1, we get the following general- ization of Corollary 3.2 of [5].

Corollary 3.2. Let f ∈ Cb(Ω) such that dist(f,C0(Ω)) < kfk∞. Let B be a subspace of Cb(Ω). Then f is Birkhoff-James orthogonal to B if and only if there exists a regular Borel probability measure µ on Ω such that support of µ is contained in {x ∈ Ω : |f(x)| = kfk∞} and fhdµ = 0 for all h ∈B. If |f| attains its norm at only one point x0, then f is orthogonal to B XR if and only if h(x0) = 0 for all h ∈B.

Next we obtain a characterization of orthogonality in B(H, K) by using Corollary 3.1. To do so, we require the following lemma, proved in [5]. For u, v ∈H, u⊗¯ v denotes the finite rank operator of rank one on H defined as u⊗¯ v(w) = hv|wiu for all w ∈ H. Let C1(H) denotes the space of trace class on H, with the trace norm k·k1.

Lemma 3.3. ([5, Lemma 3.8]) Let A ∈ B(H). Let T ∈ C1(H) be a positive element of B(H) with kT k1 = 1 and tr(AT ) = kAk. Then there is an atmost countable index set J , a set of ⊥ positive numbers {sj : j ∈ J } and an orthonormal set {uj : j ∈J}⊆ Ker(T ) such that

(i) sj = 1 , jP∈J (ii) Auj = kAk uj for each j ∈J , and (iii) T = sjuj⊗¯ uj. jP∈J

∗ We know that K (H) is isomorphic to C1(H) and an isomorphism is given by F : C1(H) → K ∗ K (H) by F(T )(B) = tr(BT ) for all B ∈ (H). And F(T ) ∈ SK(H) if and only if T is a GATEAUX DERIVATIVE OF C∗ NORM 5

K positive element of (H) with kT k1 = 1. We will be using this identification throughout this paper. Corollary 3.4. Let A ∈ B(H, K) be such that dist(A, K (H, K)) < kAk. Let B ⊆ B(H, K) be a subspace. Then A is Birkhoff-James orthogonal to B if and only if there exists at most countable set J , a set of positive numbers {sj : j ∈ J } and an orthonormal set {uj ∈ H : j ∈ J } such that

(i) sj = 1 , jP∈J ∗ 2 (ii) A Auj = kAk uj for each j ∈J , and (iii) sjhAuj|Buji = 0 for all B ∈B. jP∈J

0 0 Proof. We can embed B(H, K) into B(H ⊕ K, H ⊕ K) isometrically as T → . Then T 0 using Corollary 2.3 for B(H ⊕ K, H ⊕ K), we get A is Birkhoff-James orthogonal to B if and only if A∗A is Birkhoff-James orthogonal to A∗B. Since dist(A, K (H, K)) < kAk, then ∗ ∗ dist(A A, K (H)) < kA Ak. Hence using Corollary 3.1, we get that there exists T ∈ C1(H) such that tr(A∗AT ) = kA∗Ak and tr(A∗BT ) = 0 for all B ∈ B. And now the result follows using Lemma 3.3. 

Using Corollary 3.4 and Hausdorff-Toeplitz theorem, we get the following generalizations of Theorem 1.1 of [2]. Corollary 3.5. Let A ∈ B(H, K) such that dist(A, K (H, K)) < kAk. Let B ∈ B(H, K). Then A is Birkhoff-James orthogonal to B if and only if there exists a sequence of unit vectors un ∈H such that kAunk = kAk for all n ∈ N and lim hAun|Buni = 0. n→∞

It is worth mentioning that A ∈ B(H) such that the set H0 = {u ∈ B(H) : kAuk = kAk} is finite dimensional and kAk ⊥ < kAk, then dist(A, K (H)) < kAk. And now Theorem 2.8 of H0 [16] Theorem 3.1 of [17] follows from Corollary 3.4. In Theorem 2.6 of [14], Keckic proved that if H is a seperable Hilbert space and A, B ∈ kA + tBk − kAk K (H), then lim = max Rehu|U ∗Bui, where A = U|A| is polar t→0+ t kuk=1,|A|u=kAku decomposition. The next result gives the generalization of this, for any Hilbert space H and for A, B ∈ B(H) with dist(A, K (H)) < kAk. Corollary 3.6. Let 0 6= A ∈ B(H) be such that dist(A, K (H)) < kAk, then for any 0 6= B ∈ B(H) kA + tBk − kAk lim = max Rehv|Bui t→0+ t kuk=kvk=1,Au=kAkv 1 (3.1) = max RehAu|Bui. kAk kuk=1,A∗Au=kAk2u

Proof. Using Theorem 1.2, we have kA + tBk − kAk 1 lim = max Re tr(A∗BT ) : T is a positive element of K (H), t→0+ t kAk 

kT k = 1, tr(A∗AT )= kAk2 . 1  6 S. SINGLA

Now using Lemma 3.3, we get

kA + tBk − kAk 1 ∗ lim = max sjhA Buj|uji : sj > 0, sj = 1, kujk = 1, t→0+ t kAk  jX∈J Xj

A∗Au = kAk2 u , J is a countable set . j j  This gives the required result. 

The immediate consequence of Corollary 3.6 is a characterization of smooth points of unit ball of B(H), which was first given in [1, Theorem 3.1] (for F = R) and then an alternative proof was given in [12, Corollary 3.3] (for F = R or C). The proof we have given is simpler. Corollary 3.7. An operator A is a smooth point of the unit ball of B(H) if and only if A attains kA + tBk − kAk its norm at ±h with khk = 1 and sup kAxk < kAk. In that case, lim = x⊥h,kxk=1 t→0 t RehAh|Bhi.

Proof. It was shown in Theorem 1 of [15], if dist(A, K (H)) = kAk, then A is not a smooth point of the unit ball of B(H). It is well known fact that if A is a smooth point, then it can’t attain its norm at more than one point (see [8, Theorem 2.1]). Hence we only need to prove that if A attains its norm at ±h with khk = 1 and sup kAxk < kAk, then A is a smooth x⊥h,kxk=1 point. In this case, using Corollary 3.6, kA + tBk − kAk 1 lim = Re hAh|Bhi. t→0+ t kAk And we also have kA + tBk − kAk kA − t(−B)k − kAk kA + t(−B)k − kAk lim = lim = − lim t→0− t t→0− t t→0+ t 1 1 = − Re hAh|− Bhi = Re hAh|Bhi. kAk kAk

kA + tBk − kAk Hence lim exists and equal to Re hAh|Bhi. Since norm function is Gateaux t→0 t differentiable at A, A is a smooth point of the unit ball of B(H). 

The special case of the above theorem in the setting of K (H) for separable Hilbert space was first proved in [10, Theorem 3.3]. Using the above expression of Gateaux derivative and the fact that C1(H) is the dual of K (H), we get that rank one operators are extreme points of C1(H), along the lines of proof of [1, Corollary 3.3]. Characterization of the extreme points of C1(H) was first proved in [10, Theorem 3.1]. Study of extreme points and smooth points has been a subject of interest for many authors, see [1, 7, 10, 15, 18]. Subdifferential sets in space of matrices Mn(F) equipped with various norms have also been an interest to many authors, see [4] for a brief description. Using Corollary 3.6, we now give the following expression for the subdifferential set ∂kAk when dist(A, K (H)) < kAk, with the idea used in [19, Theorem 2]. Corollary 3.8. Let 0 6= A ∈ B(H) be such that dist(A, K (H)) < kAk, then ∂ kAk = conv{u⊗¯ v : kuk = kvk = 1, Au = kAk v} GATEAUX DERIVATIVE OF C∗ NORM 7

Proof. Clearly conv{u⊗¯ v : kuk = kvk = 1, Au = kAk v} ⊆ ∂ kAk. If equality doesn’t occur, then there exists T ∈ ∂ kAk ⊆ C1 such that T∈ / conv{u⊗¯ v : kuk = kvk = 1, Au = kAk v}. Then by the Hahn-Banach seperation theorem, there exists B ∈ K (H) such that tr(TB) = 1 and tr(B(u⊗¯ v)) = hu|Bvi = 0 for all u.v ∈H such that kuk = kvk = 1, Au = kAk v.

kA + tBk − kAk Hence max Re hu|Bvi < tr(BT ) ≤ max{tr(BT ) : T ∈ ∂ kAk} = lim , kuk=kvk=1,Au=kAkv t→0+ t which contradicts Corollary 3.6. 

4. REMARKS

2 2 (1) Let A, B ∈ B(H). Let Hε stands for EA∗A((kAk− ε) , kAk ), and EA∗A stands for the spectral measure of operator A∗A. It was proved in [12, Theorem 2.4] that kA + tBk − kAk 1 (4.1) lim = inf sup RehAh|Bhi. + t→0 t kAk ε>0 h∈Hε,khk=1 We will give an alternative proof of Theorem 1.2 as an application of (4.1). Let kA + tBk − kAk α = kAk lim . Then we get a sequence {hn} such that khnk = 1, t→0+ t ∗ 2 hn ∈ H1/n and Rehhn|A Bhni→ α. Now hn ∈ H1/n implies that kAhnk ∈ ((kAk− 2 2 1/n) , kAk ). We can choose a subsequence, if necessary, so that kAhnk → kAk. ∗ 2 Now define ψn(T ) = hhn|T hni. Then ψn ∈ SB(H) such that ψn(A A) → kAk and ∗ ∗ ψn(A B) → α. Now using weak -compactness of SB(H), there exists ψ ∈ SB(H) such that ψ(A∗A) = kAk2 and ψ(A∗B)= α. By using the GNS construction, we get the proof of Theorem 1.2. (2) Using the Riesz Representation Theorem with Corollary 1.3, we get that if f ∈ Cb(Ω) such that dist(f,C0(Ω)) < kfk∞, then for any g ∈ Cb(Ω), we have

kf + tgk∞ − kfk∞ −ιargf(x) (4.2) lim = sup{Re (e g(x)) : x ∈ {z : |f(x)| = kfk∞}}. t→0+ t

This is special case of [13, Theorem 3.1] where it was proved that if f, g ∈ Cb(Ω), then kf + tgk − kfk (4.3) lim = inf sup Re(e−i arg f(x)g(x)), + t→0 t δ>0 x∈Eδ

where Eδ = {x ∈ Ω : |f(x)| ≥ kfk∞ − δ}. Note that (4.2) is a special case of (4.3). Similarly formula for Gateaux derivative obtained in (3.1) is a special case of (4.1). Now equation 4.2 and formula (3.1), were obtained as the applications of Corollary 1.3. It raises question what can be analogous of Corollary 1.3, without the condition dist(f,C0(Ω)) < kfk∞, that will be generalization of formulas (4.1) and (4.3)?

Acknowledgements. I would like to thank Amber Habib and Priyanka Grover, Shiv Nadar University for many useful discussions.

REFERENCES

[1] Abatzoglou, T. J. : Norm Derivatives on Spaces of Operators. Math. Ann. 239(1979), 129-135. [2] Bhatia, R.; Semrlˇ P. : Orthogonality of matrices and some distance problems. Linear Algebra Appl. 287(1999), 77–85. [3] Blackadar, B. : Operator Algebras - Theory of C∗-Algebras and von Neumann Algebras. Springer-Verlag, Berlin 2006. 8 S. SINGLA

[4] Grover, P.; Singla, S. : Birkhoff-James orthogonality and applications : A survey. Operator Theory, Functional Analysis and Applications, Birkh¨auser Basel, vol. 282, 2020. [5] Grover, P.; Singla S. : Best approximations, distance formulas and orthogonality in C∗-algebras. Communi- cated. [6] Harmand, P.; Werner, D.; Werner, W. : M-ideals in Banach spaces and Banach algebras. Springer-Verlag, Berlin 1993. [7] He˘inrich, S. : The differentiability of the norm in spaces of operators. Functional Analysis and its Applica- tions 9(1975), 360–362. [8] Hennefeld, J. : Smooth, compact operators. Proc. Amer. Math. Soc. 77(1979), 87–90. [9] Hiriart-Urruty, J. B. ; Lemar`echal, C. : Fundamentals of Convex Analysis. Springer, 2000. [10] Holub, J. R. : On the metric geometry of ideals of operators on Hilbert space. Math. Ann. 201(1973), 157–163 [11] James, R. C. : Orthogonality and linear functionals in normed linear spaces. Trans. Amer. Math. Soc. 61(1947), 265–292. [12] Keˇcki´c, D. J. : Gateaux Derivative of B(H) Norm. Proc. Amer. Math. Soc. 133(2005), 2061–2067. [13] Keˇcki´c, D. J. : Orthogonality and smooth points of unit ball of C(K) and Cb(Ω). Eurasian Math. J. 3(2012), 44–52. [14] Keˇcki´c, D. J. : Orthogonality in S1 and S∞ spaces and normal derivations. J. Operator Theory 51(2004), 89–104. [15] Kittaneh, F.; Younis, R. : Smooth points of certain operator spaces. Integral Equ. Oper. Theory 13(1990), 849–855. [16] Mal, A.; Kallol, P. : Birkhoff-James orthogonality to as subspace of operators defined between Banach spaces. https://arxiv.org/abs/1912.03635 [17] Paul, K.; Sain, D.; Ghosh, P. : Birkhoff-James orthogonality and smoothness of bounded linear operators. Linear Algebra Appl. 506 (2016), 551–563. [18] Schatten, R. : The space of completely continuous operators on a Hilbert space. Math. Ann. 134(1957), 47–49. [19] Watson, G. A. : Characterization of the subdifferential of some matrix norms. Linear Algebra Appl. 170(1992), 33–45. [20] Wojcik,´ P. : Birkhoff orthogonality in classical M-ideals. J. Aust. Math. Soc. 103(2017), 279–288.

DEPARTMENT OF MATHEMATICS,SHIV NADAR UNIVERSITY, NH-91, TEHSIL DADRI, GAUTAM BUDDHA NAGAR, U.P. 201314, INDIA.

Email address: [email protected]