Nonlocal degenerate Isaacs operators: Hölder regularity

기술 요약: 비국소 퇴화 아이작스 연산자(Nonlocal Degenerate Isaacs Operators): 횔더 정칙성(Hölder Regularity)

문제 정의
본 논문은 차수가 $2s$ ($s \in (0, 1)$)인, 전형적인 완전 비선형, 비국소적이며 강하게 퇴화된 형태의 클래스에 속하는 유계 점성 해(bounded viscosity solutions)의 정칙성을 다룬다. 연구 대상이 되는 연산자 $I$는 헤시안 행렬(Hessian matrix)의 최소 및 최대 고윳값의 합, 즉 $\lambda_1(D^2u) + \lambda_N(D^2u)$의 비국소적 대응물이다.

연산자 $I$는 단위 구 $S^{N-1}$ 상의 방향들에 대한 "inf-sup" 구조를 통해 다음과 같이 정의된다:
$$Iu(x) = \inf_{\xi \in S^{N-1}} I_\xi u(x) + \sup_{\xi \in S^{N-1}} I_\xi u(x)$$
여기서 $I_\xi$는 방향 $\xi$를 따르는 1차원 분수 라플라시안(fractionan Laplacian)을 나타낸다. 일반적인 분수 라플라시안이나 거친 커널(rough kernels)을 가진 비국소 연산자(이들은 일반적으로 모든 $s \in (0, 1)$ 범위에서 횔더 정칙성을 회복한다)와 달리, 이 연산자는 "매우 퇴화(very degenerate)"되어 있다. 왜냐하면 기저가 되는 레비 과정(Lévy process)이 극단적인 방향들을 포함하는 집합 위에만 지지(support)되어 있으며, 모든 방향에 대해 완전한 타원성(full ellipticity)을 결缺乏하기 때문이다.

핵심 질문은 $Iu = f(x)$의 유계 점성 해가 횔더 연속성을 갖는지 여부이며, 만약 그렇다면$s$에 대한 조건은 무엇인지이다.

방법론
저자들은 변분법(variational methods)이나 데 조르지-나시-모저(De Giorgi-Nash-Moser) 이론 대신, 이시-리온스(Ishii-Lions) 방식의 극대 원리(maximum principle)와 장벽 논법(barrier arguments)에 기반한 점성 해 기법을 사용한다. 증명의 핵심은 해의 진동(oscillation)을 확립하기 위한 변수 중첩(doubling of variables) 기법이다.

주요 기술적 구성 요소는 다음과 같다:

1. 변수 중첩 (Doubling of Variables): 저자들은 해의 진동을 분석하기 위해 테스트 함수 $\phi(x, y) = u(x) - u(y) - M|x-y|^\alpha - L|x-z_0|^2$를 구성한다. 이 함수가 양의 최댓값을 갖는다고 가정하고, 최댓점 $(\bar{x}, \bar{y})$에서 연산자를 해에 적용하여 모순을 도출한다.
2. 방향 분석 (Directional Analysis): 특정 방향들을 선택하여 연산자 $I$를 추정하는 것이 중요한 단계이다. 증명은 연산자가 극단적인 방향들을 "포착(sees)"한다는 사실을 활용한다. 저자들은 infimum과 supremum 항을 제한하기 위해 $\bar{\xi} = \frac{\bar{x}-\bar{y}}{|\bar{x}-\bar{y}|}$ 방향을 선택한다.
3. 적분 추정 (Integral Estimates): 증명은 테스트 함수의 차분 몫(difference quotients)을 포함하는 특이 적분에 대한 정밀한 추정에 크게 의존한다. 저자들은 로그 항과 거듭제곱 항을 포함하는 보조 함수(예: $h_c(s)$ 및 $g_c(\alpha)$)를 정의하여 결과적인 부등식의 부호를 결정한다.
4. 경계 정칙성 (Boundary Regularity): 전역 정칙성을 위해, 거리 함수 $d(x)$를 사용하여 경계 추정치를 확립한다. 저자들은 연산자가 $d(x)^\alpha$에 작용하는 방식을 분석함으로써 해가 경계 근처에서 $d(x)^\alpha$처럼 행동함을 증명하며, 이때 $C^2$ 경계의 부호 있는 거리 함수(signed distance function)의 성질을 이용한다.
5. 리우빌 정리 (Liouville Theorem): 리우빌 결과는 내부 횔더 추정치를 스케일링 논법과 결합하여 도출된다. 해를 재스케일링하고 도메인의 반지름을 무한대로 보냄으로써, 해의 횔더 연속성 모듈러스(modulus of continuity)가 해를 상수로 강제함을 보인다.

주요 기여 및 결과

• 내부 횔더 정칙성 (Theorem 1.1): 주요 결과는 $s_0 \in (1/2, 1)$인 임계값 $s_0$가 존재하여, $s \in (s_0, 1)$인 경우 $Iu = f$의 유계 점성 해가 국소적으로 횔더 연속($C^{0, \alpha}_{loc}$)임을 확립한다. 이는 양의 측도(positive measure)를 가진 집합에 지지되는 특이 레비 측도를 가진 연산자들(이들은 모든 $s \in (0, 1)$에 대해 정칙성을 갖는다)과 대조되는 것으로, 이 퇴화된 연산자는 정칙성을 회복하기 위해 $s$가 충분히 2에 가까워야(즉, $s > 1/2$) 한다는 점이 중요하다.
• 전역 횔더 정칙성 (Theorem 1.2): 유계 $C^2$ 도메인 $\Omega$와 제로 디리클레 경계 조건에 대해, $s > s_0$인 경우 해는 $\Omega$ 내에서 전역적으로 횔더 연속이다.
• 리우빌 정리 (Theorem 1.3): 정칙성의 결과로서, 저자들은 $s > s_0$일 때 전체 공간 $\mathbb{R}^N$에서의 제차 방정식 $Iu = 0$의 모든 유계 점성 해가 상수임을 증명한다.
• 상위해(Supersolutions)에 대한 반례: 논문은 해(solutions)와 상위해(supersolutions) 사이의 차이를 강조한다. 리우빌 성질이 $s > s_0$일 때 해에 대해 성립하는 반면, 저자들은 [BGT22]의 논거를 인용하여 동일한 방정식에 대해 임의의 차원 $N \ge 2$에서 비자명한 유계 상위해가 존재함을 보여준다. 이는 국소적인 경우($s=1$)에 상위해에 대해서도 리우빌 성질이 성립하는 것과 대조적이다.

의의 및 주장
본 논문은 연산자의 "극단적 방향" 구조가 횬더 정칙성을 회복하기에 충분하지만, 이는 비국소적 차수가 국소적 2차 케이스에 충분히 가까울 때만 가능하다는 것을 주장한다. 이는 정칙성이 전체 $s \in (0, 1)$ 범위에서 확립되었던 기존의 퇴화된 비국소 연산자 연구들과 대조된다.

저자들은 자신들의 접근 방식이 거친 커널을 다루는 로스-오톤(Ros-Oton)과 세라(Serra)의 변분법적 방법과 구별된다고 언급한다. 대신, 점성 기반의 접근 방식은 아이작스 연산자의 특유한 "inf + sup" 구조를 다룰 수 있게 해준다. $s > s_0$라는 제한은 방법론과 연산자의 퇴화에 따른 특유의 기하학적 구조에 내재된 것이며, 본 논문은 $s \le 1/2$에 대한 정칙성을 주장하는 것이 아니다.

이 연구는 퇴화된 확산을 포함하는 최적 제어 문제에서 발생하는 특정 클래스의 "비국소적 절단 라플라시안(nonlocal truncated Laplacians)"에 대한 최초의 정칙성 결과를 제공함으로써, 비국소적 완전 비선형 방정식에 대한 이해를 확장한다.