[논문 리뷰] Some properties of sub-Laplaceans

Nicola Garofalo|arXiv (Cornell University)|2018. 09. 04.

Nonlinear Partial Differential Equations참고 문헌 27인용 수 7

한 줄 요약

이 논문은 허르망더 벡터장에서의 하위라플라시안의 기본 성질을 수립하며, 거리 공역의 크기 추정과 기본해에 대한 분석을 포함한다. 정규화된 가짜거리 함수를 도입하고, 내재적 평균값 공식을 유도하며, 포아송 커널과 연된 평탄한 확장 방법을 통해 분수차수 $(-\rho)^s$의 확장 문제를 해결한다. 주요 기여는 하위라플라시안의 잠재이론적 특성화와 $0 < s < 1/2$ 범위에서의 균일한 점별 수렴 결과이며, 카르노 군에서는 $0 < s < 1$까지 확장된다.

ABSTRACT

In this note I present some properties of sub-Laplaceans associated with a collection of smooth vector fields satisfying Hörmander's finite rank assumption. One notable aspect of the paper is the development of the fractional powers of sub-Laplaceans as Dirichlet-to-Neumann maps of an extension problem inspired to the famous 2007 work of Caffarelli and Silvestre for the standard Laplacean. A key tool is an extension problem for the fractional heat equation for which I compute the relevant Poisson kernel. I then use the latter to: 1) find the Poisson kernel for the time-independent case; and 2) solve the extension problem.

연구 동기 및 목표

• 허르망더 조건 하에서 하위라플라시안과 관련된 메트릭 공역과 기본해의 크기 추정을 수립하기 위해.
• 하위리만 기하의 내재 기하를 반영하는 정규화된 가짜거리 함수를 도입하고 분석하기 위해.
• 하위라플라시안에 대한 내재적 평균값 공식을 도출하고 잠재이론적 프레임워크에서 연산자를 정의하기 위해.
• 분수차수 하위라플라시안 $(-\mathscr{L})^s$, $0 < s < 1$에 대한 포물선 확장 방법을 개발하고 관련 확장 문제를 해결하기 위해.
• 확장 연산자의 점별 수렴을 증명하고, 곡률 조건 하에서 전체 범위 $0 < s < 1$에서 분수라플라시안 정의의 타당성을 확립하기 위해.

제안 방법

• 나겔-스타인-와이너 및 산체스-칼레의 결과를 활용하여 하위라플라시안 $\mathscr{L}$의 메트릭 공역 크기와 기본해 $\Gamma(x,y)$를 추정한다.
• 내재 기하를 반영하는 정규화된 가짜거리 함수를 도입하여 진동과 평균값 성질을 제어할 수 있도록 한다.
• 내재적 가짜거리 함수를 사용하여 평균값 공식을 도출하고, 고전적 잠재이론적 정의와의 동치성을 증명한다.
• 내재적 평균값 연산자를 적용하여 하위라플라시안 방정식에 대해 개선된 캐치옵폴리 유형의 에너지 추정을 유도한다.
• 바라크리슈난의 공식을 통해 분수차수 하위라플라시안 $(-\mathscr{L})^s$를 구성하고, 카르노 군에서 폴란드의 리프츠 커널 정의와의 동치성을 확립한다.
• 열 연산자의 확장을 통해 포아송 커널을 도입하고 포물선 확장 문제를 해결하며, 점별 $L^\infty$ 추정을 통해 수렴성을 증명한다.

실험 결과

연구 질문

• RQ1 허르망더의 유한 질량 조건 하에서 하위라플라시안과 관련된 메트릭 공역 크기와 기본해는 어떻게 행동하는가?
• RQ2 내재 기하를 반영하고 평균값 공식을 지원할 수 있는 정규화된 가짜거리 함수를 구성할 수 있는가?
• RQ3 하위라플라시안은 어느 정도까지 잠재이론적 평균값 공식을 통해 특성화될 수 있는가?
• RQ4 하위리만 구조에서 분수차수 $(-\mathscr{L})^s$는 포물선 방법을 통해 어떻게 정의되고 확장될 수 있는가?
• RQ5 확장 연산자의 점별 수렴 행동은 $0 < s < 1$ 범위에서 어떻게 되며, 어떤 조건 하에서 균일하게 성립하는가?

주요 결과

• 하위라플라시안과 관련된 메트릭 공역의 크기는 $|B(x,r)| \asymp r^{Q}$를 만족하며, 여기서 $Q$는 동차 차원으로, 나겔, 스타인, 와이너에 의해 확립되었다.
• 하위라플라시안 $\mathscr{L}$의 기본해 $\Gamma(x,y)$는 $\Gamma(x,y) \asymp d(x,y)^{2-Q}$를 만족하며, 여기서 $d$는 카르노-카라테오도리 거리이다.
• 하위라플라시안 $\mathscr{L}$의 내재적 평균값 공식은 고전적 블라슈케-프리바로프 라플라시안과 유사한 잠재이론적 정의와 동치이다.
• 내재적 평균값 연산자를 사용하여 개선된 캐치옵폴리 부등식을 도출하였으며, 이는 [17] 및 [14]에서의 이전 추정을 보완한다.
• 확장 문제의 포아송 커널은 열 연산자의 포물선 확장을 통해 구성되었으며, 핵심적인 양성 및 정규화 성질을 만족한다 (정리 9.6).
• 모든 $0 < s < 1/2$ 범위에서 확장 연산자의 점별 수렴이 $|P_t u(x) - u(x)| \leq C \|\nabla_{\mathscr{X}} u\|_{L^\infty} \sqrt{t}$ 추정을 통해 확립되었으며, 이는 카르노 군에서 전체 범위 $0 < s < 1$에서 분수라플라시안 정의의 균일 수렴을 암시한다.