An analog of Wiener's theorem for infinite-dimensional Banach spaces (Q2353727)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An analog of Wiener's theorem for infinite-dimensional Banach spaces
scientific article

    Statements

    An analog of Wiener's theorem for infinite-dimensional Banach spaces (English)
    0 references
    0 references
    0 references
    16 July 2015
    0 references
    Gelfand's theory of commutative Banach algebras is used in the article under review to extend Wiener's lemma to some generalizations of the Wiener algebras of absolutely convergent Fourier series and absolutely convergent Taylor series, respectively. For an index set \(\Gamma,\) consider the finite multi-indices \(\mathbf{k}=(k_{\alpha_1},\dots,k_{\alpha_l},0,\dots)\in \mathbb{Z}^\Gamma\). The set \(W\) is defined by \[ W=\Big\{f:\ell_\infty(\Gamma,\mathbb{R})\to \mathbb{C}: f(x)=\sum_{\mathbf{|k|}=0}^\infty a_\mathbf{k}e^{i(\mathbf{k},x)}\text{ for a family } (a_\mathbf{k})\in\ell_1(\Gamma,\mathbb{C}) \Big\}, \] where, as usual, \((\mathbf{k},x)=\sum_1^l k_{\alpha_i}x_{\alpha_i}\). Endowed with the norm given by \(\|f\|=\sum_{\mathbf{|k|}=0}^\infty |a_\mathbf{k}|\), \(W\) becomes a Banach function algebra. A generalized Wiener's lemma is provided since, after identifying the spectrum of \(W\), the authors prove that, if \(f\in W\) and it does not vanish, then \(\frac{1}{f}\in W\). The generalization for the case of absolutely convergent Taylor series can be summarized as follows: Let \(X\) be a complex Banach space. Consider the symmetric \(n\)-projective tensor product \(\bigotimes^n_{s,\pi}X^*\) as a subspace of the \(n\)-homogeneous polynomials \(\mathcal{P}(^nX)\) and denote it \(\mathcal{P}_\pi(^nX)\). The Wiener type algebra \(W^+(X)\) is defined as the \(\ell_1\)-sum, \(W^+(X):=\big(\mathcal{P}_\pi(^nX)\big)_{\ell_1}\). The authors identify \(W^+(X)\) with a subalgebra of the generalized disc algebra \(H^\infty_{uc}(B_X)\) of the analytic and uniformly continuous functions on the open unit ball \(B_X\). Then a Wiener's lemma type result is shown for \(W^+(X)\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Wiener algebra
    0 references
    Banach algebra
    0 references
    Wiener's lemma
    0 references
    Fourier series
    0 references
    maximal ideal
    0 references