[論文レビュー] Fundamental function for Grand Lebesgue Spaces

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Sep 11, 2015

Advanced Banach Space Theory参考文献 9被引用数 9

ひとこと要約

本稿は、グランド・リーマン・スペンス（GLS）における基本関数と生成関数の間の1対1で相互に連続な対応関係を確立し、基本関数が生成関数の正規化された逆関数の逆ヤング・フェンヒェル変換を用いて明示的に表現できることを示している。主な結果は、生成関数の双対関数を用いた基本関数の閉形式表現を提供しており、これによりGLSおよびオルリッチ空間理論における直接的な逆問題の解法と解析の簡略化が可能になる。

ABSTRACT

We investigate in this short article the fundamental function for the so-called Grand Lebesgue Spaces (GLS) and show in particular a one-to-one and mutually continuous accordance between its fundamental and generating function.

研究の動機と目的

• グランド・リーマン・スペンス（GLS）における基本関数と生成関数の間の明確で連続的かつ可逆な関係を確立すること。
• 生成関数とその双対関数を用いたレジェンドル変換により、GLSの基本関数を構成的に計算する手法を提供すること。
• 生成関数に自然な正則性条件が課された下で、基本関数の簡略化された明示的公式を導出することにより、既知のGLSおよびオルリッチ空間の結果を拡張すること。
• 逆問題に取り組むこと：与えられた基本関数から、適切な凸性および単調性仮定の下で生成関数を再構成する方法を提示すること。
• 非確率的測度および無限大サポートを持つ生成関数を含む文脈において、特に指数型オルリッチ空間（EOS）の文脈で、フレームワークを一般化すること。

提案手法

• 連続的かつ厳密に増加し、無限大で発散する関数 $ \psi(p) $ を用いて、ノルム $ \|f\|_{G\psi} = \sup_{p \geq 1} \frac{|f|_p}{\psi(p)} $ によりグランド・リーマン・スペンス $ G\psi $ を定義する。
• 関数 $ \frac{p}{\psi(p)} $ が厳密に増加すると仮定し、その逆関数を $ \nu(p) = \left( \frac{p}{\psi(p)} \right)^{(-1)} $ と定義する。
• 関数 $ \nu_{\psi} $ のレジェンドル＝フェンヒェル変換を用いて、ヤング＝オルリッチ関数 $ N_{\psi}(u) = \exp(\nu_{\psi}^*(u)) - \exp(\nu_{\psi}^*(0)) $ を構成する。
• 基本関数を $ \theta_{\psi}(\delta) = \frac{1}{N_{\psi}^{(-1)}(1/\delta)} $ と定義し、与えられた条件下でこれがGLSの基本関数 $ \phi_{G\psi}(\delta) $ に等しいことを示す。
• オルリッチ空間における基本関数に関する既知の結果を活用し、与えられた条件下でGLSとオルリッチ空間の等価性を確立する。
• $ \mu(X) = \infty $ および $ \psi(p) $ が $ [\alpha, \infty) $ 上で定義されている場合の枠組みを、$ \alpha $-修正GLSノルムを用いて拡張し、ノルムの漸近的等価性を証明する。

実験結果

リサーチクエスチョン

• RQ1 グランド・リーマン・スペンスにおける基本関数と生成関数の明示的関係は何か？
• RQ2 基本関数は、明確で連続的な変換を用いて生成関数から再構成可能か？
• RQ3 どのような条件下でGLSの基本関数が関連するオルリッチ空間の基本関数と一致するか？
• RQ4 与えられた基本関数から生成関数を構成的に回復する逆問題は、どのように解けるか？
• RQ5 無限大測度および $ \psi(p) $ が $ [\alpha, \infty) $ 上で定義されている非確率的設定における基本関数の挙動は何か？

主な発見

• 関数 $ \frac{p}{\psi(p)} $ が厳密に増加する条件の下で、グランド・リーマン・スペンス $ G\psi $ の基本関数は $ \phi_{G\psi}(\delta) = \theta_{\psi}(\delta) = \frac{1}{N_{\psi}^{(-1)}(1/\delta)} $（$ \delta > 0 $）として与えられる。ここで $ N_{\psi} $ は $ \frac{p}{\psi(p)} $ の逆関数のレジェンドル＝フェンヒェル変換から得られる。
• 拡散測度および $ \mu(X) = 1 $ の仮定の下で、基本関数 $ \phi_{G\psi}(\delta) $ が $ \theta_{\psi}(\delta) $ に等しいことが示され、構成的かつ可逆な公式が得られる。
• $ \mu(X) = \infty $ および $ \psi(p) $ が $ [\alpha, \infty) $ 上で定義されている場合、基本関数は $ \phi_{G(\psi)}(\delta) \asymp \theta_{\psi}(\delta) $ を満たし、漸近的等価性が成立する。
• 定理Aの条件のもとで、GLSノルム $ \|f\|_{G(\alpha;\psi)} $ はオルリッチ＝ルクスマールグノルム $ \|f\|_{L(N^{(\alpha)}, [\psi])} $ と等価であることが示され、双対性フレームワークの妥当性が裏付けられる。
• 生成関数 $ \psi(p) $ は、変換 $ \theta_{\psi}(\delta) $ の逆関数を用いて基本関数から回復可能であり、1対1の対応関係が確立される。
• このフレームワークは指数型オルリッチ空間（EOS）にも適用可能であり、$ N_{m,r}(u) $ および $ N_{m}^{(\alpha)}(u) $ はEOSに属する関数の例として挙げられ、その結果として得られるGLSノルムは、このような場合にオルリッチノルムと等価である。