Hilbert eşitsizliği

Matematiğin bir alt dalı olan analizde Hilbert eşitsizliği pozitif gerçel sayıların ikili toplamlarına üst kestirim verir. Eşitsizlik David Hilbert'in adını taşımaktadır ve geçmişi Hilbert'in 1888 tarihli bir çalışmasına kadar uzanır. Eşitsizliğin iyileştirilmiş ve genelleştirilmiş birkaç hâli bulunmaktadır.

Eşitsizliğin ifadesi

Hilbert eşitsizliği şu şekilde ifade edilebilir:
$N>0$ bir doğal sayı olsun ve $(a_0,\dots ,a_N)$ pozitif sayılarından oluşan $(N+1)$-çokuzlusu verilsin. O zaman,

$\sum _{i=0}^N\sum _{j=0}^N\frac{a_i{a}_j}{i+j+1}\le \pi \sum _{i=0}^N{a_i}^2$

eşitsizliği vardır.

Karmaşık sayılı hali

Şablon:Math dizisi karmaşık sayılardan oluşsun ve eğer bu dizi sonlu sayıda değilse

$\sum _m|u_m{|}^2<\mathrm{\infty }$

olduğu varsayılsın. O zaman,

$\left|\sum _{r\ne s}\frac{u_r\overline{u_s}}{r-s}\right|\le \pi \sum _r|u_r{|}^2$

olur.

İyileştirmeleri

Hilbert eşitsizliğindeki $\pi$ sabiti yerine daha iyi bir kestirim verilebilir:

$\sum _{i=0}^N\sum _{j=0}^N\frac{a_i{a}_j}{i+j+1}\le (N+1)\sin \left(\frac{\pi }{N+1}\right)\sum _{i=0}^N{a_i}^2.$

Bu eşitsizlik ise David Widder tarafından şu şekilde daha güçlü hâle getirilmiştir:

$\sum _{i=0}^N\sum _{j=0}^N\frac{a_i{a}_j}{i+j+1}\le \pi \sum _{i=0}^N\sum _{j=0}^N\frac{(i+j)!}{i!j!}\frac{a_i{a}_j}{2^{i+j+1}}.$

İlişkin eşitsizlikler

Fu Cheng Hsiang eşitsizliği şu şekilde genelleştirilmiştir: $N>0$ bir doğal sayı olsun. $(a_0,\dots ,a_N)$ ve $(b_0,\dots ,b_N)$ negatif olmayan gerçel sayılardan oluşan $(N+1)$-çokuzluları olsun. O zaman,

$\sum _{i=0}^N\sum _{j=0}^N\frac{a_i{b}_j}{2i+2j+1}\le (N+1)\sin \frac{\pi }{2(N+1)}{\left(\sum _{i=0}^N{a_i}^2\right)}^{\frac{1}{2}}{\left(\sum _{j=0}^N{b_j}^2\right)}^{\frac{1}{2}}$

eşitsizliği vardır.

Eşitsizliğin uzantıları

Yukarıdaki eşitsizliklerin genişletilmesiyle, çift seriler ve integraller aracılığıyla yazılan eşitsizlikler de vardır. Bu eşitsizlikler sırasıyla Hardy-Hilbert eşitsizliği ve Hardy-Hilbert integral eşitsizliği olarak bilinirler ve $\frac{\pi }{\sin \left(\frac{\pi }{p}\right)}$ sabiti her iki eşitsizlik için de en iyi kestirim sabitidir.

Hardy-Hilbert eşitsizliği

${\left(a_i\right)}_{i\in \mathbb{N}}$ ve ${\left(b_j\right)}_{j\in \mathbb{N}}$ negatif olmayan gerçel sayılardan oluşan ve hepsi birden sıfıra eşit olmayan sayı dizileri olsun. $p,q>0$ ise Hölder eşlenik sayılar olsunlar: $\frac{1}{p}+\frac{1}{q}=1$. O zaman,

$\sum _{i=1}^{\mathrm{\infty }}\sum _{j=1}^{\mathrm{\infty }}\frac{a_i{b}_j}{i+j}<\frac{\pi }{\sin \left(\frac{\pi }{p}\right)}{\left(\sum _{i=1}^{\mathrm{\infty }}{a_i}^p\right)}^{\frac{1}{p}}{\left(\sum _{j=1}^{\mathrm{\infty }}{b_j}^q\right)}^{\frac{1}{q}}$

olur.

Hardy-Hilbert integral eşitsizliği

Hardy-Hilbert eşitsizliğinin integralli hali de şöyle yazılabilir:
$f,g:[0,\mathrm{\infty })\to [0,\mathrm{\infty })$ fonksiyonları sıfıra özdeş olmasın ve $p,q>0$ ise Hölder eşlenik sayılar olsun. O zaman,

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{f(x)g(y)}{x+y}\mathrm{d}x\mathrm{d}y<\frac{\pi }{\sin \left(\frac{\pi }{p}\right)}{\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{f}^p(x)\mathrm{d}x\right)}^{\frac{1}{p}}{\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{g}^q(x)\mathrm{d}x\right)}^{\frac{1}{q}}$

olur.