[論文レビュー] A Resonance Theorem for a Family of Translation Invariant Differentiation Bases

Giorgi Oniani|arXiv (Cornell University)|Jan 6, 2015

Differential Equations and Boundary Problems参考文献 8被引用数 4

ひとこと要約

本稿は、R^nにおける並進不変微分基底のための共鳴定理を確立し、与えられた族に属するすべての基底に対して反例をなす関数の存在を証明する。主な結果は、特定の成長条件を満たすOrlicz空間において、微分クラスに属さない関数が残渣的（residual）であることを示し、Zygmundの座標軸選択問題に関連する長年の実解析の問題を解決する。

ABSTRACT

A resonance theorem providing existence of functions that are counterexamples for all members of a given family of translation invariant differentiation bases is proved. Applications of the theorem to Zygmund problem on a choice of coordinate axes are given.

研究の動機と目的

• 与えられた並進不変微分基底の族に対して、すべてのメンバーに対して反例をなす関数の存在を保証する一般化された共鳴定理を確立すること。
• 任意のf ∈ L(ℝ²)に対して、座標系の回転によって強い微分が成り立つかどうかというZygmundの問題に取り組むこと。
• Orlicz空間理論を用いて、特定の微分基底に関して微分不能な関数の集合の大きさと構造を特徴付けること。
• 微分基底に関連する最大作用素の振る舞い、特に対数的成長とOrliczノルムとの関係を分析すること。
• Marstrandの非微分性に関する否定的結果を、一様な構成法によりより広い基底の族へと拡張すること。

提案手法

• 族Λの並進不変基底に対してM_Φ性質を定義し、族全体にわたる最大作用素と測度拡張の均一な制御を要請する。
• 修正版のCalderón-Zygmund分解とdyadic区間技術を用いて、M_Φ性質を満たす集合P_BおよびEを構成する。
• Fubiniの定理と繰り返し積分を用いて、特に基底I_n^kに対して最大作用素のレベル集合の測度を推定する。
• 1/(x_1⋯x_n)の繰り返し積分による対数的推定を用い、最大関数が1を超える集合の測度に対する下界を導出する。
• Δ₂条件およびOrlicz関数の非正則性を用いて、異なる関数クラスとその微分可能性特性を区別する。
• dyadic立方体H_mの構造と基底の相似不変性を用いて、族Λ全体にわたる一様性を保証する。

実験結果

リサーチクエスチョン

• RQ1 与えられた並進不変微分基底の族に属するすべての基底に対して微分不能である関数を一様に構成することは可能か？
• RQ2 任意のf ∈ L(ℝ²)に対して、座標系の回転によって強い微分が成り立つようにできるか？
• RQ3 Orlicz関数Φの成長率と、I_n^k基底に関してΦ(L)に属する関数の微分可能性との間の正確な関係は何か？
• RQ4 最大作用素M_{I_n^k}の弱型推定と、レベル集合の測度の対数的成長との関係は何か？
• RQ5 Orlicz空間Ψ(L)(ℝ^n)において、非微分可能関数の集合が第一カテゴリに属するのはどのような条件下か？

主な発見

• 共鳴定理が証明された：任意の空でない並進不変基底の族ΛがM_Φ性質を満たすとき、L(ℝ^n)に属する関数fが存在し、fはΛに属する任意のBに対して微分不能である。
• 任意のk（2 ≤ k ≤ n）に対して、最大作用素M_{I_n^k}は推定 |{M_{I_n^k}(hχ_I) > 1}| ≥ c h (ln h)^k |I| を満たし、レベル集合の測度における鋭い対数的成長を示す。
• 関数Φ(h) = h (ln h)^{k-1}はM_Φ性質の閾値を特徴付ける：Φがh (ln h)^{k-1}よりゆっくり成長する場合、族ΛはM_Φ性質を満たさない。
• 任意のf ∈ L\\(L(\ln^+ L)^{k-1}\\right)\\)に対して、測度を保つ変換ωが存在し、|f|∘ω ∈ S_{Δ(I_n^k)} となる。つまり、fはI_n^k基底に対して微分不能であるように再配置可能である。
• Ψ(L)(ℝ^n)のOrlicz空間において、Ψが無限大でΔ₂条件を満たし、lim_{h→∞} Ψ(h)/(h (ln h)^{k-1}) = 0 を満たすとき、S_{Δ(I_n^k)}に属さない関数の集合は第一カテゴリである。これは、一般に微分不能であることを示唆する。
• 本稿はZygmundの問題を否定的に解決した：非負のf ∈ L(ℝ²)が存在し、任意の回転γ ∈ Γ₂に対して、∫fのγ回転後の基底I(γ)に関する微分は単位正方形上でほとんど everywhere で無限大である。