Excluded point topology

Prony analysis (Prony's method) was developed by Gaspard Riche de Prony in 1795. However, practical use of the method awaited the digital computer. Similar to the Fourier transform, Prony's method extracts valuable information from a uniformly sampled signal and builds a series of damped complex exponentials or sinusoids. This allows for the estimation of frequency, amplitude, phase and damping components of a signal.

The method

Let $f(t)$ be a signal consisting of $N$ evenly spaced samples. Prony's method fits a function

$\hat{f}(t)=\sum _{i=1}^N{A}_i{e}^{{\sigma }_{i}t}\cos (2\pi f_{i}t+{\varphi }_i)$

to the observed $f(t)$. After some manipulation utilizing Euler's formula, the following result is obtained. This allows more direct computation of terms.

$\begin{array}{rl}\hat{f}(t)& =\sum _{i=1}^N{A}_i{e}^{{\sigma }_{i}t}\cos (2\pi f_{i}t+{\varphi }_i)\\ & =\sum _{i=1}^N\frac{1}{2}{A}_i{e}^{\pm j{\varphi }_i}{e}^{{\lambda }_{i}t}\end{array}$

where:

• ${\lambda }_i={\sigma }_i\pm j{\omega }_i$ are the eigenvalues of the system,
• ${\sigma }_i$ are the damping components,
• ${\varphi }_i$ are the phase components,
• $f_i$ are the frequency components,
• $A_i$ are the amplitude components of the series, and
• $j$ is the imaginary unit ($j^2=-1$).

Representations

Prony's method is essentially a decomposition of a signal with $M$ complex exponentials via the following process:

Regularly sample $\hat{f}(t)$ so that the $n$-th of $N$ samples may be written as

$F_n=\hat{f}({\mathrm{\Delta }}_{t}n)=\sum _{m=1}^M{\mathrm{B}}_m{e}^{{\lambda }_m{\mathrm{\Delta }}_{t}n}.$

If $\hat{f}(t)$ happens to consist of damped sinusoids, then there will be pairs of complex exponentials such that

$\begin{array}{rl}{\mathrm{B}}_a& =\frac{1}{2}{A}_i{e}^{{\varphi }_{i}j},\\ {\mathrm{B}}_b& =\frac{1}{2}{A}_i{e}^{-{\varphi }_{i}j},\\ {\lambda }_a& ={\sigma }_i+j{\omega }_i,\\ {\lambda }_b& ={\sigma }_i-j{\omega }_i,\end{array}$

where

$\begin{array}{rl}{\mathrm{B}}_a{e}^{{\lambda }_{a}t}+{\mathrm{B}}_b{e}^{{\lambda }_{b}t}& =\frac{1}{2}{A}_i{e}^{{\varphi }_{i}j}{e}^{({\sigma }_i+j{\omega }_i)t}+\frac{1}{2}{A}_i{e}^{-{\varphi }_{i}j}{e}^{({\sigma }_i-j{\omega }_i)t}\\ & =A_i{e}^{{\sigma }_{i}t}\cos ({\omega }_{i}t+{\varphi }_i).\end{array}$

Because the summation of complex exponentials is the homogeneous solution to a linear difference equation, the following difference equation will exist:

$\hat{f}({\mathrm{\Delta }}_{t}n)=-\sum _{m=1}^M\hat{f}[{\mathrm{\Delta }}_t(n-m)]P_m.$

The key to Prony's Method is that the coefficients in the difference equation are related to the following polynomial:

$\sum _{m=1}^{M+1}{P}_m{x}^{m-1}=\prod _{m=1}^M(x-e^{{\lambda }_m}).$

These facts lead to the following three steps to Prony's Method:

1) Construct and solve the matrix equation for the $P_m$ values:

$\left[\begin{array}{c}{F}_N\\ ⋮\\ F_{2N-1}\end{array}\right]=-\left[\begin{array}{ccc}{F}_{N-1}& \dots & F_0\\ ⋮& \ddots & ⋮\\ F_{2N-2}& \dots & F_{N-1}\end{array}\right]\left[\begin{array}{c}{P}_1\\ ⋮\\ P_M\end{array}\right].$

Note that if $N\ne M$, a generalized matrix inverse may be needed to find the values $P_m$.

2) After finding the $P_m$ values find the roots (numerically if necessary) of the polynomial

$x^M+\sum _{m=1}^M{P}_m{x}^{m-1}.$

The $m$-th root of this polynomial will be equal to $e^{{\lambda }_m}$.

3) With the $e^{{\lambda }_m}$ values the $F_n$ values are part of a system of linear equations that may be used to solve for the ${\mathrm{B}}_m$ values:

$\left[\begin{array}{c}{F}_{k_1}\\ ⋮\\ F_{k_M}\end{array}\right]=\left[\begin{array}{ccc}(e^{{\lambda }_1}{)}^{k_1}& \dots & (e^{{\lambda }_M}{)}^{k_1}\\ ⋮& \ddots & ⋮\\ (e^{{\lambda }_1}{)}^{k_M}& \dots & (e^{{\lambda }_M}{)}^{k_M}\end{array}\right]\left[\begin{array}{c}{\mathrm{B}}_1\\ ⋮\\ {\mathrm{B}}_M\end{array}\right],$

where $M$ unique values $k_i$ are used. It is possible to use a generalized matrix inverse if more than $M$ samples are used.

Note that solving for ${\lambda }_m$ will yield ambiguities, since only $e^{{\lambda }_m}$ was solved for, and $e^{{\lambda }_m}=e^{{\lambda }_m+q2\pi j}$ for an integer $q$. This leads to the same Nyquist sampling criteria that discrete Fourier transforms are subject to:

$|Im({\lambda }_m)|=\left|{\omega }_m\right|<\frac{1}{2{\mathrm{\Delta }}_t}.$

Example

File:Prony2.jpg

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

• Rob Carriere and Randolph L. Moses, "High Resolution Radar Target Modeling Using a Modified Prony Estimator", IEEE Trans. Antennas Propogat., vol.40, pp. 13–18, January 1992.