[论文解读] Sublevel sets and global minima of coercive functionals and local minima of their perturbations

Biagio Ricceri|arXiv (Cornell University)|Feb 26, 2004

Optimization and Variational Analysis参考文献 24被引用 40

一句话总结

本文建立了一种用于判断在拟自反巴拿赫空间上扰动强制泛函存在多个局部极小值的拓扑准则。通过分析泛函 $Ψ$ 的下水平集的弱拓扑，证明了若 $Ψ^{-1}((-∞,r))$ 的弱闭包有 $k$ 个连通分支，则当 $\lambda > 0$ 足够小时，$Ψ + \lambda\Phi$ 至少有 $k$ 个局部极小值，从而将变分原理推广至非线性偏微分方程与积分方程中解的多重性检测。

ABSTRACT

The aim of the present paper is essentially to prove that if $Φ$ and $Ψ$ are two sequentially weakly lower semicontinuous functionals on a reflexive real Banach space and if $Ψ$ is also continuous and coercive, then then following conclusion holds: if, for some $r > \inf_X Ψ$, the weak closure of the set $Ψ^{-1}(]-\infty, r[)$ has at least $k$ connected components in the weak topology, then, for each $λ> 0$ small enough, the functional $Ψ+ λΦ$ has at least $k$ local minima lying in $Ψ^{-1}(]-\infty, r[)$.

研究动机与目标

• 通过将 $\Psi + \lambda\Phi$ 的局部极小值数量与 $\Psi$ 的下水平集的拓扑结构相联系，改进已知的变分原理。
• 基于下水平集弱闭包中连通分支的数量，提供存在多个局部极小值的充分条件。
• 将抽象结果应用于狄利克雷问题与能量泛函，特别分析全局极小化子与下水平集的连通性。
• 探讨泛函的全局极小化子集合是否可以为非平凡连通（例如，非单点集或线段），并提出开放问题。

提出的方法

• 引入由弱拓扑与 $\Psi$ 的下水平集生成的拓扑 $\tau_\Psi$，在更精细的拓扑框架下分析局部极小值。
• 证明：若 $\Psi^{-1}((-∞,\rho))$ 的弱闭包有 $k$ 个连通分支，且每个分支均与 $\Phi$ 的定义域内部相交，则当 $\lambda > 0$ 足够小时，$\Psi + \lambda\Phi$ 在 $\tau_\Psi$ 拓扑下有 $k$ 个局部极小值。
• 利用序列紧性与下半连续性，确保在下水平集闭包的每个连通分支内存在极小化子。
• 将抽象结果应用于具体泛函：$\Psi_f$（狄利克雷问题的能量泛函），证明其强制性与导数的非扩张性。
• 通过构造满足 $\Psi + \lambda\Phi$ 至多有一个局部极小值的泛函 $\Phi$，反推 $\Psi$ 的下水平集的拓扑性质。
• 利用帕莱斯-斯梅尔条件与临界点理论，在 $f$ 满足特定凸性与单调性假设时，确保紧性与临界点的唯一性。

实验结果

研究问题

• RQ1 在何种下水平集的拓扑条件下，强制泛函 $\Psi$ 的扰动泛函 $\Psi + \lambda\Phi$ 对于足够小的 $\lambda > 0$ 具有多个局部极小值？
• RQ2 强制泛函 $\Psi$ 的全局极小化子集合是否可能既非单点集也非线段？若可能，其条件为何？
• RQ3 狄利克雷问题的能量泛函 $\Psi_f$ 的下水平集是否弱连通？其与 $f$ 的结构有何关联？
• RQ4 在 $f$ 满足特定增长与凸性条件时，泛函 $\Psi_f$ 是否可能具有非绝对局部极小值？
• RQ5 $J_f'$ 的非扩张性在保证下水平集连通性与临界点唯一性方面起何作用？

主要发现

• 若 $\Psi^{-1}((-∞,\rho))$ 的弱闭包有 $k$ 个连通分支，且每个分支均与 $\Phi$ 的定义域内部相交，则对所有足够小的 $\lambda > 0$，$\Psi + \lambda\Phi$ 在 $\Psi^{-1}((-∞,\rho))$ 中至少有 $k$ 个局部极小值。
• 对于狄利克雷问题对应的能量泛函 $\Psi_f$，若 $f$ 满足 $\sup_{\xi \neq \eta} \frac{\sup_x |f(x,\xi) - f(x,\eta)|}{|\xi - \eta|} \leq \lambda_1$ 且 $\limsup_{|\xi|\to\infty} \frac{\sup_x \int_0^\xi f(x,t)dt}{\xi^2} < \frac{\lambda_1}{2}$，则 $\Psi_f$ 的下水平集弱连通，且全局极小化子集合为紧致连通集。
• 当 $f(x,\xi) = g(x,\xi)$ 对 $\xi \geq 0$ 成立，且 $f(x,\xi) = 0$ 其他情况，其中 $g$ 局部霍尔德连续，$\xi \mapsto g(x,\xi)/\xi$ 非增，且 $\limsup_{\xi\to\infty} \frac{\sup_x g(x,\xi)}{\xi} < \lambda_1$ 时，定理 12 的结论成立。
• 当 $\Omega = (0,1)$，$f(\xi) = g(\xi)$ 在 $[0,\infty)$ 上，$g$ 为凸、非负、$g(0) = 0$，且 $\sup_{\xi > 0} \frac{g(\xi)}{\xi} < \pi^2$ 时，$\Psi_f$ 的下水平集弱连通。
• $\Psi_f - \lambda J_\alpha$ 在 $\alpha(\xi) = \xi - \log(\xi+1)$ 对 $\xi \geq 0$ 时至多有两个临界点，这意味着在扰动下 $\Psi_f$ 至多有一个非零临界点。
• 本文未解决的问题包括：在定理 14 的假设下，是否存在泛函 $\Psi_f$ 具有非绝对局部极小值；以及当 $f(\xi) = \lambda_1(\sin \xi + a)$ 且 $a > 0$ 时，全局极小化子集合是否可能为非平凡连通。