- Research
- Open Access

# Geometric disintegration and star-shaped distributions

- Wolf-Dieter Richter
^{1}Email author

**1**:20

https://doi.org/10.1186/s40488-014-0020-6

© Richter; licensee Springer. 2014

**Received:**27 February 2014**Accepted:**8 August 2014**Published:**1 October 2014

## Abstract

Geometric and stochastic representations are derived for the big class of *p*-generalized elliptically contoured distributions, and (generalizing Cavalieri’s and Torricelli’s method of indivisibles in a non-Euclidean sense) a geometric disintegration method is established for deriving even more general star-shaped distributions. Applications to constructing non-concentric elliptically contoured and generalized von Mises distributions are presented.**AMS subject classification** Primary 60E05; 60D05; secondary 28A50; 28A75; 51F99

## Keywords

- p-generalized elliptically contoured distributions
- Non-concentric elliptically contoured distributions
- Star-generalized von Mises distributions
- p-generalized ellipsoids and ellipsoidal coordinates
- Stochastic random vector representation
- Geometric measure representation
- Star-generalized surface measure
- Star-generalized uniform distribution
- Intersection-proportion function
- Ball number function

## 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 (Barndorff-Nielsen 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 star-shaped sets and, correspondingly, star-shaped distributions occur in limit set theory, in meta density analysis, power studies for goodness-of-fit tests, depth analysis and analysis of residual dependence between extreme values in the presence of asymptotic independence, respectively. Norm-contoured sets and related estimation problems of identifying structures in high-dimensional 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 ([Arellano-Valle 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 *p*-generalized elliptically contoured distributions and of more general star-shaped 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 *p*-generalized elliptically contoured distributions. Generalizing Cavalieri’s and Torricelli’s method of indivisibles in a non-Euclidean sense, a geometric disintegration method is established for deriving even more general star-shaped distributions. Basic properties of these distributions are studied, applications of the new representations to constructing non-concentric elliptically contoured distributions and to generalizing the von Mises distribution are discussed, and the necessary background from non-Euclidean 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 star-sphere intersection-proportion function (ipf) of a given set. The ipf is essentially based upon a suitably defined non-Euclidean 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 non-Euclidean 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 star-generalized 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 *p*-generalized 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 non-Euclidean 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 star-generalized trigonometric functions and several Jacobians. In Section 4, star-shaped distributions are introduced in several steps and some of their basic properties are studied. The most explicit results are presented for the class of *p*-generalized 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 non-Euclidean geometry. Moreover, the ball number function will be extended in Section 4.5 and characteristic functions are discussed in Section 4.6. In the two-dimensional case, some consequences from the preceding sections concerning the new class of non-concentric 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 star-shaped 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 positive-homogeneous 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 ([Hoffmann-Jorgensen 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**.

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 *p*-generalized ellipsoid, *p*>0, see Section 3.2.1, one may assume the sets *S*∩*C*_{1(2)} to be the upper and lower hemi-spheres, *S*^{+(−)}={*θ*=(*θ*_{1},…,*θ*_{
n
})^{
T
}with *θ*_{
n
}>(<)0}, respectively.

**Lemma** **1**.

The absolute value of the Jacobian of the star-spherical coordinate transformation is $J(r,\theta )={r}^{n-1}{J}_{j}^{\ast}\left(\theta \right),\text{with}{J}_{j}^{\ast}\left(\theta \right)=\left|{\eta}_{j}\right(\theta )-\sum _{i=1}^{n-1}{\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 star-generalized surface measure

### 3.1 Basics

The results in (Richter [2009], [2013]) reflect the basic role which a suitable notion of non-Euclidean surface content plays for the study of non-spherical distributions. Here, we give first formally a local definition of a generalized surface measure which allows us to derive geometric and stochastic representations of star-shaped 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 star-generalized 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.

is an immediate consequence of the fundamental theorem of calculus and might seem therefore to be of no special interest, here. If, however, non-trivial 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 non-Euclidean geometry was identified such that the correspondingly modified integral notion of surface content based upon this non-Euclidean geometry coincides with the locally defined surface measure ${\mathfrak{O}}_{S}$. This allows a non-Euclidean 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**.

*Proof*.

*G*(

*A*∩

*S*

_{ j })=

*S*

*t*

*S*

*p*

*h*

^{∗−1}(

*A*∩

*S*

_{ j }), we get according to Lemma 1

Definition 1 applies.

**Remark** **1**.

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**.

*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}^{n-1}\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*.

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 intersection-proportion 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**.

*Proof*.

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 star-generalized 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 star-generalized 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 star-shaped but not necessarily convex.

### 3.2 The star-generalized surface content of *p*-generalized ellipsoids

#### 3.2.1 Volumes of *p*-generalized ellipsoids

Because the notion of the star-generalized surface content is derived from that of volumes, we first study volumes of *p*-generalized 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 *p*-generalized ellipsoidal ball, or simply *p*-generalized ellipsoid, of |.|_{a,p}-radius *R*, *R*>0, and w.r.t. the basis
.

*B*

_{a,p}(

*R*) may be immediately reduced to that of an

*l*

_{n,p}-ball having a suitable

*p*-radius. To this end, we denote the

*l*

_{n,p}-ball of

*p*-radius

*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

*p*-radius

*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*×

*n*-matrix 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})}^{n-1}}={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}^{n-1}\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**.

*p*-generalized ellipsoid of |.|

_{a,p}-radius

*R*has the volume

**Corollary** **3**.

The star-generalized surface content of a *p*-generalized ellipsoid with axes of lengths 2*a*_{
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 star-generalized 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.

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 non-trivial interpretation as the surface measure w.r.t. a well defined, non-Euclidean, metric geometry. This allows us to re-define ${\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 star-generalized surface measure alternatively the *E*_{a,p}-generalized surface measure if *K* is a *p*-generalized ellipsoid with axes of lengths 2*a*_{
i
},*i*=1,…,*n*.

#### 3.2.2 The *p*-generalized 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 star-generalized 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**.

*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**.

*π*. Basic analytical and geometric interpretations of these functions follow from the representations

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**.

*ϕ*,

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**.

*p*-generalized 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 (n-2)}\times [0,2\pi )$ is defined by

**Theorem** **3**.

*π*−

*ϕ*

_{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 anti-clockwise 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**.

*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}.$

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}_{n-1}\right)}\right|={\stackrel{~}{r}}^{n-1}\prod _{i=1}^{n-1}{\left(1-|{\mu}_{i}{|}^{p}\right)}^{(n-p-i)/p}.$

*E*

_{a,b;p}-generalized trigonometric functions that

**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 star-generalized surface measure on *p*-generalized 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 non-Euclidean 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}$.

*y*be defined as the positive solution of $\sum _{i=1}^{n-1}|{x}_{i}/{a}_{i}{|}^{p}+|y/{a}_{n}{|}^{p}={R}^{p}$ where $\sum _{i=1}^{n-1}|{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}_{n-1})={(-1)}^{n}\left(\sum _{i=1}^{n-1}\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}{\left|N({x}_{1},\dots ,{x}_{n-1})\right|}_{\frac{1}{a},q}{\mathit{\text{dx}}}_{1}\dots {\mathit{\text{dx}}}_{n-1}$ 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 star-generalized 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}. Two-dimensional 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}{|}^{p-1}}{{a}_{j}^{p}{\left({R}^{p}-\sum _{i=1}^{n-1}{\left(|{x}_{i}/{a}_{i}|\right)}^{p}\right)}^{(p-1)/p}},\phantom{\rule{0.3em}{0ex}}j=1,\dots ,n-1$

*q*=

*p*/(

*p*−1) that

*p*-generalized (

*n*−1)-dimensional standard elliptical coordinate transformation

where the *p*-generalized trigonometric functions sin*p* and cos*p* are defined in ([Richter 2007]). If $a=1\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}1\in {\mathbb{R}}^{n-1}$ then this transformation coincides with the *l*_{n−1,p}-spherical coordinate transformation ${\mathit{\text{SPH}}}_{p}^{(n-1)}$, 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}_{n-1})}{d(r,{\varphi}_{1},\dots ,{\varphi}_{n-2})}\right|={a}_{1}\xb7\dots \xb7{a}_{n-1}J\left({\mathit{\text{SPH}}}_{p}^{(n-1)}\right)(r,\varphi )\phantom{\rule{0.3em}{0ex}}.$

Moreover, let ${J}^{\ast}\left({\mathit{\text{SPH}}}_{p}^{(n-1)}\right)\left(\varphi \right)=J\left({\mathit{\text{SPH}}}_{p}^{(n-1)}\right)(1,\varphi )$ be the restriction of the Jacobian of ${\mathit{\text{SPH}}}_{p}^{(n-1)}$ to the sphere defined by *r*=1.

*p*-generalized standard elliptical coordinates gives

and $\frac{1}{p}B\left(\frac{1}{p},\frac{n-1}{p}\right){\omega}_{n-1,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 star-generalized 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 *p*-generalized ellipsoids

In Section 3.2.3, the surface measure *O*_{a,p,q} was used for measuring the whole *p*-generalized 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 non-Euclidean geometry underlying a multivariate probability distribution which was developed in (Richter [2009], [2013]). The following theorem says that the star-generalized 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*.

*p*-generalized ellipsoidal coordinates in (

*n*−1) dimensions, ${T}_{a,p}^{E}(n-1)$: (

*x*

_{1},…,

*x*

_{n−1})→(

*r*,

*ϕ*

_{1},…,

*ϕ*

_{n−2}). Because of $\sum _{i=1}^{n-1}|{x}_{i}/{a}_{i}{|}^{p}={r}^{p}$,

*M*

^{∗}={(

*ϕ*

_{1},…,

*ϕ*

_{n−2}):

*ϕ*

_{ il }≤

*ϕ*

_{ i }≤

*ϕ*

_{ iu },

*i*=1,…,

*n*−2}

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}_{n-2})$ defined by

*z*_{
n
}=*a*_{
n
}*R*(1−*r*^{
p
})^{1/p}.

This transformation allows the representations

={*z*[ *R*,*r*,*ϕ*]:0≤*R*<*ρ*,*r*∈[*r*_{1},*r*_{2}),*ϕ*∈*M*^{∗}}.

*p*=2 was dealt with:

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 semi-algebra 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 1-3 and Remarks 1 and 2 remain valid if the integral surface measure *O*_{a,p,q} is used instead of the star-generalized surface measure ${\mathfrak{O}}_{S}$. The same is true for all those statements quoted below which are using the local notions of Section 2.

## Star-shaped distributions and geometric disintegration

### 4.1 Star-shaped 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 star-generalized 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$.

*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 star-generalized 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

*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/2-1},\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}B|R=r\right)\mathit{\text{dP}}(R<r)$

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}B|R=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 star-shaped distributions

There are different ways to introduce more general classes of star-shaped distributions than the uniform ones considered so far. One of the possibilities is to continue with star-shaped distributions having a density, to derive their most basic properties and finally to introduce the class of all star-shaped distributions having just the latter as their defining properties. This way may be considered as formally generalizing the notion of norm-contoured 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 star-shaped 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}^{n-1}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 star-shaped 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 star-shaped, 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.3-4.7, however, seem to be new. The following theorem deals with a geometric measure representation of continuous star-shaped 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}^{n-1}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}^{n-1}\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 ([Arellano-Valle and Richter 2012]; [Batún-Cutz et al. 2013]) and ([Günzel et al. 2012]).

### 4.3 Stochastic representations

In this section, we consider that property of continuous star-shaped distributions which will serve in the next section to define a general class of star-shaped 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}^{n-1}g\left(r\right),r>0.$

*Proof*.

**Remark** **9**.

*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

### 4.4 General star-shaped distributions

The results of the previous section may serve as a starting point for defining general star-shaped 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 star-shaped distributions.

**Definition** **8**.

A random vector $Y:\Omega \to {\mathbb{R}}^{n}$ is said to follow a star-shaped 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 star-generalized 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 star-shaped distribution *Φ*_{g,K,ν}.

*S*

*t*

*S*

*h*

^{(n)}and its subset of continuous distributions by

We recall that star-shaped 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}^{n-1}}$ 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 star-shaped distributed random vector which satisfies the stochastic representation $Y\stackrel{d}{=}R\xb7{U}_{S}$ where the non-negative random variable *R* is independent of the star-generalized 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 star-shaped 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**.

*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 star-shaped 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}^{n-1}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}^{n-1}g\left(r\right)\mathit{\text{dr}}\end{array}$

- (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 *p*-generalized elliptically contoured distributions

The general principle for deriving geometric and stochastic representations of star-shaped distributions developed so far will be proved in this section to successfully apply to a class of distributions considered in Section 3.5 of ([Arellano-Valle 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]).

*p*-generalized 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, non-negative, random variable has the density described in Theorem 6(b).

*n*×

*n*matrices. A random vector $Y:\Omega \to {\mathbb{R}}^{n}$ is said to follow a

*p*-generalized 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

*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

*C*(

*g*,

*a*,

*p*)=

*C*(

*g*,

*B*

_{a,p}) then

*R*has the density

*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*×

*n*-unit 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**.

*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**).

*p*-generalized 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)}^{n-i-1}}{{N}_{({a}_{i},{a}_{i+1};p)}^{2}\left({\varphi}_{i}\right)},\phantom{\rule{0.3em}{0ex}}i=1,\dots ,n-1$ 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 non-concentric elliptically contoured distribution class

*b*<

*a*and

*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

*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 non-concentric 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]).

*Φ*

_{g,K,ν}is

*X*=

*R*cos

*K*(

*Φ*),

*Y*=

*R*sin

*K*(

*Φ*), respectively. The

*K*-generalized 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*:

*μ*∈[ 0,2

*π*) and

*λ*>0, the location vector (

*ν*

_{1},

*ν*

_{2})

^{ T }can be represented as

*R*,

*Φ*)

^{ T }is

*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 star-shaped 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**.

*P*

_{ n }denote the polygon having the

*n*vertices ${I}_{n,i}={\left(cos\left(\frac{2\pi}{n}(i-1)\right),sin\left(\frac{2\pi}{n}(i-1)\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, W-D, 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, Chi-squared 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 [2001], [2002]; Henschel and Richter [2002]). However, there seem, in general, not to be as many exact distributional results as in the Gaussian or elliptically contoured cases in the case of samples from any other multivariate distribution. Mathematical research without one of the above assumptions often deals with asymptotic considerations for large sample sizes. Many results of such work are again closely connected with properties of the Gaussian law which occurs often as a limit law.

The present paper provides new possibilities for deriving representations of exact statistical distributions if the sample vector follows a probability law coming from a rather big class of probability laws. It is not the place here to demonstrate in any detail all the possible applications of the present results. Instead, we refer to ([Richter 2012]) and several references given therein for getting a first overview. A recent example for deriving new results on distributions of functions of Gaussian vectors is given in ([Richter 2014]). This example might stimulate consideration of exact distributions of new classes of statistics.

## Declarations

### Acknowledgements

The author is grateful to two Reviewers for their valuable hints which led to improvements of the manuscript, and to Thomas Dietrich for drawing the figures with *Maple 17*.

## Authors’ Affiliations

## References

- Arellano-Valle RB, Richter W-D: On skewed continuous
*l*_{n, p}-symmetric distributions.*Chilean J. Stat*2012, 3(2):193–212.MathSciNetGoogle Scholar - Balkema AA, Embrechts P, Nolde N: Meta densities and the shape of their sample clouds.
*J. Multivariate Anal*2010, 101: 1738–1754. 10.1016/j.jmva.2010.02.010MathSciNetView ArticleMATHGoogle Scholar - Balkema AA, Nolde N: Asymptotic independence for unimodal densities.
*Adv. Appl. Prob*2010, 42: 411–432. 10.1239/aap/1275055236MathSciNetView ArticleMATHGoogle Scholar - Barndorff-Nielsen OE, Blaesild P, Eriksen PS:
*Decomposition and Invariance of Measures, and Statistical Transformation Models, Lecture Notes in Statistics*. Springer, New York; 1989.View ArticleMATHGoogle Scholar - Barthe F, Csörnyei M, Naor A: A note on simulataneous polar and cartesian decomposition. In
*Geometric Aspects of, Functional Analysis, Lecture Notes in Mathematics, vol. 1807*. Springer, Berlin; 2003.Google Scholar - Batún-Cutz J, Gonzáles-Farías G, Richter W-D: Maximum distributions for
*l*_{2,p}-symmetric vectors are skewed*l*_{1,p}-symmetric distributions.*Stat. Probab. Lett*2013, 83: 2260–2268. 10.1016/j.spl.2013.06.022View ArticleMATHGoogle Scholar - Dietrich T, Kalke S, Richter W-D: Stochastic representations and a geometric parametrization of the two-dimensional Gaussian law.
*Chilean J. Stat*2013, 4(2):27–59.MathSciNetGoogle Scholar - Eaton ML:
*Multivariate Statistics, a Vector Space Approach*. Wiley, New York; 1983.MATHGoogle Scholar - Eaton, M L: Group invariance applications in statistics In
*Regional Conference, Series in Probability and Statistics, vol. 1*. Institute of, Mathematical Statistics, Hayward, California; 1989.Google Scholar - Fang K-T, Kotz S, Ng KW:
*Symmetric Multivariate and Related Distributions*. Chapman & Hall, London; 1990.View ArticleMATHGoogle Scholar - Farrell RH:
*Techniques of, Multivariate Calculation. Lecture Notes in Mathematics 520*. Springer, Berlin; 1976.View ArticleGoogle Scholar - Farrell, R H:
*Multivariate Calculation: Use of the Continuous Groups*. Springer, Berlin; 1985.View ArticleMATHGoogle Scholar - Fernandez C, Osiewalski J, Steel MFJ: Modeling and inference with
*v*-spherical distributions.*J. Amer. Stat. Assoc*1995, 90: 1331–1340.MathSciNetMATHGoogle Scholar - Gómez E, Gomez-Viilegas MA, Marín JM: A multivariate generalization of the power exponential family of distributions.
*Commun. Stat. Theory Methods*1998, 27(3):589–600. 10.1080/03610929808832115MathSciNetView ArticleMATHGoogle Scholar - Günzel T, Richter W-D, Scheutzow S, Schicker K, Venz J: Geometric approach to the skewed normal distribution.
*J. Stat. Plann. Inference*2012, 142: 3209–3224. 10.1016/j.jspi.2012.06.009MathSciNetView ArticleMATHGoogle Scholar - Gupta A, Song D:
*l*_{ p }-norm spherical distributions.*J. Stat. Plann. Inference*1997, 60: 241–260. 10.1016/S0378-3758(96)00129-2MathSciNetView ArticleMATHGoogle Scholar - Henschel V: Exact distributions in the model of a regression line for the threshold parameter with exponential distribution of errors.
*Kybernetika*2001, 37(6):703–723.MathSciNetMATHGoogle Scholar - Henschel, V: Statistical inference in simplicially contoured sample distributions
*Metrika*2002, 56: 215–228. 10.1007/s001840100174MathSciNetView ArticleMATHGoogle Scholar - Henschel V, Richter W-D: Geometric generalization of the exponential law.
*J. Multivariate Anal*2002, 81: 189–204. 10.1006/jmva.2001.2001MathSciNetView ArticleMATHGoogle Scholar - Hoffmann-Jorgensen J:
*Probability with a View Towards Statistics II*. Chapman & Hall, New York; 1994.View ArticleMATHGoogle Scholar - Joenssen DW, Vogel J: A power study of goodness-of-fit tests for multivariate normality implemented in R.
*J. Stat. Comput. Simul*2012, 75: 93–107.MathSciNetGoogle Scholar - Kalke, S: Geometrische Strukturen
*l*_{n, p}-symmetrischer charakteristischer Funktionen. Dissertation, Universität Rostock (2013).Google Scholar - Kallenberg O:
*Probabilistic Symmetries and Invariance Principles*. Springer, New York; 2005.MATHGoogle Scholar - Kamiya H, Takemura A, Kuriki S: Star-shaped distributions and their generalizations.
*J. Stat. Plann. Inference*2008, 138: 3429–3447. 10.1016/j.jspi.2006.03.016MathSciNetView ArticleMATHGoogle Scholar - Kinoshita K, Resnick SI: Convergence of scaled random samples in R.
*Ann. Probab*1991, 19: 1640–1663. 10.1214/aop/1176990227MathSciNetView ArticleMATHGoogle Scholar - Koehn U: Global cross sections and the densities of maximal invariants.
*Ann. Math. Stat*1970, 41(6):2045–2056. 10.1214/aoms/1177696704