[論文レビュー] 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$ は $k$ 個の $\tau_\Psi$-局所的最小値を持つことを証明する。
• 逐次コンパクト性と下方連続性を用いて、下位集合の閉包の各連結成分内に最小化子が存在することを保証する。
• 具体的な汎関数に抽象的結果を適用する：$\Psi_f$（ディリクレ問題のエネルギー汎関数）、$\Psi_f$ が強制的かつ導関数が非拡大であることを示す。
• 関数 $\Phi$ を用いた摂動的議論により、$\Psi + \lambda\Phi$ が高々一つの局所的最小値しか持たない場合、$\Psi$ の下位集合の位相的性質を推論する。
• パラ・スメイド条件と臨界点理論を用いて、$f$ に関するある種の凸性と単調性仮定の下でコンパクト性と臨界点の一意性を保証する。

実験結果

リサーチクエスチョン

• RQ1 強制的汎関数 $\Psi$ の下位集合にどのような位相的条件が満たされると、十分に小さい $\lambda > 0$ に対して摂動された汎関数 $\Psi + \lambda\Phi$ が複数の局所的最小値を持つのか？
• RQ2 強制的汎関数 $\Psi$ のグローバル最小化子集合は、シングルトンでも線分でもない可能性があるか？ もしそうなら、どのような条件下か？
• RQ3 ディリクレ問題のエネルギー汎関数 $\Psi_f$ の下位集合は弱連結であるか？ これは $f$ の構造とどのように関係するか？
• RQ4 特定の成長条件と凸性条件下で、汎関数 $\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$ が局所 Hölder 継続的で、$\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$ の下位集合は弱連結である。
• 関数 $\alpha(\xi) = \xi - \log(\xi+1)$（$\xi \geq 0$）に対して、汎関数 $\Psi_f - \lambda J_\alpha$ は高々2つの臨界点を持つ。これは、摂動のもとで $\Psi_f$ が高々1つの非ゼロ臨界点を持つことを意味する。
• 本論文では、定理14の仮定のもとで、$\Psi_f$ が絶対的でない局所的最小値を持つようなものが存在するか、および $f(\xi) = \lambda_1(\sin \xi + a)$（$a > 0$）のときグローバル最小化子集合が非自明に連結であるかは未解決のまま残されている。