Weak convergence (Hilbert space)

In mathematics, weak convergence in a Hilbert space is convergence of a sequence of points in the weak topology.

Definition

A sequence of points $(x_n)$ in a Hilbert space H is said to converge weakly to a point x in H if

\langle x_n,y \rangle \to \langle x,y \rangle

for all y in H. Here, $\langle \cdot, \cdot \rangle$ is understood to be the inner product on the Hilbert space. The notation

x_n \rightharpoonup x

is sometimes used to denote this kind of convergence.

Properties

If a sequence converges strongly, then it converges weakly as well.

Since every closed and bounded set is weakly relatively compact (its closure in the weak topology is compact), every bounded sequence $x_n$ in a Hilbert space H contains a weakly convergent subsequence. Note that closed and bounded sets are not in general weakly compact in Hilbert spaces (consider the set consisting of an orthonormal basis in an infinitely dimensional Hilbert space which is closed and bounded but not weakly compact since it doesn't contain 0). However, bounded and weakly closed sets are weakly compact so as a consequence every convex bounded closed set is weakly compact.

As a consequence of the principle of uniform boundedness, every weakly convergent sequence is bounded.

The norm is (sequentially) weakly lower-semicontinuous: if $x_n$ converges weakly to x, then

\Vert x\Vert \le \liminf_{n\to\infty} \Vert x_n \Vert,

and this inequality is strict whenever the convergence is not strong. For example, infinite orthonormal sequences converge weakly to zero, as demonstrated below.

If $x_n$ converges weakly to $x$ and we have the additional assumption that $\lVert x_n \rVert \to \lVert x \rVert$ , then $x_n$ converges to $x$ strongly:

\langle x - x_n, x - x_n \rangle = \langle x, x \rangle + \langle x_n, x_n \rangle - \langle x_n, x \rangle - \langle x, x_n \rangle \rightarrow 0.

If the Hilbert space is finite-dimensional, i.e. a Euclidean space, then the concepts of weak convergence and strong convergence are the same.

Example

The first 3 curves in the sequence fn=sin(nx)

The first 3 functions in the sequence

f_n(x) = \sin(n x)

[0, 2 \pi]

. As

n \rightarrow \infty

f_n

converges weakly to

f =0

The Hilbert space $L^2[0, 2\pi]$ is the space of the square-integrable functions on the interval $[0, 2\pi]$ equipped with the inner product defined by

\langle f,g \rangle = \int_0^{2\pi} f(x)\cdot g(x)\,dx,

(see L^p space). The sequence of functions $f_1, f_2, \ldots$ defined by

f_n(x) = \sin(n x)

converges weakly to the zero function in $L^2[0, 2\pi]$ , as the integral

\int_0^{2\pi} \sin(n x)\cdot g(x)\,dx.

tends to zero for any square-integrable function $g$ on $[0, 2\pi]$ when $n$ goes to infinity, i.e.

\langle f_n,g \rangle \to \langle 0,g \rangle = 0.

Although $f_n$ has an increasing number of 0's in $[0,2 \pi]$ as $n$ goes to infinity, it is of course not equal to the zero function for any $n$ . Note that $f_n$ does not converge to 0 in the $L_\infty$ or $L_2$ norms. This dissimilarity is one of the reasons why this type of convergence is considered to be "weak."

Weak convergence of orthonormal sequences

Consider a sequence $e_n$ which was constructed to be orthonormal, that is,

\langle e_n, e_m \rangle = \delta_{mn}

where $\delta_{mn}$ equals one if m = n and zero otherwise. We claim that if the sequence is infinite, then it converges weakly to zero. A simple proof is as follows. For x ∈ H, we have

\sum_n | \langle e_n, x \rangle |^2 \leq \| x \|^2

(Bessel's inequality)

where equality holds when {e_n} is a Hilbert space basis. Therefore

| \langle e_n, x \rangle |^2 \rightarrow 0

(since the series above converges, its corresponding sequence must go to zero)

i.e.

\langle e_n, x \rangle \rightarrow 0 .

Banach–Saks theorem

The Banach–Saks theorem states that every bounded sequence $x_n$ contains a subsequence $x_{n_k}$ and a point x such that

\frac{1}{N}\sum_{k=1}^N x_{n_k}

converges strongly to x as N goes to infinity.

Generalizations

The definition of weak convergence can be extended to Banach spaces. A sequence of points $(x_n)$ in a Banach space B is said to converge weakly to a point x in B if

f(x_n) \to f(x)

for any bounded linear functional $f$ defined on $B$ , that is, for any $f$ in the dual space $B'.$ If $B$ is a Hilbert space, then, by the Riesz representation theorem, any such $f$ has the form

f(\cdot)=\langle \cdot,y \rangle

for some $y$ in $B$ , so one obtains the Hilbert space definition of weak convergence.

Functional analysis

Set / subset types	Absolutely convex Absorbing Balanced Bounded Convex Radial Star-shaped Symmetric Linear cone (subset) Convex cone (subset)

TVS types	Banach Barrelled Bornological Brauner F-space Finite-dimensional Fréchet (tame) Hilbert LF-space Locally convex Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Webbed Topological tensor product (of Hilbert spaces)

Mapping topologies	Dual Dual space Operator Strong (polar operator) Ultrastrong Weak (operator) Ultraweak Uniform convergence

Linear operators	Adjoint Bilinear (form) Bounded / Unbounded Closed Continuous / Discontinuous Compact Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary

Set operations	Algebraic interior (core) Interior Minkowski addition Polar

Banach algebras	C-algebras Spectrum (C-algebra radius) Spectral theory

Theorems	Banach–Alaoglu Banach–Saks Banach–Mazur Bessel's inequality Cauchy–Schwarz inequality Closed range Closed graph Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Open mapping Parseval's identity Schauder fixed-point

Analysis	Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gâteaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Vector measure

This article is issued from Wikipedia - version of the Tuesday, October 20, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.