혼합 국소·비국소 연산자를 이용한 특이 타원 문제의 전역 다중성 및 비교 원리

초록

본 논문은 혼합된 p‑라플라시안과 분수 q‑라플라시안을 포함하는 연산자 아래에서, 특이 항 λ u^{‑δ}(0<δ<1)과 초임계 성장 u^{r}를 갖는 타원 방정식의 해 존재·비존재·다중성 구간을 파라미터 λ에 대해 정확히 구분한다. 핵심 도구는 강비교원리와 Hopf‑형 강비교원리, 그리고 Sobolev‑Hölder 지역 최소화자 동등성이다.

상세 분석

이 연구는 먼저 문제 (P_λ) : −Δ_p u + (−Δ_q)^s u = λ u^{−δ}+u^r, u>0 in Ω, u=0 in ℝ^N\Ω 를 설정한다. 여기서 p>sq, 0<δ<1, λ>0이며, r는 max{p−1,q−1}<r≤r* (r는 p‑Sobolev 임계 지수 p−1와 q‑분수 Sobolev 임계 지수 q*_s−1 중 큰 값)이다. 혼합 연산자는 국소 확산과 장거리 상호작용을 동시에 모델링하므로, 기존 순수 국소 혹은 순수 비국소 연구와는 다른 기술적 난관이 존재한다.

첫 번째 주요 결과는 λ에 대한 임계값 Λ>0의 존재이다. λ∈(0,Λ]에서는 최소해가 존재하고, λ가 증가함에 따라 최소해는 단조 증가한다. λ>Λ에서는 어떠한 해도 존재하지 않는다. 이 비존재는 혼합 (p,q) 연산자의 일반화된 고유값 문제에 대한 비교 원리를 이용해 증명한다.

다음으로 전역 다중성 정리를 제시한다. r<r*인 하위 임계 경우에는 두 가지 가정(선형: p=q=2, s∈(0,1) 혹은 비선형: p∈(1,∞), q≥2, s∈(0,1/q′)) 하에 λ∈(0,Λ)에서 최소해 외에 추가적인 비자명 해가 존재함을 보인다. 이는 에너지 함수 I(u)의 mountain‑pass 구조를 확보하고, Sobolev‑Hölder 지역 최소화자 동등성을 통해 C^{1,α} 정규화된 해를 얻는 과정에서 핵심적인 역할을 한다.

임계 성장 r=r* 경우는 더욱 까다롭다. 혼합 연산자는 스케일 불변성이 없고, 최적 Sobolev 상수의 달성 여부가 알려져 있지 않다. 저자들은 Aubin‑Talenti 유형 함수를 정밀히 추정하고, s에 대한 추가 제약(예: s<min{1/q′, 1−1/q, (N−p)/(p−1)−N, 1−q/p})을 도입해 전역 다중성을 확보한다. 특히 p≥2, q≤p, p∈(3N/(N+3), ∞)와 같은 범위에서 두 개 이상의 양의 해가 존재함을 증명한다.

핵심 기술은 두 가지 독립적인 도구이다. 첫째, 강비교원리와 Hopf‑형 강비교원리를 혼합 연산자와 특이 항에 맞게 확장하였다. 이를 위해 무한 반포지톤 문제를 구성하고, 암시적 함수정리를 이용해 선형화된 연산자의 양의 해를 확보한 뒤, 비국소 항에 대한 정밀 추정으로 전체 비교를 완성한다. 둘째, Sobolev‑Hölder 지역 최소화자 동등성 정리를 증명하였다. C^{1,0} 위상에서 최소화자인 경우, X_0(Ω)=W^{1,p}_0(Ω)∩W^{s,q}_0(Ω) 위상에서도 최소화자를 유지함을 보였으며, 이를 위해 Moser 반복법을 활용한 L^∞ 추정과 De Giorgi‑Stampacchia 기법을 결합하였다. 이러한 정리는 에너지 함수의 mountain‑pass 구조를 검증하는 데 필수적이다.

결과적으로, 이 논문은 혼합 국소·비국소 연산자와 특이 비선형성을 동시에 다루는 최초의 전역 다중성 이론을 제공한다. 제시된 비교 원리와 지역 최소화자 동등성은 향후 더 일반적인 비선형 비국소 문제에도 적용 가능할 것으로 기대된다.