Remarks on the Stable Sα(Β,Γ,Μ) Distribution
Total Page:16
File Type:pdf, Size:1020Kb
Remarks on the Stable S®(¯; γ; ¹) Distribution Tibor K. Pog¶any & Saralees Nadarajah First version: 19 December 2011 Research Report No. 11, 2011, Probability and Statistics Group School of Mathematics, The University of Manchester Remarks on the stable Sα(β; γ; µ) distribution Tibor K. Pog´any Faculty of Maritime Studies, University of Rijeka, Rijeka, Croatia Saralees Nadarajah School of Mathematics, University of Manchester, Manchester M13 9PL, U.K. Abstract. Explicit closed forms are derived for the probability density function of the stable distribution Sα(β; γ; µ), α 2 (1; 2]. Consequent asymptotic expansions are given. The expressions involve the Srivastava-Daoust generalized Kamp´e de F´eriet hypergeometric S-function, the Fox-Wright generalized hypergeometric Ψ-function, and the Gauss hypergeometric function 2F1. 2000 Mathematics subject classification. Primary 60E10; Secondary 33C60, 62G32. Keywords and phrases. Characteristic function; Fox-Wright generalized hypergeo- metric Ψ-function; Probability density function; Srivastava-Daoust S function; Stable distribution Sα(β; γ; µ). 1. Introduction and preliminaries A random variable (r.v.) ξ is said to have the stable distribution if its charac- teristic function (CHF) is specified by [10, p. 8, Eq. (1.6)]: 8 exp iµt − γαjtjα 1 − iβ tan π α sgn(t) ; α 6= 1; <> 2 φ(t) = Eeitξ = (1.1) :> 2 exp iµt − γjtj 1 + iβ π ln t ; α = 1; where α 2 (0; 2], jβj ≤ 1, γ > 0 and µ 2 R. We write ξ ∼ Sα(β; γ; µ). The stable distribution class contains the Gaussian distribution (α = 2), the Cauchy distribution (α = 1, β = 0) and the L´evy distribution (α = 1=2, β = 1) as particular cases. The Landau distribution (α = 1, β = 1) and the dirac delta distribution (α # 0, γ # 0) are also contained as particular cases. Stable distributions have wide-ranging applications. Some of the application areas include the lighthouse problem, distribution of masses in space, random walks, hitting times for Brownian motion, fractional diffusions, stock prices, foreign exchange rates, value at risk, multiple assets, time series, signal processing, copulas, exponential power distributions, queueing theory, geology, physics, survival analysis and reliability, network traffic, computer science, biology and medicine, discrepancies, punctuated change, central pre-limit theorems, extreme values models, behavior of the sample mean and variance, and the appropriateness of infinite variance models. For discussion on these application areas and references, we refer the readers to [10, Chapter 2]. Because of its wide applicability, it is important that the properties of ξ ∼ Sα(β; γ; µ) are known explicitly. However, even the probability density function (PDF) of ξ has not been known explicitly except for the three particular cases of the Gaussian 1 2 T.K. Pog´any and S. Nadarajah distribution (α = 2), the Cauchy distribution (α = 1, β = 0) and the L´evydistribution (α = 1=2, β = 1). There has been much development of approaches to compute the PDF numerically. We refer the readers to [19, 11, 3, 8, 9, 2, 12, 13, 14, 7, 6]. See also Luk´acs[5], Zolotarev [20], Uchaikin and Zolotarev [18] and [10, Chapter 3]. The aim of this note is to derive an explicit closed form for the PDF of ξ ∼ Sα(β; γ; µ) given by 1 Z f(x) = e−itxφ(t) dt ; 2π R where φ(t) is given by (1.1). According to [10, p. 11, Theorem 1.9], stable distributions are continuous and infinitely differentiable. So, the PDF is well defined. We shall need the following mathematical tools. Let pΨq denote the Fox-Wright generalization of the hypergeometric pFq function with p numerator and q denominator parameters [17, p. 4, Eq. (2.4)] defined by p Y Γ(a + α m) " # 1 ` ` xm (a1; α1) ;:::; (ap; αp) X `=1 pΨq x = q (b1; β1) ;:::; (bq; βq) m! m=0 Y Γ(b` + β`m) `=1 for suitably bounded values of jxj, where the parameters involved satisfy q p X X α` 2 R+; ` = 1; p; βj 2 R+; j = 1; q; ∆0 = 1 + β` − αj > 0 : `=1 j=1 We also need the Srivastava-Daoust generalization of the Kamp´ede F´eriethypergeo- metric function in two variables defined by [15, p. 199] 0 0 ! 0 0 A:B;B [(a): θ; Φ] : [(b): ] ; [(b ): ] A:B;B SC:D;D0 0 0 x; y = SC:D;D0 (x; y) [(c): µ, ] : [(d): η] ; [(d ): η ] A B B0 Y Y Y 0 0 Γ(aj + mθj + nΦj) Γ(bj + m j) Γ bj + n j 1 m n X j=1 j=1 j=1 x y := (1.2); C D D0 m! n! m;n=0 Y Y Y 0 0 Γ(cj + mµj + nj) Γ(dj + mηj) Γ dj + nηj j=1 j=1 j=1 where the parameters satisfy 0 0 θ1; : : : ; θA; : : : ; η1; : : : ; ηD0 > 0: For convenience, we write (a) to denote the sequence of A parameters a1; : : : ; aA, with similar interpretations for (b);:::; (d0). Empty products should be interpreted as unity. Srivastava and Daoust [16, p. 155] reported that the series in (1.2) converges absolutely for all x; y 2 C when C D A B X X X X ∆1 = 1 + µj + ηj − θj − j > 0; j=1 j=1 j=1 j=1 Remarks on the stable Sα(β; γ; µ) distribution 3 C D0 A B0 X X 0 X X 0 ∆2 = 1 + j + ηj − Φj − j > 0 : j=1 j=1 j=1 j=1 A:B;B0 The complete set of conditions for convergence of the series SC:D;D0 (x; y) is given in Srivastava and Daoust [16, pp. 154-155]. Finally, we also need the logconvexity property of the gamma function (a direct consequence of the H¨olderinequality): Γ(λx + (1 − λ)y) ≤ Γ(x)λ Γ(y)1−λ; min(x; y) > 0; λ 2 [0; 1] : (1.3) This inequality is sharp. 2. Main results Theorem 1 derives an explicit closed form for the PDF of ξ ∼ Sα(β; γ; µ). Some corresponding asymptotic expansions are given in Theorem 2. α −1 Theorem 1. Let ξ ∼ Sα(β; γ; µ). Then for all α 2 (1; 2] and jβ tan(π 2 )j < 1 − α the PDF of ξ can be expressed as ( !) 1 [1/α : 1/α; 1] : − ; − i(µ − x) f(x) = < S1:0;0 ; iβ tan π α : (2.1) 0:0;0 2 παγ − : − ; − γ Proof. Consider 1 Z f(x) = exp fi(µ − x)t − γαjtjα [1 − iβΦ sgn(t)]g dt; 2π R α α where Φ = tan(π 2 ), i(µ − x) =: X and iβγ Φ =: Y . The Maclaurin series of the two unimodular terms in the integrand gives us 1 Z m n 1 X n X Y f(x) = tm (sgn(t)jtjα) exp {−γαjtjαg dt · 2π m! n! m;n=0 R 1 ( Z 0 1 X n = tm (−(−t)α) exp {−γα(−t)αg dt 2π m;n=0 −∞ ) Z 1 Xm Y n + tm+αn exp {−γαtαg dt · 0 m! n! 1 Z 1 m n 1 X α X Y = 1 + (−1)m+n tm+αne−(γt) dt · 2π m! n! m;n=0 0 1 1 X Z 1 = 1 + (−1)m+n t1/α+m/α+n−1 e−t dt 2παγ m;n=0 0 m n Xγ−1 Y γ−α · · m! n! 1 −1m −αn 1 X 1 + m Xγ Y γ = 1 + (−1)m+n Γ + n · (2.2): 2παγ α m! n! m;n=0 4 T.K. Pog´any and S. Nadarajah This is equivalent to (2.1). Since ∆1 = 1 − 1/α and ∆2 = 0, a case not covered by Srivastava and Daoust [16], the series convergence needs further study. Substituting 1 1 α 1 λ := ; x := + m; y := + n α 2 α − 1 2α into (1.3), we obtain the estimate 1 1 1− 1 1 1 α 1 + nα α Γ + m + n ≤ Γ + m Γ 2 (2.3) α α 2 α − 1 for all m; n 2 N0 := f0; 1; 2;:::g. Applying (2.3) to (2.2), we deduce 1 1 1 −1m 1 1 1− −αn 1 X 1 α jXjγ X + nα α jY jγ jf(x)j ≤ Γ + m · Γ 2 : παγ 2 m! α − 1 n! m=0 n=0 −1 The resulting power series' radii or convergence are ρX = 1 and ρY = 1 − α respectively. Therefore, the first one converges for all x 2 R, while the second one converges for jY jγ−α = jβΦj < 1 − α−1. The proof is complete. α Theorem 2. Assume α 2 (1; 2] and jβ tan(π 2 )j ! 0. Then we have " # 1 x − µ2 (1/α; 1/α) f(x) = p 1Ψ1 − : (2.4) παγ (1=2; 1) 4γ Moreover, 1 Γ 1 + " 1 1 1 # α ; + 1 2 f(µ) = F 2α 2 α − β tan π α (2.5) 2 1 1 2 πγ 2 π −1 for all α 2 (1; 2] and j β tan( 2 α) j< 1 − α . Proof. Note that " # 0 A:B;B ((a); θ) ; ((b); ) lim SC:D;D0 (x; y) = A+BΨC+D x : y!0 ((c); µ) ; ((d); η) α Now, letting jβ tan(π 2 )j ! 0 in (2.1), we see that ( 1 m ) 1 X 1 + m [i(µ − x)/γ] f(x) = < Γ παγ α m! m=0 1 2 2m 1 X 1 + 2m −(x − µ) /γ = Γ παγ α (2m)! m=0 1 1 2 2m 1 X Γ + m −(x − µ)= 4γ = α α ; 3=2 Γ 1 + m m! π αγ m=0 2 Remarks on the stable Sα(β; γ; µ) distribution 5 m 1 p where we have applied (2m)! = 2mΓ(2m) = 4 Γ(m + 1)Γ(m + 2 )= π.