Some Investigations about the Properties of Maximum Likelihood
Estimations Based on Lower Record Values for a Sub-Family of the
Exponential Family
S. D. Gore1, P. Nasiri2, S. Hosseini3, and M. F. Naeini4

Abstract:
Here, in this paper it has been considered a sub family of exponential family. Maximum likelihood
estimations (MLE) for the parameter of this family, probability density function, and cumulative density
function based on a sample and based on lower record values have been obtained. It has been considered
Mean Square Error (MSE) as a criterion for determining which is better in different situations.
Additionally, it has been proved some theories about the relations between MLE based on lower record
values and based on a random sample. Also, some interesting asymptotically properties for these
estimations have been shown during some theories.
Keywords: Exponential Family, Lower Record Values, ML Estimation, Asymptotically Un-biasedness.
1- Introduction:
For the first time, Chandler in 1952 introduced the concept of record values and record times. After him
and in a short period of time there were done a large amount of researches about this new topic by
statisticians. Shorrock in 1973 obtained some asymptotically conclusion in the field of record values, in
the same time Ahsanullah during a paper named “an introduction to record values” clarified basic
concepts of record theory (Ahsanullah 1973). Record theory is useful topic that is used in any branch of
science from economy to any competitive phenomena. For the recent researches in this field it can be
mentioned works of Ahmadi & Doostparast (2006), Eric Marchand & Parsian (2009), Nasiri and Hosseini
(2013).
Before beginning the main topics it is needed to introduce a sub-family of exponential family. Generally
f X ( x; ) determines exponential family if

f ( x; )  h( x) g ( )exp{( )T ( x)},
Here, it is considered an important sub family of exponential family as bellow

F ( x; )  exp{ B( ) A( x)},
It is called second type of exponential family during this paper. In which A is a decreasing function and
1

Sharad Damodar Gore is a professor at department of statistics, Savirtibai Phule Pune University, India
Parviz Nasiri is an associate professor at Payam Noor University of Tehran, Iran
3
Correspondent author, he is a lecturer at Chihan University of Erbil, Kurdistan Independent Region, Iraq. Email
them at Saman.hosseini@cihanuniversity.ac.iq
4
She has been graduated from Amir Kabir University of Technology, Tehran, Iran
2

1

B( )  0; x  [a, b]; A(a)  , A(b)  0; a, b 
It is possible to investigate a lot of distributions by considering the second type of exponential family.
The following table clarifies the subject.

Table 1.1: examples of the second type exponential family
Distribution Name
B( )


Frechet

A( x )  x
Gumbel
A( x)  exp(  x)
B( )  exp( )
Power function
A( x)   Ln( x)
B( )  

A( x)

In this section it is tried to study theorems about the relation between ML estimations based on a random
sample and ML estimation based on lower record values.
2- Maximum Likelihood Estimations Based on Lower Record Values and Based on a Random
Sample for Unknown Parameter of Type II Exponential Family
In this section it is tried to study some theorems about the relation between ML estimations based on a
random sample and ML estimation based on lower record values. Also, considering MSE as medium of
assessment, it is shown that in some cases estimations based on lower record values have less value of
error. Remember the general form for this family is as follows.

F ( x; )  exp{ A( x) B( )}; B( )  0, x  [a, b], A(a)  , A(b)  0, a  , b  .

F ( x; )  exp{ A( x) B( )}, that’s why, probability density function is obtained as :

f ( x;  )   A' ( x) B( ) exp{ A( x) B( )}.
Considering a random sample of size n, the joint probability density function for a random sample is
obtained as following.
n

n

n

i 1

i 1

i 1

f ( x1 ,..., xn ; )   f ( xi ; )   ( 1) n B n ( ) A' ( xi ) exp{ B( )  A( xi )} 
n

n

i 1

i 1

B n ( ) { A' ( xi )}exp{ B( ) A( xi )}.
Hence,
n

L  log f  x1 ,, xn ;   nlogB    log{
i 1

n
1
}

B

A X i .



A' ( X i )
i 1

2

As previously said, the maximum likelihood estimation is calculated by solving the equation

L
 0,


therefore
n
L
nB ' ( )
n
0
 B '   A  X i   0  B    n
,

B( )
A
X
i 1


i1 i

(1)

assuming that B( ) is an one-to-one function, the above equation will be solved like this

  B 1 (

n

i1A  X i 
n

).

Since the cumulative distribution function F ( x; )  exp{ A( x) B( )} with the properties and the
conditions described for A and B is a continuous function, it is possible to derive the first and the
second order derivatives. So,
n
 2 L nB '' ( ) B( )  n[ B ' ( )]2
''


B
(

)
t
,
(
t

A( xi ))

 2
B 2 ( )
i 1

(2)

In addition, substituting (1) in (2), the below result is reached.

 L
 2 B 
2

n

i 1A X i 
n

n
nB '' ( )( )  n[ B ' ( )]2
[ B ' ( )t ]2
''
t

 B ( )t  
 0.
n
n
( )2
t

(3)

The value of second derivative is less than zero therefore; the relations (1) and (3) tell us the following
estimation is ML estimation.

ˆMLE ,( X ,..., X )  B 1 (
1

n

n



n

A Xi 

i 1

n

), T   X i .
i 1

On the other hand A( X i ) is distributed as Exponential distribution with parameter

1
.
B ( )

P( A( X i )  t )  P( A( X i )  t )  1  (1  F (t; ))  F (t; )  1  Exp(  B( )t ) .
On the other hand, A( X i ) ’s are independent variable that’s why it is possible to find the distribution of

 A  X  easily like follow:
n

i 1

i

n

T   A( X i )
i 1

distribution
1
Gamma (n,
).

B( )

3

As a result

ˆ

distribution



n
B 1 ( )
T

(4)

distribution



in which T

Gamma(n,

1
).
B( )

On the other hand, with respect to the definition, the lower record values of the joint probability density
function ( R1' ,..., Rn' ) are resulted as follows (Arnold, Balakrishnan and Nagaraja, 1998).
n 1

f  r , , r ;    f  r ;   
'
1

'
n

'
n

i 1

f  ri' ; 

F  ri' ; 

n 1

 (  A' ( rn' ) B( )) exp{ B( ) A( rn' )}{  A' ( ri' ) B( )}
i 1

n

 B n ( ){ A' ( ri' )}exp{ B( ) A( rn' )}.
i 1

Considering the above probability density function, the maximum likelihood function based on lower
record values is obtained like below:
n

L'  log( f ( r1' ,..., rn' ))  nLog{B( )}   Log{
R

i 1

1
}  A( rn' ) B( ),
'
A ( ri )
'

the maximum likelihood estimation based on lower record values is obtained by solving the equation

 L'
R



 0 . Therefore,

ˆMLE  BASED ON LOWER RECORDS  ˆMLE ,( R ,...,R )  B 1 (
'
1

'
m

n
).
A( Rn' )

On the other hand, Rn' is distributed as the following probability density function (Arnold, Balakrishnan
and Nagaraja, 1998).

f R' ( rn' ) 
n

(  A' ( rn' )) B n ( )
( A( rn' ))n 1 exp{ A( rn' ) B( )},
(n)

therefore

ˆMLE ,( R ,..., R
'
1

'
m)

Distribution



n
B 1 ( )
T

(5)

in which

4

T  A( Rn' )

Distribution



Gamma(n,

1
)
B( )

Considering the above descriptions as well as the relations (4) and (5), the following theorem is readily
concluded.
Theorem: considering a random sample of size n from the exponential family of the second type and also
considering n values from the lower records for this family, the below relations are always true.
a) ˆMLE ,( X1 ,..., X n )

Distribution



b)  (ˆMLE ,( X1 ,..., X n ) )
c)

ˆMLE ,( R ,..., R )
'
1

Distribution



'
n

 (ˆMLE ,( R ,..., R ) ) in which  is a real function.
'
1

'
n

MSE ( (ˆMLE ,( X1 ,..., X n ) ))  MSE ( (ˆMLE ,( R' ,..., R' ) ))
1

d)

n

n
T

n
T

 ' (n)  MSE ( (ˆMLE ,( X ,..., X ) ))  MSE ( (ˆMLE ,( R ,...,R ) ))  E[ 2{B 1 ( )}]  2 ( ) E[ {B 1 ( )}]
1

'
1

n

'
n

 2 ( ),
Distribution

in which T



Gamma(n,

1
).
B( )

Proof:
Proofs for all parts are obvious considering the relations (4) and (5).
Note: From part d it is simply found out if a random of size n from exponential family of the second type
includes m values of the lower records ( m  n ), then

MSE (ˆMLE ,( R' ,...,R' ) )  MSE (ˆMLE ,( X1 ,..., X m ) )  MSE (ˆMLE ,( X1 ,..., X m ) )   ' (m).
1

m

Simply speaking, the Mean Square Error of the estimations based on m values of lower records is equal
with the MSE’s of the estimations based on a random sample of size m. In fact, this is a practically useful
note because by considering this note it can be shown that in some cases estimations abased on lower
records have less error in comparison with the ones based on random sample. The following examples
clarify this
Example 1) Let A( x)   Log ( x), B( )   , and  (t )  t . It is wanted to estimate parameter B( )  
in this case  ' (n ) is obtained as bellow

5

n
T

n
T

 ' (n )  MSE ( (ˆMLE ,( X ,..., X ) ))  MSE ( (ˆMLE ,( R ,...,R ) ))  E[ 2{B 1 ( )}]  2 ( ) E[ {B 1 ( )}]   2 ( )
1

n

'
1

'
n

2 n 1 n
 n t
n
n
n
n
 exp(  t )
 E[{B 1 ( )}2 ]  2 E[ B 1 ( )]   2  E[( ) 2 ]  2 E[ ]   2  
dt 
2
0
T
T
T
T
t
( n )

2 



0

n t n 1 n exp(  t )
dt   2 .
t
( n )

After some mathematical conclusion it is easily obtained as:

n2
2n
 (n)  (

 1) 2
(n  2)(n  1) (n  2)
'

Figure 1.2. Values of MSE for different values of n.
Considering the related figure of the above function, it is seen in each sample of size n with m values of
lower records (m<n), the estimation based on sample has less value of error in comparison with
estimation based on lower record values . It may instill the idea of uselessness of the estimation based on
lower record values in the mind, but next instance shows it is not generally true. In some cases the
estimation based on lower record values has less value of error.
Example 2) If in the previous example  (t )  et , in this case

6

n
T

n
T

n
T

n
T

 ' (n )  E[ 2{B 1 ( )}]  2 ( ) E[ {B 1 ( )}]   2 ( )  E[exp(2 )]  2 exp( ) E[exp( )]  exp(2 )
 (n)  
'



0

2n
t n 1

n  t

e t  e
( n )



dt  2e



2n
t



Considering the expansions e



0


i 0



 ' (n)  



0

(
i 0

n
t n 1

e t  n e  t
dt  e2 .
( n )

n

(2n)i
ni
t
and
, the above relation is obtained as follow
e


i
t ii !
i 0 t i !


(2n)i n 1 n  t
ni n 1 n  t
)
t

e
(
)t  e

i

t ii !

i 0 t i !
dt  2e 
dt  e2 .
0
( n )
( n )

(2n )i
The value of i is greater than zero, that’s why it is possible to interchange the integration and
t i!
summation. Therefore


 ' (n )  
i 0

n


i 0


(2n )i (n  i )  t n i 1 n i e  t
(n )i (n  i )  t n i 1 n i e  t

dt

2
e
dt  e 2



0
0
(i  1)(n )
( n  i )
( n  i )
i 0 (i  1) ( n )

n
n
(2n )i (n  i )
(n )i (n  i ) 2
(n )i (n  i ) i
2e 
e 
(2  2e )  e2 .
(i  1)(n )
i 0 (i  1) ( n )
i 0 (i  1) ( n )

Considering the graph of obtained  ' (n ) , it can be said if in a sample of size 5, 6, 7, or 8 there is just 2
value of records the MSE of ML estimation based on lower record values has less value than ML
estimation based on a random sample. Also, it is clear for samples with large size the MSE of Estimators
based on lower record values and based on a random sample are approximately the same. For example for
a sample of size 500 includes 15 value of records, we can say
approximately

MSE based on lower records



MSE based on a random of size 500.

7

Figure 2.2. Values of MSE considering different values of n in estimation of the parameter e
3. Maximum Likelihood Estimations for Cumulative Distribution Function (CDF) and Probability
Density Function (PDF) from Exponential Family of the Second Type Based on Lower Record
Values
Regarding stability property of the maximum likelihood estimations and equation (5), hereunder results
are readily obtained for PDF and CDF of the type II exponential family.

ˆ

MLE ,( R'1 ,..., R'm )

 B 1 (

m
)
A( R ' m )

( mA ( x ))
mA( x )
fˆMLE ,( R' ,...,R' ) 
exp( 
)
'
1
m
A( Rm' )
A  Rm 
'

Distribution



( nA' ( x ))
nA( x )
exp( 
)
T
T

and

mA( x )
FˆMLE ,( R' ,...,R' )  exp( 
)
1
m
A( Rm' )

Distribution

Distribution

in which T



Gamma (m,



exp( 

mA( x)
),
T

1
).
B( )

Theorem 1. If a random sample of size n, includes m values from the lower record values (

Ri' , i  1,..., m ), then the maximum likelihood estimations based on lower record values for PDF (
f ( x;  ) ) and CDF ( F ( x;  ) ) are biased estimators and

8


(m  i  1)
ˆ
i  E[ f MLE ,( R' ,...,R' ) ]   [
( 1)i {mB( )}i 1 (  A' ( x ))]{ A( x )}i
1
m
i 0 ( m ) (i  1)


ii  E[ FˆMLE ,( R' ,...,R' ) ]   [
1

m

i 0

( m  i )
{mB( ) A( x )}i ]
(m)(i  1)

Here, the second part is proven. The other part is proven similarly.

E[ FˆMLE ,( R' ,...,R' ) ]  E[exp( 
1

m

Considering the expansion e



mA( x )
e
)]  
'
0
A( Rm )


mA( x )
t




i 0



mA( x )
m 1
t

B m ( )e  B ( )t
dt
( m )

t

(6)

( mA( x ))i
and (6)
t ii !

( mA( x ))i m 1 m
t B ( )e  B ( ) t

i

t
i
!
dt   i 0
dt
0
( m )


E[ FˆMLE ,( R' ,...,R' ) ]  
1



e



0

m

mA( x )
m 1
t

t

B m ( )e  B ( ) t
( m )




(mA( x ))i m 1 m
( mA( x ))i m 1 m
 B ( ) t
t
B
(

)
e
t B ( )e  B ( ) t

i
i


t i!
t i!
dt   odd indices
dt
 0 even indices
0
( m )
( m )
A
B





In above expression

(mA( x ))i
and

t ii !
even indices



(mA( x ))i
in A and B are positive quantities and

t ii !
odd indices

that’s why it is possible to interchange the integration and summation.

E[ FˆMLE ,( R' ,...,R' ) ] 
1

m

(m  i )(mA( x ) B( ))i

(i  1)( m)
even indices






0

t mi 1B m i ( )e  B ( ) t
dt 
( m  i )



(m  i )(mA( x ) B( ))i

(i  1)( m)
odd indices



(m  i )(mA( x ) B( ))i  ( m  i )( mA( x ) B( ))i

.

(i  1)( m)
(i  1)( m)
odd indices
i 0







0


t m i 1B m i ( )e  B ( ) t
( m  i )( mA( x ) B( ))i
dt  

( m  i )
(i  1)(m)
even indices



And finally,


E[ FˆMLE ,( R' ,...,R' ) ]  
1

m

i 0

(m  i )
( mA( x) B( ))i .
(i  1)(m)

Theorem 2. Assuming that a sample of size n from distribution of the exponential family of the second
'
type includes m values of the lower records ( Ri ), the hereunder results are always true.
i 1,..., m

9

( m  i  2)

m2

i  MSE[ fˆMLE ,( R ,...,R ) ]   (mB( ) A' ( x )) 2 [
{2mB( ) A( x )}i ]
( m)(i  1)
'
1



'
m

i 0

2
( m  i  1)
me  A( x ) B ( )  (mA' ( x ) B( ))2 [
{mB( ) A( x )}i ]  { A' ( x ) B( )}2 e 2 A( x ) B ( )
m
( m)(i  1)
i 0
m 1

m 1

ii  MSE[ FˆMLE ,( R ,...,R ) ]  
'
1

'
m

i 0

( mA( x ) B( ) ( m  i ))i i
(2  2e  A( x ) B ( ) )  e 2 A( x ) B ( )
(i  1) ( m)

Proof:
The second part has been proven,

MSE ( FˆMLE ,( R' ,...,R' ) )  E ( FˆMLE ,( R' ,...,R' )  F )2  E ( Fˆ 2MLE ,( R' ,...,R' ) )  2 F ( x; ) E ( FˆMLE ,( R' ,...,R' ) )  F 2 ( x; )
1





e

n

1

n

1

2 mA( x )

m 1
t

 e
B m ( )e  B ( ) t
dt  2e  A( x ) B ( ) 
0
( m )

t

0

Considering the expansion e



mA( x )
t




i 0

n

1

n

mA( x )

m 1
t

t

B m ( )e  B ( ) t
dt  e 2 A( x ) B ( )
( m )

( mA( x ))i
,
t ii !

MSE ( FˆMLE ,( R' ,...,R' ) ) 
1

n


( 2mA( x ))i m 1 m
( mA( x ))i m1 m
 B ( ) t
t
B
(

)
e
t B ( )e  B ( ) t


i
i


t i!
t i!
  i 0
dt  2e  A( x ) B ( )  i 0
dt  e 2 A( x ) B ( )
0
0
( m )
( m )






0

(

(2mA( x ))i
(2mA( x ))i m 1 m

)t B ( )e  B ( ) t


i
i
t i!
t i!
even i
odd i
dt 
( m )

2 e  A ( x ) B ( ) 



(

0

( mA( x ))i
( mA( x ))i m 1 m

)t B ( )e  B ( ) t


i
i
t
i
!
t
i
!
even i
odd i
dt  e 2 A( x ) B ( )
( m )


In above expression


(2mA( x ))i
(2mA( x ))i
,


t ii !
t ii !
even indices
odd indices





(mA( x ))i
, and

t ii !
even indices

(mA( x ))i
are all positive quantities and that’s why it is possible to interchange the integration

t ii !
odd indices
and summation.

10

MSE ( FˆMLE ,( R' ,...,R' ) ) 
1



n

(2mA( x ))i

even i (i  1) ( m )

2e

 A ( x ) B ( )

m 1


i 0

m 1


i 0



m i 1 m
 B ( ) t
 t B ( )e dt 
0
i

( mA( x ))
(
even i (i  1) ( m )



t

m i 1

(2mA( x ))i

odd i (i  1) ( m )

B ( )e
m

0

 B ( ) t



t

m i 1

B m ( )e  B ( ) t dt

0

(2mA( x ))i
dt  
odd i (i  1) ( m )



t

m i 1

B m ( )e  B ( ) t dt )  e 2 A( x ) B ( )

0

(2mA( x )) ( m  i ) B ( )
( mA( x )) ( m  i ) B ( )
 2 e  A ( x ) B ( ) 
 e 2 A( x ) B ( )
(i  1) ( m)
(i  1) ( m)
i 0
i

m 1

i

i

i

( mA( x ) B( ) ( m  i ))i i
(2  2e  A( x ) B ( ) )  e 2 A( x ) B ( )
(i  1) ( m)

Theorem 3. Assuming that a sample of size n from the exponential distribution of the second type

( X1 ,..., X n ) includes m values of the lower records ( Ri' ), the estimators fˆMLE ,( R' ,..., R' ) and
1

i 1,..., m

m

FˆMLE ,( R' ,..., R' ) are always asymptotically unbiased estimators:
1

m

i  Lim E[ fˆMLE ,( R' ,...,R' ) ]   A( x ) B( ) exp(  A( x ) B( ))  f ( x;  )
m

1

m

ii  Lim E[ FˆMLE ,( R' ,...,R' ) ]  exp(  A( x ) B( ))  F ( x;  )
m

1

m

The following lemma is needed in order to prove the above theorem.
Lemma 1. Lim
n 

Lim
n 

(n  i  1)ni 1
 1 for the reason that
 ( n)

(n  i  1)n i 1
 Lim
n
( n )

ni
i 1

 (n  k )

 Lim
n

ni
1
ni

k 1

It must be proven that

(n  i  1)ni 1
  0, N , s.t , n  N :
 1  .
(n)
Now, assuming that  is arbitrary, N is chosen as N 

i 1

( 1)  i i 1 ( 1)
i 1

( 1)  1

. Now

(n  i  1)ni 1 (n  i  2)!ni 1
ni 1
n
n
n
n



 ... 

 ... 
 ( n)
(n  1)!
(n  1)(n  2)...(n  i  1) n  1
n  i 1 n  i 1
n  i 1
( i 1) times

11

( i 1) times

On the other hand, it can be simply shown that

n  N , and , i  1,2,3,..., N  2 :

n
N

,
n  i 1 N  i 1

thus

n
n
N
N
 ... 
 ... 
n  i 1
n  i 1  N  i 1
N  i 1,
(i  1)times
(i  1)times
and consequently

n  N :

(n  i  1)ni 1
N
N
.

 ... 
 ( n)
N  i 1
N  i 1
( i 1) times

Finally by substituting N 

i 1

( 1)  i i 1 ( 1)
i 1

( 1)  1

in the last relation, the following result is reached:

(n  i  1)ni 1
 1
 ( n)
Proof:
Only the first part is proven; the other parts have similar proofs. First notice that

(m  i  1)
Lim[ fˆMLE ,( R' ,...,R' ) ]   [ Lim
( 1)i mi 1{B( )}i 1 A' ( x )]{ A( x )}i ]
1
m
m

(
m
)

(
i

1)
m

i 0


  Lim(
i 0

n 

(m  i  1)mi 1 { B( )}i B( ) A' ( x ){ A( x )}i ]
]
( m )
(i  1)

Considering lemma 1

{ A( x ) B( )}
Lim[ fˆMLE ,( R' ,...,R' ) ]  
B( ) A' ( x )  A '( x ) B( ) exp{ A( x ) B( )}.
1
n
m
i
!
i 0


i

Theorem 4. In the exponential family of the second type, if the sample ( X1 ,..., X n ) has m values from
'
the lower records ( Ri ), then the maximum likelihood estimations for the distribution function and the
i 1,..., m

probability density function based on random sample and on lower records are consistent estimators for
the probability density function and for the distribution function.

12

P
i  fˆMLE ,( R' ,...,R' ) 
 f ( x )
1

m

P
ii  FˆMLE ,( R' ,...,R' ) 
 F ( x ).
1

m

Proof. Here it is just proven the first part; the second part has a similar proof. It is considered the
following abbreviation just for easiness.

fˆMLE ,( R' ,...,R' )  fˆMLE ,R' .
1

m

Based on the Markov’s theorem

P{  fˆMLE ,R'  E[ fˆMLE ]} 

Var ( fˆMLE ,R' )



.

On the other hand, it is concluded by some mathematical calculations that

(m  i  2)
E[{ fˆMLE ,R' }2 ]  
{ A '( x )}2 {B( )}2 ( 2)i {mB( )}i { A( x )}i ,

(
i

1)

(
m
)
i 0

and consequently:

(m  i  2)
Var( fˆMLE ,R' )  
{ A '( x )}2{B( )}2 ( 2)i {mB( )}i { A( x)}i  {E[ fˆMLE ,R' ]}2
i 0 (i  1) ( m)

thus


LimVar ( fˆMLE ,R' )   Lim[
n 

i 0

n

mi (m  i  2) {2 B( )}i { A( x )}i
]
{ A '( x )}2 {B( )}2  { f ( x )}2
( m )
(i  1)

 { A '( x )}2 {B( )}2 exp{2 A( x ) B( )}  { f ( x )}2  0.
Therefore

Lim P{ fˆMLE ,R'  E[ fˆMLE ,R' ]   }  0
n

so

P
fˆMLE ,R' 
 E[ fˆMLE ,R' ]

P
fˆMLE ,R'  E[ fˆMLE ,R' ] 
0
P
On the other hand, it is reminded that if Lim am  a and Y 
 b then (Billingsley (1995))

m

P
Y  am 
b  a

(7)

Considering (7) and respecting the first part of theorem 3 ( Lim E[ fˆMLE ,R' ]  f ( x ) ), it is obtained that
n

P
fˆMLE ,R'  E[ fˆMLE ,R' ]  E[ fˆMLE ,R' ]  f 
0

,

13

or

or equally
P
fˆ( MLE ,R' ,...,R' ) 
 f ( x; )
1

m

Theorem 5. If the sample ( X1 ,..., X n ) has m values from the lower records ( Ri' ), then the maximum
i 1,..., m

likelihood estimations based on lower records are consistent estimations for 
P
ˆMLE ,( R ,...,R ) 

'
1

'
m

Proof:
With respect to the continuity of functions B(t ),  Log (1  t ), F (t )  1  exp{ A(t ) B( )}, and the
continuity theorem of composite functions, it is concluded that the function D(t )  B(
is always continuous on

 Log (1  F (t ))
)
A( x)

. On the other hand, it is known from the second part of theorem 4 that

P
FˆMLE ,( R1 ,...,Rm ) 
 F ( x ),

or equivalently
P
A( x) B(ˆMLE ,( R1 ,..., Rm ) ) exp{ A( x) B(ˆMLE ,( R1 ,..., Rm ) )} 
 F ( x) .

Now
P
D( FˆMLE ,( R1 ,..., Rm ) ) 
 D( F ( x))

which is equivalent to
P
ˆMLE ,( R ,..., R ) 

1

m

4. Conclusions
In the beginning, a general subfamily from the exponential family was considered, it was tried to obtain
the ML estimations based on a random sample and based on lower record values for unknown parameter
of this family; then, relations between these estimations were shown theoretically. It was engaged via
some theorems to description of this problem that the record estimations can be acceptable in general
state. Additionally, the ML estimations based on a random sample and based on lower record values were
calculated for the CDF and PDF of this sub-family, and their corresponding errors were described and
studied by using some theorems; in addition, it was proven that at asymptotical states, these estimations
are unbiased. Subsequently, several theorems associated with convergence in probability were expressed
for the resulted estimators.

14

References

1- Chandler, K. N. (1952). The distribution and frequency of record values. Journal of the Royal
Statistical Society. Series B (Methodological), 220-228.
2- Shorrock, R. W. (1972). A limit theorem for inter-record times. Journal of Applied
Probability, 9(1), 219-223.
3- Ahsanullah, M. (1988). Introduction to record values.
4- Ahmadi, J., Doostparast, M., & Parsian, A. (2005). Estimation and prediction in a two-parameter
exponential distribution based on k-record values under LINEX loss function. Communications in
Statistics–Theory and Methods, 34(4), 795-805.
5- Ahmadi, J., & Doostparast, M. (2006). Bayesian estimation and prediction for some life
distributions based on record values. Statistical Papers, 47(3), 373-392.
6- Ahmadi, J., Jozani, M. J., Marchand, É., & Parsian, A. (2009). Bayes estimation based on krecord data from a general class of distributions under balanced type loss functions. Journal of
Statistical Planning and Inference, 139(3), 1180-1189.
7- Baklizi, A. (2008). Likelihood and Bayesian estimation of using lower record values from the
generalized exponential distribution. Computational Statistics & Data Analysis, 52(7), 34683473.
8- Raqab, M. Z., Ahmadi, J., & Doostparast, M. (2007). Statistical inference based on record data
from Pareto model. Statistics, 41(2), 105-118.
9- Nasiri, P., & Hosseini, S. (2012). Statistical inferences for Lomax distribution based on record
values (Bayesian and classical). Journal of Modern Applied Statistical Methods, 11(1), 15.
10- Ahmadi, J., & Balakrishnan, N. (2004). Confidence intervals for quantiles in terms of record
range. Statistics & probability letters, 68(4), 395-405.
11- Nasiri, P., Hosseini, S., Yarmohammadi, M., & Hatami, F. (2013). Bayesian inference for
exponential distribution based on upper record range. Arabian Journal of Mathematics, 2(4), 349364.
12- B. C. Arnold, N. Balakrishnan, H.N. Nagaraja,"records,"John Wiley and Sons,Canada1998.
13- Billingsley, P. (1995). Probability and Measure, ser. Probability and Mathematical Statistics.
New York: Wiley.

15

