[논문 리뷰] Weak and Strong Type <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msub><mml:mi>A</mml:mi> <mml:mn>1</mml:mn></mml:msub> </mml:math> - <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msub><mml:mi>A</mml:mi> <mml:mi>∞</mml:mi></mml:msub> </mml:math> Estimates for Sparsely Dominated Operators.

Dorothee Frey, Zoe Nieraeth|arXiv (Cornell University)|2019. 01. 01.

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

한 줄 요약

이 논문은 T ∈ S(p₀, q₀)인 흩어진 캐리어 연산자에 대해 날카로운 가중치가 있는 약한 유형 (p₀, p₀) 및 강한 유형 (p, p) 추정을 수립하며, Hörmander 조건을 요구하지 않고 정량적인 A₁–A∞ 추정을 증명한다. '나쁜 부분'이 완전히 상쇄되는 캘러드론–지그문드 분해를 활용한 새로운 가중치가 있는 약한 유형 추론 기법을 도입하고, 끝점에서의 비가중치 연산자 노름의 渐近적 분석을 통해 강한 유형 추정의 최적성도 증명한다.

ABSTRACT

We consider operators <i>T</i> satisfying a sparse domination property <DispFormula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mtable> <mml:mtr> <mml:mtd> <mml:mrow><mml:mrow><mml:mo>|</mml:mo> <mml:mrow><mml:mo>⟨</mml:mo> <mml:mi>T</mml:mi> <mml:mi>f</mml:mi> <mml:mo>,</mml:mo> <mml:mi>g</mml:mi> <mml:mo>⟩</mml:mo></mml:mrow> <mml:mo>|</mml:mo></mml:mrow> <mml:mo>≤</mml:mo> <mml:mi>c</mml:mi> <mml:munder><mml:mo>∑</mml:mo> <mml:mrow><mml:mi>Q</mml:mi> <mml:mo>∈</mml:mo> <mml:mi>S</mml:mi></mml:mrow> </mml:munder> <mml:msub><mml:mrow><mml:mo>⟨</mml:mo> <mml:mi>f</mml:mi> <mml:mo>⟩</mml:mo></mml:mrow> <mml:mrow><mml:msub><mml:mi>p</mml:mi> <mml:mn>0</mml:mn></mml:msub> <mml:mo>,</mml:mo> <mml:mi>Q</mml:mi></mml:mrow> </mml:msub> <mml:msub><mml:mrow><mml:mo>⟨</mml:mo> <mml:mi>g</mml:mi> <mml:mo>⟩</mml:mo></mml:mrow> <mml:mrow><mml:msubsup><mml:mi>q</mml:mi> <mml:mn>0</mml:mn> <mml:mo>'</mml:mo></mml:msubsup> <mml:mo>,</mml:mo> <mml:mi>Q</mml:mi></mml:mrow> </mml:msub> <mml:mrow><mml:mo>|</mml:mo> <mml:mi>Q</mml:mi> <mml:mo>|</mml:mo></mml:mrow> </mml:mrow> </mml:mtd> </mml:mtr> </mml:mtable> </mml:mrow> </mml:math> </DispFormula> with averaging exponents <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mn>1</mml:mn> <mml:mo>≤</mml:mo> <mml:msub><mml:mi>p</mml:mi> <mml:mn>0</mml:mn></mml:msub> <mml:mo><</mml:mo> <mml:msub><mml:mi>q</mml:mi> <mml:mn>0</mml:mn></mml:msub> <mml:mo>≤</mml:mo> <mml:mi>∞</mml:mi></mml:mrow> </mml:math> . We prove weighted strong type boundedness for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow><mml:msub><mml:mi>p</mml:mi> <mml:mn>0</mml:mn></mml:msub> <mml:mo><</mml:mo> <mml:mi>p</mml:mi> <mml:mo><</mml:mo> <mml:msub><mml:mi>q</mml:mi> <mml:mn>0</mml:mn></mml:msub> </mml:mrow> </mml:math> and use new techniques to prove weighted weak type <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mo>(</mml:mo> <mml:msub><mml:mi>p</mml:mi> <mml:mn>0</mml:mn></mml:msub> <mml:mo>,</mml:mo> <mml:msub><mml:mi>p</mml:mi> <mml:mn>0</mml:mn></mml:msub> <mml:mo>)</mml:mo></mml:mrow> </mml:math> boundedness with quantitative mixed <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msub><mml:mi>A</mml:mi> <mml:mn>1</mml:mn></mml:msub> </mml:math> - <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msub><mml:mi>A</mml:mi> <mml:mi>∞</mml:mi></mml:msub> </mml:math> estimates, generalizing results of Lerner, Ombrosi, and Pérez and Hytönen and Pérez. Even in the case <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow><mml:msub><mml:mi>p</mml:mi> <mml:mn>0</mml:mn></mml:msub> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn></mml:mrow> </mml:math> we improve upon their results as we do not make use of a Hörmander condition of the operator <i>T</i>. Moreover, we also establish a dual weak type <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mo>(</mml:mo> <mml:msubsup><mml:mi>q</mml:mi> <mml:mn>0</mml:mn> <mml:mo>'</mml:mo></mml:msubsup> <mml:mo>,</mml:mo> <mml:msubsup><mml:mi>q</mml:mi> <mml:mn>0</mml:mn> <mml:mo>'</mml:mo></mml:msubsup> <mml:mo>)</mml:mo></mml:mrow> </mml:math> estimate. In a last part, we give a result on the optimality of the weighted strong type bounds including those previously obtained by Bernicot, Frey, and Petermichl.

연구 동기 및 목표

• T ∈ S(p₀, q₀)인 흩어진 캐리어 연산자에 대해 정량적인 A₁–A∞ 유계를 갖는 날카로운 가중치가 있는 약한 유형 (p₀, p₀) 추정을 수립하기.
• p₀ < p < q₀에 대해 강한 유형 (p, p) 가중치 추정을 증명하여 기존의 Ap 추정을 일반화하고 Hörmander 조건을 회피함으로써 이전 결과를 향상시키기.
• 결과를 일반적인 두 배 측도 공간, 즉 리만 다발과 유계 영역을 포함한 공간으로 확장하기.
• 비가중치 연산자 노름이 p₀와 q₀에서의 渐近적 행동을 분석하여 강한 유형 가중치 유계의 최적성을 확립하기.
• 연산자 클래스의 쌍대성 그림을 완성하기 위해 이중 약한 유형 (q′₀, q′₀) 추정을 수립하기.

제안 방법

• ‘나쁜 부분’ b가 완전히 상쇄되는 방식으로 가중치를 캘러드론–지그문드 분해에 통합함으로써 흩어진 연산자에 대한 새로운 가중치가 있는 약한 유형 추론 기법을 도입하기.
• Lerner, Ombrosi, 그리고 Pérez [LOP09]의 핵심 보조정리의 일반화된 형태를 사용하여, 가중치가 있는 약한 노름을 흩어진 모델 연산자로 통제하기.
• Rubio de Francia 반복 알고리즘을 적용하여 A₁ 및 Lp 유계를 만족하는 주요 함수 R|f|를 구성함으로써, 보간과 노름 추정이 가능하도록 하기.
• 비가중치 연산자 노름의 끝점 p₀와 q₀에서의 성장과 관련하여 [w(q₀/p)′]Aφ(p)의 특성과 A₁–A∞ 추정을 연결하기.
• 이중 연산자 T∗ ∈ S(q′₀, p′₀)를 사용하여, 흩어진 캐리어 성질의 대칭성과 쌍대성에 기반해 이중 약한 유형 (q′₀, q′₀) 추정을 유도하기.
• 비가중치 연산자 노름의 성장률 αT(p₀)와 γT(q₀)와 비교하여, ∥T∥Lp(w)→Lp(w) ≲ [w(q₀/p)′]β/(q₀/p)′ Aφ(p)의 유계에서 지수 β의 최적성 증명하기.

실험 결과

연구 질문

• RQ1 핵심 함수에 Hörmander 조건을 가정하지 않고도, 흩어진 캐리어 연산자에 대해 날카로운 A₁–A∞ 추정을 약한 유형 (p₀, p₀) 유계에 대해 수립할 수 있는가?
• RQ2 T ∈ S(p₀, q₀)에 대해 ∥T∥Lp(w)→Lp(w) ≲ [w(q₀/p)′]β/(q₀/p)′ Aφ(p)의 가중치 강한 유형 추정에서 최적의 지수 β는 무엇인가?
• RQ3 비가중치 연산자 노름 ∥T∥Lp→Lp가 p → p₀⁺ 또는 p → q₀⁻로 갈 때의 渐近적 행동은 어떻게 가중치 유계의 날카로움을 결정하는가?
• RQ4 동일한 프레임워크를 사용하여 (p₀, p₀) 케이스와 동일한 방식으로 이중 약한 유형 (q′₀, q′₀) 추정을 도출할 수 있는가?
• RQ5 A₁–A∞ 추정에서 지수 β는 최적이며, 비가중치 노름의 성장률 αT(p₀)와 γT(q₀)와 어떻게 관련되어 있는가?

주요 결과

• 논문은 T ∈ S(p₀, q₀)에 대해 정량적인 A₁–A∞ 유계를 갖는 날카로운 가중치가 있는 약한 유형 (p₀, p₀) 추정을 증명하며, Hörmander 조건이 필요 없음을 보이며, Lerner–Ombrosi–Pérez 및 Hytönen–Pérez의 결과를 개선한다.
• 이중 약한 유형 (q′₀, q′₀) 추정이 확립되어 연산자 클래스의 쌍대성 그림이 완성된다.
• 강한 유형 가중치 추정 ∥T∥Lp(w)→Lp(w) ≲ [w(q₀/p)′]β/(q₀/p)′ Aφ(p)가 최적이며, β ≥ max( p₀/(p−p₀) αT(p₀), (q₀/p)′ γT(q₀) )임을 보여준다.
• p₀ = 1일 경우, 이전 결과보다 A₁–A∞ 추정이 향상되며, 이는 핵심 함수의 정규성이나 Hörmander 유형 조건에 의존하지 않기 때문이다.
• 최적성 결과는 Rubio de Francia 반복 방법을 통해 증명되며, 끝점에서의 비가중치 연산자 노름 성장률과 가중치 지수의 날카로움을 연결한다.
• 다중 끝을 가진 다발에서 리프시츠 변환의 예가 제시되며, 이 경우 γT(n) = (n−1)/n임을 확인하여 유계에서 지수의 최적성이 확인된다.