4
$\begingroup$

I am trying to characterize all measures on $\mathbb{R}$ such that

$$ \sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty, $$

where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, and "$*$" denotes the convolution. This suggests that find whether the measures do not have any growing tails (hence the title of the post).

The space of Radon measures is the dual of continuous functions with compact support. It may have arbitrary large growing tails. For example, $\mu(d x)=e^{|x|}d x$ and $\mu=\sum_{n\in\mathbb{Z}}|n|\: \delta_n$.

Measures which fall in our class include the following examples:

  1. Absolutely continuous measures with bounded density function, such as the Lebesgue measure.
  2. $\mu=\sum_{n\in\mathbb{Z}}\delta_n(x).$

Does any one come across this kind of measures? Is this set of measures studied somewhere?

Thanks for any references and remarks!

$\endgroup$
28
  • 3
    $\begingroup$ What is the norm (topology) on this space (of continuous integrable functions)? There doesn't seem to be an obvious candidate. $\endgroup$ Sep 16, 2014 at 17:06
  • 3
    $\begingroup$ Then your space is a dense subspace of $L^1$, so continuous functionals have unique extensions to elements of $(L^1)^*=L^{\infty}$. $\endgroup$ Sep 16, 2014 at 17:16
  • 7
    $\begingroup$ What is "boundedness of a measure"? Do you want to know when a measure is Radon? $\endgroup$
    – Asaf
    Sep 16, 2014 at 17:39
  • 5
    $\begingroup$ Can you formulate your question into a well posed question? I'm confused. Do you want a function space whose dual is your space of measures? Do you want to know the dual of the space of continuous integrable functions? (With a given norm, maybe the sum of the $L^1$ and $L^\infty$ norms.) If it comes naturally in some research context (as you mention in a comment), can you elaborate? $\endgroup$ Sep 16, 2014 at 17:46
  • 5
    $\begingroup$ Voting to close until we get some idea of what the question means by "boundedness". $\endgroup$
    – Nik Weaver
    Sep 16, 2014 at 18:18

1 Answer 1

1
$\begingroup$

Let $(X,\mathcal M)$ be a measurable space and let $\lambda$ be a complex measure on $(X,\mathcal M)$. The total variation $\vert \lambda\vert$ is a positive measure on $(X,\mathcal M)$ with a finite total variation, i.e. such that $\vert \lambda\vert(X)<+\infty$. We define $$ \vert \lambda\vert(X)=\sup_{\substack{{\text{$E_k$ pairwise disjoint}}\\{\text{with union $E$, $E_k\in \mathcal M$}}} }\sum_{k\in \mathbb N}\vert\lambda(E_k)\vert. $$ The mapping $\lambda\mapsto\vert \lambda\vert(X)$ is a norm on the vector space $\mathscr M(X,\mathcal M)$ of complex measures on $(X,\mathcal M)$ and make it a Banach space. So what you call the space of bounded measures is $\mathscr M(X,\mathcal M)$. A fact should be noted: a positive measure $\mu$ on $(X,\mathcal M)$ is not always a complex measure in particular since $\mu(X)$ may be $+\infty$.

Regarding your question, you may require a somewhat stronger property which would be $$ \hat \mu\hat f\in L^1(\mathbb R).\tag{$\sharp$} $$ This implies $\mu\ast f\in L^\infty$ with a norm smaller than the $L^1$ norm of $\hat \mu\hat f$. However, you have to make sure that the Fourier transform of $f$ makes sense as well as the product. For instance when $f(x)=e^{-\vert x\vert}$, this would require $$ \hat\mu(\xi)=(1+\xi^2) g(\xi),\quad\text{with $g\in L^1(\mathbb R)$,} $$ providing examples. A weaker requirement than $(\sharp)$ would be $$ \hat \mu\hat f\text{ is a bounded measure}.\tag{$\flat$} $$ As noted in my comment below that would contain the case $f=e^{-\vert x\vert}$ and $\mu$ the Dirac comb.

$\endgroup$
9
  • $\begingroup$ Thanks Bazin for your answer. I am working on measures on $\mathbb{R}$. The examples that I give above all have infinite total mass. $\endgroup$
    – Anand
    Sep 16, 2014 at 19:31
  • $\begingroup$ I have added a complement to my answer above. $\endgroup$
    – Bazin
    Sep 17, 2014 at 15:45
  • $\begingroup$ Thanks Bazin for your help! It is a good idea to use the Fourier transform. Your condition is a bit too strong because the example $\mu=\sum_{m\in\mathbb{Z}}\delta_n$ fails. Am I right? Thanks! $\endgroup$
    – Anand
    Sep 17, 2014 at 16:01
  • $\begingroup$ In that case, $\hat \mu=\mu$ by Poisson summation formula. It is probably possible to weaken my requirement to $$\hat \mu\hat f\text{ is a measure with a finite total mass}.$$ If $f=e^{-\vert x\vert}$, you find $\hat f\hat \mu$ with finite mass since $\sum_{n\ge 1}\frac{1}{n^2}<+\infty$. $\endgroup$
    – Bazin
    Sep 17, 2014 at 19:31
  • $\begingroup$ Thanks Bazin. Do you mean $\hat{\mu}\hat{f}$ is a measure on complex plain with finite total mass? $\endgroup$
    – Anand
    Sep 17, 2014 at 22:00

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.