When a sequence $f \in \ell_1$, there is a very simple bound on its $\ell_q$-norms given by $\|f\|_q^q \leq \|f\|_1 \cdot \|f\|_\infty^{q-1}$.

This inequality is a special (or rather limit) case of Lyapounov's inequality: let $1 \leq p,q < \infty$ and $0 \leq \lambda \leq 1$. If $r = \lambda p + (1 - \lambda)q$ and $f \in \ell_p \cap \ell_q $, then

$$||f||_r^r \leq ||f||_p^{\lambda p} ||f||_q^{(1 - \lambda)q}$$

I am looking for the corresponding inequality for Orlicz norms:

Question: Given Young functions $\phi_1, \phi_2$ and $\phi_3$, and $f \in \cap_i \ell_{\phi_i}$ is there a bound of the form $\|f\|_{\phi_2} \leq $ some expression with $\|f\|_{\phi_1}$ and $\|f\|_{\phi_3}$ (so that the "expression" tends to 0 if one of the norms tends to 0 and while the other remains bounded).

The limit case (where $\phi_1$ and $\phi_3$ are the 1 and $\infty$ norms) could be done as follows (under the assumption that $\frac{\phi(x)}{x}$ is increasing and does not take the value $+\infty$). It's easier to do it with the Luxemburg norm (which is the same as the original one up to a factor of 2). Let $f \in \ell_1 \cap \ell_\infty$, then $$ \| f\|_\phi = \inf \lbrace b >0 \mid \sum_n \phi( \tfrac{|f(n)|}{b}) \leq 1 \rbrace $$ Bound: $\sum \phi(|x|) \leq \sum |x| \tfrac{\phi(|x|)}{|x|} \leq \big( \sup_x \frac{\phi(|x|)}{|x|} \big) \sum |x|$. Assuming that $\phi(x)/x$ is increasing, this means that

$$ \sum_n \phi( \tfrac{|f(n)|}{b}) \leq \frac{\phi(\|f\|_\infty / b)}{\|f\|_\infty} \|f\|_1. $$

In particular, if $b = \dfrac{\|f\|_\infty}{ \phi^{-1} \big(\tfrac{\|f\|_\infty}{\|f\|_1} \big) }$, where $\phi^{-1}$ is a inverse (or semi-inverse if $\phi$ is not strictly increasing) of $\phi$, the sum is smaller than one. Hence $$ \|f\|_\phi \leq \dfrac{\|f\|_\infty}{ \phi^{-1} \big(\tfrac{\|f\|_\infty}{\|f\|_1} \big) } $$

Some further comments:

  • If it helps remove some technicalities, I would be fine various extra assumptions such as $\phi_i: [0,\infty[ \to [0,\infty[$ are strictly increasing.

  • The above inequalities are also true in the $L_p$-spaces (if you add the obvious assumptions like $f \in L_1 \cap L_\infty$). They can be proved using Hölder's inequality (although $\|f\|_q^q \leq \|f\|_1 \|f\|_\infty^{q-1}$ can be proved using a much more naive argument [similar to the one above])

  • I found Hölder inequalities for Orlicz norms (as well as some inequalities about convolutions), but I could not find the above "interpolation" inequalities.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.