4
$\begingroup$

For a positive function $f$ and positive measures $\mu, \nu$, does $$\mu\ast f\leq \nu\ast f \Rightarrow \|\mu\|\leq \|\nu\|?$$

More details: Let $G$ be a locally compact group, $C(G)$ be the space of continuous functions on $G$, $M(G)$ be the finite, Borel measures on $G$. The convolution of a measure and function is defined by $$\mu\ast f(x) = \int f(y^{-1}x)d\mu (y)$$.

If $0\neq f\in C(G)$ is positive and compactly supported, and $\mu, \nu\in M(G)^+$ then the above implication holds. Simply take the Haar integral and evaluate the first inequality to find the second.

A similar approach works if $G$ is amenable and $f$ has nonzero mean value.

My questions: Does the implication above hold for all (edit: bounded) $f\in C(G)^+$ if $G$ is amenable? If $G$ is not amenable, what are the functions for which it is true?

$\endgroup$
2
  • $\begingroup$ It seems that Justin Moore has some results on single functions witnessing non-amenability in his answer to his question mathoverflow.net/questions/60247/… $\endgroup$ Commented Aug 27, 2014 at 1:38
  • $\begingroup$ In the non-topological setting, I think this question is very closely related to supramenability. $\endgroup$ Commented Nov 12, 2014 at 2:36

1 Answer 1

4
$\begingroup$

Do you want to require $f$ to be bounded? Otherwise there are easy counterexamples: take $G = \mathbb{Z}$, $\mu(1) = 2$, $\nu(0) = 1$, and $\mu$ and $\nu$ zero at all other points, and $f(n) = 2^n$. Then $\mu * f = \nu*f$ but $\|\mu\| = 2 > 1 = \|\nu\|$.

$\endgroup$
1
  • 1
    $\begingroup$ Thanks. I am mostly interested in bounded $f$, but it is good to be reminded of unbounded examples. $\endgroup$ Commented Aug 26, 2014 at 7:41

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .