No label defined (Q3972595)

[For the entire collection see Zbl 0685.00015.] Let \((X^ N,\|\cdot\|_{X^ N})\) be one of the spaces \(C^ N\), \(L^ N_ p\) \((1\leq p\leq \infty)\), the usual spaces of continuous and \(p\)-summable functions on the \(N\)-cube \(\prod^ N_{i=1} [0,2\pi]\), respectively, endowed with their usual norms, and with the additional assumption that all functions of \(X^ N\) are \(2\pi\)-periodic in each variable. Let \(A\) be a linear operator from \(M\) to \(X^ N\), where \(M\subset X^ N\) has the property that \(f(x)\in M\) implies \(f(x+t)\in M\), for all \(t\in\mathbb{R}\), and let \[ G(M,A)_{X^ N}= \sup_{f\in M} \| f-A(f)\|_{X^ N}. \] We denote also by \(M_ m\) and \(M_{N- m}\) those subsets of \(M\) which are obtained by fixing the variables \((x_{m+1},\dots,x_ N)\) and \((x_ 1,\dots,x_ m)\), respectively. The author proves that \(G(M,U^ +)_{X^ N}\leq G(M_ m,U^ +_ m)_{X^ m}+G(M_{N-m},U^ +_{N-m})_{X^{N-m}}\) for a certain linear operator \(U^ +\). The notations \(U^ +_ m\) and \(U^ +_{N- m}\) have a similar meaning as \(M_ m\) and \(M_{N-m}\), respectively. The author also studies the situations when equality occurs.