[论文解读] A Borsuk-Ulam Type Generalization of the Leray-Schauder Fixed Point Theorem

Anatoliy K. Prykarpatsky|ArXiv.org|Feb 25, 2009

Functional Equations Stability Results参考文献 13被引用 8

一句话总结

本文通过在无限维巴拿赫空间中采用一种类Borsuk-Ulam的对径构造，推广了Leray-Schauder不动点定理。通过在适当嵌入的巴拿赫空间框架中，利用闭的、满射线性算子的多值逆的连续奇性选择，证明了在巴拿赫空间单位球面上，$\tilde{a}$-紧映射的不动点存在性，其核心论证基于类Borsuk-Ulam的拓扑方法。

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.

研究动机与目标

• 通过类Borsuk-Ulam的拓扑原理，将经典的Leray-Schauder不动点定理推广至无限维设定。
• 在巴拿赫空间的单位球面上，建立$\tilde{a}$-紧映射的不动点存在性。
• 构造闭的、满射线性算子$\tilde{a}$的多值逆的连续奇性选择$s: E_2 \to E_1$，并确保其有界范数控制。
• 通过拓扑度与紧性论证，证明算子方程$\tilde{a}x = f(x)$在单位球面上解的存在性。
• 提供两种不同的证明——一种基于投影算子，另一种基于弱Krein-Milman定理——从而强化该结果的理论基础。

提出的方法

• 在商空间$\tilde{E}_1 = E_1 / \text{Ker}(\tilde{a})$上定义一个闭的、满射的线性算子$\tilde{a}: \tilde{E}_1 \to E_2$，确保$\tilde{a}^{-1}$存在且有界，其范数$k(\tilde{a}) < \infty$。
• 构造一个连续奇映射$s: E_2 \to E_1$，使得$\tilde{a}(s(y)) = y$，且对任意$k_s > k(\tilde{a})$，有$\norm{s(y)}_1 \triangleq k_s \norm{y}_2$。
• 将问题嵌入巴拿赫空间$E_1 = l_1(\bbZ_+;\bbR) \times \bbR$和$E_2 = l_1(\bbZ_+;\bbR)$中，单位球面定义为$S_1(0) \triangleq \big\{ (\bblambda, \tau) \big\} \text{ 满足 } \norm{\bblambda}_1 + |\tau| = 1$。
• 通过$f(\bblambda, \tau) = \bar{F}_s(\bblambda)$定义映射$f: S_1(0) \to \bar{B}_1(0) \times \bbR$，其中$\bar{F}_s$是$l_1(\bbZ_+;\bbR)$中单位球上的紧致连续自映射。
• 在$\text{dim}(\text{Ker}(\tilde{a})) = 1$的条件下，对球面$S_1(0)$使用类Borsuk-Ulam的论证，推导出$\bar{F}_s$的不动点存在性。
• 建立$\bar{F}_s$的不动点与原方程$\tilde{a}x = f(x)$在单位球面上解之间的等价性，从而证明推广的Leray-Schauder定理。

实验结果

研究问题

• RQ1 能否通过类Borsuk-Ulam的拓扑原理，将经典的Leray-Schauder不动点定理推广至无限维巴拿赫空间？
• RQ2 在单位球面$S_r(0)$上定义的$\tilde{a}$-紧映射$f: D(f) \to E_2$在$E_1$中何时存在不动点？
• RQ3 能否构造一个连续奇性选择$s: E_2 \to E_1$，使得$\tilde{a}^{-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$，且对任意$k_s > k(\tilde{a})$，有$\norm{s(y)}_1 \triangleq k_s \norm{y}_2$，其中$k(\tilde{a}) = \norm{\tilde{a}^{-1}} < \infty$。
• 推广的Leray-Schauder不动点定理成立：若$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_r(0)$上的解等价，该解由球面$S_1(0)$上的类Borsuk-Ulam论证导出。
• 该构造确保解集$N(\tilde{a}, f) \neq \nul$，原因在于选择的奇性与连续性，以及余维数为一的球面的拓扑非平凡性。
• 提供了两种不同的证明：一种基于投影算子，另一种基于Krein-Milman定理的弱形式，两者均在给定条件下确认了不动点的存在性。
• 该结果为在巴拿赫空间中求解算子方程提供了拓扑基础，特别是对于具有固定边界条件的微分与积分方程，通过将其嵌入类Borsuk-Ulam的框架中。