An Oskolkov--Zhizhiashvili Criterion for Rectangular Fourier Sums

技術要約：長方形フーリエ級数におけるオスコルコフ–ジジアシリシュティリャ（Oskolkov–Zhizhiashvili）の判定条件

問題の所在と背景
本論文は、$d$次元トーラス $\mathbb{T}^d$ ($d \ge 2$) 上の対称な長方形部分和の多重三角フーリエ級数のほとんど至る所（a.e.）での点収束について扱う。1次元の場合、カーレソン–ハントの定理が $f \in L^p$ ($1 < p < \infty$) に対する収束を保証しているが、多次元の長径方向の収束（プリンスハイムの意味での収束）には、追加的な定量的滑らかさの仮定が必要となる。

本研究で中心となる問題は、収束を保証するために必要な対数的な連続性の度合い（modulus of continuity）の鋭利さである。既往の研究において、ジジアシリシュティリャは、$f \in L^p(\mathbb{T}^d)$ において、連続性の度合い $\omega(\delta, f)_p$ が $d/p$ の対数冪に任意の $\varepsilon > 0$ を加えた条件（すなわち $\omega(\delta, f)_p \lesssim (\log(1/\delta))^{-d/p-\varepsilon}$）を満たす場合、収束が成立することを確立した。しかし、$\varepsilon = 0$ となる正確な端点（endpoint）の問題、特に $1 < p < 2$ の場合（ジジアシリシュティリャ–マルチンゲイソフ問題）および端点となる $p=1$ と $p=2$ のケースについては、未解決のままであった。

さらに、本論文は $L^p$ 設定と一様ノルム設定を区別している。オスコルコフは、$d=2$ における3重対数を含む連続関数に対する鋭利な判定条件を示したが、それに対応する高次元 $d > 2$ における鋭利な $L^p$ 判定条件は依然として開かれた問題である。本研究は、反復対数レベルにおける可算な二次重みを含む、臨界対数スケール $d/p$ における $L^p$ の鋭利な十分条件を提供することを目的としている。

手法
証明は、近似理論と極大関数推定の組み合わせを用いて、以下のように構成されている：

1. ド・ラ・ヴァレ・プッサン平均による近似： 関数 $f$ は、積型のド・ラ・ヴァレ・プッサン核 $V_{N_k}$ を用いて構成された三角多項式の列 $P_k$ によって近似される。これらの核は、特定のスケルまでの周波数を再現し、かつ制御された $L^1$ ノルムを持つように選択されている。差 $f - P_k$ は、連続性の度合い $\omega(1/N_k, f)_p$ を用いて抑えられる。
2. ブロック分解： 関数 $f$ は、望遠鏡級数的な「ブロック」 $g_k = P_k - P_{k-1}$ （ただし $g_0 = P_0$）へと分解される。各ブロック $g_k$ は、スペクトルが特定の二進的な周波数立方体 $[-2^{r_k}, 2^{r_k}]^d$ に含まれる三角多項式である。
3. 有限長方形極大推定： 論理の中核は、極大作用素 $M_r f = \sup_{0 \le n_j \le 2^r} |S_n f|$ に対する $L^p$ 評価を確立することにある。
   • $p=1$ の場合、最大ディリクレ核の $L^1$ ノルムを用いることで、因子 $(1+r)^d$ を導出する。
   • $p=2$ の場合、（ショリンの研究に関連した）積対数型極大不等式とパーセバルの等式を利用し、因子 $(1+r)^{d/2}$ を導出する。
   • $1 < p < 2$ の場合、$L^1$ および $L^2$ の評価の間のマルチンゲイソフの補間定理を適用し、結果として因子 $(1+r)^{d/p}$ を得る。
4. 可算性の議論： 近似誤差の減衰（仮定された連続性の度合いによって決定される）と、極大作用座の増大度を組み合わせることにより、ブロックの極大関数の $L^p$ ノルム $\|M g_k\|_p$ が、二次重み関数 $\psi$ を含む可算な数列によって支配されることを示す。
5. 収束： これらの極大ノルムの可算性は、ブロックの級数がほとんど至る所で絶対収束することを意味する。これにより、著者らは $\min n_j \to \infty$ となるにつれて、長方形部分和 $S_n f(x)$ が $f(x)$ に収束することを結論付けることができる。

主要な貢献と結果

• 主定理 (Theorem 1.2)： 本論文は、一般的な可算端点判定条件を証明している。$d \ge 2$ かつ $1 \le p \le 2$ において、$f \in L^p(\mathbb{T}^d)$ が次を満たす場合：
  $$\omega(\delta, f)_p \le A(f) (\log(1/\delta))^{-d/p} \psi(\log \log(ee/\delta))$$
  ここで $\psi$ は、$\sum_{k=1}^\infty \psi(k) < \infty$ を満たす非増関数である。このとき、$f$ の長方形フーリエ級数はプリンスハイムの意味でほとんど至る所収束する。

• ジジアシリシュティリャ–マルチンゲイソフ問題の解決： 主定理は、$1 < p < 2$ における問題 1.1 に対する肯定的な回答を与える。これは、臨界的な対数冪 $d/p$ が、可算な反復対数二次因子が存在する場合に十分であることを確立している。これは、任意の $\varepsilon > 0$ の余裕を必要とした従来の成果を改善するものである。

• 二重対数端点判定条件 (Corollary 1.3)： 特定のケースとして、$\omega(\delta, f)_p \lesssim (\log(1/\delta))^{-d/p} (\log \log(ee/\delta))^{-1-\eta}$ （ただし $\eta > 0$）であれば収束が成立することを示す。これは、ジジアシリシュティリャによる既知の端点ケース $p=1$ および $p=2$ に対する十分条件を鋭利化するものである。

• $L^p$ オスコルコフ型帰結 (Corollary 1.4)： 本論文は、以下の三重対数を含む条件を導出している：
  $$\omega(\delta, f)_p \lesssim (\log(1/\delta))^{-d/p} \log \log(ee/\delta) (\log \log \log(eee/\delta))^{-1-\eta}$$
  著者らは、これが $d$ 次元の $L^p$ 十分条件であり、オスコルコフの古典的な一様ノルム定理とは異なることを明確にしている。これは、（可算な二次因子を全く含まない）鋭利な高次元オスコルコフ問題の解決策であるとは主張されていない。

意義と主張
本論文は、全範囲 $1 \le p \le 2$ において、次元的に正しい臨界的な対数冪 $d/p$ で動作する、最初の $d$ 次元 $L^p$ 長方形収束の十分条件を提供すると主張している。

• 既存理論の改善： 結果は、任意の $\varepsilon$ を取り除き、それを精密な可算二次重みへと置き換えることで、ジジアシリシュティリャの古典的な定理を改善している。これは、ジジアシリシュティリャ–マルチンゲイソフ問題の文脈において、対数冪がいかに鋭利であるかという具体的な問いに答えるものである。

• 限界と未解決問題： 著者らは、自らの手法が可算な二次因子に依存していることを控えめに述べている。彼らは、現在の近似・極大法が、このような条件に対して $o(1/\log k)$ 次のオーダーのブロック境界を与えることを明示しており、これらは必ずしも可算ではない。したがって、「生の（bare）」端点問題、すなわち（オスコルコフの $d=2$ の結果に見られるような）可算な二次因子を伴わない、より弱い三重対数項 $\Lambda_3(\delta)$ への置き換えを伴う問題（問題 6.1）は、依然として未解決のままである。

要約すれば、本論文は、可算な二次因子を伴う形で、全範囲 $1 \le p \le 2$ における長方形収束のほとんど至る所での収束に関する、堅牢で鋭利な十分条件を確立しており、$\varepsilon$ を用いた既知の結果と、到達困難な鋭利な端点との間の溝を埋めつつ、高次元における三重対数オスコルコフ現象に関する現在の技術の境界を明確に示している。