The following is a specific question that is useful for demonstrating a general idea.
Consider the following autoregressive model: $$ X_{t+1} = \alpha_0 + \beta_0 (X_t - \alpha_0) + W_{t+1}, $$ where $-1 < \beta_0 < 1$ and $W_{t+1}$ is distributed as a normal with mean zero and variance one.
How should I go about constructing the bivariate score process associated with the parameters $\alpha_0$ and $\beta_0$? How can I verify that it is a martingale?
Progress:
I would begin by constructing the log-likelihood process as follows (conditioning on $X_0$): $$ \ell_t(\theta \mid \textbf X) = -\frac t2 \ln(2 \pi) - \frac 12 \sum_{j=1}^t (X_j - \alpha_0 - \beta_0(X_{j-1} - \alpha_0))^2. $$ Then, the score process can be constructed as $$ s_t(\theta \mid \textbf X) = \begin{bmatrix} (1 - \beta_0) \sum_{j=1}^t (X_j - \alpha_0 - \beta_0(X_{j-1} - \alpha_0)) \\ \sum_{j=1}^t (X_j - \alpha_0 - \beta_0(X_{j-1} - \alpha_0)) (X_{j-1} - \alpha_0) \end{bmatrix}. $$ Is this correct? How do I proceed?