Clausen eşitsizliği

Matematik'te, Clausen formülü Thomas Clausen tarafından 1828'de bulundu, bir geneleştirilmiş hipergeometrik seri olarak bir Gaussian hipergeometrik serisinin kare ifadesidir. Bu durum

$\;_{2}F_{1}\left[{\begin{matrix}a&b\\a+b+1/2\end{matrix}};x\right]^{2}=\;_{3}F_{2}\left[{\begin{matrix}2a&2b&a+b\\a+b+1/2&2a+2b\end{matrix}};x\right]$

Özel olarak bu bir hipergeometrik seri için verilen durum pozitif olmalıdır. Bu birkaç eşitsizliği sağlayabilir, böylece Askey–Gasper eşitsizliği de Branges teoreminin kanıtı içinde kullanılabilir.

Kaynakça

• Andrews, George E.; Askey, Richard; Roy, Ranjan (1999), Special functions, Encyclopedia of Mathematics and its Applications, 71, Cambridge University Press, ISBN 978-0-521-62321-6, MR 1688958 
• Clausen, Thomas (1828), "Ueber die Fälle, wenn die Reihe von der Form y = 1 + ... etc. ein Quadrat von der Form z = 1 ... etc.hat", Journal für die reine und angewandte Mathematik, cilt 3, 24 Eylül 2015 tarihinde kaynağından arşivlendi, erişim tarihi: 12 Nisan 2014