Harnack inequality for non-uniformly elliptic equations in non-divergence form

1. 연구 문제 및 배경 (Problem Statement)

• 방정식: $B_1 \subset \mathbb{R}^d$에서 정의된 다음 형태의 방정식을 고려합니다.
  $$a_{ij}(x) \partial_{ij} u = 0$$
• 가정: 계수 행렬 $a_{ij}(x)$는 다음과 같은 조건을 만족합니다.
  $$\lambda(x) I \le a_{ij}(x) \le I$$
  여기서 타원성 계수 $\lambda(x) > 0$는 양수이지만, 균일하게 하한을 가지지 않을 수 있습니다. 유일한 조건은 $\lambda^{-1} \in L^p(B_1)$입니다. 즉, $\lambda$가 0 에 가까워지는 영역 (약한 확산 영역) 이 존재할 수 있으며, 그 정도가 $L^p$ 노름으로 제어됩니다.
• 목표: $\lambda^{-1} \in L^p$ 조건 하에서 해의 Harnack 부등식 ($\sup u \le C \inf u$) 이 성립하는지, 그리고 그 임계치 $p$가 무엇인지 규명하는 것입니다.
• 확률론적 해석: 이 방정식은 비등방성 (anisotropic) 확산 과정을 나타내며, $\lambda$가 작은 영역에서 입자가 "함정 (trap)"에 갇혀 오랫동안 머무를 수 있습니다. Harnack 부등식은 이러한 함정에도 불구하고 확산이 충분히 강해 서로 다른 점에서의 탈출 확률이 비교 가능함을 의미합니다.

2. 주요 방법론 (Methodology)

저자는 균일 타원형 경우와 달리, 계수의 열화 (degeneracy) 로 인해 표준적인 Moser iteration 이나 Alexandroff-Bakelman-Pucci (ABP) 최대 원리가 직접 적용되지 않는 문제를 해결하기 위해 새로운 기법을 개발했습니다.

• 점근적 장벽 (Barriers) 을 이용한 접촉 (Touching):

  • 초과해 (Supersolution) 에 대한 하한: Savin 의 방법을 차용하여 초과해를 아래에서 포물선 (paraboloids) 으로 접촉시켜 측도 - 점별 (measure-to-pointwise) 보조정리를 유도했습니다.
  • 특이한 첨예 (Singular Cusps): Smart 와 Armstrong 의 연구를 확장하여, $|x|^{-\beta}$ 형태의 특이한 첨예로 초과해를 아래에서 접촉했습니다. 여기서 지수 $\beta$는 타원성의 평균 열화 정도를 나타내는 $\Gamma(B)$에 비례합니다.
  • 미만해 (Subsolution) 에 대한 상한: **이중 지수 함수 (Double exponential blow-up barriers)**인 $U(x) \sim \exp(\exp((1-|x|^2)^{-1}))$ 형태로 미만해를 위에서 접촉하여 새로운 **로그 국소 최대 원리 (Logarithmic Local Maximum Principle)**를 유도했습니다. 이는 균일 타원형 경우에서도 새로운 결과입니다.

• 변수 변환과 야코비안 추정:

  • 접촉점에서의 야코비안 행렬식 (determinant of the Jacobian) 을 추정할 때, $\lambda^{-1}$의 $L^p$ 적분성을 활용하여 $\det(Dm) \lesssim \lambda^{1-d}$와 같은 부등식을 유도했습니다. 이는 $p > d-1$일 때만 유효합니다.

• ** Ink-spots Argument 의 수정:**

  • 표준적인 Ink-spots 정리는 균일한 상수 $M$을 사용하지만, 이 논문에서는 타원성이 나쁜 영역 (bad ellipticity) 에서 상수 $M$이 $\Gamma(B)$의 지수 함수 형태로 급격히 증가합니다. 이를 극복하기 위해 로그 모멘트 (log-moments) 를 사용한 새로운 반복 기법을 개발했습니다.

3. 주요 결과 (Key Results)

논문은 $p$의 값에 따라 정칙성 이론의 성립 여부를 다음과 같이 분류했습니다.

A. 약한 Harnack 부등식 (Weak Harnack Inequality)

• 결과 (Proposition 1.1): $p > d-1$일 때, 초과해 $u \ge 0$에 대해 로그 - $L^\epsilon$ 부등식이 성립합니다.
  $$\int_{B_1} \left( \log \frac{u}{\inf_{B_1} u} \right)^\epsilon \le C \Gamma(B_5)^\gamma$$
• 의미: 균일 타원형 경우의 멱함수형 (power-type) $L^\epsilon$ 부등식은 성립하지 않으며, 로그 모멘트가 초과해에 대해 얻을 수 있는 최선의 추정치임을 보입니다.
• 임계치: $p < d-1$인 경우, 어떤 형태의 약한 Harnack 부등식도 성립하지 않습니다 (Proposition 2.3).

B. 진폭 개선 (Improvement of Oscillation) 및 Liouville 정리

• 결과 (Proposition 1.2, Theorem 1.3): $p > d-1$일 때, 진폭이 감소하며, 전역적으로 유계인 해는 상수함수여야 합니다 (Liouville 정리).
• 특징: 진폭 감소율은 $\exp(-c \Gamma(B)^\gamma)$ 형태로, 타원성이 나쁠수록 감소 속도가 느려집니다.

C. 로그 국소 최대 원리 (Logarithmic Local Maximum Principle)

• 결과 (Proposition 1.4): $p > d-1$일 때, 미만해 $u$에 대해 다음과 같은 부등식이 성립합니다.
  $$\sup_{B_1} u \le 2 \exp \left( C \Gamma(B_3) \left( \int_{\{u>1\}} (\log u)^\tau \right)^{\frac{1}{\tau - q\kappa}} \right)$$
• 의미: 이는 균일 타원형 경우의 $L^p$ 최대 원리를 로그 모멘트 형태로 일반화한 것으로, 미만해가 한 점에서 충분히 크다면 로그가 적분적으로 집중되어야 함을 보여줍니다.

D. Harnack 부등식 (Harnack Inequality)

• 결과 (Theorem 1.5): 차원 $d$에 의존하는 충분히 큰 $p > p(d)$일 때, Harnack 부등식이 성립합니다.
  $$\sup_{B_1} u \le C \inf_{B_1} u$$
  여기서 $p(d) = \frac{d-1}{2} \left( d+2 + \sqrt{d(d+4)} \right)$입니다.
• 미해결 영역: $d-1 < p \le p(d)$ 구간에서는 Harnack 부등식이 성립할 것으로 추측되지만, 현재는 증명되지 않았습니다. 저자는 $p > d-1$이 실제로 Harnack 부등식을 보장하는 최적의 조건일 것이라고 믿습니다.

E. 반례 (Counterexamples)

• $p < d-1$: Harnack 부등식과 약한 Harnack 부등식 모두 실패합니다.
• $p < \infty$: 균일 타원형 경우와 달리, 초과해에 대한 멱함수형 $L^\epsilon$ 부등식은 어떤 $p < \infty$에서도 성립하지 않습니다. 이는 $\lambda$가 0 에 가까워질 수 있기 때문입니다.

4. 해의 정의와 엄밀성 (Notions of Solution)

• C-viscosity solution: 계수 $\lambda$가 연속이고 엄격히 양수 (strictly positive) 여야 한다는 가정이 필요합니다. $\lambda$가 한 점에서 0 이 되는 경우 (예: $u(x)=|x|$), C-viscosity 해의 정의는 Harnack 부등식을 위반하는 반례를 허용합니다.
• $L^s$-strong solution: 만약 해가 $W^{2,s}$ 공간에 속하고 ($s>d$), $\lambda$가 0 이 되는 집합이 측도 0 이라면, 연속성과 엄격한 양수성 가정 없이도 모든 결과가 성립함을 보였습니다.

5. 의의 및 결론 (Significance)

1. 비균일 타원형 이론의 확장: 비발산형 방정식에서 계수의 열화가 $L^p$ 조건으로만 제어될 때의 정칙성 이론을 체계화했습니다.
2. 임계치 규명: 약한 Harnack 부등식의 임계치가 $p=d-1$임을 명확히 했습니다. 이는 발산형 (divergence form) 경우의 임계치 $p > \frac{d-1}{2}$와 대조적입니다.
3. 새로운 기법: 이중 지수 함수 장벽을 이용한 접촉법과 로그 모멘트 기반의 반복 기법은 비균일 타원형 문제를 다루는 새로운 도구로 제시되었습니다.
4. 개방된 문제: $d-1 < p \le p(d)$ 구간에서의 Harnack 부등식 성립 여부는 여전히 열려 있으며, 저자는 이 구간에서도 성립할 것이라고 추측하고 있습니다.

이 논문은 열화된 타원성 (degenerate ellipticity) 을 가진 편미분방정식의 거동을 이해하는 데 있어 중요한 이정표가 되며, 특히 확률론적 과정에서의 "함정" 현상과 해의 정칙성 사이의 관계를 수학적으로 정립했습니다.