[論文レビュー] The Inequalities for Some Types of $q$-Integrals

Predrag M. Rajković, Sladjana D. Marinković+1 more|ArXiv.org|May 8, 2006

Mathematical Inequalities and Applications参考文献 3被引用数 11

ひとこと要約

本稿は、$q$-積分の3つの異なるタイプ（標準$ q $-積分 $I_q$、制限付き$ q $-積分 $G_q$、リーマン型$ q $-積分 $R_q$）に対して、古典的積分不等式（チェビシェフ、グリュッシェ、エルミート＝アダマールなど）の$q$-アナロジーを確立する。関数変換と級数収束を活用して、正の関数の$q$-積分に関する新たな不等式を導出し、特にカスルズ型およびラーハ＝リバリッチ型不等式を含む。主な結果として、比制約 $m \leq f/g \leq M$ を用いた鋭い境界が得られる。

ABSTRACT

We discuss the inequalities for $q$-integrals because of the fact that the inequalities can be very useful in the future mathematical research. Since $q$-integral of a function over an interval $[a,b]$ is defined by the difference of two infinite sums, there a lot of unexpected troubles in analyzing analogs of well-known integral inequalities. In this paper, we will signify to some directions to exceed this problem.

研究の動機と目的

• 複数の$ q $-積分タイプに対して、古典的積分不等式を$ q $-微積分の枠組みへ拡張すること。
• $q$-積分の無限級数による定義に起因する解析的困難を、標準的積分不等式が成立しない場合に解消すること。
• $m \leq f/g \leq M$ の比の境界を用いて、正の関数の$q$-積分に対する新たな鋭い不等式を確立すること。
• $\widehat{f}$、$\widetilde{f}$、$\breve{f}$ の変換作用素を用いて、$I_q$、$G_q$、$R_q$ 積分の振る舞いを統一的かつ比較的に扱うこと。

提案手法

• $q$-積分の3つのタイプを定義：$I_q$（$0$ から $b$ への無限級数）、$G_q$（$bq^n$ から $b$ への有限和）、$R_q$（$[a,b]$ 上のリーマン型和）。
• 変換作用素を導入：$\widehat{f}(x) = f(a + (b-a)x)$、$\widetilde{f}(x) = b f(bx) - a f(ax)$、$\breve{f}(x) = f(bx) - f(ax)$ を用いて、$[0,1]$ 上の積分と $[a,b]$ 上の積分を関連付ける。
• 補題2.1を用いて、$I_q(f;a,b)$ と $R_q(f;a,b)$ を $[0,1]$ 上の $I_q$-積分に還元し、既知の不等式の転用を可能にする。
• 変換された関数に古典的不等式（カスルズ、ラーハ＝リバリッチ）を適用し、累乗関数の凸性・凹性を活用する。
• 比の制約 $m = \min f/g$、$M = \max f/g$ を用いて境界を導出し、$J_q(f^2)J_q(g^2)$ と $J_q(fg)^2$ を含む不等式を導出する。
• $t^p$ の凸性に基づき、ジェンセンの不等式を用いて $p$-乗不等式を確立し、$p \notin (0,1)$ と $p \in (0,1)$ の場合を区別する。

実験結果

リサーチクエスチョン

• RQ1 チェビシェフやグリュッシェのような古典的積分不等式は、無限級数または有限和による定義を持つ$q$-積分へどのように一般化できるか？
• RQ2 $I_q$、$G_q$、$R_q$ 積分に対して、エルミート＝アダマールおよびグリュッシェ不等式の$q$-アナロジーが成立する条件は何か？
• RQ3 変換作用素 $\widehat{f}$、$\widetilde{f}$、$\breve{f}$ は、$[a,b]$ 上の$q$-積分を $[0,1]$ 上の積分にどのように還元可能か？
• RQ4 $f/g$ が $m$ と $M$ の間で有界であるとき、$J_q(f^2)J_q(g^2)$ の鋭い境界は $J_q(fg)^2$ でどのように表されるか？
• RQ5 $p$-乗不等式は、$t^p$ の凸性と $p$ の値にどのように依存するか？

主な発見

• カスルズ型不等式が成立：正の関数で $m \leq f/g \leq M$ を満たすとき、$0 \leq J_q(f^2)J_q(g^2) \leq \frac{(m+M)^2}{4mM} (J_q(fg))^2$ が成り立ち、比が定数のとき等号成立。
• 改良された境界が得られる：$0 \leq \sqrt{J_q(f^2)J_q(g^2)} - J_q(fg) \leq \frac{(√{M} - √{m})^2}{2√{mM}} J_q(fg)$ であり、等号からのずれは境界の幾何平均に依存する。
• $J_q(f^2)J_q(g^2) - (J_q(fg))^2$ の差が $\frac{(M-m)^2}{4mM} (J_q(fg))^2$ で上から抑えられ、相関の強さが定量的に評価される。
• $p \notin (0,1)$ のとき、$(J_q(fg))^p \leq (J_q(f^2))^{p-1} J_q(f^{2-p}g^p)$ が成り立ち、$p \in (0,1)$ のときは逆不等式が成立する。これは $t^p$ の凸性に基づく。
• ラーハ＝リバリッチ不等式により、$p \notin (0,1)$ のとき、$J_q(f^{2-p}g^p) + \frac{mM(M^{p-1}-m^{p-1})}{M-m} J_q(f^p) \leq \frac{M^p - m^p}{M-m} J_q(fg)$ が成り立ち、$p \in (0,1)$ のときは逆不等式が成立する。
• $p=2$ の特別な場合、$J_q(g^2) + m M J_q(f^2) \leq (m + M) J_q(fg)$ が得られ、比の制約下で二次積分と積分の積を結びつける。