Math 2.0

Harmonic analysis on Euclidean spaces Definition

Riesz basis

Builds on Hilbert spaceOrthonormal basis

Definition

Let HH be a separable Hilbert space. A sequence (xn)n≥1(x_n)_{n \ge 1} in HH is a Riesz sequence if there are constants 0<A≤B<∞0 < A \le B < \infty such that for every finite sequence of scalars c1,…,cNc_1, \dots, c_N, A∑n=1N∣cn∣2≤∥∑n=1Ncnxn∥2≤B∑n=1N∣cn∣2.A \sum_{n=1}^{N} \abs{c_n}^2 \le \Big\| \sum_{n=1}^{N} c_n x_n \Big\|^2 \le B \sum_{n=1}^{N} \abs{c_n}^2. A Riesz basis of HH is a Riesz sequence whose closed linear span is HH.

Remarks

Equivalently, (xn)(x_n) is a Riesz basis if and only if xn=Tenx_n = T e_n for an orthonormal basis (en)(e_n) of HH and a bounded linear operator T ⁣:H→HT \colon H \to H with a bounded inverse. Then every x∈Hx \in H has a unique expansion x=∑ncnxnx = \sum_n c_n x_n, the series converges unconditionally, and A∑∣cn∣2≤∥x∥2≤B∑∣cn∣2A \sum \abs{c_n}^2 \le \norm{x}^2 \le B \sum \abs{c_n}^2. The best constants are A=∥T−1∥−2A = \norm{T^{-1}}^{-2} and B=∥T∥2B = \norm{T}^2.

Example: let (en)(e_n) be an orthonormal basis of HH and xn=en+12en+1x_n = e_n + \frac12 e_{n+1}. Then xn=Tenx_n = T e_n with T=I+12ST = I + \frac12 S, where SS is the shift en↦en+1e_n \mapsto e_{n+1}, of norm 11. Since ∥12S∥<1\norm{\frac12 S} < 1, the Neumann series shows that TT is invertible with bounded inverse, so (xn)(x_n) is a Riesz basis.

Non-example: xn=en/nx_n = e_n / n. Its closed span is HH and the upper bound holds with B=1B = 1. The lower bound fails: for c=(0,…,0,1)c = (0, \dots, 0, 1) with the 11 in place nn, the middle term is 1/n21/n^2, which is not bounded below by a positive AA.

Reading path

To understand this page from the ground up, read these 3 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. Hilbert space concept
  2. Orthonormal basis concept
  3. Riesz basis definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Riesz_sequence
About this page
TagVHXX092DAJ
URIm2://VHXX092DAJ
Kinddefinition
WritingW0 stub
MSC42C15, 46B15, 46C05
DefinesRiesz basis
UsesHilbert space, Orthonormal 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.