[논문 리뷰] Existence of fixed points for a particular multifunction

Biagio Ricceri|arXiv (Cornell University)|2010. 01. 25.

Fixed Point Theorems Analysis참고 문헌 2인용 수 3

한 줄 요약

이 논문은 무한차원 반사적 바나흐 공간에서 케이드-클리 성질을 갖는 단위 구면 위의 컴팩트 매핑으로부터 유도된 특정 다중함수에 대한 고정점의 존재성을 확립한다. 상위 반연속 다중함수와 연속 재구성의 조합에 팬-카쿠타니 고정점 정리를 적용하여, 조건 $\inf_{x\in S}\|f(x)\|_{E^*} > 0$ 하에 $\hat{x} \in S$ 가 존재하여 $f(\hat{x})(\hat{x}) = \|f(\hat{x})\|_{E^*}$ 를 만족함을 증명한다.

ABSTRACT

We prove a fixed point theorem for a particular multifunction from the unit sphere of a reflexive Banach space with the Kadec-Klee property into itself.

연구 동기 및 목표

• 반사적 바나흐 공간의 단위 구면에서 연속적 컴팩트 매핑 $f: S \to E^*$ 가 $f(\hat{x})(\hat{x}) = \|f(\hat{x})\|_{E^*}$ 를 만족하는 점 $\hat{x} \in S$ 를 갖는 조건을 확립하기.
• 해당 점의 존재를 보장하기 위해 케이드-클리 성질이 필수적인지 조사하기.
• 반사성, $f$ 의 컴팩트성, 그리고 $\inf_{x\in S}\|f(x)\|_{E^*} > 0$ 의 조건 조합이 해의 존재를 보장함을 보여주기.
• 팬-카쿠타니 정리를 통한 다중함수 프레임워크에서 상위 반연속성과 볼록성의 역할 탐색하기.
• 제시된 조건 하에서 고정점 성질을 보장하기 위해 케이드-클리 성질이 필수적인지 여부를 다루는 더 넓은 문제 제기하기.

제안 방법

• 문제를 다중함수 $\Phi_f(x) = \{y \in S : f(x)(y) = \|f(x)\|_{E^*}\}$ 의 고정점 찾기로 변환함.
• 다중함수 $\Psi: E^* \setminus \{0\} \to 2^S$ 를 $\Psi(\varphi) = \{x \in S : \varphi(x) = \|\varphi\|_{E^*}\}$ 로 정의하고, 약한 수렴과 케이드-클리 성질을 이용해 그 상위 반연속성을 증명함.
• 에버라인–스무리안 정리를 사용하여, 케이드-클리 성질 하에서 $S$ 의 약한 컴팩트 부분집합이 노름 컴팩트임을 보이며, $\varphi \neq 0$ 일 때 $\Psi(\varphi)$ 가 컴팩트임을 보장함.
• 닫힌 단위구 $B$ 에 대해 $\omega(x) = x$ for $x \in S$ 를 만족하는 재구성 $\omega: B \to S$ 를 이용하여, 컴팩트 볼록 집합 $Y$ 위에서 $G(x) = \Psi(f(\omega(x)))$ 를 정의함.
• 상위 반연속 다중함수 $G: Y \to 2^Y$ 가 비어 있지 않고, 닫혀 있으며 볼록한 값을 갖는다는 점을 이용해 팬-카쿠타니 고정점 정리를 적용하여, $\hat{x} \in Y$ 가 존재하여 $\hat{x} \in G(\hat{x})$ 를 만족함을 확보함.
• $\hat{x} \in S$ 이면 $\omega(\hat{x}) = \hat{x}$ 이므로 $\hat{x} \in \Phi_f(\hat{x})$ 가 되며, 이는 원하는 등식을 만족함을 유도함.

실험 결과

연구 질문

• RQ1 반사적 바나흐 공간 $E$ 에 대해, $\inf_{x\in S}\|f(x)\|_{E^*} > 0$ 를 만족하는 모든 컴팩트 매핑 $f: S \to E^*$ 가 $f(\hat{x})(\hat{x}) = \|f(\hat{x})\|_{E^*}$ 를 만족하는 점 $\hat{x} \in S$ 를 갖는 조건은 무엇인가?
• RQ2 만약 $E$ 가 무한차원이면서 반사적이라면, 이러한 고정점의 존재를 보장하기 위해 케이드-클리 성질이 필수적인가?
• RQ3 반사성과 케이드-클리 성질이 있더라도, $f$ 의 컴팩트성이 없을 경우 고정점 성질을 보장할 수 있는가?
• RQ4 노름을 도달하는 다중함수 $\Psi$ 의 상위 반연속성은 존재 증명에서 어떤 역할을 하는가?
• RQ5 재구성 $\omega: B \to S$ 가 $S$ 에서 $\omega(x) = x$ 를 만족한다면, 이는 이 설정에서 고정점 정리의 적용을 가능하게 하는가?

주요 결과

• 논문은 $E$ 가 무한차원 반사적 실수 바나흐 공간이며 케이드-클리 성질을 갖는다 하면, $f: S \to E^*$ 가 컴팩트이고 $\inf_{x\in S}\|f(x)\|_{E^*} > 0$ 이면, $f(\hat{x})(\hat{x}) = \|f(\hat{x})\|_{E^*}$ 를 만족하는 $\hat{x} \in S$ 가 존재함을 증명한다.
• 다중함수 $\Psi: E^* \setminus \{0\} \to 2^S$ 를 $\Psi(\varphi) = \{x \in S : \varphi(x) = \|\varphi\|_{E^*}\}$ 로 정의할 때, 이는 상위 반연속임을 보이며, 이는 증명의 핵심 단계이다.
• 케이드-클리 성질과 반사성 덕분에, $K = \overline{f(S)}$ 가 0을 포함하지 않는 컴팩트 집합이라면 $\Psi(K)$ 는 $S$ 내에서 컴팩트이다.
• 합성 $G(x) = \Psi(f(\omega(x)))$ 는 비어 있지 않고, 닫혀 있으며 볼록한 값을 갖는 컴팩트 볼록 집합 $Y$ 에 값이 있는 상위 반연속 다중함수를 정의한다.
• 팬-카쿠타니 고정점 정리는 $\hat{x} \in Y$ 가 존재하여 $\hat{x} \in G(\hat{x})$ 를 만족함을 보장하며, $\hat{x} \in S$ 이므로 $\hat{x} \in \Phi_f(\hat{x})$ 를 만족함을 유도한다.
• 논문은 무한차원성 또는 $f$ 의 컴팩트성 조건을 제거하면 결과가 성립하지 않음을 보여주는 반례를 제시하며, 조건 (1) 이 필수적임을 보여준다.