[논문 리뷰] Maximal monotonicity, conjugation and the duality product in non-reflexive Banach spaces

M. Marques Alves, B. F. Svaiter|ArXiv.org|2008. 09. 23.

Optimization and Variational Analysis참고 문헌 10인용 수 17

한 줄 요약

이 논문은 피츠제러드의 최대 단조 연산자에 대한 표현 이론을 비반사 바나흐 공간으로 확장한다. 하한으로 쌍대 곱을 갖는 볼록 함수가 최대 단조 연산자를 나타내는 조건을 규명한다. 만약 볼록이고 하측연속인 함수 h가 모든 (x,x*) ∈ X×X*에 대해 h(x,x*) ≥ ⟨x,x*⟩ 및 h*(x*,x) ≥ ⟨x,x*⟩를 만족하면, T = {(x,x*) | h(x,x*) = ⟨x,x*⟩}는 최대 단조 연산자가 되며, 이는 도메인의 정규성 조건 하에 이전의 반사 공간 결과를 비반사 공간으로 일반화한다.

ABSTRACT

Maximal monotone operators on a Banach space into its dual can be represented by convex functions bounded below by the duality product. It is natural to ask under which conditions a convex function represents a maximal monotone operator. A satisfactory answer, in the context of reflexive Banach spaces, has been obtained some years ago. Recently, a partial result on non-reflexive Banach spaces was obtained. In this work we study some others conditions which guarantee that a convex function represents a maximal monotone operator in non-reflexive Banach spaces.

연구 동기 및 목표

• 반사 바나흐 공간에서 최대 단조 연산자의 볼록 함수에 의한 특성화를 비반사 바나흐 공간으로 일반화하는 것.
• 비반사 설정에서 X×X* 상의 볼록 함수가 최대 단조 연산자를 나타내는 필수 및 필요조건을 규명하는 것.
• 비반사 공간에서 최소 함수가 피츠제러드 가족 내에서 최대 단조 연산자에 해당하는지 여부에 대한 열린 질문을 다루는 것.
• h의 도메인에 대한 정규성 조건을 설정하여, h의 수준집합을 통한 최대 단조성의 표현을 확보하는 것.

제안 방법

• 최대 단조 연산자를 볼록 해석을 통해 특성화하기 위해 피츠제러드 함수 φ_T와 그 쌍대를 사용한다.
• 펜켈-레지온드르 쌍대와 쌍대 곱 π(x,x*) = ⟨x,x*⟩를 적용하여 π로 하한을 갖는 함수의 클래스를 정의한다.
• 변환 J: h ↦ h*를 도입하여 피츠제러드 가족 F_T를 자신 안에 유지하며, 표현 성질을 보존한다.
• 도메인 정규성 조건을 부과한다: λ>0에 대해 λ·Pr_X(D(h))의 합집합이 X의 닫힌 부분공간이 되도록 하여, 하위수준집합의 닫힘을 보장한다.
• 페를레-영 부등식과 최소합(convolution) 기법을 사용하여 h와 그 쌍대 간의 쌍대 관계를 유도한다.
• h의 에피그래프의 닫힘과 하위수준집합의 약한* 닫힘을 이용하여 유도된 연산자의 최대성과 단조성을 확보한다.

실험 결과

연구 질문

• RQ1 X×X* 상의 볼록 함수 h에 대해, T = {(x,x*) | h(x,x*) = ⟨x,x*⟩}가 비반사 바나흐 공간에서 최대 단조 연산자를 정의하는 조건은 무엇인가?
• RQ2 피츠제러드 함수를 통한 최대 단조성 특성화를 반사가 아닌 바나흐 공간으로 확장할 수 있는가? 이 경우 더 강력한 조건 h*(x*,x**) ≥ ⟨x*,x**⟩ (x** ∈ X**)가 필요로 하지 않는가?
• RQ3 쌍대 곱으로 하한을 갖는 볼록 함수의 가족 내에서 최소 원소 g가 반드시 비반사 공간에서 어떤 최대 단조 연산자 T에 대한 피츠제러드 함수 φ_T인가?
• RQ4 h의 도메인에 어떤 정규성 조건이 성립하면, 하위수준집합 {(x,x*) | h(x,x*) = ⟨x,x*⟩}가 최대 단조 연산자가 되는가?

주요 결과

• 모든 (x,x*) ∈ X×X*에 대해 h(x,x*) ≥ ⟨x,x*⟩ 및 h*(x*,x) ≥ ⟨x,x*⟩를 만족하는 볼록이고 하측연속인 함수 h는 비반사 바나흐 공간에서 T = {(x,x*) | h(x,x*) = ⟨x,x*⟩}로 정의된 최대 단조 연산자를 생성한다.
• 피츠제러드 함수 φ_T는 가족 F_T 내에서 가장 작은 함수이며, 변환 J는 F_T 내의 소속성을 유지하므로 h가 하측연속이면 h ∈ F_T임을 보장한다.
• 논문은 g가 쌍대 곱으로 하한을 갖는 볼록 함수의 가족의 최소 원소이고, λ>0에 대해 λ·Pr_X(D(g))의 합집합이 X의 닫힌 부분공간이면, g = φ_T를 만족하는 어떤 최대 단조 연산자 T가 존재함을 증명한다.
• 도메인 정규성 조건은 h의 하위수준집합이 강한 위상에서 닫혀 있음을 보장하며, 이는 비반사 공간에서 최대성에 있어 필수적이다.
• 논문은 마르티네스-레가즈와 스바이터의 열린 질문의 부분적 사례를 해결하며, 도메인 정규성 조건 하에 쌍대 곱으로 하한을 갖는 볼록 함수의 가족 내 최소 함수가 반드시 피츠제러드 함수임을 보여준다.
• 논문은 반사 공간에서의 정리 1.2(부라치크와 스바이터)를 비반사 공간으로 일반화하며, 더 강력한 조건 h*(x*,x**) ≥ ⟨x*,x**⟩를 약한 조건 h*(x*,x) ≥ ⟨x,x*⟩와 도메인 정규성 가정으로 대체한다.