Nonlinear Schrödinger equations with a critical, inverse-square potential

기술적 요약: 임계 역제곱 퍼텐셜을 갖는 비선형 슈뢰딩거 방정식

문제 제기
본 논문은 주기적 비선형성을 특징으로 하는 임계 역제곱 퍼텐셜 (Hardy-type 퍼텐셜) 을 포함하는 비선형 슈뢰딩거 방정식 (NLS) 에 대한 정상파 해의 존재성을 조사합니다. 연구 대상이 되는 구체적인 방정식은 다음과 같습니다:
$$-\Delta u + V(x)u - \frac{(N-2)^2}{4|x|^2}u = f(x, u), \quad x \in \mathbb{R}^N \setminus \{0\}$$
여기서 $N \ge 3$입니다. 퍼텐셜 $V(x)$와 비선형성 $f(x, u)$는 $\mathbb{Z}^N$-주기적이라고 가정됩니다. 특이항의 계수는 Hardy 부등식의 최적 상수와 동일한 임계값인 $\mu = \frac{(N-2)^2}{4}$입니다. 비선형성 $f$는 Carathéodory 조건을 만족하며, 초선형적이고 아임계적 성장 (지수 $p \in (2, 2^*)$, 여기서 $2^* = \frac{2N}{N-2}$) 을 보입니다.

방법론 및 함수 공간 설정
저자들은 연관된 에너지 범함수의 임계점을 찾기 위해 변분법을 사용합니다. 다루어진 주요 과제는 $\frac{1}{|x|^2}$인 특이 퍼텐셜 항으로 인해 발생하는 병진 불변성의 부재로, 이는 주기적 NLS 문제에서 표준적으로 사용되는 컴팩트성 논증의 직접적인 적용을 방해합니다.

1. 비표준 함수 공간 ($X^1(\mathbb{R}^N)$):
   Hardy 부등식의 임계 계수 때문에 표준 $H^1(\mathbb{R}^N)$ 노름은 문제의 자연스러운 에너지 노름과 동등하지 않습니다. 저자들은 $H^1(\mathbb{R}^N)$을 다음과 같은 노름 하에서 완비화한 공간 $X^1(\mathbb{R}^N)$을 정의합니다:
   $$\|u\|_{X^1}^2 = \int_{\mathbb{R}^N} \left( |\nabla u|^2 - \frac{(N-2)^2}{4|x|^2}u^2 + u^2 \right) dx$$
   이 공간은 $s \in (0, 1)$에 대해 $H^s(\mathbb{R}^N)$으로, 그리고 $t \in [2, 2^*)$에 대해 $L^t(\mathbb{R}^N)$으로 연속적으로 매장되는 힐베르트 공간입니다. 저자들은 $V$가 양의 본질적 하한을 가진다는 가정 하에 $\|\cdot\|_{X^1}$과 동등한 특정 노름 $\|u\|^2 = [u]^2 + \int V(x)u^2 dx$를 사용합니다.

2. 변분적 틀:
   에너지 범함수 $J: X^1(\mathbb{R}^N) \to \mathbb{R}$은 다음과 같이 정의됩니다:
   $$J(u) = \frac{1}{2}\|u\|^2 - \int_{\mathbb{R}^N} F(x, u) dx$$
   여기서 $F$는 $f$의 원시함수입니다. 저자들은 [1]에 기반한 추상 정리를 사용하여 Nehari 다양체 위에서 Cerami 수열을 생성합니다. $f$에 대한 가정 (초선형성, 아임계적 성장, 그리고 $f(x,u)/|u|$의 단조성) 은 해당 범함수가 그러한 수열의 존재에 필요한 기하학적 조건을 만족하도록 보장합니다.

3. 프로파일 분해:
   $X^1(\mathbb{R}^N)$에서의 병진 불변성 부재로 인해 Palais-Smale 및 Cerami 컴팩트성 조건이 만족되지 않으므로, 저자들은 이 특정 구조에 적응된 새로운 프로파일 분해를 개발합니다.

   • 그들은 $X^1(\mathbb{R}^N)$ 내의 유계 Cerami 수열 $(u_n)$이 원래 방정식의 해인 약한 극한 $u_0$와 유한 개의 "버블" $u_i$ (특이 퍼텐셜이 없는 극한 방정식의 해로, $H^1(\mathbb{R}^N)$ 위에서 정의됨) 로 분해될 수 있음을 입증합니다.
   • 결정적으로, 그들은 병진된 버블에 대해 특이 퍼텐셜 항이 극한에서 소멸함을 증명합니다. 원래 범함수 $J$와 극한 범함수 $J_0$ (방정식 $-\Delta u + V(x)u = f(x,u)$에 연관된) 의 에너지 수준을 비교함으로써, 그들은 바닥 상태 에너지 수준에서 비자명한 버블이 존재할 수 없음을 보여줍니다.

주요 기여 및 결과

• 바닥 상태의 존재: 주요 결과 (정리 1.1) 는 가정 (V) 와 (F1)–(F4) 하에서 방정식 (1.2) 의 바닥 상태 해의 존재성을 확립합니다.
• 새로운 프로파일 분해: 본 논문은 $X^1(\mathbb{R}^N)$ 공간에 특화되도록 기술적으로 복잡한 프로파일 분해 정리 (정리 4.4) 를 도입합니다. 이 분해는 병진된 수열의 약한 극한이 오직 $H^1(\mathbb{R}^N)$ 위에서 정의된 극한 범함수의 임계점이 되어야 함을 보여줌으로써, 특이 퍼텐셜의 비병진 불변성을 처리합니다.
• 컴팩트성 회복: 에너지 수준 (원래 문제의 $c$와 극한 문제의 $c_0$) 을 비교함으로써, 저자들은 $c < c_0$임을 보입니다. 이 부등식은 프로파일 분해에서 비자명한 버블의 수 ($m$) 를 0 으로 강제하여, Cerami 수열이 바닥 상태로 강수렴함을 회복시킵니다.

의의 및 주장
본 논문은 아임계적 경우 ($\mu < \frac{(N-2)^2}{4}$) 에 비해 상당한 어려움을 야기하는 주기적 설정에서 임계 역제곱 퍼텐셜을 갖는 NLS 방정식에 대한 존재성 문제를 해결했다고 주장합니다. 저자들은 임계 상수가 자연스러운 노름과 고전적 $H^1$ 노름 간의 동등성을 파괴하고 병진 불변성을 깨뜨려 표준 컴팩트성 도구를 적용 불가능하게 만든다고 지적합니다.

의의는 $X^1(\mathbb{R}^N)$의 비병진 불변 구조에 적응된 새로운 프로파일 분해 개발에 있습니다. 이 접근법은 특이 및 비특이 문제 간의 에너지 갭을 활용하여 비자명한 약한 극한을 배제할 수 있게 합니다. 이 연구는 아임계적 Hardy 퍼텐셜에 대한 이전 연구들 (예: [13], [15]) 과 이 특정 함수적 설정에서 Berestycki–Lions 방정식에 대한 연구 (예: [3]) 를 기반으로 확장한 것입니다. 본 논문은 새로운 물리적 응용을 제안하기보다는 이러한 특정 유형의 특이 타원 문제를 해결하기 위한 엄밀한 수학적 틀을 제공합니다.