Hindawi Publishing Corporation
International Journal of Stochastic Analysis
Volume 2013, Article ID 952628, 4 pages
http://dx.doi.org/10.1155/2013/952628
Research Article
Sharp Large Deviation for the Energy of πΌ-Brownian Bridge
Shoujiang Zhao,1 Qiaojing Liu,1 Fuxiang Liu,1 and Hong Yin2
1
2
School of Science, China Three Gorges University, Yichang 443002, China
School of Information, Renmin University of China, Beijing 100872, China
Correspondence should be addressed to Qiaojing Liu; qjliu2002@163.com
Received 26 April 2013; Accepted 23 October 2013
Academic Editor: Yaozhong Hu
Copyright © 2013 Shoujiang Zhao et al. This is an open access article distributed under the Creative Commons Attribution License,
which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We study the sharp large deviation for the energy of πΌ-Brownian bridge. The full expansion of the tail probability for energy is
obtained by the change of measure.
1. Introduction
In this paper we consider the sharp large deviation principle (SLDP) of energy ππ‘ , where
We consider the following πΌ-Brownian bridge:
πΌ
πππ‘ = −
π ππ‘ + πππ‘ ,
π−π‘ π‘
π‘
ππ‘ = ∫
π0 = 0,
0
(1)
where π is a standard Brownian motion, π‘ ∈ [0, π), π ∈
(0, ∞), and the constant πΌ > 1/2. Let ππΌ denote the probability distribution of the solution {ππ‘ , π‘ ∈ [0, π)} of (1). The
πΌ-Brownian bridge is first used to study the arbitrage profit
associated with a given future contract in the absence of transaction costs by Brennan and Schwartz [1].
πΌ-Brownian bridge is a time inhomogeneous diffusion
process which has been studied by Barczy and Pap [2, 3], Jiang
and Zhao [4], and Zhao and Liu [5]. They studied the central
limit theorem and the large deviations for parameter estimators and hypothesis testing problem of πΌ-Brownian bridge.
While the large deviation is not so helpful in some statistics
problems since it only gives a logarithmic equivalent for the
deviation probability, Bahadur and Ranga Rao [6] overcame
this difficulty by the sharp large deviation principle for the
empirical mean. Recently, the sharp large deviation principle is widely used in the study of Gaussian quadratic
forms, Ornstein-Uhlenbeck model, and fractional OrnsteinUhlenbeck (cf. Bercu and Rouault [7], Bercu et al. [8], and
Bercu et al. [9, 10]).
ππ 2
(π − π)2
ππ .
(2)
Our main results are the following.
Theorem 1. Let {ππ‘ , π‘ ∈ [0, π)} be the process given by the
stochastic differential equation (1). Then {ππ‘ /π π‘ , π‘ ∈ [0, π)} satisfies the large deviation principle with speed π π‘ and good rate
function πΌ(⋅) defined by the following:
{ 1 ((2πΌ0 − 1) π₯ − 1)2 , if π₯ > 0;
πΌ (π₯) = { 8π₯
if π₯ ≤ 0,
{+∞,
(3)
where π π‘ = log(π/(π − π‘)).
Theorem 2. {ππ‘ /π π‘ , π‘ ∈ [0, π)} satisfies SLDP; that is, for any
π > 1/(2πΌ − 1), there exists a sequence ππ,π such that, for any
π > 0, when π‘ approaches π enough,
π (ππ‘ ≥ ππ π‘ ) =
exp {−πΌ (π) π π‘ + π» (ππ )}
√2πππ π½π‘
π
ππ,π
1
× (1 + ∑
+ π ( π+1 )) ,
π
ππ‘
π=1 π‘
(4)
2
International Journal of Stochastic Analysis
where
ππ2 = 4π2 ,
ππ =
Proof. By ItoΜ’s formula and Girsanov’s formula (see Jacob and
Shiryaev [11]), for all π’ ∈ DπΏ and π‘ ∈ [0, π),
π½π‘ = ππ √π π‘ ,
log
(1 − 2πΌ)2 π2 − 1
,
8π2
(5)
= (πΌ − π½) ∫
1
1 − (1 − 2πΌ) π
π» (ππ ) = − log (
).
2
2
πβ
β2 β12
π
1
(−
−
+ 4 2 + 3 21
2
ππ
2
2 8ππ 2ππ
π‘
0
πΌ2 − π½2 π‘ ππ 2
ππ
ππ ,
πππ −
∫
2
π −π
2
0 (π − π)
π‘
The coefficients ππ,π may be explicitly computed as functions of
the derivatives of πΏ and π» (defined in Lemma 3) at point ππ .
For example, ππ,1 is given by
ππ,1 =
πππΌ
|
πππ½ [0,π‘]
ππ
πππ
∫
0 π −π
=
π‘
ππ 2
ππ‘2
1
π‘
+∫
(
ππ − log (1 − )) .
2
2 (π‘ − π)
π
0 (π − π)
Therefore,
5π2
π
β
1
− 34 + 1 − 3 2 − 2 ) ,
24ππ ππ 2ππ ππ ππ
(6)
= log Eπ½ exp {
Given πΌ > 1/2, we first consider the following logarithmic
moment generating function of ππ‘ ; that is,
×∫
0
(π − π)
ππ } ,
2
∀π ∈ R.
ππ }
πππΌ
| )
πππ½ [0,π‘]
1 2
(π½ − πΌ2 + πΌ − π½ + 2π’)
2
+
ππ 2
(π − π)
2
πΌ−π½ 2 πΌ−π½
π‘
π −
log (1 − )
2 (π‘ − π) π‘
2
π
2. Large Deviation for Energy
π‘
ππ 2
π‘
πΏ π‘ (π’) = log Eπ½ (exp {π’ ∫
0
with ππ = πΏ(π) (ππ ), and βπ = π»(π) (ππ ).
πΏ π‘ (π’) := log EπΌ exp {π’ ∫
π‘
0
ππ 2
(π − π)2
ππ } .
(13)
(7)
And let
If 4π’ ≤ (1 − 2πΌ)2 , we can choose π½ such that (π½ − 1/2)2 − (πΌ −
1/2)2 + 2π’ = 0. Then
1 − 2πΌ − π (π)
ππ‘
4
(8)
πΏ π‘ (π’) = −
be the effective domain of πΏ π‘ . By the same method as in Zhao
and Liu [5], we have the following lemma.
−
1
1
log { (1 + β (π’))}
2
2
Lemma 3. Let DπΏ be the effective domain of the limit πΏ of πΏ π‘ ;
then for all π’ ∈ DπΏ , one has
−
1
1 − β (π’)
exp {2π (π’) π π‘ }} ,
log {1 +
2
1 + β (π’)
DπΏ π‘ := {π’ ∈ R, πΏπ‘ (π’) < +∞}
πΏ π‘ (π’)
π» (π’) π
(π’)
= πΏ (π’) +
+
,
ππ‘
ππ‘
ππ‘
(9)
1 − 2πΌ − π (π’)
,
4
1
1
π» (π) = − log { (1 + β (π’))} ,
2
2
where π(π’) = −√(1 − 2πΌ)2 − 8π’, and β(π’) = (1 − 2πΌ)/π(π’).
Therefore,
−
(10)
1
1 − β (π’)
exp {2π (π’) π π‘ }} ,
π
(π’) = − log {1 +
2
1 + β (π’)
1
1
log { (1 + β (π’))}
2π π‘
2
1 − β (π’)
1
exp {2π (π’) π π‘ }}
log {1 +
−
2π π‘
1 + β (π’)
= πΏ (π’) +
where π(π’) = −√(1 − 2πΌ)2 − 8π’ and β(π’) = (1 − 2πΌ)/π(π’).
Furthermore, the remainder π
(π’) satisfies
π
(π’) = ππ‘ → π (exp {2π (π’) π π‘ }) .
(14)
1 − 2πΌ − π (π’)
πΏ π‘ (π’)
= −
ππ‘
4
with
πΏ (π’) = −
(12)
(11)
(15)
π» (π’) π
(π’)
+
.
ππ‘
ππ‘
Proof of Theorem 1. From Lemma 3, we have
πΏ (π’) = limπ‘ → π
πΏ π‘ (π’) 1 − 2πΌ − π (π’)
=
,
ππ‘
4
(16)
International Journal of Stochastic Analysis
3
and πΏ(⋅) is steep; by the GaΜrtner-Ellis theorem (Dembo and
Zeitouni [12]), ππ‘ /π π‘ satisfies the large deviation principle
with speed π π‘ and good rate function πΌ(⋅) defined by the
following:
{ 1 ((2πΌ − 1) π₯ − 1)2 ,
πΌ (π₯) = { 8π₯
{+∞,
if π₯ > 0;
Lemma 7. When π‘ approaches π, Φπ‘ belongs to πΏ2 (R) and,
for all π’ ∈ R,
Φπ‘ (π’) = exp {−
ππ’
× exp {(πΏ π‘ (ππ + ) − πΏ π‘ (ππ ))} .
π½π‘
(17)
if + π₯ ≤ 0.
ππ’√π π‘ π
}
ππ
(23)
Moreover,
Remark 4. Theorem 1 can also be obtained by using
Theorem 1 in Zhao and Liu [5].
π΅π‘ = Eπ exp {−ππ π½π‘ ππ‘ πΌ{ππ‘ ≥0} } = πΆπ‘ + π·π‘ ,
(24)
with
3. Sharp Large Deviation for Energy
For π > 1/(2πΌ − 1), let
(1 − 2πΌ)2 π2 − 1
ππ =
,
8π2
ππ2 = πΏσΈ σΈ (ππ ) = 4π3 ,
1
π» (ππ ) = − log (1 − (1 − 2πΌ) π) .
2
(18)
1
ππ’ −1
(1 +
) Φπ‘ (π’) ππ’,
∫
2πππ π½π‘ |π’|>π π‘
ππ π½π‘
(25)
σ΅¨σ΅¨ σ΅¨σ΅¨
1/3
σ΅¨σ΅¨π·π‘ σ΅¨σ΅¨ = π (exp {−π·π π‘ }) ,
1/6
π
(26)
)) ,
π−π‘
for some positive constant π , and π· is some positive constant.
exp {πΏ (ππ ) − πππ π π‘ +πππ π π‘ − ππ ππ‘ } πππ‘
Proof. For any π’ ∈ R,
= exp {πΏ (ππ ) − πππ π π‘ } Eπ exp {−ππ π½π‘ ππ‘ πΌ{ππ‘ ≥0} } = π΄ π‘ π΅π‘ ,
(19)
Φπ‘ (π’) = E (exp {ππ’ππ‘ } exp {ππ ππ‘ − πΏ π‘ (ππ )})
= exp {−
where Eπ is the expectation after the change of measure
πππ‘
= exp {ππ ππ‘ − πΏ π‘ (ππ )} ,
ππ
ππ‘ =
ππ‘ − ππ π‘
,
π½π‘
(20)
π½π‘ = ππ √π π‘ .
(21)
For π΅π‘ , one gets the following.
Lemma 6. For all π > 1/(2πΌ − 1), the distribution of ππ‘ under
ππ‘ converges to π(0, 1) distribution. Furthermore, there exists
a sequence ππ such that, for any π > 0 when π‘ approaches π
enough,
π
π
1
−(π+1)
(1 + ∑ ππ + π (π π‘
)) .
π
ππ ππ √2ππ π‘
π=1 π‘
(22)
Proof of Theorem 2. The theorem follows from Lemma 5 and
Lemma 6.
It only remains to prove Lemma 6. Let Φπ‘ (⋅) be the
characteristic function of ππ‘ under ππ‘ ; then we have the
following.
(27)
ππ’
) − πΏ π‘ (ππ ))} .
π½π‘
By the same method as in the proof of Lemma 2.2 in [7]
by Bercu and Rouault, there exist two positive constants π
and π
such that
−(π
/2)π π‘
ππ’2
σ΅¨2
σ΅¨σ΅¨
)
σ΅¨σ΅¨Φπ‘ (π’)σ΅¨σ΅¨σ΅¨ ≤ (1 +
ππ‘
Lemma 5. For all π > 1/(2πΌ−1), when π‘ approaches π enough,
π΄ π‘ = exp {−πΌ (π) π π‘ + π» (ππ )} (1 + π ((π − π‘)π )) .
ππ’√π π‘ π
}
ππ
× exp {(πΏ π‘ (ππ +
By Lemma 3, we have the following expression of π΄ π‘ .
π΅π‘ =
π·π‘ =
π π‘ = π (log (
π (ππ‘ ≥ ππ π‘ )
ππ‘ ≥ππ π‘
1
ππ’ −1
(1 +
) Φπ‘ (π’) ππ’,
∫
2πππ π½π‘ |π’|≤π π‘
ππ π½π‘
where
Then
=∫
πΆπ‘ =
;
(28)
therefore, Φπ‘ (⋅) belongs to πΏ2 (R), and by Parseval’s formula,
for some positive constant π , let
π π‘ = π (log (
1/6
π
)) ;
π−π‘
(29)
we get
π΅π‘ =
1
1
ππ’ −1
(1 +
) Φπ‘ (π’) ππ’ +
∫
2πππ π½π‘ |π’|≤π π‘
ππ π½π‘
2πππ π½π‘
ππ’ −1
×∫
(1 +
) Φπ‘ (π’) ππ’
ππ π½π‘
|π’|>π π‘
= : πΆπ‘ + π·π‘ ,
σ΅¨σ΅¨ σ΅¨σ΅¨
1/3
σ΅¨σ΅¨π·π‘ σ΅¨σ΅¨ = π (exp {−π·π π‘ }) ,
where π· is some positive constant.
(30)
(31)
(32)
4
International Journal of Stochastic Analysis
Proof of Lemma 6. By Lemma 3, we have
−2π
π
πΏ(π)
π»(π) (ππ ) π (π π‘ (π − π‘) )
π‘ (ππ )
= πΏ(π) (ππ ) +
+
. (33)
ππ‘
ππ‘
ππ‘
Noting that πΏσΈ (ππ ) = 0, πΏσΈ σΈ (ππ ) = ππ2 and
πΏσΈ σΈ (ππ ) ππ’ 2
π’2
( ) ππ‘ = − ,
2
π½π‘
2
(34)
for any π > 0, by Taylor expansion, we obtain
log Φπ‘ (π’) = −
2π+3
(π)
ππ’ π πΏ (ππ )
π’2
+ ππ‘ ∑ ( )
2
π½π‘
π!
π=3
2π+1
+ ∑(
π=1
+ π(
(π)
ππ’ π π» (ππ )
)
π½π‘
π!
max (1, |π’|2π+4 )
π+1
ππ‘
(35)
);
therefore, there exist integers π(π), π(π) and a sequence ππ,π
independent ofπ; when π‘ approaches π, we get
Φπ‘ (π’) = exp {−
2π π(π)
ππ,π π’π
π’2
1
} (1 +
∑ ∑ π/2
2
√π π‘ π=0 π=π+1 π π‘
+ π(
max (1, |π’|π(π) )
π+1
ππ‘
(36)
)) ,
where π is uniform as soon as |π’| ≤ π π‘ .
Finally, we get the proof of Lemma 6 by Lemma 7
together with standard calculations on the π(0, 1) distribution.
Acknowledgment
This research was supported by the National Natural Science
of Tianyuan Foundation under Grant 11226202.
References
[1] M. J. Brennan and E. S. Schwartz, “Arbitrage in stock index
futures,” The Journal of Business, vol. 63, pp. 7–31, 1990.
[2] M. Barczy and G. Pap, “Asymptotic behavior of maximum likelihood estimator for time inhomogeneous diffusion processes,”
Journal of Statistical Planning and Inference, vol. 140, no. 6, pp.
1576–1593, 2010.
[3] M. Barczy and G. Pap, “Explicit formulas for Laplace transforms
of certain functionals of some time inhomogeneous diffusions,”
Journal of Mathematical Analysis and Applications, vol. 380, no.
2, pp. 405–424, 2011.
[4] H. Jiang and S. Zhao, “Large and moderate deviations in testing
time inhomogeneous diffusions,” Journal of Statistical Planning
and Inference, vol. 141, no. 9, pp. 3160–3169, 2011.
[5] S. Zhao and Q. Liu, “Large deviations for parameter estimators
of πΌ-Brownian bridge,” Journal of Statistical Planning and Inference, vol. 142, no. 3, pp. 695–707, 2012.
[6] R. R. Bahadur and R. Ranga Rao, “On deviations of the sample
mean,” Annals of Mathematical Statistics, vol. 31, pp. 1015–1027,
1960.
[7] B. Bercu and A. Rouault, “Sharp large deviations for the Ornstein-Uhlenbeck process,” RossiΔ±Μskaya Akademiya Nauk. Teoriya VeroyatnosteΔ±Μ i ee Primeneniya, vol. 46, no. 1, pp. 74–93, 2001.
[8] B. Bercu, F. Gamboa, and M. Lavielle, “Sharp large deviations for
Gaussian quadratic forms with applications,” European Series in
Applied and Industrial Mathematics. Probability and Statistics,
vol. 4, pp. 1–24, 2000.
[9] B. Bercu, L. Coutin, and N. Savy, “Sharp large deviations for
the fractional Ornstein-Uhlenbeck process,” SIAM Theory of
Probability and Its Applications, vol. 55, pp. 575–610, 2011.
[10] B. Bercu, L. Coutin, and N. Savy, “Sharp large deviations for
the non-stationary Ornstein-Uhlenbeck process,” Stochastic
Processes and their Applications, vol. 122, no. 10, pp. 3393–3424,
2012.
[11] J. Jacod and A. N. Shiryaev, Limit Theorems for Stochastic Processes, Springer Press, Berlin, Germany, 1987.
[12] A. Dembo and O. Zeitouni, Large Deviations Techniques and
Applications, vol. 38, Springe, Berlin, Germany, 2nd edition,
1998.
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014