2
$\begingroup$

Let $f\in L^1(\mathbb R^n)$. Define operator $T_f(g)=|f|\ast g$ for functions $g$ on $\mathbb R^n$. The set of measurable functions $f$ on $\mathbb R^n$, such that $T_f$ is bounded from $L^p(\mathbb R^n)$ to $L^p(\mathbb R^n)$ is $L^1(\mathbb R^n)$, which is a Banach algebra.

There are locally compact topological (unimodular) groups where the set of such functions can be bigger than $L^1$. (That is a stronger Young's inequality is true there.) The group $G = \mathrm {SL}(2, \mathbb R)$ is an example.

Is this true that for $G = \mathrm{SL}(2, \mathbb {R})$, the set of measurable functions $f$ such that $T_f$ is bounded from $L^p(G)$ to $L^p(G)$ is a Banach algebra?

$\endgroup$
4
  • 1
    $\begingroup$ You say a stronger Young's inequality is true: what is this stronger inequality, exactly? I thought Young's inequality was the quantitative statement that the operator norm of $T_f$ is bounded by the $L^1$ norm of $f$, not just the statement that $f \in L^1$ implies $T_f$ is bounded. $\endgroup$
    – Zen Harper
    Sep 15, 2011 at 9:19
  • $\begingroup$ [deleted some comments which were based on a misreading] $\endgroup$
    – Yemon Choi
    Sep 15, 2011 at 9:56
  • $\begingroup$ Zen: I think the OP might be referring to the Kunze-Stein theorem, at least when $p=2$. $\endgroup$
    – Yemon Choi
    Sep 15, 2011 at 9:56
  • $\begingroup$ Yes Kunze-Stein is the modified Young's inequality for $SL(2, R)$ (or for any noncompact semisimple groups). For these groups: If $1<p\le 2$ then for any $1\le q<p \le 2$, $\|f\ast g\|_p\le \|f\|_q\|g\|_p$. This shows there are lot of functions other than $L^1$-functions which takes $L^p$ to $L^p$. $\endgroup$
    – spr
    Sep 16, 2011 at 5:25

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.