[論文レビュー] Exponential Orlicz Spaces: New Norms and Applications

E. Ostrovsky|ArXiv.org|Jun 25, 2004

Approximation Theory and Sequence Spaces参考文献 9被引用数 7

ひとこと要約

本稿では、指数型オーリッチ空間における新たな同値ノルム、特にLpモーメントに基づくG(ψ)ノルムを導入し、古典的ルクセムブルグノルムと同等であることを確立する。主な貢献は、これらの空間に属する関数のテール特性の同定およびマルティングール収束への応用であり、supₙ||Sₙ||L(N) < ∞ かつ N ∉ Δ₂ の下で、M(⋅) << N(⋅) が、オーリッチノルムにおける収束の必要十分条件であることを示している。

ABSTRACT

The aim of this paper is investigating of Orlicz spaces with exponential function and correspondence Orlicz norm: we introduce some new equivalent norms, obtain the tail characterization, study the product of functions in Orlicz spaces etc. We consider some applications: estimation of operators in Orlicz spaces and problem of martingales convergence and divergence

研究の動機と目的

• 古典的ルクセムブルグノルムよりも解析に適した、指数型オーリッチ空間の新たな同値ノルムの開発。
• 関数Wとそのヤング＝フェンヒェル変換を用いた、指数型オーリッチ空間に属する関数のテール特性の確立。
• 特にΔ₂条件を満たさない場合の、オーリッチノルムにおけるマルティングールの収束の検討。
• 作用素理論、フーリエ級数、確率論、特にモーメントに基づくノルムの文脈における応用の探求。

提案手法

• 凸関数Wのヤング＝フェンヒェル変換W*を用い、ψ(p) = exp(W*(p)/p)でスケーリングされたLpノルムの上界としてG(ψ)ノルムを定義する。
• チエビシェフの不等式とラプラス法を用いて、古典的オーリッチノルム||·||L(N)とG(ψ)ノルムの同等性を確立する。
• フェンヒェル＝モローオの定理を用いて、Wとψの間の逆関係を導出し、ψからWを構成可能にする。
• モーメント推定とテールバウンドを用いて、特にP(|η| > u)の減衰率を通じて、EWおよびG(ψ)空間に属する関数を特徴付ける。
• limₚ→∞ |η|ₚ / ψ(p) = 0 という条件により、有界関数のオーリッチ空間における閉包を分析する。
• Yₙのモーメントを推定し、||Yₙ||G(ν)がexp(Cp^{1/(mγ)})のオーダーで増大することを示すことで、マルティングールに適用し、特定のオーリッチ空間では収束しないことを導く。

実験結果

リサーチクエスチョン

• RQ1 指数型オーリッチ空間に対して、古典的ルクセムブルグノルムよりも取り扱いやすい新たな同値ノルムをどのように定義できるか？
• RQ2 関数Wを用いて、指数型オーリッチ空間に属する確率変数のテール挙動をどのように特徴づけられるか？
• RQ3 supₙ ||Sₙ||L(N) < ∞ かつ N ∉ Δ₂ の下で、マルティングールがオーリッチノルムにおいて収束するための条件は何か？
• RQ4 指数型N関数の文脈において、モーメントの増大度とオーリッチノルムとの関係は何か？
• RQ5 G(ψ)ノルムを用いて、マルティングールがオーリッチ空間で収束するかどうかを判定でき、その必要十分条件は何か？

主な発見

• ||η||G(ψ) = sup_{p≥2} |η|ₚ / ψ(p) で定義されるG(ψ)ノルムは、指数型オーリッチ空間において、古典的ルクセムブルグノルム||η||L(N)と同等である。
• 関数ηがオーリッチ空間EWに属するのは、u > 2C およびあるC, C₁ ∈ (0, ∞)に対して、P(|η| > u) ≤ C₁ exp(−W(log(u/C))) を満たすとき、かつそのときに限る。
• 有界関数のEWにおける閉包（EW⁰）は、limₚ→∞ |η|ₚ / ψ(p) = 0 を満たす関数の集合に一致する。
• supₙ ||Sₙ||L(N) < ∞ かつ N ∉ Δ₂ であるマルティングール(Sₙ)について、||·||L(M)ノルムにおける収束が成立するのは、M(⋅) << N(⋅) であるとき、かつそのときに限る。
• モーメント推定により、||Yₙ||G(ν) は exp(Cp^{1/(mγ)}) のオーダーで増大することが示され、β = 1/(mγ) に対して Yₙ ∈ V(Z, β) ackslash V⁰(Z, β) であることが判明する。よって、ψ(Z,β)(p)/ν(p) が減衰しない限り、収束は成立しない。
• supₙ ||Sₙ||L(N) < ∞ かつ N ∉ Δ₂ であることは、M-ノルムにおける収束にM(⋅) << N(⋅) が必要十分であることを示しており、この条件は必要かつ十分である。