Research Journal of Mathematics and Statistics 6(1): 1-5, 2014

advertisement
Research Journal of Mathematics and Statistics 6(1): 1-5, 2014
ISSN: 2042-2024, e-ISSN: 2040-7505
© Maxwell Scientific Organization, 2014
Submitted: September 18, 2013
Accepted: November 23, 2013
Published: February 25, 2014
Estimate by the L2 Norm of a Parameter Poisson Intensity Discontinuous
Demba Bocar Ba
UFR SET-Université de Thiès BP 967, Senegal
Abstract: The model considered has two types of discontinuities. The first parameter is a parameter of scale; the
second is a parameter of translation. The aim of study is to show that the minimum distance estimator is consistent
and asymptotically normal. The problem of estimation studied in this work is the same time singular and regular. It
is singular because the intensity is a discontinuous function and we obtains the consistency with the discontinuity
and the study of asymptotic normality is based on the regularity of the function Λ(πœƒπœƒ, 𝑑𝑑).
Keywords: Asymptotic properties, minimum distance estimator, parameter estimation, Poisson process, singular
estimation
INTRODUCTION
We also studied the asymptotic behaviour of the
maximum likelihood estimator and the Bayesian
estimator (Ba et al., 2008).
The present study is devoted to the dimensional
case i.e., we suppose that the intensity function 𝑆𝑆(𝜈𝜈, 𝑑𝑑)
depends to 2 dimensional parameter 𝜈𝜈 = (𝛾𝛾1 , 𝛾𝛾2 ). Our
objective is to study the Minimum Distance Estimator
(MDE) built from the norm L2. We show that the MDE
is consistent and asymptotically normal. We studied the
proprieties of the estimators using other norms and
others models. Moreover in the case not hilbertien, it
was shown in the studies of Kutoyants and Liese (1992)
that we cannot have the asymptotic normality.
In many areas of everyday life we use the
inhomogeneous Poisson processes; there exists a large
literature describing the different point processes and
particularly Poisson with special attention to parameter
estimation problems.
The properties of the estimators (Maximum
Likelihood (MLE), Bayesian (BE), Minimum Distance
(MDE) are usually studied in the case of smooth w.r.t.,
parameter situation i.e., the intensity function has one
or two derivative, w.r.t. unknown parameter.
According to general theory all these estimators in
regular (smooth) case are consistent and asymptotically
normal see, Kutoyants (1998).
Moreover, the first two estimators are
asymptotically efficient in usual sense.
In non regular case, when, say intensity function is
discontinuous, the properties of estimators are quite
different. Remember that the MDE is a particular case
of the minimum contrast estimator if we consider the
function ||X() − Λ()|| as a contrast see Le (1972) for
details. We have several possibilities of the choice of
the space H.
In the case H = L2 (µ) the measure µ can also be
chosen in different ways continuous, discrete, etc.
Others definitions of the MDE can also be realized.
Note that the asymptotic behavior of the estimator
depends strongly of the chosen metric.
We are mainly interested in the properties of the
MDE in the case H = L2 (µ). Particularly we show that
under regularity conditions the MDE are consistent,
asymptotically normal. For another metric this
estimator is also consistent but its limit distribution is
not Gaussian (Kutoyants and Liese, 1992).
We did a study on Regular properties of the MDE
for Non Smooth Model of Poisson Process (Ba and
Dabye, 2009).
STATISTICAL MODEL
We observe 𝑛𝑛 trajectories 𝑋𝑋𝑗𝑗 = (𝑋𝑋𝑗𝑗 (𝑑𝑑), 𝑑𝑑 ∈
[0, 𝑇𝑇]) 𝑗𝑗 = 1, . . . , 𝑛𝑛 of the Poisson process with
intensity function 𝑆𝑆(πœˆπœˆπ‘œπ‘œ , 𝑑𝑑) = 𝑓𝑓(πœƒπœƒ1 𝑑𝑑 + πœƒπœƒ2 ) + πœ†πœ†.
Here πœˆπœˆπ‘œπ‘œ = (πœƒπœƒ1 , πœƒπœƒ2 ) in the unknown parameter,
which we have to estimate, the function 𝑓𝑓 and the
constant πœ†πœ† are known and positive:
𝑑𝑑
πΈπΈπœƒπœƒπ‘œπ‘œ 𝑋𝑋𝑗𝑗 (𝑑𝑑) = Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) = ∫0 𝑆𝑆(πœƒπœƒπ‘œπ‘œ , 𝑠𝑠)𝑑𝑑𝑑𝑑 with
𝑆𝑆(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) = 𝑓𝑓(πœƒπœƒ1 𝑑𝑑 + πœƒπœƒ2 ) + πœ†πœ†
Hypothesis A:
•
•
•
1
The function 𝑓𝑓( ) and the constant πœ†πœ† known and
positive.
The function 𝑓𝑓( ) is continuously differentiable on
[π‘Žπ‘Ž1 , 𝜏𝜏1∗ ) ∪ (𝜏𝜏1∗ , 𝜏𝜏2∗ ) ∪ (𝜏𝜏2∗ , 𝛽𝛽1 𝑇𝑇 + 𝛽𝛽2 )], we suppose
that 𝛽𝛽2 < 𝑇𝑇𝛼𝛼1 + 𝛼𝛼2 .
The function 𝑓𝑓( ) have two jumps at 𝜏𝜏1∗ , 𝜏𝜏2∗ ∈
(𝛽𝛽2 , 𝑇𝑇𝛼𝛼1 + 𝛼𝛼2 ) with 𝜏𝜏1∗ < 𝜏𝜏2∗ and 𝑓𝑓(πœπœπ‘–π‘–∗ +) −
𝑓𝑓(πœπœπ‘–π‘–∗ −) = π‘Ÿπ‘Ÿπ‘–π‘– ≠ 0 𝑖𝑖 = 1,2.
Res. J. Math. Stat., 6(1): 1-5, 2014
This leads to πœƒπœƒ1 = πœƒπœƒ ′1 et πœƒπœƒ2 = πœƒπœƒ ′ 2 i.e., πœƒπœƒπ‘œπ‘œ = πœƒπœƒ ′ π‘œπ‘œ
which contradicts the fact that πœƒπœƒπ‘œπ‘œ ≠ πœƒπœƒ ′ π‘œπ‘œ .
So the lemma is proved.
We define this below the minimum distance
estimator of πœƒπœƒπ‘œπ‘œ and we are intereste to their properties
when 𝑛𝑛 ⟢ ∞.
Let
𝐿𝐿2 ([0, 𝑇𝑇]) the Hilbert space with the
𝑇𝑇
Demonstration of the theorem: We put π‘Œπ‘Œπ‘›π‘› (𝑑𝑑) =
1 𝑛𝑛
∑ 𝑋𝑋 (𝑑𝑑) and 𝑍𝑍𝑛𝑛 (𝑑𝑑) = √𝑛𝑛 (π‘Œπ‘Œπ‘›π‘› (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑))which
𝑛𝑛 𝑗𝑗 =1 𝑗𝑗
allows to write for all 𝛿𝛿 > 0:
1/2
||β„Ž( )|| = οΏ½∫0 β„Ž2 (𝑑𝑑)οΏ½ , then we define the minimum
distance estimator as solution of the equation:
1
1
οΏ½οΏ½ ∑𝑛𝑛𝑗𝑗=1 𝑋𝑋𝑗𝑗 − Λ(πœƒπœƒπ‘›π‘›∗ ,⋅)οΏ½οΏ½ = 𝑖𝑖𝑖𝑖𝑖𝑖 οΏ½οΏ½ ∑𝑛𝑛𝑗𝑗=1 𝑋𝑋𝑗𝑗 − Λ(πœƒπœƒ,⋅)οΏ½ |
𝑛𝑛
(𝑛𝑛)
STUDY OF THE CONSISTENCY
|πœƒπœƒ −πœƒπœƒπ‘œπ‘œ |≤𝛿𝛿
(𝑛𝑛)
The following theorem ensures the consistency of
the MDE.
≤ π‘ƒπ‘ƒπœƒπœƒπ‘œπ‘œ οΏ½2||𝑍𝑍𝑛𝑛 ( )|| > √π‘›π‘›πœ“πœ“(𝛿𝛿, πœƒπœƒπ‘œπ‘œ )οΏ½
where, we have used the properties of the norm:
Theorem 1: If the Hypothesis 𝐴𝐴 is satisfied, then the
estimator of the minimum distance πœƒπœƒπ‘›π‘›∗ is consistent: for
all 𝛿𝛿 > 0:
π‘ƒπ‘ƒπœƒπœƒ (𝑛𝑛 ) {πœƒπœƒπ‘›π‘›∗ − πœƒπœƒπ‘œπ‘œ | > 𝛿𝛿} ≤ 4
π‘œπ‘œ
𝑇𝑇
∫0 𝛬𝛬(πœƒπœƒπ‘œπ‘œ ,𝑑𝑑)𝑑𝑑𝑑𝑑
𝑛𝑛 πœ“πœ“(𝛿𝛿,πœƒπœƒπ‘œπ‘œ )2
οΏ½|π‘Œπ‘Œπ‘›π‘› ( ) − Λ(πœƒπœƒπ‘œπ‘œ )|οΏ½ + οΏ½|Λ(πœƒπœƒπ‘œπ‘œ ,⋅) − Λ(πœƒπœƒ, )|οΏ½
≥ ||π‘Œπ‘Œπ‘›π‘› ( ) − Λ(πœƒπœƒ,⋅)||
||π‘Œπ‘Œπ‘›π‘› ( ) − Λ(πœƒπœƒπ‘œπ‘œ , )|| − ||Λ(πœƒπœƒπ‘œπ‘œ ,⋅)|| ≤ ||π‘Œπ‘Œπ‘›π‘› ( ) − Λ(πœƒπœƒ,⋅)||
⟢0
Using the lemma πœ“πœ“(𝛿𝛿, πœƒπœƒπ‘œπ‘œ ) > 0. so, applying the
inequality of Chebychev it follows:
with πœ“πœ“(𝛿𝛿, πœƒπœƒπ‘œπ‘œ ) = inf|πœƒπœƒ−πœƒπœƒπ‘œπ‘œ |>𝛿𝛿 ||Λ(πœƒπœƒ,⋅) − Λ(πœƒπœƒπ‘œπ‘œ ,⋅)||
(𝑛𝑛)
For the demonstration of this theorem, we need the
following lemme.
π‘ƒπ‘ƒπœƒπœƒ {2||𝑍𝑍𝑛𝑛 ( )||√𝑛𝑛 πœ“πœ“(𝛿𝛿, πœƒπœƒπ‘œπ‘œ ) ≤
Because,
Lemme: If the Hypothesis 𝐴𝐴 is satisfied, then for all
𝛿𝛿 > 0, the function πœ“πœ“(𝛿𝛿, πœƒπœƒπ‘œπ‘œ ) > 0.
𝑇𝑇
𝑇𝑇
1
√𝑛𝑛
⟢0
2
∑𝑛𝑛1 ( π‘Œπ‘Œπ‘—π‘— (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)οΏ½ 𝑑𝑑𝑑𝑑
= ∫0 ( Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)𝑑𝑑𝑑𝑑
The latter term being bounded, which demonstrated
the theorem.
Asymptotic normality: In this section we will to prove
the Asymptotic Normality of MDE.
We define the functions 𝐹𝐹(πœƒπœƒ, 𝑑𝑑) et 𝐺𝐺(πœƒπœƒ, 𝑑𝑑) for all
𝑑𝑑 ∈ [0, 𝑇𝑇] as:
Λ(πœƒπœƒ ′ π‘œπ‘œ , 𝑑𝑑) = Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)
since Λ(πœƒπœƒ, 𝑑𝑑) is continuous function in 𝑑𝑑.
πœ•πœ•
πœ•πœ•
We deduce that Λ(πœƒπœƒ ′ π‘œπ‘œ , 𝑑𝑑) = Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) for all
πœ•πœ•πœ•πœ•
πœ•πœ•πœ•πœ•
𝑑𝑑 ∈ [0, 𝑇𝑇] i.e.:
𝐹𝐹(πœƒπœƒ, 𝑑𝑑) = −
πœƒπœƒ2)
= 𝑓𝑓(πœƒπœƒ ′1 𝑑𝑑 + πœƒπœƒ ′ 2 ) + πœ†πœ†
= 𝑓𝑓(πœƒπœƒ ′1 𝑑𝑑 + πœƒπœƒ ′ 2 )
1
πœƒπœƒ1
𝑇𝑇
οΏ½∫0 𝑔𝑔 (πœƒπœƒ1 𝑠𝑠 + πœƒπœƒ2 )𝑑𝑑𝑑𝑑 − 𝑑𝑑 𝑔𝑔(πœƒπœƒ1 𝑑𝑑 +
et 𝐺𝐺(πœƒπœƒ, 𝑑𝑑) = 𝑔𝑔(πœƒπœƒ1 𝑑𝑑 + πœƒπœƒ2 ) − 𝑔𝑔(πœƒπœƒ2 )
Let us notice that the functions 𝑅𝑅(πœƒπœƒ, 𝑑𝑑) et 𝐺𝐺(πœƒπœƒ, 𝑑𝑑)
are respectively the partial derives formal of the
function Λ(πœƒπœƒ, 𝑑𝑑).
𝑇𝑇
Let us put 𝐴𝐴1,1 (πœƒπœƒ) = ∫0 𝐹𝐹(πœƒπœƒ, 𝑑𝑑)2 𝑑𝑑𝑑𝑑:
πœƒπœƒ1 𝑑𝑑𝑠𝑠1 + πœƒπœƒ1 = π‘Ÿπ‘Ÿ1 πœƒπœƒ1 𝑑𝑑𝑠𝑠2 + πœƒπœƒ2 = π‘Ÿπ‘Ÿ2
we have:
𝑑𝑑𝑠𝑠
οΏ½ 1
𝑑𝑑𝑠𝑠2
𝑇𝑇
= ∫0 πΈπΈπœƒπœƒπ‘œπ‘œ οΏ½
so for all 𝑑𝑑 ∈ [0, 𝑇𝑇]:
π‘Ÿπ‘Ÿ1
πœƒπœƒ
1
οΏ½ οΏ½ 1 οΏ½ = οΏ½π‘Ÿπ‘Ÿ οΏ½
1
πœƒπœƒ2
2
𝑛𝑛𝑛𝑛 (𝛿𝛿,πœƒπœƒπ‘œπ‘œ )2
∫0 πΈπΈπœƒπœƒπ‘œπ‘œ (√𝑛𝑛(π‘Œπ‘Œπ‘›π‘› (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)))2 𝑑𝑑𝑑𝑑
𝑖𝑖𝑖𝑖𝑖𝑖 ||Λ(πœƒπœƒ,⋅) − Λ(πœƒπœƒπ‘œπ‘œ )|| = ||Λ(πœƒπœƒ ′ π‘œπ‘œ ) − Λ(πœƒπœƒπ‘œπ‘œ )|| = 0
with means that:
4πΈπΈπœƒπœƒ π‘œπ‘œ ||𝑍𝑍𝑛𝑛 ( )||2
πΈπΈπœƒπœƒπ‘œπ‘œ ||𝑍𝑍𝑛𝑛 ( )||2
Demonstration: To show πœ“πœ“(𝛿𝛿, πœƒπœƒπ‘œπ‘œ ) > 0, proceed by
contradiction i.e., we suppose that for a 𝛿𝛿 > 0, we have
πœ“πœ“(𝛿𝛿, πœƒπœƒπ‘œπ‘œ ) = 0.
In this case, it exist πœƒπœƒπ‘œπ‘œ ≠ πœƒπœƒ ′ π‘œπ‘œ such:
𝑓𝑓(πœƒπœƒ1 𝑑𝑑 + πœƒπœƒ2 ) + πœ†πœ†
𝑓𝑓(πœƒπœƒ1 𝑑𝑑 + πœƒπœƒ2 )
(𝑛𝑛)
π‘ƒπ‘ƒπœƒπœƒπ‘œπ‘œ οΏ½οΏ½|πœƒπœƒπ‘›π‘›∗ − πœƒπœƒπ‘œπ‘œ |οΏ½ > 𝛿𝛿� ≤ π‘ƒπ‘ƒπœƒπœƒπ‘œπ‘œ
inf οΏ½|π‘Œπ‘Œπ‘›π‘› ( )– Λ(πœƒπœƒ,⋅)|οΏ½ >
|πœƒπœƒ−πœƒπœƒπ‘œπ‘œ |≤𝛿𝛿
οΏ½
οΏ½
inf οΏ½|π‘Œπ‘Œπ‘›π‘› ( )– Λ(πœƒπœƒ, )|οΏ½
𝑛𝑛
𝑇𝑇
Λ2,2 (πœƒπœƒ) = ∫0 𝐺𝐺(πœƒπœƒ, 𝑑𝑑)2 𝑑𝑑𝑑𝑑
2
𝐴𝐴12
𝑇𝑇
= 𝐴𝐴2,1 = ∫0 𝐹𝐹 (πœƒπœƒ, 𝑑𝑑) 𝐺𝐺(πœƒπœƒ, 𝑑𝑑)𝑑𝑑𝑑𝑑
Res. J. Math. Stat., 6(1): 1-5, 2014
πœ•πœ•
2
𝐻𝐻 (πœƒπœƒ) =
πœ•πœ•πœƒπœƒ1 𝑛𝑛
πœƒπœƒ1
𝑇𝑇
𝑑𝑑
∫0 οΏ½∫0 𝑔𝑔 (πœƒπœƒ1 𝑠𝑠 +
1
οΏ½ ∑𝑛𝑛𝑗𝑗=1 𝑋𝑋𝑗𝑗 (𝑑𝑑) −
𝑛𝑛
and
𝑇𝑇
𝑇𝑇
𝐢𝐢11 (πœƒπœƒ) = ∫0 ∫0 𝐹𝐹 (πœƒπœƒ, 𝑑𝑑)𝐹𝐹(πœƒπœƒ, 𝑠𝑠)Λ(πœƒπœƒ, 𝑠𝑠 ∧ 𝑑𝑑) 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑
𝐢𝐢2,2 (πœƒπœƒ) =
𝐢𝐢1,2 (πœƒπœƒ) =
𝑇𝑇 𝑇𝑇
∫0 ∫0 𝐺𝐺 (πœƒπœƒ, 𝑑𝑑)𝐺𝐺(πœƒπœƒ, 𝑠𝑠)Λ(πœƒπœƒ, 𝑠𝑠 ∧ 𝑑𝑑) 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑
𝑇𝑇
𝑇𝑇
(πœƒπœƒ, 𝑑𝑑)𝐺𝐺(πœƒπœƒ, 𝑠𝑠)Λ(πœƒπœƒ, 𝑠𝑠
𝐢𝐢2,1 (πœƒπœƒ) = ∫0 ∫0 𝐹𝐹
Let be carrees matrix of order 2:
and
𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑
∧ 𝑑𝑑)
πœ•πœ•
𝐻𝐻 (πœƒπœƒ) =
πœ•πœ•πœƒπœƒ2 𝑛𝑛
2 𝑇𝑇
− ∫0 [ 𝑔𝑔(πœƒπœƒ1 𝑑𝑑
πœƒπœƒ1
Λ(π‘‘π‘‘β„Žπ‘’π‘’π‘‘π‘‘π‘Žπ‘Ž,𝑑𝑑 𝑑𝑑𝑑𝑑
𝐴𝐴11 (πœƒπœƒ) 𝐴𝐴1,2 (πœƒπœƒ)
οΏ½
𝐴𝐴(πœƒπœƒ) = οΏ½
𝐴𝐴1,1 (πœƒπœƒ) 𝐴𝐴2,1 (πœƒπœƒ)
𝑇𝑇
1
𝑇𝑇
∗
∗
∗
𝑑𝑑 + πœƒπœƒ2,𝑛𝑛
) − 𝑔𝑔(πœƒπœƒ2,𝑛𝑛
)οΏ½
∫0 �𝑔𝑔(πœƒπœƒ1,𝑛𝑛
1
οΏ½ ∑𝑛𝑛𝑗𝑗=1 𝑋𝑋𝑗𝑗 (𝑑𝑑) − Λ(πœƒπœƒπ‘›π‘›∗ , 𝑑𝑑)οΏ½ 𝑑𝑑𝑑𝑑 = 0
𝑛𝑛
−
We can write this system as:
Hypothesis B:
Théorème 2: If the Hypothesis 𝐴𝐴 and 𝐡𝐡 are satisfied
then the minimum distance estimator is asymptotically
normal i.e.:
−1
− πœƒπœƒπ‘œπ‘œ ) ⟹ 𝑁𝑁(0, π’œπ’œ 𝐢𝐢(πœƒπœƒπ‘œπ‘œ )π’œπ’œ (πœƒπœƒπ‘œπ‘œ ))
thus,
𝑇𝑇
− Λ(πœƒπœƒ, 𝑑𝑑)οΏ½ 𝑑𝑑𝑑𝑑
πœ•πœ•
𝑇𝑇
𝑇𝑇
= √𝑛𝑛 ∫0 𝐺𝐺(πœƒπœƒπ‘›π‘›∗ , 𝑑𝑑)[Λ(πœƒπœƒπ‘›π‘›∗ , 𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
Then,
𝑇𝑇
∫0 [ Λ(πœƒπœƒ + β„Ž, 𝑑𝑑) − Λ(πœƒπœƒ, 𝑑𝑑) − (β„Ž, Λ(πœƒπœƒ, 𝑑𝑑)
−(β„Ž, ΛΜ‡ (πœƒπœƒ, 𝑑𝑑)2 𝑑𝑑𝑑𝑑 = πœƒπœƒ(|β„Ž|2 )
Using the continuity of this functions and the
consistency of the estimator, we can write the system
as:
𝐻𝐻𝑛𝑛 (πœƒπœƒ)πœƒπœƒ=πœƒπœƒ2 = 0
The calculation of the partial derives by report at
πœƒπœƒ1 and πœƒπœƒ2 gives us:
𝑇𝑇
∫0 π‘Šπ‘Šπ‘›π‘› (𝑑𝑑)𝐺𝐺(πœƒπœƒπ‘›π‘›∗ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
πœƒπœƒ= Θ
πœ•πœ•πœ•πœ•
∑𝑛𝑛𝑗𝑗=1( 𝑋𝑋𝑗𝑗 (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑))
= √𝑛𝑛 ∫0 𝐹𝐹(πœƒπœƒπ‘›π‘›∗ , 𝑑𝑑)[Λ(πœƒπœƒπ‘›π‘›∗ , 𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
= π‘Žπ‘Žπ‘Žπ‘Žπ‘Žπ‘Ž inf 𝐻𝐻𝑛𝑛 (πœƒπœƒ)
𝐻𝐻𝑛𝑛 (πœƒπœƒ)πœƒπœƒ =πœƒπœƒ1 = 0
1
√𝑛𝑛
∫0 π‘Šπ‘Šπ‘›π‘› (𝑑𝑑)𝐹𝐹(πœƒπœƒπ‘›π‘›∗ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
2
∗
∗
, πœƒπœƒ2,𝑛𝑛
) and πœƒπœƒ = (πœƒπœƒ1 , πœƒπœƒ2 )
Let us note that πœƒπœƒπ‘›π‘›∗ = (πœƒπœƒ1,𝑛𝑛
the function 𝐻𝐻𝑛𝑛 (πœƒπœƒ) is derivable.
So the MDE πœƒπœƒπ‘›π‘›∗ minimize the function 𝐻𝐻𝑛𝑛 (πœƒπœƒ) and
is consistent in πœƒπœƒπ‘œπ‘œ element of Θ.
It with a probability numeric.
This estimator is a solution of system:
πœ•πœ•
1
π‘Šπ‘Šπ‘›π‘› (𝑑𝑑) =
Let us remind that the minimum distance estimator
πœƒπœƒπ‘›π‘›∗ is a solution of the equation:
πœ•πœ•πœ•πœ•
𝑇𝑇
We introduce the process us π‘Šπ‘Šπ‘›π‘› () define by:
Demonstration: We define the function 𝐻𝐻𝑛𝑛 (πœƒπœƒ) by:
πœƒπœƒπ‘›π‘›∗
1
∫0 𝐺𝐺 (πœƒπœƒπ‘›π‘›∗ , 𝑑𝑑) �𝑛𝑛 ∑𝑛𝑛𝑗𝑗=1 𝑋𝑋𝑗𝑗 (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) + Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) −
Λ(πœƒπœƒπ‘›π‘›∗,𝑑𝑑)𝑑𝑑𝑑𝑑=0
𝐴𝐴11 (πœƒπœƒ) 𝐴𝐴2,2 (πœƒπœƒ) ≠ (𝐴𝐴1,2 (πœƒπœƒ))2
𝐻𝐻𝑛𝑛 (πœƒπœƒ) =
𝑇𝑇
∫0 𝐹𝐹 (πœƒπœƒπ‘›π‘›∗ , 𝑑𝑑) �𝑛𝑛 ∑𝑛𝑛𝑗𝑗=1 𝑋𝑋𝑗𝑗 (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) + Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) −
Λ(πœƒπœƒπ‘›π‘›∗,𝑑𝑑)𝑑𝑑𝑑𝑑=0
To prove the asymptotic normality, we suppose that:
∑𝑛𝑛𝑗𝑗=1 𝑋𝑋𝑗𝑗 (𝑑𝑑)
𝑑𝑑
𝑛𝑛
𝑇𝑇
οΏ½∫0 𝐹𝐹 (πœƒπœƒ, 𝑑𝑑)𝐺𝐺(πœƒπœƒ, 𝑑𝑑)𝑑𝑑𝑑𝑑�
𝑇𝑇 1
∫0 �𝑛𝑛
𝑛𝑛
οΏ½ ∑𝑛𝑛𝑗𝑗=1 𝑋𝑋𝑗𝑗 (𝑑𝑑) − Λ(πœƒπœƒπ‘›π‘›∗ , 𝑑𝑑)οΏ½ 𝑑𝑑𝑑𝑑 = 0
𝑇𝑇
𝑇𝑇
∫0 𝐹𝐹 (πœƒπœƒ, 𝑑𝑑)2 𝑑𝑑𝑑𝑑 ∫0 𝐺𝐺 (πœƒπœƒ, 𝑑𝑑)2 𝑑𝑑𝑑𝑑
2
−1
1
+ πœƒπœƒ2 − 𝑔𝑔(πœƒπœƒ2 )] οΏ½ ∑𝑛𝑛𝑗𝑗=1 𝑋𝑋𝑗𝑗 (𝑑𝑑) −
∗
∗
∗
∗
𝑠𝑠 + πœƒπœƒ2,𝑛𝑛
)𝑑𝑑𝑑𝑑 − 𝑑𝑑𝑑𝑑(πœƒπœƒ1,𝑛𝑛
𝑑𝑑 + πœƒπœƒ2,𝑛𝑛
)οΏ½
∫0 οΏ½∫0 𝑔𝑔 (πœƒπœƒ1,𝑛𝑛
the determinant of the matrix 𝐴𝐴(πœƒπœƒ) is:
√𝑛𝑛(πœƒπœƒπ‘›π‘›∗
Λ(πœƒπœƒ, 𝑑𝑑)οΏ½ 𝑑𝑑𝑑𝑑
thus using (3) and (4), we obtain:
𝐢𝐢 (πœƒπœƒ) 𝐢𝐢12 (πœƒπœƒ)
𝐢𝐢(πœƒπœƒ) = οΏ½ 11
οΏ½
𝐢𝐢21 (πœƒπœƒ) 𝐢𝐢2,2 (πœƒπœƒ)
𝑑𝑑e𝑑𝑑(𝐴𝐴(πœƒπœƒ)) =
πœƒπœƒ2 )𝑑𝑑𝑑𝑑 − 𝑑𝑑𝑑𝑑(πœƒπœƒ1 𝑑𝑑 + πœƒπœƒ2 )οΏ½ ×
𝑇𝑇
3
∫0 π‘Šπ‘Šπ‘›π‘› (𝑑𝑑)𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)𝑑𝑑𝑑𝑑
𝑇𝑇
= ∫ 𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)(𝑒𝑒𝑛𝑛∗ , ΛΜ‡ (πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)𝑑𝑑𝑑𝑑 + πœƒπœƒ(1)
0
Res. J. Math. Stat., 6(1): 1-5, 2014
𝑇𝑇
𝐢𝐢ℓ,𝑖𝑖 (πœƒπœƒπ‘œπ‘œ ) = πΈπΈπœƒπœƒπ‘œπ‘œ (π‘Œπ‘Œ (β„“) π‘Œπ‘Œ (𝑖𝑖) )
∫0 π‘Šπ‘Šπ‘›π‘› (𝑑𝑑)𝐺𝐺(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)𝑑𝑑𝑑𝑑
𝑇𝑇
= ∫ 𝐺𝐺(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)(𝑒𝑒𝑛𝑛∗ , ΛΜ‡ (πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)) 𝑑𝑑𝑑𝑑 + πœƒπœƒ(1)
0
We obtain:
∗
∗
where we put 𝑒𝑒𝑛𝑛∗ = (𝑒𝑒1𝑛𝑛
, 𝑒𝑒∗ 2𝑛𝑛)𝑑𝑑 , 𝑒𝑒1,𝑛𝑛
= √𝑛𝑛(πœƒπœƒ ∗ 1, 𝑛𝑛 −
∗
∗
πœƒπœƒ1 ) et 𝑒𝑒2,𝑛𝑛 = (√𝑛𝑛(πœƒπœƒ2,𝑛𝑛 − πœƒπœƒ2 ) we introduce the vector
(1)
(2)
π‘Œπ‘Œπ‘›π‘› = (π‘Œπ‘Œπ‘›π‘› , π‘Œπ‘Œπ‘›π‘› )𝑇𝑇
with,
(1)
π‘Œπ‘Œπ‘›π‘›
(2)
π‘Œπ‘Œπ‘›π‘›
(1)
π‘Œπ‘Œπ‘›π‘›
(2)
π‘Œπ‘Œπ‘›π‘›
and,
𝑇𝑇
= ∫0 𝐹𝐹 (πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) π‘Šπ‘Šπ‘›π‘› (𝑑𝑑) 𝑑𝑑𝑑𝑑
𝑇𝑇
𝑇𝑇
1
=
=
𝑇𝑇
∑𝑛𝑛𝑗𝑗=1( 𝑋𝑋𝑗𝑗 (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)οΏ½ 𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
we obtain for example:
𝑇𝑇
(1)
𝑠𝑠𝑑𝑑𝑠𝑠 𝑑𝑑𝑑𝑑
1
√𝑛𝑛
1
√𝑛𝑛
as √𝑛𝑛(πœƒπœƒπ‘›π‘›∗ − πœƒπœƒπ‘œπ‘œ ) = 𝐡𝐡(πœƒπœƒπ‘œπ‘œ ) π‘Œπ‘Œπ‘›π‘› + πœƒπœƒ(1)
𝑇𝑇
∑𝑛𝑛𝑗𝑗=1 ∫0 ( 𝑋𝑋𝑗𝑗 (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)𝐺𝐺(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)𝑑𝑑𝑑𝑑
we deduce:
𝑒𝑒𝑛𝑛∗ = √𝑛𝑛(πœƒπœƒπ‘›π‘›∗ − πœƒπœƒπ‘œπ‘œ ) ⟹ 𝒩𝒩(0, 𝐡𝐡(πœƒπœƒπ‘œπ‘œ ) 𝐢𝐢(πœƒπœƒπ‘œπ‘œ ) 𝐡𝐡(πœƒπœƒπ‘œπ‘œ )𝑑𝑑 ) i.e.:
√𝑛𝑛(πœƒπœƒπ‘›π‘›∗ − πœƒπœƒπ‘œπ‘œ ) ⟹ 𝒩𝒩(0, 𝐴𝐴−1 (πœƒπœƒπ‘œπ‘œ ) 𝐢𝐢(πœƒπœƒπ‘œπ‘œ ) 𝐴𝐴−1 (πœƒπœƒπ‘œπ‘œ )𝑑𝑑 )
Let us note that the terms of the matrix are:
𝑇𝑇
So the asymptotic normality is proved.
𝑇𝑇
π‘Œπ‘Œ (1) = ∫0 οΏ½∫𝑑𝑑 𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑠𝑠) 𝑑𝑑𝑑𝑑� 𝑑𝑑𝑑𝑑(Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑))
π‘Œπ‘Œ (2) =
𝑇𝑇
𝑇𝑇
∫0 οΏ½∫𝑑𝑑 𝐺𝐺(πœƒπœƒπ‘œπ‘œ , 𝑠𝑠)𝑑𝑑𝑑𝑑�
We have the following relation:
𝑇𝑇
π‘Œπ‘Œπ‘›π‘› ⟹ 𝒩𝒩(0, 𝐢𝐢(πœƒπœƒπ‘œπ‘œ ))
∑𝑛𝑛𝑗𝑗=1 πœ“πœ“π‘—π‘—(2) with πœ“πœ“π‘—π‘—(1)
√𝑛𝑛
𝑇𝑇
= ∫0 ( 𝑋𝑋𝑗𝑗 (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑))𝐺𝐺(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)𝑑𝑑𝑑𝑑
(1) (2)
πΈπΈπœƒπœƒπ‘œπ‘œ πœ“πœ“π‘—π‘— πœ“πœ“π‘—π‘— = 𝐢𝐢ℓ,𝑖𝑖 (πœƒπœƒπ‘œπ‘œ )
=
𝑇𝑇
= ∫0 ∫0 𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)𝐺𝐺(πœƒπœƒπ‘œπ‘œ , 𝑠𝑠)Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑 ∧
Using the central theorem limit, we obtain:
= ∫0 οΏ½ ) ∑𝑛𝑛𝑗𝑗=1( 𝑋𝑋𝑗𝑗 (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)οΏ½ 𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
=
(2)
πΈπΈπœƒπœƒπ‘œπ‘œ πœ“πœ“1 πœ“πœ“1
∫0 𝐺𝐺(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) π‘Šπ‘Šπ‘›π‘› (𝑑𝑑) 𝑑𝑑𝑑𝑑
1
𝑑𝑑
πΈπΈπœƒπœƒπ‘œπ‘œ [𝑋𝑋1 (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)][𝑋𝑋1 (𝑠𝑠) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑠𝑠) =
Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑 ∧ 𝑠𝑠]
∑𝑛𝑛 πœ“πœ“ (1) with πœ“πœ“π‘—π‘—(1)
√𝑛𝑛 𝑗𝑗 =1 𝑗𝑗
𝑇𝑇
∫0 ( 𝑋𝑋𝑗𝑗 (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑))𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)𝑑𝑑𝑑𝑑
𝑇𝑇
𝑇𝑇
= ∫0 ∫𝑠𝑠 𝐺𝐺(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑(𝑠𝑠)
On the other hand using:
∑𝑛𝑛𝑗𝑗=1 ∫0 ( 𝑋𝑋𝑗𝑗 (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
1
𝑇𝑇
𝑇𝑇
= ∫0 ∫𝑠𝑠 𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑(𝑠𝑠)
(2)
πœ“πœ“1
∫0 𝐹𝐹 (πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)π‘Šπ‘Šπ‘›π‘› (𝑑𝑑)𝑑𝑑𝑑𝑑
√𝑛𝑛
𝑇𝑇
𝑇𝑇
(2)
We show that 𝑛𝑛 πΈπΈπœƒπœƒπ‘œπ‘œ (πœƒπœƒπ‘›π‘›∗ − πœƒπœƒπ‘œπ‘œ )(πœƒπœƒπ‘›π‘›∗ − πœƒπœƒπ‘œπ‘œ )𝑑𝑑 =
𝐡𝐡(πœƒπœƒπ‘œπ‘œ )𝐢𝐢(πœƒπœƒπ‘œπ‘œ ) 𝐡𝐡(πœƒπœƒπ‘œπ‘œ )𝑑𝑑 + πœƒπœƒ(1)
We have:
1
𝑇𝑇
For πœ“πœ“1 we have:
𝑒𝑒𝑛𝑛∗ = 𝐡𝐡(πœƒπœƒπ‘œπ‘œ )π‘Œπ‘Œπ‘›π‘› + πœƒπœƒ(1)
√𝑛𝑛
𝑇𝑇
= ∫0 ∫𝑠𝑠 10≤𝑠𝑠≤𝑑𝑑 [𝑑𝑑𝑋𝑋1 (𝑠𝑠) − 𝑆𝑆(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑] 𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
= ∫0 ∫0 𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑[𝑑𝑑𝑋𝑋1 (𝑠𝑠) − 𝑆𝑆(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑]
From the hypothesis 𝐡𝐡, the matrix of order 2 𝐴𝐴(πœƒπœƒπ‘œπ‘œ )
is invertible thus we can write 𝐡𝐡(πœƒπœƒπ‘œπ‘œ ) = 𝐴𝐴(πœƒπœƒπ‘œπ‘œ )−1 , so:
𝑇𝑇
𝑇𝑇
= ∫0 [ 𝑋𝑋1 (𝑑𝑑) − Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)] 𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
𝐴𝐴𝑛𝑛 (πœƒπœƒπ‘œπ‘œ ) 𝑒𝑒𝑛𝑛∗ = π‘Œπ‘Œπ‘›π‘› + πœƒπœƒ(1)
= ∫0 οΏ½
2
𝑇𝑇
𝑇𝑇
𝑇𝑇
(1)
πœ“πœ“1
or under matrix shape:
𝑇𝑇
𝑇𝑇
𝐢𝐢2,2 (πœƒπœƒπ‘œπ‘œ ) = ∫0 οΏ½∫𝑑𝑑 𝐺𝐺(πœƒπœƒπ‘œπ‘œ , 𝑠𝑠) 𝑑𝑑𝑑𝑑� 𝑆𝑆(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
∫0 οΏ½∫𝑑𝑑 𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑠𝑠) 𝑑𝑑𝑑𝑑 ∫0 𝐺𝐺 (πœƒπœƒπ‘œπ‘œ , π‘Ÿπ‘Ÿ) 𝑑𝑑𝑑𝑑� 𝑆𝑆(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
∗
∗
𝐴𝐴1,1 (πœƒπœƒπ‘œπ‘œ )𝑒𝑒1,𝑛𝑛
) + 𝐴𝐴1,2 (πœƒπœƒπ‘œπ‘œ )𝑒𝑒2,𝑛𝑛
+ πœƒπœƒ(1)
∗
𝐴𝐴2,1 (πœƒπœƒπ‘œπ‘œ )𝑒𝑒1,𝑛𝑛 𝑑𝑑) + 𝐴𝐴2,2 (πœƒπœƒπ‘œπ‘œ ) + πœƒπœƒ(1)
=
2
𝑇𝑇
= ∫0 οΏ½∫𝑑𝑑 𝐹𝐹(πœƒπœƒπ‘œπ‘œ , 𝑠𝑠) 𝑑𝑑𝑑𝑑� 𝑆𝑆(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) 𝑑𝑑𝑑𝑑
𝐢𝐢1,2 (πœƒπœƒπ‘œπ‘œ ) = 𝐢𝐢2,1 (πœƒπœƒπ‘œπ‘œ ) =
= ∫0 𝐺𝐺 (πœƒπœƒπ‘œπ‘œ , 𝑑𝑑) π‘Šπ‘Šπ‘›π‘› (𝑑𝑑) 𝑑𝑑𝑑𝑑 we obtain
=
𝑇𝑇
𝐢𝐢1,1 (πœƒπœƒπ‘œπ‘œ )
REFERENCES
𝑑𝑑𝑑𝑑�Λ(πœƒπœƒπ‘œπ‘œ , 𝑑𝑑)οΏ½
Ba, D.B. and A.S. Dabye, 2009. On regular properties
of the MDE for non smooth model of poisson
process, Indian J. Math., 51(1): 145-162.
4
Res. J. Math. Stat., 6(1): 1-5, 2014
Ba, D.B., A.S. Dabye, A. Diakhaby and F.N. Diop,
2008. Comportment asymptotique des estimateurs
de paramètre d’un processus de Poisson pour un
modèle non régulier. Annales de l’Université
Ndjamena, 3: 55-65.
Kutoyants, Y.A., 1998. Statistical Inference for Spatial
Poisson Processes, Lect. Notes Statist. 134,
Springer, New York, pp: 276.
Kutoyants, Y.A. and F. Liese, 1992. On minimum
distance estimation for spatial poisson processes.
Ann. Academial. Scient. Fennicae, ser. A. I., 17:
65-71.
Le, C., 1972. Limit of experiments. Proceeding of the
6th Berkeley Symposium on Mathematical
Statistics and Probability,1: 245-261.
5
Download