[論文レビュー] Littlewood-Paley Characterizations of Hajłasz-Sobolev and Triebel-Lizorkin Spaces via Averages on Balls

Der‐Chen Chang, Jun Liu+2 more|arXiv (Cornell University)|Jan 14, 2016

Advanced Harmonic Analysis Research参考文献 20被引用数 4

ひとこと要約

本稿は、関数とその球平均の差分を用いて、同次型空間上のハジラス=ソボレフ空間およびトライベル=リゾルキン空間の新しいリトルウッド=パイル特性を確立する。滑らかさ指数 α ∈ (0,2) が、f(x) − Btf(x) から構築されたルジン面積関数および gλ∗-関数によって捉えられることを証明しており、特に球平均を含む点での不等式が、Fαp,q 空間、特に F²p,2 については α = 2 の端点ケースを含めて特徴づけるが、F²p,∞ についてはそうではないことを示す。

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) から構築された Lusin-面積関数および gλ∗-関数を用いた Fαp,q 空間の同値特徴づけを確立し、測度空間上での高階滑らかさの枠組みを提供すること。
• α = 2 の端点における挙動を調査し、F²p,2 はこのような点での不等式によって特徴づけられるが、F²p,∞ はそうではないことを示すこと。

提案手法

• 著者たちはカルデロン再構成公式を用い、Lusin-面積関数および gλ∗-関数を f(x) − Btf(x) の形で定義する。ここで Btf(x) は B(x,t) 上での f の平均を表す。
• 微分構造を持たない測度空間では、導関数の代わりに球平均 Btf(x) = ∫B(x,t) f(y) dy / |B(x,t)| を用いる。
• 主な技術的アプローチは、トライベル=リゾルキンノルムと、|f(x) − Btx| から構築された gλ∗-関数または Lusin-面積関数の Lp ノルムとの同値性を示すことである。
• 著者たちは、tα と非負関数 g ∈ Lp(X) の平均を含む点での不等式を導出し、f(x) − Btx の大きさと g の局所的挙動を関連付ける。
• 定理 3.2 および定理 3.3 において、6つの異なる点での条件 (i)–(vi) の同値性を確立し、適切な可積分性および滑らかさの仮定の下で、これらがすべて同じ関数空間を特徴づけることを示す。
• 証明は [7, 定理 3.5 および 3.6] の構造を踏襲しており、同次型空間上での球平均および Lp ベースのノルムに適応されている。

実験結果

リサーチクエスチョン

• RQ1 滑らかさ指数 α ∈ (0,2) を持つトライベル=リゾルキン空間 Fαp,q は、f(x) − Btf(x) から構築された Lusin-面積関数および gλ∗-関数によって特徴づけられるか？
• RQ2 f(x) − Btx と g ∈ Lp(X) の平均を含む点での不等式は、同次型空間上での Fαp,q 空間の同値特徴づけを提供するか？
• RQ3 端点 α = 2 ではどうなるか？F²p,∞ に対しても F²p,2 と同様の特徴づけが成り立つか？
• RQ4 球平均のみで、測度空間上での高階ソボレフ空間およびトライベル=リゾルキン空間を定義する導関数の代わりに用いることができるか？
• RQ5 定理 3.2 および定理 3.3 の6つの点での条件 (i)–(vi) の完全な同値性は成立するか？

主な発見

• 滑らかさ指数 α ∈ (0,2)、p ∈ (1,∞)、q ∈ [1,∞) を持つトライベル=リゾルキン空間 Fαp,q(ℝⁿ) は、f(x) − B2⁻ᵏf(x) から構築された Lusin-面積関数および 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 において、6つの同値な点での条件 (i)–(vi) を確立し、これらすべてが球平均および g の tα 重み付き局所平均を用いて Fαp,q 空間を特徴づける。
• 本研究の結果は、球平均のみを用いて同次型空間上での滑らかさ指数 ≥1 のトライベル=リゾルキン空間およびハジラス=ソボレフ空間を定義するための新しい枠組みを提供する。
• 定理 3.2 と定理 3.3 の条件間の同値性は未解決のままであるが、定理 3.2 の (i) が定理 3.3 の (iv) を含意することは示されている。