[論文レビュー] Power mean inequality of generalized trigonometric functions

Barkat Ali Bhayo, Матти Вуоринен|arXiv (Cornell University)|Sep 5, 2012

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

ひとこと要約

本稿では、p-Laplacianに関連する一般化三角関数および双曲線関数に対するべき平均不等式を確立し、arcsinₚ、artanhₚ、arctanₚ、arsinhₚなどの逆関数がMₜ-凹型であることを証明する。一方、sinₚ、cosₚ、tanₚ、tanhₚはpおよびtの値に応じてMₜ-凸型またはMₜ-凹型を示す。主な貢献は、べき平均を用いた一般化三角関数の体系的分析であり、超幾何関数および単調性の議論を通じて、古典的不等式をp-Laplacian枠組みへと拡張するものである。

ABSTRACT

We study the convexity/concavity properties of the generalized $p$-trigonometric functions in the sense of P. Lindqvist with respect to the power means.

研究の動機と目的

• べき平均に関して一般化三角関数の凸性および凹型性を調査すること。
• 超幾何関数を用いて定義される一般化関数を用いて、古典的三角不等式をp-Laplacian設定へと拡張すること。
• arcsinₚ、sinₚ、tanhₚおよびその双曲線版のような逆関数および直接関数のMₜ-凸型およびMₜ-凹型性を確立すること。
• t=0およびt=2の既存の結果を、それぞれ任意のt≥0およびt≥1へと一般化し、単調性および微分技法を用いること。
• p-三角関数の文脈におけるべき平均に関する一般化凸性／凹型の統一的枠組みを提供すること。

提案手法

• 著者たちは、ガウス超幾何関数F(a,b;c;z)および(1−xᵖ)⁻¹/ᵖ、(1+xᵖ)⁻¹/ᵖを含む積分を用いて、一般化三角関数sinₚ、cosₚ、tanₚ、sinhₚ、tanhₚおよびその逆関数を定義する。
• 微分係数の比の単調性を分析するために、単調なl’Hôpitalの定理（補題2.1）を用いる。これは、凸性および凹型性の証明に不可欠である。
• 主な不等式は、関数g(x) = gᵢ(Mₜ(x,y))ᵗ − (gᵢ(x)ᵗ + gᵢ(y)ᵗ)/2を定義し、fᵢ(x) = (gᵢ(x)/x)ᵗ⁻¹ · d/dx(gᵢ(x))の振る舞いに基づいてその導関数の符号変化を調べることで分析される。
• πₚ関数に関して、著者たちはπₚが単調減少であることを証明し、πₚのpに関する導関数を用いて、t<1のとき(πₚ/p)ᵗ⁻¹ · dπₚ/dpが単調増加であることを示し、πₚのMₜ不等式の証明を可能にする。
• 証明は、Lemma 2.8に依拠しており、これは(sinₚx/x)ᵐ⁻¹ · d/dx(sinₚx)のような比が単調減少であることを示し、cosₚ、tanₚ、sinhₚ、tanhₚに対しても、必要に応じて単調増加または単調減少であることが示される。
• 最終的な命題では、2パラメータ一般化関数(p,q)へと結果を拡張し、t<1に対してπ_{Mₜ(p,q)} ≤ Mₜ(πₚ, π_q)が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 t≥0およびt≥1の範囲で、べき平均Mₜにおける一般化三角関数の挙動はいかなるものか？
• RQ2 p>1およびt≥0のとき、逆関数arcsinₚ、artanhₚ、arctanₚ、arsinhₚはMₜ-凹型またはMₜ-凸型であるか？
• RQ3 t≥1のとき、直接関数sinₚ、cosₚ、tanₚ、tanhₚ、sinh₅はMₜ-凸型またはMₜ-凹型を満たすか？
• RQ4 t<1のとき、πₚのMₜ不等式を2パラメータ族(p,q)へ一般化できるか？
• RQ5 導関数比の単調性は、一般化凸性／凹型を確立する上で果たす役割は何か？

主な発見

• t≥0およびp>1のとき、arcsinₚ(Mₜ(r,s)) ≤ Mₜ(arcsinₚ(r), arcsinₚ(s))が成り立ち、arcsinₚのMₜ-凹型性を示す。
• t≥0のとき、artanhₚ(Mₜ(r,s)) ≤ Mₜ(artanhₚ(r), artanhₚ(s))により、artanhₚのMₜ-凹型性が示される。
• t≥0のとき、arctanₚ(Mₜ(r,s)) ≥ Mₜ(arctanₚ(r), arctanₚ(s))およびarsinhₚ(Mₜ(r,s)) ≥ Mₜ(arsinhₚ(r), arsinhₚ(s))により、arctanₚおよびarsinhₚのMₜ-凹型性が確認される。
• t≥1のとき、sinₚ(Mₜ(r,s)) ≥ Mₜ(sinₚ(r), sinₚ(s))により、sinₚのMₜ-凸型性が示される。
• t≥1のとき、cosₚ(Mₜ(r,s)) ≤ Mₜ(cosₚ(r), cosₚ(s))により、cosₚのMₜ-凹型性が確認される。
• t≥1のとき、tanₚ(Mₜ(r,s)) ≤ Mₜ(tanₚ(r), tanₚ(s))およびtanhₚ(Mₜ(r,s)) ≥ Mₜ(tanhₚ(r), tanhₚ(s))により、それぞれMₜ-凹型およびMₜ-凸型であることが示される。一方、sinhₚ(Mₜ(r,s)) ≤ Mₜ(sinhₚ(r), arsinhₚ(s))は誤りである可能性がある（タイプミスの可能性）。本来の意図は、sinhₚ(Mₜ(r,s)) ≤ Mₜ(sinhₚ(r), sinhₚ(s))のMₜ-凹型性を示すものである。