Natural Exponential Families and Generalized Hypergeometric Measures

Let ν be a positive Borel measure on ?ⁿ and _pF_q(a₁,…, a_p; b₁,…, b_q; s) be a generalized hypergeometric series. We define a generalized hypergeometric measure, μ_p,q := _pF_q(a₁,…, a_p; b₁,…, b_q;ν), as a series of convolution powers of the measure ν, and we investigate classes of probability distributions which are expressible as such a measure. We show that the Kemp (1968 Kemp , A. W. ( 1968 ). A wide class of discrete distributions and the associated differential equations . Sankhyā, Ser. A 30 : 401 – 410 . Google Scholar]) family of distributions is an example of μ_p,q in which ν is a Dirac measure on ?. For the case in which ν is a Dirac measure on ?ⁿ, we relate μ_p,q to the diagonal natural exponential families classified by Bar-Lev et al. (1994 Bar-Lev , S. K. , Bshouty , D. , Enis , P. , Letac , G. , Lu , I. , Richards , D. ( 1994 ). The diagonal natural exponential families on ? ⁿ and their classification . J. Theoret. Probab. 7 : 883 – 929 .Crossref] , Google Scholar]). For p < q, we show that certain measures μ_p,q can be expressed as the convolution of a sequence of independent multi-dimensional Bernoulli trials. For p = q, q + 1, we show that the measures μ_p,q are mixture measures with the Dufresne and Poisson-stopped-sum probability distributions as their mixing measures.