[论文解读] Singular points of non-monotone potential operators

Biagio Ricceri|arXiv (Cornell University)|Jun 4, 2014

Optimization and Variational Analysis参考文献 7被引用 4

一句话总结

本文在特定条件下——如非单调性、泛函能量的序列弱下半连续性以及扰动的强制性——证明了在无限维一致凸巴拿赫空间上，非单调势算子的奇点集不是σ-紧的。其关键贡献在于利用近期提出的极大极小定理，克服了早期方法在限制上的不足。

ABSTRACT

In this paper, we establish some results about the singular points of certain non-monotone potential operators. Here is a sample: If $X$ is an infinite-dimensional reflexive real Banach space and if $T:X o X^*$ is a non-monotone, closed, continuous potential operator such that the functional $x o \int_0^1T(sx)(x)ds$ is sequentially weakly lower semicontinuous and $\lim_{\|x\| o +\infty}(\int_0^1T(sx)(x)ds+φ(x))=+\infty$ for all $φ\in X^*$, then the set of all singular points of $T$ is not $σ$-compact.

研究动机与目标

• 研究无限维一致凸巴拿赫空间上非单调势算子奇点的拓扑结构。
• 通过移除早期极大极小定理中要求某一变量取值于实区间这一限制，拓展先前关于奇点的研究结果。
• 建立奇点集及其在算子下像均非σ-紧的条件。
• 分析希尔伯特空间设定下谱性质、弗雷德霍尔姆指标与非单调性之间的关系。
• 为超出以往工作范围的加权特征值问题提供可适用的理论框架。

提出的方法

• 以定理A（关于具有σ-紧奇点集的闭算子）和定理B（关于指标为零的弗雷德霍尔姆算子且奇点集离散）作为基础工具。
• 应用近期提出的极大极小定理（[4]中的定理C，即定理3.2），该定理无需对变量取值范围施加区间限制，从而具备更广的适用性。
• 采用泛函 $ J_T(x) = \int_0^1 T(sx)(x)\,ds $，其为 $ C^1 $ 类，且盖伊奥导数等于 $ T $，以此定义势算子。
• 将 $ J_T $ 的序列弱下半连续性与 $ J_T + \varphi $ 对所有 $ \varphi \in X^* $ 的强制性作为关键泛函假设。
• 局部应用反函数定理，表明当 $ T'(x) $ 不可逆时，该点为奇点，并将 $ \tilde{S}_{T|_{X\setminus B}} $ 定义为所有此类点的集合。
• 建立非单调性、谱中存在负特征值以及方程 $ T'(x)(y) = \mu y $ 解集的聚点之间的等价关系。

实验结果

研究问题

• RQ1 在何种条件下，非单调势算子的奇点集不是σ-紧的？
• RQ2 对所有 $ \varphi \in X^* $，$ J_T + \varphi $ 的强制性与 $ T $ 的非单调性如何共同影响奇点的结构？
• RQ3 当 $ T $ 在一个σ-紧集 $ B $ 外为 $ C^1 $ 时，是否可证明 $ \tilde{S}_{T|_{X\setminus B}} $ 非σ-紧？
• RQ4 在维数至少为3的希尔伯特空间上，紧致 $ C^1 $ 势算子的非单调性由何种谱条件刻画？
• RQ5 来自[4]的新极大极小定理如何使结论强于依赖于定理A与B及旧式极大极小工具的早期结果？

主要发现

• 若 $ X $ 为无限维空间，$ T $ 为闭算子，非单调，$ J_T $ 为序列弱下半连续，且对所有 $ \varphi \in X^* $，$ J_T + \varphi $ 强制，则 $ S_T $ 非σ-紧。
• 在相同假设下，$ T(S_T) $ 同样非σ-紧。
• 若 $ T $ 在闭的σ-紧集 $ B $ 外为 $ C^1 $，则 $ \tilde{S}_{T|_{X\setminus B}} $ 非σ-紧。
• 对于维数 ≥3 的希尔伯特空间上紧致 $ C^1 $ 势算子，非单调性等价于存在 $ \mu < 0 $ 使得 $ A_\mu \neq \emptyset $，且对每个 $ \mu \in ]\tilde{\mu}, 0[ $，集合 $ A_\mu $ 包含聚点。
• 集合 $ \Gamma = \{(x,y) : \langle T'(x)(y), y \rangle < 0 \} $ 非空，当且仅当 $ T $ 非单调。
• 证明依赖于一项新极大极小定理，该定理避免了早期结果中对变量区间限制的缺陷，从而在非单调设定下得出了更强的结论。