[論文レビュー] A note on the strong convergence of two-dimensional Walsh-Fourier series

George Tephnadze|arXiv (Cornell University)|Oct 5, 2014

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

ひとこと要約

本稿は、二変数ウォルシュ＝フーリエ級数の二進的ハーディー空間 $ H_1(G^2) $ における2次平均部分和の収束速度の鋭さを確立する。特定の関数列を構成し、その長方形部分和の $ L^1 $-ノルムを分析することで、収束級数における重み $ \frac{1}{n\log^2(n+1)} $ を改善できないことを証明し、これが強 $ L^1 $-収束に対して本質的であることを確認する。

ABSTRACT

The main aim of this paper is to investigate the quadratical partial sums of the two-dimensional Walsh-Fourier series.

研究の動機と目的

• 二変数ウォルシュ＝フーリエ級数の2次平均部分和の収束速度の鋭さを $ H_1(G^2) $ で調査すること。
• 強収束推定における重み $ \frac{1}{n\log^2(n+1)} $ が最適であるかどうかを特定すること。
• 任意の非減少関数 $ \Phi(n) \to \infty $ が収束速度を改善できないことを示すこと。
• 既知のウォルシュ＝フーリエ級数の強収束結果を、鋭い境界を伴う2次元設定に拡張すること。

提案手法

• ウォルシュ＝フーリエ係数が既知の関数列 $ f_{n,n}(x,y) = (D_{2^{n+1}}(x) - D_{2^n}(x))(D_{2^{n+1}}(y) - D_{2^n}(y)) $ を構成する。
• $ 2^n < k \leq 2^{n+1} $ に対して、部分和を $ S_{k,k}f_{n,n}(x,y) = w_{2^n}(x)w_{2^n}(y)D_{k-2^n}(x)D_{k-2^n}(y) $ と表現するための恒等式を用いる。
• $ V(m) $ を $ m $ の2進表現における変動と定義し、既知の推定 $ \|D_m\|_1 \geq \frac{1}{8}V(m) $ を適用する。
• カーネルの積構造を用いて、 $ \|S_{k,k}f_{n,n}\|_1 \geq c V^2(k - 2^n) $ の下界を確立する。
• $ \frac{1}{n} \sum_{k=1}^n V(k) \sim \frac{1}{4\log 2} $ の漸近的挙動を用いて、平均変動を推定する。
• コーシー＝シュワルツ不等式を適用し、二進区間での和をとることで、重み付き級数の発散を示す。

実験結果

リサーチクエスチョン

• RQ1 2次元ウォルシュ＝フーリエ級数の強 $ L^1 $ 収束推定における重み $ \frac{1}{n\log^2(n+1)} $ は鋭いか？
• RQ2 任意の非減少関数 $ \Phi(n) \to \infty $ に対して、 $ \frac{1}{n\log^2(n+1)} $ を $ \frac{\Phi(n)}{n\log^2(n+1)} $ に置き換えることで収束速度を改善できるか？
• RQ3 $ H_1(G^2) $ に属する関数に対する長方形部分和 $ S_{k,k}f $ の $ L^1 $-ノルムの挙動はいかなるものか？
• RQ4 $ m $ の2進表現における変動 $ V(m) $ は、リーマン定数および部分和ノルムにどのように影響を与えるか？
• RQ5 任意の such $ \Phi $ に対して、 $ \|f\|_{H_1} \leq 1 $ の上での重み付き和 $ \sum \frac{\|S_{k,k}f\|_1 \Phi(k)}{k\log^2(k+1)} $ の上限が有限に保たれるか？

主な発見

• 2次元ウォルシュ＝フーリエ級数の強収束推定における重み $ \frac{1}{n\log^2(n+1)} $ は鋭く、改善できない。
• 任意の非減少関数 $ \Phi(n) \to \infty $ に対して、 $ \|f\|_{H_1} \leq 1 $ の上での $ \sum \frac{\|S_{k,k}f\|_1 \Phi(k)}{k\log^2(k+1)} $ の上限は無限大である。
• 構成された関数 $ f_{n,n} $ は $ \|f_{n,n}\|_{H_1} = 1 $ を満たし、ハーディー空間における正規化が確認される。
• $ 2^n < k \leq 2^{n+1} $ に対して、部分和 $ S_{k,k}f_{n,n} $ の $ L^1 $-ノルムは $ \|S_{k,k}f_{n,n}\|_1 \geq c V^2(k - 2^n) $ を満たす。
• 平均変動 $ \frac{1}{n} \sum_{k=1}^n V(k) $ は $ \frac{1}{4\log 2} $ に収束し、これが漸近的下界の導出に不可欠である。
• コーシー＝シュワルツ不等式と二進区間への和を用いて重み付き級数の発散を示し、 $ n \to \infty $ のとき $ \sim c \Phi(2^n) \to \infty $ となる。