О структуре множества сходимости равномерно ограниченной последовательности полиномов

Проблема состоит в следующем: описать структуру множества $ E $, принадлежащего компакту $ K $ комплексной плоскости, для которого существует последовательность полиномов, равномерно ограниченная на $ K $, сходящаяся поточечно на $ E $ и расходящаяся вне $ E $. Компакт $ K $ не разбивает комплексной плоскости в том смысле, что $ \mathbb{C}\setminus K $ состоит из одной области, содержащей бесконечно удаленную точку.
Рассматриваемая проблема примыкает к проблеме П. М. Монтеля о харрактеристике иррегулярных точек и описания функций, представимых сходящейся последовательностью полиномов. Некоторые результаты в этом направлении получены М. А. Лаврентьевым, М. В. Келдышем, С. Н. Мергеляном, С. В. Колесниковым, В. А. Беляевым (см., например, [1]–[6]).
Введем некоторые обозначения: $ \partial K $ – граница $ K $, $ O\left ( \partial K \right ) $ – совокупность ограниченных, связных составляющих $ \mathbb{C}\setminus \partial K $. Через $ \left \{ B \right \} $ обозначим совокупность всех тех областей из $ O\left ( \partial K \right ) $, каждая из которых полностью принадлежит $E$, а $ \left \{ G \right \}=O\left ( \partial K \right )\setminus \left \{ B \right \} $.
Теорема. Для того, чтобы существовала последовательность полиномов равномерно ограниченная на $ K $, которая поточечно сходится на $ E $, $ E\subset K $, и расходится в каждой точке $ \mathbb{C}\setminus E $ необходимо и достаточно выполнение следующих условий:
1. $ E $ – типа $ F_{\sigma \delta } $
2. $\omega \left ( E\cap \partial G_{m},G_{m},z \right )=0, \forall G_{m}\in \left \{ G \right \} $, где $ \omega \left ( E\cap \partial G_{m},G_{m},z \right ) $ – гармоническая мера
3. $ \sum \left ( 1-\left | \varphi \left ( z_{n} \right ) \right | \right )< \infty ,\forall G_{m}\in \left \{ G \right \} $ где $ w = \varphi_{m}\left ( z \right ) $ конформное и однолистное отображение области $ G_{m} $ на круг $ \left | w \right |< 1 $, а суммирование берется по всем точкам множества $ E\cap G_{m} $.
Следствие. Пусть $ \mathring{K}\subset E\subset K $, где $ \mathring{K} $ – множество внутренних точек $ K $. Для того, чтобы существовала последовательность полиномов, равномерно ограниченная на $ K $, которая поточечно сходится на $ E $ и расходится в каждой точке $ \mathbb{C}\setminus E $, необходимо и достаточно, чтобы $ E $ имело тип $ F_{\sigma \delta } $.