Continuity of maps inverse to quadratic operator polynomials (Q1812807)

Let \(X\), \(Y\) be Banach spaces and \(Z= X\times\cdots \times X\) (\(k\geq 2\) factors) the space with the norm \(\| (x_ 1,\dots, x_ k)\|= k^{-1}(\| x_ 1\|+ \cdots+ \| x_ k\|)\). For a \(k\)-linear operator \(\overline B_ k: Z\to Y\) denote by \(B_ k\) the restriction of \(\overline B_ k\) to the diagonal \(\Delta_ k\) of \(Z\). Since \(\Delta_ k\) and \(X\) are isomorphic, \(B_ k\) can be considered as an operator from \(X\) into \(Y\). The set \(L_{\Delta_ k}(X; Y)\) of all such \(B_ k\) with \(\| B_ k\|= \sup\{\| B_ k x\|: \| x\|\leq 1\}< +\infty\) is a Banach space. A polynomial operator is defined by \(\Psi_ n(x)= \sum^ n_{k= 2} B_ k(x)+ B_ 1(x)+ B_ 0(x)\) with \(B_ 1\) a linear operator and \(B_ 0(x)= b_ 0\in Y\) for every \(x\). A polynomial \(\Psi_ n\) is continuous if and only if all homogeneous polynomials \(B_ k\) are continuous. The paper is mainly concerned with the case of quadratic polynomials \(k= 2\) and \(X= Y= H\) being a separable Hilbert space. In that case \(B_ 2\) can be represented in the form \(B_ 2(x)= \sum^ \infty_{k= 1} (A_ k x| x) e_ k\), where \((e_ k)\) is an orthonormal basis set and \((A_ k)\) is a sequence of bounded selfadjoint operators. If \(B_ 2\in L_{\Delta_ 2}(H)\) is represented by two sequences \((A^{(n)}_ k)\), \(n= 1,2\), in the corresponding basis sets and if the family \((A^{(1)}_ k)\) is a commuting family then so is the family \((A^{(2)}_ k)\). If the family \((A_ k)\) is commuting, then \(B_ 2\) has a derivative \(D B_ 2(x_ 0)\) at each point \(x_ 0\in H\) and \(D B_ 2(x_ 0)\) is a compact operator. If \(\Psi= I+ B_ 2\) is a bijection and if there exists a finite subset \(N_ 0\subset \mathbb{N}\) such that \(A_ i A_ j= A_ j A_ i\) holds for all \(i,j\in \mathbb{N}\backslash N_ 0\), then \(\Psi^{-1}\) is a continuous operator. An analogous result for a Banach space is not known.