Harnack Theory and Rigidity for Singular and Degenerate Fully Nonlinear Elliptic Equations with Hamiltonians

기술 요약: 해밀토니안을 포함한 특이 및 퇴화된 완전 비선형 타원형 방정식의 하르낙 이론과 강성(Rigidity)

문제 정의
본 논문은 광범위한 부류의 특이 또는 퇴화된 완전 비선형 방정식의 점성 해(viscosity solutions)에 대한 정칙성(regularity), 하르낙 부등식(Harnack inequalities), 그리고 리우빌 유형의 강성 성질을 조사한다. 고려되는 주요 방정식은 다음과 같다:
$$\Phi(x, |\nabla u|)F(D^2u) - H(x, \nabla u) + c(x)|u|^{i(\Phi)}u = h(x) \quad \text{in } \Omega,$$
여기서 $\Omega \subset \mathbb{R}^n$는 유계 영역이다. 이 연산자는 세 가지 핵심 구성 요소를 포함한다:

1. 기울기 의존적 타원성: 계수 $\Phi(x, |\nabla u|)$는 기울기가 소멸할 때($|\nabla u| \to 0$) 발생하는 퇴화 또는 특이성을 포착한다.
2. 완전 비선형 구조: $F$는 헤시안 $D^2u$에 작용하는 균등 $(\lambda, \Lambda)$-타원형 연산자이다.
3. 해밀토니안 항: $H(x, \nabla u)$는 특정 성장 조건을 가진 1차 항을 도입한다.

본 연구는 이 방정식의 디리클레 문제(Dirichlet problem)를 다루며, 기울기의 퇴화/특이성과 해밀토니안 항 사이의 상호작용에 초점을 맞춘다. 이는 표준적인 정칙성 및 비교 기법에 상당한 난제를 제기한다.

방법론
저자들은 점성 해 이론, 기하학적 장벽(barrier) 구성, 그리고 컴팩트성 논증의 조합을 사용한다. 주요 방법론적 구성 요소는 다음과 같다:

• 정칙성 업그레이드: 전역 $C^{1,\gamma}$-정칙성의 증명은 단계별 업그레이드 과정을 따른다. 먼저 ABP(Alexandroff–Bakelman–Pucci) 추정치를 통해 전역 유계성을 확립하는 것으로 시작한다. 이어 경계 장벽과 변수 중복(doubling-of-variables) 논증을 통해 전역 립시츠 추정치를 도출한다. 마지막으로, Birindelli, Demengel, Imbert, Silvestre의 연구를 변형하고 적응시킨 반복 근사 보조정리를 사용하여 $C^{1,\gamma}$ 정칙성을 확립한다.
• 슬라이딩 커스프(Sliding Cusp) 방법: 하르낙 부등식을 확립하기 위해, 저자들은 고전적인 슬라이딩 파라볼로이드(paraboloid) 방법 대신 "슬라이딩 커스프" 기법(Imbert와 Silvestre에 의해 개발됨)을 채택한다. 이는 $\Phi$가 $|\nabla u| \to 0$일 때 소멸하거나 특이해질 수 있기 때문에 필수적인데, 이 영역에서 파라볼로이드(꼭짓점에서 기울기가 0인 형태)는 특이점으로부터 떨어진 지점에서 접점(contact point)을 유지하는 데 실패한다. 커스프 함수 $\phi(x) = -|x|^{1/2}$를 사용함으로써, 저자들은 접점이 기울기가 0에서 벗어나 일정한 값을 갖는 곳에서 발생하도록 보장하여 점성 부등식의 적용을 가능하게 한다.
• 측도 추정 및 잉크 스팟(Ink-Spots): 하르낙 부등식의 유도는 하한을 전파하기 위한 "성장하는 잉크 스팟(growing ink-spots)" 보조정리(Vitali 피복 정리의 변형)와 슬라이딩 커스프 구성을 이용한 초해(supersolution)에 대한 $L^\varepsilon$ 추정치 확립에 의존한다.
• 고유값 이론: 일반화된 주 고유값(principal eigenvalue) 이론의 발전은 정교한 비교 원리와 페론의 방법(Perron's method)을 결합하여 활용한다. 이를 위해서는 일반적인 퇴화/특이 설정에서의 표준 비교 원리의 부재를 극복하기 위해 $\Phi$와 $H$에 대한 추가적인 구조적 가정(동차성 및 특정 연속성 조건)을 부과해야 한다.

주요 기여 및 결과

1. 전역 $C^{1,\gamma}$-정칙성: 본 논문은 영차 항이 없는 경우($c(x) \equiv 0$) 디리클레 문제의 점성 해에 대한 전역 $C^{1,\gamma}$-정칙성을 확립한다. 이 결과는 이전의 퇴화/특가 방정식(예: $|\nabla u|^\alpha F(D^2u)$를 포함하는 경우) 이론을 일반적인 해밀토니안 항 $H(x, \nabla u)$를 포함하도록 확장한다. 증명 과정은 연산자를 정규화하는 변환을 통해, 연산자를 정규화함으로써 퇴화 케이스($i(\Phi) \ge 0$)와 특이 케이스($-1 < i(\Phi) < 0$)를 모두 처리한다.

2. 하르낙 부등식:

   • 가법적 하르낙 부등식(Additive Harnack Inequality): 가정 (A1)–(A4)를 만족하는 일반적인 연산자에 대해, 저자들은 다음 형태의 가법적 하르낙 부등식을 증명한다:
     $$\sup_{B_{1/2}} u \le C_H \left( \inf_{B_{1/2}} u + \|h\|_{L^\infty}^{\frac{1}{i(\Phi)+1}} + 1 \right).$$
     일반적인 설정에서 진폭 재스케일링(amplitude rescaling)에 대한 불변성이 결여되어 있기 때문에 가법적 상수 "+1"이 필요함을 보여준다.
   • 표준 하르낙 부등식: 추가적인 동차성 가정 (A6) 하에서는 가법적 상수가 제거되어 표준 곱셈적 하르낙 부등식을 회복하며, 이는 리우빌 유형 정리의 도출로 이어진다.

3. 일반화된 주 고유값 이론: 본 논문은 영차 항을 포함하는 연산자에 대한 디리클레 주 고유값 $\beta^+$와 $\beta^-$의 이론을 발전시킨다. 저자들은 양의 및 음의 고유함수의 존재를 증명하고, 고유값을 최대 및 최소 원리의 타당성과 연결한다. 이는 해밀토니안 항과 일반적인 기울기 의존적 타원성 계수를 포함하는 더 넓은 클래스의 연산자에 대해 Birindelli와 Demengel의 이론을 확장하는 것이다.

4. 리우빌 유형 강성 정리: 스케일링된 하르낙 부등식의 결과로서, 저자들은 $\mathbb{R}^n$ 전체 공간에서의 전체 해(entire solutions)에 대한 리우빌 유형 결과를 증명한다. 구체적으로, 무한대에서 특정 성장 조건을 만족하는 비음수 해는 항등적으로 0이어야 하며, 전역 최솟값을 갖는 해는 상수여야 함을 보여준다.

의의 및 범위
본 논문은 특이 및 퇴화된 완전 방정식에 대한 전역 정칙성 및 하르낙 추정을 위한 통합된 처리를 제공한다. 본 논문은 해밀토니안 항과 더 넓은 클래스의 기울기 의존적 타원성 계수를 포함함으로써 기존 연구[7, 8, 24, 56]에서 확립된 프레임워크를 포괄하고 확장한다.

저자들은 기울기가 작지만 0이 아닌 지점에서의 접점을 다루기 위해 슬라이딩 커스프 방법을 통한 하르낙 부등식 접근법이 주어진 설정에 대해 최적(optimal)일 것으로 기대한다고 주장한다. 또한, 해밀토니안 드리프트(drift)와 기울기 퇴화가 공존하는 상황에서 최대 원리를 특징짓는 도구를 제공함으로써, 이 일반적인 클래스의 연산자에 대한 주 고유값 이론의 발전을 통해 문헌의 공백을 메운다. 이러한 결과는 복잡한 비선형 방정식의 해의 질적 거동을 이해하는 데 기여하는 새로운 리우빌 강성 정리를 도출한다.