[논문 리뷰] Schrödinger operators with negative potentials and Lane-Emden densities

Lorenzo Brasco, Giovanni Franzina외 1명|HAL (Le Centre pour la Communication Scientifique Directe)|2017. 09. 12.

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

한 줄 요약

이 논문은 $1 \leq q < 2$ 인 경우 $-\Delta u = u^{q-1}$ 에 대한 해를 포함하는 하디 유형 부등식을 유도하여 음의 잠재력이 있는 슈뢰딩거 연산자의 양의 스펙트럼을 가지는 데 충분한 조건을 확립한다. 만약 잠재력 $V$ 가 이러한 해의 로그 기울기의 음의 배수를 초과한다면, $-\Delta + V$ 의 기본 상태 에너지는 라플라스 연산자의 첫 번째 딜리클레 고유값의 양의 배수로 아래에서 유계이다.

ABSTRACT

We consider the Schrödinger operator $-Δ+V$ for negative potentials $V$, on open sets with positive first eigenvalue of the Dirichlet-Laplacian. We show that the spectrum of $-Δ+V$ is positive, provided that $V$ is greater than a negative multiple of the logarithmic gradient of the solution to the Lane-Emden equation $-Δu=u^{q-1}$ (for some $1\le q&lt; 2$). In this case, the ground state energy of $-Δ+V$ is greater than the first eigenvalue of the Dirichlet-Laplacian, up to an explicit multiplicative factor. This is achieved by means of suitable Hardy-type inequalities, that we prove in this paper.

연구 동기 및 목표

• 음의 잠재력 $V$ 를 가진 슈뢰딩거 연산자 $-\Delta + V$ 가 양의 스펙트럼을 가지는 조건을 규명하는 것.
• 유계 영역에서 딜리클레 경계 조건을 가진 $-\Delta + V$ 의 기본 상태 에너지를 분석하는 것.
• 레인-에미든 방정식과 하디 유형 부등식을 통한 스펙트럼 하한 간의 연결 고리를 설정하는 것.
• 디리클레-라플라스 연산자의 첫 번째 고유값에 대한 명시적 승수 하한을 기본 상태 에너지에 유도하는 것.
• 클래식 하디 부등식을 레인-에미든 밀도와 비정상수 가중치를 포함하는 설정으로 일반화하는 것.

제안 방법

• 레인-에미든 방정식 $-\Delta u = u^{q-1}$ 에 대한 해의 로그 기울기를 포함하는 새로운 하디 유형 부등식을 유도한다. ($1 \leq q < 2$)
• 변분 방법과 소볼레프 포함을 사용하여 $L^2$ 와 $L^\gamma$ 노름을 통한 비음수 해의 $L^\infty$ 노름을 제어한다.
• 유계 영역 내에서 레인-에미든 방정식 해에 대한 $L^\infty$ 추정에서 모저 반복 기법을 적용한다.
• 절단 함수와 에너지 추정을 통해 $N$ 차원의 구와 판에서 반복적인 $L^p$-노름 추정을 수립한다.
• $L^2$ 와 $L^\gamma$ 공간에서 파운카레 및 소볼레프-파운카레 부등식을 이용하여 $L^\infty$ 하한을 도출한다.
• 해의 정규화와 반복 과정에서의 특이성 제어를 위해 매개변수 $\delta$ 를 도입한다.

실험 결과

연구 질문

• RQ1 유계 영역에서 슈뢰딩거 연산자 $-\Delta + V$ 의 스펙트럼이 음이 아닌 조건은 무엇인가? ($V$ 는 음수 잠재력이다.)
• RQ2 만약 $V$ 가 충분히 음수일 경우, $-\Delta + V$ 의 기본 상태 에너지는 딜리클레-라플라스 연산자의 첫 번째 고유값과 어떻게 관련이 있는가?
• RQ3 레인-에미든 방정식의 해를 사용하여 $-\Delta + V$ 의 이차 형식을 제어할 수 있는 하디 유형 부등식을 구성할 수 있는가?
• RQ4 레인-에미든 해의 로그 기울기는 $-\Delta + V$ 의 스펙트럼 하한을 결정하는 데 어떤 역할을 하는가?
• RQ5 레인-에미든 밀도에 대한 $L^\infty$ 추정은 영역 기하학과 $u^{q-1}$ 의 지수 $q$ 에 따라 어떻게 달라지는가?

주요 결과

• 만약 어떤 $C > 0$ 와 $1 \leq q < 2$ 에 대해 $V \geq -C \cdot \nabla \log u \cdot u^{1-q}$ 이고 $u$ 가 $-\Delta u = u^{q-1}$ 을 만족한다면, $\sigma(-\Delta + V) \geq 0$ 이다.
• $-\Delta + V$ 의 기본 상태 에너지는 첫 번째 딜리클레 고유값 $\lambda_1(\Omega)$ 의 양의 배수로 아래에서 유계이며, 특히 $\inf \sigma(-\Delta + V) \geq C \cdot \lambda_1(\Omega)$ 를 만족한다. 여기서 $C > 0$ 은 명시적인 상수이다.
• $N$ 차원의 구에서, 레인-에미든 방정식의 비음수 해 $u$ 에 대해 $\|u\|_{L^\infty(B_{R_0/2})} \leq C_N \cdot (640 \, T_N)^{N/4} \left( \fint_{B_{R_0}} u^2 \, dx + \delta \right)$ 이다. 여기서 상수는 $N$ 과 $q$ 에 따라 명시적으로 결정된다.
• $N=2$ 인 경우, $L^\infty$ 추정은 소볼레프-파운카레 포함의 최적 상수 $\lambda_{2,\gamma}(B_1)$ 를 포함하며, $\|u\|_{L^\infty(B_{R_0/2})} \leq C_\gamma \cdot (640 \, \lambda_{2,\gamma}(B_1)^{-1})^{\gamma/(2(\gamma-2))} \left( \fint_{B_{R_0}} (u+\delta)^2 \, dx \right)^{1/2}$ 이다.
• $N=1$ 인 경우, 추정은 $\|u\|_{L^\infty(-r_0,r_0)} \leq \frac{4\sqrt{5} \, R_0}{R_0 - r_0} \left( \fint_{-R_0}^{R_0} (u+\delta)^2 \, dx \right)^{1/2}$ 이며, $r_0 = R_0/2$ 이다. 이는 영역 크기에 대한 명시적 의존성을 보여준다.
• 정규화를 위해 $\delta = \left( \lambda (R_0/2)^2 \right)^{1/(2-q)}$ 를 도입하여 모저 반복 과정에서 수렴을 보장한다.