1. INTRODUCTION
To date, cointegration analyses of long-run relationships in seasonal time series have been conducted primarily in terms of the separate (zero and seasonal frequency) unit roots implied by the seasonal differencing filter, which leads to the concept known as seasonal cointegration; see Hylleberg, Engle, Granger, and Yoo (1990), Engle, Granger, Hylleberg, and Lee (1993), Lee (1992), Johansen and Schaumburg (1999), and Cubadda (2001), among others. However, cointegration may also be considered season by season, and this route leads to so-called periodic cointegration, which is examined by Birchenhall, Bladen-Hovell, Chui, Osborn, and Smith (1989), Franses and Kloek (1995), Boswijk and Franses (1995), and others.
Seasonal cointegration can apply only for seasonally integrated (SI) processes, which are nonstationary processes that are made stationary by the application of annual differencing. In an analogous way, periodic cointegration can apply for periodically integrated (PI) processes, which are nonstationary but rendered stationary by application of a seasonally varying quasi-difference filter. In an SI process, nonstationary unit root behavior exists not only at the long-run (or zero) frequency but also at all the seasonal frequencies. Although this is not always discussed, the implication of these seasonal unit roots is that the seasons of the year are not cointegrated with each other and hence in principle “summer may become winter”;1
However, the starting conditions for the SI process may make this arbitrarily unlikely in finite samples.
Although there has been little analysis of seasonal versus periodic cointegration, Franses (1993, 1995) shows that these imply different parameter restrictions on the cointegrating relationships when SI processes are considered.2
Löf and Franses (2001) compare the forecast accuracy of periodic and seasonal cointegration models in a bivariate context.
Despite the availability of some theoretical results, the distribution of test statistics for periodic cointegration in PI processes is not fully resolved. A full dynamic system approach, in which equations are estimated jointly for observations relating to each season, can theoretically be applied (see, e.g., Ghysels and Osborn, 2001, pp. 171–176; Kleibergen and Franses, 1999). However, available sample sizes may make this feasible in practice only where data of a relatively high frequency are available, as in the application of Haldrup, Hylleberg, Pons, and Sansó (2007). Although a two-step approach of the Engle and Granger (1987) type has been used (e.g., Birchenhall et al., 1989; Franses and Kloek, 1995), the asymptotic distribution of the test statistic has not been derived for the case where all seasons are considered simultaneously. Franses (1996, p. 182) proposes testing for periodic cointegration through the application of the Boswijk and Franses (1996) PI test to the first-stage residuals and speculates as to its asymptotic distribution. The present paper contributes to this strand of literature by establishing that this test statistic follows the Phillips and Ouliaris (1990) distribution, which enables asymptotically valid inference to be undertaken.
Prior to deriving the distributions of the test statistics for PI processes, Section 2 discusses the cointegration possibilities for these processes, which extends the discussion in Ghysels and Osborn (2001, pp. 168–171) and Osborn (2002). When the series are PI, we show that the only cointegration possibilities are periodic cointegration or nonperiodic cointegration, with cointegration for any one season implying cointegration for all seasons. The section also compares this to the wider set of possibilities for SI processes. Section 3 then derives the asymptotic distribution of the residual-based cointegration test for PI processes, which is followed (Section 4) by an analysis of the asymptotic distribution of the Boswijk and Franses (1995) cointegration test when applied to uncorrelated first-order PI processes. A Monte Carlo analysis in Section 5 examines the finite-sample distribution of the residual-based test, including an analysis of the role of deterministic terms in the regression, with a concluding section completing the paper. Proofs of our results appear in the Appendix.
2. PERIODIC INTEGRATION AND COINTEGRATION
After outlining the properties of PI processes, we discuss cointegration for PI and SI processes in Sections 2.2 and 2.3, respectively.
2.1. PI Processes
Consider a univariate time series xsτ, where the first subscript refers to the season (s) and the second subscript to the year (τ). For simplicity of exposition, we assume data are quarterly and that observations are available for precisely N years, so that the total sample size is T = 4N, with initial values x10 = x20 = x30 = x40 = 0. The annual difference operator is Δ4 = 1 − L4, where L is the usual lag operator that works on the seasons (Lkxsτ = xs−k,τ). Note that, throughout the paper, it is understood that xs−k,τ = x4−k+s,τ−1 for s − k ≤ 0.
Applications of periodic processes within economics have focused on autoregressive (AR) processes, with the pth-order zero-mean periodic AR, or PAR(p), process defined by3
Our focus is periodic cointegration, the analysis of which is facilitated by the assumption that the process in (1) has zero mean. However, we relax this assumption in the Monte Carlo analysis of Section 5.

where esτ is white noise. Notice that all coefficients in (1) may vary with the season s. Although the conventional (nonperiodic) AR(p) process is a special case where φis = φi (s = 1, 2, 3, 4) for all i = 1,2,…, p, our interest is periodic processes, that is, cases where at least some of these nonperiodic parameter restrictions do not hold.
Under the assumption that xsτ is integrated of order one, and using a similar notation to that of Boswijk and Franses (1996), (1) can also be written as

with φ1φ2φ3φ4 = 1. In the special case φs = 1 (s = 1,2,3,4), (2) is a periodic I(1) process, so that the first difference is a stationary PAR(p − 1) process. On the other hand, when φ1φ2φ3φ4 = 1 but not all φs = 1 (s = 1,2,3,4), (2) is a periodically integrated, or PI(1), process with the quasi-difference xsτ − φs xs−1,τ being stationary; see Ghysels and Osborn (2001, pp. 153–155) for further discussion of these cases. In the latter case xsτ − φs xs−1,τ may have constant coefficients over seasons, although for convenience we refer to it as a stationary PAR process.
In both the I(1) and PI(1) cases, nonstationarity arises from a single common trend shared by the four quarterly observations of the time series; equivalently, there are three cointegration relationships between the quarters. It is convenient to explore this through the representation referred to as the vector of quarters (VQ) representation by Franses (1994), which is based on the vector Xτ = (x1τ,x2τ,x3τ,x4τ)′ and disturbance process Eτ = (e1τ,e2τ,e3τ,e4τ)′. Corresponding to (1), the VQ representation has the form

where P = [(p − 1)/4] + 1 and [.] indicates the integer part of the expression in brackets. Corresponding to the factorization in (2), the VQ representation can be written as

where

and the determinant |Φ0 − Φ1 z| = 0 has a single unit root, while the stationary vector process Ψ(L4)Uτ = Eτ captures the stationary PAR(p − 1) process in usτ = xsτ − φs xs−1,τ embodied in (2).
From (3), the annual difference series Δ4 Xτ = Xτ − Xτ−1 can be written as

where the vector process C(L4)Uτ = (Θ0 − Θ1 L4)Uτ has three noninvertible unit roots, which reflect the overdifferencing inherent in annual differencing for a process with a single AR unit root. Therefore, C(1) is of rank one, and it is possible to write

where a = (1,φ2,φ2φ3,φ2φ3φ4)′, b = (1,φ1φ3φ4,φ1φ4,φ1)′.
An implication of (4) and (5) is that the four elements of Xτ share a single common stochastic trend, namely,

, to which they adjust with periodic adjustment coefficients given by the elements of a. Further details can be found in Boswijk and Franses (1996).
2.2. Cointegration for PI Processes
Now consider the m × 1 vector process xsτ = [xsτ(1),…, xsτ(m)]′ in which each element is either a PI(1) or an I(1) process. That is,

in which each usτ(j) is a stationary process (which is, in general, periodic)

with Esτ = (esτ(1),…, esτ(m))′ vector white noise and E [Esτ Esτ′] = Σ positive definite.4
Although periodic variation in Σ can be permitted, the purpose of our analysis is to examine the implications of periodically varying coefficients, and hence we assume constant disturbance covariances over seasons.
Cointegration can then be defined as follows.
DEFINITION 1. The m × 1 vector xsτ = [xsτ(1),…, xsτ(m)]′ of periodic processes satisfying (6) is periodically cointegrated if there exist m × r matrices αs of rank r such that the linear combinations αs′xsτ are (periodically) stationary for each s = 1,…,4.
Although it was not formally defined in this way, the idea of periodic cointegration appears to have been applied first by Birchenhall et al. (1989). Notice that nonperiodic cointegration, with αs = α for s = 1, 2, 3, 4, is permitted here as a special case of periodic cointegration.
In their discussion of periodic cointegration, Boswijk and Franses (1995) distinguish full and partial periodic cointegration, where the former corresponds to Definition 1 and the latter to the situation where stationary linear combinations αs′xsτ exist for only some s = 1,…,4. However, Ghysels and Osborn (2001) show that partial periodic cointegration cannot apply between two PI(1) processes; such processes are either (fully) periodically cointegrated or no cointegrating relationship exists for any s = 1,…,4. This result is generalized in Lemma 1 for the case of m PI(1) processes.
LEMMA 1. Consider the m × 1 vector xsτ = [xsτ(1),…, xsτ(m)]′ of periodic processes in (6), such that the m × r matrix αs of rank r defines all linearly independent stationary linear combinations αs′xsτ for some s = 1,…,4. Then
(i) αs, together with the coefficients φs(j)(s = 1,2,3,4; j = 1,…, m) of (6), determine the m × r matrix αq of rank r, which must exist for each q = 1,2,3,4, q ≠ s such that αq′xqτ is stationary;
(ii) nonperiodic cointegration with αs = α (s = 1,2,3,4) applies if and only if φs(j) = φs, j = 1,…, m in (6).
The first part of Lemma 1 implies that there must be the same number of cointegrating relationships between PI(1) processes for all seasons s = 1, 2, 3, 4. Thus, as in the bivariate case considered by Ghysels and Osborn (2001) and Osborn (2002), partial periodic cointegration cannot apply between PI(1) processes. Further, given the cointegrating vectors that apply for one season and the univariate PI coefficients of (1), then all four sets of cointegrating relations can be determined. It is worth noting that part (i) of Lemma 1 is implicit in the results of Kleibergen and Franses (1999), but they do not draw it out from their analysis.
Part (ii) of the lemma further establishes that the same (nonperiodic) cointegrating relations can apply over seasons if and only if all processes have identical univariate PI coefficients. The proof of this lemma rests on the fact that the VQ process corresponding to a PI(1) variable is driven by a single unit root process. The stationary relationships between observations for the seasons that exist for each Xτ(j) = [x1τ(j),x2τ(j),x3τ(j),x4τ(j)]′ then imply that cointegrating relations for the vector xsτ can be mapped from season to season.
Conventional cointegration between I(1) processes (which may be periodic) provides a special case of Lemma 1, where the same cointegrating relations apply for all seasons (quarters) of the year and all φs(j) of (6) are unity.
2.3. Cointegration for SI Processes
Unlike the quasi-differencing xsτ − φs xs−1,τ of (2) with φ1φ2φ3φ4 = 1 that renders the PI(1) process stationary, SI(1) processes (that contain a unit root at the zero and each seasonal frequency) are made stationary and invertible by annual differencing. Such processes contain four unit roots, implying that the quarters of the year are not cointegrated with each other; Osborn (1991) and Franses (1994) provide discussions of some of the implications. In the context of cointegration between elements of an m × 1 vector xsτ, if each element is SI(1) then the lack of cointegration across the seasons implies that distinct cointegrating relations can apply for each of the vectors xsτ for s = 1,2,3,4. This is the essence of Lemma 2.
LEMMA 2. Consider the m × 1 vector xsτ = [xsτ(1),…, xsτ(m)]′ of SI(1) processes. Then the existence of an m × r matrix αs of rank r such that αs′xsτ is stationary for some s = 1,…,4 has no implications for the existence or nature of cointegration across the elements of xqτ for q ≠ s.
An immediate consequence of Lemma 2 is that full and partial periodic cointegration are possibilities for SI(1) processes.
So-called seasonal cointegration, which corresponds to cointegration at the distinct seasonal spectral frequencies, is another possibility for SI processes and is analyzed by Engle et al. (1993), Cubadda (2001), Johansen and Schaumburg (1999), and Lee (1992). However, our analysis focuses on testing for periodic cointegration. More specifically, we are particularly interested in testing for cointegration for PI processes. However, the case of SI processes is relevant, because Boswijk and Franses (1995) claim that the same asymptotic distribution results when their test is applied to both SI and PI processes.
3. RESIDUAL-BASED TEST FOR PERIODIC COINTEGRATION
This section analyzes the periodic analogue of the Engle and Granger (1987) test, which applies a test for periodic integration to the residuals from a first-stage regression involving nonstationary PI(1) variables. We first set out the test regression, and then, before obtaining the distribution of the test statistic in Section 3.3, Section 3.2 examines the properties of the vector xsτ = [xsτ(1),…, xsτ(m)]′ in the absence of cointegration.
3.1. The Test Regression
As usual, a residual-based test requires that the potential cointegrating relationship being examined is unique. That is, either there exists at most one cointegrating vector or, if there potentially exist 1 < r < m cointegrating vectors between the separate series, then (exclusion) restrictions are imposed to ensure uniqueness. From the analysis of the previous section, we know that cointegration applying for one season between PI processes implies cointegration for all seasons. Therefore, it is anticipated that efficiency gains will result by considering all seasons jointly.
To keep notation simple, we assume that only one cointegrating relationship may exist across the m variables. Arbitrarily normalizing on the first element of x, we propose fitting the periodic regression

and then applying the periodic integration test of Boswijk and Franses (1996) to the residuals

. The intuition is that, in the absence of cointegration, the residuals

follow a nonstationary PI process (see Franses, 1996, pp. 181–182).
Now, partition xsτ as

so that zsτ comprises the vector of right-hand-side variables in (7). We assume that all j = 1,…, m variables are PI(1) processes, as in (6), with the variance-covariance disturbance matrix corresponding to the system being

where Σ in (9) is partitioned conformably with xsτ in (8).
3.2. Properties of the PI System
As discussed in Section 2.1, the matrix C(j)(L4) in the representation of (4) for an annually differenced PI process has three unit roots, and hence

where a(j) = [1, φ2(j), φ2(j)φ3(j), φ2(j)φ3(j)φ4(j)]′, b(j) = [1, φ1(j)φ3(j)φ4(j), φ1(j)φ4(j), φ1(j)]′.
Stacking the processes, and using the annual difference representation of (4), yields

where Δ4 Xτ = (Δ4 Xτ(1)′,Δ4 Xτ(2)′,…, Δ4 Xτ(m)′)′, Δ4 Xτ(j) = (Δ4 x1τ(j),Δ4 x2τ(j), Δ4 x3τ(j),Δ4 x4τ(j))′, with corresponding definitions for Eτx and Uτx, while Ψx(L4) is a block diagonal matrix with jth block equal to Ψ(j)(L4) containing the stationary (periodic) AR coefficients for series j. Similarly, the moving average (MA) coefficient matrices in (11) are block diagonal, of the form

and

The long-run covariance matrix between the m × 4 processes in Xτ is then given by (see also Boswijk and Franses, 1995, p. 440)

In the absence of cointegration between the xsτ(j)(j = 1,2,…, m), cointegration applies only across the seasons within each xsτ(j), and we have

where the 4m × m matrices ax, bx are defined by (in an obvious notation)

and all submatrices in (14) are 4 × 1. Thus, Cx(1) is of rank m.
However, if cointegration exists across processes, then Cx(1) is of rank k < m, and hence ax and bx do not have the block diagonal form of (14). Specifically, ax and bx are then matrices of rank k, with dimension 4m × k.
Returning to the case of no cointegration, Lemma 3, which follows, establishes the asymptotic distribution of the scaled vector Xτ = [Xτ(1)′,Zτ′]′ relevant for the regression (7). The result is obtained by accounting for the contemporaneous correlation between the disturbances through the decomposition Σ = PP′ where P is upper triangular.
LEMMA 3. Consider the vector of m PI(1) processes defined in (6), (8), (9), and (11), with no cointegration applying across the m processes. Also define the 4m × 1 vector Brownian motion Wx(r) with covariance matrix I4m, where Wx(r) = [W(1)(r)′,Wz(r)′]′ in which W(1)(r) is 4 × 1, Wz(r) is 4n × 1, and n = m − 1. Then, as N = T/4 → ∞,
where [rN] is the integer part of rN, ρ1z = σ11−1/2Pzz−1σ1z, the upper triangular matrix Pzz satisfies Pzz Pzz′ = Σzz, and az, bz are the lower right-hand 4n × n blocks of ax, bx, respectively, in (14).
Here and throughout the paper ⇒ indicates convergence in distribution. Note that we can define standard Brownian motions underlying (15) as
where p(j) is the (j − 1)th row of Pzz. Then, from (16), we can write

in which

Therefore, the scalar standard Brownian motions

in (16) can be thought of as the stochastic trends underlying the m individual PI processes, which in turn derive from the elements of the standard vector Brownian motion Wx(r).
It is clear from (15) or (16) that, in general, Brownian motions processes relating to x(1) and z are correlated. That is, when the contemporaneous covariance σ1z in (9) is nonzero, Wz(r) influences

. This effect disappears in the special case of σ1z = 0, because ρ1z = 0 when x(1) is uncorrelated with x(2),…, x(m).
3.3. Asymptotic Distribution of the Test Statistic
We now turn to the properties of the residuals resulting from ordinary least squares (OLS) estimation of (7), which are summarized in Lemma 4.
LEMMA 4. Consider the vector of PI(1) processes defined in (6), (8), (9), and (11), with no cointegration applying across the m processes. The 4 × 1 vector

of residuals from (7) for year τ then satisfies, as N = T/4 → ∞,

where [rN] is the integer part of rN, l11 is a scalar, ω = (b(1)′Ψ(1)(1)−1 Ψ(1)(1)′−1b(1))0.5, a(1) = [1,φ2(1),φ2(1)φ3(1),φ2(1)φ3(1)φ4(1)]′, b(1) = [1,φ1(1)φ3(1)φ4(1), φ1(1)φ4(1),φ1(1)]′, and the univariate Brownian motion wm(r) is defined by

in which Wx(r) = [w(1)(r),Wz(r)′]′ is m × 1 standard Brownian motion with covariance matrix Im and k′ = [1,−∫w(1)(r)Wz(r)′ dr(∫Wz(r)Wz(r)′ dr)−1].
Lemma 4 implies that the residuals from (7) asymptotically retain the same nonstationary periodic coefficients as the univariate process for xsτ(1) in (6). This is easily seen by comparing (18) with the first equation of (17).
Building on the implication of Lemma 4 that the residuals of (7) retain the PI properties of xsτ(1) in (6), the strategy of testing for periodic integration in the residuals of (7) is clear. More specifically, following Franses (1996, pp. 181–182), we propose testing the periodic integration null hypothesis φ1φ2φ3φ4 = 1 against the alternative φ1φ2φ3φ4 < 1.5
Note that, although (18) implies that the PI coefficients for the residuals are identical to those of the univariate process for xsτ(1) in (6), we do not propose that equality between these should be imposed.

Under the alternative hypothesis, the residuals of (20) are stationary, implying that either periodic cointegration or nonperiodic cointegration exists between the processes for all seasons s = 1, 2, 3, 4. Under the null hypothesis the residuals

, so that there is no cointegration between the PI processes. In this case, based on (6) and following Boswijk and Franses (1996), (20) can be reparameterized as

with the restriction φ1φ2φ3φ4 = 1 imposed, but ψjs unrestricted, with estimation achieved using nonlinear least squares.
We employ the test of periodic integration proposed by Boswijk and Franses (1996), which uses the likelihood ratio (LR) statistic

where

is the unrestricted maximum likelihood estimator of Var(εsτ) in (20) and

is the corresponding estimator from (21) when the restriction φ1φ2φ3φ4 = 1 is imposed.
Theorem 1 establishes the asymptotic distribution of this periodic cointegration test statistic.
THEOREM 1. Under the null hypothesis of no cointegration between the PI processes of (6), (8), (9), and (11), the LR test statistic of (22) applied to the residuals from (7) using the PAR(p) regression (20)–(21) has asymptotic distribution

where wm (r) is defined in (19) and k in Lemma 4.
The distribution of the test statistic in (23) is the square of the Dickey–Fuller test for cointegration using the residuals of a (nonperiodic) regression, as derived by Phillips and Ouliaris (1990). It is clear from (19) that this asymptotic distribution depends on the number of regressors in (7), namely, n = m − 1. Consequently, the distribution of the LR test statistic in (23) also depends on m. However, the distribution is invariant to the values of the PI coefficients for the processes in (6) and the disturbance covariances of (9).
Also in common with Phillips and Ouliaris (1990), the presence of stationary autocorrelation plays no role in the asymptotic distribution. However, in this periodic case, the augmentation in the test regression of (20)–(21) is periodic in form, because the possibility of stationary PAR dynamics is permitted under the null hypothesis.
4. THE BOSWIJK AND FRANSES TEST
Boswijk and Franses (1995) propose Wald tests for periodic cointegration relating to a specific season s and over all seasons with an error-correction mechanism (ECM) framework. This test is built on the cointegration test of Boswijk (1994), which was developed in a nonperiodic context. To avoid issues Boswijk and Franses encounter concerned with the possible dependence of some asymptotic distributions on correlation between the disturbances of the processes considered, we confine our attention to the “spurious regression” case where the variables are mutually uncorrelated. Also for simplicity, we continue to assume that all variables have zero means, with no deterministic terms included in the estimated ECM model, and here consider only PAR(1) processes. Although this is a special case, it is sufficient to establish that, contrary to the statement of Boswijk and Franses (1995), the asymptotic distribution of their test applied to PI processes differs from the result they obtain for SI processes.
Using the notation of the previous section, and arbitrarily assuming that the first variable of xsτ is the dependent variable, the periodic ECM model is

where κs is an n × 1 vector. This can also be written as

where δ0s = γs and δ1s = −γsκs. With the assumption of uncorrelated PAR(1) processes, usτ(j) = esτ(j) in (6), and σ1z = 0 with Σzz being a diagonal matrix in (9). In comparison with Boswijk and Franses (1995), no conditioning is required in (24), because of our simplifying assumption that the variables are uncorrelated PAR(1) processes.
Using a similar notation to Boswijk and Franses (1995), the Wald statistic to test the null of no cointegration in season s, or equivalently to test δ0s = 0, δ1s = 0 in (24), is

where

is the OLS estimator of the relevant coefficients and

is the corresponding estimated OLS covariance matrix. When all seasons are considered, the joint cointegration test statistic for the null hypothesis δ = 0, where δ = [δ1′,δ2′,δ3′,δ4′]′, is given by (in an obvious notation)

Note that the Wald statistic in (26) is the sum of the individual Walds of (25) because of the block orthogonality of the regressors when (24) is estimated using seasonal dummy variables.
As noted by Ghysels and Osborn (2001, pp. 176–179), the null distribution obtained by Boswijk and Franses (1995) assumes that xsτ is a vector of SI processes. More specifically, Assumption 1 of Boswijk and Franses (1995, p. 440) does not require the long-run variance-covariance matrix Ω of the vector Brownian motion process corresponding to (x1τ,x2τ,x3τ,x4τ)′ to be positive definite, which allows the possibility of one or more components being PI processes. However, the proof of their Theorem 2 assumes that

is strictly positive.
6See the paragraph between expressions (A.11) and (A.12) of Boswijk and Franses (1995, p. 451).
Under the null hypothesis of no periodic cointegration, and assuming SI processes, Boswijk and Franses (1995) establish that the distribution of the Walds statistic used to test for cointegration relating to an individual season s is identical to that obtained by Boswijk (1994) for the nonperiodic case. Theorem 2, which follows, shows that this result does not carry over to the case of PI(1) processes. Indeed, for such processes, the theorem shows that the distribution of Boswijk (1994) emerges in relation to the test statistic for full periodic cointegration.
THEOREM 2. Assuming that the PI processes of (6), (8), (9), and (11) are uncorrelated PAR(1) processes, the asymptotic distributions of the Wald test statistics proposed by Boswijk and Franses under the null hypothesis of no cointegration are given by
(i) for the Walds test of δ0s = δ1s = 0 for an individual s

(ii) for the joint Wald test of δ0s = δ1s = 0, s = 1,2,3,4,

where Wx(r)′ = [w(1)(r),Wz(r)′]′ is m-vector standard Brownian motion and a(1) = [1,φ2(1),φ2(1)φ3(1),φ2(1)φ3(1)φ4(1)]′, which has sth element as(1).
There are two important differences between the distributional results given in (27) and (28) and those of Boswijk and Franses (1995) for SI processes. First, the statistic in (27) does not follow the distribution of Boswijk (1994), because of the multiplicative factor λs = 4(as(1))2/a(1)′a(1). Because these λs average unity over s = 1, 2, 3, 4, the scaling will inflate or deflate values relative to the Boswijk (1994) distribution, depending on the specific PI coefficients and the season s.
Second, the distribution defined by (28) is four times the distribution obtained by Boswijk (1994). Intuitively, this arises because there is only one underlying stochastic trend for each vector process Xτ(j) and hence, as discussed in Section 2, there can be only one linearly independent cointegrating relationship over the four quarters of the year. Consequently, when the Wald test is applied to the PI(1) variables, effectively a single cointegration relationship is being tested four times (once for each quarter).
The asymptotic distribution of (28) is not that derived by Boswijk and Franses (1995) for SI processes. To be specific, because an SI process for a quarterly series involves four distinct unit root processes, these are reflected in the asymptotic distribution. For uncorrelated SI processes, the asymptotic Boswijk–Franses distribution is (Ghysels and Osborn, 2001, p. 178)

where Wsx(r) = [ws(1)(r),Wsz(r)′]′ is formed by selecting elements of the 4m × 1 vector standard Brownian motion Wx(r) corresponding to season s. It is obvious that (28) and (29) differ, with the former being four times the Boswijk (1994) distribution whereas the latter is the sum of four independent distributions of this type. Indeed, this comparison also clarifies the role played by the four distinct unit roots underlying an SI process and that therefore appear in (29) as against the single unit root underlying a PI process.
5. MONTE CARLO ANALYSIS
In this section we present a selection of Monte Carlo results relating to the empirical size and power of the residual-based test for periodic cointegration analyzed in Section 3. Section 5.1 considers zero-mean processes, with the analysis of Section 5.2 allowing the possibility of nonzero trends.
5.1. Zero-Mean Processes
We investigate empirical size7
All results presented are based on the 5% critical value of 7.3 obtained through a Monte Carlo simulation for T = 200 observations. However, use of the asymptotic critical value of (−2.76)2 from Phillips and Ouliaris (1990, Table IIa) does not alter the substantive conclusions.

where the periodic components satisfy the univariate AR processes

and

The case of nonperiodic stationary components (31) is sufficient to illustrate the size and power properties of the test, with the processes being periodic through the PI coefficients in (30). Although results are presented only for stationary AR coefficients in (31) being common across the two processes, similar results have been obtained from simulations where these processes are distinct. Finally, it can be seen that (32) permits three levels of contemporaneous correlation between the innovations esτy and esτz.
As shown in Lemma 4, the data generating process (DGP) of (30) implies that the residuals follow a PI process when the regression of (7) is estimated.
Empirical power is obtained from the DGP

focusing particularly on the case ψ = 0.8. The sets of coefficients used in the factor (1 − ψ1*L − ψ2*L2 − ψ3*L3) in (33) are identical to those employed in the stationary component of (31) for computing size. The periodic cointegrating relationship in (33) has coefficients β4 = 0.4, βs−1 = 0.4φsz/φsy for s = 3,2,1, with φsy(s = 1,2,3,4) being the PI coefficients for ysτ. The innovation covariance matrix is again given by (32).
Table 1 shows the combinations of coefficients used in (30)–(33) to compute the empirical size and power. The size and power results are collected in Tables 2 and 3, respectively, for a sample size of 50 years (200 observations) and based on 5,000 replications.
Periodic integration coefficients used for size and power calculations
Size of residual-based test for periodic cointegration
Power of residual-based test for periodic cointegration
The results of Table 2 verify that, even in finite samples, the residual-based test for periodic cointegration has reasonably good size properties, provided that the appropriate order of PAR model is selected. In particular, the order p required in (20) is one greater than the order of the stationary AR component in (31). When a model of too low order is used, the test can be undersized or oversized, depending on the parameters of the process. In general, the satisfactory size (for appropriate p) applies across all sets of PI coefficients considered and irrespective of the extent of correlation between the disturbances. However, the final column suggests that, even for the correct p, the test tends to be undersized with increasing PAR order in the DGP.
Turning to the power results of Table 3, and again provided that an appropriate order of periodic process is fitted, the test has power approaching unity for all cases considered. It is unsurprising that unit power is obtained when the disturbances for ysτ in (33) are white noise, compared to around 0.98 when these disturbances are a stationary AR(1) with coefficient 0.8. However, power does not diminish substantially when the process contains the root (0.8)−1 = 1.25 together with additional stationary autocorrelation. For example, with stationary AR(4) autocorrelation in a cointegrating PI regression, the test applied to a fitted PAR(4) process has power of at least 0.98 in Table 3. On the other hand, relatively low power is obtained when a PAR(1) is fitted in the context of the stationary AR(2) disturbance process, and to a lesser extent when a PAR(2) is fitted to an AR(3) disturbance DGP. This relatively low power is a consequence of estimating a model of too low order and reflects the undersizing evident in Table 2 for the corresponding cases, which have a (periodic) unit root in place of the stationary root of 1.25.
5.2. Deterministic Terms
To facilitate the preceding theoretical analysis, we omitted deterministic terms and assumed zero initial values, thereby implying E [xsτ] = 0. Here we relax these restrictions by considering the addition of deterministic terms to the cointegrating test regression.
In the case of standard (nonperiodic) cointegration, the appropriate form of the cointegration test regression depends on the properties of the time series under study; see Phillips and Ouliaris (1990) and Hansen (1992). The inclusion of an intercept allows for possibly nonzero starting values, with means constant over time, by demeaning the variables used in the long-run regression. The null distribution of the LR test for (nonperiodic) cointegration then satisfies (23), with wm(r) as defined in (19), where it is understood that Wx(r) = [w(1)(r),Wz(r)′]′ is a vector of demeaned standard Brownian motions. The addition of a trend allows for a nonzero drift, and the vector of Brownian motions is then demeaned and detrended.
Turning to the case of PI processes, a nonzero starting value in (1) and no deterministic terms imply a seasonally varying mean E [xsτ] that is constant over years τ = 1,2,…. However, as shown by Paap and Franses (1999), the addition of an intercept to (1) leads to a seasonally varying trend in E [xsτ] and hence an annual growth rate Δ4 xsτ that varies over s = 1,2,3,4. Further, excluding the special case of an I(1) process, they show that a PI process with an intercept cannot have a trend that is common over s = 1,2,3,4, irrespective of whether the intercept is constant over seasons or is seasonally varying. On the other hand, and using a first-order process for ease of exposition, the process

with esτ white noise and trend coefficients satisfying

has a common linear trend shared by all quarters (Paap and Franses, 1999). However, with unrestricted trend coefficients, (34) implies seasonally varying quadratic trends in E [xsτ].
In the context of testing for periodic cointegration, the preceding discussion implies that the relevant cointegrating regressions that may be considered in place of (7) are

and

More specifically, (36) is appropriate when the variables in the regression are known to have constant (possibly periodically varying) mean over time, and the use of (37) permits the possibility that the variables may trend linearly over time.8
In common with much of the unit root literature, the possibility of quadratic trends over time is excluded on a priori grounds.
In addition to the case with unrestricted trends in (37), we also investigate cointegrating regressions using restricted trend coefficients such that β11 = β12 = β13 = β14. This last case is considered when ϑs satisfies the restrictions of (35) and hence the linear trend in each PI(1) process is constant over seasons. All DGPs used in this analysis are uncorrelated PI PAR(1) processes.
The results of Table 4A verify that, for the three bivariate PI(1) DGPs considered there, the inclusion of deterministic terms has the anticipated effect on the residual-based test for periodic cointegration. That is, for zero-mean processes, the inclusion of periodically varying intercepts or periodically varying intercepts and trends, as in (36) and (37), respectively, causes the distribution of the LR test for periodic cointegration to shift, with the percentiles of the test statistic under the null hypothesis being effectively the same as the corresponding values obtained by Phillips and Ouliaris (1990) for the nonperiodic case (with the latter values squared).
Effect of deterministic terms on the empirical distribution of the residual-based periodic cointegration test
Because the inclusion of unrestricted intercepts leads to seasonally varying trends in a PI(1) process, a cointegrating test regression of the form of (37), with unrestricted intercepts and trends, takes account of these deterministic effects. Table 4B verifies that, in this case, the (squared) Phillips and Ouliaris (1990) critical values for nonperiodic random walks with drifts continue to apply in this periodic case. As seen in Table 4C, these critical values also apply if the individual processes within the DGP have trends restricted to be identical across seasons, provided that no restrictions are imposed when (37) is estimated. However, imposition of the restriction of nonperiodic trends in the cointegrating test regression of (37) causes the Phillips–Ouliaris critical values to be inappropriate for these DGPs.
In contrast to the effects of restricted trends in Table 4C, Table 4D shows that, whether the trend coefficients of the cointegrating test regression are restricted to be identical over seasons or not, the Phillips and Ouliaris (1990) critical values can be used when testing cointegration between two PI(1) processes that have identical periodic coefficients, φs(j) = φs,j = y,z. However, the case of identical coefficients across PI separate processes is a special one, for which Lemma 1 shows that any cointegration must be nonperiodic.
To investigate this further, consider the PI(1) vector xsτ, where all elements have constant trends over seasons. Separating the deterministic and stochastic components of each element, we can write

where ξsτ(i) is a zero-mean PI(1) process and E [xsτ(i)] = c0s(i) + c1(i)τ, which has a periodically varying intercept but nonperiodic trend. The regression relevant for testing periodic cointegration between the zero-mean stochastic unit root processes ξsτ(i) is

that is,

which is identical in form to (37). Notice, however, that although (39) has periodically varying intercepts and periodic trend coefficients, the trend coefficients in the latter satisfy

If the PI(1) coefficients are identical across processes, and hence any cointegrating relationship is nonperiodic, then βi1 = βi2 = βi3 = βi4 (i = 2,…, m), and (40) implies nonperiodic trends in the cointegrating regression of (37) or (39).
The Monte Carlo results of Table 4C and 4D support this analysis. In particular, the PI(1) processes in Table 4D with identical coefficients and individual nonperiodic trends imply that any trend in (37) is also nonperiodic. Therefore, the restriction of identical trends derives from the nonperiodic nature of any cointegration in this case, with the imposition of this restriction effectively having no impact on the distribution of the residual-based test statistic.
On the other hand, when the PI(1) coefficients differ over processes, (40) implies that the imposition of the nonperiodic trend restriction is inappropriate when the βis are not correspondingly restricted. However, from Lemma 1, nonperiodic cointegration can apply only when the separate processes have identical PI coefficients. Therefore, the trend coefficients in (37) should not be restricted to be nonperiodic when testing for cointegration between periodic processes, except for the special case analyzed in Table 4D.
6. CONCLUDING REMARKS
This paper has provided an analysis of cointegration for periodically integrated processes. We first establish that the only cointegration possibilities are so-called full periodic or full nonperiodic cointegration. Because of the cointegration between seasons that exists for a univariate PI variable, if no cointegration between variables applies for a specific individual season, then no cointegration applies at all. Further, if the PI processes have identical coefficients over processes, then any cointegration that exists is nonperiodic, with identical cointegrating relationships over seasons.
This paper is the first to obtain analytical results for the distribution of two test statistics for cointegration, proposed as appropriate in previous literature for PI processes.
The available analytical results for cointegration related to seasonal processes have focused on the case of seasonally integrated processes, including Boswijk and Franses (1995), Hylleberg et al. (1990), and Johansen and Schaumburg (1999). However, the greater economic plausibility of periodic processes in some contexts suggests that attention should also be devoted to this case. The present paper provides results that contribute to our understanding of cointegration for seasonal processes, while also emphasizing that periodic and seasonal integration have distinct long-run implications. In particular, although the Boswijk and Franses (1995) periodic cointegration test can be applied for both types of seasonal nonstationarity, the test statistic follows different distributions in the two cases. Therefore, a careful prior univariate analysis should be undertaken before considering cointegration for seasonal processes.
Our analysis also formally establishes the asymptotic distribution of a residual-based test of cointegration for PI processes, showing this distribution to be the same as for the nonperiodic case. Moreover, our Monte Carlo analysis verifies that the critical values of Phillips and Ouliaris (1990) can be used in the context of periodic processes, provided that potentially relevant trend terms included in the cointegration test regression are not restricted to be constant over the quarters of the year when the potential cointegration is periodic. Therefore, the test can be employed by applied workers in realistic contexts where the periodic series under analysis exhibit nonzero means and possible trends.
As in the case of univariate PI processes analyzed by Paap and Franses (1999), the use of trend terms in testing for periodic cointegration requires some care. Specifically, when testing for cointegration in periodic processes that contain nonperiodic trends, we show that the trend coefficients in the cointegration test regression should be restricted to be identical over seasons only when the individual processes have identical periodic coefficients. Because the situation where identical coefficients apply over the different univariate processes may not occur widely in practice, we recommend that the trend (and also the intercept) coefficients should be unrestricted over seasons when using the residual-based test for cointegration between PI processes.
APPENDIX: Proofs
Proof of Lemma 1. To prove (i), and without loss of generality, assume that the linear combination α1′x1τ is stationary, with α1 of rank r. Also, for ease of exposition, assume two seasons per year τ, so that s = 1, 2.
The PI process of (6) then implies

where Φ1+ is a diagonal m × m matrix with jth diagonal element φ1(j) and the stationary m × 1 vector Usτ has jth element usτ(j). Premultiplying (A.1) by α1′ yields

where the m × r matrix α2 = Φ1+α1 defined by (A.2) has rank r, because Φ1+ is nonsingular and α1 is of rank r. Further, the columns of α2 must contain r cointegrating vectors for x2,τ−1, as otherwise the right-hand side of (A.2) would be nonstationary.
However, we need to establish that there are no additional linearly independent cointegrating vectors for x2τ, beyond those in the columns of α2. Say one such cointegrating vector exists and append this as an additional column of α2 to form the m × (r + 1) matrix α2* of rank r + 1. Then, analogously to (A.2), and where Φ2+ is a diagonal m × m matrix with jth diagonal element φ2(j), we have

By the same argument as before, α1* = Φ2+α2* must be a matrix of r + 1 cointegrating vectors for x2τ. This, however, contradicts the assumption that there are exactly r cointegrating vectors for x1τ. Consequently, there can be only r linearly independent cointegrating vectors for x2τ.
Recognizing that α2 on the right-hand side of (A.2) relates to season s − 1 for s = 1, the generalization to four seasons, s = 1, 2, 3, 4, is straightforward, with the r cointegrating vectors for each quarter satisfying

Note that for s = 4, it is understood that s + 1 = 1. By repeated substitution in (A.3), it is clear that given any αs and the periodic coefficients, the cointegrating vectors for all other quarters can be determined. Also note that the PI property of (6) implies that

To establish (ii), first note that each of the m processes having identical PI coefficients implies Φs+ = φs Im, for s = 1,2,3,4. Therefore, from (A.3), αs−1 = φsαs, and because the scaling is irrelevant, the cointegrating relationships are identical over s = 1, 2, 3, 4. Conversely, because Φs+ is nonsingular, αs = csαs−1 for some scalar constant cs only if Φs+ = cs Im, s = 1,2,3,4. In turn, Φs+ = cs Im implies that the m PI(1) processes have identical periodic coefficients. █
Proof of Lemma 2. Define the vector of observations for process j of xsτ in year τ as Xτ(j) = [x1τ(j),x2τ(j),x3τ(j),x4τ(j)]′. As all elements of xsτ are SI, then the series for the quarters of the year are not cointegrated, so that no 4 × r matrix of cointegrating vectors βj exists such that βj′ Xτ(j) is stationary for any j = 1,…, m. Because no cointegration connects the integrated processes xsτ and xqτ (q ≠ s), the existence of cointegration between the elements of xsτ has no implications for cointegration between the elements of xqτ. █
Proof of Lemma 3. For the process of (6), (8), and (9), and as in Boswijk (1994) and Phillips and Ouliaris (1990), we use the decomposition Σ = PP′ where the upper triangular matrix P is

in which the n × 1 (with n = m − 1) vector ρ1z is defined from the elements of Σ in (9) as

For a 4m × 1 vector white noise sequence {Eτ} with mean zero and variance matrix I4m, the multivariate invariance principle (see Phillips and Durlauf, 1986) implies that

where W(r) is a 4m × 1 vector standard Brownian motion process. For later use, define

where Wj(r), j = 1,…, m, are 4 × 1 vectors whose elements we associate with the seasons, while Wz(r) is 4n × 1. From these, define the 4m × 1 vector Brownian motion with covariance matrix Σ [otimes ] I4 as

As in Lemma 1 of Boswijk and Franses (1996),
Now, it is easy to see that

Therefore, from (A.7) and (A.8), we have

as in (15) of the text, where az and bz are defined as the lower right-hand 4n × n blocks of ax and bx in (14). █
Proof of Lemma 4. Consider first the OLS estimates of the coefficients of (7) for each season, denoted

, where

Then

where Bs(r) = [Bs(1)(r),Bsz(r)′]′ is m × 1 vector Brownian motion, with n × 1 Bsz(r) = [Bs(2)(r),…, Bs(m)(r)]′.
From (17) and defining the n × 1 vector

, we have

where As is an n × n diagonal matrix such that As = diag{w2 as(2),ω3 as(3),…, ωm as(m)}.
Then, from (A.10) and (A.11) it is easy to see that

The appropriately scaled residuals from (7) can be expressed as

where zs[rN] = [xs[rN](2),xs[rN](3),…, xs[rN](m)]′ and, from (17),

Hence, from (A.12)–(A.14),

where

. Each element of the m × 1 vector of Brownian motions

has unit variance, and the m × m long-run covariance matrix Π of

can be expressed as

with elements on the principal diagonal of Πzz equal to one.
Defining the m × m matrix L such that Π = LL′, and where the first column of L is given by (l11, 0n), then, using part (a) of Lemma 2.2 of Phillips and Ouliaris (1990), we have that

where Wx(r) = [w(1)(r), w(2)(r),…, w(m)(r)]′ = [w(1)(r),Wz(r)′]′ is an m × 1 vector of standard Brownian motions with covariance matrix Im. Finally from part (b) of Lemma 2.2 of Phillips and Ouliaris (1990), it is possible to write

Recalling that ω1 = σ110.5(b(1)′Ψ(1)(1)−1Ψ(1)(1)′−1b(1))0.5, the result in (18)–(19) is obtained by substituting these last two expressions into (A.15) and stacking the residuals for s = 1,2,3,4 to define the vector

. █
Proof of Theorem 1. It follows from Lemma 4 that, in the absence of cointegration, we can write

Now define Uτm = [u1τm,u2τm,u3τm,u4τm]′ = Ψ(1)(L4)−1Eτm and Eτm = [ε1τm,ε2τm,ε3τm,ε4τm]′. As in Lemma 1 of Boswijk and Franses (1996) and Lemma 3 of the text, we have that

with

and Em(r) is 4 × 1 vector standard Brownian motion that is a function of the elements of W(r). Comparing (18) with (A.17), it follows that

where ω = (b(1)′Ψ(1)(1)−1Ψ(1)(1)′−1b(1))0.5, and hence

provides an alternative definition of wm(r). Also note that from Lemma 4 we know that wm(r) = k′Wx(r), and hence it is easy to see that the variance of wm(r) is equal to k′k. Hence, from (A.18), σ = l11σ111/2(k′k)1/2. For notational convenience in what follows, we omit the superscripts when referring to the periodic integration coefficients relating to process xsτ(1) and hence simply refer to a and b.
The theorem can then be established in a similar way to Theorem 1 in Boswijk and Franses (1996). It is convenient to write (20)–(21) using conventional time subscripts and seasonal dummy variable notation (Dst taking the value unity when observation t falls in season s and zero otherwise). Employing this notation yields the following representation (see Boswijk and Franses, 1996, p. 238):

where the restriction φ1φ2φ3φ4 = 1 is imposed. Let θ = [θ1,θ2′,θ3′]′ denote the full parameter vector with θ1 = π1, θ2′ = [φ2,φ3,φ4], and θ3′ = [ψ11,…, ψ1,p−1,…,ψ41,…, ψ4,p−1]. Under the null hypothesis π1 = 0, this parameter is associated with the unit root while φ2, φ3, and φ4 are cointegration parameters (with φ1 defined from the periodic unit root restriction as φ1 = (φ2φ3φ4)−1), and θ3 collects the parameters associated with the stationary regressors in (A.19).
Let zt = [zt1,zt2′,zt3′]′ be defined conformably with θ as

, and hence

where

and

From Lemma 3 and (A.17), zt1 and zt2 satisfy
where ω = (b′Ψ(1)(1)−1Ψ(1)(1)′−1b)0.5, A* = diag(a4,a1,a2,a3) = diag(φ2φ3φ4, 1, φ2,φ2φ3), A1* = (a4, 0, 0, 0)′. Note that in our case the processes Esm(r) for s = 1, 2, 3, 4 have unit variance.
Under the periodic unit root null hypothesis, the PAR(p − 1) regressors

collected in the vector zt3 are stationary, with

Finally, reflecting the different rates of convergence for the parameter estimates corresponding to the nonstationary PI regressors and those for the stationary PAR(p − 1) component in the augmented regression (20) or (21), we have that

The distribution of the LR test is established by Boswijk and Franses (1996) using

where YN = diag(N × I4,N1/2 × I4(p−1)), (YN−1QθYN−1)11 is the first element of the principal diagonal of the inverse matrix (YN−1QθYN−1)−1,

is the first element of (YN−1QθYN−1)−1YN−1qθ, and qθ and Qθ are the score vector and negative of the Hessian matrix, respectively, formulated in terms of θ.
Note that, as in Boswijk and Franses (1996),

and hence, from (A.20) and (A.21), it is easy to see that

where we define K = [A1*[vellip]Ψ(1)(1)A*H]. Therefore,

Now, partitioning K = [K1[vellip]K2] to focus on the first element of (YN−1QθYN−1)−1YN−1qθ, namely,

, then (A.24) implies

where

and M2 = I − K2(K2′K2)−1K2′.
As in Boswijk and Franses (1996), the covariances between S1(r) and K2′Em(r) and between wm(r) and K2′Em(r) are easily seen to be zero. Thus both S1(r) and wm(r) are independent of the 3 × 1 vector Brownian motion K2′Em(r), and, because these are all defined from the same 4 × 1 vector Brownian motion Em(r), it follows that S1(r) and wm(r) must be the same up to a scale factor. From (A.26), noting that K1′M2 K1 is scalar, the variance of S1(r) is seen to be σ2l11−2σ11−1ω−2(K1′M2 K1)−1, and (A.18) implies that the variance of wm(r) is given by σ2l11−2σ11−1. Consequently,

Substituting for S1(r) from (A.27) into (A.25) yields

From (A.23),

The result in (23) is easily obtained by substituting (A.28) and (A.29) into (A.22) and using σ = l11σ111/2(k′k)1/2. █
Proof of Theorem 2. For (i), note, first, that the Wald statistic (25) to test the null for no cointegration in season s is

Then, from Lemma 3,


where Bsx(r) = [Bs(1),Bs(2),…, Bs(m)]′. Using (17) with Ψ(1)(1) = 1, and the fact that in the spurious regression case Σ = diag{σ11,σ22,…, σmm}, it is possible to see that

Substituting into (A.30) it then follows that
where, as in Boswijk and Franses (1996),

Substituting (A.32) in (A.31) yields the result in (27).
For the joint test statistic, because of the seasonal dummy variables,
as given in (28). █