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