[논문 리뷰] The Fatou property of block spaces

Yoshihiro Sawano, Hitoshi Tanaka|arXiv (Cornell University)|2014. 04. 10.

Advanced Harmonic Analysis Research참고 문헌 12인용 수 68

한 줄 요약

이 논문은 블록 공간에 대한 Fatou 성질을 확립하여, $1 < q \leq p < \infty$ 인 경우 블록 공간 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 가 모리의 공간 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 의 전쌍임을 증명한다. 저자들은 컴 pact 지지 함수를 $(p',q')$-블록으로 구성적으로 분해함으로써 Fatou 성질을 검증하여 계수 합에 대한 균일한 유계성을 확보함으로써 쌍대성과 함께 전쌍의 완전한 특성화를 달성한다.

ABSTRACT

Around thirty years ago, block spaces, which are the predual of Morrey spaces, had been considered. However, it seems that there is no proof that block spaces satisfy the Fatou property. In this paper the Fatou property for block spaces is verified and the predual of block spaces is characterized.

연구 동기 및 목표

• 블록 공간에 대한 Fatou 성질을 검증하는 것. 이는 블록 공간이 모리의 공간의 전쌍으로서의 역할을 하였음에도 불구하고 엄밀하게 확립되지 않은 바 있다.
• 블록 공간의 전쌍을 특성화하는 것. 이는 $1 < q \leq p < \infty$ 인 경우 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 과 일치함을 증명함으로써 이루어진다.
• 모리의 공간 이론에서의 쌍대성 갭을 해결하기 위해, 블록 공간이 Fatou 성질을 만족함을 보여, 이중 쌍대성에서 약한* 수렴이 전쌍의 노름 수렴을 보장함을 확인하는 것.

제안 방법

• 저자들은 $\|b\|_{L^{q'}(Q)} \leq |Q|^{1/p - 1/q}$ 를 만족하는, 큐 $Q$ 에서 지지되는 $(p',q')$-블록을 정의함으로써, 블록 공간 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 의 기초를 마련한다.
• 비음수이고 컴팩트 지지를 가진 함수 $f \in L^{q'}({\mathbb{R}}^n)$ 에 대해, 계수 $\Lambda_j$ 를 가진 비음수 $(p',q')$-블록들의 무한급수 $f = \sum_{j=1}^\infty \Lambda_j B_j$ 로의 구성적 분해를 사용한다.
• 적당히 큰 $N$ 에서 급수를 잘라내어 유한 분해 $f = \sum_{j=1}^N \lambda_j b_j$ 를 정의하고, $\sum_{j=1}^N \lambda_j \leq 2\|f\|_{{\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)}$ 를 확보함으로써 계수 합에 대한 균일한 통제를 확보한다.
• 핵심 기술적 단계는 급수의 尾部의 $L^{q'}$-노름을 추정하고, 단조 수렴 정리를 사용하여 잔여 합을 유계화하는 것이다.
• 저자들은 하인-반하흐 정리를 적용하여 모리의 공간의 부분공간 위의 함수열을 연장함으로써, 모든 유계 선형 함수열이 $L^{p'}$ 함수에서 유래되지 않는다는 것을 보여, $L^{p'}$ 과 모리의 공간 간의 비쌍대성임을 증명한다.
• 증명은 특정 예시를 기반으로 하며, $E = \bigcup_{k=1}^\infty (k-1+k^{p/(p-q)}, k+k^{p/(p-q)})$ 와 같은 구간의 합집합을 다루어 $\chi_E \in {\mathcal{M}}^p_q$ 이지만 $\chi_E \notin \widetilde{{\mathcal{M}}}^p_q$ 임을 보여, 모리의 공간과 블록 공간 간의 차이를 부각한다.

실험 결과

연구 질문

• RQ1 블록 공간 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 이 Fatou 성질을 만족하는가? 이는 이중 공간에서의 약한* 수렴이 전쌍에서의 노름 수렴을 보장하는가?
• RQ2 모리의 공간 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 의 실제 전쌍이 $1 < q \leq p < \infty$ 인 경우 블록 공간 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 인가?
• RQ3 모든 컴팩트 지지를 가진 함수가 $L^{q'}({\mathbb{R}}^n)$ 에 속하는 경우, 계수 합이 균일하게 유계인 유한 합으로 $(p',q')$-블록으로 분해될 수 있는가?
• RQ4 모리의 공간 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 과 그 잠재적 전쌍 간의 정확한 관계는 무엇인가? 특히 $L^{p'}({\mathbb{R}}^n)$ 이 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 상의 모든 유계 선형 함수열을 표현하지 못한다는 점을 고려할 때이다.
• RQ5 블록 공간과 모리의 공간의 쌍대성은 표준적인 $L^p$-$L^{p'}$ 쌍대성과 어떻게 다를까? 특히 함수 표현 및 수렴 성질 측면에서.

주요 결과

• 블록 공간 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 은 Fatou 성질을 만족한다. 즉, ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 의 이중 공간에서 약한* 수렴하는 수열 $\{f_k\}$ 이 $f$ 로 수렴할 경우, $\|f\|_{{\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)} \leq \liminf_{k \to \infty} \|f_k\|_{{\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)}$ 가 성립한다.
• 모리의 공간 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 의 전쌍은 정확히 블록 공간 ${\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)$ 이며, 이는 오랫동안 남아있던 모리의 공간 이론의 핵심 질문을 해결한다.
• 비음수이고 컴팩트 지지를 가진 모든 함수 $f \in L^{q'}({\mathbb{R}}^n)$ 에 대해, $b_j$ 가 $(p',q')$-블록이고 $\sum_{j=1}^N \lambda_j \leq 8\|f\|_{{\mathcal{B}}^{p'}_{q'}({\mathbb{R}}^n)}$ 를 만족하는 유한 분해 $f = \sum_{j=1}^N \lambda_j b_j$ 가 존재한다. 이때 상수 8 는 효과적이다.
• $E = \bigcup_{k=1}^\infty (k-1+k^{p/(p-q)}, k+k^{p/(p-q)})$ 의 예시는 $\chi_E \in {\mathcal{M}}^p_q({\mathbb{R}})$ 이지만 $\chi_E \notin \widetilde{{\mathcal{M}}}^p_q({\mathbb{R}})$ 임을 보여, 모리의 공간이 $\widetilde{{\mathcal{M}}}^p_q$-노름이 유한한 함수들의 공간보다 엄밀히 크다는 것을 증명한다.
• 모리의 공간 ${\mathcal{M}}^p_q({\mathbb{R}})$ 상에 존재하는 유계 선형 함수열 중에서 $L^{p'}({\mathbb{R}}^n)$ 함수에서 유래되지 않는 것이 존재한다. 예를 들어, 모든 컴팩트 지지를 가진 함수에서 0 이지만 $\chi_E$ 에서는 0 이 아닌 함수열을 통해 이를 보여, $L^{p'}({\mathbb{R}}^n)$ 이 ${\mathcal{M}}^p_q({\mathbb{R}}^n)$ 의 전쌍이 아니라는 것을 증명한다.