Misplaced Pages

In mathematics, especially functional analysis, Bessel's inequality is a statement about the coefficients of an element ${\displaystyle x}$ in a Hilbert space with respect to an orthonormal sequence. The inequality was derived by F.W. Bessel in 1828.

Let ${\displaystyle H}$ be a Hilbert space, and suppose that ${\displaystyle e_{1},e_{2},...}$ is an orthonormal sequence in ${\displaystyle H}$. Then, for any ${\displaystyle x}$ in ${\displaystyle H}$ one has

${\displaystyle \sum _{k=1}^{\infty }\left\vert \left\langle x,e_{k}\right\rangle \right\vert ^{2}\leq \left\Vert x\right\Vert ^{2},}$

where ⟨·,·⟩ denotes the inner product in the Hilbert space ${\displaystyle H}$. If we define the infinite sum

${\displaystyle x'=\sum _{k=1}^{\infty }\left\langle x,e_{k}\right\rangle e_{k},}$

consisting of "infinite sum" of vector resolute ${\displaystyle x}$ in direction ${\displaystyle e_{k}}$, Bessel's inequality tells us that this series converges. One can think of it that there exists ${\displaystyle x'\in H}$ that can be described in terms of potential basis ${\displaystyle e_{1},e_{2},\dots }$.

For a complete orthonormal sequence (that is, for an orthonormal sequence that is a basis), we have Parseval's identity, which replaces the inequality with an equality (and consequently ${\displaystyle x'}$ with ${\displaystyle x}$).

Bessel's inequality follows from the identity

${\displaystyle {\begin{aligned}0\leq \left\|x-\sum _{k=1}^{n}\langle x,e_{k}\rangle e_{k}\right\|^{2}&=\|x\|^{2}-2\sum _{k=1}^{n}\operatorname {Re} \langle x,\langle x,e_{k}\rangle e_{k}\rangle +\sum _{k=1}^{n}|\langle x,e_{k}\rangle |^{2}\\&=\|x\|^{2}-2\sum _{k=1}^{n}|\langle x,e_{k}\rangle |^{2}+\sum _{k=1}^{n}|\langle x,e_{k}\rangle |^{2}\\&=\|x\|^{2}-\sum _{k=1}^{n}|\langle x,e_{k}\rangle |^{2},\end{aligned}}}$

which holds for any natural n.

See also

• Cauchy–Schwarz inequality
• Parseval's theorem

References

1. "Bessel inequality - Encyclopedia of Mathematics".
2. Saxe, Karen (2001-12-07). Beginning Functional Analysis. Springer Science & Business Media. p. 82. ISBN 9780387952246.
3. Zorich, Vladimir A.; Cooke, R. (2004-01-22). Mathematical Analysis II. Springer Science & Business Media. pp. 508–509. ISBN 9783540406334.
4. Vetterli, Martin; Kovačević, Jelena; Goyal, Vivek K. (2014-09-04). Foundations of Signal Processing. Cambridge University Press. p. 83. ISBN 9781139916578.

External links

• "Bessel inequality", Encyclopedia of Mathematics, EMS Press, 2001
• Bessel's Inequality the article on Bessel's Inequality on MathWorld.

This article incorporates material from Bessel inequality on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

v t e Lp spaces
Basic concepts	Banach & Hilbert spaces L spaces Measure Lebesgue Measure space Measurable space/function Minkowski distance Sequence spaces
L spaces	Integrable function Lebesgue integration Taxicab geometry
L spaces	Bessel's Cauchy–Schwarz Euclidean distance Hilbert space Parseval's identity Polarization identity Pythagorean theorem Square-integrable function
${\displaystyle L^{\infty }}$ spaces	Bounded function Chebyshev distance Infimum and supremum Essential Uniform norm
Maps	Almost everywhere Convergence almost everywhere Convergence in measure Function space Integral transform Locally integrable function Measurable function Symmetric decreasing rearrangement
Inequalities	Babenko–Beckner Chebyshev's Clarkson's Hanner's Hausdorff–Young Hölder's Markov's Minkowski Young's convolution
Results	Marcinkiewicz interpolation theorem Plancherel theorem Riemann–Lebesgue Riesz–Fischer theorem Riesz–Thorin theorem For Lebesgue measure Isoperimetric inequality Brunn–Minkowski theorem Milman's reverse Minkowski–Steiner formula Prékopa–Leindler inequality Vitale's random Brunn–Minkowski inequality
Applications & related	Bochner space Fourier analysis Lorentz space Probability theory Quasinorm Real analysis Sobolev space *-algebra C*-algebra Von Neumann

• Hilbert spaces
• Inequalities