[논문 리뷰] A Borsuk-Ulam Type Generalization of the Leray-Schauder Fixed Point Theorem

Anatoliy K. Prykarpatsky|ArXiv.org|2009. 02. 25.

Functional Equations Stability Results참고 문헌 13인용 수 8

한 줄 요약

이 논문은 무한차원 바나흐 공간에서 레일리-슐라더 고정점 정리의 일반화를 위해 무한차원 보르수-울람 유형의 반대점 구성 기반으로 수행한다. 바나흐 공간의 단위 구면에서 $\tilde{a}$-컴팩트 매핑에 대한 고정점 존재성을 증명하기 위해, 닫힘과 전사인 선형 연산자의 다중값역함수에 대한 연속적이고 기함수적인 선택을 구성함으로써, 적절히 임bed된 바나흐 공간 프레임워크 내에서 보르수-울람 유형의 추론을 통해 고정점을 증명한다.

ABSTRACT

A generalization of the classical Leray-Schauder fixed point theorem, based on the in finite- dimensional Borsuk-Ulam type antipode construction, is proposed. Two completely different proofs based on the projection operator approach and on a weak version of the well known Krein-Milman theorem are presented.

연구 동기 및 목표

• 고전적인 레일리-슐라더 고정점 정리를 보르수-울람 유형의 위상적 원리에 기반하여 무한차원 설정으로 확장하는 것.
• 바나흐 공간의 단위 구면에서 정의된 $\tilde{a}$-컴팩트 매핑에 대한 고정점 존재성을 확립하는 것.
• 닫힘과 전사인 선형 연산자 $\tilde{a}$의 다중값역함수에 대해 연속적이고 기함수적인 선택 $s: E_2 \to E_1$를 구성함으로써 유계 노름 제어를 보장하는 것.
• 위상수학적 차수와 컴팩턴스 추론을 통해 단위 구면에서 $\tilde{a}x = f(x)$ 형태의 연산자 방정식의 해 존재성을 증명하는 것.
• 두 가지 다른 증명—한 가지는 사영 연산자에 기반하고 다른 하나는 약한 크라인-밀만 정리에 기반—을 제공함으로써 결과의 이론적 기반을 강화하는 것.

제안 방법

• 단위 구간 $\tilde{E}_1 = E_1 / \text{Ker}(\tilde{a})$ 상에서 닫힘과 전사인 선형 연산자 $\tilde{a}: \tilde{E}_1 \to E_2$ 를 정의하여 $\tilde{a}^{-1}$ 가 존재하고 유계이며 노름 $k(\tilde{a}) < \infty$ 를 만족시키도록 한다.
• 모든 $k_s > k(\tilde{a})$ 에 대해 $\tilde{a}(s(y)) = y$ 이고 $\norm{s(y)}_1 \triangleq k_s \norm{y}_2$ 를 만족하는 연속적이고 기함수적인 사상 $s: E_2 \to E_1$ 를 구성한다.
• 문제를 바나흐 공간 $E_1 = l_1(\bbZ_+;\bbR) \times \bbR$ 와 $E_2 = l_1(\bbZ_+;\bbR)$ 에 임베딩하며, 단위 구면 $S_1(0) \triangleq \big\{ (\bblambda, \tau) \big\} \text{ with } \norm{\bblambda}_1 + |\tau| = 1$ 을 정의한다.
• 단위 구내에서의 연속적이고 컴팩트한 자기사상인 $\bar{F}_s$ 를 이용해 $f: S_1(0) \to \bar{B}_1(0) \times \bbR$ 를 $f(\bblambda, \tau) = \bar{F}_s(\bblambda)$ 로 정의한다.
• 단위 구면 $S_1(0)$ 에서 $\text{dim}(\text{Ker}(\tilde{a})) = 1$ 인 조건 하에 보르수-울람 유형의 추론을 적용하여 $\bar{F}_s$ 의 고정점 존재성을 유도한다.
• $\bar{F}_s$ 의 고정점과 원래 방정식 $\tilde{a}x = f(x)$ 의 해 사이의 등가성을 확립함으로써 일반화된 레일리-슐라더 정리를 증명한다.

실험 결과

연구 질문

• RQ1 고전적인 레일리-슐라더 고정점 정리는 보르수-울람 유형의 위상적 원리에 기반하여 무한차원 바나흐 공간으로 일반화될 수 있는가?
• RQ2 $\tilde{a}$-컴팩트 매핑 $f: D(f) \to E_2$ 가 단위 구면 $S_r(0)$ 상에서 정의될 때, $E_1$ 내에 고정점이 존재할 조건은 무엇인가?
• RQ3 연속적이고 기함수적인 선택 $s: E_2 \to E_1$ 가 존재하여 $\tilde{a}(s(y)) = y$ 이고 $\norm{s(y)}_1 \triangleq k_s \norm{y}_2$ 를 만족시키며, $k_s > k(\tilde{a})$ 를 만족시키는가?
• RQ4 단위 구면에서 컴팩트 매핑 $\bar{F}_s: \bar{B}_1(0) \to \bar{B}_1(0)$ 의 고정점 존재성은 $\tilde{a}x = f(x)$ 의 해 존재성과 어떻게 연결되는가?
• RQ5 이 일반화된 고정점 정리가 고정 경계 조건을 가진 미분 및 연산자 방정식의 해 존재성에 미치는 영향은 무엇인가?

주요 결과

• 논문은 다중값역함수 $\tilde{a}^{-1}$ 에 대해 연속적이고 기함수적인 선택 $s: E_2 \to E_1$ 가 존재함을 증명하며, 이는 $\tilde{a}(s(y)) = y$ 이고 $\norm{s(y)}_1 \triangleq k_s \norm{y}_2$ 를 만족하며, 모든 $k_s > k(\tilde{a})$ 에 대해 성립한다. 여기서 $k(\tilde{a}) = \norm{\tilde{a}^{-1}} < \infty$ 이다.
• 일반화된 레일리-슐라더 고정점 정리가 성립한다: $f: D(f) \to E_2$ 가 $\tilde{a}$-컴팩트이고 $\norm{f(y)}_2 \triangleq k_f^{-1} r$ 를 만족하며, $y \triangleq x$ 이고 $\norm{x}_1 = r$ 라면, 단위 구면 $S_r(0)$ 상에 해 $x \triangleq \tilde{a}^{-1}f(x)$ 가 존재한다.
• $\bar{F}_s: \bar{B}_1(0) \to \bar{B}_1(0)$ 의 고정점 문제는 원래 방정식 $\tilde{a}x = f(x)$ 의 해와 등가이며, 이 해는 단위 구면 $S_1(0)$ 상에서의 보르수-울람 유형의 추론에 의해 유도된다.
• 선택의 기함수성과 연속성, 그리고 여명도 차원에서의 위상적 비자명성 덕분에 해 집합 $N(\tilde{a}, f) \neq \nul$ 이 보장된다.
• 두 가지 다른 증명이 제시된다: 하나는 사영 연산자에 기반하고 다른 하나는 크라인-밀만 정리의 약한 형태에 기반하며, 둘 다 제시된 조건 하에서 고정점 존재성을 확인한다.
• 결과는 특히 고정 경계 조건을 가진 미분 및 적분 방정식에서 발생하는 연산자 방정식의 해를 구하기 위한 위상적 기반을 제공하며, 이를 보르수-울람 유형의 프레임워크에 통합함으로써 가능하게 한다.