Bessel eşitsizliği

Matematikte, özellikle matematiğin bir alt dalı olan fonksiyonel analizde, Bessel eşitsizliği bir Hilbert uzayında yer alan bir elemanın normuyla bu elemanın aynı uzayda bulunan bir birim dikgen diziye göre alınan katsayılarının arasında ilişki gösteren bir eşitsizliktir. Eşitsizlik Friedrich Bessel tarafından 1828 yılında elde edilmiştir.

Eşitsizliğin ifadesi

$(H,⟨\cdot ,\cdot ⟩)$ bir Hilbert uzayı, $e_1,e_2,...$ ise bu uzayda yer alan birim dikgen bir dizi olsun. O zaman, her $x\in H$ için

$\sum _{k=1}^{\mathrm{\infty }}{\left|⟨x,e_k⟩\right|}^2\le {\Vert x\Vert }^2,$

eşitsizliği sağlanır.

Bessel eşitsizliğin önemli sonuçlarından birisi

$\sum _{k=1}^{\mathrm{\infty }}⟨x,e_k⟩e_k,$

biçiminde tanımlanan bir toplamın yakınsak olmasıdır.

İspat

Herhangi pozitif bir $n$ tam sayısı için

$\begin{array}{cc}{\Vert x-\sum _{k=1}^n⟨x,e_k⟩e_k\Vert }^2& =⟨x-\sum _{k=1}^n⟨x,e_k⟩e_k,x-\sum _{k=1}^n⟨x,e_k⟩e_k⟩\\ & ={\Vert x\Vert }^2-\sum _{k=1}^n\overline{⟨x,e_k⟩}⟨x,e_k⟩-\sum _{k=1}^n⟨x,e_k⟩⟨e_k,x⟩+{\Vert \sum _{k=1}^n⟨x,e_k⟩e_k\Vert }^2\\ & ={\Vert x\Vert }^2-\sum _{k=1}^n\sum _{l=1}^n⟨x,e_k⟩\overline{⟨x,e_l⟩}⟨e_k,e_l⟩\\ & ={\Vert x\Vert }^2-\sum _{k=1}^n|⟨x,e_k⟩{|}^2\end{array}$

olur. Bu yüzden,

$\sum _{k=1}^n|⟨x,e_k⟩{|}^2={\Vert x\Vert }^2-{\Vert x-\sum _{k=1}^n⟨x,e_k⟩e_k\Vert }^2\le {\Vert x\Vert }^2$

olur. Sonuç olarak, kısmi toplamlar dizisi artan bir dizidir ve üstten sınırlıdır. Böylelikle, sonsuz toplam yakınsak olur ve eşitsizlik elde edilir.

Ayrıca bakınız

• Cauchy-Schwarz eşitsizliği
• Parseval teoremi

Dış bağlantılar

• Şablon:Springer
• Bessel's Inequality the article on Bessel's Inequality on MathWorld.