 Research
 Open Access
 Published:
Geometric disintegration and starshaped distributions
Journal of Statistical Distributions and Applications volume 1, Article number: 20 (2014)
Abstract
Geometric and stochastic representations are derived for the big class of pgeneralized elliptically contoured distributions, and (generalizing Cavalieri’s and Torricelli’s method of indivisibles in a nonEuclidean sense) a geometric disintegration method is established for deriving even more general starshaped distributions. Applications to constructing nonconcentric elliptically contoured and generalized von Mises distributions are presented.AMS subject classification Primary 60E05; 60D05; secondary 28A50; 28A75; 51F99
Introduction
The needs of statistical practice and challenging probabilistic questions in the interplay of measure theory and several other mathematical disciplines stimulate the development of statistical distribution theory. In part, well established mathematical strategies are followed to enlarge known families of distributions, and partly new types of distributions are derived by new methods.
Numerous studies on multivariate probability distributions with a view towards their statistical applications are closely connected with notions like decomposition or disintegration of probability laws, invariant measures on groups and related manifolds, and cross sections. Among the basic references in this field, we refer to (BarndorffNielsen et al. [1989]; Eaton [1983], [1989]; Farrell [1976], [1985]; Koehn [1970]; Muirhead [1982]; Nachbin [1976]; Wijsman [1967], [1986], [1990]). In the spirit of those works, generalizations of elliptically contoured distributions where the contours are described by a positive function that is positive homogeneous or are arbitrary cross sections are discussed in (Balkema and Nolde [2010]; Fernandez et al. [1995]) and in (Kamiya et al. [2008]; Takemura and Kuriki [1996]) respectively.
Zonoid trimming for multivariate distributions is considered in ([Koshevoy and Mosler 1997]; [Mosler 2002]). In (Balkema et al. [2010]; Balkema and Nolde [2010]; Joenssen and Vogel [2012]; Kinoshita and Resnick [1991]; Mosler [2013]; Nolde [2014]) the authors describe the way in which starshaped sets and, correspondingly, starshaped distributions occur in limit set theory, in meta density analysis, power studies for goodnessoffit tests, depth analysis and analysis of residual dependence between extreme values in the presence of asymptotic independence, respectively. Normcontoured sets and related estimation problems of identifying structures in highdimensional data sets are dealt with in ([Scholz 2002]).
The authors in (Fang et al. [1990]; Kallenberg [2005]; Schindler [2003]) present studies of symmetric laws from different points of view. The class of l_{n,p}symmetric distributions, $n\in \mathbb{N}=\{1,2,\dots \},\phantom{\rule{0.3em}{0ex}}p\ge 1,$ was introduced in ([Osiewalski and Steel 1993]) and studied in ([Gupta and Song 1997]; [Song and Gupta 1997]; [Schechtman and Zinn 1990]; [Rachev and Rüschendorf 1991]; [Szablowski 1998]). Applications of these distributions are discussed in ([Nardon and Pianca 2009]; [Pogány and Nadarajah 2010]).
Geometric measure representations for l_{n,p}symmetric distributions, $n\in \mathbb{N},\phantom{\rule{0.3em}{0ex}}p>0,$ and for heteroscedastic Gaussian distributions were derived in (Richter [2009], [2013]), respectively.
An extension of the class of l_{n,p}symmetric distributions to the class of skewed l_{n,p}symmetric distributions has been derived in ([ArellanoValle and Richter 2012]). A general approach to geometric representations of skewed l_{n,2}symmetric distributions can be found for n=2 in ([Günzel et al. 2012]) and for arbitrary n in ([Richter and Venz 2014]). Another definition of power exponential distributions than the one used here was given in ([Gómez et al. 1998]), where a special case of elliptically contoured distributions is dealt with. Densities of pgeneralized elliptically contoured distributions and of more general starshaped distributions have been considered in (Balkema and Nolde [2010]; Fernandez et al. [1995]).
In the present paper, geometric and stochastic representations are derived for the big class of pgeneralized elliptically contoured distributions. Generalizing Cavalieri’s and Torricelli’s method of indivisibles in a nonEuclidean sense, a geometric disintegration method is established for deriving even more general starshaped distributions. Basic properties of these distributions are studied, applications of the new representations to constructing nonconcentric elliptically contoured distributions and to generalizing the von Mises distribution are discussed, and the necessary background from nonEuclidean metric geometry is developed.
Many authors use iterated integration in distribution theory by first integrating with respect to (w.r.t.) a radius variable and then w.r.t. certain directional coordinates. In the present paper, we shall use basically the inverse order of integration. This way, we shall make use of the starsphere intersectionproportion function (ipf) of a given set. The ipf is essentially based upon a suitably defined nonEuclidean surface content on a star sphere. The latter notion needs therefore the most effort in the present work. Areas from probability theory and mathematical statistics where the ipf successfully applies are surveyed in ([Richter 2012]). Applying this function allows to study the contours of mass concentration of a probability distribution independently from the tail behavior of the distribution, and often leads to a numerical stabilization of the evaluation of probability integrals. Further, the ipf allows a nonEuclidean surface measure interpretation of certain sector measures considered in the literature.
The paper is organized as follows. After quoting some preliminary facts in Section 2, we deal with the notion of a stargeneralized surface content in Section 3. This notion will be studied both based upon a local definition and in terms of an integral in Section 3.1. The latter definition makes use of a preliminary system of coordinates which moreover enables a generalization of the method of indivisibles. Then Section 3.2. deals exclusively with the new surface measure on pgeneralized ellipsoids. After much technical work, Theorem 5 finally proves that the local approach to the star generalized surface content results in the same quantity as a suitably defined nonEuclidean surface content in terms of an integral defined using a modified standard approach of differential geometry. To this end, some more coordinate systems are introduced and exploited. This includes consideration of stargeneralized trigonometric functions and several Jacobians. In Section 4, starshaped distributions are introduced in several steps and some of their basic properties are studied. The most explicit results are presented for the class of pgeneralized elliptically contoured distributions in Section 4.7. For this specific class, all of the more general results of the preceding parts of Section 4, including the main results in Theorems 7 and 8, allow an additional interpretation which in each case is based upon a suitable nonEuclidean geometry. Moreover, the ball number function will be extended in Section 4.5 and characteristic functions are discussed in Section 4.6. In the twodimensional case, some consequences from the preceding sections concerning the new class of nonconcentric elliptically contoured distributions and a star generalization of the von Mises distribution are drawn in Sections 5.1 and 5.2, respectively. The paper ends with some concluding remarks in Section 6, basically indicating some possible future work.
Preliminaries
The main considerations of this paper are most easily understood by making use of a relatively easy coordinate transformation. For showing the deeper meaning of several results derived this way, we shall make use, however, of different rather technical systems of coordinates which will be introduced in later sections. Here, we begin with some preliminary notions, including the preliminary coordinate system mentioned in the Introduction.
Throughout this paper, $K\subset {\mathbb{R}}^{n}$ denotes a star body, i.e. a nonempty starshaped set that is compact and is equal to the closure of its interior, having the origin 0_{ n } in its interior. Its topological boundary will be denoted by S. The functional ${h}_{K}:{\mathbb{R}}^{n}\to [0,\infty )$ defined by ${h}_{K}\left(x\right)=inf\{\lambda >0:x\in \mathrm{\lambda K}\},\phantom{\rule{0.3em}{0ex}}x\in {\mathbb{R}}^{n}$ where λ K={(λ x_{1},…,λ x_{ n })^{T}:(x_{1},…,x_{ n })^{T}∈K} is known as the Minkowski functional of the star body K. We assume that h_{ K } is positivehomogeneous of degree one, i.e. h_{ K }(λ x)=λ h_{ K }(x),λ>0, which is the case if, e.g., h_{ K } is a norm or an antinorm. For the latter notion, we refer to ([Moszyńska and Richter 2012]), and for the role which homogeneous functionals generally play in stochastics, we refer to ([HoffmannJorgensen 1994]).
Let us consider $K\left(r\right)=\mathit{\text{rK}}=\{x\in {\mathbb{R}}^{n}:{h}_{K}(x)\le r\}$ and its boundary S(r)=r S as the star ball and star sphere of Minkowski radius or star radius r>0, respectively. A countable collection $\mathfrak{F}=\{{C}_{1},{C}_{2},\mathrm{...}\}$ of pairwise disjoint cones C_{ j } with vertex being the origin 0_{ n } and ${\mathbb{R}}^{n}=\bigcup _{j}{C}_{j}$ will be called a fan. By ${\mathfrak{B}}_{n}$ we denote the Borel σfield in ${\mathbb{R}}^{n}.$ We put ${S}_{j}=S\cap {C}_{j},\phantom{\rule{0.3em}{0ex}}{S}_{j}\cap {\mathfrak{B}}_{n}={\mathfrak{B}}_{S,j}$ and ${\mathfrak{B}}_{S}=\sigma \{{\mathfrak{B}}_{S,1},{\mathfrak{B}}_{S,2},\mathrm{...}\}$. We shall consider only star bodies K and sets $A\in {\mathfrak{B}}_{S}$ satisfying the following condition.
Assumption 1.
The star body K and the set $A\in {\mathfrak{B}}_{S}$ are chosen such that for every j the set
is well defined and such that for every θ=(θ_{1},…,θ_{n−1})^{T}∈G(A∩S_{ j })there is a uniquely determined η>0 satisfying h_{ K }((θ_{1},…,θ_{n−1},η)^{T})=1.
The latter quantity will be denoted by η_{ j }(θ), j=1,2,….
For every $x\in {\mathbb{R}}^{n},x\ne 0$ there are uniquely determined r>0 and θ∈S such that x=r θ. For x∈r S_{ j }, we have x=r(θ^{T},η_{ j }(θ))^{T}, and we will write r η_{ j }(θ)=y_{ j }(θ). Consequently, h_{ K }(x)=h_{ K }(r θ)=r h_{ K }((θ^{T},η_{ j }(θ))^{T})=r.
For j=1,2,... the star spherical coordinate transformation S t S p h_{ j }:[0,∞)×G(S_{ j })→C_{ j } is defined by x_{ i }=r θ_{ i },i=1,…,n−1,x_{ n }=y_{ j }(θ). The equations r=h_{ K }(x),θ_{ i }=x_{ i }/r,i=1,…,n−1 define a.e. uniquely the inverse map of S t S p h_{ j }.
Note that if K is convex or an axes aligned pgeneralized ellipsoid, p>0, see Section 3.2.1, one may assume the sets S∩C_{1(2)} to be the upper and lower hemispheres, S^{+(−)}={θ=(θ_{1},…,θ_{ n })^{T}with θ_{ n }>(<)0}, respectively.
Lemma 1.
The absolute value of the Jacobian of the starspherical coordinate transformation is $J(r,\theta )={r}^{n1}{J}_{j}^{\ast}\left(\theta \right),\text{with}{J}_{j}^{\ast}\left(\theta \right)=\left{\eta}_{j}\right(\theta )\sum _{i=1}^{n1}{\theta}_{i}\frac{\partial}{\partial {\theta}_{i}}{\eta}_{j}(\theta \left)\right$ for every r>0,θ∈G(S_{ j }),j=1,2,...
Proof.
The formula for $J(r,\theta )=\left\frac{d({x}_{1},\dots ,{x}_{n})}{d(r,\theta )}\right$ given in the lemma can be checked immediately by determining all partial derivatives and evaluating the resulting determinant.
The coordinate system introduced here will be the basis of our considerations in Section 3.1 dealing with a general local notion of surface content. A specific integral notion of surface content dealt with in Section 3.2.3 will make use of another system of coordinates which will be introduced in Section 3.2.2. For the comparison study of the two seemingly rather different two approaches to measuring surfaces in Section 3.2.4, we will consider again suitable coordinates.
An essential part of the message of Lemma 1 is that the Jacobian allows a factorization into a term not depending on the radius coordinate and one that is independent of the directional coordinates.
Later in this paper, the restriction of the star spherical coordinate transformation to the case r=1 will be denoted by S t S p h^{∗}.
The stargeneralized surface measure
3.1 Basics
The results in (Richter [2009], [2013]) reflect the basic role which a suitable notion of nonEuclidean surface content plays for the study of nonspherical distributions. Here, we give first formally a local definition of a generalized surface measure which allows us to derive geometric and stochastic representations of starshaped distributions and correspondingly distributed random vectors, respectively. For a more advanced understanding of the notions and results, we refer to Remark 6 below.
For $A\in {\mathfrak{B}}_{S}$, we introduce the central projection cone $\mathit{\text{CPC}}\left(A\right)=\left\{x\in {\mathbb{R}}^{n}:x/{h}_{K}\left(x\right)\in A\right\}$ and the star sector of star radius ϱ, s e c t o r(A,ϱ)=C P C(A)∩K(ϱ). We are now ready to introduce the first basic notion of this paper. To this end, let μ be the Lebesgue measure in ${\mathbb{R}}^{n}.$
Definition 1.
The stargeneralized surface measure is defined on $\varrho \xb7{\mathfrak{B}}_{S}$ by ${\mathfrak{O}}_{S}\left(A\right)={f}^{\prime}\left(\varrho \right)\text{where}f\left(\varrho \right)=\mu \left(\mathit{\text{sector}}\right(A,\varrho \left)\right).$
If K is the Euclidean unit ball, and thus S is the Euclidean unit sphere, then ${\mathfrak{O}}_{S}$ equals the usual Euclidean surface content measure. The equation in Definition 1 should be well known for this case, but, astonishing enough, numerous authors do not make this very clear to their readers.
In contrast to the usual differential geometric definition of the notion of surface content in terms of an integral, the approach in Definition 1 is based upon a derivative. The equation
is an immediate consequence of the fundamental theorem of calculus and might seem therefore to be of no special interest, here. If, however, nontrivial explanations for ${\mathfrak{O}}_{S}$ are available as in (Richter [2009], [2013]) where K is an l_{n,p}−ball or an ellipsoidal ball, respectively, then things change noticably. In both cases, a particular nonEuclidean geometry was identified such that the correspondingly modified integral notion of surface content based upon this nonEuclidean geometry coincides with the locally defined surface measure ${\mathfrak{O}}_{S}$. This allows a nonEuclidean interpretable extension of Cavalieri’s and Torricelli’s method of indivisibles, see (Richter [1985], [2009]). Later in this paper, we shall observe this for a bigger class of star bodies. Moreover, we remark that ${\mathfrak{O}}_{S}\left(A\right)=\mathrm{n\mu}\left(\mathit{\text{sector}}\right(A,1\left)\right),\forall A\in {\mathfrak{B}}_{S}$, meaning much more than just ${\mathfrak{O}}_{S}\left(S\right)=\mathrm{n\mu}\left(K\right)$.
Theorem 1.
For sets $A\in {\mathfrak{B}}_{S}$ satisfying Assumption 1 in Section 2, the stargeneralized surface measure allows the representation
Proof.
Using starspherical coordinates, and that G(A∩S_{ j })=S t S p h^{∗−1}(A∩S_{ j }), we get according to Lemma 1
Definition 1 applies.
Remark 1.
With the notations ${\mathfrak{O}}_{S}\left(A\right)=\underset{A}{\int}{\mathfrak{O}}_{S}\left(\mathrm{d\theta}\right),$ and
an alternative expression of Theorem 1 is
If f is integrable then we write $\underset{A}{\int}f\left(\theta \right){\mathfrak{O}}_{S}\left(\mathrm{d\theta}\right)=\underset{G\left(A\right)}{\int}f\left({\left({\theta}^{T},\eta \left(\theta \right)\right)}^{T}\right){J}^{\ast}\left(\theta \right)\mathrm{d\theta .}$
The sector measure on ${\mathfrak{B}}_{S}$, i.e. the measure ${\mathit{\text{sm}}}_{K}\left(A\right)=\frac{\mu \left(\mathit{\text{sector}}\right(A,1\left)\right)}{\mu \left(K\right)},$ satisfies the representation ${\mathit{\text{sm}}}_{K}\left(A\right)=\frac{{\mathfrak{O}}_{S}\left(A\right)}{{\mathfrak{O}}_{S}\left(S\right)},A\in {\mathfrak{B}}_{S}.$
A class of examples where Theorem 1 applies is given by all star bodies K corresponding to norms or antinorms for which there exist countably many pairwise disjoint sets A_{ j } satisfying Assumption 1 and $S=\bigcup _{j}{A}_{j}.$
The following consequence of Theorem 1 follows using Fubini’s theorem and can be read in the special case f=1 as a disintegration formula for the Lebesgue measure. For a certain survey of such formulas, see ([Richter 2012]). These representations may also be considered as closely connected with a generalized method of indivisibles with the latter being defined as the intersections of a Borel set B with the star spheres S(r),r>0. Constructions of such type are called cross sections by several authors, see (Eaton [1983]; Farrell [1976], [1985]; Koehn [1970]; Wijsman [1967], [1986], [1990]) and ([Takemura and Kuriki 1996]).
Corollary 1.
Let the star body K satisfy Assumption 1. Then

(a)
For $B\in {\mathfrak{B}}_{n}$ and integrable f, $\underset{B}{\int}f\left(x\right)\mathit{\text{dx}}=\underset{0}{\overset{\infty}{\int}}\left[\phantom{\rule{0.3em}{0ex}}{r}^{n1}\underset{\left[\frac{1}{r}B\right]\cap S}{\int}f\left(\mathrm{r\theta}\right){\mathfrak{O}}_{S}\left(\mathrm{d\theta}\right)\phantom{\rule{0.3em}{0ex}}\right]\mathrm{dr.}$(b) For bounded measurable B, $\underset{B}{\int}\mathit{\text{dx}}=\underset{0}{\overset{\infty}{\int}}{\mathfrak{O}}_{S}(B\cap S(r\left)\right)\mathrm{dr.}$
Proof.
Changing from Cartesian to star spherical coordinates yields
The rest follows with f=1 and the notation in Remark 1
Corollary 1 may be rewritten using the following second basic notion of this paper.
Definition 2.
The star sphere intersectionproportion function (ipf) of the set $B\in {\mathfrak{B}}_{n}$ is defined as ${\mathfrak{F}}_{S}(B,r)={\mathfrak{O}}_{S}\left(\left[\frac{1}{r}B\right]\cap S\right)/{\mathfrak{O}}_{S}\left(S\right),\phantom{\rule{0.3em}{0ex}}r>0.$
The ipf was first introduced in (Richter [1985], [1987], [1991]) for Gaussian and spherical distributions, respectively, i.e. for cases where S is the Euclidean unit sphere, and generalized later in ([Richter 2007]) to the case that S is an l_{n,p}−sphere. Moreover, the ipf corresponding to an asymmetric sphere S was considered for the case that K is the shifted positive part of an l_{n,1}− ball, i.e. a simplex, and for the case that K is a, possibly asymmetric, polygon or Platonic body, respectively.
Corollary 2.
If the conditions of Corollary 1(b) are satisfied,
Proof.
It follows from Corollary 1 that
The rest follows by Definition 2.
Remark 2.
According to Remark 1(b) and Definition 2, the ipf allows the sector measure interpretation ${\mathfrak{F}}_{S}(B,r)={\mathit{\text{sm}}}_{K}\left(\left[\frac{1}{r}B\right]\cap S\right),\phantom{\rule{0.3em}{0ex}}r>0.$
Whether one prefers the interpretation of the ipf according to the definition of the sector measure s m_{ K } in terms of volumes or according to Definition 2 in terms of stargeneralized surface contents may depend on several aspects. The authors in (Barthe et al. [2003]; Naor [2007]; Schechtman and Zinn [1990]) use the notion of cone measure in similar situations.
As already mentioned in the first part of the present section, one is naturally interested in a fully differential geometric explanation of the stargeneralized surface measure ${\mathfrak{O}}_{S}$ in terms of an integral. Such an explanation will be given in Section 3.2.3 when K is an element of a class of generalized ellipsoids which are starshaped but not necessarily convex.
3.2 The stargeneralized surface content of pgeneralized ellipsoids
3.2.1 Volumes of pgeneralized ellipsoids
Because the notion of the stargeneralized surface content is derived from that of volumes, we first study volumes of pgeneralized ellipsoids in this section. To this end, let $\mathfrak{b}=\{{\mathfrak{b}}_{1},\dots ,{\mathfrak{b}}_{n}\}$ be any orthonormal basis (onb) in ${\mathbb{R}}^{n}$ and put $x=\sum _{i=1}^{n}{\xi}_{i}{\mathfrak{b}}_{i}$ for $x\in {\mathbb{R}}^{n}$. Moreover, let a=(a_{1},…,a_{ n })^{T} be an arbitrary vector having positive components, p a positive real number, $.{}_{a,p}:{\mathbb{R}}^{n}\to [0,\infty )$ the function defined by $x{}_{a,p}={\left(\sum _{1}^{n}\frac{{\xi}_{i}}{{a}_{i}}{}^{p}\right)}^{1/p},x\in {\mathbb{R}}^{n}$ and ${B}_{a,p}=\left\{x\in {\mathbb{R}}^{n}:x{}_{a,p}\le 1\right\}$ the corresponding unit ball w.r.t. . Its topological boundary E_{a,p} is a generalized ellipsoid having form parameter p and main axes being aligned with the coordinate axes and having lengths 2 a_{ i },i=1,…,n. One may consider E_{a,p} also as a sphere w.r.t. the function ._{a,p} which is a norm if p≥1 and an antinorm if 0<p<1.
The ${\mathfrak{b}}_{i}$axis may be interpreted in the sense of main axis from principal component analysis. For a discussion of these notions in connection with that of correlation, we refer to ([Dietrich et al. 2013]). The set B_{a,p}(R)=R B_{a,p} will be called a pgeneralized ellipsoidal ball, or simply pgeneralized ellipsoid, of ._{a,p}radius R, R>0, and w.r.t. the basis .
The evaluation of the volume of B_{a,p}(R) may be immediately reduced to that of an l_{n,p}ball having a suitable pradius. To this end, we denote the l_{n,p}ball of pradius R by K_{n,p}(R)=R K_{n,p} where ${K}_{n,p}={B}_{1\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}1,p},1\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}1={(1,\dots ,1)}^{T}\in {\mathbb{R}}^{n},$ and its topological boundary, the l_{n,p}−sphere of pradius R, by S_{n,p}(R)=R S_{n,p}. Moreover, we put ${a}_{i}^{\ast}=\prod _{j=1,j\ne i}^{n}{a}_{j},\phantom{\rule{0.3em}{0ex}}i=1,\dots ,n$ and let $\mathit{\text{diag}}\left({a}_{1}^{\ast},\dots ,{a}_{n}^{\ast}\right)$ denote a diagonal n×nmatrix whose diagonal entries are a_{2}·…·a_{ n },...,a_{1}·…·a_{n−1}, respectively. If $\mathfrak{b}$ is the standard onb in ${\mathbb{R}}^{n},$ then $\mathit{\text{diag}}\left({a}_{1}^{\ast},\dots ,{a}_{n}^{\ast}\right){B}_{a,p}\left(R\right)={K}_{n,p}\left({a}_{1}\mathrm{...}{a}_{n}R\right).$ Changing variables $u=\mathit{\text{diag}}\left({a}_{1}^{\ast},\dots ,{a}_{n}^{\ast}\right)x$ in the integral $\mu \left({B}_{a,p}\right(R\left)\right)=\underset{\{x\in {R}^{n}:x{}_{a,p}\le R\}}{\int}\mathit{\text{dx}}$ give
Hence, $\mu \left({B}_{a,p}\right(R\left)\right)=\frac{\mu \left({K}_{n,p}\right({\mathit{\text{Ra}}}_{1}\dots {a}_{n}\left)\right)}{{({a}_{1}\dots {a}_{n})}^{n1}}={a}_{1}\dots {a}_{n}\frac{{\omega}_{n,p}}{n}{R}^{n}$ where, in accordance with ([Richter 2009]), ${\omega}_{n,p}=\frac{{2}^{n}{\left(\Gamma \left(\frac{1}{p}\right)\right)}^{n}}{{p}^{n1}\Gamma \left(\mathit{\text{np}}\right)}={O}_{p,q}\left({S}_{n,p}\right)$ with $\frac{1}{p}+\frac{1}{q}=1$ is the l_{n,q}surface content of the l_{n,p}−unit sphere S_{n,p}. The following theorem has thus been proved.
Theorem 2.
The pgeneralized ellipsoid of ._{a,p}radius R has the volume
Corollary 3.
The stargeneralized surface content of a pgeneralized ellipsoid with axes of lengths 2a_{ i },i=1,…,n is ${\mathfrak{O}}_{S}\left({E}_{a,p}\right)={a}_{1}\mathrm{...}{a}_{n}{\omega}_{n,p}.$
This corollary is an immediate consequence of Definition 1.
Notice that this formula for the stargeneralized surface content of E_{a,p} proves that the parameters p and a have separate influence on the result. Moreover, it makes no use of elliptic integrals, whereas the Euclidean surface content of E_{a,p} does.
Similarly, as Equation (1), the equation
where E_{a,p}(r)=r E_{a,p}, might seem to be of no special interest, at this stage of our study. We shall show, however, later in this paper that ${\mathfrak{O}}_{S}$ allows a nontrivial interpretation as the surface measure w.r.t. a well defined, nonEuclidean, metric geometry. This allows us to redefine ${\mathfrak{O}}_{S}$ in a well established differential geometric approach. This will be done in the next but one section. We shall make use of a specific coordinate system which will be defined in the next section.
Following the notation in ([Richter 2013]), we will call the stargeneralized surface measure alternatively the E_{a,p}generalized surface measure if K is a pgeneralized ellipsoid with axes of lengths 2a_{ i },i=1,…,n.
3.2.2 The pgeneralized ellipsoidal coordinates
We recall that l_{n,p}generalized and ellipsoidal generalized trigonometric functions and coordinates have been shown in (Richter [2007], [2009]) and (Richter [2011b], [2013]) to be powerful tools for studying l_{n,p}symmetric and elliptically contoured distributions, respectively. The coordinates which we define in this section are in some sense combinations and generalizations of the aforementioned ones. They will be used in Section 3.2.4 for showing the equivalence of two approaches to the stargeneralized surface measure ${\mathfrak{O}}_{S}$: the local one presented already in Definition 1, and an integral one which will be given later.
Let us assume for a moment that n=2 and ${(x,y)}^{T}=x{\mathfrak{b}}_{1}+y{\mathfrak{b}}_{2}$ where $\{{\mathfrak{b}}_{1},{\mathfrak{b}}_{2}\}$ is an onb in ${\mathbb{R}}^{2}.$ In the following definition, ϕ can be interpreted as the angle between p o s(x,0) and p o s(x,y) where p o s(ξ,η)={(γ ξ,γ η)^{T}: γ>0}.
Definition 3.
The E_{a,b;p}generalized trigonometric functions are defined as
for positive a, b, p and where N_{a,b;p}(ϕ)=((cosϕ)/a^{p}+(sinϕ)/b^{p})^{1/p}.
Remark 3.
These generalized trigonometric functions may be extended to functions on the whole real line with period 2π. Basic analytical and geometric interpretations of these functions follow from the representations
and
where ._{ p }=._{1 1,p} and sin(a,b) and cos(a,b) are defined in ([Richter 2011b]).
Remark 4.
Euler’s formula is generalized by  cos(a,b;p)(ϕ)^{p}+ sin(a,b;p)(ϕ)^{p}=1.
Remark 5.
For every ϕ,
We assume again that $x={x}_{1}{\mathfrak{b}}_{1}+\mathrm{...}+{x}_{n}{\mathfrak{b}}_{n},\phantom{\rule{0.3em}{0ex}}x\in {\mathbb{R}}^{n}.$
Definition 4.
The pgeneralized ellipsoidal coordinate transformation ${T}_{a,p}^{E}={T}_{a,p}^{E}\left(n\right)$, ${T}_{a,p}^{E}:{M}_{n}\to {\mathbb{R}}^{n}$, with ${M}_{n}=[0,\infty )\times {M}_{n}^{\ast},{M}_{n}^{\ast}=[0,\pi {)}^{\times (n2)}\times [0,2\pi )$ is defined by
Theorem 3.
The map ${T}_{a,p}^{E}$ is almost onetoone, its inverse is a.e. given by
and =2π−ϕ_{n−1} in Q_{4}.
Here, $\underset{({a}_{j},{a}_{j+1};p)}{arccos}$ denotes the function inverse to $\underset{({a}_{j},{a}_{j+1};p)}{cos}$ and Q_{1} up to Q_{4} denote anticlockwise enumerated quadrants from ${\mathbb{R}}^{2}.$
Proof.
The proof of this theorem is quite similar to that of Theorem 1 in ([Richter 2007]) and is therefore omitted.
Theorem 4.
The Jacobian of the coordinate transformation ${T}_{a,p}^{E}$ is
Proof.
The proof will be given in four steps. First, we change variables $\frac{{x}_{i}}{{a}_{i}}\phantom{\rule{0.3em}{0ex}}=\phantom{\rule{0.3em}{0ex}}{y}_{i},i=1,\dots ,\mathrm{n.}$ The Jacobian of this transformation is $\left\frac{D({x}_{1},\dots ,{x}_{n})}{D({y}_{1},\dots ,{y}_{n})}\right={a}_{1}\xb7\dots \xb7{a}_{n}.$
Next, we change variables ${y}_{1}=\stackrel{~}{r}{\mu}_{1},{y}_{2}=\stackrel{~}{r}{\left(1{\mu}_{1}{}^{p}\right)}^{1/p}{\mu}_{2},\dots ,$
As it was shown in the proof of Theorem 2 in the afore mentioned paper, the Jacobian of this transformation is $\left\frac{D\left({y}_{1},\dots ,{y}_{n}\right)}{D\left(\stackrel{~}{r},{\mu}_{1},\dots ,{\mu}_{n1}\right)}\right={\stackrel{~}{r}}^{n1}\prod _{i=1}^{n1}{\left(1{\mu}_{i}{}^{p}\right)}^{(npi)/p}.$
Third, we change variables $\stackrel{~}{r}=r,{\mu}_{i}=\underset{({a}_{i},{a}_{i+1};p)}{cos}\left({\varphi}_{i}\right),i=1,\dots ,n1.$ The Jacobian of this transformation is
It follows from the properties of the E_{a,b;p}generalized trigonometric functions that
On combining all three transformations, we get finally
Corollary 4.
If n=2 then $J\left({T}_{a,p}^{E}\right)(r,\varphi )=\frac{r}{{N}_{\left({a}_{1},{a}_{2};p\right)}^{2}\left(\varphi \right)},$ and if n=3 then $J\left({T}_{a,p}^{E}\right)\left(r,{\varphi}_{1},{\varphi}_{2}\right)=\frac{{r}^{2}sin{\varphi}_{1}}{{a}_{2}^{2}{N}_{({a}_{2},{a}_{3};p)}^{2}\left({\varphi}_{2}\right){N}_{({a}_{1},{a}_{2};p)}^{3}\left({\varphi}_{1}\right)}.$
For the corresponding results in the case p=2, we refer to (Richter [2011b], [2013]).
3.2.3 Integral approach to the stargeneralized surface measure on pgeneralized ellipsoids
Let us recall that measuring the Euclidean surface content of E_{a,p}(R) necessarily involves certain elliptic integrals. In this paper, however, we make use of a nonEuclidean definition of surface content which avoids such integrals. To this end, we shall consider the ellipsoid E_{a,p}(R) as a subset of the generalized Minkowski space $\left({\mathbb{R}}^{n},.{}_{\frac{1}{a},q}\right)$ where $\frac{1}{a}={\left(\frac{1}{{a}_{1}},\dots ,\frac{1}{{a}_{n}}\right)}^{T}$ and p and q are connected with each other by the equation $\frac{1}{p}+\frac{1}{q}=1$. We will introduce now the notion of the $.{}_{\frac{1}{a},q}$surface content of E_{a,p}(R) in a similar way as the notion of the l_{n,q}surface content was introduced in ([Richter 2009]) for l_{n,p}spheres. Notice that effects coming from scaling axes with the help of the parameter vector a and effects being due to the form parameter p are dealt with here in a separate way when introducing the function $.{}_{\frac{1}{a},q}$.
Let
be the standard onb, and let y be defined as the positive solution of $\sum _{i=1}^{n1}{x}_{i}/{a}_{i}{}^{p}+y/{a}_{n}{}^{p}={R}^{p}$ where $\sum _{i=1}^{n1}{x}_{i}/{a}_{i}{}^{p}<{R}^{p}.$ At (x_{1},…,x_{n−1},y)^{T}, y>0, the vector normal to the upper half ${E}_{a,p}^{+}\left(R\right)$ of the ellipsoid E_{a,p}(R) is $N({x}_{1},\dots ,{x}_{n1})={(1)}^{n}\left(\sum _{i=1}^{n1}\frac{\mathrm{\partial y}}{\partial {x}_{i}}{e}_{i}{e}_{n}\right).$ Since it always will be clear how to deal with the case y<0, we will not further mention this case.
Definition 5.
Let $A\subset {E}_{a,p}^{+}\left(R\right)\cap {\mathfrak{B}}_{n}$. The integral (or $.{}_{\frac{1}{a},q}$) surface content of the set A is defined by ${O}_{a,p,q}\left(A\right)=\underset{G\left(A\right)}{\int}{\leftN({x}_{1},\dots ,{x}_{n1})\right}_{\frac{1}{a},q}{\mathit{\text{dx}}}_{1}\dots {\mathit{\text{dx}}}_{n1}$ where G(A)={(x_{1},…,x_{n−1})^{T}:(x_{1},…,x_{ n })^{T}∈A}.
Later in this paper, this definition will be called the integral approach to the notion of stargeneralized surface content. This will be justified in the next section. Let us mention that if a=1 1 then the surface measure O_{a,p,q} which is based upon the geometry of the ellipsoid ${E}_{\frac{1}{a},q}$ equals the surface measure O_{p,q} in ([Richter 2009]) being based upon the geometry of the l_{n,q}ball K_{n,q} which is dual to K_{n,p}. Twodimensional special cases of Definition 5 were dealt with, e.g., in (Richter [2011a], [2011b]) for arbitrary star discs and ellipses, respectively.
Lemma 2.
The $.{}_{\frac{1}{a},q}$surface content of the whole generalized ellipsoid E_{a,p}(R) of ._{a,p}radius R is O_{a,p,q}(E_{a,p}(R))=a_{1}…a_{ n }ω_{n,p}R^{n−1}.
Proof.
It follows from $\frac{\mathrm{\partial y}}{\partial {x}_{j}}=\frac{{a}_{n}{x}_{j}{}^{p1}}{{a}_{j}^{p}{\left({R}^{p}\sum _{i=1}^{n1}{\left({x}_{i}/{a}_{i}\right)}^{p}\right)}^{(p1)/p}},\phantom{\rule{0.3em}{0ex}}j=1,\dots ,n1$
and with q=p/(p−1) that
Hence, because of symmetry,
For suitably transforming this integral, we shall introduce now another system of coordinates. Let the pgeneralized (n−1)dimensional standard elliptical coordinate transformation
be defined by
where the pgeneralized trigonometric functions sinp and cosp are defined in ([Richter 2007]). If $a=1\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}1\in {\mathbb{R}}^{n1}$ then this transformation coincides with the l_{n−1,p}spherical coordinate transformation ${\mathit{\text{SPH}}}_{p}^{(n1)}$, the Jacobian of which is given in ([Richter 2007]). If we write J(T) for the Jacobian of a coordinate transformation T then $J\left({T}_{a,p}\right)(r,\varphi )=\left\frac{d({x}_{1},\dots ,{x}_{n1})}{d(r,{\varphi}_{1},\dots ,{\varphi}_{n2})}\right={a}_{1}\xb7\dots \xb7{a}_{n1}J\left({\mathit{\text{SPH}}}_{p}^{(n1)}\right)(r,\varphi )\phantom{\rule{0.3em}{0ex}}.$
Moreover, let ${J}^{\ast}\left({\mathit{\text{SPH}}}_{p}^{(n1)}\right)\left(\varphi \right)=J\left({\mathit{\text{SPH}}}_{p}^{(n1)}\right)(1,\varphi )$ be the restriction of the Jacobian of ${\mathit{\text{SPH}}}_{p}^{(n1)}$ to the sphere defined by r=1.
Changing from Cartesian to pgeneralized standard elliptical coordinates gives
Because of
and $\frac{1}{p}B\left(\frac{1}{p},\frac{n1}{p}\right){\omega}_{n1,p}=\frac{1}{2}{\omega}_{n,p},$ it follows that O_{a,p,q}(E_{a,p}(R))=a_{1}…a_{ n }ω_{n,p}R^{n−1}
Hence, for the specific sets E_{a,b}(R), the local and the integral approaches to the stargeneralized surface content lead to the same result. In the next section, we will generalize this result. When doing this, we will again make use of a modified coordinate system.
3.2.4 Comparing the local and integral approaches to generalized surface measures on pgeneralized ellipsoids
In Section 3.2.3, the surface measure O_{a,p,q} was used for measuring the whole pgeneralized ellipsoid E_{a,p} following a differential geometric, or integral or global approach. In the present section, however, we compare it for arbitrary $A\in {\mathfrak{B}}_{a,p}^{E}={\mathfrak{B}}^{n}\cap {E}_{a,p}$ with the alternative local approach which makes use of derivatives and which was introduced in Definition 1. In this sense, we continue to follow the general method of analyzing the nonEuclidean geometry underlying a multivariate probability distribution which was developed in (Richter [2009], [2013]). The following theorem says that the stargeneralized surface measure coincides with the integral surface measure. For a comparison of these surface measures, it is sufficient to consider them for sets $A\in {\mathfrak{B}}_{a,p}^{E}.$
Theorem 5.
With S=E_{a,p} and 1/p+1/q=1, ${\mathfrak{O}}_{S}\left(A\right)={O}_{a,p,q}\left(A\right),\forall A\in {\mathfrak{B}}_{a,p}^{E}.$
Proof.
W.l.o.g., we restrict our consideration to sets $A\in {E}_{a,p}^{+}\cap {\mathfrak{B}}^{n}$ and start from a slight generalization of the first result in the proof of Lemma 2,
We change from Cartesian to pgeneralized ellipsoidal coordinates in (n−1) dimensions, ${T}_{a,p}^{E}(n1)$: (x_{1},…,x_{n−1})→(r,ϕ_{1},…,ϕ_{n−2}). Because of $\sum _{i=1}^{n1}{x}_{i}/{a}_{i}{}^{p}={r}^{p}$,
If $A=A({r}_{1},{r}_{2},{M}^{\ast})=\left\{{\left({y}_{1},\dots ,{y}_{n1},{\left(1\sum _{i=1}^{n1}{x}_{i}/{a}_{i}{}^{p}\right)}^{1/p}\right)}^{T}:\right.$
with M^{∗}={(ϕ_{1},…,ϕ_{n−2}):ϕ_{ il }≤ϕ_{ i }≤ϕ_{ iu },i=1,…,n−2}
then ${O}_{a,p,q}\left(A\right)={a}_{n}{a}_{n1}\underset{{r}^{1}}{\overset{{r}_{2}}{\int}}\frac{{r}^{n2}}{{(1{r}^{p})}^{(p1)/p}}\mathit{\text{dr}}$
In what follows, we use the coordinate transformation ${\stackrel{~}{T}}_{a,p}:(R,r,\varphi )\to z[R,r,\varphi ],\varphi =({\varphi}_{1},\dots ,{\varphi}_{n2})$ defined by
z_{ n }=a_{ n }R(1−r^{p})^{1/p}.
This transformation allows the representations
and
={z[ R,r,ϕ]:0≤R<ρ,r∈[r_{1},r_{2}),ϕ∈M^{∗}}.
The volume
may therefore be written as
Here, $J\left({\stackrel{~}{T}}_{a,p}\right)(R,r,\varphi )=\frac{D({z}_{1},\dots ,{z}_{n})}{D(R,r,{\varphi}_{1},\dots ,{\varphi}_{(n2)})}$ can be evaluated as in ([Richter 2013]) where the case p=2 was dealt with:
It follows that
We consider now the local approach to the nonEuclidean surface content,
and observe that ${\mathfrak{O}}_{S}\left(A\right({r}_{1},{r}_{2},{M}^{\ast}\left)\right)={O}_{a,p,q}\left(A\right({r}_{1},{r}_{2},{M}^{\ast}\left)\right).$
The measures ${\mathfrak{O}}_{S}$ and O_{a,p,q} coincide on the semialgebra which is generated by the sets of the type A(r_{1},r_{2},M^{∗}). It follows from the measure extension theorem that these measures coincide on the whole Borel σfield ${\mathfrak{B}}_{a,p}^{E}$ on E_{a,p}, too.
Remark 6.
Reformulating the results of Section 3.1
In the special case that K=B_{a,p},S=E_{a,p}, just considered here, all the statements of Equations (1) and (2), Theorem 1, Corollaries 13 and Remarks 1 and 2 remain valid if the integral surface measure O_{a,p,q} is used instead of the stargeneralized surface measure ${\mathfrak{O}}_{S}$. The same is true for all those statements quoted below which are using the local notions of Section 2.
Starshaped distributions and geometric disintegration
4.1 Starshaped uniform distributions
In this section, we extend the method of indivisibles which was used so far for the Lebesgue measure to a class of probability laws which contains the families of elliptically contoured and l_{n,p}symmetric distributions as special cases. This method was originally developed in (Richter [1985], [1987]) for proving large deviation limit theorems for the multivariate standard Gaussian law.
We continue to use the notations from Section 2. Note that the following general consideration always covers the very well interpretable specific case that $S={E}_{a,p}\text{and thus}{\mathfrak{O}}_{S}={O}_{a,p,q}$.
Definition 6.
The stargeneralized uniform probability distribution on the Borel σfield ${\mathfrak{B}}_{S}$ is defined as ${\omega}_{S}\left(A\right)={\mathfrak{O}}_{S}\left(A\right)/{\mathfrak{O}}_{S}\left(S\right)$.
Remark 7.

(a)
Let $A\in {\mathfrak{B}}_{S}.$ Then ω _{ S }(A)=s m _{ K }(A).

(b)
Let $B\in {\mathfrak{B}}_{n}$. Then ${\omega}_{S}\left(\left[\frac{1}{r}B\right]\cap S\right)={\mathfrak{F}}_{S}(B,r),\phantom{\rule{0.3em}{0ex}}r>0$.
Let $(\Omega ,\mathfrak{A},P)$ be a probability space and $Y:\Omega \to {\mathbb{R}}^{n}$ a random vector being uniformly distributed on K, i.e.
The a.s. defined normalized random vector U_{ S } = Y/h_{ K }(Y) takes its values in S,P(h_{ K }(U_{ S })=1)=1. Let us further put R=h_{ K }(Y).
Theorem 6.

(a)
U _{ S } follows the stargeneralized uniform distribution, U _{ S }∼ω _{ S }.(b) The pdf of R is f _{ R }(r)=I _{(0,1)}(r)n·r ^{n−1}.(c) The random elements U _{ S } and R are stochastically independent.
Proof.

(a)
Let $A\in {\mathfrak{B}}_{S}$. Then P(U _{ S }∈A)=P(Y∈s e c t o r(A,1)), and
Because of ${\mathfrak{O}}_{S}\left(S\right)=\mathrm{n\mu}\left(K\right),$ we have P(U_{ S }∈A)=ω_{ S }(A).

(b)
For 0<r<1, we consider the cumulative distribution function (cdf) of R,
$$P(R<r)=P(Y\in K(r\left)\right)=\mu \left(K\right(r\left)\right)/\mu \left(K\right)={r}^{n}{I}_{(0,1)}\left(r\right).$$ 
(c)
The independence of U _{ S } and R follows from P(R<ϱ,U _{ S }∈A)
Remark 8.

(a)
The pdf of R ^{2} is $\frac{d}{\mathit{\text{dr}}}P({R}^{2}<r)={I}_{(0,1)}\left(r\right)\frac{n}{2}{r}^{n/21},\phantom{\rule{0.3em}{0ex}}r\in R$.

(b)
The probability distribution of the random vector Y allows the representation
$$P(Y\in B)=\underset{0}{\overset{\infty}{\int}}P\left({U}_{S}\in \frac{1}{r}BR=r\right)\mathit{\text{dP}}(R<r)$$
which may be considered as a reformulation of Corollary 2 with
That is why the family of probability measures $\mathfrak{P}=\{{P}_{r},r>0\}$ where P_{ r } is defined on the Borel σfield ${\mathfrak{B}}_{n}$ by ${P}_{r}\left(B\right)={\omega}_{S}\left(\left[\frac{1}{r}B\right]\cap S\right)=P\left({U}_{S}\in \frac{1}{r}BR=r\right)$, may be called a geometric disintegration of P^{Y} w.r.t. P^{R}. The family may also be considered as a regular conditional probability.
4.2 Continuous starshaped distributions
There are different ways to introduce more general classes of starshaped distributions than the uniform ones considered so far. One of the possibilities is to continue with starshaped distributions having a density, to derive their most basic properties and finally to introduce the class of all starshaped distributions having just the latter as their defining properties. This way may be considered as formally generalizing the notion of normcontoured distributions in (Richter, W.D.: Norm contoured distributions in R^{2}, submitted), as well as being statistically well motivated by comparing empirical density level sets with level sets of Minkowski functionals of suitably chosen star bodies. This way will be followed in the present and in the following two sections. An alternative possibility would be just to introduce here the general class of starshaped distributions and to restrict consideration to special classes of distributions like continuous ones only later.
Definition 7.
Let $g:{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ satisfy the assumptions 0<I(g)<∞ where $I\left(g\right)=\underset{0}{\overset{\infty}{\int}}{r}^{n1}g\left(r\right)\mathit{\text{dr}}$. We call g a density generating function (dgf), ${\phi}_{g,K}\left(x\right)=C(g,K)g\left({h}_{K}\right(x\left)\right),x\in {\mathbb{R}}^{n}$ a starshaped density and K its contour defining star body.
A probability measure having the density φ_{g,K} will be denoted by Φ_{g,K}. Let us emphasize that according to this definition 0_{ n } may be any point from the set of all points w.r.t. which K is starshaped, hence K needs not to be symmetric w.r.t. 0_{ n }. Densities of such type have been studied already in (Balkema and Nolde [2010]; Fernandez et al. [1995]). Our more general considerations in Sections 4.34.7, however, seem to be new. The following theorem deals with a geometric measure representation of continuous starshaped distributions.
Theorem 7.
For every $B\in {\mathfrak{B}}^{n}$, ${\Phi}_{g,K}\left(B\right)=C(g,K){\mathfrak{O}}_{S}\left(S\right)\underset{0}{\overset{\infty}{\int}}{r}^{n1}g\left(r\right){\mathfrak{F}}_{S}(B,r)\mathrm{dr.}$
Proof.
Because of ${\Phi}_{g,K}\left(B\right)=C(g,K)\underset{B}{\int}g\left({h}_{K}\right(x\left)\right)\mathit{\text{dx}}$ it follows from Corollary 1(a) that ${\Phi}_{g,K}\left(B\right)=C(g,K)\underset{0}{\overset{\infty}{\int}}{r}^{n1}\underset{\left[\frac{1}{r}B\right]\cap S}{\int}g\left({h}_{K}\right(\mathrm{r\theta}\left)\right){\mathfrak{O}}_{S}\left(\mathrm{d\theta}\right)\mathrm{dr.}$ Hence,
Classes of dgfs are surveyed, e.g., in ([Fang et al. 1990]) and ([Richter 2013]). Numerous types of applications of special cases of the geometric measure representation in Theorem 7 are surveyed in (Richter [2009], [2012]). Later applications are to be found in ([ArellanoValle and Richter 2012]; [BatúnCutz et al. 2013]) and ([Günzel et al. 2012]).
4.3 Stochastic representations
In this section, we consider that property of continuous starshaped distributions which will serve in the next section to define a general class of starshaped distributions.
Theorem 8.
If Y∼Φ_{g,K} then Y allows the stochastic representation $Y\stackrel{d}{=}{R}_{g}{U}_{S}$ where R_{ g } and U_{ S } are stochastically independent, U_{ S }∼ω_{ S } and R_{ g } follows the density $f\left(r\right)=\frac{1}{I\left(g\right)}{r}^{n1}g\left(r\right),r>0.$
Proof.
Remark 9.
The normalizing constant C(g,K) in Definition 7 allows according to Theorem 7 the representation $C(g,K)=\frac{1}{{\mathfrak{O}}_{S}\left(S\right)I\left(g\right)}$ and the statement of Theorem 7 may according to Theorem 8 be written as
where ${\mathfrak{F}}_{S}(B,r)$ may be interpreted as in (3). Hence, (4) may be read as a generalization of Remark 8(b). Moreover,
4.4 General starshaped distributions
The results of the previous section may serve as a starting point for defining general starshaped distributions. We follow the way in ([Fang et al. 1990]) and (Richter [2009], [2013]) when we use the stochastic representation from Section 4.3 for defining now a large family of starshaped distributions.
Definition 8.
A random vector $Y:\Omega \to {\mathbb{R}}^{n}$ is said to follow a starshaped distribution if there are a star body K having the origin as an interior point, 0_{ n }∈int K, a vector $\nu \in {\mathbb{R}}^{n}$, and a random variable R:Ω→[0,∞) such that Y−ν satisfies the stochastic representation $Y\nu \stackrel{d}{=}R\xb7{U}_{S}$ where U_{ S } follows the stargeneralized uniform distribution on the boundary S of K, U_{ S }∼ω_{ S }, and R and U_{ S } are stochastically independent. If Y has a density with dgf g then by Φ_{g,K,ν} the distribution law of Y is denoted, Y∼Φ_{g,K,ν}, and K is called a density contour defining star body of the starshaped distribution Φ_{g,K,ν}.
The set of all starshaped distributions on ${\mathfrak{B}}_{n}$ will be denoted S t S h^{(n)} and its subset of continuous distributions by
We recall that starshaped sets are associated with multivariate stable distributions in ([Molchanov 2009]) to describe characteristic functions, thus playing there another role than in Definition 8. To finish this section, we remark that both the set of all star bodies having the origin as an interior point and the set S t S h^{(n)} are invariant w.r.t. any orthogonal transformation.
4.5 Extension of the ball number function
In ([Richter 2011]), the ball number function was defined for l_{n,p}balls and the problem of extending it to balls being as general as possible was stated. It follows from the results in Section 3 that both the ratios $\frac{\mu \left({B}_{a,p}\right(r\left)\right)}{{r}^{n}}$ and $\frac{{O}_{a,p,q}\left({E}_{a,p}\right(r\left)\right)}{n{r}^{n1}}$ do not depend on the star radius r, and that their constant values are one and the same number. This common value will be called the ball number π(B_{a,p}) of B_{a,p}(r),r>0. Here, $\pi \left({B}_{a,p}\right)=\mu \left({B}_{a,p}\right)={a}_{1}\xb7\mathrm{...}\xb7{a}_{n}\xb7\frac{{\omega}_{n,p}}{n}$, hence the region where the ball number function is defined is extended here to all B_{a,p} balls.
4.6 Characteristic functions
Let $Y:\Omega \to {\mathbb{R}}^{n}$ be a starshaped distributed random vector which satisfies the stochastic representation $Y\stackrel{d}{=}R\xb7{U}_{S}$ where the nonnegative random variable R is independent of the stargeneralized uniformly distributed random vector U_{ S }, and let moreover ϕ_{ Y } and ${\varphi}_{{U}_{S}}$ denote the characteristic functions (ch.f.) of the vectors Y and U_{ S }, respectively. Further, let F_{ R } denote the cdf of R.
Theorem 9.
The ch.f. of the starshaped distributed random vector Y allows the integral representation ${\varphi}_{Y}\left(t\right)=\underset{0}{\overset{\infty}{\int}}{\varphi}_{{U}_{S}}\left(\mathit{\text{rt}}\right){\mathit{\text{dF}}}_{R}\left(r\right),\phantom{\rule{0.3em}{0ex}}t\in {\mathbb{R}}^{n}.$
Proof.
Because of the independence of R and U_{ S }, Theorem 1.1.6 in ([Sasvári 2013]) applies.
This theorem was proved first for spherically distributed vectors in ([Schoenberg 1938]) and later for l_{n,1}symmetrically distributed random vectors in ([Ng and Tian 2001]) and for continuous l_{n,p}symmetrically distributed vectors in ([Kalke 2013]).
Remark 10.
(a)The ch.f. ${\varphi}_{{U}_{S}}\left(t\right)=E{e}^{i{t}^{T}{U}_{S}},\phantom{\rule{0.3em}{0ex}}t\in {\mathbb{R}}^{n},$ of U_{ S } allows the integral representation ${\varphi}_{{U}_{S}}\left(t\right)=\underset{S}{\int}cos\left({t}^{T}\theta \right){\omega}_{S}\left(\mathrm{d\theta}\right)+i\underset{S}{\int}sin\left({t}^{T}\theta \right){\omega}_{S}\left(\mathrm{d\theta}\right)$.

(b)
The ch.f. ϕ _{ Y } of a starshaped distributed random vector Y having a density with dgf g and contour defining star body K allows the representation
$$\begin{array}{cc}{\mathfrak{O}}_{S}\left(S\right)I\left(g\right){\varphi}_{Y}\left(t\right)& =\underset{0}{\overset{\infty}{\int}}\left[\sum _{j}\underset{G\left({S}_{j}\right)}{\int}cos(t,r\left(\begin{array}{c}\theta \\ y\left(\theta \right)\end{array}\right))\underset{j}{\overset{\ast}{J}}\left(\theta \right)\theta \right]{r}^{n1}g\left(r\right)\mathit{\text{dr}}\\ \phantom{\rule{1em}{0ex}}\phantom{\rule{0.3em}{0ex}}+i\underset{0}{\overset{\infty}{\int}}\left[\sum _{j}\underset{G\left({S}_{j}\right)}{\int}sin(t,r\left(\begin{array}{c}\theta \\ y\left(\theta \right)\end{array}\right))\underset{j}{\overset{\ast}{J}}\left(\theta \right)\mathrm{d\theta}\right]{r}^{n1}g\left(r\right)\mathit{\text{dr}}\end{array}$$
where (.,.) denotes the Euclidean scalar product in ${\mathbb{R}}^{n}.$

(c)
On combining the representations in (a) and (b), and taking into account Remark 1, we get an alternative direct proof of Theorem 9 if Y has density φ _{g,K}.

(d)
If U _{ S } is symmetrically distributed w.r.t. the origin, ${U}_{S}\stackrel{d}{=}{U}_{S},$ then the imaginary parts of the integral representations in (a) and (b) vanish, and both ${\varphi}_{{U}_{K}}$ and ϕ _{ Y } are symmetric w.r.t. the origin.
4.7 The class of pgeneralized elliptically contoured distributions
The general principle for deriving geometric and stochastic representations of starshaped distributions developed so far will be proved in this section to successfully apply to a class of distributions considered in Section 3.5 of ([ArellanoValle and Richter 2012]) and including both the l_{n,p}symmetric ones, accordingly represented in ([Richter 2009]), and the elliptically contoured ones, analogously dealt with in ([Richter 2013]).
According to Definition 6, Theorem 5 and Corollary 3, the pgeneralized elliptically contoured uniform distribution on ${\mathfrak{B}}_{{E}_{a,p}}$ is defined for arbitrary p>0 by
and with q satisfying 1/p+1/q=1.
If a random vector $Y:\Omega \to {\mathbb{R}}^{n}$ follows the uniform probability distribution on B_{a,p} then U∼ω_{a,p,q}=ω_{ E }_{a,p} where U is a.s. defined as U=Y/R and is independent of $R={h}_{{B}_{a,p}}\left(Y\right)$. The latter, nonnegative, random variable has the density described in Theorem 6(b).
Let $\mathfrak{O}\left(n\right)$ denote the set of all orthogonal n×n matrices. A random vector $Y:\Omega \to {\mathbb{R}}^{n}$ is said to follow a pgeneralized elliptically contoured distribution E C_{a,p,ν,O} with parameters $a={({a}_{1},\dots ,{a}_{n})}^{T},{a}_{i}>0,i=1,\dots ,n,\phantom{\rule{0.3em}{0ex}}p>0,\phantom{\rule{0.3em}{0ex}}\nu \in {\mathbb{R}}^{n}$ and $O\in \mathfrak{O}\left(n\right)$ if there exists a random variable R:Ω→[0,∞) such that Y satisfies the stochastic representation
where $U\sim {\omega}_{{E}_{a,p}}$ and U and R are stochastically independent. Note that Y has a density f_{ Y } iff R has a density. If O^{T}(Y−ν) has the dgf g, i.e. if
with C(g,a,p)=C(g,B_{a,p}) then R has the density
In this case, we write Y∼Φ_{g,a,p,ν,O} and f_{ Y }=φ_{g,a,p,ν,O}. Note that ${\Phi}_{g,a,p,{0}_{n},{I}_{n}}={\Phi}_{g,{B}_{a,p},{0}_{n}}$ where I_{ n } denotes the n×nunit matrix. The measure Φ_{g,a,p,ν,O} allows the geometric representation
where ${\mathfrak{F}}_{a,p}(M,r)={\omega}_{{E}_{a,p}}\left(\left[\frac{1}{r}M\right]\cap {E}_{a,p}\right),r>0.$
Example 1.
In the case of dimension n=2, Figure 1 shows the density φ_{g,a,p,ν,O} and contours of its superlevel sets where $g\left(r\right)=exp\left\{\frac{{r}^{p}}{p}\right\},a={(3,1)}^{T},p$ takes several values, ν=(0,0)^{T} and
The matrix O causes an anticlockwise rotation through an angle of size π/3.
Remark 11(On independent coordinates).
Let $\left(R,{\Phi}_{1},\dots ,{\Phi}_{n1}\right)={\left({T}_{a,p}^{E}\right)}^{1}\left(Y\right)$ be the random pgeneralized ellipsoidal coordinates of Y where $Y\sim {\Phi}_{g,a,p,{0}_{n},O}$. According to Theorem 3, the generalized radius is ${\left(\sum _{i=1}^{n}{Y}_{i}/{a}_{i}{}^{p}\right)}^{1/p}=R$, and by the density transformation formula and Theorem 4,
with ${h}_{i}\left({\varphi}_{i}\right)=\frac{{\left(\underset{({a}_{i},{a}_{i+1};p)}{sin}\left({\varphi}_{i}\right)\right)}^{ni1}}{{N}_{({a}_{i},{a}_{i+1};p)}^{2}\left({\varphi}_{i}\right)},\phantom{\rule{0.3em}{0ex}}i=1,\dots ,n1$ being integrable functions. Thus, suitably normalized, the functions h_{0},h_{1},…,h_{n−1} with h_{0}(r)=r g(r)I_{(0,∞)}(r) are the densities of R,Φ_{1},…,Φ_{n−1}, respectively.
Hence, the random coordinates R,Φ_{1},…,Φ_{n−1} are stochastically independent.
This result opens new perspectives for various applications which are not considered in the present paper.
Applications
5.1 The nonconcentric elliptically contoured distribution class
The general distribution classes considered in the present paper include various interesting special cases to be studied only in detail in the future. Just to start with, let 0<b<a and
A point (e,f)^{T} is from the inner part of K_{a,b} iff it satisfies the inequality (e/a)^{2}+(f/b)^{2}<1. For such points, we put K_{a,b,e,f}=K_{a,b}−(e,f)^{T}. As because r K_{a,b,e,f}=K_{a r,b r,e r,f r}, for arbitrary dgf g, the level sets of the density
are the boundaries of the sets K_{a r,b r,e r,f r},r>0. Note that if (e,0)^{T} is a focal point of the elliptical disc K_{a,b} then the origin (0,0)^{T} is a focal point of E_{a r,b r,e r,0}, for all r>0. In this case, we call the origin a position of the density ${\phi}_{g,a,b,e,0}^{\ast}$. Similarly, the origin may also be called a position of the density ${\phi}_{g,a,b,0,f}^{\ast}$ if (0,f)^{T} is a focal point of K_{a,b}. The distribution class
will be called a nonconcentric elliptically contoured distribution class. It is left to the reader to derive explicit expressions for the Minkowski functional ${h}_{{K}_{a,b,e,f}}$ and the normalizing constant C(g,K_{a,b,e,f}).
5.2 Circular distributions
In this section, we study directional distributions on further using the results of the present work. For a recent overview on circular distributions we refer to ([Pewsey et al. 2013]).
In the case of dimension two, the density of Φ_{g,K,ν} is
We recall that stargeneralized trigonometric functions and random polar coordinates are defined in ([Richter 2011a]) by $\underset{K}{cos}\left(\varphi \right)=\frac{cos\varphi}{{h}_{K}(cos\varphi ,sin\varphi )},\phantom{\rule{2.77626pt}{0ex}}\underset{K}{sin}\left(\varphi \right)=\frac{sin\varphi}{{h}_{K}(cos\varphi ,sin\varphi )}$ and X=R cosK(Φ),Y=R sinK(Φ), respectively. The Kgeneralized radius coordinate is R=h_{ K }(X,Y), and the angle Φ satisfies the representation of the usual polar angle,
The Jacobian of this transformation is $r{R}_{S}^{2}\left(\varphi \right)$ where the function R_{ S }(ϕ)=1/h_{ K }(cosϕ, sinϕ) describes the boundary S of K:
With uniquely determined μ∈[ 0,2π) and λ>0, the location vector (ν_{1},ν_{2})^{T} can be represented as
Thus, the density of (R,Φ)^{T} is
Integrating f_{(R,Φ)} w.r.t. ϕ, and dividing f_{(R,Φ)} by the latter result, gives f_{ΦR}(ϕr)=v M d_{g,K,r,λ,μ}(ϕ) where
This function will be called a starshaped generalization of the von Mises density which itself appears as a special case for K being the Euclidean unit disc in ${\mathbb{R}}^{2}$ and g(r)= exp{−r^{2}/2}, r>0, c.f. ([von Mises 1918]).
Example 2.
For illustrating our principle of constructing generalized von Mises densities at the hand of a concrete example, let P_{ n } denote the polygon having the n vertices ${I}_{n,i}={\left(cos\left(\frac{2\pi}{n}(i1)\right),sin\left(\frac{2\pi}{n}(i1)\right)\right)}^{T},i=1,\dots ,n,\phantom{\rule{0.3em}{0ex}}n\ge 3,$ and let K_{ n } be the convex body circumscribed by P_{ n }. The Minkowski functional of K_{ n } has been dealt with in (Richter, WD, Schicker, K: Circle numbers of centered regular convex polygons, submitted). Figure 2 shows, from the left to the right, in each row, the polygonally contoured density ${\phi}_{g,{K}_{n},\nu}(x,y),{(x,y)}^{T}\in {\mathbb{R}}^{2}$, the contours of this density (black shapes) together with the polygonally generalized circle consisting of all points ${(x,y)}^{T}\in {\mathbb{R}}^{2}$ satisfying the condition ${h}_{{K}_{n}}\left({(x,y)}^{T}\right)=r$ (blue shape), and the polygonally generalized von Mises density ${\mathit{\text{vMd}}}_{g,{K}_{n},r,\lambda}$ where $g\left(\rho \right)=exp\left\{\frac{{\rho}^{2}}{2}\right\},\rho >0,r=1,\mu =3\pi /4$ and $(n,\lambda )=\left(3,\frac{1}{2}\right)$ in the first row, but $(n,\lambda )=\left(4,\frac{3}{2}\right)$ in the second row. Each of the arrows in the middle panel shows the way from the center of the blue drawn polygonally generalized circle to that of the black drawn ones.
Concluding remarks
Exact distributions of numerous statistics like mean value statistic, Student statistic, Chisquared statistic have been derived in a broad and well known literature under the assumption that the sample vector follows a multivariate normal law, or more generally, an elliptically contoured one. Similarly, exact statistical distributions have been derived when the sample distribution is exponential or one of its geometric generalizations. For results of the latter type, we refer to (Henschel [