[論文レビュー] ON THE VARIATION OF THE HARDY-LITTLEWOOD MAXIMAL FUNCTION

Rej Kurka|arXiv (Cornell University)|Jan 1, 2013

Advanced Harmonic Analysis Research参考文献 14被引用数 6

ひとこと要約

この論文は、1次元において中心付きハーディー＝リトルウッド最大関数が有界 variation を保存することを確立し、f ∈ BV(R) に対して Var(Mf) ≤ C Var(f) が成り立つことを証明する。その結果、微分作用素 f ↦ (Mf)' は W¹,¹(R) から L¹(R) に有界であることが示され、ハジャłアスとオンニエンが提起した問題が1次元の場合に肯定的に解決される。

ABSTRACT

We show that a function f : R → R of bounded variation satisfies VarMf ≤ C Varf where Mf is the centered Hardy-Littlewood maximal function of f. Conse- quently, the operator f 7→(Mf) ' is bounded from W 1,1 (R) to L 1 (R). This answers a question of Haj lasz and Onninen in the one-dimensional case. In the present work, we show that the answer is positive for n = 1. The question had been already answered positively in the non-centered one-dimensional case by

研究の動機と目的

• 1次元における有界変動関数の中心付きハーディー＝リトルウッド最大関数の変動保存性を調査すること。
• 最大関数の微分が W¹,¹(R) から L¹(R) に有界に写像するかどうかを特定し、ハジャłアスとオンニエンが提起した問いに応えること。
• 1次元における非中心付き最大関数に関する先行結果を中心付きの場合に拡張すること。
• Mf の全変動と f の全変動の関係を定量化する境界を確立すること。

提案手法

• 有界変動関数 f の最大関数 Mf のレベル集合および上位レベル集合の構造を分析すること。
• 共面積公式および分布関数の性質を用いて、Mf の変動と f の変動を関連付けること。
• 最大関数が 1-リプシッツであるという事実を用い、対称化技術を適用して振動を制御すること。
• 非中心付きの場合における最大関数の有界変動に関する既知の結果を基盤として用いること。
• f が絶対連続である場合に、Mf の微分に関する点ごとの推定を導出すること。
• ジャンプ不連続点および単調性区間の詳細な分析を通じて、変動定数 C の一様な境界を確立すること。

実験結果

リサーチクエスチョン

• RQ1 中心付きハーディー＝リトルウッド最大関数は、BV(R) に属する関数に対して有界変動を保存するか？
• RQ2 1次元において、作用素 f ↦ (Mf)' は W¹,¹(R) から L¹(R) に有界か？
• RQ3 f ∈ BV(R) に対して、Var(Mf) ≤ C Var(f) という定量的境界を確立できるか？
• RQ4 変動制御という観点から、中心付きと非中心付きの場合の最大関数の振る舞いにはどのような違いがあるか？
• RQ5 ジャンプ不連続点および単調性区間は、Mf の変動にどのような役割を果たすか？

主な発見

• すべての f ∈ BV(R) に対して、中心付きハーディー＝リトルウッド最大関数は Var(Mf) ≤ C Var(f) を満たし、C は f に依存しない。
• f ∈ W¹,¹(R) のとき、最大関数の微分 (Mf)' は L¹(R) で有界であり、作用素 f ↦ (Mf)' が W¹,¹(R) から L¹(R) に有界であることが確認される。
• この結果は、ハジャłアスとオンニエンが提起した問いに対して、1次元の場合に肯定的な答えを与える。
• 証明はレベル集合の構造と共面積公式に依拠しており、Mf の変動が f の変動によって制御されることを示している。
• 定数 C は絶対的であり、特定の関数 f に依存しないため、一様な安定性の性質を示している。
• この結果は、1次元における非中心付き最大関数に関する先行研究を拡張し、中心付きの場合にも同様の有界変動性が成立することを確立している。