Math 2.0

Harmonic analysis on Euclidean spaces Definition

Wiener algebra

Builds on Absolutely convergent Fourier seriesFourier coefficientContinuous functionBanach algebra

Definition

Let 𝕋=ℝ/2Ο€β„€\mathbb{T} = \R / 2\pi\Z, and for an integrable function ff on 𝕋\mathbb{T} let f^(n)\hat f(n), nβˆˆβ„€n \in \Z, be its Fourier coefficients. The Wiener algebra is the set A(𝕋)={f ⁣:𝕋→ℂ continuous:βˆ‘nβˆˆβ„€βˆ£f^(n)∣<∞},A(\mathbb{T}) = \Big\{ f \colon \mathbb{T} \to \C \text{ continuous} : \sum_{n \in \Z} \abs{\hat f(n)} < \infty \Big\}, of continuous functions with an absolutely convergent Fourier series, with pointwise addition and multiplication and the norm βˆ₯fβˆ₯A=βˆ‘nβˆˆβ„€βˆ£f^(n)∣.\norm{f}_A = \sum_{n \in \Z} \abs{\hat f(n)}.

Remarks

The map f↦(f^(n))nβˆˆβ„€f \mapsto (\hat f(n))_{n \in \Z} is an isometric isomorphism of A(𝕋)A(\mathbb{T}) onto β„“1(β„€)\ell^1(\Z). It turns pointwise products into convolutions: fg^(n)=βˆ‘kβˆˆβ„€f^(k)g^(nβˆ’k)\widehat{fg}(n) = \sum_{k \in \Z} \hat f(k) \hat g(n - k). So βˆ₯fgβˆ₯A≀βˆ₯fβˆ₯Aβˆ₯gβˆ₯A\norm{fg}_A \le \norm{f}_A \norm{g}_A, and A(𝕋)A(\mathbb{T}) is a commutative unital Banach algebra. Every f∈A(𝕋)f \in A(\mathbb{T}) satisfies sup⁑x∣f(x)βˆ£β‰€βˆ₯fβˆ₯A\sup_x \abs{f(x)} \le \norm{f}_A.

Example: f(x)=2+cos⁑xf(x) = 2 + \cos x lies in A(𝕋)A(\mathbb{T}) with f^(0)=2\hat f(0) = 2, f^(Β±1)=1/2\hat f(\pm 1) = 1/2, and βˆ₯fβˆ₯A=3\norm{f}_A = 3.

Non-example: f(x)=βˆ‘nβ‰₯2sin⁑nxnlog⁑nf(x) = \sum_{n \ge 2} \frac{\sin nx}{n \log n}. Its coefficients decrease to 00 and nβ‹…1nlog⁑nβ†’0n \cdot \frac{1}{n \log n} \to 0, so by the Chaundy–Jolliffe theorem the series converges uniformly and ff is continuous. But ∣f^(Β±n)∣=12nlog⁑n\abs{\hat f(\pm n)} = \frac{1}{2 n \log n} and βˆ‘nβ‰₯21nlog⁑n=∞\sum_{n \ge 2} \frac{1}{n \log n} = \infty, so fβˆ‰A(𝕋)f \notin A(\mathbb{T}).

The characters of A(𝕋)A(\mathbb{T}) are the evaluations f↦f(x)f \mapsto f(x) at points xβˆˆπ•‹x \in \mathbb{T}; this is the key to Wiener's lemma.

Reading path

To understand this page from the ground up, read these 5 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. Absolutely convergent Fourier series concept
  2. Banach algebra concept
  3. Continuous function concept
  4. Fourier coefficient concept
  5. Wiener algebra definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Wiener_algebra
About this page
TagC96N6EB236
URIm2://C96N6EB236
Kinddefinition
WritingW0 stub
MSC42A20, 46J10, 43A20
DefinesWiener algebra
UsesAbsolutely convergent Fourier series, Fourier coefficient, Continuous function, Banach algebra

Markdown Β· JSON Β· Edit on GitHub

What this page needs for W1

  • 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.