[논문 리뷰] Characterization of parabolic Hardy spaces by Littlewood-Paley functions

Shūichi Satō|arXiv (Cornell University)|2016. 07. 13.

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

한 줄 요약

이 논문은 행렬 $ P $ 에 의해 생성되는 비등방성 확대에 관련된 리틀우드-파일스 함수를 사용하여 포물선 하디 공간 $ H^p $ 의 특성화를 수립한다. 벡터-값 불등식과 원자 분해를 포물선 설정으로 일반화함으로써, 핵심 $ \varphi $ 에 대한 비퇴도 조건이 만족될 경우, $ 0 < p \leq 1 $ 에서 리틀우드-파일스 함수 $ g_\varphi(f) $ 의 $ L^p $-노름이 $ f $ 의 $ H^p $-노름과 동치임을 증명한다.

ABSTRACT

We consider Littlewood-Paley functions associated with non-isotropic dilations. We prove that they can be used to characterize the parabolic Hardy spaces of Calderón-Torchinsky.

연구 동기 및 목표

• 고전적 하디 공간의 리틀우드-파일스 함수에 의한 특성화를 비등방성 확대에 의해 지배되는 포물선 설정으로 확장하는 것.
• 비등방성 확대에 따른 포물선 하디 노름 $ \|f\|_{H^p} $ 과 리틀우드-파일스 함수 $ g_\varphi(f) $ 의 $ L^p $-노름 사이의 동치성을 $ 0 < p \leq 1 $ 에서 확립하는 것.
• 가중치 추정과 페트레 최대 함수를 사용하여 등방성 경우에서의 벡터-값 불등식을 포물선 설정으로 일반화하는 것.
• 스무스 함수 공간 $ \mathscr{S}(\mathbb{R}^n) $ 에 속하고 $ \int \varphi = 0 $ 이며, $ \widehat{\varphi}(A_t^*\xi) $ 에 대한 비퇴도 조건을 만족하는 핵심 $ \varphi $ 의 넓은 범주에 대해 특성화가 성립함을 증명하는 것.
• 결과를 이산 매개변수 형태로 확장하고, $ H^p $-원자와 $ L^p $-유계성에 대한 가중치 노름 불등식을 다루는 것.

제안 방법

• 확대군 $ \{A_t = t^P\} $ 과 관련된 노름 함수 $ \rho(x) $ 를 정의하며, 이는 동차성 및 부분加성 성질을 만족한다.
• 리틀우드-파일스 함수 $ g_\varphi(f)(x) = \left( \int_0^\infty |f * \varphi_t(x)|^2 \frac{dt}{t} \right)^{1/2} $ 를 도입하며, 여기서 $ \varphi_t(x) = t^{-\gamma} \varphi(A_t^{-1}x) $ 이고 $ \gamma = \text{trace}(P) $ 이다.
• 페트레 최대 함수 $ F^{**}_{N,R} $ 와 최대 연산자의 $ L^p $-유계성을 사용하여 포물선 설정에서의 가중치 벡터-값 불등식(정리 2.4)을 증명한다.
• 포물선 하디 공간의 원자 분해를 적용하여 $ \|f\|_{H^p} $ 와 $ g_\varphi(f) $ 의 $ L^p $-노름 사이의 관계를 밝히며, 비퇴도 조건 $ \sup_{t>0} |\widehat{\varphi}(A_t^*\xi)| > 0 $ ( $ \xi \neq 0 $ 일 때) 을 활용한다.
• 파oisson 커널의 조화 또는 반군 성질에 의존하지 않는 실해석 방법을 사용하며, 우치야마 [19] 의 사고를 영감으로 삼는다.
• 이산 척도 $ b^j $ 를 사용하여 주요 결과의 이산 형태를 확립하고, $ A_\infty $ 가중치를 갖는 가중치 $ L^p $-공간으로 확장한다.

실험 결과

연구 질문

• RQ1 비등방성 확대에 관련된 리틀우드-파일스 함수가 $ 0 < p \leq 1 $ 에서 포물선 하디 공간 $ H^p $ 를 특성화할 수 있는가?
• RQ2 핵심 $ \varphi $ 에 어떤 조건이 성립해야 포물선 설정에서 $ \|f\|_{H^p} \asymp \|g_\varphi(f)\|_p $ 가 성립하는가?
• RQ3 벡터-값 불등식은 어떻게 포물선 프레임워크로 일반화될 수 있는가?
• RQ4 결과는 어느 정도까지 이산 매개변수화 및 가중치 $ L^p $-공간으로 확장될 수 있는가?
• RQ5 비퇴도 조건 $ \sup_{t>0} |\widehat{\varphi}(A_t^*\xi)| > 0 $ ( $ \xi \neq 0 $ 일 때) 이 특성화에 충분한가?

주요 결과

• 핵심 $ \varphi \in \mathscr{S}(\mathbb{R}^n) $ 가 $ \int \varphi = 0 $ 이고 모든 $ \xi \neq 0 $ 에 대해 $ \sup_{t>0} |\widehat{\varphi}(A_t^*\xi)| > 0 $ 를 만족할 경우, 리틀우드-파일스 함수 $ g_\varphi(f) $ 는 $ 0 < p \leq 1 $ 에서 포물선 하디 공간 $ H^p $ 를 특성화함을 증명한다.
• 모든 $ f \in H^p \cap \mathscr{S}(\mathbb{R}^n) $ 에 대해 양의 상수 $ c_1, c_2 $ ( $ f $ 와 무관) 에 대해 $ c_1 \|f\|_{H^p} \leq \|g_\varphi(f)\|_p \leq c_2 \|f\|_{H^p} $ 가 성립한다.
• 증명은 포물선 설정에서의 일반화된 벡터-값 불등식(정리 2.4)에 기반하며, 페트레 최대 함수와 가중치 $ L^p $-유계성의 조합을 사용한다.
• 결과는 이산 매개변수화로 확장되며, $ \left\| \left( \sum_{j=-\infty}^\infty |f * \varphi_{b^j}|^2 \right)^{1/2} \right\|_p \asymp \|f\|_{H^p} $ 가 $ 0 < p \leq 1 $ 에서 성립한다.
• 가중치 형태도 확립되었으며, $ 0 < p,q < \infty $, $ w \in A_\infty $, 그리고 가정 조건을 만족하는 핵심에 대해 $ \left\| \left( \sum_j |f * \psi_{b^j}|^q \right)^{1/q} \right\|_{p,w} \lesssim \left\| \left( \sum_j |f * \varphi_{b^j}|^q \right)^{1/q} \right\|_{p,w} $ 이다.
• 밀도 추론에 의해 특성화가 강건함을 보이며, $ H^p \cap \mathscr{S}(\mathbb{R}^n) $ 가 $ H^p $ 에서 조밀하므로 전체 공간 $ H^p $ 로 확장 가능하다.