[논문 리뷰] Duality of holomorphic Hardy type tent spaces

Antti Perälä|arXiv (Cornell University)|2018. 03. 28.

Advanced Harmonic Analysis Research참고 문헌 29인용 수 7

한 줄 요약

이 논문은 모든 $0 < p, q < \infty$ 및 $\alpha > -n-1$ 에 대해 단위 구에서의 정칙 하드비-형 텐트 공간 $\mathcal{HT}^{p}_{q,\alpha}(\mathbb{B}_n)$ 의 이중성을 확립하며, 그 이중체를 블로흐 공간, 하드비-블로흐, 하드비-카를레송 형식의 공간과 같은 고전적 또는 새로운 공간으로 규명한다. 이중성은 가중 베르그만 프로젝션, 분수 도함수 및 원자 분해를 통해 유도되며, 고전적 하드비 및 베르그만 이중성 결과들과 작은 지수에 대한 새로운 결과들을 통합한다.

ABSTRACT

We study the holomorphic tent spaces $\mathcal{HT}^p_{q,α}(\Bn)$, which are motivated by the area function description of the Hardy spaces on one hand, and the maximal function description of the Hardy spaces on the other. Characterizations for these spaces under general fractional differential operators are given. We describe the dual of $\mathcal{HT}^p_{q,α}(\Bn)$ for the full range $0-n-1$. Here the case $1

연구 동기 및 목표

• 모든 $0 < p, q < \infty$ 및 $\alpha > -n-1$ 에 대해 정칙 하드비-형 텐트 공간 $\mathcal{HT}^{p}_{q,\alpha}(\mathbb{B}_n)$ 의 이중체를 특성화하는 것.
• 하드비 및 베르그만 공간에 대한 고전적 이중성 결과들을 $p < 1$ 를 포함한 전체 지수 범위로 확장하여 통합하는 것.
• 비판적 경우에 나타나는 새로운 함수 공간인 $\mathcal{BT}^{p}(\mathbb{B}_n)$ 과 $\mathcal{CT}_{q,\alpha}(\mathbb{B}_n)$ 를 도입하고 연구하는 것.
• 이중성 분석을 위한 핵심 기술 도구인 $p, q \geq 1$ 영역에서의 텐트 공간 위의 가중 베르그만 프로젝션의 유계성을 확립하는 것.

제안 방법

• 도함수의 적분 가능성 조건을 통해 $\mathcal{HT}^{p}_{q,\alpha}(\mathbb{B}_n)$, $\mathcal{BT}^{p}(\mathbb{B}_n)$, $\mathcal{CT}_{q,\alpha}(\mathbb{B}_n)$ 를 특성화하기 위해 분수 미분 연산자 $R^{s,t}$ 를 사용하는 것.
• 텐트 공간 위의 가중 베르그만 프로젝션 $P_{n+\alpha}$ 를 적용하며, 적분 추정과 이중성 쌍을 통한 유계성 증명을 수행하는 것.
• $q < 1$ 인 경우 텐트 공간의 원자 분해를 활용하여 어려운 소수 지수 영역에서의 이중성 분석을 가능하게 하는 것.
• 쌍 $\langle f, g \rangle_{n+\alpha}$ 와 그 고차 도함수 쌍과의 등가성인 식 $\langle f,g\rangle_{n+\alpha} = \text{const} \cdot \langle R^{n+\alpha,t}f, R^{n+\alpha+t,t}g \rangle_{n+\alpha+2t}$ 를 사용하는 것.
• 임bedding 정리와 근사 결과(예: 보조정리 7)를 활용하여 함수 공간과 그 이중체 사이의 다리를 놓는 것.
• 고전적 이중성 결과를 확장하여 $0 < p < 1$ 인 경우 $\mathcal{HT}^{p}_{q,\alpha}$ 의 이중체가 블로흐 공간 $\mathcal{B}(\mathbb{B}_n)$ 임을 보여주는 것, 이는 $q \leq 1$ 이어도 성립한다.

실험 결과

연구 질문

• RQ1 1 < p < \infty 이고 $q \leq 1$ 인 경우 $\mathcal{HT}^{p}_{q,\alpha}(\mathbb{B}_n)$ 의 이중체는 무엇이며, 하드비-블로흐 공간 $\mathcal{BT}^{p}(\mathbb{B}_n)$ 와 어떻게 관련되어 있는가?
• RQ2 p = 1 이고 $1 < q < \infty$ 인 경우 이중성은 어떻게 변화하며, 하드비-카를레송 형식의 공간 $\mathcal{CT}_{q,\alpha}(\mathbb{B}_n)$ 는 어떤 역할을 하는가?
• RQ3 0 < p < 1 인 경우 이중성이 일관되게 기술될 수 있는가? 그리고 왜 이중체 공간이 고전적 블로흐 공간 $\mathcal{B}(\mathbb{B}_n)$ 으로 축소되는가?
• RQ4 p, q \geq 1 인 경우, 가중 베르그만 프로젝션 $P_{n+\alpha}$ 는 이중성을 확립하는 데 어떤 역할을 하는가? 그리고 텐트 공간 위에서의 유계성은 어떻게 증명되는가?
• RQ5 분수 도함수 $R^{s,t}$ 는 연구된 모든 함수 공간에 대해 통합적인 특성화 프레임워크를 어떻게 제공하는가?

주요 결과

• 1 < p < \infty 이고 $q \leq 1$ 인 경우, $\mathcal{HT}^{p}_{q,\alpha}(\mathbb{B}_n)$ 의 이중체는 하드비-블로흐 형식의 공간 $\mathcal{BT}^{p'}(\mathbb{B}_n)$ 이며, $\mathcal{BT}^{p,0}(\mathbb{B}_n)$ 는 $\mathcal{HT}^{p}_{1,\alpha}(\mathbb{B}_n)$ 의 전이중체이다.
• p = 1 이고 $1 < q < \infty$ 인 경우, 이중체는 하드비-카를레송 형식의 공간 $\mathcal{CT}_{q',\alpha}(\mathbb{B}_n)$ 이며, $\mathcal{CT}^{0}_{q,\alpha}(\mathbb{B}_n)$ 의 이중체는 $\mathcal{HT}^{1}_{q',\alpha}(\mathbb{B}_n)$ 이다.
• 0 < p < 1 인 경우, $\mathcal{HT}^{p}_{q,\alpha}(\mathbb{B}_n)$ 의 이중체는 고전적 블로흐 공간 $\mathcal{B}(\mathbb{B}_n)$ 이며, $q$ 의 값과는 무관하다.
• 적절한 조건 하에서 모든 $p, q > 0$ 에 대해 $T^{p}_{q,\alpha}(\mathbb{B}_n)$ 위에서의 베르그만 프로젝션 $P_{n+\alpha}$ 의 유계성이 확립되었으며, 이는 $p, q \geq 1$ 인 경우의 이중성 증명을 가능하게 한다.
• 이중성 결과들은 항등식 $\langle f,g\rangle_{n+\alpha} = \text{const} \cdot \langle R^{n+\alpha,t}f, R^{n+\alpha+t,t}g \rangle_{n+\alpha+2t}$ 를 통해 통합되며, 이는 고전적 이중성 $H^1(\mathbb{B}_n)^* \sim \text{BMOA}(\mathbb{B}_n)$ 도 복원할 수 있다.
• $\mathcal{BT}^{p}(\mathbb{B}_n)$ 에서의 $H^p(\mathbb{B}_n)$ 의 폐포는 $\mathcal{BT}^{p,0}(\mathbb{B}_n)$ 이며, 이는 이러한 공간의 스케일 내에서 자연스러운 조밀성 성질을 보여준다.