Pure Mathematics
Vol.08 No.04(2018), Article ID:25441,8
pages
10.12677/PM.2018.84043
On a Function Involving the Complete p-Elliptic Integrals
Zhongqin Liu, Xiaohui Zhang*
School of Science, Zhejiang Sci-Tech University, Hangzhou Zhejiang
Received: May 22nd, 2018; accepted: Jun. 5th, 2018; published: Jun. 15th, 2018
ABSTRACT
In this paper, we investigate the monotonicity and convexity properties of the function involving the complete p-elliptic integrals of the first and second kind, kp and εp, respectively. We also provide several sharp inequalities for the function .
Keywords:Gaussian Hypergeometric Function, Complete P-Elliptic Integrals, Monotonicity, Convexity, Inequalities
关于完全p-椭圆积分的一个函数
刘钟秦,张孝惠*
浙江理工大学理学院,浙江 杭州
收稿日期:2018年5月22日;录用日期:2018年6月5日;发布日期:2018年6月15日
摘 要
本文中我们研究了由第一类和第二类完全p-椭圆积分kp和εp定义的函数 的单调性和凹凸性。我们也证明了函数 的几个精确不等式。
关键词 :高斯超几何函数,完全P-椭圆积分,单调性,凹凸性,不等式
Copyright © 2018 by authors and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
1. 引言
令 ,定义函数
, ,
,
这里B是熟知的Beta函数。函数 在区间 上的反函数称为广义正弦函数,记为 。当 时sin2就是通常的正弦函数sin。广义正弦函数和其它的广义三角函数已经被广泛地研究,见文献 [1] - [6] 。
令 ,第一类和第二类完全p-椭圆积分分别由如下公式定义
, ,
, ,
这里 。当 ,这些函数就退化为经典的完全椭圆积分 和 。经典的完全椭圆积分还有其它的一些推广形式,这些推广的椭圆积分在几何函数论、拟共形映射和Ramanujan模方程理论中有广泛的应用 [7] [8] [9] [10] 。
给定实数 ,高斯超几何函数是如下定义的函数
,
这里,当 时, ;当 (自然数集)时, 是如下定义的移位阶乘
.
完全p-椭圆积分可由高斯超几何函数表示出来( [11] , Proposition 2.8):
(1)
(2)
作为广义三角函数的一个重要应用,Takeuchi在2014年引入了完全p-椭圆积分。Takeuchi的完全p-椭圆积分是含有广义三角函数的Legendre-Jacobi的标准形式。完全p-椭圆积分已被用于由算术几何平均来表示的广义的π常数的快速计算方法和Ramanujan三次变换的初等证明中 [11] [12] 。经典的椭圆积分的一些熟知的性质已被推广到完全p-椭圆积分中。例如,许多这些函数的组合和复合函数的单调性和凹凸性,以及一些精确的函数不等式在最近的文献 [13] 中获得了证明。
在文 [14] 中,作者研究了如下函数
的单调性和凹凸性。受文 [14] 的启发,Alzer和Richards [15] 研究了
的对应的性质,并获得了完全椭圆积分的精确的初等估计。
本文中,我们研究了函数
的单调性和凹凸性,并将Alzer和Richards的结果推广到完全p-椭圆积分上。另外,我们还获得了 的精确不等式。本文的主要结果如下定理所述.
定理:对 ,令 。函数 在区间 上是严格递增且是严格凸函数,值域为 。特别地,对所有的 ,有如下不等式成立:
.
这里常数 和 是最佳的。
2. 定理的证明
高斯超几何函数的如下导数公式和变换公式是众所周知的 [16] :对
(3)
(4)
(5)
2.1. 凹凸性
首先,我们证明 在区间 上是严格凸的。令 ,并且令
.
那么
所以
.
由此可知
,
并且
.
根据变换公式(4)和(5),得到
。
记
.
那么
由
可知上面的第二个不等号成立。对于 ,由于
,
易知
.
从而可知 在区间 上是严格凸的。
2.2. 单调性
由上节可知
求导数得到
所以 和 。根据已知极限
我们可得
令 ,则有
因为 是严格凸的,所以 在 上递增。因此
,
这就证明了函数 在 上严格递增。
2.3. 不等式
显然地,
由函数 在 上严格递增,可知
在 上严格递增。从而
.
由此即得
以及
因此
.
推论:当 时,对所有的 ,有如下精确不等式成立:
.
证明:记
.
求导数得
,
以及
.
由于 且 ,我们可得
.
因此 关于变量s严格递增,从而有
.
所以 关于r严格递减,从而有
.
推论得证。
基金项目
本研究得到浙江理工大学科研启动基金(项目编号16062023-Y)和理学院学生科研项目的资助。
文章引用
刘钟秦,张孝惠. 关于完全p-椭圆积分的一个函数
On a Function Involving the Complete p-Elliptic Integrals[J]. 理论数学, 2018, 08(04): 325-332. https://doi.org/10.12677/PM.2018.84043
参考文献
- 1. Bushell, P.J. and Edmunds, D.E. (2012) Remarks on Generalised Trigonometric Functions. Rocky Mountain Journal of Mathematics, 42, 25-57. https://doi.org/10.1216/RMJ-2012-42-1-25
- 2. Edmunds, D.E., Gurka, P. and Lang, J. (2012) Properties of Gene-ralized Trigonometric Functions. Journal of Approximation Theory, 164, 47-56. https://doi.org/10.1016/j.jat.2011.09.004
- 3. Klen, R., Vuorinen, M. and Zhang, X. (2014) Inequalities for the Generalized Trigonometric and Hyperbolic Functions. Journal of Mathematical Analysis and Applications, 409, 521-529. https://doi.org/10.1016/j.jmaa.2013.07.021
- 4. Lang, J. and Edmunds, D.E. (2011) Eigenvalues, Embeddings and Generalised Trigonometric Functions. Lecture Notes in Mathematics, Springer-Verlag, Berlin. https://doi.org/10.1007/978-3-642-18429-1
- 5. Lindqvist, P. (1995) Some Remarkable Sine and Cosine Functions. Ricerche di Matematica, 44, 269-290.
- 6. Lindqvist, P. and Peetre, J. (2003) p-Arc Length of the q-Circle. The Mathematics Student, 72, 139-145.
- 7. Anderson, G.D., Qiu, S.-L., Vamanamurthy, M.K. and Vuorinen, M. (2000) Generalized Elliptic Integrals and Modular Equations. Pacific Journal of Mathematics, 192, 1-37. https://doi.org/10.2140/pjm.2000.192.1
- 8. Anderson, G.D., Va-manamurthy, M.K. and Vuorinen, M. (1997) Conformal Invariants, Inequalities, and Quasiconformal Maps. John Wiley & Sons, New York.
- 9. Borwein, J.M. and Borwein, P.B. (1987) Pi and the AGM. John Wiley & Sons, New York.
- 10. Zhang, X. (2015) Solution to a Conjecture on the Legendre m-Function with an Application to the Generalized Modulus. Journal of Mathematical Analysis and Applications, 431, 1190-1196. https://doi.org/10.1016/j.jmaa.2015.06.033
- 11. Takeuchi, S. (2016) A New Form of the Generalized Complete Elliptic Integrals. Kodai Mathematical Journal, 39, 202-226. https://doi.org/10.2996/kmj/1458651700
- 12. Takeuchi, S. (2018) Complete p-Elliptic Integrals and a Computation Formula of for p = 4. The Ramanujan Journal, 46, 309-321. https://doi.org/10.1007/s11139-018-9993-y
- 13. Zhang, X. (2017) Mo-notonicity and Functional Inequalities for the Complete p-Elliptic Integrals. Journal of Mathematical Analysis and Applications, 453, 942-953. https://doi.org/10.1016/j.jmaa.2017.04.025
- 14. Anderson, G.D., Qiu, S.-L. and Vamanamurthy, M.K. (1998) Elliptic Integral Inequalities, with Applications. Constructive Approximation, 14, 195-207. https://doi.org/10.1007/s003659900070
- 15. Alzer, H. and Richards, K. (2015) A Note on a Function Involving Complete El-liptic Integrals: Monotonicity, Convexity, Inequalities. Analysis Mathematica, 41, 133-139. https://doi.org/10.1007/s10476-015-0201-7
- 16. Abramowitz, M. and Stegun, I.A. (1965) Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover, New York.
NOTES
*通讯作者。