MULTIDIMENSIONAL PROBABILITY INEQUALITIES VIA SPHERICAL SYMMETRY IOSIF PINELIS

2025-05-02 0 0 358.65KB 11 页 10玖币
侵权投诉
MULTIDIMENSIONAL PROBABILITY INEQUALITIES VIA
SPHERICAL SYMMETRY
IOSIF PINELIS
Abstract. Spherical symmetry arguments are used to produce a general de-
vice to convert identities and inequalities for the pth absolute moments of
real-valued random variables into the corresponding identities and inequalities
for the pth moments of the norms of random vectors in Hilbert spaces. Partic-
ular results include the following: (i) an expression of the pth moment of the
norm of such a random vector Xin terms of the characteristic functional of X;
(ii) an extension of a previously obtained von Bahr–Esseen-type inequality for
real-valued random variables with the best possible constant factor to random
vectors in Hilbert spaces, still with the best possible constant factor; (iii) an
extension of a previously obtained inequality between measures of “contrast
between populations” and “spread within populations” to random vectors in
Hilbert spaces.
1. Introduction
In this note, we will use averaging with respect to spherically symmetric measures
over Rdto extend certain probability identities and inequalities for real-valued
random variables (r.v.’s) to random vectors in Hilbert spaces.
Let µbe a finite spherically symmetric measure over Rd, so that µ(T B) =
µ(B) for all orthogonal transformations T:RdRdand Borel sets BRd. Let
g:RRbe a Borel-measurable function such that RRdµ(dt)|g(t·x)|<for
all xRd, where t·xdenotes the dot product of vectors tand xin Rd. Let
e1:= (1,0,...,0) Rd. Let |·|denote the Euclidean norm on Rd, for all natural d.
Then, for any xRd\ {0}and the unit vector y:= x/|x|,
Hg(x) := ZRd
µ(dt)g(t·x)
=ZRd
µ(dt)g(|x|t·y)
=ZRd
µ(dt)g(|x|t·e1) =: hg(|x|),
and also Hg(0) = g(0) RRdµ(dt) = hg(0), so that the equality
(1.1) Hg(x) = hg(|x|)
holds for all xRd. It follows that the function Hg,µ is spherically symmetric.
2010 Mathematics Subject Classification. 60E15; 60B11; 60E10; 60E05.
Key words and phrases. Spherical symmetry; probability identities and inequalities; von Bahr–
Esseen-type inequalities; random vectors in Hilbert spaces; pth moments of the norm.
1
arXiv:2210.04391v2 [math.PR] 12 Oct 2022
2 IOSIF PINELIS
In particular, for any real p > 0 and the function gp:RRdefined by the
formula
gp(u) := |u|p
for real u, identity (1.1) can be rewritten as
|x|p=1
cp,µ ZRd
µ(dt)|t·x|p
for xRd, assuming that
cp,µ := ZRd
µ(dt)|t·e1|p(0,);
the latter condition will hold if e.g. µis the uniform distribution on the unit sphere
Sd1in Rd.
It follows immediately that, for any random vector Xin Rd,
(1.2) E|X|p=1
cp,µ ZRd
µ(dt)E|t·X|p.
Thus, the pth moment of the norm |X|of the random vector Xis expressed as a
mixture of the pth absolute moments of the real valued r.v.’s t·X.
Another kind of integral representation of E|X|p, for any random vector Xin
Rdwith E|X|p<, in terms of the distributions of the real-valued r.v.’s t·Xfor
tRdwill be established in Theorem 2.1 in Section 2.
2. Moments of the norm of a random vector in Rdvia the
characteristic functional
Let Xbe a random vector in Rd, with the characteristic functional (c.f.) fX, so
that
fX(t) = Eeit·X
for tRd.
Take any real p > 0 which is not an even integer, and let
m:= bp/2c.
For nonnegative integers kand real z, let
(2.1) ck(z) := cos z
k
X
j=0
(1)jz2j
(2j)!, sk(z) := sin z
k
X
j=0
(1)jz2j+1
(2j+ 1)!.
Noting that c0
k=sk1and s0
k=ck1if k>1, and ck(0) = 0 = sk(0), it is
easy to check by induction that (1)kck(z)60 and (1)kzsk(z)60, again for all
nonnegative integers kand real z.
So, for any nonzero vector xRdand the unit vector y:= x/|x|, by the Tonelli
theorem we have
ZRd
dt
|t|p+dcm(t·x) = ZRd
dt
|t|p+dcm(|x|t·y)
=|x|pZRd
ds
|s|p+dcm(s·y)
=|x|pdZSd1
Z
0
dr rd1
rp+dcm(rω ·y),
MULTIDIMENSIONAL PROBABILITY INEQUALITIES VIA SPHERICAL SYMMETRY 3
where
(2.2) Ωd:= 2π(d+1)/2
Γ((d+ 1)/2)
is the surface area of the unit sphere Sd1in Rdand RSd1··· is the integral with
respect to the uniform distribution on Sd1. Using now the spherical symmetry of
the uniform distribution on Sd1and recalling the definition e1:= (1,0,...,0)
Sd1, we see that for any nonzero vector xRd
ZRd
dt
|t|p+dcm(t·x) = Cd,p|x|p,
where
Cd,p := ΩdZSd1
Z
0
dr
rp+1 cm(rω ·e1)
= ΩdZSd1
Z
0
dr
rp+1 cm(r|ω·e1|)(2.3)
= ΩdKpZSd1
|ω·e1|p
and
(2.4) Kp:= Z
0
dz
zp+1 cm(z) = π
2Γ(p+ 1) sin(πp/2);
the equality in (2.3) holds because the function cmis even, and the latter equality
in (2.4) is the special case of formula (5) in [10] obtained by replacing xthere by 1.
To evaluate the integral RSd1|ω·e1|p, note that the distribution of ω·e1
coincides with that of G1
(G2
1+··· +G2
d)1/2,
where G1, . . . , Gdare independent standard normal random variables. Hence,
(ω·e1)2has the beta distribution with parameters 1/2,(d1)/2. So,
ZSd1
|ω·e1|p=Γ(d/2)
Γ(1/2)Γ((d1)/2) Z1
0
dz zp/21/2(1 z)(d1)/21
=Γ(d/2)Γ((p+ 1)/2)
πΓ((p+d)/2) .
It follows that
(2.5) Cd,p =πd/2
sin(πp/2)
Γ(d/2)Γ((p+ 1)/2)
Γ((d+ 1)/2)Γ(p+ 1)Γ((p+d)/2)
and
(2.6) |x|p=1
Cd,p ZRd
dt
|t|p+dcm(t·x)
for all nonzero vectors xRd. Identity (2.6) also trivially holds if xis the zero
vector, because cm(0) = 0.
Thus, using the Tonelli theorem again, we immediately obtain the following
expression of the pth moment of the norm |X|of a random vector Xin terms of
the c.f. fXof X:
摘要:

MULTIDIMENSIONALPROBABILITYINEQUALITIESVIASPHERICALSYMMETRYIOSIFPINELISAbstract.Sphericalsymmetryargumentsareusedtoproduceageneralde-vicetoconvertidentitiesandinequalitiesforthepthabsolutemomentsofreal-valuedrandomvariablesintothecorrespondingidentitiesandinequalitiesforthepthmomentsofthenormsofrand...

展开>> 收起<<
MULTIDIMENSIONAL PROBABILITY INEQUALITIES VIA SPHERICAL SYMMETRY IOSIF PINELIS.pdf

共11页,预览3页

还剩页未读, 继续阅读

声明:本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。玖贝云文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知玖贝云文库,我们立即给予删除!
分类:图书资源 价格:10玖币 属性:11 页 大小:358.65KB 格式:PDF 时间:2025-05-02

开通VIP享超值会员特权

  • 多端同步记录
  • 高速下载文档
  • 免费文档工具
  • 分享文档赚钱
  • 每日登录抽奖
  • 优质衍生服务
/ 11
客服
关注