[論文レビュー] A Generalization of Monotonicity Condition and Applications

Dansheng Yu, Songping Zhou|ArXiv.org|Nov 13, 2006

Mathematical Inequalities and Applications参考文献 5被引用数 9

ひとこと要約

本稿は、GBVS（一般化有界変動列）の一般化として、両側制御を備えた有界変動の零系列（NBVS）と呼ばれる新しい系列のクラスを導入する。これは、単調性を片側制御から両側制御へ拡張するもので、区間 [m,2m] における絶対差分の和が |c_m| + |c_{2m}| に比例する定数倍で有界であることを要件とする。主な貢献は、係数が単調的でない場合や準単調的でない場合でも、三角級数の古典的収束結果（例えば、三角級数の一致収束や部分和の L1 収束）が NBVS 条件のもとで依然として成立することを証明することにある。

ABSTRACT

In the present paper, we introduce a new class of sequences called $NBVS$ to generalize $GBVS$, essentially extending monotonicity from "one sided" to "two sided", while some important classical results keep true.

研究の動機と目的

• 既存の単調性条件の限界を是正すること。これらの条件は本質的に片側的であり、対称的な減少行動を捉えることができない。
• 係数の変動に両側制御を組み込んだ、GBVS の一般化である新しい系列クラス NBVS を提案すること。
• 一様収束や部分和の L1 収束といった基本的な古典的結果が、より広い条件下でも保持されることを保証すること。
• NBVS が GBVS よりも厳密に一般であることを示し、一部の NBVS に属する系列が GBVS に属さないことを示して、適切な拡張であることを確立すること。
• 係数の減少と変動が区間全体でバランスされる枠組みを提供し、単調性を要件としない強力な収束定理を可能とすること。

提案手法

• NBVS を、扇型 M(θ₀) に属する系列 {c_n} として定義し、すべての m に対して ∑_{n=m}^{2m} |Δc_n| ≤ K(C)(|c_m| + |c_{2m}|) を満たすものとする。ここで Δc_n = c_n - c_{n+1} である。
• 反例を用いて GBVS ⊂ NBVS であるが NBVS ⊄ GBVS であることを証明し、NBVS が GBVS を適切に拡張することを確立する。
• 定理 2 の証明：f ∈ C_{2π} に対して、S_n(f) の一様収束が成立するための必要十分条件は、lim n|c_n| = 0 かつ ∑|c_n + c_{-n}| < ∞ である。この結果は NBVS 条件および扇型条件のもとで成り立つ。
• 定理 2 を応用して定理 3 を導出：非負の b_n ∈ NBVS に対して、∑ b_n sin(nx) が一様収束するための必要十分条件は lim n b_n = 0 である。これは Chaundy と Jolliffe の結果をより広いクラスへ拡張する。
• ディリクレ核および共役核を用いた作用素的技法、アーベル総和法、対数的重み推定を用いる。
• 補題 8 を用いる：∑_{k=n}^{2n} |Δc_k| log k = O(max_{n≤k≤2n} |c_k| log k) であり、これは部分和の差の L1 ノルムを制御するために不可欠である。

実験結果

リサーチクエスチョン

• RQ1 フーリエ解析における単調性条件は、片側制御を超えて対称的減少行動を含めるように一般化可能か？
• RQ2 GBVS を適切に拡張し、古典的収束定理を保持する系列クラスは存在するか？
• RQ3 NBVS における両側変動条件は、単調性よりも弱い仮定のもとで三角級数の一様収束を可能にするか？
• RQ4 係数が NBVS に属する場合、lim n|c_n| = 0 かつ ∑|c_n + c_{-n}| < ∞ が部分和の L1 収束に十分であるか？
• RQ5 NBVS と CQMS や RBVS などの他の系列クラスとの関係は何か？また、一般性の観点からどのように比較できるか？

主な発見

• NBVS は GBVS の適切な一般化である：N₀=1 の場合、すべての GBVS に属する系列は NBVS に属するが、NBVS に属するが GBVS に属さない系列が存在する。
• 定理 2 は、f ∈ C_{2π} に対して、S_n(f) の一様収束が成立するための必要十分条件が、{c_n} ∈ NBVS かつ c_n ∈ M(θ₀) のもとで lim n|c_n| = 0 かつ ∑|c_n + c_{-n}| < ∞ であることであると示している。
• 定理 3 は、非負の b_n ∈ NBVS に対して、∑ b_n sin(nx) が一様収束するための必要十分条件が lim n b_n = 0 であること、すなわち Chaundy と Jolliffe の結果がより広いクラスへ拡張されることを示している。
• 定理 5 の証明により、NBVS 条件のもとで lim_{n→∞} ||f - S_n(f)||_L = 0 が成立するための必要十分条件は lim_{n→∞} |f̂(n)| log|n| = 0 であることが示された。
• 重要な推定式 ∑_{k=n}^{2n} |Δc_k| log k = O(max_{n≤k≤2n} |c_k| log k) が導出され、ケサロ平均と部分和の差の L1 ノルムの制御に用いられている。
• 本稿は、係数が単調的でない場合や準単調的でない場合でも、NBVS 条件が古典的単調性のもとでの収束速度および基準と同等の結果を保証できることを示している。