[논문 리뷰] Some critical point theorems and applications

Guangcun Lu|arXiv (Cornell University)|2011. 02. 10.

Nonlinear Partial Differential Equations참고 문헌 26인용 수 3

한 줄 요약

이 논문은 새로운 분할 정리들을 활용하여 연속적으로 방향 도함수를 갖는 함수에 대한 새로운 임계점 정리들을 수립함으로써 이전 결과들보다 더 약한 조건을 허용한다. 이는 비가속성 및 부호가 변화하는 임계점에 대해 임계군의 계산을 일반화하고, 비선형 고계 타원형 편미분방정식에 대해 다수의 해가 존재함을 증명하는 데 응용된다.

ABSTRACT

This paper is a continuation of \cite{Lu1}. In Part I, applying the new splitting theorems developed therein we generalize previous some results on computations of critical groups and some critical point theorems to weaker versions. In Part II (in progress), they are used to study multiple solutions for nonlinear higher order elliptic equations described in the introduction of \cite{Lu1}.

연구 동기 및 목표

• 이전의 임계점 정리들을 $C^2$ 조건에서 연속적으로 방향 도함수를 갖는 함수에 대해 일반화함으로써 부드러움 조건을 완화하는 것.
• 이전 연구들보다 더 약한 조건 하에서 비가속성 및 부호가 변화하는 임계점에서 임계군의 계산을 일반화하는 것.
• 복잡한 미분계수 및 약한 기울기 계산을 피하는 프레임워크를 개발하여 변분 문제에의 적용성을 향상시키는 것.
• 정교화된 임계점 이론을 비선형 고계 타원형 편미분방정식에 대해 다수의 해 존재를 증명하는 데 응용하는 것.
• 특이 호모로지에서의 호모토피 동치와 동형사상 수립을 통해 임계군과 하위레벨 집합의 위상적 불변량을 연결하는 것.

제안 방법

• 연속적으로 방향 도함수를 갖는 함수에 대한 새로운 분할 정리를 활용하여 고전적인 $C^2$ 조건을 대체한다.
• 변형 보조정리와 약한/강한 기울기 개념을 적용하여 약한 기울기 $|df|(u)$ 및 강한 기울기 $|\nabla f(u)|$를 통해 임계점을 분석한다.
• Cerami $(C)_c$ 조건과 Palais-Smale $(PS)_c$ 조건을 활용하여 임계수열의 컴acts를 확보한다.
• 호모토피 동치와 절단 동형사상(레마 5.10, 5.11, 5.12를 통한)을 활용하여 임계군과 하위레벨 집합의 상대 호모로지를 연결한다.
• 등장관계 $C^q({\frak L}, u) \cong \bar{H}^q(N \cup \mathcal{L}^{c-\delta}, \mathcal{L}^{c-\delta} \cap N)$을 활용하여 고립된 임계점에서 임계군을 계산한다.
• 고립된 임계점에 대해 $\bar{H}^q(\mathcal{L}^{c+\delta} \cup W_\varepsilon, \mathcal{L}^{c-\delta} \cup W_\varepsilon) \cong \bigoplus_{i=1}^m C^q({\frak L}, u_i)$ 를 수립하여 위상학적 성질과 임계군의 구조를 연결한다.

실험 결과

연구 질문

• RQ1 연속적으로 방향 도함수를 갖는 함수에 대해 $C^2$ 또는 $C^1$ 부드러움 조건이 없이도 임계점 정리가 어떻게 일반화될 수 있는가?
• RQ2 더 약한 컴팩트성 및 미분 가능성 조건 하에서 비가속성 및 부호가 변화하는 임계점에서 임계군의 구조는 어떠한가?
• RQ3 미분계수 및 약한 기울기 계산을 피함으로써 임계군 계산이 어떻게 단순화될 수 있는가?
• RQ4 하위레벨 집합의 위상적 불변량으로부터 다수의 비자명한 임계점 존재가 어떤 조건에서 유도되는가?
• RQ5 상대 호모로지 쌍 간의 호모토피 동치가 변분 문제에서 임계군의 구조와 어떻게 관련되는가?

주요 결과

• $\delta > 0$ 이 작은 값일 때 $C^q({\frak L}, u) \cong \bar{H}^q({\mathcal{L}^{c+\delta} \cup W_\varepsilon}, {\mathcal{L}^{c-\delta} \cup W_\varepsilon})$ 를 수립하여 임계군과 상대 호모로지를 연결한다.
• 고립된 임계점 $u$가 수준 $c_1$에 존재할 경우, 임계군은 $C^q({\frak L}, u) \cong \delta_{q1} \mathbb{Z}_2$ 를 만족하여 비자명한 1차원 임계군을 나타낸다.
• $c_1 < {\frak L}(\theta)$ 이면 주어진 조건 하에서 $K^*_c$ 는 적어도 하나의 비자명한 임계점을 포함하며, $K^*_{c_1} \neq \emptyset$ 이다.
• $K^*_c = \emptyset$ 이고 $c \in [b,d] \setminus \{c\}$ 일 때, 포함관계 $({\mathcal{L}^{b} \cup W_\varepsilon}, {\mathcal{L}^{a} \cup W_\varepsilon}) \to ({\mathcal{L}^{d} \cup W_\varepsilon}, {\mathcal{L}^{a} \cup W_\varepsilon})$ 는 호모토피 동치이며, 이는 위상학적 불변성을 시사한다.
• 임계점 $u$에서의 임계군 계산은 $\bar{H}^q(N \cup \mathcal{L}^{c-\delta}, \mathcal{L}^{c-\delta} \cap N)$ 와 동형이며, 이는 이웃의 변형을 통한 위상학적 분석을 가능하게 한다.
• $\bar{H}^q(H, W_\varepsilon; \mathbb{Z}_2) \cong \delta_{q1} \mathbb{Z}_2$ 라는 결과는 공간의 위상학적 복잡성을 확인하며, 비자명한 임계점 존재를 뒷받침한다.