[論文レビュー] On multidimensional F. Riesz's "Rising Sun" Lemma

A. A. Korenovskyy, Andrei K. Lerner+1 more|ArXiv.org|Aug 22, 2003

advanced mathematical theories参考文献 3被引用数 3

ひとこと要約

本稿は、ℝⁿにおける長方形上での一般化されたデイニック過程を用いて、F. Rieszの「上昇する太陽」補題の多次元版を確立する。任意の絶対連続測度μおよび平均 ≤ A の関数 f に対して、長方形 I₀ 上で定義されたものについて、平均がちょうど A に等しく、かつその和集合の外側では f(x) ≤ A μ-ほとんど everywhere となる、互いに素な長方形の可算族が存在することを示す。これは、立方体ではなく長方形を用いた、新しいデイニックに類似した構成により、1次元の結果を高次元に拡張したものである。

ABSTRACT

A multidimensional version of the Riesz rising sun lemma is proved by means of a generalized dyadic process.

研究の動機と目的

• F. Rieszの1次元「上昇する太陽」補題を、立方体が同じ鋭い結果をもたらさない高次元（ℝⁿ, n ≥ 2）に拡張すること。
• ℝⁿ（n ≥ 2）における立方体の幾何的制限を克服するため、長方形を用いること。
• 高次元におけるデイニック立方体の被覆性および微分可能性の性質を模倣する、一般化されたデイニック過程を開発すること。
• 強い最大関数に依存しない、多次元補題のための新しい証明技法を提供すること。

提案手法

• 長方形 I₀ をその最も長い辺を二等分することで2つの部分長方形に分割する。
• f の平均値が A より小さいか大きいかに応じて部分長方形を選択し、μ の絶対連続性を用いて分割超平面を調整する。
• 一方の部分長方形の平均が > A、他方が < A である場合、超平面を連続的にずらして、一方の部分長方形の平均がちょうど A になるようにする。
• 平均がちょうど A に等しい部分長方形を {Iⱼ} に含め、平均が < A である方を再帰的に分割する。
• 得られる {Jⱼ} は、2つの長方形が交わるとき、一方が他方を含むという「デイニック的包含性」を示す。
• {Jⱼ} のVitali被覆性を用いて積分の微分可能性を適用し、E = I₀ \ ∪Iⱼ 上で f(x) ≤ A が μ-ほとんど everywhere に成り立つことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 F. Rieszの1次元「上昇する太陽」補題は、ℝⁿ（n ≥ 2）において、平均値に等しい条件を満たす類似の構成で一般化可能か？
• RQ2 なぜ立方体では、1次元におけるRiesz補題の鋭い多次元版を実現できないのか？
• RQ3 高次元におけるデイニック立方体の被覆性および微分可能性の性質を再現する、長方形上での一般化されたデイニック過程は存在するか？
• RQ4 強い最大関数に依存しないまま、1次元の場合と同等の鋭い結果を得ることは可能か？
• RQ5 長方形上での一般化されたデイニック構造は、例外集合 E において積分の微分可能性を可能にし、f ≤ A が E 上 almost everywhere に成り立つことを保証するか？

主な発見

• 幾何的制約のため、ℝⁿ におけるRieszの「上昇する太陽」補題は、立方体ではなく長方形に対して成り立つ。
• 補題は、I₀ に含まれる互いに素な長方形の可算族 {Iⱼ} が存在し、各 Iⱼ における f の平均がちょうど A に等しいことを保証する。
• E = I₀ \ ∪Iⱼ の集合上で、f(x) ≤ A が μ-ほとんど everywhere に成り立つため、例外集合が制御可能である。
• 証明は、Vitali被覆性を持つ微分基底を誘導する、長方形上での一般化されたデイニック過程に依存している。
• 強い最大関数を避けて、超平面の連続的調整により、選択された部分長方形で平均が正確に A に等しくなるようにしている。
• Calderón-Zygmund補題が [A, 2ⁿA] の平均値を保証するのに対し、本結果は正確な等式 A を達成するため、鋭い代替手段を提供する。