Сверхсходимость и апостериорные оценки ошибки смешанных методов Равьяра–Тома порядка 1 для эллиптических задач управления с интегральным ограничением

В данной статье мы исследуем свойство сверхсходимости и апостериорные оценки ошибки смешанных методов конечных элементов для линейной эллиптической задачи управления с интегральным ограничением. Состояние и сопряженное состояние аппроксимируются при помощи пространств смешанных конечных элементов Равьяра–Тома порядка $k=1$, а переменная управления аппроксимируется кусочно-постоянными функциями. Аппроксимации оптимального управления непрерывной задачи оптимального управления будут построены путем проектирования дискретного сопряженного состояния. Доказывается, что эти аппроксимации имеют порядок сходимости $h^2$. Кроме того, мы получаем апостериорные оценки ошибки как для переменной управления, так и для переменных состояния. И, наконец, для демонстрации наших теоретических результатов приводится численный пример.