Lower order term for the fractional Laplacian with a Hardy potential

기술 요약: 하디 포텐셜을 가진 분수형 라플라시안의 저차 항(Lower Order Term)

문제 정의
본 논문은 가중 함수를 가진 저차 항, 하디 포텐셜, 그리고 분수형 라플라시안을 포함하는 반선형 타원형 방정식의 해의 존재성과 정칙성(regularity)을 조사한다. 문제는 $0 \in \Omega$이고 $s \in (0, 1)$인 유계 영역 $\Omega \subset \mathbb{R}^N$ ($N > 2s$)에서 다음과 같이 정식화된다:

$$\begin{cases} (-\Delta)^s u + g(x)|u|^{p-1}u = \lambda \frac{u}{|x|^{2s}} + f(x), & \text{in } \Omega, \\ u = 0, & \text{in } \mathbb{R}^N \setminus \Omega, \end{cases}$$

여기서 $p > 1$, $\lambda \in \mathbb{R}$, $g \in L^1_{\text{loc}}(\Omega)$는 양의 함수이며, 소스 항 $f$는 가중 르베그 공간 $L^{(p+1)/p}_g(\Omega)$에 속한다. 본 연구의 목적은 $g \equiv 0$인 경우인 기존의 분수형 하디 방정식 결과들을 $g$에 대한 최소한의 적분성 가정하에 저차 항 $g(x)|u|^{p-1}u$를 포함함으로써 일반화하는 것이다.

방법론 및 함수적 설정
저자들은 분수형 소볼레프 공간의 틀 안에서 변분법을 사용한다. 이 문제의 자연스러운 에너지 공간은 $\|u\|_E = \|u\|_{H^s_0(\Omega)} + |u|_{L^{p+1}_g(\Omega)}$로 정의되는 $E = H^s_0(\Omega) \cap L^{p+1}_g(\Omega)$이다.

해들은 에너지 범함수 $\phi_\lambda: E \to \mathbb{R}$의 임계점으로 특징지어진다:
$$\phi_\lambda(u) = \frac{1}{2}\|u\|^2_{H^s_0(\Omega)} + \frac{1}{p+1}\int_\Omega |u|^{p+1}g \, dx - \frac{\lambda}{2}\int_\Omega \frac{u^2}{|x|^{2s}} \, dx - \int_\Omega f u g \, dx.$$

활용된 주요 해석적 도구는 다음과 같다:

1. 하디 부등식(Hardy Inequality): 분수형 하디 부등식은 특이 포텐셜 항 $\lambda u/|x|^{2s}$를 제어하는 데 핵심적인 역할을 한다.
2. 에켈란트 변분 원리(Ekeland's Variational Principle): 하한 연속성(lower semicontinuity)이 없는 상황에서도 $\phi_\lambda$의 최소화 수열을 확립하기 위해 사용된다.
3. 컴팩트성 및 수렴성(Compactness and Convergence): 존재성 증명은 최소화 수열이 $E$에서 유계이고, 약하게 수렴하며, 비탈리 정리(Vitali's Theorem)와 지배 수렴 정리(Dominated Convergence Theorem)를 사용하여 비선형 항들이 적절히 수렴함을 보이는 것에 의존한다.
4. 테스트 함수 기법(Test Function Techniques): 정칙성 결과를 위해, 저자들은 해의 합산성(summability)에 대한 사전 아 프리오리 추정치(a priori estimates)를 도출하고자 표준 절단 연산자(truncation operator) $T_k$를 이용한 형태의 절단된 테스트 함수 $|T_k(u)|^\rho T_k(u)$를 활용한다.

주요 기여 및 결과

1. 모든 $\lambda \in \mathbb{R}$에 대한 해의 존재성:
   본 논문은 $g$가 특정 완화된 적분성 조건인
   $$\frac{1}{|x|^{2s}} g^{\frac{2}{p+1}} \in L^{\frac{p+1}{p-1}}(\Omega). \quad (\text{조건 5})$$
   를 만족할 때, 모든 실수 $\lambda$에 대해 해 $u \in E$가 존재함을 증명한다. 이 결과는 $g \equiv 0$인 경우의 Abdellaoui 등 [1]이나 $g \equiv 1$인 경우의 Mi 등 [10]의 연구를 확장하여, $\lambda$가 양수이거나 하디 상수 $\Lambda_{N,s}$에 의해 제한되어야 한다는 제약을 제거하였다. 존재성은 $\lambda$의 부호와 관계없이 보장된다.

2. 정칙성 및 개선된 합산성:
   $f \in L^q_g(\Omega)$ ($q \ge (p+1)/p$)이고 $g$에 대한 추가 조건인
   $$\int_\Omega |x|^{\frac{2spq}{1-p}} g^{\frac{1-pq}{p-1}} \, dx < +\infty, \quad (\text{조건 6})$$
   가 만족될 때, 저자들은 해 $u$가 더 높은 정칙성, 즉 $u \in H^s_0(\Omega) \cap L^{pq}_g(\Omega)$를 가짐을 증명한다. 이는 저차 항이 항이 없는 경우에 비해 해의 합산성을 향상시킨다는 것을 보여준다.

3. 해의 최소성(Minimality):
   본 논문은 더 강한 적분성 조건(조건 14)이 충족되면, 얻어진 해가 단순히 임계점이 아니라 범함수 $\phi_\lambda$의 전역 최소값(global minimum)임을 확립한다.

의의 및 주장
저자들은 자신들의 결과가 다음 두 가지 주요 측면에서 기존 문헌에 비해 상당한 개선을 이루었다고 주장한다:

• $\lambda$에 대한 제약 완화: $0 < \lambda \le \Lambda_{N,s}$로 존재성이 제한되었던 기존 연구들(예: Mi 등 [10])과 달리, 본 연구는 모든 $\lambda \in \mathbb{R}$에 대해 존재성을 보장한다.
• 향상된 정칙성: $g \equiv 1$인 경우, 본 논문은 [10, 정리 1.5]보다 더 넓은 매개변수 범위($p > 2^*_s - 1$)에 대해 해가 $H^s_0(\Omega) \cap L^{pq}(\Omega)$에 속함을 확립한다. 저자들은 [10]에서는 허용 가능한 $\lambda$의 구간이 $p \to +\infty$일 때 0으로 수렴하는 반면, 자신들의 결과는 모든 $\lambda$에 대해 성립한다는 점에 주목한다.
• 일반성: $g$에 대한 낮은 정규성 요구 사항(오직 $L^1_{\text{loc}}$ 및 적분 조건만 만족하면 됨)은 다중 하디 유형 포텐셜을 포함하는 더 넓은 클래스의 문제로 이 결과들을 확장할 수 있게 한다(부록 4.4에서 예시됨).

본 논문은 유도된 적분성 조건하에서 저차 항의 포함이 문제를 효과적으로 안정화시켜, 파라미터 $\lambda$와 소스 항 $f$의 합산성에 대해 강건한(robust) 존재성 및 정칙성 결과를 가능하게 한다고 결론짓는다.