Bessel's inequality

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.^[1]

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}$.^[2][3][4] 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

External links

• "Bessel inequality", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• 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^p 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