Abstract
In this paper, we want to find a continuous function fitting through the discrete covariance sequence generated by a stationary AR process. This function can be determined as soon as the Yule–Walker equations are found. The procedure consists of two steps. At first the inverse zeros of the characteristic polynomial of the AR process must be fixed. The second step is based on the fact that an AR process can also be seen as a difference equation. By solving this difference equation, it is possible to determine a class of functions from which a candidate for a continuous covariance function can be determined. To analyze if this function is applicable as a positive definite covariance function, it is analyzed mathematically in view of the power spectral density compared to the characteristics of the power spectral density for the discrete covariances. Then it is shown that this function is positive semi-definite. At the end, a simulation of a stationary AR(3) process is elaborated to illustrate the derived properties.
1. Introduction
In geodesy the observations or analyzed signals are often discrete measurements which repeat at regular distances. For example, deformation observations (repeating in time) or data from satellite missions such as GOCE (repeating in time and space). It is a common way to describe regular and equidistant signals by auto regressive moving average (ARMA) processes [1,2,3,4,5].
Within this contribution we focus on the analysis of the AR part. This AR part defines the causal link between an observation and its predecessors. Additionally, Least Squares Collocation (LSC) (see e.g., [6,7,8]) and kriging [9,10] are benefiting from the use of AR processes. For example, the inverse of a covariance matrix, based on AR process, is a band matrix witch bandwidth equals the order of the AR process (see e.g., [11]).
However, to activate the full potential of LSC a continuous covariance function is indispensable. With this function it will be possible to predict a pseudo signal between the observations. Furthermore, it is possible to predict the signal outside the observation field and not only for a multiple of the sampling rate. Moreover, refs. [12,13] used a continuous covariance function to switch from one functional to another (Like using sea level heights to calculate sea level changes which are proportional to the stream velocity).
In this paper, we want to find an analytical description of a continuous function fitting through the discrete sequence of covariances generated by any stationary AR process. This function is derived from the coefficients of the AR process and the discrete covariances using a system of equations with a unique solution. The resulting function should be positive definite, and its spectrum is expected to correspond to the spectrum of the discrete AR process. It will turn out that this function is the continuous solution of the difference equation and correctly interpolates the discrete covariance sequence with appropriate basis functions, indeed following sampling theory/convolution theorem. In the end an example is given by a simulated AR process and the accompanying continuous covariance function as well as the two spectra are estimated.
2. Continuous Covariance Function
To find a suitable covariance function for any stationary AR process the definition of AR processes is a good starting point. Especially the transfer from the AR process to the difference equation approach will lead us to the continuous representation we looked for (The following definitions could be found in [14,15,16,17,18]. Here the notation of [17] is used).
2.1. Construction of a Continuous Covariance Function
The process is called one-dimensional AR process of order p (AR(p) process) if it is described by the recursive equation
where , , ..., are the coefficients of the AR process and is a i.i.d. sequence with variance [17] (p. 58, Equation (3.4.31)). We assume that , as otherwise the AR(p) process is also an AR process so that AR(p) is not well-defined (In addition, if some formulas in this paper cannot be used).
An important quantity is the zeros () of an AR(p) process defined by the zeros of the characteristic polynomial
see e.g., [17] (p. 58, Equation (3.4.32)).
An alternative definition is given by the auxiliary equation if we interpret the AR process as a difference equation which has the general solution (see [19], p. 134, Equation (3.33))
These zeros only occur as real values or in pairs of complex conjugated zeros. Bear in mind that the zeros of the characteristic polynomial from Equation (2) are linked to the zeros of the auxiliary equation (cf. Equation (3)) by . AR processes are stationary if and only if the are outside the unit circle, such that . In the following we will restrict to for simplicity.
With this definitions in mind, the discrete covariances of an AR(p) process, are linked with each other by the Yule–Walker (YW) equations (see e.g., [17], p. 59, Equation (3.4.36)), i.e.,
The YW equation of higher order than 0 (Equation (5)) are basically homogeneous difference equations of order p,
The general solution to the difference equation can be expressed by the powers of the zeros of the auxiliary Equation (3). The particular solution is fixed by the boundary conditions using the discrete covariances determined from the YW equations (cf. Equation (5)),
Here are coefficients which are complex if and only if the corresponding is complex. Furthermore, if there is a pair of complex conjugated then occur also as complex conjugated pairs (see e.g., [18], p. 134, Equation (3.5.44) or [19], p.163, f.).
At this point a new but now continuous function is defined, which can be seen as the continuous covariance function for any AR(p) process,
Here and are the same as in Equation (7), but the domain changed. is replaced by .
Attentive readers will have noticed that is complex if any . Then for all . One important convention that will help with this inconsistency is the use of the real part of the complex function (see Figure 1). This condition will not have any impact if is real (what is mostly the case), and furthermore a covariance function for real valued signals is defined to be a function in not in .
Figure 1.
Real part, imaginary part and sum of both parts of a complex covariance function of an AR process with pole −0.8.
2.2. Properties of the Continuous Covariance Function
Since with from Equation (8) a suitable function is found to fit through the discrete covariances from Equation (7), we want to analyze the power spectral densities of the continuous and the discrete functions. On this basis we can demonstrate that the Fourier transform of the continuous covariance function is positive semi-definite.
Initially the problem restricted to AR processes of order 1 and order 2 with two complex conjugated zeros. On the one hand any AR(p) process can be dissected into a product of AR(1) and AR(2) processes. This is a linear function, so the power spectral function is the product of the corresponding AR(1) processes and AR(2) processes. On the other hand, Equation (8) shows that the covariance function is a weighted sum of the real valued zeros, or pairs of complex conjugated zeros. So, the zeros are also in a linear relation, and so is the Fourier transform. So, it is only necessary to examine the spectrum and the Fourier transform for the first order AR process and second order AR process with two complex conjugated zeros.
For these specific types of AR processes there is an analytical solution to switch from AR coefficients to the zeros (see [20]),
2.2.1. Power Spectral Density
The power spectral density for an AR(p) process is well known (see e.g., [16], p. 244, Equation (11.20)) and is described by the transfer function
In consideration of Equations (9) and (10) the power spectral density for any AR(1) process and AR(2) process with complex conjugated zero can be calculated explicitly. So, the power spectral density AR(1) process is generated via
For the AR(2) process with zeros the power spectral density is a little more complicated and turns out to be
Using the Fourier transform of the covariance function
is an alternative way to derive the power spectral density (For further derivations of the Fourier transform see Appendix A). However, . Especially Equation (11) shows ) as a function whose only parameter arise as power of the complex function . Therefore is a repetitive function with period 1. In contrast, Equation (14) shows is aperiodic function with . To understand this circumstance two theorems are of importance:
- The discrete covariances of an AR(p) process () are equivalent to the product of the Dirac comb with the continuous covariance function .
- The convolution theorem shows that multiplication in time domain results in convolution in frequency domain.
Combining these two pieces of information shows indeed that but
where is the Dirac comb of distance 1 and is the convolution of and the Dirac comb. The transitions from continuous functions to discrete sequences as well as the resulting Fourier transforms are shown in Figure 2 (For a more detailed method of calculation for AR(1) and AR(2) processes see Appendix C).
Figure 2.
Magic square for the convolution of a continuous covariance function with a Dirac comb.
2.2.2. Positive Semi-Definite Function
Equation (15) shows that knowing if is positive semi-definite is not sufficient to guarantee that the Fourier transform of the continuous function is positive semi-definite too. Therefore, the explicit Fourier transforms of the AR(1) and AR(2) process are derived here. For the case of the AR(1) process it is easy to see that for the Fourier transform of the covariance function
holds (For the derivation of this formula see Appendix B.1). Neither the squared terms could be less than 0 nor or due to the fact that p lies within the unit circle.
For the AR(2) process things are not that obvious. In Appendix B.2 it is demonstrated that the Fourier transform of is
To work with complex valued fractions, it is necessary to eliminate the imaginary part in the denominator. This is done by multiplying each term of the sum with the complex conjugated denominator divided by itself. Afterwards it is simple to pick the real part. To simplify the formula, we use the polar coordinates , and with and . So, it can be shown that the numerator is positive () if and only if
The function and are displayed in Figure 3 and Figure 4 (Since , the negative values of are not needed). On the one hand is a declining function with infimum 1. On the other hand, the function is also declining, with a maximum of 1. Thus, infimum , which evaluate that Equation (18) is always satisfied.
Figure 3.
The function for .
Figure 4.
The function for , and an enlarged section of the beginning.
3. Simulation
To visualize the results from Section 2 of an AR(3) process with two complex conjugated zeros was generated as an example. First to guarantee stationarity the roots are chosen as
Let the variance of the white noise be = 1. After deriving the coefficients , , using Equation (3), we estimate the discrete covariances () of the AR(3) process by the reorganized YW equations (see [21], p. 32, Equation (183)). With Equation (8) a continuous function is fitted through the discrete covariances (see the left upper corner of Figure 5). Subsequently the power spectral density is set first by Equation (11) using the coefficients and secondly by Equation (14). For the second step the coefficients are estimated by solving the system of equations
Figure 5.
Magic square for a convolution of a continuous covariance function of an AR(3) process with a Dirac comb.
Here the zeros and covariances are known. Each row represents Equation (7) for . The coefficients are used in Equation (8) to estimate the power spectral density of the continuous covariance function. It must be mentioned that this example is an extreme one where the Fourier transform of the continuous covariance function has high values for frequencies higher the Nyquist frequency . The Fourier transform of the continuous covariance function is not periodic at all (compare right upper corner of Figure 5). However, periodicity is the characteristic of the spectral density of a discrete AR process. Therefore, the periodicity is a result of the convolution of the Dirac comb and .
4. Conclusions and Outlook
In this paper, it was shown that the choice of a valid continuous covariance function for AR(p) processes is given by the function
Here is the lag, are the roots of the characteristic polynomial, and follows from the unique solution of Equation (14) for p arbitrarily chosen discrete covariances , , ..., (with , and ):
Due to the convolution theorem, the power spectral density of might be different to the power spectral density of the discrete AR(p) process. Nevertheless, the proof was given that is still positive semi-definite (cf. Section 2.2.2), and consequently meets all conditions for a suitable covariance function. The Fourier transforms and may not vary much for and the simulation (see Section 3) is an extreme example. Anyway is an exponential function, so it is easy to use it as functional for covariance function propagation or LSC.
In further works the continuous covariance function could be extended to a function for an autoregressive moving average (ARMA) process to examine its properties. It is not yet demonstrated that the oscillation of leads towards the minimal frequency if there is a real negative zero ( for any l).
Author Contributions
Conceptualization, methodology, formal analysis, investigation, software, validation, visualization, data curation, writing—Original draft preparation: J.K., writing—Review and editing: J.K., T.S., J.M.B. and W.-D.S., funding acquisition, project administration, resources, supervision: W.-D.S. All authors have read and agreed to the published version of the manuscript.
Funding
This research is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)—Grant No. 435703911 (SCHU 2305/7-1 ‘Nonstationary stochastic processes in least squares collocation—NonStopLSC’).
Conflicts of Interest
The authors declare no conflict of interest.
Appendix A. General Fourier Transform of an AR(p) Process
In this part the Fourier transform of a function with is computed,
Please note that and might be complex, but this will not have any influence on the equations.
Appendix B. Explicit Fourier Transform of the AR(1) Process and AR(2) Process with Two Complex Conjugated Zeros
In this section, the explicit Fourier transform of the continuous covariance function for the orders and are given as function of h, and the zeros .
Appendix B.1. Fourier Transform of the Continuous Covariance Function of AR(1) Processes
First the discrete covariance must be computed as function of the zero . This is done by the reorganized YW equations (see [21], p. 32, Equation (183)):
Insert in Equation (14) for order to obtain
Appendix B.2. Fourier Transform of the Continuous Covariance Function of AR(2) Processes with Two Complex Conjugated Zeros
Like in the last subsection the discrete covariances and are computed by the reorganized YW equations:
With the transformation from to (cf. Equation (10)) the discrete covariances are set by
This time Equation (7) is an equation system in the two variables and . Here the first and second discrete covariances (, ) are used:
Including the solution for and to obtain and as function of and leads to
Due two , inserting and in Equation (14) leads to the sum of two complex conjugated values. This is equally to two times the real part of the complex value:
Appendix C. Convolution of the Fourier Transform of a Continuous Covariance Function of an AR Process with a Dirac Comb
The convolution theorem means if and are the Fourier transforms of the function and , then
In this context, (see Equation (8)) and (see Equation (14)). For (the Dirac comb of distance ) the Fourier transform is again a Dirac comb of distance . So, in the time domain is the same function as in the frequency domain (for : ). Using these results leads to
In step (i) the sum and the integral are exchanged. Step (ii) represents the ability of the Dirac impulse that . Finally, (iii) uses the frequency shift of the inverse Fourier transform (see e.g., [16], p. 26, Table 2.2). Using this function to compute the power spectral density for an AR(1) process will result in Equation (12) or in the case of an AR(2) process with two complex conjugated zeros in Equation (13).
References
- Förstner, W. Determination of the additive noise variance in observed autoregressive processes using variance component estimation technique. Stat. Decis. 1985, 2, 263–274. [Google Scholar]
- Förstner, W.; Wrobel, B.P. Photogrammetric Computer Vision–Statistics; Springer: Berlin/Heidelberg, Germany, 2016; Volume 6. [Google Scholar]
- Koch, K. Rekursive Numerische Filter. Z. Für Vermess. 1975, 100, 281–292. [Google Scholar]
- Schuh, W.D. Tailored Numerical Solution Strategies for the Global Determination of the Earth’s Gravity Field; Mitteilungen Der Geodätischen Institute, Technische Universität Graz (TUG): Graz, Austria, 1996; Volume 81. [Google Scholar]
- Zeng, W.; Fang, X.; Lin, Y.; Huang, X.; Zhou, Y. On the total least-squares estimation for autoregressive model. Taylor Fr. 2018, 50, 186–190. [Google Scholar] [CrossRef]
- Krarup, T. A Contribution to the Mathematical Foundation of Physical Geodesy; Number 44 in Meddelelse; Danish Geodetic Institute: Copenhagen, Denmark, 1969. [Google Scholar]
- Moritz, H. Advanced Least-Squares Methods; Number 175 in Reports of the Department of Geodetic Science, Ohio State University Research Foundation: Columbus, OH, USA, 1972. [Google Scholar]
- Moritz, H. Least-Squares Collocation; Number 75 in Reihe A; Deutsche Geodätische Kommission: München, Germany, 1973. [Google Scholar]
- Dermanis, A. Kriging and collocation: A comparison. Manuscr. Geod. 1984, 9, 159–167. [Google Scholar]
- Schuh, W.D. Signalverarbeitung in Der Physikalischen Geodäsie. In Handbuch Der Geodäsie, Erdmessung Und Satellitengeodäsie; Freeden, W., Rummel, R., Eds.; Springer Reference Naturwissenschaften; Springer: Berlin/Heidelberg, Germany, 2016; pp. 73–121. [Google Scholar] [CrossRef]
- Schuh, W.D.; Brockmann, J. The Numerical Treatment of Covariance Stationary Processes in Least Squares Collocation. In Handbuch Der Geodäsie; Freeden, W., Ed.; Springer: Berlin/Heidelberg, Germany, 2018. [Google Scholar] [CrossRef]
- Moritz, H. Advanced Physical Geodesy; Wichmann: Karlsruhe, Germany, 1980. [Google Scholar]
- Reguzzoni, M.; Sansó, F.; Venuti, G. The Theory of General Kriging, with Applications to the Determination of a Local Geoid. Geophys. J. Int. 2005, 162, 303–314. [Google Scholar] [CrossRef] [Green Version]
- Box, G.E.P.; Jenkins, G.M.; Reinsel, G.C. Time Series Analysis: Forecasting and Control, Fourth Edition; Wiley Series in Probability and Statistics; John Wiley & Sons: Hoboken, NJ, USA, 2008. [Google Scholar] [CrossRef]
- Brockwell, P.J.; Davis, R.A. Time Series Theory and Methods, 2nd ed.; Springer Series in Statistics; Springer: New York, NY, USA, 1991. [Google Scholar] [CrossRef]
- Buttkus, B. Spectral Analysis and Filter Theory in Applied Geophysics; Springer: Berlin/Heidelberg, Germany, 2000. [Google Scholar] [CrossRef]
- Hamilton, J.D. Time Series Analysis; Princeton University Press: Princeton, NJ, USA, 1994. [Google Scholar]
- Priestley, M.B. Spectral Analysis and Time Series; Academic Press: London, UK; New York, NY, USA, 1981. [Google Scholar]
- Goldberg, S. Introduction to Difference Equations; Reprint ed.; Dover Publications: Mineola, NY, USA, 1986. [Google Scholar]
- Viète, F. Opera Mathematica, 1579; Reprinted in Leiden, Netherlands, 1646. [CrossRef]
- Schuh, W.D.; Krasbutter, I.; Kargoll, B. Korrelierte Messung—Was Nun. In Zeitabhängige Messgrößen—Ihre Daten Haben (Mehr-) Wert; Neuner, H., Ed.; DVW-Schriftenreihe; Wißner: Augsburg, Germany, 2014; Volume 74, pp. 85–101. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2021 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).