[논문 리뷰] Characterization of the atomic space $H^1$ for non doubling measures in terms of a grand maximal operator

Xavier Tolsa|ArXiv.org|2000. 05. 06.

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

한 줄 요약

이 논문은 비이중 측도에 대해 원자 하드리 스페이스 $H^{1}(\mu)$의 특성화를 그랜드 최대 연산자 $M_{\Phi}$ 를 사용하여 수립한다. 함수 $f$ 가 $H^{1}(\mu)$ 에 속함과 동시에 $f \in L^1(\mu)$, $\int f\,d\mu = 0$, 그리고 $M_{\Phi}f \in L^1(\mu)$ 를 만족함과 동치임을 증명한다. 이는 성장 조건 $\mu(B(x,r)) \leq C_0 r^n$ 을 만족하는 비이중 설정으로 고전적 $H^1$ 이론을 확장한다. 이 결과는 이중성 조건을 가정하지 않더라도 캘러존-지그문드 연산자의 $L^p(\mu)$ 유계성을 보장한다.

ABSTRACT

Let $μ$ be a Radon measure on $R^d$, which may be non doubling. The only condition that $μ$ must satisfy is $μ(B(x,r))\leq C r^n$, for all $x,r$ and for some fixed $0

연구 동기 및 목표

• 성장 조건 $\mu(B(x,r)) \leq C_0 r^n$ 을 만족하는 비이중 측도로 고전적 $H^1$ 이론을 확장하기 위해.
• 측도 $\mu$ 가 비이중일 경우 표준 $H^1$ 과 $BMO$ 공간이 캘러존-지그문드 연산자의 보존성을 유지하지 못하는 데에 대응하기 위해.
• 클래식한 이중 케이스에서의 특성화를 모방하여 원자 하드리 스페이스 $H^{1,\infty}_{atb}(\mu)$ 를 그랜드 최대 연산자 $M_{\Phi}$ 를 통해 특성화하기 위해.
• RBMOM($\mu$) 과 $H^{1,\infty}_{atb}(\mu)$ 간의 쌍대성 수립을 통해 캘러존-지그문드 연산자의 $L^p$ 유계성 결과를 도출하기 위해.

제안 방법

• 부드럽고 컴actsupport된 함수들로 구성된 클래스 $\Phi$ 를 고려하여 그랜드 최대 연산자 $M_{\Phi}f(x) = \sup_{{\varphi} \sim x} \left| \int f(y) {\varphi}(y) \, d\mu(y) \right|$ 를 정의한다. 이 함수들은 제어 가능한 감쇠성을 가진다.
• 원자 블록 $b$ 는 제곱형 $Q_j \subset R$ 에 지지되는 원자 $a_j$ 의 무한합으로 정의되며, $\|a_j\|_{L^\infty(\mu)} \leq (\mu(2Q_j) K_{Q_j,R})^{-1}$ 를 만족한다. 여기서 $K_{Q,R}$ 는 기하학적 및 측도 이론적 복잡성을 캡슐화한다.
• 자르기 기법을 사용하여 이중 제곱형 $Q_k$ 에 지지되는 컷오프 함수 $w_k$ 를 도입하고, $f - f_k = (1 - w_k)f + w_k f - f_k$ 와 같이 분해하여 최대 함수의 행동을 통제한다.
• 이중 분해와 최대 함수 추정을 적용하여, 도레의 수렴 정리에 의해 $\|M_{\Phi}(f - f_k)\|_{L^1(\mu)} \to 0$ 이 되도록 $k \to \infty$ 일 때를 보인다.
• 핵심 추정: $M_{\Phi}f_k(x) \leq C M_{\Phi}f(x) + C |c_k| \mu(Q_k) \frac{\ell(Q_k)}{|y_0 - x|^{n+1}}$ 를 활용하며, 이는 $\varphi$-함수들의 감쇠성을 이용한다.
• 점별 거의 모든 곳에서 $\chi_{4Q_k} M_{\Phi}((1 - w_k)f)(x) \to 0$ 이고, $C M_{\Phi}f(x)$ 에 의해 지배되므로 $L^1$ 에서 수렴이 가능하다.

실험 결과

연구 질문

• RQ1 비이중 측도에 대해 원자 하드리 스페이스 $H^{1,\infty}_{atb}(\mu)$ 가 클래식한 $H^1$ 이론과 유사하게 그랜드 최대 연산자로 특성화될 수 있는가?
• RQ2 성장 조건 $\mu(B(x,r)) \leq C_0 r^n$ 하에서, $M_{\Phi}f \in L^1(\mu)$, $f \in L^1(\mu)$, 그리고 $\int f\,d\mu = 0$ 조건이 $H^{1,\infty}_{atb}(\mu)$ 에 속하는 것을 완전히 특성화하는가?
• RQ3 이중성 조건이 없을 경우 그랜드 최대 연산자 $M_{\Phi}$ 는 원자 블록 분해를 어떻게 통제하는가?
• RQ4 이중성 조건이 없더라도, $L^1$-지배 수렴을 통해 절단된 최대 함수 $M_{\Phi}(f - f_k)$ 가 $L^1(\mu)$ 에서 수렴하는가?
• RQ5 계수 $K_{Q,R}$ 는 원자 블록 노름을 정의하고 최대 연산자의 보존성을 보장하기 위해 어떤 역할을 하는가?

주요 결과

• 공간 $H^{1,\infty}_{atb}(\mu)$ 는 $f \in L^1(\mu)$, $\int f\,d\mu = 0$, 그리고 $M_{\Phi}f \in L^1(\mu)$ 를 만족할 때 특성화된다. 이는 고전적 $H^1$ 특성화를 비이중 측도로 확장한다.
• 그랜드 최대 연산자 $M_{\Phi}$ 는 원자 블록 분해를 통제하며, 제시된 조건 하에서 $\|M_{\Phi}(f - f_k)\|_{L^1(\mu)} \to 0$ 이 되도록 $k \to \infty$ 일 때 수렴한다.
• 절단된 최대 함수 $M_{\Phi}(f_k)$ 는 $C M_{\Phi}f(x) + C |c_k| \mu(Q_k) \frac{\ell(Q_k)}{|y_0 - x|^{n+1}}$ 에 의해 지배되며, 이 두 번째 항의 $\mathbb{R}^d \setminus 4Q_k$ 에서의 적분은 0으로 수렴한다.
• $\chi_{4Q_k} M_{\Phi}((1 - w_k)f)(x)$ 는 점별 거의 모든 곳에서 0으로 수렴하고, $C M_{\Phi}f(x)$ 에 의해 지배되므로, $k \to \infty$ 일 때 그 $L^1$-노름은 0이 된다.
• 증명은 $\|f\|_{L^1(\mu)}$ 와 $\|M_{\Phi}f\|_{L^1(\mu)}$ 가 유한하므로 도레의 수렴 정리를 적용하여 $L^1$ 에서의 수렴을 유도할 수 있음을 기반으로 한다.
• 정의에서 $K_{Q,R}$ 의 $\rho > 1$ 의 선택에 대해 특성은 강건하며, 서로 다른 $\rho$ 에 대해 동치 노름이므로, 특정 $\rho$ (예: $\rho = 2$) 를 고정하더라도 결과는 영향을 받지 않는다.