English

Min-max relations for tuples of operators in terms of component spaces

Functional Analysis 2025-08-13 v2

Abstract

For tuples of compact operators T=(T1,,Td)\mathcal{T}=(T_1,\ldots, T_d) and S=(S1,\mathcal{S}=(S_1, ,Sd)\ldots,S_d) on Banach spaces over a field F\mathbb{F}, considering the joint pp-operator norms on the tuples, we study dist(T,FdS),dist(\mathcal{T},\mathbb{F}^d\mathcal{S}), the distance of T\mathcal{T} from the dd-dimensional subspace FdS:={zS:zFd}.\mathcal{F}^d\mathcal{S}:=\{\textbf{z}\mathcal{S}:\textbf{z}\in \mathbb{F}^d\}. We obtain a relation between dist(T,FdS)dist(\mathcal{T},\mathbb{F}^d\mathcal{S}) and dist(Ti,FSi),dist(T_i,\mathbb{F}S_i), for 1id.1\leq i\leq d. We prove that if p=,p=\infty, then dist(T,FdS)=max1iddist(Ti,FSi),dist(\mathcal{T},\mathbb{F}^d\mathcal{S})=\underset{1\leq i\leq d}{\max}dist(T_i,\mathbb{F}S_i), and for 1p<,1\leq p<\infty, under a sufficient condition, dist(T,FdS)p=1iddist(Ti,FSi)p.dist(\mathcal{T},\mathbb{F}^d\mathcal{S})^p=\underset{1\leq i\leq d}{\sum}dist(T_i,\mathbb{F}S_i)^p. As a consequence, we deduce the equivalence of Birkhoff-James orthogonality, TBFdSTiBSi,\mathcal{T}\perp_B \mathbb{F}^d\mathcal{S} \Leftrightarrow T_i\perp_B S_i, under a sufficient condition. Furthermore, we explore the relation of one sided Gateaux derivatives of T\mathcal{T} in the direction of S\mathcal{S} with that of TiT_i in the direction of Si.S_i. Applying this, we explore the relation between the smoothness of T\mathcal{T} and Ti.T_i. By identifying an operator, whose range is d,\ell_\infty^d, as a tuple of functionals, we effectively use the results obtained here for operators whose range is d\ell_\infty^d and deduce nice results involving functionals.

Keywords

Cite

@article{arxiv.2503.10128,
  title  = {Min-max relations for tuples of operators in terms of component spaces},
  author = {Arpita Mal},
  journal= {arXiv preprint arXiv:2503.10128},
  year   = {2025}
}