On the existence results for $m$-Harmonic equation with critical Choquard Nonlinearity

기술 요약: 임계 Choquard 비선형성을 갖는 $m$-조화 방정식의 존재성 결과

문제 정의
본 논문은 유계 영역 $\Omega \subset \mathbb{R}^N$ ($N \ge 2m+1$) 상에서 임계 Choquard 비선형성과 아임계 섭동(subcritical perturbations)을 포함하는 $m$-조화(polyharmonic) 방정식의 비자명한 약해(weak solution)의 존재성을 조사한다. 고려되는 주요 방정식은 다음과 같다:
\begin(cases} (-\Delta)^m u = \left( \int_{\Omega} \frac{|u(y)|^{2^*_{\alpha,m}}}{|x-y|^\alpha} dy \right) |u(x)|^{2^*_{\alpha,m}-2}u(x) & \text{in } \Omega, \\ \nabla^k u = 0 \quad \forall |k| \le m-1 & \text{on } \partial\Omega, \end{cases}
여기서 $2^*_{\alpha,m} = \frac{2N-\alpha}{N-2m}$는 Hardy–Littlewood–Sobolev (HLS) 부등식과 관련된 임계 지수이다. 본 연구는 세 가지 특정 유형의 아임계 섭동 $f(u)$를 다룬다:

1. 국소 아임계 항 (Local subcritical term): $f(u) = |u|^{q-2}u$ (단, $1 \le q < 2^*_m - 1$).
2. 비국소 아임계 항 (Nonlocal subcritical term): $f(u) = \left( \int_{\Omega} \frac{|u|^q}{|x-y|^\alpha} dy \right) |u|^{q-2}u$ (단, $1 < q < 2^*_{\alpha,m}$).
3. 혼합 케이스 (Mixed case): 임계 항은 비국소적이고 섭동은 국소적 Sobolev 임계 항인 경우, 또는 그 반대의 경우의 조합.

방법론
저자들은 변분법, 구체적으로는 힐베르트 공간 $H^m_0(\Omega)$ 내에서의 산악 통과 정리(Mountain Pass Theorem)와 연결 정리(Linking Theorem)를 사용한다. 핵심적인 과제는 임계 지수로 인한 컴팩트성(compactness)의 결여와 비국소 항의 존재이다.

1. 최솟값 및 극값 함수 (Minimizers and Extremal Functions): 저자들은 먼저 임계 Choquard 항과 결합된 $m$-조화 연산자의 최솟값 존재성을 확립한다. 이들은 최적 상수 $S_{H,L}$을 정의하고, 전역적 최솟값인 버블 함수(bubble functions) $U_\varepsilon(x)$의 명시적 형태(전역 최솟값의 컷오프 버전)를 활용한다.
2. 정밀한 에너지 추정 (Delicate Energy Estimates): 방법론의 상당 부분은 테스트 함수 $u_\varepsilon = \phi U_\varepsilon$에 대한 에너지 범함수 $I_\lambda$의 정밀한 점근적 추정치를 도출하는 데 할애된다. 이러한 추정치는 미니맥스 에너지 레벨(minimax energy level)이 특정 임계 임계치보다 엄격히 낮음을 보여주는 데 필수적이다:
   $$c < \frac{N+2m-\alpha}{4N-2\alpha} S_{H,L}^{\frac{2N-\alpha}{N+2m-\alpha}}.$$
   이 임계치는 Palais-Smale (PS) 수열의 컴팩트성을 회복하기 위해 필요하다.
3. 컴팩트성 회복 (Compactness Recovery): 비국소 항에 적응된 Brezis–Lieb 유형의 보조 정리를 사용하여, 저자들은 임계 임계치 미만의 레벨에 있는 모든 PS 수열이 강하게 수렴하는 부분 수열을 가짐을 증명한다.
4. 스펙트럼 분석 (Spectral Analysis): 매개변수 $\lambda$가 크거나 $(-\Delta)^m$의 고윳값(eigenvalues) 범위 내에 있는 경우, 저자들은 $H^m_0(\Omega)$의 스펙트럼 분해와 연결(Linking) 논법을 사용하여 범함수의 부정치(indefinite) 특성을 처리한다.

주요 기여 및 결과
본 논문은 차원 $N$, 매개변수 $\lambda$, 그리고 지수 $q$에 대한 다양한 조건 하에서 비자명한 해의 존재 결과를 제공한다:

• 정리 1.1 (국소 섭동): $1 < q < 2^*_m - 1$일 때, 다음 조건에서 비자명한 해가 존재한다:
  • $N > \max\left\{ \min\left\{ \frac{2m(q+3)}{q+1}, 2m + \frac{\alpha}{q+1} \right\}, \frac{2m(q+1)}{q} \right\}$ 이고 $\lambda > 0$; 또는
  • $N \le \max\left\{ \dots \right\}$ 이고 $\lambda$가 충분히 클 때.
• 정리 1.2 (선형 섭동, $q=1$):
  • $N \ge 4m$이면, $\lambda > 0$ (단, $\lambda$가 고윳값이 아닌 경우)에 대해 해가 존재한다.
  • $2m+1 \le N \le 4m-1$이면, $\lambda > \lambda^*$ ($\lambda^*$는 특정 임계치)일 때 해가 존재한다 (단, $\lambda$가 고윳값이 아닌 경우).
  • 증명 과정은 $\lambda < \lambda^m_1$ (산악 통과 기하학)과 $\lambda > \lambda^m_1$ (연결 기하학)의 경우를 구분한다.
• 정리 1.3 (비국소 섭동): 아임계 비국소 항($1 < q < 2^*_{\alpha,m}$)을 갖는 방정식의 경우, 다음 조건에서 해가 존재한다:
  • $N > \frac{2m(q+1)-\alpha}{q-1}$ 이고 $\lambda > 0$; 또는
  • $N \le \frac{2m(q+1)-\alpha}{q-1}$ 이고 $\lambda$가 충분히 클 때.
  • 저자들은 이중 비국소 구조(임계 Choquard + 아임계 Choquard)가 미니맥스 에너지 추정을 복잡하게 만들며, 이를 위해 컨볼루션(convolution) 항에 대한 특수한 처리가 필요함을 언급한다.
• 정리 1.4 (비국소 섭동을 갖는 Sobolev 임계): Sobolev 임계 지수와 아임계 비국소 섭동을 포함하는 문제에 대해서도 유사한 존재성 결과가 확립된다.

의의 및 주장
저자들은 자신들이 알고 있는 바로는, 본 논문이 임계 Choquard 유형의 비선형성과 결합된 polyharmonic 연산자($m \ge 2$)를 다루는 최초의 논문이라고 밝힌다. 기존 문헌은 비할리톤(biharmonic, $m=2$) 방정식과 국소 임계 비선형성을 갖는 polyharmonic 방정식(예: Pucci 및 Serrin, Gazzola)을 광범위하게 다루어 왔으나, 일반적인 $m$에 대한 임계 Choquard 설정으로의 확장은 새롭다.

본 연구의 결과는 $m \ge 2$인 경우에도 새로운 것으로 주장된다. 본 논문은 클래식한 Brezis-Nirenberg 유형의 문제들을 Hardy-Littlewood-Sobolev 컨볼루션 항을 포함하는 비국소적 설정으로 성공적으로 확장하였으며, 특히 비국소 섭동이 있는 경우 발생하는 "이중 비국소(double nonlocal)" 구조의 특수한 어려움을 극복하였다. 이 작업은 관련 연산자의 최솟값 존재성을 확립하고, 컴팩트성에 필요한 임계 임계치 아래로 에너지 레벨을 유지하기 위한 정밀한 추정치를 제공한다.