[논문 리뷰] Existence of a positive solution for a logarithmic Schrödinger equation with saddle-like potential

Claudianor O. Alves, Chao Ji|arXiv (Cornell University)|2019. 04. 22.

Nonlinear Partial Differential Equations참고 문헌 17인용 수 4

한 줄 요약

이 논문은 변환된 문제에 대해 Szulkin의 접근법을 적용하여, 기하학적 조건과 유계성 조건을 만족하는 경사형 잠재력에 대해 로그 슈뢰딩거 방정식의 양의 해가 존재함을 증명한다. 이는 기존 결과를 $ c_0 > -1 $ 인 로그 비선형성의 경우로 확장한다.

ABSTRACT

In this article we use the variational method developed by Szulkin \cite{szulkin} to prove the existence of a positive solution for the following logarithmic Schrödinger equation $$ \left\{ \begin{array}{lc} -ε^2Δu+ V(x)u=u \log u^2, & \mbox{in} \quad \mathbb{R}^{N}, \\ %u(x)>0, & \mbox{in} \quad \mathbb{R}^{N} \\ u \in H^1(\mathbb{R}^{N}), & \; \\ \end{array} ight. $$ where $ε>0, N \geq 1$ and $V$ is a saddle-like potential.

연구 동기 및 목표

• 기존 변분 접근법에서 완전히 다루지 못한 경사형 잠재력이 있는 로그 슈뢰딩거 방정식에 대해 양의 해 존재성을 다루는 것.
• 에너지 함수가 $ H^1(\mathbb{R}^N) $ 에서 형식적으로 정의되지 않는 로그 비선형성의 도전 과제를 해결하기 위해 정교한 변분 프레임워크를 활용하는 것.
• 거듭제곱형 비선형성을 가진 반선형 타원 방정식에 대한 이전의 존재 결과를, 특히 경사형 잠재력 기하학 하에 로그 경우로 확장하는 것.
• 잠재력이 기하학적 조건 (V1)-(V3)을 만족하고 $ c_0 > -1 $ 를 포함할 경우, 양의 해 존재성을 확립하는 것.
• 원래 문제를 최소화-최대화 방법에 적합한 형태로 변환하기 위해 변수를 바꾸어, Szulkin의 변분 기법의 적용을 가능하게 하는 것.

제안 방법

• 기존 방정식 $ -\epsilon^2\Delta u + V(x)u = u\log u^2 $ 을 변수 치환을 통해 $ -\Delta u + V(\epsilon x)u = u\log u^2 $ 로 변환하여 분석을 단순화한다.
• 에너지 함수가 볼록 함수와 $ C^1 $-함수의 합인 경우에 적합한 Szulkin의 변분 방법을 변환된 문제에 적용한다.
• 에너지 함수 $ J_{\epsilon}(u) = \frac{1}{2}\int_{\mathbb{R}^N} \left( |\nabla u|^2 + (V(\epsilon x) + 1)|u|^2 \right) dx - \frac{1}{2}\int_{\mathbb{R}^N} u^2 \log u^2 \, dx $ 를 정의하며, 주어진 조건 하에 $ H^1(\mathbb{R}^N) $ 에서 잘 정의됨을 보장한다.
• 유계 집합 $ Q $ 에서 부분집합 $ K $ 로의 변형 수축 $ \Phi $ 를 사용하여 소볼레프 공간 $ H^1(\mathbb{R}^N) $ 내의 경로의 최소화-최대화 클래스 $ \Gamma $ 를 구성하여 임계점을 포착한다.
• 팔라이스-스무스 조건을 검증하고 위상수학적 차수의 호모토피 불변성을 이용하여, 최소화-최대화 값 $ C_\epsilon = \inf_{h \in \Gamma} \sup_{x \in Q} J(h(x)) $ 가 $ J $ 의 임계 수준임을 증명한다.
• 비선형성 $ f(t) = t \log t^2 $ 가 홀함수이고 해가 부호를 가지지 않기 때문에, 최대원리에 의해 임계점이 양의 해임을 도출한다.

실험 결과

연구 질문

• RQ1 잠재력의 하한 $ c_0 $ 가 $ c_0 > -1 $ 를 만족할 경우, 경사형 잠재력이 있는 로그 슈뢰딩거 방정식에 대해 양의 해가 존재하는가?
• RQ2 에너지 함수가 $ H^1(\mathbb{R}^N) $ 에서 형식적으로 정의되지 않는 로그 비선형성을 다룰 수 있도록 Szulkin의 변분 방법을 어떻게 적응시킬 수 있는가?
• RQ3 잠재력 $ V $ 에 대해 어떤 기하학적 및 유계성 조건이 최소화-최대화 방법이 양의 해에 대응하는 임계점으로 이어지는가?
• RQ4 임계 수준 $ C_\epsilon $ 가 엄밀히 $ m(c_0) + \sigma/2 $ 와 $ 2m(c_0) - \sigma $ 사이에 있는가? 이는 비자명한 해 존재를 보장한다.
• RQ5 최소화-최대화 방법을 통해 구한 해는 여전히 양수인가? 이는 비선형성의 구조와 최대원리로부터 유추할 수 있는가?

주요 결과

• 논문은 조건 (V1)-(V3) 하에, 심지어 $ c_0 > -1 $ 일 경우에도 경사형 잠재력이 있는 로그 슈뢰딩거 방정식의 양의 해 존재성을 증명한다. 이는 이전 결과를 확장한다.
• 최소화-최대화 값 $ C_\epsilon $ 는 구간 $ (m(c_0) + \sigma/2, 2m(c_0) - \sigma) $ 에 위치하며, 이는 팔라이스-스무스 조건이 성립함을 보장하여 임계점 이론의 적용을 가능하게 한다.
• 모순에 의한 방법을 통해 최소화-최대화 수준 $ C_\epsilon $ 가 에너지 함수 $ J $ 의 임계 수준임을 증명하며, 임계점 존재를 확인한다.
• 임계점은 음이 아닌데, 비선형성 $ f(t) = t \log t^2 $ 가 홀함수이고 해가 부호를 가지지 않기 때문에 최대원리에 의해 엄격히 양수임을 보장한다.
• 변형 논리와 위상수학적 차수의 호모토피 불변성을 이용하여, 최소화-최대화 값 $ C_\epsilon $ 가 실제로 임계 수준임을 증명함으로써 존재 증명을 완성한다.