[論文レビュー] Divergence of general localized operators on the sets of measure zero

G. A. Karagulyan|ArXiv.org|Dec 8, 2009

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

ひとこと要約

本稿は、局所性を持つ任意の線形作用素の列および測度がゼロである任意の集合 $ E $ に対して、作用素列が $ E $ の各点で発散する特性関数 $ \mathbb{I}_G $ が存在することを証明している。このとき、liminf ≤ 0 かつ limsup ≥ 1 が成り立つ。この結果は、フーリエ級数に関する古典的発散定理を、部分和や正規直交系に関する線形平均を含む広範な局所的作用素のクラスへ一般化する。

ABSTRACT

We consider sequences of linear operators $U_nf(x)$ with localization property. It is proved that for any set $E$ of measure zero there exists a set $G$ for which $U_n\ZI_G(x)$ diverges at each point $x\in E$. This result is a generalization of analogous theorems known for the Fourier sums operators with respect to different orthogonal systems.

研究の動機と目的

• 局所性を持つ作用素に対して、任意の測度ゼロ集合における作用素列の発散が普遍的現象であることを確立すること。
• スターチキンやカハーネ＝カッツネルソンらのフーリエ級数に関する既知の発散結果を、局所性を持つ一般の線形作用素へ拡張すること。
• このような発散が特定の直交系に限定されるのではなく、局所性条件を満たすすべての作用素に対して成立することを示すこと。
• 与えられた零集合 $ E $ において作用素列が点wiseに発散するような特性関数 $ \mathbb{I}_G $ を構成すること。

提案手法

• 測度ゼロ集合 $ E $ に近づくようにネストされ、縮小する開集合列 $ G_k $ を定義し、$ E \subset G_k \subset G_{k-1} $ を満たすようにする。
• 各分割 $ \mathcal{I}_k $ に属する区間 $ I \in \mathcal{I}_k $ に対して、インデックス列 $ \nu(I) $ を構成し、$ l \leq k $ のとき $ U_{\nu(I)}\mathbb{I}_{G_l}(x) \to 1 $ が $ I $ 上で一様収束し、$ l < k $ のとき $ U_{\nu(I)}\mathbb{I}_{G_k}(x) \to 0 $ となるようにする。
• 局所性から導かれる核の評価 $ |K_n(x,t)| \leq \phi(|x-t|) $ を用い、$ \phi $ を単調減少関数とする。
• 核の減衰と $ \delta(I) $ を用いた測度制御により、遠く離れた区間からの寄与を抑え、作用素ノルムの小ささを保証する。
• 集合 $ G = \bigcup_{i=1}^\infty (G_{2i-1} \setminus G_{2i}) $ を定義し、作用素作用に交互和の構造を生じさせる。
• 部分列 $ \nu(I_{2t}) $ および $ \nu(I_{2t+1}) $ 沿いでの $ U_n\mathbb{I}_G(x) $ の振る舞いを解析し、$ E $ の各点で liminf = 0 かつ limsup = 1 であることを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられた測度ゼロ集合におけるフーリエ型作用素の発散は、一般の局所的線形作用素に対しても保証可能か？
• RQ2 零集合における発散現象は局所性の性質に起因するものか、それとも特定の直交系に限定されるものか？
• RQ3 与えられた零集合 $ E $ の各点で作用素列が発散するような単一の特性関数 $ \mathbb{I}_G $ を構成可能か？
• RQ4 核 $ K_n(x,t) $ にどのような条件が課わられると、任意の零集合 $ E $ に対してこのような発散が避けがたいものとなるか？
• RQ5 局所性の性質だけが、任意の零集合において発散を生じさせるのに十分か、関数類に依存しないか？

主な発見

• 任意の $ E \subset [a,b] $ が測度ゼロであるとき、$ \liminf_{n\to\infty} U_n\mathbb{I}_G(x) \leq 0 $ かつ $ \limsup_{n\to\infty} U_n\mathbb{I}_G(x) \geq 1 $ がすべての $ x \in E $ に対して成り立つような可測集合 $ G \subset [a,b] $ が存在する。
• 構成により、部分列 $ \nu(I_{2t}) $ 沿いでは $ U_n\mathbb{I}_G(x) \to 0 $、部分列 $ \nu(I_{2t+1}) $ 沿いでは $ U_n\mathbb{I}_G(x) \to 1 $ となることが保証され、振動的発散が証明される。
• この結果は、フーリエ部分和や古典的直交系に関する線形平均を含む、局所性を持つすべての線形作用素 $ U_n $ に対して成り立つ。
• 関数 $ f = \mathbb{I}_G $ は一般に連続ではないが、関数が有界であっても発散は避けがたい。
• 局所性から必然的に導かれる核の評価 $ |K_n(x,t)| \leq \phi(|x-t|) $ で $ \phi $ が単調減少であることが必要である。
• 構成は、開集合 $ G_k $ の反復的縮小と、測度および核の減衰の精密な制御に依存しており、作用素ノルムが有界に保たれ、交互な振るまいが生じることを保証する。