[논문 리뷰] A new proof of the atomic decomposition of Hardy spaces

Shai Dekel, G. Kerkyacharian외 2명|arXiv (Cornell University)|2014. 09. 01.

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

한 줄 요약

이 논문은 고전적인 Calderón-Zygmund 분해나 정규화 함수의 근사화에 의존하지 않고, $\mathbb{R}^n$ 위에서 $0 < p \leq 1$인 하르디 공간 $H^p$의 원자 분해에 대한 새로운 증명을 제시한다. 대신, 휘어진 모멘트를 가지며, 딱정형 주파수 국소화를 갖는 매끄럽고 compactly supported 함수를 기반으로 한 새로운 분해 방법을 사용하여, 이중성과 가우시안 열 핵의 경계를 갖는 일반적인 거리측도 공간에 적용 가능한 강력한 방법을 제공한다.

ABSTRACT

A new proof is given of the atomic decomposition of Hardy spaces Hp, in the classical setting of Rn. The new method can be used to establish atomic decomposition of maximal Hardy spaces in general setting and non classical settings.

연구 동기 및 목표

• 고전적인 원자 분해의 증명에 대해, Calderón-Zygmund 분해에 의존하지 않는 $\mathbb{R}^n$ 상에서 $0 < p \leq 1$인 $H^p$ 공간에 대한 새로운, 대체 가능한 증명을 제공한다.
• 기존 설정을 넘어서 비고전적이고 추상적인 거리측도 공간으로의 일반화가 가능한 방법을 개발한다.
• 이중성 조건과 가우시안 열 핵의 경계를 갖는 일반적인 설정에서 최대함수와 원자 하르디 공간 간의 동치성을 확립한다.
• 새로운 방법이 최대함수 노름에 대해 원자 노름을 균일하게 통제할 수 있는 구조적 원자 분해를 제공함을 보여준다.
• 매끄럽고 컴팩트하게 지지된 함수를 사용하여, 휘어진 모멘트와 주파수 국소화를 갖는 원자 분해 과정을 단순화하는 프레임워크를 제공한다.

제안 방법

• 대칭적인 번프 함수에 차분 연산자를 적용하여, $\widehat{\varphi}(0) = 1$ 이고 $0 < |\alpha| \leq m$에 대해 $\partial^\alpha \widehat{\varphi}(0) = 0$ 인 매끄럽고 컴팩트하게 지지된 함수 $\varphi$를 구성한다.
• 다음과 같은 딱정형 주파수 분해를 정의한다: $\psi_k(x) = 2^{kn}\psi(2^k x)$, 여기서 $\psi$ 는 컴팩트한 푸리에 지지와 최대 차수 $K$까지의 휘어진 모멘트를 갖는 매끄러운 함수이다.
• 최대함수 $M^*_{\varphi,a}f(x)$ 와 그랜드 최대 연산자 $\mathcal{M}_N f(x)$ 를 정의하고, 이들이 $L^p$-노름에서 파oisson 최대함수와 동치임을 보인다.
• 집합 $\Omega_r = \{x : \sup_{t>0} |P_t * f(x)| > 2^r\}$ 를 정의하고, $f$ 를 $f = \sum_r F_r$ 로 분해하며, $F_r$ 는 $\Omega_r$ 에 국소화되어 있다.
• 각 딱정형 수준 $r$ 에 대해, $\Omega_r$ 의 위트니 유형 커버링을 사용하여, $B \in \mathcal{B}_r$ 에서 지지되는 조각 $F_B$ 로 $F_r$ 를 분해한다.
• 원자 $a_B$ 를 $a_B(x) = c_\sharp^{-1} |B^\star|^{-1/p} 2^{-r} F_B(x)$ 로 구성하며, $B^\star = 7B$ 이고 계수 $\lambda_B = c_\sharp |B^\star|^{1/p} 2^r$ 를 설정하여, $L^\infty$ 및 모멘트 조건을 확보한다.

실험 결과

연구 질문

• RQ1 Calderón-Zygmund 분해나 정규화 함수의 근사화에 의존하지 않고도 $H^p$ 공간의 원자 분해를 확립할 수 있는가?
• RQ2 이 분해의 어떤 구조적 성질이 이중성과 가우시안 열 핵의 경계를 갖는 거리측도 공간과 같은 비고전적 설정으로의 일반화를 가능하게 하는가?
• RQ3 주파수 국소화와 모멘트 기반의 구성에 의해 원자 노름 $\|f\|_{H^p_A}$ 가 최대함수 노름 $\|f\|_{H^p}$ 에 의해 어떻게 통제될 수 있는가?
• RQ4 휘어진 모멘트를 가지며 매끄럽고 컴팩트하게 지지된 함수를 사용하여, 균일한 $L^\infty$ 및 모멘트 조건을 갖는 원자를 구성하는 것이 가능한가?
• RQ5 그랜드 최대연산자 $\mathcal{M}_N f$ 는 일반적인 설정에서 $H^p$ 를 특징짓고 원자 분해를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 새로운 증명은 고전적인 Calderón-Zygmund 분해나 정규화 함수의 근사화를 사용하지 않고도, $0 < p \leq 1$ 인 $H^p$ 공간의 원자 분해를 확립한다.
• 이 방법은 $\|f\|_{H^p_A} \leq c \|f\|_{H^p}$ 를 만족하며, 여기서 $c > 0$ 는 $p$ 와 $n$ 에만 의존한다. 이는 $H^p \subset H^p_A$ 의 연속적 포함성을 증명한다.
• 원자 $a_B$ 의 구성은 $\|a_B\|_{L^\infty} \leq |B^\star|^{-1/p}$ 와 $\int x^\alpha a_B(x) dx = 0$ ($|\alpha| \leq n(p^{-1} - 1)$) 을 만족하여, 표준 원자 조건을 충족한다.
• 분해 $f = \sum_{r} \sum_{B \in \mathcal{B}_r} \lambda_B a_B$ 는 $\mathcal{S}'$ 에서 수렴하며, 합 $\sum_{r} \sum_{B \in \mathcal{B}_r} |\lambda_B|^p \leq c \|f\|_{H^p}^p$ 도 성립하여 원자 노름 통제를 확인한다.
• 이 방법은 이중성 조건과 가우시안 열 핵의 경계를 갖는 일반적인 거리측도 공간으로 확장될 수 있으며, 이후 연구 [2] 에서 이를 보여주었다.
• 이 증명은 $L^2$ 기반 기법을 피하고 주파수 국소화와 모멘트 조건에 의존하므로, 비스무스 또는 비리만 기하학적 설정에도 적응 가능하다.