[논문 리뷰] Generalized Projection Operators in Banach Spaces: Properties and Applications

Ya. I. Alber|ArXiv.org|1993. 11. 25.

Optimization and Variational Analysis인용 수 74

한 줄 요약

이 논문은 바나흐 공간에서 메트릭 프로젝션의 유리한 성질인 비확장성과 강한 모노톤성 등을 유지하는 일반화된 프로젝션 연산자를 도입한다. 이러한 성질은 일반적으로 바나흐 공간에서는 상실된다. 이 연산자를 사용한 반복 방법에 대한 수렴 정리를 수립하며, 등가 정리와 라플라스 유형 부등식을 통해 변분부등식과 위너-홉프 방정식에 대해 강한 수렴을 증명함으로써, 힐버트 공간 외의 설정에서도 안정적인 수치적 해법을 가능하게 한다.

ABSTRACT

This paper is an account (without proofs) of the results of our work "Metric and Generalized Projection Operators in Banach Spaces: Properties and Applications", funct-an/9311001. The Section 9 establishing a connection between variational inequalities and Wienner-Hopf equations in Banach spaces by means of metric and generalized projection operators, is added.

연구 동기 및 목표

• 바나흐 공간 내에서 메트릭 프로젝션의 비확장성과 강한 모노톤성의 부재로 인한 반복 방법의 수렴 장애를 해결하기 위해.
• 힐베르트 공간 프로젝션의 핵심 성질을 유지하는 바나흐 공간 내 일반화된 프로젝션 연산자 Π_Ω를 정의하기 위해.
• 일반화된 프로젝션을 포함한 연산자 방정식과 변분부등식 간의 등가성을 수립하여 안정적인 반복 해법을 가능하게 하기 위해.
• 바나흐 공간 내에서 변분부등식과 연산자 방정식을 해결하기 위한 일반화된 프로젝션 기반 반복 과정의 강한 수렴성을 증명하기 위해.

제안 방법

• 절댓값 최적 근사화 성질을 보장하기 위해 라플라스 함수 ϕ(t)를 사용하여 바나흐 공간 B에서 Ω ⊂ B로의 일반화된 프로젝션 연산자 Π_Ω: B → Ω를 도입한다.
• Π_Ω = π_ΩJ를 관계로 정의하며, 여기서 π_Ω는 쌍대 공간 내의 프로젝션이고, J는 정규화된 쌍대 사상이다.
• Π_Ω를 포함한 변분부등식과 위너-홉프 방정식 간의 등가성을 수립하여, 수렴하지 않는 메트릭 프로젝션 기반 반복을 대체한다.
• 변분부등식을 해결하기 위한 반복 체계 x_{n+1} = Π_ΩJ*(Jx_n - α_n(Ax_n - f))의 강한 수렴성을 증명한다.
• 수렴을 보장하기 위해 ϕ(||P_Ωx - ξ||) ≤ ϕ(||x - ξ||) - ϕ(||P_Ωx - x||) 형태의 라플라스 유형 부등식을 사용한다.
• 균일 볼록성 및 균일 미분 가능성의 모듈러스를 사용하여 바나흐 공간 내 메트릭 프로젝션의 균일 연속성에 대한 정량적 추정을 제공한다.

실험 결과

연구 질문

• RQ1 바나흐 공간에서 힐베르트 공간의 메트릭 프로젝션과 유사한 수렴성 및 안정성 성질을 갖는 일반화된 프로젝션 연산자를 구성할 수 있는가?
• RQ2 바나흐 공간 내에서 변분부등식에 대한 일반화된 프로젝션 기반 반복 방법의 강한 수렴성을 보장하는 조건은 무엇인가?
• RQ3 바나흐 공간 내 변분부등식은 일반화된 프로젝션을 포함한 연산자 방정식으로 어떻게 등가적으로 재구성할 수 있는가?
• RQ4 균일 볼록성 및 균일 미분 가능성을 갖는 바나흐 공간 내에서 메트릭 프로젝션의 균일 연속성 행동은 어떠한가?
• RQ5 바나흐 공간 내 메트릭 프로젝션의 비확장성 실패 문제를 새로운 연산자 프레임워크로 극복할 수 있는가?

주요 결과

• 일반화된 프로젝션 연산자 Π_Ω는 메트릭 프로젝션이 실패할 수 있는 바나흐 공간 내 변분부등식을 해결하기 위한 반복 과정의 강한 수렴성을 보장한다.
• 모든 ξ ∈ Ω에 대해 ϕ(||Π_Ωx - ξ||) ≤ ϕ(||x - ξ||) - ϕ(||Π_Ωx - x||) 부등식이 성립하며, 이때 ϕ(t) = t^2 이므로 이는 절대적으로 최적 근사화를 의미한다.
• 변분부등식과 위너-홉프 방정식 간의 새로운 등가 정리가 도출되어, Π_Ω를 포함한 수렴 가능한 반복 체계를 가능하게 한다.
• 반복 과정 x_{n+1} = Π_ΩJ*(Jx_n - α_n(Ax_n - f))는 변분부등식의 해로 강하게 수렴한다.
• 균일 볼록성 및 균일 미분 가능성의 모듈러스를 사용하여 메트릭 프로젝션의 균일 연속성에 대한 정량적 추정을 도출하였으며, 이는 g_B^{-1} 및 δ_B^{-1}을 포함한 경계를 갖는다.
• 일반화된 프로젝션 연산자 Π_Ω는 힐베르트 공간 내 메트릭 프로젝션의 자연스러운 확장임이 입증되었으며, 계산 난이도는 동일하다.