The modulus of Rudin-Carleson extensions (Q1099296)

We prove the following Theorem. Let F be a closed subset of the unit circle T which has Lebesgue measure zero. Suppose that p is a smooth positive function on T. Given \(f\in C(F)\) which satisfies \(| f(s)| \leq p(s)\) (s\(\in F)\) and a neighbourhood U of F there is an extension \(\tilde f\) in the disc algebra such that \(| \tilde f(z)| \leq p(z)\) (z\(\in U)\) and \(| \tilde f(z)| =p(z)\) (z\(\in T\setminus U)\).