Math 2.0

Harmonic analysis on Euclidean spaces Definition

Nonharmonic Fourier series

Builds on Lp spaceFourier seriesRiesz basis

Definition

Let A>0A > 0 and let Λ=(λn)n∈ℤ\Lambda = (\lambda_n)_{n \in \Z} be a sequence of distinct complex numbers. For n∈ℤn \in \Z let en(t)=eiλnte_n(t) = e^{i \lambda_n t}, a function in the Lebesgue space L2(−A,A)L^2(-A, A). A nonharmonic Fourier series with frequencies Λ\Lambda is a series ∑n∈ℤcn eiλnt,t∈(−A,A),\sum_{n \in \Z} c_n \, e^{i \lambda_n t}, \quad t \in (-A, A), with complex coefficients cnc_n, considered with convergence in L2(−A,A)L^2(-A, A).

Remarks

When A=πA = \pi and λn=n\lambda_n = n, this is an ordinary Fourier series, and the en/2πe_n / \sqrt{2\pi} form an orthonormal basis. In general the ene_n are not orthogonal, and the theory asks which sequences Λ\Lambda make (en)(e_n) complete, a Riesz basis or a frame of L2(−A,A)L^2(-A, A). When (en)(e_n) is a Riesz basis, every f∈L2(−A,A)f \in L^2(-A, A) has a unique expansion f=∑cnenf = \sum c_n e_n, and ∑∣cn∣2\sum \abs{c_n}^2 is comparable to ∥f∥L22\norm{f}^2_{L^2}.

Example: let A=πA = \pi and λn=n+δn\lambda_n = n + \delta_n with real δn\delta_n and sup⁡n∣δn∣<1/4\sup_n \abs{\delta_n} < 1/4. By Kadec's 1/41/4 theorem, (eiλnt)(e^{i\lambda_n t}) is a Riesz basis of L2(−π,π)L^2(-\pi, \pi), so every function in L2(−π,π)L^2(-\pi, \pi) is the sum of a unique nonharmonic Fourier series with these frequencies. The constant 1/41/4 cannot be replaced by a larger number.

Non-example: let A=πA = \pi and λn=2n\lambda_n = 2n. The functions e2inte^{2int} all have period π\pi, so they cannot represent f=1(0,π)f = 1_{(0, \pi)}, which is not π\pi-periodic on (−π,π)(-\pi, \pi). So the closed span of (en)(e_n) is not all of L2(−π,π)L^2(-\pi, \pi) and the system is not complete.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Fourier series concept
  2. Lp space concept
  3. Riesz basis concept
  4. Nonharmonic Fourier series definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Riesz_sequence
About this page
TagCAEZVHVJJD
URIm2://CAEZVHVJJD
Kinddefinition
WritingW0 stub
MSC42C30, 42A65, 42C15
DefinesNonharmonic Fourier series
UsesLp space, Fourier series, Riesz basis

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.