Double phase inequalities with convolution nonlinearity in exterior domains

기술 요약: 외부 영역에서의 컨볼루션 비선형성을 가진 이중 위상 부등식

문제 정의
본 논문은 외부 영역 $\mathbb{R}^N \setminus B_1$ ($N \ge 1$)에서 정의된 두 가지 관련 이중 위상 타원형 부등식의 $C^1$ 해의 존재성을 조사한다. 부등식은 다음과 같다:
$$(P \pm) \quad L_g u \pm \Delta_s u \ge (|x|^{-\alpha} * u^p)u^q$$
여기서 $\Delta_s u = \text{div}(|\nabla u|^{s-2}\nabla u)$는 $s > 1$인 $s$-라플라스 연산자이며, $L_g u = -\text{div}(|\nabla u|^{m-2}g(|\nabla u|)\nabla u)$는 $m > s > 1$인 일반화된 연산자이다. 함수 $g: [0, \infty) \to (0, \infty)$는 단조 감소하며, $(0, \infty)$에서 $C^1$이고, 0 근처에서 특정 점근적 조건을 만족한다. 항 $(|x|^{-\alpha} * u^p)$는 컨볼루션(합성곱)을 나타내며, 이는 비국소적(nonlocal) 비선형성을 도입한다. 본 연구는 $L_g$가 $m$-라플라스 연산자 또는 $m$-평균 곡률 연산자로 환원되는 경우를 포함한다.

방법론
저자는 유계 영역에서의 비교 원리와 오르리츠 공간(Orlicz spaces)에 적응된 새로운 상해(sub-) 및 상해(super-) 해법을 결과적으로 결합하여, 무한 영역에서의 비국소적 컨볼루션 항을 처리하기 위해 적분 추정치, 비교 원리, 그리고 새로운 상해/상해 해법을 사용한다.

1. 비교 원리: 함수 $t \mapsto tA(t)$ (단, $A(t) = t^{m-2}g(t) + t^{s-2}$)의 단조성에 기초하여 유계 영역에서의 연산자 $L_g - \Delta_s$에 대한 비교 원리를 확립한다.
2. 방사형 추정치: $(P+)$의 해 존재성을 위해, $u(x) = \kappa|x|^{-\gamma}$ 형태의 방사 대칭 테스트 함수를 구성한다. 이때 미분 연산자의 성장과 컨볼루션 항 사이의 균형을 맞추기 위해 감쇄율(decay rates)을 정밀하게 선택하며, 거듭제곱 함수의 컨볼루션을 추정하기 위해 보조정리(Lemma) 2.2를 활용한다.
3. 사전 추정치(A Priori Estimates): $(P-)$에 관한 비존재 및 존재 결과에 대해, 환형 영역(annuli) $B_{3R} \setminus B_{2R}$에서의 적분 추정치를 도출한다. 특정 컷오프 함수(cut-off functions)를 사용하여 부등식을 테스트하고, 영(Young)의 부등식과 횔더(Hölder)의 부등식을 적용함으로써 해의 거듭제곱에 대한 적분 상한을 설정한다.
4. 상해 및 하해 반복법(Sub- and Supersolution Iteration): $(P-)$의 존재성을 증명하기 위해 새로운 반복 스킴을 고안한다. 상해(supersolution)는 멱법칙(power law) 감쇄를 사용하여 구성하며, 하해(subsolution)는 무한대에서의 연산자 거동으로부터 도출된다. 확장되는 유계 영역 $B_n \setminus B_1$ 상에서 해의 증가 수열을 구성하며, 오르리츠-소보레프 공간($W^{1,G}_{loc}$)에서의 임베딩 컴팩트성을 활용하여 극한을 취함으로써 전역적인 $C^1$ 해를 얻는다.

주요 기여 및 결과

• $(P+)$와 $(P-)$의 뚜렷한 거동 차이: 본 논문은 두 부등식 사이의 날카로운 이분법을 밝혀낸다.

  • 정리 1.1: 부등식 $(P+)$ (연산자가 더해지는 경우)의 경우, $g$가 기본 정칙성 조건을 만족한다면 모든 매개변수 $m > s > 1$ 및 $q > s-1$에 대해 양의 해가 존재한다.
  • 정리 1.2: 부당식 $(P-)$ (연산자가 빼지는 경우)의 경우, $m > s \ge N$이면 양의 해가 존재하지 않는다.

• $(P-)$에 대한 최적 조건:

  • 정리 1.3: $m > s > 1$ 및 $s < N$일 때, 부등식 $(P-)$의 양의 해의 존재성은 대응하는 방정식 $L_g u - \Delta_s u = (|x|^{-\alpha} * u^p)u^q$의 양의 $C^1$ 해의 존재성과 동등하다.
  • 본 논문은 가해성(solvability)을 위한 지수 $p$와 $q$에 대한 필요충분 조건을 다음과 같이 도출한다:
    $$\min\{p, q\} > \frac{(s-1)(N-\alpha)}{N-s} \quad \text{및} \quad p + q > \frac{(s-1)(2N-\alpha)}{N-s}$$
  • 이러한 조건들은 최적임이 입증되었다. 증명 과정에서는 로그 개선(logarithmic improvements)을 통한 해의 감쇄 유도를 통해 등호 케이스를 배제함으로써 모순을 이끌어낸다.

• 특정 연산자: 따름정리 1.4는 이러한 일반적 결과를 $m$-라플라스 연산자($-\Delta_m u - \Delta_s u$)와 $m$-평균 곡률 연산자($-H_m u - \Delta_s u$)의 구체적인 사례에 적용하여, 동일한 지수 조건이 가해성을 결정함을 확인한다.

의의
본 논문은 이중 위상 문제(물리학의 불균질 구조와 관련됨)와 컨볼루션 항이 포함된 비국소적 PDE(양자 물리학 모델에서 처음 도입됨) 사이의 간극을 메운다고 주장한다. 주요 의의는 다음과 같다:

1. 외부 영역에서 이중 위상 연산자의 합과 차 사이의 가해성에 대한 날카로운 구별을 확립한다.
2. 차이의 경우($(P-)$), 차원 $N$, 컨볼루션 매개변수 $\alpha$, 그리고 비선형 지수 $p, q$ 사이의 특정한 관계를 요구하는 최적의 존재 조건을 제공한다.
3. 무한 영역에서의 비국소적 컨볼루션 항을 효과적으로 처리할 수 있는, 오르리츠 공간에 적합한 새로운 상해 및 하해 방법을 도입하며, 이는 기존 문헌의 접근 방식과 차별화된다.

본 연구는 새로운 물리적 응용이나 실험적 제안을 제시하는 것이 아니라, 이러한 특정 부류의 준선형 타원형 부등식의 해의 존재성을 이해하기 위한 엄밀한 수학적 프레임워크를 제공한다.