Trigonometric moment problem

Trigonometric moment problem

In mathematics, the trigonometric moment problem is formulated as follows: given a finite sequence {"α"0, ... "αn" }, does there exist a positive Borel measure "μ" on the interval [0, 2"π"] such that

:alpha_k = frac{1}{2 pi}int_0 ^{2 pi} e^{-ikt},d mu(t).

In other words, an affirmative answer to the problems means that {"α"0, ... "αn" } are the first "n" + 1 "Fourier coefficients" of some positive Borel measure "μ" on [0, 2"π"] .

Characterization

The trigonometric moment problem is solvable, that is, {"αk"} is a sequence of Fourier coefficients, if and only if the ("n" + 1) × ("n" + 1) Toeplitz matrix

:A =left(egin{matrix}alpha_0 & alpha_1 & cdots & alpha_n \ar{alpha_1} & alpha_0 & cdots & alpha_{n-1} \vdots & vdots & ddots & vdots \ar{alpha_n} & ar{alpha_{n-1 & cdots & alpha_0 \end{matrix} ight)

is positive semidefinite.

The "only if" part of the claims can be verified by a direct calculation.

We sketch an argument for the converse. The positive semidefinite matrix "A" defines a sesquilinear product on C"n" + 1, resulting in a Hilbert space

:(mathcal{H}, langle ;,; angle)

of dimensional at most "n" + 1, a typical element of which is an equivalence class denoted by ["f"] . The Toeplitz structure of "A" means that a "truncated" shift is a partial isometry on mathcal{H}. More specifically, let { "e"0, ..."e""n" } be the standard basis of C"n" + 1. Let mathcal{E} be the subspace generated by { ["e"0] , ... ["e""n" - 1] } and mathcal{F} be the subspace generated by { ["e"1] , ... ["e""n"] }. Define an operator

:V: mathcal{E} ightarrow mathcal{F}

by

:V [e_k] = [e_{k+1}] quad mbox{for} quad k = 0 ldots n-1.

Since

:langle V [e_j] , V [e_k] angle = langle [e_{j+1}] , [e_{k+1}] angle = A_{j+1, k+1} = A_{j, k} = langle [e_{j+1}] , [e_{k+1}] angle,

"V" can be extended to a partial isometry acting on all of mathcal{H}. Take a minimal unitary extension "U" of "V", on a possibly larger space (this always exists). According to the spectral theorem, there exists a Borel measure "m" on the unit circle T such that for all integer "k"

:langle (U^*)^k [ e_ {n+1} ] , [ e_ {n+1} ] angle = int_{mathbf{T z^{k} dm .

For "k" = 0,...,"n", the left hand side is

:langle (U^*)^k [ e_ {n+1} ] , [ e_ {n+1} ] angle = langle (V^*)^k [ e_ {n+1} ] , [ e_{n+1} ] angle = langle [e_{n+1-k}] , [ e_{n+1} ] angle = A_{n+1, n+1-k} = ar{alpha_k}.

So

:int_{mathbf{T z^{-k} dm= int_{mathbf{T ar{z} dm= alpha_k.

Finally, parametrize the unit circle T by "eit" on [0, 2"π"] gives

:frac{1}{2 pi} int_0 ^{2 pi} e^{-ikt} dmu(t) = alpha_k

for some suitable measure "μ.

Parametrization of solutions

The above discussion shows that the trigonometric moment problem has infinitely many solutions if the Toeplitz matrix "A" is invertible. In that case, the solutions to the problem is in bijective correspondence with minimal unitary extensions of the partial isometry "V".

References

* N.I. Akhiezer, "The Classical Moment Problem", Olivier and Boyd, 1965.
* N.I. Akhiezer, M.G. Krein, "Some Questions in the Theory of Moments", Amer. Math. Soc., 1962.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

  • analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… …   Universalium

  • Exponentiation — Exponent redirects here. For other uses, see Exponent (disambiguation). Exponentiation is a mathematical operation, written as an, involving two numbers, the base a and the exponent (or power) n. When n is a positive integer, exponentiation… …   Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Central limit theorem — This figure demonstrates the central limit theorem. The sample means are generated using a random number generator, which draws numbers between 1 and 100 from a uniform probability distribution. It illustrates that increasing sample sizes result… …   Wikipedia

  • Least squares — The method of least squares is a standard approach to the approximate solution of overdetermined systems, i.e., sets of equations in which there are more equations than unknowns. Least squares means that the overall solution minimizes the sum of… …   Wikipedia

  • Rigid rotor — The rigid rotor is a mechanical model that is used to explain rotating systems. An arbitrary rigid rotor is a 3 dimensional rigid object, such as a top. To orient such an object in space three angles are required. A special rigid rotor is the… …   Wikipedia

  • Logarithm — The graph of the logarithm to base 2 crosses the x axis (horizontal axis) at 1 and passes through the points with coordinates (2, 1), (4, 2), and (8, 3) …   Wikipedia

  • Triangulation — In trigonometry and geometry, triangulation is the process of determining the location of a point by measuring angles to it from known points at either end of a fixed baseline, rather than measuring distances to the point directly. The point can… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”