[논문 리뷰] Sublevel sets and global minima of coercive functionals and local minima of their perturbations

Biagio Ricceri|arXiv (Cornell University)|2004. 02. 26.

Optimization and Variational Analysis참고 문헌 24인용 수 40

한 줄 요약

이 논문은 반사적 바나흐 공간 위에서의 편경성 함수열에 대한 다중 국소 최솟값 존재성을 위한 위상기하학적 기준을 수립한다. 함수열 $\Psi$의 하위레벨 집합의 약한 위상에 대한 분석을 통해, 만약 $\Psi^{-1}((-∞,r))$의 약한 닫힘이 $k$개의 연결성분을 가진다면, 충분히 작은 $\lambda > 0$에 대해 $\Psi + \lambda\Phi$는 최소 $k$개의 국소 최솟값을 가짐을 증명한다. 이는 비선형 PDE 및 적분방정식에서 해의 다중성 검출을 위한 변분원리를 확장한다.

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$를 고려하여, 강한 강성과 도함수의 비확장성(비팽창성)을 보여주는 것.
• 함수열 $\Phi$를 이용한 펌터베이션 접근법을 통해, $\Psi + \lambda\Phi$가 최대 한 개의 국소 최솟값만 갖는 경우, $\Psi$의 하위레벨 집합의 위상적 성질을 유추하는 것.
• 특정 볼록성 및 단조성 조건 하에서 $f$에 대한 팔라이스-스마일 조건과 임계점 이론을 활용하여 컴acts이 보장되고 임계점의 유일성이 보장되는 것.

실험 결과

연구 질문

• 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$의 하위레벨 집합은 약하게 연결되어 있으며 전역 최솟값 집합은 컴acts이면서 연결되어 있다.
• 만약 $f(x,\xi) = g(x,\xi)$ for $\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)$ on $[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)$ for $\xi \geq 0$ 일 때 최대 두 개의 임계점을 가진다. 이는 $\Psi_f$가 펌터베이션 하에서 최대 하나의 비영 임계점을 가짐을 의미한다.
• 논문은 정리 14의 가정 하에 함수열 $\Psi_f$가 절대적인 국소 최솟값이 아닌 국소 최솟값을 가질 수 있는지 여부, 그리고 $f(\xi) = \lambda_1(\sin \xi + a)$ with $a > 0$ 일 때 전역 최솟값 집합이 비자명하게 연결되어 있을 수 있는지 여부를 여전히 열려 있는 문제로 남긴다.