[논문 리뷰] Hankel Operators in Several Complex Variables and Product $BMO\zProd$

Michael T. Lacey, Erin Terwilleger|ArXiv.org|2003. 10. 21.

Holomorphic and Operator Theory참고 문헌 12인용 수 9

한 줄 요약

이 논문은 소형 허켈 연산자의 유계성을 증명함으로써 $n$-복소변수에서의 유계성을 확립한다. 그 증명은 기호의 해석형 하드비 스페이스 위로의 투영의 곱 $BMO$ 노름과 연산자 노름이 동치임을 보여준다. 증명은 페르거슨과 레이시의 두 변수 결과를 일반화한 일반화된 줌르레-유형 보조정리를 기반으로 한 귀납적 추론을 사용하며, 임의의 차원으로 확장된다. 응용으로는 공역 추정과 $H^1$ 공간에서의 약한 인수분해가 포함된다.

ABSTRACT

$H^2\zProd$ denotes the Hardy space of square integrable functions analytic in each variable separately. Let $P^{\ominus}$ be the natural projection of $L^2\zProd$ onto $\z8{H^2\zProd}$. A Hankel operator with symbol $b$ is the linear operator from $H^2\zProd$ to $\z8{H^2\zProd}$ given by $H_b \zvf=P^{\ominus}\bar b \zvf$. We show that \md0 orm H_b ..\simeq orm P^{\oplus}b.BMO\zProd., \emd where the right hand norm is S.-Y. Chang and R. Fefferman product $BMO$. This fact has well known equivalences in terms of commutators and the weak factorization of $H^1\zProd$. In the case of two complex variables, this is due to Ferguson and Lacey \cite{MR1961195}. While the current proof is inductive, and one can take the one complex variable case as the basis step, it is heavily influenced by the methods of Ferguson and Lacey. The induction is carried out with a particular form of a lemma due to Journé \cite{MR87g:42028}, which occurs implicitly in the work of J. Pipher \cite{MR88a:42019}.

연구 동기 및 목표

• 두 변수에서의 허켈 연산자 유계성 특성화를 $n$ 복소변수로 확장한다.
• 허켈 연산자 연산자 노름과 그 기호의 투영의 곱 $BMO$ 노름 간의 동치성을 확립한다.
• 일변수 네하리 유형 정리의 고차원 곱 영역으로의 일반화를 귀납적 기법을 사용하여 수행한다.
• 허켈 연산자, 공역, 그리고 곱 영역에서 $H^1$ 공간의 약한 인수분해를 연결하는 통합적 프레임워크를 제공한다.

제안 방법

• 증명은 복소변수의 수에 대한 귀납법을 사용하며, 기저 사례로 페르거슨과 레이시의 두 변수 결과를 사용한다.
• 일반화된 줌르레-유형 보조정리를 귀납적으로 적용하여 곱 영역 내 직사각형의 크기와 구조를 제어한다.
• 직사각형 $R$ 에 대해 측도 확장을 제어하고 좌표 간의 균일성을 확보하기 위해 임베딩 함수 $\operatorname{emb}(R)$ 를 정의한다.
• 하위 좌표에서 매개변수 $\gamma$ 를 사용하여 직사각형을 반복적으로 확장함으로써 모음의 그림자에 대한 제어를 유지한다.
• 각 좌표에서 이중 분할과 최대 함수의 약한 $L^1$ 유계성을 사용하여 확장된 집합의 측도를 추정한다.
• 핵심 추정은 $\sum_{R\in\mathcal{U}} \operatorname{emb}(R)^{-(n+\epsilon)} |\langle b, v_R \rangle|^2$ 를 $b$ 의 $BMO_{-1}$ 노름에 대해 유계로 제한하는 것으로, 이는 합의 $BMO$ 노름을 제어한다.

실험 결과

연구 질문

• RQ1 소형 허켈 연산자의 $n$-복소변수에서의 유계성에 대한 정확한 특성은 무엇인가?
• RQ2 곱 $BMO$ 노름은 고차원에서 허켈 연산자의 연산자 노름과 어떻게 관련이 있는가?
• RQ3 페르거슨과 레이시의 두 변수 결과는 귀납적 방법을 통해 $n$ 변수로 확장될 수 있는가?
• RQ4 줌르레-유형 보조정리는 곱 영역 내 직사각형 기하학을 제어하는 데 어떤 역할을 하는가?
• RQ5 공역 추정과 $H^1$ 공간에서의 약한 인수분해는 허켈 연산자의 유계성과 어떻게 관련이 있는가?

주요 결과

• 허켈 연산자 $H_b$ 의 연산자 노름은 $P^\oplus b$ 의 곱 $BMO$ 노름과 동치이며, 즉 $\|H_b\| \simeq \|P^\oplus b\|_{BMO(\otimes_{1}^{n}\mathbb{C}_{+})}$ 이다.
• 이 동치성은 기저로 일변수 경우를 사용하는 귀납적 추론을 통해 증명되며, 두 변수의 경우를 일반화한다.
• 모음 $\mathcal{U}$ 의 그림자를 포함하는 집합 $V$ 를 구성하였으며, 이에 대해 $|V| \leq (1+\delta)|\operatorname{sh}(\mathcal{U})|$ 가 성립하여 측도 확장이 제어된다.
• 모든 $\epsilon, \delta > 0$ 에 대해 합 $\sum_{R\in\mathcal{U}} \operatorname{emb}(R)^{-(n+\epsilon)} |\langle b, v_R \rangle|^2$ 는 $K_{\delta,\epsilon} \|b\|_{BMO_{-1}(\otimes_{1}^{n}\mathbb{C}_{+})}^2$ 로 유계로 제한되며, 이는 합의 $BMO$ 노름을 제어한다.
• 결과적으로 공역 $C_b = [[\cdots[M_b, H_1], H_2], \cdots, H_n]$ 는 $\|C_b\|_{L^2} \simeq \|b\|_{BMO(\otimes_{1}^{n}\mathbb{C}_{+})}$ 를 만족한다.
• 약한 인수분해 $H^1(\otimes_{1}^{n}\mathbb{C}_{+}) = H^2(\otimes_{1}^{n}\mathbb{C}_{+}) \widehat{\odot} H^2(\otimes_{1}^{n}\mathbb{C}_{+})$ 는 주요 정리의 직접적인 결과이다.