[논문 리뷰] Ground states for semi-relativistic Schrödinger-Poisson-Slater energies

Jacopo Bellazzini, Tohru Ozawa외 1명|arXiv (Cornell University)|2011. 03. 14.

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

한 줄 요약

이 논문은 $\mathbb{R}^3$에서 $L^2$-임계 조건 하에 반상대론적 슈뢰딩거-포아송-슬래터 에너지 함수에 대한 기본 상태의 존재성을 확립한다. $\alpha, \beta > 0$ 이면 작고 $\rho > 0$ 일 때 최소화자가 존재함을 증명한다. 핵심 기여는 운동 에너지와 교환 항을 포함한 쿨롱 에너지에 대한 새로운 날카운 감소한 하한을 제시한 것으로, 이는 콩centration-compactness 프레임워크에서 분산이나 이분화를 제거하고 컴actness를 보장한다.

ABSTRACT

We prove the existence of ground states for the semi-relativistic Schrödinger-Poisson-Slater energy $$I^{α,β}(ρ)=\inf_{\substack{u\in H^\frac 12(\R^3) \int_{\R^3}|u|^2 dx=ρ}} \frac{1}{2}\|u\|^2_{H^\frac 12(\R^3)} +α\int\int_{\R^{3} imes\R^{3}} \frac{| u(x)|^{2}|u(y)|^2}{|x-y|}dxdy-β\int_{\R^{3}}|u|^{\frac{8}{3}}dx$$ $α,β>0$ and $ρ>0$ is small enough. The minimization problem is $L^2$ critical and in order to characterize of the values $α, β>0$ such that $I^{α, β}(ρ)>-\infty$ for every $ρ>0$, we prove a new lower bound on the Coulomb energy involving the kinetic energy and the exchange energy. We prove the existence of a constant $S>0$ such that $$\frac{1}{S}\frac{\|φ\|_{L^\frac 83(\R^3)}}{\|φ\|_{\dot H^\frac 12(\R^3)}^\frac 12}\leq \left (\int\int_{\R^3 imes \R^3} \frac{|φ(x)|^2|φ(y)|^2}{|x-y|}dxdy ight)^\frac 18 $$ for all $φ\in C^\infty_0(\R^3)$. Eventually we show that similar compactness property fails provided that in the energy above we replace the inhomogeneous Sobolev norm $\|u\|^2_{H^\frac 12(\R^3)}$ by the homogeneous one $\|u\|_{\dot H^\frac 12(\R^3)}$.

연구 동기 및 목표

• 반상대론적 슈뢰딩거-포아송-슬래터 에너지 함수의 최소화자(기본 상태)가 $\mathbb{R}^3$에서 $L^2$-임계 조건 하에 존재함을 확립한다.
• 비선형성 $|u|^{8/3}$의 임계 스케일링으로 인한 $H^{1/2}(\mathbb{R}^3)$에서의 컴팩트성 부족 문제를 해결한다.
• $\alpha, \beta > 0$ 에 대해 모든 $\rho > 0$ 에 대해 초위치 $I^{\alpha,\beta}(\rho)$ 가 유한하게 유지되는 조건을 규명하며, 특히 작은 $\rho$ 에서의 경우를 분석한다.
• 운동 에너지와 교환 에너지에 대해 쿨롱 에너지를 제어하는 데 핵심적인 새로운 날카운 부등식을 증명한다. 이 부등식은 컴팩트성 확보에 필수적이다.

제안 방법

• 최소화 수열에서 분산과 이분화를 제거하기 위해 콩세נטר레이션-콤팩트니스 원리를 적용한다.
• 새로운 날카운 부등식 도입: 모든 $\varphi \in C^\infty_0(\mathbb{R}^3)$ 에 대해 $ \frac{1}{S} \frac{\|\varphi\|_{L^{8/3}}}{\|\varphi\|_{\dot{H}^{1/2}}^{1/2}} \leq \left( \iint \frac{|\varphi(x)|^2 |\varphi(y)|^2}{|x-y|} \, dx dy \right)^{1/8} $
• 하디-리틀우드-소볼레프 부등식과 보간을 적용하여 교환 항을 쿨롱 에너지와 운동 에너지로 제어한다.
• 에너지 함수의 스케일링 행동 분석을 통해 $u \mapsto \theta^{3/2} u(\theta x)$ 변환 하에서 최소화자의 필요 조건을 유도한다.
• 모든 $0 < \mu < \rho$ 에 대해 강한 하위加법성 부등식 $I^{\alpha,\beta}(\rho) < I^{\alpha,\beta}(\mu) + I^{\alpha,\beta}(\rho - \mu)$ 를 증명하여 이분화를 배제한다.
• 최소화자 존재 시점에서 $I^{\alpha,\beta}(\rho)/\rho$ 의 단조성에 기반한 모순 추론을 통해 작은 $\rho$ 에서 $I^{\alpha,\beta}(\rho) > -\infty$ 임을 증명한다.

실험 결과

연구 질문

• RQ1 $\alpha, \beta > 0$ 와 $\rho > 0$ 에 대해 반상대론적 슈뢰딩거-포아송-슬래터 에너지의 초위치 $I^{\alpha,\beta}(\rho)$ 가 유한하게 유지되는 조건은 무엇인가?
• RQ2 이 $L^2$-임계 문제에서 $H^{1/2}(\mathbb{R}^3)$ 설정에서 콩세נטר레이션-콤팩트니스 원리가 분산과 이분화를 성공적으로 배제하는 데 적용 가능한가?
• RQ3 운동 에너지와 교환 에너지에 대해 쿨롱 에너지를 제어하는 데 충분한 새로운 날카운 부등식이 존재하는가? 이는 최소화 수열의 컴팩트성을 보장하는 데 필수적이다.
• RQ4 이 최소화 문제에서 비균질 $H^{1/2}$-노름이 지원하는 컴팩트성 성질과 비교해 볼 때, 동질 $\dot{H}^{1/2}$-노름이 동일한 성질을 갖지 못하는가?
• RQ5 기본 상태가 존재하는 정확한 $\rho$ 의 임계값은 무엇이며, 이는 $\alpha$ 와 $\beta$ 에 어떻게 의존하는가?

주요 결과

• 새로운 날카운 부등식이 증명됨: 모든 $\varphi \in C^\infty_0(\mathbb{R}^3)$ 에 대해 $ \frac{1}{S} \frac{\|\varphi\|_{L^{8/3}}}{\|\varphi\|_{\dot{H}^{1/2}}^{1/2}} \leq \left( \iint \frac{|\varphi(x)|^2 |\varphi(y)|^2}{|x-y|} \, dx dy \right)^{1/8} $, 여기서 $S > 0$ 은 전역 상수이다.
• 충분히 작은 $\rho > 0$ 에 대해 초위치 $I^{\alpha,\beta}(\rho)$ 는 유한하며 $-\infty$ 보다 엄밀히 크며, 이는 기본 상태 존재를 보장한다.
• 콩세נטר레이션-콤팩트니스 원리를 통해 최소화자의 존재가 확립되며, 새로운 부등식에 의해 분산이 배제되고 강한 하위加법성에 의해 이분화가 배제된다.
• 동질 에너지 함수 $\tilde{\mathcal{E}}^{\alpha,\beta}(u)$ 는 모든 $\rho < \tilde{\rho}$ 에 대해 $\tilde{I}^{\alpha,\beta}(\rho) = 0$ 임을 만족하므로, 동질 경우에 비자명한 최소화자는 존재하지 않는다.
• 비균질 $H^{1/2}$-노름을 동질 $\dot{H}^{1/2}$-노름으로 대체할 경우 컴팩트성 성질이 실패함을 보여주며, 이는 전체 $H^{1/2}$-구조의 필요성을 강조한다.
• 작은 $\rho$ 에서 비율 $I^{\alpha,\beta}(\rho)/\rho$ 는 엄밀히 감소하며, 만약 최소화자가 임계 $\rho_0$ 에 존재한다면 모순이 유도됨을 보여, 작은 $\rho$ 에서 $I^{\alpha,\beta}(\rho) > -\infty$ 임을 증명한다.