Question
Let be a Gaussian process. Define for . Prove that is also a Gaussian process, and find for .
Step-by-step solution
Step 1. Prove is a Gaussian process. By definition, a stochastic process is Gaussian if every finite-dimensional distribution is multivariate normal. Since is Gaussian, for any times and , the vector is jointly normal. Each is a linear combination of and . The vector is a linear transformation of the jointly normal vector . Since linear transformations preserve multivariate normality, is jointly normal. Hence is a Gaussian process.
Compute the mean: .
Compute the covariance: .
Using and , with : .
Compute the correlation: , . .
Final answer
QED.
Marking scheme
1. Checkpoints (max 7 pts total)
Proving is a Gaussian process (2 pts)
- Identify that is a linear transformation of the multivariate normal vector . [additive, 1 pt]
- Cite "linear transformations of multivariate normal vectors remain multivariate normal" (or equivalent characteristic function argument) to conclude is Gaussian. [additive, 1 pt]
Computing the covariance function (3 pts)
- Set up or and correctly expand into terms involving . [additive, 1 pt]
- Substitute and (correctly handling and since ). [additive, 1 pt]
- Simplify to obtain . [additive, 1 pt]
Computing the correlation coefficient (2 pts)
- Correctly compute (either independently or by setting in the covariance). [additive, 1 pt]
- Give the correct final expression (or the equivalent piecewise form). [additive, 1 pt]
Total (max 7)
2. Zero-credit items
- Merely copying the definition of a Gaussian process without connecting it to the specific linear construction of .
- Merely listing the generic correlation formula without computing expectations.
- Assuming is a general Gaussian process without using standard Brownian motion properties (, ).
3. Deductions
- Imprecise logic: Writing only in the final result without stating or the function: -1 pt.
- Calculation error: Arithmetic mistakes in expectation expansion, variance computation, or algebraic simplification: -1 pt.
- Property misuse: Incorrectly assuming or other violations of the condition: -1 pt.
- Maximum deduction rule: deductions for the same logical chain apply only once; total score cannot go below 0.