Численное исследование задачи Зарембы

Рассматривается задача на собственные значения для двумерного оператора Лапласа со смешанными краевыми условиями (задача Зарембы), которая (предположительно) имеет внутри области гладкое решение. Вычисления показывают, что у оператора $-\Delta$ есть отрицательное собственное значение, т.е. он не положительно определен.