De Giorgi-Nash-Moser theory for kinetic equations with nonlocal diffusions

기술적 요약: 비국소 확산을 갖는 운동론 방정식에 대한 데 조르기-나시-모저 이론

문제 제기
본 논문은 운동론에서 발생하는 비국소 가타타방정식 (hypoelliptic equations) 의 정칙성 이론, 특히 다음과 같은 형태의 적분 - 미분 콜모고로프 방정식에 대한 정칙성 이론을 다룬다:
$$(\partial_t + v \cdot \nabla_x)f = L_v f + h$$
여기서 $L_v$는 속도 변수 $v$에만 작용하는 비국소 확산 연산자로, 일반적으로 거친 계수를 가진 분수 미분 (예: 분수 라플라시안 $(-\Delta_v)^s$) 을 포함한다. 커널 $K$는 표준적인 타원성/강제성 조건을 만족하지만 퇴화될 수 있다.

이 설정에서의 핵심적인 어려움은 고전적인 데 조르기-나시-모저 (DGNM) 추정식의 실패에 있다. Kaßmann 과 Weidner[45] 에 의한 최근의 반례들은 이러한 비국소 운동론 방정식의 경우, 정적 해 (stationary solutions) 의 경우에도 고전적인 하라크 부등식과 국소 $L^2-L^\infty$ 추정식이 일반적으로 실패함을 보여준다. 이러한 실패는 비국소 확산의 비국소성과 이방성 수송 항 ($v \cdot \nabla_x$) 간의 상호작용에서 비롯되며, 이는 순수 타원 또는 포물성 비국소 설정에서 초극값 꼬리 (supremum tails) 를 통해 비국소 효과를 보상하는 표준적인 방법을 방해한다.

방법론
저자들은 갈릴레이 변환 (Galilean transformations) 으로 지배되는 동질 리 군 구조와 비유클리드 스케일링에 의해 규정되는 운동론 방정식의 특정 기하학에 맞춘 정제된 DGNM 이론을 개발한다. 방법론은 다음과 같다:

1. 기하학적 프레임워크: 분석은 운동론 스케일링 $\delta_r(t, x, v) = (r^{2s}t, r^{1+2s}x, rv)$에 적응된 "기울어진 원기둥" $Q_r(z_0)$ 위에서 수행된다. 이는 수송 연산자의 고유 스케일링을 존중한다.
2. 꼬리 제어: 전역 유계성을 가정하거나 초극값 꼬리를 사용하는 대신, 저자들은 드리프트 변수를 따른 해의 "비국소 꼬리"의 $L^p$-가합성에 기반한 조건을 도입한다. 꼬리는 다음과 같이 정의된다:
   $$\text{Tail}(f; B_r(v_0)) := r^{2s} \int_{\mathbb{R}^n \setminus B_r(v_0)} \frac{|f(v)|}{|v_0 - v|^{n+2s}} \, dv$$
   핵심 가정은 이 꼬리 양이 $p > N_s/2s$인 $p$에 대해 수송 변수 $(t, x)$에 관하여 $L^p_{loc}$에 속한다는 것이다. 여기서 $N_s$는 동차 차원이다.
3. 적분성 향상 (카초폴리 추정식): 증명은 꼬리 항을 포함하는 새로운 운동론 카초폴리 (Caccioppoli) 추정식에 의존한다. 방정식의 가타타방정식적 성질과 분수 콜모고로프 방정식의 기본 해 (파라메트릭 접근을 통해) 를 활용함으로써, 저자들은 약한 준해 (weak subsolutions) 에 대한 국소적 적분성 향상을 확립한다. 이를 통해 시간 - 속도 공간에서의 직접적인 소보레프 부등식 부재를 우회할 수 있다.
4. 반복적 기법: 비국소 꼬리를 처리하도록 수정된 데 조르기 유형의 반복적 논증이 사용된다. 이 반복은 매개변수 $\delta$에 의해 제어되는 비국소 꼬리 기여도와 국소 기여도 사이의 균형을 맞춘다.

주요 기여 및 결과

• 정리 1.1 ($\delta$-보간 $L^2-L^\infty$ 추정식): 저자들은 약한 준해에 대한 국소 유계성 추정식을 증명한다. 더 작은 원기둥에서의 해의 $L^\infty$ 노름은 더 큰 원기둥에서의 $L^2$ 노름, 소스 항 $h$의 $L^p$ 노름, 그리고 결정적으로 비국소 꼬리의 $L^p$ 노름에 의해 제한된다. 이 추정식에는 국소적 효과와 비국소적 효과 사이의 정량적 균형을 가능하게 하는 매개변수 $\delta$가 포함된다.
  $$\text{ess sup}_{Q_{r/2}} f \leq c(\delta) \langle v_0 \rangle^{\dots} \|f\|_{L^2} + \dots + \delta \|\text{Tail}(f^+)\|_{L^p}$$
  이 결과는 꼬리의 적분성에 대한 제어 부재가 고전적 추정식의 실패 원인임을 보여줌으로써 [45] 의 반례에서 제기된 문제를 해결한다.

• 정리 1.4 (국소적 적분성 향상): 꼬리와 소스 항이 $L^p$ 조건을 만족할 경우, 약한 준해가 특정 범위의 $q$에 대해 $L^q_{loc}$에 속함을 확립한다. 이는 $L^2-L^\infty$ 추정식을 위한 기초적인 단계이다.

• 정리 1.5 (강한 하라크 부등식): 음이 아닌 약한 해에 대한 강한 하라크 부등식의 새로운 공식을 증명한다. 고전적 버전과 달리, 이 부등식은 꼬리의 $L^p$ 노름을 포함하는 비국소 잔여 항을 포함한다.
  $$\sup_{Q^-_{r_0}} f \leq c \inf_{Q^+_{r_0}} f + c \|\text{Tail}(f)\|_{L^p}$$
  이 공식은 꼬리가 제어될 때 값의 비율이 발산하는 것을 방지하므로 [45] 의 반례와 일관성이 있음이 입증된다.

• 기하학적 특성화 (정리 4.7): 아로손과 세린 [7] 의 작업을 비국소 운동론 설정으로 확장하여, 저자들은 하라크 부등식의 기하학적 특성화를 제공한다. 그들은 기저 리 군에서 허용 가능한 곡선을 통해 점들을 연결하는 "비국소 하라크 사슬"을 정의하여, 컴팩트 집합에서의 해의 최댓값이 시작점의 값과 사슬을 따라 누적된 꼬리 기여도에 의해 제어됨을 보인다.

의의 및 주장
본 논문은 고려된 클래스 내에서 콜모고로프 방정식에 대한 비국소 DGNM 그림을 완성한다고 주장한다. 그 주요 의의는 다음과 같다:

1. 반례 해결: 고전적 형태로 실패하는 정칙성 추정식을 복원하는 데 필요한 정확한 비국소 기여 ( $L^p$-가합성 꼬리) 를 규명한다.
2. 사전 가정 제거: 이전 운동론 문헌에서 흔한 가정인 해의 사전적 전역 유계성을 가정하지 않고도 Hölder 연속성과 하라크 부등식의 증명이 가능하게 한다.
3. 통합: 이 작업은 운동론 이론을 분수 타원 및 포물성 설정에서 이용 가능한 추정식과 정렬시켜, 거친 계수를 가진 국소 운동론 방정식에 대한 최근 결과에 대한 적분 - 미분 대응체를 제공한다.
4. 최적성: 저자들은 Kaßmann 과 Weidner 가 제공한 반례의 맥락에서 꼬리에 대한 $L^p$ 조건이 최적 (또는 거의 최적) 이라고 주장한다. 왜냐하면 더 낮은 적분성은 추정식의 실패로 이어지기 때문이다.

본 논문은 이러한 기법들이 비선형 $p$-라플라시안 유형 연산자, 점근 접근법, 그리고 평균장 게임 (mean field games) 에의 적용과 같은 추가 발전의 기초가 될 수 있음을 언급하며 마무리한다. 다만, 이러한 것들은 텍스트 내에서 확립된 결과라기보다는 잠재적인 미래 방향으로 제시된다.