Multiple positive solutions to a perturbed Gelfand problem involving mixed local-nonlocal operators and singular nonlinearity

기술 요약: 혼합 국소-비국소 연산자와 특이 비선형성을 포함하는 섭동된 겔판드 문제의 다중 양의 해

문제 정의
본 논문은 특이 비선형성을 가진 혼합 국소-비국소 $p$-라플라시안 연산자에 의해 구동되는 섭동된 겔판드 유형의 경계값 문제에 대한 양의 해의 존재성과 다중성을 조사한다. 문제는 다음과 같이 정식화된다:
$$\begin{cases} -\Delta_p u + (-\Delta_p)_s u = \lambda \frac{f(u)}{u^\beta} & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{in } \mathbb{R}^N \setminus \Omega, \end{cases} \quad (P_\lambda)$$
여기서 $\Omega \subset \mathbb{R}^N$는 매끄러운 유계 영역이고, $1 < p < \infty$, $s \in (0, 1)$, $\lambda > 0$는 매개변수이며, $0 \le \beta < 1$이다. 비선형 함수 $f: [0, \infty) \to (0, \infty)$는 $f(0) > 0$을 만족하는 $C^1$ 증가 함수이다. 이 연산자는 국소적 $p$-라플라시안 $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$와 주치(principal value) 적분을 통해 정의되는 비국소적 분수형 $p$-라플라시안을 결합한 것이다.

이 연구는 화학 반응 속도가 아레니우스 법칙(Arrhenius law)을 따르는 소량 연료 손실 정상 상태 모델과 같은 연소 모델에 의해 동기 부여되었다. 특이 항 $u^{-\beta}$의 포함과 혼합 연산자 구조는 해의 정칙성(regularity) 및 비교 원리의 적용과 관련하여 상당한 분석적 난제를 도입한다.

방법론
주요 분석 도구로 사용된 것은 특이 비선형성을 다루기 위해 조정된 부해(subsolution) 및 상해(supersolution) 방법이다.

1. 함수적 프레임워크: 저자들은 $W^{1,p}$ 노름과 가일리아도(Gagliardo) 세미노름을 결합한 노름에 의해 정의된 $C_c^\infty(\Omega)$의 완성이자 $X_0^{1,p}(\Omega)$ 내에서 작업한다. 이 공간은 디리클레 경계 조건 $u=0$ in $\mathbb{R}^N \setminus \Omega$를 자연스럽게 포함한다.
2. 부해 및 상해의 구성:
   • 첫 번째 엄격한 부해 및 상해 쌍 $(\phi_1, \psi_1)$은 임의의 $\lambda > 0$에 대해 선형 문제의 작은 배수와 특정 특이 해 $\psi_0$의 큰 배수를 사용하여 구성된다.
   • 두 번째 쌍 $(\phi_2, \psi_2)$은 $f$에 대한 특정 구조적 조건(f1–f5로 표기) 하에 구성된다. 이 구성은 순수하게 국소적이거나 순수하게 분수형인 맥락에서 흔히 사용되는 ODE 기법이나 그린 함수 추정치에 의존하지 않고, 혼합 설정에 맞춤화된 보조 함수와 컷오프(cut-off) 기법에 의존한다.
3. 고정점 정리:
   • 두 개의 해의 존재를 위해, 저자들은 부해와 상해에 의해 정의된 순서 구간 내에서의 단조 반복법(monotone iteration method)을 활용한다.
   • 세 번째 해의 존재를 위해, 저자들은 아마인(Amann)의 고정점 정리를 사용한다. 이를 위해서는 해 맵(solution map)이 완전 연속(completely continuous)이어야 하며, 부해와 상해 쌍이 특정 순서 및 이산성(disjointness) 성질을 만족해야 한다.
4. 강한 비교 원리(Strong Comparison Principles): 방법론의 핵심 요소는 특이 비선형성을 가진 선형 혼합 연산자에 대한 홉프(Hopf) 유형의 강한 비교 원리(SCP)를 유도하는 것이다. 이는 경계에서의 해와 그 법선 미분 사이의 엄격한 부등식을 증명하는 것을 포함한다.

주요 기여 및 결과

• 두 개의 해의 존재성 (정리 1.1): 가정 (f1)–(f3) 하에서, 이 문제는 모든 $\lambda > 0$에 대해 적어도 하나의 양의 해를 갖는다. 만약 $f$가 추가로 조건 (f4)와 (f5)를 만족한다면, 적어도 두 개의 구별된 양의 해를 갖는 매개변수 구간 $(\lambda_*, \lambda^*)$가 존재한다.
• 세 개의 해의 존재성 (정리 1.2 & 1.4): 본 논문은 두 가지 특정 영역에서 "세 해 정리"를 확립한다:
  1. 비특이 사례 ($\beta = 0, p > 1$): $\lambda \in (\lambda_*, \lambda^*)$인 경우, 세 개의 구별된 양의 해가 존재한다.
  2. 선형 특이 사례 ($p = 2, 0 < \beta < 1$): $\lambda \in (\lambda_*, \lambda^*)$인 경우, 세 개의 구별된 양의 해가 존재한다.
     이 경우의 분기 다이어그램(bifurcation diagram)은 점화(ignition) 및 소멸(extinction) 한계에 대응하는 두 개의 회전점(turning points)을 가지는 S자형 구조를 갖는 것으로 나타났다.
• 홉프 유형의 강한 비교 원리 (정리 1.3): 저자들은 특이 비선형성을 가진 선형 혼합 연산자에 대한 새로운 강한 비교 원리를 증명한다. 구체적으로, $f_1 \le f_2$를 만족하는(단, $f_1 \not\equiv f_2$) $u_1, u_2$에 대하여, $u_1 < u_2$ in $\Omega$ 이고 $\frac{\partial u_2}{\partial \nu} < \frac{\partial u_1}{\partial \nu} < 0$ on $\partial \Omega$ 이다. 이 결과는 전체 범위 $s \in (0, 1)$에 대해 유효하며, $s < 1/2$로 제한되었던 이전 결과들을 개선한다.
• 새로운 구성 기법: 부해 및 상해의 구성은 전통적인 ODE 기법과 그린 함수 추정치를 피하며, 더 비선형적이고 비국소적인 연산자에 더 잘 적응할 수 있는 프레임워크를 제공한다.

의의 및 한계
본 논문은 특이 비선형성을 가진 혼합 국소-비국소 문제에 대한 최초의 다중성 및 세 해 결과를 제공한다고 주장한다. 수학적 기여 중 중요한 부분은 선형 혼합 설정의 특이 문제를 위한 홉프 유형의 SCP를 개발한 것이며, 이는 세 번째 해를 도출하는 데 필수적인 도구로 설명되며 더 넓은 수학적 중요성을 갖는다.

저자들은 다음과 같은 한계를 명시적으로 언급한다: 일반적인 비선형 특이 사례($p \neq 2$ 이고 $0 < \beta < 1$ 인 경우)에 대한 세 번째 해의 존재성은 여전히 미해결 과제로 남아 있다. 주요 장애물은 비선형 혼합 연산자에 대한 홉프 유형의 강한 비교 원리를 증명하는 것의 어려움이다. 논문은 향-형태의 SCP를 비선형 및 비동차 혼합 연산자로 확장하는 것을 다룰 후속 연구를 통해 이 문제를 해결할 것임을 밝히며 마무리된다.

결과는 비선형 타원형 편미분 방정식의 틀 안에서 엄밀한 수학적 증명으로 제시되었으며, 국소적 확산, 비국소적 상호작용, 그리고 특이 반응항 사이의 상호작용에 특별한 주의를 기울였다.