[論文レビュー] A generalized Young inequality and some new results on fractal space

Guang-Sheng Chen|Jul 26, 2011

Mathematical Inequalities and Applications参考文献 14被引用数 12

ひとこと要約

本稿では、ヤンの分数集合理論の枠組みにおいて、次元 α ∈ (0,1] を持つフラクタル空間へ古典的不等式を拡張する一般化されたヤングの不等式を導入する。一般化されたベルヌーイの不等式と α 型集合の幾何的性質を活用することで、フラクタルノルムに対する新しいホルダー型およびミンコフスキー型不等式が導かれ、等号成立の条件が確立され、分数集合に基づく一般化された実数直線数体系における有効性が証明されている。

ABSTRACT

Starting with real line number system based on the theory of the Yang's fractional set, the generalized Young inequality is established. By using it some results on the generalized inequality in fractal space are investigated in detail.

研究の動機と目的

• ヤングの不等式をヤングの分数集合理論を用いてフラクタル空間へ拡張すること。
• 0 < α ≤ 1 における α 型実数に対する一般化されたヤングの不等式を確立すること。
• フラクタル次元に基づく一般化されたノルム空間における新たな不等式を導出すること。
• 分数集合の文脈において、不等式の等号成立条件および構造的性質を証明すること。
• 一般化されたヤングの不等式を用いて、フラクタルノルムにおけるホルダー型およびミンコフスキー型不等式を一般化すること。

提案手法

• ヤングの分数集合理論を用いて実数直線数体系を形式化し、自然数、整数、有理数、実数の α 型集合を定義する。
• α 型数における算術および順序演算（加法、乗法、順序）を定義し、フラクタル軸上での幾何的解釈を併記する。
• 0 < m < 1 および m > 1 に対して一般化されたベルヌーイの不等式を証明し、基礎的道具として用いる。
• p > 1 および 0 < p < 1 に対して一般化されたヤングの不等式を導出し、a^p = b^q に基づく等号成立条件を提示する。
• 一般化されたヤングの不等式を応用し、複数の数列および行列に対する一般化されたホルダーおよびミンコフスキー型不等式を証明する。
• 逆ミンコフスキー不等式およびノルム比較を用いて、0 < r < 1 < p を満たす混合 p, r ノルムを含む不等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 非整数次元 α ∈ (0,1] を持つフラクタル空間へ、古典的ヤングの不等式をどのように一般化できるか？
• RQ2 分数集合上での一般化されたヤングの不等式における等号成立の必要十分条件は何か？
• RQ3 ヤングの分数集合から導かれる α ノルム空間における一般化されたホルダーおよびミンコフスキー不等式はどのように振る舞うか？
• RQ4 一般化されたベルヌーイの不等式は、一般化されたヤングの不等式の証明においてどのような役割を果たすか？
• RQ5 フラクタル空間において、p > 1 および r < 1 を含む混合ノルム不等式をどのように確立できるか？

主な発見

• p > 1、1/p + 1/q = 1 のとき、一般化されたヤングの不等式が $ a^\alpha b^\alpha \leq \frac{a^{p\alpha}}{p} + \frac{b^{q\alpha}}{q} $ として成立し、等号成立は $ a^p = b^q $ のときに限る。
• 0 < p < 1 のとき、不等式は逆転する：$ a^\alpha b^\alpha \geq \frac{a^{p\alpha}}{p} + \frac{b^{q\alpha}}{q} $、等号成立条件は同一。
• 複数の数列に対して一般化されたホルダー型不等式が確立される：$ \prod_{i=1}^n a_i^\alpha \leq \sum_{i=1}^n \frac{a_i^{p_i \alpha}}{p_i} $、ただし $ \sum \frac{1}{p_i} = 1 $、$ p_i > 1 $。
• 一般化されたミンコフスキー不等式が証明された：$ \left( \sum_i |\sum_j x_{ij}^\alpha|^p \right)^{1/p} \leq \sum_i \left( \sum_j |x_{ij}^\alpha|^p \right)^{1/p} $、p > 1、等号成立は $ \lambda_j |x_{ij}| = \lambda_k |x_{ik}| $ のとき。
• 混合ノルムに対して逆型不等式が導出された：$ \left( \frac{\sum_i |x_i^\alpha + y_i^\alpha|^p}{\sum_i |x_i^\alpha + y_i^\alpha|^r} \right)^{1/(p-r)} \leq \left( \frac{\sum_i |x_i^\alpha|^p}{\sum_i |x_i^\alpha|^r} \right)^{1/(p-r)} + \left( \frac{\sum_i |y_i^\alpha|^p}{\sum_i |y_i^\alpha|^r} \right)^{1/(p-r)} $、0 < r < 1 < p に対して有効で、等号成立は $ \lambda_1 |x_i| = \lambda_2 |y_i| $ のとき。
• すべての不等式は α = 1 のとき古典的結果と整合的であり、一般化の妥当性が確認された。