[논문 리뷰] Cheeger-harmonic functions in metric measure spaces revisited

Renjin Jiang|arXiv (Cornell University)|2013. 07. 04.

Geometric Analysis and Curvature Flows참고 문헌 24인용 수 5

한 줄 요약

이 논문은 국소적으로 두배되는 측도와 국소적 약한 $L^2$-Poincaré 부등식을 갖춘 측도거리공간에서 Cheeger-조화 함수 및 비선형 포아송형 방정식의 해에 대한 기울기 추정을 수립한다. 열 반군 유형의 곡률 조건을 도입함으로써, 이전에 아르플로르스 정규성 조건이 필요로 했던 결과를 더 약한 두배되는 측도 가정으로 확장하여 Cheeger-조화 함수가 국소적으로 리프시츠 연속임을 증명한다.

ABSTRACT

Let $(X,d,μ)$ be a complete metric measure space, with $μ$ a locally doubling measure, that supports a local weak $L^2$-Poincaré inequality. By assuming a heat semigroup type curvature condition, we prove that Cheeger-harmonic functions are Lipschitz continuous on $(X,d,μ)$. Gradient estimates for Cheeger-harmonic functions and solutions to a class of non-linear Poisson type equations are presented.

연구 동기 및 목표

• 이전 결과에서 Cheeger-조화 함수에 대한 아르플로르스 정규성 조건을 더 약한 국소적으로 두배되는 측도 가정으로 완화하는 것.
• 측도거리공간에서 비선형 포아송형 방정식의 해에 대한 기울기 추정을 수립하는 것.
• 열 반군 유형 곡률 조건 하에서 Cheeger-조화 함수가 국소적으로 리프시츠 연속임을 증명하는 것.
• 최소한의 기하적 가정 하에 비가속도적 측도거리공간으로 Yau 유형 기울기 추정을 확장하는 것.
• 기울기 추정의 양적 의존성, 즉 두배되는 상수와 Poincaré 상수와 같은 기하적 매개변수에 대한 의존성을 제공하는 것.

제안 방법

• 열 반군 곡률 조건을 $ 0 < t < T $ 에 대해 부등식 $ T_t(g^2)(x) - [T_t(g)(x)]^2 \leq (2t + c_\kappa(T)t^2)T_t(|Dg|^2) $ 로 표현하여 도입한다.
• Caccioppoli 및 Sobolev-Poincaré 부등식을 이용해 모스어 이터레이션 기법을 적용하여 해의 $ L^\infty $ 유계성을 도출한다.
• 구간 $ B(y_0, 3R/2) $ 에서 지지되고 $ B(y_0, R) $ 에서 1과 일치하는 컷오프 함수 $ \phi $ 를 사용하여 국소화된 추정을 수행한다.
• 곱셈 법칙을 만족하고 점별 리프시츠 상수와 노름이 유사한 체거 미분 연산자 $ D $ 를 사용한다.
• 열 반군 곡률 조건을 국소적 약한 $ L^2 $-Poincaré 부등식과 두배되는 측도와 조합하여 기울기 유계를 도출한다.
• 두배되고 Poincaré 부등식에서 유도되는 평탄한 하르나크 부등식을 적용하여 호일더 연속성을 유추하고, 모스어 이터레이션의 지원을 한다.

실험 결과

연구 질문

• RQ1 아르플로르스 정규성 조건 대신 국소적으로 두배되는 측도 조건으로도 Cheeger-조화 함수의 리프시츠 정규성이 확립될 수 있는가?
• RQ2 열 반군 곡률 조건이 비선형 포아송 방정식 해의 기울기 유계에 어떤 역할을 하는가?
• RQ3 Cheeger-조화 함수의 기울기 추정은 두배되는 상수 $ C_Q(2R) $, Poincaré 상수 $ C_P(2R) $, 곡률 함수 $ c_\kappa(R^2) $ 에 어떻게 의존하는가?
• RQ4 모스어 이터레이션 기법을 비가속도적 측도거리공간에서의 정밀한 $ L^\infty $ 및 기울기 추정을 얻기 위해 적응시킬 수 있는가?
• RQ5 기울기 유계는 반경 $ R $, $ \lambda $ 의 $ L^\infty $-노름, 곡률 함수 $ c_\kappa(R^2) $ 에 대해 어떻게 정확히 의존하는가?

주요 결과

• 완전하고 경로로 연결된 측도거리공간에서 국소적으로 $ Q $-두배되는 측도와 국소적 약한 $ L^2 $-Poincaré 부등식을 갖는다 하더라도, 열 반군 곡률 조건이 성립하면 Cheeger-조화 함수는 국소적으로 리프시츠 연속이다.
• 해의 기울기 추정은 $ Lu = -\lambda u $ 에 대해 $ 2B $ 에서 $ \| |Du| \|_{L^\infty(B)} \leq C \left( \frac{1}{R} + \sqrt{c_\kappa(R^2)} \right) \fint_{2B} |u| \, d\mu $ 로 주어지며, 여기서 $ C $ 는 $ Q, C_Q(2R), C_P(2R), \|\lambda\|_{L^\infty(2B)}R^2 $ 에 의존한다.
• 양의 조화 함수의 경우, 거의 모든 점 $ x \in B(y_0, R) $ 에서 $ |Du(x)| \leq C(Q, C_Q(1), C_P(1)) \left( \sqrt{c_\kappa(1)} + \frac{1}{R} \right) u(x) $ 를 만족하며, $ R < 1/2 $ 일 때 상수는 $ R $ 에 독립적이다.
• 만약 $ Q \in (1,2) $ 이면, Caccioppoli 부등식과 Sobolev-Poincaré 부등식을 조합함으로써 더 좋은 추정을 얻을 수 있으며, $ \|u\|_{L^\infty(B)} \leq C(1 + \sqrt{\|\lambda\|_{L^\infty(2B)} R}) \fint_{B(y_0, 2R)} |u| \, d\mu $ 를 유도한다.
• 만약 $ Q > 2 $ 이면, 모스어 이터레이션을 통해 $ \|\lambda\|_{L^\infty(2B)}R^2 $ 에 대해 다항식 의존성을 얻으며, 특히 $ \|u\|_{L^\infty(B)} \leq C(Q, C_P(2R), C_Q(2R)) (1 + \|\lambda\|_{L^\infty(2B)} R^2)^{Q/4} \left( \fint_{B(y_0, 2R)} |u|^2 \, d\mu \right)^{1/2} $ 를 얻는다.
• 증명은 두배되는 조건과 Poincaré 부등식이 평탄한 하르나크 부등식과 동치임을 이용하며, 이는 타원형 하르나크 부등식과 따라서 호일더 연속성을 유도하지만, 곡률 조건 없이 리프시츠 정규성은 유도되지 않는다.