No label defined (Q4947161)

Let \(G\) be a domain in \({\mathbb C}\). Denote by \(\Lambda_a^{\alpha}(G)\) the space of analytic (in \(G\)) functions satisfying the Hölder condition with exponent \(\alpha\) in \(\overline{G}\). For a closed subset \(E\subset G\), the Hölder class of functions defined on \(E\) is denoted by \(\Lambda^{\alpha}(E)\) (\(\alpha\) is the Hölder exponent). A set \(E\) is called an interpolation set for the pair \(\Lambda_a^{\alpha}(G)\), \(\Lambda^{\beta}(E)\) if every function in \(\Lambda^{\beta}(E)\) is the restriction of some function in \(\Lambda_a^{\alpha}(G)\) onto \(E\). The author describes the structure of interpolation sets for domains with interior cusps that are defined by power functions. The main result of the article can be stated as follows. Theorem. Let \(\beta>1\), \(\alpha\beta<1\), and \[ G=\{z=x+iy: |z|<1,\;|y|>(-x)^{\beta} (-1<x<0)\}. \] Assume \(E=\{z_n\}_{n=1}^{\infty}\) to be a sequence of points in \(G\) such that \(z_n\to 0\) and \(|\text{arg} z_n|\leq \pi-\varepsilon\) \((\varepsilon>0)\). Then the following statements are equivalent: 1) \(E\) is an interpolation set for the pair \(\Lambda_a^{\alpha}(G)\), \(\Lambda^{\alpha\beta}(E)\); 2) for every \(z\in E\), there exists an \(r>0\) such that \(E\cap B_r(z)=\{z\}\) \((B_r(z)=\{\omega:|\omega-z|<r\})\).