2
$\begingroup$

Let a stochastic process defines as: $X(t+1)=A X(t)+B U(t)$ with: $X(t) \in R^n$, $U(t) \sim N(0,Q_t)$, $Q_t$ semi-positive-definite of size $n \times n$, $X(0) \sim N(0,W_0)$, $A$ of size $n \times n$, $B$ of size $n \times n$.

Is there any condition on $A$ and $B$ to state the existence and the form of the conditional pdf $p_{X_t|X_{t-1}}(x_t|x_{t-1})$?

Thanks in advance.

  • 0
    Sorry for the typo. This is not homework, just a question from a curious guy.2012-05-03

1 Answers 1

1

Forget the indices $t$, one is interested in the distribution of $Y=AX+BU$ conditionally on $X$, where the distribution of $X$ is irrelevant and $U$ is independent on $X$ and with centered normal distribution with variance-covariance $Q$. Thus the distribution of $BU$ is centered normal with variance-covariance matrix $C=BQB^*$ and the conditional distribution of $Y$ conditionally on $[X=x]$ is normal with mean $Ax$ and variance-covariance matrix $C$.

Edit The conditional distribution of $Y$ conditionally on $[X=x]$ has a density if and only if it is full-dimensional normal, which happens if and only if $C$ has rank $n$, that is, if and only if $Q$ and $B$ both have rank $n$. Otherwise, for every $x$ in $\mathbb R^n$, the conditional distribution of $Y$ conditionally on $[X=x]$ is concentrated on a hyperplane of $\mathbb R^n$, thus it has no density with respect to the Lebesgue measure on $\mathbb R^n$.

  • 0
    Let $m$ be a measure concentrated on a hyperplane $H$ of $\mathbb R^n$, then $m(\mathbb R^n\setminus H)=0$ and Leb$(H)=0$, hence $m$ and Leb are mutually singular, in particular $m$ has no density with respect to Leb.2012-05-04