Обсуждается важная роль множителей Лагранжа и двойственности в теории некорректных задач на условный экстремум. Центральное внимание уделяется задаче устойчивого приближенного нахождения нормального (минимального по норме) решения операторного уравнения первого рода $Az=u,$ $z\in {\cal D}\subseteq Z,$ где $A:\,Z\to U$ --- линейный ограниченный оператор, $u\in U$ --- заданный элемент, ${\cal D}\subseteq Z$ --- выпуклое замкнутое мно\-жество, $Z,U$ --- гильбертовы пространства, являющейся классической для теории некор\-ректных задач. Рассматриваются две эквивалентные ей задачи (с точки зрения одновременного существования их единственных решений) на условный экстремум, первая из которых --- это задача ($CE1$) с функциональным ограничением-неравенством $\|z\|^2\to\min,$ $\|Az-u\|^2\leq 0,$ $z\in {\cal D},$ а вторая --- задача ($CE2$) с операторным ограничением-равенством $\|z\|^2\to\min,$ $Az=u,$ $z\in {\cal D}.$ В работе последовательно: 1) показывается, что метод регуляризации Тихонова может естественным образом трактоваться как метод устойчивой аппроксимации точного решения экстремалями функционала Лагранжа для задачи ($CE1$) с одновременным построением в двойственной к ней задаче максимизирующей последовательности из множителей Лагранжа, при этом множитель Лагранжа является величиной обратной параметру регуляризации в методе Тихонова; другими словами, теореме сходимости метода регуляризации Тихонова придается вид утверждения в форме двойственности относительно задачи ($CE1$); 2) обсуждается роль стабилизации по Тихонову для выпуклых задач общего вида при решении задач на условный экстремум; 3) обсуждается основанный на стабилизации по Тихонову двойственной к ($CE2$) задачи устойчивый метод для решения исходного операторного уравнения, который может рассматриваться как метод регуляризации правила множителей Лагранжа для задачи ($CE2$); 4) обсуждаются особенности каждого из двух указанных выше подходов к регуляризации решения исходного операторного уравнения.
The important role of Lagrange multipliers and duality in the theory of ill-posed problems for a constrained extremum is discussed. The central attention is paid to the problem of stable approximate finding of a normal (minimum in norm) solution of the operator equation of the first kind $Az=u,$ $z\in {\cal D}\subseteq Z,$ where $A:\,Z\to U$ is a linear bounded operator, $u\in U$ is a given element, ${\cal D}\subseteq Z$ is a convex closed set, $Z,U$ are Hilbert spaces. As is known, this problem is classical for the theory of ill-posed problems. We consider two problems equivalent to it (from the point of view of the simultaneous existence of their unique solutions) for a constrained extremum, the first of which is the problem ($CE1$) with a functional inequality constraint $\|z\|^2\to\min,$ $\|Az-u\|^2\leq 0,$ $z\in {\cal D},$ and the second is the problem ($CE2$) with operator equality constraint $\|z\|^2\to\min,$ $Az=u,$ $z\in {\cal D}.$ First of all, we show that Tikhonov's regularization method can be naturally interpreted as a method of stable approximation of the exact solution by extremals of the Lagrange functional for problem ($CE1$) with simultaneous construction of a maximizing sequence of Lagrange multipliers in its dual problem. In this case, the Lagrange multiplier is the reciprocal of the regularization parameter in the Tikhonov method. In other words, the convergence theorem of the Tikhonov regularization method is given the form of a statement in the form of duality with respect to the problem ($CE1$). Next, we discuss the role of Tikhonov stabilization for general convex problems in solving problems for constrained extremum and a stable method based on Tikhonov stabilization of the problem dual to ($CE2$) for solving the original operator equation, which can be considered as a regularization method for the Lagrange multiplier rule for the problem ($CE2$). The paper discusses the features of each of the two above mentioned approaches to the regularization of solving the original operator equation.
The authors declare that there are no conflicts of interest present.