The isocritical regime for mixed local-nonlocal $(p,q)$ Laplacian: existence of ground state, and decay estimates

기술 요약: 혼합 국소-비국소 $(p, q)$-라플라시안의 등임계(Isocritical) 영역

문제 정의
본 논문은 전체 공간 $\mathbb{R}^N$에서 혼합 국소-비국소 연산자 $L_{p,q} := -\Delta_p + (-\Delta)^s_q$에 의해 구동되는 임계 방정식의 해의 존재성과 질적 특성을 조사한다:
$$-\Delta_p u + (-\Delta)^s_q u = |u|^{p^*-2}u \quad \text{in } \mathbb{R}^N,$$
여기서 $N \ge 2$, $1 < p < N$, $0 < s < 1$, 그리고 $1 < sq < N$이다. 연구의 핵심 초점은 **등임계 영역(isocritical regime)**으로, 이는 $p^* = q^*_s$인 조건에 의해 정의된다. 여기서 $p^* = \frac{pN}{N-p}$는 $p$-라플라시안의 임계 소볼레프 지수이고, $q^*_s = \frac{qN}{N-sq}$는 $q$-라플라시안의 분수 임계 지수이다. 이 조건은 $1 - \frac{N}{p} = s - \frac{N}{q}$와 동치이다.

비등임계 영역(non-isocritical regimes, $p^* \neq q^*_s$)에서는 일반적으로 한 연산자가 임계 스케일링을 지배하며, 다른 연산자는 저차원 섭동(lower-order perturbation)이 된다. 저자들은 선형 사례($p=q=2$)에 관한 이전 연구에서, 임계 재스케일링(critical rescaling) 하에 비국소 항이 국소 항에 비해 아임계(subcritical)임이 밝혀졌으며, 이로 인해 비국소 기여분이 사라지는 압축성 상실(loss of compactness)이 발생했음을 언급한다. 본 논문은 두 연산자가 동일한 비선형성에 대해 동시에 임계가 되어, 비국소 항이 단순한 섭동이 아닌 "진정한 공동 주인공(genuine co-protagonist)"이 되는 미묘한 사례를 다룬다.

방법론 및 프레임워크
분석은 에너지 공간 $X_0(\mathbb{R}^N) = D^{1,p}_0(\mathbb{R}^N) \cap D^{s,q}_0(\mathbb{R}^N)$ 내의 변분법적 접근 방식에 의존한다. 등임계 조건 하에서, 임베딩 $D^{1,p}_0(\mathbb{R}^N) \hookrightarrow D^{s,q}_0(\mathbb{R}^N)$이 성립하여 자연스러운 에너지 공간을 $D^{1,p}_0(\mathbb{R}^N)$로 축소시킨다. 그러나 이 임베딩은 컴팩트하지 않으므로 정교한 농축-압축성(concentration-compactness) 분석이 필요하다.

1. 변분 구조: 저자들은 기저 상태(ground states)를 찾기 위해 네하리 다양체(Nehari manifold) 방법을 활용한다. 이들은 에너지 범함수 $J$와 그에 대응하는 네하리 다양체 $\mathcal{N}$을 정의한다. 존재성 증명은 **이중 임계값 농축-압축성 분석(double-threshold concentration-compactness analysis)**에 달려 있다. 단일 소볼레프 상수만을 다루는 표준적인 임계 문제와 달리, 여기서의 압축성 상실은 국소 최적 소볼레프 상수 $S$와 분수 최적 소볼레프 상수 $S_f$ 모두에 의해 지배된다.
2. 컴팩트성의 국소화: 압축성 상실을 환형 영역(annuli)에 국소화하는 것이 핵심적인 기술적 단계이다. 저자들은 0으로 약하게 수렴하는 팔레-스말레(Palais-Smale) 수열에 대하여, 국소 에너지, 비국소 에너지 및 임계 질량이 임의의 환형 영역에서 모두 소멸함을 증명한다. 이를 통해 질량의 농축을 격리할 수 있다.
3. 재스케일링: 국소 $p$-디리클레 에너지와 비국소 가리어도(Gagliardo) 세미노름을 모두 보존하는 스케일링 인자를 사용하는 특정 재스케일링 논증이 사용된다. 이는 등임계 조건이 지수 항의 항등식 $-N + qs + q(N-p)/p = 0$을 함의하기 때문에 가능하다.
4. 정칙성 및 비교: 감쇠 분석을 위해, 일반적인 지수에 대한 약 비교 원리(weak comparison principle)와 강한 최대 원리(strong maximum principle)를 확립한다. 저자들은 외부 도메인에서의 테스트를 다루기 위해 비국소 연산자의 전역적 성질을 처리하는 보조 공간 $D^{s,p,q}(\Omega)$를 도입한다. 로그 에너지 추정치가 유도되어 이러한 원리들을 뒷받침한다.
5. 하르낙 부등식(Harnack Inequality): 국소 항(차수 $r^{-p}$)과 비국소 항(차수 $r^{-sq}$)의 균형을 맞추는 데거(De Giorgi) 유형의 반복법을 사용하여, 비음의 초해(supersolutions)에 대한 약한 하르낙 부등식을 확립한다. 등임계 항등식은 단일 소볼레프 이득 지수가 두 항을 모두 제어하도록 보장한다.

주요 기여 및 결과

• 기저 상태의 존재성 (정리 1.1): 본 논문은 문제 (P)에 대한 비음의 방사형 기저 상태 해 $u \in D^{1,p}_0(\mathbb{R}^N)$의 존재성을 증명한다. 증명 과정은 마운틴 패스(mountain pass) 레벨이 네하리 다양체 상의 최소값과 일치함을 보여준다. 기저 상태는 강한 최대 원리를 통해 엄격하게 양수임이 밝혀진다.
• 날카로운 양방향 감쇠 추정 (정리 1.2): 저자들은 양의 방사형 해의 무한대에서의 정밀한 점근적 감쇠를 확립한다. 저자들은 해가 $p$-라플라시안의 기본 해와 정확히 동일한 속도로 감쇠함을 증명한다:
  $$c_1 |x|^{-\alpha} \le U(x) \le c_2 |x|^{-\alpha}, \quad \text{단, } \alpha = \frac{N-p}{p-1}.$$
  • 상한(Upper Bound): 전역 $L^\infty$ 유계성과 경계선 약-로렌츠(weak-Lorentz) 추정치를 사용하여 유도되었으며, 해를 로렌츠 공간 $L^{\eta_0, \infty}(\mathbb{R}^N)$ (여기서 $\eta_0 = \frac{(p-1)N}{N-p}$)에 위치시킨다.
  • 하한(Lower Bound): 적절한 부해(subsolutions)를 구성함으로써 증명된다. 이 구성은 $\alpha(q-1) - N$의 부호에 따라 달라진다.
    • 만약 $q > \frac{p(N-1)}{N-p}$이면, 프로파일 $|x|^{-\alpha}$의 직접적인 정규화가 부해가 된다.
    • 만약 $q < \frac{p(N-1)}{N-p}$이면, 가공된 거듭제곱 프로파일이 부해가 되지 않으므로, 저자들은 비교 함수를 생성하기 위해 제약된 최소화 문제를 활용한다.
• 정칙성 결과: 본 논문은 일반적인 지수(등임계 케이스에 국한되지 않는)에 대해 $L_{p,q}$ 연산자에 대한 로그 에너지 추정치, 약 비교 원리, 강한 최대 원리를 확립한다. 또한, 등임계 영역에 대해 약한 하르낙 부순식(weak Harnack inequality)이 증명되었다.

의의 및 주장
본 논문은 국소 및 비국소 최적 소볼레프 상수가 공동으로 변분 레벨을 결정하는 "이중 임계 성장(double critical growth)"에서의 혼합 $(p, q)$-라플라시안에 관한 첫 번째 변분 문제를 제시한다고 주장한다. 저자들은 등임계 영역이 다음과 같은 이유로 독특하다고 강조한다:

1. 두 연산자가 동일한 비선형성에 대해 동시에 임계이다.
2. 두 연산자가 동일한 임계 재스케일링에 대해 불변(invariant)이어서, 비등임계 케이스에서 관찰되는 비국소 항의 "스케일링 붕괴(scaling collapse)"를 방지한다.
3. 연산자 간의 경쟁에도 불구하고, 국소 $p$-라플라시안이 대규모 거동(감쇠율)을 결정한다. 비국소 항은 존재성과 에너지 공간의 구조에는 필수적이지만, 점근적 감쇠 프로파일을 변경하지는 않으며, 이는 $p$-라플라시안의 기본 해의 형태를 유지한다.

저자들은 상한에 대한 감쇠는 보편적(일반 지수에서도 성립)이지만, 그 날카로움(하한과 일치함)은 등임계 영역에 특유한 것임을 언급한다. 또한, 모든 기저 상태의 방사 대칭성을 해결한다고 주장하지는 않으나(특히 $1 < p < 2$인 경우를 열어둠), 방사형 기저 상태의 존재성과 그 특정한 감쇠 성질을 확립한다.