数学物理学报, 2021, 41(3): 770-782 doi:

论文

$\mathbb{R}^n$中线性子空间束与凸体相交的几何概率

赵江甫,

Geometric Probability of Subspaces Intersecting with a Convex Body in $\mathbb{R}^n$

Zhao Jiangfu,

收稿日期: 2019-09-18  

基金资助: 福建省中青年教师教育科研项目基金(科技类).  JT180585
福建江夏学院科研培育人才项目基金.  JXZ2019016

Received: 2019-09-18  

Fund supported: the Educational Research Project Fund of Young and Middle-Aged Teachers of Fujian Province.  JT180585
the Project Fund for Scientific Research and Cultivation of Talents of Fujian Jiangxia University.  JXZ2019016

作者简介 About authors

赵江甫,E-mail:2833811196@qq.com , E-mail:2833811196@qq.com

Abstract

The probability that three independent random subspaces in $\mathbb{R}^n$ intersecting a convex body K have their common point intersecting K is found by using of the mean curvature integral of convex sets. Then we focus on the particular case of hyperplanes. On the base of this, we state the geometric probability of hyperplanes that intersect a ball, a cube or a right parallelepiped having an intersection inside the same ball, the cube or the right parallelepiped respectively. Finally, the monotonicity, convergence, and size relationship of the geometric probabilistic sequence are discussed.

Keywords: Mean curvature integral ; Geometric probability ; Buffon needle throwing ; Elementary symmetric function ; Hyperplanes ; Subspaces

PDF (394KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

赵江甫. $\mathbb{R}^n$中线性子空间束与凸体相交的几何概率. 数学物理学报[J], 2021, 41(3): 770-782 doi:

Zhao Jiangfu. Geometric Probability of Subspaces Intersecting with a Convex Body in $\mathbb{R}^n$. Acta Mathematica Scientia[J], 2021, 41(3): 770-782 doi:

1 引言

积分几何起源于几何概率, 其发展也始终与几何概率紧密相连. 最早利用积分学的方法解决的几何概率问题是经典的蒲丰投针问题: 设在平面上有一组平行线, 其行距都等于$ d $, 把一根长度为$ l(l<d) $的针随机地投上去, 则这根针和一条直线相交的概率为$ \frac{2l}{\pi d} $. 蒲丰投针问题不仅是最早的一个几何概率问题, 也是一个最具有代表性、影响最大的几何概率问题. 其优美性和吸引力历时两个多世纪经久不衰. 特别是积分几何的出现, 使人们得以从全新的角度对这类问题予以洞察. 近年来, 经典的蒲丰投针问题得到了较为广泛的推广与研究, 参见文献[1-9]. 但这些推广仅限于2维和3维空间.文献[10-11] 将几何概率问题的研究推广到了$ n $维空间, 其中文献[11] 主要针对线性空间偶的情形.对于有三个以上的线性子空间组成的线性空间束, 仅仅给出了三维空间中的一个特例: 在三维空间中, 三个和凸体$ K $相交的平面的公共点在$ K $内的概率是

$ \begin{equation} p = \frac{\pi^4V}{M^3}, \end{equation} $

其中, $ V $$ K $的体积, $ M $$ K $的边界曲面$ \partial K $的平均曲率积分. 特别地, 当$ K $为半径为$ R $的球体$ B $时, $ V = \frac{4}{3}\pi {{\Bbb R}} ^3, M = \int_{\partial B}\frac{k_1+k_2}{2}{\rm d}s = 4\pi R $, 概率为$ \frac{\pi^2}{48} $.

本文的主要的工作是将(1.1)式推广到$ {{\Bbb R}} ^n $中, 即研究$ {{\Bbb R}} ^n $中的线性子空间束与凸体相交的几何概率.

2 预备知识

定义2.1   设$ K $$ {{\Bbb R}} ^n $中的点集, 若对于任意的$ x, y\in K $都有$ \lambda x+(1+\lambda)y \in K (0\leq \lambda \leq 1) $, 则称$ K $$ {{\Bbb R}} ^n $中的凸集.

定义2.2   具有非空内点的紧凸集称为凸体. 凸体$ K $的边界$ \partial K $称为凸曲面.设$ {\cal C}^n $表示$ {{\Bbb R}} ^n $中所有凸集的集合, $ {\cal K} ^n $表示$ {{\Bbb R}} ^n $中所有凸体的集合. 对于$ K \in {\cal K}^n $, $ V(K) $表示它的体积.

定义2.3   设$ L_{r_{i}} $$ {{\Bbb R}} ^n $$ r_i $维线性子空间, 则称$ (L_{r_{i}}, L_{r_{j}}) $$ {{\Bbb R}} ^n $中的线性子空间偶, 称$ (L_{r_{i}}, L_{r_{2}}, \cdots , L_{r_{k}}) $为线性子空间束, 称$ (L_{r_{i}}\cap L_{r_{2}} \cdots \cap L_{r_{k}}) $为线性子空间束的交, 其中$ k\geq3 $.

定义2.4   如果$ L_{r_{i}}\cap K \neq \varnothing, (i = 1, 2, \cdots , k) $, 则称线性子空间束$ (L_{r_{i}}, L_{r_{2}}, \cdots , L_{r_{k}}) $$ K $相交.特别地, 若$ r_1 = r_2 = \cdots r_k = n-1 $, 则称$ (L_{r_{i}}, L_{r_{2}}, \cdots , L_{r_{k}}) $为超平面束.

定义2.5  [12-13]$ n\in N, x \in {{\Bbb R}} ^n_+ = \{(x_1, x_2, \cdots , x_n)|x_i \in [0, +\infty), 1\leq i \leq n\} $, 则称

$ \begin{equation} e_k(x) = e_k(x_1, x_2, \cdots , x_n) = \sum\limits_{1\leq i_1<i_2< \cdots<i_k\leq n} x_{i_1}x_{i_2}\cdots x_{i_k} \end{equation} $

$ k $阶初等对称函数, 并补充规定$ e_0(x) = e_0(x_1, x_2, \cdots , x_n) = 1 $.

$ 1 $阶初等对称函数$ e_1(x_1, x_2, \cdots , x_n) = \sum\limits_{i = 1}^{n}x_i $; 第$ 2 $阶初等对称函数$ e_2(x_1, x_2, \cdots , x_n) = \sum\limits_{1\leq i<j \leq n }^{n}x_ix_j $.

定义2.6  [9, 11, 14-16]$ \Sigma $$ {{\Bbb R}} ^n $中的$ C^2 $类超曲面, $ k_1, k_2, \cdots , k_n $$ \Sigma $$ n-1 $个主曲率函数, 则$ \Sigma $的第$ r $个平均曲率积分可用这$ n-1 $个主曲率的初等对称函数定义为

$ \begin{equation} M_r(\Sigma) = \frac{1}{(^{n-1}_{\ \ r})}\int_\Sigma e_r(k_1, k_2, \cdots , k_n){\rm d}\sigma, \qquad r = 1, 2, \cdots, n-1, \end{equation} $

其中, $ {\rm d}\sigma $表示$ \Sigma $的面积元.另外, 补充规定, $ M_0(\Sigma) = F $ (即$ \Sigma $的面积).

$ \Sigma $$ {{\Bbb R}} ^n $中半径为的$ R $的球面, 其主曲率为$ k_1 = k_2 = \frac{1}R $, 则$ \Sigma $$ 3 $个平均曲率积分分别为

注2.1   $ {{\Bbb R}} ^3 $中曲面的第$ 1 $个平均曲率积分即通常微分几何中所指的平均曲率积分$ M $, 即$ M_1(\Sigma) = M $, 因此文中出现的$ M_1(\Sigma) $将以$ M $替代.

$ K \in {\cal C}^n $, 若$ \partial K \in C^2 $, 则平均曲率积分与均质积分有如下关系[9, 11, 14-18], 即Cauchy公式

$ \begin{equation} M_r(\partial K) = nW_{r+1}(K), \quad r = 0, 1, \cdots, n-1. \end{equation} $

注2.2   均质积分$ W_r(K) $对于任意$ K \in {\cal C}^n $都有定义, 而平均曲率积分$ M_r(\partial K) $则要求$ \partial K \in C^2 $, 因此可以借助Cauchy公式, 对任意的$ K \in {\cal C}^n $给出平均曲率积分的定义.当$ \partial K \in C^2 $时, 此定义与前述定义一致.

注2.3   为简单起见, 把凸体$ K $的边界曲面$ \partial K $的平均曲率积分简称为$ K $的平均曲率积分.

下面给出几种特殊凸体的平均曲率积分.

当凸体$ K $是棱长为$ a_i\ (i = 1, 2, \cdots, n) $的长方体$ C $时, 其平均曲率积分为

$ \begin{equation} M_r(\partial C) = \frac{nO_r}{(r+1)(^{\ n}_{r+1})}e_{n-r-1}(a_1, a_2, \cdots, a_n). \end{equation} $

当凸体$ K $是棱长为$ a $的正方体$ C_e $时, 其平均曲率积分为

$ \begin{equation} M_r(\partial C_e) = \frac{nO_ra^{n-r-1}}{(r+1)}. \end{equation} $

当凸体$ K $是半径为$ R $的球体$ B $时, 其平均曲率积分为

$ \begin{equation} M_r(\partial B) = O_{n-1}R^{n-r-1}. \end{equation} $

$L_{r[O]}$${\mathbb{R}} ^n$中过定点$O$$r$维平面, 则$L_{r[O]}$的总测度, 即Grassmann流形$G_{r, n-r}$的体积为[9, 11]

$ \begin{equation} m(G_{r, n-r}) = \int_{G_{r, n-r}}{\rm d}L_{r[O]} = \frac{O_{n-1}O_{n-2}\cdots O_{n-r}}{O_{r-1}O_{r-2}\cdots O_{0}}, \end{equation} $

式中$ O_i = \frac{2\pi ^{\frac{i+1}{2}}}{\Gamma(\frac{i+1}{2})} $$ i $维单位球面的表面积, 且有$ (i-1)O_i = 2\pi O_{i-2} $.

$ L_{n-r[O]} $$ {{\Bbb R}} ^n $中过定点$ O $且垂直于$ L_{r[O]} $$ n-r $维平面, 则由密度公式$ {\rm d}L_{r[O]} = {\rm d}L_{n-r[O]} $

$ \begin{equation} m(G_{n-r, r}) = \int_{G_{n-r, r}}{\rm d}L_{n-r[O]} = \int_{G_{r, n-r}}{\rm d}L_{r[O]} = \frac{O_{n-1}O_{n-2}\cdots O_{n-r}}{O_{r-1}O_{r-2}\cdots O_{0}} = m(G_{r, n-r}). \end{equation} $

3 主要结论

本章主要介绍本文所得出的结论, 共6个定理, 3个推论.其中, 定理3.1和定理3.2给出线性子空间束与凸体相交时的相关测度; 定理3.3是本文的核心结论, 它给出线性子空间束的交与固定凸体相交的几何概率; 取定理3.3中的线性子空间束为特殊的子空间束-超平面束, 便得到定理3.4, 即超平面束与凸体相交的几何概率; 推论3.1–3.3分别给出当定理3.4中的凸体分别为正方体、长方体、球体时的几何概率的具体结果; 定理3.5讨论了超平面束与球体相交时所得的几何概率序列的单调性; 定理3.6描述了推论3.1–3.3所得的三个结果的大小关系.

定理 3.1  设$ K \in {\cal K}^n $, $ (L_p, L_q, L_s) $$ {{\Bbb R}} ^n $中与$ K $相交的线性子空间束, 且维数满足$ p+q\geq n $, 则此线性子空间束的交与$ K $相交的测度$ m_1 $

(1) 当$ p+q\geq n+1 $时,

1) 当$ p+q+s\geq 2n+1 $时,

$ \begin{eqnarray} m_1& = &\frac{4\pi^2(p-1)!(q-1)!(s-1)!O_{p-1}O_{q-1}O_{s-1}O_{3n-p-q-s+1}}{((n-1)!)^2(p+q+s-2n-1)!O_{n-p+1}O_{n-q+1}O_{n-s+1}O_{p+q+s-2n-1}}\\ & & \cdot T^n_pT^n_qT^n_sM_{p+q+s-2n-1}(\partial K); \end{eqnarray} $

2) 当$ p+q+s = 2n $时,

$ \begin{equation} m_1 = \frac{8\pi^3(p-1)!(q-1)!(s-1)!O_{p-1}O_{q-1}O_{s-1}O_{n-1}}{((n-1)!)^2O_{n-p+1}O_{n-q+1}O_{n-s+1}}T^n_pT^n_qT^n_sV(K); \end{equation} $

3) 当$ p+q+s<2n $时,

$ \begin{equation} m_1 = 0; \end{equation} $

(2) 当$ p+q = n $时,

$ \begin{equation} m_1 = \frac{2\pi p!q!O^2_{n-1}}{(n-1)!O_{n-s+1}}T^n_pT^n_qT^n_sV(K), \end{equation} $

其中$ T^n_i = \frac{O_{n-2}O_{n-3}\cdots O_{n-i-1}}{(n-i)O_{i-1}O_{i-2}\cdots O_{0}} $.

定理 3.2   设$ K \in {\cal K}^n $, $ (L_p, L_q, L_s) $$ {{\Bbb R}} ^n $中的线性子空间束, 且维数满足$ p+q\geq n $, 则此线性子空间束与$ K $相交的测度$ m_2 $

$ \begin{equation} m_2 = T^n_pT^n_qT^n_sM_{p-1}(\partial K)M_{q-1}(\partial K)M_{s-1}(\partial K). \end{equation} $

由定理3.1、3.2可得出定理3.3.

定理 3.3   设$ K \in {\cal K}^n $, $ (L_p, L_q, L_s) $$ {{\Bbb R}} ^n $中与$ K $相交的线性子空间束, 且维数满足$ p+q\geq n $, 则此线性子空间束的交与$ K $相交的概率$ p_n(K) $

(1) 当$ p+q\geq n+1 $时,

1) 当$ p+q+s\geq 2n+1 $时,

$ \begin{eqnarray} p_n(K)& = & \frac{4\pi^2(p-1)!(q-1)!(s-1)!O_{p-1}O_{q-1}O_{s-1}O_{3n-p-q-s+1}}{((n-1)!)^2(p+q+s-2n-1)!O_{n-p+1}O_{n-q+1}O_{n-s+1}O_{p+q+s-2n-1}}\\ & & \cdot \frac{M_{p+q+s-2n-1}(\partial K)}{M_{p-1}(\partial K)M_{q-1}(\partial K)M_{s-1}(\partial K)}; \end{eqnarray} $

2) 当$ p+q+s = 2n $时,

$ \begin{equation} p_n(K) = \frac{8\pi^3(p-1)!(q-1)!(s-1)!O_{p-1}O_{q-1}O_{s-1}O_{n-1}V(K)}{((n-1)!)^2O_{n-p+1}O_{n-q+1}O_{n-s+1}M_{p-1}(\partial K)M_{q-1}(\partial K)M_{s-1}(\partial K)}; \end{equation} $

3) 当$ p+q+s<2n $时,

$ \begin{equation} p_n(K) = 0; \end{equation} $

(2) 当$ p+q = n $时,

$ \begin{equation} p_n(K) = \frac{2\pi p!q!O^2_{n-1}V(K)}{(n-1)!O_{n-s+1}M_{p-1}(\partial K)M_{q-1}(\partial K)M_{s-1}(\partial K)}. \end{equation} $

特别地, 当$ p = q = s = 2, n = 3 $时, 根据(3.7)式可得, 在三维空间中, 三个和$ K $相交的平面的公共点落在$ K $内的概率为

这与(1.1)式吻合.

在定理3.3中, 取$ p = q = s = n-1 $, 可得出定理3.4.

定理 3.4   设$ K \in {\cal K}^n $, $ (L_{n-1}, G_{n-1}, H_{n-1}) $$ {{\Bbb R}} ^n $中与$ K $相交的超平面束, 则此超平面束的交与$ K $相交的概率$ p_n(K) $

$ \begin{eqnarray} p_n(K) = \left\{\begin{array}{ll} { } \frac{\pi (n-2)(n-3)(O_{n-2})^3M_{n-4}(\partial K)}{6(n-1)^2O_{n-4}(M_{n-2}(\partial K))^3}, &n\geq 4, \\ { } \frac{\pi ^4V(K)}{M^3}, &n = 3. \end{array}\right. \end{eqnarray} $

$ K $为一些特殊凸体时, 将对应的平均曲率积分代入(3.10)式, 可得到推论3.1–3.3.

推论 3.1   设$ C_e $$ {\cal K}^n $中棱长为$ a $的正方体, $ (L_{n-1}, G_{n-1}, H_{n-1}) $$ {{\Bbb R}} ^n $中与$ C_e $相交的超平面束, 则此超平面束的交与$ C_e $相交的概率$ p_n(C_e) $

$ \begin{eqnarray} p_n(C_e) = \left\{\begin{array}{ll} { } \frac{\pi (n-1)(n-2)}{6n^2}, &n\geq 4, \\ { } \frac{\pi}{27}, &n = 3. \end{array}\right. \end{eqnarray} $

推论 3.2   设$ C $$ {\cal K}^n $中棱长为$ a_i, (i = 1, 2, \cdots, n) $的长方体, $ (L_{n-1}, G_{n-1}, H_{n-1}) $$ {{\Bbb R}} ^n $中与$ C $相交的超平面束, 则此超平面束的交与$ C $相交的概率$ p_n(C) $

$ \begin{eqnarray} p_n(C) = \left\{\begin{array}{ll} { } \frac{\pi e_3(a_1, a_2, \cdots, a_n)}{(e_1(a_1, a_2, \cdots, a_n))^3}, &n\geq 4, \\ { } \frac{\pi a_1a_2a_3}{27(a_1+a_2+a_3)^3}, &n = 3. \end{array}\right. \end{eqnarray} $

推论 3.3   设$ B $$ {\cal K}^n $中半径为$ R $的球体, $ (L_{n-1}, G_{n-1}, H_{n-1}) $$ {{\Bbb R}} ^n $中与$ B $相交的超平面束, 则此超平面束的交与$ B $相交的概率$ p_n(B) $

$ \begin{eqnarray} p_n(B) = \left\{\begin{array}{ll} { } \frac{\pi (n-2)\Gamma ^2(\frac{n}{2})}{3(n-1)^2\Gamma ^2(\frac{n-1}{2})}, &n\geq 4, \\ { } \frac{\pi ^2}{48}, &n = 3. \end{array}\right. \end{eqnarray} $

推论3.1–3.3所得的三个几何概率$ p_n(C_e) $$ p_n(C) $$ p_n(B) $具有以下性质:

定理 3.5   $ p_n(C_e) $$ p_n(B) $均关于维数$ n $严格单调递增且收敛于常数$ \frac{\pi}{6} $.

定理 3.6   当维数$ n $固定时, $ p_n(C_e) $$ p_n(C) $$ p_n(B) $具有以下大小关系:

$ \begin{equation} p_n(C)\leq p_n(C_e)< p_n(B). \end{equation} $

4 定理的证明

4.1 定理3.1的证明

定理3.1的证明需要用到引理4.1–4.5.

引理 4.1[9, 11]  设$ K \in {\cal K}^n, L_p, L_q $$ {{\Bbb R}} ^n $中与$ K $相交的两个线性子空间, 且维数满足$ p+q\geq n $, 则$ L_p\cap L_q $$ K $相交的测度为

(1) 当$ p+q\geq n+1 $时,

$ \begin{equation} m = \frac{2\pi(p-1)!(q-1)!O_{p-1}O_{q-1}O_{2n-p-q+1}}{(n-1)!(p+q-n-1)!O_{n-p+1}O_{n-q+1}O_{p+q-n-1}}T^n_pT^n_qM_{p+q-n-1}(\partial K); \end{equation} $

(2) 当$ p+q = n $时,

$ \begin{equation} m = \frac{p!q!O_{n-1}}{(n-1)!}T^n_pT^n_qV(K). \end{equation} $

引理 4.2[9, 11]   设$ K^r $$ r $维平面$ L_r\subset {{\Bbb R}} ^n $中的凸体, 并假定其边界$ \partial K^r $二次可微, 当把$ \partial K^r $视为$ L_r $中的凸曲面时, 以$ M^{(r)}_q(\partial K^r) $表示其平均曲率积分.当把$ K^r $视为$ {{\Bbb R}} ^n(r<n) $中的平坦凸体时, $ \partial K^r $的平均曲率积分则以$ M^{(n)}_q(\partial K^r) $记之, 其中, $ q = 0, 1, \cdots, r-1 $. 二者关系如下:

(1) 当$ q\geq n-r $时,

$ \begin{equation} M^{(n)}_q(\partial K^r) = \frac{(^{\ \, r-1}_{q-n+r})O_q}{(^{n-1}_{\ \; q})O_{q-n+r}}M^{(r)}_{q-n+r}(\partial K^r); \end{equation} $

(2) 当$ q = n-r-1 $时,

$ \begin{equation} M^{(n)}_{n-r-1}(\partial K^r) = \frac{O_{n-r-1}}{(^{\ \, n-1}_{n-r-1})}V_r(K^r), \end{equation} $

其中$ V_r(K^r) $$ K^r $$ r $维体积;

(3) 当$ q<n-r-1 $时,

$ \begin{equation} M^{(n)}_q(\partial K^r) = 0. \end{equation} $

引理 4.3[9, 11]   平均曲率积分$ M^{(r)}_q(\partial (L_r\cap K)) $在集$ \{L_r:L_r\cap K\neq \varnothing\} $上的积分为

$ \begin{equation} \int_{L_r\cap K\neq \varnothing}M^{(r)}_q(\partial (L_r\cap K)){\rm d}L_r = \frac{O_{n-2}O_{n-3}\cdots O_{n-r}O_{n-q}}{O_{r-2}O_{r-3}\cdots O_0O_{r-q}}M_q(\partial K). \end{equation} $

引理 4.4   设$ L_r $$ {{\Bbb R}} ^n $$ r $维平面, $ \sigma_r(L_r\cap K) $表示$ L_r\cap K $$ r $维体积, 则有积分公式

$ \begin{equation} \int_{L_r\cap K\neq \varnothing}\sigma_r(L_r\cap K){\rm d}L_r = \frac{O_{n-1}O_{n-2}\cdots O_{n-r}}{O_{r-1}O_{r-2}\cdots O_0}V(K). \end{equation} $

   设$ p = L_r\cap L_{n-r[O]}, {\rm d}\sigma_{n-r} $$ L_{n-r[O]} $$ p $点的体积元, 则有密度公式

对上式两边积分得

将(2.8)式代入上式, 引理$ 4.4 $得证.

下面证明定理3.1.

   $ L_p\cap L_q\cap L_s $$ K $相交的测度为

$ \begin{equation} m_1 = \int_{(L_p\cap L_q \cap L_s\cap K \neq\varnothing)}{\rm d}L_p\wedge {\rm d}L_q \wedge {\rm d}L_s = \int_{L_s\cap K\neq\varnothing}\bigg(\int_{(L_p\cap L_q \cap (L_s\cap K) \neq\varnothing}{\rm d}L_p\wedge {\rm d}L_q\bigg){\rm d}L_s. \end{equation} $

下面分两种情况计算内层积分.

(1) 当$ p+q\geq n+1 $时, 由引理$ 4.1 $

$ \begin{eqnarray} & & \int_{(L_p\cap L_q \cap (L_s\cap K) \neq\varnothing}{\rm d}L_p\wedge {\rm d}L_q \\ & = & \frac{2\pi(p-1)!(q-1)!O_{p-1}O_{q-1}O_{2n-p-q+1}}{(n-1)!(p+q-n-1)!O_{n-p+1}O_{n-q+1}O_{p+q-n-1}}T^n_pT^n_qM_{p+q-n-1}(\partial (L_s\cap K)). \end{eqnarray} $

下面分三种情况计算积分$ \int_{L_s\cap K\neq\varnothing}M^{(s)}_{p+q+s-2n-1}(\partial K^s){\rm d}L_s $.

1) 当$ p+q+s\geq 2n+1 $时, 即$ p+q-n-1\geq n-s $, 由$ (\label(4.3) $式得

$ \begin{eqnarray} M_{p+q-n-1}(\partial (L_s\cap K))& = & M^{(n)}_{p+q-n-1}(\partial K^s)\\ & = & \frac{\left(^{{\qquad} s-1}_{p+q+s-2n-1}\right)O_{p+q-n-1}}{\left(^{{\quad} n-1}_{p+q-n-1}\right) O_{p+q+s-2n-1}}M^{(s)}_{p+q+s-2n-1}(\partial K^s). \end{eqnarray} $

由引理$ 4.3 $

$\begin{eqnarray} \label{eq:4.11} & &\int_{L_s\cap K\neq\varnothing}M^{(s)}_{p+q+s-2n-1}(\partial K^s){\rm d}L_s\\ & = & \frac{O_{n-2}O_{n-3}\cdots O_{n-s}O_{3n-p-q-s+1}}{O_{s-2}O_{s-3}\cdots O_0O_{2n+1-p-q}}M_{p+q+s-2n-1}(\partial K)\\ & = & \frac{2\pi O_{s-1}O_{3n-p-q-s+1}}{O_{n-s+1}O_{2n+1-p-q}}T^n_sM_{p+q+s-2n-1}(\partial K). \end{eqnarray}$

将(4.9)–(4.11)式代入(4.8)式, (3.1)式得证.

2) 当$ p+q+s = 2n $时, 即$ p+q-n-1 = n-s-1 $, 由(4.4)式得

$ \begin{equation} M_{p+q-n-1}(\partial (L_s\cap K)) = M^{(n)}_{p+q-n-1}(\partial K^s) = \frac{O_{n-s-1}} {\left(^{\ n-1}_{n-s-1}\right)}V_s(K^s) = \frac{O_{n-s-1}}{\left(^{\ n-1}_{n-s-1}\right)}\sigma_s(L_s\cap K). \end{equation} $

由引理$ 4.4 $

$ \begin{equation} \int_{L_s\cap K\neq\varnothing}\sigma_s(L_s\cap K){\rm d}L_s = \frac{O_{n-1}O_{n-2}\cdots O_{n-s}}{O_{s-1}O_{s-2}\cdots O_0}V(K) = \frac{2\pi O_{n-1}}{O_{n-s+1}}T^n_sV(K). \end{equation} $

将(4.9)、(4.12)和(4.13)式代入(4.8)式, (3.3)式得证.

3) 当$ p+q+s<2n $时, 即$ p+q-n-1<n-s-1 $, 由(4.5)式得

$ \begin{equation} M_{p+q-n-1}(\partial (L_s\cap K)) = 0; \end{equation} $

将(4.9)和(4.14)式代入(4.8)式, (3.2)式得证.

(2) 当$ p+q = n $时, 由引理$ 4.1 $

$ \begin{equation} \int_{L_p\cap L_q \cap (L_s\cap K) \neq\varnothing}{\rm d}L_p\wedge {\rm d}L_q = \frac{p!q!O_{n-1}}{(n-1)!}T^n_pT^n_qV(L_s\cap K), \end{equation} $

其中$ V(L_s\cap K) $表示$ L_s\cap K $$ s $维体积, 这与$ \sigma_s(L_s\cap K) $表示的意义相同, 因此有

$ \begin{equation} V(L_s\cap K) = \sigma_s(L_s\cap K). \end{equation} $

将(4.13)、(4.15)和(4.16)式代入(4.8)式, (3.4)式得证.

定理3.1得证.

4.2 定理3.2的证明

定理3.2的证明需要用到引理4.5.

引理 4.5[9, 11]   设$ K\in {\cal K}^n $, $ L_r $$ {{\Bbb R}} ^n $$ r $维平面, 则$ L_r $$ K $相交的测度为

$ \begin{equation} m_r\{L_r:L_r\cap K\neq \varnothing\} = \int_{L_r\cap K\neq \varnothing}{\rm d}L_r = \frac{O_{n-2}O_{n-3}\cdots O_{n-r-1}}{(n-r)O_{r-1}O_{r-2}\cdots O_0}M_{r-1}(\partial K). \end{equation} $

下面证明定理3.2.

   由引理4.5得

证毕.

4.3 定理3.5的证明

   $ p_n(C_e) $显然收敛于$ \frac{\pi}{6} $, 因此定理3.5只需证明以下三个结论:

(1) $ p_n(C_e) $关于维数$ n $严格单调递增;

(2) $ p_n(B) $关于维数$ n $严格单调递增;

(3) $ \lim \limits_{n\rightarrow \infty}p_n(B) = \frac{\pi}{6} $.

(1) 证明$ p_n(C_e) $严格单调递增.

$ n = 3 $时, $ p_{4}(C_e) = \frac{\pi}{16}>\frac{\pi}{27} = p_3(C_e) $;

$ n\geq4 $时, 因为

所以$ p_{n+1}(C_e)>p_n(C_e) $.

综上, 对任意$ n\geq3 $, 都有$ p_n(C_e) $关于维数$ n $严格单调递增.

(2) 证明$ p_n(B) $严格单调递增.

$ n = 3 $时, $ p_3(B) = \frac{\pi^2}{48}<\frac{8}{27} = p_4(B); $

$ n\geq4 $时, 因为

所以

由不等式[19-20]

整理得

两边取对数得

所以

这样就证明了序列$ f_n $是关于维数$ n $严格单调递增的. 又因为$ p_n(B) = \frac{\pi}{3}e^{f_{n-1}} $, 所以当$ n\geq4 $时, $ p_n(B) $关于维数$ n $严格单调递增.

综上, 对于任意的$ n\geq3 $, 都有$ p_n(B) $关于维数$ n $严格单调递增.

(3) 证明$ \lim \limits_{n\rightarrow \infty}p_n(B) = \frac{\pi}{6} $.

这里需要用到著名的Wallis's公式[19]

(1) 当$ n = 2m $时, 由Wallis's公式可得偶子列的极限为

(2) 当$ n = 2m+1 $时, 由Wallis's公式可得奇子列的极限为

综上可知, $ \lim \limits_{n\rightarrow \infty}p_n(B) = \frac{\pi}{6} $. 定理3.5得证.

4.4 定理3.6的证明

定理3.6描述的是三种特殊凸体: 长方体、正方体、球体所对应的几何概率的大小关系, 本节将分两步进行证明.首先根据均值不等式, 讨论长方体与正方体的情形, 然后根据文献[19] 中的两个不等式讨论正方体与球体的情形.

   (1) 首先证明$ p_n(C)\leq p_n(C_e) $.

(i) 当$ n = 3 $时, 由$ a_1, a_2, a_3>0 $可得

所以

(ii) 当$ n\geq4 $时, 令$ A = \sum\limits_{i = 1}^na^3_i, B = \sum\limits_{i\neq j}^na_ia^2_j, C = \sum\limits_{1\leq i<j\leq n}^na_ia_ja_k $, 由$ a_i, a_j, a_k>0 $

将以上三个不等式相加并两边作和, 得

$ (n-2)B\geq6C, $所以

$ \begin{equation} B\geq\frac{6C}{n-2} \; \; {\rm{(当且仅当}}| a_1 = a_2 = \cdots = a_n {\rm{时等号成立)}}. \end{equation} $

又因为

所以

将以上不等式两边作和可得

$ \begin{equation} \frac{(n-1)(n-2)}{2}A+3(n-2)B\geq21C. \end{equation} $

由(4.18)–(4.19)式得

所以

所以

上式子中当且仅当$ a_1 = a_2 = \cdots = a_n $时等号成立.

综上, 对于任意的$ n\geq3 $都有$ p_n(C)\leq p_n(C_e) $.

(2) 证明$p_n(C_e)< p_n(B)$. 这里需要用到以下两个不等式[19]

$ \begin{equation} \frac{(2m)!!^2}{(2m-1)!!^2}>\frac{\pi (4m+1)}{4}, m = 1, 2, \cdots, \end{equation} $

$ \begin{equation} \frac{(2m-1)!!^2}{(2m)!!^2}>\frac{4m+3}{\pi(2m+1)^2}, m = 1, 2, \cdots. \end{equation} $

1) 当$ n = 3 $时, $ p_3(C_e) = \frac{\pi}{27}<\frac{\pi^2}{48} = p_3(B) $;

2) 当$ n\geq4 $时, 令

(i) 当$ n = 2m $时, 由(4.20)式得

(ii) 当$ n = 2m+1 $时, 由(4.21)式得

所以, 对于任意的$ n\geq4 $都有$ h_n>1 $, 即$ p_n(C)<p_n(C_e) $.

综上可知, 对于任意的$ n\geq3 $都有$ p_n(C)< p_n(C_e) $,

因此, 对于任意的$ n\geq3 $都有$ p_n(C)\leq p_n(C)< p_n(C_e) $.定理3.6得证.

5 结语

本文虽然仅讨论由三个线性子空间组成的线性子空间束与凸体相交的几何概率问题, 但却给出了一种求解此类问题的方法.比如, 可以进一步讨论由$ h $个线性子空间组成的线性子空间束与凸体相交的几何概率问题.另外, 本文仅讨论了超平面束与特殊凸体相交时所得的几何概率的单调性、收敛性以及大小关系, 任意维的线性子空间束与一些特殊凸体相交的几何概率的性质并未讨论.这些问题有待于进一步研究.

参考文献

Xie F F , Li D Y .

On generalized Buffon needle problem for lattices

Acta Mathematica Scientia, 2011, 31B (1): 303- 308

URL     [本文引用: 1]

谢凤繁, 胡适耕.

E3中有界网格的Buffon问题

数学物理学报, 2011, 31A (2): 410- 414

URL    

Xie F F , Hu S G .

On Buffon problem for bounded lattices in E3

Acta Math Sci, 2011, 31A (2): 410- 414

URL    

李德宜, 蒋慧峰, 熊革.

凸体形状匹配的参考点

数学杂志, 2005, 25 (3): 336- 340

DOI:10.3969/j.issn.0255-7797.2005.03.020     

Li D Y , Jiang H F , Xiong G .

The reference point of matching ahapes

J of Math, 2005, 25 (3): 336- 340

DOI:10.3969/j.issn.0255-7797.2005.03.020     

李寿贵, 韩汇芳, 杨佩佩.

平行四边形内点与边界点的平均距离

武汉科技大学学报, 2011, 34 (5): 376- 380

DOI:10.3969/j.issn.1674-3644.2011.05.014     

Li S G , Han H F , YANG P P .

The average distance from the interior points to the boundary points of a parallelogram

Journal of Wuhan University of Science and Technology, 2011, 34 (5): 376- 380

DOI:10.3969/j.issn.1674-3644.2011.05.014     

李德宜, 杨佩佩, 李亭.

矩形的弦长分布

武汉科技大学学报, 2011, 34 (5): 381- 383

DOI:10.3969/j.issn.1674-3644.2011.05.015     

Li D Y , Yang P P , Li T .

Chord length distribution of rectangles

Journal of Wuhan University of Science and Technology, 2011, 34 (5): 381- 383

DOI:10.3969/j.issn.1674-3644.2011.05.015     

黄朝霞.

蒲丰投针问题研究

集美大学学报(自然科学版), 2005, 10 (4): 381- 384

DOI:10.3969/j.issn.1007-7405.2005.04.021     

Huang Z X .

Study on Buffon throwing problem

Journal of Jimei University (Natural Science), 2005, 10 (4): 381- 384

DOI:10.3969/j.issn.1007-7405.2005.04.021     

王媛媛, 李德宜, 李雪婵, .

正三棱柱的Buffon投针问题

数学杂志, 2013, 33 (5): 887- 890

URL    

Wang Y Y , Li D Y , Li X C , et al.

Buffon needle problem in regula tri-prism

J of Math, 2013, 33 (5): 887- 890

URL    

邹明田, 李寿贵, 陈莉莉.

一类特殊网格的几何概率

数学杂志, 2014, 34 (2): 374- 378

URL    

Zou M T , Li S G , Chen L L .

A special class of the geometric probability

J of Math, 2014, 34 (2): 374- 378

URL    

Ren D L . Topics in Integral Geometry. Singapore: World Scientific, 1994

[本文引用: 8]

Zhang G Y .

Dual kinematic formulas

Transactions of the American Mathematical Society, 1999, 351 (3): 985- 995

DOI:10.1090/S0002-9947-99-02053-X      [本文引用: 1]

Santalo L A . Integral Geometry and Geometric Probability. London: Addidion-Wesley, 1976

[本文引用: 9]

Merca M .

New convolutions for complete and elementary symmetric functions

Integral Transforms and Special Functions, 2016, 27 (12): 965- 973

DOI:10.1080/10652469.2016.1233405      [本文引用: 1]

Macdonald I G . Symmetric Functions and Hall Polynomials. 2nd ed Oxford: Clarendon Press, 1995

[本文引用: 1]

曾春娜, 姜德烁.

关于凸集平均曲率积分的注记

重庆师范大学学报(自然科学版), 2013, 30 (5): 62- 65

URL     [本文引用: 2]

Zeng C N , Jiang D S .

Some notes on mean curvature integral of convex sets

Journal of Chongqing Normal University (Natural Science), 2013, 30 (5): 62- 65

URL     [本文引用: 2]

曾春娜, 柏仕坤.

关于凸集的平均曲率积分的不等式(Ⅱ)

重庆师范大学学报(自然科学版), 2017, 34 (6): 57- 60

URL    

Zeng C N , Bo S K .

Some inequalities on mean curvature integral of convex sets (Ⅱ)

Journal of Chongqing Normal University (Natural Science), 2017, 34 (6): 57- 60

URL    

Zeng C N , Ma L , Xia Y W .

On mean curvature integrals of the outer parallel body of the projection of a convex body

Journal of Inequalities and Applications, 2014, Article number, 415

[本文引用: 1]

周家足.

$\mathbb{S}.4$中的Willmore泛函与包含问题

中国科学, 2007, 37 (2): 249- 256

URL    

Zhou J Z .

Willmore functional and inclusion problems in $\mathbb{S}.4$

Science in China, 2007, 37 (2): 249- 256

URL    

Zhang G Y, Zhou J Z. Containment Measures in Integral Geometry//Grinberg E, Li S G, Zhang G Y, Zhou J Z. Integral Geometry and Convexity. Singapore: World Scientific, 2005: 153-168

[本文引用: 1]

John G .

On Wallis formula

The American Mathematical Monthly, 1956, 63 (9): 643- 645

URL     [本文引用: 4]

Guo B N , Q F .

On the increasing monotonicity of sequence originating from computation of the probability of intersecting between a plane couple and a convex body

Turkish Journal of Analysis and Number Theory, 2015, 3 (1): 21- 23

URL     [本文引用: 1]

/