[논문 리뷰] A maximal monotone operator of type (D) which maximal monotone extension to the bidual is not of type (D)

F. Svaiter|arXiv (Cornell University)|2011. 03. 02.

Holomorphic and Operator Theory참고 문헌 5인용 수 3

한 줄 요약

이 논문은 바이디얼로의 확장을 통해 유형 (D)를 유지하지 못하는 선형 최대 단조 연산자 가족을 구성한다. 구체적인 예를 제시함으로써, 유형 (D)인 성질이 바이디얼 확장에 대해 안정적이지 않음을 입증하며, 단조 연산자 이론에서 이전에 가정된 닫힘 성질에 도전한다.

ABSTRACT

We define a family of linear type (D) operators for which the inverse of their maximal monotone extensions to the bidual are not of type (D) and provide an example of an operator in this family.

연구 동기 및 목표

• 최대 단조 연산자의 유형 (D) 성질이 바이디얼 공간으로의 확장 과정에서 유지되는지 여부를 조사한다.
• 바나흐 공간 내에서 유형 (D)인 최대 단조 연산자의 확장이 바이디얼에서 유형 (D)로 유지되지 않는 조건을 규명한다.
• 원래 공간에서 선형 최대 단조이자 유형 (D)인 연산자이지만, 바이디얼 확장이 유형 (D)가 되지 않는 구체적인 예를 구성한다.

제안 방법

• 저자들은 특정 바나흐 공간에서 작용하는 일차 파라미터 가중 연산자 가족을 정의하여, 원래 공간 내에서 최대 단조이자 유형 (D)임을 보장한다.
• 바이디얼 공간의 구조를 분석하고, 연산자를 자연스럽게 이 더 큰 공간으로 확장한다.
• 쌍대성과 단조성의 논증을 사용하여, 확장된 연산자가 최대 단조임을 확인하지만 바이디얼 공간에서는 유형 (D) 조건을 만족하지 못함을 입증한다.
• 이 구성은 예비공간의 성질과 밀도 있는 부분공간에서의 연산자 행동에 기반한다.
• 핵심 기술적 단계는 원래 연산자가 유형 (D)임에도 불구하고 바이디얼 확장의 역행렬이 유형 (D)가 아님을 보이는 것이다.

실험 결과

연구 질문

• RQ1 모든 바나흐 공간 내 최대 단조 연산자 중 유형 (D)인 자료가 바이디얼 공간으로의 확장도 역시 유형 (D)인가?
• RQ2 선형 최대 단조 연산자 중 유형 (D)인 자료가 바이디얼 확장은 최대 단조이지만 유형 (D)가 아닌가?
• RQ3 원래 연산자 또는 그 정의역의 어떤 구조적 성질이 바이디얼에서의 유형 (D) 성질 유지 또는 저해를 보장하는가?

주요 결과

• 바나흐 공간 내에서 선형 최대 단조이자 유형 (D)인 연산자 가족이 명시적으로 구성된다.
• 이러한 연산자의 바이디얼 공간으로의 최대 단조 확장이 존재하며, 여전히 최대 단조임을 보여준다.
• 원래 연산자가 유형 (D)임에도 불구하고 바이디얼 확장의 역행렬은 유형 (D)가 아니다.
• 바이디얼 확장이 유형 (D) 성질을 유지하지 못하는 구체적인 예가 제공된다.
• 결과적으로 유형 (D) 성질이 바이디얼 확장에 대해 불변이 아니며, 단조 연산자 이론에서 오랫동안 남아있던 질문을 해결한다.