The generalized functional linear model (GFLM) is an extension of the generalized linear model (GLM) that allows one to regress univariate responses of various types (continuous or discrete) on functional predictors, which are mostly random trajectories generated by a square-integrable stochastic processes. Similarly to GLM, a link function relates the expected value of the response variable to a linear predictor, which in case of GFLM is obtained by forming the scalar product of the random predictor function ${\displaystyle X}$ with a smooth parameter function ${\displaystyle \beta }$. Functional Linear Regression, Functional Poisson Regression and Functional Binomial Regression, with the important Functional Logistic Regression included, are special cases of GFLM. Applications of GFLM include classification and discrimination of stochastic processes and functional data.^[1]

Overview

A key aspect of GFLM is estimation and inference for the smooth parameter function ${\displaystyle \beta }$ which is usually obtained by dimension reduction of the infinite dimensional functional predictor. A common method is to expand the predictor function ${\displaystyle X}$ in an orthonormal basis of L² space, the Hilbert space of square integrable functions with the simultaneous expansion of the parameter function in the same basis. This representation is then combined with a truncation step to reduce the contribution of the parameter function ${\displaystyle \beta }$ in the linear predictor to a finite number of regression coefficients. Functional principal component analysis (FPCA) that employs the Karhunen–Loève expansion is a common and parsimonious approach to accomplish this. Other orthogonal expansions, like Fourier expansions and B-spline expansions may also be employed for the dimension reduction step. The Akaike information criterion (AIC) can be used for selecting the number of included components. Minimization of cross-validation prediction errors is another criterion often used in classification applications. Once the dimension of the predictor process has been reduced, the simplified linear predictor allows to use GLM and quasi-likelihood estimation techniques to obtain estimates of the finite dimensional regression coefficients which in turn provide an estimate of the parameter function ${\displaystyle \beta }$ in the GFLM.

Model components

Formulation

In order to implement the necessary dimension reduction, the centered predictor process ${\displaystyle X^{c}(t)}$ and the parameter function ${\displaystyle \beta (t)}$ are expanded as,

${\displaystyle X^{c}(t)=\sum _{j=1}^{\infty }\xi _{j}\rho _{j}(t){\text{ and }}\beta (t)=\sum _{j=1}^{\infty }\beta _{j}\rho _{j}(t),}$

where ${\displaystyle \rho _{j},j=1,2,\ldots }$ is an orthonormal basis of the function space ${\displaystyle L^{2}(dw),}$ such that ${\displaystyle \int _{T}\rho _{j}(t)\rho _{k}(t)\,dw(t)=\delta _{jk}}$ where ${\displaystyle \delta _{jk}=1}$ if ${\displaystyle j=k}$ and ${\displaystyle 0}$ otherwise.

The random variables ${\displaystyle \xi _{j}}$ are given by ${\displaystyle \xi _{j}=\int X^{c}(t)\rho _{j}(t)\,dw(t)}$ and the coefficients ${\displaystyle \beta _{j}}$ as ${\displaystyle \beta _{j}=\int \beta (t)\rho _{j}(t)\,dw(t)}$ for ${\displaystyle j=1,2,\ldots }$.

${\displaystyle {\text{E}}(\xi _{j})=0}$ and ${\displaystyle \sum _{j=1}^{\infty }\beta _{j}^{2}<\infty }$ and denoting ${\displaystyle \sigma _{j}^{2}={\text{Var}}(\xi _{j})={\text{E}}(\xi _{j}^{2})}$, so ${\displaystyle \sum _{j=1}^{\infty }\sigma _{j}^{2}=\int {\text{E}}(X^{c}(t))^{2}\,dw(t)<\infty }$.

From the orthonormality of the basis functions ${\displaystyle \rho _{j}}$, it follows immediately that ${\displaystyle \int X^{c}(t)\beta (t)\,dw(t)=\sum _{j=1}^{\infty }\beta _{j}\xi _{j}}$.

The key step is then approximating ${\displaystyle \eta =\alpha +\int X^{c}(t)\beta (t)\,dw(t)=\alpha +\sum _{j=1}^{\infty }\beta _{j}\xi _{j}}$ by ${\displaystyle \eta \approx \alpha +\sum _{j=1}^{p}\beta _{j}\xi _{j}}$ for a suitably chosen truncation point ${\displaystyle p}$.

FPCA gives the most parsimonious approximation of the linear predictor for a given number of basis functions as the eigenfunction basis explains more of the variation than any other set of basis functions.

For a differentiable link function with bounded first derivative, the approximation error of the ${\displaystyle p}$-truncated model i.e. the linear predictor truncated to the summation of the first ${\displaystyle p}$ components, is a constant multiple of ${\displaystyle {\text{Var}}(\sum _{j=p+1}^{\infty }\beta _{j}\xi _{j})={\text{E}}\left(\left(\sum _{j=p+1}^{\infty }\beta _{j}\xi _{j}\right)^{2}\right)=\sum _{j=p+1}^{\infty }\beta _{j}\sigma _{j}^{2}}$.

A heuristic motivation for the truncation strategy derives from the fact that ${\displaystyle {\text{E}}\left(\left(\sum _{j=p+1}^{\infty }\beta _{j}\xi _{j}\right)^{2}\right)=\sum _{j=p+1}^{\infty }\beta _{j}\sigma _{j}^{2}\leq \sum _{j=p+1}^{\infty }\beta _{j}^{2}\ \sum _{j=p+1}^{\infty }\sigma _{j}^{2}}$ which is a consequence of the Cauchy–Schwarz inequality and by noting that the right hand side of the last inequality converges to 0 as ${\displaystyle p\rightarrow \infty }$ since both ${\displaystyle \sum _{j=1}^{\infty }\beta _{j}^{2}}$ and ${\displaystyle \sum _{j=1}^{\infty }\sigma _{j}^{2}}$ are finite.

For the special case of the eigenfunction basis, the sequence ${\displaystyle \sigma _{j}^{2},j=1,2,\ldots }$ corresponds to the sequence of the eigenvalues of the covariance kernel ${\displaystyle G(s,t)={\text{Cov}}(X(s),X(t)),\ s,t\in T}$.

For data with ${\displaystyle n}$ i.i.d observations, setting ${\displaystyle \xi _{j}^{0}=1}$, ${\displaystyle \beta _{0}=\alpha }$ and ${\displaystyle \xi _{j}^{i}=\int X_{i}(t)\rho _{j}(t)\,dw(t)}$, the approximated linear predictors can be represented as ${\displaystyle \eta _{i}=\sum _{j=0}^{p}\beta _{j}\xi _{j}^{i},i=1,2,\ldots ,n}$ which are related to the means through ${\displaystyle \mu _{i}=g(\eta _{i})}$.

Estimation

The main aim is to estimate the parameter function ${\displaystyle \beta }$.

Once ${\displaystyle p}$ has been fixed, standard GLM and quasi-likelihood methods can be used for the ${\displaystyle p}$-truncated model to estimate ${\displaystyle {\boldsymbol {\beta }}^{T}=(\beta _{0},\beta _{1},\ldots ,\beta _{p})}$ by solving the estimating equation or the score equation ${\displaystyle U(\beta )=0.}$

The vector valued score function turns out to be ${\displaystyle U(\beta )=\sum _{i=1}^{n}(Y_{i}-\mu _{i})g'(\eta _{i})\xi _{i}/\sigma ^{2}(\mu _{i})}$ which depends on ${\displaystyle {\boldsymbol {\beta }}}$ through ${\displaystyle \mu }$ and ${\displaystyle \eta }$.

Just as in GLM, the equation ${\displaystyle U(\beta )=0}$ is solved using iterative methods like Newton–Raphson (NR) or Fisher scoring (FS) or iteratively reweighted least squares (IWLS) to get the estimate of the regression coefficients ${\displaystyle {\boldsymbol {\hat {\beta }}}}$, leading to the estimate of the parameter function ${\displaystyle {\hat {\beta }}(t)={\hat {\beta }}_{o}+\sum _{j=1}^{p}{\hat {\beta }}_{j}\rho _{j}(t)}$ . When using the canonical link function, these methods are equivalent.

Results are available in the literature of ${\displaystyle p}$-truncated models as ${\displaystyle p\rightarrow \infty }$ which provide asymptotic inference for the deviation of the estimated parametric function from the true parametric function and also asymptotic tests for regression effects and asymptotic confidence regions.

Exponential family response

If the response variable ${\displaystyle Y_{i}}$, given ${\displaystyle X_{i}\in L^{2}(T)}$ follows the one parameter exponential family, then its probability density function or probability mass function (as the case may be) is

${\displaystyle f(y_{i}\mid X_{i})=\exp \left({\frac {y_{i}\theta _{i}-b(\theta _{i})}{\phi }}+c(y_{i},\phi )\right)}$

for some functions ${\displaystyle b}$ and ${\displaystyle c}$ , where ${\displaystyle \theta _{i}}$ is the canonical parameter, and ${\displaystyle \phi }$ is a dispersion parameter which is typically assumed to be positive.

In the canonical set up, ${\displaystyle \eta _{i}=\alpha +\int X_{i}^{c}(t)\beta (t)\,dw(t)=\theta _{i}}$ and from the properties of exponential family,

${\displaystyle \mu _{i}=b'(\theta _{i}),{\text{ and so }}\mu _{i}=b'(\eta _{i}).}$

Hence ${\displaystyle b'}$ serves as a link function and is called the canonical link function.

${\displaystyle {\text{Var}}(y_{i})=\phi b''(\theta _{i})=\phi b''(\eta _{i})=\phi g'(\eta _{i})=\phi g'(g^{-1}(\mu _{i})))}$ is the corresponding variance function and ${\displaystyle \phi }$ the dispersion parameter.

Special cases

Extensions

Extensions of GFLM have been proposed for the cases where there are multiple predictor functions.^[2] Another generalization is called the Semi Parametric Quasi-likelihood Regression (SPQR)^[1] which considers the situation where the link and the variance functions are unknown and are estimated non-parametrically from the data. This situation can also be handled by single or multiple index models, using for example Sliced Inverse Regression (SIR).

Another extension in this domain is Functional Generalized Additive Model (FGAM))^[3] which is a generalization of generalized additive model(GAM) where

${\displaystyle g^{-1}(\operatorname {E} (Y\mid X))=\alpha +\sum _{j=1}^{p}f_{j}(\xi _{j}),}$

where ${\displaystyle \xi _{j}}$ are the expansion coefficients of the random predictor function ${\displaystyle X}$ and each ${\displaystyle f_{j}}$ is an unknown smooth function that has to be estimated and where ${\displaystyle {\text{E}}(f_{j}(\xi _{j}))=0.}$.

In general, estimation in FGAM requires combining IWLS with backfitting. However, if the expansion coefficients are obtained as functional principal components, then in some cases (e.g. Gaussian predictor function ${\displaystyle X}$), they will be independent in which case backfitting is not needed, and one can use popular smoothing methods for estimating the unknown parameter functions ${\displaystyle f_{j}}$.

Application

Egg laying trajectories of medflies for the first 25 days

A popular data set that has been used for a number of analysis in the domain of functional data analysis consists of the number of eggs laid daily until death of 1000 Mediterranean fruit flies (or medflies for short). The plot here shows the egg laying trajectories in the first 25 days of life of about 600 female medflies (those that have at least 20 remaining eggs in their lifetime). The red colored curves belong to those flies that will lay less than the median number of remaining eggs, while the blue colored curves belong to the flies that will lay more than the median number of remaining eggs after age 25. An related problem of classifying medflies as long-lived or short-lived based on the initial egg laying trajectories as predictors and the subsequent longevity of the flies as response has been studied with the GFLM^[1]

See also

References