Note on the multiplicity of solutions for nonlinear scalar field equations with a critical inverse-square potential

기술 요약: 임계 역제곱 포텐셜을 가진 비선형 스칼라 장 방정식의 해의 다중성

문제 정의
본 논문은 다음의 비선형 스칼라 장 방정식에 대한 해의 다중성을 조사한다:
$$-\Delta u - \frac{(N-2)^2}{4|x|^2}u = g(u), \quad \text{in } \mathbb{R}^N \setminus \{0\},$$
여기서 $N \geq 3$이다. 이 방정식은 최적 상수 $\mu_c = (N-2)^2/4$를 갖는 임계 역제곱 하디(Hardy) 포텐셜을 특징으로 한다. 이 특정 계수는 문제가 하디 부등식의 임계 문턱값에 놓이게 하며, 이는 상당한 분석적 난제를 도입한다. 비선형성 $g: \mathbb{R} \to \mathbb{R}$은 연속이며, 기함수(odd)이고, 무한대에서의 아임계 성장 및 0 근처에서의 초선형 거동을 포함하는 특정 성장 및 부호 조건(G1–G5로 표기)을 만족한다고 가정된다.

방법론 및 함수적 프레임워크
저자들은 이전 연구 [3]에서 구축된 함수적 프레임워크를 기반으로 하며, Ikoma [11]가 개발한 추상적 임계점 이론을 적용한다.

1. 에너지 공간 ($X^1$): 표준 소볼레프 공간 $H^1(\mathbb{R}^N)$ 상에서 연산자 $-\Delta - \frac{(N-2)^2}{4|x|^2}$와 관련된 이차 형식의 코어시비티(coercivity) 결여로 인해, 자연스러운 에너지 공간은 $H^1(\mathbb{R}^N)$보다 엄격하게 더 크다. 저자들은 $X^1(\mathbb{R}^N)$을 $H^1(\mathbb{R}^N)$을 하디 항을 포함하는 노름에 대해 완비화한 공간으로 정의하며, 이를 활용한다. 에너지 범함수의 표준 적분들이 $X^1 \setminus H^1$의 함수들에 대해서는 정의되지 않기 때문에, 저자들은 내적과 $X^1$ 상의 노름을 정의하기 위해 극한 과정을 포함하는 특이 쌍선형 형식 $\xi(u, v)$를 사용한다.
2. 대칭성 및 부분 공간: 다중성을 확립하기 위해, 저자들은 에너지 범함수를 $X^1(\mathbb{R}^N)$의 특정 부분 공간으로 제한한다:
   • 방사형 케이스 (Radial Case): $N \geq 3$인 경우 방사 대칭 함수들의 부분 공간 $X^1_{\text{rad}}(\mathbb{R}^N)$.
   • 비방사형 케이스 (Non-radial Case): $N \geq 4$ 및 $N \neq 5$인 경우, 저자들은 특정 대칭군($O_2$)에 대해 불변이고 대칭 변환 $\tau(x_1, x_2, x_3) = (x_2, x_1, x_3)$에 대해 반대칭인 함수들로 구성된 부분 공간 $X$를 정의한다. 이러한 구성은 자명하지 않은 방사형 함수들을 배제하도록 보장한다.
3. 변분법적 접근: 해는 에너지 범함수 $J(u) = \frac{1}{2}\xi(u) - \int_{\mathbb{R}^N} G(u) dx$의 임계점으로 탐색된다 (여기서 $G$는 $g$의 원시 함수이다). 저자들은 제약 매니폴드를 정의하기 위해 포호자에프(Pohožaev) 범함수 $P(u)$를 사용한다. 저자들은 제한된 범함수에 대한 $(PPS)_c$ 조건(포호자에프 항등식을 포함하는 팔레-스말레(Palais-Smale) 조건의 변형)을 검증한다.
4. 임계점 정리: 무한히 많은 해의 존재성은 Ikoma의 추상적 임계점 정리를 사용하여 도출된다. 이 정리는 범함수가 짝함수(even)여야 하며(g의 기함수 성질에 의해 보장됨), 특정 기하학적 조건(마운틴 패스 기하 구조 및 구(sphere)에서 함수 공간으로의 음의 에너지를 갖는 홀함수(odd map)의 존재)을 만족해야 한다.

주요 기여 및 결과
본 논문의 주요 기여는 방정식 (1.1)에 대한 무한히 많은 서로 다른 약해(weak) 해의 존재를 그들의 대칭성에 따라 분류하여 입증한 것이다:

• 방사형 해 (Radial Solutions): 임의의 차원 $N \geq 3$에 대하여, 에너지 $J(u_j) \to \infty$ (as $j \to \infty$)를 만족하는 방사형 약해 수열 $(u_j)_{j=1}^\infty$가 존재한다.
• 비방사형 해 (Non-radial Solutions): 차원이 $N = 4$ 또는 $N \geq 6$인 경우, 유계되지 않은 에너지를 갖는 비방사형 약해 수열 $(u_j)_{j=1}^\infty$가 존재한다.
• 정칙성 (Regularity): 얻어진 해들은 $C^{1,\alpha}_{\text{loc}}(\mathbb{R}^N \setminus \{0\})$ 급임이 밝혀졌다. 만약 비선형성 $g$가 횔더 연속이면, 해들은 $C^2(\mathbb{R}^N \setminus \{0\})$ 급이다.
• 포호자에프 항등식: 구성된 해들은 포호자에프 항등식 $P(u_j) = 0$을 만족한다.

의의 및 주장
본 논문은 번역 불변성의 결여와 비표준적인 에너지 공간의 특성으로 인해 표준적인 변분법적 방법들이 종종 실패하는 영역인, 임계 역제곱 포텐셜에 대한 다중성 문제를 해결한다고 주장한다.

• 이전 연구의 확장: 저자들의 이전 연구 [3]은 $g$가 기함수라는 가정하에 적어도 하나의 비방사형 해와 하나의 방사형 해의 존재성을 확립하였으나, 본 논문은 이러한 결과를 확장하여 두 유형 모두에 대해 무한히 많은 해의 존재성을 증명한다.
• 분석적 어려움 극복: 이 연구는 "중심으로의 낙하(fall to the center)" 현상과 임계 상수에서의 코어시비티 결여에도 불구하고, 비선형성이 기함수 대칭을 가질 때 변분 구조가 무한한 해의 수열을 지지할 만큼 충분히 견고함을 보여준다.
• 방법론적 엄밀성: 논문은 확장된 공간 $X^1$ 상에서 에너지 범함수의 정의를 엄밀하게 다루며, 이 특이한 설정에서 적용에 필요한 컴팩트성(compactness) 성질을 검증한다.

저자들은 임계 하디 설정에서의 정칙성 이론이 완전히 발전되지 않았음을 명시적으로 언급하며, 따라서 모든 약해가 포호자에프 항등식을 만족하는지는 여전히 미해결 문제로 남아 있으나, 본 연구에서 구성된 해들은 특별히 이를 만족하도록 선택되었다.