This section gives some more mathematical details of topics mentioned in the main text of the chapter.
We first give the generalisation of the two variable gaussian to the joint distribution of variables. Defining the covariance matrix , and , then we have
The quadratic function in the exponent has been written in matrix notation with for transpose. In full, it is . Notice that the only information we need for the statistics of the amplitudes at different times is the autocorrelation function , evaluated at all time differences . Formally this is stated as ``the gaussian process is defined by its second order statistics''.
What would be practically useful is an explicit formula for the average value of an arbitrary product in terms of the second order statistics etc. The first step is to see that a product of an odd number of 's averages to zero. (The contributions from & cancel).
For the case of an even number of gaussian variables to be multiplied and averaged, there is a standard trick to evaluate an integral like . Define the Fourier transform of ,
It is a standard result, derived by the usual device of completing the
square, that this Fourier transform is itself a gaussian function of the
's, given by
A sincere attempt to differentiate with respect to and and then put all 's to zero will show that the 's get pulled down in precisely this combination. Deeper thought shows that the pairing rule works even when the 's are not all identical, i.e.,
The last property is easily checked from the single variable gaussian
Since the pairing theorem allows one to calculate all averages, it could even be taken to define a gaussian signal, and that is what we do in the main text.
We now sketch a proof of the sampling theorem. Start with a band limited (i.e containing only frequencies less than ) signal sampled at the Nyquist rate, . The following expression gives a way of constructing a continuous signal from our samples.
It is also known as Whitaker's interpolation formula. Each sinc function is diabolically chosen to give unity at one sample point and zero at all the others, so is guaranteed to agree with our samples of . It is also band limited (Fourier transform of a flat function extending from to ). All that is left to check is that it has the same Fourier coefficients as (it does). And hence, we have reconstructed a band limited function from its Nyquist samples, as promised.
We add a few comments on the notion of Hilbert transform mentioned in the context of associating a complex signal with a real one. It looks rather innocent in the frequency domain, just subtract from the phase of each cosine in the Fourier series of and reassemble to get . In terms of complex Fourier coefficients, it is a multiplication of the positive frequency component by and of the corresponding negative frequency component by , Apart from the , this is just multiplication by a step function of the symmetric type, jumping from minus 1 to plus 1 at zero frequency. Hence, in the time domain, it is a convolution of by a kernel which is the Fourier transform of this step function, viz (the value t=0 being excluded by the usual principal value rule). Explicitly, we have
There is a similar formula relating to which only differs by a minus sign. This is sufficient to show that one needs values from the infinite past, and more disturbingly, future, of to compute . This is beyond the reach of ordinary mortals, even those equipped with the best filters and phase shifters. Practical schemes to derive the complex signal in real time thus have to make approximations as a concession to causality.
As remarked in the main text, there are many complex signals whose real parts would give our measured . The choice made above seemed natural because it was motivated by the quasimonochromatic case. It also has the mathematical property of creating a function which is very well behaved in the upper half plane of regarded as a complex variable, (should one ever want to go there). The reason is that is constructed to have terms like with only positive values of . Hence the pedantic name of ``analytic signal'' for this descendant of the humble phasor. It was the more general problem of continuing something given on the real axis to be well behaved in the upper half plane which attracted someone of Hilbert's IQ to this transform.