[논문 리뷰] Dual of Hardy-amalgam spaces and norms inequalities

Zobo Vincent de Paul Ablé, Justin Feuto|arXiv (Cornell University)|2018. 03. 09.

Advanced Harmonic Analysis Research참고 문헌 20인용 수 3

한 줄 요약

이 논문은 $0 < q \leq p \leq 1$ 인 하드리-암알람 공간 $\mathcal{H}^{(q,p)}$ 의 쌍대 공간을 기술하며, 이 쌍대 공간이 $1/q + 1/q' = 1$ 및 $1/p + 1/p' = 1$ 를 만족하는 $\mathcal{H}^{(q',p')}$ 와 등장하는 것으로 규명한다. 또한 캘러존-지그문트, 컨볼루션, 리에즈 잠재력 연산자들이 이러한 공간에서 유계임을 증명하며, 원자 및 최대 함수 특성화를 통해 고전적인 하드리 공간 결과를 암알람 설정으로 확장한다.

ABSTRACT

We characterize the dual spaces of the generalized Hardy spaces defined by replacing Lebesgue quasi-norms by Wiener amalgam ones. In these generalized Hardy spaces, we prove that some classical linear operators such as Calderón-Zygmund, convolution and Riesz potential operators are bounded.

연구 동기 및 목표

• 하드리-암알람 공간 $\mathcal{H}^{(q,p)}$ 의 쌍대 공간을 기술하는 것, $0 < q \leq p \leq 1$.
• 고전적인 하드리 공간에서 캘러존-지그문트, 컨볼루션, 리에즈 잠재력 연산자에 대한 고전적 유계성 결과를 하드리-암알람 프레임워크로 확장하는 것.
• 레베그 쿼지노름 대신 위너 암알람 노름을 사용하는 맥락에서 노름 부등식과 연산자 유계성을 확립하는 것.
• 국소 및 국소적 적분 가능성의 구조를 활용하여 하드리 공간의 원자 및 최대 함수 특성화를 암알람 설정으로 일반화하는 것.

제안 방법

• 부드럽고 컴actsupport된 버블 함수 $\varphi$ 를 사용하여 최대 함수 $\mathcal{M}_{\varphi}(f) = \sup_{t>0} |f * \varphi_t|$ 를 정의함으로써, 이 최대 함수가 위너 암알람 공간 $(L^q, \ell^p)$ 에 속하는 허용 가능한 허용 분포의 공간으로서 $\mathcal{H}^{(q,p)}$ 를 정의한다.
• 원자 분해를 사용하여 $0 < q \leq \min(1,p)$ 인 $\mathcal{H}^{(q,p)}$ 를 다루며, 고전적 하드리 공간과 유사한 취소 및 크기 조건을 만족하는 원자를 사용한다.
• 암알람 공간 $(L^q, \ell^p)$ 의 쌍대 이론을 적용하여, 쌍대 페어링을 통해 $\mathcal{H}^{(q,p)}$ 의 쌍대를 특성화한다.
• Hardy-Littlewood 최대 연산자 $\mathfrak{M}$ 과 그 $(L^q, \ell^p)$ 에서의 유계성, $1 < q,p < \infty$ 일 때를 핵심 기술 도구로 사용한다.
• 원자에 대한 테일러 전개와 취소 조건을 적용하여 리에즈 잠재력 $I_\alpha$ 가 원자에 작용할 때의 크기를 제어하며, $|x-y|^{\delta+1}/|x-x_n|^{d-\alpha+\delta+1}$ 형태의 커널 추정을 사용한다.
• 최대 함수 추정과 보간을 사용하여 스케일링 조건 $1/q_1 = 1/q - \alpha/d$, $1/p_1 = 1/p - \alpha/d$ 를 만족할 때 $I_\alpha$ 가 $\mathcal{H}^{(q,p)}$ 에서 $\mathcal{H}^{(q_1,p_1)}$ 로 유계임을 증명한다.

실험 결과

연구 질문

• RQ1 $0 < q \leq p \leq 1$ 일 때 하드리-암알람 공간 $\mathcal{H}^{(q,p)}$ 의 쌍대 공간은 무엇인가?
• RQ2 캘러존-지그문트 연산자가 $0 < q \leq 1$ 이고 $q \leq p < \infty$ 일 때 $\mathcal{H}^{(q,p)}$ 에서 유계인가?
• RQ3 적절한 스케일링 조건 하에서 리에즈 잠재력 연산자 $I_\alpha$ 는 $\mathcal{H}^{(q,p)}$ 에서 $\mathcal{H}^{(q_1,p_1)}$ 로 확장되어 유계인가?
• RQ4 하드리-암알람 공간 $\mathcal{H}^{(q,p)}$ 에서의 원자 및 최대 함수 특성화는 고전적 하드리 공간의 그것과 어떻게 비교되는가?
• RQ5 $I_\alpha$ 가 하드리-암알람 공간 간에 유계가 되기 위한 $q$, $p$, $\alpha$ 의 정확한 조건은 무엇인가?

주요 결과

• $0 < q \leq p \leq 1$ 일 때 $\mathcal{H}^{(q,p)}$ 의 쌍대 공간은 $1/q + 1/q' = 1$ 및 $1/p + 1/p' = 1$ 를 만족하는 $\mathcal{H}^{(q',p')}$ 와 등장하는 것으로 규명되며, 이는 $\mathcal{H}^{(q,p)}$ 와의 쌍대 페어링을 통해 등장한다.
• 캘러존-지그문트 연산자는 $0 < q \leq 1$ 이고 $q \leq p < \infty$ 일 때 $\mathcal{H}^{(q,p)}$ 에서 유계이며, 고전 결과를 암알람 설정으로 확장한다.
• 표준 캘러존-지그문트 조건을 만족하는 커널을 가진 컨볼루션 연산자는 동일한 매개변수 범위에서 $\mathcal{H}^{(q,p)}$ 에서 유계이다.
• 리에즈 잠재력 연산자 $I_\alpha$ 는 $0 < \alpha < d$, $1/q_1 = 1/q - \alpha/d$, $1/p_1 = 1/p - \alpha/d$ 를 만족할 때 $\mathcal{H}^{(q,p)}$ 에서 $\mathcal{H}^{(q_1,p_1)}$ 로 유계이며, $0 < q \leq 1$, $q \leq p < \infty$ 이다.
• $I_\alpha$ 의 유계성은 원자 분해와 최대 함수 추정을 통해 확립되며, 커널 전개와 원자에 대한 취소 조건을 사용한다. 이때 $\delta \geq \max\{\lfloor d(1/q - 1)\rfloor, \alpha\}$ 이다.
• 보조정리 4.24 는 결과를 더 넓은 범위로 확장한다: $1/q_2 \geq 1/q - \alpha/d$ 및 $1/p_2 \leq 1/p - \alpha/d$ 를 만족할 경우 $I_\alpha$ 는 $\mathcal{H}^{(q,p)}$ 에서 $\mathcal{H}^{(q_2,p_2)}$ 로 유계이며, 느슨한 제약 조건 하에서도 강건함을 보여준다.