arXiv:1705.01327v1 [math.PR] 3 May 2017

The geometrical origins of some distributions and
the complete concentration of measure
phenomenon for mean-values of functionals
Cheng-shi Liu
Department of Mathematics
Northeast Petroleum University
Daqing 163318, China
Email:chengshiliu-68@126.com
April 5, 2018
We derive out naturally some important distributions such as high order
normal distributions and high order exponent distributions and the Gamma
distribution from a geometrical way. Further, we obtain the exact mean-values of
integral form functionals in the balls of continuous functions space with p−norm,
and show the complete concentration of measure phenomenon which means that
a functional takes its average on a ball with probability 1, from which we have
nonlinear exchange formula of expectation.
Keywords and phrases: mean-value of functional; complete concentration of
measure; probability distribution
AMS 1991 subject classifications: 62E, 60B

1

Introduction

Following the works of Gâteaux, Lévy and Wiener et al[1-9], we study the
mean-values of some functionals in the ball of continuous functions space under
p−norm. The computation of the mean-values of functionals is still an important problem for mathematicians and physicians. Some infinite-dimensional
probability problems lead to naturally the averages of functionals. For example, if we choose randomly a curve x(t) in M = {x|0 ≤ x′ (t) ≤ 1}, what is
R1p
the mean-value of its arc length l(x) = 0 1 + (x′ (t))2 dt on M ? what is the
R1
mean-value of its area A(x) = 0 x(t)dt on M ? We can get the mean-value
√
√
E(l(x)) = 22 + 12 ln(1 + 2), and E(A(x)) = 14 . Although these problems belong to essentially the infinite-dimensional integrations, they are different with
the functional integrations such as Feynman integral and Wiener integral in
quantum physics and stochastic process[10-13]. In general, the mean-value of

1

functional f on M can be defined as follows,
R
f (x)D(x)
,
Ef = MR
D(x)
M

(1)

where D(x) represents formally the volume element of M . However, there exists
a huge gap between the definitions and computations of functional integrations.
In particular, for the normed (or more general, topology) linear space V , the
integration on it is defined by cylinder measure depending on the dual space
V ∗ ([11,13]). For example, for the space V = Lp [a, b], the construction of
measure on it is so complicated that one almost cannot use it to compute the
Rb
concrete integrations of some simple functionals such as f [x] = a x(t)dt, where
we require x(t) ∈ M = {x(t)|0 ≤ x(t) ≤ 1, a ≤ t ≤ b, x(t) ∈ L[a, b]}.
The computation of mean-value of a functional on a set M depends on not
only the form of functional, but also the structure of the set M . Abstractly, a
functional f (x) is a function of x where x is an element in an infinite-dimensional
space such as C[0, 1]. In general, there are two basic ways to construct functionals. One way is to use the values of x(t) on some points t1 , · · · , tm such that
f (x) = g(x(t1 ), · · · , x(tm )), where g is a usual function in Rn . Essentially, all
the first kind of functionals are finite dimensional functions. Another way is to
use integral
Z
Z
g(x(t1 ), · · · , x(tm ))dt1 · · · dtm ,
(2)
···
f (x) =
I1

Im

where I1 , · · · , Im are subsets of the interval [0, 1]. In general, we take every Ik
to be a subinterval. For example,
Z 0.8
Z 0.2
Z 0.3
2
cos x(t)dt).
x(t)dt +
x (t)dt + sin(
f (x) =
0

0.1

0

R
Therefore, there are two kinds of basic elements x(ti )(i = 1, · · · , n) and Ij g(x(t))dt
(j = 1, · · · , m) such that those useful functionals can be constructed in terms
of them by addition, subtraction, multiplication, division and composition. We
also call these functionals the elementary functionals.
For the first kind of functionals, their averages are just reduced to the usual
finite-dimensional integrals. Thus we only consider the integrals of the second
kind of functionals
f (x). If the domain of the functional f is M , in general,
R
D(x)
of M is zero or infinity, and the infinite-dimensional intethe volume
M
R
zero or infinity (or finite sometimes).
gral M f (x)D(x) is always respectively
R
f (x)D(x)

However, the mean-value Ef = MR D(x) perhaps is finite. Therefore we
M
need a reasonable definition of the mean-value of the functional. The standard approach is to use a limit procedure. For example, if we Rtake the set
1
M = {x|a ≤ x(t) ≤ b, x(t) ∈ C[0, 1]} and the functional f (x) = 0 g(x(t))dt,
then we define the mean-value of f as
Rb
R b 1 Pn
k=1 g(xk )dx1 · · · dxn
a ··· a n
Ef = lim
(3)
Rb
Rb
n→∞
· · · a dx1 · · · dxn
a
2

where xk = x( nk ). If the limitation exists, we call it the mean-value of the
functional f . In addition, we must emphasize that for different function spaces,
we need different limitation procedures.
In the paper, we mainly study the mean-values of the most important functionals f of form (2) in the ball M of the continuous functions space under
p-norm. Our method is to consider the functional as an infinite-dimensional
random variable and then to compute the expectation and the variances on M .
For the purpose, we first obtain the probability distribution of the coordinate
x(t) in M for fixed t. These distributions have the forms of high order normal
and exponent distributions by which we can also derive naturally the important
Gamma distribution in statistics. Then we show that the variances are zeros
which indicate that these functionals satisfy the property of the complete concentration of measure which means that a functional takes its mean-value on an
infinite-dimensional ball with probability 1. Corresponding, we give the nonlinear exchange formulas for averages of functionals. The routine concentration of
measure is described by some inequalities such as Levy lemma[14-16], which is
different with the complete concentration of measure which is shown by some
equalities.

2

The geometrical origins of some distributions

Consider the continuous functions space C[0, 1] and define some norms such as
R1
1
||x||0 = maxt∈[0,1] |x(t)|, and ||x||p = ( 0 |x(t)|p dt) p for p ≥ 1. For p = pq00 where
p0 is even and (p0 , q0 ) = 1, we consider the whole ball M = {x|||x||p ≤ Rp },
while for p ≥ 1 is a general real number or specially p = pq00 where p0 is odd and
(p0 , q0 ) = 1, we only consider the ”first quadrant” of M , that is M + = {x|x ≥
0, ||x||p ≤ Rp }.
The following lemma is important.
Lemma([17]). The following generalized Dirichlet formula holds
Z
Z
p
p
1 Γ( 21 ) · · · Γ( 2n )
,
(4)
x1p1 −1 x2p2 −1 · · · xpnn −1 dx1 · · · dxn = n
···
n
2 Γ(1 + p1 +···+p
)
B+
2
where pi > 0 for i = 1, · · · , m and B + = {(x1 , · · · , xn )|x21 + · · · + x2n ≤ 1, xk >
0, k = 1, · · · , n}.
Next we give the following results. R
1
Theorem 1. For the ball M = {x| 0 xp (t)dt ≤ Rp } in C[0, 1] when P = pq00
where p0 is even and (p0 , q0 ) = 1, the density of x(t) as a random variable for
fixed t is given by
ρ(x) =

1
2RΓ( p1 )p

xp

1
p −1

e− pRp , x ∈ (−∞, +∞).

(5)

Proof. Firstly, by discretization, we have Mn = {(x1 , · · · , xn )|xp1 +· · ·+xpn ≤
nRp } where xk = x( nk ). We direct compute the density ρn (x) of x1 as a random
3

variable in the ball Mn . We have from the above lemma
R
R
· · · Mn dx2 · · · dxn
R
ρn (x1 ) =
Mn dV
=

pΓ(1 + np )

2Γ( p1 )Γ(1 +

(1 −

1

n−1
p
p )(nR

− x21 ) p

x21 np
) .
nRp

(6)

Taking the limitation of n approaching to +∞, and using the Stirling’s asymptotic formula of Gamma function, we get for t fixed the density of x(t) in M ,
√ q
n
n
p 2π np ( np ) p e− p
x2 np
q
ρ(x) = lim
(1
−
)
√
n−1
n−1
1
n→+∞
n−1
nRp
p e− p (nRp − x2 ) p
2Γ( p1 ) 2π n−1
p ( p )
1
n−1
)p
= lim
1 (
1
n→+∞ 2Rp p −1 Γ( 1 )e p nRp − xp

1

p

=

r

1
2Rp

n np
n
x2 np
)
(
) (1 −
n−1 n−1
nR2
xp

1
p −1

Γ( p1 )

e− pRp .

(7)
(8)

The proof is completed.
R1
Theorem 2. For the ”first quadrant” M + = {x|x(t) ≥ 0, 0 xp (t)dt ≤ Rp }
of M when p is a general real number and p ≥ 1 or specially p = pq00 where p0 is
odd and (p0 , q0 ) = 1, the density of x(t) as a random variable on M + for fixed
t is given by
xp
1
e− pRp , x ∈ [0, +∞).
ρ(x) =
(9)
1
−1
1
Rp p Γ( p )
Proof. Firstly, by discretization, we have Mn+ = {(x1 , · · · , xn )|xp1 + · · · +
≤ nRp , xk ≥ 0, k = 1, · · · , n} where xk = x( nk ). We direct compute the
density ρn (x) of x1 as a random variable in the ”first quadrant” Mn+ . We have
from the lemma
R
R
· · · Mn+ dx2 · · · dxn
R
ρn (x1 ) =
+ dV
Mn
xpn

=

pΓ(1 + np )

Γ( p1 )Γ(1 +

n−1
p
p )(nR

− x21 )

1
p

(1 −

x21 np
) .
nRp

(10)

Taking the limitation of n approaching to +∞, and using the Stirling’s asymptotic formula of Gamma function, we get for t fixed the density of x(t) in M ,
√ q
n
n
p 2π np ( np ) p e− p
x2 np
q
)
ρ(x) = lim
(1
−
√
n−1
n−1
1
n→+∞
n−1
nRp
p e− p (nRp − x2 ) p
(
)
Γ( p1 ) 2π n−1
p
p

4

= lim

n→+∞

1
Rp

1
p −1

Γ( p1 )e

1
p

(

1
n−1
)p
nRp − xp

=

1
Rp

1
p −1

x2 np
n
n np
)
(
) (1 −
n−1 n−1
nR2

r

xp

Γ( p1 )

e− pRp .

(11)
(12)

The proof is completed.
Remark 1. When p is even, the density looks like a normal distribution,
and thus we call it high order normal distribution or normal-like distribution.
If R = 1, a simple form is
ρ(x) =

1
2Γ( p1 )p

1
p −1

e−

xp
p

, x ∈ (−∞, +∞).

(13)

Further, for example, if p = 2, we get the standard normal distribution
x2
1
ρ(x) = √ e− 2 , x ∈ (−∞, +∞),
2π

(14)

which gives the Gâteaux and Lévy’s result [1]. If p = 4, we get a 4-order normal
distribution
√
2 − x4
4 , x ∈ (−∞, +∞).
(15)
ρ(x) =
1 e
Γ( 4 )
Remark 2. When p is odd, the density looks like an exponent distribution,
and thus we call it high order exponent distribution or exponent-like distribu1
tion. For example, if p = 1 and R = λ− p , we get the usual exponent distribution
ρ(x) =

1 −λx
e
, x ∈ [0, +∞).
λ

(16)

1

If p = 3 and R = (3λ)− p , we get the 3-order exponent distribution
1

3λ 3 −λx3
ρ(x) =
e
, x ∈ [0, +∞).
Γ( 31 )

(17)

Remark 3. By a simple transformation, we can obtain the famous Gamma
distribution in statistics. Indeed, we take a transformation
Z=

xp
,
pβ

(18)

then the density of Z is just
1

β p p1 −1 −βy
e
.
z
ρ(z) =
Γ( p1 )
Further, taking α =

1
p

(19)

gives the Gamma distribution
ρ(z, α, β) =

β α α−1 −βy
z
e
.
Γ(α)

(20)

This is a geometrical origin of the Gamma distribution. We can see that this is
a rather natural way to derive the Gamma distribution.
5

3

The exact mean-values of functionals and the
complete concentration of measure phenomenon

R1
Theorem 3. Take the ball M = {x| 0 xp (t)dt ≤ Rp } in C[0, 1] with norm
p0
||x||p when p = q0 where p0 is even and (p0 , q0 ) = 1. Then the mean-value and
invariance on M of the functional
Z 1
Z 1
g(x(t1 ), · · · , x(tm ))dt1 · · · dtm ,
(21)
···
Y = f (x) =
0

0

satisfy
EY =

1
2m Γm ( p1 )p

Z

m
p −m

+∞

−∞

···

Z

+∞

−∞

g(Rx1 , · · · , Rxm )e−

p
x1
p

−···−

p
xm
p

dx1 · · · dxm ,
(22)
(23)

DY = 0.

Further, for the functionals Y1 , · · · , Ym with the form (2) and a general function
h of m variables, we have the nonlinear exchange formula for the mean-value of
h(Y1 , · · · , Ym ) on M ,
Eh(Y1 , · · · , Ym ) = h(EY1 , · · · , EYm ).

(24)

Proof. We only need to prove it in the case of m = 1. By the linearity of
the expectation E, we have
Z +∞
Z 1
xp
1
g(Rx)e− pRp dx.
EY =
E(g(x(t))dt = E(g(x(t)) =
1
−1
1
−∞
0
2RΓ( p )p p
(25)
Then replacing x by px, we get the result. Similarly, by the two-dimensional
measure of the set {(t, s)|t = s} as a subset of [0, 1]2 being zero, we have,
Z 1Z 1
E(Y 2 ) =
E(g(x(t)g(x(s))dtds = E(g(x(t))E(g(x(s)) = E 2 (Y ), (26)
0

0

and then DY = 0 by which the nonlinear exchange formula holds naturally.
The proof is completed.
Similarly, we have the following theorem.
R1
Theorem 4. Take the ”first quadrant” M + = {x|x(t) ≥ 0, 0 xp (t)dt ≤ Rp }
of M when p = pq00 where p0 is odd and (p0 , q0 ) = 1. Then the mean value and
invariance on M of the functional
Z 1
Z 1
g(x(t1 ), · · · , x(tm ))dt1 · · · dtm ,
(27)
···
Y = f (x) =
0

0

satisfy
EY =

1
m
Γm ( p1 )p p −m

Z

0

+∞

···

Z

0

+∞

g(Rx1 , · · · , Rxm )e−

p
x
1
p

−···−

p
xm
p

dx1 · · · dxm ,
(28)

6

DY = 0.

(29)

Further, for the functionals Y1 , · · · , Ym with the form (2) and a general function
h of m variables, we have the nonlinear exchange formula for the average of
h(Y1 , · · · , Ym ) on M ,
Eh(Y1 , · · · , Ym ) = h(EY1 , · · · , EYm ).

(30)

Remark 4. The theorems 3 and 4 show the complete concentration of
measure phenomenon which means that a functional takes its mean-value on an
infinite-dimensional ball with probability 1.
Remark 5. In infinite-dimensional sphere, we have
routine concentraR 1 the
p
tion of measure. Indeed, for the sphere M (R) = {x| 0 x (t)dt ≤ Rp } (p = pq00
R1
where p0 is even and (p0 , q0 ) = 1) or M (R) = {x| 0 xp (t)dt ≤ Rp , x(t) ≥ 0}
(p = pq00 where p0 is odd and (p0 , q0 ) = 1) in C[0, 1] with p−norm, we can
easily see that the measure concentrates on the surface of sphere M since
V (M(R))
r n
V (M(r)) = limn→+∞ ( R ) = 0 for r < R. Therefore, the mean-values of the
functional in the set M (or M + ) can be reduced to and equal to the mean-value
on the surface of M (or M + ).
Remark 6. For the functional
Z
Z
g(x(t1 ), · · · , x(tm ), t1 , · · · , tm )dt1 · · · dtm ,
(31)
···
Y = f (x) =
Im

I1

in general, the mean-value on M or M + will be respectively
Z Z +∞
Z
Z +∞
1
E(Y ) =
···
···
g(Rx1 , · · · , Rxm , t1 , · · · , tm )
m
2m Γm ( p1 )p p −m I1
Im −∞
−∞
× e−

or
E(Y ) =

1
Γm ( p1 )p

m
p −m

Z

e−

p
x1
p

I1

p
x1
p

−···−

···

p
xm
p

Z

Im

−···−

p
xm
p

dx1 · · · dxm dt1 · · · dtm ,

Z

+∞

···

0

Z

0

(32)

+∞

g(Rx1 , · · · , Rxm , t1 , · · · , tm )

dx1 · · · dxm dt1 · · · dtm .

(33)

But in general DY 6= 0 and then the complete concentration of measure don’t
hold.

References
[1] Lévy P, Pellegrino F. (1951). Problems concrets d’analyse fonctionnelle.
Gauthier-Villars. Paris.
[2] Wiener N. (1923). Differential space. Journal of Mathematical Physics. 2
131-174.
7

[3] Wiener N. (1920). The mean of a functional of arbitrary elements. Annals
of Mathematics. 22 66-72.
[4] Wiener N. (1921). The average of an analytic functional and the Brownian
movement. Proceedings of the National Academy of Sciences of the United
States of American. 7 294-298.
[5] Wiener N. (1921). The average of an analytic functional. Proceedings of the
National Academy of Sciences of the United States of America. 7 253-260.
[6] Kac M. (1946). On the average of a certain Wiener functional and a related limit theorem in calculus of probability. Transactions of the American
Mathematical Society. 59 401-414.
[7] Cameron R H, Martin W T. (1944). Transformations of Weiner Integrals
Under Translations. Annals of Mathematics. 45 386-396.
[8] Cameron R H, Martin W T. (1945). Evaluation of various Wiener integrals by use of certain Sturm-Liouville differential equations. Bulletin of the
American Mathematical Society. 51 73-90.
[9] Cameron R H, Martin W T. (1945). Transformations of Wiener integrals
under a general class of linear transformations. Transactions of the American
Mathematical Society. 58 184-219.
[10] Feynman R P, Hibbs A R. (2012). Quantum mechanics and path integrals:
Emended edition. Courier Dover Publications.
[11] Gelfand I M, Vilenkin N Y. (1964). Generalized functions. Vol. 4, Applications of harmonic analysis. Academic Press. Moscow.
[12] Albeverio S, Hoegh-Krohn R, Mazzucchi S. (2008). Mathematical theory
of Feynman path integrals: an introduction. Springer-verlag. New York
[13] Skorokhod A V. (1974). Integration in Hilbert space. Springer-Verlag. New
York.
[14] Milman V D, Schechtman G. (1986). Asymptotic Theory of Finite Dimensional Normed Spaces: Isoperimetric Inequalities in Riemannian Manifolds.
Springer-verlag. New York.
[15] Ledoux M. (2005). The concentration of measure phenomenon. American
Mathematical Soc.
[16] Talagrand M. (1996). A new look at independence. The Annals of probability. 24 1-34.
[17] Fikhtengol’ts G M. (1969). A Course of Differential and Integral Calculus.
Science. Moscow.

8

