跳到主要内容

東京大学 新領域創成科学研究科 メディカル情報生命専攻 2016年8月実施 問題11

Author

zephyr

Description

Let S={V1,V2,V3,}\mathbf{S} = \{V_1, V_2, V_3, \ldots\} be a sequence of mutually independent random variables such that each ViV_i takes the value of 1 with probability pp, and 0 with probability (1p)(1 - p) (0<p<10 < p < 1). We define a sequence XiX_i (i=0,1,2,i = 0, 1, 2, \ldots) as follows:

X0=1, Xi=aXi1+Vi, (i1)X_0 = 1, \ X_i = aX_{i-1} + V_i, \ (i \geq 1)

Here, aa is a positive real number. Answer the following questions.

(1) Find the expected value E(X1)\mathbb{E}(X_1) of X1X_1.

(2) Find the variance Var(X1)=E(X12)(E(X1))2\mathrm{Var}(X_1) = \mathbb{E}(X_1^2) - (\mathbb{E}(X_1))^2 of X1X_1.

(3) Express XiX_i as a function of aa and the elements of S\mathbf{S} (i1i \geq 1).

(4) Find E(Xi)\mathbb{E}(X_i) (i1i \geq 1).

(5) Find x=limiE(Xi)x_\infty = \lim_{i \to \infty} \mathbb{E}(X_i) as a function of aa and pp.


S={V1,V2,V3,}\mathbf{S} = \{V_1, V_2, V_3, \ldots\} 为一组相互独立的随机变量,使得每个 ViV_i 以概率 pp 取值为 1, 以概率 (1p)(1 - p) 取值为 0(0<p<10 < p < 1)。我们定义一个序列 XiX_ii=0,1,2,i = 0, 1, 2, \ldots)如下:

X0=1, Xi=aXi1+Vi, (i1)X_0 = 1, \ X_i = aX_{i-1} + V_i, \ (i \geq 1)

其中,aa 是一个正实数。回答以下问题。

(1) 求 X1X_1 的期望值 E(X1)\mathbb{E}(X_1)

(2) 求 X1X_1 的方差 Var(X1)=E(X12)(E(X1))2\mathrm{Var}(X_1) = \mathbb{E}(X_1^2) - (\mathbb{E}(X_1))^2

(3) 表示 XiX_i 作为 aaS\mathbf{S} 元素的函数(i1i \geq 1)。

(4) 求 E(Xi)\mathbb{E}(X_i)i1i \geq 1)。

(5) 求 x=limiE(Xi)x_\infty = \lim_{i \to \infty} \mathbb{E}(X_i),作为 aapp 的函数。

Kai

(1)

Given:

X0=1, X1=aX0+V1X_0 = 1, \ X_1 = aX_0 + V_1

Thus,

X1=a1+V1=a+V1X_1 = a \cdot 1 + V_1 = a + V_1

To find E(X1)\mathbb{E}(X_1):

E(X1)=E(a+V1)=a+E(V1)\mathbb{E}(X_1) = \mathbb{E}(a + V_1) = a + \mathbb{E}(V_1)

Since V1V_1 takes the value 1 with probability pp and 0 with probability 1p1-p, we have:

E(V1)=1p+0(1p)=p\mathbb{E}(V_1) = 1 \cdot p + 0 \cdot (1 - p) = p

Therefore,

E(X1)=a+p\mathbb{E}(X_1) = a + p

(2)

To find Var(X1)\mathrm{Var}(X_1), we first compute E(X12)\mathbb{E}(X_1^2):

X1=a+V1X_1 = a + V_1
X12=(a+V1)2=a2+2aV1+V12X_1^2 = (a + V_1)^2 = a^2 + 2aV_1 + V_1^2

Thus,

E(X12)=E(a2+2aV1+V12)\mathbb{E}(X_1^2) = \mathbb{E}(a^2 + 2aV_1 + V_1^2)
E(X12)=a2+2aE(V1)+E(V12)\mathbb{E}(X_1^2) = a^2 + 2a\mathbb{E}(V_1) + \mathbb{E}(V_1^2)

Since V1V_1 is a Bernoulli random variable:

E(V12)=E(V1)=p\mathbb{E}(V_1^2) = \mathbb{E}(V_1) = p
E(X12)=a2+2ap+p\mathbb{E}(X_1^2) = a^2 + 2ap + p

The variance of X1X_1 is:

Var(X1)=E(X12)(E(X1))2\mathrm{Var}(X_1) = \mathbb{E}(X_1^2) - (\mathbb{E}(X_1))^2
Var(X1)=(a2+2ap+p)(a+p)2\mathrm{Var}(X_1) = (a^2 + 2ap + p) - (a + p)^2
Var(X1)=a2+2ap+p(a2+2ap+p2)\mathrm{Var}(X_1) = a^2 + 2ap + p - (a^2 + 2ap + p^2)
Var(X1)=pp2=p(1p)\mathrm{Var}(X_1) = p - p^2 = p(1 - p)

(3)

To find the general form of XiX_i, we solve the recurrence relation:

Xi=aXi1+ViX_i = aX_{i-1} + V_i

Starting from X0=1X_0 = 1, we have:

X1=aX0+V1=a+V1X_1 = aX_0 + V_1 = a + V_1
X2=aX1+V2=a(a+V1)+V2=a2+aV1+V2X_2 = aX_1 + V_2 = a(a + V_1) + V_2 = a^2 + aV_1 + V_2
X3=aX2+V3=a(a2+aV1+V2)+V3=a3+a2V1+aV2+V3X_3 = aX_2 + V_3 = a(a^2 + aV_1 + V_2) + V_3 = a^3 + a^2V_1 + aV_2 + V_3

It can be observed that:

Xi=ai+ai1V1+ai2V2++aVi1+ViX_i = a^i + a^{i-1}V_1 + a^{i-2}V_2 + \dots + aV_{i-1} + V_i
Xi=j=0iaijVj+aiX_i = \sum_{j=0}^{i} a^{i-j}V_j + a^i

(4)

Using linearity of expectation:

E(Xi)=E(j=0iaijVj+ai)\mathbb{E}(X_i) = \mathbb{E}\left(\sum_{j=0}^{i} a^{i-j}V_j + a^i\right)
E(Xi)=j=0iaijE(Vj)+ai\mathbb{E}(X_i) = \sum_{j=0}^{i} a^{i-j}\mathbb{E}(V_j) + a^i

Since E(Vj)=p\mathbb{E}(V_j) = p for all jj:

E(Xi)=j=0iaijp+ai\mathbb{E}(X_i) = \sum_{j=0}^{i} a^{i-j}p + a^i
E(Xi)=pj=0iaij+ai\mathbb{E}(X_i) = p\sum_{j=0}^{i} a^{i-j} + a^i

The sum is a geometric series:

j=0iaij=ai+11a1\sum_{j=0}^{i} a^{i-j} = \frac{a^{i+1} - 1}{a - 1}
E(Xi)=p(ai+11a1)+ai\mathbb{E}(X_i) = p\left(\frac{a^{i+1} - 1}{a - 1}\right) + a^i

(5)

Let's consider the limit by first simplifying the expression for E(Xi)\mathbb{E}(X_i).

Given:

E(Xi)=p(ai+11a1)+ai\mathbb{E}(X_i) = p\left(\frac{a^{i+1} - 1}{a - 1}\right) + a^i

Let's combine the terms by putting them over a common denominator:

E(Xi)=p(ai+11)+ai(a1)a1\mathbb{E}(X_i) = \frac{p(a^{i+1} - 1) + a^i(a - 1)}{a - 1}

Simplifying the numerator:

E(Xi)=pai+1p+ai+1aia1\mathbb{E}(X_i) = \frac{p a^{i+1} - p + a^{i+1} - a^i}{a - 1}
E(Xi)=ai+1(p+1)aipa1\mathbb{E}(X_i) = \frac{a^{i+1}(p + 1) - a^i - p}{a - 1}

Now, let's find the limit for different values of aa.

Case 1: a>1a > 1

When a>1a > 1, as ii \to \infty, ai+1a^{i+1} and aia^i grow exponentially, and the dominant term will be ai+1a^{i+1}. Thus, the limit is:

limiE(Xi)=limiai+1(p+1)aipa1\lim_{i \to \infty} \mathbb{E}(X_i) = \lim_{i \to \infty} \frac{a^{i+1}(p + 1) - a^i - p}{a - 1}

Since ai+1a^{i+1} grows much faster than aia^i and pp, we have:

limiE(Xi)=limiai+1(p+1)a1=\lim_{i \to \infty} \mathbb{E}(X_i) = \frac{\lim_{i \to \infty} a^{i+1}(p + 1)}{a - 1} = \infty

Thus, the limit does not exist in a finite value; it diverges to infinity.

Case 2: a=1a = 1

When a=1a = 1, we have:

E(Xi)=p(i+1)+1\mathbb{E}(X_i) = p(i + 1) + 1

As ii \to \infty, the expected value becomes:

limiE(Xi)=limi(pi+p+1)=\lim_{i \to \infty} \mathbb{E}(X_i) = \lim_{i \to \infty} (pi + p + 1) = \infty

Thus, the limit also does not exist in a finite value; it diverges to infinity.

Case 3: 0<a<10 < a < 1

When 0<a<10 < a < 1, as ii \to \infty, both ai+1a^{i+1} and aia^i approach 0. The terms involving ai+1a^{i+1} and aia^i become negligible, and the limit can be simplified as:

limiE(Xi)=limiai+1(p+1)aipa1=0pa1=pa1\lim_{i \to \infty} \mathbb{E}(X_i) = \lim_{i \to \infty} \frac{a^{i+1}(p + 1) - a^i - p}{a - 1} = \frac{0 - p}{a - 1} = -\frac{p}{a - 1}

This limit exists and is finite.

In summary:

  • For a>1a > 1, limiE(Xi)\lim_{i \to \infty} \mathbb{E}(X_i) does not exist as a finite value (diverges to infinity).
  • For a=1a = 1, limiE(Xi)\lim_{i \to \infty} \mathbb{E}(X_i) does not exist as a finite value (diverges to infinity).
  • For 0<a<10 < a < 1, limiE(Xi)=pa1\lim_{i \to \infty} \mathbb{E}(X_i) = -\frac{p}{a - 1}, which is finite.

Knowledge

随机过程 期望值 几何级数

重点词汇

  • Expected value: 期望值
  • Variance: 方差
  • Geometric series: 几何级数

参考资料

  1. Probability and Statistics for Engineering and the Sciences, Chap. 4