[論文レビュー] Embeddings of decomposition spaces

Felix Voigtlaender|arXiv (Cornell University)|May 31, 2016

Mathematical Analysis and Transform Methods被引用数 4

ひとこと要約

本稿は、調和解析における重要な関数空間（Besov空間、α-モジュレーション空間、coorbit空間など）の間における連続埋め込みの存在を決定する一般的で組合せ的な枠組みを確立する。問題を周波数被覆と重みに関する幾何学的および列ノルムの条件に還元することにより、フーリエ解析を用いずに埋め込み解析が可能となり、これらの空間間の埋め込みに関する鋭い、検証可能な基準が得られる。特に、滑らかさと可積分性の間の新たなトレードオフが明らかになる。

ABSTRACT

Many smoothness spaces in harmonic analysis are decomposition spaces. In this paper we ask: Given two decomposition spaces, is there an embedding between the two? A decomposition space $\mathcal{D}(\mathcal{Q}, L^p, Y)$ can be described using : a covering $\mathcal{Q}=(Q_{i})_{i\in I}$ of the frequency domain, an exponent $p$ and a sequence space $Y\subset\mathbb{C}^{I}$. Given these, the decomp. space norm of a distribution $g$ is $\| g\| _{\mathcal{D}(\mathcal{Q}, L^p, Y)}=\left\| \left(\left\| \mathcal{F}^{-1}\left(φ_{i}\widehat{g} ight) ight\| _{L^{p}} ight)_{i\in I} ight\| _{Y}$, where $(φ_{i})_{i\in I}$ is a suitable partition of unity for $\mathcal{Q}$. We establish readily verifiable criteria which ensure an embedding $\mathcal{D}(\mathcal{Q}, L^{p_1}, Y)\hookrightarrow\mathcal{D}(\mathcal{P}, L^{p_2}, Z)$, mostly concentrating on the case, $Y=\ell_{w}^{q_{1}}(I)$ and $Z=\ell_{v}^{q_{2}}(J)$. The relevant sufficient conditions are $p_{1}\leq p_{2}$, and finiteness of a norm of the form \[ \left\| \left(\left\| (α_{i}\,β_j \cdot v_{j}/w_{i})_{i\in I_{j}} ight\| _{\ell^{t}} ight)_{j\in J} ight\| _{\ell^{s}}

研究の動機と目的

• 分解空間（調和解析において中心的な役割を果たす関数空間）の間における連続埋め込みを特定する統一的でアクセス可能な枠組みを構築すること。
• 埋め込みの解析を、従来は深いつもりのフーリエ解析に依存していたのを、周波数被覆と列の重みに関する純粋な幾何学的・組合せ的条件に還元すること。
• 滑らかさと可積分性がトレードオフとなるような状況を含め、分解空間間の埋め込みに関する鋭い、検証可能な基準を提供すること。
• 二つの分解空間が一致する条件を同定し、それらの基礎となる被覆と重みが非自明な条件下で同値である必要があることを示すこと。
• 本枠組みの強力さを示すために、α-モジュレーション空間およびBesov空間における既知の埋め込み結果を回復・改善すること。

提案手法

• 周波数被覆Q、タイル毎のL^pノルム、インデックス集合I上の列空間Yを用いて、分解空間D(Q, L^p, Y)を定義する。
• 交差集合I_j = {i ∈ I : Q_i ∩ P_j ≠ ∅} を含むネストされた列ノルムを用いて、埋め込み条件を特徴付ける。
• D(Q, L^{p_1}, ℓ^{q_1}_w) ↪ D(P, L^{p_2}, ℓ^{q_2}_v) のための十分条件を、ノルム ‖(α_i β_j v_j / w_i)_i∈I_j‖_{ℓ^t_j∈J}^{ℓ^s} の有限性によって確立する。
• 被覆QとPに対してやや弱い仮定のもとで基準の鋭さを証明し、多くの場合に条件が必要かつ十分であることを示す。
• 本枠組みをα-モジュレーション空間およびBesov空間に適用し、既知の埋め込み定理を回復・改善する。
• 剛性結果を用いて、D(Q, L^p, ℓ^q_w) = D(P, L^p, ℓ^q_v) が成り立つのは、p = p', q = q' かつ Q, P, w, v が適切な意味で同値である場合に限ることを示す。

実験結果

リサーチクエスチョン

• RQ1 二つの分解空間 D(Q, L^{p_1}, ℓ^{q_1}_w) と D(P, L^{p_2}, ℓ^{q_2}_v) 間に連続埋め込みが存在する条件は何か？
• RQ2 フーリエ解析を一切用いずに、被覆QとPの幾何学的構造にのみ依存して、このような埋め込みの存在を特定できるか？
• RQ3 埋め込みの存在を決定する要因となる指数p_1, p_2, q_1, q_2 と重みw, v の正確な関係は何か？
• RQ4 異なる被覆または重みを持つ二つの分解空間がいつ一致するのか？
• RQ5 本枠組みは、α-モジュレーション空間およびBesov空間における既知の埋め込み結果を改善または一般化できるか？

主な発見

• D(Q, L^{p_1}, ℓ^{q_1}_w) ↪ D(P, L^{p_2}, ℓ^{q_2}_v) の埋め込みが存在するための必要十分条件は、p_1 ≤ p_2 かつ ネストされた列ノルム ‖(α_i β_j v_j / w_i)_i∈I_j‖_{ℓ^t_j∈J}^{ℓ^s} が有限であること、ただしQとPに対して適切な仮定が成り立つ場合に限る。
• 本枠組みにより、p_1 ≠ p_2 の場合に見られる「滑らかさ対可積分性のトレードオフ」が可能となり、古典的なSobolev埋め込みを一般化する。
• p_1 = p_2 の場合、埋め込みの必要十分条件は、ネストされたノルムと重みの振る舞いに基づいて完全に特徴付けられる。
• 本枠組みは、α-モジュレーション空間における既知のすべての埋め込み結果を回復・改善し、過去の結果が強化可能であることを示している。
• 剛性結果により、二つの分解空間 D(Q, L^p, ℓ^q_w) と D(P, L^p, ℓ^q_v) が等しいのは、それらの被覆QとP、重みwとvが正確な意味で同値である場合に限ることが示された。
• 理論は鋭い：比較的緩い被覆およびほとんどのパrameter範囲において、基準は埋め込みの存在を完全に特徴づける。