[논문 리뷰] A New Iterative Projection Method for Approximating Fixed Point Problems and Variational Inequality Problems

İbrahim Karahan, Murat Özdemir|arXiv (Cornell University)|2014. 03. 13.

Optimization and Variational Analysis참고 문헌 8인용 수 3

한 줄 요약

이 논문은 실 힐버트 공간에서 공통 고정점 문제와 변분부등식 문제를 해결하기 위한 새로운 외거프로젝션 반복 방법을 제안한다. 무한 개의 비수축 사상과 역강한 모노톤 연산자를 조합함으로써, 온건한 조건 하에서 공통 해로의 강수렴을 달성하며, 기존의 반복 체계를 확장하여 향상된 수렴 보장을 제공한다.

ABSTRACT

In this paper, we introduce and study a new extragradient iterative process for finding a common element of the set of fixed points of an infinite family of nonexpansive mappings and the set of solutions of a variational inequality for an inverse strongly monotone mapping in a real Hilbert space. Also, we prove that under quite mild conditions the iterative sequence defined by our new extragradient method converges strongly to a solution of the fixed point problem for an infinite family of nonexpansive mappings and the classical variational inequality problem. In addition, utilizing this result, we provide some applications of the considered problem not just giving a pure extension of existing mathematical problems.

연구 동기 및 목표

• 무한 개의 비수축 사상과 변분부등식 문제를 동시에 해결할 수 있는 새로운 반복 알고리즘을 개발한다.
• 실 힐버트 공간에서 제안된 반복 수열이 공통 해로 강수렴하는 것을 확립한다.
• 각 반복 단계에서 두 개의 투영을 포함하는 하이브리드 구조를 통합함으로써 기존의 외거프로젝션 유형 방법을 확장한다.
• 강건한 준수축 사상이 포함된 볼록 최소화 문제 및 고정점 문제에 응용을 제공한다.

제안 방법

• 이 방법은 두 단계 반복 체계를 사용한다: 첫째, 현재 반복값과 그 비수축 사상 하에서의 투영값의 볼록 조합을 통해 중간 점을 계산한다; 둘째, 이 중간 점의 투영을 이용해 반복값을 갱신한다.
• 알고리즘은 메트릭 투영 $ P_C $, 역강한 모노톤 연산자 $ A $, 비수축 사상 $ T $를 포함하며, 매개변수 $ \lambda_n \in [a,b] \subset (0,2\alpha) $ 와 $ \alpha_n \in [c,d] \subset (0,1) $ 를 사용한다.
• 핵심 갱신 공식은 $ x_{n+1} = T P_C(I - \lambda_n A) y_n $ 로, 여기서 $ y_n = (1 - \alpha_n)x_n + \alpha_n T P_C(I - \lambda_n A)x_n $ 이다.
• 이 방법은 힐버트 공간 내에서 비수축 사상과 역강한 모노톤 연산자의 성질을 활용하여 강수렴을 보장하도록 설계되었다.
• 수렴 분석은 변분부등식 해와 사상 $ P_C(I - \lambda A) $ 의 고정점 간의 동치성에 기반한다.
• 최소화 문제에 적용하기 위해 $ A = \nabla f $ 로 설정하며, 여기서 $ \nabla f $ 는 $ L $-립시츠 연속임을 가정한다.

실험 결과

연구 질문

• RQ1 무한 개의 비수축 사상과 변분부등식 문제를 동시에 해결할 수 있는 새로운 반복 방법을 설계할 수 있는가?
• RQ2 제안된 외거프로젝션 유형 체계가 온건한 매개변수 제약 조건 하에서 강수렴을 달성하는가?
• RQ3 이 방법의 수렴 행동은 망, 피카르, 이시카와 반복과 같은 기존 반복 체계와 비교해 어떻게 다른가?
• RQ4 이 방법은 그래디언트 기반 공식을 통해 볼록 최소화 문제로 확장될 수 있는가?
• RQ5 변분부등식 연산자가 엄격한 준수축 사상에서 유도될 경우 수렴 행동은 어떠한가?

주요 결과

• 제안된 반복 수열은 $ z \in F(T) \cap \Omega $ 로 강수렴한다. 여기서 $ F(T) $ 는 비수축 사상의 고정점 집합이고, $ \Omega $ 는 변분부등식 문제의 해 집합이다.
• 강수렴은 $ \lambda_n \in [a,b] \subset (0,2\alpha) $ 와 $ \alpha_n \in [c,d] \subset (0,1) $ 조건 하에서 보장되며, $ \alpha $ 는 $ A $ 의 역강한 모노톤성 매개변수이다.
• 이 방법은 공통 해 집합이 무한 개의 비수축 사상으로 구성되어 있어도 강수렴을 달성하며, 이는 이전 연구에서의 약수렴 결과에 비해 상당한 개선이다.
• 볼록 최소화 문제에 적용할 경우, $ \nabla f $ 가 $ L $-립시츠 연속이면 $ A = \nabla f $ 로 설정함으로써 $ \text{Argmin}_{x \in C} f(x) $ 의 최소화자로 강수렴이 보장된다. 단, 해 집합이 비어있지 않은 경우에 한한다.
• 비수축 사상과 엄격한 준수축 사상의 쌍에 적용할 경우, 방법은 공통 고정점으로 약수렴하며, 이는 $ F(S) = VI(C, I-S) $ 의 동치성에 의해 수립된다.
• 기존의 피카르, 망, 이시카와 반복과 비교해, 이 방법은 수축의 맥락에서 독립적이고 더 빠르게 수렴함이 입증되었으며, 논문에서 인용된 관련 연구에서 이를 확인할 수 있다.