English

Subdifferential of the $\mathcal{B(H,K)}$ norm, and approximate orthogonality

Functional Analysis 2026-05-25 v4

Abstract

We present an expression for the right hand derivative of the B(H,K)\mathcal{B(H,K)} norm generalizing the result for K=H\mathcal{K}=\mathcal{H} in [D. J. Kecˇ\check{\mathrm{c}}kicˋ\grave{\mathrm{c}}, Gateaux derivative of B(H)B(H) norm, Proc. Amer. Math. Soc. 133 (2005): 2061--2067]. Using this, we obtain the subdifferential of the B(H,K)\mathcal{B(H, K)} norm. For tuples of operators A,X\mathbf{A},\mathbf{X}\in B(H,Hd)\mathcal{B(H, H}^d), we give a characterization for 0\boldsymbol 0 to be a best approximation to the subspace CdX\mathbb C^d \mathbf{X}, generalizing a similar result for CdI\mathbb C^d \mathbf{I} in [P. Grover, S. Singla, A distance formula for tuples of operators, Linear Algebra Appl. 650 (2022): 267--285]. We define the concept of ϵ\epsilon-Birkhoff orthogonality to a subspace in a general normed space and derive a characterization in terms of the subdifferential set. Using this, we deduce interesting results for AB(H,K)A\in \mathcal{B(H,K)} to be ϵ\epsilon-Birkhoff orthogonal to a subspace of B(H,K)\mathcal{B(H,K)}, when AA is compact.

Keywords

Cite

@article{arxiv.2505.06925,
  title  = {Subdifferential of the $\mathcal{B(H,K)}$ norm, and approximate orthogonality},
  author = {Priyanka Grover and Krishna Kumar Gupta and Susmita Seal},
  journal= {arXiv preprint arXiv:2505.06925},
  year   = {2026}
}