[論文レビュー] On the growth of vector-valued Fourier series

Javier Parcet, Fernando Soria+1 more|arXiv (Cornell University)|Sep 20, 2011

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

ひとこと要約

この論文は、非格子UMLバナッハ空間におけるベクトル値フーリエ級数の '小さなカルレソン定理' を確立し、関数 $f$ が $L(\log L)^{1+\delta}(\mathbb{T};\mathrm{X})$ に属する場合に、$\delta > 0$ に対して、部分和がほとんど everywhere で $\log\log n$ よりも遅く増加することを証明している。証明はカルレソンの元来の議論を非格子UML空間に適応するもので、ジグムンドの写像を変更して、非自明なフーリエ型をもつ空間に対して有効な $L(\log L)^{1+\delta}$ における新しい指数和推定式を導出している。

ABSTRACT

We prove the 'little Carleson theorem' on the growth of Fourier series for functions taking values in a UMD Banach space.

研究の動機と目的

• フーリエ級数のほとんど everywhere での収束定理であるカルレソンの定理を、UMDバナッハ空間値をとるベクトル値関数へ拡張すること。
• シュッテンシュタイン $p$-類のような非格子UMD空間におけるカルレソンの定理の正当性について長年の予想であるルビオ・デ・フランシアの予想を解決すること。
• 非格子UMD空間における $L(\log L)^{1+\delta}$ での古典的ジグムンド型不等式の失敗を回避するため、ジグムンドの写像の修正版を構築すること。
• 非自明なフーリエ型をもつバナッハ空間に対して、$L(\log L)^{1+\delta}$ における新しい指数和推定式を確立すること。これはカルレソンの議論における例外集合の制御に不可欠である。

提案手法

• 非自明なフーリエ型をもつUMD空間に対して、カルレソンの元来の証明戦略をベクトル値設定に適応し、ジグムンドの構成の修正版を用いて、$L(\log L)^{1+\delta}$ における新しい指数和推定式を導出する。
• カルレソンの分解に適合した修正された最大ヒルベルト変換 $H_w^*f(x)$ を導入し、標準的な最大ヒルベルト変換に代えて、ベクトル値文脈に適した形に置き換える。
• 関数 $f$ を良い部分と悪い部分に dyadic 分解し、悪い部分をカルレソン分割における区間へ局在化させ、$L(\log L)^{1+\delta}$ 積分可能性によってその寄与を制御する。
• 悪い部分の平均ゼロ条件とホイットニー性質を用いて、修正されたヒルベルト変換項を、$\|\widehat{f}_w(k)\|_\mathrm{X}$、$\rho$、$\beta$ を含む新しい指数的減衰推定式によってバインドする。
• 測度が $\varepsilon$ 未満である例外集合 $\Sigma_{f,\varepsilon}^3$ および $\Sigma_{f,\varepsilon}^4$ を構成し、これらの集合の外では修正された部分和 $S_n f(x)$ が $M(f,\varepsilon)\log\log n$ 以下に抑えられることを保証する。
• 非自明なフーリエ型をもつ空間で有効な、関数 $f$ に対して $\int_w \|f(x)\|_\mathrm{X}(\log^+\|f(x)\|_\mathrm{X})^\beta dx \leq \rho$ を満たす場合に成り立つ、重要な不等式 $\sum_k \exp\left(-a(\rho,\beta)\|\widehat{f}_w(k)\|_\mathrm{X}^{-1/\beta}\right) \leq A(\rho,\beta)$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 シュッテンシュタイン $p$-類のような非格子バナッハ空間（例：非格子UMD空間）における、非格子UMD空間値関数に対して '小さなカルレソン定理' は成り立つか？
• RQ2 非格子UMD空間では古典的ジグムンド型不等式が $L(\log L)^{1+\delta}$ で成立しないが、それをUMD空間に適応するにはどうすればよいか？
• RQ3 カルレソンの定理における例外集合の大きさを、修正された指数和推定式によって制御することは可能か？
• RQ4 UMD空間において $L(\log L)^{1+\delta}$ 積分可能性のもとで、$\mathrm{X}$-値部分フーリエ和の増加が almost everywhere で $o(\log\log n)$ に抑えられるか？
• RQ5 $f:\mathbb{T}\to\mathrm{X}$ に対して、$\|S_n f(x)\|_\mathrm{X} = o(\log\log n)$ a.e. が成り立つための最小の関数空間条件は何か？

主な発見

• 関数 $f:\mathbb{T}\to\mathrm{X}$ のフーリエ級数の部分和は、$f\in L(\log L)^{1+\delta}(\mathbb{T};\mathrm{X})$ かつ $\delta > 0$ のもとで、ほとんどすべての $x\in\mathbb{T}$ に対して $\left\|\sum_{|k|\leq n}\widehat{f}(k)e^{2\pi ikx}\right\|_\mathrm{X} = o(\log\log n)$ を満たす。ここで $\mathrm{X}$ はUMDバナッハ空間である。
• 新しい指数和推定式が確立された：$\sum_{k\in\mathbb{Z}}\exp\left(-a(\rho,\beta)\|\widehat{f}_w(k)\|_\mathrm{X}^{-1/\beta}\right) \leq A(\rho,\beta)$。これは非自明なフーリエ型をもつバナッハ空間および $\int_w \|f(x)\|_\mathrm{X}(\log^+\|f(x)\|_\mathrm{X})^\beta dx \leq \rho$ を満たす関数に対して有効であり、例外集合の制御に不可欠である。
• 修正されたヒルベルト変換 $H_w^*$ を用いてカルレソン分解における悪い部分の寄与を制御し、そのノルムを新しい指数的減衰推定式によってバインドした。
• 例外集合 $\Sigma_{f,\varepsilon}$ の測度は $\varepsilon$ 未満であり、この集合の外では修正された部分和 $S_n f(x)$ に対して $\|S_n f(x)\|_\mathrm{X} \leq M(f,\varepsilon)\log\log n$ が成り立ち、$\|f\|_{L(\log L)^{1+\delta}} \to 0$ のとき固定された $\varepsilon$ に対して $M(f,\varepsilon) \to 0$ となる。
• 非格子UMD空間における古典的ジグムンドの不等式の失敗を回避するために、最大関数の構成を修正し、必要な指数的減衰推定式の導出を可能にした。
• この結果は、ルビオ・デ・フランシアの予想の重要な一歩を確認し、カルレソンの定理がUMD空間（特にUMD格子に限らない）において完全に一般化されることを示しており、$L(\log L)^{1+\delta}$ 積分可能性のもとで $o(\log\log n)$ 増加の境界が得られている。