[논문 리뷰] Riesz transform via heat kernel and harmonic functions on non-compact manifolds

Renjin Jiang|arXiv (Cornell University)|2017. 10. 02.

Nonlinear Partial Differential Equations참고 문헌 46인용 수 3

한 줄 요약

이 논문은 체적 두배 조건, 가우시안 열핵 상계, 그리고 컴acts 집합 외부에서 $L^2$-Poincaré 부등식을 만족하는 비콤팩트 리만다이프에서 $L^p$-유계성의 등가성을 Riesz 변환($R_p$), 열반위상의 기울기($G_p$), 그리고 조화함수에 대한 역 헬더 부등식($RH_p$) 간에 확립한다. $p \in (2,n)$인 경우, 이 등가성은 개구간 성질과 접합에 대한 안정성을 암시하며, 다중 유클리드 끝을 가진 다양체에서의 반례를 통해 최적성을 보여준다.

ABSTRACT

Let $M$ be a complete non-compact manifold satisfying the volume doubling condition, with doubling index $N$ and reverse doubling index $n$, $n\le N$, both for large balls. Assume a Gaussian upper bound for the heat kernel, and an $L^2$-Poincaré inequality outside a compact set. If $22$ on manifolds having at least two Euclidean ends of dimension $n$. For $p\in (\max\{N,2\},\infty)$, the fact that $(R_p)$, $(G_p)$ and $(RH_p)$ are equivalent essentially follows from [22]; moreover, if $M$ is non-parabolic, then any of these conditions implies that $M$ has only one end. For the proof, we develop a new criteria for boundedness of the Riesz transform, which was nontrivially adapted from [4], and make an essential application of results from [22]. Our result allows extensions to non-smooth settings.

연구 동기 및 목표

• 기하학적 및 해석적 조건 하에서 비콤팩트 다양체에서 Riesz 변환의 $L^p$-유계성을 특성화하는 것.
• $L^2$-Poincaré 가정을 초월하여 $R_p$와 $G_p$ 간의 알려진 등가성을 $p \in (2,n)$ 영역으로 확장하는 것.
• $R_p$ 가 접합 연산에 대해 안정적임과 동시에 $p \in (2,n)$ 범위에서 개구간 성질을 가짐을 보이는 것.
• $n \geq 3$ 차원의 다중 유클리드 끝을 가진 다양체에서 반례를 구성하여 결과의 최적성을 입증하는 것.
• 비연속 메트릭 측도 공간 및 일관된 타원형 연산자로의 프레임워크 확장

제안 방법

• Auscher 등의 이전 연구 [5]에서 비롯된 비틀림된 새로운 Riesz 변환 유계성 기준을 개발한다.
• 열핵의 가우시안 상계와 체적 두배 조건을 이용해 $L^p$ 공간에서 Riesz 변환의 행동을 통제한다.
• 열핵 추정 및 기울기 경계에 관한 [23]의 결과를 활용하여 스펙트럼 이론을 통해 $G_p$와 $R_p$를 연결한다.
• 조화함수의 기울기의 역 헬더 부등식($RH_p$)을 핵심 중간 조건으로 설정한다.
• 이중 지수 $N$과 역 이중 지수 $n$을 사용하여 등가성이 성립하는 범위 $p \in (2,n)$을 정의한다.
• 접합 기법을 적용하여, 등가성에 기반해 결과 다양체에서의 유계성을 유추함으로써 $R_p$ 가 접합 연산에 대해 안정적임을 보인다.

실험 결과

연구 질문

• RQ1 체적 두배 및 가우시안 열핵 상계 조건을 만족하는 비콤팩트 다양체에서, $L^2$-Poincaré 부등식보다 더 약한 기하학적 가정 하에 $p > 2$에서 열반위상 기울기의 $L^p$-유계성($G_p$)이 Riesz 변환의 $L^p$-유계성($R_p$)을 유도하는가?
• RQ2 체적 두배 조건과 가우시안 열핵 상계를 만족하는 비콤팩트 다양체에서 $p \in (2,n)$에 대해 $R_p$, $G_p$, $RH_p$ 조건이 등가인가?
• RQ3 다중 유클리드 끝을 가진 다양체에서 $R_p$ 가 성립하는 최대 $p$ 범위는 무엇이며, 이 범위가 최적인가?
• RQ4 비연속 메트릭 측도 공간 또는 더 일반적인 타원형 연산자로 $R_p$, $G_p$, $RH_p$ 간의 등가성이 확장 가능한가?
• RQ5 다양체의 접합에 따라 Riesz 변환은 어떻게 행동하는가? 그리고 이 등가성이 $R_p$ 가 접합 연산에 대해 안정적임을 암시하는가?

주요 결과

• $p \in (2,n)$일 때, 체적 두배 조건, 가우시안 열핵 상계, 그리고 컴팩트 집합 외부에서의 $L^2$-Poincaré 부등식을 만족하는 완전한 비콤팩트 다양체에서 $R_p$, $G_p$, $RH_p$ 조건은 상호 등가이다.
• $R_p$ 조건은 개구간 성질을 가진다: 어떤 $p \in (2,n)$에서 $R_p$ 가 성립하면, $n$ 아래의 이웃 영역 전체에서 $R_p$ 가 성립함을 의미하며, 이는 소규모 변형에 대한 안정성을 암시한다.
• 등가성은 $R_p$ 가 접합 연산에 대해 안정적임을 암시한다: 각 구성 다양체에서 $R_p$ 가 성립하면, 접합된 다양체에서도 $R_p$ 가 성립한다.
• 결과는 최적이며, 차원 $n \geq 3$인 최소 두 개의 유클리드 끝을 가진 다양체에서 $R_p$ 는 모든 $p \geq n$ 에서 실패하므로, $p \in (2,n)$ 범위가 정확히 최적임을 보여준다.
• $p \in (\max\{N,2\}, \infty)$인 경우, [23]의 이전 결과로부터 $R_p$, $G_p$, $RH_p$ 간의 등가성이 유도되며, 다양체가 비포텐셜적이면 이러한 조건 중 어느 하나라도 성립하면 단일 끝만을 가짐을 암시한다.
• 이 프레임워크는 딜리클레 메트릭 측도 공간 및 발산형의 일관된 타원형 연산자로 확장 가능하며, 이는 정리 5.1과 정리 5.3에 의해 가능하다.