MathIsimple

Probability Theory – Problem 32: Determine the distribution of

Question

Let the random variable XX follow the standard normal distribution N(0, 1)N(0,\ 1), and let II satisfy P(I=1)=12=P(I=1)P(I=1)=\frac{1}{2}=P(I=-1), with XX and II mutually independent. For the random variable Y=IXY=I X: (1) Determine 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 that 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 mutually 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), and therefore 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

Denote the standard normal density by φ(y)=12πey22.\varphi(y)=\dfrac{1}{\sqrt{2\pi}}e^{-\frac{y^{2}}{2}}.

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 every 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 on the distribution of YY

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

1. Verifying independence via the joint distribution

To determine whether II and YY are independent, it suffices to check that for every 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 of 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 the case I=1I=-1

When I=1I=-1, Y=XY=-X, so the event {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\}. Hence 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) has the same distribution as YY, so P(XB)=P(YB)P(-X\in B)=P(Y\in B).

Therefore 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 the 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 mutually independent.

1. Constructing an event that reveals dependence

By definition Y=IXY=IX. Observe that whenever X0X\neq 0, 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 the event {X=Y}\{X=Y\} coincides with {I=1}\{I=1\} (they differ only on the null set {X=0}\{X=0\}).

Therefore P(X=Y)=P(I=1)=12.P(X=Y)=P(I=1)=\frac{1}{2}.

2. Consequence of the independence assumption for P(X=Y)P(X=Y)

If XX and YY were independent, and since YY also has a continuous distribution (from Part (1), YN(0,1)Y\sim \text{N}(0,1)), then for every 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.

Under the independence assumption, 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 the one hand, from the explicit relation Y=IXY=IX we obtained P(X=Y)=12;P(X=Y)=\frac{1}{2}; on the other hand, the independence assumption yields P(X=Y)=0.P(X=Y)=0.

These two results contradict each other, proving that XX and YY are not independent.

Final answer

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

Marking scheme

This rubric is formulated strictly according to the official solution. Total: 7 points.


I. Scoring Criteria (Total 7)

1. Distribution of YY (2 points)

  • Chain A: Density/CDF method
  • Identify 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 and XX have the same distribution). [1 point]
  • Apply the law of total probability (in density or CDF form) to obtain the conclusion YN(0,1)Y \sim N(0,1). [1 point]
  • Chain B: Characteristic function method
  • Write the characteristic function of YY as φY(t)=12φX(t)+12φX(t)\varphi_Y(t) = \frac{1}{2}\varphi_X(t) + \frac{1}{2}\varphi_X(-t). [1 point]
  • Use the symmetry of XX (φX(t)=φX(t)\varphi_X(t)=\varphi_X(-t)) to deduce φY(t)=φX(t)\varphi_Y(t)=\varphi_X(t), thereby establishing YN(0,1)Y \sim N(0,1). [1 point]

Score exactly one chain.

2. Independence of II and YY (2 points)

  • Chain A: Joint probability verification (official approach)
  • Verify the case I=1I=1: 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 the independence of X,IX,I and the identical distributions of X,YX,Y). [1 point]
  • Verify the case I=1I=-1: 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 point]
  • 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 points]

Score exactly one chain.

3. Independence of XX and YY (3 points)

  • Chain A: Event probability contradiction (official approach)
  • Construct the event {X=Y}\{X=Y\} (or the equivalent form {Y=IX}\{Y=IX\}) and compute its true probability P(X=Y)=P(I=1)=1/2P(X=Y)=P(I=1)=1/2. [1 point]
  • State that if X,YX,Y were independent continuous random variables, then P(X=Y)=0P(X=Y)=0 should hold. [1 point]
  • Identify the contradiction and conclude that XX and YY are not independent. [1 point]
  • Chain B: Higher moments / absolute value method
  • Identify the functional relation Y=X|Y|=|X|, or compute E[X2Y2]=E[X4]=3E[X^2 Y^2] = E[X^4] = 3. [1 point]
  • 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 point]
  • Compare the two results and conclude that XX and YY are not independent. [1 point]
  • Chain C: Specific region probability method
  • Choose a specific region (e.g., X>1,Y<1X>1, Y<-1) and compute the true joint probability (e.g., the probability of this region is 0 or some non-product value). [1 point]
  • Compute the probability product under the independence assumption P(X>1)P(Y<1)>0P(X>1)P(Y<-1) > 0. [1 point]
  • Compare the two results and conclude that XX and YY are not independent. [1 point]

Score exactly one chain.

Total (max 7)


II. Zero-Score Items

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

III. Deduction Items

  • Missing logic: 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 written directly, deduct 1 point.
  • Incorrect conclusion: In Part (3), if the final conclusion is "XX and YY are independent," the entire sub-part (3 points) receives zero credit.
  • Probability confusion: In Part (3), if P(X=Y)=1P(X=Y)=1 is claimed (ignoring the case I=1I=-1), causing subsequent reasoning to be based on an incorrect value, deduct 1 point.
Ask AI ✨