Carathéodory interpolation on the non-commutative polydisk

DOI10.1016/J.JFA.2005.03.007MaRDI QIDQ2583792zbMATH OpenOpenAlexFDO

Authors Dmitry S. Kaliuzhnyi-Verbovetzkyi

Publication date 18 January 2006

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0412161

Arveson extension theorem Carathéodory problem Carathéodory--Fejér problem completely positive map dilation formal power series interpolation jointly nilpotent operators non-commutative

Mathematics Subject Classification ID

Other ``noncommutative mathematics based on (C^*)-algebra theory (46L89) Several-variable operator theory (spectral, Fredholm, etc.) (47A13) Dilations, extensions, compressions of linear operators (47A20) Linear operator methods in interpolation, moment and extension problems (47A57)

Abstract: The Carath'{e}odory problem in the

N

-variable non-commutative Herglotz--Agler class and the Carath'{e}odory--Fej'{e}r problem in the

N

-variable non-commutative Schur--Agler class are posed. It is shown that the Carath'{e}odory (resp., Carath'{e}odory--Fej'{e}r) problem has a solution if and only if the non-commutative polynomial with given operator coefficients (the data of the problem indexed by an admissible set

L a m b d a

) takes operator values with positive semidefinite real part (resp., contractive operator values) on

N

-tuples of

L a m b d a

-jointly nilpotent contractive

n i m e s n

matrices, for all

n i n m a t h b b N

.

Review text

Classical Carathéodory and other interpolation problems have been generalized, in the multivariable case, following several directions. For example, the Carathéodory problem in the Herglotz--Agler class or the Carathéodory--Fejér problem in the Schur--Agler class were considered by \textit{J.~A.\ Ball, W.~S.\ Li, D.~Timotin} and \textit{T.~T.\ Trent} in [Indiana Univ.\ Math.\ J.\ 48, No.~2, 653--675 (1999; Zbl 0953.32010)], by \textit{J.~Eschmeier, L.~Patton} and \textit{M.~Putinar} in [Math.\ Res.\ Lett.\ 7, No.~1, 25--34 (2000; Zbl 0953.41024)] and by \textit{H.~J.\ Woerdeman} in [Integral Equations Oper.\ Theory 42, No.~2, 229--242 (2002; Zbl 1017.47013)]. The author formulates these problems in the non-commutative Herglotz--Agler class \({\mathcal H}{\mathcal A}_N^{nc}({\mathcal Y})\) (introduced in the paper) and in the non-commutative Schur--Agler class \({\mathcal S}{\mathcal A}_N^{nc}({\mathcal U},{\mathcal Y})\) (introduced by \textit{J.~A.\ Ball, G.~Groenewald} and \textit{T.~Malakorn} in [``The state space method. Generalizations and applications, Oper.\ Theory Adv.\ Appl.\ 161, 179--224 (2006)]), respectively, and provides criteria for their solvability. More precisely, given an admissible set \(\Lambda\) (in a certain free semigroup \({\mathcal F}_N\) with \(N\) generators and neutral element \(\varnothing\)) and a family \(\{c_w\}_{w\in\Lambda}\subset{\mathcal L}({\mathcal Y})\) with \(c_\varnothing\geq 0\), resp.\ a family \(\{s_w\}_{w\in\Lambda}\subset{\mathcal L}({\mathcal U},{\mathcal Y})\), there exists a solution to the Carathéodory problem in \({\mathcal H}{\mathcal A}_N^{nc}({\mathcal Y})\), resp.\ to the Carathéodory--Fejér problem in \({\mathcal S}{\mathcal A}_N^{nc}({\mathcal U},{\mathcal Y})\), i.e., a formal power series \(f\) in \({\mathcal H}{\mathcal A}_N^{nc}({\mathcal Y})\), resp.\ in \({\mathcal S}{\mathcal A}_N^{nc}({\mathcal U},{\mathcal Y}\)), with coefficients \(\{f_w\}_{w\in{\mathcal F}_N}\), such that \[ f_\varnothing={c_\varnothing\over 2},\quad f_w=c_w\;(w\in\Lambda\setminus\{\varnothing\}), \qquad\text{resp.}\quad f_w=s_w\;(w\in\Lambda), \] if and only if Re\(\,p({\mathbf T})\geq 0\), resp.\ \(\| p({\mathbf T})\| \leq 1\), for every \(N\)-tuple \(\mathbf T\) of \(\Lambda\)-jointly nilpotent contractive operators on a common Hilbert space, where \[ p(z)={c_\varnothing\over 2}+\sum_{w\in\Lambda\setminus\{\varnothing\}}c_wz^w, \qquad\text{resp.}\quad p(z)=\sum_{w\in\Lambda}s_wz^w. \]

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Carathéodory interpolation on the non-commutative polydisk

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2583792)