MathIsimple

Probability Theory – Problem 59: Compute the distribution of ;

Question

The random variable XX follows the standard normal distribution N(0, 1)N(0,\ 1), II satisfies P(I=1)=12=P(I=1)P(I=1)=\frac{1}{2}=P(I=-1), and X,IX,I are independent. For the random variable Y=IXY=I X: (1) Compute the distribution of YY; (2) Discuss the independence of II and YY; (3) Discuss the independence of XX and YY.

Step-by-step solution

1. Representing YY via conditional distributions

Given XN(0,1)X\sim \text{N}(0,1), P(I=1)=12=P(I=1)P(I=1)=\frac{1}{2}=P(I=-1), and X,IX,I are independent. Define Y=IXY=IX.

Conditioning on I=1I=1: YI=1=1×X=X,Y\mid I=1 = 1\times X = X, so YI=1N(0,1).Y\mid I=1 \sim \text{N}(0,1).

Conditioning on I=1I=-1: YI=1=1×X=X.Y\mid I=-1 = -1\times X = -X. Since the standard normal distribution is symmetric about 00, when XN(0,1)X\sim \text{N}(0,1), we have XN(0,1)-X\sim \text{N}(0,1), so YI=1N(0,1).Y\mid I=-1 \sim \text{N}(0,1).

2. Computing the density of YY via the law of total probability

Let φ(y)=12πey22\varphi(y)=\dfrac{1}{\sqrt{2\pi}}e^{-\frac{y^{2}}{2}} denote the standard normal density. Then fYI=1(y)=φ(y),fYI=1(y)=φ(y).f_{Y\mid I=1}(y)=\varphi(y),\quad f_{Y\mid I=-1}(y)=\varphi(y).

By the law of total probability, for each real number yy: fY(y)=i{1,1}P(I=i)fYI=i(y)=12φ(y)+12φ(y)=φ(y).f_{Y}(y) =\sum_{i\in\{1,-1\}}P(I=i)f_{Y\mid I=i}(y) =\frac{1}{2}\varphi(y)+\frac{1}{2}\varphi(y) =\varphi(y).

3. Conclusion for the distribution of YY

Since fY(y)=φ(y)f_{Y}(y)=\varphi(y), which is the standard normal density, YN(0,1).Y\sim \text{N}(0,1).

1. Verifying independence via joint distributions

To determine whether II and YY are independent, we check whether for any Borel set BRB\subset\mathbb{R}, P(I=i, YB)=P(I=i)P(YB),i=±1.P(I=i,\ Y\in B)=P(I=i)P(Y\in B),\quad i=\pm 1.

First compute P(I=1, YB)P(I=1,\ Y\in B). When I=1I=1, Y=XY=X, so {I=1, YB}={I=1, XB}.\{I=1,\ Y\in B\} =\{I=1,\ X\in B\}. Since XX and II are independent, P(I=1, YB)=P(I=1, XB)=P(I=1)P(XB)=12P(XB).P(I=1,\ Y\in B) =P(I=1,\ X\in B) =P(I=1)P(X\in B) =\frac{1}{2}P(X\in B). By the result from Part 1, YN(0,1)Y\sim \text{N}(0,1), which has the same distribution as XX, so P(YB)=P(XB).P(Y\in B)=P(X\in B). Therefore P(I=1, YB)=12P(XB)=12P(YB)=P(I=1)P(YB).P(I=1,\ Y\in B) =\frac{1}{2}P(X\in B) =\frac{1}{2}P(Y\in B) =P(I=1)P(Y\in B).

2. Verification for I=1I=-1

When I=1I=-1, Y=XY=-X, so {I=1, YB}={I=1, XB}={I=1, XB},\{I=-1,\ Y\in B\} =\{I=-1,\ -X\in B\} =\{I=-1,\ X\in -B\}, where B={x:xB}-B=\{-x:x\in B\}. Thus P(I=1, YB)=P(I=1, XB)=P(I=1)P(XB)=12P(XB).P(I=-1,\ Y\in B) =P(I=-1,\ X\in -B) =P(I=-1)P(X\in -B) =\frac{1}{2}P(X\in -B).

Since XX follows the standard normal distribution, P(XB)=P(XB)P(X\in -B)=P(-X\in B). Moreover, XN(0,1)-X\sim \text{N}(0,1), which has the same distribution as YY, so P(XB)=P(YB)P(-X\in B)=P(Y\in B). Hence P(I=1, YB)=12P(YB)=P(I=1)P(YB).P(I=-1,\ Y\in B) =\frac{1}{2}P(Y\in B) =P(I=-1)P(Y\in B).

3. Conclusion on independence of II and YY

For both i=1i=1 and i=1i=-1, P(I=i, YB)=P(I=i)P(YB)P(I=i,\ Y\in B)=P(I=i)P(Y\in B) holds, so II and YY are independent.

1. Constructing an event that reveals dependence

By definition Y=IXY=IX. Note that if X0X\neq 0, then Y=XIX=XI=1.Y=X \Longleftrightarrow IX=X \Longleftrightarrow I=1. Consider the event {X=Y}\{X=Y\}. Since XX has a continuous distribution, P(X=0)=0P(X=0)=0, so in the almost sure sense, {X=Y}\{X=Y\} and {I=1}\{I=1\} are the same event (differing only on the zero-probability set {X=0}\{X=0\}). Therefore P(X=Y)=P(I=1)=12.P(X=Y)=P(I=1)=\frac{1}{2}.

2. What independence would imply for P(X=Y)P(X=Y)

If XX and YY were independent, and YY also has a continuous distribution (as shown in Part 1, YN(0,1)Y\sim \text{N}(0,1)), then for any real number xx, P(Y=x)=0.P(Y=x)=0. Expanding via conditional probability: P(X=Y)=+P(Y=xX=x)fX(x)dx.P(X=Y) =\int_{-\infty}^{+\infty}P(Y=x\mid X=x)f_{X}(x)\,dx. If XX and YY are independent, then P(Y=xX=x)=P(Y=x)=0,P(Y=x\mid X=x)=P(Y=x)=0, so P(X=Y)=+0×fX(x)dx=0.P(X=Y)=\int_{-\infty}^{+\infty}0\times f_{X}(x)\,dx=0.

3. Contradiction and conclusion

On one hand, from the specific relationship Y=IXY=IX, we obtained P(X=Y)=12;P(X=Y)=\frac{1}{2}; on the other hand, under the assumption that XX and YY are independent, we derived P(X=Y)=0.P(X=Y)=0. This is a contradiction, so XX and YY are not independent.

Final answer

1. YN(0,1)Y\sim \text{N}(0,1), having the same distribution as XX. 2. II and YY are independent. 3. XX and YY are not independent.

Marking scheme

This marking scheme is based strictly on the official solution, with a maximum of 7 points.


I. Checkpoints (Total 7)

1. Distribution of YY (2 points)

  • Chain A: Density/distribution function method
  • State the conditional distributions YI=1N(0,1)Y\mid I=1 \sim N(0,1) and YI=1N(0,1)Y\mid I=-1 \sim N(0,1) (or explicitly state that X-X has the same distribution as XX). [1 pt]
  • Use the law of total probability (density or distribution function form) to combine, obtaining the conclusion YN(0,1)Y \sim N(0,1). [1 pt]
  • Chain B: Characteristic function method
  • Write the characteristic function expression φY(t)=12φX(t)+12φX(t)\varphi_Y(t) = \frac{1}{2}\varphi_X(t) + \frac{1}{2}\varphi_X(-t). [1 pt]
  • Use the symmetry of XX (φX(t)=φX(t)\varphi_X(t)=\varphi_X(-t)) to obtain φY(t)=φX(t)\varphi_Y(t)=\varphi_X(t), thereby determining YN(0,1)Y \sim N(0,1). [1 pt]

Score exactly one chain.

2. Independence of II and YY (2 points)

  • Chain A: Joint probability verification (standard approach)
  • Verify the I=1I=1 case: P(I=1,YB)=P(I=1)P(XB)=P(I=1)P(YB)P(I=1, Y\in B) = P(I=1)P(X\in B) = P(I=1)P(Y\in B) (using independence of X,IX,I and identical distributions of X,YX,Y). [1 pt]
  • Verify the I=1I=-1 case: P(I=1,YB)=P(I=1)P(XB)=P(I=1)P(YB)P(I=-1, Y\in B) = P(I=-1)P(-X\in B) = P(I=-1)P(Y\in B) (using symmetry) and state the conclusion. [1 pt]
  • Chain B: Conditional distribution verification
  • Show that for i{1,1}i \in \{1, -1\}, the conditional density/distribution fYI=i(y)f_{Y|I=i}(y) equals the marginal density fY(y)f_Y(y) (i.e., N(0,1)N(0,1)). [2 pts]

Score exactly one chain.

3. Independence of XX and YY (3 points)

  • Chain A: Event probability contradiction (standard approach)
  • Construct the event {X=Y}\{X=Y\} (or equivalent form {Y=IX}\{Y=IX\}) and compute its actual probability P(X=Y)=P(I=1)=1/2P(X=Y)=P(I=1)=1/2. [1 pt]
  • State that if X,YX,Y were independent continuous random variables, then P(X=Y)=0P(X=Y)=0 should hold. [1 pt]
  • Identify the contradiction and conclude "not independent". [1 pt]
  • Chain B: Higher moments / absolute value method
  • Identify the functional relationship Y=X|Y|=|X|, or compute E[X2Y2]=E[X4]=3E[X^2 Y^2] = E[X^4] = 3. [1 pt]
  • State that under independence, P(X<1,Y>2)>0P(|X|<1, |Y|>2)>0 should hold (contradiction), or E[X2Y2]=E[X2]E[Y2]=1E[X^2 Y^2] = E[X^2]E[Y^2] = 1. [1 pt]
  • Compare and conclude "not independent". [1 pt]
  • Chain C: Specific region probability method
  • Choose a specific region (e.g., X>1,Y<1X>1, Y<-1) and compute the actual joint probability (e.g., this region has probability 0 or some non-product value). [1 pt]
  • Compute the probability product under the independence assumption P(X>1)P(Y<1)>0P(X>1)P(Y<-1) > 0. [1 pt]
  • Compare and conclude "not independent". [1 pt]

Score exactly one chain.

Total (max 7)


II. Zero-credit items

  • Merely listing the normal density formula, the law of total probability, or the independence definition without substituting the problem variables for concrete computation.
  • In Part (3), only computing the covariance Cov(X,Y)=0Cov(X,Y)=0 or the correlation coefficient equals 0, then directly asserting XX and YY are independent (even if the computation is correct, no credit is awarded since this is a logical trap).
  • In Part (3), merely guessing "not independent" by intuition without mathematical justification.

III. Deductions

  • Missing logical justification: In Part (1), if the key property "XX is symmetric about 0" or "XN(0,1)-X \sim N(0,1)" is not mentioned and the result is stated directly, deduct 1 point.
  • Incorrect conclusion: In Part (3), if the final conclusion is "XX and YY are independent", that part (3 points) is fully deducted.
  • Probability confusion: In Part (3), if P(X=Y)=1P(X=Y)=1 is claimed (ignoring the I=1I=-1 case), leading to subsequent reasoning based on an incorrect value, deduct 1 point.
Ask AI ✨