跳到主要内容

東京工業大学 理学院 地球惑星科学系 2021年8月実施 午前 [3]

Author​

Miyake, 祭音Myyura

Description​

題意の要約​

公式問題PDF、7–8ページ

3-1​

実 n×nn\times n 行列 AA(n≥3n\ge3)が相異なる固有値 λ1,…,λn\lambda_1,\ldots,\lambda_n と対応する非零固有ベクトル x1,…,xnx_1,\ldots,x_n を持つ。

  • 3-1-1:x1,…,xn−1x_1,\ldots,x_{n-1} は一次独立で、xn=∑i=1n−1aixix_n=\sum_{i=1}^{n-1}a_ix_i(少なくとも1つの実係数 aia_i は非零)と仮定する。AxnAx_n を ai,xi,λia_i,x_i,\lambda_i で表す。
  • 3-1-2:その仮定から矛盾を導き、相異なる固有値の固有ベクトルが一次独立であることを示す。

3-2​

−1<p<0-1<p<0 に対する I=∫0∞xp/(1+x) dxI=\int_0^\infty x^p/(1+x)\,dx を考える。zp=rpeipθz^p=r^pe^{ip\theta}(0<θ<2π0<\theta<2\pi)の枝を用いる。

  • 3-2-1:0<ε<1<R0<\varepsilon<1<R とし、正実軸の上岸 C1:r=ε→RC_1:r=\varepsilon\to R、外円 C2:r=R,θ=0→2πC_2:r=R,\theta=0\to2\pi、下岸 C3:r=R→ε,θ=2πC_3:r=R\to\varepsilon,\theta=2\pi、内円 C4:r=ε,θ=2π→0C_4:r=\varepsilon,\theta=2\pi\to0 を順につなぐ。留数定理から J=∮Czp/(z+1) dzJ=\oint_C z^p/(z+1)\,dz を求める。
  • 3-2-2:II を実数だけで表す。

鍵穴型積分経路

3-3​

独立な NN 枚のコインについて、表の確率を pp、裏を 1−p1-p とし、Xi=1X_i=1(表)または0(裏)と定める。

  • 3-3-1:E(Xi)E(X_i) と、i≠ji\ne j のときの E(XiXj)E(X_iX_j) を求める。
  • 3-3-2:表の総数 nn を XiX_i で表し、E(n),V(n)E(n),V(n) を求める。
  • 3-3-3-1:場合の数から確率質量関数 f(n)f(n) を求める。
  • 3-3-3-2:N,nN,n が十分大きい領域で、log⁡M!≃Mlog⁡M−M\log M!\simeq M\log M-M を用い、f(n)f(n) を最大にする n∗n_* を近似的に求める。
  • 3-3-3-3:log⁡f(n)\log f(n) を n∗n_* の周りで2次まで展開し、n−n∗n-n_* が標準偏差 V(n)\sqrt{V(n)} 程度のときの正規近似を示す。

题目描述​

  1. 3-1: 实 n×nn\times n 矩阵 AA(n≥3n\ge3)有互不相同的特征值 λ1,…,λn\lambda_1,\ldots,\lambda_n,及对应非零特征向量 x1,…,xnx_1,\ldots,x_n。

    1. 假设 x1,…,xn−1x_1,\ldots,x_{n-1} 线性无关,且 xn=∑i=1n−1aixix_n=\sum_{i=1}^{n-1}a_ix_i,实系数中至少一个非零。用 ai,xi,λia_i,x_i,\lambda_i 表示 AxnAx_n。
    2. 由假设导出矛盾,证明不同特征值对应的特征向量线性无关。
  2. 3-2: 设 −1<p<0-1<p<0,计算 I=∫0∞xp/(1+x) dxI=\int_0^\infty x^p/(1+x)\,dx。取 zp=rpeipθz^p=r^pe^{ip\theta} 的分支 0<θ<2π0<\theta<2\pi。

    1. 对 0<ε<1<R0<\varepsilon<1<R,沿正实轴上侧由 ε\varepsilon 到 RR,再逆时针绕外圆,沿正实轴下侧由 RR 回到 ε\varepsilon,最后顺时针绕内圆闭合。使用留数定理求 J=∮Czp/(z+1) dzJ=\oint_Cz^p/(z+1)\,dz。
    2. 只用实数表示 II。
  3. 3-3: 设 X1,…,XNX_1,\ldots,X_N 相互独立,且

    P(Xi=1)=p,P(Xi=0)=1−p,P(X_i=1)=p,\qquad P(X_i=0)=1-p,

    并令成功次数

    n=∑i=1NXi.n=\sum_{i=1}^NX_i.
    1. 求 E(Xi)E(X_i);对 i≠ji\neq j,求 E(XiXj)E(X_iX_j)。

    2. 求 E(n)E(n) 与 V(n)V(n)。

    3. 研究 nn 的二项分布:

      1. 写出概率质量函数

        f(n)=P ⁣(∑i=1NXi=n).f(n)=P\!\left(\sum_{i=1}^NX_i=n\right).
      2. 令 g(n)=log⁡f(n)g(n)=\log f(n)。在

        N≫1,n≫1,N−n≫1N\gg1,\qquad n\gg1,\qquad N-n\gg1

        时使用 Stirling 近似,并暂把 nn 视为实数,通过 g′(n)g'(n) 求分布峰值位置 n∗n_*。

      3. 在 n=n∗n=n_* 附近把 g(n)g(n) 作二阶 Taylor 展开,说明当 n−Npn-Np 为 Np(1−p)\sqrt{Np(1-p)} 量级时,二项分布可近似为均值 NpNp、标准差 Np(1−p)\sqrt{Np(1-p)} 的正态分布。

Kai​

3-1​

3-1-1​

線形性から Axn=∑i=1n−1aiλixi\boxed{Ax_n=\sum_{i=1}^{n-1}a_i\lambda_i x_i} である。一方、xnx_n は固有値 λn\lambda_n に属するので、Axn=λn∑i=1n−1aixiAx_n=\lambda_n\sum_{i=1}^{n-1}a_ix_i でもある。

3-1-2​

両式を引くと ∑i=1n−1ai(λi−λn)xi=0\sum_{i=1}^{n-1}a_i(\lambda_i-\lambda_n)x_i=0。仮定した一次独立性と λi≠λn\lambda_i\ne\lambda_n により全ての ai=0a_i=0 となり、仮定に矛盾する。非零ベクトル1本は一次独立なので、この議論を本数について帰納的に適用すれば全ての xix_i の一次独立性が得られる。

3-2​

3-2-1​

正実軸を切断した枝で (−1)p=eiπp(-1)^p=e^{i\pi p} である。経路内の極は z=−1z=-1 のみで、留数は eiπpe^{i\pi p} だから、

J=2πieiπp.\boxed{J=2\pi i e^{i\pi p}}.

3-2-2​

外円の積分は O(Rp)O(R^p)、内円の積分は O(εp+1)O(\varepsilon^{p+1}) なので、それぞれ R→∞, ε→0R\to\infty,\ \varepsilon\to0 で0となる。上下の岸では積分の向きが逆で、zpz^p の値に e2πipe^{2\pi ip} の比があるため、

(1−e2πip)I=2πieiπp.(1-e^{2\pi ip})I=2\pi i e^{i\pi p}.

1−e2πip=−2ieiπpsin⁡πp1-e^{2\pi ip}=-2ie^{i\pi p}\sin\pi p より

I=−πsin⁡πp.\boxed{I=-\frac\pi{\sin\pi p}}.

3-3​

3-3-1​

E(Xi)=1⋅p+0⋅(1−p)=pE(XiXj)=E(Xi)E(Xj)=p2 \begin{align} E(X_i) &= 1 \cdot p + 0 \cdot (1-p) \\ &= p \\ E(X_iX_j) &= E(X_i)E(X_j) \\ &= p^2 \end{align}

3-3-2​

n=∑i=1NXiE(n)=∑i=1NE(Xi)=NpE(n2)=∑i=1NE(Xi2)+∑i,j (i≠j)E(XiXj)=Np+N(N−1)p2V(n)=E(n2)−E(n)2=Np+N(N−1)p2−N2p2=Np(1−p)\begin{align} n &= \sum_{i=1}^N X_i \\ E(n) &= \sum_{i=1}^N E(X_i) \\ &= Np \\ E \left( n^2 \right) &= \sum_{i=1}^N E \left( X_i^2 \right) + \sum_{i,j \ (i \neq j)} E \left( X_i X_j \right) \\ &= Np + N(N-1)p^2 \\ V(n) &= E \left( n^2 \right) - E(n)^2 \\ &= Np + N(N-1)p^2 - N^2p^2 \\ &= Np(1-p) \end{align}

3-3-3​

3-3-3-1​
f(n)=NCnpn(1−p)N−n=N!n!(N−n)!pn(1−p)N−n \begin{align} f(n) &= {}_NC_n p^n(1-p)^{N-n} \\ &= \frac{N!}{n!(N-n)!} p^n(1-p)^{N-n} \end{align}
3-3-3-2​

g(n)=log⁡f(n)g(n) = \log f(n) とおくと、

g(n)=log⁡f(n)=log⁡N!−log⁡n!−log⁡(N−n)!+nlog⁡p+(N−n)log⁡(1−p)≃Nlog⁡N−nlog⁡n−(N−n)log⁡(N−n)+nlog⁡p+(N−n)log⁡(1−p)        (N≫1, n≫1, N−n≫1)\begin{align} g(n) &= \log f(n) \\ &= \log N! - \log n! - \log (N-n)! + n \log p + (N-n) \log (1-p) \\ &\simeq N \log N - n \log n - (N-n) \log (N-n) + n \log p + (N-n) \log (1-p) \ \ \ \ \ \ \ \ (N \gg 1, \ n \gg 1, \ N-n \gg 1) \end{align}

である。 nn が実数であるとして導関数を求めると、

g′(n)≃−log⁡n−1+log⁡(N−n)+1+log⁡p−log⁡(1−p)=log⁡(N−n)pn(1−p)\begin{align} g'(n) &\simeq - \log n - 1 + \log (N-n) + 1 + \log p - \log (1-p) \\ &= \log \frac{(N-n)p}{n(1-p)} \end{align}

となるので、以下の増減表を得る:

n0⋯Np⋯Ng′+0−g↗↘f↗↘\begin{array} {|c|ccccccc|} \hline n & 0 & \cdots & Np & \cdots & N \\ \hline g' & & + & 0 & - & \\ \hline g & & \nearrow & & \searrow & \\ \hline f & & \nearrow & & \searrow & \\ \hline \end{array}

よって、Stirling の主要項を用いた連続変数としての近似では n∗≃Npn_*\simeq Np である。厳密な二項分布の最頻値は ⌊(N+1)p⌋\lfloor(N+1)p\rfloor((N+1)p(N+1)p が整数ならその1つ下も最頻値)であり、ここで求めているのはその大標本近似である。

3-3-3-3​

3-3-3-2. の g(n)g(n) の2階導関数は

g′′(n)≃−Nn(N−n)\begin{align} g''(n) &\simeq - \frac{N}{n(N-n)} \end{align}

であり、

g′(n∗)=0g′′(n∗)=−1Np(1−p)\begin{align} g'(n_*) &= 0 \\ g''(n_*) &= - \frac{1}{Np(1-p)} \end{align}

であるから、 g(n)g(n) の n=n∗(=Np)n=n_* (=Np) のまわりでの2次までのテイラー展開は

g(n)=g(n∗)−12Np(1−p)(n−Np)2+⋯\begin{align} g(n) &= g(n_*) - \frac{1}{2Np(1-p)} (n-Np)^2 + \cdots \end{align}

である。 正規化定数にも Stirling 近似を用いると、0<p<10<p<1 かつ Np,N(1−p)≫1Np,N(1-p)\gg1 のもとで、n−Npn-Np が Np(1−p)\sqrt{Np(1-p)} 程度の範囲内において

f(n)∼12πNp(1−p)e−(n−Np)22Np(1−p)\begin{align} f(n) &\sim \frac{1}{\sqrt{2\pi Np(1-p)}} e^{- \frac{(n-Np)^2}{2Np(1-p)}} \end{align}

と書け、これは期待値 NpNp 標準偏差 Np(1−p)\sqrt{Np(1-p)} の正規分布である。