A constructive proof of the Beurling-Rudin theorem

DOI10.4064/SM-129-1-51-58MaRDI QIDQ4386424zbMATH OpenOpenAlexFDO

Authors Raymond Mortini

Publication date 7 January 1999

Published in Studia Mathematica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://eudml.org/doc/216491

zbMATH Keywords

Beurling-Rudin theoremBlaschke productclosed idealdisk algebraelementary and constructive proofgreatest common divisor of the normalized inner factorsinner factor of the sum of two inner functionspeak function

Mathematics Subject Classification ID

Spaces of bounded analytic functions of one complex variable (30H05) Banach algebras of differentiable or analytic functions, (H^p)-spaces (46J15)

Review text

Let \(\mathbb{D}= \{z;| z|< 1\}\) be the open unit disk, and let \(A(\mathbb{D})\) denote the disk algebra, i.e. the algebra of all functions continuous on the closure \(\overline{\mathbb{D}}\) and analytic in \(\mathbb{D}\) endowed with the supremum norm. The author presents an elementary and constructive proof of the famous Beurling-Rudin theorem: Let \(I\) be a nontrivial closed ideal in \(A(\mathbb{D})\) such that the greatest common divisor of the normalized inner factors of the elements in \(I\) is the constant function 1. Then \(I= I(E, A(\mathbb{D}))= \{f\in A(\mathbb{D});\mid f|_E= 0\}\), \(E= \bigcap_{f\in I}Z(f)\cap\partial\mathbb{D}\). Moreover, \(I\) is the closure of the principal ideal generated by \(1- p_E\), where \(p_E\) is a peak function for \(E\). The proof makes clever use of a result of D. Sarason concerning the inner factor of the sum of two inner functions.

Recommendations

• A Beurling-Rudin theorem for \(H^{\infty}\)
• Closed ideals in the bidisc algebra
• Closed ideal of analytic Beurling algebras in the bidisc
• scientific article; zbMATH DE number 1306948
• Closed ideals of certain quasianalytic Beurling algebras on the unit circle

Cited in

(2)

• A constructive proof of the Gelfand--Kolmogorov theorem
• Common zero sets of equivalent singular inner functions II

This page was built for publication: A constructive proof of the Beurling-Rudin theorem

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