Mahler eşitsizliği

Matematikte Mahler eşitsizliği iki sonlu dizinin terim bazında toplanmasıyla elde edilen dizinin geometrik ortalamasının bu sonlu dizilerin ayrı ayrı geometrik ortalamalarının toplamından büyük olduğunu ifade eden bir eşitsizliktir. Eşitsizlik, Minkowski eşitsizliği'nin sayma ölçüsü altında özel bir halidir ve Kurt Mahler'in adının taşımaktadır.

Eşitsizliğin ifadesi

${\displaystyle i=1,2,\cdots ,n}$ için ${\displaystyle a_{i},b_{i},}$ pozitif gerçel sayılar olmak üzere

${\displaystyle \prod _{k=1}^{n}(x_{k}+y_{k})^{1/n}\geq \prod _{k=1}^{n}x_{k}^{1/n}+\prod _{k=1}^{n}y_{k}^{1/n}}$

eşitsizliği sağlanır.^[1]

İspat

İlk olarak AO-GO eşitsizliği kullanılarak,

${\displaystyle \prod _{k=1}^{n}\left({x_{k} \over x_{k}+y_{k}}\right)^{1/n}\leq {1 \over n}\sum _{k=1}^{n}{x_{k} \over x_{k}+y_{k}}}$

ve

${\displaystyle \prod _{k=1}^{n}\left({y_{k} \over x_{k}+y_{k}}\right)^{1/n}\leq {1 \over n}\sum _{k=1}^{n}{y_{k} \over x_{k}+y_{k}}.}$

elde edilir. Daha sonra iki formül toplanarak,

${\displaystyle \prod _{k=1}^{n}\left({x_{k} \over x_{k}+y_{k}}\right)^{1/n}+\prod _{k=1}^{n}\left({y_{k} \over x_{k}+y_{k}}\right)^{1/n}\leq {1 \over n}n=1}$

olur. Sol taraftan ${\displaystyle \prod _{k=1}^{n}(x_{k}+y_{k})^{1/n}}$ çekilerek istenen eşitsizlik elde edilir.

Ayrıca bakınız

• Minkowski eşitsizliği

Kaynakça

1. Daniel Sitaru (10 Aralık 2020). "A SIMPLE PROOF FOR MAHLER'S INEQUALITY". 27 Haziran 2024 tarihinde kaynağından arşivlendi. Erişim tarihi: 9 Ocak 2025. 

Dış bağlantılar

• [1]26 Kasım 2009 tarihinde Wayback Machine sitesinde arşivlendi.