In order to show that not all auto covariance functions have a spectral density, I am considering the trigonometric stationary time serie \begin{align} X_t = A \cos(\omega t) + B \sin(\omega t), \end{align} where $A$ and $B$ are uncorrelated random variables with mean $0$ and variance $1$. It could be shown that the auto covariance function is given by \begin{align} \gamma(h) = \cos(\omega h), \end{align} which is not expressible as \begin{align} \int_{-\pi}^{\pi} e^{ih\lambda} f(\lambda)\ d\lambda, \end{align} with $f$ a function on $(-\pi, \pi]$. Therefore, we are interested in the Spectral Representation theorem. It says that $\gamma(\cdot)$ can be written as the Fourier transform of a discrete distribution function. (right-continuous, non-decreasing, bounded on $[-\pi,\pi]$) However, I do not get why \begin{align} F(\lambda) = \begin{cases} 0 \qquad \text{if $\lambda < -\omega$} \\ \frac{1}{2} \qquad \text{if $ -\omega \leq \lambda < \omega$} \\ 1 \qquad \text{if $\lambda \geq \omega$}, \end{cases} \end{align} i.e. \begin{align} \cos(\omega h) = \int_{(-\pi,\pi]} e^{ih\lambda}\ dF(\lambda). \end{align} Any help is appreciated!
2026-03-27 04:15:01.1774584901
Spectral Representation theorem
545 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in REAL-ANALYSIS
- how is my proof on equinumerous sets
- Finding radius of convergence $\sum _{n=0}^{}(2+(-1)^n)^nz^n$
- Optimization - If the sum of objective functions are similar, will sum of argmax's be similar
- On sufficient condition for pre-compactness "in measure"(i.e. in Young measure space)
- Justify an approximation of $\sum_{n=1}^\infty G_n/\binom{\frac{n}{2}+\frac{1}{2}}{\frac{n}{2}}$, where $G_n$ denotes the Gregory coefficients
- Calculating the radius of convergence for $\sum _{n=1}^{\infty}\frac{\left(\sqrt{ n^2+n}-\sqrt{n^2+1}\right)^n}{n^2}z^n$
- Is this relating to continuous functions conjecture correct?
- What are the functions satisfying $f\left(2\sum_{i=0}^{\infty}\frac{a_i}{3^i}\right)=\sum_{i=0}^{\infty}\frac{a_i}{2^i}$
- Absolutely continuous functions are dense in $L^1$
- A particular exercise on convergence of recursive sequence
Related Questions in PROBABILITY-THEORY
- Is this a commonly known paradox?
- What's $P(A_1\cap A_2\cap A_3\cap A_4) $?
- Another application of the Central Limit Theorem
- proving Kochen-Stone lemma...
- Is there a contradiction in coin toss of expected / actual results?
- Sample each point with flipping coin, what is the average?
- Random variables coincide
- Reference request for a lemma on the expected value of Hermitian polynomials of Gaussian random variables.
- Determine the marginal distributions of $(T_1, T_2)$
- Convergence in distribution of a discretized random variable and generated sigma-algebras
Related Questions in SPECTRAL-THEORY
- Why is $\lambda\mapsto(\lambda\textbf{1}-T)^{-1}$ analytic on $\rho(T)$?
- Power spectrum of field over an arbitrarily-shaped country
- Calculating spectrum and resolvent set of a linear operator (General question).
- Operator with compact resolvent
- bounded below operator/ Kato-Rellich
- Show directly that if $E_1\geqslant E_2\geqslant\dots$, then $E_i\rightarrow \bigwedge E_i$ strongly.
- Is the spectral radius less than $1$?
- How to show range of a projection is an eigenspace.
- Spectral radius inequality for non-abelian Banach algebras
- Do unitarily equivalent operators have the same spectrum?
Related Questions in FOURIER-TRANSFORM
- Proof of Fourier transform of cos$2\pi ft$
- Find the convergence of series of a sequence of functions in $L^2(\mathbb{R})$
- solving a simple ODE with Fourier transform
- How can we prove that $e^{-jωn}$ converges at $0$ while n -> infinity?
- Show that a periodic function $f(t)$ with period $T$ can be written as $ f(t) = f_T (t) \star \frac{1}{T} \text{comb}\bigg(\frac{t}{T}\bigg) $
- Taking the Discrete Inverse Fourier Transform of a Continuous Forward Transform
- Arcsin of a number greater than one
- Complex numbers in programming
- Power spectrum of field over an arbitrarily-shaped country
- Computing an inverse Fourier Transform / Solving the free particle Schrödinger equation with a gaussian wave packet as initial condition
Related Questions in TIME-SERIES
- Expected Value of a time series model
- Calculating the Mean and Autocovariance Function of a Piecewise Time Series
- Autocovariance of a Sinusodial Time Series
- Why do we use a sequence of random variables to model **Univariate** Time Series?
- Calculating the conditional probability of a location given a specific time frame
- Determining first element of an AR1 model
- Finding ACVF of An AR(3) Process
- Question on limiting form of Doob's submartingale inequality
- $x_t = A\sin(t) + B\cos(t)$ is deterministic
- Explaining the fit of Correlation and Covariance in AR and MA models
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
For your case, the $X$ may be expressed as the sum of finite terms of $A_i\cos(\omega_it)$ and $B_i\sin(\omega_it)$, from the intuition, you could consider the spectral distribution with the form $F(\lambda)=\sum_{i}[c_i\eta_{\{\omega_i\}}(\lambda)+d_i\eta_{\{-\omega_i\}}(\lambda)]$, where $$\eta_{\{\omega\}}(\lambda)=\begin{cases}0,&\lambda< \omega,\\ 1,&\lambda\ge \omega.\end{cases} $$ And determine the $c_i,d_i$ by using $\gamma(h)=\int_{-\pi}^{\pi} e^{ih\lambda}\,dF(\lambda)$
For general case(c.f. Blackwell &Davis, Time Series: Theory and Methods, 2nd Ed. Springer(1991), p.151, Th4.9.1), there is following formula for $F(\lambda)$(but it is only useful for the uniqueness of $F$) $$\lim_{n\to\infty}\frac1{2\pi}\sum_{|j|\le n}\gamma(j)\frac{e^{-ij\lambda_2}-e^{-ij\lambda_1}}{-ij}=F(\lambda_2)-F(\lambda_1). $$