[논문 리뷰] Characterizations of Besov and Triebel-Lizorkin Spaces on Metric Measure Spaces

Амиран Гогатишвили, Pekka Koskela외 1명|arXiv (Cornell University)|2011. 06. 13.

Advanced Harmonic Analysis Research참고 문헌 14인용 수 5

한 줄 요약

이 논문은 두 배수 측도와 Poincaré 부등식을 지닌 메트릭 측도 공간 위에서 동차 Besov 및 Triebel-Lizorkin 공간의 최적의 점별 특성화를 수립하며, 날카운 최대 함수와 진동을 포함한 다양한 부드러움 세미노름 간의 동치성을 보여준다. 주요 기여는 이러한 특성화에서 매개변수의 범위가 최적이며, 공간의 비자명성은 근본적인 기하학적 및 해석적 구조에 의해 완전히 결정됨을 증명하는 것이다.

ABSTRACT

On a metric measure space satisfying the doubling property, we establish several optimal characterizations of Besov and Triebel-Lizorkin spaces, including a pointwise characterization. Moreover, we discuss their (non)triviality under a Poincaré inequality.

연구 동기 및 목표

• 두 배수 측도를 지닌 메트릭 측도 공간에서 동차 Besov 및 Triebel-Lizorkin 공간의 점별 최적 특성화를 제공한다.
• 다양한 부드러움 세미노름(진동, 평균, 최소값을 포함)이 고전적 Besov 노름과 동치가 되는 최적의 매개변수 범위를 규명한다.
• 약한 (1,p)-Poincaré 부등식을 가정할 때 이러한 함수 공간의 비자명성을 조사한다.
• 특히 $ s = n/p $일 때 특정 Besov 공간의 자명성에 대한 필요 및 충분 조건을 수립한다.

제안 방법

• 저자들은 반경 $ t $ 의 구를 중심으로 하는 $ t^{-s} $ 배수의 $ L^\sigma $-진동을 포함하는 점별 부드러움 세미노름에 기반한 새로운 함수 공간을 정의하며, $ \vec{C}^{s,\sigma} $, $ \vec{A}^{s,\sigma} $, $ \vec{I}^{s,\sigma} $, 및 $ \vec{S}^{s,\epsilon,\sigma} $ 연산자를 사용한다.
• 측도의 두 배수 성질과 약한 (1,p)-Poincaré 부등식을 이용하여 진동을 제어하고 최대 함수와 연결함으로써, 고전적 Besov 공간 $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ 가 이 새로운 공간들 $ \vec{E}\dot{B}_{p,q}({\mathcal{X}}) $ 와 최적의 매개변수 범위 $ \sigma $, $ \epsilon $, $ p $ 에서 일치함을 증명한다.
• 증명은 측도의 두 배수 성질과 약한 (1,p)-Poincaré 부등식을 이용하여 진동을 제어하고 최대 함수와 연관지음으로써 이루어진다.
• 저자들은 날카운 최대 함수 추정과 이중 분해 기법을 사용하여 다양한 세미노름을 비교하고 동치성을 확립한다.
• 매개변수의 임계 임계값을 초과할 경우, $ \dot{B}^{s}_{p,q} $ 에 속하지만 해당 $ \vec{E}\dot{B}_{p,q} $ 공간에 속하지 않는 함수를 $ \mathbb{R}^n $ 에서 명시적으로 구성함으로써, 이러한 특성화에서의 매개변수 범위가 최적임을 입증한다.
• 비자명성 결과를 위해, 아르프스 2-정규 메트릭 공간(제곱을 가진 캔터 유형 집합을 통한 구성)을 이용하여, 약한 (1,2)-Poincaré 부등식이 성립하더라도 $ \dot{B}^{s}_{2/s,2/s}({\mathcal{X}}) $ 가 비자명할 수 있음을 보였다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $ \sigma $, $ p $, $ q $ 에 대해 고전적 Besov 공간 $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ 이 $ \vec{C}^{s,\sigma} $ 기반 특성화와 동치가 되는가?
• RQ2 $ \vec{I}^{s,\sigma} $-기반 특성화가 $ \dot{B}^{s}_{p,q} $ 에 대해 성립하는 최적의 $ \sigma $ 범위는 무엇인가?
• RQ3 $ \dot{B}^{s}_{p,q} $ 의 함수 부드러움은 $ \vec{S}^{s,\epsilon,\sigma} $ 연산자의 척도로 특성화될 수 있으며, 이때 최적의 $ \epsilon $ 은 무엇인가?
• RQ4 $ s \geq 1 $ 일 때, $ \dot{B}^{s}_{n/s,n/s}({\mathcal{X}}) $ 의 자명성이 약한 (1,n)-Poincaré 부등식이 필요할까?
• RQ5 약한 (1,p)-Poincaré 부등식을 만족하는 공간에서 $ p>2 $ 이면, 비자명한 Besov 공간 $ \dot{B}^{s}_{2/s,2/s}({\mathcal{X}}) $ 가 존재할 수 있는가?

주요 결과

• $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ 는 $ \sigma \in (0,p] $ 일 때에만 $ \vec{C}^{s,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ 와 등거리 동치이며, 이 범위는 최적이다.
• $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ 는 $ \sigma \in (0, p_*(s)) $ 일 때에만 $ \vec{I}^{s,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ 와 일치하며, 이 범위는 최적이다. 여기서 $ p_*(s) = np/(n - ps) $ 이며 $ p < n/s $ 일 때 성립한다.
• $ \epsilon \in [0,s) $ 일 때, $ \dot{B}^{s}_{p,q}({\mathcal{X}}) = \vec{S}^{s,\epsilon,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ 는 $ \sigma \in (0, p_*(s)) $ 일 때에만 성립하며, 이 범위는 최적이다.
• $ p \in (n/(n+s), \infty] $ 일 때, $ \dot{B}^{s}_{p,q}({\mathcal{X}}) = \vec{A}^{s,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ 는 $ \sigma \in (0, p_*(s)) $ 일 때에만 성립하며, 이 범위는 최적이다.
• $ s \in (0,1) $, $ p \in (0, n/s) $, $ \sigma > p_*(s) $ 일 때, $ \dot{B}^{s}_{p,q}({\mathbb{R}}^n) $ 에 속하지만 $ L^\sigma_{\text{loc}}({\mathbb{R}}^n) $ 에 속하지 않는 함수가 존재하므로, $ \vec{E} = \vec{A}^{s,\sigma}, \vec{I}^{s,\sigma}, \vec{S}^{s,\epsilon,\sigma} $ 일 때 $ \vec{E}\dot{B}_{p,q}({\mathbb{R}}^n) $ 에 속하지 않으며, 이는 최적성을 증명한다.
• 약한 (1,p)-Poincaré 부등식을 만족하는 공간 중 $ p>2 $ 인 경우가 존재하며, 이 공간에서 $ \dot{B}^{s}_{2/s,2/s}({\mathcal{X}}) $ 는 모든 $ s \in (0,\infty) $ 에 대해 비자명하다. 이는 $ s \geq 1 $ 일 때 $ \dot{B}^{s}_{n/s,n/s}({\mathcal{X}}) $ 의 자명성이 약한 (1,n)-Poincaré 부등식이 필요함을 보여준다.