[논문 리뷰] On the $L^p$-estimates for Beurling-Ahlfors and Riesz transforms on Riemannian manifolds

Xiang‐Dong Li|arXiv (Cornell University)|2013. 04. 03.

Advanced Harmonic Analysis Research참고 문헌 4인용 수 4

한 줄 요약

이 논문은 이전 논문 [6, 9]에서 보고된 Riemannian 다양체 위에서 Riesz 및 Beurling-Ahlfors 변환에 대한 $L^p$-노름 추정치에 존재하던 격차를 보완하기 위해, 엄밀한 시간 반전 마틴갈 변환 표현 공식을 수립한다. 이는 Ricci 곡률 하한 조건 $\operatorname{Ric} + \nabla^2\phi \geq -a$ 하에서 차원에 영향을 받지 않는 명시적 $L^p$ 유계성 $C(p^*-1)^{3/2}$ 와 등호가 성립할 경우 $2(p^*-1)$ 를 도출하며, Beurling-Ahlfors 변환에 대해서도 유사한 유계성이 유지됨을 보여준다.

ABSTRACT

In our previous papers \cite{Li2008, Li2011}, we proved some martingale transform representation formulas for the Riesz transforms and the Beurling-Ahlfors transforms on complete Riemannian manifolds, and proved some explicit $L^p$-norm estimates for these operators on complete Riemannian manifolds with suitable curvature conditions. In this paper we correct a gap contained in \cite{Li2008, Li2011} and prove that the $L^p$-norm of the Riesz transforms $R_a(L)= abla(a-L)^{-1/2}$ can be explicitly bounded by $C(p^*-1)^{3/2}$ if $Ric+ abla^2ϕ\geq -a$ for $a\geq 0$, and the $L^p$-norm of the Riesz transform $R_0(L)= abla(-L)^{-1/2}$ is bounded by $2(p^*-1)$ if $Ric+ abla^2ϕ=0$. We also prove that the $L^p$-norm estimates for the Beurling-Ahlfors transforms obtained in \cite{Li2011} remain valid. Moreover, we prove the time reversal martingale transform representation formulas for the Riesz transforms and the Beurling-Ahlfors transforms on complete Riemannian manifolds.

연구 동기 및 목표

• 이전 논문 [6, 9]에서 보고된 Riemannian 다양체 위에서 Riesz 변환에 대한 $L^p$-노름 추정치에 존재하던 격차를 수정하기 위해, 잘못된 확률적 표현 공식이 원인임을 밝힘.
• 완전한 Riemannian 다양체 위에서 Riesz 변환에 대해 유효한 시간 반전 마틴갈 변환 표현을 수립하여, 확률적 적분의 피드백이 필터링에 적합함을 보장함.
• 동일한 수정된 프레임워크 하에서 Beurling-Ahlfors 변환에 대한 $L^p$-노름 추정치를 재검증하고 확인함.
• 곡률 조건 $\operatorname{Ric} + \nabla^2\phi \geq -a$ 와 $\operatorname{Ric} + \nabla^2\phi = 0$ 하에서 Riesz 변환에 대한 명시적, 차원에 영향을 받지 않는 $L^p$-노름 유계성을 도출함.
• 시간 반전 과정을 포함하는 확률적 표현 프레임워크를 확장하여, 확률 미분 방정식 이론과 마틴갈 이론에 부합하는 일致성을 확보함.

제안 방법

• 역행 과정 $\widehat{X}_t = X_{T-t}$ 와 시간 반전 확률적 평행 이동 $\widehat{M}_t$ 를 사용하여 Riesz 변환에 대한 수정된 시간 반전 마틴갈 변환 표현을 유도함.
• 과정 $Z_t = e^{-at}M_t^*\eta_a(X_t, B_t)$ 에 대해 Itô의 미분법을 적용하여, 적합성과 $L^2$ 수렴을 보장함.
• 원래의 정방향 과정에 시간 반전 변환을 적용하여, $\widehat{Z}_\tau = \int_0^\tau e^{-as}\widehat{M}_s dQ_af(\widehat{X}_s, \widehat{B}_s)d\widehat{B}_s - \int_0^\tau e^{-as}\widehat{M}_s \partial_y dQ_af(\widehat{X}_s, \widehat{B}_s)ds$ 를 포함하는 새로운 확률적 적분 표현을 도출함.
• 공변 SDE의 해의 유일성을 이용하여 $M_\tau M_s^{-1} = \widehat{M}_{\tau-s}$ 를 식별함으로써, 확률적 적분의 시간 반전 변환을 가능하게 함.
• Bañuelos와 Baudoin [2]의 마틴갈 부등식을 적용하여 변환된 확률적 적분의 $L^p$-노름을 유계함.
• 동일한 프레임워크를 Beurling-Ahlfors 변환에 적용하여, $\int_0^T e^{-as}\widehat{M}_s B\nabla\omega_a(\widehat{X}_s,s)d\widehat{X}_s - \int_0^T e^{-as}\widehat{M}_s B\operatorname{Tr}\nabla^2\omega_a(\widehat{X}_s,s)ds$ 를 포함하는 시간 반전 표현을 도출함.

실험 결과

연구 질문

• RQ1 완전한 Riemannian 다양체 위에서 Riesz 변환 $R_a(L) = \nabla(a-L)^{-1/2}$ 에 대한 올바른 시간 반전 마틴갈 변환 표현은 무엇인가요?
• RQ2 곡률 조건 $\operatorname{Ric} + \nabla^2\phi \geq -a$ 하에서 Riesz 변환의 $L^p$-노름을 어떻게 명시적으로 유계화할 수 있나요?
• RQ3 [9]에서 보고된 확률적 표현의 격차를 수정한 후에도 Beurling-Ahlfors 변환의 $L^p$-노름 추정치는 여전히 유효한가요?
• RQ4 시간 반전 프레임워크를 사용하여 이러한 변환에 대해 일致하고 적합한 확률적 표현을 도출할 수 있나요?
• RQ5 곡률 조건 $\operatorname{Ric} + \nabla^2\phi = 0$ 하에서 $L^p$-노름의 $p$ 에 대한 정확한 의존성은 무엇인가요?

주요 결과

• Riesz 변환 $R_a(L)f(x)$ 에 대한 수정된 시간 반전 마틴갈 변환 표현은 $-2\lim_{y\to\infty} \mathbb{E}_y[\widehat{Z}_\tau \mid \widehat{X}_0 = x]$ 로 주어지며, 여기서 $\widehat{Z}_\tau$ 는 $\widehat{M}_s$ 와 $dQ_af$ 를 포함하는 확률적 적분과 비율항으로 정의됨.
• 곡률 조건 $\operatorname{Ric} + \nabla^2\phi \geq -a$ (여기서 $a \geq 0$) 하에서 $R_a(L)$ 의 $L^p$-노름은 $C(p^* - 1)^{3/2}$ 로 유계지며, 여기서 $p^* = \max(p, p')$.
• 만약 $\operatorname{Ric} + \nabla^2\phi = 0$ 이면, $R_0(L)$ 의 $L^p$-노름은 차원과 무관하게 $2(p^* - 1)$ 으로 유계임.
• [9]에서 도출된 Beurling-Ahlfors 변환에 대한 $L^p$-노름 추정치는 수정된 확률적 표현 격차를 보완한 후에도 여전히 유효함이 확인됨.
• Beurling-Ahlfors 변환에 대한 시간 반전 표현은 $S_B\omega(x) = 2\lim_{T\to\infty} \mathbb{E}[\widehat{Z}_T \mid \widehat{X}_0 = x]$ 로 도출되며, 여기서 $\widehat{Z}_T$ 는 $\widehat{X}_s$ 를 통한 확률적 적분과 $\operatorname{Tr}\nabla^2\omega_a$ 를 포함하는 비율항을 포함함.
• 증명은 적합한 적분의 피드백과 Bañuelos 및 Baudoin [2]의 마틴갈 부등식을 활용하여 확률적 적분의 $L^p$-노름을 제어하는 데 기반함.