О полноте системы экспонент в невыпуклых областях

Пусть $L(\lambda)=\sum_{j=1}^r A_j e^{\lambda a_j}$, где $a_j$ $(1\leqslant j\leqslant r)$ – вершины выпуклого многоугольника $\overline D$, $\{\lambda_\nu\}_{\nu=1}^\infty$ – последовательность всех нулей функции $L(\lambda)$ (нули простые), $\Gamma\stackrel{\mathrm{df}}=\bigcup_{j=1}^r[0,a_j]$. Для системы $\{e^{\lambda_\nu z}\}_{\nu=1}^\infty$ строится система функций $\{\psi_\nu^*(z)\}_{\nu=1}^\infty$, обладающая свойством биортогональности на $\Gamma$.
С помощью системы $\{\psi_\nu^*(z)\}_{\nu=1}^\infty$ для непрерывной на $\Gamma$ функции $f(z)$ конструируется ряд Дирихле. Доказывается теорема единственности: из равенства нулю всех коэффициентов ряда следует, что $f(z)\equiv0$. Из этой теоремы следует, что система $\{\psi_\nu^*(z)\}_{\nu=1}^\infty$ полна вне $\Gamma$.
Библиография: 3 названия.