[논문 리뷰] Multilinear Calderón-Zygmund operators on Hardy spaces

Loukas Grafakos, N. J. Kalton|Hispana|2000. 10. 08.

Advanced Harmonic Analysis Research참고 문헌 11인용 수 80

한 줄 요약

이 논문은 $H^{p_j}$의 곱공간 위에서 다중선형 Calderón-Zygmund 연산자의 유계성을 확립하며, 고전적인 선형 이론을 확장한다. 원자 분해와 다중선형 보간을 이용하여, 연산자의 $L^q$-유계성과 커널의 미세성에 의해 제어되는 노름을 갖는다. 이는 커널의 도함수에 대한 날카운 조건을 만족할 때 성립한다.

ABSTRACT

It is shown that multilinear Calderón-Zygmund operators are bounded on products of Hardy spaces.

연구 동기 및 목표

• 0 < p_j \leq 1인 $H^{p_j}$의 곱공간에 대해, Calderón-Zygmund 연산자의 고전적인 $L^p$ 공간 이론을 다중선형으로 확장한다.
• $L^p$로의 유계성을 보장하는 커널의 미세 조건(즉, $N = [n(1/p - 1)]$)을 정의한다.
• Fefferman과 Stein의 선형 이론을 다중선형 환경으로 일반화하여, 다중선형 Calderón-Zygmund 연산자가 $H^{p_1} \times \cdots \times H^{p_m}$에서 $L^p$로 유계적으로 연장됨을 증명한다.

제안 방법

• Hardy 공간의 원자 분해를 활용하여, 함수를 $H^{p_j}$-원자들의 유한합으로 표현하며, 이 원자들은 순서 $[n(1/p_j - 1)]$까지의 상쇄 조건을 갖는다.
• 복소 보간을 사용하여 $L^{1/\varepsilon} \times \cdots \times L^{1/\varepsilon} \to L^{1/m\varepsilon}$와 $H^{s_1} \times \cdots \times H^{s_m} \to L^s$ 사이의 다중선형 보간을 적용한다. 여기서 $0 < s_j < 1$이다.
• 커널 추정식 $|\partial^\alpha K| \leq A_\alpha / (\sum_{k,l} |y_k - y_l|)^{mn + |\alpha|}$를 $|\alpha| \leq N$에 대해 사용하며, $N = [n(1/p - 1)]$이다. 이를 통해 연산자 노름을 제어한다.
• 점 $x$가 확대된 정사각형 $Q_j^*$ 내부에 있는지 또는 적어도 하나의 정사각형 외부에 있는지에 따라 두 경우로 연산자를 분석하며, 상쇄 조건과 미세성 조건을 이용해 적분을 유계화한다.
• 약한 유형 추정과 최대 절단 연산자 $T_*$의 이론을 적용하여, 최대 연산자 $T_*$ 역시 $H^{p_1} \times \cdots \times H^{p_m}$에서 $L^p$로 유계적으로 작용함을 보인다. 이 경우도 유사한 노름 제어를 갖는다.
• $T_\delta$ 커널이 $\delta > 0$에 대해 일관되게 동일한 추정식을 만족함을 이용하여, 최대 함수 추론에서 균일한 제어를 가능하게 한다.

실험 결과

연구 질문

• RQ1 다중선형 Calderón-Zygmund 연산자가 $0 < p_j \leq 1$인 $H^{p_1} \times \cdots \times H^{p_m}$에서 $L^p$로 유계적으로 연장될 수 있는가?
• RQ2 다음과 같은 유계성을 보장하기 위해 다중선형 커널 $K$에 필요한 최소한의 미세 조건은 무엇인가?
• RQ3 $H^{p_1} \times \cdots \times H^{p_m}$에서의 연산자 노름이 $L^q$-유계성과 커널의 반노름 사이에 어떻게 관련되어 있는가?
• RQ4 유계성 결과를 최대 특이 적분 연산자 $T_*$로 확장할 수 있는가?
• RQ5 다중선형 보간은 $p_j > 1$과 $p_j \leq 1$의 경우를 통합하는 데 유용한 방법인가?

주요 결과

• 다중선형 Calderón-Zygmund 연산자 $T$는 $1/q_1 + \cdots + 1/q_m = 1/q$ 및 $1/p_1 + \cdots + 1/p_m = 1/p$를 만족하며, $0 < p_j \leq 1$일 때 $H^{p_1} \times \cdots \times H^{p_m}$에서 $L^p$로 유계적이다.
• 연산자 노름은 $\|T\|_{H^{p_1} \times \cdots \times H^{p_m} \to L^p} \leq C(n, p_j, q_j) \left( B + \sum_{|\alpha| \leq N+1} A_\alpha \right)$를 만족한다. 여기서 $B$는 $L^q$-연산자 노름이고, $A_\alpha$는 커널의 반노름이다.
• 필요한 커널의 미세 조건은 $N = [n(1/p - 1)]$이며, 이는 날카로우며 $H^p$-원자와의 상쇄 순서와 정확히 일치한다.
• 최대 특이 적분 연산자 $T_*$ 역시 $H^{p_1} \times \cdots \times H^{p_m}$에서 $L^p$로 유계적이며, 동일한 노름 추정식을 갖는다.
• 다중선형 보간을 통해 $p_j > 1$과 $p_j \leq 1$의 경우에 대해 균일하게 성립하며, $p_j > 1$일 경우 $H^{p_j} = L^{p_j}$이며, 보간은 올바른 Lorentz 척도를 제공한다.