Matematikte Young evrişim eşitsizliği iki fonksiyonun evrişimiyle alakalı bir eşitsizliktir. Eşitsizlik, William Henry Young'ın adını taşımaktadır.

${\displaystyle 1\leq p,q,r\leq \infty }$ olmak üzere $${\displaystyle {\frac {1}{p}}+{\frac {1}{q}}={\frac {1}{r}}+1}$$ özelliği sağlansın. ${\displaystyle f}$ fonksiyonu ${\displaystyle L^{p}(\mathbb {R} ^{d})}$ Lebesgue uzayında ve ${\displaystyle g}$ fonksiyonu ${\displaystyle L^{q}(\mathbb {R} ^{d})}$ Lebesgue uzayında ise $${\displaystyle \|f*g\|_{r}\leq \|f\|_{p}\|g\|_{q}}$$ eşitsizliği vardır.^[1] Burada, yıldız işareti ile evrişim kastedilmiştir.

Eşdeğer olarak, ${\displaystyle p,q,r\geq 1}$ ve ${\textstyle {\frac {1}{p}}+{\frac {1}{q}}+{\frac {1}{r}}=2}$ ise, o zaman $${\displaystyle \left|\int _{\mathbb {R} ^{d}}\int _{\mathbb {R} ^{d}}f(x)g(x-y)h(y)\,\mathrm {d} x\,\mathrm {d} y\right|\leq \left(\int _{\mathbb {R} ^{d}}\vert f\vert ^{p}\right)^{\frac {1}{p}}\left(\int _{\mathbb {R} ^{d}}\vert g\vert ^{q}\right)^{\frac {1}{q}}\left(\int _{\mathbb {R} ^{d}}\vert h\vert ^{r}\right)^{\frac {1}{r}}.}$$

Young eşitsizliğinin ${\displaystyle \mathbb {R} ^{d}}$nin yerine bir ${\displaystyle G}$ unimodüler grubu konulduğu doğal bir genelleştirmesi vardır. Eğer ${\displaystyle \mu }$, ${\displaystyle G}$ üzerinde çifte değişmez bir Haar ölçüsü ise ve let ${\displaystyle f,g:G\to \mathbb {R} }$ veya ${\displaystyle \mathbb {C} }$ inntegrallenebilir fonksiyonlar ise ${\displaystyle f*g}$ by $${\displaystyle f*g(x)=\int _{G}f(y)g(y^{-1}x)\,\mathrm {d} \mu (y)}$$ tanımlanabilir. O zaman, bu durumda, Young eşitsizliğinin ifadesi şöyle olur: ${\displaystyle p,q,r\in [1,\infty ]}$ ve $${\displaystyle {\frac {1}{p}}+{\frac {1}{q}}={\frac {1}{r}}+1}$$ olmak üzere, ${\displaystyle f\in L^{p}(G,\mu )}$ ve ${\displaystyle g\in L^{q}(G,\mu )}$ için $${\displaystyle \lVert f*g\rVert _{r}\leq \lVert f\rVert _{p}\lVert g\rVert _{q}}$$ eşitsizliği vardır.

Eşdeğer olarak, ${\displaystyle p,q,r\geq 1}$ ve ${\textstyle {\frac {1}{p}}+{\frac {1}{q}}+{\frac {1}{r}}=2}$ ise, o zaman $${\displaystyle \left|\int _{G}\int _{G}f(x)g(y^{-1}x)h(y)\,\mathrm {d} \mu (x)\,\mathrm {d} \mu (y)\right|\leq \left(\int _{G}\vert f\vert ^{p}\right)^{\frac {1}{p}}\left(\int _{G}\vert g\vert ^{q}\right)^{\frac {1}{q}}\left(\int _{G}\vert h\vert ^{r}\right)^{\frac {1}{r}}.}$$

${\displaystyle \mathbb {R} ^{d}}$ Lebesgu ölçüsü (ki istenen Haar ölçüsüdür) altında aslında yerel tıkız Abelyen grup (ve bu yüzden unimodüler grup) olduğu için, bu yukarıda bhasedilen gerçekten genelleştirme olur.

Bu genelleştirme daha da iyileştirilebilir: ${\displaystyle G}$ ve ${\displaystyle \mu }$ daha önceki gibi olsun ve ${\displaystyle 1<p,q,r<\infty }$ sayılarının ${\textstyle {\tfrac {1}{p}}+{\tfrac {1}{q}}={\tfrac {1}{r}}+1}$ eşitliğini sağladığı varsayılsın. O zaman, her ${\displaystyle f\in L^{p}(G,\mu )}$ ve ${\displaystyle G}$ üzerinde tanımlı ölçülebilir ve zayıf ${\displaystyle L^{q}}$ uzayı ${\displaystyle L^{q,w}(G,\mu )}$'nün elemanı olan^{[not 1]} her ${\displaystyle g}$ fonksiyonu için ${\displaystyle f*g\in L^{r}(G,\mu )}$ olur ve $${\displaystyle \|f*g\|_{r}~\leq ~C\,\|f\|_{p}\,\|g\|_{q,w}}$$ eşitsizliği vardır.^[2]

• Minkowski eşitsizliği

1. ^ ${\displaystyle g}$ fonksiyonunun ${\displaystyle L^{q,w}(G,\mu )}$'nün elemanı olma koşulu şu supremum normunun sonlu olması demektir: $${\displaystyle \|g\|_{q,w}^{q}~:=~\sup _{t>0}\,t^{q}\mu (|g|>t)}$$

• Young's Inequality for Convolutions (ProofWiki)

Analiz ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.