The research in this paper is intended as an attempt to motivate the work of Zhefei He and Mingjin Wang (An inequality for covariance with applications, 2015). More precisely, In this research we first provide a generalized inequality for covariance. And then, we present its applications to solve some problems about probability distribution. Finally, we state the conclusion and mention the relevant work in the future.
There are two inequalities which take important places in mathematics. One is the inequalities of the Cebysev type or the Ostrowski type, which is mainly applied in probability theory, mathematical statistics, information theory, numerical integration, and integral operator theory. Another one is the inequalities which involves the moments of the random variables. In this paper, we will present our study in the Cebysev type. Firstly we show the Cebysev functional which is defined as follows:
T ( a , b ) = 1 b − a ∫ a b f ( x ) g ( x ) d x − 1 b − a ∫ a b f ( x ) d x ⋅ 1 b − a ∫ a b g ( x ) d x , (1)
where the two functions f , g : [ a , b ] → R are measurable.
In 1882, Cebysev [
| T ( a , b ) | ≤ 1 12 ( b − a ) 2 ‖ f ′ ‖ ∞ ‖ g ′ ‖ ∞ , (2)
where ‖ f ′ ‖ ∞ = sup x ∈ [ a , b ] | f ′ ( x ) | , ‖ g ′ ‖ ∞ = sup x ∈ [ a , b ] | g ′ ( x ) | .
Over the years, according Cebysev inequality, some new inequalities of Ostrowski-Cruss type or Ostrowski-Cebysev type have been obtained, see e.g. [
E ξ = ∫ a b x d Ϝ ξ ( x ) , D ξ = E ( ξ − E ξ ) 2 . (3)
For two random variables ξ , η , the covariance of ξ and η is defined by
C o v ( ξ , η ) = E ( ξ η ) − E ( ξ ) ⋅ E ( η ) (4)
Applying the Lagrange mean theorem (That is, for any differentiable function F in [ a , b ] , there exists a number ε ∈ ( a , b ) satisfying
F ( b ) − F ( a ) = F ′ ( ε ) ( b − a ) ),
we can get the following two inequalities
{ | f ( x ) − E f ( ξ ) | 2 = E 2 [ f ( x ) − f ( ξ ) ] ≤ ‖ f ′ ‖ ∞ 2 [ ( x − E ξ ) 2 + D ξ ] D ( f ( ξ ) ) = E [ f ( x ) − E f ( ξ ) ] 2 ≤ 2 ‖ f ′ ‖ ∞ 2 D ξ . (5)
Similarly we have
D ( g ( ξ ) ) ≤ 2 ‖ g ′ ‖ ∞ 2 D ξ . (6)
Therefore,
C o v ( f ( ξ ) , g ( ξ ) ) ≤ D f ( ξ ) D g ( ξ ) ≤ 2 ‖ f ′ ‖ ∞ ‖ g ′ ‖ ∞ D ξ . (7)
Moreover, as the application of the new inequality, the random variable ξ was given a certain distribution, the uniform distribution u [ a , b ] . A new equality has been made as below,
| T ( a , b ) | ≤ 1 6 ( b − a ) 2 ‖ f ′ ‖ ∞ ‖ g ′ ‖ ∞ . (8)
Obviously, in the process of proving this inequality (4), the proof of the inequality (5) was the key to accomplish the proof. The main result of this paper is the following theorem which generalizes the inequality (5), then we obtain a new inequality for covariance which involves three continuous functions with bounded ratios between the derivatives of two of them and the third one.
In this section, we assume throughout this section and next section that ξ is a random variable having the cumulative distributing function Ϝ , and give a proof of the following theorem.
Theorem 2.1. Suppose that the three functions f , g , H : [ a , b ] → R are continuous in [ a , b ] and differentiable in ( a , b ) , the ratios of two derivatives
f ′ H ′ , g ′ H ′ : ( a , b ) → R are bounded in ( a , b ) . If ξ is a random variable which
has finite expected value E ξ , then we have
C o v ( f ( ξ ) , g ( ξ ) ) ≤ 2 ‖ f ′ H ′ ‖ ∞ ‖ g ′ H ′ ‖ ∞ D ( H ( ξ ) ) (9)
Particularly, let H ( x ) = x , the inequality is (7).
Proof. By using the hypotheses, we have f ( ξ ) is bounded, so the expected value E ( f ( ξ ) ) exists. Applying the definition of the variance and the Cauchy mean theorem, we can get
D ( f ( ξ ) ) = E ( f ( ξ ) − E ( ξ ) ) 2 = ∫ a b ( f ( x ) − ∫ a b f ( t ) d Ϝ ξ ( t ) ) 2 d Ϝ ξ ( x ) = ∫ a b [ ∫ a b ( f ( x ) − f ( t ) ) d Ϝ ξ ( t ) ] 2 d Ϝ ξ ( x ) = ∫ a b ∫ a b [ f ( x ) − f ( t ) H ( x ) − H ( t ) ( H ( x ) − H ( t ) ) d Ϝ ξ ( t ) ] 2 d Ϝ ξ ( x ) ≤ ‖ f ′ H ′ ‖ ∞ 2 ∫ a b ( ∫ a b ( H ( x ) − H ( t ) ) d Ϝ ξ ( t ) ) 2 d Ϝ ξ ( x ) . (10)
Applying the Cauchy inequality, one has
D ( f ( ξ ) ) ≤ ‖ f ′ H ′ ‖ ∞ 2 ∫ a b ∫ a b ( H ( x ) − H ( t ) ) 2 d Ϝ ξ ( t ) d Ϝ ξ ( x ) = 2 ‖ f ′ H ′ ‖ ∞ 2 D ( H ( ξ ) ) . (11)
Similarly we have
D ( g ( ξ ) ) ≤ ‖ g ′ H ′ ‖ ∞ 2 ∫ a b ∫ a b ( H ( x ) − H ( t ) ) 2 d Ϝ ξ ( t ) d Ϝ ξ ( x ) = 2 ‖ g ′ H ′ ‖ ∞ 2 D ( H ( ξ ) ) . (12)
Therefore,
| C o v ( f ( ξ ) , g ( ξ ) ) | ≤ D f ( ξ ) D g ( ξ ) ≤ 2 ‖ f ′ H ′ ‖ ∞ ‖ g ′ H ′ ‖ ∞ D ( H ( ξ ) ) , (13)
which completes the proof of Theorem 2.1.
In this section, we will generate some applications of the inequality (9) based on some probability distributions. First, assume that ξ has the uniform distribution u [ a , b ] , we list the following consequence.
Theorem 3.1. Suppose that H ( x ) = x k , k ∈ ℤ + , and f , g : [ a , b ] → R are continuous in [ a , b ] and differentiable in ( a , b ) , the ratios of two derivatives
f ′ H ′ , g ′ H ′ : ( a , b ) → R are bounded in ( a , b ) . Then
| T ( f , g ) | ≤ 2 ‖ f ′ k x k − 1 ‖ ∞ ‖ g ′ k x k − 1 ‖ ∞ [ 1 2 k + 1 ⋅ ∑ i = 0 2 k a i b 2 k − i − 1 ( k + 1 ) 2 ( ∑ i = 0 k a i b k − i ) 2 ] . (14)
Proof. Let ξ is a random variable which possesses the uniform distribution u [ a , b ] , which implies that ξ has the following probability density distribution:
ω ( x ) = { 1 b − a a ≤ x ≤ b . 0 otherwise . (15)
Therefore,
C o v ( f ( ξ ) , g ( ξ ) ) = E f ( ξ ) g ( ξ ) − E f ( ξ ) ⋅ E g ( ξ ) = 1 b − a ∫ a b f ( x ) g ( x ) d x − 1 b − a ∫ a b f ( x ) d x ⋅ 1 b − a ∫ a b g ( x ) d x = T ( f , g ) , (16)
and
E ( ξ k ) = ∫ a b ( x ) k ⋅ ω ( x ) d x = ∫ a b ( x ) k ⋅ 1 b − a d x = 1 b − a ⋅ 1 k + 1 ( b k + 1 − a k + 1 ) , D ( ξ k ) = 1 b − a ⋅ 1 2 k + 1 ( b 2 k + 1 − a 2 k + 1 ) − [ 1 b − a ⋅ 1 k + 1 ( b k + 1 − a k + 1 ) ] 2 = 1 2 k + 1 ∑ i = 0 2 k a i b 2 k − i − 1 ( k + 1 ) 2 ( ∑ i = 0 k a i b k − i ) 2 . (17)
By plugging (16) and (17) into (9), we obtain the conclusion of Theorem 3.1.
Next, we can also prove the following theorem while ξ has the uniform distribution the Gamma distribution Γ ( α , λ ) ,
Theorem 3.2. Suppose that H ( x ) = x k , k ∈ ℤ + , and f , g : [ 0 , + ∞ ) → R are continuous in [ 0 , + ∞ ) and differentiable in ( 0 , + ∞ ) , the ratios of two derivatives
f ′ H ′ , g ′ H ′ are bounded in ( 0 , + ∞ ) . Then for any α , λ > 0 ,
| λ α Γ ( α ) ∫ 0 + ∞ f ( x ) g ( x ) x α − 1 e − λ x d x − λ 2 α Γ 2 ( α ) ∫ 0 + ∞ f ( x ) x α − 1 e − λ x d x ∫ 0 + ∞ g ( x ) x α − 1 e − λ x d x | ≤ 2 λ 2 k ‖ f ′ k x k − 1 ‖ ∞ ‖ g ′ k x k − 1 ‖ ∞ [ ∏ i = 0 2 k − 1 ( α + i ) − ( ∏ i = 0 k − 1 ( α + i ) ) 2 ] , (18)
where Γ ( α ) = ∫ 0 + ∞ x α − 1 e − x d x is the Gamma function.
Proof. Since the random variable ξ has the Gamma distribution, its probability density distribution is described as below,
ω ( x ) = { λ α Γ ( α ) x α − 1 e − λ x x ≥ 0 , 0 x < 0. (19)
Here, the parameters α > 0 , λ > 0 . By direct calculation,
C o v ( f ( ξ ) , g ( ξ ) ) = E f ( ξ ) g ( ξ ) − E f ( ξ ) ⋅ E g ( ξ ) = λ α Γ ( α ) ∫ 0 + ∞ f ( x ) g ( x ) x α − 1 e − λ x d x − λ α Γ ( α ) ∫ 0 + ∞ f ( x ) x α − 1 e − λ x d x
⋅ λ α Γ ( α ) ∫ 0 + ∞ g ( x ) x α − 1 e − λ x d x , (20)
and
E ( ξ k ) = ∫ 0 + ∞ x k λ α x α − 1 Γ ( α ) e − λ x d x = ∫ 0 + ∞ t α + k − 1 λ k Γ ( α ) e − t d t = Γ ( α + k ) λ k Γ ( α ) ( let t = λ x ) , D ( ξ k ) = E ( ξ k ) 2 − [ E ( ξ k ) ] 2 = Γ ( α + 2 k ) λ k Γ α − ( Γ ( α + k ) ) 2 λ 2 k ( Γ ( α ) ) 2 = Γ ( α ) ∏ i = 0 2 k − 1 ( α + i ) λ 2 k Γ ( α ) − [ Γ ( α ) ∏ i = 0 k − 1 ( α + i ) λ k Γ ( α ) ] 2 . (21)
By plugging (20) and (21) into (9), we get the conclusion (18). This completes the proof of Theorem 3.2.
After that, we consider the issue that ξ has the Beta distribution B ( a , b ) and give the following theorem,
Theorem 3.3. Suppose that H ( x ) = x k , k ∈ ℤ + , and f , g : [ 0 , 1 ] → R are continuous in [ 0 , 1 ] and differentiable in ( 0 , 1 ) , the ratios of two derivatives
f ′ H ′ , g ′ H ′ are bounded in ( 0 , 1 ) . Then for any a , b > 0 ,
| Γ ( a + b ) Γ ( a ) Γ ( b ) ∫ 0 1 f ( x ) g ( x ) x a − 1 ( 1 − x ) b − 1 d x − Γ 2 ( a + b ) Γ 2 ( a ) 2 Γ ( b ) ∫ 0 1 f ( x ) x a − 1 ( 1 − x ) b − 1 d x ∫ 0 1 g ( x ) x a − 1 ( 1 − x ) b − 1 d x | ≤ 2 ‖ f ′ k x k − 1 ‖ ∞ ‖ g ′ k x k − 1 ‖ ∞ [ ∏ i = 0 2 k − 1 a + i a + b + i − ( ∏ i = 0 k − 1 a + i a + b + i ) 2 ] . (22)
Proof. Since the random variable ξ has the Beta distribution. To prove this theorem, we write out its probability density distribution function,
ω ( x ) = { Γ ( a + b ) Γ ( a ) Γ ( b ) x a − 1 ( 1 − x ) b − 1 0 ≤ x ≤ 1 , 0 otherwise . (23)
Then we can get
C o v ( f ( ξ ) , g ( ξ ) ) = E f ( ξ ) g ( ξ ) − E f ( ξ ) ⋅ E g ( ξ ) = Γ ( a + b ) Γ ( a ) Γ ( b ) ∫ 0 1 f ( x ) g ( x ) x a − 1 ( 1 − x ) b − 1 d x − Γ ( a + b ) Γ ( a ) Γ ( b ) ∫ 0 1 f ( x ) x a − 1 ( 1 − x ) b − 1 d x ⋅ Γ ( a + b ) Γ ( a ) Γ ( b ) ∫ 0 1 g ( x ) x a − 1 ( 1 − x ) b − 1 d x (24)
and
E ( ξ k ) = ∫ 0 1 x k Γ ( a + b ) Γ ( a ) Γ ( b ) x a − 1 ( 1 − x ) b − 1 d x = Γ ( a + b ) Γ ( a ) Γ ( b ) B ( a + k , b ) = Γ ( a + b ) Γ ( a ) Γ ( b ) ⋅ Γ ( a + k ) Γ ( b ) Γ ( a + b + k ) = Γ ( a + b ) Γ ( a ) Γ ( b ) ⋅ Γ ( a ) Γ ( b ) ∏ i = 0 k − 1 ( a + i ) Γ ( a + b ) ∏ i = 0 k − 1 ( a + b + i ) = ∏ i = 0 k − 1 a + i a + b + i (25)
and
D ( ξ k ) = E ( ξ k ) 2 − [ E ( ξ k ) ] 2 = ∏ i = 0 2 k − 1 a + i a + b + i − ( ∏ i = 0 k − 1 a + i a + b + i ) 2 (26)
Putting (24), (25) and (26) into (9), we get (22).
Finally, when ξ satisfies the standard normal distribution N ( 0 , 1 ) , we can also prove the following theorem by using the similar method,
Theorem 3.4. Suppose that H ( x ) = x k , k ∈ ℤ + , and f , g : ( − ∞ , + ∞ ) → R are continuous in ( − ∞ , + ∞ ) and differentiable in ( − ∞ , + ∞ ) , the ratios of two
derivatives f ′ H ′ , g ′ H ′ are bounded in ( − ∞ , + ∞ ) . Then for any n ∈ ℤ + ,
| 1 2π ∫ − ∞ + ∞ f ( ξ ) g ( ξ ) e − x 2 2 d x − 1 2π ∫ − ∞ + ∞ f ( ξ ) e − x 2 2 d x ∫ − ∞ + ∞ g ( ξ ) e − x 2 2 d x | ≤ { 2 ( 2 k − 1 ) ! ! ‖ f ′ k x k − 1 ‖ ∞ ‖ g ′ k x k − 1 ‖ ∞ , k = 2 n − 1 2 [ ( 2 k − 1 ) ! ! − ( ( k − 1 ) ! ! ) 2 ] ‖ f ′ k x k − 1 ‖ ∞ ‖ g ′ k x k − 1 ‖ ∞ , k = 2 n (27)
Proof. Since the random variable ξ has the standard normal distribution N ( 0 , 1 ) , The probability density distribution function is
ω ( x ) = 1 2π ∫ − ∞ + ∞ e − x 2 2 d x . (28)
According to the definition of covariance and expectation, we have
C o v ( f ( ξ ) , g ( ξ ) ) = E f ( ξ ) g ( ξ ) − E f ( ξ ) E g ( ξ ) = 1 2π ∫ − ∞ + ∞ f ( ξ ) g ( ξ ) e − x 2 2 d x − 1 2π ∫ − ∞ + ∞ f ( ξ ) e − x 2 2 d x ∫ − ∞ + ∞ g ( ξ ) e − x 2 2 d x (29)
and
E ( ξ k ) = ∫ − ∞ + ∞ x k ⋅ 1 2 π e − x 2 2 d x , (30)
Evidently, E ( ξ k ) = 0 while k is odd. When k is an even number, by using the method of mathematical induction, we can conclude that E ( ξ k ) = ( k − 1 ) ! ! . More precisely, the procedure has been showed as follows, when k = 2 ,
E ( ξ 2 ) = 2 π ∫ 0 + ∞ x 2 e − x 2 2 d x = 2 π ∫ 0 + ∞ u 2 e − u 2 d u = 2 π ∫ 0 + ∞ t 1 2 e − t d t = 2 π Γ ( 3 2 ) = 1 = ( 2 − 1 ) ! ! ,
For an positive even number k, suppose that E ( ξ k ) = ( k − 1 ) ! ! . By direct calculation, we obtain
E ( ξ k ) = 2 π ∫ 0 + ∞ x k e − x 2 2 d x = 2 ( 2 ) k π ∫ 0 + ∞ u k e − u 2 d u = ( 2 ) k π ∫ 0 + ∞ t k − 1 2 e − t d t = ( 2 ) k π Γ ( 1 + k 2 ) .
Therefore,
E ( ξ k + 2 ) = 2 π ∫ 0 + ∞ x k + 2 e − x 2 2 d x = 2 ( 2 ) k π Γ ( 3 + k 2 ) = 2 ( 2 ) k π ⋅ k + 1 2 Γ ( k + 1 2 ) = ( k + 1 ) E ( ξ k ) = [ ( k + 2 ) − 1 ] ! ! ,
which by induction shows the fact that E ( ξ k ) = ( k − 1 ) ! ! , when k is even.
Similarly, by the same method, we can also prove that for any n ∈ ℤ + ,
D ( ξ k ) = { ( 2 k − 1 ) ! ! k = 2 n − 1 , ( 2 k − 1 ) ! ! − [ ( k − 1 ) ! ! ] 2 k = 2 n . (31)
This equality, combines with (29), (30) and (9), implying the conclusion (27) in Theorem 3.4.
Concerning the new generalized inequality, we have shown that the process of its proof and given some inequalities as applications, which were similar as the Cebysev type inequalities. Based on He and Wang’s consequences, the inequality for covariance as well as the applications of the main result has been generalized. However, in the section of the application, considering the significance of the normal distribution in the whole area of probability theory, it was as applications that let the random variable ξ possessed the standard normal distribution. That is all consequences what we have obtained.
Nevertheless, before starting this task, a comparison of the inequality (8) with the inequality (2) had been made. Overwhelmingly, if we can prove the inequality | C o v ( f ( ξ ) , g ( ξ ) ) | ≤ ‖ f ′ ‖ ∞ ‖ g ′ ‖ ∞ D ξ , and give the random variable ξ a certain distribution, such as the uniform distribution, we would give a new proof of the well-known Cebysev integral inequality. Therefore whether the coefficient 2 could be 1 evoked our keen interest. We went to do a lot of efforts. Most important, the consequence may be enlarged. Because we found that three enlargements have been applied in the process of the proof of the inequality (5). So we calculated the covariance immediately with integration to reduce the times of using enlargement. Some results have been made. However, it is a higher level of capacity that we need in the course of studying this issue. It was so regrettable that we have not accomplished that task. About the future work of this task, there are two directions we can make great efforts. One is how we can generate the consequence from the one dimensional space R to the multidimensional space Rn, and another one is how to find the approach of accomplishing that anticipated issue.
The authors would like to thank the reviewers for their detailed and helpful suggestions for revising this paper. This work was supported by the National Natural Science Foundation of China (Grant no. 11761027), the Natural Science Foundation of Hainan Province (Grant no. 2018CXTD338), the Scientific Research Foundation of Hainan Province Education Bureau (Grant no. Hnky2016-14), and the Educational Reform Foundation of Hainan Province Education Bureau (Grant no. Hnjg2017ZD-13).
The authors declare no conflicts of interest regarding the publication of this paper.
Lin, S.Y. and Chen, Y.Y. (2018) A Generalized Inequality for Covariance and Its Applications. Applied Mathematics, 9, 1081-1089. https://doi.org/10.4236/am.2018.99073