On the Functional Empirical Process and Its Application to the Mutual Influence of the Theil-Like Inequality Measure and the Growth ()
1. Introduction
In many cases, one has to monitor a specific situation through some risk measure J on some population. The variation of J over time is called growth in case of negative variation and recession alternatively. This growth or recession is not itself sufficient to describe the improvement or deterioration of the situation. Often, the distribution of the underlying variable over the population should also be taken into account in order to check whether the growth concerns a great number of individuals or is rather concentrated on a few numbers of them.
In the particular case of welfare analysis, one may measure poverty (or richness) with the help of poverty indices J based on the income variable X. Over two periods s = 1 and t = 2, we say that we have a gain against poverty when
, or simply a growth against poverty. Before claiming any victory, one must be sure that, meanwhile, the income did not become more unequally distributed, that is the appropriate inequality coefficient I did not increase. One can achieve this by studying the ratio
.
To make the ideas more precise, let us suppose that we are monitoring the poverty scene on some population over the period time [1,2] and let
be the income variable of that population at periods 1 and 2. Let us consider one sample of
individuals or households, and observe the income couple
,
. For each period
, we assume that Xi is strictly positive, and we compute the poverty measure
and the inequality measure
. We draw the attention of the reader that we consider here classes of measures both for poverty and inequality rather than specific ones. This leads to the very general results but requires extended notation.
For poverty, we consider the Generalized Poverty Index (GPI) introduced by Lo at al. [1] and Lo [2] as an attempt to gather a large class of poverty measures reviewed in Zheng [3] defined as follows for period i,
(1)
where
is the income level representing the poverty line,
is the number of poor,
and
are constants,
,
, and
are mesurable functions of
![](https://www.scirp.org/html/4-7401361\67d91b26-e25e-46cc-9803-ff5f04a47cf4.jpg)
and
By particularizing the functions A and w and by giving fixed values to the
we may find almost all the available indices, as we will do it later on. In the sequel, (1) will be called a poverty index (indices in the plural) or simply a poverty measure according to the economists’ terminalogy.
This class includes the most popular indices such as those of Sen [4], Kakwani [5], Shorrocks [6], ClarkHemming-Ulph [7], Foster-Greer-Thorbecke [8], etc. See Lo [2] for a review of the GPI. From the works of many authors ([9,10] for instance),
is an asymptotically sufficient estimate of the exact poverty measure
(2)
where
is the distribution function of
, and L is some weight function.
As for the inequality measure, we use this Theil-like family, where we gathered the Generalized Entropy Measure, the Mean Logarithmic Deviation [11-13], the different inequality measures of Atkinson [14], Champernowne [15] and Kolm [16] in the following form:
(3)
where
denotes the empirical mean while
,
,
and
are measurable functions.
The inequality measures mentioned above are derived from (3) with the particular values of
and
as described below for all
:
• Generalized Entropy
• ![](https://www.scirp.org/html/4-7401361\4f0df3c1-a81e-43c1-87fe-40bbce101642.jpg)
• Theil’s measure:
• ![](https://www.scirp.org/html/4-7401361\8f1b059e-d747-4413-a832-ea787583052c.jpg)
• Mean Logarithmic Deviation
• ![](https://www.scirp.org/html/4-7401361\6fe2fe51-326f-48e2-afb9-2a001c9c94dd.jpg)
• Atkinson’s measure:
• ![](https://www.scirp.org/html/4-7401361\fba0ed0e-3766-4da0-b67d-3ba94ae5275f.jpg)
• Champernowne’s measure:
• ![](https://www.scirp.org/html/4-7401361\d01de4fb-b60e-4e01-9fe4-52c68b3fb9aa.jpg)
• Kolm’s measure:
![](https://www.scirp.org/html/4-7401361\c12894a4-0dd1-4b9a-a170-a699ec5b1a0f.jpg)
We will see below that
converges to the exact inequality measure
(4)
where
is the mathematical expectation of
that we suppose to be finite here.
Each measure of the Theil-like family has its own particular properties, derived from the combination of different concepts. One may mention the concept of welfare criteria (Atkinson [14], Sen [17]), that of the analogy with analysis of risks (Harsanyi [18,19]; Rothschild and Stiglitz [20]), the complaints approach (Temkin [21]) etc. The Theil inequality itself finds all its interest in the information-theoretic idea following that of main components (Kullback [22]) and based on the three axioms (Zero-valuation of certainty, Diminishing-valuation of probability, Additivity of independent events). A deep review of such of individual properties for a number inequality measures can be found in Cowell [13,23,24] for instance.
It is worth mentioning that the TLIM presented here is rather a mathematical form gathering of a number of different measures having different insights. Its main interest is to provide a general and uniform approach for dealing with both poverty and inequality measures in the same time and to avoid details and repetitions, in a coherent framework for useful comparison studies. In coming papers, the families presented by Cowell [13,23,24] will be studied in similar ways.
The motivations stated above lead to the study of the behavior of
![](https://www.scirp.org/html/4-7401361\303e823e-f674-4e20-9831-e1d60ad9ac74.jpg)
as an estimate of the unknown value of
![](https://www.scirp.org/html/4-7401361\80076b3b-2763-4075-ad69-19bc77883122.jpg)
Precisely confidence intervals of
![](https://www.scirp.org/html/4-7401361\b1b5daf2-80f7-4df4-8f9c-c7f85695265e.jpg)
will be an appropriate set of tools for the study of the influence of each measure on the other.
To achieve our goal we need a coherent asymptotic theory allowing the handling of longitudinal data as it is the case here and a stochastic process approach leading to asymptotic subresults with the help of the continuity mapping theorem.
We find that the functional empirical process, in the modern setting of weak convergence theory, provides that coherent asymptotic theory.
Indeed, we use bidimensional functional empirical processes
and its stochastic Gaussian limit
to entirely describe the asymptotic behaviour of
in the Gaussian field of
and then find the law of
as our best achievement.
The remainder of the paper is organized as follows. In Section 2, we remind key definitions and properties for functional empirical processes, and we state the asymptotic representation of the GPI of Sall and Lo [25] stated in Theorem 1 that will be used later on. In Section 3, we give our main results and make some commentaries and data driven applications to Senegalese pseudo-panel data are considered while the proofs and the tables are postponed in an appendix Section 5. Section 4 concludes.
2. Functional Empirical Process and Representation of GPI
2.1. A Brief Reminder on Functional Empirical Processes
Let
be a sequence of independent and identically distributed (i.i.d.) random elements defined on the probability space
with values in some metric space
. Given a collection
of mesurable functions
, the functional empirical process (FEP) is defined by:
![](https://www.scirp.org/html/4-7401361\a36e262d-646e-4ee0-8ab6-4a44968ff798.jpg)
This process is widely studied in van der Vaart [26] for instance. It is directly seen that whenever
, one has
![](https://www.scirp.org/html/4-7401361\82872108-9419-43e1-8f3a-720e2849367a.jpg)
and
where
(5)
as consequences of the real Law of Large Numbers (LLN) and the real Central Limit Theorem (CLT).
When using the FEP, we may be interested in uniform LLN’s and weak limits of the FEP considered as stochastic processes. This gives the so important results on Glivenko-Cantelli classes and Donsker ones. Let us define them here (for more details see [26,27]).
Since we may deal with non measurable sequences of random elements, we generally use the outer almost sure convergence defined as follows. Remind that a sequence
converges outer almost surely to zero, denoted by
whenever there is a measurable sequence of measurable random variables
such that 1) ![](https://www.scirp.org/html/4-7401361\4d605ddd-f538-48d8-b9dc-ebff306efeb5.jpg)
2) ![](https://www.scirp.org/html/4-7401361\b0d2e481-fc4a-4da5-99b3-63a6b750722b.jpg)
The weak convergence generally holds in
the space of all bounded real functions defined on
equipped with the supremum norm
![](https://www.scirp.org/html/4-7401361\2854c928-300f-483d-b8f7-e63c9fe77b32.jpg)
Definition 1 A class
is a GlivenkoCantelli class for
, if
![](https://www.scirp.org/html/4-7401361\0bd31b62-1ba8-41b2-89a9-ebb00de35b24.jpg)
Definition 2 A class
is a Donsker class for
, or
-Donsker class if
converges in
to a centered Gaussian process
with covariance function
![](https://www.scirp.org/html/4-7401361\e8f9e084-f494-47fb-8660-82b9ed5f086d.jpg)
Remark 1 When
and
,
is the real empirical process and is denoted by ![](https://www.scirp.org/html/4-7401361\0a57ef5e-51be-48da-a93e-9a587e537ce5.jpg)
In this paper, we only use finite-dimensional forms of the FEP, that is
And then, any family
of measurable functions satisfying (5), is a Glivenko-Cantelli and a Donsker class, and hence
![](https://www.scirp.org/html/4-7401361\bd03f0c1-9f81-4cac-8889-91931ee32578.jpg)
where
is the Gaussian process, defined in Definition 2.
We will make use of the linearity property of both
and
. Let
be measurable functions satisfying (5) and
, then
![](https://www.scirp.org/html/4-7401361\266eac65-93c0-41b0-b85e-4e158aab532f.jpg)
The materials defined here, when used in a smart way, lead to a simple handling the problem tackled here.
2.2. Representation of the GPI
In this paper, we use the GPI in a unified approach that leads to an asymptotic representation for a large class of indices classified in three kinds.
First we consider the threshold condition:
(H1) There exist
and
such that,
![](https://www.scirp.org/html/4-7401361\6e60c82a-66ce-48e3-b596-0239be8fb987.jpg)
Next we have form conditions (on the indices):
(H2a) There exist a function
where
and a function
where
such that, when ![](https://www.scirp.org/html/4-7401361\dc88cd1f-7f82-4e3e-9744-d56747afc849.jpg)
![](https://www.scirp.org/html/4-7401361\01ab7967-1dac-4296-8897-b891244cfac0.jpg)
(H2b) There exists a function
with
such that, when ![](https://www.scirp.org/html/4-7401361\0dd8530d-43e2-4aca-9e6d-ecc8575d157c.jpg)
![](https://www.scirp.org/html/4-7401361\5c000281-0ff3-4f08-9cde-66c3514508bd.jpg)
Further we need regularity conditions on
and
:
(H3) The functions
and
have uniformly continuous partial derivatives, that is
![](https://www.scirp.org/html/4-7401361\670bfe34-1a47-45fe-ad1e-ce5678fe8562.jpg)
and
![](https://www.scirp.org/html/4-7401361\636f3c83-616a-4a26-bef4-014a7520c0b1.jpg)
(H4) The functions
and
are monotonous.
(H5) The distribution function
is increasing.
(H6) There exist
and
such that
![](https://www.scirp.org/html/4-7401361\971f762f-7831-4bb9-a915-f648c3c9c518.jpg)
and
![](https://www.scirp.org/html/4-7401361\4c77a05e-5774-43ac-9403-40cafe292691.jpg)
where
and
for
.
Based on these hypotheses, we put
![](https://www.scirp.org/html/4-7401361\78e34810-a814-4875-b1e0-04fb707b660d.jpg)
![](https://www.scirp.org/html/4-7401361\06ca4339-a375-4a80-be47-ce471b028cd0.jpg)
with
![](https://www.scirp.org/html/4-7401361\c0a327c2-af3a-4ff1-9b6b-5901df13c77b.jpg)
![](https://www.scirp.org/html/4-7401361\ed158b44-8e36-4c06-94c3-f7a43e4c78d5.jpg)
where
![](https://www.scirp.org/html/4-7401361\296e0492-a228-4977-8d59-2f39f67bd851.jpg)
![](https://www.scirp.org/html/4-7401361\b9dbd063-d542-4703-81f4-184e8c0f317d.jpg)
![](https://www.scirp.org/html/4-7401361\9f3e4ac5-6826-41d3-a172-2ae19c6b682d.jpg)
and
![](https://www.scirp.org/html/4-7401361\cf674582-ee64-4037-9367-e115b14aaae8.jpg)
Now recall the functional empirical process
![](https://www.scirp.org/html/4-7401361\1782d9c1-7c2b-4e3e-86de-557b9e84db4a.jpg)
and introduce
![](https://www.scirp.org/html/4-7401361\8b050f6b-e6b6-4731-8b12-72443ecda84a.jpg)
the reduced process of Sall et Lo (see [25]).
The representation results of [25] for the GPI is the following.
Theorem 1 Suppose that (H1)-(H6) are true, then we have the following representation
(R)
Although these conditions may appear complicated, they are simple to check in usual cases with the popular poverty measures. We will see this in Section 3.
We are going to state our main results.
3. Results and Commentaries
3.1. Notations
Let us consider the following Renyi representations. Let
and
two sequences of independent uniform rv’s on
. Then we have the representation, meant as equalities in distribution:
![](https://www.scirp.org/html/4-7401361\a237a539-dc0b-453d-aa02-12b6816170d8.jpg)
where
is the generalized inverse of
. We suppose that
is continuous. The copula associated with the couple
is defined by
![](https://www.scirp.org/html/4-7401361\b9fc8eb0-a2a8-40b8-9425-1b6c9c4aff45.jpg)
where G1,2 is the joint distribution function of
.
Next we consider the bidimensional functional empirical process based on
, for some Donsker class
:
![](https://www.scirp.org/html/4-7401361\deaa7f21-64f9-4a28-b2c9-300065d8beac.jpg)
and the limiting centered Gaussian stochastic process
its variance-covariance function defined by, for
:
![](https://www.scirp.org/html/4-7401361\665f20e2-4bb2-4820-87e6-6f57628af485.jpg)
where
![](https://www.scirp.org/html/4-7401361\890153d9-9870-4221-a3b4-f73181510cf1.jpg)
Now we introduce the following notations based on the functions
,
,
,
of (3) and on the functions
and
of Theorem 1. The subscript
refers to the period. The following series of notations are about the variation of the inequality measures and are listed below. Let us first denpte:
![](https://www.scirp.org/html/4-7401361\bdcf5bb9-169a-48e0-9dea-57859e7578f5.jpg)
and next, for all
,
![](https://www.scirp.org/html/4-7401361\cc8736c1-3597-4bef-84e4-86fa0b073624.jpg)
where
is the
projection on ![](https://www.scirp.org/html/4-7401361\f32fd90d-51e6-4ad2-a024-52bea224b094.jpg)
![](https://www.scirp.org/html/4-7401361\d7574394-5d5e-4608-b61d-9205fca3234f.jpg)
And finally,
![](https://www.scirp.org/html/4-7401361\e9106931-0811-40f4-b888-6609673cf136.jpg)
with
and
![](https://www.scirp.org/html/4-7401361\c295731c-4c72-400d-b457-5783a039e7f5.jpg)
where
,
and
are respectively the derivatives of the functions
and ![](https://www.scirp.org/html/4-7401361\722c2da2-dd98-46d3-8ada-66135bab4398.jpg)
For our results on the variation of the GPI, we need the functions
and
provided by the representation of Theorem 1. Put accordingly with these functions:
![](https://www.scirp.org/html/4-7401361\c8fac8ec-5d76-4bea-bb01-435a28458682.jpg)
We define for all ![](https://www.scirp.org/html/4-7401361\486642c5-a05d-449b-a53d-f2347c2b65f9.jpg)
![](https://www.scirp.org/html/4-7401361\29bb3afc-7952-4cd3-909c-694118a3a813.jpg)
where
is the indicator function on the set ![](https://www.scirp.org/html/4-7401361\872b4093-428c-4b74-b3cc-5345668aa8e7.jpg)
![](https://www.scirp.org/html/4-7401361\92fdb772-057c-485e-aeb0-9cd3139a0e46.jpg)
and
![](https://www.scirp.org/html/4-7401361\b546a1c1-48ad-428a-87f7-512d185a6b9d.jpg)
3.2. Main Theorems
We are now able to state our theorems. The first concerns the variation of the inequality measure.
Theorem 2 Let
finite for
and let each
continuously differentiable at each
,
. Let
then we have the following convergence as ![](https://www.scirp.org/html/4-7401361\58e4fd78-d1a2-4ddd-9ec9-4d81b8ed4448.jpg)
![](https://www.scirp.org/html/4-7401361\12391108-9e0e-4c6e-ad9d-73e4eba3360f.jpg)
where
stands for the convergence in distribution and
![](https://www.scirp.org/html/4-7401361\db656c39-b8d4-4125-ac4b-a38d43dd0a1d.jpg)
The second concerns the variation of the GPI.
Theorem 3 Let
finite for
. Suppose that
![](https://www.scirp.org/html/4-7401361\fe718391-ef16-444a-92b8-7af8d9789385.jpg)
and
are finite. Then
![](https://www.scirp.org/html/4-7401361\6a8133a8-4f73-4067-bed6-f09524e6496c.jpg)
which is a centered Gaussian process of variance-covariance function:
![](https://www.scirp.org/html/4-7401361\4838f12f-5686-4054-947c-f16c512213aa.jpg)
where
![](https://www.scirp.org/html/4-7401361\4d7aedb8-af1f-4a55-9608-3cd86a1a7791.jpg)
![](https://www.scirp.org/html/4-7401361\6940aae9-fd2a-4600-93c4-8c4db1c29ca6.jpg)
with
![](https://www.scirp.org/html/4-7401361\83ce14c6-981e-4b05-8fa5-6e1b93ea62d8.jpg)
![](https://www.scirp.org/html/4-7401361\95f3be5f-0499-4a3e-95cb-3d410c3a38fe.jpg)
![](https://www.scirp.org/html/4-7401361\3343c03e-60cd-4963-9033-6d71ff25bb49.jpg)
and
![](https://www.scirp.org/html/4-7401361\73febf14-8db5-458a-a716-aff889ff52fa.jpg)
Thus last one handles the ratio of the two variations.
Theorem 4 Supposing that the above mentioned hypotheses are true, then
![](https://www.scirp.org/html/4-7401361\ef6e0485-8ba7-42d2-b00e-c4efe00d22c0.jpg)
with
![](https://www.scirp.org/html/4-7401361\0b72d7c1-5a4c-483f-8a40-04a6664f0749.jpg)
and
![](https://www.scirp.org/html/4-7401361\be51a1ba-1958-485b-9f87-7d3ca45d8247.jpg)
In this case, let
![](https://www.scirp.org/html/4-7401361\22fcf783-b958-4ecb-a796-0060eab11109.jpg)
then we have
tends to a functional Gaussian process
![](https://www.scirp.org/html/4-7401361\9ba8ef18-13dc-479b-9018-56624e9f2f41.jpg)
of covariance function
![](https://www.scirp.org/html/4-7401361\afe98efc-30f3-474e-a21c-0d9fd03b949f.jpg)
3.3. Commentaries
First of all, the results cover a large class of poverty measures and inequality indices. This explains why the notations seem heavy. Secondly, the variances of the limiting Gaussian processes seem also somehow tricky. But all of them are easily handled by modern computation means. We are going to particularise our results for famous measures and provide workable software codes for the computations.
3.4. Representation of Some Poverty Indices
We may easily find the functions g and
for the most common members of the GPI family (see [25,28]) in Table 1.
Where
![](https://www.scirp.org/html/4-7401361\5c29c055-33fd-4308-bbe1-352cbbe8c622.jpg)
and
![](https://www.scirp.org/html/4-7401361\6837199c-010f-4dcc-adcf-383293a99ca9.jpg)
with
![](https://www.scirp.org/html/4-7401361\47dd4c2d-3ecf-4fd1-928f-9a47bee29ef8.jpg)
![](https://www.scirp.org/html/4-7401361\a7a5ca9f-66cd-4da4-9b96-7c31423b3a9b.jpg)
And
![](https://www.scirp.org/html/4-7401361\09745cfa-eb66-4ca6-9008-c98d74c8be05.jpg)
![](https://www.scirp.org/html/4-7401361\e4a51cdc-74af-4f94-8b6b-b0212d7d8819.jpg)
where
![](https://www.scirp.org/html/4-7401361\1e3e8dc6-0d08-4fa9-a956-85362b850192.jpg)
and
![](https://www.scirp.org/html/4-7401361\efc638ad-a182-4899-9a91-980c80cb5a96.jpg)
Notice that the functions are indexed by
for the Kakwani measure. For the FGT measure of index
, we have that
and
![](https://www.scirp.org/html/4-7401361\de20f31d-d43f-4c8a-83c0-ae00dbf8ec2b.jpg)
3.5. Datadriven Applications and Variance Computations
3.5.1. Variance Computations for Senegalese Data
We apply our results to Senegalese data. We do not really have longitudinal data. So we have constructed pseudo-panel data of size
, from two surveys: ESAM II conducted from 2001 to 2002 and EPS from 2005 to 2006. We get two series
and
. We present below the values of
denoted here
,
denoted here
and
denoted here
.
When constructing pseudo-panel data, we get small sizes like n = 116. We use these sizes to compute the asymptotic variances in our results by mean of nonparametric methods. In real contexts, we should use high sizes comparable to those of the real databases, that is around ten thousands, like in the Senegalese case. Nevertheless, we back on medium sizes, for instance n = 696, which give very accurate confidence intervals.We use here the abreviations are given in Table 2.
The obtained confidence intervals are described in Tables 3 to 10, in Subsection 5.2. Before we present the outcomes, let us say some words on the packages. We provide different R script files at:
http://www.ufrsat.org/lerstad/resources/mergslo01.zip The user should already have his data in two files data1.txt and data2.txt. The first script file named after gamma_mergslo1.dat provides the values of
,
and
for the FGT measure for
and for the six inequality measures used here. The second script file named as gamma_mergslo2.dat performs
![](https://www.scirp.org/html/4-7401361\b91605cc-60ec-4ce8-aab6-cc0a43ce21e3.jpg)
Table 1. Specific functions of the poverty measures.
![](https://www.scirp.org/html/4-7401361\f84561d9-2e49-4e40-88d8-e429d91d2323.jpg)
Table 3. Variations of the inequality indices.
![](https://www.scirp.org/html/4-7401361\f9fc2219-e160-4179-9087-4fd65c7eae22.jpg)
Table 4. Variations of the poverty indices.
![](https://www.scirp.org/html/4-7401361\b00e2567-cc80-4005-9b07-7e3ead26a75d.jpg)
Table 5. Ratio of the variations with Shorrocks measure.
![](https://www.scirp.org/html/4-7401361\4f232af9-3c56-431c-8c3f-bf73dbbc5209.jpg)
Table 6. Ratio of the variations with Sen measure.
![](https://www.scirp.org/html/4-7401361\3a048d3f-ef72-4ba2-a66f-995297319633.jpg)
Table 7. Ratio of the variations with Kakwani (2) measure.
![](https://www.scirp.org/html/4-7401361\15ba956f-164c-4b45-ae1a-8f463f233940.jpg)
Table 8. Ratio of the variations with FGT (1) measure.
![](https://www.scirp.org/html/4-7401361\07eb2c93-7692-4f25-8e5f-993a7ac1d2fb.jpg)
Table 9. Ratio of the variations with FGT (0) measure.
![](https://www.scirp.org/html/4-7401361\ace9f056-bfb1-4ccc-bb2f-2e11ad1f368f.jpg)
Table 10. Ratio of the variations with FGT (2) measure.
the same for the Shorrocks measure. Lastly, gamma_ mergslo3.dat concerns the kakwani measures. Unless the user uploads new data1.txt and data2.txt files, the outcomes should be the same as those presented in the Appendix.
3.5.2. Analysis
First of all, we find in Tables 3 and 4 in the appendix 5 that at an asymptotical level, all our inequality measures and poverty indices used here have decreased. When inspecting the asymptotic variance, we see in Table 4 that for the poverty indice, the FGT and the Kakwani classes respectively for
,
and k = 1, k = 2 have the minimum variance, specially for
and k = 2. This advocates for the use of the Kakwani and the FGT measures for poverty reduction evaluation. As for the inequality approach in Table 3, it seems that Atkinson measure ATK (0.5) has the minimum variance and then is recommended.
As for the ratio of the poverty index over the inequality
measure, we have a dependence of over 50% for the following couples in Table 11, that we can find in Tables 5 to 8.
The maximum ratio 3.024 is attained for FGT (0) and Atkinson (0.5). Based on these data, and on the confidence intervals in Table 9, we would report at least of 46.43% for these two measures and conclude that the gain over poverty in Senegal between these two periods is significally pro-poor. We would have worked with all couples with a ratio over 50% to have the same conclusion.
The present analysis should be developped in a separated paper research since this one was devoted to a theoritical basis. We plan to apply at a regional basis, that is for the countries of the UEMOA in West Africa.
4. Conclusion
We have been able to compute confidence intervals for the ratio of variations for the poverty and the inequality indices. The results enabled us to cheek whether the growth is pro or against poor in Senegal from 2002 to 2006. It always remains to undertake large scale data driven applications at a regional level, precisely in the UEMOA African area. We used in this paper a Theil-like family of inequality measures that does not include the celebrated and important Gini index. Moreover other the Theil-like families exist. It would be interesting to have the same theory developed here using the Gini index and other families as well. We plan to do it in a very close future.
5. Acknowledgements
We express our thanks to the Ministère de l’Enseignement Supérieur et de la Recherche for financial support under a FIRST grant 2013-2014.
Appendix
Proofs of the Theorems
Proof of Theorem 2.
By using the delta-method, we have for all
:
![](https://www.scirp.org/html/4-7401361\658a54c3-b021-4878-9166-9662e537e76c.jpg)
Then
(6)
Similarly, we have
(7)
From this and (3.1), we have
![](https://www.scirp.org/html/4-7401361\b8b32633-0af8-4f60-a1cf-52ab097e1f50.jpg)
and then
(8)
Further
![](https://www.scirp.org/html/4-7401361\0d292d12-e65c-4b09-a887-d66137dd8ad7.jpg)
But
![](https://www.scirp.org/html/4-7401361\ca59658f-b8db-45b0-bf82-7b0546ad0aff.jpg)
Thus
![](https://www.scirp.org/html/4-7401361\bdb27325-c501-44ab-9c8d-7dce70fdb463.jpg)
that is
(9)
Finally using the linearity of the FEP, we get
![](https://www.scirp.org/html/4-7401361\aa15f344-8174-4166-8d70-04234743dc4a.jpg)
and conclude by
(10)
and
![](https://www.scirp.org/html/4-7401361\f5910d05-032b-426b-be20-1ff9049109b8.jpg)
Proof of Theorem 3. We have
![](https://www.scirp.org/html/4-7401361\cc9385cf-cec7-4878-9e0c-d58a6338eed8.jpg)
and then
![](https://www.scirp.org/html/4-7401361\fda69734-83be-4d41-b2ab-dccd605127bc.jpg)
We arrive at
(11)
We get the variation of
between to instants
and
as follows
![](https://www.scirp.org/html/4-7401361\03827415-028a-4d63-b5e8-3bca051d256a.jpg)
This leads to
![](https://www.scirp.org/html/4-7401361\0a1e4751-cf04-4e2f-8224-5155c1b7e8b8.jpg)
The proof will be complete with the expression of
. We have
![](https://www.scirp.org/html/4-7401361\8618ce10-4fba-4986-bee7-105e9ab87632.jpg)
Let us compute these three numbers. First consider,
![](https://www.scirp.org/html/4-7401361\fbd6202d-977f-4456-ac81-ecd20039a0d5.jpg)
Secondly, compute
![](https://www.scirp.org/html/4-7401361\dfe1c270-e5ff-4e89-a553-033aab7ffa5f.jpg)
By developing and applying Fubini to this term, we get
![](https://www.scirp.org/html/4-7401361\51511957-5a0f-4df9-894f-7ea8a79894fc.jpg)
or
![](https://www.scirp.org/html/4-7401361\cca2d76a-e1de-4ceb-988d-ce681a486631.jpg)
![](https://www.scirp.org/html/4-7401361\0265e1a6-2e42-4ea5-8748-2c90bd263f17.jpg)
then
![](https://www.scirp.org/html/4-7401361\3243baa8-58d6-4391-9da9-651e58e7e8c0.jpg)
and
![](https://www.scirp.org/html/4-7401361\4c784951-306b-4533-9c8c-bdfec1a7f8bc.jpg)
Similarly we obtain
![](https://www.scirp.org/html/4-7401361\de2c3ce0-509c-4c29-a2d8-12837fec3fd1.jpg)
![](https://www.scirp.org/html/4-7401361\1690df95-fbe5-4c37-9823-49b1dcb1b114.jpg)
But
![](https://www.scirp.org/html/4-7401361\545d4068-6c7f-4af4-be62-3146f7439d93.jpg)
By identification, we get
![](https://www.scirp.org/html/4-7401361\b2a543a0-e540-4370-8025-598bb30a347f.jpg)
and remind that these quantities were defined in Theorem (3). Finally, we have
![](https://www.scirp.org/html/4-7401361\331a2020-b5dd-448b-9550-e40f6cb4db01.jpg)
This achieves the proof of Theorem (3).
Proof of Theorem 4.
By (6) and (10), is clear that
![](https://www.scirp.org/html/4-7401361\c3c39cb8-b187-4182-8976-4cdf6b7cbae0.jpg)
is asymptotically Gaussian with covariance
![](https://www.scirp.org/html/4-7401361\8aed8e7c-b370-420d-8d3e-497d3538689c.jpg)
Then
![](https://www.scirp.org/html/4-7401361\fe1d78b1-5cbd-43d1-b256-7b89bc7075e2.jpg)
Next straightforward computations yield
![](https://www.scirp.org/html/4-7401361\e89ff5eb-c681-4840-9b2f-c1a9f5c370cb.jpg)
Then
![](https://www.scirp.org/html/4-7401361\c3c19b7e-83e1-4692-9fca-0f9184b6959a.jpg)
We finish by computing its variance
. For this, let
![](https://www.scirp.org/html/4-7401361\b2e929f7-b342-41a1-9e6c-34bb15de5c14.jpg)
and
![](https://www.scirp.org/html/4-7401361\432a3a86-cf91-4319-918f-701902085d58.jpg)
By using the notation of Theorem 4, where we introduced
and
, we arrive at
![](https://www.scirp.org/html/4-7401361\927c0806-1180-41fd-a8a0-b7346893394e.jpg)
This completely achieves the proofs.