[논문 리뷰] Estimates for the maximal singular integral in terms of the singular integral:the case of even kernels

Joan Mateu, Joan Orobitg외 1명|arXiv (Cornell University)|2007. 07. 31.

Advanced Harmonic Analysis Research참고 문헌 13인용 수 13

한 줄 요약

이 논문은 짝수이면서 매끄럽고 동차인 Calderón-Zygmund 연산자에 대해, 최대 특이 적분자 $T^\star f$ 가 $Tf$ 의 Hardy-Littlewood 최대함수에 점별적으로 지배되는 조건을 규명한다. 즉, $T^\star f(x) \leq C\,M(Tf)(x)$ 를 만족한다. 핵심 결과는 이 부등식이 성립함과 동시에 연산자가 $T = R \circ U$ 로 인수분해될 때만 성립하며, 여기서 $R$ 는 고차수 Riesz 변환이고 $U$ 는 항등원과 같은 Calderón-Zygmund 연산자들로 생성된 대수 안의 가역 연산자임을 보여준다.

ABSTRACT

The purpose of this paper is to describe the smooth homogeneous Calderon-Zygmund operators for which the maximal singular integral T*f may be controlled by the singular integral Tf. We consider two types of control. The first is the L2 estimate of T*f by Tf, namely the estimate of the L2 norm of T*f by a constant times the L2 norm of Tf. The second is the pointwise estimate of T*f(x) by a constant times M(Tf)(x), where M denotes the Hardy-Littlewood maximal operator. Notice that this is an improved variant of Cotlar's inequality, because the term Mf(x) is missing on the right hand side. Our main result states that, for even operators, both are equivalent to a purely algebraic condition formulated in terms of the expansion of the kernel in spherical harmonics. The condition holds by higher order Riesz transforms, which then satisfy an improved version of Cotlar's inequality

연구 동기 및 목표

• 최대 특이 적분자 $T^\star f$ 가 $Tf$ 의 최대함수에 점별적으로 지배되는 조건을 규명하는 것, 즉 $T^\star f \leq C\,M(Tf)$ 를 만족하는지 여부를 판단하는 것.
• 짝수이면서 매끄럽고 동차인 Calderón-Zygmund 연산자에 대해 $T^\star$ 의 $L^2$ 유계성을 $T$ 에 대한 조건으로 규명하는 것.
• 구면 조화다항식 전개를 통해 동차 핵 $Ω(x)/|x|^n$ 에 대한 대수적 조건을 규명하여 이러한 지배를 보장하는 것.
• 짝수 연산자에 대해 점별 부등식과 $L^2$ 추정이 동치임을 보이고, 연산자 인수분해를 통한 완전한 특성화를 제공하는 것.
• 지배 조건이 실패하는 구체적인 예를 제시하여 대수적 조건이 필수적임을 보여주는 것.

제안 방법

• 구면에서의 동차 핵 $Ω$ 의 구면 조화다항식 전개 $\Omega = \sum P_j$ 를 사용하며, 여기서 $P_j$ 는 차수 $j$ 의 조화다항식이다.
• 항등원과 매끄럽고 동차인 Calderón-Zygmund 연산자들로 생성된 대수 $A$ 를 정의하고, $A$ 내의 가역 원소 $U \in A$ 를 고려한다.
• 짝수 연산자에 대해 점별 부등식 $T^\star f \leq C\,M(Tf)$ 와 $L^2$ 추정 $\|T^\star f\|_2 \leq C\|Tf\|_2$ 가 동치임을 증명한다.
• 지배 조건이 성립함과 동시에 $T = R \circ U$ 로 인수분해될 때만 성립하며, 여기서 $R$ 는 고차수 Riesz 변환이고 $U$ 는 대수 $A$ 내의 가역 연산자이며, 핵의 구면 조화다항식 성분이 특정 나눗셈 조건을 만족해야 한다는 것을 증명한다.
• 푸리에 다항식 연산자 분석과 동차 조화다항식의 성질을 이용하여 인수분해 및 가역성 조건을 검증한다.
• 차수 8인 다항식 $P$ 를 사용한 구체적 반례를 구성하여 $P_2$ 가 $P_4$ 나 $P_8$ 를 나누지 못함을 보여, 부등식의 실패를 입증한다.

실험 결과

연구 질문

• RQ1 핵함수 $\Omega$ 에 대해 어떤 조건이 최대 특이 적분자 $T^\star f$ 가 $M(Tf)$ 에 점별적으로 지배되는가?
• RQ2 짝수 Calderón-Zygmund 연산자에 대해 $T^\star$ 의 $L^2$ 유계성과 점별 부등식 $T^\star f \leq C\,M(Tf)$ 가 동치인가?
• RQ3 특이 적분자의 지배 조건을 $\Omega$ 의 구면 조화다항식 전개를 통해 대수적으로 특성화할 수 있는가?
• RQ4 핵함수의 짝수성은 이러한 지배 조건을 가능하게 하는 데 어떤 역할을 하는가? 비짝수 연산자에서는 왜 실패하는가?
• RQ5 연산자 대수 $A$ 내에서 가역인 $U$ 를 포함한 인수분해 조건 $T = R \circ U$ 는 얼마나 엄격한가? 그리고 효과적으로 검증할 수 있는가?

주요 결과

• 짝수 고차수 Riesz 변환에 대해 점별 부등식 $T^\star f(x) \leq C\,M(Tf)(x)$ 가 성립하며, 이는 Cotlar 부등식에서 $Mf$ 항을 제거한 날카로운 개선이다.
• 짝수이면서 매끄럽고 동차인 Calderón-Zygmund 연산자에 대해 $L^2$ 추정 $\|T^\star f\|_2 \leq C\|Tf\|_2$ 는 점별 부등식 $T^\star f \leq C\,M(Tf)$ 와 동치이다.
• 특이 적분자 $T^\star$ 가 $T$ 에 의해 지배됨이 성립함과 동시에 $T = R \circ U$ 로 인수분해될 때만 성립하며, 여기서 $R$ 는 고차수 Riesz 변환이고 $U$ 는 대수 $A$ 내의 가역 연산자이다.
• 이 인수분해 조건은 핵 $Ω$ 의 구면 조화다항식 성분 $P_j$ 가 모두 동일한 조화다항식 $P$ 에 의해 나누어지는 조건과 동치이다. 이 $P$ 는 $R$ 와 관련된 것이다.
• 구체적인 반례를 제시하여 $T$ 가 짝수 다항식 연산자이지만 $T^\star$ 가 $T$ 에 의해 지배되지 않는 경우를 보였으며, 이는 나눗셈 조건의 실패(예: $P_2$ 가 $P_4$ 나 $P_8$ 를 나누지 못함) 때문임을 입증하였다.
• 차원 $n=2$ 에서는 첫 번째로 비영인 구면 조화다항식 성분 $P_{2j_0}$ 가 상수항을 제외한 모든 고차 성분을 결정짓는다. 이는 조화다항식의 영점 집합의 구조 때문이기도 하다.