arxiv: v2 [math.pr] 30 Sep 2009

Transcription

1 Upper and Lower Bounds in Exponential Tauberian Theorems Jochen Voss 3th September 9 arxiv:98.64v [math.pr] 3 Sep 9 Abstract In this text we study, for positive random variables, the relation between the behaviour of the Laplace transform near infinity and the distribution near zero. A result of De Bruijn shows that Ee λx exprλ α for λ and PX ε exps/ε β for ε are in some sense equivalent for /α = /β + and gives a relation between the constants r and s. We illustrate how this result can be used to obtain simple large deviation results. For use in more complex situations we also give a generalisation of De Bruijn s result to the case when the upper and lower limits are different from each other. Introduction Tauberian theorems see for example the monograph Korevaar, 4 describe the connection between the behaviour of a positive random variable near zero and the behaviour of its Laplace transform near infinity. From De Bruijn s Tauberian theorem theorem 4..9 in Bingham et al., 987 we can easily conclude the following result. Theorem Let X be a random variable on a probability space Ω,A,P, A A an event with PA > and α,, β > with α = β +. Then the limit exists if and only if exists and in this case we have αr /α = βs /β. r = lim λ α logee λx A s = lim ε ε β logpx ε,a Proof. In theorem 4..9 of Bingham et al. 987 choose their alpha to be /β, φx = x /β, ψx = x /α, and B = s. This gives the proof in the case A = Ω. The case of general sets A can be reduced to the first case by considering the distribution Q = P A/PA instead of P. With the help of this theorem we can use knowledge about the Laplace transform of a given random variable X to show that the probability PX ε for ε decays exponentially fast. Therefore in some situations Tauberian theorems of exponential type can be valuable tools for deriving large deviation principles. Typically, in this case one has α = /, β = and thus s = r /4. Section illustrates this idea by using theorem to derive a simple large deviation result for the conditional distribution of a Brownian motion, given that the L -norm of the path is small. In general, the limit does not necessarily exist. For large deviation results one usually considers upper and lower limits, and thus theorem cannot be used directly. In section 3 of this text we will therefore derive a version of theorem which considers upper and lower limits. A University of Leeds, Statistics Department, Leeds LS 9JT, United Kingdom. J.Voss@leeds.ac.uk

2 lengthy application where upper and lower limits are needed, and where theorem is therefore not enough, can be found in Voss 8. The special case of α = / and β = for the result presented in this text was originally derived as part of my PhD-thesis Voss, 4. Brownian Paths with Small L -Norm In this section we illustrate how theorem can be used to derive a simple large deviations principle LDP for Brownian motion. See Dembo and Zeitouni 998 for details about large deviations, and in particular section 5. there for large deviation results for Brownian motion. A review of the connections between Tauberian theorems and large deviations, and further references, can be found in Bingham 8. Let X be the space of all paths ω: [,t] R such that ω =, equipped with the topology of pointwise convergence. On X, define a family P ε ε> of measures by P ε A = W A Bs ds ε for all measurable A X, where W is the Wiener measure on X and B is the canonical process. Theorem On the space X the family P ε ε> satisfies the LDP with the good rate function for all ω X. Iω = sup { t+ω t + +ω t n +ω t /8 t /8 n N, < t < < t n < t} Proof. Define X = B s ds. In order to apply theorem we have to calculate the tails of the Laplace transform of X. Formula.9.7 from Borodin and Salminen 996 states where ϕx;t,z = E x exp γ γ exp πsinhtγ Bs ds ;B t dz = ϕx;t,zdz x +z γcoshtγ xzγ sinhtγ For starting point x, measurable sets A,...,A n R and fixed times < t < < t n = t, the Markov property of Brownian motion gives then E x exp γ = A Bs ds A B t An B tn A n ϕx;t,z ϕz ;t t,z. ϕz n ;t n t n,z n dz n dz. We are interested in the exponential tails of this expression for γ. Let ε >. Observe that there are constants < c < c and G > with c e γt/ πsinhγt c e γt/ for all γ > G. Furthermore we can use the relation xz x +z to get x +z coshγt sinhγt for all x,z R. Because of x +z coshγt xz sinhγt x +z coshγt+ sinhγt coshγt± sinhγt = eγt +e γt ± e γt e γt for γ.

3 we can then find a γ >, such that whenever γ > γ the estimate x +z holds for all x,z R. Using this estimate we conclude lim sup exp γ lim γ logγn/ c n ε x +z coshγt xz sinhγt x +z Bs ds A B t An B tn e A γt/ exp γ x +z A n e γt t/ exp γ z +z e γtn tn / exp γ z n +z n = lim γ log exp γt n / γx A /+z + A n +ε ε ε ε dz n dz +z n +z n / ε dz n dz. Note the special role of the final point z n. With the help of the Laplace principle see e.g. Dembo and Zeitouni, 998, section 4.3 we can calculate the limit on the right hand side to get lim sup for all ε > and thus exp γ Bs ds A B t An B tn essinf t/+x /+z z + +z n +z n. / ε A,...,z n A n lim sup exp γ A very similar calculation gives lim inf and together this shows Bs ds A B t An B tn essinf t/+x /+z + +zn +zn/. z A,...,z n A n exp γ Bs ds A B t An B tn essinf t/+x /+z + +zn +z z A,...,z n A n n/. lim exp γ Bs ds A B t An B tn 3 t/+x /+z z + +z n +z n /. A,...,z n A n = essinf For measurable sets A,...,A n R and fixed times < t < < t n = t, the Tauberian theorem applied to equation 3 gives limε logp ε B t,b t,...,b tn A A A n = limε logp B t A,B t A,...,B tn A n, ε lim ε ε logp Bs ds ε Bs ds ε Bs ds ε = t+ essinf z A A A n z + +z n +z n /8+t /8. 3 4

4 Using A n = R we can drop the assumption t n = t and arrive at the following result. For all measurable sets A,...,A n R and fixed times < t < < t n t we have limε logp B t,b t,...,b tn A A A n ε = essinf z A A A n I t,...,t n z where I t,...,t n : R n R + is defined by B s ds ε { t+z t + +zn, if t n < t, and 5 I t,...,t n z = 8 t+z t + +zn +zn for t n = t. Since the rate function I t,...,t n is continuous, we can replace essinf with inf when the sets A i are open and thus 5 gives an LDP on R n. From this we can get the LDP on the path space X with rate function I by applying the Dawson-Gärtner theorem about large deviations for projective limits see for example Dembo and Zeitouni, 998, theorem Note that the rate function I in the theorem will typically take its infimum for a noncontinuous path ω: Assume ω is continuous and non-zero. Let ε = ω /. Then we find infinitely many distinct times t with ω t > ε and thus Iω = +. Therefore it will not be possible to prove the same theorem with X replaced by C [,t],r. 3 Upper and Lower Limits In this section we derive an analogue of theorem which considers upper and lower limits. The proof does not rely on theorem and uses only elementary methods. Theorem 3 Let X be a random variable on a probability space Ω,A,P, A A an event with PA > and α,, β > with α = β +. a The upper limits r = limsup satisfy α r /α = β s /β. b The lower limits r = liminf λ α logee λx A and s = limsupε β logpx ε,a ε λ α logee λx A and s = liminf ε εβ logpx ε,a. satisfy αr /α βs /β e Hα αr /α where Hα = αlogα αlog α and both bounds are sharp. Note that, because X is positive, the expectation Ee λx exists for all λ and is a number between and. Thus the values r, r, s, and s will all be negative. Also it is easy to see that theorem 3 does not directly imply theorem : If the limit s from theorem exists, then we get βs /β = α r /α αr /α βs /β i.e. the limit r also exists and satisfies αr /α = βs /β. But if we assume that r exists, then theorem 3 only gives αr /α = β s /β βs /β e Hα αr /α and we cannot directly conclude that the limit s from theorem exists. Proof. As in the proof of theorem, it is enough to consider the case A = R. Throughout the proof we will use the relations β/α = β + and α/β = α without further comment. a The estimate β s /β α r /α follows from the exponential Markovinequality: Let ε >. From Ee λx e λε P e λx e λε = e λε P X ε 4

5 we get PX ε e λε Ee λx and thus ε β logpx ε ε β λε+logee λx for all λ. For λ = β β+ rβ+ ε β+ the bound becomes Taking upper limits we get ε β logpx ε β β + r β+ + β β + r β λ α logee λx. s = limsupε logpx ε ε β β + r β+ β + β + r β r = β + β+ r β+ and the claim follows by solving this inequality for β s /β. A more careful analysis is necessary to prove β s /β α r /α. We can express r via the lower tails of X: r = limsup = limsup λ α logee λx λ α log = limsupεlog ε Pe λx tdt β β PX ε /α ue u du. The definition of s gives that for every δ > there exists an E >, such that for every η < E we have PX η exp s+δ/η β. Using this estimate and the substitution v = εu we find r limsupεlog ε exp s δv β +v ε ε dv. The right-hand side can be evaluated by the Laplace principle again and so we find r essinf s δv β +v = s δ /β+ β β/β+ +β v for every < δ < s and thus r s /β+ β β/β+ +β = s α/ββα/β α. This completes the proof of the bound α r /α β s /β. b Replacing all upper limits with lower limits in the proof of β s /β α r /α gives the corresponding bound βs /β αr /α. Finally, we prove βs /β e Hα αr /α, or equivalently r s α : Using the estimate e λx [,ε] x + e λε ε, x for all x gives E e λx PX ε + e λε. Choosing ε = ελ such that /λ α = s α ε β, we get λ α loge e λx s α ε β log PX ε+e s ε β. For the second term in the sum, the limit lim ε ε β loge s ε β = s exists and thus we can conclude r s α liminf ε β log PX ε+e s ε β ε = s α max lim inf ε β logpx ε, limε β loge s ε β ε ε = s α max s, s = s α. 5

6 This is the required result. The lower bound on s is sharp, because in the case of theorem we have equality there. The fact that the upper bound on s is sharp is shown by the following example. Example. This example illustrates that the bound βs /β e Hα αr /α is sharp. Let s <, α and β as above, and ε n n N be a strictly decreasing sequence with ε = and lim n ε n =. Then we have e s ε β n e s ε β n = e s ε β lim n e s ε β n = = n= and we can define a random variable X with values in the set {ε n n N} by for all n N. This random variable has PX ε = PX = ε n = e s ε β n e s ε β n n=nε e s ε β n e s ε β n with nε = min{n N ε n ε} and consequently ε β logpx ε = s ε β ε β nε = e s ε β nε By definition of nε we have ε nε ε < ε nε. This allows us to calculate the exponential tail rates s = s and, because s is negative, s = s liminf n ε β n/ε β n. Choosing different sequences ε n leads to different values for s, r, and r. For our example let q < and define ε n = q n for all n N. Then the above calculation shows s = qs and s = s. Theorem 3 gives r = βqs α/β /α and r [ βs α/β /α, e Hα βs α/β /α ] = [ e Hα s α/β, s α/β]. In order to show that the upper bound on s is sharp, we have to show that we can have r arbitrarily close to s α/β. In the situation of the example we can get better bounds on r by an explicit calculation. The Laplace transform of X is given by Ee λx = n N e λqn e s q βn e s q βn. = n Ne λqn s q βn e s qβ q βn. Since exp s q β q βn as n, we have / < exp s q β q βn < for sufficiently large n. Define nλ by q nλ [ q s /λ α/β, s /λ α/β. With fx = exp λx q β s x β we have Ee λx > exp λq nλ s q βnλ = fqnλ for sufficiently large λ. Because the only local extremum of f is a local maximum, we can get a lower bound for f on the interval [ q s /λ α/β, s /λ α/β by just considering the boundary points. This leads to Ee λx > min fq s /λ α/β,f s /λ α/β = exp +maxq,q β λ α s α/β for sufficiently large λ. Taking lower limits we get r = liminf λ α logee λx +maxq,q β s α/β. By choosing small values of q, we can force r to be arbitrarily close to s α/β and thus the bound from the theorem is sharp. Acknowledgements. I want to thank the anonymous referees for pointing out that my original proof for the case α = / and β = could be changed to give the more general result presented here, and also for pointing me to the references Korevaar 4 and Bingham 8. 6

7 References N. H. Bingham. Tauberian theorems and large deviations. Stochastics, 8-3:43 49, 8. N. H. Bingham, C. M. Goldie, and J. L. Teugels. Regular Variation. Cambridge University Press, 987. Andrei N. Borodin and Paavo Salminen. Handbook of Brownian Motion Facts and Formulae. Probability and its Applications. Birkhäuser, Basel, 996. Amir Dembo and Ofer Zeitouni. Large Deviations Techniques and Applications, volume 38 of Applications of Mathematics. Springer, second edition, 998. Jacob Korevaar. Tauberian Theory: A Century of Developments, volume 39 of Grundlehren der mathematischen Wissenschaften. Springer, 4. Jochen Voss. Some Large Deviation Results for Diffusion Processes. PhD thesis, University of Kaiserslautern, Germany, 4. Jochen Voss. Large deviations for one dimensional diffusions with a strong drift. Electronic Journal of Probability, 353:479 56,