We illustrate Corollary REF  in Fig. REF  with four regionsAll closed-form solutions are also verified by the solver IPOPT [1]}. as follows.

Мы иллюстрируем следствие REF на рисунке REF с четырьмя областями. Все аналитические решения также проверяются с помощью солвера IPOPT [1], следующим образом.