疫情期间,自己做了一下2020阿里巴巴全球数学竞赛预选赛第二轮的赛题,并将解题的详细推导过程进行了总结,方便大家学习和交流。话不多说,一起来看一下吧。
设M(k, T)表示当高楼总层数为T,杯子数量为k时检测出临界楼层N的最小次数。我们选择从第t层摔下这个杯子,其中t为1~T之间的任意整数。当杯子从第t层摔下来后无非会出现如下三种情况:
(1)不碎,无裂纹;
(2)不碎,有裂纹;
(3)碎。
下面分别考虑这三种情况。
当从第t层摔下后,杯子不碎且无裂纹时,说明此时杯子的临界楼层在t~T之间,由此得到原问题的一个最优子结构。我们用 F ( t , s t a t e ) F(t, state) F(t,state)表示当杯子从第t层摔下后状态为state时还需要检测的最小次数,则有:
F ( t , 不 碎 且 无 裂 纹 ) = M ( k , T − t ) F(t, 不碎且无裂纹)=M(k, T-t) F(t,不碎且无裂纹)=M(k,T−t)
当从第t层摔下后,杯子不碎但出现裂纹时,说明此时杯子的临界楼层在第t-1或第t-2层。当t>1时,还需要摔一次才能检验出临界楼层N,当t=1时,可以直接得到临界楼层为0,因此可得:
F ( t , 不 碎 但 有 裂 纹 ) = { 0 t=1 1 t>1 F( t, 不碎但有裂纹)= \begin{cases} 0& \text{t=1}\\ 1& \text{t>1} \end{cases} F(t,不碎但有裂纹)={01t=1t>1
当从第t层摔下后,杯子碎掉时,说明此时杯子的临界楼层在0~(t-3)之间。当t≤3时,可以直接得到临界楼层为0;当t>3时,又得到了原问题的一个最优子结构,此时杯子数量少1,由此可得:
F ( t , 碎 ) = { 0 t ≤ 3 M ( k − 1 , t − 3 ) t > 3 F(t, 碎)= \begin{cases} 0 & {t\leq3}\\ M(k-1, t-3) & {t>3} \end{cases} F(t,碎)={0M(k−1,t−3)t≤3t>3
据此可以得到当杯子从第t层摔下时所需要检测的最小次数为:
F ( t ) = max { F ( t , 不 碎 且 无 裂 纹 ) , F ( t , 不 碎 但 有 裂 纹 ) , F ( t , 碎 ) } + 1 F(t)=\max\{F(t, 不碎且无裂纹), F(t, 不碎但有裂纹), F(t, 碎)\}+1 F(t)=max{F(t,不碎且无裂纹),F(t,不碎但有裂纹),F(t,碎)}+1
由于我们要寻找检测最小次数所对应的那个楼层,因此让t在1~T层之间进行遍历,可以得到如下状态转移方程:
M ( k , T ) = min t ∈ [ 1 , T ] { F ( t ) } = min t ∈ [ 1 , T ] { max { F ( t , 不 碎 且 无 裂 纹 ) , F ( t , 不 碎 但 有 裂 纹 ) , F ( t , 碎 ) } + 1 } \begin{aligned} M(k, T) &= \min_{t\in[1, T]}\{F(t)\}\\ &= \min_{t\in[1, T]}\{\max\{F(t, 不碎且无裂纹), F(t, 不碎但有裂纹), F(t, 碎)\}+1\} \end{aligned} M(k,T)=t∈[1,T]min{F(t)}=t∈[1,T]min{max{F(t,不碎且无裂纹),F(t,不碎但有裂纹),F(t,碎)}+1}
考虑当T为1时,只要杯子个数大于0,我们只需要摔一次就可以检测到临界楼层的位置,因此有 M ( 1 , k ) = 1 , k ∈ N + M(1, k)=1, k\in\mathbb N_+ M(1,k)=1,k∈N+;而当只有一个杯子的时候,我们最少也需要摔T次才能检测到临界楼层的位置,因为可能存在第1层就碎或者有裂纹以及在第T层没有裂纹这两种情况,因此有 M ( T , 1 ) = T , T ∈ N + M(T,1)=T, T\in\N_+ M(T,1)=T,T∈N+
因此关于 M ( k , T ) M(k, T) M(k,T)的状态转移方程可以化简为如下形式:
M ( k , T ) = min t ∈ [ 1 , T ] { max { F ( t , 不 碎 且 无 裂 纹 ) , F ( t , 不 碎 但 有 裂 纹 ) , F ( t , 碎 ) } + 1 } = { min t ∈ [ 1 , T ] { max { M ( k , T − t ) , 1 , 0 } + 1 } t ≤ 3 min t ∈ [ 1 , T ] { max { M ( k , T − t ) , 1 , M ( k − 1 , t − 3 ) } + 1 } t > 3 \begin{aligned} M(k, T) &= \min_{t\in[1, T]}\{\max\{F(t, 不碎且无裂纹), F(t, 不碎但有裂纹), F(t, 碎)\}+1\}\\ &= \begin{cases} \min_{t\in[1, T]}\{\max\{M(k, T-t), 1, 0\}+1\} & {t\leq3}\\ \min_{t\in[1, T]}\{\max\{M(k, T-t), 1, M(k-1, t-3)\}+1\} & {t>3} \end{cases} \end{aligned} M(k,T)=t∈[1,T]min{max{F(t,不碎且无裂纹),F(t,不碎但有裂纹),F(t,碎)}+1}={mint∈[1,T]{max{M(k,T−t),1,0}+1}mint∈[1,T]{max{M(k,T−t),1,M(k−1,t−3)}+1}t≤3t>3
据此可以根据状态转移方程写出如下代码:
#include <iostream>
#include <algorithm>
using namespace std;
const int T = 130;
const int N = 5;
const int INF = 1e20;
int main() {
int dp[T][N];
for (int i = 1; i <= T; i++) dp[i][1] = i;
for (int i = 1; i <= N; i++) dp[1][i] = 1;
for (int i = 2; i <= T; i++) {
for (int j = 2; j <= N; j++) {
dp[i][j] = INF;
for (int k = 1; k < i; k++) {
if(k < 4) dp[i][j] = min(dp[i][j], max(1, dp[i - k][j])+1);
else dp[i][j] = min(dp[i][j], max(dp[k - 3][j - 1], dp[i - k][j]) + 1);
}
}
}
cout << dp[120][3] << endl;
system("pause");
return 0;
}
运行代码,解得dp[120][3]=8,因此当高楼总层数为120,质检员有3个杯子时,最少摔8次即可检测到临界楼层,故选A.
此题实际上是动态规划问题中一类经典问题——“双蛋问题”的变形。有关双蛋问题的介绍,李永乐老师在这个视频中有非常详细的介绍,感兴趣的同学可以看一下。只不过需要注意的一点是,李永乐老师视频中关于双蛋问题的状态转移方程写错了,应该是 M ( T , N ) = min k ∈ [ 1 , T ] { max { M ( k − 1 , N − 1 ) , M ( T − k , N ) } + 1 } M(T, N)=\min_{k \in [1, T]}\{\max\{M(k-1, N-1), M(T-k, N)\}+1\} M(T,N)=mink∈[1,T]{max{M(k−1,N−1),M(T−k,N)}+1}.其中的参数含义和李永乐老师视频中的参数含义一致,与本文参数含义不同。
设以 O O O为中心的球的半径为 R R R,由于飞船 A A A和 B B B随机着陆的位置是独立的,因此我们不妨固定飞船 A A A着陆的位置,通过分析 B B B着陆位置的变化情况来求解角度 ∠ A O B \angle AOB ∠AOB的概率密度函数 f f f.不妨设球心坐标 O O O为 ( 0 , 0 , 0 ) (0,0,0) (0,0,0), A A A着陆位置的坐标为 ( R , 0 , 0 ) (R,0,0) (R,0,0), B B B着陆位置的坐标为 ( x B , y B , z B ) (x_B, y_B, z_B) (xB,yB,zB). 我们发现当 B B B沿着轨迹 l : x 0 2 + y 2 + z 2 = R 2 l:x_0^2+y^2+z^2=R^2 l:x02+y2+z2=R2 运动时( x 0 ∈ [ − R , R ] x_0\in[-R, R] x0∈[−R,R]), 有:
∣ A B ∣ = ( x A − R ) 2 + y B 2 + z B 2 = ( x 0 − R ) 2 + R 2 − x 0 2 = 2 R 2 − 2 x 0 R = C o n s t a n t |AB| = \sqrt{(x_A-R)^2+y_B^2+z_B^2} = \sqrt{(x_0-R)^2+R^2-x_0^2} = \sqrt{2R^2-2x_0R} = Constant ∣AB∣=(xA−R)2+yB2+zB2=(x0−R)2+R2−x02=2R2−2x0R=Constant
由于 ∣ O A ∣ |OA| ∣OA∣和 ∣ O B ∣ |OB| ∣OB∣均为 R R R,因此当 B B B沿着轨迹 l l l运动时, Δ O A B \Delta OAB ΔOAB全等,所以此时 ∠ A O B \angle AOB ∠AOB不变。由于轨迹 l l l所在的平面垂直于 x x x轴,因此我们可以将这样一个三维问题简化为二维问题。实际上 l l l即为平面 x = x 0 x=x_0 x=x0与球面 x 2 + y 2 + z 2 = R 2 x^2+y^2+z^2=R^2 x2+y2+z2=R2的交线( x 0 ∈ [ − R , R ] x_0\in[-R, R] x0∈[−R,R]).
在二维平面中,我们设圆心坐标 O O O为 ( 0 , 0 ) (0,0) (0,0), A A A的坐标为 ( 1 , 0 ) (1,0) (1,0), B B B的坐标为 ( x B , y B ) (x_B, y_B) (xB,yB), ∠ A O B = α \angle AOB = \alpha ∠AOB=α. 则有 x B = R cos α x_B=R\cos\alpha xB=Rcosα. 易知 x B ( α ) x_B(\alpha) xB(α)在 α ∈ [ 0 , π ] \alpha\in[0, \pi] α∈[0,π]之间是单调变化的。
为了计算 ∠ A O B \angle AOB ∠AOB的概率密度函数 f f f,首先需要计算 ∠ A O B \angle AOB ∠AOB的分布函数 F F F.
F ( α ) = P { X ≤ α } F(\alpha)=P\{X \leq \alpha \} F(α)=P{X≤α}
下面分 α ∈ [ 0 , π 2 ] \alpha \in [0, \frac {\pi} {2}] α∈[0,2π]和 α ∈ [ π 2 , π ] \alpha \in [\frac {\pi} {2}, \pi] α∈[2π,π]两种情况讨论 F ( α ) F(\alpha) F(α)
当 α ∈ [ 0 , π 2 ] \alpha\in[0, \frac {\pi} {2}] α∈[0,2π]时,设 S s p h e r i c a l c r o w n S_{spherical\,crown} Ssphericalcrown表示球面 x 2 + y 2 + z 2 = R 2 x^2+y^2+z^2=R^2 x2+y2+z2=R2被平面 x = R cos α x=R\cos\alpha x=Rcosα所截球冠部分的面积,易得此球冠的高为 h = R ( 1 − cos α ) h=R(1 - \cos\alpha) h=R(1−cosα). 此时 F ( α ) F(\alpha) F(α)表示 B B B点落在此球冠上的概率,所以
F ( α ) = P { X ≤ α } = S s p h e r i c a l c r o w n S s p h e r e = 2 π R h 4 π R 2 = 2 π R 2 ( 1 − cos α ) 4 π R 2 = 1 − cos α 2 F(\alpha)=P\{X \leq \alpha \} =\frac {S_{spherical\,crown}} {S_{sphere}} =\frac {2\pi Rh} {4\pi R^2} =\frac {2\pi R^2(1-\cos\alpha)} {4\pi R^2} =\frac{1-\cos\alpha}{2} F(α)=P{X≤α}=SsphereSsphericalcrown=4πR22πRh=4πR22πR2(1−cosα)=21−cosα
当 α ∈ [ π 2 , π ] \alpha\in[\frac {\pi} {2}, \pi] α∈[2π,π]时,设 S s p h e r i c a l c r o w n S_{spherical\,crown} Ssphericalcrown表示球面 x 2 + y 2 + z 2 = R 2 x^2+y^2+z^2=R^2 x2+y2+z2=R2被平面 x = R cos α x=R\cos\alpha x=Rcosα所截球冠部分的面积,易得此球冠的高为 h = R ( 1 + cos α ) h=R(1 + \cos\alpha) h=R(1+cosα).此时 F ( α ) F(\alpha) F(α)表示 B B B点落在此球冠外的概率,所以
F ( α ) = P { X ≤ α } = 1 − S s p h e r i c a l c r o w n S s p h e r e = 1 − 2 π R h 4 π R 2 = 1 − 2 π R 2 ( 1 + cos α ) 4 π R 2 = 1 − cos α 2 F(\alpha) =P\{X \leq \alpha \} =1-\frac {S_{spherical\,crown}} {S_{sphere}} =1-\frac {2\pi Rh} {4\pi R^2} =1-\frac {2\pi R^2(1+\cos\alpha)} {4\pi R^2} =\frac{1-\cos\alpha}{2} F(α)=P{X≤α}=1−SsphereSsphericalcrown=1−4πR22πRh=1−4πR22πR2(1+cosα)=21−cosα
对分布函数 F ( α ) F(\alpha) F(α)进行求导,可得 ∠ A O B \angle AOB ∠AOB的概率密度函数 f ( α ) f(\alpha) f(α)如下:
f ( α ) = d d α F ( α ) = d d α 1 − cos α 2 = sin α 2 , α ∈ [ 0 , π ] f(\alpha) =\frac{d}{d\,\alpha} F(\alpha) = \frac{d}{d\,\alpha} \frac{1-\cos\alpha}{2} = \frac{\sin\alpha}{2} ,\ \alpha \in [0, \pi] f(α)=dαdF(α)=dαd21−cosα=2sinα, α∈[0,π]
因此 ∠ A O B \angle AOB ∠AOB的概率密度函数为 sin α 2 , α ∈ [ 0 , π ] \frac{\sin\alpha}{2}, \alpha \in [0, \pi] 2sinα,α∈[0,π]. 故选A.
此题在计算过程中用到了球冠面积公式。下面这张图详细描述了球冠面积公式的推导过程,感兴趣的同学可以看一下,此处不再做额外推导。
由题意
T ( f ) ( x ) = ∫ − ∞ + ∞ e ( x 2 − y 2 ) π cos ( 2 π x y ) f ( y ) d y = ∫ − ∞ + ∞ e ( x 2 − y 2 ) π ( e 2 π i x y + e − 2 π i x y 2 ) f ( y ) d y \begin{aligned} T(f)(x)&=\int_{-\infty}^{+\infty}e^{(x^2-y^2)\pi}\cos(2\pi xy)f(y)dy\\ &=\int_{-\infty}^{+\infty}e^{(x^2-y^2)\pi}(\frac{e^{2\pi ixy}+e^{-2\pi ixy}}{2})f(y)dy \end{aligned} T(f)(x)=∫−∞+∞e(x2−y2)πcos(2πxy)f(y)dy=∫−∞+∞e(x2−y2)π(2e2πixy+e−2πixy)f(y)dy
设 A ( 2 k ) = 1 2 ∫ − ∞ + ∞ y 2 k [ e − π ( y − i x ) 2 + e − π ( y + i x ) 2 ] d y A(2k)=\frac{1}{2}\int_{-\infty}^{+\infty}y^{2k}[e^{-\pi(y-ix)^2}+e^{-\pi(y+ix)^2}]dy A(2k)=21∫−∞+∞y2k[e−π(y−ix)2+e−π(y+ix)2]dy, 则有
A ( 2 k ) = 1 2 ∫ − ∞ + ∞ y 2 k [ e − π ( y − i x ) 2 + e − π ( y + i x ) 2 ] d y = 1 2 ∫ − ∞ + ∞ [ e − π ( y − i x ) 2 + e − π ( y + i x ) 2 ] 1 2 k + 1 d y 2 k + 1 = − 1 2 ∗ 1 2 k + 1 ∫ − ∞ + ∞ y 2 k + 1 [ e − π ( y − i x ) 2 ( − 2 π ) ( y − i x ) + e − π ( y + i x ) 2 ( − 2 π ) ( y + i x ) ] d y = π 2 k + 1 ∫ − ∞ + ∞ y 2 k + 1 [ e − π ( y − i x ) 2 ( y − i x ) + e − π ( y + i x ) 2 ( y + i x ) ] d y = 2 π 2 k + 1 A ( 2 k + 2 ) + 2 π 2 k + 1 ∗ i x ∗ 1 2 ∫ − ∞ + ∞ y 2 k + 1 [ e − π ( y + i x ) 2 − e − π ( y − i x ) 2 ] d y \begin{aligned} A(2k)&=\frac{1}{2}\int_{-\infty}^{+\infty}y^{2k}[e^{-\pi(y-ix)^2}+e^{-\pi(y+ix)^2}]dy\\ &=\frac{1}{2}\int_{-\infty}^{+\infty}[e^{-\pi(y-ix)^2}+e^{-\pi(y+ix)^2}]\frac{1}{2k+1}dy^{2k+1}\\ &=-\frac{1}{2}* \frac{1}{2k+1} \int_{-\infty}^{+\infty}y^{2k+1}[e^{-\pi(y-ix)^2}(-2\pi)(y-ix)+e^{-\pi(y+ix)^2}(-2\pi)(y+ix)]dy\\ &=\frac{\pi}{2k+1}\int_{-\infty}^{+\infty}y^{2k+1}[e^{-\pi(y-ix)^2}(y-ix)+e^{-\pi(y+ix)^2}(y+ix)]dy\\ &=\frac{2\pi}{2k+1}A(2k+2)+\frac{2\pi}{2k+1}*ix*\frac{1}{2}\int_{-\infty}^{+\infty}y^{2k+1}[e^{-\pi(y+ix)^2}-e^{-\pi(y-ix)^2}]dy \end{aligned} A(2k)=21∫−∞+∞y2k[e−π(y−ix)2+e−π(y+ix)2]dy=21∫−∞+∞[e−π(y−ix)2+e−π(y+ix)2]2k+11dy2k+1=−21∗2k+11∫−∞+∞y2k+1[e−π(y−ix)2(−2π)(y−ix)+e−π(y+ix)2(−2π)(y+ix)]dy=2k+1π∫−∞+∞y2k+1[e−π(y−ix)2(y−ix)+e−π(y+ix)2(y+ix)]dy=2k+12πA(2k+2)+2k+12π∗ix∗21∫−∞+∞y2k+1[e−π(y+ix)2−e−π(y−ix)2]dy
设 B ( 2 k + 1 ) = 1 2 ∫ − ∞ + ∞ y 2 k + 1 [ e − π ( y + i x ) 2 − e − π ( y − i x ) 2 ] d y B(2k+1)=\frac{1}{2}\int_{-\infty}^{+\infty}y^{2k+1}[e^{-\pi(y+ix)^2}-e^{-\pi(y-ix)^2}]dy B(2k+1)=21∫−∞+∞y2k+1[e−π(y+ix)2−e−π(y−ix)2]dy, 则 A ( 2 k ) = 2 π 2 k + 1 A ( 2 k + 2 ) + 2 π 2 k + 1 ∗ i x B ( 2 k + 1 ) A(2k)=\frac{2\pi}{2k+1}A(2k+2)+\frac{2\pi}{2k+1}*ixB(2k+1) A(2k)=2k+12πA(2k+2)+2k+12π∗ixB(2k+1), 对 B ( 2 k + 1 ) B(2k+1) B(2k+1)进行化简如下:
B ( 2 k + 1 ) = 1 2 ∫ − ∞ + ∞ y 2 k + 1 [ e − π ( y + i x ) 2 − e − π ( y − i x ) 2 ] d y = − 1 2 k + 2 ∗ 1 2 ∫ − ∞ + ∞ y 2 k + 2 [ e − π ( y + i x ) 2 ( − 2 π ) ( y + i x ) − e − π ( y − i x ) 2 ( − 2 π ) ( y − i x ) ] d y = π 2 k + 2 ∫ − ∞ + ∞ y 2 k + 2 [ e − π ( y + i x ) 2 ( y + i x ) − e − π ( y − i x ) 2 ( y − i x ) ] d y = 2 π 2 k + 2 ∗ i x A ( 2 k + 2 ) + 2 π 2 k + 2 ∗ 1 2 ∫ − ∞ + ∞ y 2 k + 3 [ e − π ( y + i x ) 2 − e − π ( y − i x ) 2 ] d y = 2 π 2 k + 2 ∗ i x A ( 2 k + 2 ) + 2 π 2 k + 2 B ( 2 k + 3 ) \begin{aligned} B(2k+1)&=\frac{1}{2}\int_{-\infty}^{+\infty}y^{2k+1}[e^{-\pi(y+ix)^2}-e^{-\pi(y-ix)^2}]dy\\ &=-\frac{1}{2k+2}*\frac{1}{2}\int_{-\infty}^{+\infty}y^{2k+2}[e^{-\pi(y+ix)^2}(-2\pi)(y+ix)-e^{-\pi(y-ix)^2}(-2\pi)(y-ix)]dy\\ &=\frac{\pi}{2k+2}\int_{-\infty}^{+\infty}y^{2k+2}[e^{-\pi(y+ix)^2}(y+ix)-e^{-\pi(y-ix)^2}(y-ix)]dy\\ &=\frac{2\pi}{2k+2}*ixA(2k+2)+\frac{2\pi}{2k+2}*\frac{1}{2}\int_{-\infty}^{+\infty}y^{2k+3}[e^{-\pi(y+ix)^2}-e^{-\pi(y-ix)^2}]dy\\ &=\frac{2\pi}{2k+2}*ixA(2k+2)+\frac{2\pi}{2k+2}B(2k+3) \end{aligned} B(2k+1)=21∫−∞+∞y2k+1[e−π(y+ix)2−e−π(y−ix)2]dy=−2k+21∗21∫−∞+∞y2k+2[e−π(y+ix)2(−2π)(y+ix)−e−π(y−ix)2(−2π)(y−ix)]dy=2k+2π∫−∞+∞y2k+2[e−π(y+ix)2(y+ix)−e−π(y−ix)2(y−ix)]dy=2k+22π∗ixA(2k+2)+2k+22π∗21∫−∞+∞y2k+3[e−π(y+ix)2−e−π(y−ix)2]dy=2k+22π∗ixA(2k+2)+2k+22πB(2k+3)
由此可得:
A ( 2 k ) = 2 π 2 k + 1 [ A ( 2 k + 2 ) + i x B ( 2 k + 1 ) ] B ( 2 k + 1 ) = 2 π 2 k + 2 [ i x A ( 2 k + 2 ) + B ( 2 k + 3 ) ] B ( 2 k + 3 ) = 2 π 2 k + 4 [ i x A ( 2 k + 4 ) + B ( 2 k + 5 ) ] B ( 2 k + 5 ) = 2 π 2 k + 6 [ i x A ( 2 k + 6 ) + B ( 2 k + 7 ) ] . . . \begin{aligned} A(2k)&=\frac{2\pi}{2k+1}[A(2k+2)+ixB(2k+1)]\\ B(2k+1)&=\frac{2\pi}{2k+2}[ixA(2k+2)+B(2k+3)]\\ B(2k+3)&=\frac{2\pi}{2k+4}[ixA(2k+4)+B(2k+5)]\\ B(2k+5)&=\frac{2\pi}{2k+6}[ixA(2k+6)+B(2k+7)]\\ &... \end{aligned} A(2k)B(2k+1)B(2k+3)B(2k+5)=2k+12π[A(2k+2)+ixB(2k+1)]=2k+22π[ixA(2k+2)+B(2k+3)]=2k+42π[ixA(2k+4)+B(2k+5)]=2k+62π[ixA(2k+6)+B(2k+7)]...
将 A ( 2 k ) A(2k) A(2k)中的 B ( 2 k + 1 ) , B ( 2 k + 3 ) . . . B(2k+1),B(2k+3)... B(2k+1),B(2k+3)...进行替换,可得
A ( 2 k ) = 2 π 2 k + 1 A ( 2 k + 2 ) − 2 π ∗ 2 π x 2 ( 2 k + 1 ) ( 2 k + 2 ) A ( 2 k + 2 ) − 2 π ∗ ( 2 π ) 2 x 2 ( 2 k + 1 ) ( 2 k + 2 ) ( 2 k + 4 ) A ( 2 k + 4 ) − . . . = 2 π 2 k + 1 A ( 2 k + 2 ) − 2 π 2 x 2 ( 2 k + 1 ) ( k + 1 ) A ( 2 k + 2 ) − 2 π 3 x 2 ( 2 k + 1 ) ( k + 1 ) ( k + 2 ) A ( 2 k + 4 ) − . . . \begin{aligned} A(2k)&=\frac{2\pi}{2k+1}A(2k+2)-\frac{2\pi*2\pi x^2}{(2k+1)(2k+2)}A(2k+2)-\frac{2\pi*(2\pi)^2x^2 }{(2k+1)(2k+2)(2k+4)}A(2k+4)-...\\ &=\frac{2\pi}{2k+1}A(2k+2)-\frac{2\pi^2 x^2}{(2k+1)(k+1)}A(2k+2)-\frac{2\pi^3x^2 }{(2k+1)(k+1)(k+2)}A(2k+4)-... \end{aligned} A(2k)=2k+12πA(2k+2)−(2k+1)(2k+2)2π∗2πx2A(2k+2)−(2k+1)(2k+2)(2k+4)2π∗(2π)2x2A(2k+4)−...=2k+12πA(2k+2)−(2k+1)(k+1)2π2x2A(2k+2)−(2k+1)(k+1)(k+2)2π3x2A(2k+4)−...
由上式易得
A ( 2 k + 2 ) = 2 π 2 k + 3 A ( 2 k + 4 ) − 2 π 2 x 2 ( 2 k + 3 ) ( k + 2 ) A ( 2 k + 4 ) − 2 π 3 x 2 ( 2 k + 3 ) ( k + 2 ) ( k + 3 ) A ( 2 k + 6 ) − . . . A(2k+2)=\frac{2\pi}{2k+3}A(2k+4)-\frac{2\pi^2 x^2}{(2k+3)(k+2)}A(2k+4)-\frac{2\pi^3x^2 }{(2k+3)(k+2)(k+3)}A(2k+6)-... A(2k+2)=2k+32πA(2k+4)−(2k+3)(k+2)2π2x2A(2k+4)−(2k+3)(k+2)(k+3)2π3x2A(2k+6)−...
对于如上高阶递推方程,考虑采用差消法对递推方程进行化简,注意到
( k + 1 ) ∗ 2 k + 1 2 k + 3 ∗ 1 π [ A ( 2 k ) − 2 π 2 k + 1 A ( 2 k + 2 ) + 2 π 2 x 2 ( 2 k + 1 ) ( k + 1 ) A ( 2 k + 2 ) ] = A ( 2 k + 2 ) − 2 π 2 k + 3 A ( 2 k + 4 ) (k+1)*\frac{2k+1}{2k+3}*\frac{1}{\pi}[A(2k)-\frac{2\pi}{2k+1}A(2k+2)+\frac{2\pi^2 x^2}{(2k+1)(k+1)}A(2k+2)]=A(2k+2)-\frac{2\pi}{2k+3}A(2k+4) (k+1)∗2k+32k+1∗π1[A(2k)−2k+12πA(2k+2)+(2k+1)(k+1)2π2x2A(2k+2)]=A(2k+2)−2k+32πA(2k+4)
对上式递推方程进行化简,可得
2 π 2 A ( 2 k + 4 ) + [ 2 π 2 x 2 − ( 4 k + 5 ) π ] A ( 2 k + 2 ) + ( k + 1 ) ( 2 k + 1 ) A ( 2 k ) = 0 2\pi^2A(2k+4)+[2\pi^2x^2-(4k+5)\pi]A(2k+2)+(k+1)(2k+1)A(2k)=0 2π2A(2k+4)+[2π2x2−(4k+5)π]A(2k+2)+(k+1)(2k+1)A(2k)=0
继续化简,可得
A ( 2 k ) = − 1 2 π [ 2 π x 2 − ( 4 k − 3 ) ] A ( 2 k − 2 ) − 1 2 π 2 ( k − 1 ) ( 2 k − 3 ) A ( 2 k − 4 ) = − x 2 A ( 2 k − 2 ) + P ( k ) A ( 2 k − 2 ) + Q ( k ) A ( 2 k − 4 ) \begin{aligned} A(2k)&=-\frac{1}{2\pi}[2\pi x^2-(4k-3)]A(2k-2)-\frac{1}{2\pi ^2}(k-1)(2k-3)A(2k-4)\\ &=-x^2A(2k-2)+P(k)A(2k-2)+Q(k)A(2k-4) \end{aligned} A(2k)=−2π1[2πx2−(4k−3)]A(2k−2)−2π21(k−1)(2k−3)A(2k−4)=−x2A(2k−2)+P(k)A(2k−2)+Q(k)A(2k−4)
其中 P ( k ) = 4 k − 3 2 π P(k)=\frac{4k-3}{2\pi} P(k)=2π4k−3, Q ( k ) = − ( k − 1 ) ( 2 k − 3 ) 2 π 2 Q(k)=-\frac{(k-1)(2k-3)}{2\pi^2} Q(k)=−2π2(k−1)(2k−3)
利用数学归纳法证明 T ( f ) ( x ) T(f)(x) T(f)(x)为偶多项式,且与 f f f有相同的次数。下面分 k = 0 k=0 k=0, k = 1 k=1 k=1和 k = n k=n k=n三种情况进行讨论
当 k = 0 k=0 k=0时, f ( y ) = c 0 f(y)=c_0 f(y)=c0, T ( f ) ( x ) = c 0 A ( 0 ) T(f)(x)=c_0A(0) T(f)(x)=c0A(0), 下面对 A ( 0 ) A(0) A(0)进行求解
A ( 0 ) = 1 2 ∫ − ∞ + ∞ [ e − π ( y + i x ) 2 + e − π ( y − i x ) 2 ] d y = 1 2 ∫ − ∞ + ∞ e − π ( y + i x ) 2 d y + 1 2 ∫ − ∞ + ∞ e − π ( y − i x ) 2 d y = 1 2 π ∫ − ∞ + ∞ e − [ π ( y + i x ) ] 2 d [ π ( y + i x ) ] + 1 2 π ∫ − ∞ + ∞ e − [ π ( y − i x ) ] 2 d [ π ( y − i x ) ] = 1 2 + 1 2 = 1 \begin{aligned} A(0)&=\frac{1}{2}\int_{-\infty}^{+\infty}[e^{-\pi(y+ix)^2}+e^{-\pi(y-ix)^2}]dy\\ &=\frac{1}{2}\int_{-\infty}^{+\infty}e^{-\pi(y+ix)^2}dy+\frac{1}{2}\int_{-\infty}^{+\infty}e^{-\pi(y-ix)^2}dy\\ &=\frac{1}{2\sqrt{\pi}}\int_{-\infty}^{+\infty}e^{-[\sqrt{\pi}(y+ix)]^2}d[\sqrt{\pi}(y+ix)]+\frac{1}{2\sqrt{\pi}}\int_{-\infty}^{+\infty}e^{-[\sqrt{\pi}(y-ix)]^2}d[\sqrt{\pi}(y-ix)]\\ &=\frac{1}{2}+\frac{1}{2}=1 \end{aligned} A(0)=21∫−∞+∞[e−π(y+ix)2+e−π(y−ix)2]dy=21∫−∞+∞e−π(y+ix)2dy+21∫−∞+∞e−π(y−ix)2dy=2π1∫−∞+∞e−[π(y+ix)]2d[π(y+ix)]+2π1∫−∞+∞e−[π(y−ix)]2d[π(y−ix)]=21+21=1
即当 k = 0 k=0 k=0时, T ( f ) ( x ) = c 0 T(f)(x)=c_0 T(f)(x)=c0, 此时 T ( f ) ( x ) T(f)(x) T(f)(x)为偶多项式,且次数与 f f f相同
当 k = 1 k=1 k=1时, f ( y ) = c 0 + c 1 y 2 f(y)=c_0+c_1y^2 f(y)=c0+c1y2, T ( f ) ( x ) = c 0 A ( 0 ) + c 1 A ( 2 ) = c 0 + c 1 A ( 2 ) T(f)(x)=c_0A(0)+c_1A(2)=c_0+c_1A(2) T(f)(x)=c0A(0)+c1A(2)=c0+c1A(2), 下面对 A ( 2 ) A(2) A(2)进行求解
A ( 2 ) = 1 2 ∫ − ∞ + ∞ y 2 [ e − π ( y + i x ) 2 + e − π ( y − i x ) 2 ] d y = 1 2 ∫ − ∞ + ∞ ( y + i x − i x ) 2 e − π ( y + i x ) 2 d y + 1 2 ∫ − ∞ + ∞ ( y − i x + i x ) 2 e − π ( y − i x ) 2 d y = 1 2 ∫ − ∞ + ∞ ( y + i x ) 2 e − π ( y + i x ) 2 d y − i x ∫ − ∞ + ∞ ( y + i x ) e − π ( y + i x ) 2 d y − 1 2 x 2 ∫ − ∞ + ∞ e − π ( y + i x ) 2 d y + 1 2 ∫ − ∞ + ∞ ( y − i x ) 2 e − π ( y − i x ) 2 d y + i x ∫ − ∞ + ∞ ( y − i x ) e − π ( y − i x ) 2 d y − 1 2 x 2 ∫ − ∞ + ∞ e − π ( y − i x ) 2 d y = − x 2 + 1 2 π 1 π ∫ − ∞ + ∞ [ π ( y + i x ) ] 2 e − [ π ( y + i x ) ] 2 d [ π ( y + i x ) ] + 1 2 π 1 π ∫ − ∞ + ∞ [ π ( y − i x ) ] 2 e − [ π ( y − i x ) ] 2 d [ π ( y − i x ) ] = − x 2 + 1 2 π \begin{aligned} A(2)&=\frac{1}{2}\int_{-\infty}^{+\infty}y^2[e^{-\pi(y+ix)^2}+e^{-\pi(y-ix)^2}]dy\\ &=\frac{1}{2}\int_{-\infty}^{+\infty}(y+ix-ix)^2e^{-\pi(y+ix)^2}dy+\frac{1}{2}\int_{-\infty}^{+\infty}(y-ix+ix)^2e^{-\pi(y-ix)^2}dy\\ &=\frac{1}{2}\int_{-\infty}^{+\infty}(y+ix)^2e^{-\pi(y+ix)^2}dy-ix\int_{-\infty}^{+\infty}(y+ix)e^{-\pi(y+ix)^2}dy-\frac{1}{2}x^2\int_{-\infty}^{+\infty}e^{-\pi(y+ix)^2}dy\\ &+\frac{1}{2}\int_{-\infty}^{+\infty}(y-ix)^2e^{-\pi(y-ix)^2}dy+ix\int_{-\infty}^{+\infty}(y-ix)e^{-\pi(y-ix)^2}dy-\frac{1}{2}x^2\int_{-\infty}^{+\infty}e^{-\pi(y-ix)^2}dy\\ &=-x^2+\frac{1}{2\sqrt{\pi}}\frac{1}{\pi}\int_{-\infty}^{+\infty}[\sqrt{\pi}(y+ix)]^2e^{-[\sqrt{\pi}(y+ix)]^2}d[\sqrt{\pi}(y+ix)]+\frac{1}{2\sqrt{\pi}}\frac{1}{\pi}\int_{-\infty}^{+\infty}[\sqrt{\pi}(y-ix)]^2e^{-[\sqrt{\pi}(y-ix)]^2}d[\sqrt{\pi}(y-ix)]\\ &=-x^2+\frac{1}{2\pi} \end{aligned} A(2)=21∫−∞+∞y2[e−π(y+ix)2+e−π(y−ix)2]dy=21∫−∞+∞(y+ix−ix)2e−π(y+ix)2dy+21∫−∞+∞(y−ix+ix)2e−π(y−ix)2dy=21∫−∞+∞(y+ix)2e−π(y+ix)2dy−ix∫−∞+∞(y+ix)e−π(y+ix)2dy−21x2∫−∞+∞e−π(y+ix)2dy+21∫−∞+∞(y−ix)2e−π(y−ix)2dy+ix∫−∞+∞(y−ix)e−π(y−ix)2dy−21x2∫−∞+∞e−π(y−ix)2dy=−x2+2π1π1∫−∞+∞[π(y+ix)]2e−[π(y+ix)]2d[π(y+ix)]+2π1π1∫−∞+∞[π(y−ix)]2e−[π(y−ix)]2d[π(y−ix)]=−x2+2π1
此时 T ( f ) ( x ) = c 0 + c 1 A ( 2 ) = c 0 + c 1 ( − x 2 + 1 2 π ) = − c 1 x 2 + 1 2 π c 1 + c 0 T(f)(x)=c_0+c_1A(2)=c_0+c_1(-x^2+\frac{1}{2\pi})=-c_1x^2+\frac{1}{2\pi}c_1+c_0 T(f)(x)=c0+c1A(2)=c0+c1(−x2+2π1)=−c1x2+2π1c1+c0依然为偶多项式,且次数为2与 f f f相同
假设当 k = n − 1 , n − 2 k=n-1,n-2 k=n−1,n−2 时 T ( f ) ( x ) T(f)(x) T(f)(x) 均为偶多项式,且次数与 f f f一致。则当 k = n − 1 k=n-1 k=n−1 时, T ( f ) ( x ) = ∑ k = 0 n − 1 c k A ( 2 k ) = ∑ k = 0 n − 2 c k A ( 2 k ) + c n − 1 A ( 2 n − 2 ) T(f)(x)=\sum_{k=0}^{n-1}c_kA(2k)=\sum_{k=0}^{n-2}c_kA(2k)+c_{n-1}A(2n-2) T(f)(x)=∑k=0n−1ckA(2k)=∑k=0n−2ckA(2k)+cn−1A(2n−2), 由假设可知 ∑ k = 0 n − 2 c k A ( 2 k ) \sum_{k=0}^{n-2}c_kA(2k) ∑k=0n−2ckA(2k) 表示次数为 2 n − 4 2n-4 2n−4的偶多项式,而 ∑ k = 0 n − 1 c k A ( 2 k ) \sum_{k=0}^{n-1}c_kA(2k) ∑k=0n−1ckA(2k) 又表示次数为 2 n − 2 2n-2 2n−2的偶多项式,所以当 k = n − 1 k=n-1 k=n−1 时, T ( f ) ( x ) T(f)(x) T(f)(x) 中的 2 n − 2 2n-2 2n−2 次项只包含在 A ( 2 n − 2 ) A(2n-2) A(2n−2) 中。
由于 A ( 0 ) , A ( 2 ) A(0), A(2) A(0),A(2)均为偶多项式,由递推式 A ( 2 k ) = − x 2 A ( 2 k − 2 ) + P ( k ) A ( 2 k − 2 ) + Q ( k ) A ( 2 k − 4 ) A(2k)=-x^2A(2k-2)+P(k)A(2k-2)+Q(k)A(2k-4) A(2k)=−x2A(2k−2)+P(k)A(2k−2)+Q(k)A(2k−4) 易知 A ( 2 k ) A(2k) A(2k)为次数为 2 k 2k 2k的偶多项式。
下面考虑当 k = n k=n k=n的情况,当 k = n k=n k=n时,有
T ( f ) ( x ) = ∑ k = 0 n c k A ( 2 k ) = ∑ k = 0 n − 1 c k A ( 2 k ) + c n A ( 2 n ) = ∑ k = 0 n − 1 c k A ( 2 k ) + c n [ − x 2 A ( 2 n − 2 ) + P ( k ) A ( 2 n − 2 ) + Q ( k ) A ( 2 n − 4 ) ] = ∑ k = 0 n − 1 c k A ( 2 k ) − c n x 2 A ( 2 n − 2 ) + c n P ( k ) A ( 2 n − 2 ) + c n Q ( k ) A ( 2 n − 4 ) \begin{aligned} T(f)(x)&=\sum_{k=0}^{n}c_kA(2k)\\ &=\sum_{k=0}^{n-1}c_kA(2k)+c_{n}A(2n)\\ &=\sum_{k=0}^{n-1}c_kA(2k)+c_n[-x^2A(2n-2)+P(k)A(2n-2)+Q(k)A(2n-4)]\\ &=\sum_{k=0}^{n-1}c_kA(2k)-c_nx^2A(2n-2)+c_nP(k)A(2n-2)+c_nQ(k)A(2n-4) \end{aligned} T(f)(x)=k=0∑nckA(2k)=k=0∑n−1ckA(2k)+cnA(2n)=k=0∑n−1ckA(2k)+cn[−x2A(2n−2)+P(k)A(2n−2)+Q(k)A(2n−4)]=k=0∑n−1ckA(2k)−cnx2A(2n−2)+cnP(k)A(2n−2)+cnQ(k)A(2n−4)
上式中第一项是次数为 2 n − 2 2n-2 2n−2的偶多项式,第二项是次数为 2 n 2n 2n的偶多项式,第三项是次数为 2 n − 2 2n-2 2n−2的偶多项式,第四项是次数为 2 n − 4 2n-4 2n−4的偶多项式。因此可得当 k = n k=n k=n 时 T ( f ) ( x ) T(f)(x) T(f)(x) 是次数为 2 n 2n 2n的偶多项式,与 f f f一致,故得证。
已知 A ( 2 k ) A(2k) A(2k)为次数为 2 k 2k 2k的偶多项式,不妨设 A ( 2 k ) = ∑ p = 0 k a 2 k , p x 2 p A(2k)=\sum_{p=0}^{k}a_{2k,\,p}x^{2p} A(2k)=∑p=0ka2k,px2p, 此时 ⎩⎪⎨⎪⎧a2k,k=−a2k−2,ka2k,0=P(k)a2k−2,0+Q(k)a2k−4,0a2k,p=P(k)a2k−2,p+Q(k)a2k−4,p−a2k−2,p−10<p<k
T ( f ) ( x ) = ∑ k = 0 n c k A ( 2 k ) = ∑ k = 0 n c k ( ∑ p = 0 k a 2 k , p x 2 p ) = ∑ p = 0 n ( ∑ k = p n c k a 2 k , p ) x 2 p \begin{aligned} T(f)(x)&=\sum_{k=0}^{n}c_kA(2k)\\ &=\sum_{k=0}^{n}c_k(\sum_{p=0}^{k}a_{2k,\,p}x^{2p})\\ &=\sum_{p=0}^{n}(\sum_{k=p}^{n}c_ka_{2k,\,p})x^{2p} \end{aligned} T(f)(x)=k=0∑nckA(2k)=k=0∑nck(p=0∑ka2k,px2p)=p=0∑n(k=p∑ncka2k,p)x2p
当 T ( f ) = f T(f)=f T(f)=f时,有
∑ k = p n c k a 2 k , p = c p \sum_{k=p}^{n}c_ka_{2k,\,p}=c_p k=p∑ncka2k,p=cp
设 c ⃗ = ( c 0 , c 1 , . . . , c n ) T \vec{c}=(c_0, c_1, ..., c_n)^T c=(c0,c1,...,cn)T, A = [ a 0 , 0 a 2 , 0 a 4 , 0 ⋯ a 2 n , 0 0 a 2 , 1 a 4 , 1 ⋯ a 2 n , 1 0 0 a 4 , 2 ⋯ a 2 n , 2 ⋮ ⋮ ⋮ ⋱ ⋮ 0 0 0 ⋯ a 2 n , n ] A= \left[ \begin{matrix} a_{0,\,0} & a_{2,\,0} & a_{4,\,0} & \cdots & a_{2n,\,0} \\ 0 & a_{2,\,1} & a_{4,\,1} & \cdots & a_{2n,\,1} \\ 0 & 0 & a_{4,\,2} & \cdots & a_{2n,\,2} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \cdots & a_{2n,\,n} \\ \end{matrix} \right] A=⎣⎢⎢⎢⎢⎢⎡a0,000⋮0a2,0a2,10⋮0a4,0a4,1a4,2⋮0⋯⋯⋯⋱⋯a2n,0a2n,1a2n,2⋮a2n,n⎦⎥⎥⎥⎥⎥⎤, 则上式化简为:
A c = c Ac=c Ac=c
所以原问题即转换为求解子空间 V n = { c ∣ ( A − I ) c = 0 } V_n=\{c|(A-I)c=0\} Vn={c∣(A−I)c=0}的维数
由 A ( 2 k ) = − x 2 A ( 2 k − 2 ) + P ( k ) A ( 2 k − 2 ) + Q ( k ) A ( 2 k − 4 ) A(2k)=-x^2A(2k-2)+P(k)A(2k-2)+Q(k)A(2k-4) A(2k)=−x2A(2k−2)+P(k)A(2k−2)+Q(k)A(2k−4)可得:
{ a 2 k , k = − a 2 k − 2 , k a 2 k , 0 = P ( k ) a 2 k − 2 , 0 + Q ( k ) a 2 k − 4 , 0 a 2 k , p = P ( k ) a 2 k − 2 , p + Q ( k ) a 2 k − 4 , p − a 2 k − 2 , p − 1 0 < p < k \begin{cases} a_{2k,\,k}=-a_{2k-2,\,k}\\ a_{2k,\,0}=P(k)a_{2k-2,\,0}+Q(k)a_{2k-4,\,0}\\ a_{2k,\,p}=P(k)a_{2k-2,\,p}+Q(k)a_{2k-4,\,p}-a_{2k-2,\,p-1} &0
且 a 0 , 0 = 1 , a 1 , 0 = 1 2 π , a 1 , 1 = − 1 a_{0,\,0}=1,a_{1,\,0}=\frac{1}{2\pi}, a_{1,\,1}=-1 a0,0=1,a1,0=2π1,a1,1=−1, 所以 a 2 k , k = ( − 1 ) k a_{2k,\,k}=(-1)^k a2k,k=(−1)k.
据此对矩阵 A − I A-I A−I 进行初等变换,如下所示:
A − I = [ 0 1 2 π a 4 , 0 a 6 , 0 ⋯ a 2 n , 0 0 − 2 a 4 , 1 a 6 , 1 ⋯ a 2 n , 1 0 0 0 a 6 , 2 ⋯ a 2 n , 2 0 0 0 − 2 ⋯ a 2 n , 3 ⋮ ⋮ ⋮ ⋮ ⋱ ⋮ 0 0 0 0 ⋯ a 2 n , n ] → c 3 = − P ( 2 ) c 2 − Q ( 2 ) c 1 c n + 1 = − P ( n ) c n − Q ( n ) c n − 1 , . . . [ 0 1 2 π 0 0 ⋯ 0 0 − 2 − 1 2 π − a 4 , 0 ⋯ − a 2 n − 2 , 0 0 0 0 − a 4 , 1 ⋯ − a 2 n − 2 , 1 0 0 0 − 2 ⋯ − a 2 n − 2 , 2 ⋮ ⋮ ⋮ ⋮ ⋱ ⋮ 0 0 0 0 ⋯ − a 2 n − 2 , n − 1 ] → [ 0 1 2 π 0 0 ⋯ 0 0 2 1 2 π a 4 , 0 ⋯ a 2 n − 2 , 0 0 0 0 a 4 , 1 ⋯ a 2 n − 2 , 1 0 0 0 2 ⋯ a 2 n − 2 , 2 ⋮ ⋮ ⋮ ⋮ ⋱ ⋮ 0 0 0 0 ⋯ a 2 n − 2 , n − 1 ] → c 4 = − P ( 3 ) c 3 − Q ( 3 ) c 2 c n + 1 = − P ( n ) c n − Q ( n ) c n − 1 , . . . [ 0 1 2 π 0 0 ⋯ 0 0 2 1 2 π 0 ⋯ 0 0 0 0 − 1 2 π ⋯ − a 2 n − 4 , 0 0 0 0 − 2 ⋯ − a 2 n − 4 , 1 ⋮ ⋮ ⋮ ⋮ ⋱ ⋮ 0 0 0 0 ⋯ − a 2 n − 4 , n − 2 ] → [ 0 1 2 π 0 0 ⋯ 0 0 2 1 2 π 0 ⋯ 0 0 0 0 1 2 π ⋯ 0 0 0 0 2 ⋯ a 2 n − 6 , 0 ⋮ ⋮ ⋮ ⋮ ⋱ ⋮ 0 0 0 0 ⋯ − a 2 n − 6 , n − 3 ] → . . . \begin{aligned} A-I&=\left[ \begin{matrix} 0 & \frac{1}{2\pi} & a_{4,\,0} & a_{6,\,0} & \cdots & a_{2n,\,0} \\ 0 & -2 & a_{4,\,1} & a_{6,\,1} & \cdots & a_{2n,\,1} \\ 0 & 0 & 0 & a_{6,\,2} & \cdots & a_{2n,\,2} \\ 0 & 0 & 0 & -2 & \cdots & a_{2n,\,3} \\ \vdots & \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 &0 & \cdots & a_{2n,\,n} \\ \end{matrix} \right] \xrightarrow[c_3=-P(2)c_2-Q(2)c_1]{c_{n+1}=-P(n)c_n-Q(n)c_{n-1}, ...} \left[ \begin{matrix} 0 & \frac{1}{2\pi} & 0 & 0 & \cdots & 0 \\ 0 & -2 & -\frac{1}{2\pi} & -a_{4,\,0} & \cdots & -a_{2n-2,\,0} \\ 0 & 0 & 0 & -a_{4,\,1} & \cdots & -a_{2n-2,\,1} \\ 0 & 0 & 0 & -2 & \cdots & -a_{2n-2,\,2} \\ \vdots & \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 &0 & \cdots & -a_{2n-2,\,n-1} \\ \end{matrix} \right]&\\ &\xrightarrow[]{} \left[ \begin{matrix} 0 & \frac{1}{2\pi} & 0 & 0 & \cdots & 0 \\ 0 & 2 & \frac{1}{2\pi} & a_{4,\,0} & \cdots & a_{2n-2,\,0} \\ 0 & 0 & 0 & a_{4,\,1} & \cdots & a_{2n-2,\,1} \\ 0 & 0 & 0 & 2 & \cdots & a_{2n-2,\,2} \\ \vdots & \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 &0 & \cdots & a_{2n-2,\,n-1} \\ \end{matrix} \right] \xrightarrow[c_4=-P(3)c_3-Q(3)c_2]{c_{n+1}=-P(n)c_n-Q(n)c_{n-1}, ...} \left[ \begin{matrix} 0 & \frac{1}{2\pi} & 0 & 0 & \cdots & 0 \\ 0 & 2 & \frac{1}{2\pi} & 0 & \cdots & 0 \\ 0 & 0 & 0 & -\frac{1}{2\pi} & \cdots & -a_{2n-4,\,0} \\ 0 & 0 & 0 & -2 & \cdots & -a_{2n-4,\,1} \\ \vdots & \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 &0 & \cdots & -a_{2n-4,\,n-2} \\ \end{matrix} \right]\\ &\xrightarrow[]{} \left[ \begin{matrix} 0 & \frac{1}{2\pi} & 0 & 0 & \cdots & 0 \\ 0 & 2 & \frac{1}{2\pi} & 0 & \cdots & 0 \\ 0 & 0 & 0 & \frac{1}{2\pi} & \cdots & 0 \\ 0 & 0 & 0 & 2 & \cdots & a_{2n-6,\,0} \\ \vdots & \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 &0 & \cdots & -a_{2n-6,\,n-3} \\ \end{matrix} \right] \xrightarrow[]{} ... \end{aligned}\\ A−I=⎣⎢⎢⎢⎢⎢⎢⎢⎡0000⋮02π1−200⋮0a4,0a4,100⋮0a6,0a6,1a6,2−2⋮0⋯⋯⋯⋯⋱⋯a2n,0a2n,1a2n,2a2n,3⋮a2n,n⎦⎥⎥⎥⎥⎥⎥⎥⎤cn+1=−P(n)cn−Q(n)cn−1,...c3=−P(2)c2−Q(2)c1⎣⎢⎢⎢⎢⎢⎢⎢⎡0000⋮02π1−200⋮00−2π100⋮00−a4,0−a4,1−2⋮0⋯⋯⋯⋯⋱⋯0−a2n−2,0−a2n−2,1−a2n−2,2⋮−a2n−2,n−1⎦⎥⎥⎥⎥⎥⎥⎥⎤⎣⎢⎢⎢⎢⎢⎢⎢⎡0000⋮02π1200⋮002π100⋮00a4,0a4,12⋮0⋯⋯⋯⋯⋱⋯0a2n−2,0a2n−2,1a2n−2,2⋮a2n−2,n−1⎦⎥⎥⎥⎥⎥⎥⎥⎤cn+1=−P(n)cn−Q(n)cn−1,...c4=−P(3)c3−Q(3)c2⎣⎢⎢⎢⎢⎢⎢⎢⎡0000⋮02π1200⋮002π100⋮000−2π1−2⋮0⋯⋯⋯⋯⋱⋯00−a2n−4,0−a2n−4,1⋮−a2n−4,n−2⎦⎥⎥⎥⎥⎥⎥⎥⎤⎣⎢⎢⎢⎢⎢⎢⎢⎡0000⋮02π1200⋮002π100⋮0002π12⋮0⋯⋯⋯⋯⋱⋯000a2n−6,0⋮−a2n−6,n−3⎦⎥⎥⎥⎥⎥⎥⎥⎤...
由此可得矩阵 A − I A-I A−I 与矩阵 [ 0 1 2 π 0 0 ⋯ 0 2 1 2 π 0 ⋯ 0 0 0 1 2 π ⋯ 0 0 0 2 ⋯ ⋮ ⋮ ⋮ ⋮ ⋱ ] \left[ \begin{matrix} 0 & \frac{1}{2\pi} & 0 & 0 & \cdots \\ 0 & 2 & \frac{1}{2\pi} & 0 & \cdots \\ 0 & 0 & 0 & \frac{1}{2\pi} & \cdots \\ 0 & 0 & 0 & 2 & \cdots \\ \vdots & \vdots & \vdots & \vdots & \ddots \\ \end{matrix} \right] ⎣⎢⎢⎢⎢⎢⎡0000⋮2π1200⋮02π100⋮002π12⋮⋯⋯⋯⋯⋱⎦⎥⎥⎥⎥⎥⎤具有相同的秩,所以
r a n k ( A − I ) = { r a n k ( [ 0 1 2 π 0 0 ⋯ 0 0 2 1 2 π 0 ⋯ 0 0 0 0 1 2 π ⋯ 0 0 0 0 2 ⋯ 0 ⋮ ⋮ ⋮ ⋮ ⋱ ⋮ 0 0 0 0 ⋯ 0 ] ) = n n = 2 k r a n k ( [ 0 1 2 π 0 0 ⋯ 0 0 2 1 2 π 0 ⋯ 0 0 0 0 1 2 π ⋯ 0 0 0 0 2 ⋯ 0 ⋮ ⋮ ⋮ ⋮ ⋱ ⋮ 0 0 0 0 ⋯ 2 ] ) = n n = 2 k + 1 rank(A-I)=\begin{cases} rank(\left[ \begin{matrix} 0 & \frac{1}{2\pi} & 0 & 0 & \cdots & 0 \\ 0 & 2 & \frac{1}{2\pi} & 0 & \cdots & 0 \\ 0 & 0 & 0 & \frac{1}{2\pi} & \cdots & 0 \\ 0 & 0 & 0 & 2 & \cdots & 0 \\ \vdots & \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 &0 & \cdots & 0 \\ \end{matrix} \right])=n &n=2k\\ rank(\left[ \begin{matrix} 0 & \frac{1}{2\pi} & 0 & 0 & \cdots & 0 \\ 0 & 2 & \frac{1}{2\pi} & 0 & \cdots & 0 \\ 0 & 0 & 0 & \frac{1}{2\pi} & \cdots & 0 \\ 0 & 0 & 0 & 2 & \cdots & 0 \\ \vdots & \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 &0 & \cdots & 2 \\ \end{matrix} \right])=n &n=2k+1\\ \end{cases} rank(A−I)=⎩⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎧rank(⎣⎢⎢⎢⎢⎢⎢⎢⎡0000⋮02π1200⋮002π100⋮0002π12⋮0⋯⋯⋯⋯⋱⋯0000⋮0⎦⎥⎥⎥⎥⎥⎥⎥⎤)=nrank(⎣⎢⎢⎢⎢⎢⎢⎢⎡0000⋮02π1200⋮002π100⋮0002π12⋮0⋯⋯⋯⋯⋱⋯0000⋮2⎦⎥⎥⎥⎥⎥⎥⎥⎤)=nn=2kn=2k+1
在子空间 V n = { c ∣ ( A − I ) c = 0 } V_n=\{c|(A-I)c=0\} Vn={c∣(A−I)c=0} 中,由于 r a n k ( A − I ) = n rank(A-I)=n rank(A−I)=n, 所以解得子空间 V n V_n Vn的维数为 ( n + 1 ) − n = 1 (n+1)-n=1 (n+1)−n=1
由题意可知,在第 k k k层去阁楼的乘客其等待时间为 k h v + ( k − 1 ) c \frac{kh}{v}+(k-1)c vkh+(k−1)c, 在第 k k k层去大堂的乘客其等待时间为 ( 2 n − k ) h v + ( 2 n − k − 1 ) c \frac{(2n-k)h}{v}+(2n-k-1)c v(2n−k)h+(2n−k−1)c, 所以总的等待时间 T T T 为
T = h + 2 h + ⋯ + ( n − 1 ) h v + [ 1 + 2 + ⋯ + ( n − 2 ) ] c + ( n + 1 + n + 2 + ⋯ + 2 n − 1 ) h v + [ n + ⋯ + ( 2 n − 2 ) ] c = 2 ( n − 1 ) [ ( h v + c ) n − c ] \begin{aligned} T&=\frac{h+2h+\cdots+(n-1)h}{v}+[1+2+\cdots+(n-2)]c+\frac{(n+1+n+2+\cdots+2n-1)h}{v}+[n+\cdots+(2n-2)]c\\ &=2(n-1)[(\frac{h}{v}+c)n-c] \end{aligned} T=vh+2h+⋯+(n−1)h+[1+2+⋯+(n−2)]c+v(n+1+n+2+⋯+2n−1)h+[n+⋯+(2n−2)]c=2(n−1)[(vh+c)n−c]
所以平均等待时间 S = T 2 ( n − 1 ) = ( h v + c ) n − c S=\frac{T}{2(n-1)}=(\frac{h}{v}+c)n-c S=2(n−1)T=(vh+c)n−c
设 S 1 S_1 S1 表示外卖小哥等待电梯的时间。当 X > 0 X>0 X>0 时,有
S 1 = P ( e l e v a t o r u p ) S 1 , u p + P ( e l e v a t o r d o w n ) S 1 , d o w n = 1 2 ∗ 2 H − X v + 1 2 ∗ X v = H v S_1=P(elevator\ up)S_{1,\,up}+P(elevator\ down)S_{1,\,down}=\frac{1}{2}*\frac{2H-X}{v}+\frac{1}{2}*\frac{X}{v}=\frac{H}{v} S1=P(elevator up)S1,up+P(elevator down)S1,down=21∗v2H−X+21∗vX=vH
根据随机变量函数期望的计算公式,可得
E ( S 1 ) = ∫ 0 H S 1 ∗ 1 H d x = S 1 = H v E(S_1)=\int_0^HS_1*\frac{1}{H}dx=S_1=\frac{H}{v} E(S1)=∫0HS1∗H1dx=S1=vH
由此可得外卖小哥在进入电梯前等待时间的期望为 H v \frac{H}{v} vH.
设 S 2 S_2 S2 表示外卖小哥见到客户前的等待时间,此时无非出现以下四种情况:
(1) X > Y X > Y X>Y, 电梯上行
(2) X ≤ Y X \leq Y X≤Y, 电梯上行
(3) X ≤ Y X \leq Y X≤Y, 电梯下行
(4) X > Y X > Y X>Y, 电梯下行
当 Y = 0 Y=0 Y=0时,外卖小哥等待时间为 0 0 0. 当 Y > 0 Y>0 Y>0时,我们根据上述四种情况分别计算外卖小哥等待客户的时间:
当 X > Y X > Y X>Y, 电梯上行时,有
S 2 , ( 1 ) = 1 2 ∗ H − Y H ∗ 2 H − X v S_{2,\ (1)}=\frac{1}{2}*\frac{H-Y}{H}*\frac{2H-X}{v} S2, (1)=21∗HH−Y∗v2H−X
当 X ≤ Y X \leq Y X≤Y, 电梯上行时,有
S 2 , ( 2 ) = 1 2 ∗ Y H ∗ 2 H − X v S_{2,\ (2)}=\frac{1}{2}*\frac{Y}{H}*\frac{2H-X}{v} S2, (2)=21∗HY∗v2H−X