For $1\leq p,q \leq \infty$ such that $\frac1p +\frac1q\geq 1$, Young's inequality states $\|f\star g\|_r\leq \|f\|_p\|g\|_q$ (we work on $\mathbf{R}^d$ here), where $1+\frac1r = \frac1p+\frac1q$. Equivalently
\begin{align*}
\|f\|_p=\|g\|_q=\|h\|_{r'}=1\Rightarrow \int_{\mathbf{R}^d}\int_{\mathbf{R}^d}f(x)g(y)h(x+y)\,\mathrm{d}x\,\mathrm{d}x \leq 1.
\end{align*}
The most elementary proof that I know is based on the (generalized) Hölder inequality on $\mathbf{R}^d\times\mathbf{R}^d$ (for three functions), applied on three "mixing" functions $\varphi(x,y)^a \psi(x,y)^b$ where $\{\varphi,\psi\}$ runs over the possible pairs of $\{(x,y)\mapsto f(x); (x,y)\mapsto g(y) ; (x,y)\mapsto h(x+y)\}$ and $a$ and $b$ are adequately chosen.
There is of course a way to guess the correct exponents, but I find this proof a bit tedious and, when it comes to teach it, a bit articial ("consider these three functions and … the magic happens").
Instead, I am wondering if it is possible to prove it in a different way, remaining at the same level of knowledge.
The relation between $p,q,r$ rewrites $\frac{1}{r'} = \frac{1}{p'}+\frac{1}{q'}$. This, together with Hölder inequality, proves that any element in $L^{r'}(\mathbf{R}^d)$ is the (ponctual) product of two elements respectively in $L^{p'}(\mathbf{R}^d)$ and $L^{q'}(\mathbf{R}^d)$.
Can we use this to prove (something like)
\begin{multline*}
\sup_{\|h\|_{r'}=1} \int_{\mathbf{R}^d}\int_{\mathbf{R}^d} f(x)g(y) h(x+y)\,\mathrm{d} x\,\mathrm{d} y \\
\leq \sup_{\|\varphi\|_{q'}=1,\|\psi\|_{p'}=1} \int_{\mathbf{R}^d}\int_{\mathbf{R}^d} f(x)g(y) \varphi(x)\psi(y)\,\mathrm{d} x\,\mathrm{d} y\quad ?
\end{multline*}
I did not succeed but still feel that the correspondance between the exponents in the convolution and poncutal products is not a coincidence.
Note that using (a bit of) interpolation theory (I did not check in details) :
-
Young's inequality can be obtained by Fourier transform (precisely using $\widehat{f\star g}=\widehat{f}\widehat{g}$), at least for exponents in $[1,2]$ and then all the other ones by a duality argument.
-
The case $\{p,q\}=\{1,\infty\}$ is straightforward and by a duality argument it is possible to recover then $\{p,q\}=\{1,r\}$, and then an interpolation argument should recover some intermediate exponents.
However, I'd really much appreciate a proof without interpolation.
Best Answer
Edit: I realized that the explanation of the former second step of proof below was a little bit obscure since, while entirely correct, did not clarify enough why the choice of integrability exponent is not done by guessing. Therefore I decided to substitute it by a similar but more direct procedure and put the former step 2 in the notes for a brief proof of their equivalence.
I have not seen the proof of Young's inequality you allude to: however, the answer to your question i.e. whether it is possible to prove it in another way, remaining at the same level of knowledge, is yes. The proof given below is inspired by and follows the one in the nice monograph [1], pp. 26-27 and it is based on the standard and generalized (i.e. involving three or more functions) Hölder's inequalities and by a judicious choice of the integrability exponents associated to two or three factors expressing $| f(y)g(x-y) |$: the introduction of an auxiliary function $h$ is not required.
Young's Inequality. Let $p,q,r\in\Bbb R$ be such that $$ 1\le p\le q\le +\infty, \quad 1+\frac{1}{r}=\frac{1}{p}+\frac{1}{q},\label{1}\tag{1} $$ and let $f\in L^p(\mathbf{R}^d)$ and $g\in L^q(\mathbf{R}^d)$: if $$ f\ast g(x)=\int\limits_{\mathbf{R}^d} f(y)g(x-y)\mathrm{d}y, $$ then $$ \Vert f\ast g\Vert_{r}\le \Vert f\Vert_{p}\Vert g\Vert_q\label{2}\tag{2} $$ Comment. The strategy of the proof goes as follows: first, in every range of values of $p, q, r$ defined by conditions \eqref{1}, we will express $|f(y)g(x-y)|$ as the product of three factors $$ | f(y)g(x-y) |=\big(|f(y)|^p|g(x-y)|^q\big)^\frac{1}{s_1}|g(x-y)|^{\frac{q}{s_2}} |f(y)|^{\frac{p}{s_3}}.\label{step1}\tag{Step 1} $$ Since we want to estimate the the $L^r$ norm of the convolution, we assume $s_1=r$.
Now \ref{step1} implies that the coefficients $s_1, s_2, s_3$ must satisfy the following conditions $$ p\left(\frac{1}{s_1}+\frac{1}{s_3}\right)=1\quad q\left(\frac{1}{s_1}+\frac{1}{s_2}\right)=1,\label{c1}\tag{C1} $$ We thus have a non-homogeneous linear system in the $s_i^{-1}$ variables, $i=1,2,3$ which is uniquely solvable, provided $pq\neq0$, and the second step consist in solving it for the unknown exponents: explicitly $$ \begin{pmatrix} 1 & 0 & 0\\ q & q & 0\\ p & 0 & p \end{pmatrix} \begin{pmatrix} s_1^{-1}\\ s_2^{-1}\\ s_3^{-1}\\ \end{pmatrix}= \begin{pmatrix} {\frac{1}{r}}\\ {1}\\ {1}\\ \end{pmatrix}\iff \begin{pmatrix} s_1^{-1}\\ s_2^{-1}\\ s_3^{-1}\\ \end{pmatrix}= \begin{pmatrix} {\frac{1}{r}}\\ {\frac{1-\frac{q}{r}}{q}}\\ {\frac{1-\frac{p}{r}}{p}}\\ \end{pmatrix}\label{step2}\tag{Step 2} $$ The third and final step is to estimate the $L^r$ norm of the convolution $f\ast g$ by applying to equation \eqref{step1} one of the various forms of Hölder's inequality. This of course can be done since it is easily verified that $$ \frac{1}{s_1} + \frac{1}{s_2} + \frac{1}{s_3}=1.\label{c2}\tag{C2} $$ Proof. If $r=\infty$, then \eqref{2} is a direct consequence of the standard Holder's inequality, since $$ \frac{1}{p}+\frac{1}{q}=1. $$ Assuming $r<+\infty$, \eqref{2} must be verified for the three ranges defined by conditions \eqref{1}, i.e.
Final notes
Bibliography
[1] Oleg V. Besov, Valentin P. Il’in, Sergei M. Nikol’skiĭ (1978), Integral representations of functions and imbedding theorems. Vol. I, Ed. by Mitchell H. Taibleson. Translation from the Russian. (English) Scripta Series in Mathematics. Washington, D.C.: V. H. Winston & Sons. New York-Toronto-London: John Wiley & Sons, ISBN: 0-470-26540-X, pp. VIII+345, MR0519341, Zbl 0392.46022.