[논문 리뷰] Complex Interpolation of Weighted Besov- and Lizorkin-Triebel Spaces (long version)

Winfried Sickel, Leszek Skrzypczak외 1명|arXiv (Cornell University)|2012. 12. 07.

Advanced Harmonic Analysis Research참고 문헌 40인용 수 4

한 줄 요약

이 논문은 국소 Muckenhoupt 가중치를 가진 가중치가 부여된 Besov 및 Lizorkin-Triebel 공간에 대해 복소 보간 공식을 수립한다. 이는 관련 수열 공간의 Calderón 곱과 웨이블릿 동형사상의 조합을 통해 이루어지며, 고전적 Calderón 보간 공식을 가중치가 부여된 함수 공간으로 확장한다. 주요 결과는 $[F^{s_0}_{p_0,q_0}({\mathbf{R}}^d,w_0), F^{s_1}_{p_1,q_1}({\mathbf{R}}^d,w_1)]_{\Theta} = F^s_{p,q}({\mathbf{R}}^d,w)$ 와 유사하게 Besov 공간에 대해서도 성립하며, 여기서 $w = w_0^{(1-\Theta)p/p_0} w_1^{\Theta p/p_1}$ 이고, 일반적인 매개변수 범위와 $w_0,w_1 \in \mathcal{A}_\infty^{\text{loc}}$ 조건 하에서 성립한다. 이는 동일한 가중치 경우를 초월하여 가중치 함수 공간의 보간 이론에서 오랫동안 남아있던 격차를 해결한다.

ABSTRACT

We study complex interpolation of weighted Besov and Lizorkin-Triebel spaces. The used weights $w_0,w_1$ are local Muckenhoupt weights in the sense of Rychkov. As a first step we calculate the Calderón products of associated sequence spaces. Finally, as a corollary of these investigations, we obtain results on complex interpolation of radial subspaces of Besov and Lizorkin-Triebel spaces on $\R^d$.

연구 동기 및 목표

• 가중치가 다른 경우에 대해 가중치가 부여된 Lebesgue 공간에 대한 고전적 복소 보간 공식을 가중치가 부여된 Besov 및 Lizorkin-Triebel 공간으로 확장한다.
• 특히 국소 Muckenhoupt 가중치의 맥락에서 $w_0$와 $w_1$이 다를 경우 가중치 함수 공간에 대한 일반적인 보간 결과의 부재를 해결한다.
• 수열 공간의 Calderón 곱과 웨이블릿 특성화를 이용하여 가중치가 부여된 Triebel-Lizorkin 및 Besov 공간의 복소 보간을 체계적으로 계산하는 방법을 수립한다.
• PDE 이론과 조화 분석에서의 응용을 고려하여, 이러한 함수 공간의 반지름 부분공간에 대한 새로운 보간 공식을 유도한다.

제안 방법

• 관련 수열 공간 $f^{s_0}_{p_0,q_0}({\mathbb{R}}^d,w_0)^{1-\Theta} f^{s_1}_{p_1,q_1}({\mathbb{R}}^d,w_1)^\Theta = f^s_{p,q}({\mathbb{R}}^d,w)$ 와 유사하게 $b$-공간에 대해서도 일반적인 매개변수 범위와 $w_0,w_1 \in \mathcal{A}_\infty^{\text{loc}}$ 조건 하에서 계산을 시작한다.
• 웨이블릿 동형사상의 성질을 이용하여 수열 공간의 Calderón 곱 결과를 함수 공간으로 이행한다. 이는 $B^s_{p,q}({\mathbb{R}}^d,w)$ 와 $F^s_{p,q}({\mathbb{R}}^d,w)$ 가 각각 $b^{s+d/2}_{p,q}({\mathbb{R}}^d,w)$ 와 $f^{s+d/2}_{p,q}({\mathbb{R}}^d,w)$ 와 동형임을 이용한다.
• 적절한 조건 하에서 Calderón 곱과 복소 보간이 일치한다는 알려진 결과를 적용하여 함수 공간에 대한 보간 결과를 도출한다.
• 비분리 공간으로의 확장을 위해 Shestakov의 복소 보간에 대한 준Banach 공간 이론을 활용한다.
• 함수 공간의 구조를 반지름 함수로 제한함으로써 반지름 부분공간에 이론을 적용하며, 이는 동형사상과 보간 결과를 활용한다.

실험 결과

연구 질문

• RQ1 국소 Muckenhoupt 가중치인 $w_0 \neq w_1$ 인 경우, 가중치가 부여된 Besov 공간 $B^{s_0}_{p_0,q_0}({\mathbb{R}}^d,w_0)$ 와 $B^{s_1}_{p_1,q_1}({\mathbb{R}}^d,w_1)$ 의 올바른 복소 보간 공식은 무엇인가?
• RQ2 일반적인 매개변수와 $\mathcal{A}_\infty^{\text{loc}}$ 내의 가중치에 대해, 가중치가 부여된 Besov 및 Lizorkin-Triebel 공간에 관련된 수열 공간의 Calderón 곱을 명시적으로 계산할 수 있는가?
• RQ3 가중치가 부여된 Besov 및 Lizorkin-Triebel 공간의 반지름 부분공간에서 복소 보간은 어떻게 행동하며, 이는 일반 보간 결과에서 유도될 수 있는가?
• RQ4 웨이블릿 동형사상은 가중치가 부여된 설정에서 수열 공간에서 함수 공간으로 보간 결과를 전달하는 데 어떤 역할을 하는가?
• RQ5 가중치가 부여된 함수 공간의 복소 보간이 그들의 관련 수열 공간의 Calderón 곱과 일치하는 조건은 무엇인가?

주요 결과

• 일반적인 $s_i, p_i, q_i$ 조건과 $w_0,w_1 \in \mathcal{A}_\infty^{\text{loc}}$ 하에서, 수열 공간의 Calderón 곱 $f^{s_0}_{p_0,q_0}({\mathbb{R}}^d,w_0)$ 과 $f^{s_1}_{p_1,q_1}({\mathbb{R}}^d,w_1)$ 은 $f^s_{p,q}({\mathbb{R}}^d,w)$ 와 같으며, 여기서 $w = w_0^{(1-\Theta)p/p_0} w_1^{\Theta p/p_1}$ 이다.
• 비슷한 결과가 $b$-수열 공간에 대해서도 성립한다: $b^{s_0}_{p_0,q_0}({\mathbb{R}}^d,w_0)^{1-\Theta} b^{s_1}_{p_1,q_1}({\mathbb{R}}^d,w_1)^\Theta = b^s_{p,q}({\mathbb{R}}^d,w)$.
• 가중치가 부여된 Lizorkin-Triebel 공간의 복소 보간은 $[F^{s_0}_{p_0,q_0}({\mathbb{R}}^d,w_0), F^{s_1}_{p_1,q_1}({\mathbb{R}}^d,w_1)]_{\Theta} = F^s_{p,q}({\mathbb{R}}^d,w)$ 를 만족하며, 동일한 가중치 공식이 적용된다.
• 가중치가 부여된 Besov 공간의 복소 보간은 동일한 조건 하에서 $[B^{s_0}_{p_0,q_0}({\mathbb{R}}^d,w_0), B^{s_1}_{p_1,q_1}({\mathbb{R}}^d,w_1)]_{\Theta} = B^s_{p,q}({\mathbb{R}}^d,w)$ 를 만족한다.
• 이 결과는 이러한 함수 공간의 반지름 부분공간으로까지 확장되며, 웨이블릿 동형사상과 일반 보간 결과를 통해 $\mathring{B}^s_{p,q}({\mathbb{R}}^d,w)$ 와 $\mathring{F}^s_{p,q}({\mathbb{R}}^d,w)$ 의 보간 공식을 도출할 수 있다.
• 이 방법은 준Banach 공간에도 적용 가능하여 $p<1$ 및 $q\leq\infty$ 를 허용한다. 다만 기술적 한계로 인해 극한 경우인 $F^s_{\infty,q}({\mathbb{R}}^d,w)$ 는 제외된다.