[논문 리뷰] Continuous-time sparse domination

Komla Domelevo, Stefanie Petermichl|arXiv (Cornell University)|2016. 07. 21.

Advanced Topology and Set Theory참고 문헌 20인용 수 5

한 줄 요약

이 논문은 Hilbert 공간에 값이 있는 càdlàg 마르티ン갈에 대해 연속시간 희소 지배를 도입하여, X에 미분적으로 지배되는 마르티ン갈 Y의 최대 연산자 Y^*에 대한 날카운 가중 $L^p$ 추정을 수립한다. 궤적별 정지시간 절차를 통해, Y^*가 정지시간에서 샘플된 |X|를 포함하는 희소 연산자에 거의 확실히 지배됨을 도출하며, 이는 점프 과정조차도 유효한 최적의 가중 노름 유계성 $ \|Y^* _{L^p(w)} \lesssim Q_p(w)^{\max\{1,\frac{1}{p-1}\}} \|X\|_{L^p(w)}$ 을 이끌어낸다.

ABSTRACT

We develop the self similarity argument known as sparse domination in an abstract martingale setting, using a continuous time parameter. With this method, we prove a sharp weighted L^p estimate for the maximal operator Y^* of Y with respect to X. Here Y and X are uniformly integrable càdllàg Hilbert space valued martingales and Y differentially subordinate to X via the square bracket process. We also present a second, very simple proof of the special case Y=X. In this generality, notably including processes with jumps, the special case Y = X addresses a question raised in the late 70s by Bonami--Lépingle.

연구 동기 및 목표

• 균등적으로 적분 가능한 càdlàg 마르티ン갈의 맥락에서 희소 지배의 연속시간 유사체를 개발하기 위해.
• 제곱괄호 과정을 통한, X에 미분적으로 지배되는 마르티ン갈 Y의 최대 함수 $Y^*$에 대한 날카운 가중 $L^p$ 추정을 증명하기 위해.
• Bonami–Lépingle 가 1970년대 후반에 제기한 오랜 숙제인, Y = X일 때 최대 함수에 대한 $A_p$ 노름 추정에 대해 해결하기 위해, 이제 일반적인 càdlàg 과정으로 확장된다.
• 점프가 있는 과정에 대해 유효한 일반적 프레임워크를 제공하여, 이전 결과들이 동차성이나 이산 필터레이션에 의존하는 한계를 극복하기 위해.

제안 방법

• 모든 $\mathcal{F}_{T^j}$-측정 가능한 $A^j \subset E_j$에 대해 $\mathbb{P}(A^j \cap E_{j+1}) \leq \frac{1}{2}\mathbb{P}(A^j)$를 만족하는 희소 정지시간의 수열 $\{T_j\}$을 구성하여, 자기 유사성과 작은 측도 성장이 보장되도록 한다.
• 희소 연산자 $\mathcal{S}(X)(\omega) = \sum_{j=0}^\infty |X|_{T^j}(\omega) \chi_{E_j}(\omega)$를 정의하며, 여기서 $|X|_t = \mathbb{E}[|X_\infty| \,|\, \mathcal{F}_t]$이며, 이는 $Y^*$를 거의 확실히 지배한다.
• 미분 지배 조건 $[X,X]_t - [Y,Y]_t$가 비감소적이고 비음수임을 바탕으로 하는 재귀적 정지시간 구성에 의해, 거의 확실한 지배 $Y^*(\omega) \leq 8 \sum_{j=0}^\infty |X|_{T^j}(\omega) \chi_{E_j}(\omega)$를 확립한다.
• 쌍대 가중치 $u = w^{1/(p-1)}$를 사용한 측도 전환 기법을 통해 문제를 가중 $L^p$ 공간으로 이동시키며, Doob의 최대부등식의 적용을 가능하게 한다.
• u-가중 측도에서 Doob의 부등식을 적용하여 $|X|u^{-1}$의 최대 함수를 제어함으로써, $A_p$ 특성 $Q_p(w)$를 포함하는 추론 체인을 이끌어낸다.
• 최종 추정을 도출하기 위해 희소 지배와 가중 노름 부등식을 연결하여, 결국 $\|Y^*\|_{L^p(w)} \lesssim Q_p(w)^{\max\{1,\frac{1}{p-1}\}} \|X\|_{L^p(w)}$를 도출한다.

실험 결과

연구 질문

• RQ1 기존에 이산 디아딕 설정에서 개발된 희소 지배 기법을 점프가 있는 연속시간 마르티ン갈로 확장할 수 있는가?
• RQ2 연속시간, càdlàg 마르티ン갈 설정에서 Y가 X에 미분적으로 지배될 때, 최대 함수 $Y^*$에 대한 날카운 가중 $L^p$ 노름 추정은 무엇인가?
• RQ3 점프가 존재하는 상황에서도, 최대 함수에 대한 최적의 $A_p$ 특성 성장 $Q_p(w)^{\max\{1,\frac{1}{p-1}\}}$이 유지되는가?
• RQ4 Y = X인 특수 케이스가, 이전에 동차성 또는 이산 설정에서만 알려진 날카운 가중 추정을, 동차성 가정 없이 직접적으로 회복할 수 있는가?
• RQ5 일반적인 필터레이션에서 최대 함수에 대한 가중 추정을 증명할 때, $A_p$ 클래스의 열린성에 의존하지 않을 수 있는가?

주요 결과

• 논문은 Y의 최대 함수에 대해 거의 확실한 지배 $Y^*(\omega) \leq 8 \sum_{j=0}^\infty |X|_{T^j}(\omega) \chi_{E_j}(\omega)$를 증명하며, 여기서 $\{T_j\}$는 Y가 X에 대해 미분적으로 지배됨에 따라 구성된 희소 정지시간 수열이다.
• 희소 연산자 $\mathcal{S}(X)$는 가중 노름 추정 $\|\mathcal{S}(X)\|_{L^p(w)} \lesssim Q_p(w)^{\max\{1,\frac{1}{p-1}\}} \|X\|_{L^p(w)}$를 만족하며, 이때 상수는 필터레이션 또는 점프 행동에 관계없이 오직 $p$에만 의존한다.
• Y = X인 특수 케이스에서는 날카운 가중 추정 $\|X^*\|_{L^p(w)} \lesssim Q_p(w)^{\max\{1,\frac{1}{p-1}\}} \|X\|_{L^p(w)}$를 직접적이고 우아하게 증명하며, 동차성 가정 없이도 이전에 알려진 동차 케이스의 결과를 회복한다.
• 증명 과정에서 $A_p$ 클래스의 열린성을 의존하지 않아, 점프가 있는 càdlàg 마르티ン갈에 대해 전체적으로 일반적으로 유효하다.
• 메서드가 $A_p$ 특성에 대해 올바른 성장률 $Q_p(w)^{\max\{1,\frac{1}{p-1}\}}$을 제공하며, 이는 이전에 디아딕 또는 동차 설정에서 알려진 날카운 경계와 일치한다.
• 최종 노름 추정은 Doob의 부등식을 u-가중 측도에서 적용한 가중 부등식의 연쇄를 통해 유도되며, 최종적으로 $c_{\ref{Theorem_XstarX},p} = \frac{p^{p'}}{p-1}$의 날카운 상수를 도출한다. 여기서 $p' = \frac{p}{p-1}$이다.