[논문 리뷰] A note on dyadic coverings and nondoubling Calder\'on-Zygmund theory

Jose M. Conde|arXiv (Cornell University)|2012. 01. 17.

Advanced Harmonic Analysis Research참고 문헌 11인용 수 6

한 줄 요약

이 논문은 $n+1$ 개의 이진 필터링을 $\mathbb{R}^n$ 에서 구성하여, 모든 유클리드 구가 그 직사각형의 지름이 최대 $c_n$ 배 이내가 되도록 포함되도록 한다. 이 커버링을 바탕으로, 베식로비치 커버링을 피하는 비이중 측도에 대한 이진 칼데론-지그문트 분해를 개발하며, 히토넨-카이라마의 커버링 결과를 통해 상위 이중 측도 거리공간으로의 결과 확장도 이루어진다.

ABSTRACT

We construct a family of n+1 dyadic filtrations in R^n, so that every Euclidean ball B is contained in some cube Q of our family satisfying diam(Q) \\le c_n diam(B) for some dimensional constant c_n. Our dyadic covering is optimal on the number of filtrations and improves previous results of Christ and Garnett/Jones by extending a construction of Mei for the n-torus. Based on this covering and motivated by applications to matrix-valued functions, we provide a dyadic nondoubling Calder\\'on-Zygmund decomposition which avoids Besicovitch type coverings in Tolsa's decomposition. We also use a recent result of Hyt\\"onen and Kairema to extend our dyadic nondoubling decomposition to the more general setting of upper doubling metric spaces.

연구 동기 및 목표

• 모든 유클리드 구가 지름이 자신보다 최대 $c_n$ 배 이내인 직사각형에 포함되도록, $\mathbb{R}^n$ 에서 $n+1$ 개의 이진 필터링 가족을 구성하는 것.
• 베식로비치 유형 커버링에 의존하지 않는 비이중 측도에 대한 이진 칼데론-지그문트 분해를 제공하며, 행렬 값 함수에의 응용을 고려하여 동기를 부여하는 것.
• 히토넨과 카이라마의 커버링 결과를 이용하여, 상위 이중 거리공간이라는 더 일반적인 설정으로 이진 분해를 확장하는 것.
• 다항식 성장 또는 상위 이중 측도 조건 하에서 칼데론-지그문트 연산자의 약한 유형 $(1,1)$ 유계성을 확립하는 것.

제안 방법

• 표준 이진 격자를 $\{0,1\}^n$ 에서의 벡터를 이용해 이동시켜 $n+1$ 개의 이진 필터링을 구성하며, 모든 구가 자신의 지름의 최대 $c_n$ 배 이내인 지름을 가진 직사각형에 포함되도록 보장하는 것.
• 최대 함수 $\mathcal{M}_{\mathcal{A},\mu}f(x) = \sup_{x\in Q\in\mathcal{A}} \frac{1}{\mu(2Q)}\int_Q |f|\,d\mu$ 를 사용하여, 수준 집합 $\Omega_{\mathcal{A},\mu}^\lambda$ 을 최대한 서로 겹치지 않는 최대 직사각형 $Q_j$ 들의 합집합으로 정의하는 것.
• 직사각형 $R_j \in \mathcal{A}$ 에서 지지되는 함수 $\varphi_j$ 를 정의하며, $3Q_j \subset R_j$ 를 만족하고, $\|\varphi_j\|_\infty \lesssim \frac{1}{\mu(R_j)}\int_{Q_j} f\,d\mu$ 와 $\|\sum_j \varphi_j\|_\infty \lesssim \lambda$ 를 만족시키는 것.
• $\int \varphi_j\,d\mu = \int_{Q_j} f w_j\,d\mu \sim \int_{Q_j} f\,d\mu$ 를 확보하며, $w_j = \chi_{Q_j}/\sum_k \chi_{Q_k}$ 를 사용하여 분해 $f = g + b$ 를 가능하게 하는 것.
• 히토넨과 카이라마의 커버링 결과를 활용하여, 상위 이중 거리공간으로의 구성에 적응시키며, 직사각형 $Q_{jk}^m$ 이 $B(z_{jk},\delta^k) \subset Q_{jk}^m \subset 48B(z_{jk},\delta^k)$ 를 만족하고 $K(n,\delta)$ 개의 필터링으로 분할되도록 하는 것.
• 최대 함수 $\mathcal{M}_{\mathcal{A},\mu}f(x) = \sup_{x\in Q\in\mathcal{A}} \sup_{B\subset Q\subset C_\delta B} \frac{1}{\mu(2C_\delta B)}\int_Q |f|\,d\mu$ 를 정의하여 수준 집합과 최대 직사각형 $Q_j$ 를 유도하는 것.

실험 결과

연구 질문

• RQ1 모든 구가 지름이 최대 $c_n$ 배 이내인 직사각형에 포함되도록 하기 위해, $\mathbb{R}^n$ 의 이진 커버링을 $n+1$ 개의 필터링만을 사용하여 구성할 수 있는가?
• RQ2 비이중 설정에서, 베식로비치 또는 비탈리 커버링에 의존하지 않는 이진 칼데론-지그문트 분해를 구성할 수 있는가?
• RQ3 히토넨-카이라마의 커버링 결과와 유사한 방법을 사용하여, 유한 개의 필터링과 함께 상위 이중 거리공간으로 이항 분해를 확장할 수 있는가?
• RQ4 거리공간에서 모든 구가 지름이 제어 가능한 직사각형에 포함되도록 하기 위해 필요한 최소 필터링 수는 얼마인가?

주요 결과

• 논문은 $\mathbb{R}^n$ 에서 $n+1$ 개의 이진 필터링을 구성하여, 모든 유클리드 구 $B$ 가 필터링의 합집합에 속하는 직사각형 $Q$ 를 포함하도록 하며, $\mathrm{diam}(Q) \leq c_n \mathrm{diam}(B)$ 를 만족하며, 이 필터링 수는 최적임을 보여준다.
• 이진 커버링은 베식로비치 유형 커버링을 피하는 칼데론-지그문트 분해를 가능하게 하여, 비이중 이론에 대한 새로운 접근법을 제공한다.
• 측도가 다항식 성장 조건 $\mu(B(x,r)) \leq c_\mu r^k $ 을 만족할 경우, 분해는 $f = g + b$ 를 유도하며, $g = f\chi_{\mathbb{R}^n \setminus \cup Q_j} + \sum_j \varphi_j$ 와 $b = \sum_j (f w_j - \varphi_j)$ 를 만족하며, $\|\sum_j \varphi_j\|_\infty \lesssim \lambda$ 를 만족한다.
• 히토넨과 카이라마의 커버링을 사용하여, 상위 이중 거리공간으로의 분해가 확장되며, $K(n,\delta) \lesssim (4/\delta)^{3n}$ 개의 필터링을 필요로 하지만, 논문은 이 상한이 최적일 수는 없음을 시사한다.
• 이 구성은 다항식 또는 상위 이중 측도 조건 하에서 표준 커널 조건을 만족하고 $L_2(\mu)$ 에서 유계인 칼데론-지그문트 연산자의 약한 유형 $(1,1)$ 유계성을 암시한다.
• 측도가 $(\alpha,\beta)$-이중 직사각형 $R_j$ 가 존재하며, $3C_\delta B_j \subset R_j$ 이고 $B_j$ 가 $Q_j$ 에 포함되도록 하며, $\alpha,\beta$ 가 $C_\delta$ 에만 의존함을 보여, $\varphi_j$ 가 필요한 $L^\infty$ 및 적분 유계 조건을 만족하도록 구성할 수 있음을 보장한다.