[논문 리뷰] Multiple solutions to logarithmic Schrodinger equations with periodic potential

Marco Squassina, Andrzej Szulkin|arXiv (Cornell University)|2014. 04. 18.

Spectral Theory in Mathematical Physics참고 문헌 17인용 수 5

한 줄 요약

이 논문은 주기적 포텐셜을 가진 로그 슈뢰딩거 방정식의 다중 해 분석에서 기술적 결함을 수정한다. 특히 임계점 이론과 팔라이스-스모스 조건의 적용에서 발생하는 문제를 다루며, 2.4조를 수정하고 2.7조를 새로운 간단한 구성으로 대체한다. 이 구성은 수정된 노름 유사 기능 $\mu_d(u)$를 기반으로 하는 국소 리프시츠 벡터장 $H$를 사용하여 기울기 수렴을 보장하고 대칭성과 컴팩트 지지성을 유지한다. 수정된 프레임워크는 주기적 포텐셜 조건 하에서 다중 해의 존재를 검증한다.

ABSTRACT

We study a class of logarithmic Schrodinger equations with periodic potential which come from physically relevant situations and obtain the existence of infinitely many geometrically distinct solutions.

연구 동기 및 목표

• 로그 슈뢰딩거 방정식의 맥락에서 하위미분과 프레셰 도함수 사이의 이중성에 관해 2.4조의 증명에서 발생하는 기술적 오류를 수정한다.
• 결함이 있는 2.7조를 대체할 새로운, 더 단순한 국소 리프시츠 벡터장 $H$의 구성 방법을 제시하며, 이는 대칭성과 컴팩트 지지성을 유지하고 팔라이스-스모스 수열에서 기울기 수렴을 보장한다.
• 함수열 $J$의 연속성과 관련된 집합에서의 연속성 보장을 위해 $\mathcal{H}$ 가우스를 재정의하여 1.1조와 1.2조의 임계점 프레임워크의 타당성을 복원한다. 이는 $J$ 가 관련 집합에서 연속성을 유지하도록 보장한다.
• 수정된 $\mu_d$ 기능을 통해 안정적인 플로우와 기울기 수렴을 확립하여 주기적 포텐셜 조건 하에서 다중 해의 존재를 보장한다.

제안 방법

• 원래의 2.4조를 수정하여 $w \in \partial J(u)$ 이다 식으로 $w = J'(u)$ 라는 조건을 증명한다. 이는 $C_0^\infty(\mathbb{R}^N)$ 에 속하는 테스트 함수 $z$ 를 사용하고 $t \to 0$ 으로 한없이 가까이 갈 때의 극한을 취한다.
• 비판점으로부터의 거리를 측정하기 위해 새로운 기능 $\mu_d(u) := \inf_{a \in J^d} \{ \|J'(a)\| + \|u - a\| \}$ 을 도입한다. 이는 $u \in J^d$ 에 대해 리프시츠 연속이며 유한하다.
• 국소 유한한 열린 덮개에 대해 부분 단위를 사용하는 방식으로 $H(u) = \frac{1}{2}(H_1(u) - H_1(-u))$ 를 구성하여 기함성, 유계성, 컴팩트 지지성을 확보한다.
• 이를 통해 $\|H(u)\| \leq 1$ 과 $\langle J'(u), H(u) \rangle > \frac{1}{2}\mu_d(u)$ 를 확보하며, 이는 플로우를 따라 내림차순을 보장한다.
• 기존의 플로우 정의를 $D(J) \setminus K$ 가 아닌 $J^d \setminus K$ 에서 작동하도록 수정하여 새로운 벡터장과 컴팩트 지지성의 호환성을 확보한다.
• 가족 $\mathcal{H}$ 를 재정의하여 오직 컴팩트 지지성을 유지하는 기함성 위상동형사상만 포함하도록 하여, $J$ 가 이미지 집합에서 연속성을 확보하고, $T > 0$ 가 존재하여 $J(\widetilde{\eta}(T,u)) < d - \varepsilon$ 가 성립하도록 한다.

실험 결과

연구 질문

• RQ1 원래의 2.4조는 $J$ 의 하위미분을 $J'$ 로 올바르게 특성화하는가? 그렇지 않다면 어떤 수정이 필요한가?
• RQ2 비효율적인 2.7조를 대체할 수 있는 더 단순하고 강력한 벡터장을 구성할 수 있는가? 이는 변형된 변형 데스크립터를 통해 임계점 이론의 변형 데스크립터를 유지할 수 있는가?
• RQ3 함수 $J$ 가 전역적으로 연속적이지 않을 경우, 1.1조와 1.2조의 플로우 기반 증명에서 $J$ 의 연속성을 어떻게 복원할 수 있는가?
• RQ4 집합 $A$ 가 컴팩트 지지성을 가질 때, $J$ 가 $h(A)$ 의 이미지에서 연속성을 유지하도록 하기 위해 가족 $\mathcal{H}$ 에 어떤 수정이 필요한가?
• RQ5 수정된 프레임워크를 통해 주기적 포텐셜 조건 하에서 로그 슈뢰딩거 방정식의 다중 해 존재성을 재확인할 수 있는가?

주요 결과

• 수정된 2.4조는 $w \in \partial J(u)$ 이다 식으로 $w = J'(u)$ 라는 조건을 증명하며, 이는 $C_0^\infty(\mathbb{R}^N)$ 에 속하는 테스트 함수를 사용하고 $t \to 0$ 으로 한없이 가까이 갈 때의 극한을 취함으로써 이루어진다.
• 2.7조의 새로운 벡터장 $H$ 는 $\|H(u)\| \leq 1$, $\langle J'(u), H(u) \rangle > \frac{1}{2}\mu_d(u)$ 를 만족하며, 국소 컴팩트 지지성을 지녀 플로우가 잘 수렴함을 보장한다.
• 기능 $\mu_d(u)$ 는 리프시츠 연속이며 상수 1을 가진다. $\mu_d(u_n) \to 0$ 이면 $J'(u_n) \to 0$ 이며, 이는 $\|u_n - a_n\| \to 0$ 인 수열 $a_n$ 에 대해 성립한다.
• 플로우 $\widetilde{\eta}$ 는 이제 $J^{d+2\varepsilon_0} \setminus K$ 에서 정의되며, 수정된 벡터장은 $T > 0$ 과 모든 $u$ 가 컴팩트 집합 $B$ 에 속할 때 $J(\widetilde{\eta}(T,u)) < d - \varepsilon$ 를 보장한다.
• 재정의된 가족 $\mathcal{H}$ 는 $A$ 가 컴팩트 지지성을 가질 때 $J$ 가 $h(A)$ 에서 연속성을 유지함을 보장하며, 이는 1.1조 증명에서 $T > 0$ 의 존재를 가능하게 한다.
• 수정된 프레임워크는 1.1조와 1.2조의 타당성을 복원하여 주기적 포텐셜 조건 하에서 로그 슈뢰딩거 방정식의 다중 해 존재를 확인한다.