Pere Callahan
- 582
- 1
Hello,
I'm interested in the following problem. We are given a probability density p on R, that is a continuous positive function which integrates to 1. What are the weakest possible conditions on p such that there exists a K>0 satisfying
<br /> \int_{\mathbb{R}}{|p(x+y)-p(x)|dx}<K|y|,\quad\forall y\in\mathbb{R}<br />
or equivalently
<br /> \sup_{y\in\mathbb{R}}\frac{\int_{\mathbb{R}}{|p(x+y)-p(x)|dx}}{|y|}<\infty.<br />
I assume there must be conditions like bounded variation, continuous first derivative or something similar.
If we denote
<br /> \Delta(y)=\int_{\mathbb{R}}{|p(x+y)-p(x)|dx}<br />
it seems clear that only the behavior around y=0 matters; because \Delta is continuous it must take on its maximum on the compact set \{y:\varepsilon\leq |y|\leq R\}, R>2, which we denote by M. This means that
<br /> \sup_{\{y:\varepsilon\leq |y|\leq R\}}\frac{\Delta(y)}{|y|}\leq\frac{M}{\varepsilon}.<br />
The easy estimate \Delta(u)\leq 2 implies
<br /> \sup_{\{y:|y|\geq R\}}\frac{\Delta(y)}{|y|}\leq 1<br />
so one only needs to worry about \{y:|y|\leq \varepsilon\} and I think that it is here that the derivative of p enters the game.
I would appreciate very much any thoughts on the problem,
regards,
Pere
I'm interested in the following problem. We are given a probability density p on R, that is a continuous positive function which integrates to 1. What are the weakest possible conditions on p such that there exists a K>0 satisfying
<br /> \int_{\mathbb{R}}{|p(x+y)-p(x)|dx}<K|y|,\quad\forall y\in\mathbb{R}<br />
or equivalently
<br /> \sup_{y\in\mathbb{R}}\frac{\int_{\mathbb{R}}{|p(x+y)-p(x)|dx}}{|y|}<\infty.<br />
I assume there must be conditions like bounded variation, continuous first derivative or something similar.
If we denote
<br /> \Delta(y)=\int_{\mathbb{R}}{|p(x+y)-p(x)|dx}<br />
it seems clear that only the behavior around y=0 matters; because \Delta is continuous it must take on its maximum on the compact set \{y:\varepsilon\leq |y|\leq R\}, R>2, which we denote by M. This means that
<br /> \sup_{\{y:\varepsilon\leq |y|\leq R\}}\frac{\Delta(y)}{|y|}\leq\frac{M}{\varepsilon}.<br />
The easy estimate \Delta(u)\leq 2 implies
<br /> \sup_{\{y:|y|\geq R\}}\frac{\Delta(y)}{|y|}\leq 1<br />
so one only needs to worry about \{y:|y|\leq \varepsilon\} and I think that it is here that the derivative of p enters the game.
I would appreciate very much any thoughts on the problem,
regards,
Pere