[論文レビュー] Affine synthesis and coefficient norms for Lebesgue, Hardy and Sobolev spaces

Huy‐Qui Bui, Richard S. Laugesen|ArXiv.org|Aug 29, 2006

Advanced Harmonic Analysis Research参考文献 35被引用数 6

ひとこと要約

本稿は、アフィン合成作用素を介して、Lebesgue、Hardy、Sobolev空間と混合ノルム系列空間内の係数系列の間でノルム同値性を確立する。関数の$L^p$ノルムが、アフィンフレームにおける係数の最小の$\ell^1(\ell^p)$ノルムに等価であることを証明し、離散Hardy空間と係数に関する差分作用素を用いて$H^1$および$W^{m,p}$へ拡張する。

ABSTRACT

The affine synthesis operator is shown to map the mixed-norm sequence space $\ell^1(\ell^p)$ surjectively onto $L^p(\Rd), 1 \leq p < \infty$, assuming the Fourier transform of the synthesizer does not vanish at the origin and the synthesizer has some decay near infinity. Hence the standard norm on $f \in L^p(\Rd)$ is equivalent to the minimal coefficient norm of realizations of $f$ in terms of the affine system. We further show the synthesis operator maps a discrete Hardy space onto $H^1(\Rd)$, which yields a norm equivalence for Hardy space involving convolution with a discrete Riesz kernel sequence. Coefficient norm equivalences are established also for Sobolev spaces, by applying difference operators to the coefficient sequences.

研究の動機と目的

• アフィン合成作用素が古典的関数空間へ全射的に写像するための最適な系列空間の定義域を特定すること。
• アフィン系の文脈において、関数空間ノルムと係数系列ノルムの間のノルム同値性を確立すること。
• $L^p$の結果を、離散特異積分の類似と差分作用素を用いてHardy空間およびSobolev空間へ拡張すること。
• 合成器$\psi$に弱い条件（例えば、無限遠で径数的に減少する$L^1$上界、非ゼロ積分）が与えられても、全射性とノルム同値性が成立することを示すこと。
• Banachフレームとチェザロ収束を用いて、解析と合成の間の関係を形式化すること。

提案手法

• アフィン合成作用素$S c = \sum_{j>0} \sum_{k \in \mathbb{Z}^d} c_{j,k} \psi_{j,k}$を定義し、$\psi_{j,k}(x) = |\det a_j|^{1/p} \psi(a_j x - b k)$とする。ここで$a_j$は拡大行列、$b$は平行移動行列である。
• 積分$\int_{\mathbb{R}^d} \psi \, dx = 1$と、無限遠での径数的に減少する$L^1$上界を仮定することで、有界性と全射性を保証する。
• $S: \ell^1(\ell^p) \to L^p$が有界、線形、全射であることを証明し、ノルム同値性$\|f\|_p \approx \inf \|c\|_{\ell^1(\ell^p)}$を導出する。
• Hardy空間に対しては、離散リーマン核$\{z_\ell\}$による畳み込みを用いて離散Hardy空間$h^1$を定義し、$S: \ell^1(h^1) \to H^1$が全射であり、$\|f\|_{H^1} \approx \inf \|c\|_{\ell^1(h^1)}$であることを示す。
• Sobolev空間$W^{m,p}$に対しては、係数系列$c_{j,k}$に差分作用素を適用して微分をモデル化し、離散微分を含むノルム同値性を導出する。
• スケール平均近似とチェザロ平均を用いて収束を扱い、Banachフレームを定義することで、合成作用素が極限において関数を回復できることを保証する。

実験結果

リサーチクエスチョン

• RQ1 アフィン合成作用素が$\ell^1(\ell^p)$から$\ell^p(\mathbb{R}^d)$へ全射的に写像するための最小の系列空間定義域は何か？
• RQ2 $H^1(\mathbb{R}^d)$における関数のノルムは、離散Hardy空間内の係数系列によってどのように特徴づけられるか？
• RQ3 係数系列に対する差分作用素がSobolev空間ノルムを特徴付ける際に果たす役割は何か？
• RQ4 合成器$\psi$に最小限の仮定（例えば、径数的に減少する$L^1$上界、非ゼロ積分）が与えられた場合でも、合成作用素が$H^1$および$W^{m,p}$でノルム同値性を達成できるか？
• RQ5 チェザロ収束のもとで、合成作用素が$L^p$、$H^1$、$W^{m,p}$空間に対してBanachフレームを形成するか？

主な発見

• アフィン合成作用素$S: \ell^1(\ell^p) \to L^p$は、$1 \leq p < \infty$に対して有界、線形、全射であり、$\psi$が無限遠で径数的に減少する$L^1$上界を持ち、$\int \psi \, dx = 1$を満たす限り成立する。
• $f$の$L^p$ノルムは、その係数系列の$\ell^1(\ell^p)$ノルムの下界に等価である：$\|f\|_p \approx \inf \left\{ \sum_{j>0} \left( \sum_{k \in \mathbb{Z}^d} |c_{j,k}|^p \right)^{1/p} : f = S c \right\}$。
• $H^1(\mathbb{R}^d)$に対して、合成作用素は$\ell^1(h^1)$から$H^1$へ全射であり、$\|f\|_{H^1} \approx \inf \left\{ \sum_{j>0} \sum_{k \in \mathbb{Z}^d} \left( |c_{j,k}| + \left| \sum_{\ell \in \mathbb{Z}^d} z_\ell c_{j,k-\ell} \right| \right) : f = S c \right\}$が成り立つ。ここで$\{z_\ell\}$は離散リーマン核である。
• $W^{m,p}(\mathbb{R}^d)$に対しては、係数系列$c_{j,k}$に差分作用素を適用することで微分をモデル化し、ノルム同値性が得られる。
• 結果は、$\Omega \subset \mathbb{R}^d$の局所化された領域に対しても拡張可能であり、局所的ノルム同値性が成立する。
• 合成作用素は、チェザロ収束する系列に制限した場合、$L^p$、$H^1$、$W^{m,p}$に対してBanachフレームを形成し、解析と合成のペアが極限において関数を回復する。