[논문 리뷰] Littlewood-Paley Characterizations of Hajłasz-Sobolev and Triebel-Lizorkin Spaces via Averages on Balls

Der‐Chen Chang, Jun Liu외 2명|arXiv (Cornell University)|2016. 01. 14.

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

한 줄 요약

이 논문은 함수와 그 구역 평균 사이의 차이를 이용하여 동질 공간 위의 하제르-스오볼레프 공간과 트리벨-리조르킨 공간의 새로운 리틀우드-파일레 특성화를 수립한다. 매끄러움 순서 α ∈ (0,2)가 f(x) − Btf(x)로부터 구성된 루신-면적 함수와 gλ∗-함수를 통해 캡처될 수 있음을 증명하며, 핵심 결과로는 점별 부등식이 Fαp,q 공간을 특성화함을 보여주며, 특히 F²p,2의 경우는 성립하지만 F²p,∞의 경우는 성립하지 않는 α = 2의 경계 사례를 포함한다.

ABSTRACT

Let $p\in(1,\infty)$ and $q\in[1,\infty)$. In this article, the authors characterize the Triebel-Lizorkin space ${F}^α_{p,q}(\mathbb{R}^n)$ with smoothness order $α\in(0,2)$ via the Lusin-area function and the $g_λ^*$-function in terms of difference between $f(x)$ and its average $B_tf(x):=\frac1{|B(x,t)|}\int_{B(x,t)}f(y)\,dy$ over a ball $B(x,t)$ centered at $x\in\mathbb{R}^n$ with radius $t\in(0,1)$. As an application, the authors obtain a series of characterizations of $F^α_{p,\infty}(\mathbb{R}^n)$ via pointwise inequalities, involving ball averages, in spirit close to Hajłasz gradients, here an interesting phenomena naturally appears that, in the end-point case when $α=2$, these pointwise inequalities characterize the Triebel-Lizorkin spaces $F^2_{p,2}(\mathbb{R}^n)$, while not $F^2_{p,\infty}(\mathbb{R}^n)$. In particular, some new pointwise characterizations of Hajłasz-Sobolev spaces via ball averages are obtained. Since these new characterizations only use ball averages, they can be used as starting points for developing a theory of Triebel-Lizorkin spaces with smoothness orders not less than $1$ on spaces of homogeneous type.

연구 동기 및 목표

• 공간의 동질성 조건을 만족하는 공간에서 매끄러움 순서 α ∈ (0,2)를 갖는 트리벨-리조르킨 공간 Fαp,q의 점별, 구역 평균 기반 특성화를 개발하는 것.
• 1차 미분구조를 초월하여 높은 차수의 차이를 이용한 구역 평균을 통해 하제르-스오볼레프 공간 이론을 확장하는 것.
• f(x) − Btf(x)를 기반으로 한 루신-면적 함수와 gλ∗-함수를 이용한 Fαp,q의 등가 특성화를 수립하여, 매트릭 측도 공간에서의 고차원 매끄러움을 위한 프레임워크를 제공하는 것.
• α = 2에서의 경계 행동을 조사하여, F²p,2는 이러한 점별 부등식으로 특성화되지만 F²p,∞는 그렇지 않음을 보여주는 것.

제안 방법

• 저자들은 캘더론 재생 공식을 사용하고, f(x) − Btf(x)를 바탕으로 한 루신-면적 함수와 gλ∗-함수를 정의한다. 여기서 Btf(x)는 B(x,t) 위에서 f의 평균이다.
• 미분 구조가 없는 매트릭 측도 공간에서 도함수의 대체로, Btf(x) = ∫B(x,t) f(y) dy / |B(x,t)| 형태의 구역 평균 개념을 활용한다.
• 핵심 기술적 접근은 Triebel-Lizorkin 노름과 |f(x) − Btx|로부터 구성된 gλ∗-함수 또는 루신-면적 함수의 Lp 노름 사이의 등가성을 증명하는 데 있다.
• 저자들은 tα와 비음수 함수 g ∈ Lp(X)의 평균을 포함하는 점별 부등식을 유도하여, f(x) − Btx의 크기와 g의 국소적 행동 사이의 연관성을 맺는다.
• 저자들은 정리 3.2와 정리 3.3에서 여섯 가지 점별 조건 (i)–(vi) 간의 등가성을 증명하며, 적절한 적분 가능성과 매끄러움 조건 하에서 이들이 모두 동일한 함수 공간을 특성화함을 보여준다.
• 증명 과정은 [7, 정리 3.5 및 3.6]의 구조를 따르되, 동질 공간 위의 구역 평균과 Lp 기반 노름에 맞게 조정되어 있다.

실험 결과

연구 질문

• RQ1 α ∈ (0,2)인 트리벨-리조르킨 공간 Fαp,q는 f(x) − Btf(x)로부터 구성된 루신-면적 함수와 gλ∗-함수를 통해 특성화될 수 있는가?
• RQ2 f(x) − Btx와 g ∈ Lp(X)의 평균을 포함하는 점별 부등식은 동질 공간 위의 Fαp,q 공간에 대해 등가 특성화를 제공하는가?
• RQ3 경계 사례 α = 2에서의 상황은 어떠한가? F²p,∞에 대해서도 F²p,2와 동일한 특성화가 성립하는가?
• RQ4 구역 평균만으로도 매트릭 측도 공간에서 고차원 스오볼레프 및 트리벨-리조르킨 공간을 정의하는 데 도함수의 대체로 사용될 수 있는가?
• RQ5 정리 3.2와 정리 3.3의 여섯 점별 조건 (i)–(vi) 사이의 완전한 등가성은 성립하는가?

주요 결과

• α ∈ (0,2), p ∈ (1,∞), q ∈ [1,∞)인 경우, ℝⁿ 위의 트리벨-리조르킨 공간 Fαp,q는 f(x) − B2⁻ᵏf(x)로부터 구성된 루신-면적 함수와 gλ∗-함수를 통해 특성화되며, 이로 유도된 노름은 표준 Fαp,q 노름과 등가이다.
• α ∈ (0,2)일 때, 점별 부등식 |f(x) − Btx| ≤ C tα ∫B(x,ct) g(y) dμ(y)는 g ∈ Lp(X) 이고 C > 0가 x와 t에 독립일 때 Fαp,q 공간을 특성화한다.
• 경계 사례 α = 2에서, 동일한 점별 부등식은 F²p,2(ℝⁿ)를 특성화하지만 F²p,∞(ℝⁿ)는 특성화하지 못하며, 이는 경계 사례에서의 행동 차이를 드러낸다.
• 저자들은 정리 3.2와 정리 3.3에서 여섯 가지 등가 점별 조건 (i)–(vi)를 수립하였으며, 이들은 모두 구역 평균과 g의 tα가중 국소 평균을 통해 Fαp,q 공간을 특성화한다.
• 결과는 동질 공간 위에서 매끄러움 순서 ≥1을 갖는 트리벨-리조르킨 공간과 하제르-스오볼레프 공간을 구역 평균만을 사용하여 정의하는 데 새로운 프레임워크를 제공한다.
• 정리 3.2와 정리 3.3의 조건들 간의 등가성은 아직 열려 있으나, 정리 3.2의 (i)가 정리 3.3의 (iv)를 함의함을 보여주었다.