1. INTRODUCTION
The hazard function is central in modeling of econometric duration data. Economic theory often has more direct implications for the hazard function than for other descriptions of the duration distribution, as the hazard function may reflect decisions taken over time, conditional on past events. For example, in unemployment duration data, the hazard function may reflect decisions to accept or reject job offers appearing to unemployed workers in a random flow.
Inference about the hazard function using duration data is nontrivial in the presence of unobserved heterogeneity. Estimators that do not take heterogeneity explicitly into account tend to give a negative bias of the slope of the hazard function; see Heckman and Singer (1984a).
One common class of models taking unobserved heterogeneity explicitly into account is mixed hazards (MH) models. In MH models, unobserved heterogeneity is modeled in terms of individual specific independent random variables. Let V be such a random variable with a distribution function F, with support on the positive real line. Then, the conditional hazard function θ (conditional on V = v) is defined as

where λ is the structural hazard function, t is duration, and x is a vector of covariates.
In the literature, MH models usually appear in the form of mixed proportional hazards (MPH) models, where it is also required that the structural hazard function factors into separate functions of duration and covariates. The MPH model was introduced in econometrics by Lancaster (1979), as a generalization of the proportional hazards model from Cox (1972). Lancaster and Nickel (1980) observed that without variation in x, it may be impossible to distinguish between different combinations of λ and F from a sample of durations. However, Elbers and Ridder (1982) and Heckman and Singer (1984b) showed under different conditions on F that variation over observations in the covariates is sufficient to identify the MPH model. For surveys of nonparametric identification results for duration models, see Heckman and Taber (1994) or van den Berg (2001).
From the perspective of applied work, there are two important problems with these results. First, the proportional hazards assumption does not usually have any firm theoretical basis (see van den Berg, 2001) and is empirically questionable, at least for applications to unemployment duration data (see McCall, 1994b). Second, the models are only identified under the assumption that the distribution function F has finite mean or under an assumption about the thickness of the tail of F, and these assumptions give rise to different identified models; see Ridder (1990).
One alternative to the proportional hazards assumption is to rely on semiparametric identification results, such as McCall (1996). Another alternative is to base identification on data with multiple spells per individual; see Honoré (1993). The result presented in the next section provides an alternative requirement on the data for identification of MH models. It is shown that in the presence of covariates that not only vary across observations but also over time within individual observations, the MH model is nonparametrically identified with single spell duration data.
2. THE IDENTIFICATION RESULT
Define a covariate path as a function

. Let

be a family of such paths.
The role of a structure of the MH model is to specify the distribution of a nonnegative random variable T as a function on S. The survival function of T,

is given by

where φ is the Laplace transform of another nonnegative random variable V and

where

.
A structure of the MH model is defined as a pair (φ,λ) that satisfies the preceding requirements. The MH model is defined as the set of all such admissible pairs. The regular continuous time MH model is defined as the subset of the MH model with continuous and strictly decreasing survival functions.
The MH model is identified if the structure of the MH model is uniquely determined by G or equivalently, if no two different structures imply the same survival function. The MH model is identified up to a trivial normalization if two structures {γ,π} and {φ,λ} that imply the same survival function must satisfy π(t,x) = αλ(t,x), γ(αs) = φ(s) for some α > 0.
Identification depends on the domain of the survival function G, that is, the variation in covariate paths. The following condition on this domain will be sufficient for the identification result.
Condition 1. There are two elements x1 ∈ S and x2 ∈ S, such that x1(t) = x2(t) for t ∈ (t0,t1), for some

, with t0 < t1 and G(t0; x1) ≠ G(t0; x2).
THEOREM 1. Under Condition 1, the regular continuous time MH model is identified up to a trivial normalization.
Proof. Assume that G(t0; x1) < G(t0; x2). It is clear that Λ(t,x1) = Λ(t,x2) + C on (t0,t1), with C > 0. Fix C to an arbitrary value.
Define the function g(s) = φ(φ−1(s) + C) for s ∈ (0,1]. There is a one-to-one relationship between g and φ. That g is uniquely determined by φ is trivial. The fact that φ is uniquely determined by g requires a deeper argument.
A completely monotone function (such as a Laplace transform) is uniquely determined by its values at a sequence of points such that the sum of the inverses of the points diverges. This follows from the Muntz theorem; see Feller (1968) or the footnote at page 430 in Feller (1971). As φ−1(1) = 0, φ(C) = g(1). Further, φ(2C) = g(g(1)), φ(3C) = g(g(g(1))), etc. Now, g uniquely determines φ at C, 2C,…, and thus uniquely determines φ everywhere as

diverges.
For t ∈ (t0,t1),

The term G(t; x2) takes on values on an open set as t ranges over (t0,t1). Thus, equation (4) holds with the argument of g taking on values on an open set. As g is analytic, g is then uniquely determined. Using the one-to-one relationship between g and φ, the Laplace transform φ is then uniquely determined.
With the Laplace transform uniquely determined, the integrated structural hazard function follows as

Different choices of C lead to trivially different models. If C = C1 gives the structure {φ,λ}, and C = C2 = αC1 for some α > 0 gives {γ,π}, then π(t,x(t)) = αλ(t,x(t)) for all t > 0, x ∈ S, and γ(αr) = φ(r). █
There are two main features to note from Theorem 1, as compared to the known identification results for MH models from Elbers and Ridder (1982), Heckman and Singer (1984b), and Ridder (1990). First, the proportional hazards assumption is not necessary for identification of the model. Second, no assumptions on the moments or the tail of the distribution of the random variable are necessary for identification. It should be noted that Heckman and Taber (1994) presented a result from a working paper by Honoré (1991), showing that the latter kind of assumption is dispensable with time-varying covariates. The result is proved in an MPH model, and the proof requires the proportional hazards assumption.
3. DISCUSSION
To get more intuition for the result given previously, it is worthwhile to study the unconditional hazard function, derived from the unconditional survival function,

where φ′ denotes the derivative of the Laplace transform φ. The ratio in front of the structural hazard function expresses the conditional expectation of V, given survival to t. This expectation is completely determined by, and nondecreasing in, the survival probability.
The shape of φ is identified through the effect of survival probability on the unconditional hazard function. To separate the effects of covariates through the conditional expectation of heterogeneity and through the structural hazard function, we need an exclusion restriction: Some covariates that affect the survival probability to t (for some t) must be excluded from affecting the structural hazard rate at t. Such an exclusion restriction is implicit in time-varying covariates. As a simple example, unconditional hazard functions that are independent of past covariates (that affect survival probability) imply no unobserved heterogeneity.
Nonparametric identification in the MH model without the proportional hazards assumption has previously been studied by Heckman (1991) and McCall (1994a). Heckman (1991) shows that the structural hazard function is identified in the neighborhood of t = 0 as

for t = 0, where ∼ means “is proportional to.” The intuition is simple. At t = 0, there has been no selection of the sample, and the conditional expectation of V equals the unconditional expectation.
In McCall (1994a), the argument in Heckman (1991) is generalized to the case with time-varying covariates. The following argument is used: If (i) x = {x(t),t ≥ 0} is a stochastic jump process with random waiting times, such that the probability for a jump in any period of positive length is positive, and (ii) λ(t; x) → 0 for some x, then

for all x such that λ(s; x) → 0 for all s < t. Identification of the structural hazard function is thus based on the subset of covariate paths with survival probability approaching 1. It is only necessary to use this argument for small t, as the identification of λ(t,x) in an arbitrarily small interval is sufficient for full identification of the model through the analyticity of the Laplace transform.
It is useful to highlight the differences from Theorem 1. In McCall (1994a) covariates are required to change (with some probability) along the continuous time scale. In Theorem 1, covariates are required to change only once. In McCall (1994a), covariates must affect the structural hazard rate such that the structural hazard rate approaches zero as the covariates approach some limit. In Theorem 1, the only requirement is that the covariates take on at least two values that give different structural hazard rates.
Instead of explicitly specifying a covariate process, Theorem 1 is given with a condition on the covariate process involved. The crucial feature is that there is, for some time t, variation in x(s) for some s < t over observations with the same x(t). This excludes three types of covariate processes: constant processes (such as gender), covariate processes that do not vary over the population but vary only over time (such as aggregate unemployment rates), and covariate processes where past covariate values are functions of current covariate values (such as age). In addition, covariate processes that do not affect the survival probabilities will not satisfy Condition 1.
The minimalist covariate process that will satisfy Condition 1 is a process taking on two values, constant until a jump time t, when some, but not all, observations change value. This process illustrates how small the required variation actually is. More variation will not lead to problems of identification. Identification, in consistency with the literature, is defined as whether the structure of the model is derivable from the unconditional survival function (unconditional on unobserved heterogeneity, conditional on covariates). Thus, whether the unconditional survival function is identified from data is not considered.
With this in mind, it is hard to come up with covariate processes varying over time and observations that do not satisfy Condition 1. I will mention two examples of time-varying covariates from unemployment duration analysis that could satisfy Condition 1. First, for reduced form analysis, indicators of local labor market conditions will typically vary over time and individuals, assuming data for more than one locality. Second, more structural analyses could use the present value of future unemployment benefits as a covariate. Such a variable would vary over time and individuals as required if, for example, individuals with different benefit entitlements approach an expiry date for the benefits.
Nonparametric identification results play an important role as a heuristic tool for model specification in complex models of duration data. The absence of nonparametric identification implies that parametric specification, which is often ad hoc, plays a crucial role in inference. With variation over time in covariates, the proportional hazards assumption is not crucial for separating structural duration dependence and unobserved heterogeneity.