Next Article in Journal
New Nonlinear Metrics Model for Information of Individual Research Output and Its Applications
Previous Article in Journal
Fixed Order Controller for Schur Stability
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Short Note

Some Properties of a Function Originating from Geometric Probability for Pairs of Hyperplanes Intersecting with a Convex Body

1
Institute of Mathematics, Henan Polytechnic University, Jiaozuo 454010, China
2
College of Mathematics, Inner Mongolia University for Nationalities, Tongliao 028043, China
3
Department of Mathematics, Faculty of Science, Mansoura University, Mansoura 35516, Egypt
*
Author to whom correspondence should be addressed.
Math. Comput. Appl. 2016, 21(3), 27; https://doi.org/10.3390/mca21030027
Submission received: 16 May 2016 / Revised: 6 June 2016 / Accepted: 13 June 2016 / Published: 29 June 2016

Abstract

:
In the paper, the authors derive an integral representation, present a double inequality, supply an asymptotic formula, find an inequality, and verify complete monotonicity of a function involving the gamma function and originating from geometric probability for pairs of hyperplanes intersecting with a convex body.
MSC:
Primary 33B15; Secondary 26A48, 26A51, 26D20, 41A60, 44A10

1. Introduction

The problem of studying the increasing property of the sequence
p m = m - 1 2 0 π / 2 sin m - 1 t d t 2 , m N
arises from geometric probability for pairs of hyperplanes intersecting with a convex body, see [1]. The sequence p m was formulated in [2] as
q m = π 2 m Γ ( ( m + 1 ) / 2 ) Γ ( m / 2 ) 2 , m N ,
where
Γ ( x ) = 0 t x - 1 e - t d t , x > 0
is the well-known gamma function. Guo and Qi [2] proved the increasing monotonicity of the sequence p m by considering the sequence
Q m = 1 m Γ ( ( m + 1 ) / 2 ) Γ ( m / 2 ) 2 , m N .
They presented two indirect proofs with the help of Bustoz and Ismail’s results [3] and their own results [4].
In 2015, Qi et al. [5] established an asymptotic formula for the function
ϕ ( x ) = 2 ln Γ x + 1 2 - ln Γ x 2 - ln x , x > 0
and investigated some properties of the sequence Q m = e ϕ ( m ) for m N . They also posed two problems about the monotonicity of the sequence α Q m m for 0 < α 2 .
In this paper, we will derive an integral representation, present a double inequality, supply an asymptotic formula, find an inequality, and verify complete monotonicity of the function ϕ ( x ) or Q ( x ) = e ϕ ( x ) . As consequences, the above-mentioned two problems posed in [5] are confirmatively answered.

2. An Integral Representation and a Double Inequality for ϕ ( x )

In this section, we derive an integral representation and a double inequality for the function ϕ ( x ) as follows. As a consequence, the complete monotonicity of the function - ϕ ( x ) - ln 2 is concluded.
A function f is said to be completely monotonic on an interval I if f has derivatives of all orders on I and
0 ( - 1 ) k - 1 f ( k - 1 ) ( x ) <
for x I and k N , where f ( 0 ) ( x ) means f ( x ) and N is the set of all positive integers. See ([6] Chapter XIII), ([7] Chapter 1), and ([8] Chapter IV). The class of completely monotonic functions may be characterized by the celebrated Bernstein-Widder Theorem ([8] p. 160, Theorem 12a) which reads that a necessary and sufficient condition that f ( x ) should be completely monotonic in 0 x < is that
f ( x ) = 0 e - x t d α ( t ) ,
where α ( t ) is bounded and non-decreasing and the integral converges for 0 x < . The integral (1) means that f ( x ) is the Laplace transform of the measure α ( t ) .
Theorem 1.
For x > 0 and n N , we have the integral representation
ϕ ( x ) = - ln 2 - 0 tanh t t e - 2 x t d t
and the double inequality
- ln 2 - k = 1 2 n 2 2 k - 1 B 2 k k ( 2 k - 1 ) 1 x 2 k - 1 < ϕ ( x ) < - ln 2 - k = 1 2 n - 1 2 2 k - 1 B 2 k k ( 2 k - 1 ) 1 x 2 k - 1 ,
where B 2 k are the Bernoulli numbers which can be generated by
z e z - 1 = 1 - 1 2 z + k = 0 B 2 k z 2 k ( 2 k ) ! , | z | < 2 π .
Consequently, the function - ϕ ( x ) - ln 2 is a Laplace transform, or say, completely monotonic on ( 0 , ) .
Proof. 
Using Legendre’s formula
2 x - 1 Γ x 2 Γ x + 1 2 = π Γ ( x )
and the integral representation
ln Γ ( x ) = x - 1 2 ln x - x + ln 2 π + 0 1 2 - 1 t + 1 e t - 1 e - x t t d t , x > 0
in [9], Slavić [10] obtained the relation
Γ ( x + 1 ) Γ ( x + 1 / 2 ) = x exp 0 tanh t 2 t e - 4 x t d t , x > 0
and the double inequality
x exp k = 1 2 n ( 1 - 2 - 2 k ) B 2 k k ( 2 k - 1 ) x 2 k - 1 < Γ ( x + 1 ) Γ ( x + 1 / 2 ) < x exp k = 1 2 l - 1 ( 1 - 2 - 2 k ) B 2 k k ( 2 k - 1 ) x 2 k - 1
for x > 0 , where l , n N and B 2 k are the Bernoulli numbers. Replacing x by x 2 in (4) and (5) and taking the logarithm lead to (2) and (3). Theorem 1 is thus proved. ☐
Remark 1. 
The double inequality (1.1) in [5] is a special case of the double inequality (3).
Remark 2. 
The integral representation (2) or the double inequality (3) means readily that
lim x ϕ ( x ) = - ln 2 .

3. An Asymptotic Formula for ϕ ( x )

We now supply an asymptotic formula of the function ϕ ( x ) , which is of a form different from the one presented in [5].
Theorem 2. 
The function ϕ ( x ) satisfies the asymptotic formula
ϕ ( x ) - ln 2 - m = 0 2 2 2 m + 2 - 1 B 2 m + 2 ( 2 m + 2 ) ( 2 m + 1 ) 1 x 2 m + 1 , x .
Proof. 
Using the expansion
T ( t ) = tanh ( t / 2 ) t = m = 1 2 ( 2 2 m - 1 ) B 2 m ( 2 m ) ! t 2 m - 2 , | t | < π
and Watson’s lemma (see [11,12]), we have
0 tanh ( t / 2 ) t e - x t d t r = 0 T ( r ) ( 0 ) x r + 1 , x ,
where
T ( 2 r + 1 ) ( 0 ) = 0 and T ( 2 r ) ( 0 ) = 2 2 2 r + 2 - 1 B 2 r + 2 ( 2 r + 2 ) ( 2 r + 1 ) , r 0 .
Hence
0 tanh ( t / 2 ) t e - x t d t r = 0 2 2 2 r + 2 - 1 B 2 r + 2 ( 2 r + 2 ) ( 2 r + 1 ) x 2 r + 1 , x .
The Formula (7) is thus proved. ☐

4. Monotonicity and Inequalities of ϕ ( x )

In this section, we present an inequality for the function ϕ ( x ) , find a necessary and sufficient condition on α such that the function ϕ ( x ) + ln α x r is increasing with respect to x ( 0 , ) , and establish three properties of the function Q ( x ) . As a consequence of a property of Q ( x ) , the above-mentioned two problems are confirmatively answered.
Theorem 3. 
The function ϕ ( x ) satisfies the following properties:
  • if p q and x q , then
    ϕ ( x + p ) + ϕ ( x - q ) 2 < p q ϕ ( x ) ;
  • for x > 0 and r > 0 , the function ϕ ( x ) + ln α x r is strictly increasing if and only if 0 < α 2 .
Proof. 
Using the integral representation (2), we obtain
ϕ ( x + p ) + ϕ ( x - q ) - 2 p q ϕ ( x ) = - 0 tanh t t e - 2 x t e - 2 p t + e 2 q t - 2 p q d t - 1 - p q ln 4
for x q . Because
e - 2 p t + e 2 q t - 2 p q = n = 1 ( 2 q t ) n n ! 1 + - p q n + 2 1 - p q > 0
for p q , we procure
ϕ ( x + p ) + ϕ ( x - q ) - 2 p q ϕ ( x ) < 0
for p q and x q .
It is clear that
d d x ϕ ( x ) + ln α x r = 1 x r 0 M t , r , α ( x ) e - x t d t ,
where
M t , r , α ( x ) = r ln 2 α + r x t + 1 tanh t 2 , t , r , α > 0 ,
and M t , r , α ( x ) is obviously a decreasing function and
lim x M t , r , α ( x ) = r ln 2 α + tanh t 2 .
This means that
M t , r , α ( x ) 0 if and only if 2 α exp - tanh ( t / 2 ) r .
Moreover, the function f r ( t ) = exp - tanh ( t / 2 ) r is decreasing for r > 0 . As a result, it follows that
M t , r , α ( x ) 0 if and only if 2 α lim t 0 exp - tanh ( t / 2 ) r = 1 .
The proof of Theorem 3 is complete. ☐
Theorem 4. 
The function
Q ( x ) = 1 x Γ ( ( x + 1 ) / 2 ) Γ ( x / 2 ) 2 , x > 0
has the following properties:
  • the limit lim x Q ( x ) = 1 2 is valid;
  • for fixed r > 0 , the function [ α Q ( x ) ] 1 / x r is strictly increasing with respect to x if and only if 0 < α 2 ;
  • the function Q ( x ) satisfies the Pául type inequality
    Q ( x + p ) Q ( x - q ) < [ Q ( x ) ] 2 p / q , p q , x q ;
    in particular, when p = q = 1 and x N in (9), the strictly logarithmic concavity of the sequence Q m follows, that is,
    Q m + 1 Q m - 1 < Q m 2 , m N .
Proof. 
Using the relation
Q ( x ) = e ϕ ( x ) , x > 0
and the limit (6), we obtain lim x Q ( x ) = 1 2 . From the second property in Theorem 3 and the relation
d d x [ α Q ( x ) ] 1 / x r = [ α Q ( x ) ] 1 / x r d d x ln α + ϕ ( x ) x r ,
we obtain that the function [ α Q ( x ) ] 1 / x r is strictly increasing with respect to x > 0 for fixed r > 0 if and only if 0 < α 2 .
By using the inequality (8), we have
ln Q ( x + p ) + ln Q ( x - q ) - 2 p q ln Q ( x ) < 0 , p q , x q
which gives us the inequality (9). The proof of Theorem 4 is complete. ☐
Remark 3. 
For x N , the third conclusion in Theorem 4 was proved in [5] with a different proof.
Remark 4. 
Using the second conclusion in Theorem 4, for x N and r = 1 , we can see that the sequence α Q m m is increasing with respect to m N if and only if 0 < α 2 . This gives a solution to two problems posed in [5].
Remark 5. 
In the papers [13,14], the authors investigated by probabilistic methods and approaches the monotonicity of incomplete gamma functions and their ratios and applied their results to probability and actuarial area.

5. Conclusions

The main results, including an integral representation, a double inequality, an asymptotic formula, an inequality, and complete monotonicity of a function involving the gamma function and originating from geometric probability for pairs of hyperplanes intersecting with a convex body, of this paper are deeper and more extensive researches of the papers [2,5] and references cited therein.

Acknowledgments

The authors appreciate the handling editor and the anonymous referees for their careful corrections to and valuable comments on the original version of this paper.

Author Contributions

The authors contributed equally to this work.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Zhao, J.-F.; Xie, P.; Jiang, J. Geometric probability for pairs of hyperplanes intersecting with a convex body. Math. Appl. (Wuhan) 2016, 29, 233–238. (In Chinese) [Google Scholar]
  2. Guo, B.-N.; Qi, F. On the increasing monotonicity of a sequence originating from computation of the probability of intersecting between a plane couple and a convex body. Turkish J. Anal. Number Theory 2015, 3, 21–23. [Google Scholar] [CrossRef]
  3. Bustoz, J.; Ismail, M.E.H. On gamma function inequalities. Math. Comp. 1986, 47, 659–667. [Google Scholar] [CrossRef]
  4. Qi, F.; Guo, B.-N. Wendel’s and Gautschi’s inequalities: Refinements, extensions, and a class of logarithmically completely monotonic functions. Appl. Math. Comput. 2008, 205, 281–290. [Google Scholar] [CrossRef]
  5. Qi, F.; Mortici, C.; Guo, B.-N. Some properties of a sequence arising from computation of the intersecting probability between a plane couple and a convex body. ResearchGate Res. 2015. [Google Scholar] [CrossRef]
  6. Mitrinović, D.S.; Pečarić, J.E.; Fink, A.M. Classical and New Inequalities in Analysis; Kluwer Academic Publishers: Dordrecht, The Netherlands; Boston, MA, USA; London, UK, 1993. [Google Scholar]
  7. Schilling, R.L.; Song, R.; Vondraček, Z. Bernstein Functions—Theory and Applications, 2nd ed.; De Gruyter Studies in Mathematics; Walter de Gruyter: Berlin, Germany, 2012; Volume 37. [Google Scholar]
  8. Widder, D.V. The Laplace Transform; Princeton University Press: Princeton, NJ, USA, 1946. [Google Scholar]
  9. Andrews, G.E.; Askey, R.; Roy, R. Special Functions; Cambridge University Press: Cambridge, UK, 1999; Volume 71. [Google Scholar]
  10. Slavić, D.V. On inequalities for Γ(x+1)/Γ(x+1/2). Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. Fiz. 1975, 498–541, 17–20. [Google Scholar]
  11. Copson, E.T. Asymptotic Expansions; Cambridge University Press: Cambridge, UK, 2004; Volume 55. [Google Scholar]
  12. Olver, F.W.J.; Lozier, D.W.; Boisvert, R.F.; Clark, C.W. (Eds.) NIST Handbook of Mathematical Functions; Cambridge University Press: Cambridge, UK, 2010.
  13. Furman, E.; Zitikis, R. A monotonicity property of the composition of regularized and inverted-regularized gamma functions with applications. J. Math. Anal. Appl. 2008, 348, 971–976. [Google Scholar] [CrossRef]
  14. Furman, E.; Zitikis, R. Monotonicity of ratios involving incomplete gamma functions with actuarial applications. J. Inequal. Pure Appl. Math. 2008, 9, 1–6. [Google Scholar]

Share and Cite

MDPI and ACS Style

Qi, F.; Mahmoud, M. Some Properties of a Function Originating from Geometric Probability for Pairs of Hyperplanes Intersecting with a Convex Body. Math. Comput. Appl. 2016, 21, 27. https://doi.org/10.3390/mca21030027

AMA Style

Qi F, Mahmoud M. Some Properties of a Function Originating from Geometric Probability for Pairs of Hyperplanes Intersecting with a Convex Body. Mathematical and Computational Applications. 2016; 21(3):27. https://doi.org/10.3390/mca21030027

Chicago/Turabian Style

Qi, Feng, and Mansour Mahmoud. 2016. "Some Properties of a Function Originating from Geometric Probability for Pairs of Hyperplanes Intersecting with a Convex Body" Mathematical and Computational Applications 21, no. 3: 27. https://doi.org/10.3390/mca21030027

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop