[논문 리뷰] Boundedness of Maximal Calder\'on-Zygmund Operators on Non-homogeneous Metric Measure Spaces

Suile Liu, Yan Meng외 1명|arXiv (Cornell University)|2013. 08. 27.

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

한 줄 요약

이 논문은 상한 상승 조건과 기하학적으로 상승 조건을 만족하는 비동질적 메트릭 측도 공간에서, Lp(µ) 유계성(p ∈ (1, ∞))과 약형 (1,1) 유계성 간의 동치성을 확립한다. 새로운 Cotlar 유형 부등식을 증명하고 Calderón-Zygmund 연산자의 L2(µ) 유계성을 활용하여, 모든 p ∈ (1, ∞)에 대해 Lp(µ) 유계성과 약형 (1,1) 유계성이 직접 유도됨을 보이며, 비동질적 조화해석학 분야에서 이전 결과를 크게 향상시킨다.

ABSTRACT

Let $(\cx,\,d,\,\mu)$ be a metric measure space and satisfy the so-called upper doubling condition and the geometrically doubling condition. In this paper, the authors show that for the maximal Calder\'on-Zygmund operator associated with a singular integral whose kernel satisfies the standard size condition and the H\"ormander condition, its $L^p(\mu)$ boundedness with $p\in(1,\infty)$ is equivalent to its boundedness from $L^1(\mu)$ into $L^{1,\infty}(\mu)$. Moreover, applying this, together with a new Cotlar type inequality, the authors show that if the Calder\'on-Zygmund operator $T$ is bounded on $L^2(\mu)$, then the corresponding maximal Calder\'on-Zygmund is bounded on $L^p(\mu)$ for all $p\in(1,\infty)$, and bounded from $L^1(\mu)$ into $L^{1,\infty}(\mu)$. These results essentially improve the existing results.

연구 동기 및 목표

• 비동질적 메트릭 측도 공간에서 최대 Calderón-Zygmund 연산자의 Lp(µ) 유계성(p ∈ (1, ∞))과 약형 (1,1) 유계성 간의 동치성을 확립한다.
• 상한 상승 및 기하학적으로 상승 조건에 맞는 새로운 Cotlar 유형 부등식을 증명한다.
• Calderón-Zygmund 연산자 T의 L2(µ) 유계성이 모든 p ∈ (1, ∞)에 대해 Lp(µ) 유계성과 최대 연산자의 약형 (1,1) 유계성을 유도함을 보인다.
• 기존의 쌍곡 측도 프레임워크를 넘어서 Calderón-Zygmund 이론의 결과를 확장하고 향상시킨다.

제안 방법

• 상한 상승 조건과 기하학적으로 상승 조건을 기반 측도 공간의 구조로 도입하고 활용한다.
• 표준 크기 조건과 Hörmander 조건을 만족하는 커널을 통해 최대 Calderón-Zygmund 연산자를 정의한다.
• T∗(f)(x)를 Tf의 최대함수와 ∥f∥L∞(µ)에 관련짓는 새로운 Cotlar 유형 부등식을 수립한다. 이는 종점 추정에 핵심적이다.
• Cotlar 유형 부등식을 약형 추정과 L2(µ) 유계성과 함께 조합하여 강형 추정을 유도한다.
• 이중 분해와 커버링 추론을 사용하여 최대 연산자의 수준 집합을 제어한다.
• 비동질적 설정에서의 John-Nirenberg 부등식과 최대함수 추정을 활용하여 약형 노름을 제어한다.

실험 결과

연구 질문

• RQ1 비동질적 메트릭 측도 공간에서 최대 Calderón-Zygmund 연산자의 Lp(µ) 유계성이 약형 (1,1) 유계성과 동치인가?
• RQ2 상한 상승 및 기하학적으로 상승 조건에서 L2(µ) 유계성과 종점 추정을 연결하는 데 기여하는 새로운 Cotlar 유형 부등식을 확립할 수 있는가?
• RQ3 Calderón-Zygmund 연산자 T의 L2(µ) 유계성이 모든 p ∈ (1, ∞)에 대해 Lp(µ) 유계성과 최대 연산자의 약형 (1,1) 유계성을 유도하는가?
• RQ4 상한 상승 조건과 기하학적으로 상승 조건은 고전적 쌍곡 측도 공간과 비교해 최대 Calderón-Zygmund 연산자의 행동에 어떤 영향을 미치는가?
• RQ5 이 일반화된 설정에서 종점 추정은 최대함수와 이중 분해를 통해 제어될 수 있는가?

주요 결과

• 상한 상승 및 기하학적으로 상승 조건을 만족하는 메트릭 측도 공간에서, 최대 Calderón-Zygmund 연산자의 모든 p ∈ (1, ∞)에 대해 Lp(µ) 유계성은 L1(µ)에서 L1,∞(µ)로의 약형 (1,1) 유계성과 동치이다.
• 새로운 Cotlar 유형 부등식이 확립되었다: f ∈ L2(µ) ∩ L∞(µ)에 대해 T∗(f)(x) ≤ C3[M(5)(Tf)(x) + ∥f∥L∞(µ)]이며, 이는 종점 추정에 필수적이다.
• Calderón-Zygmund 연산자 T가 L2(µ)에서 유계이면, 대응하는 최대 Calderón-Zygmund 연산자는 모든 p ∈ (1, ∞)에 대해 Lp(µ)에서 유계이면서 L1(µ)에서 L1,∞(µ)로의 약형 (1,1) 유계성도 갖는다.
• T∗의 약형 (1,1) 추정은 f = g + h의 분해를 통해 제어되며, g는 상수 배수의 t에 점별로 지배되고, T∗(h)의 수준 집합은 O(1/t)∥f∥L1(µ)임을 보였다.
• T∗(h)(x)의 분해에서 E(x), F(x), G(x), H(x)의 항들은 새로운 Cotlar 부등식과 최대함수 추정을 통해 제어되며, 이는 원하는 약형 추정으로 이어진다.
• 이전 연구에서 요구하던 전반적인 쌍곡성 또는 Hörmander 조건을 초월한 더 강력한 커널 정규성 조건이 필요 없어지므로, 이 결과는 이전 작업에 비해 상당한 개선을 이룬다.